マンガレリの等式

数学の常微分方程式の分野におけるマンガレリの等式（マンガレリのとうしき、テンプレート:Lang-en-short）とは、実領域におけるある線型微分方程式の解が振動的であるか非振動的であるかを判別するための条件を与える定理で、テンプレート:仮リンクにより名付けられた。ピコーンの等式を二つの微分方程式から三つあるいはそれ以上の二階微分方程式へと拡張するものである。ここでは最も基本的な形式のものを紹介する。

等式

t-区間 [a, b] 上の二階線型微分方程式系 $(p_i(t)x_i^{\prime }{)}^{\prime }+q_i(t)x_i=0,x_i(a)=1,x_i^{\prime }(a)=R_i$ の $n$ 個の解を考える。ただし $i=1,2,\dots ,n$ である。$\mathrm{\Delta }$ は前進差分を表す作用素、すなわち $\mathrm{\Delta }{x}_i=x_{i+1}-x_i$ で与えられる作用素とする。二次の差分作用素は、この一次の作用素を ${\mathrm{\Delta }}^2(x_i)=\mathrm{\Delta }(\mathrm{\Delta }{x}_i)=x_{i+2}-2x_{i+1}+x_i$ のように繰り返すことで得られ、より高次の差分についても同様に定義される。

以下では簡単のために独立変数 t を省略し、(a, b] 上では $x_i(t)\ne 0$ が成立するものとする。このとき、次の等式が成り立つ：

$\begin{array}{cc}{x}_{n-1}^2{\mathrm{\Delta }}^{n-1}(p_1{r}_1){]}_a^b& =\underset{a}{\overset{b}{\int }}(x_{n-1}^{\prime }{)}^2{\mathrm{\Delta }}^{n-1}(p_1)-\underset{a}{\overset{b}{\int }}{x}_{n-1}^2{\mathrm{\Delta }}^{n-1}(q_1)-\sum _{k=0}^{n-1}C(n-1,k)(-1{)}^{n-k-1}\underset{a}{\overset{b}{\int }}{p}_{k+1}{W}^2(x_{k+1},x_{n-1})/x_{k+1}^2,\end{array}$

ここで $r_i=x_i^{\prime }/x_i$ は対数微分であり、$W(x_i,x_j)=x_i^{\prime }{x}_j-x_i{x}_j^{\prime }$ はロンスキアン、$C(n-1,k)$ は二項係数を表す。$n=2$ のとき、この等式はピコーンの等式となる。

上の等式は三つの線型微分方程式に対して、ただちに以下の比較定理を導く。これはスツルム＝ピコーンの比較定理の拡張である。

$p_i,q_i,$ i = 1, 2, 3 を、区間 [a, b] 上の実数値連続関数とし、

1. $(p_1(t)x_1^{\prime }{)}^{\prime }+q_1(t)x_1=0,x_1(a)=1,x_1^{\prime }(a)=R_1$
2. $(p_2(t)x_2^{\prime }{)}^{\prime }+q_2(t)x_2=0,x_2(a)=1,x_2^{\prime }(a)=R_2$
3. $(p_3(t)x_3^{\prime }{)}^{\prime }+q_3(t)x_3=0,x_3(a)=1,x_3^{\prime }(a)=R_3$

を三つの自己随伴形式の二階同次線型微分方程式とし、

$p_i(t)>0$ が各 i および [a, b] 内のすべての t に対して成立するものとし、$R_i$ は任意の実数とする。

[a, b] 内のすべての t に対して、

${\mathrm{\Delta }}^2(q_1)\ge 0$,

${\mathrm{\Delta }}^2(p_1)\le 0$,

${\mathrm{\Delta }}^2(p_1(a)R_1)\le 0$

の成立を仮定する。このとき、[a, b] 上で $x_1(t)>0$ であり、$x_2(b)=0$ であるなら、任意の解 $x_3(t)$ は [a, b] 内に少なくとも一つのゼロ点を持つ。

参考文献

• テンプレート:Cite book

• テンプレート:Cite journal