#rst2hooktail_source
================================
変数分離形
================================
微分方程式が
<tex>
\frac{dy}{dx}=f(x)g(y) \tag{1}
</tex>
という形のとき，変数分離形と呼びます．微分方程式のなかで一番基本となる形です．
変数分離形の解法
-------------------------------
これを解くにはまず，左辺，右辺を同じ変数だけにまとめます．つまり変数を分離するんです．
変数の分離
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
式 (1) の場合では左辺を変数が $y$ のものに，右辺を変数が $x$ のもにまとめます．
両辺に $dx$ を掛けると
<tex>
dy=f(x)g(y)dx
</tex>
となり，さらに両辺を $g(y)$ で割ってやる（ $g(y)\ne0$ とする）と
<tex>
\frac{1}{g(y)}dy = f(x)dx
</tex>
となります．イコールをはさんで左右に変数が分離できました．
両辺を積分
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
つぎに両辺を積分します．
<tex>
\int\frac{1}{g(y)}\,dy = \int f(x)\,dx + C \tag{2}
</tex>
ここで $C$ は任意定数（積分定数）です．このあと式 (2) の積分を計算し，
$y=$ の形にしてやれば「微分方程式が解けた」ということになります．
任意定数を含む式 (2) は一般解と呼ばれ，
$C$ は初期条件や境界条件から決まります
（初期条件などが分からない場合はそのまま放っておきます）．
例題
-------------------------------
では具体例を解いてみましょう．解くのは
<tex>
\frac{dy}{dx} = -\gamma y
</tex>
という微分方程式です．まずは変数の分離です．
左辺に $y$ を，右辺に $x$ をまとめましょう．
両辺に $dx$ を掛けると
<tex>
dy = -\gamma y dx
</tex>
で，さらに両辺を $y$ で割ると
<tex>
\frac{1}{y}dy = -\gamma dx
</tex>
となって変数分離が完了です．つぎに両辺を積分します．
<tex>
\int\frac{1}{y} dy = -\gamma \int dx + C \tag{3}
</tex>
ここで
<tex>
\int\frac{1}{y} dy = \log |y|, \quad \int dx = x
</tex>
ですから，式 (3) は
<tex>
\log |y| = -\gamma x + C
</tex>
となります．両辺の指数をとると（→ `“指数をとる”につて`_ 参照）
<tex>
|y| &= e^{-\gamma x + C}\\
&= e^C e^{-\gamma x}
</tex>
したがって
<tex>
y = \pm e^C e^{-\gamma x}
</tex>
となります． $C$ が定数なので $\pm e^C$ も定数ですから，
これを新しく $\alpha$ という記号で置き換えると
<tex>
y = \alpha e^{-\gamma x}
</tex>
となります． $y=$ の形になったので，これで変数分離形の常微分方程式が解けました．
$\alpha$ は初期条件から決まる定数です．
初期条件を仮定してみる
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ついでなので， $x=0$ のとき $y=0.5$ という初期条件を
仮定して $\alpha$ を求めてみます．初期条件を微分方程式の解に代入すると
<tex>
0.5 &= \alpha e^{-\gamma \cdot 0}\\
&= \alpha e^{0}\\
&= \alpha \cdot 1
</tex>
で $\alpha = 0.5$ と求まりました．したがって仮定した初期条件のもとでの解は
<tex>
y = 0.5 e^{-\gamma x}
</tex>
である，ということになります．
このように変数分離形の微分方程式は決まった手続きで解くことができます．
ほかにもいろいろな形の微分方程式がありますが，
多くの場合，式を変形して最終的に変数分離形にもっていって解くことになります．
もう少し例を上げると
<tex>
\frac{dy}{dx}=\mu(1-y)y,\quad
\frac{dy}{dx}=-\frac{x}{y},\quad
y^2dx-x^3dy=0
</tex>
なども変数分離形です．暇があればぜひ解いてみてください．
.. _“指数をとる”につて: ../takeExponential/
@@author:崎間@@
@@accept:2004-04-28@@
@@category:物理数学@@
@@id:separatVariables@@
記事ソース/変数分離形 の変更点
