next up previous contents index
: 演習問題 : 線形微分方程式 : 線形微分方程式   目次   索引

線形微分方程式の解

前の章で1階の微分方程式について学びました．1階の微分方程式を解くうえで，線形か非線形かはそれほど重要なことではありませんでした．しかし高階の微分方程式では話が違います．高階の微分方程式の中で求積法で解くことができるのは，一般に線形の微分方程式だけです．そこでこの章では高階線形微分方程式について学びます．

$\displaystyle y^{(n)} + a_{n-1}(x)y^{(n-1)} + \cdots + a_{1}(x)y^{\prime} + a_{0}(x)y = f(x) $

で表わされる微分方程式をn階線形微分方程式(nth-order linear differential equation)といいます．また$ a_{i}(x)$を 係数関数(coefficient function)，$ f(x)$を入力関数(input function)といいます．

$ f(x) \equiv 0$のときこの方程式を同次方程式(homogeneous equation)といいます．この微分方程式の左辺を$ L(y)$と省略した形で表わすことがよくあります．こうすると高階線形微分方程式は

$\displaystyle L(y) = f(x) $

で表わせます．$ L$は微分作用素(differential operator)とよばれ線形性をもっています．つまり任意の関数 $ y_{1},y_{2}$と任意の定数 $ c_{1},c_{2}$に対して

$\displaystyle L(c_{1}y_{1} + c_{2}y_{2}) = c_{1}L(y_{1}) + c_{2}L(y_{2}) $

が成り立ちます(確かめて下さい)．さて$ L$の線形性から次の定理が得られます．

定理 2.1   同次方程式の解の集合はベクトル空間をなす．

証明を行なう前にベクトル空間の復習をしておきます．

ベクトル空間

2つの幾何ベクトルの和(vector addition)は，一方の幾何ベクトルの尻尾(始点)をもう一方の幾何ベクトルの頭(終点)につけることにより定義されます．よって2つの幾何ベクトルの和は最初の幾何ベクトルの尻尾から次の幾何ベクトルの頭を結んだ有向線分で表わせます．ほかの見方をすると，2つの幾何ベクトルA,Bの和A $ +$ BはAとBによって作られる平行四辺形の対角線として表わせます．

図 2.1: ベクトルの和とスカラー倍
\begin{figure}\begin{center} \includegraphics[width=14cm]{DFQ/Fig0-1.eps} \end{center}\end{figure}

幾何ベクトルの和は次のような性質をもっています．各自確かめておいて下さい．

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) $ \alpha$Aは幾何ベクトルAを実数$ \alpha$の大きさ$ \vert\alpha\vert$倍することで定義されます．ただし，$ \alpha$が負のときは方向が反対になります．幾何ベクトルのスカラー倍は次のような性質をもっています．各自確かめておいて下さい．

6．幾何ベクトルのスカラー倍はまた幾何ベクトルである．
7．任意の実数$ \alpha$と$ \beta$に対して，$ \alpha$($ \beta$A) = ( $ \alpha\beta$)Aが成り立つ．(結合法則)
8．任意の実数$ \alpha$と$ \beta$に対して，( $ \alpha + \beta$)A = $ \alpha$A + $ \beta$Aが成り立ち，任意の幾何ベクトルAとBに対して，$ \alpha$(A+B) = $ \alpha$A + $ \alpha$Bが成り立つ．(分配法則)　
9．1A = A; 0A = 0; $ \alpha$0 = 0が成り立つ．

平面や空間の幾何ベクトルにおいて上の1から9までの性質が成り立ちます.このとき，平面や空間の幾何ベクトルの集まりを幾何ベクトル空間 (geometric vector space)といいます．幾何ベクトル空間はしばしばユークリッド空間ともよばれ，これから学ぶもっと抽象的なベクトル空間の特殊な場合です．一般に和およびスカラー倍が上の性質1から9を満たす物の集まりをベクトル空間(vector space)とよび，そこに含まれる物をベクトル(vector)といいます．よってこれから登場してくるベクトルには，幾何ベクトルに似ても似つかない物が沢山あります．

