【微分方程式】積分因子の意味と完全微分型（例題で学ぶ）

　積分因子とは、与えられた微分方程式にかけて完全微分型の微分方程式を作るための因子である。簡単に言えば、積分因子 $\lambda (x,y)$ を見つけることができれば微分方程式は完全微分型の微分方程式に帰着する。

　ここでは、どのような仕組みで積分因子を求めるか考えよう。例題を用意したので解いてみてほしい。以下の例題はすべて変数分離型でも解くことができる。

例題

$\begin{eqnarray*} &&(1)\quad y\,dx-x\,dy=0\\ &&(2)\quad y^2\,dx-(3x^2+xy)\,dy=0\\ &&(3)\quad (y^2-xy)dx+(x^2-2xy)dy=0 \end{eqnarray*}$

1. 積分因子の求め方と完全微分型の微分方程式
2. 例題の解答
3. まとめ

1. 積分因子の求め方と完全微分型の微分方程式

　完全微分型について復習し、積分因子の役割を学ぶ。

完全微分型であるための必要十分条件

$\begin{eqnarray*} P(x,y)\,dx + Q(x,y)\, dy=0\quad\cdots (*) \end{eqnarray*}$

の形の微分方程式が完全微分型であるための必要十分条件は

$\begin{eqnarray*} \frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}\quad\cdots(1) \end{eqnarray*}$

である。完全微分型の微分方程式であれば

$\begin{eqnarray*} \textcolor{red}{df(x,y)=0} \end{eqnarray*}$

の形に変形できる。この式は簡単に解ける。

$\begin{eqnarray*} f(x,y)=C \end{eqnarray*}$

が完全微分型の微分方程式の解になる。

【参考】例題でわかる：完全微分型の微分方程式（解法）
【参考】関数がf(x,y)の全微分であるための必要十分条件（証明）
【参考】ずるい完全微分型の解法（+例題15問）

積分因子の意味

　(*)が完全微分型でない場合は上の条件(1)は満たさない。このとき(*)の両辺にある関数 $\lambda(x,y)$ をかけて

$\begin{eqnarray*} \lambda(x,y) P(x,y) \, dx +\lambda(x,y) Q(x,y) \, dy=0\quad \cdots (*)' \end{eqnarray*}$

とする。(*)’が完全微分型の微分方程式となる場合の $\lambda$ を積分因子と呼ぶ。つまり

積分因子 $\lambda$ によって完全微分型でない式は完全微分型となる

積分因子の求め方：３パターン

　積分因子 $\lambda$ の求め方を説明する。まず(*)’が完全微分型であるための必要十分条件は

$\begin{eqnarray*} \frac{\partial (\lambda P)}{\partial y}=\frac{\partial (\lambda Q)}{\partial x} \end{eqnarray*}$

である。

したがって、

$\begin{eqnarray*} \frac{\partial \lambda}{\partial y}P-\frac{\partial \lambda}{\partial x}Q &=&\lambda(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})\\\\ &=& \lambda(Q_x -P_y)\quad \cdots(2) \end{eqnarray*}$

となる $\lambda$ を見つければ良い。よく使う $\lambda$ の形は３パターンある。

$\lambda(x)$ : $x$ のみの関数
$\lambda(y)$ : $y$ のみの関数
$\lambda(x,y)=x^m y^n$ : $x,y$ のべきの形

パターン1:

$\lambda(x)$ のとき、 $\lambda$ を $y$ で偏微分するとゼロ

$\begin{eqnarray*} \frac{\partial \lambda(x)}{\partial y}=0 \end{eqnarray*}$

である。そうすると式(2)は

$\begin{eqnarray*} &&\frac{\partial \lambda (x)}{\partial x}Q=\lambda(P_y -Q_x)\\\\ \Leftrightarrow \quad&& \frac{1}{\lambda}\frac{d\lambda (x)}{dx}=\frac{P_y-Q_x}{Q} \end{eqnarray*}$

となる。左辺は $x$ のみの関数。したがって、右辺が $y$ を含む関数だと矛盾する。この場合はパターン１の積分因子の形ではない。すなわち、 $\lambda(x,y)$ の形である。

　したがって、パターン１のように積分因数が $x$ のみで表される $\lambda(x)$ のは、 $(P_y-Q_x)/Q$ が $x$ のみ関数の場合のとき。つまり、 $(P_y-Q_x)/Q$ が $x$ の関数であるならば、 $lambda$ は $x$ のみの関数で、以下のように積分因数を求めることができる。

積分因数の求め方（パターン１）：

$\begin{eqnarray*} \frac{1}{\lambda}\frac{d\lambda (x)}{dx}=\frac{P_y-Q_x}{Q} \end{eqnarray*}$

