二階線型定数係数にかいせんけいていすうけいすう微分方程式びぶんほうていしきの基本きほん

1導入どうにゅう

この講義こうぎでは、二階線型定数係数にかいせんけいていすうけいすうの微分方程式びぶんほうていしきを、公式こうしきとしてではなく、線型性せんけいせいと指数関数しすうかんすうの性質せいしつから導みちびくことを説明せつめいする。

標準形ひょうじゅんけいは

である。$$a,b,c$$a,b,c が定数ていすうであることが重要じゅうようである。係数けいすうが $$x$$x に依存いぞんする

は一般いっぱんの二階線型方程式にかいせんけいほうていしきの理論りろんで扱あつかう。

2同次どうじと非同次ひどうじ

右辺うへんが 0 の

を同次方程式どうじほうていしきhomogeneous equationという。

右辺うへんの $$f$$f が恒等的こうとうてきに 0 ではない

を非同次方程式ひどうじほうていしきinhomogeneous equationという。

非同次方程式ひどうじほうていしきでは、まず同次方程式どうじほうていしきの解かいを求もとめ、つぎに非同次項ひどうじこう $$f\left(x\right)$$f(x) に対応たいおうする特殊解とくしゅかいを 1 個こ求もとめる。

3命題めいだい1：同次解どうじかいは重かさね合あわせできる

仮定かていとして、$$y_1,y_2$$y_1,y_2 が

の解かいであるとする。このとき、任意にんいの定数ていすう $$C_1,C_2$$C_1,C_2 に対たいして

も解かいである。

3.1証明しょうめい

