В математике , эллиптические функции Вейерштрассы являются эллиптическими функциями , которые принимают особенно простую форму. Они названы в честь Карла Вейерштрасса . Этот класс функций также называют p-функциями и обычно обозначают символом. Они играют важную роль в теории эллиптических функций. ℘-функция вместе с ее производной может использоваться для параметризации эллиптических кривых, и они генерируют поле эллиптических функций относительно заданной решетки периодов.
Определение [ править ]
Позвольте быть двумя комплексными числами , которые линейно независимы по, и пусть будет решетка, порожденная этими числами. Тогда -функция определяется следующим образом:
Этот ряд сходится локально равномерно абсолютно в . Часто а не только пишется.
Функция Вейерштрасса построена точно таким образом, что в каждой точке решетки имеет полюс второго порядка.
Поскольку одна сумма не сходится, необходимо добавить член . [1]
Принято использовать и в качестве генераторов решетки. Умножение на изоморфно отображает решетку на решетку с . Путем возможной замены на него можно предположить, что . Один набор .
Мотивация [ править ]
Кубика вида , где - комплексные числа с , не может быть рационально параметризована. [2] Тем не менее, все еще хотят найти способ параметризации.
Для квадрики , единичного круга, существует (нерациональная) параметризация с использованием функции синуса и ее производной функции косинуса:
- .
Из-за периодичности синуса и косинуса в качестве домена выбрана функция, поэтому функция является биективной.
Аналогичным образом можно получить параметризацию с помощью двоякопериодической -функции (см. Раздел «Связь с эллитпическими кривыми»). Эта параметризация имеет область , топологически эквивалентную тору . [3]
Есть еще одна аналогия с тригонометрическими функциями. Рассмотрим интегральную функцию
- .
Его можно упростить, заменив и :
- .
Это значит . Таким образом, синусоидальная функция является обратной функцией интегральной функции. [4]
Эллиптические функции также являются функциями, обратными интегральным функциям, а именно эллиптическим интегралам . В частности, -функция получается следующим образом:
Позволять
- .
Затем его можно продолжить на комплексную плоскость, и это расширение будет равно -функции. [5]
Свойства [ править ]
- ℘ - четная функция. Это означает для всех , что можно увидеть следующим образом:
Второе последнее равенство выполняется, потому что . Поскольку сумма абсолютно сходится, эта перестановка не меняет предела.
- Мероморфен и его производная [6]
- .
- и двоякопериодичны с периодами und . [6] Это означает:
- и .
Отсюда следует и для всех . Функции, которые являются мероморфными и двоякопериодическими, также называются эллиптическими функциями .
Расширение Лорана [ править ]
Пусть . Тогда для в -функции имеет следующее разложение в ряд Лорана
где
- ибо это так называемые ряды Эйзенштейна . [6]
Дифференциальное уравнение [ править ]
Установите и . Тогда -функция удовлетворяет дифференциальному уравнению [6]
- .
Это соотношение может быть проверено путем формирования линейной комбинации степеней и исключения полюса в точке . Это дает целую эллиптическую функцию, которая должна быть постоянной по теореме Лиувилля . [6]
Инварианты [ править ]
Коэффициенты вышеуказанного дифференциального уравнения g 2 и g 3 известны как инварианты . Поскольку они зависят от решетки, их можно рассматривать как функции в и .
Разложение в ряд предполагает, что g 2 и g 3 являются однородными функциями степени −4 и −6. То есть [7]
- для .
Если и выбраны таким образом, что g 2 и g 3 можно интерпретировать как функции на верхней полуплоскости .
Пусть . У одного есть: [8]
- ,
- .
Это означает, что g 2 и g 3 масштабируются только таким образом. Набор
, .
В качестве функций используются так называемые модульные формы.
Ряд Фурье для и задается следующим образом : [9]
где - функция делителя и .
Модульный дискриминант [ править ]
Модульное дискриминант Δ определяется как дискриминант многочлена в правой части приведенного выше дифференциального уравнения:
Дискриминант представляет собой модульную форму веса 12. То есть под действием модулярной группы он преобразуется как
где при ad - bc = 1. [10]
Обратите внимание, где находится эта функция Дедекинда . [11]
Для коэффициентов Фурье см тау-функцию Рамануджана .
Константы e 1 , e 2 и e 3 [ править ]
, и обычно используются для обозначения значений -функции на полупериодах.
Они попарно различны и зависят только от решетки, а не от ее образующих. [12]
, и являются корнями кубического многочлена и связаны уравнением:
- .
Поскольку эти корни различны, дискриминант не обращается в нуль в верхней полуплоскости. [13] Теперь мы можем переписать дифференциальное уравнение:
- .
Это означает, что полупериоды равны нулю .
Инварианты и можно выразить через эти константы следующим образом: [14]
Связь с эллиптическими кривыми [ править ]
Рассмотрим проективную кубическую кривую
- .
Для этой кубики, также называемой кубикой Вейерштрасса, не существует рациональной параметризации, если . [2] В этом случае ее еще называют эллиптической кривой. Тем не менее, существует параметризация, в которой используется -функция и ее производная : [15]
Теперь карта является биективен и параметризует эллиптической кривой .
является абелевой группой и топологическое пространство , оборудованная с топологией фактора.
Можно показать, что каждая кубика Вейерштрасса задана таким образом. То есть для каждой пары с существует решетка такая, что
и . [16]
Утверждение о том, что эллиптические кривые можно параметризовать , известно как теорема модулярности . Это важная теорема теории чисел . Это было частью доказательства Эндрю Уайлса (1995) Великой теоремы Ферма .
Теоремы сложения [ править ]
Давай , так что . Тогда есть: [17]
- .
А также формула дублирования: [17]
- .
Эти формулы также имеют геометрическую интерпретацию, если посмотреть на эллиптическую кривую вместе с отображением, как в предыдущем разделе.
Групповая структура переводится в кривую и может быть там геометрически интерпретирована:
Сумма трех попарно различных точек равна нулю тогда и только тогда, когда они лежат на одной прямой в . [18]
Это эквивалентно:
- ,
где , и . [19]
Связь с эллиптическими функциями Якоби [ править ]
Для численной работы часто удобно вычислять эллиптическую функцию Вейерштрасса в терминах эллиптических функций Якоби .
Основные отношения: [20]
где и - три корня, описанные выше, и где модуль k функций Якоби равен
и их аргумент w равен
Типография [ править ]
Эллиптическая функция Вейерштрасса обычно записывается довольно специальной строчной буквой script. [сноска 1]
В вычислительной технике буква ℘ используется как \wp
в TeX . В Unicode точка код U + 2118 ℘ SCRIPT КАПИТАЛ Р (HTML ℘
· ℘, ℘
), с более правильным псевдонимом Вейерштрасса эллиптической функции . [сноска 2] В HTML это может быть экранировано как ℘
.
Предварительный просмотр | ℘ | |
---|---|---|
Юникод имя | SCRIPT CAPITAL P / ЭЛЛИПТИЧЕСКАЯ ФУНКЦИЯ WEIERSTRASS | |
Кодировки | десятичный | шестнадцатеричный |
Юникод | 8472 | U + 2118 |
UTF-8 | 226 132 152 | E2 84 98 |
Ссылка на числовые символы | & # 8472; | & # x2118; |
Ссылка на именованный символ | & weierp ;, & wp; |
См. Также [ править ]
- Функции Вейерштрасса
Сноски [ править ]
- ^ Этот символ использовался уже, по крайней мере, в 1890 году. Он также использовался в первом издании « Курса современного анализа » Э. Т. Уиттакера в 1902 году. [21]
- ^ Консорциум Unicode признал две проблемыс именем письмо в: письмо это на самом деле нижнем регистре, и это не является «сценарий» класса письмо, как U + 1D4C5 𝓅 МАТЕМАТИЧЕСКОЙ SCRIPT МАЛОГО P , но письмо для эллиптической функции Вейерштрасса. Unicode добавил псевдоним в качестве исправления. [22] [23]
Ссылки [ править ]
- ↑ Апостол, Том М. (1976). Модулярные функции и ряды Дирихле в теории чисел . Нью-Йорк: Springer-Verlag. п. 9. ISBN 0-387-90185-X. OCLC 2121639 .
- ^ a b Хулек, Клаус. (2012), Elementare Algebraische Geometrie: Grundlegende Begriffe und Techniken mit zahlreichen Beispielen und Anwendungen (на немецком языке) (2, überarb. U. Erw. Aufl. 2012 ed.), Wiesbaden: Vieweg + Teubner Verlag, p. 8, ISBN 978-3-8348-2348-9
- ^ Rolf Busam (2006), Funktionentheorie 1 (на немецком языке ) (.. 4., КОРР унд В Aufl ред.), Berlin: Springer, стр. 259, ISBN 978-3-540-32058-6
- ^ Джереми Грей (2015), Реальное и комплексное: история анализа в 19 веке (на немецком языке), Cham, стр. 71, ISBN 978-3-319-23715-2
- ^ Rolf Busam (2006), Funktionentheorie 1 (на немецком языке ) (.. 4., КОРР унд В Aufl ред.), Berlin: Springer, стр. 294, ISBN 978-3-540-32058-6
- ^ a b c d e Апостол, Том М. (1976), Модульные функции и ряды Дирихле в теории чисел (на немецком языке), Нью-Йорк: Springer-Verlag, с. 11, ISBN 0-387-90185-X
- ↑ Апостол, Том М. (1976). Модулярные функции и ряды Дирихле в теории чисел . Нью-Йорк: Springer-Verlag. п. 14. ISBN 0-387-90185-X. OCLC 2121639 .
- ^ Апостол, Том М. (1976), Модульные функции и ряды Дирихле в теории чисел (на немецком языке), Нью-Йорк: Springer-Verlag, стр. 14, ISBN 0-387-90185-X
- ↑ Апостол, Том М. (1990). Модулярные функции и ряды Дирихле в теории чисел (2-е изд.). Нью-Йорк: Springer-Verlag. п. 20. ISBN 0-387-97127-0. OCLC 20262861 .
- ↑ Апостол, Том М. (1976). Модулярные функции и ряды Дирихле в теории чисел . Нью-Йорк: Springer-Verlag. п. 50. ISBN 0-387-90185-X. OCLC 2121639 .
- ^ Чандрасекхаран, К. (Комараволу), 1920- (1985). Эллиптические функции . Берлин: Springer-Verlag. п. 122. ISBN 0-387-15295-4. OCLC 12053023 .CS1 maint: multiple names: authors list (link)
- ^ Rolf Busam (2006), Funktionentheorie 1 (на немецком языке ) (.. 4., КОРР унд В Aufl ред.), Berlin: Springer, стр. 270, ISBN 978-3-540-32058-6
- ↑ Том М. Апостол (1976), Модульные функции и ряды Дирихле в теории чисел (на немецком языке), Нью-Йорк: Springer-Verlag, стр. 13, ISBN 0-387-90185-X
- ^ К. Чандрасекхаран (1985), Эллиптические функции (на немецком языке), Берлин: Springer-Verlag, стр. 33, ISBN 0-387-15295-4
- ^ Хулек, Клаус. (2012), Elementare Algebraische Geometrie: Grundlegende Begriffe und Techniken mit zahlreichen Beispielen und Anwendungen (на немецком языке) (2, überarb. U. Erw. Aufl. 2012 ed.), Wiesbaden: Vieweg + Teubner Verlag, p. 12, ISBN 978-3-8348-2348-9
- ^ Хулек, Клаус. (2012), Elementare Algebraische Geometrie: Grundlegende Begriffe und Techniken mit zahlreichen Beispielen und Anwendungen (на немецком языке) (2, überarb. U. Erw. Aufl. 2012 ed.), Wiesbaden: Vieweg + Teubner Verlag, p. 111, ISBN 978-3-8348-2348-9
- ^ a b Рольф Бусам (2006), Funktionentheorie 1 (на немецком языке) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 286, ISBN 978-3-540-32058-6
- ^ Rolf Busam (2006), Funktionentheorie 1 (на немецком языке ) (.. 4., КОРР унд В Aufl ред.), Berlin: Springer, стр. 287, ISBN 978-3-540-32058-6
- ^ Rolf Busam (2006), Funktionentheorie 1 (на немецком языке ) (.. 4., КОРР унд В Aufl ред.), Berlin: Springer, стр. 288, ISBN 978-3-540-32058-6
- ^ Корн Г.А., Корн TM (1961). Математический справочник для ученых и инженеров . Нью-Йорк: Макгроу – Хилл. п. 721. LCCN 59014456 .
- ^ тейка казура (2017-08-17), буква ℘ Имя и происхождение? , MathOverflow , получено 30 августа 2018 г.
- ^ «Известные аномалии в именах символов Unicode» . Техническая записка по Unicode № 27 . версия 4. Unicode, Inc. 2017-04-10 . Проверено 20 июля 2017 .
- ^ "NameAliases-10.0.0.txt" . Unicode, Inc. 2017-05-06 . Проверено 20 июля 2017 .
- Абрамовиц, Милтон ; Стегун, Ирен Энн , ред. (1983) [июнь 1964]. «Глава 18» . Справочник по математическим функциям с формулами, графиками и математическими таблицами . Прикладная математика. 55 (Девятое переиздание с дополнительными исправлениями, десятое оригинальное издание с исправлениями (декабрь 1972 г.); первое издание). Вашингтон; Нью-Йорк: Министерство торговли США, Национальное бюро стандартов; Dover Publications. п. 627. ISBN 978-0-486-61272-0. LCCN 64-60036 . Руководство по ремонту 0167642 . LCCN 65-12253 .
- Н. И. Ахиезер , Элементы теории эллиптических функций , (1970) Москва, в переводе на английский как AMS Переводы математических монографий Том 79 (1990) AMS, Род-Айленд ISBN 0-8218-4532-2
- Том М. Апостол , Модульные функции и ряды Дирихле в теории чисел, второе издание (1990), Springer, New York ISBN 0-387-97127-0 (см. Главу 1.)
- К. Чандрасекхаран, Эллиптические функции (1980), Springer-Verlag ISBN 0-387-15295-4
- Конрад Кнопп , Funktionentheorie II (1947), Dover Publications; Переиздано в английском переводе как Theory of Functions (1996), Dover Publications ISBN 0-486-69219-1
- Серж Лэнг , Эллиптические функции (1973), Аддисон-Уэсли, ISBN 0-201-04162-6
- Е. Т. Уиттакер и Г. Н. Уотсон , Курс современного анализа , Cambridge University Press , 1952, главы 20 и 21
Внешние ссылки [ править ]
Викискладе есть медиафайлы, связанные с эллиптическими функциями Вейерштрасса . |
- "Эллиптические функции Вейерштрасса" , Энциклопедия математики , EMS Press , 2001 [1994]
- Эллиптические функции Вейерштрасса на Mathworld .
- Глава 23, Эллиптические и модульные функции Вейерштрасса в DLMF ( Электронная библиотека математических функций ), написанная В.П. Рейнхардтом и П.Л. Уокером.