Computability of Brolin-Lyubich measure

DOI10.1007/S00220-011-1363-1MaRDI QIDQ651408zbMATH OpenOpenAlexFDO

Authors Mark Braverman, Michael Yampolsky, Ilia Binder, Cristobal Rojas

Publication date 13 December 2011

Published in Communications in Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.3464

zbMATH Keywords

rational mapharmonic measurecomputabilitybasin of infinityBrolin-Lyubich measure

Mathematics Subject Classification ID

Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10) Small divisors, rotation domains and linearization in holomorphic dynamics (37F50) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Constructive and recursive analysis (03F60)

Abstract: Brolin-Lyubich measure $lambd{a}_R$ of a rational endomorphism $R:iemoiem$ with $degRgeq2$ is the unique invariant measure of maximal entropy $h_{lambd{a}_R}=h_{exttop}(R)=logd$. Its support is the Julia set $J(R)$. We demonstrate that $lambd{a}_R$ is always computable by an algorithm which has access to coefficients of $R$, even when $J(R)$ is not computable. In the case when $R$ is a polynomial, Brolin-Lyubich measure coincides with the harmonic measure of the basin of infinity. We find a sufficient condition for computability of the harmonic measure of a domain, which holds for the basin of infinity of a polynomial mapping, and show that computability may fail for a general domain.

Recommendations

• Non-computable Julia sets
• Computability of the Julia set. Nonrecurrent critical orbits
• Dynamics and abstract computability: computing invariant measures
• Computability of Julia sets
• On computational complexity of Cremer Julia sets

Cites work

• scientific article; zbMATH DE number 739279 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2174317 (Why is no real title available?)
• scientific article; zbMATH DE number 3183995 (Why is no real title available?)
• A rigorous ODE solver and Smale's 14th problem
• Computability of Julia sets
• Computability of probability measures and Martin-Löf randomness over metric spaces
• Derandomization of Euclidean Random Walks
• Deterministic Nonperiodic Flow
• Differentiable dynamical systems
• Dynamics and abstract computability: computing invariant measures
• Dynamics in One Complex Variable. (AM-160)
• Equidistribution and Nevanlinna theory
• Equidistribution speed for endomorphisms of projective spaces
• Filled Julia sets with empty interior are computable
• Invariant sets under iteration of rational functions
• Julia Sets are Uniformly Perfect
• Non-computable Julia sets
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On computational complexity of Siegel Julia sets
• On the concept of attractor
• Two-dimensional Brownian motion and harmonic functions
• Uniformly perfect sets and the Poincaré metric

Cited in

(15)

• Statistical properties of dynamical systems -- Simulation and abstract computation
• Carathéodory convergence and harmonic measure
• Effective notions of weak convergence of measures on the real line
• Computability of topological pressure on compact shift spaces beyond finite type*
• Computability at zero temperature
• Probability, statistics and computation in dynamical systems
• On the computational content of the Bolzano-Weierstraß Principle
• Computable complex analysis
• Computable Geometric Complex Analysis and Complex Dynamics
• Tight space-noise tradeoffs in computing the ergodic measure
• Computability in harmonic analysis
• Non-computable impressions of computable external rays of quadratic polynomials
• Towards understanding the theoretical challenges of numerical modeling of dynamical systems
• Computability of topological entropy: from general systems to transformations on Cantor sets and the interval
• On the computability of rotation sets and their entropies

This page was built for publication: Computability of Brolin-Lyubich measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651408)