HOME

TheInfoList



OR:

Floquet theory is a branch of the theory of
ordinary differential equations In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast w ...
relating to the class of solutions to periodic linear differential equations of the form :\dot = A(t) x, with \displaystyle A(t) a piecewise continuous periodic function with period T and defines the state of the stability of solutions. The main theorem of Floquet theory, Floquet's theorem, due to , gives a canonical form for each fundamental matrix solution of this common linear system. It gives a coordinate change \displaystyle y=Q^(t)x with \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 Condensed matter physics is the field of physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the sub ...
, the result is known as Bloch's theorem. Note that the solutions of the linear differential equation form a vector space. A matrix \phi\,(t) is called a '' fundamental matrix solution'' if all columns are linearly independent solutions. A matrix \Phi(t) is called a ''principal fundamental matrix solution'' if all columns are linearly independent solutions and there exists t_0 such that \Phi(t_0) is the identity. A principal fundamental matrix can be constructed from a fundamental matrix using \Phi(t)=\phi\,(t)^(t_0). The solution of the linear differential equation with the initial condition x(0)=x_0 is x(t)=\phi\,(t)^(0)x_0 where \phi \,(t) is any fundamental matrix solution.


Floquet's theorem

Let \dot= A(t) x be a linear first order differential equation, where x(t) is a column vector of length n and A(t) an n \times n periodic matrix with period T (that is A(t + T) = A(t) for all real values of t). Let \phi\, (t) be a fundamental matrix solution of this differential equation. Then, for all t \in \mathbb, : \phi(t+T)=\phi(t) \phi^(0) \phi (T). Here :\phi^(0) \phi (T) is known as the monodromy matrix. In addition, for each matrix B (possibly complex) such that :e^=\phi^(0) \phi (T), there is a periodic (period T) matrix function t \mapsto P(t) such that :\phi (t) = P(t)e^\textt \in \mathbb. Also, there is a ''real'' matrix R and a ''real'' periodic (period-2T) matrix function t \mapsto Q(t) such that :\phi (t) = Q(t)e^\textt \in \mathbb. In the above B, P, Q and R are n \times n matrices.


Consequences and applications

This mapping \phi \,(t) = Q(t)e^ gives rise to a time-dependent change of coordinates (y = Q^(t) x), under which our original system becomes a linear system with real constant coefficients \dot = R y. Since Q(t) is continuous and periodic it must be bounded. Thus the stability of the zero solution for y(t) and x(t) is determined by the eigenvalues of R. The representation \phi \, (t) = P(t)e^ is called a ''Floquet normal form'' for the fundamental matrix \phi \, (t). The eigenvalues of e^ are called the
characteristic multiplier In mathematics, and particularly ordinary differential equations, a characteristic multiplier is an eigenvalue of a monodromy matrix. The logarithm of a characteristic multiplier is also known as characteristic exponent. They appear in Floquet the ...
s of the system. They are also the eigenvalues of the (linear)
Poincaré map In mathematics, particularly in dynamical systems, a first recurrence map or Poincaré map, named after Henri Poincaré, is the intersection of a periodic orbit in the state space of a continuous dynamical system with a certain lower-dimensiona ...
s x(t) \to x(t+T). A ''Floquet exponent'' (sometimes called a characteristic exponent), is a complex \mu such that e^ is a characteristic multiplier of the system. Notice that Floquet exponents are not unique, since e^=e^, where k is an integer. The real parts of the Floquet exponents are called
Lyapunov exponents In mathematics, the Lyapunov exponent or Lyapunov characteristic exponent of a dynamical system is a quantity that characterizes the rate of separation of infinitesimally close trajectories. Quantitatively, two trajectories in phase space with ...
. The zero solution is asymptotically stable if all Lyapunov exponents are negative, Lyapunov stable if the Lyapunov exponents are nonpositive and unstable otherwise. * Floquet theory is very important for the study of
dynamical systems In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water in a p ...
. * Floquet theory shows stability in
Hill differential equation In mathematics, the Hill equation or Hill differential equation is the second-order linear ordinary differential equation : \frac + f(t) y = 0, where f(t) is a periodic function by minimal period \pi . By these we mean that for all t :f(t+\ ...
(introduced by
George William Hill George William Hill (March 3, 1838 – April 16, 1914) was an American astronomer and mathematician. Working independently and largely in isolation from the wider scientific community, he made major contributions to celestial mechanics and t ...
) approximating the motion of the moon as a
harmonic oscillator In classical mechanics, a harmonic oscillator is a system that, when displaced from its Mechanical equilibrium, equilibrium position, experiences a restoring force ''F'' Proportionality (mathematics), proportional to the displacement ''x'': \v ...
in a periodic
gravitational field In physics, a gravitational field is a model used to explain the influences that a massive body extends into the space around itself, producing a force on another massive body. Thus, a gravitational field is used to explain gravitational phenome ...
. *
Bond softening Bond softening is an effect of reducing the strength of a chemical bond by strong laser fields. To make this effect significant, the strength of the electric field in the laser light has to be comparable with the electric field the bonding electron ...
and
bond hardening Bond hardening is a process of creating a new chemical bond by strong laser fields—an effect opposite to bond softening. However, it is not opposite in the sense that the bond becomes stronger, but in the sense that the molecule enters a state th ...
in intense laser fields can be described in terms of solutions obtained from the Floquet theorem.


References

*C. Chicone. ''Ordinary Differential Equations with Applications.'' Springer-Verlag, New York 1999. *M.S.P. Eastham, "The Spectral Theory of Periodic Differential Equations", Texts in Mathematics, Scottish Academic Press, Edinburgh, 1973. . * * * , Translation of Mathematical Monographs, 19, 294p. *W. Magnus, S. Winkler. ''Hill's Equation'', Dover-Phoenix Editions, . *N.W. McLachlan, ''Theory and Application of Mathieu Functions'', New York: Dover, 1964. *


External links

* {{Authority control Dynamical systems *