1

雑記:線形微分方程式

146
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{bb}[0]{\boldsymbol{b}} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{ee}[0]{\boldsymbol{e}} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{f}[0]{\boldsymbol{f}} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\boldsymbol{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{tr}[0]{\operatorname{tr}} \newcommand{u}[0]{\boldsymbol{u}} \newcommand{ul}[1]{\underline{#1}} \newcommand{v}[0]{\boldsymbol{v}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{W}[0]{\boldsymbol{W}} \newcommand{x}[0]{\boldsymbol{x}} \newcommand{y}[0]{\boldsymbol{y}} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では線形微分方程式の基本事項について雑にまとめていきます。

問題設定

 線形微分方程式とは未知関数$x(t)$とその導関数$x',x'',\ldots$についての線型方程式
$$A_n(t)x^{(n)}+A_{n-1}(t)x^{(n-1)}+\cdots+A_1(t)x'+A_0(t)x=f(t)$$
のことを言います。
 より一般に線形微分方程式はベクトル値関数$\u(t)\;(t\in I)$についての線型方程式
$$\u'=A(t)\u+\bb(t)\qquad(\u,\bb\in\C^n,\ A\in M_n(\C))$$
の形に帰着されます(下で$A$のジョルダン標準形を考えたりするので各関数の終域を$\C$-線形空間としていますが、それぞれ$\R$に置き換えても特に問題ありません)。
 実際例えば上の$n$階線形微分方程式は、簡単のため$A_n(t)=1$とし
$$\u=\begin{pmatrix} x^{(n-1)}&\cdots&x'&x \end{pmatrix}^T$$
とおくことで
$$\u'=\begin{pmatrix} -A_{n-1}(t)&\cdots&-A_1(t)&-A_0(t)\\ 1&\cdots&0&0\\ \vdots&\ddots&\vdots&\vdots\\ 0&\cdots&1&0 \end{pmatrix}\u+\begin{pmatrix} f(t)\\0\\\vdots\\0 \end{pmatrix}$$
という微分方程式に書き換えることができます(逆にこれを満たすような$\u$は第$n$成分を$x$とおくことで
$$\u=\begin{pmatrix} x^{(n-1)}&\cdots&x'&x \end{pmatrix}^T$$
と表せることにも注意しましょう)。

行列の指数関数

 まず定数係数の線形微分方程式を考える上で重要となる行列の指数関数というものについて解説しておきます。

 正方行列$A$に対して$\exp A$
$$\exp A=\sum^\infty_{n=0}\frac{A^n}{n!}$$
によって定める。

基本性質

 $A,B$$AB=BA$を満たすとき
$$\exp(A+B)=(\exp A)(\exp B)$$
が成り立つ。特に
$$(\exp A)^{-1}=\exp(-A)$$
が成り立つ。

 積の可換性から二項定理
$$(A+B)^n=\sum^n_{k=0}\binom nkA^kB^{n-k}$$
が成り立つので
\begin{align} \exp(A+B) &=\sum^\infty_{n=0}\l(\sum^n_{k=0}\binom nkA^kB^{n-k}\r)\frac1{n!}\\ &=\l(\sum^\infty_{n=0}\frac{A^n}{n!}\r)\l(\sum^\infty_{n=0}\frac{B^n}{n!}\r)\\ &=(\exp A)(\exp B) \end{align}
を得る。

 上の変形は冪級数の積
$$\l(\sum^\infty_{n=0}a_n\frac{t^n}{n!}\r)\l(\sum^\infty_{n=0}b_n\frac{t^n}{n!}\r) =\sum^\infty_{n=0}\l(\sum^n_{k=0}\binom nka_kb_{n-k}\r)\frac{t^n}{n!}$$
と比較するとわかりやすい。

$$\det(\exp A)=\exp(\tr A)$$
が成り立つ。

 $A$のジョルダン標準形を$J=P^{-1}AP$とおき、その対角成分(つまり$A$の固有値)を$\la_1,\la_2,\ldots,\la_n$とすると
$$\exp J=P^{-1}(\exp A)P$$
$e^{\la_1},e^{\la_2},\ldots,e^{\la_n}$を対角成分とする上三角行列となるので
\begin{align} \det(\exp A) &=\det(\exp J)\\ &=e^{\la_1}\c e^{\la_2}\cdots e^{\la_n}\\ &=e^{\la_1+\la_2+\cdots+\la_n}\\ &=e^{\tr A} \end{align}
を得る。

計算方法

 行列$A$をジョルダン標準形$PJP^{-1}$に表したとき
$$\exp A=P(\exp J)P^{-1}$$
が成り立つので各ジョルダン細胞に対し$\exp$を計算すれば$\exp A$を求めることができます。

$$\exp\begin{pmatrix} \la&1&0&\cdots&0&0\\ 0&\la&1&\cdots&0&0\\ 0&0&\la&\cdots&0&0\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\cdots&\la&1\\ 0&0&0&\cdots&0&\la \end{pmatrix} =e^\la\begin{pmatrix} 1&1&\frac12&\cdots&\frac1{(n-2)!}&\frac1{(n-1)!}\\ 0&1&1&\cdots&\frac1{(n-3)!}&\frac1{(n-2)!}\\ 0&0&1&\cdots&\frac1{(n-4)!}&\frac1{(n-3)!}\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\cdots&1&1\\ 0&0&0&\cdots&0&1 \end{pmatrix}$$

 ジョルダン細胞$J\in M_n(\C)$を対角成分$\la I$と冪零因子$N$に分けたとき、$\la I$$N$の積は可換なので$N^n=0$に注意すると
\begin{align} \exp J &=\exp(\la I+N)\\ &=\exp(\la I)\exp N\\ &=e^\la\sum^{n-1}_{m=0}\frac{N^k}{k!} \end{align}
を得る。

 ついで$\exp(At)$も計算しておきましょう。

$$\exp(\begin{pmatrix} \la&1&0&\cdots&0&0\\ 0&\la&1&\cdots&0&0\\ 0&0&\la&\cdots&0&0\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\cdots&\la&1\\ 0&0&0&\cdots&0&\la \end{pmatrix}t) =e^{\la t}\begin{pmatrix} 1&t&\frac{t^2}2&\cdots&\frac{t^{n-2}}{(n-2)!}&\frac{t^{n-1}}{(n-1)!}\\ 0&1&t&\cdots&\frac{{t^{n-3}}}{(n-3)!}&\frac{t^{n-2}}{(n-2)!}\\ 0&0&1&\cdots&\frac{{t^{n-4}}}{(n-4)!}&\frac{t^{n-3}}{(n-3)!}\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\cdots&1&t\\ 0&0&0&\cdots&0&1 \end{pmatrix}$$

\begin{align} \exp(Jt) &=\exp(\la tI)\exp(tN)\\ &=e^{\la t}\sum^{n-1}_{k=0}\frac{t^k}{k!}N^k\\ \end{align}
とわかる。

定数係数の場合

 まず係数$A(t)$$t$に依らない場合の方程式
$$\u'=A\u+\bb(t)$$
を考えましょう。
 これを解くにあたっては次の事実が重要となります。

 $\W=\exp(At)$
$$\W'=A\W=\W A$$
を満たす。

$$(\exp(At))'=\sum^\infty_{n=1}A^n\frac{t^{n-1}}{(n-1)!}$$
に注意するとわかる(項別微分の正当性については省略)。

 この事実によって
$$\W^{-1}(\u'-A\u)=(\W^{-1}\u)'$$
と変形できるので件の方程式
$$\u'=A\u+\bb(t)$$

$$(\W^{-1}\u)'=\W^{-1}\bb(t)$$
という微分方程式に帰着でき、これを解くことで
$$\u=\exp(At)\int\exp(-At)\bb(t)dt$$
という一般解が得られます。
 また必要に応じて$\W=\exp(A(t-t_0))$と平行移動することで次のような結果が得られます。

 $\bb(t)\in\C^n$を区間$I\subset\R$において連続な関数とする。
 このとき任意の$t_0\in I,\u_0\in\C^n$に対し微分方程式
$$\u'=A\u+\bb(t)$$
の解$\u$であって初期値$\u(t_0)=\u_0$を満たすようなものが一意に存在し、特にその解は
$$\u=\exp(A(t-t_0))\l(\int^t_{t_0}\exp(-A(s-t_0))\bb(s)ds+\u_0\r)$$
と求まる。

 ちなみにこのことから同次方程式
$$\u'=A\u$$
の解
$$\u=\exp(At)\u_0\qquad(u_0\in\R^n\mbox{は任意})$$
のなす線形空間$V$$n$次元となることがわかります。
 実際$\exp(At)$は正則であったことに注意すると例えば
$$\u_i=\exp(At)\ee_i\qquad(i=1,2,\ldots,n)$$
$V$の基底を成すことになります。

一般の場合

定数係数の場合との違い

 一般の場合も定数係数の場合と同じように
$$B(t)=\int^t_aA(s)ds$$
および$\W=\exp B(t)$とおくと
$$\W'=\sum^\infty_{n=1}\frac{B^{n-1}}{(n-1)!}B'=\W A$$
とできそうな気がしますが、残念ながらこれは成り立ちません。実際、行列値関数において積の微分は
$$(A_1A_2)'=A'_1A_2+A_1A'_2$$
となるので累乗の微分は
$$(B^n)'=\sum^{n-1}_{k=0}B^kB'B^{n-k-1}$$
となります。
 定数係数のときは$B=At$$B'=A$の積が可換であったため$(B^n)'=nB^{n-1}B'$つまり
$$(\exp B(t))'=\exp(B(t))A$$
が成り立っていたのでした。
 このように一般の場合において明示的に解を求めることは難しいですが、同次形の方程式
$$\u'=A(t)\u$$
の基本解を構成できれば非同次形の方程式
$$\u'=A(t)\u+\bb(t)$$
の解も求めることはできます。

基本解系

 いま同次方程式
$$\u'=A(t)\u$$
の解として
$$\u=\u_1,\u_2,\ldots,\u_n$$
が得られたとき、これらが線形独立であるかどうかを判定する方法としてロンスキアンというものがあります。

 関数$\u_1,\u_2,\ldots,\u_n\in\C^n$に対し
$$\W(\u_1,\u_2,\ldots,\u_n)=\begin{pmatrix} \u_1&\u_2&\cdots&\u_n \end{pmatrix}$$
と定まる関数のことをロンスキー行列と言い、その行列式
$$W(\u_1,\u_2,\ldots,\u_n)=\det\begin{pmatrix} \u_1&\u_2&\cdots&\u_n \end{pmatrix}$$
のことをロンスキアンと言う。

 通常ロンスキー行列と言えば$n$階線形微分方程式
$$\u=\begin{pmatrix} x&x'&\cdots&x^{(n-1)} \end{pmatrix}^T$$
の場合に定まるもの
$$\W(x_1,x_2,\ldots,x_n)=\begin{pmatrix} x_1&x_2&\cdots&x_n\\ x'_1&x'_2&\cdots&x'_n\\ \vdots&\vdots&\ddots&\vdots\\ x^{(n-1)}_1&x^{(n-1)}_2&\cdots&x^{(n-1)}_n \end{pmatrix}$$
のことを言いますが、ここではより一般の方程式
$$\u'=A(t)\u$$
の解を横に並べたものについてもロンスキー行列と言うことにします。

 $\u_1,\u_2,\ldots,\u_n$が同次方程式
$$\u'=A(t)\u$$
の解であるときそのロンスキアン$W(t)$
$$W(t)=\exp\l(\int^t_{t_0}\tr A(s)ds\r)W(t_0)$$
を満たす。特に
\begin{align} \u_1,\u_2,\ldots,\u_n\mbox{が線形独立}&\iff\mbox{常に}W(t)\neq0\\ \u_1,\u_2,\ldots,\u_n\mbox{が線形従属}&\iff\mbox{常に}W(t)=0\\ \end{align}
が成り立つ。

 $W'=\tr(A(t))W$を示せばよい。
 いま$\u_j$の取り方からそのロンスキー行列は
$$\W'=A(t)\W$$
を満たす。ここで$A(t)$$(i,j)$成分を$A_{i,j}$、ロンスキー行列の第$i$行を$\v_i$とおくとこれは
$$\v'_i=\sum^n_{j=1}A_{i,j}\v_j\qquad(i=1,2,\ldots,n)$$
と言い換えられることに注意する。
 したがって
\begin{align} W'&= \det\begin{pmatrix}\v'_1\\\v_2\\\vdots\\\v_n\end{pmatrix} +\det\begin{pmatrix}\v_1\\\v'_2\\\vdots\\\v_n\end{pmatrix} +\cdots +\det\begin{pmatrix}\v_1\\\v_2\\\vdots\\\v'_n\end{pmatrix}\\ &= \det\begin{pmatrix}A_{1,1}\v_1\\\v_2\\\vdots\\\v_n\end{pmatrix} +\det\begin{pmatrix}\v_1\\A_{2,2}\v_2\\\vdots\\\v_n\end{pmatrix} +\cdots +\det\begin{pmatrix}\v_1\\\v_2\\\vdots\\A_{n,n}\v_n\end{pmatrix}\\ &=\tr(A(t))W \end{align}
を得る。

  この記事 にて紹介したように同次方程式
$$\u'=A(t)\u$$
は($A(t)$が連続ならば)必ず$n$個の線形独立な解$\u_1,\u_2,\ldots,\u_n$を持ち、そのような関数の組のことを基本解系と言います。
 いま、ある基本解系のなすロンスキー行列を$\W(t)$とおくとこれは可逆であり
$$0=(\W\W^{-1})'=\W'\W^{-1}+\W(\W^{-1})'$$
より
\begin{align} (\W^{-1})' &=-\W^{-1}\W'\W^{-1}\\ &=-\W^{-1}(A(t)\W)\W^{-1}\\ &=-\W^{-1}A(t) \end{align}
が成り立つので
$$\W^{-1}(\u-A(t)\u')=(\W^{-1}\u)'$$
と変形できます。
 したがって件の方程式
$$\u'=A(t)\u+\bb(t)$$

$$(\W^{-1}\u)'=\W^{-1}\bb(t)$$
という微分方程式に帰着され、これを解くことで
$$\u=\W(t)\int \W(t)^{-1}\bb(t)dt$$
という一般解が得られます。

定数係数の$n$階線形微分方程式

 最後に定数係数の$n$階線形微分方程式
$$x^{(n)}+a_{n-1}x^{(n-1)}+\cdots+a_1x'+a_0x=0$$
の性質について簡単に紹介しておきましょう。

$$B_n =\begin{pmatrix} -b_1&\cdots&-b_{n-1}&-b_n\\ 1&\cdots&0&0\\ \vdots&\ddots&\vdots&\vdots\\ 0&\cdots&1&0 \end{pmatrix}$$
の固有多項式は
$$\det(\la I-B_n)=\la^n+b_1\la^{n-1}+\cdots+b_{n-1}\la+b_n$$
と求まる。

$$\det(\la I-B_n) =\begin{vmatrix} \la+b_1&b_2&\cdots&b_{n-1}&b_n\\ -1&\la&\cdots&0&0\\ 0&-1&\cdots&0&0\\ \vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&\cdots&-1&\la \end{vmatrix}$$
を第$n$列について余因子展開することで
$$\det(\la I-B_n)=\det(\la I-B_{n-1})\la+b_n$$
が成り立つことに注意するとわかる。

$$A=\begin{pmatrix} -a_{n-1}&\cdots&-a_1&-a_0\\ 1&\cdots&0&0\\ \vdots&\ddots&\vdots&\vdots\\ 0&\cdots&1&0 \end{pmatrix}$$
の固有値$\la$に対し固有空間$\Ker(A-\la I)$の次元は$1$となる。特に$A$のジョルダン標準形において$\la$に関するジョルダン細胞は一つだけである。

 $A$の固有値$\la$に関する固有ベクトル$\p$に対しその第$n$成分を$a$とおくと$A\p=\la\p$の各成分を比較することで
$$\p=a\begin{pmatrix} \la^{n-1}&\cdots&\la&1 \end{pmatrix}^T$$
が成り立つことからわかる。

 この補題と命題4から以下の事実が得られます。

 微分方程式
$$x^{(n)}+a_{n-1}x^{(n-1)}+\cdots+a_1x'+a_0x=0\qquad\cdots(\bigstar)$$
の特性方程式が
\begin{align} 0&=\la^n+a_{n-1}\la^{n-1}+\cdots+a_1\la+a_0\\ &=(\la-\la_1)^{e_1}(\la-\la_2)^{e_2}\cdots(\la-\la_m)^{e_m} \end{align}
と因数分解されるとき、$(\bigstar)$の解は
$$x=t^je^{\la_kt}\qquad(0\leq j\leq e_k-1)$$
の線型結合によって尽くされる。

 なお$x(t)\in\R$の範囲で考えると、$(\bigstar)$の基本解系として
$$x=t^je^{\mu_kt}\cos(\nu_k t),\ t^je^{\mu_kt}\sin(\nu_k t)\qquad(\la_k=\mu_k+i\nu_k)$$
が取れます。

おまけ:線形漸化式

 ちなみに一般に線形演算子$L$に対して、$x$に関する定数係数の方程式
$$(L^n+a_{n-1}L^{n-1}+\cdots+a_1L+a_0)x=0$$
を考えたときにも
$$\u=\begin{pmatrix} L^{n-1}x\\L^{n-2}x\\\vdots\\x \end{pmatrix},\quad A=\begin{pmatrix} -a_{n-1}&\cdots&-a_1&-a_0\\ 1&\cdots&0&0\\ \vdots&\ddots&\vdots&\vdots\\ 0&\cdots&1&0 \end{pmatrix}$$
とおき
$$L\u=A\u$$
という方程式に帰着させることでいい感じになることがあります。
 上では微分演算子$L=\frac d{dt}$について議論してきましたが$L=S$を数列$x_n$に対する前進作用素$Sx_n=x_{n+1}$とすると$l$項間漸化式
$$x_{n+l}+a_{l-1}x_{n+l-1}+\cdots+a_1x_{n+1}+a_0x_n=0$$
は一項間漸化式
$$S\u_n=\u_{n+1}=A\u_n$$
に帰着されます。これは単純に
$$\u_n=A^n\u_0$$
と解けるので以下の主張が得られます。

 漸化式
$$x_{n+l}+a_{l-1}x_{n+l-1}+\cdots+a_1x_{n+1}+a_0x_n=0\quad\cdots(\bigstar)$$
の特性方程式が
\begin{align} 0&=\la^l+a_{l-1}\la^{l-1}+\cdots+a_1\la+a_0\\ &=(\la-\la_1)^{e_1}(\la-\la_2)^{e_2}\cdots(\la-\la_m)^{e_m} \end{align}
と因数分解されるとき、$(\bigstar)$の解は
$$x_n=n^j\la_k^n\qquad(0\leq j\leq e_k-1)$$
の線型結合によって尽くされる。

 ジョルダン細胞$J=\la I+N\in M_e(\C)$に対し
$$J^n=\sum^{e-1}_{j=0}\binom nj\la^{n-j}N^j$$
が成り立つこと、および
$$\binom nj=\frac{n(n-1)\cdots(n-j+1)}{j!}$$
$n$についての多項式であることに注意するとわかる。

投稿日:224
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
985
224850
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中