[[数学]]

*微分方程式 [#qf102278]
#contents
----
**予備知識 [#z75906fc]
***微分方程式の種類 [#pb235b48]
-以下のように表現される式をn階線形微分方程式という
--$ {a_n(t)}{\frac{d^n x(t)}{dt^n}}+{a_{n-1}(t)}{\frac{d^{n-1} x(t)}{dt^{n-1}}}+\cdots+{a_0(t)} x(t) = f(t) $ 
--$ f(t)=0 $のとき、上記の微分方程式を斉次方程式、又は同次方程式と言う
--$ a_k(t) (k=0...n) $の全ての係数が定数であるとき、上記の微分方程式を定数係数n階微分方程式と言う
--偏微分方程式と区別する場合には、特に常微分方程式と言う

***一般解と特殊解 [#kb6d809a]
-n階線形微分方程式の解は、n解線形微分方程式の特殊解と斉次方程式の一般解との一次結合で表される。

**線形常微分方程式 [#ja9d39f8]
-以下のように表現される式をn階線形微分方程式という
--$ {a_n(t)}{\frac{d^n g(t)}{dt^n}}+{a_{n-1}(t)}{\frac{d^{n-1} g(t)}{dt^{n-1}}}+\cdots+{a_0(t)} g(t) = f(t) $ 
-特に$ f(t)=0 $のとき、上記の微分方程式を斉次方程式、又は同次方程式と言う

**定数係数の斉次線形常微分方程式 [#ja9d39f8]
***変数分離型の解法 [#e10f70a2]
-以下のように表現される式を変数分離型の微分方程式という
--$ \frac{dx(t)}{dt} = f(x)g(t) $
-解き方の方針としては、変数をそれぞれ右辺と左辺に別にして両辺を積分する。
--$ \frac{1}{f(x)}\frac{dx(t)}{dt} = g(t) $
-両辺をtで微分する。なおCを積分定数とする。
--$ \int{}\frac{1}{f(x)}\frac{dx(t)}{dt}dt = \int{}g(t)dt + C $

***1階線形常微分方程式の解法 [#j01e2b1d]
-以下のように表現される式を定数係数の1階線形常微分方程式という
--$ \frac{dx(t)}{dt} + ax(t) = 0 $
-この式は変数分離型において、$ f(x) = -a $とした場合と等しいことが分かる。
-解き方の方針としては、解が$ x(t) = e^{\lambda t} $という形であることを仮定して微分方程式に代入する。
--$ \lambda e^{\lambda t} + ae^{\lambda t} = 0 $
--$ \lambda = -a $
-よってこの方程式の一般解はCを任意定数とすると$ x(t) = Ce^{-at} $となる。

***2階線形常微分方程式の解法 [#qf3bd8ce]
-以下のように表現される2階線形常微分方程式の解き方について考える
-以下のように表現される定数係数の2階線形常微分方程式の解き方について考える
--$ \frac{d^2 x(t)}{dt^2}+a\frac{dx(t)}{dt}+bx(t) = 0 $
-方針としては、1次独立な解を2つ見つけ、それらの解の1次結合を作ることにより、一般解を求める。
-まず、解が$ x(t) = e^{\lambda t} $という形であることを仮定して微分方程式に代入する。
--$ \lambda{}^2 e^{\lambda t} + a\lambda e^{\lambda t} + b e^{\lambda t} = 0 $
--$ \lambda{}^2 + a\lambda + b = 0 $
-$ \lambda $に関する上記方程式を、特に特性方程式という。この方程式の根が$ \lambda = \alpha , \beta $とすると、$ x(t) = e^{\alpha x} , e^{\alpha x} $はそれぞれ微分方程式の特殊解となる。
-これらの根の一次結合が微分方程式の解となるが、$ \alpha , \beta $が異なる二つの実数根、異なる二つの虚数根、重根のそれぞれにおいて場合分けが必要となる。

-異なる二つの実数根の場合
--$ C_{1}, C_{2} $を、それぞれ任意定数とすると実数根の場合の一般解は以下のように表現される。
---$ x(t) = C_{1}e^{\alpha t} + C_{2} e^{\beta t} $
-異なる二つの虚数根の場合
--$ C_{1}, C_{2} $を、それぞれ任意定数とすると、実数根と同様に以下のように表現される。
---$ x(t) = C_{1}e^{\alpha t} + C_{2} e^{\beta t} $
--ただし指数部分に虚数が含まれているので、オイラーの公式を用いることにより扱いやすい形に等式変形が可能である。
--ここで、$ \alpha = p+iq , \beta = p-iq $、$ C_{1}' , C_{2}' $を新たに置き換えた任意定数とすると以下のように表現することが可能である
---$ x(t) = C_{1}'e^{pt}\cos{(qt)} + C_{2}'e^{pt}\sin{(qt)} $
-重根の場合
--$ C_{1}, C_{2} $を、それぞれ任意定数とすると重根の場合の一般解は以下のように表現される。
---$ x(t) = C_{1}e^{\alpha t} + C_{2}te^{\beta t} $

***2階線形常微分方程式の例 [#of9086f4]
CENTER:&ref(数学/微分方程式/spring_dumper.png,100%);
-質量mの物体(滑らかに床に接しているボール)がばね定数kのばねと、ダンパー係数$ \gamma $のダンパーにつながっているとする
--ちなみにこの様なシステムを、ばね・ダンパー系という。
-右方向を正としてばねが長さxだけ伸びた場合の運動方程式は　以下のように表現される
--$ m\frac{d^2 x}{dt^2} = -kx(t)-\gamma\frac{dx}{dt} $
-式を整理することにより、この問題は2階の線形常微分方程式となっていることが分かる。
--$ \frac{d^2 x}{dt^2}+\frac{\gamma}{m}\frac{dx}{dt}+\frac{k}{m}x(t)=0 $


**非斉次線形常微分方程式 [#za522824]
トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS