数学の常微分方程式の分野における、スツルム=ピコーンの比較定理(スツルム=ピコーンのひかくていり、)とは、実領域におけるある線型微分方程式の解が振動的であるかあるいは非振動的であるかを判別するための基準を与える、古典的な定理の一つである。ジャック・シャルル・フランソワ・スツルムとの名にちなむ。
i = 1, 2, を、区間 [a, b] 上の実数値連続関数とし、
を二つの自己随伴形式の二階同次線型微分方程式とする。また
および
が成立しているものとする。
u を、z1 および z2 において連続する根を持つような (1) の非自明解とし、v を (2) の非自明解とする。このとき、次の性質のいずれか一つが成立する。 v(x) = 0 を満たすようなある x が区間 [z1, z2] 内に存在する; v(x) = λ u(x) を満たすようなある実数 λ が存在する。
注釈:上の結論のはじめの部分は Sturm (1836) C. Sturm, Mémoire sur les équations différentielles linéaires du second ordre, J. Math. Pures Appl. 1 (1836), 106–186 によるものである。また第二の部分は Picone (1910) M. Picone, Sui valori eccezionali di un parametro da cui dipende un'equazione differenziale lineare ordinaria del second'ordine, Ann. Scuola Norm. Pisa 11 (1909), 1–141. によるものであり、その簡潔な証明には有名なピコーンの等式が用いられた。二つの方程式が等しいような特別な場合には、が得られる。この重要な定理の、三つあるいはそれ以上の実数値の二階方程式を含む比較定理への拡張については、ハートマン=マンガレリの比較定理を参照されたい。その簡潔な証明には、マンガレリの等式が用いられた。
参考文献
Diaz, J. B.; McLaughlin, Joyce R. Sturm comparison theorems for ordinary and partial differential equations. Bull. Amer. Math. Soc. 75 1969 335–339 pdf Heinrich Guggenheimer (1977) Applicable Geometry, page 79, Krieger, Huntington ISBN 0-88275-368-1 .