数学常微分方程式の分野におけるピコーンの等式(ピコーンのとうしき、: Picone identity)は、二階同次線型微分方程式英語版に関する古典的な結果の一つである。マウロ・ピコーン英語版の名にちなむ[1]。1910年にこの等式が発見されると、スツルムの1836年の元々の証明では多くのページを必要としていたスツルムの比較定理に対し、ほとんど直ちに示される証明が与えられるなど、研究の発展に大いに寄与した。また、上記のような微分方程式の振動を研究する上でもピコーンの等式は役に立ち、他のタイプの微分方程式差分方程式に対しても一般化がなされている。

ピコーンの等式

編集

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

 

および

 

の解とする。このとき、v(x) ≠ 0 であるような全ての x に対して、次の等式が成立する。

 

この等式のことを、ピコーンの等式と呼ぶ。

証明

編集

 

脚注

編集

参考文献

編集