中学でも分かる⑩「微分方程式」

　ここでは微分方程式について解説します。難しい微分方程式を解けるようになるのが目的ではなく、微分積分などの基本をマスターしたレベルで、微分方程式とはどういうものかを理解するのが本記事の目標です。
　読むにあたっては、先に書いた
　中学でも分かる①「微分法」
　中学でも分かる➁「積分法」
の知識を当たり前のように使うので、分からない場合は最初に読んでおくことをおすすめします。
　また、本シリーズの過去の内容も多く出てくるので、その都度戻るか、最初から本シリーズを読んでおくことをお勧めします。前回までの記事が次の記事で出てくるような構成になっています。

微分方程式とは

　次のような式を考えます。

$$\begin{align*} \dfrac{dy}{dx}=2x　\cdots (*1) \end{align*}$$

　まず、$\dfrac{dy}{dx}$ とは $y$ を $x$ で微分するという意味です（中学でも分かる①「微分法」）。
　つまり、この式の意味するところは、
　「なにか $y=f(x)$ という関数があったときに、その関数 $y$ を $x$ で微分すると $2x$ になること」
　すなわち、
　「$y$ の導関数が $2x$ になること」
を意味しています。 
　するとこの $(*1)$ 式から、さかのぼって微分する前の関数  $y=f(x)$ を求めることができます。
　ではどのように求めるのか？
　そのためには、$(*1)$ 式の両辺を $x$ 軸方向に積分します（中学でも分かる➁「積分法」）。

$$\begin{align*} \int\dfrac{dy}{dx}\,dx=\int2x\,dx \end{align*}$$

　$\int\square  dx$ は $x$ 軸方向に積分するという記号です。
　ここで、左辺と右辺を別々に見ていきましょう。

（左辺）について

　左辺は、$y$ を $x$ で微分したもの $\dfrac{dy}{dx}$ を $x$ 軸方向に積分しているので、元に戻って $y$ となります。

$$\begin{align*} \\[0pt] &\hspace{24pt}\footnotesize{\dfrac{d}{dx}}\\[4pt] &\hspace{8pt}\xrightarrow[]{  微分する}\\[-18pt] &y\hspace{47pt}\dfrac{dy}{dx}\\[-15pt] &\hspace{8pt}\xleftarrow[  積分する]{}\\[4pt] &\hspace{17pt}\footnotesize{\int□  dx} \end{align*}$$

　厳密には、積分定数 $C_1$（任意の実数値の定数）が付きます。

$$\begin{align*} \\[0pt] &\hspace{47pt}\footnotesize{\dfrac{d}{dx}}\\[4pt] &\hspace{31pt}\xrightarrow[]{  微分する}\\[-18pt] &y+C_1\hspace{47pt}\dfrac{dy}{dx}\\[-15pt] &\hspace{31pt}\xleftarrow[  積分する]{}\\[4pt] &\hspace{39pt}\footnotesize{\int□  dx} \end{align*}$$

　下の「$\leftarrow$」の操作を行うので

$$\begin{align*} （左辺）&=\int\dfrac{dy}{dx}\,dx\\ &=y+C_1　\cdots (*2) \end{align*}$$

　なお、この計算はあたかも分数の計算のように、形式的に $dx$ で約分することが可能です。

$$\begin{align*} （左辺）&=\int\dfrac{dy}{\cancel{dx}}\,\cancel{dx}　\small{（dx  で約分）}\\ &=\int dy\\ &=\int 1  dy\\ &=y+C_1　\cdots (*2) \end{align*}$$

　最後の $\int dy$ は「$1$ を $y$ 軸方向に積分する」という意味です。どの方向に積分するかは、$dy$ の $y$ という文字に着目します。参考までに、次の違いに注意してください（$C$ は積分定数）。

　$\int dx=x+C$（$x$ 軸方向の積分）
　$\int dy=y+C$（$y$ 軸方向の積分）（$(*2)$ の計算）
　$\int dz=z+C$（$z$ 軸方向の積分）

　この（左辺）の計算では、最初は $x$ 軸方向の積分 $\int□\,dx$ でしたが、形式的に $dx$ で約分することによって、$y$ 軸方向の積分 $\int□\,dy$ に切り替わっていることに着目しましょう。

　では次に

$$\begin{align*} \int\dfrac{dy}{dx}\,dx=\int2x\,dx \end{align*}$$

