Web Analytics Made Easy - StatCounter

工業大学生ももやまのうさぎ塾

うさぎでもわかるをモットーに大学レベルの数学・情報科目をわかりやすく解説! 数式が読み込まれない場合は1回再読み込みしてみてください。

うさぎでもわかる微分方程式 Part04 完全微分方程式と積分因子

こんにちは、ももやまです。

今までは、

のような変形をすることで解くタイプの微分方程式について説明していきました。

今回は、今までとはちょっと変わった微分方程式の解き方をする完全微分方程式について説明していきましょう。

 

 

前回の記事はこちら!↓↓

www.momoyama-usagi.com

 

1.完全微分方程式

(1) 全微分とは(復習)

2変数関数  z = f(x,y) x y をそれぞれ微小な量  dx,  dy 増やしたときに  z がどれだけ変化するのかを表した式\[
dz = \frac{\partial f}{\partial x} dx +  \frac{\partial f}{\partial y} (x,y) dy 
\]のことを全微分と呼びます。

 

全微分についてあまりよくわかっていない人は、こちらの記事で復習しましょう↓

www.momoyama-usagi.com

(2) 完全微分方程式とは

1階微分方程式の中で、\[
P(x,y) + Q(x,y) \frac{dy}{dx} = 0 \\
\frac{dy}{dx} = - \frac{P(x,y)}{Q(x,y)}
\]となるものには様々なものがあります。

この式の両辺に  dx を掛けてみましょう。すると、\[
P(x,y) \ dx + Q(x,y) \ dy = 0 \tag{1}
\]となり、全微分の公式\[
\frac{\partial f}{\partial x} dx +  \frac{\partial f}{\partial y} (x,y) dy  = dz \tag{2}
\]にそっくりな形になりますね。

 

もし、(1)の式の  P(x,y),  Q(x,y) が\[
P(x,y) = \frac{\partial f}{\partial x} , \ \ \  Q(x,y) = \frac{\partial f}{\partial y}
\]となれば、(2)に代入して\[
dz = P(x,y) \ dx + Q(x,y) \ dy = 0 
\]となりますね。

さらに\[
dz = df(x,y) = 0
\]が成立するので、両辺を積分することで微分方程式の解を積分定数  C を用いて\[
f(x,y) = C
\]と求めることができちゃうのです*1

 

このように、全微分の公式を用いて解くことができる微分方程式のことを完全微分方程式、もしくは完全形の微分方程式と呼びます。 

(3) 完全微分方程式の例

完全微分方程式の仕組みを理解するために、具体的に1つ完全微分方程式の例を1つ作って確認してみましょう。

2変数関数\[
f(x,y) = 2x^2 + 2xy + 3y^2
\]があるとします。すると、偏導関数は\[
\frac{\partial f}{\partial x} = 4x + 2y \\
\frac{\partial f}{\partial y} = 2x + 6y
\]となりますね。\[
P(x,y) \ dx + Q(x,y) \ dy = 0 \]の  P(x,y),  Q(x,y) が\[
P(x,y) = \frac{\partial f}{\partial x} \ \ \  Q(x,y) = \frac{\partial f}{\partial y}
\]となれば完全微分方程式となるので、\[
(4x + 2y) \ dx + (2x+6y) \ dy = 0
\]は完全微分方程式となります。

完全微分方程式の一般解は、任意定数  C を用いて\[
f(x,y) = C
\]と求められるので、一般解は\[
2x^2 + 2xy + 3y^2 = C
\]と求められます。

(4) 完全微分方程式の解き方

(3)の例では、 f(x,y) から完全微分方程式を作り、一般解を求めました。

しかし、実際には  f(x,y) は与えられず、与えられた微分方程式\[
P(x,y) \ dx + Q(x,y) \ dy = 0
\]が完全微分方程式なのかどうかもわからないので、

  1. 完全微分方程式かどうかを判定
  2. 完全微分方程式であれば、 P(x,y),  Q(x,y) から  f(x,y) を求める

ことで一般解を求めることができます。

(i) 完全微分方程式かどうかの判定

(ここから先、 P(x,y),  Q(x,y) のことを  P,  Q と略して書くことがあるので注意してください。)

まず、微分方程式\[
P \ dx + Q \ dy = 0
\]なのかを判定する必要があります。

 

とはいっても、そんなに判定するのは難しくありません。\[
\frac{ \partial P}{\partial y} = \frac{ \partial Q}{\partial x}
\]が一致するどうかを確認すればOKです。(一致すれば完全微分方程式)

 

本当にこの公式が成り立つかを先ほどの微分方程式\[
(4x + 2y) \ dx + (2x+6y) \ dy = 0
\]で試してみましょう。この場合、\[
P(x,y) = 4x + 2y , \ \ \ Q(x,y) = 2x + 6y
\]となるので、\[
\frac{ \partial P}{\partial y} = \frac{ \partial Q}{\partial x} = 2
\]を満たし、確かに完全微分方程式となることがわかりますね。

 

