SearcharxivSearch

arXiv subjects

Habib Marzougui

Publications and source records attributed to Habib Marzougui.

12 recordsLinked to original sources

Dense and subspace dense subsets in finite-dimensional spaces

This note is motivated by the article of Bamerni, Kadets and Kiliçman [J. Math. Anal. Appl. 435 (2), 1812--1815 (2016)]. We consider the remaining problem which claims that if $A$ is a dense subset of a finite dimensional space $X$, then there is a nontrivial subspace $M$ of $X$ such that $A\cap M$ is dense in $M$. We show that the above problem has a negative answer when $X=\mathbb{K}^{n}$ ($\mathbb{K}= \mathbb{R}$ or $\mathbb{C}$) for every $n\geq 2$.

math.FA

Nonwandering sets and special $α$-limit sets of monotone maps on regular curves

Let $X$ be a regular curve and let $f: X\to X$ be a monotone map. In this paper, nonwandering set of $f$ and the structure of special $α$-limit sets for $f$ are investigated. We show that AP$(f)= \textrm{R}(f) =Ω(f)$, where AP$(f)$, $\textrm{R}(f)$ and $Ω(f)$ are the sets of almost periodic points, recurrent points and nonwandering of $f$, respectively. This result extends that of Naghmouchi established, whenever $f$ is a homeomorphism on a regular curve [J. Difference Equ. Appl., 23 (2017), 1485--1490] and [Colloquium Math., 162 (2020), 263--277], and that of Abdelli and Abdelli, Abouda and Marzougui, whenever $f$ is a monotone map on a local dendrite [Chaos, Solitons Fractals, 71 (2015), 66--72] and [Topology Appl., 250 (2018), 61--73], respectively. On the other hand, we show that for every $X\setminus \textrm{P}(f)$, the special $α$-limit set $sα_{f}(x)$ is a minimal set, where P$(f)$ is the set of periodic points of $f$ and that $sα_{f}(x)$ is always closed, for every $x\in X$. In addition, we prove that $\textrm{SA}(f) = \textrm{R}(f)$, where $\textrm{SA}(f)$ denotes the union of all special $α$-limit sets of $f$; these results extend, for monotone case, recent results on interval and graph maps obtained respectively by Hantáková and Roth in [Preprint: arXiv 2007.10883.] and Foryś-Krawiec, Hantáková and Oprocha in [Preprint: arXiv:2106.05539.]. Further results related to the continuity of the limit maps are also obtained, we prove that the map $ω_{f}$ (resp. $α_{f}$, resp. s$α_{f}$) is continuous on $X\setminus \textrm{P}(f)$ (resp. $X_{\infty}\setminus \textrm{P}(f)$). %In particular, it is continuous on $X$ (resp. $X_{\infty}$) whenever $\textrm{P}(f)=\emptyset$.

math.DS

On Limit sets of Monotone maps on Regular curves

We investigate the structure of $ω$-limit (resp. $α$-limit) sets for a monotone map $f$ on a regular curve $X$. %Let $X$ be a regular curve and let $f: X\longrightarrowX$ be a monotone map. We show that for any $x\in X$ (resp. for any negative orbit $(x_{n})_{n\geq 0}$ of $x$), the $ω$-limit set $ω_{f}(x)$ (resp. $α$-limit set $α_{f}((x_{n})_{n\geq 0})$) is a minimal set. This also hold for $α$-limit set $α_{f}(x)$ whenever $x$ is not a periodic point. These results extend those of Naghmouchi \cite{n} %[J. Difference Equ. Appl., 23 (2017), 1485--1490] established whenever $f$ is a homeomorphism on a regular curve and those of Abdelli \cite{a} %[Chaos, Solitons Fractals, 71 (2015), 66--72] , whenever $f$ is a monotone map on a local dendrite. Further results related to the basin of attraction of an infinite minimal set are also obtained.

math.DS

Hypercyclic Abelian Semigroups of Matrices on $\mathbb{R}^n$

In this paper, we bring together results about the existence of a somewhere dense (resp. dense) orbit and the minimal number of generators for abelian semigroups of matrices on $\mathbb{R}^n$. We solve the problem of determining the minimal number of matrices in normal form over $\mathbb{R}$ which form a hypercyclic abelian semigroup on R^n. In particular, we show that no abelian semigroup generated by $[\frac{n+1}{2}]$ matrices on $\mathbb{R}^n$ can be hypercyclic. ([ ] denotes the integer part). This is a corrected version of the paper published in Topology and its Applications 210 (2016), 29-45 (see also [4]). The differences between this version and the published version are explained at the end of the Introduction.

math.DS

Mobius disjointness conjecture for local dendrite maps

We prove that the Möbius disjointness conjecture holds for graph maps and for all monotone local dendrite maps. We further show that this also hold for continuous map on certain class of dendrites. Moreover, we see that there is a transitive dendrite map with zero entropy for which Möbius disjointness holds.

math.DS

Minimal sets and orbit space for group actions on local dendrites

