Showing 1–23 of 23 results for author: Baranski, K

On the dimension of the boundaries of attracting basins of entire maps

Authors: Krzysztof Barański, Bogusława Karpińska, David Martí-Pete, Leticia Pardo-Simón, Anna Zdunik

Abstract: We study the dimension of the boundaries of periodic Fatou components of transcendental entire maps. We prove that if $U$ is an immediate component of the basin of an attracting periodic point $ζ$ of period $p\ge 1$ of a transcendental entire function $f\colon \mathbb C \to \mathbb C$ from the Eremenko--Lyubich class $\mathcal B$, such that $\text{deg} f^p|_U = \infty$ and… ▽ More We study the dimension of the boundaries of periodic Fatou components of transcendental entire maps. We prove that if $U$ is an immediate component of the basin of an attracting periodic point $ζ$ of period $p\ge 1$ of a transcendental entire function $f\colon \mathbb C \to \mathbb C$ from the Eremenko--Lyubich class $\mathcal B$, such that $\text{deg} f^p|_U = \infty$ and $\overline{\text{Sing}(f^p|_U)}$ is a compact subset of $U$, then the hyperbolic (and, consequently, Hausdorff) dimension of the boundary of $U$ is larger than $1$. The same holds if $U$ is an immediate component of the basin of a parabolic $p$-periodic point $ζ$, under an additional assumption $ζ\notin \overline{\text{Sing}(f^p)}$. We also show that if $U$ is a bounded immediate component of an attracting basin of a transcendental entire function $f$, then the hyperbolic dimension of the boundary of $U$ is larger than $1$. In particular, this implies that the boundary of a component of an attracting basin of a transcendental entire function is never a smooth or rectifiable curve. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: 33 pages, 10 figures

MSC Class: 37F10; 37F35; 30D05; 30D40

Predicting dynamical systems with too few time-delay measurements: error estimates

Authors: Krzysztof Barański, Yonatan Gutman, Adam Śpiewak

Abstract: We study the problem of reconstructing and predicting the future of a dynamical system by the use of time-delay measurements of typical observables. Considering the case of too few measurements, we prove that for Lipschitz systems on compact sets in Euclidean spaces, equipped with an invariant Borel probability measure $μ$ of Hausdorff dimension $d$, one needs at least $d$ measurements of a typica… ▽ More We study the problem of reconstructing and predicting the future of a dynamical system by the use of time-delay measurements of typical observables. Considering the case of too few measurements, we prove that for Lipschitz systems on compact sets in Euclidean spaces, equipped with an invariant Borel probability measure $μ$ of Hausdorff dimension $d$, one needs at least $d$ measurements of a typical (prevalent) Lipschitz observable for $μ$-almost sure reconstruction and prediction. Consequently, the Hausdorff dimension of $μ$ is the precise threshold for the minimal delay (embedding) dimension for such systems in a probabilistic setting. Furthermore, we establish a lower bound postulated in the Schroer--Sauer--Ott--Yorke prediction error conjecture from 1998, after necessary modifications (whereas the upper estimates were obtained in our previous work). To this aim, we prove a general theorem on the dimensions of conditional measures of $μ$ with respect to time-delay coordinate maps. △ Less

Submitted 28 January, 2024; originally announced January 2024.

MSC Class: 37C45; 37C40; 58D10

Local connectivity of boundaries of tame Fatou components of meromorphic functions

Authors: Krzystof Barański, Núria Fagella, Xavier Jarque, Bogusława Karpińska