※ なぜこの公式で判定できるかの証明は今回は省略させてください、すいません…。
(余裕があったら追記したいと思います)

(ii) 一般解の大雑把な求め方

完全微分方程式かどうか判定できたら、あとは実際に  P,  Q から  f(x,y) を求めることで一般解を出すことができます。

今回は大雑把な求め方と厳密な求め方の2つを紹介しましょう。

 

まずは、大雑把に求める方法について説明します。

 

ここで、 P(x,y) f(x,y) x で偏微分したもの、 Q(x,y) f(x,y) y で偏微分したものでしたね。つまり、\[
P = \frac{\partial f}{\partial x} , \ \ \ Q = \frac{\partial f}{\partial y} 
\]ですね。

 

つまり、 f(x,y) を求めるのであれば、

  •  P(x,y) x で積分
  •  Q(x,y) y で積分

すればいいですね。

しかし、 P(x,y) x で積分(もしくは  Q(x,y) y で積分)しても完璧な  f(x,y) には戻りません

 f(x,y) x で偏微分すると  y の項が消えてしまいますね。そのため、 x で偏微分したものを戻すために  x で積分しても、消えた  y の項は戻ってきません

同様に  Q(x,y) y で積分しても、消えた  x の項は戻ってきません

 

そこで、\[
f(x,y) = \int P(x,y) \ dx + g(y) \\
f(x,y) = \int Q(x,y) \ dy + h(x)
\]と2つとも計算し、2つの計算結果からそれぞれの足りない項を補うことで  f(x,y) 、一般解を求めます。

(ただし、 g(y) y だけの関数、 h(x) x だけの関数を表します。

 

実際に先ほど出した微分方程式\[
(4x + 2y) \ dx + (2x+6y) \ dy = 0
\]の一般解を求めてみましょう。この微分方程式の場合、\[
P(x,y) = 4x + 2y, \ \ \ Q(x,y) = 2x + 6y
\]ですね。

 

 

つぎに、 f(x,y) を求めるために  P(x,y) x で積分し、 Q(x,y) y で積分します。すると、\[
f(x,y) = \int 4x + 2y \ dx + g(y) = \color{red}{2x^2} + \color{green}{2xy} + \color{blue}{g(y)} \\
f(x,y) = \int 2x + 6y \ dy + h(x) = \color{green}{2xy} + \color{blue}{3y^2} + \color{red}{h(x)}
\]と2つとも計算し、それぞれの足りない項を補うと、\[
f(x,y) = 2x^2 + 2xy + 3y^2
\]となるので、一般解は任意定数*2  C を用いて\[
2x^2 + 2xy + 3y^2 = C
\]と表すことができます。

 

 

微分方程式\[
P(x,y) + Q(x,y) \frac{dy}{dx} = 0
\]つまり、\[
P(x,y) \ dx + Q(x,y) \ dy = 0
\]の微分方程式を解く。

 

Step1:完全微分方程式かどうかを判別するため、\[
\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}
\]が一致するか確認。(一致しなかったらこの方法では解けない)

 

Step2: P(x,y) f(x,y) x で偏微分したもの、 Q(x,y) f(x,y) y で偏微分したものなので、\[
f(x,y) = \int P(x,y) \ dx + g(y) \\
f(x,y) = \int Q(x,y) \ dx + h(x)
\]と2つとも計算し、2つの計算結果からそれぞれの足りない項を補い、一般解を\[
f(x,y) = C
\]として求めることができる。

完全微分方程式の大雑把な解き方

もう少し厳密に f(x,y) を求める

先ほど  f(x,y) は、

  •  P(x,y) x で積分した式
  •  Q(x,y) y で積分した式

の2つから足りないものを補って求めると説明しましたが、「足りないものを補う」という説明はちょっと直感っぽさが残るので、もう少し厳密に求めてみましょう。

 

まず、 P(x,y) x で積分します。つまり、\[\begin{align*}
f(x,y) & = \int P(x,y) \ dx + g(y)
\\ & = a(x,y) + g(y)
\end{align*} \]となります。

ただし、 a(x,y) P(x,y) を積分したときに出てくる項を集めた関数、 g(y) y だけの関数です。

 

ここで、 Q(x,y) f(x,y)(つまり  a(x,y) + g(y))を  y で偏微分したものでしたね。なので、\[\begin{align*}
Q(x,y) & = \frac{\partial f}{\partial y}
\\ & = \frac{\partial}{\partial y} \left( a(x,y) + g(y) \right)
\\ & = \frac{\partial}{\partial y} a(x,y) + \frac{\partial}{\partial y} g(y)
\end{align*}\]ですね。

ここで、\[
 \frac{\partial}{\partial y} g(y) = Q(x,y) -  \frac{\partial}{\partial y} a(x,y)
\]なので、 y で積分し、\[
g(y) = \int Q(x,y) -  \frac{\partial}{\partial y} a(x,y) \ dy
\]を計算することで一般解を\[
a(x,y) + g(y) = C
\]と求めることができます。 P(x,y) Q(x,y) を使ってまとめて書くと一般解は、\[
\int P(x,y) \ dx + \left( \int Q(x,y) -  \frac{\partial}{\partial y} \int P(x,y) \ dx \right) \ dy
\]と書くことができます。

 

