微分方程式

微分方程式 (びぶんほうていしき)とは、関数ｙ=ｙ(x)とその導関数等と独立変数を含む方程式をいう。微分方程式が与えられたとき、それに満足する関数を求めることを微分方程式を解くという。

入門編

例

${\frac {dy}{dx}}+3y+x=0$

${\frac {d^{2}y}{dx^{2}}}-3\left({\frac {dy}{dx}}\right)^{2}+2y=x$

などはその例である。 y=y(x)を未知関数、xを独立変数という。

高等学校の数学の応用

平面上の半径cの曲線の集まり、つまり曲線群と微分方程式の関係について考える。平面上の直交座標(x、y)について、次の方程式で表せられる。

$x^{2}+y^{2}=c^{2}$

は原点を中心とする半径cの円を表す。定数cに種々の値を与えると、原点Oを中心とする同心円の集まりが得られる。今、円群に属する全ての円が共通に持っている性質を求めよう。そのためには上の方程式から出発して定数cを含まない式を導けば良い。そこでyをxの関数とみなして上の両辺xで微分する。

$2x+{\frac {d}{dx}}y^{2}=0$

すると合成関数(数学Ⅲp76、p77参照)より次の式となる。

$2x+{\frac {dy}{dx}}{\frac {d}{dy}}y^{2}=0$

これは定数cを含まない。これを整理して次の式となる。

$x+{\frac {dy}{dx}}y=0$

または、

${\frac {dy}{dx}}{\frac {y}{x}}=-1$

となる。これは円群(1)に属する全ての円が共通に持っている性質であり、1階微分方程式である。

応用、人間生活との関わり・利用

次に示すように、物理学、生物学、構造工学、電気工学、都市工学、天文、経済等と幅広い分野で、微分方程式で表現可能な現象が多い。そのため、微分方程式を数学的あるいは数値解析的に解くことで、現象を調べることがよく行われている。

微分方程式の応用例

• 運動方程式(ニュートン力学,古典力学) - 2階線形微分方程式
• 回路方程式 - 多くは1または2階線形微分方程式
• マクスウェル方程式(電磁気学) - 偏微分方程式
• ラプラス方程式(電磁気学,天文学,流体力学など、ポテンシャル理論)
• ポアソン方程式(電磁気学,万有引力など)
• ヘルムホルツ方程式(波、電磁気学,地震学,音響学など)
• 波動方程式(波、電磁気学,地震学,音響学など)
• 電信方程式(波、電磁気学)
• 拡散方程式(密度、集団遺伝学,熱力学など)
• 粒子数の保存則(粒子、電荷保存則など)
• キャリア連続の方程式(半導体)
• 熱伝導方程式(熱力学) - 偏微分方程式
• アインシュタイン方程式(一般相対性理論)
• シュレーディンガー方程式(量子力学) - 偏微分方程式
• スツルム＝リウヴィル型微分方程式(量子力学,波動関数,エルミート多項式,ルジャンドルの陪多項式,ラゲールの陪多項式など)
• ランジュバン方程式(量子力学,ブラウン運動)
• フォッカー・プランク方程式(統計力学)
• ナビエ・ストークス方程式(流体力学)
• ブラック・ショールズ方程式(金融工学)
• ローレンツ方程式(大気変動,レーザー,発電機,サーモサイフォン,ブラシレスDCモーター,電気回路,化学反応,正浸透などの簡易モデル、マルクス水車)
• ロジスティック曲線(生物の個体数,人口) - 非線形微分方程式,変数分離型

問題例

(1)　質量mの物体が空中を鉛直に落下する。この時、物体が受ける抵抗力を無視すれば、この物体の運動方程式は、ｇを重力の加速度として

$m{\frac {dv}{dt}}=mg$

である。最初の速さが0で落下し始めるとき、速さvを時間tの関数で表せ。

(2)　長さl、曲げ剛性EIの桁橋(単純梁AB(Aは回転支点、Bは可動支点))について、等分布荷重ωのとき、たわみ角及びたわみを微分方程式を用いて求めよう。ただし、EIは一定とする。

(考え方)

弾性荷重　${\frac {M}{EI}}$

Aからの距離xのところに荷重がかかるとする。

①　梁の弾曲線方程式　${\frac {d^{2}y}{dx^{2}}}=-{\frac {M_{x}}{EI}}$

②　たわみ角θ　${\theta }{\fallingdotseq }{\tan }{\theta }={\frac {dy}{dx}}=-{\int }{\frac {M_{x}}{EI}}dx$

③　たわみy　$y=-{\iint }{\frac {M_{x}}{EI}}dxdx$

④　たわみ、たわみ角は不定積分を行うので、積分定数が出てくる。この積分定数は梁の支持条件から求める。

(解き方)

①　曲げモーメント $M_{x}={\frac {{\omega }l}{2}}x-{\frac {\omega }{2}}x^{2}$

②　たわみ角θ　$\theta =-{\int }{\frac {M_{x}}{EI}}dx={\frac {{{-{\frac {{\omega }l}{4}}}x^{2}+{\frac {\omega }{6}}x^{3}}+C_{1}}{EI}}$

③　たわみy　　$y=-{\iint }{\frac {M_{x}}{EI}}dxdx={\frac {{{-{\frac {{\omega }l}{12}}}x^{3}+{\frac {\omega }{24}}x^{4}}+{C_{1}}x+C_{2}}{EI}}$

④　積分定数を梁の支持条件から求める。

x=0のときy=0であるから、　${\frac {C_{2}}{EI}}=0$

以上より　$C_{2}=0$

x=lのとき、y=0であるから、${\frac {{{-{\frac {{\omega }l}{12}}}l^{3}+{\frac {\omega }{24}}l^{4}}+{C_{1}}l+C_{2}}{EI}}=0$

以上より　$C_{1}={\frac {{\omega }l^{3}}{24}}$

⑤　②～④より、たわみ角、たわみの一般式は次式で表される。

(1)　最大たわみ角は、支点(x=0、l)で生じる。

x=0のとき、②に代入して$\theta _{A}={\frac {{\omega }l^{3}}{{24}{EI}}}$

x=lのとき、②に代入して$\theta _{B}=-{\frac {{\omega }l^{3}}{{24}{EI}}}$

(2)　最大たわみは梁中央部が最も大きいのでx=l/2だからこれを③に代入すると

$y_{max}={\frac {5{\omega }l^{4}}{{384}{EI}}}$

難解編

数学の解析学諸分野に於ける〝微分方程式〟とは独立変数、従属変数(関数)及びその導関数(ないし偏導関数)を含む方程式の事をいう。

正確には微分方程式は1変数関数を扱う「常微分方程式」と2変数以上の所謂多変数関数を扱う「偏微分方程式」に大別されるのだが単に微分方程式と言った場合常微分方程式を指す事が多い。
方程式と言うからには解を求める事が目標となる訳であるが 数多ある微分方程式の解法を網羅するのは容易な事ではない。 本頁では幾つか簡単な解法を紹介してゆくだけにとどめて詳細については割愛させてもらう事にする。