の右辺を計算します。

（右辺）について

　右辺は、$2x$ を積分をして

$$\begin{align*} （右辺）&=\int2x\,dx\\ &=2\int x^2\,dx\\ &=\cancel{2}\cdot\dfrac{1}{\cancel{2}}x^2+C_2\\ &=x^2+C_2　\cdots (*3) \end{align*}$$

　$C_2$ は積分定数（実数値の定数）です。
　すると $(*2)=(*3)$ より

$$\begin{align*} y+C_1=x^2+C_2 \end{align*}$$

　$C_1$ を移項して

$$\begin{align*} y=x^2+C_2-C_1 \end{align*}$$

　定数部分をまとめて $C_2-C_1=C$ とおくと

$$\begin{align*} y=x^2+C \end{align*}$$

　以上により

$$\begin{align*} \dfrac{dy}{dx}=2x　\cdots (*1) \end{align*}$$

を満たす関数 $y$ は

$$\begin{align*} y=x^2+C \end{align*}$$

となります。積分定数は１つの文字 $C$ でまとめておきます。最後に $C$ を使いために、途中の計算では $C_1,  C_2$ を使っています。

 　この $(*1)$ のように、未知の関数の導関数を含む等式を微分方程式といいます。
　一般に、ある微分方程式を満たす関数を、その微分方程式の解といい、その方程式のすべての解を求めることを、その微分方程式を解くといいます。
　先の微分方程式

$$\begin{align*} \dfrac{dy}{dx}=2x　\cdots (*1) \end{align*}$$

を解くと、その解は、$C$ は任意の定数として

$$\begin{align*} y=x^2+C \end{align*}$$

となります。

一般解とは

　微分方程式を解くと、任意の定数を含んだ解が得られます。このような任意の定数を含む解を一般解といいます。
　定数部分を、一般的に $C$ などの文字を用いて表した解が一般解です。

　問題としては次のような形で出題されるので、次のように簡潔に解けばよいでしょう。

問題　次の微分方程式を解きなさい

$$\begin{align*} \dfrac{dy}{dx}=2x　\cdots (*1) \end{align*}$$

解答

$$\begin{align*} y&=\int 2x  dx\\ &=\cancel{2}\cdot\dfrac{1}{\cancel{2}}x^2+C\\ &=x^2+C \end{align*}$$

より、$C$ は任意の定数として

$$\begin{align*} y=x^2+C　\cdots\small{（答）} \end{align*}$$

$\blacksquare$

　結局、$(*1)$ の左辺は積分するとダイレクトに $y$ になるので、右辺を積分するだけで解を求めることができます。

検算してみると・・・

　ここで、一般解 $y=x^2+C$ を微分して、それが $(*1)$ 式

$$\begin{align*} \dfrac{dy}{dx}=2x　\cdots (*1) \end{align*}$$

を満たすかどうか検算してみましょう。すると

$$\begin{align*} \dfrac{dy}{dx}=(x^2+C)'=2x \end{align*}$$

より、確かに $(*1)$ になります。$C$ は任意の定数なので、どのような定数（任意の実数値）をとってきても $(*1)$ は成り立ちます。
　なお、$C$ は定数なので、微分すると $0$ です。微分の復習にもなるので、最初のうちは検算してみるのもよいでしょう。

特殊解とは

　一方、任意の定数 $C$ に特定の値を与えて得られる解を特殊解といいます。
　例えば、微分方程式 $(*1)$ が
　$x=1$ のとき $y=3$
という条件を満たしているとします。すると、$(*1)$ の一般解

$$\begin{align*} y=x^2+C \end{align*}$$

に $x=1,  y=3$ を代入して

$$\begin{align*} &3=1^2+C\\ &3=1+C\\ &1+C=3\\ &C=3-1=2 \end{align*}$$

より、定数 $C$ の値が求まります。この $C=2$ を、一般解 $y=x^2+C$ に代入することによって特殊解

$$\begin{align*} y=x^2+2 \end{align*}$$

が得られます。$x=1$ のとき $y=3$ のように、特別な条件を満たしているときの解が特殊解です。

直接積分形

　先ほどの

$$\begin{align*} \dfrac{dy}{dx}=2x \end{align*}$$

