Stability of the Denjoy-Wolff Theorem

Argyrios Christodoulou; Ian Short

arxiv: 1907.09366 · v1 · pith:7CQ6LKB6new · submitted 2019-07-22 · 🧮 math.CV · math.DS

Stability of the Denjoy-Wolff Theorem

Argyrios Christodoulou , Ian Short This is my paper

Pith reviewed 2026-05-24 17:43 UTC · model grok-4.3

classification 🧮 math.CV math.DS

keywords Denjoy-Wolff theoremholomorphic self-mapsunit discnonautonomous dynamicsstabilityiterationcomplex dynamics

0 comments

The pith

The Denjoy-Wolff theorem holds for nonautonomous compositions when the maps converge to the limit map f.

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

The paper examines nonautonomous dynamical systems on the unit disc formed by composing sequences of holomorphic self-maps that converge pointwise or uniformly to a fixed map f. It identifies the precise conditions on this convergence under which the forward compositions F_n and the backward compositions G_n exhibit the same convergence to a Denjoy-Wolff point as the autonomous iterates f^n. A sympathetic reader would care because the result shows that the classical theorem is stable when the map is replaced by a sequence of nearby maps at each step. The work therefore supplies a criterion for when small perturbations leave the long-term dynamical behaviour unchanged.

Core claim

Under the assumptions that f_n converges to f and g_n converges to f, the dynamics of the nonautonomous systems F_n = f_n ∘ f_{n-1} ∘ ⋯ ∘ f_1 and G_n = g_1 ∘ g_2 ∘ ⋯ ∘ g_n mirror those of f^n as described by the Denjoy-Wolff theorem precisely when the convergence preserves the holomorphic self-map property and the fixed-point behaviour of the limit.

What carries the argument

The nonautonomous iteration sequences F_n and G_n formed from maps converging to a holomorphic self-map f of the unit disc, together with the Denjoy-Wolff fixed point of f.

If this is right

The sequence F_n converges to the Denjoy-Wolff point of f whenever the stated convergence condition holds.
The sequence G_n likewise converges to the same point under the same condition.
Both forward and backward nonautonomous systems inherit the attraction behaviour of the autonomous iteration.
The stability criterion applies to any perturbation sequence whose limit satisfies the Denjoy-Wolff hypotheses.

Where Pith is reading between the lines

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

The criterion may extend to slowly varying maps in applications where the perturbation changes continuously with time.
Numerical iteration of random maps drawn from a neighbourhood of f could be used to test the sharpness of the convergence requirement.
The same stability question can be posed for holomorphic self-maps of other domains such as the half-plane.

Load-bearing premise

The sequences of maps converge to the limit map in a topology that keeps every term a holomorphic self-map of the disc and preserves the Denjoy-Wolff fixed-point behaviour of the limit.

What would settle it

A concrete sequence of holomorphic self-maps of the disc that converges to f but whose forward or backward compositions fail to converge to the Denjoy-Wolff point of f would show that the mirroring does not hold in general.

read the original abstract

The Denjoy-Wolff theorem is a foundational result in complex dynamics, which describes the dynamical behaviour of the sequence of iterates of a holomorphic self-map $f$ of the unit disc $\mathbb{D}$. Far less well understood are nonautonomous dynamical systems $F_n=f_n\circ f_{n-1} \circ \dots \circ f_1$ and $G_n=g_1\circ g_{2} \circ \dots \circ g_n$, for $n=1,2,\dotsc$, where $f_i$ and $g_j$ are holomorphic self-maps of $\mathbb{D}$. Here we obtain a thorough understanding of such systems $(F_n)$ and $(G_n)$ under the assumptions that $f_n\to f$ and $g_n\to f$. We determine when the dynamics of $(F_n)$ and $(G_n)$ mirror that of $(f^n)$, as specified by the Denjoy-Wolff theorem, thereby providing insight into the stability of the Denjoy-Wolff theorem under perturbations of the map $f$.

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

The paper gives conditions under which nonautonomous compositions of holomorphic disk maps inherit Denjoy-Wolff convergence when the maps converge to a fixed limit.

read the letter

The core claim is that if holomorphic self-maps f_n of the unit disk converge to a limit f, then the forward compositions F_n and the reverse compositions G_n converge to the Denjoy-Wolff point of f under additional conditions on that convergence. This is the main new piece: a stability result for the classical theorem in the nonautonomous setting, covering both composition orders. The setup is clean and directly extends the autonomous iterates f^n without introducing extra machinery. The paper does a reasonable job framing the question and stating the goal of identifying when the perturbed systems mirror the limit behavior. That framing alone organizes a corner of the literature that had been scattered. The soft spot is that the abstract supplies no explicit hypotheses on rates, uniformity, or topology of convergence, and no counterexamples. Without those details it is impossible to judge how sharp the result is or whether the conditions are close to necessary. The full proofs would need to be examined to see if they handle the general case or require extra regularity. This work is for people already working on iteration of holomorphic maps on the disk or on nonautonomous dynamics. A reader who cares about stability questions around Denjoy-Wolff will get something concrete from it. It is coherent on its own terms and engages the right literature, so it deserves a serious referee rather than a desk rejection.

Referee Report

0 major / 1 minor

Summary. The manuscript studies stability of the Denjoy-Wolff theorem for non-autonomous compositions F_n = f_n ∘ ⋯ ∘ f_1 and G_n = g_1 ∘ ⋯ ∘ g_n of holomorphic self-maps of the unit disk, under the hypothesis that f_n → f and g_n → f. It determines conditions on the mode of convergence under which the sequences (F_n) and (G_n) inherit the Denjoy-Wolff convergence behavior of the autonomous iterates f^n.

Significance. If the stated conditions are correctly identified and proved, the result supplies a precise stability statement for the Denjoy-Wolff theorem under holomorphic perturbations, which is a natural and useful extension in complex dynamics.

minor comments (1)

[Abstract] Abstract: the claim that 'conditions are determined' is not accompanied by any indication of the topology of convergence, the required rate, or the precise statement of the fixed-point hypothesis on f; this makes the scope of the main theorem hard to assess from the abstract alone.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report contains no specific major comments requiring point-by-point replies.

Circularity Check

0 steps flagged

No circularity; theorem extends Denjoy-Wolff under explicit convergence hypotheses

full rationale

The paper states a mathematical result determining conditions on sequences f_n → f and g_n → f (preserving holomorphicity and fixed-point properties) under which the non-autonomous compositions F_n and G_n inherit the Denjoy-Wolff convergence behavior of the autonomous iterates f^n. No equations, fitted parameters, or self-citations appear in the provided abstract or description; the central claim is an independent extension of the classical theorem rather than a reduction to its own inputs by definition or construction. The derivation chain is therefore self-contained against external benchmarks in complex dynamics.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the classical Denjoy-Wolff theorem for the limit map together with an unspecified mode of convergence of the sequence of maps; no free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The Denjoy-Wolff theorem applies to the limit map f.
The paper uses the theorem to describe the target dynamics that the perturbed systems are compared against.

pith-pipeline@v0.9.0 · 5713 in / 1170 out tokens · 26141 ms · 2026-05-24T17:43:20.434064+00:00 · methodology

Stability of the Denjoy-Wolff Theorem

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)