また、一見複雑に見える微分方程式でも変数変換などの組み合わせにより、簡単な形に帰着させることができる場合もある。例えば、n次導関数などの高次の微分を含んでいても、変数変換や連立微分方程式を用いて解を出せることがある。連立微分方程式を用いるときは、各変数をベクトルに格納して、ベクトルの微分を導入すると一括で計算できる。
他には、斉次方程式の解が分かれば、非斉次方程式の解を勘で当てることでその和を解とすることができる。ただし、単なる勘で当てることは現実的ではない。
さらに、ラプラス変換表が手元にあれば(あるいは覚えていれば)、ラプラス変換と逆ラプラス変換の性質を利用して解けるものもある。このとき物理的には、ラプラス変換して得た、(周波数領域を意味する)sドメインの代数方程式を解いて、それを逆ラプラス変換で、(時間領域を意味する)tドメインの解に戻すことになる。sドメインでは微分・積分がかけ算の形で書けるので、tドメインの微分方程式を解くことはsドメインの代数方程式を解くことに相当し簡単である。一方でsドメインとtドメインを相互に変換するのが難しく、一応原理的には複素積分を知っていればラプラス変換表がなくてもできるが、およそ人間のやることではないような計算にもなりうる。

微分方程式が連続的な値を引数とする関数に対する関係式であることに対して、漸化式(差分方程式)は離散的な値を引数とする数列に対する関係式である。コンピューターでは離散的な値を扱うので、微分方程式をコンピューターで解くときは漸化式による数値解析の場合が多い。よって、コンピューターを用いて得た結果は解析解とのズレが生じる。取り扱う値の間隔しだいで精度が決まり、計算時間と精度がトレードオフになる。そのため、適切な精度になるような間隔にする必要があるが、初期値鋭敏性があるものなどは僅かな差が大きな問題になることもあるので注意が必要(バタフライ効果?)。また、ラプラス変換の離散バージョンであるZ変換も利用できる。一応、関数をシンボリックにあつかうプログラムもあるにはある。

常微分方程式の代表的なものに、2階線形微分方程式がある。変数分離形とは限らないが、線形なので解析的に解ける。いわゆる初等関数(指数関数、対数関数、三角関数)などは複素空間上ではその解になる。非線形の微分方程式は大体において解析的には解けないので、コンピューターを使って数値計算で追いかけまわしてようやく尻尾が掴めるかどうか？という奴である。「抽象」というのは「象をひっぱる」ということなので、むやみに抽象化すると死ぬような目に遭う。

初等関数はだいたい関数電卓でそれなりに追い回せるが、「尻尾をつかんだ！」「掴んだら死んでも話さないぞ！」とか考えていると命に係わる。まぁ、「群盲象を撫でる」程度の話なので、飼い馴らされた奴を撫でるくらいでやめといたほうがいい。

1階微分方程式

微分方程式に含まれてる導関数の最高階数をその微分方程式の階数と言う。ここでは1階の微分方程式の解法を紹介してゆく事にする。

変数分離形

以下のような幾分単純な形状の1階微分方程式の事を変数分離形の微分方程式と呼ぶ。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dy}{dx}=f(x)g(y)}

この微分方程式は「両辺$\div g(y)$」を計算したのちに(※ただし$g(y)\neq 0$。)置換積分を用いる事により以下のように解く事ができる。；

$\int {\frac {1}{g(y)}}dy=\int f(x)dx+C$

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle g(y)=0} の時は、$y=C$となる。

ちなみに左辺の積分定数は移項して1つにまとめた。微分方程式の世界では積分定数の事を任意定数と呼ぶ事が多い。

例題 　最も簡単な微分方程式

${\frac {dy}{dx}}=ay$、($a=Const$)

の解(任意定数を含む解は一般解と呼ばれる)は以下のように求められる。；

$\int {\frac {1}{y}}dy=a\int dx+C$、$\log {|y|}=ax+C$、

$y=\pm e^{ax+C}$ （$y\neq 0$の時）

$y=C$ （$y=0$の時）

　　∴$y=Ce^{ax}$

(ただし任意定数を$\pm e^{C}\to C$と書き換えた。以下このような書き換えは適宜かつ暗黙裡に行うので何卒御了承願いたい。)

初期条件と初期値問題

微分方程式の一般解に対して任意定数に何らかの値を与え一意的に表した解の事を特殊解と呼ぶ。

微分方程式の問題の中にはこの特殊解を求めるために独立変数と関数及びその導関数の間にとある条件が課されている場合があり、初期条件と呼ばれている。初期条件が課された問題を初期値問題という。

1階微分方程式の初期値問題の場合初期条件は

$y(x_{0})=y_{0}$

のような形で課されていて

「独立変数がこの値をとった時関数値はこーゆー値になる。」

という事を表わしている。微分方程式から求めた一般解にこの初期条件を当て嵌めれば任意定数を消去する事ができて、晴れて特殊解を求める事ができる。

2階以上の高階微分方程式の場合初期条件に導関数の関数値も加わって数多くの任意定数を(あたかも連立方程式を解くが如く)消去しなきゃならんので面倒臭い事この上無い。

ちなみに微分方程式の中には上述の初期値問題の他に境界条件と呼ばれる条件が課された問題所謂境界値問題とゆーのがある。初期値問題は領域上(定義域上)の一点に於ける条件を課した問題であったが境界値問題は領域の端っこ即ち「境界」(定義域の端っこ)に於ける条件を課した問題である。　常微分方程式の場合x軸の閉区間の端点(2個)での条件となるので消去すべき任意定数が2つ以上あるびぶほ即ち2階(以上の)微分方程式でなければ境界値問題は成立しない…と思う(知らんけど)

例題 次の微分方程式の特殊解を求めよう。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dy}{dx}=-2xy^2 ,y(2)=2}

これは上記びぶほと同様変数分離形だから

$\int y^{-2}dy=-\int 2xdx+C$

より一般解$y={\frac {1}{x^{2}+C}}$が得られる。これに初期条件を代入すれば $2={\frac {1}{4+C}}$だから$C=-{\frac {7}{2}}$となる。これを一般解に代入する事により特殊解

$y={\frac {2}{2x^{2}-7}}$

が求まる。

尚、数学的には初期条件の独立変数の値はその値で未知関数やその導関数が∞にならなきゃ何でもいいんだけど応用的ないし物理学的には零が採用される場合が多い。またその場合独立変数は大概時間tで表す事が多いので初期条件は時刻t=0に於ける物理量(初速度や初期位相など)を表してる事になる。

また後述のラプラス変換による線形微分方程式の解法に於いてはそもそも独立変数(大体時間t)が零のときでないと専用の公式(微分法則)が使えないからそれが零でない初期条件など微分方程式の専門書ぐらいでしかお目にかかれない。

物理寄りの例題 質量mの物体が空中を鉛直に落下する。この時、物体はその速度vの2乗に比例する抵抗力

$kv^{2}$

(k>0)を受けるとすれば、この物体の運動方程式は、ｇを重力の加速度として

$m{\frac {dv}{dt}}=mg-kv^{2}$

である。最初の速さが0で落下し始めるとき、速さvを時間tの関数で表せ。

