dm³ 102 · Week 02 · μ Operator

The μ Operator — Lyapunov Exponent −2

Lyapunov exponent of G at fixed point Γ*. μ = −2 means exponential contraction. Stability radius ε₀ = 1/3.

dm³ 102 · Week 02 · Lyapunov −2

Course: dm³ 102 · Operator: μ (Lyapunov −2) · Standard week

Content stub — prose, diagrams, and Lean 4 exercises to be written.

This week covers: Lyapunov exponent of G at fixed point Γ*. μ = −2 means exponential contraction. Stability radius ε₀ = 1/3.

Primary chapter references from book/: chMu-lyapunov.html

-- dm³ 102 · Week 02 · Lean 4 Lab
-- Operator: μ (Lyapunov −2)
-- TODO: fill in theorems and exercises

-- stub
example : True := trivial