応用数学 - 定数係数2階線形常微分方程式のソースを表示

== 概要 ==
線形微分方程式とは、<math>f_1(x), \ f_2(x), \ \cdots, \ f_n(x), \ g(x)</math> をxのみの関数とする。<br>
この時、以下の形の微分方程式をN階線形常微分方程式という。<br>
<br>
<math>\frac{dy^{(n)}}{dx} + f_1(x) \frac{dy^{(n - 1)}}{dx} + \cdots + f_{(n - 1)}(x) \frac{dy}{dx} + f_n(x)y = g(x) \quad \cdots \quad (1)</math><br>
<br>
上式において、<math>g(x) = 0</math> の時を<u>同次方程式</u>、<math>g(x) \ne 0</math> の時を<u>非同次方程式</u>と呼ぶ。<br>
<br>
線形常微分方程式には、連立1次方程式の解の構造との類似性があり、線形代数とのアナロジーがある。<br>
定数係数2階線形常微分方程式は、電磁気学、動力学、量子力学、振動現象等の記述に現れる。<br>
<br><br>

== 解の存在と一意性 ==
 定理（存在定理） :
 xのみの関数 <math>f_1(x), \ f_2(x), \ \cdots \ f_n(x), \ g(x)</math> が、区間Iで連続とする。
 この時、I内の点 <math>x = a</math> における以下の初期条件のもとで、以下のN階線形常微分方程式の解は区間Iでただ1つ存在する。
 
 初期条件 ：
 <math>y(a) = b_0, \quad \frac{dy(a)}{dx} = b_1, \quad \cdots , \quad \frac{dy^{(n - 1)}(a)}{dx} = b_{(n - 1)}</math>
 
 N階線形常微分方程式 ：
 <math>\frac{dy^{(n)}}{dx} + f_1(x) \frac{dy^{(n - 1)}}{dx} + \cdots + f_{(n - 1)}(x) \frac{dy}{dx} + f_n(x)y = g(x) \quad \cdots \quad (1)</math>
<br>
存在定理により、N階線形常微分方程式の解の存在が保障され、当該初期条件を満たすものがただ1つに決まる。<br>
1階常微分方程式の初期条件は1つであり、N階常微分方程式では、N個の初期条件がないと解は一意に定まらない。<br>
<br>
存在定理により、当該問題を解くための数値解析プログラムを作成することに対する正当性が保障される。<br>
<br><br>

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