Числовые и функциональные ряды. Тригонометрические ряды Фурье. Курс лекций и сборник задач. Учебное пособие
.pdf3.7 Функциональные ряды. Практические задачи.
Обратимся к случаю множества E2. Обозначив
uk(x) = |
x |
− sin |
x |
, |
|
|
|||
k |
k |
покажем, что последовательность {uk(x)} не сходится равномерно к нулю на E2. Очевидно (т.к. любая точка k E2 = (−∞, +∞)), что для k
αk = sup |uk(x) − 0| > |uk(x)| =
E2
= 1 − sin 1 > 0.
Значит (ввиду αk 6→0, k → ∞) равномерной сходимости по-
следовательности {uk(x)} к нулю на множестве E2 нет, а это влечёт
P∞
отсутствие равномерной сходимости ряда uk(x) на множестве E2
k=1
(не выполняется необходимое условие этого).
Добавим ещё, что, нетрудно показать, при k αk = +∞. Действительно, при любом фиксированном k в силу ограничен-
ности sin xk
|uk(x) − 0| = |
k |
− sin k |
|
→ +∞ при x → +∞. |
|
|||||||||
|
|
|
x |
x |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
этого, функция |
u |
(x) |
− |
0 |
| |
принимает на E |
|
||||||
Поскольку, ввиду |
|
|
|
|
|
|
|
| k |
|
|
|
2 |
||
сколь угодно большие положительные значения, что
141
3 Функциональные последовательности и ряды.
αk = sup |uk(x) − 0| = +∞
E2
(откуда, следует αk 6→0, k → ∞ и прежний вывод об отсутствии равномерной сходимости нашего ряда на E2).
Пример 3.16
∞ |
1 |
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
k=1 |
|
arctg2 |
√kx ln 1 + e−kx |
, |
|||||||
k |
|||||||||||
|
|
|
E = (0, +∞). |
|
|
||||||
Решение. |
|
|
|
|
|
|
|
|
|
|
|
Обозначим |
|
|
|
|
√kx ln |
1 + e−kx |
|||||
uk(x) = k arctg2 |
|||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
и воспользуемся неравенствами | arctg t| 6 |t|, ln(1 + t) 6 t (в последнем считаем t > 0).
Получим для x E
1 √kx 2 e−kx k
Для дальнейших оценок исследуем функцию ϕk(x) = x2e−kx на максимум на множестве E. Находим:
ϕ′k(x) = 2xe−kx − kx2e−kx =
142
|
3.7 Функциональные ряды. Практические задачи. |
||||||||||||||||||
|
|
|
= kxe−kx k − x . |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|||
x > k2 . |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
и ϕ′ (x) < 0, если |
Это даёт ϕ′ |
= 0, ϕ′ (x) > 0 при 0 < x < |
||||||||||||||||||
k |
k |
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
k |
k |
|
Следовательно, значение ϕk |
2 |
|
является максимальным для функ- |
||||||||||||||||
|
|
|
|
|
|
k |
|
|
|
|
) и поэтому |
|
|
||||||
ции ϕk(x) на множестве E = (0, |
+ |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ϕk(x) = x2e−kx 6 ϕk k |
∞ |
|
|
|
|
|
|
|
|
|
|||||||||
= k2 · e−2 для x E. |
|||||||||||||||||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
4 |
|
|
|
|
|
|
С учётом этого получаем для x E |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
4 |
· |
1 |
|
|
|
|
|||||
|
|
|
|
|uk(x)| 6 |
|
|
|
|
|
|
|
||||||||
|
|
P |
e2 |
k2 |
P |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
и, поскольку ряд ∞ |
1 |
сходится, то ряд |
∞ uk(x) сходится равно- |
||||||||||||||||
2 |
|||||||||||||||||||
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
k=1 |
|
|
|
|
k=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
мерно на множестве E (по признаку Вейерштрасса). |
|||||||||||||||||||
Пример 3.17 |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
ln(k + 2) |
, |
|||||||
|
|
∞ |
x |
|
|
|
|||||||||||||
|
k=1 arctg |
ln |
|
||||||||||||||||
|
ln(k + 1) |
ln(k + 1) |
|||||||||||||||||
E1 = (0, 1), E2 = (0, +∞).
Решение.
Положив
143
3 Функциональные последовательности и ряды. |
|
|||
uk(x) = arctg |
x |
ln(k + 2) |
|
|
|
ln |
|
||
ln(k + 1) |
ln(k + 1) |
|||
и, используя неравенство | arctg t| 6 |t|, получим для любого x E1 = (0, 1)
|uk(x)| 6
Обозначив
x |
ln |
ln(k + 2) |
6 |
|
1 |
ln |
ln(k + 2) |
|
ln(k + 1) |
ln(k + 1) |
ln(k + 1) |
ln(k + 1) |
|||||
|
|
|
||||||
1 ln(k + 2) ak = ln(k + 1) ln ln(k + 1),
P∞
докажем сходимость положительного числового ряда ak (от-
k=1
куда, по признаку Вейерштрасса, последует равномерная сходимость
|
∞ |
|
|
|
|
|
|
|
|
|
ln(k+2) |
|
|
|
|
|
|
||||
ряда k=1 uk(x) на E1). Заметим, что |
|
|
|
→ 1, k → ∞, представив |
|||||||||||||||||
|
ln(k+1) |
||||||||||||||||||||
для |
этого |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|||
|
|
|
ln(k + 1) |
= ln |
k |
1 + k1 |
|
|
|
||||||||||||
|
|
|
ln(k + 2) |
|
ln |
k |
1 + 2 |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= ln k + ln 1 + k1 = 1 + ln1k |
ln 1 + k1 |
||||||||||||||||||
|
|
ln k + ln 1 + 2 |
|
|
|
1 + |
1 |
|
ln 1 + |
2 |
|
|
|||||||||
|
|
|
|
|
|
k |
|
|
|
|
|
ln k |
|
|
|
k |
|
|
|||
и учтя |
→ 0, ln 1 + k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
ln k |
→ 0, ln 1 + k → 0, k → ∞. |
|||||||||||||||||||
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
||
144
3.7 Функциональные ряды. Практические задачи.
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
ln(k + 2) |
1 |
|
|
|
ln(k + 2) |
|
− 1 = |
||||||||
ak = |
|
|
|
|
ln |
|
|
|
|
|
|
|
|
|
|
||||||
ln(k + 1) |
ln(k + 1) |
ln(k + 1) |
ln(k + 1) |
||||||||||||||||||
= |
|
1 |
|
|
ln(k + 2) − ln(k + 1) |
= |
|
1 |
ln |
k + 2 |
|
||||||||||
ln(k + 1) · |
|
|
|
k + 1 |
|||||||||||||||||
|
|
|
|
ln(k + 1) |
|
ln2(k + 1) |
|
|
|||||||||||||
|
|
ln2(k1+ 1) k + 1 − 1 = |
|
(k + 1) ln2(k + 1) |
|||||||||||||||||
|
|
|
|
|
|
|
|
k + 2 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k+2 |
|
|
1+ k2 |
|||
(мы использовали ln β β − 1, если β → 1 и k+1 |
= |
|
|
→ 1 при |
|||||||||||||||||
|
1+ k1 |
||||||||||||||||||||
k → ∞). |
|
kP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Значит, ряд |
ak сходится или расходится одновременно с рядом |
||||||||||||||||||||
|
|
=1 |
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k=1 (k + 1) ln2(k + 1),
который мы исследуем на сходимость, применив интегральный
признак Коши-Маклорена.
Полагая
1
f(x) = (x + 1) ln2(x + 1)
(функция f(x) неотрицательна и невозрастает на [1, +∞)), нахо-
дим
145
3 Функциональные последовательности и ряды.
|
|
|
|
1 |
|
= f(k). |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
(k + 1) ln2(k + 1) |
|
|
|||||
|
|
|
|
|
|
||||
|
|
|
|
∞ |
|
|
∞ |
||
Следовательно, ряд |
f(k) (а, значит, и ряд |
ak) сходится или |
|||||||
|
|
|
|
k=1 |
|
|
k=1 |
||
расходится |
одновременно с интегралом |
|
P |
||||||
Z1 |
|
|
P |
Z1 |
|
||||
|
(x + 1) ln2(x + 1) = |
ln2(x + 1) . |
|||||||
|
+∞ |
|
|
dx |
|
+∞ |
d ln(x + 1) |
|
|
|
|
|
|
|
|||||
Но этот интеграл сходится, т.к. замена ln(x + 1) = t преобразует его в сходящийся интеграл
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
lnZ2 |
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
∞ |
t2 |
|
|
|
|
||
|
+∞ |
|
|
|
|
|
|
|
|
(интеграл вида |
dtp , p > 1, a > 0 сходится). |
|
|
|
|||||
|
a |
t |
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
kP |
|
|
|
|
|
|
|
||
Сходимость ряда |
ak и, следовательно, равномерная сходимость |
||||||||
kP |
|
=1 |
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
||
ряда |
uk(x) на множестве E1 доказана. |
|
|
|
|
||||
=1 |
|
|
|
|
|
|
|
|
|
На множестве E2 = (0, +∞) ряд k=1 uk(x) не является равномер- |
|||||||||
но сходящимся, поскольку |
последовательность |
|
u |
k |
(x) не сходится |
||||
|
|
P |
{ |
|
} |
||||
|
|
|
|
|
|
|
|
||
к нулю равномерно на этом множестве (хотя сходится поточечно). Действительно, при любом фиксированном k
|uk(x) − 0| = arctg |
ln(k + 1) ln ln(k + 1) |
|
→ |
2 |
|||
|
|
x |
|
ln(k + 2) |
|
|
π |
146
3.7 Функциональные ряды. Практические задачи.
при x → +∞ (мы учитываем, что при фиксированном k выражение
1 |
|
ln(k + 2) |
|
||||
|
|
|
ln |
|
|
||
ln(k + 1) |
ln(k + 1) |
||||||
-положительная постоянная, и, значит, |
→ +∞ |
||||||
ln(kx+ 1) ln ln(k + 1) |
|||||||
|
|
|
ln(k + 2) |
|
|
||
при x → +∞). Из этого видно, что функция |uk(x)−0| может принимать значения сколь угодно близкие к π2 на множестве E2. Поэтому для k
αk = sup |uk(x) − 0| = |
π |
, |
|
|
|
||
2 |
|||
E2 |
|
|
|
что влечёт (ввиду αk 6→0, k → ∞) отсутствие равномерной сходимости к нулю последовательности {uk(x)} на множестве E2 и,
|
|
|
|
|
|
|
kP |
|
|
|
||||
значит, равномерной сходимости ряда |
∞ |
|
|
|
||||||||||
|
uk(x) на этом множестве. |
|||||||||||||
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
Пример 3.18 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
1 |
|
|
ex |
|
|
|
ex |
|
|
|
|||
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k=1 |
√k + ex sin √k + 1 + √k cos √k + 1 |
√k |
, |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E = (−∞, +∞).
147
3 Функциональные последовательности и ряды.
Решение.
Воспользуемся признаком Дирихле, представив для этого исследуемый ряд в виде
X∞
ak(x)bk(x),
k=1
где |
|
|
|
|
|
|
|
|
|
|
||||
ak(x) = sin |
√ |
ex |
√ |
|
cos |
√ |
ex |
√ |
|
|
||||
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
||||||||||
|
|
k + 1 + |
|
|
k |
|
|
k + 1 − |
k |
|||||
и |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|||
|
bk(x) = |
√ |
|
. |
|
|
|
|||||||
|
k + ex |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
kP |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
Для оценки сверху модуля суммы |
ak(x) преобразуем её так: |
|||||||||||||
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
k=1 ak(x) = k=1 sin ex(√k + 1 − √k) cos ex(√k + 1 + √k) |
= |
||||||||||||
n |
|
n |
|
|
|
|
|
|
|
|
|
|
|
X |
X |
|
|
|
|
|
|
|
|
|
|
||
|
= 2 k=1 sin 2ex√k + 1 − sin 2ex√k |
= |
|
||||||||||
|
|
1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
= 2 |
sin 2ex√n + 1 − sin (2ex) . |
|
|
|
||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
||
(мы использовали формулу Pn (βk+1−βk) = βn+1−β1 с βk = sin 2ex√k .
k=1
148
3.7 Функциональные ряды. Практические задачи.
Теперь ясно, что для n и x E |
|
|
|
|||||||
|
ak(x) |
|
|
|
sin ex√ |
|
|
+ |sin ex| |
= 1. |
|
6 |
|
|
n + 1 |
|||||||
2 |
||||||||||
k=1 |
|
|
|
|
|
|
|
|
||
n |
|
|
|
|
|
|
|
|
|
|
X |
|
1 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Покажем, что последовательность {bk(x)} сходится к нулю равномерно на E. Это следует из оценки
1 |
|
|
1 |
|
|
||||
|bk(x) − 0| = |
√ |
|
6 |
|
√ |
|
|
, |
|
k + ex |
k |
||||||||
верной для k и x E, которая влечёт |
|
|
|
|
|
||||
|
|
|
|
|
1 |
|
|
|
|
αk = sup |bk(x) − 0| 6 |
√ |
|
|
|
|||||
k |
|
||||||||
E |
|
|
|||||||
и(ввиду αk → 0, k → ∞) равномерную сходимость {bk(x)} на E
кнулю.
Исследуемый ряд P∞ ak(x)bk(x) сходится равномерно на множе-
k=1
стве E по признаку Дирихле. |
|
|
|
|
|
|
|
|||||||
Пример 3.19 |
|
|
|
|
|
|
|
|
|
|
|
|
||
∞ |
1 |
|
|
ex |
|
|
ex |
|
|
|
||||
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|||
k=1 |
√ |
k + ex |
sin √ |
k + 1 |
+ √ |
k |
cos √ |
k + 1 |
|
√ |
k |
arctg5 (kex) , |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E = (−∞, +∞).
149
3 Функциональные последовательности и ряды.
Решение.
Будем использовать признак Абеля, для чего представим исследуе-
P∞
мый ряд в виде ak(x)bk(x), где
k=1
1 |
|
|
ex |
√ |
|
|
|
ex |
√ |
|
||||
ak(x) = |
√ |
|
sin |
√ |
|
|
|
cos |
√ |
|
|
|
||
k + ex |
|
k |
|
|
||||||||||
|
|
|
|
k + 1 + |
|
|
k + 1 − |
k |
||||||
и |
|
|
|
|
|
|
|
|
|
|
|
|
||
bk(x) = arctg5 (kex) .
P∞
Ряд ak(x) сходится равномерно на множестве E = (−∞, +∞)
k=1
(см. решение примера 3.18). Последовательность bk(x) монотонно возрастает при каждом фиксированном x E (следует из монотонного возрастания функции g(t) = arctg t) и равномерно ограничена на E, поскольку
0 < arctg5 (kex) < π2
для k и x E.
P∞
Но тогда исследуемый ряд ak(x)bk(x) сходится равномерно на
k=1
множестве E по признаку Абеля.
Найти область сходимости функционального ряда:
373. P∞ x2 + 3x + 3 k.
k=1
374. P∞ x2 − 5x + 7 k.
k=1
150
