Misplaced Pages

Floquet theory

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Floquet's theorem) Branch of ordinary differential equations
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (July 2015) (Learn how and when to remove this message)

Floquet theory is a branch of the theory of ordinary differential equations relating to the class of solutions to periodic linear differential equations of the form

x ˙ = A ( t ) x , {\displaystyle {\dot {x}}=A(t)x,}

with x ∈ R n {\displaystyle x\in {R^{n}}} and A ( t ) ∈ R n × n {\displaystyle \displaystyle A(t)\in {R^{n\times n}}} being a piecewise continuous periodic function with period T {\displaystyle T} and defines the state of the stability of solutions.

The main theorem of Floquet theory, Floquet's theorem, due to Gaston Floquet (1883), gives a canonical form for each fundamental matrix solution of this common linear system. It gives a coordinate change y = Q − 1 ( t ) x {\displaystyle \displaystyle y=Q^{-1}(t)x} with Q ( t + 2 T ) = Q ( t ) {\displaystyle \displaystyle Q(t+2T)=Q(t)} that transforms the periodic system to a traditional linear system with constant, real coefficients.

When applied to physical systems with periodic potentials, such as crystals in condensed matter physics, the result is known as Bloch's theorem.

Note that the solutions of the linear differential equation form a vector space. A matrix ϕ ( t ) {\displaystyle \phi \,(t)} is called a fundamental matrix solution if the columns form a basis of the solution set. A matrix Φ ( t ) {\displaystyle \Phi (t)} is called a principal fundamental matrix solution if all columns are linearly independent solutions and there exists t 0 {\displaystyle t_{0}} such that Φ ( t 0 ) {\displaystyle \Phi (t_{0})} is the identity. A principal fundamental matrix can be constructed from a fundamental matrix using Φ ( t ) = ϕ ( t ) ϕ − 1 ( t 0 ) {\displaystyle \Phi (t)=\phi \,(t){\phi \,}^{-1}(t_{0})} . The solution of the linear differential equation with the initial condition x ( 0 ) = x 0 {\displaystyle x(0)=x_{0}} is x ( t ) = ϕ ( t ) ϕ − 1 ( 0 ) x 0 {\displaystyle x(t)=\phi \,(t){\phi \,}^{-1}(0)x_{0}} where ϕ ( t ) {\displaystyle \phi \,(t)} is any fundamental matrix solution.

Floquet's theorem

Let x ˙ = A ( t ) x {\displaystyle {\dot {x}}=A(t)x} be a linear first order differential equation, where x ( t ) {\displaystyle x(t)} is a column vector of length n {\displaystyle n} and A ( t ) {\displaystyle A(t)} an n × n {\displaystyle n\times n} periodic matrix with period T {\displaystyle T} (that is A ( t + T ) = A ( t ) {\displaystyle A(t+T)=A(t)} for all real values of t {\displaystyle t} ). Let ϕ ( t ) {\displaystyle \phi \,(t)} be a fundamental matrix solution of this differential equation. Then, for all t ∈ R {\displaystyle t\in \mathbb {R} } ,

ϕ ( t + T ) = ϕ ( t ) ϕ − 1 ( 0 ) ϕ ( T ) . {\displaystyle \phi (t+T)=\phi (t)\phi ^{-1}(0)\phi (T).}

Here

ϕ − 1 ( 0 ) ϕ ( T ) {\displaystyle \phi ^{-1}(0)\phi (T)}

is known as the monodromy matrix. In addition, for each matrix B {\displaystyle B} (possibly complex) such that

e T B = ϕ − 1 ( 0 ) ϕ ( T ) , {\displaystyle e^{TB}=\phi ^{-1}(0)\phi (T),}

there is a periodic (period T {\displaystyle T} ) matrix function t ↦ P ( t ) {\displaystyle t\mapsto P(t)} such that

ϕ ( t ) = P ( t ) e t B  for all  t ∈ R . {\displaystyle \phi (t)=P(t)e^{tB}{\text{ for all }}t\in \mathbb {R} .}

Also, there is a real matrix R {\displaystyle R} and a real periodic (period- 2 T {\displaystyle 2T} ) matrix function t ↦ Q ( t ) {\displaystyle t\mapsto Q(t)} such that

ϕ ( t ) = Q ( t ) e t R  for all  t ∈ R . {\displaystyle \phi (t)=Q(t)e^{tR}{\text{ for all }}t\in \mathbb {R} .}

In the above B {\displaystyle B} , P {\displaystyle P} , Q {\displaystyle Q} and R {\displaystyle R} are n × n {\displaystyle n\times n} matrices.

Consequences and applications

This mapping ϕ ( t ) = Q ( t ) e t R {\displaystyle \phi \,(t)=Q(t)e^{tR}} gives rise to a time-dependent change of coordinates ( y = Q − 1 ( t ) x {\displaystyle y=Q^{-1}(t)x} ), under which our original system becomes a linear system with real constant coefficients y ˙ = R y {\displaystyle {\dot {y}}=Ry} . Since Q ( t ) {\displaystyle Q(t)} is continuous and periodic it must be bounded. Thus the stability of the zero solution for y ( t ) {\displaystyle y(t)} and x ( t ) {\displaystyle x(t)} is determined by the eigenvalues of R {\displaystyle R} .

The representation ϕ ( t ) = P ( t ) e t B {\displaystyle \phi \,(t)=P(t)e^{tB}} is called a Floquet normal form for the fundamental matrix ϕ ( t ) {\displaystyle \phi \,(t)} .

The eigenvalues of e T B {\displaystyle e^{TB}} are called the characteristic multipliers of the system. They are also the eigenvalues of the (linear) Poincaré maps x ( t ) → x ( t + T ) {\displaystyle x(t)\to x(t+T)} . A Floquet exponent (sometimes called a characteristic exponent), is a complex μ {\displaystyle \mu } such that e μ T {\displaystyle e^{\mu T}} is a characteristic multiplier of the system. Notice that Floquet exponents are not unique, since e ( μ + 2 π i k T ) T = e μ T {\displaystyle e^{(\mu +{\frac {2\pi ik}{T}})T}=e^{\mu T}} , where k {\displaystyle k} is an integer. The real parts of the Floquet exponents are called Lyapunov exponents. The zero solution is asymptotically stable if all Lyapunov exponents are negative, Lyapunov stable if the Lyapunov exponents are nonpositive and unstable otherwise.

References

External links

Categories: