arXiv subjects
Publications and source records attributed to Xavier Buff.
We describe an algorithm that, given a k-tuple of permutations representing the monodromy of a rational map, constructs an arbitrarily precise floating-point complex approximation of that map. We then explain how it has been used to study a problem in dynamical systems raised by Cui.
Given a sequence of complex numbers ρ_n, we study the asymptotic distribution of the sets of parameters c ε C such that the quadratic maps z^2 +c has a cycle of period n and multiplier ρ_n. Assume 1/n.log|ρ_n| tends to L. If L {\leq} log 2, they equidistribute on the boundary of the Mandelbrot set. If L > log 2 they equidistribute on the equipotential of the Mandelbrot set of level 2L - 2 log 2.
We prove that any Lattès map can be approximated by strictly postcritically finite rational maps which are not Lattès maps.
Let f: P^1 \to P^1 be a rational map with finite postcritical set P_f. Thurston showed that f induces a holomorphic map σ_f of the Teichmueller space T modelled on P_f to itself fixing the basepoint corresponding to the identity map (P^1, P_f) \to (P^1, P_f). We give explicit examples of such maps f showing that the following cases may occur: (1) the basepoint is an attracting fixed point, the image of σ_f is open and dense, and the map σ_f is a covering map onto its image; (2) the basepoint is a superattracting fixed point, σis surjective, and σis a ramified Galois covering, (3) σ_f is constant.
A well-known theorem of Böttcher asserts that an analytic germ f:(C,0)->(C,0) which has a superattracting fixed point at 0, more precisely of the form f(z) = az^k + o(z^k) for some a in C^*, is analytically conjugate to z->az^k by an analytic germ phi:(C,0)->(C,0) which is tangent to the identity at 0. In this article, we generalize this result to analytic maps of several complex variables.
We show the existence of birational self-maps f of P^k which are algebraically stable with algebraic degree d, for which there is a unique positive closed (1,1) current T satisfying f^*T=d T and ||T||=1 and for which the current T gives total mass to a pluripolar set.
We prove the existence of quadratic polynomials having a Julia set with positive Lebesgue measure in three cases: the presence of a Cremer fixed point, the presence of a Siegel disk, the presence of infinitely many (satellite) renormalizations.
We give a new proof of the following conjecture of Yoccoz: the sum of the logarithm of the conformal radius of fixed Siegel disks of monic quadratic polynomials and of the Brjuno function of their rotation number is bounded from above. In a former article we obtained a first proof based on the control of parabolic explosion. Here, we present a more elementary proof based on Yoccoz's initial methods. We then extend this result to some new families of polynomials such as unicritical ones. We also show that the conjecture does not hold for some other families of polynomials.
Newton's root finding method applied to a (transcendental) entire function f:C->C is the iteration of a meromorphic function N. It is well known that if for some starting value z, Newton's method converges to a point x in C, then f has a root at x. We show that in many cases, if an orbit converges to infinity for Newton's method, then f has a `virtual root' at infinity. More precisely, we show that if N has an invariant Baker domain that satisfies some mild assumptions, then 0 is an asymptotic value for f. Conversely, we show that if f has an asymptotic value of logarithmic type at 0, then the singularity over 0 is contained in an invariant Baker domain of N, which we call a virtual immediate basin. We show by way of counterexamples that this is not true for more general types of singularities.
If alpha is an irrational number, we define Yoccoz's Brjuno function Phi by Phi(alpha)=sum_{n geq 0} alpha_0*alpha_1*...*alpha_{n-1}*log(1/alpha_n), where alpha_0 is the fractional part of alpha and alpha_{n+1} is the fractional part of 1/alpha_n. The numbers alpha such that Phi(alpha) e^{2i pi alpha}z+z^2 has an indifferent fixed point at the origin. If P_alpha is linearizable, we let r(alpha) be the conformal radius of the Siegel disk and we set r(alpha)=0 otherwise. Yoccoz proved that Phi(alpha)=infty if and only if r(alpha)=0 and that the restriction of alpha -> Phi(alpha)+log r(alpha) to the set of Brjuno numbers is bounded from below by a universal constant. We proved that it is also bounded from above by a universal constant. In fact, Marmi, Moussa and Yoccoz conjecture that this function extends to $R$ as a Hölder function of exponent 1/2. In this article, we prove that there is a continuous extension to $R$.
In the quadratic family (the set of polynomials of degree 2), Petersen and Zakeri proved the existence of Siegel disks whose boundaries are Jordan curves, but not quasicircles. In their examples, the critical point is contained in the curve. In the first part, we prove the existence of quadratic examples that do not contain the critical point. In the second part, using a more abstract point of view (suggested by Avila), we show that we can control quite precisely the degree of regularity of the boundary of the quadratic Siegel disks we create by perturbations. For instance there exists examples where the boundary is C^n but not C^{n+1}.
If $\a$ is an irrational number, we let $\{p_n/q_n\}_{n\geq 0}$, be the approximants given by its continued fraction expansion. The Bruno series $B(\a)$ is defined as $$B(\a)=\sum_{n\geq 0} \frac{\log q_{n+1}}{q_n}.$$ The quadratic polynomial $P_\a:z\mapsto e^{2iπ\a}z+z^2$ has an indifferent fixed point at the origin. If $P_\a$ is linearizable, we let $r(\a)$ be the conformal radius of the Siegel disk and we set $r(\a)=0$ otherwise. Yoccoz proved that if $B(\a)=\infty$, then $r(\a)=0$ and $P_\a$ is not linearizable. In this article, we present a different proof and we show that there exists a constant $C$ such that for all irrational number $\a$ with $B(\a)<\infty$, we have $$B(\a)+\log r(\a) < C.$$ Together with former results of Yoccoz (see \cite{y}), this proves the conjectured boundedness of $B(\a)+\log r(\a)$.
Let $f(z)=e^{2iπθ} z+z^2$, where $θ$ is a quadratic irrational. McMullen proved that the Siegel disk for $f$ is self-similar about the critical point. We give a lower bound for the ratio of self-similarity, and we show that if $θ=(\sqrt 5-1)/2$ is the golden mean, then there exists a triangle contained in the Siegel disk, and with one vertex at the critical point. This answers a 15 year old conjecture.
We show that the Feigenbaum-Cvitanovic equation can be interpreted as a linearizing equation, and the domain of analyticity of the Feigenbaum fixed point of renormalization as a basin of attraction. There is a natural decomposition of this basin which enables to recover a result of local connectivity by Jiang and Hu for the Feigenbaum Julia set.