解答　簡略化のためφ^2=k/mgとおけば上式は

${\frac {dv}{dt}}=g(1-\phi ^{2}v^{2})$

と書ける。この等式を

${\frac {1}{(1+\phi v)(1-\phi v)}}{\frac {dv}{dt}}=g$

と変形し、左辺の大きい分数を部分分数分解したのちに両辺を

${\frac {1}{2}}\int \left({\frac {1}{1+\phi v}}+{\frac {1}{1-\phi v}}\right)dv=\int gdt+c$

と時間tで積分すれば

${\frac {1}{2\phi }}\log {\left|{\frac {1+\phi v}{1-\phi v}}\right|}=gt+c$

が成り立つ。これを更に変形すれば

${\frac {1+\phi v}{1-\phi v}}=ce^{2\phi gt}$

が得られる(途中でこっそり任意定数を書き換えたので注意)。で、この式を分子にφv足したり引いたり分数に逆数とったり移項したり通分したり…と面倒臭い変形しまくってvに関して解いた等式がこちら☆

$\therefore v={\frac {1}{\phi }}{\frac {ce^{2\phi gt}-1}{ce^{2\phi gt}+1}}$

※検算してみて正しかったんで一応これが一般解やと思います。間違ってたらごめんなさい💦

あっ、いけね！特殊解求めなきゃいけないんだった！えーっと初期条件はv(0)=v₀=0(初速度が零)だから上記一般解よりc=1が求まりやす。従って

$v={\frac {1}{\phi }}{\frac {e^{2\phi gt}-1}{e^{2\phi gt}+1}}$

が上述の微分方程式の特殊解になります。ちなみにこれは双曲線正接関数を用いれば

$v={\frac {1}{\phi }}\tanh {(\phi gt)}$

と綺麗に表す事ができます☆

またこの微分方程式は以下の如き積分公式

• $\int {\frac {1}{1-x^{2}}}dx=\tanh ^{-1}x$

を使えばもっとエレガントに解く事ができるそーです。興味のある方は是非お試しあれ♪

1階線形微分方程式

以下の形の微分方程式

$y'+P(x)y=Q(x)$

を1階線形微分方程式という。(ちなみに方程式内に含まれる未知関数及びすべての導関数が一次式で表されている微分方程式を線形微分方程式という。)この微分方程式は上述の方法だけでは解けない。そこで以下のような工夫をする。

右辺を零とおいて$y'+P(x)y=0$という方程式(これを上記微分方程式に付随する同次方程式または斉次方程式という)を作ると、これは変数分離形だから以下のように解ける。

$\int {\frac {1}{y}}dy=-\int P(x)dx+C$

　　∴$y=Ce^{-\int P(x)dx}$

ここで任意定数$C$を関数$u=u(x)$に置き換えて(この手法を定数変化法という) $y=ue^{-\int P(x)dx}$ を微分すれば 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=u'e^{-\int P(x) dx}+ue^{-\int P(x) dx} \cdot (-P(x))}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'+P(x)y=u'e^{-\int P(x) dx}}

と変形できる。これが構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q(x)} と等しいとすれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u'=e^{\int P(x) dx}Q(x)}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u=\int e^{\int P(x) dx}Q(x) dx+ C}

が成り立つ。

従って上式から1階線形微分方程式の解は次のように表せる事が分かる。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-\int P(x) dx} \left\{\int e^{\int P(x) dx}Q(x) dx+C \right \}}

例題 　以下の微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'+2y=8e^{2x}}

に上述の解の公式を適用すると構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int P(x) dx=2x} より

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} y &=e^{-2x} \left\{\int 8e^{4x} dx+ C \right \} \\&=e^{-2x}(2e^{4x}+C) \\&=2e^{2x}+ Ce^{-2x} \end{align}}

とゆー風に解が求まる。

ベルヌーイの微分方程式

　1階微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=P(x)y+Q(x)y^m} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (m \neq 0,1)}

をベルヌーイの微分方程式という。このびぶほは構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u=y^{1-m}} なる変数変換を施すと

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} u' &=(1-m)y^{-m} \cdot y' \\&=(1-m)y^{-m}(Py+Qy^m) \\&=(1-m)(Pu+Q)\end{align}}

となって1階線形微分方程式に帰着する。

クレローの微分方程式

以下のような微分方程式をクレローの微分方程式という。； 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=xy'+f(y')} 。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=p} とおくと構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=xp+f(p)} となるが、この両辺を微分すると 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=1 \cdot p+xp'+f'(p) \cdot p'(=p)} となって構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p' \{x+f'(p) \}=0} が得られる。 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p'=0} の時、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p=C} (任意定数)であるからこれを元の方程式に代入する事により一般解

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=Cx +f(C)}

が導かれる。

他方構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x+f'(p)=0} の場合これと元の方程式とを連立させて構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle p} を消去すれば一風変わった解が得られる。この解は上記一般解の任意定数にいかなる値を代入しても求まらない解であり特異解と呼ばれている。

全微分方程式

2変数関数に関する1次微分形式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega =P(x,y)dx+Q(x,y)dy}

に対し等式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega =0} を全微分方程式という。構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle } 上記の微分形式が或る2変数関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F=F(x,y)} の全微分である時(即ち構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega =dF} である時)完全微分であるという。全微分方程式は形式的に変形すれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dy}{dx}=-\frac{P(x,y)}{Q(x,y)}}

と書けるので1階微分方程式の一種と言える。

以下上記微分形式が完全微分であるための条件を述べよう(議論が御世辞にも厳密とは言えない点については御容赦願いたい)。

上記2変数関数Fの全微分は

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle dF=\frac{\partial F}{\partial x}dx+\frac{\partial F}{\partial y}dy= F_x dx+F_y dy}

で表されるがωがFの全微分ならば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P=F_x ,Q= F_y}

が成り立たねばならない。ここで関数Fが2回連続偏微分可能であると仮定すれば2階偏導関数の性質より構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_{xy}=F_{yx}} が成り立つが、これと上記関係式を組み合わせる事により

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_y=Q_x}

が得られる。即ち必要条件

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega =dF \Rightarrow P_y=Q_x }

が導かれた事になる。

次に、逆に構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_y=Q_x} が成り立っていたとしよう。ここでやや天下り的であるが以下の様な2変数関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G=G(x,y)} が存在していたとする。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G=\int P dx}

この関数を偏微分すると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G_x=P ,G_{xy}=P_y=Q_x}

が成り立つが、移項する事により

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G_{xy}-Q_x=(G_y -Q)_x=0}

となる。そしてこの式の両辺をxで積分(偏積分？)すれば 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G_y-Q=q'(y)} が得られる。

(※上式の右辺の任意定数ならぬ「任意関数」には微分を表すプライムをわざと付けている。理由は後述の関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F=F(x,y)} を簡潔に表示せんがためである。)

上式から構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q=G_y-q'(y)} が得られるが、ここで

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F=G-q(y)}

とおけばこれを偏微分する事により

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F_x=G_x=P , F_y=G_y-q'(y)=Q}