の右辺は $x$ のみの関数である。したがって、この微分方程式は変数分離型である。

$\begin{eqnarray*} && \frac{d\lambda}{\lambda}=\frac{P_y-Q_x}{Q}\,dx\\\\ \Rightarrow\quad && \log|\lambda| = \int \frac{P_y-Q_x}{Q}\,dx+C\\\\ \Rightarrow\quad&& \lambda = Ce^{\int \frac{P_y-Q_x}{Q}\,dx} \end{eqnarray*}$

したがって、最も簡単な $C=1$ をとって

$\begin{eqnarray*} \textcolor{red}{\lambda=e^{\int \frac{P_y-Q_x}{Q}\,dx}} \end{eqnarray*}$

が求める積分因数である。

パターン2:

パターン１と同様に考えればよい。

$\begin{eqnarray*} \frac{\partial \lambda(y)}{\partial x}=0 \end{eqnarray*}$

である。したがって、 $(Q_x-P_y)/P$ が $y$ の関数であるならば、 $lambda$ は $x$ のみの関数で、変数分離型を解くことで積分因数を求めることができる。

パターン2の積分因数：

$\begin{eqnarray*} \textcolor{red}{\lambda=e^{\int \frac{Q_x-P_y}{P}\,dy}} \end{eqnarray*}$

パターン3:

　よくある積分因子の形として $\lambda=x^m y^n$ とおく形がある。この形を $x,y$ それぞれで偏微分すると

$\begin{eqnarray*} \frac{\partial \lambda}{\partial x}=mx^{m-1}y^{n}\\\\ \frac{\partial \lambda}{\partial y}=nx^m y^{n-1} \end{eqnarray*}$

これを (2) へ代入して

$\begin{eqnarray*} (nx^m y^{n-1})P-(mx^{m-1}y^{n})Q=x^m y^n (Q_x-P_y)\quad\cdots(3) \end{eqnarray*}$

を得る。

具体的な形を考えてみる。例題(2)について $P,Q$ は

$\begin{eqnarray*} \begin{cases} P=y^2\\ Q=-3x^2-xy \end{cases};\quad \begin{cases} P_y=2y\\ Q_x=-6x-y \end{cases} \end{eqnarray*}$

である。したがって、式(3)は

$\begin{eqnarray*} &&(nx^m y^{n-1})\cdot y^2-(mx^{m-1}y^{n}) (-3x^2-xy)=x^m y^n (-6x-3y)\\\\ \Leftrightarrow\quad&& 3m\textcolor{red}{x^{m+1}y^n} +(n+m)\textcolor{blue}{x^my^{n+1}} =-6\textcolor{red}{x^{m+1}y^{n}} -3\textcolor{blue}{x^m y^{n+1}} \end{eqnarray*}$

となる。係数を比較して $m=-2,n=-1$ を得る。したがって積分因子 $\lambda(x,y)=x^{-2}y^{-1}$ が求められる。

　同次型の微分方程式であれば、積分因子 $\lambda=x^my^n$ を用いることで完全微分型の微分方程式に帰着することができる。いろいろな同次型の問題に対してやってみてほしい。

2. 例題の解答

　以下の解答で $C$ などは定数を表す。解答は以下の流れである。大枠をつかんでほしい。

与えられた式を完全微分型にするために積分因子を求める
完全微分型の微分方程式を解く

例題(1)の解答

$\begin{eqnarray*} &&(1)\quad y\,dx-x\,dy=0\quad\cdots (*) \end{eqnarray*}$

　まず、与えられた式が完全微分型ではないことを調べよう。

$\begin{eqnarray*} \begin{cases} P=y\\ Q=-x \end{cases} \end{eqnarray*}$

とすると

$\begin{eqnarray*} \frac{\partial P}{\partial y}\neq \frac{\partial Q}{\partial x} \end{eqnarray*}$

であるため完全微分型ではない。

　完全微分型ではない(*)に対して、積分因子 $\lambda\equiv \lambda(x,y)$ をかけて

$\begin{eqnarray*} \lambda \,dx-\lambda x\,dy=0\quad\cdots (*)' \end{eqnarray*}$

このとき、

$\begin{eqnarray*} \begin{cases} P=\lambda y\\ Q=-\lambda x \end{cases} \end{eqnarray*}$

(*)’が完全微分型になるためには

$\begin{eqnarray*} &&\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}\\\\ \Leftrightarrow \quad&& \frac{\partial \lambda}{\partial y}\cdot y + \lambda = \frac{\partial \lambda}{\partial x}\cdot(-x)-\lambda\\\\ \Leftrightarrow \quad&& \frac{\partial \lambda}{\partial y}\cdot y + \frac{\partial \lambda}{\partial x}\cdot x=-2\lambda \end{eqnarray*}$

