応用数学 - 常微分方程式の基礎のソースを表示

== 概要 ==
微分方程式(differential equation)とは、未知関数とその導関数の関係式として記述される関数方程式である。<br>
微分方程式は、常微分方程式(ordinary differential equation)と偏微分方程式(partial differential equation)に分類される。<br>
<br>
yをxの1変数関数とする時、yは <math>y = f(x)</math> または <math>f(x, y) = 0</math> と記述する。<br>
この時、変数x、関数y、関数yの微分(導関数)である <math>\frac{dy}{dx}, \quad \frac{d^2 y}{dx^2}, \quad \frac{d^3 y}{dx^3}, \cdots</math> を含んだ方程式を、常微分方程式という。<br>
<br>
微分方程式を満たす関数 <math>y = f(x)</math>、または、<math>f(x, y) = 0</math> を、その方程式の解または解曲線という。<br>
微分方程式における解の関数(未知関数)を求めることを「微分方程式を解く」という。<br>
<br><br>

== 微分方程式の解 ==
全ての微分方程式に解が存在するとは限らない。<br>
適当な条件を満たす初期値問題(initial value problem)については解の存在が保障されている。<br>
<br>
微分方程式の初期値問題の解には、以下の種類がある。<br>
* 一般解 (general solution)
* 特殊解 (particular solution)<br>特別解あるいは特解とも言う。
* 特異解 (singular solution)
<br><br>

== 初期値問題 ==
初期値問題とは、未知関数のある点における値を初期条件として備えた微分方程式のことである。<br>
初期値問題は、コーシー問題(Cauchy problem)とも呼ばれる。<br>
<br>
現象を微分方程式でモデル化することは、ある初期値問題を解くことと同義である場合が多い。<br>
そのような場合、微分方程式は与えられた初期条件に対して現象がどのように時間発展するかを特徴付ける発展方程式と見なされる。<br>
<br><br>

== 一般解と特殊解 ==
n階常微分方程式の初期値問題において、n個の任意定数を含む解を、一般解という。<br>
一般解の任意定数に特別な値を代入して得られる解を、特殊解(特別解または特解)という。<br>
<br>
1つの定数Cに対して、以下の初期値問題の解曲線を <math>y = y(x, C)</math> とする。<br>
<math>\frac{dy}{dx} = f(x, y) \qquad \mbox{( 1 階 常 微 分 方 程 式 )} </math><br>
<math>y(a) = C \qquad \mbox{( 初 期 条 件 : x = a の と き y = C )}</math><br>
<br>
定数Cを動かした時、解曲線 <math>y = y(x, C)</math> は様々な関数を表す。<br>
このように、常微分方程式 <math>\frac{dy}{dx} = f(x, y)</math> の無数の解曲線を表す任意定数Cを含んだ解 <math>y = y(x, C)</math> が一般解である。<br>
<br>
一般解は、微分方程式の解曲線の集まり、すなわち、解曲線群を表す。<br>
特殊解は、解曲線群の中の個々の解曲線を表す。<br>
<br><br>

== 一般解と特殊解の例 ==
* 1階常微分方程式
*: <math>\frac{dy}{dx} = 2x</math>
** 一般解
**: <math>y = x^2 + C \qquad \mbox{( C は 任 意 定 数 ) }</math>
** 特殊解
**: Cに0を代入した時の特殊解 : <math>y = x^2</math>
**: Cに1を代入した時の特殊解 : <math>y = x^2 + 1</math>
*: <br>
* 2階常微分方程式
*: <math>\frac{d^2y}{dx^2} - 2 \frac{dy}{dx} + y = 0</math>
** 一般解
**: <math>y = (C_1 x + C_2 )e^x \qquad (C_1, C_2 : \mbox{任 意 定 数 })</math>
** 特殊解
**: <math>C_1 = 1, \, C_2 = 1</math> を代入した時の特殊解 : <math>y = (x + 1)e^x</math>
<br><br>

== 特異解 ==
常微分方程式の一般解の任意定数において、どのような値を代入しても得られない解が存在する場合がある。<br>
このような解を、特異解という。<br>
<br>
つまり、特異解は一般解に含めることができない解である。<br>
<br><br>

== 特異解の例 ==
* 常微分方程式
*: <math>\left (\frac{dy}{dx} \right )^2 - \frac{dy}{dx} x + y = 0</math>
** 一般解
**: <math>y = Cx - C^2</math>  (直線群)
** 特異解
**: <math>y = \frac{x^2}{4}</math>  (放物線)
<br><br>

== 解の存在と一意性 ==
特別な場合の初期値問題については、解の存在とその一意性が保障されている。<br>
<br>
* 定理(解の存在と一意性)
*: 2変数関数f(x, y)が点(a, b)を含むxy平面上のある領域において、連続かつ有限の値をとるならば、
*: 初期値問題 <math>\frac{dy}{dx} = f(x, y), \quad y(a) = b</math> は、少なくとも1つの解をもつ。
*: さらに、その領域で、f(x, y)がyに関して偏微分可能であり、<math>\frac{\partial f}{\partial y}</math> が連続ならば、ただ1つの解をもつ。
<br><br>