ここでは幾何ベクトル空間には似ても似つかないベクトル空間を紹介します．まず区間$ (a,b)$で連続な関数の集まりを$ C(a,b)$で表わし，区間$ (a,b)$で区分的に連続な関数(piecewise continuous function)の集まりを$ PC(a,b)$で表わします2.1. つまり $ C(a,b) = \{f(x) : f(x)$は$ (a,b)$で連続}， $ PC(a,b) = \{f(x) : f(x)$は区間$ (a,b)$で区分的に連続}．

$ C(a,b)$と$ PC(a,b)$の$ f(x)$と$ g(x)$に対して，和およびスカラー倍を次のように定義します．
1．$ f+g$は点$ x$で$ f(x)+g(x)$の値をとる関数．
2．$ \alpha f$は点$ x$で $ \alpha f(x)$の値をとる関数．

例題 2.1   $ f(x) = x , g(x) = x^2$のとき， $ f+g, \frac{1}{2}f, 2g$を求めよ．

解 $ (f+g)(x) = f(x) + g(x) = x + x^2$
$ (\frac{1}{2}f)(x) = \frac{1}{2}f(x) = \frac{x}{2}$
$ (2g)(x) = 2g(x) = 2x^2$ $ \ \blacksquare$

この和とスカラー倍によって，ベクトル空間になるための9個の性質が$ C(a,b)$において成り立つことを示すのは，それほど難しくはないでしょう．よって$ C(a,b)$もベクトル空間となり，ベクトル空間に含まれる$ f(x)$や$ g(x)$をベクトルとよぶことができます．幾何ベクトルと姿や形が違いますが立派なベクトルです．

証明 同次方程式の解は明らかに微分可能．よって解の集合は連続な関数の集合の部分集合になる．したがって解の集合がベクトル空間となるためには，解の一次結合がまた解であることを示せばよい．そこで $ L(y_{1}) \equiv 0, \ L(y_{2}) \equiv 0, y_{3} = c_{1}y_{1} + c_{2}y_{2}$とおくと

$\displaystyle L(y_{3})$ $\displaystyle =$ $\displaystyle L(c_{1}y_{1} + c_{2}y_{2})$  
  $\displaystyle =$ $\displaystyle L(c_{1}y_{1}) + L(c_{2}y_{2})$  
  $\displaystyle =$ $\displaystyle c_{1}L(y_{1}) + c_{2}L(y_{2})$  
  $\displaystyle =$ 0  

より解の一次結合はまた解である． $ \ \blacksquare$

同次方程式の解の集合はベクトル空間になるのでこれを解空間とよびます．次に一次独立という概念を取り入れるため，これから扱う同次方程式は区間$ I$で連続な関数 $ a_{i}(x)\ (i = 1,2,\ldots,n)$を係数とするものとします．

定理 2.2   同次方程式の解空間の基底は同次方程式を満たす$ n$個の一次独立な関数である．

解空間のすべてのベクトルを一次独立なベクトルの一次結合で表わせるとき，この一次独立なベクトルの集まりを解空間の基底といいます．また解空間の基底のことを基本解(fundamental solution)といいます．基底がわかれば解空間がわかるので，私たちは$ n$個の一次独立な解を見つければ，この定理よりすべての解を見つけたことになります．そこで$ n$個の解が一次独立かどうかということは非常に大事になってきます．Wronskiはこの問題を解決するために次のような行列式を考えました．この行列式をWronskiの行列式(Wronskian determinant)といいます．

$\displaystyle W(y_{1},y_{2},\ldots,y_{n}) = \left\vert\begin{array}{llll} y_{1}... ... y_{1}^{(n-1)},&y_{2}^{(n-1)},&\cdots,&y_{n}^{(n-1)} \end{array}\right \vert . $

定理 2.3   $ y_{1},y_{2},\ldots,y_{n}$が区間$ I$における同次方程式の解ならば $ W(y_{1},y_{2},\ldots,y_{n})$は$ I$において恒等的に0か，けっして0にならないかのどちらかである．

証明 ($ n=2$の場合) $ y_{1},y_{2}$は $ L(y) = y^{\prime\prime} + a_{1}y^{\prime} + a_{0}y = 0$の解であるから，