のように、直接積分すれば一般解が求まる微分方程式を直接積分形といいます。最も基本的な微分方程式です。
　なお、$x$ で微分していることが明白なときは、この方程式を単に

$$\begin{align*} y'=2x \end{align*}$$

と書く場合があります。「$'$」は微分するという記号です。本来 $y'$ だけだと見かけ上どの変数で微分しているのか不明ですが、それが自明（普通は $x$ で微分）であるときは $y'$ はよく使われます。同じ微分方程式なので、解き方は先ほどやった解法とまったく同じです。

　では、直接積分形の微分方程式をいくつか解いてみましょう。

（例題１）基本形

　次の微分方程式

$$\begin{align*} \dfrac{dy}{dx}=4x^3-x-2 \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=2$ のとき $y=5$ を満たすときの特殊解を求めなさい。

指針
　左辺を $x$ 軸方向に積分するとダイレクトに $y$ になるので、右辺を $x$ 軸方向に積分するだけで $y$ を求めることができます。

解答
(1)　両辺を $x$ 軸方向に積分すると

$$\begin{align*} y&=\int(4x^3-x-2)dx\\ &=\cancel{4}\cdot\dfrac{1}{\cancel{4}}x^4-\dfrac{1}{2}x^2-2x+C\\ &=x^4-\dfrac{1}{2}x^2-2x+C\\ \end{align*}$$

　よって一般解は、$C$ は任意の定数として

$$\begin{align*} y=x^4-\dfrac{1}{2}x^2-2x+C　\cdots\small{（答）} \end{align*}$$

$\blacksquare$

　では、検算してみましょう（微分の復習にもなります）。
　一般解を微分すると

$$\begin{align*} \dfrac{dy}{dx}&=(x^4-\dfrac{1}{2}x^2-2x+C)'\\ &=4x^3-\dfrac{1}{\cancel{2}}\cdot\cancel{2}x-2\\ &=4x^3-x-2 \end{align*}$$

となり、問題の微分方程式と同じになります。

(2)　一般解に $x=2,  y=5$ を代入して

$$\begin{align*} &5=2^4-\dfrac{1}{2}\cdot2^2-2\cdot2+C\\ &5=16-2-4+C\\ &5=10+C\\ &10+C=5\\ &C=5-10=-5 \end{align*}$$

　これを一般解に代入して

$$\begin{align*} y=x^4-\dfrac{1}{2}x^2-2x-5　\small{（答）} \end{align*}$$

$\blacksquare$

（例題２）y' の表記

　次の微分方程式

$$\begin{align*} y'=e^x \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=0$ のとき $y=2$ を満たすときの特殊解を求めなさい。

指針
　$x$ で微分していることが明白なときは、$y$ を $x$ で微分していると考えて

$$\begin{align*} y'=\dfrac{dy}{dx} \end{align*}$$

と考えます。つまり、この微分方程式は

$$\begin{align*} \dfrac{dy}{dx}=e^x \end{align*}$$

と同じ意味です。$x$ での微分が明白なときは $y'$ はよく使われます。
　$y'$ を $x$ 軸方向に積分すると $y$ になります。

$$\begin{align*} \\[0pt] &\hspace{24pt}\footnotesize{\dfrac{d}{dx}}\\[4pt] &\hspace{8pt}\xrightarrow[]{  微分する}\\[-13pt] &y\hspace{47pt}y'\\[-12pt] &\hspace{8pt}\xleftarrow[  積分する]{}\\[4pt] &\hspace{17pt}\footnotesize{\int□  dx} \end{align*}$$

　よって（例題１）と同じように、最初に両辺を $x$ 軸方向に積分しましょう。左辺は $\leftarrow$ の操作で直接 $y$ になります。

解答
(1)　両辺を $x$ 軸方向に積分すると

$$\begin{align*} y&=\int e^xdx\\ &=e^x+C\\ \end{align*}$$

　よって一般解は、$C$ は任意の定数として

$$\begin{align*} y=e^x+C　\cdots\small{（答）} \end{align*}$$

$\blacksquare$

　$e^x$ は積分しても（微分しても）変わらないことに注意してください。

　明らかですが、検算してみましょう。
　一般解を微分すると

$$\begin{align*} \dfrac{dy}{dx}&=(e^x+C)'\\ &=e^x \end{align*}$$

となり、問題の微分方程式と同じになります。

(2)　一般解に $x=0,  y=2$ を代入して