Abstract: We prove local connectivity of the boundaries of invariant simply connected attracting basins for a class of transcendental meromorphic maps. The maps within this class need not be geometrically finite or in class $\mathcal B$, and the boundaries of the basins (possibly unbounded) are allowed to contain an infinite number of post-singular values, as well as the essential singularity at infinity. A… ▽ More We prove local connectivity of the boundaries of invariant simply connected attracting basins for a class of transcendental meromorphic maps. The maps within this class need not be geometrically finite or in class $\mathcal B$, and the boundaries of the basins (possibly unbounded) are allowed to contain an infinite number of post-singular values, as well as the essential singularity at infinity. A basic assumption is that the unbounded parts of the basins are contained in regions which we call `repelling petals at infinity', where the map exhibits a kind of `parabolic' behaviour. In particular, our results apply to a wide class of Newton's methods for transcendental entire maps. As an application, we prove local connectivity of the Julia set of Newton's method for $\sin z$, providing the first non-trivial example of a locally connected Julia set of a transcendental map outside class $\mathcal B$, with an infinite number of unbounded Fatou components. △ Less

Submitted 13 June, 2024; v1 submitted 3 September, 2023; originally announced September 2023.

Comments: V2: We correct some misprints and explaining how to extend the construction in the case of parabolic periodic (instead of fixed) points lying in the boundary of $U$. 49 pages, 8 figures

MSC Class: 37F10; 37F20; 30D05; 30D30 ACM Class: G.0

Regularity of almost-surely injective projections in Euclidean spaces

Authors: Krzysztof Barański, Yonatan Gutman, Adam Śpiewak

Abstract: In a previous work we proved that if a finite Borel measure $μ$ in a Euclidean space has Hausdorff dimension smaller than a positive integer $k$, then the orthogonal projection onto almost every $k$-dimensional linear subspace is injective on a set of full $μ$-measure. In this paper we study the regularity of the inverses of these projections and prove that if $μ$ has a compact support $X$ such th… ▽ More In a previous work we proved that if a finite Borel measure $μ$ in a Euclidean space has Hausdorff dimension smaller than a positive integer $k$, then the orthogonal projection onto almost every $k$-dimensional linear subspace is injective on a set of full $μ$-measure. In this paper we study the regularity of the inverses of these projections and prove that if $μ$ has a compact support $X$ such that (respectively) the Hausdorff, upper box-counting or Assouad dimension of $X$ is smaller than $k$, then the inverse is (respectively) continuous, pointwise $α$-Hölder for some $α\in (0,1)$ or pointwise $α$-Hölder for every $α\in (0,1)$. The results generalize to the case of typical linear perturbations of Lipschitz maps and strengthen previously known ones in the lossless analog compression literature. We provide examples showing the sharpness of the statements. Additionally, we construct a non-trivial measure on the plane which admits almost-surely injective projections in every direction, and show that no homogeneous self-similar measure has this property. △ Less

Submitted 23 June, 2023; v1 submitted 27 January, 2023; originally announced January 2023.

Comments: v2: minor changes in the text. Examples showing sharpness of the results added to Section 6

MSC Class: 28A75; 28A78; 28A80

Prediction of dynamical systems from time-delayed measurements with self-intersections

Authors: Krzysztof Barański, Yonatan Gutman, Adam Śpiewak

Abstract: In the context of predicting the behaviour of chaotic systems, Schroer, Sauer, Ott and Yorke conjectured in 1998 that if a dynamical system defined by a smooth diffeomorphism $T$ of a Riemannian manifold $X$ admits an attractor with a natural measure $μ$ of information dimension smaller than $k$, then $k$ time-delayed measurements of a one-dimensional observable $h$ are generically sufficient for… ▽ More In the context of predicting the behaviour of chaotic systems, Schroer, Sauer, Ott and Yorke conjectured in 1998 that if a dynamical system defined by a smooth diffeomorphism $T$ of a Riemannian manifold $X$ admits an attractor with a natural measure $μ$ of information dimension smaller than $k$, then $k$ time-delayed measurements of a one-dimensional observable $h$ are generically sufficient for $μ$-almost sure prediction of future measurements of $h$. In a previous paper we established this conjecture in the setup of injective Lipschitz transformations $T$ of a compact set $X$ in Euclidean space with an ergodic $T$-invariant Borel probability measure $μ$. In this paper we prove the conjecture for all (also non-invertible) Lipschitz systems on compact sets with an arbitrary Borel probability measure, and establish an upper bound for the decay rate of the measure of the set of points where the prediction is subpar. This partially confirms a second conjecture by Schroer, Sauer, Ott and Yorke related to empirical prediction algorithms as well as algorithms estimating the dimension and number of required delayed measurements (the so-called embedding dimension) of an observed system. We also prove general time-delay prediction theorems for locally Lipschitz or Hölder systems on Borel sets in Euclidean space. △ Less

