Mathematics.

periodic systems

Floquet Theory

Dynamical Systems65 minDifficulty7 out of 10

Overview

Floquet theory analyzes linear differential equations with periodic coefficients: x' = A(t)x where A(t+T) = A(t). The Floquet-Lyapunov theorem states that any fundamental matrix solution Phi(t) can be written as Phi(t) = P(t)*e^{Bt} where P(t) is T-periodic and B is a constant matrix. The eigenvalues of the monodromy matrix M = Phi(T) (called Floquet multipliers) determine stability: the system is stable if all multipliers have modulus at most 1, asymptotically stable if all have modulus strictly less than 1. This framework applies to stability of periodic orbits in nonlinear systems (via linearization along the orbit) and to parametric resonance problems such as Hill's equation and the Mathieu equation, where periodic forcing can destabilize an otherwise stable system.

Intuition

Imagine a swing whose pivot point moves up and down periodically (a parametrically driven pendulum). Even though the pivot movement is periodic and predictable, it can excite the swing to arbitrarily large oscillations at certain driving frequencies -- parametric resonance. The key question is whether the periodic forcing amplifies or damps the motion. Floquet theory answers this by encoding the net effect of one full period into the monodromy matrix M: if M expands vectors (eigenvalues > 1 in magnitude), the system grows; if M contracts them (eigenvalues < 1), the system is stable. The Floquet multipliers are like the 'one-period amplification factors' for each normal mode.

Formal Definition

Definition

Consider the linear T-periodic system x' = A(t)x where A(t+T) = A(t). Let Phi(t) be a fundamental matrix solution with Phi(0) = I.

x=A(t)x,A(t+T)=A(t)x' = A(t)x, \quad A(t+T) = A(t)
T-periodic linear system
M=Φ(T)(monodromy matrix)M = \Phi(T) \quad \text{(monodromy matrix)}
Monodromy matrix M
Φ(t)=P(t)eBt,P(t+T)=P(t),eBT=M\Phi(t) = P(t) e^{Bt}, \quad P(t+T) = P(t), \quad e^{BT} = M
Floquet-Lyapunov decomposition
ρi=eμiT(Floquet multipliers ρi, Floquet exponents μi)\rho_i = e^{\mu_i T} \quad \text{(Floquet multipliers } \rho_i \text{, Floquet exponents } \mu_i\text{)}
Floquet multipliers and exponents

Notation

NotationMeaning
Φ(t)\Phi(t)Fundamental matrix solution of x' = A(t)x with Phi(0) = I
M=Φ(T)M = \Phi(T)Monodromy matrix (state transition matrix over one period T)
ρi\rho_iFloquet multipliers (eigenvalues of M)
μi\mu_iFloquet exponents (mu_i = (1/T)*ln(rho_i))

Theorems

