Topology and measure of buried points in Julia sets

Clinton P. Curry; John C. Mayer; E. D. Tymchatyn

Displaying similar documents to “Topology and measure of buried points in Julia sets”

Univoque sets for real numbers

Fan Lü, Bo Tan, Jun Wu (2014)

Fundamenta Mathematicae

Similarity:

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_{i} \in 0, 1$ . We prove that for any x ∈ (0,1), (x) contains a sequence ${β_{k}}_{k \geq 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\bar{(x)}$ are nowhere dense.

Sets of $β$ -expansions and the Hausdorff measure of slices through fractals

Tom Kempton (2016)

Journal of the European Mathematical Society

Similarity:

We study natural measures on sets of $β$ -expansions and on slices through self similar sets. In the setting of $β$ -expansions, these allow us to better understand the measure of maximal entropy for the random $β$ -transformation and to reinterpret a result of Lindenstrauss, Peres and Schlag in terms of equidistribution. Each of these applications is relevant to the study of Bernoulli convolutions. In the fractal setting this allows us to understand how to disintegrate Hausdorff measure by slicing,...

Characteristic Exponents of Rational Functions

Anna Zdunik (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We consider two characteristic exponents of a rational function f:ℂ̂ → ℂ̂ of degree d ≥ 2. The exponent $χ_{a} (f)$ is the average of log∥f’∥ with respect to the measure of maximal entropy. The exponent $χ_{m} (f)$ can be defined as the maximal characteristic exponent over all periodic orbits of f. We prove that $χ_{a} (f) = χ_{m} (f)$ if and only if f(z) is conformally conjugate to $z \mapsto z^{\pm d}$ .

The max norm in $R^{n}$ -isometries and measure

Regina Cohen, James W. Fickett (1982)

Colloquium Mathematicae

Similarity:

Defining complete and observable chaos

Víctor Jiménez López (1996)

Annales Polonici Mathematici

Similarity:

For a continuous map f from a real compact interval I into itself, we consider the set C(f) of points (x,y) ∈ I² for which $l i m i n f_{n \to \infty} | f^{n} (x) - f^{n} (y) | = 0$ and $l i m s u p_{n \to \infty} | f^{n} (x) - f^{n} (y) | > 0$ . We prove that if C(f) has full Lebesgue measure then it is residual, but the converse may not hold. Also, if λ² denotes the Lebesgue measure on the square and Ch(f) is the set of points (x,y) ∈ C(f) for which neither x nor y are asymptotically periodic, we show that λ²(C(f)) > 0 need not imply λ²(Ch(f)) > 0. We use these results to propose some plausible...

Quantization Dimension Estimate of Inhomogeneous Self-Similar Measures

Mrinal Kanti Roychowdhury (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We consider an inhomogeneous measure μ with the inhomogeneous part a self-similar measure ν, and show that for a given r ∈ (0,∞) the lower and the upper quantization dimensions of order r of μ are bounded below by the quantization dimension $D_{r} (ν)$ of ν and bounded above by a unique number $κ_{r} \in (0, \infty)$ , related to the temperature function of the thermodynamic formalism that arises in the multifractal analysis of μ.

On the continuity of the Hausdorff dimension of the Julia-Lavaurs sets

Ludwik Jaksztas (2011)

Fundamenta Mathematicae

Similarity:

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{σ}$ . We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0, σ}$ is continuous at σ₀ as the function of the parameter $σ \in \bar{₀}$ if and only if $H D (J_{0, σ ₀}) \geq 4 / 3$ . Since $H D (J_{0, σ}) > 4 / 3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $H D (J_{0, σ})$ on an open and dense subset of...

Equilibrium measures for holomorphic endomorphisms of complex projective spaces

Mariusz Urbański, Anna Zdunik (2013)

Fundamenta Mathematicae

Similarity:

Let f: ℙ → ℙ be a holomorphic endomorphism of a complex projective space $ℙ^{k}$ , k ≥ 1, and let J be the Julia set of f (the topological support of the unique maximal entropy measure). Then there exists a positive number $κ_{f} > 0$ such that if ϕ: J → ℝ is a Hölder continuous function with $s u p (ϕ) - i n f (ϕ) < κ_{f}$ , then ϕ admits a unique equilibrium state $μ_{ϕ}$ on J. This equilibrium state is equivalent to a fixed point of the normalized dual Perron-Frobenius operator. In addition, the dynamical system $(f, μ_{ϕ})$ is K-mixing, whence...

Characteristic points, rectifiability and perimeter measure on stratified groups

Valentino Magnani (2006)

Journal of the European Mathematical Society

Similarity:

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^{1}$ boundary and the spherical Hausdorff measure $S^{Q - 1}$ restricted to $\partial E$ , when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q - 1} (\partial E)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

Infinite Iterated Function Systems Depending on a Parameter

Ludwik Jaksztas (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets $J_{0, σ}$ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of $J_{0, σ}$ , given by Urbański and Zinsmeister. The closure of the limit set of our IFS $ϕ_{σ, α}^{n, k}$ is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

Hyperbolic measure of maximal entropy for generic rational maps of $ℙ^{k}$

Gabriel Vigny (2014)

Annales de l’institut Fourier

Similarity:

Let $f$ be a dominant rational map of $ℙ^{k}$ such that there exists $s < k$ with $λ_{s} (f) > λ_{l} (f)$ for all $l$ . Under mild hypotheses, we show that, for $A$ outside a pluripolar set of $Aut (ℙ^{k})$ , the map $f \circ A$ admits a hyperbolic measure of maximal entropy $log λ_{s} (f)$ with explicit bounds on the Lyapunov exponents. In particular, the result is true for polynomial maps hence for the homogeneous extension of $f$ to $ℙ^{k + 1}$ . This provides many examples where non uniform hyperbolic dynamics is established. One of the key tools is to approximate...

On Peano derivatives in $L^{p} (E_{n})$

S. Lasher (1968)

Studia Mathematica

Similarity:

Measures of maximal entropy for random $β$ -expansions

Karma Dajani, Martijn de Vries (2005)

Journal of the European Mathematical Society

Similarity:

Let $β > 1$ be a non-integer. We consider $β$ -expansions of the form $\sum_{i = 1}^{\infty} d_{i} / β^{i}$ , where the digits ${(d_{i})}_{i \geq 1}$ are generated by means of a Borel map $K_{β}$ defined on ${0, 1}^{ℕ} \times [0, ⌊ β ⌋ / (β - 1)]$ . We show that $K_{β}$ has a unique mixing measure $ν_{β}$ of maximal entropy with marginal measure an infinite convolution of Bernoulli measures. Furthermore, under the measure $ν_{β}$ the digits ${(d_{i})}_{i \geq 1}$ form a uniform Bernoulli process. In case 1 has a finite greedy expansion with positive coefficients, the measure of maximal entropy is Markov. We also discuss the uniqueness...

Interpolating sequences, Carleson measures and Wirtinger inequality

Eric Amar (2008)

Annales Polonici Mathematici

Similarity:

Let S be a sequence of points in the unit ball of ℂⁿ which is separated for the hyperbolic distance and contained in the zero set of a Nevanlinna function. We prove that the associated measure $μ_{S} : = \sum_{a \in S} (1 - | a | ²) ⁿ δ_{a}$ is bounded, by use of the Wirtinger inequality. Conversely, if X is an analytic subset of such that any δ -separated sequence S has its associated measure $μ_{S}$ bounded by C/δⁿ, then X is the zero set of a function in the Nevanlinna class of . As an easy consequence, we prove that if S is a dual...

On the Hausdorff Dimension of Topological Subspaces

Tomasz Szarek, Maciej Ślęczka (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is shown that every Polish space X with $d i m_{T} X \geq d$ admits a compact subspace Y such that $d i m_{H} Y \geq d$ where $d i m_{T}$ and $d i m_{H}$ denote the topological and Hausdorff dimensions, respectively.

Less than $2^{ω}$ many translates of a compact nullset may cover the real line

Márton Elekes, Juris Steprāns (2004)

Fundamenta Mathematicae

Similarity:

We answer a question of Darji and Keleti by proving that there exists a compact set C₀ ⊂ ℝ of measure zero such that for every perfect set P ⊂ ℝ there exists x ∈ ℝ such that (C₀+x) ∩ P is uncountable. Using this C₀ we answer a question of Gruenhage by showing that it is consistent with ZFC (as it follows e.g. from $c o f () < 2^{ω}$ ) that less than $2^{ω}$ many translates of a compact set of measure zero can cover ℝ.

On Ordinary and Standard Lebesgue Measures on $ℝ^{\infty}$

Gogi Pantsulaia (2009)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

New concepts of Lebesgue measure on $ℝ^{\infty}$ are proposed and some of their realizations in the ZFC theory are given. Also, it is shown that Baker’s both measures [1], [2], Mankiewicz and Preiss-Tišer generators [6] and the measure of [4] are not α-standard Lebesgue measures on $ℝ^{\infty}$ for α = (1,1,...).

A compact Hausdorff topology that is a T₁-complement of itself

Dmitri Shakhmatov, Michael Tkachenko (2002)

Fundamenta Mathematicae

Similarity:

Topologies τ₁ and τ₂ on a set X are called T₁-complementary if τ₁ ∩ τ₂ = X∖F: F ⊆ X is finite ∪ ∅ and τ₁∪τ₂ is a subbase for the discrete topology on X. Topological spaces $(X, τ_{X})$ and $(Y, τ_{Y})$ are called T₁-complementary provided that there exists a bijection f: X → Y such that $τ_{X}$ and $f^{- 1} (U) : U \in τ_{Y}$ are T₁-complementary topologies on X. We provide an example of a compact Hausdorff space of size $2^{}$ which is T₁-complementary to itself ( denotes the cardinality of the continuum). We prove that the existence of a compact...

Unique Bernoulli $g$ -measures

Anders Johansson, Anders Öberg, Mark Pollicott (2012)

Journal of the European Mathematical Society

Similarity:

We improve and subsume the conditions of Johansson and Öberg and Berbee for uniqueness of a $g$ -measure, i.e., a stationary distribution for chains with complete connections. In addition, we prove that these unique $g$ -measures have Bernoulli natural extensions. We also conclude that we have convergence in the Wasserstein metric of the iterates of the adjoint transfer operator to the $g$ -measure.

Strong bifurcation loci of full Hausdorff dimension

Thomas Gauthier (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In the moduli space $ℳ_{d}$ of degree $d$ rational maps, the bifurcation locus is the support of a closed $(1, 1)$ positive current $T_{bif}$ which is called the bifurcation current. This current gives rise to a measure $μ_{bif} : = {(T_{bif})}^{2 d - 2}$ whose support is the seat of strong bifurcations. Our main result says that $supp (μ_{bif})$ has maximal Hausdorff dimension $2 (2 d - 2)$ . As a consequence, the set of degree $d$ rational maps having $(2 d - 2)$ distinct neutral cycles is dense in a set of full Hausdorff dimension.

Distinguished subspaces of $L_{p}$ of maximal dimension

Geraldo Botelho, Daniel Cariello, Vinícius V. Fávaro, Daniel Pellegrino, Juan B. Seoane-Sepúlveda (2013)

Studia Mathematica

Similarity:

Separation properties for self-conformal sets

Yuan-Ling Ye (2002)

Studia Mathematica

Similarity:

For a one-to-one self-conformal contractive system ${w_{j}}_{j = 1}^{m}$ on $ℝ^{d}$ with attractor K and conformality dimension α, Peres et al. showed that the open set condition and strong open set condition are both equivalent to $0 < ℋ^{α} (K) < \infty$ . We give a simple proof of this result as well as discuss some further properties related to the separation condition.

Topological disjointness from entropy zero systems

Wen Huang, Kyewon Koh Park, Xiangdong Ye (2007)

Bulletin de la Société Mathématique de France

Similarity:

The properties of topological dynamical systems $(X, T)$ which are disjoint from all minimal systems of zero entropy, $ℳ_{0}$ , are investigated. Unlike the measurable case, it is known that topological $K$ -systems make up a proper subset of the systems which are disjoint from $ℳ_{0}$ . We show that $(X, T)$ has an invariant measure with full support, and if in addition $(X, T)$ is transitive, then $(X, T)$ is weakly mixing. A transitive diagonal system with only one minimal point is constructed. As a consequence, there exists...

Algebraic genericity of strict-order integrability

Luis Bernal-González (2010)

Studia Mathematica

Similarity:

We provide sharp conditions on a measure μ defined on a measurable space X guaranteeing that the family of functions in the Lebesgue space $L^{p} (μ, X)$ (p ≥ 1) which are not q-integrable for any q > p (or any q < p) contains large subspaces of $L^{p} (μ, X)$ (without zero). This improves recent results due to Aron, García, Muñoz, Palmberg, Pérez, Puglisi and Seoane. It is also shown that many non-q-integrable functions can even be obtained on any nonempty open subset of X, assuming that X is a topological...

Invariance of the Gibbs measure for the Benjamin–Ono equation

Yu Deng (2015)

Journal of the European Mathematical Society

Similarity:

In this paper we consider the periodic Benjemin-Ono equation.We establish the invariance of the Gibbs measure associated to this equation, thus answering a question raised in Tzvetkov [28]. As an intermediate step, we also obtain a local well-posedness result in Besov-type spaces rougher than $L^{2}$ , extending the $L^{2}$ well-posedness result of Molinet [20].

Homeomorphism groups of Sierpiński carpets and Erdős space

Jan J. Dijkstra, Dave Visser (2010)

Fundamenta Mathematicae

Similarity:

Erdős space is the “rational” Hilbert space, that is, the set of vectors in ℓ² with all coordinates rational. Erdős proved that is one-dimensional and homeomorphic to its own square × , which makes it an important example in dimension theory. Dijkstra and van Mill found topological characterizations of . Let $M ₙ^{n + 1}$ , n ∈ ℕ, be the n-dimensional Menger continuum in $ℝ^{n + 1}$ , also known as the n-dimensional Sierpiński carpet, and let D be a countable dense subset of $M ₙ^{n + 1}$ . We consider the topological group...

On the directional entropy of ℤ²-actions generated by cellular automata

M. Courbage, B. Kamiński (2002)

Studia Mathematica

Similarity:

We show that for any cellular automaton (CA) ℤ²-action Φ on the space of all doubly infinite sequences with values in a finite set A, determined by an automaton rule $F = F_{[l, r]}$ , l,r ∈ ℤ, l ≤ r, and any Φ-invariant Borel probability measure, the directional entropy $h_{v ⃗} (Φ)$ , v⃗= (x,y) ∈ ℝ², is bounded above by $m a x (| z_{l} |, | z_{r} |) l o g A$ if $z_{l} z_{r} \geq 0$ and by $| z_{r} - z_{l} |$ in the opposite case, where $z_{l} = x + l y$ , $z_{r} = x + r y$ . We also show that in the class of permutative CA-actions the bounds are attained if the measure considered is uniform Bernoulli.

Asymptotic nature of higher Mahler measure

(2014)

Acta Arithmetica

Similarity:

We consider Akatsuka’s zeta Mahler measure as a generating function of the higher Mahler measure $m_{k} (P)$ of a polynomial $P,$ where $m_{k} (P)$ is the integral of $l o g^{k} | P |$ over the complex unit circle. Restricting ourselves to P(x) = x - r with |r| = 1 we show some new asymptotic results regarding $m_{k} (P)$ , in particular $| m_{k} (P) | / k! \to 1 / π$ as k → ∞.

Compactness and extreme points of the set of quasi-measure extensions of a quasi-measure

Zbigniew Lipecki

Similarity:

The memoir is based on a series of six papers by the author published over the years 1995-2007. It continues the work of D. Plachky (1970, 1976). It also owes some inspiration, among others, to papers by J. Łoś and E. Marczewski (1949), D. Bierlein and W. J. A. Stich (1989), D. Bogner and R. Denk (1994), and A. Ülger (1996). Let and ℜ be algebras of subsets of a set Ω with ⊂ ℜ. Given a quasi-measure μ on , i.e., μ ∈ ba₊(), we denote by E(μ) the convex set of all quasi-measure extensions...

On some nonlinear nonhomogeneous elliptic unilateral problems involving noncontrollable lower order terms with measure right hand side

C. Yazough, E. Azroul, H. Redwane (2013)

Applicationes Mathematicae

Similarity:

We prove the existence of entropy solutions to unilateral problems associated to equations of the type $A u - d i v (ϕ (u)) = μ \in L ¹ (Ω) + W^{- 1, p^{'} (\cdot)} (Ω)$ , where A is a Leray-Lions operator acting from $W ₀^{1, p (\cdot)} (Ω)$ into its dual $W^{- 1, p (\cdot)} (Ω)$ and $ϕ \in C ⁰ (ℝ, ℝ^{N})$ .