Submitted 15 October, 2024; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: Minor corrections. Final author's version

MSC Class: 37C45; 37C40; 58D10

Journal ref: J. Math. Pures Appl. 186 (2024), 103-149

On the dimension of stationary measures for random piecewise affine interval homeomorphisms

Authors: Krzysztof Barański, Adam Śpiewak

Abstract: We study stationary measures for iterated function systems (considered as random dynamical systems) consisting of two piecewise affine interval homeomorphisms, called Alsedà--Misiurewicz (AM) systems. We prove that for an open set of parameters, the unique non-atomic stationary measure for an AM-system has Hausdorff dimension strictly smaller than $1$. In particular, we obtain singularity of these… ▽ More We study stationary measures for iterated function systems (considered as random dynamical systems) consisting of two piecewise affine interval homeomorphisms, called Alsedà--Misiurewicz (AM) systems. We prove that for an open set of parameters, the unique non-atomic stationary measure for an AM-system has Hausdorff dimension strictly smaller than $1$. In particular, we obtain singularity of these measures, answering partially a question of Alsedà and Misiurewicz from 2014. △ Less

Submitted 10 July, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Error in Lemma 4.1 corrected. Final authors version to appear in Ergodic Theory Dynam. Systems

MSC Class: 37E05; 37E10; 37H10; 37H15

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 1473-1488

On the Shroer-Sauer-Ott-Yorke predictability conjecture for time-delay embeddings

Authors: Krzysztof Barański, Yonatan Gutman, Adam Śpiewak

Abstract: Shroer, Sauer, Ott and Yorke conjectured in 1998 that the Takens delay embedding theorem can be improved in a probabilistic context. More precisely, their conjecture states that if $μ$ is a natural measure for a smooth diffeomorphism of a Riemannian manifold and $k$ is greater than the information dimension of $μ$, then $k$ time-delayed measurements of a one-dimensional observable $h$ are generica… ▽ More Shroer, Sauer, Ott and Yorke conjectured in 1998 that the Takens delay embedding theorem can be improved in a probabilistic context. More precisely, their conjecture states that if $μ$ is a natural measure for a smooth diffeomorphism of a Riemannian manifold and $k$ is greater than the information dimension of $μ$, then $k$ time-delayed measurements of a one-dimensional observable $h$ are generically sufficient for a predictable reconstruction of $μ$-almost every initial point of the original system. This reduces by half the number of required measurements, compared to the standard (deterministic) setup. We prove the conjecture for ergodic measures and show that it holds for a generic smooth diffeomorphism, if the information dimension is replaced by the Hausdorff one. To this aim, we prove a general version of predictable embedding theorem for injective Lipschitz maps on compact sets and arbitrary Borel probability measures. We also construct an example of a $C^\infty$-smooth diffeomorphism with a natural measure, for which the conjecture does not hold in its original formulation. △ Less

Submitted 3 February, 2022; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: Final authors version, minor corrections

MSC Class: 37C45; 37C40; 58D10

Journal ref: Commun. Math. Phys. 391, 609-641 (2022)

On the dimension of points which escape to infinity at given rate under exponential iteration

Authors: Krzysztof Barański, Bogusława Karpińska

Abstract: We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps. We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps. △ Less

Submitted 3 December, 2020; v1 submitted 20 July, 2020; originally announced July 2020.

