A note on the boundary dynamics of holomorphic iterated function systems

Argyrios Christodoulou

arxiv: 2507.16358 · v2 · submitted 2025-07-22 · 🧮 math.DS · math.CV

A note on the boundary dynamics of holomorphic iterated function systems

Argyrios Christodoulou This is my paper

Pith reviewed 2026-05-19 03:55 UTC · model grok-4.3

classification 🧮 math.DS math.CV

keywords holomorphic iterated function systemsboundary dynamicsunit discDenjoy-Wolff theoremMöbius transformationsHardy normscomposition operators

0 comments

The pith

A sufficient condition extends left IFS dynamical behavior from the unit disc interior to the boundary.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a sufficient condition under which the long-term dynamical behavior of a left iterated function system of holomorphic self-maps on the unit disc extends from the interior to the boundary. This matters to readers studying complex dynamics because boundary behavior often determines the global outcome of iterations, such as convergence patterns. The result generalizes an earlier extension of the Denjoy-Wolff theorem to iterated function systems. The authors reach the conclusion by adjusting estimates on the Hardy norms of composition operators and introducing perturbations of the system via elliptic Möbius transformations.

Core claim

Our main result provides a sufficient condition which guarantees that the dynamical behaviour of a left iterated function system in the interior of the unit disc can be extended to the boundary. This generalises an extension of the classical Denjoy-Wolff Theorem, due to Bourdon, Matache and Shapiro, to the setting of iterated function systems. To do so we modify estimates for the Hardy norm of composition operators and combine them with a new technique of perturbing a left iterated function system by elliptic Möbius transformations.

What carries the argument

Perturbation of a left iterated function system by elliptic Möbius transformations, combined with modified Hardy-norm estimates for the associated composition operators.

If this is right

Interior convergence properties of the system extend to boundary points under the given condition.
The generalization applies Denjoy-Wolff type results to a wider class of iterated function systems.
Boundary attractors or fixed points become accessible through interior dynamical data.
The perturbation technique enables construction of new systems whose boundary dynamics are controlled by design.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The perturbation approach may extend to holomorphic dynamics on other domains with circular boundaries.
It could support stability analysis of boundary behavior under small changes to the generating maps.
Numerical approximations of boundary iterations might be cross-checked against the perturbed interior systems.

Load-bearing premise

The elliptic Möbius transformations used to perturb the left iterated function system must preserve the essential dynamical properties needed for the boundary extension argument.

What would settle it

Identify a left iterated function system satisfying the sufficient condition for which the observed boundary dynamics deviate from the extension predicted by the interior behavior, such as a failure of convergence to the expected boundary point.

read the original abstract

We consider the boundary dynamics of iterated function systems of holomorphic self-maps of the unit disc. Our main result provides a sufficient condition which guarantees that the dynamical behaviour of a left iterated function system in the interior of the unit disc can be extended to the boundary. This generalises an extension of the classical Denjoy--Wolff Theorem, due to Bourdon, Matache and Shapiro, to the setting of iterated function systems. To do so we modify estimates for the Hardy norm of composition operators and combine them with a new technique of perturbing a left iterated function system by elliptic M\"obius transformations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note supplies a sufficient condition to extend interior dynamics of left holomorphic IFS on the disc to the boundary via elliptic Möbius perturbation and adjusted Hardy-norm bounds.

read the letter

The main takeaway is a sufficient condition that pushes the interior behavior of a left iterated function system of holomorphic self-maps of the disc out to the boundary, generalizing the Bourdon-Matache-Shapiro extension of Denjoy-Wolff. They do this by first handling the interior dynamics, then applying a controlled perturbation with elliptic Möbius transformations to secure uniform Hardy-norm estimates that survive passage to the boundary. The perturbation is set up so the contraction rate and common Denjoy-Wolff point stay invariant to first order, which keeps the argument from introducing new boundary issues. That combination of existing operator estimates with the fresh perturbation step is the concrete advance. The construction looks grounded; the stress-test description shows no hidden assumptions left unverified and no reduction to fitted quantities. Soft spots are limited. The result is stated only as sufficient rather than necessary, and it applies specifically to left IFS, so it does not claim broader coverage. Within those bounds the estimates appear direct and the logic holds without obvious gaps. This is aimed at people already working on boundary dynamics for holomorphic maps or IFS. A reader tracking Denjoy-Wolff extensions or composition-operator techniques will pick up a usable technical tool. I would send it for peer review; the central claim is explicit enough and the method reproducible enough to merit referee time.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes a sufficient condition guaranteeing that the dynamical behavior of a left iterated function system of holomorphic self-maps of the unit disc, initially studied in the interior, extends to the boundary. The condition is formulated in terms of a uniform contraction rate and a common boundary Denjoy-Wolff point; the proof proceeds by modifying Hardy-norm estimates for the associated composition operators and applying a controlled perturbation of the IFS by elliptic Möbius transformations that preserves these quantities to first order, thereby invoking the Bourdon-Matache-Shapiro boundary extension.

