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 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 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 abstraction o ...
. 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 var ...
. 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 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 b ...
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 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 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 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 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 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 *