Journal ref: Ergodic Theory Dynam. Systems 42 (2022), no. 5, 1591-1623

Singular stationary measures for random piecewise affine interval homeomorphisms

Authors: Krzysztof Barański, Adam Śpiewak

Abstract: We show that the stationary measure for some random systems of two piecewise affine homeomorphisms of the interval is singular, verifying partially a conjecture by Alsedà and Misiurewicz and contributing to a question of Navas on the absolute continuity of stationary measures, considered in the setup of semigroups of piecewise affine circle homeomorphisms. We focus on the case of resonant boundary… ▽ More We show that the stationary measure for some random systems of two piecewise affine homeomorphisms of the interval is singular, verifying partially a conjecture by Alsedà and Misiurewicz and contributing to a question of Navas on the absolute continuity of stationary measures, considered in the setup of semigroups of piecewise affine circle homeomorphisms. We focus on the case of resonant boundary derivatives. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Comments: 47 pages, 5 figures

MSC Class: 37E05; 37E10; 37H10; 37H15

Journal ref: Journal of Dynamics and Differential Equations 33 (2021), no. 1, 345-393

A probabilistic Takens theorem

Authors: Krzysztof Barański, Yonatan Gutman, Adam Śpiewak

Abstract: Let $X \subset \mathbb{R}^N$ be a Borel set, $μ$ a Borel probability measure on $X$ and $T:X \to X$ a Lipschitz and injective map. Fix $k \in \mathbb{N}$ greater than the (Hausdorff) dimension of $X$ and assume that the set of $p$-periodic points has dimension smaller than $p$ for $p=1, \ldots, k-1$. We prove that for a typical polynomial perturbation $\tilde{h}$ of a given Lipschitz map… ▽ More Let $X \subset \mathbb{R}^N$ be a Borel set, $μ$ a Borel probability measure on $X$ and $T:X \to X$ a Lipschitz and injective map. Fix $k \in \mathbb{N}$ greater than the (Hausdorff) dimension of $X$ and assume that the set of $p$-periodic points has dimension smaller than $p$ for $p=1, \ldots, k-1$. We prove that for a typical polynomial perturbation $\tilde{h}$ of a given Lipschitz map $h : X \to \mathbb{R}$, the $k$-delay coordinate map $x \mapsto (\tilde{h}(x), \tilde{h}(Tx), \ldots, \tilde{h}(T^{k-1}x))$ is injective on a set of full measure $μ$. This is a probabilistic version of the Takens delay embedding theorem as proven by Sauer, Yorke and Casdagli. We also provide a non-dynamical probabilistic embedding theorem of similar type, which strengthens a previous result by Alberti, Bölcskei, De Lellis, Koliander and Riegler. In both cases, the key improvements compared to the non-probabilistic counterparts are the reduction of the number of required measurements from $2\dim X$ to $\dim X$ and using Hausdorff dimension instead of the box-counting one. We present examples showing how the use of the Hausdorff dimension improves the previously obtained results. △ Less

Submitted 11 August, 2020; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: Final authors' version with minor corrections

MSC Class: 37C45; 28A78; 28A80

Journal ref: Nonlinearity, 33 (2020), 4940-4966

Fatou components and singularities of meromorphic functions

Authors: Krzysztof Barański, Núria Fagella, Xavier Jarque, Bogusława Karpińska

Abstract: We prove several results concerning the relative position of points in the postsingular set $P(f)$ of a meromorphic map $f$ and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates $U_n$ of such a domain have uniformly bounded diameter, the… ▽ More We prove several results concerning the relative position of points in the postsingular set $P(f)$ of a meromorphic map $f$ and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates $U_n$ of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values $p_n$ such that ${\rm dist}(p_n,\partial U_n)\to 0$ as $n\to \infty$. We also prove that if $U_n \cap P(f)=\emptyset$ and the postsingular set of $f$ lies at a positive distance from the Julia set (in $\mathbb C$) then any sequence of iterates of wandering domains must contain arbitrarily large disks. This allows to exclude the existence of wandering domains for some meromorphic maps with infinitely many poles and unbounded set of singular values. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: 19 pages, 3 figures