We consider a group $G$ acting on a local dendrite $X$ (in particular on a graph). We give a full characterization of minimal sets of $G$ by showing that any minimal set $M$ of $G$ (whenever $X$ is different from a dendrite) is either a finite orbit, or a Cantor set, or a circle. If $X$ is a graph different from a circle, such a minimal $M$ is a finite orbit. These results extend those of the authors for group actions on dendrites. On the other hand, we show that, for any group $G$ acting on a local dendrite $X$ different from a circle, the following properties are equivalent: (1) ($G, X$) is pointwise almost periodic. (2) The orbit closure relation $R = \{(x, y)\in X\times X: y\in \overline{G(x)}\}$ is closed. (3) Every non-endpoint of $X$ is periodic. In addition, if $G$ is countable and $X$ is a local dendrite, then ($G, X$) is pointwise periodic if and only if the orbit space $X/G$ is Hausdorff.

math.DS

Nonrigidity for circle homeomorphisms with several break points

Let $f$ and $g$ be two class $P$-homeomorphisms of the circle $S^{1}$ with break points singularities. Assume that the derivatives $\textrm{Df}$ and $\textrm{Dg}$ are absolutely continuous on every continuity interval of $\textrm{Df}$ and $\textrm{Dg}$ respectively. Denote by $C(f)$ the set of break points of $f$. For $c\in S^{1}$, denote by $π_{s, O_{f}(c)}(f)$ the product of $f-$ jumps in break points lying to the $f-$ orbit of $c$ and by $\textrm{SO}(f) = \{O_{f}(c):~c \in C(f)~\textrm{and}~π_{s, O_{f}(c)}(f)\neq 1\}$, called the set of singular $f$-orbits. The maps $f$ and $g$ are called break-equivalent if there exists a topological conjugating $h$ such that $h(\textrm{SO}(f))=\textrm{SO}(g)~~ \textrm{and} ~~ π_{s, O_{g}(h(c))}(g) = π_{s, O_{f}(c)}(f) ~~ \textrm{for all}~~ c\in \textrm{SO}(f)$. Assume that $f$ and $g$ have the same irrational rotation number of bounded type. We prove that if $f$ and $g$ are not break-equivalent, then any topological conjugating $h$ between $f$ and $g$ is a singular function i.e. it is a continuous on $S^{1}$, but $\textrm{Dh}(x)=0$ a.e. with respect to the Lebesgue measure. As a consequence if for some point $d\in \textrm{SO}(f)$, $π_{s, O_{g}(d)}(g)\notin \{π_{s, O_{f}(c)}(f): c\in C(f)\}$, then the homeomorphism conjugation $h$ is a singular function. This later result generalizes previous results for one and two break points obtained by Dzhalilov-Akin-Temir and Akhadkulov-Dzhalilov-Noorani. Moreover, if $f$ and $g$ do not have the same number of singular orbits then the homeomorphism conjugating $f$ to $g$ is a singular function.

math.DS

A sharp smoothness of the conjugation of class P-homeomorphisms to diffeomorphisms

Let f be a class P -homeomorphism of the circle. We prove that there exists a piecewise analytic homeomorphism that conjugate f to a one-class P with prescribed break points lying on pairwise distinct orbits. As a consequence, we give a sharp estimate for the smoothness of a conjugation of class P -homeomorphism f of the circle satisfying the (D)-property (i.e. the product of f-jumps in the break points contained in a same orbit is trivial), to diffeomorphism. When f does not satisfy the (D)-property the conjugating homeomorphism is never piecewise C^1 and even more it is not absolutely continuous function if the total product of f-jumps in all the break points is non-trivial.

math.DS

Reversibility in the groups of PL^+(S^1) and PL(S^1)

Let PL+(S1) be the group of order preserving piecewise linear homeomorphisms of the circle. An element in PL+(S1) is called reversible in PL+(S1) if it is conjugate to its inverse in PL+(S1). We characterize the reversible elements in PL+(S1). We also perform a sim- ilar characterisation in the full group PL(S1) of piecewise linear home- omorphisms of the circle.

math.GR

On totally periodic w-limit sets

An w-limit set of a continuous self-mapping of a compact metric space X is said to be totally periodic if all of its points are periodic. We say that X has the w-FTP property provided that for each continuous self-mapping f of X, every totally periodic w-limit set is finite. Firstly, we show that connected components of every totally periodic w-limit set are finite. Secondly, for the wide class of one-dimensional continua, we prove that a hereditary locally connected X has the w-FTP property if and only if X is completely regular. This holds in particular for X being a local dendrite with discrete set of branch points, and in particular, for a graph. For higher dimension, we show that any compact metric space X containing a free topological n-ball (n great than 2) does not admit the w-FTP property. This holds in particular, for any topological compact manifold of dimension greater than 1.

math.DS

J-Class Abelian Semigroups of Matrices on C^n and Hypercyclicity

We give a characterization of hypercyclic finitely generated abelian semigroups of matrices on C^n using the extended limit sets (the J-sets). Moreover we construct for any n\geq 2 an abelian semigroup G of GL(n;C) generated by n + 1 diagonal matrices which is locally hypercyclic but not hypercyclic and such that JG(e_k) = C^n for every k = 1; : : : ; n, where (e_1; : : : ; e_n) is the canonical basis of C^n. This gives a negative answer to a question raised by Costakis and Manoussos.

math.FA

Topological transitive Abelian subgrouns of GL(n,R)

We give a complete characterization of abelian subgroups of GL(n, R) with a locally dense (resp. dense) orbit in R^n. For finitely generated subgroups, this characterization is explicit and it is used to show that no abelian subgroup of GL(n, R) generated by [ (n+1)/2 ] matrices can have a dense orbit in R^n. ([ ] denotes the integer part).

math.DS