定理証明済み
特性根による一般解の構造
内容
ay′′+by′+cy=0 の一般解は特性方程式 ar2+br+c=0 の根によって完全に決まる:異なる実根なら y=c1er1x+c2er2x、重根なら y=(c1+c2x)erx、共役複素根 r=α±iβ なら y=eαx(c1cos(βx)+c2sin(βx)) となる。
なぜ正しいのか?
指数関数が自然な構成要素となるのは、erx を微分すると単に r 倍されるだけだからである。この試行解を定数係数の線形方程式に入れると、微積分が代数——多項式の根を求める問題——に帰着する。
証明の概略
試行解 y=erx を用いる。このとき y′=rerx、y′′=r2erx であり、ay′′+by′+cy=0 に代入すると (ar2+br+c)erx=0 となる。erx は決して0にならないので、特性方程式 ar2+br+c=0 が導かれる。2次方程式の解の公式より r=2a−b±b2−4ac。
Δ>0 の場合:二つの根 r1=r2 から解 er1x と er2x が得られる。そのロンスキアンは (r2−r1)e(r1+r2)x=0 であり、重ね合わせの定理により一般解は y=c1er1x+c2er2x となる。
Δ=0 の場合:重根 r=−b/(2a) が一つだけあり、指数解 erx は一つしか得られない。もう一つの独立解を見つけるため y2=v(x)erx(階数低下法)を試して方程式に代入すると、r が ar2+br+c の重根であるため v と v′ の項が打ち消し合い、av′′erx=0、すなわち v′′=0 が残るので v=c1+c2x。これにより第二の解 xerx が得られ、一般解は y=(c1+c2x)erx となる。
Δ<0 の場合:根は共役複素数 r=α±iβ であり α=−b/(2a)、β=−Δ/(2a)。オイラーの公式 eiβx=cos(βx)+isin(βx) により、複素解 e(α±iβ)x は二つの独立な実解 eαxcos(βx) と eαxsin(βx) になる(L の係数が実数であるため、実部と虚部もそれぞれ解になることによる)。よって一般解は y=eαx(c1cos(βx)+c2sin(βx)) となる。
ステップごとの証明
この定理のステップごとの証明はまだありません。