We construct some explicit formulas of rational maps and transcendental meromorphic functions having Herman rings of period strictly larger than one. This gives an answer to a question raised by Shishikura in the 1980s. Moreover, the formulas of some rational maps with nested Herman rings are also found.
To obtain the formulas of transcendental meromorphic functions having periodic Herman rings, a crucial step is to find an explicit family of transcendental entire functions having bounded Siegel disks of all possible periods and rotation numbers. This is based on proving the existence of a Mandelbrot-like set of period one in the corresponding parameter space.
We investigate the existence and distribution of Herman rings of transcendental meromorphic functions which have at least one omitted value. If all the poles of such a function are multiple then it has no Herman ring. Herman rings of period one or two do not exist. Functions with a single pole or with at least two poles one of which is an omitted value have no Herman ring. Every doubly connected periodic Fatou component is a Herman ring.
Possible periods of Herman rings are studied for general meromorphic functions with at least one omitted value. A pole is called $H$-relevant for a Herman ring $H$ of such a function $f$ if it is surrounded by some Herman ring of the cycle containing $H$. In this article, a lower bound on the period $p$ of a Herman ring $H$ is found in terms of the number of $H$-relevant poles, say $h$. More precisely, it is shown that $p\geq \frac{h(h+1)}{2}$ whenever $f^j(H)$, for some $j$, surrounds a pole as well as the set of all omitted values of $f$. It is proved that $p \geq \frac{h(h+3)}{2}$ in the ot…
We revisit non-autonomous systems depending quasi-periodically in time within the reversible context 2 of KAM theory and obtain Whitney smooth families of invariant tori in such systems via Herman's method. The reversible KAM context 2 refers to the situation where the dimension of the fixed point manifold of the reversing involution is less than half the codimension of the invariant torus in question.
We show that any dominant meromorphic self-map f of a compact Kaehler manifold X is an Artin-Mazur map. More precisely, if P_n(f) is the number of its isolated periodic points of period n (counted with multiplicity), then P_n(f) grows at most exponentially fast with respect to n and the exponential rate is at most equal to the algebraic entropy of f. Further estimates are given when X is a surface. Among the techniques introduced in this paper, the h-dimension of the density between two arbitrary positive closed currents on a compact Kaehler surface is obtained.
Let $f$ be a meromorphic function with bounded set of singular values and for which infinity is a logarithmic singularity. Then we show that $f$ has infinitely many repelling periodic points for any minimal period $n\geq1$, using a much simpler argument than the corresponding results for arbitrary entire transcendental functions.
In this paper, we study block Jacobi operators on $\mathbb{Z}$ with quasi-periodic meromorphic potential. We prove the non-perturbative Anderson localization for such operators in the large coupling regime.
We extend the Dinh-Sibony notion of densities of currents to the setting where the ambient manifold is not necessarily Kähler and study the intersection of analytic sets from the point of view of densities of currents. As an application, we introduce the notion of exotic periodic points of a meromorphic self-map. We then establish the expected asymptotic for the sum of the number of isolated periodic points and the number of exotic periodic points for holomorphic self-maps with a simple action on the cohomology groups on a compact Kähler manifold. We also show that the algebraic entropy of mer…
In this paper we continue the study, began in \cite{CJK2}, of the bifurcation locus of a family of meromorphic functions with two asymptotic values, no critical values and an attracting fixed point. If we fix the multiplier of the fixed point, either of the two asymptotic values determines a one-dimensional parameter slice for this family. We proved that the bifurcation locus divides this parameter slice into three regions, two of them analogous to the Mandelbrot set and one, the shift locus, analogous to the complement of the Mandelbrot set. In \cite{FK, CK} it was proved that the points in t…
The characterization and properties of Julia sets of one parameter family of transcendental meromorphic functions $ζ_λ(z)=λ\frac{z}{z+1} e^{-z}$, $λ>0$, $z\in \mathbb{C}$ is investigated in the present paper. It is found that bifurcations in the dynamics of $ζ_λ(x)$, $x\in {\mathbb{R}}\setminus \{-1\}$, occur at several parameter values and the dynamics of the family becomes chaotic when the parameter $λ$ crosses certain values. The Lyapunov exponent of $ζ_λ(x)$ for certain values of the parameter $λ$ is computed for quantifying the chaos in its dynamics. The characterization of the Julia set …
Let $ϕ:S^2 \to S^2$ be an orientation-preserving branched covering whose post-critical set has finite cardinality $n$. If $ϕ$ has a fully ramified periodic point $p_{\infty}$ and satisfies certain additional conditions, then, by work of Koch, $ϕ$ induces a meromorphic self-map $R_ϕ$ on the moduli space $\mathcal{M}_{0,n}$; $R_ϕ$ descends from Thurston's pullback map on Teichmüller space. Here, we relate the dynamics of $R_ϕ$ on $\mathcal{M}_{0,n}$ to the dynamics of $ϕ$ on $S^2$. Let $\ell$ be the length of the periodic cycle in which the fully ramified point $p_{\infty}$ lies; we show that $R…
In this paper we study the dynamical billiards on a convex 2D sphere. We investigate some generic properties of the convex billiards on a general convex sphere. We prove that $C^\infty$ generically, every periodic point is either hyperbolic or elliptic with irrational rotation number. Moreover, every hyperbolic periodic point admits some transverse homoclinic intersections. A new ingredient in our approach is that we use Herman's result on Diophantine invariant curves to prove the nonlinear stability of elliptic periodic points for a dense subset of convex billiards.
We prove that every transcendental meromorphic map f with a disconnected Julia set has a weakly repelling fixed point. This implies that the Julia set of Newton's method for finding zeroes of an entire map is connected. Moreover, extending a result of Cowen for holomorphic self-maps of the disc, we show the existence of absorbing domains for holomorphic self-maps of hyperbolic regions whose iterates tend to a boundary point. In particular, the results imply that periodic Baker domains of Newton's method for entire maps are simply connected, which solves a well-known open question.
Newton flows are dynamical systems generated by a continuous, desingularized Newton method for mappings from a Euclidean space to itself. We focus on the special case of meromorphic functions on the complex plane. Inspired by the analogy between the rational (complex) and the elliptic (i.e., doubly periodic meromorphic) functions, a theory on the class of so-called Elliptic Newton flows is developed. With respect to an appropriate topology on the set of all elliptic functions $f$ of fixed order $ r (\geqslant 2)$ we prove: For almost all functions $f$, the corresponding Newton flows are struct…
Let f be an entire function whose set of singular values is bounded and suppose that f has a Siegel disk such that f restricts to a homeomorphism of the boundary. We show that the Siegel disk is bounded. Using a result of Herman, we deduce that if additionally the rotation number of the Siegel disk is Diophantine, then its boundary contains a critical point of f. Suppose furthermore that all singular values of f lie in the Julia set. We prove that, if f has a Siegel disk $U$ whose boundary contains no singular values, then the condition that f is a homeomorphism of the boundary of U is automat…
We study transcendental singularities of a Schröder map arising from a rational function $f$, using results from complex dynamics and Nevanlinna theory. These maps are transcendental meromorphic functions of finite order in the complex plane. We show that their transcendental singularities lie over the set where $f$ is not semihyperbolic (unhyperbolic). In addition, if they are direct, then they lie over only attracting periodic points of $f$, and moreover, if $f$ is a polynomial, then both direct and indirect singularities lie over attracting, parabolic and Cremer periodic points of $f$. We a…
We study how the orbits of the singularities of the inverse of a meromorphic function prescribe the dynamics on its Julia set, at least up to a set of (Lebesgue) measure zero. We concentrate on a family of entire transcendental functions with only finitely many singularities of the inverse, counting multiplicity, all of which either escape exponentially fast or are pre-periodic. For these functions we are able to decide, whether the function is recurrent of not. In the case that the Julia set is not the entire plane we also obtain estimates for the measure of the Julia set.
