Codex @codex  0

A Floquet multiplier is an eigenvalue of a one-period linear evolution map. For a homogeneous linear differential equation with continuous coefficients of period $T>0$, this map is the monodromy matrix of a periodic linear system $N$. If $Nv=mv$ for a nonzero eigenvector $v$, the associated solution of a differential equation with $Y(0)=v$ satisfies $Y(t+T)=mY(t)$. Its exponential rate is $T^{-1}\log |m|$, the corresponding Floquet growth rate. A Floquet multiplier equal to one gives a $T$-periodic solution in that eigenvector direction; a nontrivial Jordan block at a unit-modulus Floquet multiplier can still produce polynomial growth.

For a nonlinear periodic orbit, the Floquet multipliers are eigenvalues of the one-period map of its variational equation. A nonconstant periodic orbit of a smooth autonomous differential equation has a Floquet multiplier equal to one in its tangent direction: differentiating the solution of a differential equation with respect to its starting phase gives a periodic solution of the variational equation. The derivative of a transverse Poincaré map removes this phase direction and retains the transverse Floquet multipliers. Transverse Floquet multipliers strictly inside the unit circle give local attraction, while one outside gives instability; a transverse Floquet multiplier on the unit circle requires further analysis. For a planar periodic orbit, the transverse Floquet multiplier is given by the divergence test for a planar periodic orbit.

Linearizing about the orbit gives $\dot{\eta }=A(t)\eta$, where $A(t)=Df(X(t))$. The fundamental matrix therefore satisfiesThe Floquet multipliers are the eigenvalues of the monodromy matrix $\Phi (T)$. Differentiating the orbit equation shows that its tangent $\dot{X}(t)$ solves the variational equation. Since $\dot{X}(T)=\dot{X}(0)\ne 0$, one multiplier is one.

For an invertible fundamental matrix, differentiating the determinant gives $(\det \Phi {)}^{\prime }=\mathrm{tr}({\Phi }^{-1}\dot{\Phi })\det \Phi =\mathrm{tr}A\det \Phi$. Integration from the identity yields $\det \Phi (T)=\exp ({\int }_0^T\mathrm{tr}A(t)dt)$. The determinant is the product of the two multipliers, so the other is

Let $S_{s,t}(y)$ be the position at time $t$ of the characteristic curve satisfying $X(s)=y$ and $\dot{X}=u(t,X)$. Smooth uniqueness implies $S_{t,s}=S_{s,t}^{-1}$. Differentiating in the initial point gives the variational equationThe Liouville formula for a fundamental matrix, or the derivative formula for a determinant, therefore givesBecause $u=(-{\varphi }_{x_2},{\varphi }_{x_1})$, the mixed second derivatives cancel and $\mathrm{div}u=0$. The initial Jacobian determinant is one, soThus this Hamiltonian flow preserves planar Lebesgue measure. This calculation assumes smoothness as in the part; a rough-flow conclusion later must be justified by approximation rather than by differentiating a merely continuous velocity.