2階線形同次微分方程式の解の構造

解の存在と一意性

証明は行わないが, 線形微分方程式の解に関する重要な定理を示しておく.

2階線形微分方程式 $$\begin{array}{}& y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=R(x)\end{array}$$ において, $P(x)$ , $Q(x)$ , $R(x)$ がある区間内で連続関数であるとする. この区間内のある一点, $x=x_0$ における初期条件を与え, $y(x_0)$ , $y^{\prime }(x_0)$ , $y^{\prime \prime }(x_0)$ の値を固定すると, 微分方程式の解は区間内でただ一つだけ必ず存在することが知られている.

この定理は線形微分方程式の解の存在, さらにその一意性を保証するものであり, より一般に, $n$ 階線形微分方程式でも成立することが示されている.

2階線形同次微分方程式の解の線形性

2階線形同次微分方程式 $$\begin{array}{}\text{(1)}& y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0\end{array}$$ を満たすような解として $y_1$ , $y_2$ が得られたしよう. すなわち, $$\begin{array}{}& \{\begin{array}{l}{y}_1^{\prime \prime }+P(x)y_1^{\prime }+Q(x)y_1=0\\ y_2^{\prime \prime }+P(x)y_2^{\prime }+Q(x)y_2=0\end{array}\end{array}$$ が成り立つとする. このとき, $C_1\times y_1$ と $C_2\times y_2$ の1次結合で表された量 $$\begin{array}{}& y_3=C_1{y}_1+C_2{y}_2{C}_1,C_2\text{ は定数}\end{array}$$ も2階線形同次微分方程式の解となることを示そう.

証明は容易で, $y_3$ を式$\text{(1)}$に代入すると, $$\begin{array}{}\text{(2)}& \begin{array}{rl}& y_3^{\prime \prime }+P(x)y_3^{\prime }+Q(x)y_3\\ & =(C_1{y}_1^{\prime \prime }+C_2{y}_2^{\prime \prime })+P(x)(C_1{y}_1^{\prime }+C_2{y}_2^{\prime })+Q(x)(C_1{y}_1+C_2{y}_2)\\ & =C_1\{y_1^{\prime \prime }+P(x)y_1^{\prime }+Q(x)y_1\}+C_2\{y_2^{\prime \prime }+P(x)y_2^{\prime }+Q(x)y_2\}\\ & =0\end{array}\end{array}$$ が成立するので, $y_3=C_1{y}_1+C_2{y}_2$ もまた2階線形同次微分方程式の解となっていることがわかる.

1次独立と1次従属

ある二つの関数 $y_1$ と $y_2$ の関係性を表す用語として, 1次独立および1次従属というものがある. 以下では二つの関数について1次独立と1次従属とがどのように定義されるのかを説明する.

なお, これらの定義は $n$ 個の関数についても素直に拡張することができる.

2階線形同次微分方程式の解の構造

これまでに, 2階線形同次微分方程式の線形性や, 二つの関数の1次独立について議論を行なってきた. これらの性質が平面ベクトルの性質と似通っていると気づいた高校生諸君がいたとしたら大変するどいと言う他なかろう^[1]線形代数をかじった大学生が読者であったのであれば, 気づかなくてはいけなかった..

実際, 以下では2階線形同次微分方程式の解と平面ベクトルとが同じ構造を持つことを議論する.

まず, 二つの(ゼロベクトルでない)平面ベクトル ${\mathit{a}}_1$ , ${\mathit{a}}_2$ の1次結合 $(C_1{\mathit{a}}_1+C_2{\mathit{a}}_2)$ もまた平面ベクトルとなることはよいであろう.

一方,2階線形同次微分方程式の解の線形性とは, 2階線形同次微分方程式の解 $y_1$ , $y_2$ の1次結合 $(C_1{y}_1+C_2{y}_2)$ もまた2階線形同次微分方程式の解となるということであった.

上記の文章を, 2階線形同次微分方程式の解を平面ベクトルに, $y_1$ , $y_2$ を ${\mathit{a}}_1$ , ${\mathit{a}}_2$ に読み換えれば, (関数とベクトルという点を除いては)全く同じ主張であり, 2階線形同次微分方程式の解は平面ベクトルと同じ構造を持っていることがわかる^[2]このことを, 2階線形同次微分方程式の解全体(解空間)はベクトル空間である, などという. … Continue reading.

また, 二つの平面ベクトル ${\mathit{a}}_1$ , ${\mathit{a}}_2$ について $$\begin{array}{}& C_1{\mathit{a}}_1+C_2{\mathit{a}}_2=\mathit{0}\end{array}$$ を恒等的に満たす条件が $C_1=C_2=0$ に限られるとき, 二つのベクトル ${\mathit{a}}_1$ , ${\mathit{a}}_2$ は1次独立であるという. そして, 平面ベクトルの場合, 二つのベクトルが1次独立であることとは二つのベクトルが平行でないことは同値関係にある. また, 1次独立な[平行でない]二つの平面ベクトル ${\mathit{a}}_1$ , ${\mathit{a}}_2$ を用いれば, すなわち, $C_1{\mathit{a}}_1+C_2{\mathit{a}}_2$ の $C_1$ と $C_2$ を適切に選ぶことで2次元平面上のどの点も指定できることを知っているであろう.

このことを平面ベクトルと同じ構造を持っている2階線形同次微分方程式の解に適用しよう. すると, 1次独立な二つの2階線形同次微分方程式の解 $y_1$ , $y_2$ を用いれば, すなわち, $C_1{y}_1+C_2{y}_2$ の $C_1$ と $C_2$ を適切に選ぶことで2階線形同次微分方程式のどの解も指定できることがわかる. このような, 2階線形同次微分方程式の1次独立な解 $y_1$ , $y_2$ を基本解という.

結局, 1次独立な2階線形同次微分方程式の基本解 $y_1$ , $y_2$ を見つけることができれば, 2個の任意定数 $C_1$ , $C_2$ を持った一般解は $$\begin{array}{}\text{(3)}& y=C_1{y}_1+C_2{y}_2\end{array}$$ で与えられることがわかる. また, $y$ に対してある点 $x=x_0$ での初期条件を与えることで, $y(x_0)$ , $y^{\prime }(x_0)$ を確定させれば, 解の一意性により $C_1$ と $C_2$ は一意的に定まることになる.

ロンスキアン

ある二つの関数 $y_1$ と $y_2$ が2階線形同次微分方程式の1次独立な基本解であるかどうかを容易に判定できる量として, ロンスキアンと呼ばれる量がある.

二つの関数 $y_1$ と $y_2$ のロンスキアン $W(y_1,y_2)$ とは, $$\begin{array}{}\text{(4)}& W:=y_1{y}_2^{\prime }–y_2{y}_1^{\prime }\end{array}$$ で定義される量である^[3]ロンスキアンはロンスキー行列式とも呼ばれる. 行列についての知識がある人はロンスキアンが次の行列式で定義されていると理解できるであろう. … Continue reading.

2階線形同次微分方程式とロンスキアンとの間には,関数 $y_1$ , $y_2$ が2階線形同次微分方程式の解であるとき, $y_1$ , $y_2$ が1次独立な基本解であることはロンスキアン $W(y_1,y_2)$ がゼロでないことの必要十分条件である.を示すことができる.

以下では, 二つの関数 $y_1$ と $y_2$ が2階線形同次微分方程式 $$\begin{array}{}& y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0\end{array}$$ の解であるとする.