となって微分形式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega= Pdx+Qdy} が構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega=dF} を満たす事が分かる。従って

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_y=Q_x \Rightarrow \omega =dF}

が導かれた。そして 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle q'(y)=G_y-Q} より次式が成り立つ。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F=G-\int (G_y-Q) dy}

従って以下の公式が得られた事になる。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F=\int P dx+\int \left \{Q-\frac{\partial}{\partial y}\int P dx \right \}dy}

完全微分の全微分方程式は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \omega=dF=0} という形になるのでこの全微分方程式の一般解は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F=C} 、即ち

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int P dx+\int \left \{Q-\frac{\partial}{\partial y}\int P dx \right \}dy=C}

なる形で与えられる事になる。

例題 　以下の全微分方程式を考える。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 2x^3 y^2 dx+x^4 y dy=0} 。

これは構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_y=Q_x=4x^3 y} であるから完全微分形である。解の公式に当て嵌めると、まず

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle G=\int P dx=\frac{1}{2}x^4 y^2}

であり、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q-G_y=0} であるからこれより直ちに一般解

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^4 y^2=C}

が得られる。

次に、全微分方程式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle }

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Pdx+Qdy=0}

が完全微分形でない、即ち 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_y \neq Q_x} である場合を考えよう。非完全微分形の全微分方程式に対して当該方程式の両辺に掛ければ完全微分形に変換できるような関数を積分因子と呼ぶ。一般的にはこの積分因子を求めるのは難しいのだが、都合の良い条件が揃えばこれを導くのは全く不可能な話ではない。以下ではごく簡単に得られる積分因子を考察してゆく。

さて、或る1変数関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M=M(x)} が存在していたとしよう。この関数を上記全微分方程式の両辺に掛けると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle MPdx+MQdy=0}

となるが、ここで構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P^{*}=MP,Q^{*}=MQ} とおいたとき構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P^{*}_y=Q^{*}_x} が成り立つとすれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P^{*}_y=(MP)_y=0 \cdot P+MP_y}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Q^{*}_x=(MQ)_x=M'Q+MQ_x}

より以下の変数分離形微分方程式が得られる。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{dM}{dx}=\frac{P_y -Q_x}{Q}M}

この変数分離形びぶほの右辺の分数がxだけの関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \phi=\phi (x)} で表されるなら次式が成り立つ。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M(x)=e^{\int \phi (x) dx}}

上式のような関数がそう都合良く求まるケースはあんまり無いが一応これが積分因子の公式の一つである。

(※任意定数Cはこの解を全びぶほに代入した時にどうせ両辺÷Cで消えるから書かなかった。)

以下同様の議論により或る1変数関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N=N(y)} が存在し 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \psi (y)=\frac{P_y-Q_x}{P}} を満たすようなyの関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \psi=\psi (y)} があれば

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle N(y)=e^{-\int \psi (y) dy}}

が上記非完全微分形全びぶほの積分因子となる。

例題 全微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (6x^4+8x^3+y)dx-xdy=0}

の一般解を求めよう。これは構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P_y=1,Q_x=-1} だから完全微分形ではない。しかし

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \phi (x)=\frac{P_y -Q_x}{Q}=-\frac{2}{x}}

が成り立つから

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int \phi (x) dx=-2\log x=\log x^{-2}}

より積分因子が 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle M=e^{\int \phi (x) dx}=x^{-2}} とゆー風に求められる。これを題意の微分方程式の両辺に掛ければ

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (6x^2+8x+yx^{-2})dx-x^{-1}dy=0}

が得られるがこれが完全微分形である事は直ちに分かる。 従って上述の公式が適用できて

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 2x^3+4x^2-x^{-1}y=C}

ってな感じで一般解が得られる。(※陽関数で表示すれば 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=2x^4+4x^3+Cx} となる。)

ちなみにこの例題は1階線形微分方程式の解の公式でも解けるのでお暇な方はお試し下さいませ♪

2階微分方程式

ここでは簡単な2階微分方程式の解法について述べる事にする。

容易に変数分離形にできる場合

微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''=\phi (y)}

の解法を考えよう。 この両辺に導関数y'をかけて積分すると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \int y' \cdot y'' dx=\int \phi (y) \cdot y' dx+C}

となるが、ここで構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=u} という変数変換を施すと構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''=\frac{du}{dx}} であるから上記積分は置換積分法より

$\int udu={\frac {1}{2}}u^{2}=\int \phi (y)dy+C$

と書ける。そしてこれは

$y'=\pm {\sqrt {2\int \phi (y)dy+C}}$

となって変数分離形の1階微分方程式に帰着する事ができる。 (尤も上式の変数yに関する積分を実行するのは結構大変そうだが…)

　例 　時刻tを変数とする関数$x=x(t)$に関する微分方程式(ニュートンの運動方程式(一次元版))

$m{\frac {d^{2}x}{dt^{2}}}=F$

に於いて右辺の外力Fが位置xの関数で表されている、即ち$F=F(x)$が成立しているとする。

この両辺に位置xの時間微分(即ち速度)${\dot {x}}={\frac {dx}{dt}}$をかけて先程と同様に置換積分すれば

${\frac {1}{2}}m{\dot {x}}^{2}=\int F(x)dx+C$

が得られる。(※ドット“・”は時間微分を表わす。) ちなみに上式の左辺は運動エネルギーを、右辺第1項は位置エネルギーを表している。従って上述の微分方程式から力学的エネルギー保存則が導ける事が分かった。

2階線形微分方程式

2階線形微分方程式とは一般に

${\frac {d^{2}y}{dx^{2}}}+p(x){\frac {dy}{dx}}+q(x)y=r(x)$

(※$p(x),q(x),r(x)$は$x$の関数)
の形で表される微分方程式である。
(ちなみに微分方程式界隈では物理屋は独立変数に時間tを、数学屋は未知数と同じ文字xを使う事が多い。)
物理的にはこの程度の単純な微分方程式で十分な場合が多い。何故なら近似などによりこれやもっと簡単な方程式で間に合う事が少なくないからである(解法も良く研究されている)。

物理的解釈

力学の問題では、変位yと時間tの関係を解くことがある。
このとき、二次の項の係数は質量 m だと、一次の項の係数は速度に比例するの力(例えば、空気抵抗)の比例係数だと、yの項は変位に比例する力(例えば、弾性力)とと考えられる。粘性抵抗は速度の二乗に比例するなどの理由で解析的には解けない問題もある。
電気回路の問題では、電圧vあるいは電流iと時間tの関係を解くことがある。
このとき、各係数はR(抵抗・レジスタンス),L(誘導係数・インダクタンス),C(静電容量・キャパシタンス)などである。
G(コンダクタンス)なども考えられる。
他にも、電磁波の伝搬や熱伝導も似たような式で記述できる。
ただし、空間の変数がx,y,zと多変数であるものを、一変数に変形して解く場合が多い。

解にしばしば三角関数が出て来る。振動・波動を含む物理現象の多くが二階線形微分方程式で表される。

解法