MSC Class: 30D05; 37F10; 30D30

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 150 (2020) 633-654

Conformal measures for meromorphic maps

Authors: Krzysztof Barański, Bogusława Karpińska, Anna Zdunik

Abstract: In this paper we study the relation between the existence of a conformal measure on the Julia set $J(f)$ of a transcendental meromorphic map $f$ and the existence of zero of the topological pressure function $t \mapsto P(f, t)$ for the map $f$. In particular, we show that if $f$ is hyperbolic and there exists a $t$-conformal measure which is not totally supported on the set of escaping points, the… ▽ More In this paper we study the relation between the existence of a conformal measure on the Julia set $J(f)$ of a transcendental meromorphic map $f$ and the existence of zero of the topological pressure function $t \mapsto P(f, t)$ for the map $f$. In particular, we show that if $f$ is hyperbolic and there exists a $t$-conformal measure which is not totally supported on the set of escaping points, then $P(f, t) = 0$. On the other hand, for a wide class of maps $f$, including arbitrary maps with at most finitely many poles and finite set of singular values and hyperbolic maps with at most finitely many poles and bounded set of singular values, if $P(f, t) = 0$, we construct a $t$-conformal measure on $J(f)$. This partially answers a question of R.D. Mauldin. △ Less

Submitted 31 August, 2016; originally announced August 2016.

MSC Class: 37F10; 37F35

Journal ref: Ann. Acad. Sci. Fenn. Math. 43 (2018), no. 1, 247-266

Escaping points in the boundaries of Baker domains

Authors: Krzysztof Barański, Núria Fagella, Xavier Jarque, Bogusława Karpińska

Abstract: We study the dynamical behaviour of points in the boundaries of simply connected invariant Baker domains $U$ of meromorphic maps $f$ with a finite degree on $U$. We prove that if $f|_U$ is of hyperbolic or simply parabolic type, then almost every point in the boundary of $U$ with respect to harmonic measure escapes to infinity under iteration. On the contrary, if $f|_U$ is of doubly parabolic type… ▽ More We study the dynamical behaviour of points in the boundaries of simply connected invariant Baker domains $U$ of meromorphic maps $f$ with a finite degree on $U$. We prove that if $f|_U$ is of hyperbolic or simply parabolic type, then almost every point in the boundary of $U$ with respect to harmonic measure escapes to infinity under iteration. On the contrary, if $f|_U$ is of doubly parabolic type, then almost every point in the boundary of $U$ with respect to harmonic measure has dense forward trajectory in the boundary of $U$, in particular the set of escaping points in the boundary of $U$ has harmonic measure zero. We also present some extensions of the results to the case when $f$ has infinite degree on $U$, including classical Fatou example. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: 21 pages, 1 figure

MSC Class: 30D05; 37F10; 30D30

Journal ref: J. Anal. Math. 137 (2019), no. 2, 679-706

Connectivity of Julia sets of Newton maps: A unified approach

Authors: Krzysztof Barański, Núria Fagella, Xavier Jarque, Bogusława Karpińska

Abstract: In this paper we give a unified proof of the fact that the Julia set of Newton's method applied to a holomorphic function of the complex plane (a polynomial of degree large than $1$ or an entire transcendental function) is connected. The result was recently completed by the authors' previous work, as a consequence of a more general theorem whose proof spreads among many papers, which consider sepa… ▽ More In this paper we give a unified proof of the fact that the Julia set of Newton's method applied to a holomorphic function of the complex plane (a polynomial of degree large than $1$ or an entire transcendental function) is connected. The result was recently completed by the authors' previous work, as a consequence of a more general theorem whose proof spreads among many papers, which consider separately a number of particular cases for rational and transcendental maps, and use a variety of techniques. In this note we present a unified, direct and reasonably self-contained proof which works for all situations alike. △ Less

