A.5.5 一般化された Strum 列

Next: A.6 Bernoulli 法 Up: A.5 Strum の方法 Previous: A.5.4 直交多項式の作る Strum 列

A.5.5 一般化された Strum 列

一松先生の本にあった Strum 列の定義の条件は森先生の本よりも少し緩い条件であった (つまり一般化してあると言える)。明示していないけれど $p_k(\lambda)$ の連続性は仮定されている、と思う。

次の性質を持つ関数列 $\{p_k(\lambda)\}_{k=0}^n$ を Strum 系と言う。

各 $p_k(\lambda)$ の解は有限個; $p_{k}(\lambda_0)=p_{k+1}(\lambda_0)=0$ はありえない。
$p_k(\lambda_0)=0$ のとき $p_{k-1}(\lambda_0)p_{k+1}(\lambda_0)<0$ .
$p_0(\lambda)$ は定符号。

もちろん対応する Strum の定理の結論は少し複雑になる。

$\begin{jtheorem}[一般化された Strum の定理]\upshape $\{p_k(\lambda)\}_{k=0}^n$\... ...x{($+$\ から $-$\ に変化)}. \end{array} \right. \end{displaymath}\end{jtheorem}$

Proof. 略 $\qedsymbol$ ARRAY(0xebef08) $\qedsymbol$

$\begin{jcorollary}\upshape $N(a)\ne N(B)$\ ならば $[a,b]$\ 内に $p_n(\lambda)=0$\ の解がある。 \end{jcorollary}$

$\begin{jcorollary}[実対称三重対角行列の固有値問題]\upshape $n$\ 次実対称三重対.. ...、ヒ。「ノャ、コ $p_{k-1}(\lambda)=0$\ 、ホコャ、ャ、「、($k=1,2,\cdots,n$)。 \end{jcorollary}$

Proof. 略。 $\qedsymbol$ ARRAY(0x12f6420) $\qedsymbol$

Next: A.6 Bernoulli 法 Up: A.5 Strum の方法 Previous: A.5.4 直交多項式の作る Strum 列

Masashi Katsurada
平成21年7月9日