先ほどと同じ微分方程式\[
(4x + 2y) \ dx + (2x+6y) \ dy = 0
\]で具体例に試してみましょう。

まず、\[
P(x,y) = 4x + 2y \ \ \ Q(x,y) = 2x + 6y
\]となりますね。

 

 P(x,y) x で積分すると、\[\begin{align*}
f(x,y) & = \int 4x + 2y \ dx + g(y)
\\ & = 2x^2 + 2xy + g(y)
\end{align*}\]となります。

 g(y) y だけの関数)

 

ここで、 Q(x,y) f(x,y)(つまり  a(x,y) + g(y))を  y で偏微分したものなので、\[\begin{align*}
Q(x,y) & = \frac{\partial f}{\partial y}
\\ & = \frac{\partial}{\partial y} \left( 2x^2 + 2xy + g(y) \right)
\\ & = \frac{\partial}{\partial y} 2x^2 + 2xy + \frac{\partial}{\partial y} g(y)
\\ & = 2x + \frac{\partial}{\partial y} g(y)
\end{align*}\]ですね。

ここで、\[\begin{align*}
 \frac{\partial}{\partial y} g(y) & = Q(x,y) - 2x
\\ & = 6y
\end{align*}\]なので、 y で積分し、\[
g(y) = \int 6y \ dy = 3y^2
\]を計算*3することで一般解を\[\begin{align*}
f(x,y) & = 2x^2 + 2xy + g(y)
\\ & = 2x^2 + 2xy + 3y^2 = C
\end{align*}\]と求めることができます。

 

微分方程式\[
P(x,y) + Q(x,y) \frac{dy}{dx} = 0
\]つまり、\[
P(x,y) \ dx + Q(x,y) \ dy = 0
\]の微分方程式を厳密に解く

 

Step1:判別式\[
\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}
\]が一致するか確認。(一致しなかったらこの方法では解けない)

 

Step2: P(x,y) x を偏微分したものなので、\[\begin{align*}
f(x,y) & = \int P(x,y) \ dx + g(y)
\\ & = a(x,y) + g(y)
\end{align*} \]を計算することで  f(x,y) を求める。

(ただし、 a(x,y) P を積分して得られる  x が入った項、 g(y) は積分で得られない  y だけの項を表す)

 

Step3: g(y) を求めるために  f(x,y)、つまり a(x,y) + g(y) y で微分する。すると、\[
Q(x,y) = \frac{\partial}{\partial y} a(x,y) + \frac{\partial}{\partial y} g(y)
\]が成立し、変形し、\[
 \frac{\partial}{\partial y} g(y) = Q(x,y) -  \frac{\partial}{\partial y} a(x,y)
\]とする。

 Q(x,y) f(x,y) y で微分したものに等しいので)

 

Step4: g(y)を積分(任意定数は考えなくてOK)することで、一般解を任意定数  C を用いて\[
f(x,y) = a(x,y) + g(x,y) = C
\]と求めることができる。

※ Step2以降では、 P(x,y) の代わりに  Q(x,y) を積分して  h(x) を求める方法でも  f(x,y) や一般解を求めることができます。

なお、下に乗せた例題では  Q(x,y) h(x) から  f(x,y) や一般解を求めています。

少し厳密な完全微分方程式の解き方

 

2.積分因子

(1) 積分因子とは

先ほど、完全微分方程式\[
P(x,y) \ dx + Q(x,y) \ dy = 0
\]の解き方を説明しました。

しかし、完全微分方程式の解き方が使える微分方程式、つまり\[
\frac{ \partial P}{\partial y} = \frac{ \partial Q}{\partial x}
\]が成立する微分方程式はそう多くはありません。

 

そこで、完全微分方程式ではない微分方程式の両辺に  \mu (x,y) を掛け、\[
\mu (x,y) P(x,y) \ dx +\mu (x,y) Q(x,y) \ dy = 0
\]の形にします。

 \mu (x,y) を掛けた微分方程式が完全微分方程式となるときの  \mu(x,y)積分因子と呼びます。

 

積分因子

完全微分方程式ではない微分方程式\[
P(x,y) dx + Q(x,y) dy = 0
\]の両辺に  \mu (x,y) を掛けることで完全微分方程式になるとき、 \mu (x,y) を積分因子と呼ぶ。

(2) 積分因子を探すのは大変

 \mu (x,y)(以下  \mu)を掛けた微分方程式が完全微分方程式となる条件は、\[
\left( \mu P \right)_y = \left( \mu Q \right)_x
\]なので積の微分公式を使って分配すると、\[
\mu_y P + \mu P_y = \mu_x Q + \mu Q_x
\]ですね*4