Submitted 22 January, 2015; originally announced January 2015.

Comments: 15 pages, 3 figures. arXiv admin note: text overlap with arXiv:1206.6667

MSC Class: 30D05; 37F10; 30D30

Accesses to infinity from Fatou components

Authors: Krzysztof Barański, Núria Fagella, Xavier Jarque, Bogusława Karpińska

Abstract: We study the boundary behaviour of a meromorphic map $f: \mathbb C \to \widehat{\mathbb C}$ on its invariant simply connected Fatou component $U$. To this aim, we develop the theory of accesses to boundary points of $U$ and their relation to the dynamics of $f$. In particular, we establish a correspondence between invariant accesses from $U$ to infinity or weakly repelling points of $f$ and bounda… ▽ More We study the boundary behaviour of a meromorphic map $f: \mathbb C \to \widehat{\mathbb C}$ on its invariant simply connected Fatou component $U$. To this aim, we develop the theory of accesses to boundary points of $U$ and their relation to the dynamics of $f$. In particular, we establish a correspondence between invariant accesses from $U$ to infinity or weakly repelling points of $f$ and boundary fixed points of the associated inner function on the unit disc. We apply our results to describe the accesses to infinity from invariant Fatou components of the Newton maps. △ Less

Submitted 20 November, 2014; originally announced November 2014.

Comments: 31 pages, 8 figures

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 3, 1835-1867

Absorbing sets and Baker domains for holomorphic maps

Authors: Krzysztof Barański, Núria Fagella, Xavier Jarque, Bogusława Karpińska

Abstract: We consider holomorphic maps $f: U \to U$ for a hyperbolic domain $U$ in the complex plane, such that the iterates of $f$ converge to a boundary point $ζ$ of $U$. By a previous result of the authors, for such maps there exist nice absorbing domains $W \subset U$. In this paper we show that $W$ can be chosen to be simply connected, if $f$ has parabolic I type in the sense of the Baker--Pommerenke--… ▽ More We consider holomorphic maps $f: U \to U$ for a hyperbolic domain $U$ in the complex plane, such that the iterates of $f$ converge to a boundary point $ζ$ of $U$. By a previous result of the authors, for such maps there exist nice absorbing domains $W \subset U$. In this paper we show that $W$ can be chosen to be simply connected, if $f$ has parabolic I type in the sense of the Baker--Pommerenke--Cowen classification of its lift by a universal covering (and $ζ$ is not an isolated boundary point of $U$). Moreover, we provide counterexamples for other types of the map $f$ and give an exact characterization of parabolic I type in terms of the dynamical behaviour of $f$. △ Less

Submitted 28 January, 2014; originally announced January 2014.

MSC Class: 30D05; 37F10; 30D30

Journal ref: J. London Math. Soc. 92 (2015), no. 1, 144-162

On the dimension of the graph of the classical Weierstrass function

Authors: Krzysztof Barański, Balázs Bárány, Julia Romanowska

Abstract: This paper examines dimension of the graph of the famous Weierstrass non-differentiable function \[ W_{λ, b} (x) = \sum_{n=0}^{\infty}λ^n\cos(2πb^n x) \] for an integer $b \ge 2$ and $1/b < λ< 1$. We prove that for every $b$ there exists (explicitly given) $λ_b \in (1/b, 1)$ such that the Hausdorff dimension of the graph of $W_{λ, b}$ is equal to $D = 2+\frac{\logλ}{\log b}$ for every… ▽ More This paper examines dimension of the graph of the famous Weierstrass non-differentiable function \[ W_{λ, b} (x) = \sum_{n=0}^{\infty}λ^n\cos(2πb^n x) \] for an integer $b \ge 2$ and $1/b < λ< 1$. We prove that for every $b$ there exists (explicitly given) $λ_b \in (1/b, 1)$ such that the Hausdorff dimension of the graph of $W_{λ, b}$ is equal to $D = 2+\frac{\logλ}{\log b}$ for every $λ\in(λ_b,1)$. We also show that the dimension is equal to $D$ for almost every $λ$ on some larger interval. This partially solves a well-known thirty-year-old conjecture. Furthermore, we prove that the Hausdorff dimension of the graph of the function \[ f (x) = \sum_{n=0}^{\infty}λ^nφ(b^n x) \] for an integer $b \ge 2$ and $1/b < λ< 1$ is equal to $D$ for a typical $\mathbb Z$-periodic $C^3$ function $φ$. △ Less