$\displaystyle \frac{d}{dx}W(y_{1},y_{2})$ $\displaystyle =$ $\displaystyle \left\vert\begin{array}{rr} y_{1}^{\prime}&y_{2}^{\prime}\\ y_{1... ...y_{1}&y_{2}\\ y_{1}^{\prime\prime}&y_{2}^{\prime\prime} \end{array}\right\vert$  
  $\displaystyle =$ $\displaystyle \left\vert\begin{array}{rr} y_{1}&y_{2}\\ -a_{1}y_{1}^{\prime}-a_{0}y_{1}&-a_{1}y_{2}^{\prime}-a_{0}y_{2}\end{array}\right\vert$  
  $\displaystyle =$ $\displaystyle -a_{1}W(y_{1},y_{2}) .$  

よって

$\displaystyle \frac{d}{dx}W(y_{1},y_{2}) + a_{1}(x)W(y_{1},y_{2}) = 0 $

が得られる．これは線形微分方程式なので，積分因子 $ \mu(x) = \exp(\int_{x_{0}}^{x}a_{1}(t)dt)$をかけると

$\displaystyle \frac{d}{dx}(\mu(x)W(y_{1},y_{2})) = 0$

が導かれる．これを積分して

$\displaystyle W(y_{1},y_{2})(x) = c\exp(-\int_{x_{0}}^{x}a_{1}(t)dt) \ (c:$定数$\displaystyle ) . $

ここで$ x = x_{0}$とおくと， $ c = W(y_{1},y_{2})(x_{0})$となり，

$\displaystyle W(y_{1},y_{2})(x) = W(y_{1},y_{2})(x_{0})\exp(-\int_{x_{0}}^{x}a_{1}(t)dt) $

を得る．これが恒等的に0か，けっして0にならないかは明らかである． $ \ \blacksquare$

定理 2.4   $ y_{1},y_{2},\ldots,y_{n}$が区間$ I$における同次方程式の解ならば，次の条件は同値である．
$ (1) \ \{y_{1},y_{2},\ldots,y_{n}\}$は区間$ I$上で一次独立である．
$ (2) \ W( y_{1},\ldots,y_{n}) \neq 0, \ (x \in I)$

証明 ($ n=2$の場合) $ y_{1},y_{2}$の一次結合を0とおくと

$\displaystyle c_{1}y_{1} + c_{2}y_{2} = 0 . $

この式を$ x$について微分すると

$\displaystyle c_{1}y^{\prime}_{1} + c_{2}y^{\prime}_{2} = 0 $

を得る．ここでCramerの公式を使って，この連立方程式を解くと，

$\displaystyle c_{1} = \frac{0}{W(y_{1},y_{2})}, \ c_{2} = \frac{0}{W(y_{1},y_{2})} . $

よって $ \{y_{1},y_{2}\}$が一次独立ならば， $ c_{1} = c_{2} = 0$．つまり $ W(y_{1},y_{2}) \neq 0$．また逆に， $ W(y_{1},y_{2}) \neq 0$ならば， $ c_{1} = c_{2} = 0$となり， $ \{y_{1},y_{2}\}$は一次独立． $ \ \blacksquare$

この2つの定理よりある$ x$で $ W(y_{1},\ldots,y_{n}) \neq 0$ならば，区間$ I$内のすべての$ x$で $ W(y_{1},\ldots,y_{n}) \neq 0$がいえます．

例題 2.2   $ y^{\prime\prime\prime} = 0$を解け．

解 解空間は三次元で， $ y_{1} = 1, y_{2} = x, y_{3} = x^{2}$は明らかにこの微分方程式の解です．そこで一次独立か調べると

$\displaystyle W(1,x,x^{2}) = \left\vert\begin{array}{rrr} 1&x&x^{2}\\ 0&1&2x\\ 0&0&2 \end{array}\right\vert = 2． $

よってWronskiの行列式が0でないので一次独立．また一般解は

$\displaystyle y = c_{1} + c_{2}x + c_{3}x^{2} $

となる． $ \ \blacksquare$

例題 2.3   $ y = e^{mx}$が $ L(y) = y^{\prime\prime} + 3y^{\prime} + 2y = 0$の解のとき，解空間の基底$ ($基本解$ )$を求めよ．

解

$\displaystyle L(e^{mx})$ $\displaystyle =$ $\displaystyle m^{2}e^{mx} + 3me^{mx} + 2e^{mx}$  
  $\displaystyle =$ $\displaystyle e^{mx}(m^{2} + 3m + 2)$  
  $\displaystyle =$ $\displaystyle e^{mx}(m+1)(m+2)$  

より $ m = -1, -2$のとき， $ L(e^{mx}) \equiv 0$となる．また

$\displaystyle W(e^{-x},e^{-2x}) = \left\vert\begin{array}{rr} e^{-x}&e^{-2x}\\ -e^{-x}&-2e^{-2x} \end{array}\right\vert = -e^{-2x} \neq 0 $

より $ \{e^{-x},e^{-2x}\}$は解空間の基底(基本解)となる． $ \ \blacksquare$

次に$ n$階の線形微分方程式の解について学びます．

定理 2.5   $ y_{p}$を$ n$階線形微分方程式 $ L(y) = f(x)$の特殊解，$ y_{c}$を同次方程式$ L(y) = 0$の一般解とすると， $ y(x) = y_{c}(x) + y_{p}(x)$は $ L(y) = f(x)$の一般解である．

証明 仮定より $ L(y_{p}) = f(x), L(y_{c}) = 0$であるから，$ L$の線形性より

$\displaystyle L(y_{c} + y_{p}) = L(y_{c}) + L(y_{p}) = f(x). $

よって， $ y_{c} + y_{p}$は $ L(y) = f(x)$の解である．また$ y_{c}(x)$は$ n$個の任意の定数を含んでいるので， $ y_{c}(x) + y_{p}(x)$は一般解である． $ \ \blacksquare$

$ y_{c}(x)$のことを余関数(complementary function)といいます．この定理より $ L(y) = f(x)$のひとつの特殊解がわかっているなら，一般解をみつけるには$ L(y) = 0$の余関数を見つければよいことがわかります．

例題 2.4   $ x - 1$は $ y^{\prime\prime} + 3y^{\prime} + 2y = 2x + 1$の解であることを示し，一般解を求めよ．

解 $ y = x-1, y^{\prime} = 1, y^{\prime\prime} = 0$より $ y^{\prime\prime} + 3y^{\prime} + 2y = 2x + 1$．また$ L(y) = 0$の解は例題2.2より

$\displaystyle y_{c}(x) = c_{1}e^{-x} + c_{2}e^{-2x} . $

よって，一般解は

$\displaystyle y(x) = \underbrace{c_{1}e^{-x} + c_{2}e^{-2x}}_{y_{c}} + \underbrace{x-1}_{y_{p}} $

である． $ \ \blacksquare$

あるときは入力関数$ f(x)$が2つの関数 $ f_{1}(x),f_{2}(x)$の和で与えられることもあります．こんなときは2つの方程式 $ L(y) = f_{1}(x),\ L(y) = f_{2}(x)$を考えると便利です．

定理 2.6   $ L(y) = f_{1}(x)$の解を$ y_{p_{1}}$, $ L(y) = f_{2}(x)$の解を$ y_{p_{2}}$とすると， $ L(y) = f_{1}(x) + f_{2}(x)$の解は $ y_{p_{1}} + y_{p_{2}}$である．

この定理は重ね合わせの原理(principle of superposition)といいます．この原理を使うと，たとえば

$\displaystyle y^{\prime\prime} - 5y^{\prime} + 2y = \sin{x} + x^{2} $

の一般解は
$ (1) \ y^{\prime\prime} - 5y^{\prime} + 2y = 0 $の解$ y_{c}$
$ (2) \ y^{\prime\prime} - 5y^{\prime} + 2y = \sin{x}$の解$ y_{p_{1}}$
$ (3) \ y^{\prime\prime} - 5y^{\prime} + 2y = x^{2}$の解$ y_{p_{2}}$
の一次結合．つまり

$\displaystyle y = y_{c} + y_{p_{1}} + y_{p_{2}} $

で与えられます．


next up previous contents index
: 演習問題 : 線形微分方程式 : 線形微分方程式   目次   索引
Administrator 平成26年9月18日