変数分離形微分方程式(Separable differential equation)

1階の微分方程式は一般に

$\displaystyle y^{\prime} = f(x,y)$

または微分を用いて

$\displaystyle M(x,y)dx + N(x,y)dy = 0$

の形で表わされます．後の形の方程式を全微分方程式(total differential equation)といいます．ここで

$\displaystyle y^{\prime} = -\frac{y}{x}, xdx + ydy = 0$

を考えてみましょう．この2つの式は $x = 0$

の場合を除けば同じものとして扱えます．一般に上の2つの形の微分方程式は，形式的に同じものとして扱うことができます．

たぶん1階の微分方程式の中でもっとも簡単なのは $f(x,y)$ が $x$ だけの関数のときでしょう．この場合，微分方程式は

$\displaystyle y^{\prime} = f(x)$

の形をとり，両辺を

について積分すると一般解

$\displaystyle y = \int f(x)dx + c$

を得ます．ただし

は任意の定数です．

例題 1..3

$x^{2}dx - dy = 0$ の一般解を求めよ．

解与えられた微分方程式は $y^{\prime} = x^{2}$ と書き直せる．よって両辺を $x$ について積分して一般解

$\displaystyle y = \frac{x^{3}}{3} + c$

を得る． $\blacksquare$

例題 1..4

初期値問題 $y^{\prime} = e^{x^{2}}, y(0) = 3$ を解け．

解この場合，微分方程式 $y^{\prime} = e^{x^{2}}$ を $x$ について積分したのでは初期値問題は解けない．なぜならば $e^{x^{2}}$ の原始関数は初等関数ではない．そこで不定積分の代わりに定積分を用いる．

$\displaystyle \int_{0}^{x}y^{\prime}(t)dt = \int_{0}^{x}e^{t^{2}}dt$

より

$\displaystyle y(x) - y(0) = \int_{0}^{x}e^{t^{2}}dt .$

よって

$\displaystyle y(x) = 3 + \int_{0}^{x}e^{t^{2}}dt$

を得る． $\blacksquare$

こういう解の表わし方に慣れてないかも知れませんが，これは立派な解です．なぜならばどんな特定な値 $x$ に対しても $\int_{0}^{x}e^{t^{2}}dt$ は数値的に何桁までも正確に近似できるからです．

次に $f(x,y)$ が $x$ の関数と $y$ の関数の積で表わされる場合を考えます．

$y^{\prime} = f(x,y)$ が

$\displaystyle y^{\prime} = F(x)G(y)$

の形で表わされるとき，微分方程式は変数分離形(separable)であるといいます．このとき

$\displaystyle y^{\prime}(x) = F(x)G(y(x))$

を満たす解

を求めます．左辺に

の関数，右辺に

の関数となるように書き直すと

$\displaystyle \frac{y^{\prime}(x)}{G(y(x))} = F(x)$

となります．この両辺を $x$

について積分すると

$\displaystyle \int \frac{y^{\prime}(x)}{G(y(x))} dx = \int F(x)dx$

となるので

$\displaystyle \int \frac{dy}{G(y)} = \int F(x)dx$

を得ます．

例題 1..5

$y^{\prime} = \frac{xy}{y + 1}$ を解け．

解この微分方程式は形式的に

$\displaystyle \frac{y + 1}{y} dy = x dx$

と表わせる．そこで両辺を積分すると

$\displaystyle y + \log{\vert y\vert} = \frac{x^{2}}{2} + c$

となる．これは与えられた微分方程式の陰関数を用いた解である．そこで $c = -\log{c_{1}}$ を用いて書き直すと，

$\displaystyle 2y + \log{(c_{1}y)^{2}} = x^{2}$

となる． $\blacksquare$

上の例題で $y(x) \equiv 0$ は元の式の解ですが，求めた一般解の中には $c_{1}$ をどのような値にとっても $y(x) \equiv 0$ は含まれていません．このように微分方程式の解なのに，一般解の任意定数にどのような値を与えても得られない解を，その微分方程式の特異解(singular solution)といいます．他にも消えてしまった解があるかもしれませんが，これは変数分離形ではよくおきることです．そこで私たちは1.7節までの間，形式的に求めたものを解として扱います．

次の例題はNewtonの冷却の法則(Newton's law of cooling)を用います．実験より温度が $T_{1}$ と $T_{2}$ の2物体が向かい合っているとき，高温の物体から低温の物体へ $dt$ 時間に移る熱量 $dQ$ は， $T_{1}$ と $T_{2}$ の温度差が小さいとき近似的に比例して次の式で与えらることがわかっています．