HOME

TheInfoList



OR:

Floquet theory is a branch of the theory of ordinary differential equations relating to the class of solutions to periodic
linear differential equation In mathematics, a linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form :a_0(x)y + a_1(x)y' + a_2(x)y'' \cdots + a_n(x)y^ = b ...
s of the form :\dot = A(t) x, with \displaystyle A(t) a
piecewise continuous In mathematics, a piecewise-defined function (also called a piecewise function, a hybrid function, or definition by cases) is a function defined by multiple sub-functions, where each sub-function applies to a different interval in the domain. P ...
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 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 ...
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 In mathematics, an ordered basis of a vector space of finite dimension allows representing uniquely any element of the vector space by a coordinate vector, which is a sequence of scalars called coordinates. If two different bases are consider ...
\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 in some term of a polynomial, a series, or an expression; it is usually a number, but may be any expression (including variables such as , and ). When the coefficients are themselves ...
. When applied to physical systems with periodic potentials, such as crystals in condensed matter physics, 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 take the form of a plane wave modulated by a periodic function. The theorem is named after the physicist Felix Bloch, who d ...
. 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 mathematics, and particularly ordinary differential equations (ODEs), a monodromy matrix is the fundamental matrix (linear differential equation), fundamental matrix of a system of ODEs evaluated at the period of the coefficients of the system. I ...
. 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 of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted ...
s 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. 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. T ...
if the Lyapunov exponents are nonpositive and unstable otherwise. * Floquet theory is very important for the study of dynamical systems. * Floquet theory shows stability in Hill differential equation (introduced by George William Hill) approximating the motion of the
moon The Moon is Earth's only natural satellite. It is the fifth largest satellite in the Solar System and the largest and most massive relative to its parent planet, with a diameter about one-quarter that of Earth (comparable to the width of ...
as a harmonic oscillator in a periodic gravitational field. *
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 *