同次形

同次形の定義

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

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

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

変数変換

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

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

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

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

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

具体例

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

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

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

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

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

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