📂ルベーグ空間

シュツルム＝リウヴィル微分方程式

定義¹

$p\in$、$C^{1}(\mathbb{R})$(../1594)とし、$q,r\in C(\mathbb{R})$、$\lambda \in \mathbb{R}$とする。以下の形の微分方程式をストゥルム=リウヴィル微分方程式と言う。

$$ \begin{equation} \left[ p(x)u^{\prime}(x) \right]^{\prime}+\left[ q(x) +\lambda w(x) \right]u(x)=0 \end{equation} $$

または

$$ p(x)u^{\prime \prime}(x)+p^{\prime}(x)u^{\prime}(x)+\left[ q(x)+\lambda w(x) \right]u(x)=0 $$

説明

これをS-L問題とも言う。

ここで、$w$は重み関数と呼ばれているが、これは微分方程式$(1)$の解である$u$たちの関数空間で$w$が内積に対する重みになるからである。

$\lambda$と$u$はそれぞれ固有値、固有関数と呼ばれ、これも上述の微分方程式を固有値方程式形に表したときに$\lambda$が固有値になるからである。また、$u$が掛かる項が$q + \lambda w$のように見えるのは、$\lambda$の値に応じて微分方程式をもっと細かく分類するためだと考えられる。

任意の関数空間で内積をうまく定義するために、定積分区間と重み関数を正確に見つけるのは難しい。さらに、見つけたとしても、積分を計算するのは常に簡単というわけではない。この時点で、ストゥルム=リウヴィル問題を通じて、このような困難を解決できる。この時、$(1)$のような微分方程式を無条件で扱うのは難しいので、以下のような条件を考えよう。

正則ストゥルム=リウヴィル問題

微分方程式$(1)$が区間$[a,b]$で定義されていて、以下の２つの条件を満たすとき、正則ストゥルム=リウヴィル問題と呼ばれる。

$(\text{i})$ すべての$x \in [a,b]$に対して、$p(x)>0$、$w(x)>0$

$(\text{ii})$ $(c_{1},c_{2})\ne (0,0)$であり、$(d_{1},d_{2})\ne (0,0)$の定数に対して以下の境界条件が成立する。

$$ \begin{cases} c_{1}u(a) + c_{2}u^{\prime}(a) =0 \\ d_{1}u(b) + d_{2}u^{\prime}(b) =0 \end{cases} $$

このような問題に対して、以下のヒルベルト空間に含まれる微分方程式の解$u$を見つけることが目的である。

$$ L_{w}^{2}(a,b) := \left\{ u : \mathbb{R} \to \mathbb{C} \bigg| \int_{a}^{b} \left| u(x) \right|^{2} w(x)dx <\infty \right\} $$

このような重み付き$L^{p}$空間での内積は、以下のように与えられる。

$$ \langle u, v \rangle _{L_{w}^{2}(a,b)} =\int_{a}^{b} u(x)\overline{v(x)}w(x)dx,\quad u,v\in L_{w}^{2}(\mathbb{R}) $$