Реферат: Некоторые Теоремы Штурма

(2.37)

где

(2.38)

а аргументом функции q и ее производных служит функция t = t (s), обратная к функции s = s (f), определяемой из (2.36) с помощью квадратуры; см. (1.7). В этих формулах штрих означает дифферен­цирование по t , так что q' = dqldt.

Замена переменных (2.34), (2.36) называется подстановкой Лиувилля. Эта подстановка, или повторное применение ее, часто приводит к дифференциальному уравнению типа (2.37), в котором функция f (s) «близка» к постоянной. Простой предель­ный случай такой подстановки см. в упр. 1.1(с).

(xiv) Уравнения Риккати. В п. (xi), (xii) и (xiii) рассматривались преобразования уравнения (2.1) в различные линейные уравнения второго порядка или в соответствующие линейные системы двух уравнений первого порядка. Иногда удобно преобразовать (2.1) в соответствующее нелинейное уравнение или систему. Для этого чаще всего используется следующий метод. Пусть

, (2.39)

так что . Тогда после деления (2.1) на и результат можно записать в виде

. (2.40)

Это уравнение называется уравнением Риккати , соответствующим (2.1). (В общем случае уравнение вида , где правая часть является квадратичным полиномом от г, называется дифференциальным уравнением Риккати.)

Читателю предоставляется проверка того факта, что если и (t) - решение уравнения (2.1), не равное нулю на t - интервале , то функция (2.39) является решением уравнения (2.40) на J'; обрат­но, если - решение уравнения (2.40) на t -интервале , то, интегрируя (2.39), мы получаем решение

(2.41)

уравнения (2.1), не равное нулю ни в одной точке из J'.

(xv) Преобразование Прюфера. В случае, когда уравнение (2.1) имеет вещественные коэффициенты, часто используется следующее преобразование . Пусть -вещественное решение уравнения 2.1, и пусть

.

Поскольку и и и' не могут обратиться в нуль одновременно, то, фиксируя соответствующее значение функции в некоторой точке , мы определяем с помощью второго из равенств (2.42) непре­рывно дифференцируемую функцию . Соотношения (2.42) пере­водят уравнение (2.1) в систему

, (2.43)

(2.44)

В уравнение (2.43) входит лишь одна из неизвестных функций . Если решение уравнения (2.43) известно, то соответствую­щее решение уравнения (2.44) может быть найдено с помощью квадратуры.

Преимущество уравнения (2.43) по сравнению с (2.40) состоит в том, что всякое решение уравнения (2.43) существует на всем интервале J, где непрерывны р и q. Это видно из соотношения, свя­зывающего решения уравнений (2.1) и (2.43).

Упражнение 2.1 . Проверьте, что если функция непре­рывна на J и имеет локально ограниченную вариацию (т. е. имеет ограниченную вариацию на всех замкнутых ограниченных подин-тервалах из J) и если - вещественное решение уравнения (2.1), то равенства

(2.45)

при фиксированном значении для некоторого однозначно определяют непрерывные функции , имеющие локально ограниченную вариацию и

Соотношения (2.46) и (2.47) следует понимать так, что интегралы Римана - Стильтьеса от обеих их частей равны. Обратно, (непре­рывные) решения системы уравнений (2.46), (2.47) определяют реше­ния уравнения (2.1) с помощью соотношений (2.45). Заметим, что если q (t) > 0, р (t) > 0 и функция q(t) р (t ) имеет локально огра­ниченную вариацию, то, полагая , мы получаем q/ , а соотношения (2.45), (2.46) и (2.47) переходят в равенства

(2.48)

(2.49)

. (2.50)

§ 3. Теоремы Штурма