　例えば、 $\lambda$ が $x$ のみの関数であれば、

$\begin{eqnarray*} \frac{\partial \lambda}{\partial y}=0 \end{eqnarray*}$

より、上の式は

$\begin{eqnarray*} \frac{\partial \lambda}{\lambda}=-\frac{2dx}{x}\\\\ \Leftrightarrow \quad&& \log |\lambda| = -2\log |x| + C_1\\\\ \Leftrightarrow \quad&& \log |\lambda x^2| = C_1\\\\ \Leftrightarrow \quad&& \lambda x^2 = \pm e^{C_1}=C\\\\ \Leftrightarrow \quad&& \lambda = \frac{C}{x^2} \end{eqnarray*}$

したがって、(*)に積分因子 $\lambda=\frac{1}{x^2}$ をかけて

$\begin{eqnarray*} \frac{y}{x^2}\,dx - \frac{1}{x}\,dy=0 \end{eqnarray*}$

　これは完全微分型である（そうなるように $\lambda$ を決定した）。

　この完全微分型の微分方程式は

$\begin{eqnarray*} d\left(-\frac{y}{x}\right)=C \end{eqnarray*}$

と変形できる。よって

$\begin{eqnarray*} \frac{y}{x}=C\quad\blacksquare \end{eqnarray*}$

* ここでは $\lambda\equiv \lambda(x)$ と、 $x$ のみの関数で考えてきたが、 $y$ のみの関数でも同様に解ける。

** さらに、 $\lambda(x,y)=x^m y^n$ の形とおいて解くと、 $m+n=-2$ であれば積分因子は何でも良いことがわかる。例えば、 $\lambda =\frac{1}{xy}$ としても、(*)” は完全微分型になることが確認できるだろう。

例題(2)の解答

$\begin{eqnarray*} &&(2)\quad y^2\,dx-(3x^2+xy)\,dy=0\quad\cdots (*) \end{eqnarray*}$

　この微分方程式は

$\begin{eqnarray*} \begin{cases} P=y^2\\ Q=-3x^2-xy \end{cases} \end{eqnarray*}$

に対して

$\begin{eqnarray*} \frac{\partial P}{\partial y}=y\neq -6x-y=\frac{\partial Q}{\partial x} \end{eqnarray*}$

である。したがって、(*)は完全微分型ではない。

(*)の両辺に積分因子 $\lambda\equiv\lambda(x,y)$ をかけて

$\begin{eqnarray*} \lambda y^2\,dx-\lambda (3x^2+xy)\,dy=0\quad\cdots (*)' \end{eqnarray*}$

が完全微分型になるように $\lambda$ を決定する。 (*)’が完全微分型になるための条件は

$\begin{eqnarray*} \begin{cases} P=\lambda y^2\\ Q=-\lambda(3x^2+xy) \end{cases} \end{eqnarray*}$

に対して

$\begin{eqnarray*} \frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x} \end{eqnarray*}$

が成り立つことである。

したがって、

$\begin{eqnarray*} && \frac{\partial \lambda}{\partial y}\cdot y^2 + 2\lambda y =-\frac{\partial \lambda }{\partial x}(3x^2+xy)-\lambda(6x+y)\\\\ \Leftrightarrow \quad && y^2 \frac{\partial \lambda}{\partial y}+(3x^2+xy)\frac{\partial \lambda}{\partial x}=-\lambda(6x+3y) \end{eqnarray*}$

積分因子の形を $\lambda=x^m y^n$ とおく：

$\begin{eqnarray*} &&\frac{\partial \lambda}{\partial y}=nx^m y^{n-1}\\\\ &&\frac{\partial \lambda}{\partial x}=mx^{m-1} y^n \end{eqnarray*}$

よって

$\begin{eqnarray*} &&y^2(nx^m uy^{n-1})+(3x^2+xy)mx^{m-1}y^n =-x^my^n (6x+3y)\\\\ \Leftrightarrow \quad&& 3m\textcolor{red}{x^{m+1}y^n} +(n+m)\textcolor{blue}{x^my^{n+1}} =-6\textcolor{red}{x^{m+1}y^{n}} -3\textcolor{blue}{x^m y^{n+1}} \end{eqnarray*}$

したがって、

$\begin{eqnarray*} \begin{cases} 3m=-6\\ n+m=-3 \end{cases}\\\\ \Leftrightarrow \quad&& \begin{cases} m=-2\\ n=-1 \end{cases} \end{eqnarray*}$

したがって、積分因子は $\lambda=x^{-2}y^{-1}=\frac{1}{x^2y}$ である。これを(*)にかけて、

