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

同次形

簡単な変数変換で変数分離形が使える形に持っていくための小技。
作成:2013/5/26

同次形の定義

変数分離形の公式が意外と広い範囲に使えることが分かってもらえたと思う.しかしこの公式が使えない微分方程式の形はまだ幾らでも思い浮かぶことだろう.基本的に微分方程式というのは「解けるものに出会ったら運がいい」くらいに思った方がいい.

しかし変数分離形になっていないからと言って諦めるのはまだ早い.一見したところ変数分離形になっていなくても,簡単な変数変換を行うだけで,変数分離形の公式が使える場合があるのだ.それは次の形に当てはまる場合である. 数式 右辺は,y/xという形のかたまりが組み合わさって出来ている関数なら何でもいい.例えば次のようなものだ. 数式 しかしいつも親切にこんな分かりやすい形に表されているとは限らない.この右辺は次のように表現されていても同じものだからだ. 数式 これが (1) 式に当てはまる形をしていることに気付くことができるだろうかもっと分かりにくく次のように表されていることがあるかも知れないが,これもまた同じものだ. 数式 こういうものを簡単に見破る方法がある.式中のxyをどちらもk倍し(もちろんy'は除く),式からkを全て消せるようなら条件に当てはまっていると言えるだろう.それが出来るのは式に出てくるxyの次数が同じになっているからである.それ故,この (1) 式の形になっている微分方程式のことを「同次形」と呼ぶ.

しばらく後の話でも同次形という用語が出てくるのだが,それは今回とはまた別の意味である.一つの分野内に違う意味で同じ名前の用語が出てくるのは紛らわしくて仕方ない.文脈で判断するしかないだろう.


変数変換

さて,どんな変換をしたら (1) 式は変数分離形になるというのだろうか.こうである. 数式 なるほど,こうすれば (1) 式の右辺は全て新しい変数uのみで表されるようになるというわけだ.しかしそんなに単純な話ではない.これはyy=xuで置き換えるのと同じことなのだから,(1) 式の左辺にあるy'にも影響が出るはずだ. 数式 結局 (1) 式は次のような,関数u(x)についての微分方程式になるわけだ. 数式 これはもう変数分離形である.次のように変形すれば分かりやすい. 数式 これを見て変数分離形だと分からない人は前回の話を復習する必要がある.分母がxのみの関数,分子がuのみの関数になっているのだから,次のように計算すれば良い. 数式 こうして前回のようにu(x)を求め,その結果を (2) 式を使って置き換えればy(x)が求まるという寸法だ.

いや,ちょっと待ったこの (3) 式には不備がある.もしp(u)=uだったら,左辺の分母が 0 になってしまうではないかそれはどういう時に起こるかというと・・・.p(y/x)=y/xということなのだから,(1) 式に当てはめると・・・. 数式 これは典型的な変数分離形,しかもかなり単純なケースではないか.今紹介しているようなテクニックをわざわざ使う理由がない.というわけで,このような困難に直面することはないはずだ.引き止めて悪かった.

いや待てよもう一つ不備がありそうだ.もし解がy=mxという形をしていた場合には今回の変数変換は無効である.なぜならu=y/x=mx/x=mということになるから,新変数のuは変数にはなっていなくて,実は定数mだということになってしまうではないか.

しかしこれは「もし解がy=mxだったなら」という場合の話であり,必ずしも (2) 式に不備があることを意味していない.だから,(2) 式を使って解を求めた後で,それ以外にy=mxとなる解も存在するかどうかを確かめたらいい話だ.

どうやって確かめたらいいだろう(1) 式にy=mxを代入してみると,次のようになる. 数式 つまりこの条件を満たすmが存在していればy=mxもまた解だと言えそうだ.このy=mxというのは任意定数を含まないので,そういうものは「特異解」と呼ばれるのだった.



具体例

簡単な計算例を書いておこう.次のような微分方程式を解いてみたい. 数式 これは同次形であり,(1) 式に似た形に変形すると次のようである. 数式 念のため確かめておくと,この右辺は次のように表すことが出来る. 数式 (6) 式に対してy=xuという変換をしてやると, 数式 となり,左辺の第 1 項を右へ持ってきて整理すると 数式 である.一旦状況を整理するためにまとめるが,これから次のようなu(x)についての微分方程式を解くのである. 数式 これは変数分離形であり,次のような形にまとめることができる. 数式 変数分離形の解法は,この両辺を積分してやるのだった.左辺の分数は 数式 と変形できるので,積分はそれほど難しくもない. 数式 C_1は任意の定数である.これを整理したいが,分数があってややこしい感じがするので両辺に -3 を掛けてみようか. 数式 さらに移項. 数式 これで分かり易くなった.対数を外してやろう. 数式 絶対値の積はまとめることが出来る. 数式 絶対値を外すと次のようになる. 数式 右辺は 0 以外の全ての値を取ることが分かる.このままではややこしいので,記号を改めよう. 数式 このCは 0 以外の任意定数である.しかしC=0となることは本当に許されないのだろうか.その場合,u=2u=-1というものが解になりそうで,(8) 式に代入して確かめてみると確かにそれが成り立っている.というわけで今回もCは 0 も含む任意定数であるということになる.

さて,かなりすっきりした解が出たわけだが,これを元の変数に戻してやる必要がある.uというのはu=y/xというものだった. 数式 x^3xx^2に分けてそれぞれのカッコ内に掛けてやれば,幸いにしてややこしい形にならないで済む. 数式 展開してやろう. 数式 もはやy(x)=...という形に表そうとしても簡単な形にはなりそうにもないので,これで満足することにしよう.しかしこれが本当に (5) 式の解になっているのだろうかと疑いたくもなるだろう.確かめたければ (10) 式の両辺をxで微分してみればいい. 数式 となり,確かに (5) 式が再現される.(10) 式は (5) 式の解である.

しかしこれ以外にy=mxという形の解も許される可能性が残されているのだった.それを確認するにはp(m)=mという条件に合うmがあるかどうかを見ればいいのだった.(7) 式はその確認のためにわざわざ書き留めておいたのである. 数式 これは 2 次方程式であり,解はm=2m=-1の二通りである.つまり,(10) 式以外に 数式 という解が存在していることになる.

いや,待てよこれは先ほどC=0も許されることを確認した時のu=2およびu=-1と同じものではないか.それは (9) 式でC=0だとした時に,明らかに分かる形で表れている.というわけで,今回は (11) 式は特異解というわけではなく,(10) 式の一般解に吸収されてしまうのである.

これは時々起こることだが,毎回起こることではないことに注意しよう.y=mxという形の解を一般解の中に含むことが出来ない場合もあり,その場合にはy=mxは特異解と呼ばれることになる.

具体例の選択がまずかっただろうか.y=mxが特異解となる場合を示した方がより教育的だっただろうか次回も同次形を扱うので,そこでは同じような例にならないように気を付けるようにしよう.



趣味の物理学書店

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