Theorem 1: Floquet-Lyapunov Theorem
LetA(t)beTperiodicandcontinuous.ThefundamentalmatrixPhi(t)canbedecomposedasPhi(t)=P(t)eBt,whereP(t)isTperiodicandinvertible,andB=(1/T)ln(M)isaconstantmatrix(withM=Phi(T)themonodromymatrix).IfA(t)isreal,P(t)maybetakentobe2TperiodicandBreal.Let A(t) be T-periodic and continuous. The fundamental matrix Phi(t) can be decomposed as Phi(t) = P(t) * e^{Bt}, where P(t) is T-periodic and invertible, and B = (1/T) * ln(M) is a constant matrix (with M = Phi(T) the monodromy matrix). If A(t) is real, P(t) may be taken to be 2T-periodic and B real.
Theorem 2: Stability Criterion for Floquet Systems
TheTperiodicsystemx=A(t)xis:(i)stableifallFloquetmultipliersrhoi<=1andthosewithrhoi=1havenoJordanblocks;(ii)asymptoticallystableifallrhoi<1;(iii)unstableifanyrhoi>1.ThestabilityisdeterminedentirelybythemonodromymatrixM.The T-periodic system x' = A(t)x is: (i) stable if all Floquet multipliers |rho_i| <= 1 and those with |rho_i| = 1 have no Jordan blocks; (ii) asymptotically stable if all |rho_i| < 1; (iii) unstable if any |rho_i| > 1. The stability is determined entirely by the monodromy matrix M.
Theorem 3: Parametric Resonance (Mathieu Equation)
TheMathieuequationx+(a2qcos(2t))x=0(Hillsequationwithharmonicforcing)hasparametricresonance(unstablesolutions)inregionsofthe(a,q)planecalledArnoldtongues.Atq=0,instabilityoccursneara=n2(n=0,1,2,...).Forsmallq0,instabilityregionsarecenteredneara=n2withwidthsoforderqn.The Mathieu equation x'' + (a - 2q*cos(2t)) * x = 0 (Hill's equation with harmonic forcing) has parametric resonance (unstable solutions) in regions of the (a, q)-plane called Arnold tongues. At q=0, instability occurs near a = n^2 (n = 0, 1, 2, ...). For small q ≠ 0, instability regions are centered near a = n^2 with widths of order q^n.

Worked Examples

  1. 1

    The fundamental matrix for A = [[0,1],[-omega^2,0]] is Phi(t) = [[cos(omega*t), sin(omega*t)/omega],[-omega*sin(omega*t), cos(omega*t)]].

    Φ(t)=(cos(ωt)sin(ωt)/ωωsin(ωt)cos(ωt))\Phi(t) = \begin{pmatrix} \cos(\omega t) & \sin(\omega t)/\omega \\ -\omega \sin(\omega t) & \cos(\omega t) \end{pmatrix}
  2. 2

    At t = T = 2*pi/omega: cos(omega*T) = cos(2*pi) = 1, sin(omega*T) = 0.

  3. 3

    Monodromy matrix M = Phi(T) = [[1,0],[0,1]] = I. Floquet multipliers: both rho = 1.

    M=Φ(2π/ω)=I,ρ1,2=1M = \Phi(2\pi/\omega) = I, \quad \rho_{1,2} = 1
  4. 4

    Both multipliers have modulus 1, consistent with the oscillator's neutral stability (center). The system is stable but not asymptotically stable.

✓ Answer

Monodromy matrix is identity; both Floquet multipliers are 1, giving neutral stability (consistent with undamped oscillator).

Practice Problems

Mediumfree response

Describe how Floquet theory applies to the stability of a limit cycle gamma in a nonlinear autonomous system.

Mediumfree response

For the Mathieu equation x'' + (a - 2q*cos(2t))*x = 0, what is the physical phenomenon being modeled and what does parametric resonance mean?

Common Mistakes

Common Mistake

Thinking Floquet theory only applies to constant-coefficient systems.

Floquet theory is specifically designed for T-periodic coefficient systems. Constant-coefficient systems are a trivial special case; Floquet theory's power lies in handling genuinely time-varying periodic A(t).

Common Mistake

Confusing Floquet multipliers (eigenvalues of M) with Floquet exponents (their logarithms).

Floquet multipliers rho_i = eigenvalues of M are complex numbers; Floquet exponents mu_i = (1/T)*ln(rho_i) are related but defined up to multiples of 2*pi*i/T. Stability is determined by |rho_i|, equivalently by Re(mu_i).

Common Mistake

Assuming the monodromy matrix M is unique.

M = Phi(T) depends on the initial condition Phi(0) = I; changing the base time t_0 conjugates M. The eigenvalues (Floquet multipliers) are intrinsic, but M itself is not basis-independent.

Common Mistake

Forgetting that the trivial Floquet multiplier rho=1 always exists for nonlinear limit cycles.

Linearization along a limit cycle always has one Floquet multiplier equal to 1 (perturbation along the orbit). Stability is determined by the remaining n-1 multipliers.

Quiz

The monodromy matrix M for a T-periodic linear system is defined as:
A T-periodic linear system is asymptotically stable if and only if:
In the Floquet analysis of a limit cycle of period T, how many Floquet multipliers are always equal to 1?

Historical Background

Gaston Floquet proved the fundamental theorem bearing his name in 1883, establishing the structure of solutions to linear ODEs with periodic coefficients. The result was independently approached by Lyapunov. George Hill had already studied a special case (Hill's equation) in 1877 in the context of lunar orbit theory. Mathieu derived his equation in 1868 while studying vibrations of an elliptical membrane; the Mathieu equation became the canonical example of parametric resonance. In the 20th century, Floquet theory became essential for Bloch's theorem in solid-state physics (1928), where Bloch waves in periodic potentials correspond exactly to Floquet solutions of Schrodinger's equation.

  1. 1868

    Mathieu derives his equation from the vibration of an elliptical membrane

    Emile Mathieu

  2. 1877

    Hill studies the Hill equation for lunar motion

    George Hill

  3. 1883

    Floquet proves the fundamental theorem on linear ODEs with periodic coefficients

    Gaston Floquet

  4. 1928

    Bloch applies Floquet theory to quantum mechanics (Bloch's theorem for periodic potentials)

    Felix Bloch

Summary

  • Floquet theory analyzes linear systems with T-periodic coefficients; the monodromy matrix M = Phi(T) encodes the dynamics over one period.
  • The Floquet-Lyapunov theorem: Phi(t) = P(t)*e^{Bt} with P(t) T-periodic, reducing the time-periodic system to a constant-coefficient one in Floquet coordinates.
  • Stability: all Floquet multipliers (eigenvalues of M) inside the unit disk implies asymptotic stability; any multiplier outside implies instability.
  • For limit cycles of nonlinear systems, Floquet theory of the variational equation determines orbital stability; one multiplier is always 1 (neutral direction along the orbit).

References

  1. BookStrogatz, S. H. Nonlinear Dynamics and Chaos. Westview Press, 2015. Chapter 7 (limit cycle stability).
  2. BookGuckenheimer, J. and Holmes, P. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer, 1983.