370
Д о к а з а т е л ь с т в о. 1. Пусть y
∼
– частное решение неодно-
родного уравнения (30.17), а y
0
= C
1
y
1
+ C
2
y
2
– общее решение
сопровождающего однородного уравнения. Убедимся сначала,
что функция
y = y
0
+ y
∼
является решением уравнения (30.17). Подставим функцию (30.19)
в левую часть уравнения (30.17):
y″
0
+ y
∼
″ + p(x)(y ′
0
+ y
∼
′) + q(x)(y
0
+ y
∼
).
Перегруппировав члены, получаем
[y ″
0
+ p(x)y′
0
+ q(x)y
0
] + [ y
∼
″ + p(x)y
∼
′ + q(x)y
∼
].
Так как y
0
– решение уравнения (30.18), то выражение в пер-
вых квадратных скобках равно нулю. Так как y
∼
есть решение
уравнения (30.17), то выражение, стоящее во вторых квадратных
скобках, равно f (x). Итак, подставив (30.19) в уравнение (30.17),
получаем тождество f(x) = f (x).
Следовательно, функция (30.19) действительно является реше-
нием дифференциального уравнения (30.17).
2. Теперь надо убедиться в том, что функция (30.19) является
общим решением неоднородного уравнения (30.17). Пусть y – лю-
бое решение неоднородного уравнения (30.17), а y
∼
– решение
этого же уравнения (30.17).
Рассмотрим разность y – y
∼
. Покажем, что эта разность являет-
ся решением однородного уравнения (30.18), для чего подставим
ее в левую часть уравнения (30.18) и сгруппируем соответству-
ющие слагаемые:
(y – y
∼
)″ + p(x)(y – y
∼
)′ + q(x)(y – y
∼
) =
= [y ″ + p(x)y′ + q(x)y] – [y
∼
″ + p(x)y
∼
′ + q(x)y
∼
] = f(x) – f (x) = 0.
Следовательно, эта разность есть частное решение однородно-
го уравнения (30.18), и это решение можно записать в виде
y – y
∼
= C
0
1
y
1
+ C
0
2
y
2
,
где C
0
1
и C
0
2
– соответствующие значения констант C
1
и C
2
в
формуле общего решения однородного уравнения.
Мы доказали, что любое решение уравнения (30.17) можно
получить по формуле (30.19) путем соответствующего подбора
констант C
1
и C
2
. Следовательно, функция (30.19) является об-
щим решением неоднородного линейного дифференциального
уравнения (30.17). Доказательство закончено.