$$\begin{align*} &2=e^0+C\\ &2=1+C\\ &1+C=2\\ &C=2-1=1 \end{align*}$$

　これを一般解に代入して

$$\begin{align*} y=e^x+1　\small{（答）} \end{align*}$$

$\blacksquare$

　$e^0=1$ であることに注意しましょう。$0$ 乗は $1$ と定義されます（中学でも分かる➃「指数関数」）。

（例題３）両辺を x で割る

　次の微分方程式

$$\begin{align*} xy'=3 \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=e$ のとき $y=1$ を満たすときの特殊解を求めなさい。

指針
　$y'$ は $\dfrac{dy}{dx}$ の意味なので、この微分方程式は

$$\begin{align*} x\dfrac{dy}{dx}=3 \end{align*}$$

とも表されます。
　$x$ が左辺にあるので、両辺を $x$ で割って右辺に持っていくのが最初の一手です。

解答
(1)　$xy'=3$ の両辺を $x$ で割って

$$\begin{align*} y'=\dfrac{3}{x} \end{align*}$$

　両辺を $x$ 軸方向に積分して

$$\begin{align*} y&=\int\dfrac{3}{x}  dx\\ &=3\int\dfrac{1}{x}  dx\\ &=3\log |x|+C \end{align*}$$

　よって一般解は、$C$ は任意の定数として

$$\begin{align*} y=3\log |x|+C　\cdots\small{（答）} \end{align*}$$

$\blacksquare$

　途中で積分公式

$$\begin{align*} \int\dfrac{1}{x}\,dx=\log |x|+C \end{align*}$$

を用いています。対数の底はネイピア数 $e$ です。$e$ が底のときは

$$\begin{align*} \log_e |x|=\log |x| \end{align*}$$

と省略されることに注意しましょう（中学でも分かる➅「ネイピア数 e」）。

　では、検算してみましょう。
　$(\log |x|)'=\dfrac{1}{x}$
の微分公式を使います。

$$\begin{align*} xy'&=x(3\log |x|+C)'\\ &=\cancel{x}\cdot3\cdot\dfrac{1}{\cancel{x}}\\ &=3 \end{align*}$$

となり、問題の微分方程式と同じになります。

(2)　一般解に $x=e,  y=1$ を代入すると

$$\begin{align*} &1=3\log |e|+C\\ &1=3\cdot1+C\\ &1=3+C\\ &3+C=1\\ &C=1-3=-2 \end{align*}$$

　これを一般解に代入して

$$\begin{align*} y=3\log |x|-2　\small{（答）} \end{align*}$$

$\blacksquare$

　$\log |e|=\log_e e=1$ の計算にも注意しましょう（中学でも分かる➄「対数関数」）。

変数分離形

　次は変数分離形とよばれる微分方程式です。

（例題４）右辺に y があるとき

　次の微分方程式

$$\begin{align*} \dfrac{dy}{dx}=2xy \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=0$ のとき $y=3$ を満たすときの特殊解を求めなさい。

指針
　左辺に $x$ だけはなく、$y$ があるときの解法です。
　まずは、$y$ は $x$ の関数であるので、$y=f(x)$ となっていることを意識しましょう。

$$\begin{align*} \dfrac{dy}{dx}=2xf(x) \end{align*}$$

と同じ意味です。実は右辺は $x$ だけの式（関数）になっています。この関数 $y=f(x)$ の $f(x)$ をこれから求めるわけです。
　このときは、最初に両辺を $y$ で割って、$y$ を左辺にもっていきます。
　なお、両辺を $y$ で割る前に
(case1)　$y\ne0$ のとき
(case2)　$y=0$ のとき
で場合分けをしましょう。$0$ で割ることはできないので、場合分けが必要です。

解答
(1)
(case1)　$y\ne0$ のとき
　両辺を $y  (\ne0)$ で割って

$$\begin{align*} \dfrac{1}{y}  \dfrac{dy}{dx}=2x \end{align*}$$

　両辺を $x$ 軸方向に積分して

$$\begin{align*} \int \dfrac{1}{y}  \dfrac{dy}{\cancel{dx}}  \cancel{dx}&=\int 2x  dx \end{align*}$$

　形式的に約分すると $dy$ だけが残って

$$\begin{align*} \int \dfrac{1}{y}  dy=2\int x  dx \end{align*}$$

