3. Мероморфные функции
π2
Решение. Прежде всего заметим, что функцию f(z) = cos2(πz)
можно представить следующим образом: f(z) = {π tg(πz)}z. Воспользуемся разложением мероморфной функции ctg z на простейшией дроби (см. пример 3.3). Справедливо равенство
tg(πz) = − ctg π (z − |
1 |
). Делая подстановку |
z 7→π (z − |
1 |
) в |
||||||||||||
|
|
|
|||||||||||||||
2 |
2 |
||||||||||||||||
выражении (3.28): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
∞ |
|
z − 21 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
|
(3.29) |
|||
π tg(πz) = −z |
− |
1 |
− 2 |
( − 2 ) |
2 |
− |
|
2 |
|
||||||||
|
|
|
|
|
2 |
|
k=1 |
z |
|
|
|
k |
|
|
|
|
|
и дифференцируя полученный равномерно сходящийся ряд с учетом равенства f(z) = {π tg(πz)}z, найдем
π2 |
|
|
1 |
|
|
|
∞ |
z |
|
1 |
2 + k2 |
|
|
|
|||
cos2(πz) = |
{ |
|
1 |
} |
2 |
+ 2 k=1 |
{( |
− |
) |
|
− |
|
} |
2 . |
(3.30) |
||
z |
− |
|
( |
− |
12 )2 |
|
k |
2 |
|||||||||
|
|
|
2 |
|
|
∑ |
z |
|
2 |
|
|
|
|
|
|
||
Для удобства разобьем выражение, стоящее под знаком суммы в соотношении (3.30), на два слагаемых:
∞ |
|
z − |
21 |
|
2 + k2 |
|
|
∞ |
|
|
|
|
|
z − 21 |
2 + k2 |
|
|
|
||||||||||||
2 k=1 |
( |
− |
1 |
)2 |
− |
|
2 |
2 |
|
= 2 k=1 |
|
z |
|
|
1( |
|
k |
2) z |
1 + k |
) |
2 |
= |
||||||||
{( |
|
) |
k |
|
} |
|
|
|
∑ |
( |
− 2 − |
) |
|
|
( |
− 2 |
|
|
||||||||||||
∑ |
z |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
= ∞ { |
|
|
1 |
|
+ |
|
|
1 |
|
}. |
|
|
|
|
|
|
|
|
||||||||||||
z |
|
1 |
|
k 2 |
|
z |
1 + k 2 |
|
|
|
|
|
|
|
|
|||||||||||||||
k=1 |
( |
|
− 2 − ) |
|
|
|
( |
− 2 |
|
|
) |
|
|
|
|
|
|
|
|
|
(3.31) |
|||||||||
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Тогда искомое разложение примет вид |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
π2 |
|
|
|
|
|
∞ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
∑ |
|
( |
|
|
|
|
) |
|
. |
|
|
(3.32) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
cos2(πz) |
k=−∞ z |
− |
1 |
− k |
|
2 |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||
36
3. Мероморфные функции
Задача |
3.4. Выяснить, |
какое |
количество |
|
конечных |
||||||||||
исключительных |
значений |
имеет |
мероморфная |
функция |
|||||||||||
f(z) = ctg z, и найти эти значения, если они есть. |
|
|
|
|
|||||||||||
Решение. |
Рассмотрим уравнение ctg z = |
A, |
где |
A |
|
||||||||||
C. Используя представление функции f(z) = |
ctg z |
через |
|||||||||||||
экспоненты, найдем |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
e2iz + 1 |
|
|
|
|
|
|
||||||
|
|
|
i (e2iz − 1 ) |
= A. |
|
|
|
(3.33) |
|||||||
Решая это уравнение относительно e2iz, получим |
|
|
|
|
|||||||||||
|
|
|
e2iz = |
A + i |
. |
|
|
|
|
(3.34) |
|||||
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
A − i |
|
|
|
|
|
|
||||
Это же равенство можно переписать в виде |
|
|
|
|
|
||||||||||
|
|
|
e−2iz = |
A − i |
. |
|
|
|
|
(3.35) |
|||||
|
|
|
A + i |
|
|
|
|
||||||||
Целая функция eαz, где α C, обладает |
на комплексной |
||||||||||||||
плоскости |
одним |
исключительным |
значением |
z |
= |
0. |
|||||||||
Следовательно, уравнения (3.34) и (3.35) не имеют решений при A1 = −i и A2 = i соответственно. Таким образом, мероморфная функция f(z) = ctg z имеет максимально возможное количество исключительных значений. Для любого комплексного числа A за исключением ±i уравнение ctg z = A имеет бесконечно много решений.
Задача 3.5. Выяснить, какое количество конечных исключительных значений имеет мероморфная функция f(z) = 2 th2 z − 4 th z + 1, и найти эти значения, если они есть.
Решение. Сначала найдем исключительные значения мероморфной функции th z. Рассматривая уравнение th z = A, получаем
e2z + 1 |
= A. |
(3.36) |
|
e2z − 1 |
|||
|
|
37
3. Мероморфные функции
Решая это уравнение относительно e2z, приходим к равенствам
e2z = |
1 |
+ A |
; |
e−2z = |
1 |
− A |
. |
(3.37) |
1 |
− A |
1 |
|
|||||
|
|
|
+ A |
|
||||
В силу того что целая функция e2z имеет лишь одно конечное исключительное значение z = 0, мы можем заключить, что мероморфная функция th z обладает двумя исключительными значениями A1 = 1, A2 = −1. Подставляя th z = A1 и th z = = A2 в соотношение f(z) = 2 th2 z − 4 th z + 1, видим что подозрительными на исключительные значения для функции f(z) будут: B1 = −1, B2 = 7. Далее рассмотрим выражения
2 th2 z − 4 th z + 1 = −1; 2 th2 z − 4 th z + 1 = 7, |
(3.38) |
||||
которые можно переписать следующим образом |
|
||||
2 (th z |
− |
1)2 = 0; 2 (th z + 1) (th z |
− |
3) = 0, |
(3.39) |
|
|
|
|
||
Отсюда заключаем, что мероморфная функция f(z) не принимает значение B1 = −1 ни в одной точке комплексной
плоскости. В то же время |
значение |
B2 |
= 7 |
функция |
||
f(z) может принимать в тех |
точках, |
для |
которых |
th z |
= |
|
= 3. Рассматривая уравнение |
2 th2 z − 4 th z + 1 |
= |
B |
как |
||
квадратное относительно th z, убеждаемся что исключительных значений отличных от B1 = −1 мероморфная функция f(z) не имеет. Действительно, функция th z принимает любые конечные значения (за исключением A1 = 1, A2 = −1) в бесконечном множестве точек. Значит для любых решений квадратного уравнения 2 th2 z − 4 th z + 1 = B (отличных от th z = 1, th z = = −1) мы сможем найти и бесконечно много решений уравнения th z = A.
Таким образом, мероморфная функция f(z) имеет единственное конечное исключительное значение B1 = −1.
38
3. Мероморфные функции
1
Задача 3.6. Разложить мероморфную функцию f(z) = ez − 1
на простейшие дроби.
Ответ:
|
1 |
1 |
1 |
|
∞ |
z |
|
||||
|
|
|
|
|
|
|
|
∑ |
|
|
(3.40) |
ez |
− |
1 = −2 |
+ z + 2 |
z2 + 4π2k2 . |
|||||||
k=1
Задача 3.7. Разложить мероморфную функцию f(z) = ch1z на простейшие дроби.
Ответ:
|
|
∑ |
|
|
|
|
− |
2 |
|
|
|
|
|
1 |
= |
∞ |
(−1)k(2k |
− |
1)π |
. |
(3.41) |
||||||
ch z |
|
|
|
2 |
|
2 |
( |
|
1 |
) |
2 |
|
|
|
|
k=1 z |
|
+ π |
|
k |
|
|
|
|
|
|
|
Задача |
|
3.8. Разложить |
|
мероморфную функцию |
|||||||||||
= |
|
1 |
|
|
, где α C, на простейшие дроби. |
|
|||||||||
|
|
|
|||||||||||||
ez − eα |
|
||||||||||||||
|
Ответ: |
|
|
|
|
|
|
|
|
|
|||||
|
|
1 |
|
1 |
|
|
1 |
|
∞ |
|
|
α |
|
||
|
|
|
|
|
= e−α {− |
|
+ |
|
|
|
+ 2 |
(z |
|
z − |
} |
|
ez |
− |
eα |
|
2 |
z |
− |
α |
− |
α)2 + 4π2k2 |
|||||
|
|
|
|
|
|
|
|
|
∑ |
|
|
|
|||
k=1
f(z) =
. (3.42)
Задача 3.9. Построить меромофную функцию, имеющую два исключительных значения a и b, где a, b C, a ≠ b.
Ответ: мероморфной функцией с исключительными
значениями a ̸= b будет, например, |
|
||
f(z) = |
bez − a |
. |
(3.43) |
|
ez − 1 |
|
|
39
4.Суммирование некоторых рядов
4.Суммирование некоторых рядов
Мероморфные функции f1(z) = ctg(πz), f2(z) = cosec(πz), f3(z) = tg(πz), f4(z) = sec(πz) могут быть использованы при вычислении сумм некоторых рядов. Вышеперечисленные функции имеют счетное множество простых полюсов в точках данных последовательностей:
Z1 = {z = k, k Z}, |
|
||
Z2 = {z = k, k Z}, |
|
||
Z3 = {z = (k + |
1 |
), k Z}, |
(4.1) |
|
|||
2 |
|||
Z4 = {z = (k + |
1 |
), k Z}. |
|
|
|
||
2 |
|
||
Справедлива теорема.
Теорема 4.1. Пусть мероморфная функция F (z) имеет конечное число полюсов {a1, a2, . . . , aN }, среди которых нет точек из последовательности Zj. Пусть, кроме того, существует последовательность замкнутых положительно ориентированных жордановых кривых {γm, m N}, окружающих начало координат и не проходящих через полюсы f(z) и точки последовательности Zj, которая удовлетворяет условиям (1 − 3) теоремы 3.3, а также соотношению
lim |
F (z)f (z)dz = 0. |
|
m→∞ Iγm |
j |
(4.2) |
Тогда при условии сходимости соответствующих |
рядов |
|
40