75
∞
=
=
1
)()(),(
n
nn
tTxXtxu (22)
где
x
l
n
xX
n
sin)( =
Предполагается, естественно, что этот ряд сходится равномерно на
отрезке ],0[
, кроме этого он удовлетворяет, очевидно, граничным условиям
(10
2
).
Далее, проводится разложение функции ),(
в ряд по собственным
функциям )(xX
n
. Если ),(
непрерывно дифференцируема по переменной
на отрезке ],0[
, то такое разложение в равномерно сходящийся ряд, по
теореме 2 (п.1), возможно. Пусть оно имеет вид
∞
=
=
1
)()(),(
n
nn
xXtftxf , (23)
где
⋅=
l
n
n
n
dxxXtxf
xX
tf
0
2
)(),(
)(
1
)(.
Подставим теперь разложения (22), (23) в уравнения (8
2
). Имеем
+
=
n
nn
n
nn
n
nn
XtfTXaTX )(
2
.
Учтём, что
nnn
XX
λ
−=
. Тогда, после очевидных преобразований,
получим
=−−
n
nnnnn
XfTaT 0)(
2
λ
или, в силу ортогональности функции
n
X , -
)(
2
tfTaT
nnnn
=+
λ
. (24)
Решим теперь систему уравнений (24) и подставим полученные
выражения в (22). В результате этого в него войдут наборы коэффициентов
n
A ,
n
B , которые определяются, как и в Случае 1,из начальных условий (9
2
).