導入
線形常微分方程式の先頭項の係数がどの点でも0にならないとき，この微分方程式の解空間の次元は，その微分方程式の階数に一致するという定理が知られています．では，先頭項の係数が0になる点がある場合の次元はどうなるのでしょうか．今回は，係数が実解析的な場合，線形常微分方程式の解空間の次元と，その微分方程式の階数との誤差が，先頭係数の零点の位数で評価できることを紹介します．
微分方程式
開区間I \subset \mathbb{R}上の微分方程式\sum_{i=0}^m a_i (x) \frac{d^i}{dx^i} u = 0を考えてみましょう．ここで，a_i (x) \, (i = 0 , \ldots ,m)はIの上で実解析的な関数です．1階の微分作用素d/dxを単に\partialと書いてしまいます．そうすると方程式は, \sum_{i=0}^m a_i (x) \partial^i u = 0とかけます．さらに，P = \sum_{i=0}^m a_i (x) \partial^iと書いてしまって，これが関数uに作用していると思うと方程式はP u = 0と簡単にかけます．
さて，方程式P(x ,\partial) u = 0の解uはどういう性質を仮定するのが自然でしょうか？最低でも，uはm階微分可能な関数でないと，微分は定義できません．なので，区間Iの上でm階微分可能な関数の集合F^m(I)の上で考える場合もあるでしょう．ただし，F^0 (I) = \partial F^1 (I)，すなわち，F^0 (I)を1階微分可能な関数を微分して得られる関数の集合とします．このとき，空間F^m(I)の上の方程式P u = 0は
\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
と書けます．
他にも関数の集合を考える場合があります．もう少し関数uの性質を仮定して，区間Iの上でm階連続微分可能な関数の集合C^m(I)の上で考える場合もあるでしょう．このとき，空間C^m(I)の上の方程式P u = 0は
\mathrm{Ker} (P \colon C^m (I) \to C^0 (I))
と書けます．
方程式の解空間の包含関係を確認しておきましょう．関数の集合の包含関係は
です．従って，それぞれ場合での解空間の包含関係は，
\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\supset
\mathrm{Ker} (P \colon C^m (I) \to C^0 (I))
です．
さて，それぞれの上での解空間では次元はどうなのでしょうか？まず，先頭項の係数a_m (x)が区間Iで0になる点が存在しない場合で，よく知られている命題を復習します．
先頭項の係数が区間Iで0になる点が存在しない場合
この場合，方程式P u = 0は両辺をa_m (x)で割って
\partial^m u + \sum_{i=0}^{m-1} \frac{a_i (x)}{a_m(x)} \partial^i u = 0
となります．第2項を右辺に移項すると，
\partial^m u = - \sum_{i=0}^{m-1} \frac{a_i (x)}{a_m(x)} \partial^i u
となります．第2項は，微分可能な関数になっているので，右辺は連続になります．従って\partial^m uは連続になります．つまり，u \in C^m (I)となります．実は，次の命題があります．
命題1. (C.f. [Sak2015,定理2.8])
先頭項の係数a_m (x)が区間Iで0になる点が存在しない場合，
\dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I)) = m .
命題1と先ほどの考察から次が得られます．
系2.
先頭項の係数a_m (x)が区間Iで0になる点が存在しない場合，
\dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I)) = \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I))= m .
つまり，m階微分可能な関数の集合F^m (I)で考えても，m階連続微分可能な関数の集合C^m (I)で考えても，解空間は同じということになります．
一般の場合
一般の場合，解空間\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))と解空間\mathrm{Ker} (P \colon C^m (I) \to C^0 (I))は一致するのでしょうか？また，次元は階数mになるのでしょうか？
答えは，一般に一致するとは限りませんし，次元はmになるとは限りません．具体例を見てみましょう．
階数mより，大きくなる例
区間I = \mathbb{R}とします．P u = x \partial u - 2 u = 0という解空間を考えてみましょう．m=1階微分可能な関数の集合F^1 (I)の上で考えてみると，解空間\mathrm{Ker} (P \colon F^1 (I) \to F^0 (I))は
u_1 =
\begin{cases}
x^2 , & x \geq 0, \\
0 & x <0,
\end{cases}
\quad
u_2 =
\begin{cases}
0 , & x \geq 0, \\
x^2 & x <0,
\end{cases}
の線形和で書けることがわかります．2次元です．
一方で，1階連続微分可能な関数の集合C^1 (I)の上で考えてみると，解空間\mathrm{Ker} (P \colon C^1 (I) \to C^0 (I))は
の線形和で書けます．1次元です．
まとめると，
\begin{align*}
2 & =
\dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\\
& > \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I)) =1 (=m)
\end{align*}
となり，異なります．
階数mより，小さくなる例
区間I = \mathbb{R}とします．P u = x \partial u + u = 0という解空間を考えてみましょう．まず，(0,\infty)の上での解空間\mathrm{Ker} (P \colon F^1 ((0,\infty)) \to F^0 ((0,\infty)))は，命題 2より，
\begin{equation}
u_1 = x^{-1} \tag{1}
\end{equation}
の線形和として書けます．同様に，(-\infty , 0)の上での解空間\mathrm{Ker} (P \colon F^1 ((-\infty , 0)) \to F^0 (( - \infty , 0)))は，(1)の線形和として書けます．
では，m=1階微分可能な関数の集合F^1 (I)の上で考えてみると，解空間\mathrm{Ker} (P \colon F^1 (I) \to F^0 (I))の元は，x=0で連続でないといけません．しかし，解空間を(-\infty , 0)や( 0, \infty )に制限するとそれぞれ，(1)のスカラー倍で書けないといけません．点x=0で連続になるには，u=0しかないことがわかります．
まとめると，
\begin{align*}
m = 1 & >
\dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\\
& = \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I))
\end{align*}
となり，階数mより解空間の次元が小さくなります．
命題1を一般化する
どれくらい次元が異なるのかが，気になりますね．それの回答を与えるのが，次の定理です．
定理3. ([Kit2014])
\left| \dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I)) - m \right| \leq \sum_{x \in I} \mathrm{ord}_x a_m
\left| \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I)) - m \right| \leq \sum_{x \in I} \mathrm{ord}_x a_m
ここで，\mathrm{ord}_x a_mは，点xでのa_mの零点の位数です．
零点の位数とは，点xでTaylor展開したときの最初に出てくる次数です．例えば，
\mathrm{ord}_0 x^2 = 2,
\quad \mathrm{ord}_1 x(x-1) = 1,
\mathrm{ord}_1 x^2 = 0
です．
定理3が主張することは，解空間の次元と階数mの誤差は先頭項a_mのI上に存在する零点の位数の和になる，ということです．また，a_mのI上の零点の位数が有限の場合，解空間の次元は有限であることが従います．
まとめ，今後の課題
今回は，係数が実解析的な場合，線形常微分方程式の解空間の次元と，その微分方程式の階数との誤差が，先頭係数の零点の位数で評価できることを紹介しました．
今後の課題として，この誤差を正確に捉えるには，どのようにすればよいのかが挙げられます．
最後まで読んでいただき，ありがとうございました．
参考文献
[Kit2014] 北岡 旦, 超函数 - Schwartz Distribution / Sato Hyperfunction -, 数学のなかま Vol. 55, (2014).
[Kom1971] H.Komatsu, On the index of Ordinary differential operators, J. Fac. Sci. Univ. Tokyo, Sec. IA, 18 (1971), 379 – 398.
[KY1973] 小松 彦三郎, 矢野 環, 佐藤超函数論入門, 数理解析研究所講究録, 188巻, (1973).
[Sak2015] 坂井 秀隆, 大学数学の入門10 常微分方程式, 東京大学出版会, (2015).
[Sat1958] 佐藤 幹夫, 超関数の理論, 数学, 10, (1958), no. 1, 1-27.
Appendix 定理3の証明
定理3再掲
まず，目標である定理3を再掲します．
定理3. ([Kit2014])
m - \sum_{x \in I} \mathrm{ord}_x a_m
\leq \dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\leq m + \sum_{x \in I} \mathrm{ord}_x a_m
m - \sum_{x \in I} \mathrm{ord}_x a_m
\leq \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I))
\leq m + \sum_{x \in I} \mathrm{ord}_x a_m
下からの評価の証明
まず，下からの評価についてです．解空間を実解析的な関数に限定する場合を考えます．区間Iの上で実解析的な関数の集合\mathcal{A}(I)とします．このとき，空間\mathcal{A}(I)の上の方程式P u = 0は
\mathrm{Ker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I))
と書けます．また，微分作用素Pで写らない関数に相当するの集合を
\mathrm{Coker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I))
= \mathcal{A} (I) / \mathrm{Im} (P \colon \mathcal{A} (I) \to \mathcal{A} (I))
命題 4. (C.f. [KY1973, Appendix 2])
\begin{align*} & \dim \mathrm{Ker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I)) - \dim \mathrm{Coker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I)) \\ & = m - \sum_{x \in I} \mathrm{ord}_x a_m . \end{align*}
命題4から，
\dim \mathrm{Coker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I)) \geq 0であるから，
\dim \mathrm{Ker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I))
\geq
m - \sum_{x \in I} \mathrm{ord}_x a_m .
集合関係として，
F^m (I) \supset C^m (I) \supset \mathcal{A} (I)
であるから，
\begin{align*}
& \dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\\
& \geq \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I))
\\
& \geq
\dim \mathrm{Ker} (P \colon \mathcal{A} (I) \to \mathcal{A} (I))
\\
& \geq
m - \sum_{x \in I} \mathrm{ord}_x a_m .
\end{align*}
上からの評価の証明
方針は
- 解空間\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))を，より広い空間である佐藤超函数の上に微分方程式を拡張して，
- 小松の指数定理[Kom1971]で佐藤超函数上の微分方程式の次元を計算し，
- 解空間\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))の次元を評価する
という感じです．
m階微分可能な関数をSchwartz超関数に埋め込む
I上の局所可積分関数の空間L_{\mathrm{loc}}^1 (I)をSchwartz超関数の空間\mathcal{D}^* (I)に埋め込む写像\iota_{L}を定義します．任意のu \in L_{\mathrm{loc}}^1 (I), 任意の台がコンパクトな滑らかな関数の空間\mathcal{D} (I)の元\varphiに対して，
\langle \iota_{L} (u), \varphi \rangle
:= \int_I u(x) \phi (x) dx
と定義します．変分法の基本補題より\iota_{L}が単射であることがわかります．
この写像\iota_{L}を使って，F^0(I)をSchwartz超関数の空間\mathcal{D}^* (I)に埋め込みます．任意のu \in F^0 (I)に対して，\partial \tilde u = uとなる関数\tilde u \in F^1 (I)を取ります，このとき，写像\iota_{F} \colon F^0 (I) \to \mathcal{D}^* (I)を，
\iota_{F} (u) = \partial \iota_{L} ( \tilde u)
で定義します．ここで，微分作用素\partialはSchwartz超関数の上に拡張します．写像\iota_{F}はwell-definedで単射であることがわかります．
また，\iota_{L}は\mathcal{A}(I)の掛け算とも可換であることが知られています．加えて，\iota_{L}によって，微分作用素\partial \colon C^1 (I) \to C^0 (I)を超関数の微分と可換です，すなわち，C^1 (I)の上で\iota_L \partial = \partial \iota_Lです．このことから，\iota_{F}は微分と可換で，\mathcal{A}(I)の掛け算とも可換であることが従います．
つまり，F^m(I)において，微分作用素Pと写像\iota_Fは可換です．
以上をまとめると，単射な写像\iota_{F}によって，
\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\subset_{\iota_F}
\mathrm{Ker} (P \colon \mathcal{D}^* (I) \to \mathcal{D}^* (I))
となります．
Schwartz超関数を佐藤超函数に埋め込む
この節では，Schwartz超関数の上の微分方程式を佐藤超函数の上の微分方程式に拡張します．区間Iの上の佐藤超函数を\mathcal{B} (I)とします．
命題 5. ([Sat1958,\S 1], c.f. [KY1973])
単射な写像\iota_{\mathcal{D}^*} \colon \mathcal{D}^* (I) \to \mathcal{B} (I)であって，微分と可換で，\mathcal{A}(I)の掛け算とも可換であるものが存在します．このことから，F^m(I)において，微分作用素Pと写像\iota_{\mathcal{D}^*} \circ \iota_{F}は可換です．
以上をまとめると，単射な写像\iota_{\mathcal{D}^*} \circ \iota_{F}によって，
\mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\subset_{\iota_{\mathcal{D}^*} \circ \iota_{F}}
\mathrm{Ker} (P \colon \mathcal{B} (I) \to \mathcal{B} (I))
となります．
小松の指数定理
佐藤超函数の上の微分方程式の解空間の次元についての公式が次の命題で知られています．
命題6. (小松の指数定理 [Kom1971], c.f. [KY1973])
\dim \mathrm{Ker} (P \colon \mathcal{B} (I) \to \mathcal{B} (I)) = m + \sum_{x \in I} \mathrm{ord}_x a_m .
命題6から，
\begin{align*}
& \dim \mathrm{Ker} (P \colon C^m (I) \to C^0 (I))
\\
& \leq \dim \mathrm{Ker} (P \colon F^m (I) \to F^0 (I))
\\
& \leq \dim \mathrm{Ker} (P \colon \mathcal{B} (I) \to \mathcal{B} (I))
\\
& = m + \sum_{x \in I} \mathrm{ord}_x a_m .
\end{align*}
Discussion