ここでは簡単な2階線形微分方程式の解法を論ずる事にする。二階なので解は、二つの基本解に対応した二つの任意変数を含む。よって、初期条件や境界条件で2つの条件があればy(x)を決定できるので、物理ではそのような問題が多い。任意の関数を係数とするような一般的な2階線形びぶほは解くのがなか²難しいんだが、各係数が定数のものなら簡単に解ける。さらに、以下のような定数係数かつ同次のそれ、すなわち斉次方程式(つまり構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(x)=0} )は割と簡単に解く事ができる。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''+ay'+by=0}

解は

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y(x)=Ce^ax+De^bx} (構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C,D} は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x} に関して定数)

の形になることが多い。構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a,b} は複素数の範囲であり、実質的に三角関数のときもある。以降は各係数が定数かつ斉次方程式を想定する。

上記の形を想像して解を仮定し解くことが出来る。

ここでやや天下り的であるが指数関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{\lambda x}} を考えて、これを微分して上記方程式に代入すれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (\lambda ^2 +a\lambda +b)e^{\lambda x}=0}

が成り立つ。

この式より未知数λに関する二次方程式(特性方程式と呼ばれる)

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda ^2 +a\lambda +b=0}

を解けばその解を構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda =\lambda _1 ,\lambda _2} (ここでは相違なる二実数解とする)とおいた時上述の線形微分方程式の一般解が

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=C_1 e^{\lambda _1 x}+C_2 e^{\lambda _2 x}}

で与えられる事が分かる。すなわち、特性方程式の解が実数解なら微分方程式の解は指数関数になる。

※ちなみに言い忘れてたが線形微分方程式は特性方程式から求められた幾つかの解(基本解という)の線形結合も解になるので注意! (随分といい加減な編集者だなぁ…💧)

次に特性方程式が重解を持つ場合を考えよう。重解だと面倒なことに、上記の形のならない(上記の形だと、基本解の関数が一次独立でない)。

この時上記線形微分方程式は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{\lambda x}} とは異なる形の基本解を持つのだがそれが或る関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u=u(x)} を用いて構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=ue^{\lambda x}} という形で表されたと仮定しよう。このyを微分して上記線形びぶほに代入したら 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align}y''+ay'+by &=e^{\lambda x} \{u''+(2\lambda +a)u'+(\lambda ^2 +a\lambda +b)u \} \\&=0\end{align}} が成り立つが、この式の{ }内の第2項は二次方程式の解と係数の関係により、第3項はλが特性方程式の解である事により零になる事が分かる。従って上式から構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u''=0} が得られるからこれを積分する事により上記線形びぶほの解(特性方程式重解ver)は

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{\lambda x}(C_1 +C_2 x)}

で与えられる事が分かった。

んじゃ次、特性方程式が虚数解(複素数解)持つ場合を考えよう。2つの複素数解をそれぞれ

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda _1=\alpha +i\beta, \lambda _2=\alpha -i\beta }

とおくと以下のように基本解が得られる。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_1=e^{\lambda _1 x}=e^{(\alpha +i\beta)x}}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_2=e^{\lambda _2 x}=e^{(\alpha -i\beta)x} }

これらにみんな大好きオイラーの公式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle e^{i\theta}=\cos \theta +i\sin \theta}

を用いれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_1=e^{\alpha x}(\cos \beta x+i\sin \beta x)}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_2=e^{\alpha x}(\cos \beta x-i\sin \beta x)}

とゆー風に変形できる。これらの線形結合を上記線形びぶほの一般解としても良いのだが、上式に

「両辺の辺々を足して(※上＋下)2で割る or 引いて(※上−下)2iで割る」

という変形を施せば上記基本解は実数関数で表す事ができる。よって、特性方程式の解が虚数解なら微分方程式の解は(実質的な)三角関数になる。

　斯くして特性方程式が複素数解を持つ時の上記線形微分方程式の一般解は以下の如く表される事になる。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{\alpha x}(C_1 \cos \beta x+ C_2 \sin \beta x)}

上式が本当に上記線形微分方程式を満たすかどうかを検証するのは少々面倒なのだが重解verの時と同様に実際に微分してみて二次方程式の解と係数の関係を使えば証明できるのでお暇な方はお試しあれ♪

ちなみに上記一般解に於いて

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_1=A\sin \theta _0 , C_2=A\cos \theta _0}

とおけば三角関数の加法定理より

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=Ae^{\alpha x}\sin (\beta x+\theta _0)}

とゆー形に書ける。

ちなみに、三階以上の微分方程式でも似たようなことが発生する。

非斉次方程式なら以上の計算で得た対応する斉次方程式の解に、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r(x)} を調整するような特殊解を一つ加えればよい。

まぁ、特殊解を見つけるのが大変だったりするが、定数変化法みたいなことをして、ゴリ押し計算で解決することも可能。偶然見つかってくれたら、どれだけ楽なことか...。

非同次方程式

ここでは定数係数の2階非同次線形微分方程式 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle }

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''+ay'+by=R(x)}

について考えよう。2つの関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_1 , y_2} が同次方程式の基本解になっているとする。するとこれらの線形結合

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=C_1 y_1+C_2 y_2}

も同次方程式の解となるが、ここで1階線形の時と同様に任意定数を或る関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u=u(x) , v=v(x)} に変えて(即ち定数変化法)以下のような式を考えてみる。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=uy_1+vy_2}

これを微分すると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=u'y_1+uy'_1+v'y_2+vy'_2}

となる。ここで天下り的であるが

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u'y_1+v'y_2=0}

と仮定すると上記の微分は

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=uy'_1+vy'_2}

と書ける。これを更に微分したら

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''=u'y'_1+uy''_1+v'y'_2+vy''_2}

となる。これらを上記非同次方程式に代入すれば 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (y''_1+ay'_1+by_1)u+( y''_2+ay'_2+by_2)v+u'y'_1+v'y'_2=R(x)} が成り立つのだが、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_1,y_2} は同次方程式の基本解であるから上式左辺の括弧内は零である。従って上述の仮定と合わせたら連立方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} u'y_1+ v'y_2 = 0\\ u'y'_1+ v'y'_2 = R(x) \end{cases}}

が得られる。これをu'、v'について解けば 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u'=-\frac{y_2 R(x)}{W}} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle v'=\frac{y_1 R(x)}{W} } が求まるが、これらを積分し関数yに代入すれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=-y_1\int \frac{y_2 R(x)}{W} dx+y_2\int \frac{y_1 R(x)}{W} dx}

とゆー感じで解が得られる。 ここで

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle W=W(y_1,y_2)=y_1 y'_2-y'_1 y_2}

なる関数を置いたが、このWはロンスキー行列式またはロンスキアンと呼ばれる関数である。(詳細は専門書を参照されたし。)

上記の解と基本解系構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_1 y_1+C_2 y_2 } の和が非同次方程式の一般解という事になるのだが、この公式を用いて上記非同次びぶほを解くのはかなり面倒である。

上記の解を構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_p} とでも置いて一般解を公式として多少丁寧に書く事にしたら

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=C_1 y_1+C_2 y_2+y_p}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_p=-y_1\int \frac{y_2 R(x)}{W} dx+y_2\int \frac{y_1 R(x)}{W} dx}

とでもなろうか。(これ暗記するんは大変や…)

