物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

完全形

偏微分の説明を思い出してもらう必要がある。
作成:2013/5/30

完全形の定義

これまでとはまた違った形の微分方程式を紹介したい.例えば, 数式 という形になっている方程式は珍しくない.これまでの話ではこのp(x,y)q(x,y)を一旦右辺に移すことで,それが変数分離形であるか同次形であるかを判断して解くことをしてきたのだった.

これが変数分離形でも同次形でもなかったとしても,そして,前回話したような特殊な形でもないとしても,まだ他の可能性が残されている.(1) 式のp(x,y)q(x,y)が次のような条件を満たすとき,この微分方程式は「完全形」である,とか,あるいは「完全微分方程式」であるとか言われる. 数式 このことの一体どこが完全だというのだろうかそして (1) 式はどのようにして解いたら良いのだろうか


数学的背景

以前に偏微分について説明したときのことを思い出してもらいたい.2 変数関数f(x,y)xyを微小変化させたときにf(x,y)がどれだけ変化するかを次のように表したことがある. 数式 この形をf(x,y)の「全微分」あるいは「完全微分」と呼ぶのだった.

ところで,(1) 式のy'の部分はdy/ dxとも書けるので,(1) 式の両辺にdxを掛けて次のように表現することもある. 数式 これは (1) 式と全く等価な式である.ははあん,なるほど,(3) 式と (4) 式は形がそっくりだ.つまりは,この完全微分に重ね合わせた話をしたいというわけだ.そのためには次の関係が成り立ってくれていると都合がいい. 数式 もしそうであれば,(2) 式の条件は 数式 を意味しているのであり,この両辺の違いというのは,関数f(x,y)x,yの順序で偏微分するか,y,xの順序で偏微分するか,というだけである.普通の関数は微分の順序によって結果が変わらないわけで,(5) 式が成り立っていてくれるなら当然言えるはずのものだというわけだ.

(4) 式を解くために必要なのは,(5) 式に合うようなf(x,y)を探すことである.そうすれば (3) 式の右辺は (4) 式の左辺に一致する.そして (4) 式によるとそれは 0 なので,df=0だということである.つまり関数f(x,y)は変数の変化によって変化しない,すなわち定数だということになるから, 数式 が言える.これはxyの関係を表しており,(4) 式の解である.(1) 式の解であると言っても同じことである.

今の説明が強引だと感じたなら,(6) 式の両辺をxで微分して確かめてみたら納得しやすいかも知れない.その右辺は 0 になる.左辺については次のようになる. 数式 というわけで (5) 式が言えるなら確かに (1) 式を満たしていることが分かる.


関数の探し方

問題は,(5) 式を満たすような関数f(x,y)をどうやって探したらいいかということだ.そんなに難しくはない.

f(x,y)xで偏微分してp(x,y)になるというのなら,p(x,y)xで積分してやればf(x,y)に似た形が出てくるだろうし,同じ理由でq(x,y)yで積分してやればf(x,y)に似た形が出てくるだろう.それぞれの結果は一致しないかも知れないが,互いを比較して,足りない分を補ってやればいいのである.

下手な補い方をしたら計算が狂ってしまうのではないかと心配しているかもしれない.本当に合っているのか毎回検算するとしたら確かに面倒である.しかしコツを掴めば不安に思うことはなくなるだろう.前者のxの積分をした結果には積分定数が必要だが,その積分定数にはyのみで表された項が含まれている可能性がある.なぜならそのような項をxで微分すれば消えてしまうから,「定数のごときもの」であるわけだ.後者については同様にxのみで表された項が積分定数に含まれている可能性がある.f(x,y)はそのような形で表されていると考えるべきだというわけだ. 数式 要するに,前者の結果にはyのみで表された項が足りてないはずだし,後者の結果にはxのみで表された項が足りてないはずである.それらを互いの結果から探し出して補えばいいのである.


具体例

次の微分方程式を解いてみよう. 数式 これは 数式 であり, 数式 となることから完全形であることが分かる.f(x,y)の形を探るために二通りの積分をしてみる. 数式 これらより,互いに足りない項を補うと,f(x,y) 数式 であることが分かる.よって解は,Cを任意の定数として, 数式 と表される.



趣味の物理学書店

趣味で量子力学2の広告バナー