§ 4. Метод разделения переменных 133
Будем считать, что функции ρ(x), p(x), q(x), входящие в уравнение
(4.2), заданы на промежутке (0, l) и обладают следующими свойствами:
1) ρ(x) > 0, p(x) > 0 для ∀x ∈ (0, l);
2) функции ρ(x), q(x) непрерывны на промежутке (0, l) (ρ, q ∈ C(0, l));
3) функция p(x) непрерывно дифференцируема на промежутке
(0, l) (p ∈ C
1
(0, l)).
При указанных ограничениях, накладываемых на функции ρ, p, q, и
m = 2 однозначно устанавливается тип уравнения (4.2) в зависимости
от знака функции a
2
(t) при ∀t > 0 :
если a
2
(t) > 0, то уравнение имеет гиперболический тип;
если a
2
(t) = 0, то уравнение имеет параболический тип;
если a
2
(t) < 0, то уравнение имеет эллиптический тип.
Решение задачи (4.2)-(4.4) может быть построено с помощью метода
разделения переменных (метода Фурье). Кратко изложим схему мето-
да.
Ненулевое решение будем искать в виде произведения двух функций
X(x) и T (t) :
u(x, t) = X(x)T (t). (∗)
Подставляя выражение (∗) в уравнение (4.2) и разделяя переменные,
получим:
d
dx
h
p(x)
dX(x)
dx
i
− q(x)
ρ(x)X(x)
=
P
t
[T (t)]
T (t)
. (∗∗)
Так как правая часть не зависит от x, а левая часть не зависит от t, то
для любых x и t равенство возможно, если оба отношения равны кон-
станте, скажем, −c. Тогда равенство (∗∗) распадается на два уравнения
d
dx
·
p(x)
dX
dx
¸
− q(x)X + cρ(x)X = 0, (4.5)
P
t
[T (t)] + cT (t) = 0, (4.6)
где c – пока неизвестная константа.
Подставляя выражение (∗) в граничные условия (4.3) и учитывая, что
T (t) 6≡ 0, получаем однородные условия для функции X(x) :
α
1
X
0
(0) + β
1
X(0) = 0, α
2
X
0
(l) + β
2
X(l) = 0. (4.7)
Таким образом, для смешанной задачи построена соответствующая за-
дача Штурма-Лиувилля (4.5), (4.7), решая которую получаем набор соб-
ственных значений c
k
и собственных функций X
k
(x).