フロケ理論のソースを表示

数学の'''フロケ理論'''（フロケりろん、{{Lang-en-short|Floquet theory}}）とは、次の形の[[線型微分方程式]]の解のクラスに関する[[常微分方程式]]理論の一分野である。

:<math>\dot{x} = A(t) x,\,</math>

ここで <math>\displaystyle A(t)</math> は[[区分的|区分的連続]]な周期 <math>T</math> の周期関数である。

フロケ理論における主定理である'''フロケの定理'''（Floquet's theorem）は、{{harvs|txt|authorlink=:en:Gaston Floquet|first=Gaston |last=Floquet|year=1883}} によるもので、この共通の[[線型微分方程式|線型系]]の各[[基本解|基本解行列]]に対する{{仮リンク|標準形|en|canonical form}}を与えるものである。それはまた、<math>\displaystyle Q(t+2T)=Q(t)</math> を満たすような[[座標|座標変換]] <math>\displaystyle y=Q^{-1}(t)x</math> を与え、これは周期系を典型的な実[[係数]]の線型系へと変換する。

[[固体物理学]]において、（3次元へと一般化された）同様の結果は[[ブロッホの定理]]として知られている。

線型微分方程式の解はベクトル空間を構成することに注意されたい。ある行列 <math>\phi\,(t)</math> が基本解行列（fundamental matrix solution）であるとは、その全ての列が線型独立な解であることを言う。ある行列 <math>\Phi(t)</math> が主基本解行列（principal fundamental matrix solution）であるとは、その全ての列が線型独立な解で、<math>\Phi(t_0)</math> が単位行列となるようなある <math>t_0</math> が存在することを言う。主基本行列は、<math>\Phi(t)=\phi\,(t){\phi\,}^{-1}(t_0)</math> を使うことで基本行列から構成することが出来る。初期条件が <math>x(0)=x_0</math> であるような線型微分方程式の解は、<math>x(t)=\phi\,(t){\phi\,}^{-1}(0)x_0</math> である。ここで <math>\phi \,(t)</math> は任意の基本行列である。

== フロケの定理 == <!-- [[Floquet theorem]] redirects to this section -->

<math>\dot{x}= A(t) x</math> を一階の線型微分方程式とし、<math>x(t)</math> は長さ <math>n</math> の列ベクトルとし、<math>A(t)</math> は周期 <math>T</math> の <math>n \times n</math> 周期行列とする（すなわち、すべての実数値 <math>t</math> に対して <math>A(t + T) = A(t)</math> が成立する）。<math>\phi\, (t) </math> をこの微分方程式のある基本解行列とする。このとき、全ての <math>t \in \mathbb{R}</math> に対して

:<math> \phi(t+T)=\phi(t) \phi^{-1}(0) \phi (T) \ </math>

が成立する。ここで

:<math>\phi^{-1}(0) \phi (T)\ </math>

は[[モノドロミー行列]]として知られるものである。さらに（複素数値でもあり得る）各行列 <math>B</math> で

:<math>e^{TB}=\phi^{-1}(0) \phi (T),\ </math>

を満たすようなものに対し、周期 <math>T</math> の周期行列関数 <math>t \mapsto P(t)</math> で

:<math>\phi (t) = P(t)e^{tB}\text{ for all }t \in \mathbb{R}\ </math>

を満たすようなものが存在する。また、ある実行列 <math>R</math> と実周期（<math>2T</math>-周期）行列函数 <math>t \mapsto Q(t)</math> で

:<math>\phi (t) = Q(t)e^{tR}\text{ for all }t \in \mathbb{R}\ </math>

を満たすようなものが存在する。以上の議論において、<math>B</math>、<math>P</math>、<math>Q</math> および <math>R</math> は <math>n \times n</math> 行列である。

== 結論と応用 ==

写像 <math>\phi \,(t) = Q(t)e^{tR}</math> は時間依存の座標変換（<math>y = Q^{-1}(t) x</math>）を導き、その変換の下で元の方程式系は実定数を係数とする線型系 <math>\dot{y} = R y</math> になる。<math>Q(t)</math> は連続かつ周期的であるため、有界である。したがって <math>y(t)</math> および <math>x(t)</math> に対するゼロ解の安定性は <math>R</math> の固有値によって決定される。

表現 <math>\phi \, (t) = P(t)e^{tB}</math> は、基本行列 <math>\phi \, (t)</math> に対する「フロケ正規形（Floquet normal form）」と呼ばれる。

<math>e^{TB}</math> の[[固有値]]は、その方程式系の[[特性乗数]]と呼ばれる。それらはまた（線型の）ポアンカレ写像 <math>x(t) \to x(t+T)</math> の固有値でもある。'''フロケ指数'''（Floquet exponent、しばしば特性指数とも呼ばれる）とは、<math>e^{\mu T}</math> がその方程式系の特性乗数となるような複素数 <math>\mu</math> のことを言う。ここで、整数 <math>k</math> に対して <math>e^{(\mu + \frac{2 \pi i k}{T})T}=e^{\mu T}</math> が成立することより、フロケ指数は一意的ではないことに注意されたい。フロケ指数の実部は、リアプノフ指数（Lyapunov exponents）と呼ばれる。すべてのリアプノフ指数が負であればゼロ解は漸近安定となり、非正であれば[[リアプノフ安定]]となり、それ以外の場合では不安定となる。

* フロケ理論は[[力学系]]の研究において非常に重要となる。
* フロケ理論は、周期的な[[重力場]]における[[調和振動子]]として[[月]]の運動を近似する[[ヒルの方程式]]およびその一般化である[[ヒル微分方程式]]（これらは[[ジョージ・ウィリアム・ヒル]]によって考えられた）において、安定性を示すものである。
* 強レーザー場における{{仮リンク|ボンドソフト化|en|Bond softening}}および{{仮リンク|ボンドハード化|en|Bond hardening}}は、フロケの定理により得られる解によって表現される。

