ТЕТАРЯД
,ТЕТА-РЯД -ряд,- функциональный ряд, применяемый для представленияавтоморфных формиавтоморфных функций.
ПустьD -область комплексного пространства - дискретная группа автоморфизмов областиD.Если группа Г конечна, то из любой мероморфной в Dфункции Н(z),z=(z1, . . .,zp),можно получить автоморфную функцию
Для бесконечных групп необходимы множители сходимости, что н приводит к Т.-р.Тета-рядом Пуанкаре, или просто рядом Пуанкаре, ассоциированным с группой Г, наз. ряд вида
где - якобиан отображеният -целое действительное число, называемое весом или порядком; звездочка означает, что суммирование выполняется только по тем к-рые доставляют различные члены ряда. При отображении функция преобразуется по закону и, следовательно, представляет собой автоморфную функцию весат,ассоциированную с группой Г. Отношение двух Т.-р. одинакового веса дает автоморфную функцию.
Т.-р. частного вида
наз. тета-рядами Эйзенштейна или просто рядами Эйзенштейна, ассоциированными с группой Г.
Л. Пуанкаре (Н. Poincarе) в серии работ 80-х гг. 19 в. развил теорию Т.-р. в связи с изучением автоморфных функций одного комплексного неременного. Пусть Г - дискретная фуксова группа дробно-линейных преобразований
отображающая единичную окружность на себя, D={z; |z|<1} -единичный круг. Ряды Пуанкаре в этом случае имеют вид
гдеН,напр.,- ограниченная голоморфная функция вD.В предположении, что Г действует свободно на Dи факторХ=D/Гкомпактен, доказано, что ряд (2) сходится абсолютно и равномерно внутри Dпри При высказанных условиях на H и Г это утверждение верно и для рядов (1) в случае, когда D- ограниченная область в Для нек-рых фуксовых групп ряды (2) сходятся и при т=1.
Название лтета-ряды