|
数学のフロケ理論(フロケりろん、)とは、次の形の線型微分方程式の解のクラスに関する常微分方程式理論の一分野である。 : ここで は区分的連続な周期 の周期関数である。 フロケ理論における主定理であるフロケの定理(Floquet's theorem)は、 によるもので、この共通の線型系の各基本解行列に対するを与えるものである。それはまた、 を満たすような座標変換 を与え、これは周期系を典型的な実係数の線型系へと変換する。 固体物理学において、(3次元へと一般化された)同様の結果はブロッホの定理として知られている。 線型微分方程式の解はベクトル空間を構成することに注意されたい。ある行列 が基本解行列(fundamental matrix solution)であるとは、その全ての列が線型独立な解であることを言う。ある行列 が主基本解行列(principal funcamental matrix solution)であるとは、その全ての列が線型独立な解で、 が単位行列となるようなある が存在することを言う。主基本行列は、 を使うことで基本行列から構成することが出来る。初期条件が であるような線型微分方程式の解は、 である。ここで は任意の基本行列である。 == フロケの定理 == を一階の線型微分方程式とし、 は長さ の列ベクトルとし、 は周期 の 周期行列とする(すなわち、すべての実数値 に対して が成立する)。 をこの微分方程式のある基本解行列とする。このとき、全ての に対して : が成立する。ここで : はモノドロミー行列として知られるものである。さらに(複素数値でもあり得る)各行列 で : を満たすようなものに対し、周期 の周期行列関数 で : を満たすようなものが存在する。また、ある実行列 と実周期(-周期)行列函数 で : を満たすようなものが存在する。以上の議論において、、、 および は 行列である。 == 結論と応用 == 写像 は時間依存の座標変換()を導き、その変換の下で元の方程式系は実定数を係数とする線型系 になる。 は連続かつ周期的であるため、有界である。したがって および に対するゼロ解の安定性は の固有値によって決定される。 表現 は、基本行列 に対する「フロケ正規形(Floquet normal form)」と呼ばれる。 の固有値は、その方程式系の特性乗数と呼ばれる。それらはまた(線型の)ポアンカレ写像 の固有値でもある。フロケ指数(Floquet exponent、しばしば特性指数とも呼ばれる)とは、 がその方程式系の特性乗数となるような複素数 のことを言う。ここで、整数 に対して が成立することより、フロケ指数は一意的ではないことに注意されたい。フロケ指数の実部は、リアプノフ指数(Lyapunov exponents)と呼ばれる。すべてのリアプノフ指数が負であればゼロ解は漸近安定となり、非負であればリアプノフ安定となり、それ以外の場合では不安定となる。 * フロケ理論は力学系の研究において非常に重要となる。 * フロケ理論は、周期的な重力場における調和振動子として月の運動を近似するヒルの方程式(ジョージ・ウィリアム・ヒルによって考えられた)において、安定性を示すものである。 * 強レーザー場におけるおよびは、フロケの定理により得られる解によって表現される。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「数学のフロケ理論(フロケりろん、)とは、次の形の線型微分方程式の解のクラスに関する常微分方程式理論の一分野である。:\dot = A(t) x,\,ここで \displaystyle A(t) は区分的連続な周期 T の周期関数である。フロケ理論における主定理であるフロケの定理(Floquet's theorem)は、 によるもので、この共通の線型系の各基本解行列に対するを与えるものである。それはまた、\displaystyle Q(t+2T)=Q(t) を満たすような座標変換 \displaystyle y=Q^(t)x を与え、これは周期系を典型的な実係数の線型系へと変換する。固体物理学において、(3次元へと一般化された)同様の結果はブロッホの定理として知られている。線型微分方程式の解はベクトル空間を構成することに注意されたい。ある行列 \phi\,(t) が基本解行列(fundamental matrix solution)であるとは、その全ての列が線型独立な解であることを言う。ある行列 \Phi(t) が主基本解行列(principal funcamental matrix solution)であるとは、その全ての列が線型独立な解で、\Phi(t_0) が単位行列となるようなある t_0 が存在することを言う。主基本行列は、\Phi(t)=\phi\,(t)^(t_0) を使うことで基本行列から構成することが出来る。初期条件が x(0)=x_0 であるような線型微分方程式の解は、x(t)=\phi\,(t)^(0)x_0 である。ここで \phi \,(t) は任意の基本行列である。== フロケの定理 == Floquet theorem redirects to this section -->\dot= A(t) x を一階の線型微分方程式とし、x(t) は長さ n の列ベクトルとし、A(t) は周期 T の n \times n 周期行列とする(すなわち、すべての実数値 t に対して A(t + T) = A(t) が成立する)。\phi\, (t) をこの微分方程式のある基本解行列とする。このとき、全ての t \in \mathbb に対して: \phi(t+T)=\phi(t) \phi^(0) \phi (T) \ が成立する。ここで:\phi^(0) \phi (T)\ はモノドロミー行列として知られるものである。さらに(複素数値でもあり得る)各行列 B で:e^=\phi^(0) \phi (T),\ を満たすようなものに対し、周期 T の周期行列関数 t \mapsto P(t) で:\phi (t) = P(t)e^\textt \in \mathbb\ を満たすようなものが存在する。また、ある実行列 R と実周期(2T-周期)行列函数 t \mapsto Q(t) で:\phi (t) = Q(t)e^\textt \in \mathbb\ を満たすようなものが存在する。以上の議論において、B、P、Q および R は n \times n 行列である。== 結論と応用 ==写像 \phi \,(t) = Q(t)e^ は時間依存の座標変換(y = Q^(t) x)を導き、その変換の下で元の方程式系は実定数を係数とする線型系\dot = R y になる。Q(t) は連続かつ周期的であるため、有界である。したがって y(t) および x(t) に対するゼロ解の安定性は R の固有値によって決定される。表現 \phi \, (t) = P(t)e^ は、基本行列 \phi \, (t) に対する「フロケ正規形(Floquet normal form)」と呼ばれる。e^ の固有値は、その方程式系の特性乗数と呼ばれる。それらはまた(線型の)ポアンカレ写像 x(t) \to x(t+T) の固有値でもある。フロケ指数(Floquet exponent、しばしば特性指数とも呼ばれる)とは、e^ がその方程式系の特性乗数となるような複素数 \mu のことを言う。ここで、整数 k に対して e^=e^ が成立することより、フロケ指数は一意的ではないことに注意されたい。フロケ指数の実部は、リアプノフ指数(Lyapunov exponents)と呼ばれる。すべてのリアプノフ指数が負であればゼロ解は漸近安定となり、非負であればリアプノフ安定となり、それ以外の場合では不安定となる。* フロケ理論は力学系の研究において非常に重要となる。* フロケ理論は、周期的な重力場における調和振動子として月の運動を近似するヒルの方程式(ジョージ・ウィリアム・ヒルによって考えられた)において、安定性を示すものである。* 強レーザー場におけるおよびは、フロケの定理により得られる解によって表現される。」の詳細全文を読む スポンサード リンク
|