気ままにIoTメモ

色々なこと備忘録

微分方程式の初歩をダイナミクスとして考え直す（２）

数学力学系

前回に続き，微分方程式を時間変化として考えていきます．

今回は次の微分方程式．
$\displaystyle \frac{dx}{dt} = ax$
パラメータは $\displaystyle a$ のみ．

この微分方程式の解は $\displaystyle c$ を任意定数とすると

$\displaystyle x = C e^{at}$ となります．

ここで，次のように軸を考えます．

f:id:htn_hs:20170715222640p:plain

縦軸を横軸の時間変化にとったグラフは非線形力学系でも安定性を考える時によく使われるグラフです．

パラメータ $\displaystyle a$ を３つのパターン（正・負・ゼロ）に分けて描きます．

$\displaystyle a = 1$ の場合
f:id:htn_hs:20170715224135p:plain

$\displaystyle a = 0$ の場合
f:id:htn_hs:20170715224123p:plain

$\displaystyle a = -1$ の場合
f:id:htn_hs:20170715224145p:plain

$\displaystyle \dot{ }$ は $\displaystyle \frac{d}{dt}$ を示します．
なんてこともない，ただの直線ですが，

$\displaystyle \dot{x} = 0$ になる場所
直線の傾き（今回の場合パラメータ $\displaystyle a$ ）

が重要になります．

なぜかと言うと，
$\displaystyle \dot{x} > 0$ の場合， $\displaystyle x$ は増加していく
$\displaystyle \dot{x} = 0$ の場合， $\displaystyle x$ は変化なし
$\displaystyle \dot{x} > 0$ の場合， $\displaystyle x$ は減少していく
となるからです．

これを模式的にグラフに書き込むと

$\displaystyle a$ が負の場合
f:id:htn_hs:20170715231237p:plain
赤矢印は $\displaystyle x$ の変化の方向と大きさを示しています．
初期値がゼロから離れていてもゼロに収束していく様子（安定）が想像できると思います．

$\displaystyle a$ が正の場合
f:id:htn_hs:20170715231251p:plain
初期値がわずかでもゼロから離れたら $\displaystyle \pm\infty$ に発散していく様子（不安定）が想像できると思います．

$\displaystyle a = 0$ では常に $\displaystyle \dot{x} = 0$ となるため，変化はありません．

縦軸を横軸の時間変化にとったグラフを描き，直線の傾きのパラメータ $\displaystyle a$ によって収束や発散が切り替わる事が確認できました．

改めて解を見てみると
$\displaystyle x = e^{at+c} = C e^{at}$
（ $\displaystyle C$ は初期値と対応）

aが負で初期値がいずれの場合でも， $\displaystyle \lim_ {t \rightarrow \infty} x(t) = 0$ （安定）

aが正で初期値がゼロの場合． $\displaystyle \lim_ {t \rightarrow \infty} x(t) = 0$

aが正で初期値が非ゼロの場合． $\displaystyle \lim_ {t \rightarrow \infty} x(t) = \pm \infty$ （不安定）

であり，微分方程式の解はグラフで確認した振る舞いを再現できている事が分かります．

ちなみに，今回使ったグラフはテイラー展開と組み合わせることで更に複雑な安定性解析へと応用されます．