しかし、上の式が成り立つような  \mu を見つけるのはかなり難しいです。

(3) 積分因子の条件を制限すると…

そこで、 \mu を少し制限して、 x だけの関数  \mu (x) y だけの関数  \mu (y) だとどう求めることができるのかを計算しましょう。

(i) 積分因子が x だけの関数のとき

積分因子を  x だけの関数、つまり  \mu (x) とします。

すると、 \mu (x) y で微分したもの  \mu_y は0になりますよね。つまり、\[
\mu_y P + \mu P_y = \mu_x Q + \mu Q_x
\]の  \mu_y P の項が消え、\[
\mu P_y = \mu_x Q + \mu Q_x
\]となります。両辺を  Q で割り、さらに変形すると、\[
\frac{d \mu}{dx} = \mu \frac{P_y - Q_x}{Q}
\]となります。

 

もし、\[
\frac{P_y - Q_x}{Q} = g(x)
\]が  x だけの関数( g(x) とする)であれば*5、変数分離系\[
\int \frac{1}{\mu} \ d \mu = \int g(x) \ dx
\]となるので、両辺を  x で積分し、\[
\log | \mu | = \int g(x) \ dx
\]となるので、積分因子を\[
\mu = e^{\int g(x) \ dx}
\]と導くことができます。

(積分因子は、もとの微分方程式の両辺に掛けるものなので、任意定数  C を付ける必要はありません。)

(ii) 積分因子が y だけの関数のとき

積分因子を  y だけの関数、つまり  \mu (y) とします。

すると、 \mu (y) x で微分したもの  \mu_x は0になりますよね。つまり、\[
\mu_y P + \mu P_y = \mu_x Q + \mu Q_x
\]の  \mu_x Q の項が消え、\[
\mu_y P + \mu P_y = \mu Q_x
\]となります。両辺を  P で割り、さらに変形すると、\[
\frac{d \mu}{dx} = \mu \frac{Q_x - P_y}{P}
\]となります。

 

もし、\[
\frac{Q_x - P_y}{P} = h(y)
\]が  y だけの関数( h(y) とする)であれば*6、変数分離系\[
\int \frac{1}{\mu} \ d \mu = \int h(y) \ dy
\]となるので、両辺を  y で積分し、\[
\log | \mu | = \int h(y) \ dy
\]となるので、積分因子を\[
\mu = e^{\int h(y) \ dy}
\]と導くことができます。

(積分因子は、もとの微分方程式の両辺に掛けるものなので、任意定数  C を付ける必要はありません。)

 

(1) もし  x だけの関数  g(x) を用いて\[
\frac{P_y - Q_x}{Q} = g(x)
\]が成立するとき、積分因子は  x だけの関数で表せ、その積分因子  \mu(x) は\[
\mu(x) = e^{\int g(x) \ dx}
\]と計算できる。

 

(2) もし  y だけの関数  h(y) を用いて\[
\frac{Q_x - P_y}{P} = h(y)
\]が成立するとき、積分因子は  y だけの関数で表せ、その積分因子  \mu(y) は\[
\mu(y) = e^{\int h(y) \ dy}
\]と計算できる。

(※ 積分因子に任意定数  C は不要)

積分因子がx (もしくはy) だけの関数のときの求め方

 

(4) 例題を解いてみよう

では、実際に積分因子を用いて完全微分方程式にしてから解くタイプの問題の例題を解いてみましょう。

例題1

微分方程式\[
(y + xy) \ dx + x \ dy = 0
\]について (1), (2) の問いに答えなさい。

(1) この微分方程式は完全形ではない。完全形にするために必要な積分因子を答えなさい。
(2) (1)で答えた用いた積分因子を用いて、微分方程式の一般解を求めなさい。

解説1

(1)

\[
P(x,y) = y + xy, \ \ \ Q(x,y) = x
\]とする(以下  P,  Q と書くことがある)。ここで、\[
\frac{dP}{dy} = 1 + x, \ \ \ \frac{dQ}{dx} = 1
\]なので確かに完全形ではない。

 

ここで、積分因子を  \mu (x,y)(以下  \mu とする)とすると、\[
\mu(x,y) (y + xy) \ dx + \mu(x,y) x \ dy = 0
\]となるので完全形となる条件は、\[
\left( \mu P \right)_y = \left( \mu Q \right)_x
\]つまり、\[
\mu_y P + \mu P_y = \mu_x Q + \mu Q_x
\]を満たすことである。

 

ここで、積分因子が  x, もしくは  y だけの関数で表せないか考える

 

積分因子が  x だけの関数  \mu (x) で表せると仮定すると、 \mu_y = 0 となるので、\[
\mu P_y = \mu_x Q + \mu Q_x
\]の関係式が成り立つ。両辺を  \mu Q で割り、さらに変形すると、\[
\frac{1}{\mu} \frac{d \mu}{dx} = \frac{P_y - Q_x}{Q} = g(x) 
\]となる。ここで、\[
\frac{P_y - Q_x}{Q} = \frac{1+x - 1}{x} = 1 = g(x)
\]となるので、積分因子  \mu(x,y) x だけの関数  \mu (x) となる。