$$L\left[y\right]=a{y}^{\prime }\text{'}+b{y}^{\prime }+cy$$L[y]=ay''+by'+cy とおく。$$L$$L は線型せんけいである。実際じっさい、

である。仮定かていより $$L\left[y_1\right]=0,L\left[y_2\right]=0$$L[y_1]=0,\ L[y_2]=0 であるため、

である。したがって $$C_1{y}_1+C_2{y}_2$$C_1y_1+C_2y_2 も同次方程式どうじほうていしきの解かいである。

この性質せいしつを重かさね合あわせの原理げんり (superposition principle) という。

4命題めいだい2：非同次解ひどうじかいは「特殊解とくしゅかい+同次解どうじかい」

仮定かていとして、$$y_p$$y_p が

の 1 個この特殊解とくしゅかいであり、$$y_h$$y_h が対応たいおうする同次方程式どうじほうていしき

の解かいであるとする。このとき

は非同次方程式ひどうじほうていしきの解かいである。また、非同次方程式ひどうじほうていしきの任意にんいの解かいはこの形かたちに書かける。

4.1証明しょうめい

$$L\left[y\right]=a{y}^{\prime }\text{'}+b{y}^{\prime }+cy$$L[y]=ay''+by'+cy とおく。$$L$$L は線型せんけいである。前半ぜんはんは

より従したがう。

逆ぎゃくに、$$y$$y も非同次方程式ひどうじほうていしきの解かいだとする。このとき

したがって $$y-y_p$$y-y_p は同次方程式どうじほうていしきの解かいである。これを $$y_h$$y_h とおけば

である。

これは、線型作用素方程式せんけいさようそほうていしきの解集合かいしゅうごうが、1 個この特殊解とくしゅかいに同次方程式どうじほうていしきの解かいを加くわえた集合しゅうごうになるという一般原理いっぱんげんりである。

5特性方程式とくせいほうていしきの導出どうしゅつ

同次方程式どうじほうていしき

を解とく。定数係数ていすうけいすうでは、$$e^{rx}$$e^{rx} を微分びぶんしても

となり、同おなじ $$e^{rx}$$e^{rx} が残のこる。したがって $$y=e^{rx}$$y=e^{rx} を代入だいにゅうすると、微分方程式びぶんほうていしきが $$r$$r の代数方程式だいすうほうていしきに変換へんかんされる。

実際じっさいに代入だいにゅうすると、

すなわち

である。$$e^{rx}\ne 0$$e^{rx}\ne 0 であるため、

を得える。これを特性方程式とくせいほうていしきcharacteristic equationという。

6一般解いっぱんかいの正当化せいとうか

これから根こんの場合分ばあいわけで一般解いっぱんかいを書かく。その根拠こんきょは、二階線型同次方程式にかいせんけいどうじほうていしきの解空間かいくうかんが 2 次元じげんであり、独立どくりつな 2 本ほんの解かいがあればすべての解かいをその線型結合せんけいけつごうで表あらわせることである。

以下いかでは、係数体けいすうたいを $$\mathbb{K}\in \{\mathbb{R},\mathbb{C}\}$$\mathbb K\in\{\mathbb R,\mathbb C\} とする。方程式ほうていしきを

という一階線型系いっかいせんけいけいへ還元かんげんする。$$u\mapsto Au$$u\mapsto Au は連続れんぞくであり、$$u$$u について大域的たいいきてき Lipschitz 連続れんぞくである。したがって存在そんざい・一意性定理いちいせいていりにより、任意にんいの $$u\left(x_0\right)=(\alpha ,\beta {)}^T$$u(x_0)=(\alpha,\beta)^T に対たいして一意解いちいかいが存在そんざいする。

2 解かい $$y_1,y_2$$y_1,y_2 の Wronskian を

と定義ていぎする。$$W(y_1,y_2)\left(x_0\right)\ne 0$$W(y_1,y_2)(x_0)\ne0 なら、初期値しょきちベクトル $$\left(y_1\right(x_0),y_{1^{\prime }}(x_0){)}^T$$(y_1(x_0),y_1'(x_0))^T と $$\left(y_2\right(x_0),y_{2^{\prime }}(x_0){)}^T$$(y_2(x_0),y_2'(x_0))^T は線型独立せんけいどくりつである。解かいの線型結合せんけいけつごうが零関数れいかんすうなら、その初期値しょきちベクトルも零れいになるため、両りょうベクトルの独立性どくりつせいから結合係数けつごうけいすうはともに 0 である。したがって $$y_1,y_2$$y_1,y_2 は解空間かいくうかんで線型独立せんけいどくりつである。

6.1命題めいだい3：独立どくりつな 2 解かいは基本解きほんかいになる

仮定かていとして、$$a\ne 0$$a\ne 0 であり、方程式ほうていしき

を考かんがえる。この方程式ほうていしきの解空間かいくうかんは 2 次元じげんである。したがって、独立どくりつな 2 本ほんの解かい $$y_1,y_2$$y_1,y_2 が見みつかれば、任意にんいの解かいは

と書かける。

6.2証明しょうめい

$$a\ne 0$$a\ne 0 なので、方程式ほうていしきは

と書かける。ある点てん $$x_0$$x_0 を固定こていし、解かい $$y$$y に

を対応たいおうさせる。対応たいおう $$\mathrm{\Phi }$$\Phi は線型せんけいである。

上記じょうきの一階線型系いっかいせんけいけいへの還元かんげんと存在そんざい・一意性いちいせいにより、任意にんいの初期値しょきち $$(\alpha ,\beta )$$(\alpha,\beta) に対たいして、

を満みたす解かいがただ 1 本ほん存在そんざいする。したがって $$\mathrm{\Phi }$$\Phi は解空間かいくうかんから $$K^2$$\mathbb K^2 への全単射ぜんたんしゃである。よって解空間かいくうかんは $$K^2$$\mathbb K^2 と同おなじく 2 次元じげんである。

2 次元じげんの線型空間せんけいくうかんでは、独立どくりつな 2 本ほんの解かいが基底きていになる。したがって任意にんいの解かいは $$C_1{y}_1+C_2{y}_2$$C_1y_1+C_2y_2 と書かける。

この命題めいだいにより、下したの表ひょうで示しめす 2 本ほんの基本解きほんかいが独立どくりつであれば、その線型結合せんけいけつごうを一般解いっぱんかいと呼よべる。

独立性どくりつせいは Wronskian によっても確認かくにんできる。異ことなる実根じっこんでは $$(r_2-r_1)e^{(r_1+r_2)x}$$(r_2-r_1)e^{(r_1+r_2)x}、重根じゅうこんでは $$e^{2rx}$$e^{2rx}、$$\alpha \pm i\beta$$\alpha\pm i\beta から得える実数解じっすうかいの組くみでは $$\beta e^{2\alpha x}$$\beta e^{2\alpha x} であり、$$\beta \ne 0$$\beta\ne0 のもとでいずれも 0 ではない。

7根こんの場合分ばあいわけ

特性方程式とくせいほうていしき

の根こんによって、同次方程式どうじほうていしきの基本解きほんかいが変かわる。

8命題めいだい4：異ことなる実根じっこんの場合ばあい

仮定かていとして、特性方程式とくせいほうていしきが異ことなる実根じっこん $$r_1,r_2$$r_1,r_2 を持もつとする。このとき

は同次方程式どうじほうていしきの一般解いっぱんかいである。

8.1証明しょうめい

$$r_i$$r_i は特性方程式とくせいほうていしきの根こんなので、

である。$$y_i=e^{r_{i}x}$$y_i=e^{r_ix} とおくと、

である。したがって $$e^{r_{1}x},e^{r_{2}x}$$e^{r_1x},e^{r_2x} は解かいである。命題めいだい1より、その線型結合せんけいけつごう

も解かいである。

さらに、2 解かいの Wronskian は

であるから、$$e^{r_{1}x},e^{r_{2}x}$$e^{r_1x},e^{r_2x} は独立どくりつである。命題めいだい3により、その線型結合せんけいけつごうは一般解いっぱんかいである。

二階にかいの初期値問題しょきちもんだいでは、初期値しょきち $$y\left(x_0\right),y^{\prime }\left(x_0\right)$$y(x_0),y'(x_0) の 2 個こが与あたえられる。異ことなる実根じっこんの場合ばあい、2 個この定数ていすう $$C_1,C_2$$C_1,C_2 はこれらの条件じょうけんによって一意いちいに決定けっていされる。

9重根じゅうこんに対応たいおうする第二解だいにかい $$x{e}^{rx}$$xe^{rx} の導出どうしゅつ

特性方程式とくせいほうていしきが

のように重根じゅうこん $$\rho$$\rho を持もつとする。$$e^{\rho x}$$e^{\rho x} は解かいであるが、二階にかいの方程式ほうていしきでは基本解きほんかいが 2 本ほん必要ひつようである。第二解だいにかいの候補こうほとして $$x{e}^{\rho x}$$xe^{\rho x} を代入だいにゅうする。

9.1検算けんざん

$$L=a{D}^2+bD+c$$L=aD^2+bD+c と書かく。重根じゅうこん $$\rho$$\rho を持もつことは、多項式たこうしき

について

が成立せいりつすることを意味いみする。計算けいさんすると、

である。したがって

である。$$e^{\rho x}$$e^{\rho x} の係数けいすうは $$2a\rho +b=p^{\prime }\left(\rho \right)$$2a\rho+b=p'(\rho)、$$x{e}^{\rho x}$$xe^{\rho x} の係数けいすうは $$a{\rho }^2+b\rho +c=p\left(\rho \right)$$a\rho^2+b\rho+c=p(\rho) である。どちらも 0 なので

である。

よって重根じゅうこんの場合ばあいの一般解いっぱんかいは

である。

10複素根ふくそこんと振動しんどう

特性方程式とくせいほうていしきが

を根こんに持もつとする。複素数ふくそすうを使つかえば

が解かいである。Euler 公式こうしき

より、実数値じっすうちの解かいとして

を取とれる。

$$\alpha <0$$\alpha<0 なら振幅しんぷくが減衰げんすいし、$$\alpha =0$$\alpha=0 なら減衰げんすいしない振動しんどうになる。このため二階線型にかいせんけいの複素根ふくそこんは、力学りきがくや電気回路でんきかいろの振動しんどうと直接ちょくせつつながる。

11例れい1：異ことなる実根じっこん

の特性方程式とくせいほうていしきは

である。$$(r-1)(r-2)=0$$(r-1)(r-2)=0 より $$r=1,2$$r=1,2 であるため、

である。

12例れい2：重根じゅうこん

では特性方程式とくせいほうていしきが

である。したがって

である。

13例れい3：複素根ふくそこん

では

より $$r=\pm 2i$$r=\pm 2i である。したがって実数値じっすうちの一般解いっぱんかいは

である。

14非同次方程式ひどうじほうていしきへの拡張かくちょう

では、命題めいだい2により

と書かく。ここで $$y_h$$y_h は同次方程式どうじほうていしきの一般解いっぱんかい、$$y_p$$y_p は非同次方程式ひどうじほうていしきの特殊解とくしゅかいである。

$$f\left(x\right)$$f(x) が指数関数しすうかんすう、三角関数さんかくかんすう、多項式たこうしきのような場合ばあいには、未定係数法みていけいすうほうによって特殊解とくしゅかいを構成こうせいできることがある。より一般いっぱんには定数変化法ていすうへんかほうを適用てきようする。

15作用素法さようそほうへの接続せつぞく

微分作用素びぶんさようそを

と書かくと、

は

と書かける。ここで

とおけば、

である。

この作用素的定式化さようそてきていしきかでは、同次方程式どうじほうていしき $$P\left(D\right)y=0$$P(D)y=0 は線型作用素せんけいさようその核かくを決定けっていする問題もんだいである。非同次方程式ひどうじほうていしき $$P\left(D\right)y=f$$P(D)y=f では、$$f$$f の像ぞうへの所属しょぞくを判定はんていし、可解かかいな場合ばあいには特殊解とくしゅかいによる核かくの平行移動へいこういどうとして解集合かいしゅうごうを記述きじゅつする。

初学段階しょがくだんかいでは、まず特性方程式とくせいほうていしきによる解法かいほうを修得しゅうとくする。作用素法さようそほうは、その代数的構造だいすうてきこうぞうを抽象化ちゅうしょうかする理論的枠組りろんてきわくぐみとして位置付いちづけられる。

16まとめ

二階線型定数係数方程式にかいせんけいていすうけいすうほうていしきには、次つぎの解法手順かいほうてじゅんを適用てきようする。

1. 同次どうじか非同次ひどうじかを確認かくにんする。
2. 同次方程式どうじほうていしきでは $$e^{rx}$$e^{rx} を仮定かていし、特性方程式とくせいほうていしきを導出どうしゅつする。
3. 根こんが異ことなる実根じっこん、重根じゅうこん、複素根ふくそこんのどれかで場合分ばあいわけする。
4. 非同次ひどうじでは $$y=y_h+y_p$$y=y_h+y_p と分わける。
5. 最後さいごに初期条件しょきじょうけんや境界条件きょうかいじょうけんで任意定数にんいていすうを決きめる。

17前まえの講義こうぎ

18次つぎの講義こうぎ

定数係数ていすうけいすうにおける特性根とくせいこんの方法ほうほうを確立かくりつしたら、変数係数へんすうけいすうを含ふくむ一般いっぱんの二階線型方程式にかいせんけいほうていしきの理論りろんへ進すすむ。

19演習えんしゅうリンク