Submitted 27 November, 2014; v1 submitted 15 September, 2013; originally announced September 2013.

Comments: Final authors' version with a correction of an inexact statement in the introduction to the published version, concerning the box dimension of the graphs of functions of the form (1.1) and (1.2)

MSC Class: Primary 28A80; 28A78. Secondary 37C45; 37C40

Journal ref: Adv. Math. 265 (2014), 32-59

On the connectivity of the Julia sets of meromorphic functions

Authors: Krzysztof Baranski, Nuria Fagella, Xavier Jarque, Boguslawa Karpinska

Abstract: 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 iterat… ▽ More 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. △ Less

Submitted 28 June, 2012; originally announced June 2012.

Comments: 34 pages, 10 figures

Journal ref: Invent. Math. 198 (2014), no. 3, 591-636

On the dimension of graphs of Weierstrass-type functions with rapidly growing frequencies

Authors: Krzysztof Baranski

Abstract: We determine the Hausdorff and box dimension of the fractal graphs for a general class of Weierstrass-type functions of the form $f(x) = \sum_{n=1}^\infty a_n \, g(b_n x + θ_n)$, where $g$ is a periodic Lipschitz real function and $a_{n+1}/a_n \to 0$, $b_{n+1}/b_n \to \infty$ as $n \to \infty$. Moreover, for any $H, B \in [1, 2]$, $H \leq B$ we provide examples of such functions with… ▽ More We determine the Hausdorff and box dimension of the fractal graphs for a general class of Weierstrass-type functions of the form $f(x) = \sum_{n=1}^\infty a_n \, g(b_n x + θ_n)$, where $g$ is a periodic Lipschitz real function and $a_{n+1}/a_n \to 0$, $b_{n+1}/b_n \to \infty$ as $n \to \infty$. Moreover, for any $H, B \in [1, 2]$, $H \leq B$ we provide examples of such functions with $\dim_H(\graph f) = \underline{\dim}_B(\graph f) = H$, $\bar{\dim}_B(\graph f) = B$. △ Less

Submitted 25 May, 2011; originally announced May 2011.

Comments: 18 pages

Journal ref: Nonlinearity 25 (2012), 193-209

Brushing the hairs of transcendental entire functions

Authors: Krzysztof Barański, Xavier Jarque, Lasse Rempe

Abstract: Let f be a hyperbolic transcendental entire function of finite order in the Eremenko-Lyubich class (or a finite composition of such maps), and suppose that f has a unique Fatou component. We show that the Julia set of $f$ is a Cantor bouquet; i.e. is ambiently homeomorphic to a straight brush in the sense of Aarts and Oversteegen. In particular, we show that any two such Julia sets are ambiently h… ▽ More Let f be a hyperbolic transcendental entire function of finite order in the Eremenko-Lyubich class (or a finite composition of such maps), and suppose that f has a unique Fatou component. We show that the Julia set of $f$ is a Cantor bouquet; i.e. is ambiently homeomorphic to a straight brush in the sense of Aarts and Oversteegen. In particular, we show that any two such Julia sets are ambiently homeomorphic. We also show that if $f\in\B$ has finite order (or is a finite composition of such maps), but is not necessarily hyperbolic, then the Julia set of f contains a Cantor bouquet. As part of our proof, we describe, for an arbitrary function $f\in\B$, a natural compactification of the dynamical plane by adding a "circle of addresses" at infinity. △ Less