(※蛇足であるが上述の解構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y_p} は任意定数を含まないので「特殊解」などと呼ばれる事が多いのだが一般解の任意定数に特定の値を入れて定めた解とは異なるのでこれを特殊解と言うのはやや語弊がある気がする。紛らわしさを回避するために文献によっては特解や個別解など特殊解とは異なる名称を与えている場合もある。)

しかし以下の例で述べるように上記公式を使わずとも簡単に一般解を求める事ができる場合もある。

　例題 　微分方程式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''-8y'+15y=8e^{7x}} の一般解を求める事にする。特性方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda ^2-8\lambda+15=(\lambda -3)(\lambda -5)=0}

より基本解系は次式で与えられる。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle C_1 e^{3x}+C_2 e^{5x}}

次に構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=Ae^{7x}} とおいて微分し題意の方程式に代入すれば構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A=1} が得られる。従って上記の微分方程式の一般解は次式で与えられる事が分かる；

∴構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=C_1 e^{3x}+C_2 e^{5x}+e^{7x}}

このように非同次項と同様の形の関数を用意して係数を比較し値を決定する事によって「特殊解」を求める方法を未定係数法という。残念ながらこの方法が使えるのは非同次項が(eを底とする)指数関数や冪関数、正弦・余弦関数及びそれらの和である時ぐらいである。

オイラーの微分方程式

以下のような形の2階冪関数係数線形微分方程式を(2階の)オイラーの微分方程式という。； 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle }

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^2 y''+axy'+by=R(x)}

この線形びぶほは構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x=e^t} と変数変換する事により定数係数のそれに変化させる事ができる。これを微分したら

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 1=e^t \cdot \frac{dt}{dx},\frac{dt}{dx}=e^{-t}}

となるが、これを用いてyを微分すると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y'=\frac{dy}{dt}\frac{dt}{dx}=\dot y \cdot e^{-t}}

が得られる。(※yのtに関する微分を“•”で表した) 更にyを微分すれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} y'' &=\frac{dy'}{dt}\frac{dt}{dx} \\&=\frac{d}{dt}(\dot y \cdot e^{-t})\frac{dt}{dx} \\&=\{\ddot y \cdot e^{-t}+\dot y \cdot e^{-t} \cdot (-1)\} \cdot e^{-t}\\&=(\ddot y-\dot y)\cdot e^{-2t} \end{align}}

を得る。(点が2つ付いてるyはtに関する2階導関数である) ゆえに以下の式が成り立つ。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle xy'=\dot y} 、 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^2y''=\ddot y-\dot y}

これらをオイラーの微分方程式に代入したら

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \ddot y+(a-1)\dot y+by=R(e^t)}

となり確かに定数係数の線形びぶほに変換できている事が分かる。

例題 　微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^2y''+8xy'-18y=0}

の一般解を求めよう。

これはオイラーの微分方程式だから上述の通り

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \ddot y+7\dot y-18y=0}

と書ける。これの特性方程式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda ^2+7\lambda -18=0} の解は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda =2,-9} であり、これより

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=C_1 e^{2t}+C_2 e^{-9t}}

が得られる。変数を元の形に戻せば一般解

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=C_1 x^2 +C_2 x^{-9}}

が導かれる。

さて、このオイラーの微分方程式を定数係数線形微分方程式に変換する公式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle xy'=\dot y,x^2 y''=\ddot y -\dot y}

であるが、これに対し線形微分作用素

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle D=d/dt}

を適用すると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle xy'=Dy} 、

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^2 y''=D^2 y-Dy=D(D-1)y}

と書ける。これを一般化したら以下のようになる。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^n y^{(n)}=D(D-1)(D-2) \cdots (D-n+1)y}

乗積記号を用いれば

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^n y^{(n)}= \prod_{r=1}^n (D-r+1)y}

と表わせる。これを数学的帰納法で証明しよう。

証明 上記等式が番号がnであるときに成り立つと仮定してn+1のとき、合成関数の微分法より

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y^{(n+1)}=\frac{dy^{(n)}}{dt} \frac{dt}{dx}=\frac{d}{dt}\left(\prod_{r=1}^n (D-r+1)y \cdot x^{-n} \right) \cdot x^{-1}}

が言える。また構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x^{-1}=e^{-t}} だから

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y^{(n+1)}= \frac{d}{dt}\left(\prod_{r=1}^n (D-r+1)y \cdot e^{-nt} \right) \cdot e^{-t} }

が成り立つ。ここで積の微分法より

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} y^{(n+1)} &=\left\{D\prod_{r=1}^n (D-r+1)y \cdot e^{-nt}+(-n)\prod_{r=1}^n (D-r+1)y \cdot e^{-nt} \right\}e^{-t} \\&= \prod_{r=1}^n (D-r+1)(D-n)y \cdot e^{-nt-t}\\&= \prod_{r=1}^{n+1} (D-r+1)y \cdot e^{-(n+1)t} \end{align}}

であるから

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \therefore x^{n+1}y^{(n+1)}=\prod_{r=1}^{n+1} (D-r+1)y }

が導かれる。ゆえに任意の自然数nに対して上述の等式が成り立つ事が分かった。(証明終)

この公式より任意階数のオイラーの微分方程式は定数係数線形微分方程式に変換する事ができる。

連立微分方程式

微分方程式にも所謂連立方程式と同様の概念即ち連立微分方程式という概念が存在する。

簡単な連立微分方程式

最も単純な連立微分方程式は以下のような1階定数係数同次線形連立微分方程式である。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} y'_1=a_{11}y_1+a_{12}y_2\\ y'_2=a_{21}y_1+a_{22}y_2 \end{cases}}

これは行列と列ベクトルを用いる事により

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{pmatrix} y'_1 \\ y'_2 \end{pmatrix}= \begin{pmatrix} a_{11} &a_{12} \\ a_{21} &a_{22} \end{pmatrix} \begin{pmatrix} y_1 \\ y_2 \end{pmatrix}}

と表す事ができる。更に上式は行列とベクトルの記号を使えば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d \boldsymbol{y}}{dx}=A \boldsymbol{y} }

と簡潔に書く事ができる。本節ではこの形の連立びぶほの解法について考察してゆく事にする。

さて、ここで唐突であるが

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle P=\begin{pmatrix} p_{11} &p_{12} \\ p_{21} &p_{22} \end{pmatrix}}

という定数を成分とする行列と

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{z}= \begin{pmatrix} z_1 \\ z_2 \end{pmatrix}}

なる関数ベクトルが存在していたとしよう。で、上述の未知関数ベクトルが構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{y}=P\boldsymbol{z} } なる関係を満たしていたとする。これを上記連立微分方程式に代入すると

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d}{dx}(P\boldsymbol{z})=A(P\boldsymbol{z})}

となるがこの両辺に左からPの逆行列を掛ける事により

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{d\boldsymbol{z}}{dx}=(P^{-1}A P)\boldsymbol{z}}

とゆー風に変形できる。

線形代数の知識によればこの等式の右辺の括弧内は或る2つの実数$\lambda _{1},\lambda _{2}$が固有方程式(二次方程式)の相違なる固有値(ニ実数解)である時

