Материал: Демина Тселые и мероморфные функтсии 2015

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

4. Суммирование некоторых рядов

справедливы равенства

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

F (k) = −π

{

 

 

 

 

}

 

 

 

 

 

j = 1 :

 

res

F (z) ctg(πz)

,

 

 

 

 

 

z=an

 

 

 

 

 

 

 

 

 

k=−∞

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

N

 

res

 

 

F (z) cosec(πz)

 

,

 

 

 

 

 

 

 

j = 2 :

 

(1) F (k) = −π

 

{

}

 

z=an

 

 

 

 

 

 

k=−∞

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

(4.3)

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j = 3 :

 

 

 

 

 

res

F (z) tg(πz)

 

,

 

 

k=

−∞

F (k + 2 )

= π n=1 z=an {

 

 

 

 

}

 

 

 

 

 

 

1

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j = 4 :

k

k +

 

 

= π

 

res

 

F (z) sec(πz)

 

.

 

2 )

 

{

}

k=

(1) F (

 

n=1 z=an

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

Доказательство этой теоремы основано на применении

основной теоремы о вычетах к интегралу

 

 

 

 

 

 

lim

 

 

 

 

(z)dz

 

 

 

 

 

 

m→∞ Iγm F (z)fj

 

 

 

 

(4.4)

с последующим переходом

к

пределу

 

при m → ∞.

Заметим, что можно отказаться от условия несовпадения полюсов {a1, a2, . . . , aN } мероморфной функции F (z) с точками последовательности Zj. В этом случае соответствующие значения k нужно просто исключить из суммы рядов в левой части равенств (4.3). При этом в правой части (4.3) для каждого такого k0, что an0 = zk0 , требуется найти вычеты

j = 1, 2 : −π res {F (z)fj(z)} ,

z=an0

(4.5)

j = 3, 4 : π res {F (z)fj(z)}

z=an0

соответствующих функций в полюсах, порядок которых уже выше единицы.

Последовательность кривых m, m N} из теоремы 4.1 существует всегда, если мероморфная функция F (z) есть

41

4. Суммирование некоторых рядов

частное двух многочленов и степень многочлена в числителе на два и более меньше степени многочлена в знаменателе.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

Задача 4.1. Вычислить сумму ряда

 

 

 

, где b C и

k=0

k2 + b2

ib не является целым числом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Нетрудно показать, что справедливо равенство

 

 

 

1

 

 

 

1

{

1

 

 

 

 

1

 

}.

 

 

 

 

 

 

 

 

=

 

 

 

+

 

 

 

(4.6)

 

 

 

 

 

k2 + b2

2

b2

 

 

k2 + b2

 

 

 

 

k=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=−∞

 

 

 

 

 

 

 

Функция

F (z) =

1

 

 

имеет два простых полюса в точках

 

 

 

z2 + b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a1 = ib, a2 = −ib. Для вычисления суммы ряда

k2 + b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=−∞

 

 

воспользуемся формулой (4.3) при j = 1. Имеем

 

 

k=

 

k2

+ b2 = −π [z=ib { z2 + b2 }

z=−ib { z2 + b2 }] =

1

 

 

 

 

 

 

 

 

ctg(πz)

 

 

 

 

 

ctg(πz)

 

 

 

 

 

 

 

res

 

 

+

res

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.7)

 

 

 

 

 

π ctg(πbi)

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

=

=

cth(πb).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bi

 

 

 

 

 

b

 

 

 

 

 

 

 

Подставляя этот результат в выражение (4.6), находим ответ исходной задачи

 

 

 

 

 

 

 

 

1

=

1 + πb cth(πb)

.

 

(4.8)

k=0

k2 + b2

2b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)k

b

 

 

 

 

 

 

 

 

 

Задача 4.2. Вычислить сумму ряда

 

(k + b)2

, где

 

C

 

 

 

k=−∞

 

 

 

 

 

и b не является целым числом.

42

4. Суммирование некоторых рядов

1

Решение. Функция F (z) = (z + b)2 имеет один полюс второго

порядка в точке a1 = −b. Согласно формуле (4.3) при j = 2, находим

 

 

 

 

 

 

 

cosec(πz)

 

 

(1)k

= π res

=

 

k=

−∞

(k + b)2

z=−b {

(z + b)2

}

 

 

 

 

 

(sin(πz) )}

= π

 

 

 

(4.9)

= −π z→b {dz

 

sin2(πb) .

 

 

lim

d

1

 

 

 

 

2

cos(πb)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, ответ исходной задачи имеет вид

 

 

 

 

 

π2 ctg(πb)

 

 

 

 

 

 

(1)k

=

.

(4.10)

 

 

 

 

(k + b)2

 

 

sin(πb)

 

 

 

 

 

 

k=−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

Задача 4.3. Вычислить сумму ряда

 

 

 

.

k=0

(2k + 1)2

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Несложно заметить, что имеют место равенства:

1

 

 

 

 

1

 

 

 

 

1

1

 

 

 

=

 

 

 

 

 

 

=

k=0

(2k + 1)2

k=−∞

(2k + 1)2

 

(2k + 1)2

 

 

 

k=−∞

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.11)

 