Significance. If the central argument holds, the result supplies a concrete, checkable criterion for boundary extension in the IFS setting and thereby generalizes a known single-map theorem to a broader class of systems. The perturbation technique is a genuine addition that keeps the contraction rate and Denjoy-Wolff point invariant, and the paper avoids free parameters or ad-hoc constructions. This could be of interest to researchers working on boundary dynamics, composition operators on Hardy spaces, and holomorphic IFS.

minor comments (3)

[§2] §2: the definition of a 'left' iterated function system is introduced only after several paragraphs; moving the formal definition and a short illustrative example to the beginning of the section would improve readability.
[Theorem 3.1] Theorem 3.1: the statement of the sufficient condition is clear, but the proof sketch in the text does not explicitly record the precise Hardy-norm bound that is being modified; adding a displayed inequality with the citation to the original estimate would make the perturbation step easier to follow.
[References] The bibliography entry for Bourdon-Matache-Shapiro should include the full journal name, volume, and page range rather than the arXiv identifier alone.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for recognizing the significance of the perturbation technique and its potential interest to researchers in boundary dynamics and composition operators. We appreciate the recommendation for minor revision. No specific major comments were listed in the report, so we have no individual points requiring point-by-point rebuttal or clarification at this stage.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper first establishes interior dynamics for left IFS under a uniform contraction rate and common Denjoy-Wolff point, then introduces an explicit elliptic Möbius perturbation that preserves these quantities to first order while yielding uniform Hardy-norm bounds. These bounds are passed to the boundary via the external Bourdon-Matache-Shapiro extension theorem. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the perturbation technique is presented as new and independent of the target boundary result. The derivation remains self-contained against the cited external operator estimates.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard facts from complex analysis (holomorphic self-maps of the disc, properties of composition operators on Hardy spaces) and the cited Bourdon-Matache-Shapiro theorem. No free parameters or invented entities are mentioned in the abstract.

axioms (2)

domain assumption Holomorphic self-maps of the unit disc satisfy the Denjoy-Wolff theorem and its IFS extension by Bourdon, Matache and Shapiro.
The abstract explicitly frames the new result as a generalization of that prior theorem.
domain assumption Estimates for the Hardy norm of composition operators remain valid under the stated perturbation by elliptic Möbius transformations.
The proof strategy described combines these estimates with the new perturbation technique.

pith-pipeline@v0.9.0 · 5618 in / 1404 out tokens · 29729 ms · 2026-05-19T03:55:50.865430+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Stability of Blaschke products under forward iteration
math.CV 2026-04 unverdicted novelty 6.0

Indestructible and maximal Blaschke products are stable under forward iteration.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · cited by 1 Pith paper

[1]

Abate and A

M. Abate and A. Christodoulou, Random iteration on hyperbolic Riemann surfaces, Ann. Mat. Pura Appl. (4) 201 (2022), no. 4, 2021–2035

work page 2022
[2]

Abate and I

M. Abate and I. Short, Iterated function systems of holomorphic maps , Preprint (2025), available at https://arxiv.org/abs/2504.21124

work page arXiv 2025
[3]

A. F. Beardon and D. Minda, The hyperbolic metric and geometric function theory , Quasiconformal map- pings and their applications, Narosa, New Delhi, 2007, pp. 9–56

work page 2007
[4]

A. M. Benini, V. Evdoridou, N. Fagella, P. J. Rippon, and G. M. Stallard, Classifying simply connected wandering domains, Math. Ann. 383 (2022), no. 3-4, 1127–1178

work page 2022
[5]

, Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wander- ing domains, Adv. Math. 446 (2024), Paper No. 109673, 51

work page 2024
[6]

P. S. Bourdon, V. Matache, and J. H. Shapiro, On convergence to the Denjoy-Wolff point, Illinois J. Math. 49 (2005), no. 2, 405–430

