Floquet theory

Floquet theory

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

:$dot\left\{x\right\} = A\left(t\right) x,,$

with $displaystyle A\left(t\right)$ a continuous periodic function with period $T$.

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

In solid-state physics, the analogous result (generalized to three dimensions) is known as Bloch's theorem.

Note that the solutions of the linear differential equation form a vector space. A Matrix $phi\left(t\right)$ is called a fundamental matrix solution if all columns are linearly independent solutions. It is called a principal fundamental matrix at $t_0$ if $phi\left(t_0\right)$ is the identity. Because of existence and uniqueness of the solutions there is a principal fundamental matrix $Phi\left(t_0\right)=phi\left(t\right)phi^\left\{-1\right\}\left(t_0\right)$ for each $t_0$. The solution of the linear differential equation with the initial condition $x\left(0\right)=x_0$ is $x\left(t\right)=phi\left(t\right)phi^\left\{-1\right\}\left(0\right)x_0$ where $phi\left(t\right)$ is any fundamental matrix solution.

Floquet's theorem

If $phi \left(t\right)$ is a fundamental matrix solution of the periodic system $dot\left\{x\right\}= A\left(t\right) x$, with $A\left(t\right)$ a periodic function with period $T$ then, for all $t in mathbb\left\{R\right\}$,

:$phi\left(t+T\right)=phi\left(t\right) phi^\left\{-1\right\}\left(0\right) phi \left(T\right).$

In addition, for each matrix $B$ (possibly complex) such that:

:$e^\left\{TB\right\}=phi^\left\{-1\right\}\left(0\right) phi \left(T\right)$,

there is a periodic (period $T$) matrix function $t o P\left(t\right)$ such that

:$phi \left(t\right) = P\left(t\right)e^\left\{tB\right\}$ for all $t in mathbb\left\{R\right\}$.

Also, there is a "real" matrix $R$ and a real periodic (period $2T$) matrix function $t o Q\left(t\right)$ such that

:$phi \left(t\right) = Q\left(t\right)e^\left\{tR\right\}$ for all $t in mathbb\left\{R\right\}$.

Consequences and applications

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

The representation $phi \left(t\right) = P\left(t\right)e^\left\{tB\right\}$ is called a "Floquet normal form" for the fundamental matrix $phi \left(t\right)$.

The eigenvalues of $e^\left\{TB\right\}$ are called the characteristic multipliers of the system. They are also the eigenvalues of the (linear) Poincaré maps $x\left(t\right) o x\left(t+T\right)$. A Floquet exponent (sometimes called a characteristic exponent), is a complex $mu$ such that $e^\left\{mu T\right\}$ is a characteristic multiplier of the system. Notice that Floquet exponents are not unique, since $e^\left\{\left(mu + frac\left\{2 pi i k\right\}\left\{T\right\}\right)T\right\}=e^\left\{mu T\right\}$, 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 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's equation (introduced by George William Hill) approximating the motion of the moon as a harmonic oscillator in a periodic gravitational field.

Floquet's theorem applied to Mathieu equation

Mathieu's equation is related to the wave equation for the elliptic cylinder.

Given $a in mathbb\left\{R\right\}, q in mathbb\left\{C\right\}$, the Mathieu equation is given by

: $frac \left\{d^2 y\right\} \left\{dw^2\right\} +\left(a-2q cos 2w \right)y=0.$

The Mathieu equation is a linear second-order differential equation with periodic coefficients.

One of the most powerful results of Mathieu's functions is the Floquet's Theorem [1, 2] . It states that periodic solutions of Mathieu equation for any pair ("a", "q") can be expressed in the form

: $y\left(w\right)=F_\left\{ u\right\}\left(w\right)=e^\left\{jw u\right\} P\left(w\right)$ or

: $y\left(w\right)=F_\left\{ u\right\}\left(-w\right)=e^\left\{-jw u\right\} P\left(-w\right),$

where $u$ is a constant depending on "a" and "q" and "P"(.) is $pi$-periodic in "w".

The constant $u$ is called the "characteristic exponent".

If $u$ is an integer, then $F_\left\{ u\right\}\left(w\right)$ and $F_\left\{ u\right\}\left(-w\right)$ are linear dependent solutions. Furthermore,

$y\left(w+k pi\right) =e^\left\{j u k pi\right\}y\left(w\right)$ or $y\left(w+k pi\right) =e^\left\{-j u k pi\right\}y\left(w\right)$, for the solution $F_\left\{ u\right\}\left(w\right)$ or $F_\left\{ u\right\}\left(-w\right)$, respectively.

We assume that the pair ("a", "q") is such that $| cosh j u pi | <1$ so that the solution $y\left(w\right)$ is bounded on the real axis. General solution of Mathieu's equation ($q in mathbb\left\{R\right\}$, $u$ non-integer) is the form

: $y\left(w\right) =c_1e^\left\{j w u\right\}P\left(w\right)+ c_2e^\left\{-j w u\right\}P\left(-w\right),$

where $c_1$ and $c_2$ are arbitrary constants.

All bounded solutions --those of fractional as well as integral order-- are described by an infinite series of harmonic oscillations whose amplitudes decrease with increasing frequency.

Another very important property of Mathieu's functions is the orthogonality [3] :

If $a\left( u +2p,q\right)$ and $a\left( u +2s,q\right)$ are simple roots of $cos \left\{pi u\right\}$ – y($pi$) = 0, then:

: $int_0^\left\{pi\right\} F_\left\{ u+2p\right\} \left(w\right).F_\left\{ u+2s\right\}\left(-w\right) dw=0$, $p e s$, i.e.,

$langle F_\left\{ u +2p\right\} \left(w\right),F_\left\{ u +2s\right\} \left(w\right) angle$, $p e s$, where <.,.> denote an inner product defined from 0 to $pi$.

References

*Chicone, Carmen. "Ordinary Differential Equations with Applications." Springer-Verlag, New York 1999
* Gaston Floquet, "Sur les équations différentielles linéaires à coefficients périodiques," "Ann. École Norm. Sup." 12, 47-88 (1883). http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1883_2_12_/ASENS_1883_2_12__47_0/ASENS_1883_2_12__47_0.pdf
*N.W. McLachlan, Theory and Application of Mathieu Functions, New York: Dover, 1964.
* Gerald Teschl, Ordinary Differential Equations and Dynamical Systems, http://www.mat.univie.ac.at/~gerald/ftp/book-ode/

Wikimedia Foundation. 2010.

См. также в других словарях:

• Gaston Floquet — Achille Marie Gaston Floquet (December 15 1847 ndash;October 7 1920) was a French mathematician, best known for his work in mathematical analysis, especially in theory of differential equations.ee also*Floquet theoryExternal links*MacTutor… …   Wikipedia

• Bifurcation theory — is the mathematical study of changes in the qualitative or topological structure of a given family. Examples of such families are the integral curves of a family of vector fields or, the solutions of a family of differential equations. Most… …   Wikipedia

• Bloch wave — A Bloch wave or Bloch state, named after Felix Bloch, is the wavefunction of a particle (usually, an electron) placed in a periodic potential. It consists of the product of a plane wave envelope function and a periodic function ( periodic Bloch… …   Wikipedia

• Mathieu function — In mathematics, the Mathieu functions are certain special functions useful for treating a variety of problems in applied mathematics, including vibrating elliptical drumheads, quadrupoles mass filters and quadrupole ion traps for mass… …   Wikipedia

• Periodic function — Not to be confused with periodic mapping, a mapping whose nth iterate is the identity (see periodic point). In mathematics, a periodic function is a function that repeats its values in regular intervals or periods. The most important examples are …   Wikipedia

• List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

• Mihai Gavrilă — Born October 10, 1929 Cluj, Romania Citizenship France Nationality …   Wikipedia

• List of dynamical systems and differential equations topics — This is a list of dynamical system and differential equation topics, by Wikipedia page. See also list of partial differential equation topics, list of equations. Contents 1 Dynamical systems, in general 2 Abstract dynamical systems 3 …   Wikipedia

• Backward wave oscillator — A backward wave oscillator (BWO), also called carcinotron (a trade name for tubes manufactured by CSF, now Thales) or backward wave tube, is a vacuum tube that is used to generate microwaves up to the terahertz range. It belongs to the traveling… …   Wikipedia

• Gaonkar Gopal H. — Gopal H. Gaonkar(1938 ) is an Indian born professor of helicopter engineering at [http://www.fau.edu/ FAU] , Boca Raton, Florida. He earned his D. Sc., in helicopter engineering from Washington University, St. Louis, in 1967. He works in… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»