【微分方程式】よくわかる定数変化法／重解型の特性方程式

　一般的な２階同次線形微分方程式は特性方程式の解は異なる２つの解をもつため $y=Ae^{\lambda_1 x}+Be^{\lambda_2 x}$ として一般解を求めることができる。ここでは、特性方程式の解が重解になるタイプの2階同次線形微分方程式を扱う。

　この微分方程式の一般解の導出過程と考え方をまとめ、例題の解答をおこなう。基本解を求めるために「定数変化法」を用いているため、この方法についても説明する。

例題

次の $y\equiv y(x)$ の $x$ に関する微分方程式を解け。

$\begin{eqnarray*} \quad y''+4y'+4y=0 \end{eqnarray*}$

1. 一般解を求める考え方
2. 例題の解答
3. まとめ

1. 一般解を求める考え方

特性方程式の解が重解になる２階同次線形微分方程式

$\begin{eqnarray*} y''+2ay'+a^2 y= 0 \end{eqnarray*}$

の一般解を考えていこう。

基本解について

　まず微分方程式の基本解について説明しよう。

　２階線形微分方程式の場合、特性方程式は２次方程式であり、その解は複素数の範囲で２つある。これを $\lambda_1,\lambda_2$ として $e^{\lambda_1},e^{\lambda_2}$ の２つが基本解である。

この微分方程式の一般解は基本解を２つ線型結合した

$\begin{eqnarray*} y=Ae^{\lambda_1}+Be^{\lambda_2} \end{eqnarray*}$

となる。

線形微分方程式の一般解

一般に、 $n$ 階微分方程式の場合は基本解は $n$ 個あり、線型結合によって一般解をつくることができる。

*補足：線型結合を行う場合には基底となる基本解が線形独立である必要がある。これは２つのベクトルの和で平面全体を構成するためには、２つのベクトルが平行であってはならないのと似ている。微分方程式の一般解も同様に、「独立な基本解」を用意する必要がある。微分方程式における基本解の独立性は、ロンスキー行列の行列式（ロンスキアン）が０でないことを調べれば良い（例題解答の終わりを参照）。

特性方程式の形

　一般的な２階同次線形微分方程式と同じように $y=e^{\lambda x}$ を微分方程式へ代入して特性方程式を作ると特性方程式の解が重解 （ $\lambda_1=\lambda_2=-a$ ）となる。したがって、基本解として $y=Ae^{-ax}$ しか作れない（ $\lambda_1,\lambda_2$ の２つの基本解が独立でないため）。

　いま、２階線形微分方程式には２つの基本解のうちの１つ $y=Ae^{-ax}$ しかない状態である。ここで残りの１つの基本解を求めるために次の「定数変化法」を用いる。

定数変化法

　定数変化法とは、１つ基本解の定数部分 $A$ を関数 $A(x)$ として変化させてしまう方法である。

定数変化法

基本解の定数 $A$ を関数 $A(x)$ に変えて、 $y=A(x)e^{-ax}$ として $A(x)$ を求める。これにより、もう１つの基本解を導く方法である。

　言ってしまえば、残りの基本解を求める問題をすべて定数部分だった $A(x)$ に押し込めた形になっている（定数→関数）。本当にうまくいくかは $y=A(x)e^{-ax}$ を微分方程式に代入してみると分かる。

　まず、 $y',y''$ を求める。 $x$ に関する合成関数の微分であることに注意して計算する。

$\begin{eqnarray*} y'&=&A'(x)e^{-ax} -aA(x)e^{-ax} \\y''&=&A''(x)e^{-ax}-2aA'(x)e^{-ax}+a^2Ae^{-ax} \end{eqnarray*}$

　これを元の微分方程式に代入して（項別に色付けした）

$\begin{eqnarray*} &&y''+2ay'+a^2 y= 0\\\\ \Leftrightarrow \quad&& A''(x)e^{-ax}-2a\textcolor{blue}{A'(x)e^{-ax}}+a^2\textcolor{red}{Ae^{-ax}}\\ &&+2a\,\left\{\textcolor{blue}{A'(x)e^{-ax}} -a\textcolor{red}{A(x)e^{-ax}}\right\} +a^2 \,\textcolor{red}{A(x)e^{-ax}}=0\\\\ \Leftrightarrow \quad&& A''(x)e^{-ax}+\cancel{(-2a+2a)\textcolor{blue}{A'(x)e^{-ax}}}\\ &&+\cancel{(a^2-2a^a+a^2)\textcolor{red}{A(x)e^{-ax}}}=0\\\\ \Leftrightarrow \quad&& A''(x)e^{-ax}=0\\\\ \Leftrightarrow \quad&& A''(x)=0\quad(\because e^{-ax}>0) \end{eqnarray*}$

最後の行の $A(x)$ に関する微分方程式は簡単に解けて、

$\begin{eqnarray*} A'(x)&=&C_1\\\\ A(x)&=&C_1 x + C_2 \end{eqnarray*}$

となる。ここで、 $C_1,C_2$ は定数である。

以上より、微分方程式 $y''+2ay'+y=0$ の一般解は

$\begin{eqnarray*} y=A(x)e^{-a x}=(C_1 x + C_2)e^{-a x}\quad\blacksquare \end{eqnarray*}$

となる。

*一般解をみると、２つの基本解 $u_1(x),u_2(x)$ は

$\begin{eqnarray*} \begin{cases} u_1(x)=e^{-ax}\\ u_2(x)=xe^{-ax} \end{cases} \end{eqnarray*}$

である。これらが独立であることは、ロンスキー行列の行列式（ロンスキアン）について

$\begin{eqnarray*} \left|\begin{array}{cc} u_1(x)&u_2(x)\\\\ \frac{du_1(x)}{dx}& \frac{du_2(x)}{dx} \end{array}\right|&=& \left|\begin{array}{cc} e^{-ax}&xe^{-ax}\\\\ -ae^{-ax}& (1-ax)e^{-ax} \end{array}\right|\\\\ &=& \left[(1-ax)+ax\right](e^{-ax})^2\\\\ &=&e^{-2ax}\neq 0 \end{eqnarray*}$