変数分離形の微分方程式の例を幾つか紹介していきます。
本稿はその第3弾です。
\begin{equation}
y' = y \tag{1}
\end{equation}
まずを別の表記にします。
\begin{equation}
\frac{dy}{dx} = y \tag{1'}
\end{equation}
この式は、次のように変形を分離できます。
\begin{equation}
\frac{dy}{y} = dx
\end{equation}
両辺を積分します。
\begin{eqnarray}
\int \frac{dy}{y} &=& \int dx \\
\log |y| &=& x +C \tag{2}
\end{eqnarray}
任意定数は両辺に出てきますが、任意なので右辺にまとめられます。
式(2)を書き換えます。
\begin{equation}
|y| = e^{x +C}
\end{equation}
絶対値の記号を外します。
\begin{equation}
y = \pm e^C e^x \tag{3}
\end{equation}
ここで
\begin{equation}
A = \pm e^C \tag{4}
\end{equation}とすると、式(3)は
\begin{equation}
y = Ae^x \tag{5}
\end{equation}となります。
なお、が任意定数なので、
も任意定数です。
ただし、式(4)のため、
\begin{equation}
A \ne 0
\end{equation}です。
ところが、
\begin{equation}
y \equiv 0
\end{equation}すなわちが
によらず恒に0である場合は明らかに式(1)を満たすので、
\begin{equation}
A=0
\end{equation}でもよいことが分かります。
よって、式(1)の解は、
\begin{equation}
y = Ae^x \quad (A:任意定数)
\end{equation}となります。
