クレーローの微分方程式
次の形をした微分方程式が「クレーローの常微分方程式」である.
わざわざ「常微分方程式」と書いたのは,「クレーローの偏微分方程式」というのも別にあるらしいからだ.この両辺を微分すれば,
となるので,
であるか,
であるかのどちらかが成り立っていなければならないはずである.
(2) 式を解くと
となるが,これが本当に成り立っているか,試しに (1) 式に代入してやると,
であることが分かる.よって解の一つは次のように書けるだろう.
これが (1) 式の一般解だ.もしこれをグラフに表せば直線になる.そしてその傾きに応じて切片が変化するのだから,その様々な直線を一つの平面に重ねて書き込めば,何らかのパターンが観察できそうだ.
では,(3) 式の方からは何が導かれるだろう？それを考えるためには,先に「包絡線」というものについて知っておいた方がいいかも知れない.
包絡線
と
の関係が何らかのパラメータ
によって決まり,次のような形式で表されているとする.
これを
平面上に表すと,パラメータの値によってグラフの形が様々に変化するといった状況になっている.その変化する図形に常に接するように描かれる線のことを「包絡線」と呼ぶ.
包絡線を表す式をどのように求めたら良いかを考えてみよう.包絡線は「変化する図形」に常に接しているということなので,包絡線を構成する各点は必ず (5) 式の上に乗っているはずである.しかしそれは (5) 式で表される図形と同一という意味ではない.
ちょっとややこしいがこういうことだ.(5) 式で表される図形を描く時にはを固定してととの関係を考えることになる.しかし包絡線を考えるときには,が変化する中で,とにかく (5) 式を満たしている点のどこかを通るはずだと考えるのである.
そしてもう一つの条件として (5) 式の図形に接しているということが必要だ.包絡線と図形との接点はの値によって決まるから,接点の座標は
で表されるとしておく.すると,包絡線の傾きは,
と表されることになるだろう.
一方,(5) 式で表される曲線の傾きは陰関数定理というものによって,
と表される.接点での傾きを知りたければ,これを計算した後で
,
を代入してやればいいわけだが,それはあらかじめ (5) 式に,を代入して
という式を作っておいて,これに対して
という計算をするのと変わらない.
(5) 式の図形の傾きと包絡線の傾きは,接点において一致するはずなので,次の式が成り立つだろう.
これを少し変形すると次のように書ける.
ところで (6) 式は接点の座標を代入しただけのものなので常に成り立っている式である.これをで微分してやると
となるが,(7) 式が満たされていれば,最初の二つの項は消えて,
だけが残る.逆に言えば (8) 式が成り立っていれば,(7) 式が成り立っていることが言えて,つまり接点での傾きが一致すると言えるのである.
結論はこうだ.包絡線を求めたければ,(5) 式と (8) 式を連立させてパラメータを消去してやれば良い.
もう一つの式の意味
さて,話を戻して (3) 式の意味を考えよう.すでに求めた (4) 式の方を陰関数っぽく表現してみると次のようになる.
をパラメータと見なしてやって,これをで偏微分してやる.これはつまり (8) 式と同じ作業をしているのである.
これは (3) 式とそっくりだ.実際,(4) 式を微分してやると
となるので,それを代入してやると,(3) 式そのものとなる.
つまり,(1) 式の解というのは結局,(4) 式で表される一般解と,その包絡線だということになる.包絡線の方には任意定数が含まれていないから特異解と呼ばれる.
包絡線の具体的な式は関数
が具体的に与えられれば (3) 式を使って求められるが,関数が複雑な場合には必ずしも求められるとは限らない.しかし求めるのが難しかろうがどうだろうが,それは (4) 式で表される直線群の包絡線であるという関係になっているのである.
