今日は変数変換を用いた微分方程式の解法の謎に迫りたいと思います。
この記事は微分方程式の初歩である,変数分離形の微分方程式と1階線形微分方程式の解法を知っている方を対象としています*1。
を自由変数, を未知関数とします。
まずは微分方程式をいくつか
2つほど微分方程式とその解法の例を見てみましょう。
この微分方程式は という変数変換で,変数分離形の微分方程式 に変換することができます。これを について解いて を代入すれば元の方程式の一般解が求まります。
これは と変数変換すると,変数分離形の微分方程式 に変換することができます。この一般解を に に代入した,1階線形微分方程式 を解くことで元の方程式の一般解が求まります。
謎の変数変換
微分方程式を勉強しているとよく出てくるのが,この
「変数変換すると解法が分かっている微分方程式に変換できる」
というやり方です。
そう言われて実際に計算してみると確かにそうなることは分かるのですが,なぜそのような変数変換を思い付いたのかは一切教えてもらえずにモヤモヤしてしまいます。「センスだから」と言われるともうそれ以上つっこんで聞くこともできません。
しかし,それでは納得できない,理屈が知りたいという方のために,少しは納得ができそうな説明をしてみようと思います。
同次形の微分方程式を再考する
「変数変換すると解法が分かっている微分方程式に変換できる」という解法で一番初めに出会うのが同次形の微分方程式と言われるものです。
\begin{align}y'=f\left(\cfrac{y}{x}\right)\end{align}は と変数変換することで変数分離形の微分方程式に変換できる。
確かに実際にやってみるとそうなっています。最初に見た微分方程式 は同次形ではありませんが,同じ変数変換で変数分離形の微分方程式に変換できました。
ここで発想を逆転して考えてみましょう。
と変数変換することで変数分離形に変換できる微分方程式とは, に関する変数分離形 から という変数変換で得られるものに他なりません。
さて,実際にどのような微分方程式が という変数変換で変数分離形になるのか求めてみましょう。変数分離形 に という変数変換を施します。
より なので, は
\begin{eqnarray*}
\cfrac{y'}{x}-\cfrac{y}{x^2} &=& f(x)g\left(\cfrac{y}{x}\right)\\
y' &=& \cfrac{y}{x}+xf(x)g\left(\cfrac{y}{x}\right)
\end{eqnarray*}
となります。ここで と置くことで,次の微分方程式の解法を得ます。
\begin{align}y'=\cfrac{y}{x}+h(x)\cdot g\left(\cfrac{y}{x}\right)\end{align}は と変数変換することで変数分離形の微分方程式に変換できる。
これの特別な場合,, としたものが,古典的な同次形の微分方程式 です。
最初に見た微分方程式は, の場合です。
同次形の微分方程式の解法を最大限に一般化することができました。こう計算してみると「やってみるとそうなる」というぼんやりした世界を抜け出し,理屈が分かったような気分になることができます。
変数変換
さて,2つ目の微分方程式では という変数変換で変数分離形に変換できました。
もうやることは分かりますね。このやり方で解けるのは, に関する変数分離形の微分方程式 から という変数変換で得られたものです。
計算してみましょう。 なので, は \begin{align}y''+y'=f(x)g(y'+y)\end{align}となります。
これが斉次線型微分方程式になる の場合を考えると \begin{align} y''+(1-f(x)) y' -f(x) y=0\end{align} となります。
つまり の係数が になるように両辺を適当な関数で割ってこの形になる2階線形微分方程式は という変数変換で変数分離形に変形できることが分かりました。
の係数を になるように変形しなくても判定できるように とおいて,両辺を 倍してみましょう。すると\begin{align}
p(x) y''+\{p(x)+q(x)\}y'+q(x)y=0
\end{align}なります。これで次の微分方程式の解法が得られました。
その一般解 に対して1階線形微分方程式 を解くことで元の方程式の一般解を求めることができる。
2つ目の微分方程式 はまさにこの形をしています。
ここまで見てみると,左辺は \begin{align}p(x)(y''+y')+q(x)(y'+y)=p(x)(y'+y)'+q(x)(y'+y)\end{align} と変形できるので,変数変換 も当たり前のように思えてきます。
オリジナルの解法を作ろう
変数変換の方法なんて無限にあるので,いくらでもオリジナルの微分方程式の解法を作り出すことができます。
と変数変換することで に関する変数分離形に変換できる微分方程式を求めてみましょう。完全に一般の場合を考えると煩雑になるので,\begin{align}w'=f(x)w\end{align} の形の変数分離形だけ考えることにします。
で と変数変換すると\begin{align}y''+(x-f(x))y'+(1-xf(x))y=0\end{align}ここで とおくと\begin{align}
p(x)y''+(xp(x)+q(x))y'+(p(x)+xq(x))y=0
\end{align}ここで係数を見やすくするために , とおくと なので\begin{align}
P(x)y''+Q(x)y'+\{(1-x^2)P(x)+xQ(x)\}y=0
\end{align}となります。次の微分方程式の解法が得られました。
P(x)y''+Q(x)y'+\{(1-x^2)P(x)+xQ(x)\}y=0
\end{align}の形の2階線形微分方程式は と変数変換することで に関する変数分離形に変換できる。
その一般解 に対して1階線形微分方程式 を解くことで元の方程式の一般解を求めることができる。
この解法で解ける問題を作ってみましょう。 とすると,次の微分方程式になります。
いい感じに一見どう解いたらいいか分からないものができました。せっかくなので実際に解いてみましょう。
と変数変換すると となり,これを解くと ( は定数) となります(ただし は の逆関数)。
これを に代入した1階線形微分方程式を解くと\begin{align}
y=C_1 e^{-\frac{1}{2}x^2} \int \sqrt{x^2+1} ~\exp\left({\frac{1}{2}x^2-\tan^{-1}x}\right)dx\end{align}なります。
の原始関数の一つを とおくと,これは \begin{align} y=C_1e^{-\frac{1}{2}x^2}F(x)+C_1C_2e^{-\frac{1}{2}x^2}\end{align}となるので, が基本解になります。
おわりに
実際に微分方程式を解くときに,どのような変数変換をすればよいか見抜く方法はよく分かりません。結局,センスの問題かもしれません。
とりあえず,「変数変換すると解法が分かっている微分方程式に変換できる」という方法に出会ったら,どのような形の微分方程式なら同じ解法で解けるかを計算してみるといいでしょう。それをまとめて教科書に載っていないようなオリジナルの公式集を作っておけば,役に立つこともあると思います。経験を積んでいくうちにセンスも上がるかもしれません。
いつか微分方程式を華麗に変数変換で解き,何でそんな変数変換を思い付くんだとざわめく群衆に「センスだよ」とドヤ顔をかますその日まで。
俺たちの戦いはこれからだ!(完)