Теорема о структуре общего решения ЛНДУ

ЛНДУ

у⁽ⁿ⁾ + P₁y^(n-1) +…+ P_n-1 y’ + P_n y = f(x) (1) P_i – непрерывна на отрезке (a,b)

Теорема о структуре общего решения ЛНДУ

Общее решение ЛНДУ есть сумма частного решения и общего решения соответственного ему однородного уравнения

Док-во:

Для уравнения 2-го порядка (но теорема применима для уравнений любого порядка)

n=2

(1’) y” + P₁(x) y’ + P₂(x) y = f(x)

Обозначим у*(х) – частное решение ЛНДУ

(х) – общее решение ЛОДУ

Показать, что

(2) у= у*+ - общее решение ЛНДУ

Найдем:

Дважды дифференцируем функцию (2) и подставляем у, y’,y” в (1’)

у*”(x) + ”(x) + P₁(x)[ у*(x)+ ’(x)] + P₂(x)[ у*(x)+ (x)] =

= [у*”(x)+ P₁(x) у*’(x)+ P₂(x) у*(x)] + [ ”(x) + P₁(x) ’ (x)+ P₂(x) (x)] = f(x) + 0 = 0

= C₁y₁(x) + C₂y₂(x), y_1,y₂ – частное решение ЛОДУ y” + P₁y’ + P₂ = 0

C₁C₂ – подбираем так, чтобы они удовлетворяли начальным условиям

y(x₀)=y₀, y’(x₀)=y₀’, для любых х₀ (а,в), и любых y₀,y₀’

C₁y₁(x₀) + C₂y₂(x₀) + у*(x₀) = y₀

C₁y’₁(x₀) + C₂y’₂(x₀) + у*(x₀) = y₀’

Линейная неоднородная система, определитель этой системы, определитель Вронского

W[y_1, y₂]≠0 =>система имеет единственное решение при любых ₀ , ’₀ ,y*_0,y*’₀, это означает у= у*+ - общее решение ЛНДУ