スツルム＝ピコーンの比較定理

数学の常微分方程式の分野における、スツルム＝ピコーンの比較定理（スツルム＝ピコーンのひかくていり、）とは、実領域におけるある線型微分方程式の解が振動的であるかあるいは非振動的であるかを判別するための基準を与える、古典的な定理の一つである。との名にちなむ。
formula_1 "i" = 1, 2, を、区間 ["a", "b"] 上の実数値連続関数とし、
を二つの自己随伴形式の二階同次線型微分方程式とする。また
および
が成立しているものとする。
"u" を、"z"1 および "z"2 において連続する根を持つような (1) の非自明解とし、"v" を (2) の非自明解とする。このとき、次の性質のいずれか一つが成立する。
注釈：上の結論のはじめの部分は Sturm (1836) によるものである。また第二の部分は Picone (1910) によるものであり、その簡潔な証明には有名なピコーンの等式が用いられた。二つの方程式が等しいような特別な場合には、が得られる。この重要な定理の、三つあるいはそれ以上の実数値の二階方程式を含む比較定理への拡張については、ハートマン＝マンガレリの比較定理を参照されたい。その簡潔な証明には、マンガレリの等式が用いられた。