Теория эллиптических интегралов и эллиптических функций (стр. 2 из 4)

Так как во всех остальных параллелограммах сети значения функции

повторяются, то неравенство |f(z)|<Mбудет справедливо для всех точек z плоскости. Итак, мы имеем целую функцию f(z) ограниченную во всей плоскости. Согласно теореме Лиувилля отсюда заключаем, что f(z) приводится к постоянному. Полученное противоречие убеждает нас в справедливости теоремы.

Следствия

1 Если две эллиптические функции с одинаковыми периодами имеют в параллелограмме периодов одни и те же полюсы с одинаковыми главными частями, то они отличаются лишь постоянным слагаемым.

В самом деле, положим, что

и две эллиптические функции с одинаковыми периодами 2 и 2 , имеющие в параллелограмме периодов одни и те же полюсы с одинаковыми главными частями. Тогда их разность - будет двоякопериодической функцией с периодами 2 и 2 , без полюсов, а значит, по доказанной теореме эта разность равняется тождественно постоянному.

2 Если две эллиптические функции с одинаковыми периодами имеют в параллелограмме периодов одинаковые нули и полюсы одной и той же кратности, то они отличаются лишь постоянным множителем.

Действительно, положим, что

и две эллиптические функции с одинаковыми периодами 2 и 2 , имеющие в параллелограмме периодов одинаковые нули и полюсы одной и той же кратности.

Тогда их отношение

представляет двоякопериодическую функцию с периодами 2 и 2 , причем это отношение не имеет полюсов. Следовательно, по доказанной теореме это отношение равно тождественно постоянному.

Теорема 3. Сумма вычетов эллиптической функции относительно всех полюсов, расположенных в параллелограмме периодов, равна нулю.

Прежде всего заметим, что если на границе параллелограмма периодов имеются полюсы эллиптической функции, то мы можем немного сдвинуть этот параллелограмм так, чтобы все полюсы, расположенные на первоначальном параллелограмме периодов, оказались бы внутри сдвинутого параллелограмма. Обозначим вершины этого параллелограмма через

на его сторонах нет полюсов функции f(z). Согласно общей теореме о вычетах мы получим сумму вычетов S относительно всех полюсов, лежащих внутри параллелограмма, если вычислим интеграл

, распространив его на периметр этого параллелограмма, проходимый в положительном направлении. Таким образом, имеем

(3)

где все интегрирования совершаются по прямолинейным отрезкам, соединяющим указанные точки. Объединяя первый и третий интегралы, делаем в этом последнем подстановку

и пользуясь периодичностью, находим

Таким образом, сумма первого и третьего интегралов выражения (3), равная

есть нуль потому, что интегрирования совершаются по одному и тому же отрезку в противоположных направлениях.

То же самое можно утверждать относительно суммы второго и четвертого интегралов, если в первом интеграле совершить подстановку

.

Возвращаясь к формуле (3), мы убеждаемся, что S равно нулю.

Теорема 4. Эллиптическая функция принимает в параллелограмме периодов всякое значение (конечное или бесконечность) одинаковое число раз. Пусть

- произвольное комплексное число. Покажем, что число корней уравнения

лежащих в параллелограмме периодов, совпадает с числом полюсов функции f(z), расположенных в этом параллелограмме. Само собой разумеется, что при счете числа нулей функции

f(z) -

или ее полюсов мы каждый нуль или полюс считаем столько раз, какова его кратность. Для доказательства нашего утверждения прежде всего заметим, что если на границе параллелограмма периодов имеются нули или полюсы функции

f(z) -

,

то мы можем немного сдвинуть этот параллелограмм так, чтобы все нули и полюсы, расположенные на первоначальном параллелограмме периодов, оказались бы внутри сдвинутого параллелограмма.

Обозначим вершины этого параллелограмма через

на его сторонах нет нулей и полюсов функции

f(z) -

.

Образуем вспомогательную функцию

которая будет эллиптической с периодами 2

и 2 , причем на сторонах рассматриваемого параллелограмма периодов она не будет иметь полюсов.

Применяя к этой функции предыдущую теорему 3, мы имеем:

(4)

где интегрирование распространено в положительном направлении по контуру упомянутого параллелограмма. С другой стороны, как известно, интеграл

изображает разность между числом нулей и полюсов функции

f (z) -

,

лежащих внутри контура интегрирования.

Так как согласно формуле (4) этот интеграл равен нулю, то, следовательно, число корней уравнения

лежащих внутри параллелограмма периодов, совпадает с числом полюсов функции f (z), расположенных внутри того же параллелограмма. Таким образом, теорема доказана.

Если f (z) принимает в параллелограмме периодов всякое значение s раз, то она называется эллиптической функцией порядка s.

В силу теоремы 3 не может существовать эллиптической функции, имеющей в параллелограмме периодов один простой полюс. Таким образом, s всегда не меньше двух, т. е. не существует эллиптических функций первого порядка. В дальнейшем мы фактически построим эллиптические функции второго порядка. Существуют, конечно, и эллиптические функции более высокого порядка.

Теорема 5. Разность между суммой всех нулей и суммой всех полюсов эллиптической функции, расположенных в параллелограмме периодов, равна некоторому ее периоду, т. е.

,

где

- нули, а - полюсы, расположенные в параллелограмме периодов. Само собой понятно, что при образовании суммы нулей или суммы полюсов

каждый нуль или полюс нужно повторить слагаемым столько раз, какова его кратность. Для доказательства прежде всего заметим, что если на границе параллелограмма периодов имеются нули или полюсы эллиптической функции, то путем небольшого сдвига этого параллелограмма мы можем достигнуть того, чтобы все нули и полюсы, расположенные на первоначальном параллелограмме периодов, попали бы внутрь сдвинутого параллелограмма. Обозначим через

вершины этого параллелограмма. На его сторонах нет нулей и полюсов функции f (z). Тогда, как известно, искомая разность между суммами всех нулей и полюсов, расположенных внутри упомянутого параллелограмма, изображается в виде интеграла

где интегрирование совершается по периметру параллелограмма в положительном направлении. Таким образом, имеем