work page 2005
[7]

Christodoulou and I

A. Christodoulou and I. Short, Stability of the Denjoy-Wolff theorem , Ann. Fenn. Math. 46 (2021), no. 1, 421–431

work page 2021
[8]

C. I. Doering and R. Ma˜ ne,The Dynamics of Inner Functions , Ens. Mat. Soc. Bras. Mat. 3 (1991), 1–79

work page 1991
[9]

P. L. Duren, Theory of H p spaces, Pure and Applied Mathematics, vol. Vol. 38, Academic Press, New York-London, 1970

work page 1970
[10]

G. R. Ferreira, A note on forward iteration of inner functions , Bull. Lond. Math. Soc. 55 (2023), no. 3, 1143–1153

work page 2023
[11]

Poggi-Corradini, Pointwise convergence on the boundary in the Denjoy-Wolff theorem, Rocky Mountain J

P. Poggi-Corradini, Pointwise convergence on the boundary in the Denjoy-Wolff theorem, Rocky Mountain J. Math. 40 (2010), no. 4, 1275–1288

work page 2010
[12]

J. L. Schiff, Normal families, Universitext, Springer-Verlag, New York, 1993

work page 1993
[13]

J. H. Shapiro, Composition operators and classical function theory , Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993

work page 1993
[14]

, What do composition operators know about inner functions? , Monatsh. Math. 130 (2000), no. 1, 57–70. Department of Mathematics, Aristotle University of Thessaloniki, 54124, Thessaloniki, Greece Email address: argyriac@math.auth.gr

work page 2000

[1] [1]

Abate and A

M. Abate and A. Christodoulou, Random iteration on hyperbolic Riemann surfaces, Ann. Mat. Pura Appl. (4) 201 (2022), no. 4, 2021–2035

work page 2022

[2] [2]

Abate and I

M. Abate and I. Short, Iterated function systems of holomorphic maps , Preprint (2025), available at https://arxiv.org/abs/2504.21124

work page arXiv 2025

[3] [3]

A. F. Beardon and D. Minda, The hyperbolic metric and geometric function theory , Quasiconformal map- pings and their applications, Narosa, New Delhi, 2007, pp. 9–56

work page 2007

[4] [4]

A. M. Benini, V. Evdoridou, N. Fagella, P. J. Rippon, and G. M. Stallard, Classifying simply connected wandering domains, Math. Ann. 383 (2022), no. 3-4, 1127–1178

work page 2022

[5] [5]

, Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wander- ing domains, Adv. Math. 446 (2024), Paper No. 109673, 51

work page 2024

[6] [6]

P. S. Bourdon, V. Matache, and J. H. Shapiro, On convergence to the Denjoy-Wolff point, Illinois J. Math. 49 (2005), no. 2, 405–430

work page 2005

[7] [7]

Christodoulou and I

A. Christodoulou and I. Short, Stability of the Denjoy-Wolff theorem , Ann. Fenn. Math. 46 (2021), no. 1, 421–431

work page 2021

[8] [8]

C. I. Doering and R. Ma˜ ne,The Dynamics of Inner Functions , Ens. Mat. Soc. Bras. Mat. 3 (1991), 1–79

work page 1991

[9] [9]

P. L. Duren, Theory of H p spaces, Pure and Applied Mathematics, vol. Vol. 38, Academic Press, New York-London, 1970

work page 1970

[10] [10]

G. R. Ferreira, A note on forward iteration of inner functions , Bull. Lond. Math. Soc. 55 (2023), no. 3, 1143–1153

work page 2023

[11] [11]

Poggi-Corradini, Pointwise convergence on the boundary in the Denjoy-Wolff theorem, Rocky Mountain J

P. Poggi-Corradini, Pointwise convergence on the boundary in the Denjoy-Wolff theorem, Rocky Mountain J. Math. 40 (2010), no. 4, 1275–1288

work page 2010

[12] [12]

J. L. Schiff, Normal families, Universitext, Springer-Verlag, New York, 1993

work page 1993

[13] [13]

J. H. Shapiro, Composition operators and classical function theory , Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993

work page 1993

[14] [14]

, What do composition operators know about inner functions? , Monatsh. Math. 130 (2000), no. 1, 57–70. Department of Mathematics, Aristotle University of Thessaloniki, 54124, Thessaloniki, Greece Email address: argyriac@math.auth.gr

work page 2000