常微分方程式

常微分方程式とは、数学において、未知関数とその導関数からなる等式で定義される方程式である微分方程式の一種で、未知関数が本質的にただ一つの変数を持つものである場合をいう。すなわち、変数 t}} の未知関数 //x//}} に対して、関数 F}} を用いて

という形にできるような関数方程式を常微分方程式と呼ぶ。//x//sup は未知関数 //x//}} の k}} 階の導関数である。未知関数が単独でない場合には、関数の組をベクトルの記法を用いて表せば次のようになる。

ここで F, x}} は

を表す。この方程式系はしばしば連立常微分方程式と呼ばれる。

また、多くの n}} 階常微分方程式は次のような形に書くことができる。

常微分方程式の理論およびその研究を微分方程式論という。あるいはまた関数方程式論の名で微分方程式論を指すこともある。

1. 線型常微分方程式
-----------

常微分方程式が

の形に表されるとき線型であるという。ただし、//asub および //b//}} はt}} を変数とする既知の関数である。//b// =}} 0}} の方程式は特に斉次  な方程式と呼ばれ、そうでない方程式は非斉次  な方程式と呼ばれる。//

2. 非線型常微分方程式
------------

線型でない常微分方程式は非線型であると言われる。非線型方程式の解は一般に、線型方程式のそれに比べて複雑な様相を呈する。そのような例として、ローレンツ方程式やパンルヴェ方程式などがある。一方、求積法で解ける形の非線型方程式も数多く知られている。 以下に例を挙げておく 。

2.1. 1階非線型常微分方程式
----------------

ここに、n}} は実数であり、//f//}} は既知関数である。

　 m, n}} は実数，ただし，//m// ≠ 0}}，f}} は既知関数。 　 //A//}}，F}} は既知関数。 　 //A//}}，//B//}}，F}} は，いずれも既知関数。

2.2. 2階非線型常微分方程式
----------------

上記の //P//}} と //f//}} は既知関数とする。

　 n}} は実数，ただし，//n// ≠ 2}}，f}} は既知関数。 　 f}} は既知関数。 　　 α, γ, n}} は実数．ただし，//n// ≠ −1}}。 　　 //f// }} は既知関数。 は実数．ただし，。

3. 連立常微分方程式
-----------

連立常微分方程式は、 1 つの独立変数 t}} と複数の未知関数 //x//sub およびその導関数により構成される複数の方程式の組である。例えば、比較的簡単な例として、t}} の 2 つの未知関数を //x//sub とする。それらの一階の導関数を //x'}}//sub として、

は一つの連立常微分方程式である。ただし、F, G}} は既知関数である。

一般の連立常微分方程式は、1 つの独立変数と m}} 個の未知関数およびその n}} 階の導関数を含み、複数個の常微分方程式の組になる。

ここで //xsub は、未知関数 //xsub の j}} 階の導関数である 。 なお、連立常微分方程式を常微分方程式系と呼ぶこともある。 これら r}} 個の常微分方程式すべてを満足する関数の組 //x//sub をその解という。

具体的な例を一つ示す。独立変数 x}} の未知関数を y, z}} とし、a, b, c, d}} を定数とすると、

は、一階の連立常微分方程式の例である。一般的な連立常微分方程式は、求積法で解くのは困難であるが、一般性を含む連立常微分方程式の例として、求積法で解ける連立常微分方程式が多少知られている。 一例を挙げておく。

x}} は独立変数であり、y, z, w}} は x}} を変数とする未知関数である。また、F, G, H}} を既知関数とする。

4. 脚注
-----

5. 関連文献
-------

5.1. 和書
-------

藤原松三郎., 常微分方程式論.岩波書店．
[1]
吉江琢児., 微分方程式論. 共立出版.
フォーサイス 著,粟野保, 末岡清市, 石津武彦 共訳. , 微分方程式 上巻. 朝倉書店.
坂井秀隆. . 常微分方程式. 東京大学出版会.
大谷光春. . 常微分方程式論. サイエンス社.
福原満洲雄「常微分方程式 第2版」岩波全書. 岩波書店.
常微分方程式, 朝倉書店, 高野恭一.
常微分方程式と解析力学, 木村俊房・飯高茂・西川青季・岡本和夫・楠岡成雄  伊藤秀一著, 共立講座 21世紀の数学 第11巻978-4-320-01563-0}}, 1998年01月, 共立出版.
ウイルス感染と常微分方程式, 岩見真吾, 佐藤佳, 竹内康博 著共立出版, 2017.4
常微分方程式 新版, レフ・セミョーノヴィチ・ポントリャーギン/千葉克裕 共立出版 1981年02月
常微分方程式の局所漸近解析, 柴田正和 森北出版 2010年08月

5.2. 洋書
-------

Hartman, Philip  [1964], Ordinary differential equations, Classics in Applied Mathematics, 38, Philadelphia: :en:Society for Industrial and Applied Mathematics, ISBN 978-0-89871-510-1, MR 1929104
Ince, Edward L.  [1926], Ordinary Differential Equations, :en:Dover Publications, New York, ISBN 978-0-486-60349-0, MR 0010757
Witold Hurewicz, Lectures on Ordinary Differential Equations, :en:Dover Publications, ISBN 0-486-49510-8
Teschl, Gerald . Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society. ISBN 978-0-8218-8328-0.
Polyanin, A. D. and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations ", Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2
Grimshaw, R. . Nonlinear ordinary differential equations. Routledge.
Arnolʹd, V. I., Geometrical methods in the theory of ordinary differential equations. :en:Springer Science & Business Media.
Arnolʹd, V. I., Ordinary differential equations. Springer.
Wolfgang Walter, Ordinary differential equations. Springer.
Logemann, H., & Ryan, E. P. . Ordinary differential equations: Analysis, qualitative theory and control. Springer.
Hermann, M., & Saravi, M. . A First Course in Ordinary Differential Equations. Analytical and Numerical Methods, Springer India.
Chicone, C. . Ordinary differential equations with applications. Springer Science & Business Media.

6. 関連項目
-------

媒介変数
変数分離
求積法
複雑系

6.1. 方程式
--------

パンルヴェ方程式
リッカチ方程式
フックス型微分方程式
ガウスの微分方程式
ベッセル関数
ルジャンドルの微分方程式
微分方程式
線型微分方程式
複素微分方程式
偏微分方程式

6.2. 数値計算
---------

NAG数値計算ライブラリ
硬い方程式
常微分方程式の数値解法
ルンゲ・クッタ法
線型多段法
狙い撃ち法