= k=

−∞

 

(2k + 1)2

k=1

(2k − 1)2

=

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

(2k + 1)2

 

 

 

(2k + 1)2

.

 

 

 

k=−∞

 

 

 

k=0

 

 

 

 

 

 

Следовательно, мы получаем

 

 

 

 

 

 

 

 

 

 

 

 

1

=

1

1

=

1

1

 

 

 

.

(4.12)

 

(2k + 1)2

 

 

(2k + 1)2

 

 

(

 

)

2

k=0

2

k=−∞

8

k=−∞ k +

1

 

 

 

 

 

 

 

 

 

2

 

 

 

 

43

4. Суммирование некоторых рядов

1

Введем функцию F (z) = z2 , имеющую один полюс второго

порядка в точке a1 = 0, и воспользуемся формулой (4.3) при j = 3. Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

= π res

tg(πz)

= π lim

 

 

d

 

tg(πz) =

 

 

 

21 2

 

 

 

{dz

 

k=

−∞

k +

z=0 {

 

 

z2

}

 

 

z→0

}

 

(

)

 

1

 

 

 

 

 

 

 

 

 

(4.13)

 

 

= π2 lim

 

 

 

2

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z→0 {cos2(πz) } = π

 

 

 

 

Тогда ответ исходной задачи примет вид

 

 

 

 

 

 

 

 

 

1

 

 

 

 

π2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

.

 

 

 

(4.14)

 

 

 

 

k=0

 

(2k + 1)2

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

Задача 4.4. Вычислить сумму ряда

 

 

 

.

 

k=1

k2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Рассмотрим функцию F (z) =

1

 

, имеющую один

 

z2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полюс второго порядка в точке a1 = 0. Будем пользоваться формулой (4.3) при j = 1 с учетом того факта, что a1 совпадает

с одним из полюсов функции f1(z) = ctg(πz). Имеем

 

1 1

1

 

π

{

ctg(πz)

}.

 

 

 

 

 

 

 

 

res

 

(4.15)

k=1 k2 = 2 k=

,k=0 k2 =

 

z2

2 z=0

 

 

 

 

 

−∞ ̸

 

 

 

 

 

 

 

 

Порядок полюса функции ctg(πz) в точке z = 0 равен трем. z2

Разложив целые функции cos(πz) и sin(πz) в ряд Тейлора в окрестности точки z = 0, получим:

 

 

π2

 

cos(πz) = 1

 

 

 

z2 + o(|z|2),

 

 

2

(4.16)

 

 

 

 

π3

 

 

 

 

 

sin(πz) = πz −

 

 

z3 + o(|z|3).

 

 

6

 

44

4. Суммирование некоторых рядов

Следовательно, разложение мероморфной функции ctg(πz) в ряд Лорана в окрестности точки z = 0 будет иметь вид

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

(4.17)

 

 

 

ctg(πz) = πz 3 z + o(|z|).

 

 

 

 

 

 

 

 

Тогда

 

 

 

z=0 {

 

ctg(πz)

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4.18)

 

 

 

 

 

 

 

 

z2

 

 

} =

3 .

 

 

 

 

 

 

 

 

 

 

res

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В результате мы находим ответ исходной задачи

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

π2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

.

 

 

 

 

 

 

 

 

 

 

(4.19)

 

 

 

 

 

 

 

 

 

 

 

k2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

Задача 4.5. Вычислить сумму ряда

 

 

 

 

 

, где b C

 

 

 

 

 

(k + b)2

и b не является целым числом.

 

 

 

 

 

 

 

 

 

k=−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

π2

 

 

 

 

 

 

 

 

 

 

 

Ответ:

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

(k + b)

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin (πb)

 

 

 

 

 

 

 

 

 

 

 

 

k=−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

Задача 4.6. Вычислить сумму ряда

 

 

, где

 

C и

k=0

k2 + b2

 

ib не является целым числом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)k

1

 

 

 

 

 

 

 

 

 

 

 

 

πb

 

 

 

 

 

 

 

Ответ:

(

=

 

 

 

 

 

 

 

(1 +

 

 

 

 

 

).

 

 

 

 

k=0

k2 + b2

2b2

 

sh(πb)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача 4.7. Вычислить сумму ряда

 

(1)k

 

.

 

 

k=0

(2k + 1)3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ответ:

 

(1)k

 

=

.

 

 

 

 

 

 

 

 

 

 

 

 

(2k + 1)3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

32

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=0

45

Источник: https://studfile.net/preview/16708660/