　左辺が $y$ 軸方向の積分、右辺が $x$ 軸方向の積分と両辺で分かれることがポイントです。ここで、両辺を積分して

$$\begin{align*} \log |y|=\cancel{2}\cdot\dfrac{1}{\cancel{2}}x^2+C_1 \end{align*}$$

より

$$\begin{align*} \log |y|=x^2+C_1 \end{align*}$$

　左辺は積分公式

$$\begin{align*} \int \dfrac{1}{y}  dy=\log |y|+C \end{align*}$$

を用います。右辺は $x$ を $x$ 軸方向に積分し、積分定数は $C_1$ と１つにして右辺にまとめます。
　ここで、対数と指数の関係（中学でも分かる➄「対数関数」）

$$\begin{align*} \log_a R=r  \Longleftrightarrow R=a^r \end{align*}$$

より

$$\begin{align*} \log |y|=x^2+C_1  \Longleftrightarrow |y|=e^{x^2+C_1} \end{align*}$$

と、$|y|$ について求めることができ

$$\begin{align*} |y|=e^{x^2+C_1}=e^{x^2}e^{C_1}=e^{C_1}e^{x^2} \end{align*}$$

　絶対値をはずして

$$\begin{align*} y=\pm e^{C_1}e^{x^2} \end{align*}$$

　定数部分 $\pm e^{C_1}$ を $C$ で置き換えて

$$\begin{align*} y=Ce^{x^2} \end{align*}$$

　定数部分 $\pm e^{C_1}$ は、１つの文字 $C$ でまとめて置き換えます。最後に $C$ を使うために、途中の計算では $C_1$ を使っています。
　なお、絶対値をはずすと「$\pm$」（プラスマイナス）がつくことにも注意。例えば、$|x|=2$ の絶対値をはずすと
　$x=\pm2$
となります。

(case2)　$y=0$ のとき
　$y=0$ を問題の微分方程式

$$\begin{align*} \dfrac{dy}{dx}=2xy \end{align*}$$

に代入すると

$$\begin{align*} \dfrac{dy}{dx}=2x\times0 \end{align*}$$

より

$$\begin{align*} \dfrac{dy}{dx}=0 \end{align*}$$

となります。
　すると、$y=0$ を $x$ 軸方向に微分すると $\dfrac{dy}{dx}=0$ より、$y=0$ はこの微分方程式の解になりますが、$y=0$ は (case1) で求めた
　$y=Ce^{x^2}$
について、$C=0$ とすれば
　$y=0\cdot e^{x^2}=0$
より得ることができます。つまり $y=0$ の場合は、$y=Ce^{x^2}$ に含まれています。
　よって一般解は、(case1)、(case2) より、$C$ を任意の定数として

$$\begin{align*} y=Ce^{x^2}　\small{（答）} \end{align*}$$

$\blacksquare$

　では、検算してみましょう。合成関数の微分法の復習になります。
　「外の微分」$\times$「中の微分」
で微分します（中学でも分かる➈「合成関数」）。

$$\begin{align*} y'&=\left(Ce^{x^2}\right)'\\ &=C\left(e^{x^2}\right)'\\ &=C\underset{\tiny 外の微分}{e^{x^2}}\hspace{-4pt}\cdot\hspace{0pt}\underset{\tiny 中の微分}{\left(x^2\right)'}\\ &=\underset{\tiny 一般解  y}{\underline{Ce^{x^2}}}\cdot2x\\ &=y\cdot2x\\ &=2xy \end{align*}$$

となり、問題の微分方程式と同じになります。外の微分は変化しないことに注意（中学でも分かる➈「合成関数」）。
　途中で、一般解 $y=Ce^{x^2}$ そのものが現れることにも注意してください（下線部）。その部分を $y$ で置き換えることによって、問題の微分方程式が得られます。

(2)　一般解に $x=0,  y=3$ を代入して

$$\begin{align*} &3= Ce^{0^2}\\ &3= Ce^{0}\\ &3=C\cdot1\\ &C=3 \end{align*}$$

　これを一般解に代入して

$$\begin{align*} y=3e^x　\small{（答）} \end{align*}$$

$\blacksquare$

　（例題４）のような形の微分方程式を変数分離形といいます。分離という理由は

