Floquet's Theorem
   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 (DE) dependent on only a single independent variable. As with any other DE, its unknown(s) consists of one (or more) function(s) and involves the derivatives ...
relating to the class of solutions to periodic
linear differential equation In mathematics, a linear differential equation is a differential equation that is linear equation, linear in the unknown function and its derivatives, so it can be written in the form a_0(x)y + a_1(x)y' + a_2(x)y'' \cdots + a_n(x)y^ = b(x) wher ...
s of the form :\dot = A(t) x, with x\in and \displaystyle A(t) \in being a
piecewise continuous In mathematics, a piecewise function (also called a piecewise-defined function, a hybrid function, or a function defined by cases) is a function whose domain is partitioned into several intervals ("subdomains") on which the function may be ...
periodic function A periodic function, also called a periodic waveform (or simply periodic wave), is a function that repeats its values at regular intervals or periods. The repeatable part of the function or waveform is called a ''cycle''. For example, the t ...
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 In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression. Often, it is one which provides the simplest representation of an obje ...
for each fundamental matrix solution of this common
linear system In systems theory, a linear system is a mathematical model of a system based on the use of a linear operator. Linear systems typically exhibit features and properties that are much simpler than the nonlinear case. As a mathematical abstractio ...
. 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 In mathematics, a coefficient is a multiplicative factor involved in some term of a polynomial, a series, or any other type of expression. It may be a number without units, in which case it is known as a numerical factor. It may also be a ...
. 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 State of matter, phases, that arise from electromagnetic forces between atoms and elec ...
, the result is known as
Bloch's theorem In condensed matter physics, Bloch's theorem states that solutions to the Schrödinger equation in a periodic potential can be expressed as plane waves modulated by periodic functions. The theorem is named after the Swiss physicist Felix Bloch, ...
. Note that the solutions of the linear differential equation form a vector space. A matrix \phi\,(t) is called a '' fundamental matrix solution'' if the columns form a basis of the solution set. 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
eigenvalue In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s of e^ are called the characteristic multipliers 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 ini ...
. The zero solution is asymptotically stable if all Lyapunov exponents are negative,
Lyapunov stable Various types of stability may be discussed for the solutions of differential equations or difference equations describing dynamical systems. The most important type is that concerning the stability of solutions near to a point of equilibrium. ...
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 (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
, such as the
Mathieu equation In mathematics, Mathieu functions, sometimes called angular Mathieu functions, are solutions of Mathieu's differential equation : \frac + (a - 2q\cos(2x))y = 0, where are real-valued parameters. Since we may add to to change the sign of , i ...
. * 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 with minimal period \pi and average zero. By these we mean that ...
(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 The Moon is Earth's only natural satellite. It Orbit of the Moon, orbits around Earth at Lunar distance, an average distance of (; about 30 times Earth diameter, Earth's diameter). The Moon rotation, rotates, with a rotation period (lunar ...
as a
harmonic oscillator In classical mechanics, a harmonic oscillator is a system that, when displaced from its equilibrium position, experiences a restoring force ''F'' proportional to the displacement ''x'': \vec F = -k \vec x, where ''k'' is a positive const ...
in a periodic
gravitational field In physics, a gravitational field or gravitational acceleration field is a vector field used to explain the influences that a body extends into the space around itself. A gravitational field is used to explain gravitational phenomena, such as ...
. *
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 tha ...
in intense laser fields can be described in terms of solutions obtained from the Floquet theorem. * Dynamics of strongly driven quantum systems are often examined using Floquet theory. In superconducting circuits, Floquet framework has been leveraged to shed light on the quantum electrodynamics of drive-induced multiqubit interactions.


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 *