== 基礎方程式 (支配方程式) ==
根本的な物理法則を数学的な方程式で表したものを、基礎方程式、または、支配方程式(governing equations)という。<br>
それらの方程式は、常微分方程式、または、偏微分方程式で表されることが多い。<br>
<br>
基礎方程式の例<br>
* マクスウェル方程式(電磁気学)
* シュレーディンガー波動方程式(量子力学)
* ハイゼンベルグ運動方程式(量子力学)
* ナビエ-ストークス方程式(流体力学)
* アインシュタイン方程式(一般相対性理論)
<br><br>

== 常微分方程式の例 ==
==== ニュートンの冷却法則 ====
ニュートンの冷却法則とは、物体の温度の低下(上昇)速度は、外気との温度差に比例する。<br>
<math>\frac{dx}{dt} = -k(T - T_s) \qquad</math> (変数分離系)<br>
<br>
xは熱した物質の温度で、時間tを変数とする関数であり、x<sub>s</sub>は周囲の環境の温度で定数である。<br>
また、<math>k > 0</math> は冷却の強さを表す定数（熱伝達率）であり、熱容量、表面積、熱伝導率等に依存する。<br>
<br>
この時、<math>\frac{dx}{dt} = -k(x - x_s)</math> の一般解は、<br>
<math>
\begin{array}{lcl}
\frac{dx}{x - x_s} &=& -k \\
\int{\frac{1}{x - x_s}} dx &=& \int{-k dt} \\
ln(x - x_s) &=& -kt + C \\
x - x_s &=& e^{-kt + c} \\
x &=& e^{-kt} e^C + x_s \\
x &=& C e^{-kt} + x_s \quad \therefore e^C = C
\end{array}
</math><br>
<br>
したがって、<math>x = C e^{kt} + x_s \qquad</math> (C : 任意の定数)となる。<br>
<math>t = 0</math> とする時、定数Cは <math>C = x - x_s</math> となる。<br>
この時、特殊解は、<math>x = (x - x_s) e^{kt} + x_s</math> となる。<br>
<br>
初期値を <math>x(0) = x_0</math> とする時、<math>x(t) = (x_0 - x_s) e^{-kt} + x_s</math> と表すことができる。<br>
<br>
 例題1.
 フライパンの温度x<sub>0</sub>を100[℃]、部屋の温度x<sub>s</sub>を20[℃]とする。
 フライパンを50分間放置した場合(x(t) = 50)、ニュートンの冷却法則における定数kを求めよ。
 
 解答.
 <math>x(t) = (x_0 - x_s) e^{-kt} + x_s</math> より、
 <math>50 = (100 - 20) e^{-30k} + 20</math>
 <math>k = - \frac{1}{30} ln{\frac{3}{8}}</math>
 したがって、<math>k \cong 0.03</math> となる。
 
 例題2.
 温度20[℃]の室内で温度60[℃]のコーヒーを5分間放置する場合、コーヒーは何[℃]になるか求めよ。
 この部屋では、<math>k = 0.032</math> とする。
 
 解答.
 <math>x(t) = (x_0 - x_s) e^{-kt} + x_s</math> より、
 <math>x = (60 - 20) e^{-5 \times 0.032} + 20</math>
 <math>x \cong 54.1</math>
<br>
==== 人口増加の法則 ====
人口(一般に生物の個体数)の増加率は、その時点での人口に比例する。<br>
<math>\frac{dx}{dt} = kx \qquad</math> (時刻tにおける人口 : x(t))<br>
<br>
人口(一般に生物の個体数)の増加は、その時点での人口に比例する。<br>
時刻tにおける人口をx(t)とする時、以下に示す微分方程式が成立する。<br>
<math>\frac{dx}{dt} = kx \qquad</math> (マルサスの法則)<br>
一般解は、<math>x = C e^{kt} \qquad</math> (Cは、任意定数)<br>
<br>
kは出生率aと死亡率bとの差 <math>a - b</math> である。(kは増殖率と呼ばれる)<br>
<math>k > 0</math> (出生率 > 死亡率)ならば、人口は時間とともに指数関数的に増加する。<br>
<br>
* マルサスの法則
*: まだ、人口が少なく、食住環境が良好ならば、人口はマルサスの法則に従う。
*: <math>\frac{dx}{dt} = (a - b)x</math>
*: <br>
* ロジスティック方程式 (死亡率bが人口に比例)
*: 一方、次第に人口が増加し、食料や住居環境が悪くなってくると、人口増加は抑制される。
*: 例えば、食料の供給が制限されると、死亡率は一定ではなく、人口に比例する。
*: <math>\frac{dx}{dt} = (a - bx)x</math>
*: <br>
* ゴムパーツ方程式 (死亡率bが人口の対数に比例)
*: または、人口の対数に比例する。
*: <math>\frac{dx}{dt} = (a - b \, \ln{x})x</math>
<br>

==== ニュートンの運動方程式 ====
物体の加速度は、それに作用する力に比例し、その質量に反比例する。<br>
この法則を数式で表すと、物体の位置xを未知関数とする微分方程式で表される。<br>
<math>F = m \frac{d^2 x}{dt^2} \qquad</math> (F : 力、 m : 質量、 <math>\frac{d^2 x}{dt^2}</math> : 加速度)<br>
<br>
ここで、Fは物体に働く力、 mは物体の質量、xは物体の時間tにおける位置を表す関数、<math>\frac{d^2 x}{dt^2}</math> は物体の加速度である。<br>
また、<math>\frac{dx}{dt}</math> は物体の速度である。<br>
<br><br>

__FORCETOC__
[[カテゴリ:解析学]]