$$\begin{align*} \dfrac{dy}{dx}=&2x \times y\\[-5pt] &\uparrow\hspace{15pt}\uparrow\\[-3pt] \footnotesize{x  の関数}\hspace{-13pt}&\hspace{18pt}\footnotesize{y  の関数} \end{align*}$$

と

$$\begin{align*} (x  の関数) \times (y  の関数) \end{align*}$$

の積の形に分離されていることからきています。例えば、次のような微分方程式も変数分離形です。

$$\begin{align*} \frac{dy}{dx}=(e^x-2)y^2 \end{align*}$$

　これも

$$\begin{align*} \frac{dy}{dx}&=(e^x-2)\times y^2\\[-5pt] &\hspace{25pt}\uparrow\hspace{27pt}\uparrow\\[-3pt] \footnotesize{x  の関数}\hspace{-42pt}&\hspace{52pt}\footnotesize{y  の関数} \end{align*}$$

と

$$\begin{align*} (x  の関数) \times (y  の関数) \end{align*}$$

の積の形に分離されています。一般的に書くと

$$\begin{align*} \frac{dy}{dx}=P(x)Q(y) \end{align*}$$

という形です。$x$ の関数 $P(x)$ と $y$ の関数 $Q(y)$ の積の形になっているのが変数分離形です。
　例えば、次のような場合は $P(x)$ と $Q(y)$ の積に分かれていないので、変数分離形ではありません。

$$\begin{align*} \frac{dy}{dx}=(xy-3)xy^3 \end{align*}$$

　$x$ と $y$ が混じって分離されていません。
　変数分離形の解法は

$$\begin{align*} \frac{dy}{dx}=P(x)Q(y) \end{align*}$$

の両辺を $Q(y)$ で割って

$$\begin{align*} \dfrac{1}{Q(y)}\frac{dy}{dx}=P(x) \end{align*}$$

としてから、両辺を $x$ 軸方向で積分するのが基本的な解法となります。
　それでは、変数分離系の微分方程式をいくつか解いていきます。まずは、先ほどあげた具体例を解いてみましょう。

（例題５）やや複雑

　次の微分方程式

$$\begin{align*} \frac{dy}{dx}=(e^x-2)y^2 \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=0$ のとき $y=1$ を満たすときの特殊解を求めなさい。

指針
　（例題４）のように、両辺を $y^2$ で割って、$y$ の式を左辺にもっていきます。なお、両辺を $y^2$ で割る前に
(case1)　$y\ne0$ のとき
(case2)　$y=0$ のとき
で場合分けをしましょう。
　$y^2=0\leftrightarrow y=0$
は正しく、および
　$y^2\ne0\leftrightarrow y\ne0$
も正しいので、$y\ne0$ と $y=0$ で場合分けをします。

解答
(1)
(case1)　$y\ne0$ のとき
　両辺を $y^2  (\ne0)$ で割って

$$\begin{align*} \frac{1}{y^2}\frac{dy}{dx}=e^x-2 \end{align*}$$

　両辺を $x$ 軸方向に積分して

$$\begin{align*} \int\frac{1}{y^2}\frac{dy}{\cancel{dx}}  \cancel{dx}&=\int(e^x-2)  dx\\ \int\frac{1}{y^2}  dy&=\int(e^x-2)  dx\\ \int y^{-2}  dy&=\int(e^x-2)  dx \end{align*}$$

　左辺は $y$ 軸方向に、右辺は $x$ 軸方向に積分して

$$\begin{align*} \dfrac{1}{-2+1}y^{-2+1}&=e^x-2x+C_1\\ \dfrac{1}{-1}y^{-1}&=e^x-2x+C_1\\ -y^{-1}&=e^x-2x+C_1\\ -\dfrac{1}{y}&=e^x-2x+C_1\\ \dfrac{1}{y}&=-e^x+2x-C_1 \end{align*}$$

　両辺の逆数をとって

$$\begin{align*} y=\dfrac{1}{-e^x+2x-C_1} \end{align*}$$

　$-C_1=C$ とおくと

$$\begin{align*} y=\dfrac{1}{-e^x+2x+C}　\cdots\small{（答）} \end{align*}$$

(case2)　$y=0$ のとき
　$y=0$ を問題の微分方程式

$$\begin{align*} \dfrac{dy}{dx}=(e^x-2)y^2 \end{align*}$$

に代入すると

