ВЕИЕРШТРАССА ЭЛЛИПТИЧЕСКИЕ ФУНКЦИИ
ф>тнкции, положенные К. Вейерштрассом в основу его общей теорииэллиптических функций,излагавшейся им с 1862 на лекциях в Берлинском университете (см. [1], [2]). В отличие от более раннего построения теории эллиптич. функций, связанного с именами А. Лежандра (A. Legendre), Н. Абеля (N. Abel) и К. Якоби (С. Jacobi), в основу к-рого были положены эллиптич. функции 2-го порядка, имеющие в параллелограмме периодов два простых полюса, основная В. э. ф. имеет в параллелограмме периодов один полюс 2-го порядка. В теоретич. отношении теория Вейерштрасса более проста, так как исходная в этой теории функция и ее производная служат образующими алгебраич. поля эллиптич. функций с заданными примитивными периодами.
Пэ-функция( -функция) Вейерштрасса ( - знак Вейерштрасса, стилизованная буква "пэ") для заданных примитивных периодов определяется рядом
где и целые числа пробегают все значения, кроме пары Функция есть четная эллиптич. функция порядка 2, имеющая в каждом параллелограмме периодов единственный полюс 2-го порядка с нулевым вычетом.Ее производная есть нечетная эллиптич. функция порядка 3 с теми же примитивными периодами; имеет простые нули в точках, конгруэнтных , . Наиболее важное свойство функции состоит в том, что любая эллиптич. функция с данными примитивными периодами может быть представлена в виде рациональной функции от и , т. е. и являются образующими алгебраич. поля эллиптич. функций с данными периодами. Среди однопериодических тригонометрич. функций аналогом функции служит .
Функция удовлетворяет дифференциальному уравнению
в к-роммодулярные формы.
наз. относительными инвариантами, а величины , , - иррациональными инвариантами функции . Абсолютным инвариантом функции наз. всякая рациональная функция от или от , где есть дискриминант. Имеется в виду инвариантность относительно модулярных преобразований (см.Модулярная функция).В приложениях обычнои-действительные; если при этом , то - также все действительные. Уравнение (2) показывает, что может быть определена как обращениеэллиптического интегралаIрода в нормальной форме Вейерштрасса:
Функция отображает взаимно однозначно и конформно параллелограмм периодов на канонически разрезанную двулистную компактную риманову поверхность Fс точками ветвления рода 1; поверхность F иногда наз. эллиптическим образом.
На главной накрывающей поверхностиFуказанный интеграл I рода однозначен и является униформизирующей переменной дляF.
Эллиптич. интеграл II рода поля эллиптич. функций с данными периодами при этой униформизации переходит в дзета-функцию (z-функцию) Вейерштрасса , определяемую рядом
Функция - нечетная мероморфная функция, связанная с соотношением ; она не является периодической и при добавлении периодов преобразуется по закону , где . При этом между имеет место соотношение Лежандра
.
равносильное соотношению между полными эллиптич. интегралами:
Произвольная эллиптич. функция с данными периодами выражается через по формуле Эрмита:
где - постоянная, - полная система полюсов функции , числа - коэффициенты главной части разложения Лорана функции в окрестности полюса . Разложение (4) есть аналог разложения произвольной рациональной функции на простейшие дроби. Среди тригонометрич. функций аналогом функции является
Сигма-функция (s-функция) Вейерштрасса определяется как бесконечное произведение
Функция есть нечетная целая функция с нулями связанная с функциями п соотношениями:
она не является двоякопериодической; имеют место тождества:
где
Произвольная эллиптич. функция с периодами выражается через в виде:
*
где - постоянная; - нулевая полная система нулей и полюсов функции
. Среди тригонометрпч. функций аналогом функции является
В теории Вейерштрасса имеют также значение сигма-функции с индексами:
Функции выражаются черезтета-функции(см.Якоби эллиптические функции),а функцияпросто выражается через что составляет вычислительный базис функции Вейерштрасса. Можно получить и непосредственное выражение В. э. ф. через эллиптич. функции Якоби, напр, в виде:
В прикладных вопросах обычно заданы относительные инварианты . При этом для вычисления примитивных периодов используется абсолютный инвариант к-рый является модулярной функцией от отношения периодов (см. такжеМодулярная функция).
Лит.:[1] WeierstrassK., Mathematische Werke, Bd 1-2, В., 1894-95; [2] Schwarz'H. A., Formeln und Lehr-satze zura Gebrauehe der elliptiachen Funktionen, 2 Aufl., В., 1893; [3] Гурвиц А., Курант Р., Теория функций, М., 1968, ч. 2: [4] Уиттекер Э. Т., Ватсон Дж. Н., Курс современного анализа, пер. с англ., 2 изд , н. 2, М., 1963, гл. 20; [5] Ахиезер Н. И., Элементы теории эллиптических функций. 2 изд., М., 1970.Е. Д. Соломенцев.