$P^{-1}AP={\begin{pmatrix}\lambda _{1}&0\\0&\lambda _{2}\end{pmatrix}}$

とゆー感じで固有値を対角成分とする対角行列を表わす公式であるからこれにより

${\begin{pmatrix}z'_{1}\\z'_{2}\end{pmatrix}}={\begin{pmatrix}\lambda _{1}&0\\0&\lambda _{2}\end{pmatrix}}{\begin{pmatrix}z_{1}\\z_{2}\end{pmatrix}}={\begin{pmatrix}\lambda _{1}z_{1}\\\lambda _{2}z_{2}\end{pmatrix}}$

が得られるが、この2つの変数分離形びぶほを解けば

${\begin{pmatrix}z_{1}\\z_{2}\end{pmatrix}}={\begin{pmatrix}c_{1}e^{\lambda _{1}x}\\c_{2}e^{\lambda _{2}x}\end{pmatrix}}$

が求まる。そしてこれを上記関係式に代入する事により

${\begin{pmatrix}y_{1}\\y_{2}\end{pmatrix}}={\begin{pmatrix}p_{11}&p_{12}\\p_{21}&p_{22}\end{pmatrix}}{\begin{pmatrix}c_{1}e^{\lambda _{1}x}\\c_{2}e^{\lambda _{2}x}\end{pmatrix}}$

が導かれる。で、簡単な行列の計算により

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{pmatrix} y_1 \\ y_2 \end{pmatrix}=c_1 e^{\lambda _1 x} \begin{pmatrix} p_{11} \\ p_{21} \end{pmatrix}+c_2 e^{\lambda _2 x} \begin{pmatrix} p_{12} \\ p_{22} \end{pmatrix}}

とゆー風に一般解が得られる。上記一般解右辺の列ベクトルは固有ベクトルであり記号を用いれば

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{y}=c_1 e^{\lambda _1 x} \boldsymbol{\phi} _1+c_2 e^{\lambda _2 x} \boldsymbol{\phi} _2}

と綺麗に表せる。斯くして上述の連立微分方程式の解の公式が導かれた。

例題 次の連立微分方程式の一般解を求めよう。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} y'_1=4y_1+y_2\\ y'_2=8y_1+6y_2 \end{cases}}

これは行列＆ベクトルで表すと

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{pmatrix} y'_1 \\ y'_2 \end{pmatrix}= \begin{pmatrix} 4 &1 \\ 8 &6 \end{pmatrix} \begin{pmatrix} y_1 \\ y_2 \end{pmatrix}}

となる。右辺の行列

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A=\begin{pmatrix} 4 &1 \\ 8 &6 \end{pmatrix} }

の固有方程式は次式で表される。 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Psi _A (\lambda)=\det (\lambda E-A)= \left| \begin{pmatrix} \lambda &0 \\ 0 &\lambda \end{pmatrix}-\begin{pmatrix} 4 &1 \\ 8 &6 \end{pmatrix} \right |=0} これより 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{vmatrix} \lambda -4 &-1 \\ -8 &\lambda -6 \end{vmatrix}=(\lambda -4)(\lambda -6)-8=0} とゆー風にλの二次方程式 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda ^2-10\lambda +16=0} が得られる。そしてこれから相違なるニ固有値構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda _1=2,\lambda _2=8} が出て来る。

次にこれら固有値に属する２つの固有ベクトルを求めよう。構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda _1=2} のとき固有ベクトルを 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{\phi}_1= \begin{pmatrix} \alpha \\ \beta \end{pmatrix}} とでも置いて固有値・固有ベクトルの定義式(☆線形変換を表す数式)構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A\boldsymbol{\phi}_1=\lambda _1\boldsymbol{\phi}_1} に当て嵌めれば等式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 2\alpha +\beta=0} が得られるので、これから

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{pmatrix} \alpha \\ \beta \end{pmatrix}= \begin{pmatrix} \alpha \\ -2\alpha \end{pmatrix}=\alpha \begin{pmatrix} 1 \\ -2 \end{pmatrix}}

が出る。ここでαは何の値でも良いので1とおく事により固有ベクトル 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{\phi}_1= \begin{pmatrix} 1 \\ -2 \end{pmatrix}} が求まる。 以下同様に構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda _2=8} のとき、 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{\phi}_2= \begin{pmatrix} \gamma \\ \delta \end{pmatrix}} とでも書いて線形変換の公式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A\boldsymbol{\phi}_2=\lambda _2 \boldsymbol{\phi}_2 } に適用すれば 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{\phi}_2= \begin{pmatrix} 1 \\ 4 \end{pmatrix}} が得られる。これら固有値・固有ベクトルを上述の解の公式に代入する事によって

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \therefore \begin{pmatrix} y_1 \\ y_2 \end{pmatrix}=c_1 e^{2x} \begin{pmatrix} 1 \\ -2 \end{pmatrix}+c_2 e^{8x} \begin{pmatrix} 1 \\ 4 \end{pmatrix}}

とゆー風に一般解が導かれる。 これをベクトルを使わずに表記すれば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \therefore \begin{cases} y_1=c_1 e^{2x}+c_2 e^{8x}\\ y_2=-2c_1 e^{2x}+4c_2 e^{8x} \end{cases}}

となる。

ちなみに2階定数係数同次線形微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''+ay'+by=0}

は関数の書き換え

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=y_1 ,y'=y'_1=y_2 , y''=y'_2=-by_1 -ay_2}

によって連立微分方程式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} y'_1=y_2 \\ y'_2=-by_1-ay_2 \end{cases}}

で表わす事ができる。行列とベクトルで書けば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{pmatrix} y'_1 \\ y'_2 \end{pmatrix}= \begin{pmatrix} 0 &1 \\ -b &-a \end{pmatrix} \begin{pmatrix} y_1 \\ y_2 \end{pmatrix}}

となるがこれの固有方程式は 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Psi _A (\lambda)=\det (\lambda E-A)= \left| \begin{pmatrix} \lambda &0 \\ 0 &\lambda \end{pmatrix}-\begin{pmatrix} 0 &1 \\ -b &-a \end{pmatrix} \right |=0} であり、特性方程式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lambda ^2+a\lambda +b=0} に等しい。従って上記2階線形びぶほは上述の連立微分方程式の特別な場合に過ぎない事が分かる。

その他の連立微分方程式

以下に記す等式はコーシー・リーマンの関係式と呼ばれる線形連立偏微分方程式である。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y} \\ \frac{\partial u}{\partial y} =-\frac{\partial v}{\partial x} \end{cases} }

この連立偏びぶほは複素解析に於いて複素関数構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle w=f(z)} が微分可能即ち正則になるための条件を表わす重要な公式である。ここでは上記関係式を機械的に導いてゆく事にする。
(※数学的に厳密な導出ではないので悪しからず) 上記複素関数が2つの2変数関数

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u=u(x,y),v=v(x,y)}

