0
Теорема 3. Если функции у
1
(х); у
2
(х); … ; у
n
(х) – частные решения уравнения L[y]=0, то их
линейная комбинация, т.е. у=с
1
у
1
+с
2
у
2
+…+c
n
y
n
, также является решением.
Какие же условия следует наложить на функции у
1
(х), у
2
(х), … , у
n
(х), чтобы их
линейная комбинация с произвольными постоянными являлась общим решением уравнения
L[y]=0. Для этого введем понятие линейно независимой системы функций.
Система функций у
1
(х); у
2
(х); … ; у
n
(х) определенных на множестве Х, называется
линейно зависимой, если существуют такие, не все равные нулю, действительные числа
α
1
, α
2
,
… , α
n
, что линейная комбинация
2211
nn
yyy
K для всех х из Х.
Функции у
1
(х), у
2
(х), … , у
n
(х) называются линейно зависимыми на Х, если из тождества
0
2211
nn
yyy
K
следует, что
α
1
=α
2
=…=α
n
=0.
Назовем определителем Вронского для системы функций у
1
(х), у
2
(х), … , у
n
(х),
определенных на Х, следующий функциональный определитель n-го порядка:
)()()(
)()()(
)()()(
),,()(
)1()1(
2
)1(
1
21
21
1
xyxyxy
xyxyxy
xyxyxy
yyWxW
n
n
nn
n
n
n
−−−
′′′
==
K
LLLLLLLLLLLL
K
K
K
.
Мы предполагаем, что функции у
1
, у
2
, … , у
n
на множестве Х непрерывны и имеют все
производные до порядка n-1 включительно. Это функциональный определитель.
Теорема. Если функции у
1
, у
2
, … , у
n
линейно зависимы на множестве Х, то определитель
Вронского равен нулю.
Теорема. Если решения у
1
(х), у
2
(х), … , у
n
(х) линейно однородного уравнения L[y]=0 являются
линейно независимыми на множестве Х, где коэффициенты уравнения непрерывны, то
определитель Вронского на этом множестве Х нигде не обращается в нуль.
Примем эти две теоремы без доказательств, также без доказательства примем
следующие утверждения:
1. Если у
1
, у
2
, … , у
n
– система из n линейно независимых частных решений линейного
однородного дифференциального уравнения n-го порядка, то
nn
ycycycy
++
K
2211
есть
общее решение этого уравнения.
2. Максимальное число линейно независимых частных решений линейного однородного
уравнения L[y]=0 с непрерывными на множестве Х коэффициентами равно порядку
уравнения.
3. Независимо от начальных условий все другие решения уравнения L[y]=0 являются линейной
комбинацией линейно независимый частных решений.
Таким образом, для решения линейного однородного уравнения n-го порядка
необходимо найти n линейно независимых частных решений. Общее решение уравнения
получится как линейная комбинация этих частных решений.
Назовем фундаментальной системой решений линейного дифференциального уравнения
L[y]=0 любые n линейно независимых частных решений.
Будем искать частные решения уравнения L[y]=0 или
в
виде
, где λ – неизвестно.
0
1
)1(
1
)(
=+
′
+++
−
−
yayayay
nn
nn
K
x
ey
λ
=
Подставляя в уравнение получим:
x
ey
λ
=
0
1
1
1
=++++
−
− x
n
x
n
xnxn
eaeaeae
λλλλ
λλλ
K
учитывая, что 0
e , то деля уравнение на e получим ≠
x
λ
x
λ
0
1
1
1
=++++
−
−
nn
nn
aaa
λλλ
K .
Полученное уравнение называется характеристическим. Среди корней характеристического
уравнения
λ
1
, λ
2
, …, λ
n
могут встретиться следующие:
1. Все корни характеристического уравнения
λ
1
, λ
2
, …, λ
n
действительные и различные. Тогда
функциональную систему образуют функции линейно независимые на (-
∞; ∞):