Dynamical Systems¶

Job: organize the frontier of smooth dynamics at postdoc depth — hyperbolic dynamics (Smale–Anosov–Bowen: structural stability, shadowing, Markov partitions, Axiom A / \(\Omega\)-stability), Hamiltonian dynamics and KAM theory (persistence of invariant tori, small divisors, Nekhoroshev, Arnold diffusion), bifurcation theory and chaos (Hopf / Silnikov, horseshoes, entropy), and the ergodic / SRB side (Hopf argument, Pesin theory, stable ergodicity) — with sharp hypotheses and the open problems at each frontier.

Core¶

Smooth dynamics divides into four interacting layers: (1) hyperbolic dynamics — the structurally stable core, where uniform expansion/contraction gives symbolic coding and structural stability; (2) Hamiltonian / KAM — the near-integrable world, where invariant tori persist on a Cantor set but Arnold diffusion remains open in the gaps; (3) bifurcations and chaos — the route from regular to chaotic dynamics via local/global bifurcations and horseshoes; (4) ergodic and physical measures — the measure-theoretic side (SRB, Pesin, stable ergodicity), connecting smooth dynamics to ergodic theory. The foundations page gives the linearization / Lyapunov / invariant-manifold framework; this subdomain develops the deep hyperbolic, KAM, bifurcation, and ergodic theory.

Reading map¶

Dependency order¶

1. Ergodic theory: measure-preserving systems, Birkhoff, entropy, mixing — the measure-theoretic framework.
2. Topology: manifolds, flows, topological entropy, conjugacy.
3. Symplectic geometry: the symplectic form / Hamiltonian framework for KAM.
4. PDE: Navier–Stokes / fluid dynamics as infinite-dimensional dynamical systems.
5. Differential equations: the ODE / flow foundations.
6. Mathematical physics: classical mechanics, integrable systems, statistical mechanics.
7. Foundations \(\to\) hyperbolic \(\to\) Hamiltonian/KAM \(\to\) bifurcations \(\to\) ergodic/physical.

Interfaces¶

Notation (paper-standard)¶

• \(\varphi_t\) flow of \(\dot x=f(x)\); \(f\) diffeomorphism (discrete-time); \(M\) manifold
• \(\Lambda\subset M\) hyperbolic set; \(T_\Lambda M=E^s\oplus E^u\) hyperbolic splitting; Anosov if \(\Lambda=M\)
• \(W^{s/u}(x)\) stable/unstable manifolds; \(W^{s/u}_{\mathrm{loc}}\) local; \(\chi^+(x,v)\) Lyapunov exponent
• Oseledets splitting \(T_xM=E^s\oplus E^c\oplus E^u\); \(\Sigma\) subshift / horseshoe
• \(h_{\mathrm{top}}(f)\) topological entropy; \(h_\mu(f)\) metric entropy; \(\mu_{\mathrm{SRB}}\) SRB measure
• \((I,\theta)\) action-angle; \(\omega(I)=\partial H_0/\partial I\) frequencies; Diophantine \(|\langle k,\omega\rangle|\ge\gamma|k|^{-\tau}\)
• \(\ell_1\) first Lyapunov coefficient (Hopf); \(\Sigma_A\) subshift of finite type; \(\rho(A)\) spectral radius

See it¶

The four frontiers, one object. The Arnold cat map \(f:(x,y)\mapsto(2x+y,x+y)\) on \(\mathbb{T}^2\) sits at the intersection of all four layers: (1) it is Anosov (the entire torus is hyperbolic, \(E^s\oplus E^u\) from the eigenvalues \(\frac{3\pm\sqrt 5}{2}\)), hence structurally stable and admitting a Markov partition — the content of Hyperbolic Dynamics; (2) it is not Hamiltonian-KAM (it is a dissipative-free symplectic map but not near-integrable), so the KAM / Nekhoroshev story is separate — the Hamiltonian / KAM layer applies to near-integrable systems like the standard map at small coupling; (3) the cat map has a horseshoe (the full shift on the Markov partition) and positive topological entropy \(h_{\mathrm{top}}=\log\frac{3+\sqrt 5}{2}\) — the content of Bifurcations & Chaos; (4) the Haar measure is the SRB measure and the Pesin formula \(h_{\mathrm{Haar}}=\sum_{\chi_i>0}\chi_i=\log\frac{3+\sqrt 5}{2}\) holds exactly — the content of Ergodic & Physical Measures. A single map is thus simultaneously hyperbolic, chaotic, and ergodic, and the four theories give complementary descriptions of its dynamics.

Check¶

Pitfalls¶

• KAM leaves a measure-zero but connected chaotic sea: KAM is a Cantor-set persistence, not global stability; Arnold diffusion in the gaps is open. Treating KAM as "the perturbation is stable" overstates the result.
• Structural stability is \(C^1\), not \(C^r\) for \(r>1\) in general: the Anosov / Axiom A structural stability holds in the \(C^1\) topology; the \(C^r\) (\(r>1\)) structural stability is more subtle and not generic (the Mañé–Hayashi / \(C^1\)-stability conjecture is the sharp statement).
• The closing / shadowing lemmas require uniform hyperbolicity: they fail for partial / non-uniform hyperbolicity; the non-uniform analog (Pesin closing) requires \(C^{1+\alpha}\) smoothness.
• SRB measures require \(C^{1+\alpha}\) (not \(C^1\)): the absolute continuity of the unstable foliation — the key input for the SRB / physical measure — needs Hölder derivatives; for \(C^1\) maps the SRB may fail to exist.
• The Hopf argument needs absolute continuity of foliations: which fails for general partially hyperbolic systems; the Hopf argument is the engine of Anosov ergodicity but does not extend to partial hyperbolicity without the accessibility hypothesis (Pugh–Shub).
• Stable ergodicity is an open condition in \(C^r\), not equivalent to ergodicity: a stably ergodic system remains ergodic under \(C^r\)-small perturbations; it is stronger than ergodicity (which is a property of a single map).
• Silnikov chaos requires the eigenvalue ratio \(|\lambda|<|\mu|\) (saddle-focus): the opposite ratio gives no horseshoe; the Silnikov criterion is sharp.
• Pesin's formula is an equality for smooth measures; the Ruelle inequality is strict in general: \(h_\mu\le\int\sum_{\chi_i>0}\chi_i\,d\mu\) (Ruelle), equality iff \(\mu\) is SRB (Pesin); the equality is the content of the SRB characterization.

Refs¶

• Katok–Hasselblatt, Introduction to the Modern Theory of Dynamical Systems
• Smale, Differentiable dynamical systems (BAMS 1967); Bowen, Equilibrium States and Ergodic Theory of Anosov Diffeomorphisms
• Kolmogorov, Arnold, Moser (KAM); Nekhoroshev; Arnold, Instability of dynamical systems with many degrees of freedom
• Guckenheimer–Holmes; Wiggins; Kuznetsov, Elements of Applied Bifurcation Theory; Silnikov
• Pesin, Lyapunov characteristic exponents and smooth ergodic theory; Pugh–Shub, Stable ergodicity and julienne

Next¶

Foundations · Hyperbolic Dynamics · Hamiltonian & KAM · Bifurcations & Chaos · Ergodic & Physical Measures · Ergodic theory · Symplectic geometry · Topology · Mathematical physics