Rational functions with no recurrent critical points

1994 ◽  
Vol 14 (2) ◽  
pp. 391-414 ◽  
Author(s):  
Mariusz Urbański

AbstractLet h be the Hausdorff dimension of the Julia set of a rational map with no nonperiodic recurrent critical points. We give necessary and sufficient conditions for h-dimensional Hausdorff measure and h-dimensional packing measure of the Julia set to be positive and finite. We also show that either the Julia set is the whole Riemann sphere or h < 2 and that if a rational map (not necessarily with no nonperiodic recurrent critical points!) has a rationally indifferent periodic point, then h > 1/2.

1992 ◽  
Vol 12 (1) ◽  
pp. 53-66 ◽  
Author(s):  
M. Denker ◽  
M. Urbański

AbstractLet h denote the Hausdorff dimension of the Julia set J(T) of a parabolic rational map T. In this paper we prove that (after normalisation) the h-conformal measure on J(T) equals the h-dimensional Hausdorff measure Hh on J(T), if h ≥ 1, and equals the h-dimensional packing measure Πh on J(T), if h ≤ 1. Moreover, if h < 1, then Hh = 0 and, if h > 1, then Πh(J(T)) = ∞.


2001 ◽  
Vol 21 (2) ◽  
pp. 563-603 ◽  
Author(s):  
HIROKI SUMI

We consider dynamics of sub-hyperbolic and semi-hyperbolic semigroups of rational functions on the Riemann sphere and will show some no wandering domain theorems. The Julia set of a rational semigroup in general may have non-empty interior points. We give a sufficient condition that the Julia set has no interior points. From some information about forward and backward dynamics of the semigroup, we consider when the area of the Julia set is equal to zero or an upper estimate of the Hausdorff dimension of the Julia set.


1997 ◽  
Vol 17 (6) ◽  
pp. 1449-1476 ◽  
Author(s):  
MARIUSZ URBAŃSKI

Let $h$ be the Hausdorff dimension of the Julia set of a rational function $T$ with no non-periodic recurrent critical points and let $m$ be the only $h$-conformal measure for $T$. We prove the existence of a $\sigma$-finite $T$-invariant measure $\mu$ equivalent with $m$. The measure $\mu$ is then proved to be ergodic and conservative and we study the set of those points whose all open neighborhoods have infinite measure $\mu$. Developing the concept of the inverse jump transformation we show that the packing and Hausdorff dimensions of the conformal measure are equal to $h$. We also provide some sufficient conditions for Hausdorff and box dimensions of the Julia set to be equal.


Author(s):  
Daniel Berend

AbstractLet σ be an ergodic endomorphism of the r–dimensional torus and Π a semigroup generated by two affine transformations lying above σ. We show that the flow defined by Π admits minimal sets of positive Hausdorff dimension and we give necessary and sufficient conditions for this flow to be minimal.


Author(s):  
Hideto Nakashima

AbstractIn this paper, we give necessary and sufficient conditions for a homogeneous cone Ω to be symmetric in two ways. One is by using the multiplier matrix of Ω, and the other is in terms of the basic relative invariants of Ω. In the latter approach, we need to show that the real parts of certain meromorphic rational functions obtained by the basic relative invariants are always positive on the tube domains over Ω. This is a generalization of a result of Ishi and Nomura [Math. Z. 259 (2008), 604–674].


2011 ◽  
Vol 21 (11) ◽  
pp. 3323-3339
Author(s):  
RIKA HAGIHARA ◽  
JANE HAWKINS

We study a family of rational maps of the Riemann sphere with the property that each map has two fixed points with multiplier -1; moreover, each map has no period 2 orbits. The family we analyze is Ra(z) = (z3 - z)/(-z2 + az + 1), where a varies over all nonzero complex numbers. We discuss many dynamical properties of Ra including bifurcations of critical orbit behavior as a varies, connectivity of the Julia set J(Ra), and we give estimates on the Hausdorff dimension of J(Ra).


1996 ◽  
Vol 16 (4) ◽  
pp. 833-848 ◽  
Author(s):  
Sebastian Van Strien

AbstractIn this paper we shall give examples of rational maps on the Riemann sphere and also of polynomial interval maps which are transitive but not ergodic with respect to Lebesgue measure. In fact, these maps have two disjoint compact attractors whose attractive basins are ‘intermingled’, each having a positive Lebesgue measure in every open set. In addition, we show that there exists a real bimodal polynomial with Fibonacci dynamics (of the type considered by Branner and Hubbard), whose Julia set is totally disconnected and has positive Lebesgue measure. Finally, we show that there exists a rational map associated to the Newton iteration scheme corresponding to a polynomial whose Julia set has positive Lebesgue measure.


1996 ◽  
Vol 16 (2) ◽  
pp. 255-266 ◽  
Author(s):  
Manfred Denker ◽  
Feliks Przytycki ◽  
Mariusz Urbański

AbstractLet T be a rational function of degree ≥ 2 on the Riemann sphere. Our results are based on the lemma that the diameter of a connected component of T−n(B(x, r)), centered at any point x in its Julia set J = J(T), does not exceed Lnrp for some constants L ≥ 1 and ρ > 0. Denote the transfer operator of a Hölder-continuous function φ on J satisfying P(T,φ) > supz∈Jφ(z). We study the behavior of {: n ≥ 1} for Hölder-continuous functions ψ and show that the sequence is (uniformly) normbounded in the space of Hölder-continuous functions for sufficiently small exponent. As a consequence we obtain that the density of the equilibrium measure μ for φ with respect to the -conformal measure is Höolder-continuous. We also prove that the rate of convergence of {ψ to this density in sup-norm is . From this we deduce the corresponding decay of the correlation integral and the central limit theorem for ψ.


1997 ◽  
Vol 17 (2) ◽  
pp. 253-267 ◽  
Author(s):  
A. G. ABERCROMBIE ◽  
R. NAIR

A rational map $T$ of degree not less than two is known to preserve a measure, called the conformal measure, equivalent to the Hausdorff measure of the same dimension as its Julia set $J$ and supported there, with respect to which it is ergodic and even exact. As a consequence of Birkhoff's pointwise ergodic theorem almost every $z$ in $J$ with respect to the conformal measure has an orbit that is asymptotically distributed on $J$ with respect to this measure. As a counterpoint to this, the following result is established in this paper. Let $\Omega(z)=\Omega_{T}(z)$ denote the closure of the set $\{T^{n}(z):n=1,2,\ldots\}$. For any expanding rational map $T$ of degree at least two we set \[ S(z_{0})=\{z\in J:z_{0}\not\in \Omega_{T}(z)\}. \] We show that for all $z_{0}$ the Hausdorff dimensions of $S(z)$ and $J$ are equal.


Sign in / Sign up

Export Citation Format

Share Document