69
Левая часть последнего соотношения зависит только от
, правая, - от
x
1
, … , x
n
. Так эти переменные независимы, то каждая часть есть величина
постоянная. Обозначив её через
− , в результате этого получим
−=
′
−=
′′
λ
λ
T
T
T
T
(5)
и
λ
ρ
−=
−
Ф
qФkgradФdiv
)(
(6)
Если выражение (4) подставить в граничные условия (3), получим
=
∂
∂
⋅+
=
∂
∂
=
0)(
0
0)(
n
Ф
MФ
n
Ф
MФ
γ
. (7)
Уравнение (6) совместно с условием (7), точнее, с одним из них,
называется
задачей Штурма-Лиувилля, её нетривиальные решения, -
собственными функциями, а соответствующие им значения λ, -
собственными значениями краевой задачи (1)-(3).
Фундаментальное значение для обоснования метода имеют следующие
утверждения.
Пусть
n
,
n∈ , - собственные значения, а Ф
n
(М), - система
собственных функций. Заметим, что Ф
n
определяются с точностью до
постоянного множителя. Тогда справедлива
Теорема 1. Собственные значения краевой задачи (1)-(3)
неотрицательны, а их множество счетно.