============================================================
ジョルダン標準形の指数関数の応用
============================================================

我々は ジョルダン細胞のｎ乗_ に於いて、行列の指数関数を
考えましたが、今回の話はその応用例です。

一次連立微分方程式
========================

どんな正方行列 $A$ も複素数の範囲でジョルダン標準形 $J$ を持ちます。
（運が良い時には対角行列になります。）
つまり、固有ベクトル(正確にはジョルダン基底というようです。
掲示板でご指摘いただきました。数学男子さんに感謝です^_^。
)を並べた正則行列を $P$ と置くと、

<tex>
J = P^{-1}AP \tag{##}
</tex>

となります。ここで次の連立方程式の解を求めることにこの事実を応用できます。
ｎ次列ベクトルを $\bm{x}$ と置くと、

<tex>
\dfrac{d \bm{x}}{dt} = A \bm{x} \tag{##}
</tex>

です。式 $ (2) $ に左から $P^{-1}$ を掛けると、 $P^{-1} \bm{x} = \bm{y}$ と置くと、 $PP^{-1}=I$ で単位行列ですから、


<tex>
P^{-1} \dfrac{d \bm{x}}{dt} = P^{-1} A \bm{x} \tag{##}
</tex>

<tex>
 \dfrac{d P^{-1} \bm{x}}{dt} = P^{-1} A P P^{-1} \bm{x} \tag{##}
</tex>

<tex>
 \dfrac{d \bm{y}}{dt} = J \bm{y} \tag{##}
</tex>

となり、 $J$ はまさにジョルダン標準形です。
ここで初期状態を $ \bm{x}_0 $ とし、対応する $\bm{y}$ を $\bm{y}_0$ とします。
すると、少し天下り的ですが、解は次のようになります。（行列の指数関数 $\exp$ については 続々ベクトルの回転_ 
をご覧ください。）

<tex>
\bm{y} = \exp ( t J ) \bm{y}_0 \tag{##}
</tex>

この式は微分すると、確かに

<tex>
\dfrac{d \bm{y}}{dt} &= J \exp( t J ) \bm{y}_0 \\
&= J \bm{y} \tag{##}
</tex>

となっていますね。こういう視点で考えると実は ベクトルの回転_ は
新しい見方ができます。それは、 続４ベクトルの回転_ で扱います。


それでは今日はこの辺で。
お疲れ様でした。


.. _ジョルダン細胞のｎ乗: http://hooktail.sub.jp/mathInPhys/jordanCalcu/
.. _ベクトルの回転 : http://hooktail.sub.jp/vectoranalysis/vectorRot/
.. _続々ベクトルの回転 : http://hooktail.sub.jp/vectoranalysis/vectorRot3/
.. _続４ベクトルの回転 : http://hooktail.sub.jp/vectoranalysis/vectorRot5/

@@author:クロメル@@
@@accept:2013-03-13@@
@@category:物理数学@@
@@id:simDifEqu@@