つまり\[
\int \frac{1}{\mu} \ d \mu = \int 1 \ dx
\]となるので、\[
\log | \mu | = x \\
\mu = e^x
\]となるので積分因子  \mu (x) e^x となる。

 

[積分因子特定のコツ]

積分因子を  x だけの関数、 y だけの関数どっちに仮定すればいいか迷いますよね。

慣れないうちは、2つの判定式\[
\frac{P_y - Q_x}{Q} = g(x) , \ \ \ \frac{1 - (1+x)}{y + xy} = h(y)
\]の両方を確認しましょう。確認すると、\[
\frac{1 + x - 1}{x} = 1 = g(x) \\ \frac{1 - (1+x)}{y + xy} \not = h(y)
\]となるので、 x だけと仮定したらうまくいくことがわかりますね。

 

また、 x,  y どっちかを考えるコツとして、分母側(つまり  P,  Q の値)を見る方法があります。

 P のほうが単純であれば  y だけの関数に、 Q のほうが単純であれば  x だけの関数と仮定するとうまくいくことが多いです。両方とも単純じゃなさそうなら地道に両方計算しましょう。

(分母が単純な関数であればあるほど  x だけの関数、 y だけの関数にしやすいですよね。今回の場合、 P = y + xy に比べると、 Q = x のほうが単純なので、判定式の分母が  Q となる  x だけの関数と仮定すると… うまくいくのです!)

 

(2)

両辺に積分因子  e^x を掛けると、微分方程式は\[
e^x (y + xy) \ dx + x e^x \ dy = 0
\]となる。

ここで、改めて\[
P(x,y) = e^x ( y + xy ), \ \ \ Q(x,y) = x e^x
\]とすると、\[
\frac{dP}{dy} = \frac{dQ}{dx} = e^x (1+x)
\]となり、完全形(完全微分方程式)となっている。

 

微分方程式の一般解を任意定数  C を用いて\[
f(x,y) = C
\]とすると、 f(x,y) は、 Q(x,y) y で積分したものになるので、 x だけの関数  h(x) を用いて\[\begin{align*}
f(x,y) & = x e^x \ dy + h(x)
\\ & = yx e^x  + h(x)
\end{align*} \]と表せる。

(もちろん  P(x,y) x で積分したものなので、\[\begin{align*}
f(x,y) & = (y + xy) e^x  \ dx + g(y)
\\ & = (y + xy) e^x - y e^x + g(y)
\\ & = xy e^x + g(y)
\end{align*} \]とし、 g(y) を求める方法で求めることができます。

 e^x ( y + xy ) x で積分するよりも  x e^x y で積分するほうが難易度が低めなので、今回は  x e^x y で積分するパターンで解いています。)

 

ここで、 h(x) を求めるために  f(x,y)、つまり  yx e^x + h(x) x で偏微分する。

 P(x,y) は、 f(x,y) x で偏微分したものなので、\[\begin{align*}
P(x,y) & = \frac{\partial f}{\partial x}
\\ & = \frac{\partial}{\partial x} \left( yx e^x + h(x) \right)
\\ & = \frac{\partial}{\partial x} yx e^x + \frac{\partial}{\partial x} h(x)
\\ & = y e^x + yx e^x + \frac{\partial}{\partial x} h(x)
\\ & = e^x (y + xy) + \frac{\partial}{\partial x} h(x)
\end{align*}\]ですね。

 

ここで、\[\begin{align*}
 \frac{\partial}{\partial x} h(x) & = P(x,y) - e^x (y + xy)
\\ & = 0
\end{align*}\]なので、 x で積分し、\[
h(x) = 0
\]を計算することで一般解を\[\begin{align*}
f(x,y) & = yx e^x + h(x)
\\ & = yx e^x = C
\end{align*}\]と求めることができます。

(任意定数は  f(x,y) でつけるので、 h(x) の積分では省略しています。)

 

[2パターン積分し、足りないものを補うパターン]

 f(x,y) を求めるために  P(x,y) x で積分し、 Q(x,y) y で積分すると、\[
f(x,y) = \int (y + xy) e^x \ dx + g(y) = \color{green}{xy e^x} + g(y) \\
f(x,y) = x e^x \ dy + h(x) = \color{green}{xy e^x} + h(x)
\]と2つとも計算し、それぞれの足りない項(今回はありませんが)を補うと、\[
f(x,y) = xy e^x
\]となるので、一般解は任意定数  C を用いて\[
xy e^x = C
\]と表すことができます。

 

3.練習問題

では、完全微分方程式や積分因子に関する問題について、3問ほど練習してみましょう。

練習1

微分方程式\[
3x^2 + 4xy + 4y^2 +( 2x^2 + 8xy + 9y^2) \frac{dy}{dx} = 0
\]の一般解を求めなさい。

練習2