$\begin{eqnarray*} &&\frac{y}{x^2}\, dx+\left(-\frac{3}{y}-\frac{1}{x}\right) \, dy = 0\\\\ \Leftrightarrow \quad&& d\left(-\frac{y}{x}-3\log |x| \right)=0\\\\ \Leftrightarrow \quad&& \frac{y}{x}+3\log|y| = C_1\\\\ \Leftrightarrow \quad&& \log|y^3| = C_1-\frac{y}{x}\\\\ \Leftrightarrow \quad&& y^3 = \pm e^{C_1-\frac{y}{x}}=Ce^{-\frac{y}{x}} \end{eqnarray*}$

したがって、

$\begin{eqnarray*} y^3 = Ce^{-\frac{y}{x}}\quad\blacksquare \end{eqnarray*}$

例題(3)の解答

$\begin{eqnarray*} (3)\quad (y^2-xy)dx+(x^2-2xy)dy=0 \end{eqnarray*}$

これも完全微分型ではない。両辺に $\lambda$ をかけて

$\begin{eqnarray*} \lambda (y^2 - xy)\, dx + \lambda(x^2 - 2xy)\,dy=0 \end{eqnarray*}$

これが完全微分型の微分方程式になるためには

$\begin{eqnarray*} \begin{cases} P=\lambda(y^2-xy)\\ Q=\lambda(x^2 -2xy) \end{cases} \end{eqnarray*}$

に対して

$\begin{eqnarray*} &&\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}\\\\ \Leftrightarrow \quad&& \frac{\partial \lambda }{\partial y }(y^2 -xy)+ \lambda(2y-x)= \frac{\partial \lambda }{\partial x}(x^2-2xy)+\lambda(2x-2y)\\\\ \Leftrightarrow \quad&& \frac{\partial \lambda}{\partial y}(y^2 -xy)- \frac{\partial \lambda}{\partial x}(x^2-2xy) =\lambda(3x-4y) \end{eqnarray*}$

である。

積分因子の形を $\lambda=x^m y^n$ とおく：

$\begin{eqnarray*} \frac{\partial \lambda}{\partial x}=m x^{m-1}y^n\\ \frac{\partial \lambda}{\partial y}=n x^{m}y^{n-1} \end{eqnarray*}$

より、

$\begin{eqnarray*} &&nx^m y^{n-1}(y^2-xy) =-mx^{m-1}y^n (x^2 -2xy)=x^m y^n (3x-4y)\\\\ \Leftrightarrow \quad&& -(n+m)\textcolor{red}{x^{m+1}y^n} +(n+2m)\textcolor{blue}{x^m y^{n+1}} = 3\textcolor{red}{x^{m+1}y^n} -4\textcolor{blue}{x^m y^{n+1}} \end{eqnarray*}$

である。したがって、

$\begin{eqnarray*} \begin{cases} n+m=-3\\ n+2m=-4 \end{cases}\quad\Leftrightarrow \quad \begin{cases} n=-2\\ m=-1 \end{cases} \end{eqnarray*}$

よって、積分因子は $\lambda(x,y)=x^{-1}y^{-2}=\frac{1}{xy^2}$ である。これより、もとの微分方程式 (*) は

$\begin{eqnarray*} \left(\frac{1}{x}-\frac{1}{y}\right)\,dx +\left(\frac{x}{y^2}-\frac{2}{y}\right)\, dy=0 \end{eqnarray*}$

となる。これは完全微分型の微分方程式であり、

$\begin{eqnarray*} &&d\left(\log|x| -\frac{x}{y}-2\log|y|\right)=0\\\\ \Leftrightarrow \quad&& \log\left|\frac{x}{y^2}\right|-\frac{x}{y}=C_1\\\\ \Leftrightarrow \quad&& \frac{x}{y^2}=\pm e^{C_1+\frac{x}{y}}\\\\ \Leftrightarrow \quad&& \frac{x}{y^2}=Ce^{\frac{x}{y}}\quad\blacksquare \end{eqnarray*}$

3. まとめ

　ここで扱った例題についてはすべて同次型の微分方程式である。したがって同次型の解法によって解くこともできる。同次型の微分方程式については、 $\lambda=x^m y^n$ の積分因子を導入することで完全微分型の微分方程式に変形することができる。

1. 積分因子の求め方と完全微分型の微分方程式

完全微分型であるための必要十分条件

積分因子の意味

積分因子の求め方：３パターン

2. 例題の解答

例題(1)の解答

例題(2)の解答

例題(3)の解答

3. まとめ

コメントを残す コメントをキャンセル

コメントを残すコメントをキャンセル