1

定数係数2階同次線形微分方程式の一般解の求め方

628
0

はじめに

今回の目的としては, 定数係数2階同次線形微分方程式における一般解の定理を証明し, 少しでも理解を深めることにある. 定数係数2階同次線形微分方程式の一般解は3パターンにわかれ, ただ暗記して問題を解くのは一苦労なので, その違いを軽く理解出来たらよいと思う.

定数係数2階同次線形微分方程式の定理

定数係数2階同次線形微分方程式の一般解を求める際の定理は次のように示されている.

定数係数2階同次線形微分方程式(a,bは定数)
y+ay+by=0
の一般解は, 特性方程式
s²+as+b=0
の解の性質に従って, 次の式で与えられる. (A,Bは任意定数)

(1) 2重解αをもつ y=eαx(Ax+B)

(2) 異なる実数解 α,βをもつ y=Aeαx+Beβx

(3) 共役な虚数解λ±iμをもつ y=eλx(Asinμx+Bcosμx)

また, 今回の証明では微分方程式の一般解の定理2を使用する.

微分方程式 d²ydx²=kyの一般解は次の形で表される.

k=0の場合, y=Ax+B

k>0の場合, k=c²と置けば y=Aecx+Becx

k>0の場合, k=c²と置けば y=Asincx+Bcoscx

定数係数2階同次線形微分方程式の定理の証明

a,bを定数としr(x)xの関数であるとき, y+ay+by=r(x)の形の方程式を定数2階線形微分方程式という. ここでr(x)=0のとき, 定数係2階同次線形微分方程式という. 

そのため定数係数2階同次線形微分方程式は
y+ay+by=0(4)
と表すことができる.

方程式(4)に対して, sについての2次方程式
s²+as+b=0(5)
をその特性方程式という.

その判別式をD=a²4bとし, |D|=|a²4b|=cと置けば, 特性方程式の解α,βは次の式で与えられる.

D=0α,β=a2(二重解)
 D>0α=a+c2,β=ac2(異なる実数解)
 D<0α=a+ci2,β=aci2(共役な虚数解)

方程式(4)から定理2の形の微分方程式を導くために, u,vxの関数として
y=uv
とおく.
y=uv+uv,y=uv+2uv+uv
であるから, これらを方程式に代入すれば 
uv+(2u+au)v+(u+au+bu)v=0(6)
となる.

このとき, 第2項で2u+au=0となるように, u=eax2 と取れば, 第3項のvの係数は u+au+bu=14(a24b)eax2 となる.

したがって, 方程式(6)vについての方程式
v14(a24b)v=0(7)
になる. これは定理2の形の微分方程式である.

定理1の⑴の場合

D=a²4b=0のとき, 方程式(7)の一般解は定理2よりv=Ax+Bである(A,Bは任意定数).
これにu-の式をかけて方程式(4)の一般解はy=eax2(Ax+B)である.
eの指数に現れる-a2は特性方程式(5)の2重解αであるため, y=eαx(Ax+B)となる…(1)

定理1の⑵の場合

D=a²4b>0のとき, a²4b=c(c>0)と置けば, 方程式(7)の一般解は y=Aecx2+Becx2である( A,Bは任意定数).
よって, 方程式(4)の一般解はy=eax2(Aecx2+Becx2)=Aea+c2+Beac2である.
eの指数に現れるa+c2,ac2は特性方程式(5)の異なる実数解α,βであるため, y=Aeαx+Beβxとなる…(2)

定理1の⑶の場合

D=a²4b<0のとき, 4ba²=cと置けば, 方程式(7)の一般解はv=Asinc2x+Bcosc2xである.
よって, 方程式(4)の一般解はy=eax2(Asincx2+Bcoscx2)である.
eの指数に現れるa2は特性方程式(5)の実数部分であり, 三角関数の中に現れるc2は解の虚数部分である. そのため, y=eλx(Asinμx+Bcosμx)となる…⑶

おわりに

 今回の証明はテキストやネット記事などを読みながら作成させていただきました.

投稿日:2020111
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

タミ
タミ
1
628
4年機械工学科です!

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 定数係数2階同次線形微分方程式の定理
  3. 定数係数2階同次線形微分方程式の定理の証明
  4. 定理1の⑴の場合
  5. 定理1の⑵の場合
  6. 定理1の⑶の場合
  7. おわりに