== フロケの定理のマシュー方程式への応用 ==

マシュー方程式とは、楕円柱に対する波動方程式に関連するものである。

与えられた <math>a \in \mathbb{R}, q \in \mathbb{C}</math> に対する[[マシュー函数|マシュー方程式]]とは、次のようなものである。

: <math>\frac {d^2 y} {dw^2} +(a-2q \cos 2w )y=0.</math>

マシュー方程式は、周期係数を持つ二階の線型微分方程式である。

マシュー函数に関する最も有用な結果は、フロケの定理 [1, 2] である。その定理によれば、任意のペア (''a'', ''q'') に対するマシュー方程式の解は次の形式で表現される。

: <math>y(w)=F_{\nu}(w)=e^{iw \nu} P(w) \,</math>

または

: <math>y(w)=F_{\nu}(-w)=e^{-iw \nu} P(-w). \,</math>

ここで <math> \nu</math> は ''a'' および ''q'' に依存する定数であり、''P''(.) は ''w'' について <math> \pi </math>-周期的である。

この定数 <math> \nu</math> は特性指数（characteristic exponent）と呼ばれる。

<math> \nu</math> が整数であるなら、<math>F_{\nu}(w)</math> および <math>F_{\nu}(-w)</math> は線型独立な解である。さらに、

: <math>y(w+k \pi) =e^{i \nu k \pi}y(w)\text{ or }y(w+k \pi) =e^{-i \nu k \pi}y(w), \,</math>

がそれぞれ解 <math>F_{\nu}(w)</math> or <math>F_{\nu}(-w)</math> に対して成立する。

ペア (''a'', ''q'') は <math>| \cosh (i \nu \pi) | <1</math> を満たすようなもので、したがって解 <math> y(w)</math> は実軸上で有界であるものと仮定する。マシュー方程式の一般解は、（<math>q \in \mathbb{R}</math> および <math> \nu</math> は非整数）次のような形式で記述される。

: <math>y(w) =c_1 e^{i w \nu}P(w)+ c_2e^{-i w \nu}P(-w), \,</math>

ここで <math>c_1</math> および <math>c_2</math> は任意定数である。

分数次あるいは整数次のすべての有界な解は、振動数が増加するにつれて振幅が減少するような[[調和振動]]の無限級数として表現される。

マシュー方程式の、他の非常に重要な性質として、直交性（orthogonality）が挙げられる [3]：

<math>a( \nu +2p,q)</math> および <math>a( \nu +2s,q)</math> が

: <math> \cos(\pi\nu) - y(\pi = 0) = 0, \, </math>

の単根であるなら、

: <math>\int_0^\pi F_{\nu+2p} (w) F_{\nu+2s}(-w) \, dw = 0,\qquad p \ne s,</math>

が成立する。すなわち、

: <math>\langle F_{\nu +2p} (w),F_{\nu +2s} (w)\rangle = 0, \qquad p \ne s,</math>

が成立する。ここで <·,·> は 0 から ''&pi;'' に対して定義される[[内積]]である。

== 参考文献 ==

*C. Chicone. ''Ordinary Differential Equations with Applications.'' Springer-Verlag, New York 1999.
* {{cite book|last=Ekeland|first=Ivar|authorlink=:en:Ivar Ekeland|chapter=One|title=Convexity methods in Hamiltonian mechanics|series=Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]|volume=19|publisher=Springer-Verlag|location=Berlin|year=1990|pages=x+247|isbn=3-540-50613-6|mr=1051888|ref=harv}}
* {{citation|first=Gaston|last= Floquet|title=Sur les équations différentielles linéaires à coefficients périodiques|journal=Annales de l'École Normale Supérieure|volume=12|pages= 47–88 |year=1883|url= http://archive.numdam.org/ARCHIVE/ASENS/ASENS_1883_2_12_/ASENS_1883_2_12__47_0/ASENS_1883_2_12__47_0.pdf}}
* {{Citation
 | surname = Krasnosel'skii
 | given = M.A.
|authorlink=:en:Mark Krasnosel'skii | title = The Operator of Translation along the Trajectories of Differential Equations
 | publisher=[[American Mathematical Society]]
 | place = [[:en:Providence, Rhode Island<!-- [[:ja:プロビデンス (ロードアイランド州)]] とリンク -->|Providence]]
 | year=1968}}, Translation of Mathematical Monographs, 19, 294p.
*W. Magnus, S. Winkler. ''Hill's Equation'', Dover-Phoenix Editions, ISBN 0-486-49565-5.
*N.W. McLachlan, ''Theory and Application of Mathieu Functions'', New York: Dover, 1964.
*{{cite book
 | surname = Teschl
 | given = Gerald
 |authorlink=:en:Gerald Teschl
 | title = Ordinary Differential Equations and Dynamical Systems
 | publisher=[[American Mathematical Society]]
 | place = [[:en:Providence, Rhode Island<!-- [[:ja:プロビデンス (ロードアイランド州)]] とリンク -->|Providence]]
 | year = 2012
 | isbn= 978-0-8218-8328-0
 | url = http://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}
*M.S.P. Eastham, "The Spectral Theory of Periodic Differential Equations", Texts in Mathematics, Scottish Academic Press, Edinburgh, 1973. ISBN 978-0-7011-1936-2.

{{Normdaten}}
{{DEFAULTSORT:ふろけりろん}}
[[Category:力学系]]
[[Category:微分方程式]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]