Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Числовые и функциональные ряды. Тригонометрические ряды Фурье. Курс лекций и сборник задач. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
15.08.2026
Размер:
973 Кб
Скачать

3.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

uk(x) = |uk(x)| 6
= x2e−kx

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 2exk + 1 − sin 2exk

=

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

= 2

sin 2exn + 1 − sin (2ex) .

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

(мы использовали формулу Pn k+1−βk) = βn+1−β1 с βk = sin 2exk .

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

кнулю.

Исследуемый ряд Pak(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. Px2 + 3x + 3 k.

k=1

374. Px2 − 5x + 7 k.

k=1

150

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]