クネーザーの定理 (微分方程式)

数学の常微分方程式の分野におけるクネーザーの定理（クネーザーのていり、）とは、微分方程式が振動的であるかどうかを決定付ける基準について述べた定理である。の名にちなむ。
定理の内容.
次の形状の線型同次常微分方程式を考える。
ただし
は連続関数である。この方程式は、無限個の零点を伴う解 "y" を持つとき振動的（oscillating）と言われ、そうでない場合は非振動的（non-oscillating）と言われる。
クネーザーの定理では、この方程式が非振動的であるための十分条件は
であり、振動的であるための十分条件は
であることが述べられている。
例.
クネーザーの定理の内容を確かめるための例として、
である場合を考える。ただし formula_6 はゼロでない実数とする。今、
が成立するため、定理にしたがうと、解が振動的か非振動的かという点は、formula_6 が正である（非振動的）か負である（振動的）かという点に依存することが分かる。
この formula_9 の選び方に対する解を見つけ、この例に対する定理の成立を確かめるために、
の形状の解を代入する。すると、
が得られるが、これは（ゼロでない formula_6 に対し）一般解が
で与えられることを意味する。ここで formula_14 と formula_15 は任意定数である。
正の formula_6 に対して解が非振動的であることを確かめることは難しくない。一方、負の formula_17 に対しては、等式
が成り立つことから、解が振動的であることが確かめられる。
この例より、一般的な結果としてスツルム＝ピコーンの比較定理が成立する。
拡張.
この結果には多くの拡張が存在する。近年の成果として、参考文献 を参照されたい。