微分方程式とは、独立変数xと、xの関数y(x)、およびその何階かの導関数を含む方程式である。一般化すれば、微分方程式は
![{\displaystyle f(x,y,y',\cdots ,y^{(n)})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09a468a619d69533e30186b7f68ff23eb61d7e8b)
の形に書くことのできる方程式である。そして、この方程式に含まれる導関数のうちもっとも高階の導関数が
であるとき、これをn階微分方程式と呼び、この方程式を満たすような関数を求める操作を、微分方程式を解く、という。
微分方程式は、大きく分けて常微分方程式と偏微分方程式に分かれる。常微分方程式とは、一変数関数とその導関数からなる方程式である。一方、偏微分方程式とは、多変数関数とその偏導関数との方程式である。ここでは、常微分方程式の解き方について記述することにし、本書では特に断りのない場合「微分方程式」は常微分方程式をさしているものとする。
微分方程式は微分された関数が含まれた方程式であるから、その解を求めるためには多くの場合積分操作が必要であり、解には積分定数が含まれる。n階微分方程式であればn個の任意の積分定数が含まれる。このような積分定数を含む形の解を一般解と呼ぶ。
一般解のうち、積分定数にある値を与えた解を特殊解と呼ぶ。
さらに、微分方程式の解のなかには、方程式の解であるにもかかわらず、積分定数にどのような値を代入しても表すことのできない解も存在する。このような解を特異解と呼ぶ。
微分方程式を解くとき、一般解が重要になる場面はそう多くない。現実にはある独立変数xにおける従属変数yの値が定まっていて、その条件を満たすような特殊解が必要になる場合がほとんどである。
たとえば時刻
において、ある関数
の値が
と分かっている時に
に関する微分方程式を解くような場合である。
このような、ある初期条件
![{\displaystyle y(x_{0})=y_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0e34184914d19a905c434c2bde2a3f21cb901ef)
を満たすような微分方程式
![{\displaystyle f(x,y,y',\cdots ,y^{(n)})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66bf85a65ea9852cfe9c926e809764de00cd9ca6)
の特殊解を求める問題を初期値問題といい、これらをみたす特殊解を求めることを初期値問題を解くという。
また、例えば位置
と
で常に
となるような波(固定端)の変位
に関する微分方程式を解くという状況もある。
このような、ある境界条件
![{\displaystyle y(x_{i})=y_{i}(i=0,1,\cdots ,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ddc80e8c1d128860e8732afca18fb9c142b832d)
を満たすような微分方程式
![{\displaystyle f(x,y,y',\cdots ,y^{(n)})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66bf85a65ea9852cfe9c926e809764de00cd9ca6)
の特殊解を求める問題を境界値問題といい、これらをみたす特殊解を求めることを境界値問題を解くという。
微分方程式を、有限回の式変形や変数変換や積分によって解く方法を初等解法と呼ぶ。はじめに、微分方程式の初等解法について解説する。なお、どのような微分方程式であっても初等解法によって解くことができるとは限らず、この手法が適用できる場合は限られてくることに注意されたい。
まずは、1階の微分方程式について考えることにする。
一般に、n階微分方程式が
![{\displaystyle y^{(n)}=f(x,y,y',\cdots ,y^{(n-1)})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc0bb043c705fa14a8fecbb8a99280c722adb92)
の形で書き表されるとき、これを正規形と呼ぶ。
1階微分方程式の正規形
![{\displaystyle y'=f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8855ed828ac868d6c7e8b4e06c420306ba0dec0f)
において、右辺の式が
![{\displaystyle f(x,y)=X(x)Y(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/957977d337a777515ecdd5c2783903b61ca79f39)
のようにxのみの関数とyのみの関数との積の形に変形できるとき、これを変数分離形の微分方程式と呼ぶ。この場合、微分方程式は
![{\displaystyle y'=X(x)Y(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54d837db9e15571794b49060d8db63aa13c2874c)
の形になっているから、
と仮定して両辺を
で割ることにより
![{\displaystyle {\frac {y'}{Y(y)}}=X(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ddb7d3dabbcb22c3773b84f52508e764cb8f5ae)
と変形して、左辺がyとその導関数のみの式、右辺はxのみの式となるように分離することができる。
もし
を満たすyの値が存在すれば、その値を
とすると、もとの微分方程式に代入して
![{\displaystyle y'(x)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4924377958afe07e6c1816f535df69a2f78d1c05)
を得る。一方、いま置いた
も
を満たす関数である。すなわち、微分方程式の解は
![{\displaystyle y(x)=a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9904e6e22045ff005af7b4ad0f2c8033a007ecb)
と簡単に求めることができる。これは微分方程式の特殊解である。
では、
として変数を分離した式に戻ろう。
分離した式の両辺をxで積分して、
![{\displaystyle \int {\frac {1}{Y(y(x))}}y'(x)dx=\int X(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56027a9e81dc910efa759686b8516234aa0a7c28)
左辺は置換積分の公式より、
であるので、
![{\displaystyle \int {\frac {1}{Y(y)}}dy=\int X(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a54d1305a4acadea3ff578453b80dbc2110172c8)
を得る。これで両辺の不定積分が計算できれば、微分方程式の解が求まることになる。これは微分方程式の一般解である。
微分方程式
を解く。
これは変数分離形の1階微分方程式である。
のとき
となって、これは微分方程式を満たす。
と仮定して両辺をyで割ると、
![{\displaystyle {\frac {y'}{y}}=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/655d3ab58be575d34d580154103668cfa346c49b)
であるから、両辺をxで積分して、
![{\displaystyle \int {\frac {1}{y}}dy=\int xdx+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3817fa19f4f207633891ce43f37bc0392231bdeb)
となる。両辺の不定積分を計算すれば、
![{\displaystyle \log |y|={\frac {1}{2}}x^{2}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e9d58d945492b4fb8391dd449c2ab9453bb9497)
となるから、これより
(Aは任意の定数)
とすることができる。これは微分方程式の一般解である。
先に求めた
は、一般解で
とした場合であるから、微分方程式の特殊解である。したがって、微分方程式の解は
![{\displaystyle y(x)=Ae^{{\frac {1}{2}}x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1807dbbf3b4e1a6638d892c9c5a8a43f73dcb600)
である。
一見変数分離形でないように見える微分方程式であっても、適切な変数変換によって変数分離形へ持ち込むことのできる微分方程式が存在する。
1階微分方程式の正規形
![{\displaystyle y'=f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8855ed828ac868d6c7e8b4e06c420306ba0dec0f)
において、右辺の式が
![{\displaystyle f(x,y)=g\left({\frac {y}{x}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/634671a8ca96926414ecd4b1f4c1192edc588484)
のように
の関数として記述できるとき、これを同次形の微分方程式と呼ぶ。このとき微分方程式は
![{\displaystyle y'=g\left({\frac {y}{x}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/102f9414379ca9fed227308a0f96cc0fd49f4e7b)
の形をしている。
とおく。このとき
であるから、
![{\displaystyle y'=(xz)'=z+xz'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f3d4decfe31b6286d3c04ae433cd70d787ac9aa)
が成り立つ。これを元の微分方程式に代入すると、
![{\displaystyle z+xz'=g(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5034f45aa0203554fc5d70cf40a64bd0f658c0e6)
となる。これを
について解くと、
![{\displaystyle z'={\frac {g(z)-z}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d5e532ed3ef0e4f1d95018f356770e45e8d7e4d)
となって、変数分離形の微分方程式となる。
変数分離形の方程式の解き方にしたがってこれを解くと、
![{\displaystyle {\begin{aligned}{\frac {z'}{g(z)-z}}&={\frac {1}{x}}\\\int {\frac {1}{g(z)-z}}dz&=\int {\frac {1}{x}}dx+C\\\int {\frac {1}{g(z)-z}}dz&=\log |x|+C\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b417766fe43e46933d33828779389f27611aa6)
となる。これで左辺の不定積分を計算し、
を代入し直せば微分方程式の解が得られる。
微分方程式
を解く。
これは同次形の1階微分方程式である。
とおくと、
であるからこの微分方程式は
![{\displaystyle {\begin{aligned}z+xz'&=z+{\frac {1}{z}}\\xz'&={\frac {1}{z}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bbcd94786e5409c71283901f618fa745df256a5)
と書き直すことができる。これは変数分離形の微分方程式である。
に注意して変数分離を行うと
![{\displaystyle zz'={\frac {1}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0188d6ae7de488a5e98bbb56983ef1a096585bc0)
であるから、両辺をxで積分して式変形を行うと、
![{\displaystyle {\begin{aligned}\int zdz&=\int {\frac {1}{x}}dx\\{\frac {1}{2}}z^{2}&=\log |x|+C\\\log |x|&={\frac {1}{2}}z^{2}+C\\x&=e^{{\frac {1}{2}}z^{2}+C}=Ae^{{\frac {1}{2}}z^{2}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69f495e0482e3f093e84ba48c97f562c1830b8bc)
となる。ここで
を代入しなおすと、
![{\displaystyle x=Ae^{\frac {y^{2}}{2x^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f4795b9b2f5d734c3305777e6b0ca6ba044861f)
となる。これが求める微分方程式の一般解である。
正規形の1階微分方程式
![{\displaystyle y'=f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8855ed828ac868d6c7e8b4e06c420306ba0dec0f)
について、右辺がxとyの有理関数になっている場合、すなわち
![{\displaystyle f(x,y)={\frac {h(x,y)}{g(x,y)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcc894e7f4c1f6f93d27565ec19d97c8c9c642f8)
の場合を考える。このとき、
および
が特定の形をしている場合は、上手な式変形や変数変換によって同次形の解法を適用することができることが知られている。ここでは、いくつかの例題を用いてそれらの解法を紹介することにする。
微分方程式
を解く。
これは、
と
がともにすべての項でx,yについて同次であるような場合である。例えばこのような場合には、右辺の分子と分母を
で割ることで
![{\displaystyle y'={\frac {2+3(y/x)+(y/x)^{2}}{1-4(y/x)+2(y/x)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21be66d67ff41e0dd97067ec416f0adc156b138e)
となって、容易に同次形の微分方程式へ持ち込むことができる。あとは同次形の解法に従って解けばよい。
微分方程式
を解く。
これは、
と
がともにx,yの1次式になっている場合である。例えばこのような場合は、次の手順で解くことができることが知られている。
はじめに、連立方程式
![{\displaystyle {\begin{cases}2x+3y-8=0\\x-y+1=0\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd3d4a3254b6bbcc8e95fdad7d14cb9fe2539ef7)
を解く。これを解くと、解は
である。この解を用いて、
![{\displaystyle {\begin{cases}x=u+1\\y=v+2\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/491d02a2e85c58eb41d7f345c794e5cdc9a987bb)
とおく。これをもとの微分方程式へ代入すると、
![{\displaystyle {\begin{aligned}{\frac {dy}{dx}}&={\frac {2(u+1)+3(v+2)-8}{(u+1)-(v+2)+1}}\\{\frac {dv}{du}}&={\frac {2u+3v}{u-v}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8a5bebd974e40aaf6802552261531057351590d)
となる。ここで、
![{\displaystyle {\frac {dy}{dx}}={\frac {d}{dx}}(v+2)={\frac {dv}{dx}}={\frac {dv}{du}}{\frac {du}{dx}}={\frac {dv}{du}}{\frac {d}{dx}}(x-1)={\frac {dv}{du}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aa64a787bf7150091eedcacc2879f2f88557ead)
を用いた。
このようにx,yからu,vへの変数変換を施すと、例題1で見た形の方程式となり、右辺の分母分子をuで割ることによって同次形の微分方程式として扱うことができる。そしてu,vの式として同次形の微分方程式を解いた後、変数をu,vからx,yに戻せば、求めるべき微分方程式の解が得られる。
微分方程式
を解く。
これは、例題2のようにして連立方程式を解こうとしても、連立方程式の解が存在しないか、あるいは1つに定まらない場合である。このような場合は、右辺の分母をzと置くことによって一般解を求めることができる。
この問題では、
![{\displaystyle z=4x+6y-3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68b73e2bd5863e1d286c2e32d68ac7bae93f40cb)
とおくと、分子は
![{\displaystyle 2x+3y-4={\frac {1}{2}}(4x+6y-3)-{\frac {5}{2}}={\frac {1}{2}}z-{\frac {5}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0c6a771c9e9d388b45dda37969e0e7bc8b45acc)
である。また、
![{\displaystyle z'=4+6y'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d6be6a5a3b20144d7e92d008ef260bbb824a822)
であるから、この微分方程式は変数分離形へと変形することができて
![{\displaystyle {\begin{aligned}{\frac {z'-4}{6}}&={\frac {{\frac {1}{2}}z-{\frac {5}{2}}}{z}}\\{\frac {z}{7z-15}}z'&=1\\\int {\frac {z}{7z-15}}dz&=x+C\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f19e7e8acd34d2b78fd9bc59bed47472ed7b936a)
と変形できる。この左辺に
を代入すれば求めるべき微分方程式の一般解が求まる。
微分方程式
を解く。
これは、例題3と同様に連立方程式を解こうとしても解が一意に定まらず、かつ、分母が定数になっている場合である。この場合は右辺をzと置けばよい。
![{\displaystyle z={\frac {2x+3y-4}{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1c308d2b1182655ebd7a276ea732a3092232fc8)
とおくと、
![{\displaystyle z'={\frac {2+3y'}{3}}={\frac {2+3z}{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74cfc6253de4f46b2c300a36fab4f17a115db1de)
となる。これは変数分離形の微分方程式であるから、その方法に従って解いた後で
を代入すれば求めるべき一般解が得られる。
微分方程式
を解く。
これは、同次形をさらに一般化させた微分方程式である。同次形では、正規形の微分方程式
![{\displaystyle y'=f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8855ed828ac868d6c7e8b4e06c420306ba0dec0f)
の右辺
について、
を定数として
![{\displaystyle f(\lambda x,\lambda y)=f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f120a816c61e2b50a9a528144f554be34680f327)
が成り立つ。この例題は同次形ではないため、微分方程式の右辺を
と置いてもこれは成り立たない。しかし、
![{\displaystyle f(\lambda x,\lambda ^{3}y)={\frac {(\lambda x)^{2}\lambda ^{3}y}{(\lambda x)^{3}+\lambda ^{3}y}}=\lambda ^{2}{\frac {x^{2}y}{x^{3}+y}}=\lambda ^{2}f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da9da5caf4403cdf54f5d4fe819b8e1ab9d021bb)
が成り立っている。
一般に、
について
として
![{\displaystyle f(\lambda x,\lambda ^{n}y)=\lambda ^{n-1}f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/904d3b06febee90178a966299db09848f1d80ecd)
が成り立つとき、
![{\displaystyle z={\frac {y}{x^{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df187beadf6f444cf8725a0f294bb9cca929ebc8)
とおいて変数変換を施し、式変形を行うことで変数分離形へ持ち込むことができることが知られている。
この例題では、
と置くと、
であるから
![{\displaystyle y'=3x^{2}z+x^{3}z'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c237410030abdb9a8841b55531a898475a1ec371)
これをもとの微分方程式へ代入すると、
![{\displaystyle {\begin{aligned}3x^{2}z+x^{3}z'&={\frac {x^{2}x^{3}z}{x^{3}+x^{3}z}}\\&={\frac {x^{2}z}{1+z}}\\z'&=-{\frac {3z^{2}+2z}{x(1+z)}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/681368d904341d5b670484adf744a4487d31ad82)
となる。これは変数分離形の微分方程式であるから、変数分離形の解法に従って解き、最後に
を代入すればよい。
1階微分方程式が線型であるとは、与えられた微分方程式が
![{\displaystyle y'+f(x)y=g(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec1f41ae0e9410b91c9ff97a964ceb70d32f20c0)
と書けることである。このように書けない1階微分方程式は1階非線型微分方程式という。
斉次1階線型微分方程式とは、1階線型微分方程式であって、特に
であるものをいい、この時この微分方程式は斉次であるという。
の場合は非斉次であるという。また、斉次は「同次」とも呼ばれることがあるが、本書では前者で統一することにする。
まずは斉次1階線型微分方程式を解いてみよう。
簡単な微分積分法しか知らない我々は、これ程までに限定してやっと解けるようになるのである。
今解こうとしているのは、次の微分方程式である。
![{\displaystyle y'+f(x)y=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5faea28132fd907c6096f3458e4864c8ac084e34)
これは変数分離形の微分方程式である。まず
を仮定して、この式を同値変型する。
![{\displaystyle {{y'} \over {y}}=-f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4ef796c1b861666a922f55c0e477245d32376bb)
両辺を積分して
![{\displaystyle {\rm {ln}}|y|=\int {-f(x)dx+C_{0}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3eb4a5c31163ccf30b99edca39799449827c159f)
両辺をeの肩に掛けて、
![{\displaystyle |y|=e^{\int {-f(x)dx+C_{0}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2230fb6f04c34a2c336daca9a2915b07d554266f)
右は常に正なので、
として、
![{\displaystyle y=Ce^{\int {-f(x)dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/860453f40be2ed656f111b1b871f756d7961d95a)
この解法を変数分離法といい、得られた結果がこの斉次方程式の一般解である。
一般解はこのようにして求められたが、
となるときの特殊解yを求めなければならないときもある。斉次1階微分方程式の初期値問題について考えてみよう。
初期値問題
![{\displaystyle y'+f(x)y=0;y(x_{0})=y_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/552aca1d3375b024131f3da6d6eeb75dda076092)
を解く。
はじめに微分方程式を解くと、先に導いたように一般解
![{\displaystyle y=Ce^{\int {-f(x)dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/860453f40be2ed656f111b1b871f756d7961d95a)
を得る。この式の両辺に
を代入すれば、積分定数Cの値が求められるため、改めてそれをこの式に代入しなおすことで特殊解が得られる。
あるいは、微分方程式を解く際に不定積分ではなく
から
までの定積分を求めることによって初期値問題を解くこともできる。多少厄介だが、積分記号を外せないときにも解を求めることができる。
変数分離を施した形
![{\displaystyle {\frac {y'}{y}}=-f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32d727a055f8ab58cdde89d42667463005a603c5)
より、両辺を
から
まで定積分する。
![{\displaystyle {\begin{aligned}&{\int _{x_{0}}^{x}{{y'} \over {y}}\ dx'}={\int _{x_{0}}^{x}-f(x')\ dx'}\\\iff &{\rm {ln}}y-{\rm {ln}}y_{0}={\int _{x_{0}}^{x}-f(x')\ dx'}\\\iff &{{y} \over {y_{0}}}=e^{\int _{x_{0}}^{x}-f(x')\ dx'}\\\iff &y=y_{0}e^{\int _{x_{0}}^{x}-f(x')\ dx'}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86e601b0922ef82362129d2afa079cf1dc690a13)
結局、一般解における積分定数Cが
に、不定積分が定積分になっただけであった。
微分方程式
を解く。
上の解説の通り、両辺をyで割り変数分離法によって計算する。この微分方程式の一般解は
![{\displaystyle y=Ce^{\int {-(-4x)dx}}=Ce^{2x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/643005ee5f5e964d016115b21be839543c38b9f1)
である。
次の微分方程式の初期値問題を解け。
![{\displaystyle y'+y\sin x=0;y(0)={3 \over 2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/754a99a64c8ae661e507d90379b205c1465e70c7)
この微分方程式の一般解として、変数分離法によって
![{\displaystyle y=Ce^{\cos x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc4055075eb9e233c34f2fee20984cf40c41433)
が求められる。この式に
を代入すれば、
![{\displaystyle C={\frac {3/2}{e^{\cos 0}}}={\frac {3}{2e}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78cd54d966cc4b3100f7f069a3843432ffce01ef)
したがって求めるべき特殊解は
![{\displaystyle y={\frac {3}{2e}}e^{\cos x}={\frac {3}{2}}e^{\cos x-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30a0dfa6ebaedb3c32fd80b234e73b84be77cce4)
あるいは、不定積分の代わりに定積分を行うことにより、
![{\displaystyle y={3 \over 2}e^{-\int _{0}^{x}\sin t\ dt}={3 \over 2}e^{\cos x-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb559d8f6dbc9ebc12bdf8a587752a5033912ec9)
が導かれる。
次に、非斉次1階線型微分方程式
(1.1)
の解き方を考えてみよう。しかし今、我々にできる事は二つしかない。それは、斉次微分方程式を解くことと、各種式変形を行うことである。これを最大限駆使して解くしかない。具体的には、なんとかして(1.1)を斉次微分方程式
★
の形に式変形して、これを解くのである。
天下り式であるが、(1.1)にある関数
をかけて
(1.2)
とする。ここで
が
(1.3)
をみたすような関数であるとすると、
とすれば★の形に変形できる。
ではそのような
は存在するのだろうか。具体的に求めてみる。
であるから、これを(1.3)に代入すると
![{\displaystyle {\begin{aligned}h(x)y'+h'(x)y&=h(x)y'+h(x)f(x)y\\h'(x)&=h(x)f(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0fb6c459aebfba97b6a7c8da50d69bbdf3b23d4)
を得る。
についてはこの変数分離形の微分方程式を解けばよい。定数倍は関係ないので、
(1.4)
としてよい。この
は積分因子と呼ばれる。
さて、(1.2)と(1.3)より、
(1.5)
を得る。これを変形すると、
![{\displaystyle {\begin{aligned}h(x)y&=\int h(x)g(x)dx+C\\y&={1 \over {h(x)}}\left(\int h(x)g(x)dx+C\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab2244bc222f104927300f5f6db8df319becd6b2)
あとはこれに(1.4)を代入すると、一般解
![{\displaystyle y={\frac {1}{e^{\int f(x)dx}}}\left(\int e^{\int f(x)dx}g(x)dx+C\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed564f42abba975d79d216e795d61ac3da1dad9f)
を得る。
初期値問題
を解くには、(1.5)の両辺を積分する際に定積分とすれば、
![{\displaystyle \int _{x_{0}}^{x}\{h(x)y\}'dx=\int _{x_{0}}^{x}h(x)g(x)dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bfb6486f76e923170fdb73141ecad7f992386d4)
を得る。あとはこれをyについて解けばよい。
以上、非斉次微分方程式の解法を述べた。手順をまとめると、
- 積分因子
を求める。
に積分因子を掛け積分する。
- それを
で割って一般解とする。
となる。
非斉次1階線型微分方程式の別の解法として、定数変化法と呼ばれる方法を紹介する。
非斉次な微分方程式
![{\displaystyle y'+f(x)y=g(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec1f41ae0e9410b91c9ff97a964ceb70d32f20c0)
を解くのが最終的な目標であるが、ひとまず、右辺を
とおいて、斉次な微分方程式
![{\displaystyle y'+f(x)y=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5faea28132fd907c6096f3458e4864c8ac084e34)
を解くことにする。この形ならば、前々節で見た方法によって、一般解
![{\displaystyle y_{h}(x)=Ce^{\int {-f(x)dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6cc437d813fb1b4ef603dd88c98909893ec5d2e)
を得ることができる。ここで、非斉次な場合は積分定数のCがxの関数になると考えて、仮に非斉次微分方程式の解を
![{\displaystyle y=C(x)y_{h}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f88cf09d7089abab01c9b6b227935f073ee7a47f)
とおく。これを解くべき微分方程式へ代入すると、
![{\displaystyle {\begin{aligned}\left\{C(x)y_{h}(x)\right\}'+f(x)C(x)y_{h}(x)&=g(x)\\C'y_{h}+Cy_{h}'+f(x)Cy_{h}&=g(x)\\C'y_{h}+C(y_{h}'+f(x)y_{h})&=g(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca73fbdc41668a13bae088c221f54f943a98c2d5)
となるが、ここで
が斉次微分方程式
の解であることから、
![{\displaystyle C'(x)y_{h}(x)=g(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21c58eaee61e72d36f9a8471f6a1996b3de5e75d)
が得られる。この中で未知関数は
のみであるから、両辺を
で割ってxで積分すると、
![{\displaystyle {\begin{aligned}C(x)&=\int {\frac {g(x)}{y_{h}(x)}}dx+C\\&=\int {\frac {g(x)}{e^{\int {-f(x)dx}}}}dx+C\\&=\int g(x)e^{\int f(x)dx}dx+C\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cc17d5dfcc6cadb1cafdacbef0ce035f42b9f42)
したがって、求めるべき非斉次微分方程式の一般解は、
![{\displaystyle y=C(x)y_{h}(x)=e^{\int -f(x)dx}\left\{\int g(x)e^{\int f(x)dx}dx+C\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95620bd1b9c0b504a71b9cfe1119f0873a5b6069)
となる。これは積分因子を用いて求めた一般解と等しい。
微分方程式
を解く。
より、積分因子
は、
![{\displaystyle h(x)=e^{\int -2xdx}=e^{-x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/084274f2b4b85d9ab064728351d19dfa85c09d04)
である。これを与式右辺(
)に掛けて積分すると、
(1.6)
したがって、微分方程式の一般解は
![{\displaystyle y={\frac {-{\frac {1}{2}}e^{-x^{2}}+C}{e^{-x^{2}}}}=-{1 \over 2}+Ce^{x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9396131c2c23b91e108a350d74d50ccba61f9c34)
となる。
あるいは、定数変化法によって求めることもできる。仮に斉次な微分方程式
![{\displaystyle y'-2xy=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d2f7ec47cef21c01133ba2d6412854af9484a7e)
を解くと、この一般解は
![{\displaystyle y=Ce^{x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51d27b9673ed1bb2881e2288de4a50f8ba1f2c8a)
となる。これより、仮に求めるべき微分方程式の解を
![{\displaystyle y=C(x)e^{x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7039f39e43060676b81904b43af8af5d2322b059)
と置いて元の微分方程式に代入すると、
![{\displaystyle C'(x)e^{x^{2}}=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcb5bd4ab1ef2b1c82cce0b4dbcf9996b0057f70)
が得られる。これより、
![{\displaystyle C(x)=\int {\frac {x}{e^{x^{2}}}}dx=\int e^{-x^{2}}xdx=-{\frac {1}{2}}e^{-x^{2}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/567c62e320112a7f02c5f54af12d353cccbd8373)
となるから、求める一般解は
![{\displaystyle y=e^{x^{2}}\left(-{\frac {1}{2}}e^{-x^{2}}+C\right)=-{\frac {1}{2}}+Ce^{x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b854ecd9b754ebe7d4065659f6648bc324db934)
である。
初期値問題
を解く。
例題1で(1.6)を積分するときに定積分にする。
![{\displaystyle {\begin{aligned}\int _{1}^{x}\{ye^{-t^{2}}\}'dt&=\int _{1}^{x}e^{-t^{2}}tdt\\\left[ye^{-t^{2}}\right]_{1}^{x}&=\left[-{1 \over 2}e^{-t^{2}}\right]_{1}^{x}\\ye^{-x^{2}}-2e^{-1}&=-{1 \over 2}e^{-x^{2}}+{1 \over 2}e^{-1}\\ye^{-x^{2}}&=-{1 \over 2}e^{-x^{2}}+{5 \over 2}e^{-1}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a2e64e0760979fdcde1e01272f81efebd4060cc)
したがって求める特殊解は
![{\displaystyle y(x)=-{1 \over 2}+{5 \over 2}e^{x^{2}-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dd4a1270569e5b40d75fc1c48b11659360751a4)
あるいは、例題1で求めた一般解に
を代入することによってCの値を求めてもよい。
1階微分方程式のなかでも、特に
![{\displaystyle y'+f(x)y=g(x)y^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9a9fa99d177cf254a126e99b444a2408b1da12a)
の形の微分方程式をベルヌーイ(Bernoulli)の微分方程式と呼ぶ。
であれば上で見た非斉次1階微分方程式あるいは斉次1階微分方程式の形となり、これらの解法が適用できるが、それ以外の場合でも適切な式変形によって線型微分方程式へ帰着できることが知られている。
ベルヌーイの1階微分方程式
![{\displaystyle y'+f(x)y=g(x)y^{n},(n\neq 0,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b66f2108941f9e7af84278ca54f4737c94b7ec06)
の両辺に
をかけると、
![{\displaystyle (1-n)y^{-n}y'+f(x)(1-n)y^{1-n}=g(x)(1-n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcd82e494dbef2b3ba1f8216c96e394e4a13a864)
となるから、ここで
とおくと、
なので、
![{\displaystyle z'+f(x)(1-n)z=g(x)(1-n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f91b5c28fe657c14a61cecfe2c9c97bce5b766cc)
となる。これはzに関する1階線型微分方程式であるから、定数変化法あるいは積分因子を用いる方法によって計算することができて、一般解
![{\displaystyle z=e^{-(1-n)\int f(x)dx}\left\{(1-n)\int g(x)e^{(1-n)\int f(x)dx}dx+C\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9721d64c4d530f21e72505c8ab192308dbf973c1)
を得る。これに
を代入しなおすと、
![{\displaystyle {\begin{aligned}y^{1-n}&=e^{-(1-n)\int f(x)dx}\left\{(1-n)\int g(x)e^{(1-n)\int f(x)dx}dx+C\right\}\\y&=e^{-\int f(x)dx}\left\{(1-n)\int g(x)e^{(1-n)\int f(x)dx}dx+C\right\}^{\frac {1}{1-n}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/255469893a5160dc474e753745bbf850f74f3227)
を得る。
1階微分方程式のなかでも、特に
![{\displaystyle y'=f(x)y^{2}+g(x)y+h(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71c5634331a4d6f0f58b935ed8fb955278f712e6)
の形に書くことのできる微分法定式をリッカチ(Riccati)の微分方程式と呼ぶ。この形の方程式は初等解法によって一般解を求めることはできない。しかし、なにか1つの特殊解
が見つかれば、それを元にして一般解を求めることができる。
リッカチの微分方程式
![{\displaystyle y'=f(x)y^{2}+g(x)y+h(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71c5634331a4d6f0f58b935ed8fb955278f712e6)
について、ある特殊解
が与えられているとする。この時、
とおいて元の微分方程式へ代入すると、
![{\displaystyle {\begin{aligned}z'+y_{0}'&=f(x)(z+y_{0})^{2}+g(x)(z+y_{0})+h(x)\\z'&=f(x)z^{2}+\left\{2f(x)y_{0}+g(x)\right\}z+\left\{f(x)y_{0}^{2}+g(x)y_{0}+h(x)-y_{0}'\right\}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7324f1195dbf64115190931d7f53c8d916cf410)
となる。ここで
がこの微分方程式の特殊解であることから
![{\displaystyle y_{0}'=f(x)y_{0}^{2}+g(x)y_{0}+g(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4691eda07f735ca99b886711aa0ba984783e6f3c)
が成り立っているので、
![{\displaystyle z'=f(x)z^{2}+\left\{2f(x)y_{0}+g(x)\right\}z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34262891682fa287251833d6c7b4540c92742f21)
となる。これはベルヌーイの微分方程式で
の場合であるから、前節で見た方法で解くことができる。両辺に
をかけて
![{\displaystyle -z^{-2}z'=-f(x)-\left\{2f(x)y_{0}+g(x)\right\}z^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eba3e0f6f1794cbcffc87a4ee0c5ed40b02355f)
さらに
とおくと
であるから
![{\displaystyle u'=-f(x)-\left\{2f(x)y_{0}+g(x)\right\}u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17259127861b9461edc757ee2012405e3bfbd730)
となって、1階線型微分方程式に帰着する。この一般解は、前節で見た式から
![{\displaystyle z=e^{\int \left\{2f(x)y_{0}+g(x)\right\}dx}\left\{-\int f(x)e^{\int \left\{2f(x)y_{0}+g(x)\right\}dx}dx+C\right\}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/148532f1d37c7d6f573e3a589679c05083358b0b)
となり、求めるべき微分方程式の一般解も
![{\displaystyle {\begin{aligned}y=z+y_{0}&=e^{\int \left\{2f(x)y_{0}+g(x)\right\}dx}\left\{-\int f(x)e^{\int \left\{2f(x)y_{0}+g(x)\right\}dx}dx+C\right\}^{-1}+y_{0}\\&={\frac {e^{\int \left\{2f(x)y_{0}+g(x)\right\}dx}}{-\int f(x)e^{\int \left\{2f(x)y_{0}+g(x)\right\}dx}dx+C}}+y_{0}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e1fac3de3614f4ea0cf2131390bb0d0665e1e8c)
と求まる。
次の方程式を解け
![{\displaystyle y'+y\cos x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d2ad3d4934ddc02e0436abd12d6306ceded0773)
![{\displaystyle y'+yx\sin x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f1c122f4b7d9dea5e010d3889b364b8ee8a47ef)
![{\displaystyle y'+{\frac {2xy}{x^{2}+1}}={\frac {1}{x^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e524952b5dad55bb45b20e70f1f9f06e8a1e138f)
![{\displaystyle y'+y=xe^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6558265a07f3cfcb43e52b59f9c6eca5009b32a9)
![{\displaystyle y'+3x^{2}y=e^{-x^{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5be5ff1df0873674aa06421fa3178654edadb6f1)
![{\displaystyle y'+{\frac {2xy}{x^{2}+1}}=1-{\frac {4x^{3}y}{x^{4}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5f65cea9456935baea8b20704d48fd730fef519)
![{\displaystyle y'+y{\sqrt {x^{2}+1}}=0,y(0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e799fc0831c9fe74408b3b99291c3c30f6e53841)
![{\displaystyle y'-2xy=x,y(0)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ed737cbff654d9d9eccc795b9f1c2ab2f173f2a)
![{\displaystyle y'+xy=x,y\left({\frac {3}{2}}\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d365744743523ed02ef05e250f79489a4343c64)
![{\displaystyle y'+2y={\frac {e^{-2x}}{x^{2}+1}},y(1)=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7778818529c96959dd47862e5b43d19acedfc72a)
![{\displaystyle y=Ce^{-\sin x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/093e0fcbac4ce53c5e578a04ee4f75c0d78d50a1)
![{\displaystyle y=Ce^{x\cos x-\sin x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbe0ec5e52ca48039b7b39509d34fbd50b8d07ab)
![{\displaystyle y={\frac {x+C}{x^{2}+1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf27a0cd916c99e3c0b44d89feaa8958adc0817d)
![{\displaystyle y=Ce^{-x}+{\frac {2x-1}{4}}e^{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f44ca664fcfb30309f2ecaaf5fbb03ac3775aba)
![{\displaystyle y=(x+C)e^{-x^{3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbe1535bf029b4c247079c9c864cd75fdfecbf53)
![{\displaystyle y={\frac {15x^{7}+21x^{5}+35x^{3}+105x+C}{105(x^{2}+1)(x^{4}+1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c386219f6c71883bd1543e3f0321cc938d00a3f3)
![{\displaystyle y=\left(x+{\sqrt {x^{2}+1}}\right)^{-{\frac {1}{2}}}e^{-{\frac {1}{2}}x{\sqrt {x^{2}+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c8dae3d06a74282db1dbbdf514726e9414c9ad4)
![{\displaystyle y={\frac {1}{2}}\left(3e^{x^{2}}-1\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f894d95150fc7829a05e14f9cc2f8fc8cc9cf83)
![{\displaystyle y=1-e^{-{\frac {4x^{2}-9}{8}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e7684acad3cbd0204ede4d13ddd9a3b10d23fd7)
![{\displaystyle y=\left(\arctan x+2e^{2}-{\frac {\pi }{4}}\right)e^{-2x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ada23ab8b419282cec52e08ceb505e1d3fd15a90)
線型微分方程式のひとつの応用例として、原子核の崩壊に関するものを見てみよう。
物理学者ラザフォードは、放射性元素の原子核は不安定で、一定の割合で崩壊する事を示した。つまり、原子核の数をyという関数で表すことにすれば
- y'=-λy (5.1)
という関係式が成り立つ。ここで比例定数λは崩壊定数と呼ばれる正数である。
この関係式は、まさに一階線形常微分方程式となっているので、これまでに述べた方法で解くことができる。
y(x0)=y0とすれば、(5.1)は
(5.2)
と解ける。適当に文字を置き換えると、高等学校理科 物理II 原子と原子核の1.2.3で述べた式が導かれたことになる。
一階定数係数連立線型常微分方程式と高階定数係数線型常微分方程式
[編集]
上の節では一階の線型常微分方程式の解法を述べた。その中でも最もやさしい定数係数の方程式
![{\displaystyle y'=ay}](https://wikimedia.org/api/rest_v1/media/math/render/svg/289154a7b01723838505e75b56f5acdd19465d46)
の解は、変数分離法により簡単に求まり、
![{\displaystyle y=Ce^{xa}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3123ee3652bcb9bd0ba19a4a9614baa644234308)
であった。ただし、C=y(0)である。
次に、n本の一階定数係数線型常微分方程式を連立させた方程式
![{\displaystyle {\begin{cases}y_{1}'=a_{11}y_{1}+a_{12}y_{2}+\cdots a_{1n}y_{n}\\y_{2}'=a_{21}y_{1}+a_{22}y_{2}+\cdots a_{2n}y_{n}\\\vdots \\y_{n}'=a_{n1}y_{1}+a_{n2}y_{2}+\cdots a_{nn}y_{n}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79c6f726cc7be50ea0558d17974ae6b4a49260d4)
を考えよう。この方程式は、行列を用いて
![{\displaystyle \mathbf {y} '=A\mathbf {y} \cdots \bigstar }](https://wikimedia.org/api/rest_v1/media/math/render/svg/27a08a8403e24591bfef9f791661dd8919cae63c)
と表すことができる。ただし
である。
方程式が1本のときの例から類推すれば、この連立方程式の解は
![{\displaystyle e^{xA}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfc771488cb195e12bdb1b4cbbe6d9780fdd5abf)
のようなものが定義できれば、それを用いて表せそうである。しかし、行列の指数関数をどうやって定義すればよいだろうか?そのために、そもそも実数上の関数としての指数関数がどのように定義されるかを考えてみると、次のようにしてTaylor展開で定義できることが思い出される。
![{\displaystyle e^{x}=\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a68d9f0b6547c4a776d6b3f2c035d4948987ff5e)
行列であっても、この式に代入することは可能そうである。すなわち、次のように定義する。
定義 正方行列Aに対して、
この級数が収束するのか、またどの程度よい収束をするのかが問題だが、結論から言えば一様絶対収束する。詳しい証明は省くが、ゆえにこの級数を項別微分することができ、
![{\displaystyle (e^{xA})'=Ae^{xA}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ff8e818d07ebbd616f893604cd6b60fc922fba2)
が成り立つ。
このことから、連立線型微分方程式は初期条件を与えると次のように解けることがわかる。
定理
![{\displaystyle \mathbf {y} =e^{xA}\mathbf {y} (0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf987f603a0cce36b4148ba2a7ea26818e6cf35c)
- は、方程式
の初期値
における解になっている。
実際に解になっていることは代入によって確かめることができる。
次に、n階の定数係数線型常微分方程式
![{\displaystyle y^{(n)}=a_{n-1}y^{(n-1)}+\cdots +a_{1}y'+a_{0}y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b91c3249335ac66aa7ffae43830599da1b262433)
を考える。この方程式は、実は次のようにして連立常微分方程式とみなして行列を使って表せる。
![{\displaystyle {\frac {d}{dx}}{\begin{pmatrix}y\\y'\\\vdots \\y^{(n-2)}\\y^{(n-1)}\end{pmatrix}}={\begin{pmatrix}0&1&0&\cdots &0\\0&0&1&\cdots &0\\\vdots &&&&\vdots \\0&0&0&\cdots &1\\a_{0}&a_{1}&a_{2}&\cdots &a_{n-1}\end{pmatrix}}{\begin{pmatrix}y\\y'\\\vdots \\y^{(n-2)}\\y^{(n-1)}\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68a30192d4e37b55decfdf5605023cf8a77888f4)
よって、上の節で述べた方法により初期値問題を解くことができる。
では、具体的な係数行列が与えられたとき、どのようにすれば行列の指数関数が計算できるかを見てみよう。
対角行列
![{\displaystyle D={\begin{pmatrix}c_{1}&0&\cdots &0\\0&c_{2}&\cdots &0\\\vdots &&&\vdots \\0&0&\cdots &c_{n}\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2cad8d3866a0c6c82c669d94ea17466b10d9190)
に対して
を計算してみよう。
すぐにわかるように、
![{\displaystyle D^{k}={\begin{pmatrix}c_{1}^{k}&0&\cdots &0\\0&c_{2}^{k}&\cdots &0\\\vdots &&&\vdots \\0&0&\cdots &c_{n}^{k}\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12ee5d99621d1f017363e967c63bda99600ac407)
である。よって、各成分ごとの計算から
である。
行列Aが
と対角化可能な場合も行列の指数関数は容易に計算できる。なぜならば、
![{\displaystyle A^{k}=(PDP^{-1})^{k}=PD^{k}P^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f2d3d5b335190764b5965e99ec5bd6c0402368)
なので、これを代入することで
![{\displaystyle e^{xA}=Pe^{xD}P^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48c5a20357368b243fb59ac08632daf433e91093)
となり、対角行列の指数関数は容易に計算できるからである。
係数行列が対角化不可能なときは上記のようにはいかず、一般にはJordan標準形を用いることになる。しかし、特殊な場合にはそこまでの計算をする必要はない。たとえば、固有値がすべて等しい場合には次のようにして計算することができる。
n次正方行列Aのn個の固有値がすべて
のとき、この行列の固有多項式は
なので、Cayley-Hamiltonの定理より
![{\displaystyle (A-\lambda I)^{n}=O}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a98856b9fd0544dbdba40f50996546a50481fee3)
である。このことを用いると、
![{\displaystyle {\begin{aligned}e^{xA}&=e^{\lambda xI+x(A-\lambda I)}\\&=e^{\lambda x}\sum _{k=0}^{\infty }{\frac {x^{k}(A-\lambda I)^{k}}{k!}}\\&=e^{\lambda x}\sum _{k=0}^{n-1}{\frac {x^{k}(A-\lambda I)^{k}}{k!}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/816941c2670a4cbc9bcdf71b073a54f301528df5)
と有限回の計算で指数関数を計算することができる。
二階の線型常微分方程式の具体例として、ばねにつながれた物体の運動を記述してみよう。ばねにつながれた物体の時刻xにおける変位をyとする。このとき、ばねから物体が受ける力は(負の比例定数で)変位に比例することが知られている。このことを用いて物体の運動方程式を記述すると、
![{\displaystyle y''={\frac {-k}{m}}y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/491849cd895233c4a6dfb041ac362bef02b0169b)
となる。ただしkはばね定数と呼ばれる正の数、mは物体の質量である。
この方程式を行列を用いて書き直すと、
![{\displaystyle {\frac {d}{dx}}{\begin{pmatrix}y\\y'\end{pmatrix}}={\begin{pmatrix}0&1\\{\frac {-k}{m}}&0\end{pmatrix}}{\begin{pmatrix}y\\y'\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1928f28b6f07ea44559328963710bcb20677abe)
と表せる。
とする。この行列は対角化できるので、指数関数が計算できて、
![{\displaystyle e^{xA}={\begin{pmatrix}\cosh(i{\sqrt {\frac {k}{m}}}x)&-i{\sqrt {\frac {m}{k}}}\sinh(i{\sqrt {\frac {k}{m}}}x)\\i{\sqrt {\frac {k}{m}}}\sinh(i{\sqrt {\frac {k}{m}}}x)&\cosh(i{\sqrt {\frac {k}{m}}}x)\\\end{pmatrix}}={\begin{pmatrix}\cos({\sqrt {\frac {k}{m}}}x)&{\sqrt {\frac {m}{k}}}\sin({\sqrt {\frac {k}{m}}}x)\\-{\sqrt {\frac {k}{m}}}\sin({\sqrt {\frac {k}{m}}}x)&\cos({\sqrt {\frac {k}{m}}}x)\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b2d38d7df183e99c1faa7f0c3b463cca3c4c701)
である。初期条件を
で定めると、解は
![{\displaystyle {\begin{pmatrix}y\\y'\end{pmatrix}}={\begin{pmatrix}\cos({\sqrt {\frac {k}{m}}}x)&{\sqrt {\frac {m}{k}}}\sin({\sqrt {\frac {k}{m}}}x)\\-{\sqrt {\frac {k}{m}}}\sin({\sqrt {\frac {k}{m}}}x)&\cos({\sqrt {\frac {k}{m}}}x)\\\end{pmatrix}}{\begin{pmatrix}y_{0}\\v_{0}\end{pmatrix}}={\begin{pmatrix}y_{0}\cos({\sqrt {\frac {k}{m}}}x)+v_{0}{\sqrt {\frac {m}{k}}}\sin({\sqrt {\frac {k}{m}}}x)\\-y_{0}{\sqrt {\frac {k}{m}}}\sin({\sqrt {\frac {k}{m}}}x)+v_{0}\cos({\sqrt {\frac {k}{m}}}x)\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1792c9b97a4938e21df7a7e63f61c22b8abfc108)
と求められた。これがばねによって振動する物体の時刻xにおける変位と速度である。
常微分方程式の初期値問題の解の存在と一意性
[編集]
前節まででみたように、いくつかの微分方程式については積分計算によって解を具体的に求めることができるが、一方でそのような求積法の存在しない常微分方程式も多い。だが、そのような方程式についても、ある条件を満たせば解の存在や一意性が保証されることがある。ここではそのような例を見ていこう。
もし解の存在や一意性が保証されるならば、簡単に求積できない微分方程式でも少しは調べやすくなる。一意性が保証されるということは、まぐれやあてずっぽうであっても解をひとつみつけさえすれば、解けたのと同じになるからだ。また、ここで扱う存在と一意性に関する定理は、その解を(ある関数列の極限として)具体的に構成する方法を含んでおり、その意味であてずっぽうではなく解を見つける方法を提供してくれてもいるのである。
本節では、独立変数xの関数yについての1階常微分方程式
…(*)
について考える。関数yが(*)を満たすことは、
…(*)'
を満たすことと同値であることも注意しておく。2変数関数
に対していくつかの仮定を課したときに、この方程式の解がどのように構成されるかを見ていく。
本節では、fが次の仮定(H1)を満たすとする。
- (H1)
は点
の近傍で解析的(すなわち冪級数展開可能)であり、
と表される。
このとき、次が成り立つ。
定理5.1.1
が仮定(H1)を満たすとき、(*)を満たす
の近傍で解析的な関数yがただひとつ存在する。
これを証明したい。ただ、冪級数の中心が一般の形だと計算が煩雑になるので、ここでは次の形の定理を証明することにする。
定理5.1.1'
が原点の近傍で解析的であり、
と表されるとき、常微分方程式
…(☆)
を満たす
の近傍で解析的な関数yがただひとつ存在する。
いくつかの補題に分けて証明しよう。
補題5.1.2 冪級数
であって(☆)を満たすものがあるならば、その係数
は一意に定まる。
(証明)
である。
のときは
を(☆)に代入すると、
![{\displaystyle (lhs)=y_{1}+2y_{2}x+3y_{3}x^{2}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9ff262df327ef9ef06b09102cad00a9e17e7abb)
![{\displaystyle {\begin{aligned}(rhs)&=f_{0,0}+f_{0,1}(y_{1}x+y_{2}x^{2}+\cdots )+f_{0,2}(y_{1}x+y_{2}x^{2}+\cdots )^{2}+f_{1,0}x+f_{1,1}x(y_{1}x+y_{2}x^{2}+\cdots )+f_{2,0}x^{2}+\cdots \\&=f_{0,0}+(f_{0,1}y_{1}+f_{1,0})x+(f_{0,1}y_{2}+f_{0,2}y_{1}^{2}+f_{1,1}y_{1}+f_{2,0})x^{2}+\cdots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a770d66d0fe4c9adb12878222e3291e76230efb4)
であり、次数の低い方から係数を比較することで、係数
が順に決まっていくことがわかる。//
補題5.1.3
の冪級数展開の優級数
があるとき、常微分方程式
…(☆)'
の冪級数解は、補題5.1.2で定まる(☆)の冪級数解の優級数である。
(証明)
とし、(☆)の解を
、(☆)'の解を
とする。
ただし、
の冪級数表示は現時点では収束性については何も分かっていない、形式的冪級数である。すべてのj,lについて
が成り立つならばすべてのjについて
であることを数学的帰納法で証明する。
なので、
のときは成り立つ。
なるすべてのjで成り立つと仮定する。補題5.1.2の証明から、
は
に関する多項式の値であり、その係数は非負である。
も同様に、同じ非負係数多項式に
を代入した値である。よって、帰納法の仮定より、
が成り立つ。よって、すべての自然数jについて
が成り立つ。//
補題5.1.4
が原点の近傍
において
を満たすとき、
は
の冪級数展開の優級数である。
(証明)
を示せばよい。
の定義域を複素変数に拡張してw:コーシーの積分公式を用いると、
のとき
であるから、
である。//
補題5.1.5 補題5.1.3の微分方程式で
としたものの解は、
の近傍で解析的な関数であり、収束する冪級数で表される。
(証明)
![{\displaystyle y'=\sum _{j,l=0}^{\infty }{\frac {M}{r^{j}\rho ^{l}}}x^{j}y^{l}={\frac {M}{\left(1-{\frac {x}{r}}\right)\left(1-{\frac {y}{\rho }}\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d30f574bc8eea5e8ffd766d2977367c5dd982021)
は変数分離形なので解を求めることができて、
![{\displaystyle \left(1-{\frac {y}{\rho }}\right)dy={\frac {M}{\left(1-{\frac {x}{r}}\right)}}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12a0f310cdd6ebe5d90c1d066ba37d1c89d20d28)
![{\displaystyle -{\frac {\rho }{2}}\left(1-{\frac {y}{\rho }}\right)^{2}=-Mr\log \left(1-{\frac {x}{r}}\right)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae0bddc6cd13ba975122b54ec8c88bcf971e7b96)
であり、
より
であることに注意して整理すると、
![{\displaystyle y=\rho -{\sqrt {\rho \left(\rho +2Mr\log \left(1-{\frac {x}{r}}\right)\right)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2193e8730337585469c2c109f21758ffa8c61521)
である。これは確かに
で解析的な関数である。//
(定理5.1.1’の証明)
補題5.1.3,5.1.4,5.1.5より、補題5.1.2の冪級数は収束する優級数をもち、したがって自身も収束する。よって、この冪級数の極限として、解が一意的に存在することがわかる。//
本節では、fが次の仮定(H2)を満たすとする。
- (H2)
は点
の近傍
でリプシッツ連続である、すなわちあるKに対して
が成り立つ。
このとき、解は次のようにして構成される。
定義5.2.1
が仮定(H2)を満たすとき、漸化式
で定まる関数列
をピカールの逐次近似列という。
定理5.2.2
が仮定(H2)を満たすとき、
とする。閉区間
において(*)を満たす関数yがただひとつ存在し、それはピカールの逐次近似列
の
における極限として定義される。
これをいくつかの補題に分けて証明しよう。
補題5.2.3
のとき、
である。
(証明)
//
補題5.2.3を帰納的に用いることで、任意のjについて
の値域が
に含まれ、したがって関数列
がwell-definedであることが従う。
次に、解の一意性を先に示しておこう。
補題5.2.4
が仮定(H2)を満たすとき、閉区間
において(*)を満たす関数はただ一つである。
(証明)
がともに(*)'を満たすとすると、fがリプシッツ連続であることから
![{\displaystyle |y(x)-{\tilde {y}}(x)|=\left|\int _{x_{0}}^{x}f(t,y(t))-f(t,{\tilde {y}}(t))dt\right|\leq \left|\int _{x_{0}}^{x}|f(t,y(t))-f(t,{\tilde {y}}(t))|dt\right|\leq K\left|\int _{x_{0}}^{x}|y(t)-{\tilde {y}}(t)|dt\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe8edebb0e6a6e75f5a1bc47c27ae8a52045f046)
である。一方、補題5.2.3より、
![{\displaystyle |y(x)-{\tilde {y}}(x)|\leq |y(x)-y_{0}|+|{\tilde {y}}(x)-y_{0}|=\left|\int _{x_{0}}^{x}f(t,y(t))dt\right|+\left|\int _{x_{0}}^{x}f(t,{\tilde {y}}(t))dt\right|\leq 2\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b634a6fd8bc301c50d37aece369c4a1db25efae5)
なので、
![{\displaystyle |y(x)-{\tilde {y}}(x)|\leq 2\rho K|x-x_{0}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17bf7b4b365945e24821973f3f822c464f6f2cff)
であり、よって
![{\displaystyle |y(x)-{\tilde {y}}(x)|\leq \left|\int _{x_{0}}^{x}2\rho K|t-x_{0}|dt\right|=2\rho {\frac {(K|x-x_{0}|)^{2}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/257137add480d0361f6f4760b138e0dacce30b52)
である。同様に繰り返すことで、任意の自然数lに対して
![{\displaystyle |y(x)-{\tilde {y}}(x)|\leq 2\rho {\frac {(K|x-x_{0}|)^{l}}{l!}}\leq 2\rho {\frac {(K\delta )^{l}}{l!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e36dbe81c082b7bf5c79e338e8c1de64b4f7a9bf)
であることがわかるが、
なので、
である。//
補題5.2.6 関数列
は一様収束する。
(証明)
補題5.2.3とfがリプシッツ連続であることより、
![{\displaystyle |y_{1}(x)-y_{0}|\leq M|x-x_{0}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5500a31348fa7a8e279466ce1ac413da58380d6b)
![{\displaystyle |y_{2}(x)-y_{1}(x)|\leq \left|\int _{x_{0}}^{x}|f(t,y_{1}(t))-f(t,y_{0}(t))|dt\right|\leq K\left|\int _{x_{0}}^{x}|y_{1}(t)-y_{0}(t)|dt\right|\leq K\int _{x_{0}}^{x}M|t-x_{0}|dt\leq KM{\frac {|x-x_{0}|^{2}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57d46352f1776fcba2d64dcbb06a52c6971e4635)
以下同様に繰り返して、
![{\displaystyle |y_{j}(x)-y_{j-1}(x)|\leq {\frac {M}{K}}{\frac {(K|x-x_{0}|)^{l}}{l!}}\leq {\frac {M}{K}}{\frac {(K\delta )^{l}}{l!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfa119202e333be7f84d50221424248ed77f3513)
である。よって、
のとき
![{\displaystyle |y_{j}(x)-y_{l}(x)|\leq \sum _{i=j+1}^{l}{\frac {M}{K}}{\frac {(K\delta )^{i}}{i!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/809dd3144180845cd8d768c12c6cbda3c34491ff)
であるが、右辺は
において0に収束するので、
は一様収束する。//
以上で定理5.2.2を示す準備は整った。
(定理5.2.2の証明)
が一様収束することに注意して
の両辺の
における極限を考えると、
![{\displaystyle \lim _{j\to \infty }y_{j}(x)=y_{0}+\int _{x_{0}}^{x}f(t,\lim _{j\to \infty }y_{j}(t))dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81dc1e573ce8e811ac78287f8a54ec7afe9c2f47)
である。これは
が(*)'の解であることを示している。
本節では、fが次の仮定(H3)を満たすとする。
- (H3)
は点
の近傍
で連続である。
このとき、解は次のようにして構成される。
定義5.3.1 自然数jに対し、
における関数
を次のように定める。まず、
とする。次に、非負整数iに対して
と定め、
のときには
…(#)
とする。
についても同様にする。このようにして定まる関数
のグラフは連続な折れ線になり、これをコーシーの折れ線という。
前節までに見た「解析的」や「リプシッツ連続」と比べ、「連続」はとても弱い仮定であり、より多くの関数が満たしている。だがその分本節では解の一意性は失われ、存在しか示すことができない。すなわち、次が成り立つのみである。
定理5.3.2 コーシーの折れ線
は一様収束する部分列
を持ち、
は方程式(*)の解である。
まず、次の補題を示す。
補題5.3.3
とする。関数列
は
において一様有界かつ同程度連続である。
(証明)
定義より
![{\displaystyle |y_{j}(x_{1})-y_{j}(x_{2})|\leq M|x_{1}-x_{2}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7beea8b02cf94e76e7b1bfa47531b21d0d611c61)
なので、同程度連続である。また、この式で
とすると
![{\displaystyle |y_{j}(x)|\leq |y_{0}|+M\delta \leq |y_{0}|+\rho }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e8a7f0bfed1602fc37c232db12dae47542b742f)
なので、一様有界である。//
補題5.3.3とアスコリ=アルツェラの定理により、
が一様収束する部分列を持つことがわかるので、あとはこの部分列の極限が解になっていることを示せばよい。
(定理5.3.2の証明)
が(*)'の解になっていることを示したい。(*)と(#)を辺々引いた式
![{\displaystyle y(x)-y_{j,l}(x)+\sum _{d=0}^{i-1}\int _{x_{d}}^{x_{d+1}}(f(x,y(x))-f(x_{d},y_{j}(x_{d})))dx+\int _{t_{i}}^{t}(f(x,y(x))-f(x_{i},y_{j}(x_{i})))dx=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0395fcc1d2e72afb0307ca06808139723d74e4e0)
が成り立つことを示せばよい。左辺を
とする。
を示したい。まず、任意の
に対してあるNが存在して、
ならば
である。次に有界閉集合D上の連続関数fは一様連続なので、任意の
に対して、
ならば
となるように、
をとることができる。この
に対して
を満たすように
をとり、この
に対して
かつ
を満たすようにlをとれば、
のときには
![{\displaystyle |x-x_{d}|+|y(x)-y_{j_{l}}(x_{d})|\leq |x-x_{d}|+|y(x)-y_{j_{l}}(x)|+|y_{j_{l}}(x)-y_{j_{l}}(x_{d})|\leq {\frac {r}{j_{l}}}+\varepsilon +M{\frac {r}{j_{l}}}<\delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd8510e009d6b81601ddaa49f34cab3175ddb0b9)
なので、
である。よって、
![{\displaystyle |A_{j_{l}}|<\varepsilon +(i+1)\int _{x_{d}}^{x_{d+1}}\varepsilon '=\varepsilon +{\frac {(i+1)r\varepsilon '}{j_{l}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/003ae075f433825499848f5115299df3f2c056a4)
である。
は任意なので、
である。
陰関数型の1階常微分方程式
![{\displaystyle \displaystyle F{\Bigl (}k+\ell x+my,\;\;{\frac {dy}{dx}}\;{\Bigr )}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/209b0c648d4cb42885a9cfa1aa37581a424dde62)
は求積法で一般解を表示することができる。ここに、
は任意の既知関数であり、
は任意定数である。
この陰関数型1階常微分方程式の一般解は、次に示す三通りの式で与えられる。
![{\displaystyle x=\!\int \!\left\{{\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;d\phi (t)\;}{dt}}\;\right\}dt+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa6abb3c7e58ea6f4038c3854578a6810a908ccf)
![{\displaystyle k+\ell x+my=\phi (t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4844c1ab6a8f21f555537630f308be6f05276191)
![{\displaystyle F{\bigl (}\phi (t),\;\psi (t){\bigr )}\equiv 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08717d34b895ab3443327ccacf88608d00013679)
ここに、
は媒介変数であり、
と
は
の関数で、
は
に関する恒等式である。なお
は積分定数である。
以下で、その解法を示す。
与えられた常微分方程式
に対して、
を媒介変数とする任意関数
を導入し、
![{\displaystyle k+\ell x+my=\phi (t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4844c1ab6a8f21f555537630f308be6f05276191)
![{\displaystyle \displaystyle {\frac {dy}{dx}}=\psi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/861622781ff91d75b0e7eb80a04e65983812bd89)
と置く。ただし、
とする。
上式
の両辺を
で微分すると、
![{\displaystyle \displaystyle \ell +m{\frac {dy}{dx}}={\frac {d\phi (t)}{dt}}\cdot {\frac {dt}{dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4265e06b6412eff9891ff0c376b0923d5f3053ae)
となる。
ここで、
と
から
を消去すると、
![{\displaystyle \displaystyle \ell +m\psi (t)={\frac {d\phi (t)}{dt}}\cdot {\frac {dt}{dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53778bc809850963adfbf9cdb8003d1abd894ada)
を得る。この式を変形すると、
![{\displaystyle {\frac {dx}{dt}}={\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {d\phi (t)}{dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bf741b85d7eadd6e69c50a561597c9b358f3a97)
となる。上式は変数分離形であるから積分すると、
・・・・・(▲)
となり、
が
の関数として表示された。
これを用いれば
は
と上式
により
の関数として与えられる。なお
は積分定数である。
途中の計算は省略して
の式のみを以下に示しておく。
・・・・・(▲▲)
上記の(▲)式と(▲▲)式を用いて、
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}={\frac {\displaystyle {\frac {dy}{\;dt\;}}}{\displaystyle {\frac {dx}{\;dt\;}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f90a39c27d62c710b91ec2b3ccb5713297d1c3)
を計算すると、
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}=\psi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26cc2cdd910a7d0ab440bd8f2d0f3948b03618bf)
を得る。この
は、
を解く時、
始めに仮定した式と同一である。
次に、
と
から
に至る計算の詳細を下に示しておく。
(▲)式を
で微分した式は前掲の、
である。一方、(▲▲)式を
で微分すると、
![{\displaystyle \displaystyle {\frac {\;{d}y\;}{dt}}={\frac {1}{\;m\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}-{\frac {\ell }{\;m\;}}\cdot \!{\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132907ff8639cb9f4e84ea09a7ea0adc805a7e49)
となる。従って、
![{\displaystyle \displaystyle {\frac {\displaystyle \;{\frac {dy}{\;dt\;}}\;}{\displaystyle {\frac {dx}{\;dt\;}}}}=\displaystyle {\frac {\;\displaystyle {\frac {1}{\;m\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}-{\frac {\ell }{\;m\;}}\cdot \!{\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}\;}{\displaystyle {\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5faf18020c9e4965077768fd62c139c8be9ad686)
である。更に計算してゆくと、
![{\displaystyle \displaystyle {\frac {\displaystyle \;{\frac {dy}{\;dt\;}}\;}{\displaystyle {\frac {dx}{\;dt\;}}}}=\displaystyle {\frac {\;\displaystyle {\frac {1}{\;m\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}\;}{\displaystyle {\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}}}-{\frac {\;\displaystyle {\frac {\ell }{\;m\;}}\cdot \!{\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}\;}{\displaystyle {\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;{d}\phi (t)\;}{dt}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bac3454dc69076fb93f8bc9b9f341711969de438)
となるから、これを計算して整理すると、
![{\displaystyle \displaystyle {\frac {\displaystyle \;{\frac {dy}{\;dt\;}}\;}{\displaystyle {\frac {dx}{\;dt\;}}}}=\displaystyle {\frac {\;\displaystyle {\frac {1}{\;m\;}}\;}{\displaystyle {\frac {1}{\;\ell +m\psi (t)\;}}}}-{\frac {\;\displaystyle {\frac {\ell }{\;m\;}}\;}{1}}=\displaystyle {\frac {\;\ell +m\psi (t)\;}{\;m\;}}-\displaystyle {\frac {\ell }{\;m\;}}=\displaystyle {\frac {\ell }{\;m\;}}+\psi (t)-\displaystyle {\frac {\ell }{\;m\;}}=\psi (t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e67e820ae4127cfab125984bd1e713bc7d7c4d8)
である。すなわち,
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}={\frac {\displaystyle {\frac {dy}{\;dt\;}}}{\displaystyle {\frac {dx}{\;dt\;}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f90a39c27d62c710b91ec2b3ccb5713297d1c3)
であるから、
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}=\psi (t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4844e231f869b76eea44af143455ffa91d6ed6c)
が得られたことになる。
陰関数型の関数
が、
のとき、
![{\displaystyle x=\!\int \!\left\{{\frac {1}{\;\ell +m\psi (t)\;}}\cdot {\frac {\;d\phi (t)\;}{dt}}\,\right\}dt+C,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a2c04edf560fb91bee4515d62753f00a31dbb76)
![{\displaystyle k+\ell x+my=\phi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18cf16c56ef956bffbe18fe2f9e509100258cc11)
から、一般解を求めよ。
解きかたは、
の関係を
に適用すればよい。
すなわち、
として、積分すると、
・・・・・(•)
を得る。
が
の関数として表示されたので、
は、
を用いて
の関数として求めることができる。
計算の途中は省略して、求めた
の数式のみを記述しておく。
・・・・・(••)
一般解
と
が
の関数として表示されたので、次に、
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}={\frac {\displaystyle {\frac {dy}{\;dt\;}}}{\displaystyle {\frac {dx}{\;dt\;}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f90a39c27d62c710b91ec2b3ccb5713297d1c3)
を確かめておく必要がある。(•)式と(••)式の両辺を
で微分すると、
![{\displaystyle {\frac {dx}{\;dt\;}}={\frac {1}{\;\ell +m\phi (t)\;}}\cdot {\frac {\;d\phi (t)\;}{dt}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/528a968ae2ba5e155c8ce733238adcd050c7e462)
![{\displaystyle {\frac {dy}{\;dt\;}}={\frac {\phi (t)}{\;\ell +m\phi (t)\;}}\cdot {\frac {\;d\phi (t)\;}{dt}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d2cbc6388db85d6a1cc5c4a5772754a05f064a4)
が得られる。この、上記の 2式により、
は、
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}={\frac {\displaystyle \;{\frac {dy}{\;dt\;}}}{\displaystyle {\frac {dx}{\;dt\;}}}}={\frac {\displaystyle {\frac {\phi (t)}{\;\ell +m\phi (t)\;}}\cdot {\frac {\;d\phi (t)\;}{dt}}}{\displaystyle \;{\frac {1}{\;\ell +m\phi (t)\;}}\cdot {\frac {\;d\phi (t)\;}{dt}}\;}}=\phi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b4d5bebceed01c3dcae1b31de9a1e295336d615)
となる。すなわち,
![{\displaystyle \displaystyle {\frac {dy}{\;dx\;}}=\phi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14973d8a7cfbb35d63cc3668b49e81d93717e908)
が得られた。
例題1 は、
の場合であるから、
上式
は、常微分方程式
を解くとき、
始めに仮定した式
と同一である。
次に、(•)式と(••)式から、
を消去した式を示しておく。
・・・・・(•••)
上記の(•••)式は、
の一般解である。なお、
は積分定数である。
陰関数型の関数
が、
の場合は、
であるから、
最初の仮定
と
により、
![{\displaystyle k+\ell x+my={\frac {dy}{dx}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25af4ce0dd0e9bfa309351fb375a763dd5ced351)
が成り立つ。この式は、1階線型常微分方程式であるため求積法で解ける。
その一般解と、例題1 の一般解とが一致することを確かめよ。
(注:積分定数が 例題1 の場合とは等しくなく、異なる形をしている。非常に興味深い。研究する価値がある。(••••)と(★★)。)
上記の式
の一般解は、公式を用いて解くと、
・・・・・(★)
となる。なお、
は積分定数である。
以下で、例題1 の(•••)式と (★)式を比較する。
まず、例題1 の(•••)式を展開すると、
・・・・・(••••)
を得る。
次に、例題2 の(★)式を展開すると、
・・・・・(★★)
となる。
上記(••••)式、および(★★)式は、いずれも、
を満たす。