のときこの方程式を同次方程式(homogeneous equation)といいます.この微分方程式の左辺を
と省略した形で表わすことがよくあります.こうすると高階線形微分方程式は
定理 2..1 同次方程式の解の集合はベクトル空間をなす.
|
証明を行なう前にベクトル空間の復習をしておきます.
ベクトル空間
2つの幾何ベクトルの和(vector addition)は,一方の幾何ベクトルの尻尾(始点)をもう一方の幾何ベクトルの頭(終点)につけることにより定義されます.よって2つの幾何ベクトルの和は最初の幾何ベクトルの尻尾から次の幾何ベクトルの頭を結んだ有向線分で表わせます.ほかの見方をすると,2つの幾何ベクトルA,Bの和A BはAとBによって作られる平行四辺形の対角線として表わせます.
幾何ベクトルの和は次のような性質をもっています.各自確かめておいて下さい.
1.2つの幾何ベクトルの和はまた幾何ベクトルである.(このことを和は閉じているといいます)
2.任意の幾何ベクトルAとBにおいて,A+B = B+Aが成り立つ.(交換法則)
3.任意の幾何ベクトルA,B,Cにおいて,(A+B)+C = A+(B+C)が成り立つ.(結合法則)
4.任意の幾何ベクトルAに対して,A+0 = Aとなる幾何ベクトル0が存在する.(零元の存在)
5.任意の幾何ベクトルAに対して,A+B = 0となる幾何ベクトルBが存在する.(逆元の存在)
幾何ベクトルのスカラー倍 (scalar multiplication) Aは幾何ベクトルAを実数
の大きさ
倍することで定義されます.ただし,
が負のときは方向が反対になります.幾何ベクトルのスカラー倍は次のような性質をもっています.各自確かめておいて下さい.
6.幾何ベクトルのスカラー倍はまた幾何ベクトルである.
7.任意の実数と
に対して,
(
A) = (
)Aが成り立つ.(結合法則)
8.任意の実数と
に対して,(
)A =
A +
Aが成り立ち,任意の幾何ベクトルAとBに対して,
(A+B) =
A +
Bが成り立つ.(分配法則)
9.1A = A; 0A = 0; 0 = 0が成り立つ.
平面や空間の幾何ベクトルにおいて上の1から9までの性質が成り立ちます.このとき,平面や空間の幾何ベクトルの集まりを幾何ベクトル空間 (geometric vector space)といいます.幾何ベクトル空間はしばしばユークリッド空間ともよばれ,これから学ぶもっと抽象的なベクトル空間の特殊な場合です.一般に和およびスカラー倍が上の性質1から9を満たす物の集まりをベクトル空間(vector space)とよび,そこに含まれる物をベクトル(vector)といいます.よってこれから登場してくるベクトルには,幾何ベクトルに似ても似つかない物が沢山あります.
ここでは幾何ベクトル空間には似ても似つかないベクトル空間を紹介します.まず区間で連続な関数の集まりを
で表わし,区間
で区分的に連続な関数(piecewise continuous function)の集まりを
で表わします2.1. つまり
は
で連続},
は区間
で区分的に連続}.
と
の
と
に対して,和およびスカラー倍を次のように定義します.
1.は点
で
の値をとる関数.
2.は点
で
の値をとる関数.
解
この和とスカラー倍によって,ベクトル空間になるための9個の性質がにおいて成り立つことを示すのは,それほど難しくはないでしょう.よって
もベクトル空間となり,ベクトル空間に含まれる
や
をベクトルとよぶことができます.幾何ベクトルと姿や形が違いますが立派なベクトルです.
証明
同次方程式の解は明らかに微分可能.よって解の集合は連続な関数の集合の部分集合になる.したがって解の集合がベクトル空間となるためには,解の一次結合がまた解であることを示せばよい.そこで
とおくと
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
||
![]() |
0 |
同次方程式の解の集合はベクトル空間になるのでこれを解空間とよびます.次に一次独立という概念を取り入れるため,これから扱う同次方程式は区間で連続な関数
を係数とするものとします.
定理 2..2 同次方程式の解空間の基底は同次方程式を満たす
![]() |
解空間のすべてのベクトルを一次独立なベクトルの一次結合で表わせるとき,この一次独立なベクトルの集まりを解空間の基底といいます.また解空間の基底のことを基本解(fundamental solution)といいます.基底がわかれば解空間がわかるので,私たちは個の一次独立な解を見つければ,この定理よりすべての解を見つけたことになります.そこで
個の解が一次独立かどうかということは非常に大事になってきます.Wronskiはこの問題を解決するために次のような行列式を考えました.この行列式をWronskiの行列式(Wronskian determinant)といいます.
定理 2..3
![]() ![]() ![]() ![]() |
証明
(の場合)
は
の解であるから,
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
証明
(の場合)
の一次結合を0とおくと
この2つの定理よりあるで
ならば,区間
内のすべての
で
がいえます.
解
解空間は三次元で,
は明らかにこの微分方程式の解です.そこで一次独立か調べると
解
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
次に階の線形微分方程式の解について学びます.
定理 2..5
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
証明
仮定より
であるから,
の線形性より
のことを余関数(complementary function)といいます.この定理より
のひとつの特殊解がわかっているなら,一般解をみつけるには
の余関数を見つければよいことがわかります.
解
より
.また
の解は例題2.2より
あるときは入力関数が2つの関数
の和で与えられることもあります.こんなときは2つの方程式
を考えると便利です.
定理 2..6
![]() ![]() ![]() ![]() ![]() ![]() |
この定理は重ね合わせの原理(principle of superposition)といいます.この原理を使うと,たとえば