微分方程式\[
y \ dx + x ( \log x + y ) \ dy = 0
\]について、(1), (2)の問いに答えなさい。ただし、 x \gt 0 である。

(1) この微分方程式は完全微分形ではない。積分因子を  x だけの関数と仮定し、完全微分形にするための積分因子を求めなさい。
(2) (1)で求めた積分因子を用いて、微分方程式を解きなさい。

練習3

微分方程式\[
(y^2 - x^2) \frac{dy}{dx} + 2xy = 0
\]の一般解を求めなさい。

 

4.練習問題の答え

解答1

両辺に  dx を掛けると、\[
(3x^2 + 4xy + 4y^2) \ dx + ( 2x^2 + 8xy + 9y^2) \ dy = 0
\]となる。

まずは、完全微分方程式かを調べるために\[
P(x,y) = 3x^2 + 4xy + 4y^2 , \ \ \ Q(x,y) = 2x^2 + 8xy + 9y^2
\]とし、\[
\frac{dP}{dy} = \frac{dQ}{dx}
\]になるかどうかを調べる。\[
\frac{dP}{dy} = \frac{dQ}{dx} = 4x + 8y
\]となるので、与えられた微分方程式は完全微分方程式であることがわかる。

 

[大雑把に解く]

ここで、 f(x,y) を求めるために  P(x,y) x で積分し、 Q(x,y) y で積分すると、\[\begin{align*}
f(x,y) & = \int 3x^2 + 4xy + 4y^2 \ dx + g(y)
\\ & = \color{red}{x^3} + \color{green}{2x^2 y + 4xy^2} + \color{blue}{g(y)}
\end{align*} \]
\[ \begin{align*} f(x,y) & = \int 2x^2 + 8xy + 9y^2 \ dy + h(x)
\\ & = \color{green}{2x^2 y + 4xy^2} + \color{blue}{3y^3} + \color{red}{h(x)}
\end{align*} \]と2つとも計算し、それぞれの足りない項(今回はありませんが)を補うと、\[
f(x,y) = x^3 + 2x^2 y + 4xy^2 + 3y^3
\]となるので、一般解は任意定数  C を用いて\[
x^3 + 2x^2 y + 4xy^2 + 3y^3 = C
\]と表すことができます。

 

[厳密に解く]

 P(x,y) x で積分すると、\[\begin{align*}
f(x,y) & = \int 3x^2 + 4xy + 4y^2 \ dx + g(y)
\\ & = x^3 + 2x^2 y + 4xy^2 + g(y)
\end{align*}\]となる。

 g(y) y だけの関数、積分定数は省略)

 

ここで、 Q(x,y) f(x,y)(つまり  a(x,y) + g(y))を  y で偏微分したものなので、\[\begin{align*}
Q(x,y) & = \frac{\partial f}{\partial y}
\\ & = \frac{\partial}{\partial y} \left( x^3 + 2x^2 y + 4xy^2 + g(y) \right)
\\ & = \frac{\partial}{\partial y} ( x^3 + 2x^2 y + 4xy^2 ) + \frac{\partial}{\partial y} g(y)
\\ & = 2x^2 + 8xy + \frac{\partial}{\partial y} g(y)
\end{align*}\]が成立する。

 

さらに、\[\begin{align*}
 \frac{\partial}{\partial y} g(y) & = Q(x,y) - 2x^2 + 8xy
\\ & = 9 y^2
\end{align*}\]なので、 y で積分し、\[
g(y) = \int 9 y^2 \ dy = 3y^3
\]を得ることができる。

(任意定数は  f(x,y) でつけるので、ここでは不要)

 

よって一般解は任意定数  C を用いて\[\begin{align*}
f(x,y) & = x^3 + 2x^2 y + 4xy^2 + g(y)
\\ & = x^3 + 2x^2 y + 4xy^2 + 3y^3 = C
\end{align*}\]と求めることができます。

 

 

解答2

(1)

\[
P(x,y) = y, \ \ \ Q(x,y) = x ( \log x + y )
\]とする。ここで、\[
\frac{dP}{dy} = 1 \]
\[ \begin{align*} \frac{dQ}{dx} & = ( \log x + y ) + x \frac{1}{x} 
\\ & = \log x + y + 1
\end{align*} \]となり、\[
\frac{dP}{dy} \not = \frac{dQ}{dx}
\]なので確かに完全形ではない。

 

積分因子を  x だけの関数   \mu (x)(以下  \mu とする)と仮定すると、 \mu_y = 0 となるので、\[
\mu P_y = \mu_x Q + \mu Q_x
\]の関係式が成り立つ。両辺を  \mu Q で割り、さらに変形すると、\[
\frac{1}{\mu} \frac{d \mu}{dx} = \frac{P_y - Q_x}{Q} = g(x) 
\]となる。ここで、\[\begin{align*}
\frac{P_y - Q_x}{Q} & = \frac{1 - (\log x + y + 1)}{x ( \log x + y )}
\\ & = \frac{-( \log x + y )}{x ( \log x + y )}
\\ & = - \frac{1}{x}
\\ & = g(x)
\end{align*} \]となるので、確かに積分因子  \mu(x,y) x だけの関数  \mu (x) となることがわかる。

 