Submitted 26 January, 2012; v1 submitted 21 January, 2011; originally announced January 2011.

Comments: 19 pages. V2: Small number of minor corrections made from V1

MSC Class: 37F10; 30D05

Journal ref: Topology Appl. 159 (2012), no. 8, 2102-2114

Bowen's formula for meromorphic functions

Authors: Krzysztof Barański, Bogusława Karpińska, Anna Zdunik

Abstract: Let $f$ be an arbitrary transcendental entire or meromorphic function in the class $\mathcal S$ (i.e. with finitely many singularities). We show that the topological pressure $P(f,t)$ for $t > 0$ can be defined as the common value of the pressures $P(f,t, z)$ for all $z \in \mathbb C$ up to a set of Hausdorff dimension zero. Moreover, we prove that $P(f,t)$ equals the supremum of the pressures of… ▽ More Let $f$ be an arbitrary transcendental entire or meromorphic function in the class $\mathcal S$ (i.e. with finitely many singularities). We show that the topological pressure $P(f,t)$ for $t > 0$ can be defined as the common value of the pressures $P(f,t, z)$ for all $z \in \mathbb C$ up to a set of Hausdorff dimension zero. Moreover, we prove that $P(f,t)$ equals the supremum of the pressures of $f|_X$ over all invariant hyperbolic subsets $X$ of the Julia set, and we prove Bowen's formula for $f$, i.e. we show that the Hausdorff dimension of the radial Julia set of $f$ is equal to the infimum of the set of $t$, for which $P(f,t)$ is non-positive. Similar results hold for (non-exceptional) transcendental entire or meromorphic functions $f$ in the class $\mathcal B$ (i.e. with bounded set of singularities), for which the closure of the post-singular set does not contain the Julia set. △ Less

Submitted 29 March, 2011; v1 submitted 22 July, 2010; originally announced July 2010.

Comments: 26 pages

MSC Class: Primary 37F10; 37F35

Journal ref: Ergodic Theory Dynam. Systems 32 (2012), 1165-1189

Dimension properties of the boundaries of exponential basins

Authors: Krzysztof Barański, Bogusława Karpińska, Anna Zdunik

Abstract: We prove that the boundary of a component $U$ of the basin of an attracting periodic cycle (of period greater than 1) for an exponential map on the complex plane has Hausdorff dimension greater than 1 and less than 2. Moreover, the set of points in the boundary of $U$ which do not escape to infinity has Hausdorff dimension (in fact: hyperbolic dimension) greater than 1, while the set of points i… ▽ More We prove that the boundary of a component $U$ of the basin of an attracting periodic cycle (of period greater than 1) for an exponential map on the complex plane has Hausdorff dimension greater than 1 and less than 2. Moreover, the set of points in the boundary of $U$ which do not escape to infinity has Hausdorff dimension (in fact: hyperbolic dimension) greater than 1, while the set of points in the boundary of $U$ which escape to infinity has Hausdorff dimension 1. △ Less

Submitted 6 February, 2009; originally announced February 2009.

Comments: 13 pages, 1 figure

MSC Class: 37F10; 37F35; 30D40; 28A80

Journal ref: Bull. Lond. Math. Soc. 42 (2010), 210-220

Hyperbolic dimension of Julia sets of meromorphic maps with logarithmic tracts

Authors: Krzysztof Barański, Bogusława Karpińska, Anna Zdunik

Abstract: We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1. We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1. △ Less

Submitted 16 November, 2007; originally announced November 2007.

Comments: 7 pages, 1 figure

MSC Class: 37F10; 37F35; 30D40; 28A80

Journal ref: Internat. Math. Res. Notices 2009 (2009), 615-624