Теорема сравнения Штурма

Теорема сравнения Штурма — классическая теорема, дающая критерий неосцилляции решений некоторых линейных дифференциальных уравнений.

Названа в честь Жака Шарля Франсуа Штурма. Расширенная версия теоремы, сформулированная ниже, была получена Мауро Пиконе^[en].

ФормулировкаПравить

Пусть p_i, q_i i = 1, 2, — вещественнозначные непрерывные функции на интервале [a, b] и пусть

1. $(p_1(x)y^{\mathrm{\prime <!--\; \prime \; -->}}{)}^{\mathrm{\prime <!--\; \prime \; -->}}+q_1(x)y=0$$(p_{1}(x)y^{\prime })^{\prime }+q_{1}(x)y=0$ 
2. $(p_2(x)y^{\mathrm{\prime <!--\; \prime \; -->}}{)}^{\mathrm{\prime <!--\; \prime \; -->}}+q_2(x)y=0$$(p_{2}(x)y^{\prime })^{\prime }+q_{2}(x)y=0$ 

— два однородных линейных дифференциальных уравнения второго порядка в самосопряженной форме с

$0<p_{2}(x)\leq p_{1}(x)$ 

и

$q_2(x)\ge <!--\; \ge \; -->q_1(x).$$q_{2}(x)\geq q_{1}(x).$ 

Пусть u — нетривиальное решение (1) с последовательными корнями в z₁ и z₂ и пусть v — нетривиальное решение (2). Тогда имеет место одно из следующих свойств:

• Существует x в (z₁, z₂) такие, что v(x) = 0; или же
• Решения u и v пропорциональны; то есть существует λ в R такое, что v(x) = λ u(x).

См. такжеПравить

• Теорема сравнения Рауха — фундаментальный результат римановой геометрии получаемый применением теоремы сравнения Штурма.