また、\[
\int \frac{1}{\mu} \ d \mu = \int - \frac{1}{x} \ dx
\]となるので、\[
\log | \mu | = - \log x \\
\mu = \frac{1}{x}
\]となるので積分因子  \mu (x) \frac{1}{x} となる。

(今回は  x \gt 0 なので、 \log |x| の絶対値を取って  \log x としています。)

 

(2)

両辺に積分因子  1/x を掛けると、微分方程式は\[
\frac{y}{x} \ dx + ( \log x + y ) \ dy = 0
\]となる。

ここで、改めて\[
P(x,y) = \frac{y}{x} , \ \ \ Q(x,y) = \log x + y
\]とすると、\[
\frac{dP}{dy} = \frac{dQ}{dx} = \frac{1}{x}
\]となり、完全形(完全微分方程式)となっている。

(これで(1)が正しいことの検算になる。)

 

[大雑把に解く]

ここで、 f(x,y) を求めるために  P(x,y) x で積分し、 Q(x,y) y で積分すると、\[\begin{align*}
f(x,y) & = \int \frac{y}{x} \ dx + g(y)
\\ & = \color{green}{y \log x} + \color{blue}{g(y)}
\end{align*} \]
\[ \begin{align*} f(x,y) & = \int \log x + y \ dy + h(x)
\\ & = \color{green}{y \log x} + \color{blue}{\frac{1}{2} y^2} + h(x)
\end{align*} \]と2つとも計算し、それぞれの足りない項を補うと、\[
f(x,y) = y \log x + \frac{1}{2} y^2
\]となるので、一般解は任意定数  C を用いて\[
y \log x + \frac{1}{2} y^2 = C
\]と表すことができます。

 

[厳密に解く]

 P(x,y) x で積分すると、\[\begin{align*}
f(x,y) & = \int \frac{y}{x} \ dx + g(y)
\\ & = y \log x + g(y)
\end{align*}\]となる。

 g(y) y だけの関数)

 

ここで、 Q(x,y) f(x,y)(つまり  a(x,y) + g(y))を  y で偏微分したものなので、\[\begin{align*}
Q(x,y) & = \frac{\partial f}{\partial y}
\\ & = \frac{\partial}{\partial y} \left( y \log x + g(y) \right)
\\ & = \frac{\partial}{\partial y} y \log x + \frac{\partial}{\partial y} g(y)
\\ & = \log x + \frac{\partial}{\partial y} g(y)
\end{align*}\]が成立する。

 

さらに、\[\begin{align*}
 \frac{\partial}{\partial y} g(y) & = Q(x,y) - \log x
\\ & = y
\end{align*}\]なので、 y で積分し、\[
g(y) = \int y \ dy = \frac{1}{2} y^2
\]を得ることができる。

(任意定数は  f(x,y) でつけるので、ここでは不要)

 

よって一般解は任意定数  C を用いて\[\begin{align*}
f(x,y) & = y \log x + g(y)
\\ & = y \log x + \frac{1}{2} y^2 = C
\end{align*}\]と求めることができます。

 

 

解答3

両辺に  dx を掛けると、\[
(y^2 - x^2) \ dy + 2xy \ dx = 0 \\
2xy \ dx + (y^2 - x^2) \ dy = 0
\]となる。

 

ここで、微分方程式が完全形かどうかを調べるために\[
P(x,y) = 2xy, \ \ \ Q(x,y) = y^2 - x^2
\]とする。ここで、\[
\frac{dP}{dy} = 2x \]
\[ \begin{align*} \frac{dQ}{dx} = -2x
\end{align*} \]となり、\[
\frac{dP}{dy} \not =  \frac{dQ}{dx} 
\]なので完全形ではない。

 

ここで、積分因子が  x, もしくは  y だけの関数で表せないか考える*7

 P = 2xy Q = y^2 - x^2 では  Q のほうが単純なので、 y と仮定すればうまくいきそうだな、と脳内で思いましょう。)

積分因子が  y だけの関数  \mu (y) で表せると仮定すると、 \mu_x = 0 となるので、\[
\mu_y P + \mu P_y = \mu Q_x
\]の関係式が成り立つ。両辺を  \mu P で割り、さらに変形すると、\[
\frac{1}{\mu} \frac{d \mu}{dx} = \frac{Q_x - P_y}{P} = h(y) 
\]となる。ここで、\[\begin{align*}
\frac{Q_x - P_y}{P} & = \frac{-2x - 2x}{2xy} 
\\ & = - \frac{2}{y} = h(y)
\end{align*} \]となるので、積分因子  \mu(x,y) y だけの関数  \mu (y) となる。

 