を用いて以下の如く表わせたとする。； 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle w=f(z)=f(x+iy)=u(x,y)+iv(x,y)} この等式と導関数の定義式 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta f=f(z+\Delta z)-f(z)=\gamma \cdot \Delta z +O(\Delta z)} (※構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \gamma=\alpha+i\beta} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle O(\Delta z)} は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta z} より高位の無限小) により 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align}\Delta f &=f(z+\Delta z)-f(z) \\&=u(x+ \Delta x,y+\Delta y)+iv(x+\Delta x,y+\Delta y)-\{u(x,y)+iv(x,y)\} \\&=u(x+\Delta x,y+\Delta y)-u(x,y)+i\{v(x+\Delta x,y+\Delta y)-v(x,y) \} \\&=\Delta u+i\Delta v \end{align}} が成り立つ。(※ただし構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta z=\Delta x+i\Delta y} 。)

一方で次式が求まる。； 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} \Delta f &=\gamma \cdot \Delta z +O(\Delta z) \\&=(\alpha+i\beta)(\Delta x+i\Delta y) +O(\Delta z) \\&=\alpha \Delta x-\beta \Delta y+i(\beta \Delta x+\alpha \Delta y) +O(\Delta z) \end{align}} ここで増分構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta x,\Delta y} を無限小構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle dx,dy} に近づけたら全微分の公式より

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta u \rightarrow du=\frac{\partial u}{\partial x}dx+\frac{\partial u}{\partial y}dy}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta v \rightarrow dv=\frac{\partial v}{\partial x}dx+\frac{\partial v}{\partial y}dy}

となり、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle du=\alpha dx-\beta dy} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle dv=\beta dx+\alpha dy} が成り立つから係数を比較する事により 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \alpha=\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \beta=-\frac{\partial u}{\partial y}=\frac{\partial v}{\partial x}}

が得られる。(略証終)

例 以下の複素関数が上述のコーシー・リーマンの関係式を満たす事を示そう。；

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(z)=4z^2+5z+6} 。

題意より 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} f(z) &=4(x+iy)^2+5(x+iy)+6 \\& =4(x^2-y^2)+5x+6+i(8xy+5y) \end{align}} となる。実部を構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u=u(x,y)} 、虚部を構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle v=v(x,y)} とおけば

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial u}{\partial x}=8x+5=\frac{\partial v}{\partial y}}

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial u}{\partial y}=-8y=-\frac{\partial v}{\partial x}}

となって上述の構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(z)=4z^2+5z+6} が複素微分可能である事が示された。

ちなみにこのコーシー・リーマンの関係式を更に

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial^2 u}{\partial x^2}=\frac{\partial^2 v}{\partial x \partial y}} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial^2 u}{\partial y^2}=-\frac{\partial^2 v}{\partial y \partial x}}

と偏微分したら2階偏導関数の性質より以下の等式が成り立つ事が分かる。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=0}

これは所謂ラプラス方程式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Delta u=0} の二次元版に等しい。

n回微分して元に戻る関数

微分方程式構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y^{(n)}=y} は線形微分方程式であり、解は指数関数や三角関数、双曲線関数などの有名な関数で記述できる。
もちろん、基本解の線形結合は解になるので、解は無数にある。以下には基本解の例などについて述べる。

一般

指数関数

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{ax}}

という解を仮定して与えられた微分方程式に代入すると、

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a^ny=y}

なので、aはyが非零では、

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a^n=1}

の解であり、そのような互いに異なるaは複素数の範囲でちょうどn個あるので、n階の微分方程式の基本解を構成する。

よって、基本解は、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{(e^{\frac{2\pi k}{n}})x}} (kは0からn-1までの整数)

である。

n=1

基本解は、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^x}

で指数関数である。

n=2

基本解は、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^x}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-x}}

で、指数関数である。
双曲線関数でも表せて、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=\cosh(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=\sinh(x)}

である。

n=3

基本解は、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^x}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{\omega x}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{\omega^2 x}}

となる。(ただし、ωは1の立方根)
実部を取ることで指数関数と三角関数の積でも表せて、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^x}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-\frac{1}{2}x}\cos\left(\frac{\sqrt{3}}{2}x\right)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-\frac{1}{2}x}\sin\left(\frac{\sqrt{3}}{2}x\right)}

である。

n=4

基本解は、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^x}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{ix}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-x}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-ix}}

である。(ただし、iは虚数単位)
実部を取ることで指数関数および三角関数でも表せて、

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^x}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=e^{-x}}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=\cos(x)}
• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y=\sin(x)}

である。

ラプラス変換

詳しくはラプラス変換を参照。ここでは、例題とその解法を示す。

• 手順1:初期値に注意して、ラプラス変換する。これにより、代数方程式になる。
• 手順2:代数方程式を整理して、部分分数分解する。これにより、逆ラプラス変換しやすくなる。
• 手順3:逆ラプラス変換する。これにより、微分方程式の解になる。

2階微分方程式の例

通常ラプラス変換を用いるようなときは、tを変数とするがここでは他の例に合わせてxとした。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y''+4y'+3y=e^{-2x},y(0)=0,y'(0)=3}

初期値に注意して、ラプラス変換する

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (s^2Y-3)+4sY+3Y=\frac{1}{s+2}}

Yを計算しやすい様に移項する

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle (s^2+4s+3)Y=3+\frac{1}{s+2}}

整理して、部分分数分解する。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Y=\frac{2}{s+1}-\frac{1}{s+2}-\frac{1}{s+3}}

逆ラプラス変換する。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle y(x)=2e^{-x}-e^{-2x}-e^{-3x}}

となる。第一項と第三項は一般解に対応し、第二項は特殊解である。一般解は特性方程式を解けば予想される形であり、部分分数分解するときの指針になる。この例では、特殊解も(指数関数なので)予想できるので部分分数分解するときの指針になる。

高等学校での扱い

21世紀では普通科では扱っていないが、工業科では構造力学で使うために工業数理で扱う。
また普通科でも、発展的な内容として問題集に書かれているのでたとえ習わなくても存在ぐらいは知らされる事もある。

文科省の学習指導要領により現行の高校物理では微積分を露骨に導入する事が禁じられているため高校生は苦労しながら微積無しで物理法則を学習しているが、学習意欲が旺盛な生徒のために限定的にでも良いから微積分及び微分方程式を物理の授業に導入すべきではないかという意見も少なからず存在するらしい。

関連項目

基本単語

• 関数
• 方程式
• 連立方程式
• 指数関数
• 三角関数

微積分

• 微分
• 偏微分
• 全微分
• 積分
• 斉次方程式
• 非斉次方程式
• 基本解
• 一般解
• 特殊解
• 特異解
• 積分因子
• 初期条件
• 境界条件
• 特性方程式

線形代数

• ベクトル
• 行列
• 固有値問題
• ロンスキアン

複素数

• ラプラス変換
• 逆ラプラス変換

離散的

• 漸化式
• 差分方程式

その他

• グリーン関数

参考文献

• 『原色現代新百科事典』学習研究社1968年6月1日初版第2刷発行
• 矢野健太郎・石原繁『基礎解析学』裳華堂2001年1月25日発行。
• 近畿高校土木会構造力学オーム社出版局2002年7月10日第1版6刷発行。