4.4. Понижение порядка однородного линейного уравнения

Практическое нахождение фундаментальной системы решений однородного линейного дифференциального уравнения (4.2), а значит и общего решения, иногда облегчает следующая теорема.

Теорема. Если известно одно частное решение Однородного линейного дифференциального уравнения (4.2), то порядок этого уравнения может быть понижен на единицу.

Доказательство. Пусть решение дифференциального уравнения (4.2). Положим , где – новая неизвестная функция. Тогда формула (3.8) для линейного дифференциального оператора произведения двух функций дает

.

Поскольку , то

.

Поэтому однородное линейное дифференциальное уравнение (4.2) запишется так:

.

Полагая , получим

.

Таким образом, получено дифференциальное уравнение порядка .

Использование этой теоремы наиболее наглядно для уравнений второго порядка.

Рассмотрим уравнение второго порядка

. (4.4)

Пусть – известное частное решение этого уравнения. Положим . Тогда

, .

Подстановка в уравнение (4.4) дает

,

То есть

.

А так как

,

То

. (4.5)

Полагая , приходим к уравнению

. (4.6)

Решая это уравнение, имеем:

,

.

Отсюда

,

То есть

.

Это общее решение уравнения (4.6). Следовательно, общее решение уравнения (4.5) имеет вид

.

Можно положить , . Тогда получим решение

.

Таким образом, функция

(4.7)

Является одним из решений уравнения (4.4).

Предположим, что решения и линейно зависимы. Тогда

,

Откуда

.

Между тем из (4.7) следует, что

.

Поэтому и линейно независимы, а, значит, общее решение уравнения (4.4) дается формулой

,

Где и – произвольные постоянные.

Пример 4.1. Возьмем уравнение

.

Легко видеть, что является решением этого уравнения. Приведем уравнение к виду (4.4)

.

Второе частное решение найдем по формуле (4.7):

,

.

Итак, общее решение исходного дифференциального уравнения

.

Примечание. Понизить порядок однородного линейного дифференциального уравнения (4.2) можно и на основании формулы Остроградского-Лиувилля

,

Где – определитель Вронского для фундаментальной системы решений уравнения (4.2), – некоторое значение переменной .

© 2011-2024 Контрольные работы по математике и другим предметам!