つまり\[
\int \frac{1}{\mu} \ d \mu = - \frac{2}{y} \ dy
\]となるので、\[
\log | \mu | = - 2 \log |y| \\
\mu = \frac{1}{y^2}
\]となるので積分因子  \mu (y) y^{-2} となる。

 

両辺に積分因子  y^{-2} を掛けると、微分方程式は\[
2 xy^{-1} \ dx + \left( 1 - x^2 y^{-2} \right) \ dy = 0
\]となる。

ここで、改めて\[
P(x,y) = 2 xy^{-1} , \ \ \ Q(x,y) = 1 - x^2 y^{-2}
\]とすると、\[
\frac{dP}{dy} = \frac{dQ}{dx} = -2x y^{-2}
\]となり、完全形(完全微分方程式)となっている。

(これで積分因子が正しいことの検算になる。)

 

[大雑把に解く]

ここで、 f(x,y) を求めるために  P(x,y) x で積分し、 Q(x,y) y で積分すると、\[\begin{align*}
f(x,y) & = \int 2 xy^{-1} \ dx + g(y)
\\ & = \color{green}{x^2 y^{-1} } + \color{blue}{g(y)}
\end{align*} \]
\[ \begin{align*} f(x,y) & = \int 1 - x^2 y^{-2} \ dy + h(x)
\\ & = \color{blue}{y} + \color{green}{x^2 y^{-1} } + h(x)
\end{align*} \]と2つとも計算し、それぞれの足りない項を補うと、\[\begin{align*}
f(x,y) & = x^2 y^{-1} + y
\\ & = \frac{x^2}{y} + y
\end{align*} \]となるので、一般解は任意定数  C を用いて\[
\frac{x^2}{y} + y = C
\]と表すことができます。

 

[厳密に解く]

 P(x,y) x で積分すると、\[\begin{align*}
f(x,y) & = \int 2 xy^{-1} \ dx + g(y)
\\ & = x^2 y^{-1} + g(y)
\end{align*}\]となる。

 g(y) y だけの関数)

 

ここで、 Q(x,y) f(x,y)(つまり  a(x,y) + g(y))を  y で偏微分したものなので、\[\begin{align*}
Q(x,y) & = \frac{\partial f}{\partial y}
\\ & = \frac{\partial}{\partial y} \left( x^2 y^{-1} + g(y) \right)
\\ & = \frac{\partial}{\partial y} x^2 y^{-1} + \frac{\partial}{\partial y} g(y)
\\ & = - x^2 y^{-2} + \frac{\partial}{\partial y} g(y)
\end{align*}\]が成立する。

 

さらに、\[\begin{align*}
 \frac{\partial}{\partial y} g(y) & = Q(x,y) - (- x^2 y^{-2})
\\ & = 1
\end{align*}\]なので、 y で積分し、\[
g(y) = 1 \ dy = y
\]を得ることができる。

(任意定数は  f(x,y) でつけるので、ここでは不要)

 

よって一般解は任意定数  C を用いて\[\begin{align*}
f(x,y) & = x^2 y^{-1} + g(y)
\\ & = \frac{x^2}{y} + y = C
\end{align*}\]と求めることができます。

 

5.さいごに

今回は、

  • 1階微分方程式を完全微分方程式として解く方法
  • 完全微分方程式ではない微分方程式を積分因子を用いて完全微分方程式にしてから解く方法

の2つを紹介しました。

 

今回で「1階微分方程式」に関する記事は終了です!

次回からは「2階線形微分方程式」についての記事を書いていきたいと思います。

 

*1:たまに「0を積分したら0だろ!」と思う人もいるのですが、微分して0になる数は0以外にもたくさんありますよね…?(定数であればどんな定数でも微分したら0になります)

*2:定数は、 P(x,y) x で積分したとき、 Q(x,y) y で積分した2つの式を両方使っても補えないので、最後に任意定数をつけることで補う。

*3:ただし、任意定数は最後の一般解でつけるのでここでは省略する。

*4:  \mu_y などについている添字の  y は、 y で偏微分することを示しています。同様に  \mu_x の添字  x x で偏微分することを示しています。

*5:もし\[
\frac{P_y - Q_x}{Q}
\]が  x だけの関数でなければ、積分因子が  x だけの関数ではないことがわかるのでこの方法では解けない。

*6:もし\[
\frac{Q_x - P_y}{P}
\]が  y だけの関数でなければ、積分因子が  y だけの関数ではないことがわかるのでこの方法では解けない。

*7:
慣れないうちは、\[
\frac{P_y - Q_x}{Q} = g(x) , \ \ \ \frac{Q_x - P_y}{P} = h(y)
\]の両方を確認しましょう。今回の問題の場合、確認すると\[
\frac{2x + 2x}{y^2 - x^2} \not = g(x) \\ \frac{-2x - 2x}{2xy} = - \frac{2}{y} = h(y)
\]となるので、 y だけと仮定したらうまくいくことがわかりますね。

もし、両方のパターンで失敗した場合は計算ミスしているか積分因子で解くのが難しい問題なのでダメそうならあきらめましょう。