Линейные неоднородные дифференциальные уравнения второго порядка

Рассмотрим ЛНДУ второго порядка

где - заданные, непрерывные на (а;b) функции. Уравнение

левая часть которого совпадает с левой частью ЛНДУ (5.1), называется соответствующим ему однородным уравнением.

Теорема 5.1 (структура общего решения ЛНДУ). Общим решением у уравнения (5.1) является сумма его произвольного частного решения у* и общего решения соответствующего однородного уравнения (5.2), т. е.

Убедимся, что функция (5.3) - решение уравнения (5.1). Так как у* есть решение уравнения (5.1), а - решение уравнения (5.2), то

В таком случае имеем:

Это означает, что функция является решением уравнения (5.1).

Покажем теперь, что функция

является общим решением уравнения (5.1). Для этого надо доказать, что из решения (5.4) можно выделить единственное частное решение, удовлетворяющее заданным начальным условиям

Продифференцировав функцию (5.4) и подставив начальные условия (5.5) в функцию (5.4) и ее производную, получим систему уравнений:

где у_о=у(х_о), у'₀=y'(x₀), с неизвестными c₁ и с₂. Определителем этой системы является определитель Вронского W(x₀) для функции y₁(x) и у₂(х) в точке х=х_о. Функции y₁(x) и у₂(х) линейно независимы (образуют фундаментальную систему решений), т. е. Следовательно, система имеет единственное решение: c₁=с⁰₁ и с₂=с⁰₂.