ロトカ・ヴォルテラ方程式の保存量

今回はロトカ・ヴォルテラ方程式を解くの続編です。
ロトカ・ヴォルテラ方程式系の満たす保存量について書いていきます。

保存量がきちんと保存しているか確認することは、数値計算がちゃんと間違いなく進んでいるか確認するのに役立ちます。(偉そうに言ってますが、前回記事執筆時点では実は保存してませんでした。4次のルンゲクッタ法で解いたのですが、 $k_{i}$ の係数1/2をかけ忘れてて保存量が保存してませんでした。すいません！)

ロトカ・ヴォルテラ方程式とは
保存量を考える
数値計算の結果
まとめ

ロトカ・ヴォルテラ方程式とは

まずはロトカ・ヴォルテラ方程式がどういうものだったか思い出してみましょう。

$\begin{eqnarray}\frac{{\rm d}x}{{\rm d}t} &=& \alpha x-\beta xy \\ \frac{{\rm d}y}{{\rm d}t} &=& \gamma xy-\eta y \end{eqnarray}$

方程式の意味は前回記事に書いたので割愛します。ここではとにかくこんな式だったよねと思い出すにとどめます。
→前回記事: ロトカ・ヴォルテラ方程式を解く

以下、変数 $t$ を消去した形、

$\begin{eqnarray} \frac{{\rm d}y}{{\rm d}x} = \frac{\gamma xy-\eta y}{\alpha x-\beta xy} \end{eqnarray}$

を考えます。

保存量を考える

まず保存量 $H$ とは以下のような方程式を満たすものを言います。

$\begin{eqnarray} \frac{{\rm d}H}{{\rm d}t} = 0 \end{eqnarray}$

$t$ は時間です。

ロトカ・ヴォルテラ方程式は変数分離形なので実は簡単に保存量を求めることができます。
なぜなら保存量 $H$ は

$\begin{eqnarray} {\rm d}H = \frac{\partial H}{\partial x}{\rm d}x+\frac{\partial H}{\partial y}{\rm d}y \end{eqnarray}$

を満たしますので各微係数 $\partial H/\partial x,\,\partial H/\partial y$ が求まれば良いですが、微分方程式が変数分離形であればある関数 $f\left(x\right)$ と $g\left(y\right)$ を用いて

$\begin{eqnarray} f\left(x\right){\rm d}x = g\left(y\right){\rm d}y \end{eqnarray}$

のように書けるので

$\begin{eqnarray} H = \int f{\rm d}x-\int g{\rm d}y \end{eqnarray}$

と置けば

$\begin{eqnarray} {\rm d}H &=& f{\rm d}x-g{\rm d}y &=& 0 \end{eqnarray}$

のように $H$ が保存量であることが示せるからです。

というわけで具体的にロトカ・ヴォルテラ方程式の保存量を考えてみましょう。

改めてロトカ・ヴォルテラ方程式に立ち返ります。

$\begin{eqnarray} \frac{{\rm d}y}{{\rm d}x} = \frac{\gamma xy-\eta y}{\alpha x-\beta xy} \end{eqnarray}$

変数分離形なので $x$ を右辺に、 $y$ を左辺に集めましょう。

$\begin{eqnarray} \frac{{\rm d}y}{{\rm d}x} &=& \frac{y}{x} \frac{\gamma x-\eta}{\alpha-\beta y} \\ \frac{\alpha-\beta y}{y}{\rm d}y &=& \frac{\gamma x-\eta}{x}{\rm d}x \\ \left(\frac{\alpha}{y}-\beta\right){\rm d}y &=& \left(\gamma-\frac{\eta}{x}\right){\rm d}x \end{eqnarray}$

両辺積分して

$\begin{eqnarray} \alpha\log y-\beta y = \gamma x-\eta\log x \end{eqnarray}$

よって保存量 $H$ は

$\begin{eqnarray} H &=& \gamma x-\eta\log x-\alpha\log y+\beta y \\ &=& \gamma x+\beta y-\eta\log x-\alpha\log y \end{eqnarray}$

と導くことができました。