$$\begin{align*} \dfrac{dy}{dx}=0 \end{align*}$$

となります。
　すると、$y=0$ を $x$ 軸方向に微分すると $\dfrac{dy}{dx}=0$ より、$y=0$ はこの微分方程式の解になりますが、(case1) で求めた
　$y=\dfrac{1}{-e^x+2x+C}$
に、$y=0$ は含まれません（$C$ がどのような実数であっても $y=0$ にならないため）。
　よって一般解は、(case1)、(case2) より、$C$ は任意の定数として

$$\begin{align*} y=\dfrac{1}{-e^x+2x+C}　または　y=0　\cdots\small{（答）} \end{align*}$$

$\blacksquare$

　$y=0$ が一般解に含まれないときは、上記のように別扱いにして解とします。

　では、検算してみましょう。
　「外の微分」$\times$「中の微分」
で微分します（中学でも分かる➈「合成関数」）。

$$\begin{align*} y&=\dfrac{1}{-e^x+2x+C}\\ &=(-e^x+2x+C)^{-1} \end{align*}$$

より

$$\begin{align*} y'&=\left((-e^x+2x+C)^{-1}\right)'\\ &=\underset{\scriptsize 外の微分}{-(-e^x+2x+C)^{-1-1}}\cdot\underset{\scriptsize 中の微分}{\left(-e^x+2x+C\right)'}\\ &=-(-e^x+2x+C)^{-2}\cdot(-e^x+2)\\ &=-(-e^x+2)\cdot\dfrac{1}{(-e^x+2x+C)^2}\\ &=(e^x-2)\underset{\scriptsize この部分が一般解  y}{\left(\dfrac{1}{-e^x+2x+C}\right)^2}\\ &=(e^x-2)y^2 \end{align*}$$

となり、問題の微分方程式と同じになります。途中で一般解そのものが現れることに注意してください。後ろのカッコの中身が (case1) で求めた一般解です。その部分を $y$ で置き換えることによって、問題の微分方程式が得られます。

(2)　$x=0,   y=1$ を代入して

$$\begin{align*} 1&=\dfrac{1}{-e^0+2\cdot0+C}\\[6pt] 1&=\dfrac{1}{-1+C}\\ \end{align*}$$

　両辺に $-1+C$ をかけて

$$\begin{align*} -1+C=1 \end{align*}$$

より

$$\begin{align*} C=1+1=2 \end{align*}$$

　これを一般解に代入して

$$\begin{align*} y=\dfrac{1}{-e^x+2x+2}　\cdots\small{（答）} \end{align*}$$

$\blacksquare$

（例題６）右辺が y のみ

　次の微分方程式

$$\begin{align*} \frac{dy}{dx}=y \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=0$ のとき $y=1$ を満たすときの特殊解を求めなさい。

指針
　右辺が $y$ の１変数のみですが、これも変数分離形の微分方程式です。

$$\begin{align*} \frac{dy}{dx}=1\times y \end{align*}$$

と分離できます。$1$ は $x$ の関数と考えます。どのような $x$ に対しても定数 $1$ をとる関数です。
　よって、両辺を $y$ で割って、$y$ を左辺にもっていきます。なお、両辺 $y$ で割る前に
(case1)　$y\ne0$ のとき
(case2)　$y=0$ のとき
で場合分けをするのは先ほどと同じです。

解答
(1)
(case1)　$y\ne0$ のとき
　両辺を $y  (\ne0)$ で割って

$$\begin{align*} \frac{1}{y}\frac{dy}{dx}=1 \end{align*}$$

　両辺を $x$ 軸方向に積分して

$$\begin{align*} \int\frac{1}{y}\frac{dy}{\cancel{dx}}  \cancel{dx}&=\int1  dx\\ \int\frac{1}{y}  dy&=\int1  dx \end{align*}$$

　左辺は $y$ 軸方向に、右辺は $x$ 軸方向に積分して

$$\begin{align*} \log |y|=x+C_1 \end{align*}$$

　左辺は積分公式

$$\begin{align*} \int \dfrac{1}{y}  dy=\log |y|+C \end{align*}$$

を用います。右辺は $1$ を $x$ 軸方向に積分し、積分定数は $C$ と１つにして右辺にまとめます。
　ここで、対数と指数の関係（中学でも分かる➄「対数関数」）

$$\begin{align*} \log_a R=r  \Longleftrightarrow R=a^r \end{align*}$$

より

$$\begin{align*} \log_e |y|=x+C_1  \Longleftrightarrow |y|=e^{x+C_1} \end{align*}$$

と、$|y|$ について求めることができ

$$\begin{align*} |y|=e^{x+C_1}=e^xe^{C_1}=e^{C_1}e^x \end{align*}$$

　絶対値をはずして

$$\begin{align*} y=\pm e^{C_1}e^x \end{align*}$$

　定数部分 $\pm e^{C_1}$ を $C$ で置き換えて

$$\begin{align*} y=Ce^x \end{align*}$$

(case2)　$y=0$ のとき
　$y=0$ を問題の微分方程式

$$\begin{align*} \dfrac{dy}{dx}=y \end{align*}$$

に代入すると

$$\begin{align*} \dfrac{dy}{dx}=0 \end{align*}$$

となります。
　すると、$y=0$ を $x$ 軸方向に微分すると $\dfrac{dy}{dx}=0$ より、$y=0$ はこの微分方程式の解になりますが、$y=0$ は (case1) で求めた
　$y=Ce^x$
について、$C=0$ とすれば
　$y=0\cdot e^x=0$
より得ることができます。つまり $y=0$ の場合は、$y=Ce^x$ に含まれます。
　よって一般解は、(case1)、(case2) より、$C$ は任意の定数として

$$\begin{align*} y=Ce^x　\small{（答）} \end{align*}$$

$\blacksquare$

　明かですが、検算してみましょう。

$$\begin{align*} \dfrac{dy}{dx}&=C(e^x)'\\ &=\underset{\tiny 一般解  y}{\underline{Ce^x}}\\ &=y \end{align*}$$

となり、問題の微分方程式と同じになります。
　$e^x$ は微分しても変化しないので、微分しても変わらないを意味する $\dfrac{dy}{dx}=y$ の解は、$y=Ce^x$ であることは予想がつくところです。

(2)　一般解に $x=0,  y=3$ を代入して

$$\begin{align*} &3= Ce^0\\ &3=C\cdot1\\ &C=3 \end{align*}$$

　これを一般解に代入して

$$\begin{align*} y=3e^x　\small{（答）} \end{align*}$$

$\blacksquare$

変数分離形の解法

　以上のように、変数分離形

$$\begin{align*} \frac{dy}{dx}=P(x)Q(y) \end{align*}$$

は、両辺を $Q(y)$ で割って

$$\begin{align*} \dfrac{1}{Q(y)}\dfrac{dy}{dx}=P(x) \end{align*}$$

と、$y$ の関数 $Q(y)$ を全部左辺に持っていってから、両辺を $x$ 軸方向に積分します。

$$\begin{align*} \int \dfrac{1}{Q(y)}\dfrac{dy}{\cancel{dx}}  \cancel{dx}&=\int P(x)dx\\[10pt] \int \dfrac{1}{Q(y)}  dy&=\int P(x)  dx \end{align*}$$

　すると、左辺は形式的に $dx$ で約分されて $y$ 軸方向の積分になり、右辺はそのまま $x$ 軸方向の積分を行います。

２階微分方程式

　次は２階微分の入った微分方程式をみてみましょう

（例題７）基本形

　次の微分方程式

$$\begin{align*} \frac{d^2y}{dx^2}=3x^2+2 \end{align*}$$

について
(1)　一般解を求めなさい。
(2)　$x=0$ のとき $y=1$、$x=2$ のとき $y=3$ を満たすときの特殊解を求めなさい。

指針
　$\dfrac{d^2y}{dx^2}$ は２階微分の意味です（中学で分かる①「微分法」）。つまり、この微分方程式は、
　「$y=f(x)$ を２回連続微分すると $3x^2+2$ になる」
という意味です。よって、 $y$ を求めるには $3x^2+2$ を２回連続積分します。

$$\begin{align*} &\hspace{8pt}\xrightarrow{  微分する}\hspace{24pt}\xrightarrow{  微分する}\\[-19pt] &y\hspace{48pt}\dfrac{dy}{dx}\hspace{48pt}\dfrac{d^2y}{dx^2}=3x^2+2\\[-15pt] &\hspace{8pt}\xleftarrow[  積分する]{}\hspace{24pt}\xleftarrow[  積分する]{} \end{align*}$$