Эллиптические функции Якоби

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Эллиптические функции Якоби — это набор основных эллиптических функций комплексного переменного, и вспомогательных тэта-функций, которые имеют прямое отношение к некоторым прикладным задачам (например, уравнение маятника). Они также имеют полезные аналогии с тригонометрическими функциями, как показывает соответствующее обозначение для . Они не дают самый простой способ развить общую теорию, как замечено недавно: это может быть сказано на основе эллиптических функций Вейерштрасса. Эллиптические функции Якоби имеют в основном параллелограмме по два простых полюса и два простых нуля.

Введение[править | править вики-текст]

Существует эллиптическая функция, имеющая в основном параллелограмме один полюс второго порядка и два простых нуля; это — «эллиптическая функция Вейерштрасса». Впрочем, более полезны «эллиптические функции Якоби», имеющие по два простых полюса и по два простых нуля в каждом основном параллелограмме. Каждая из этих функций в основном параллелограмме принимает любое значение в точности два раза.

Обозначение[править | править вики-текст]

Для эллиптических функций можно встретить разнообразные обозначения, которые могут запутать суть дела. Эллиптические функции — функции двух переменных. Первую переменную можно дать в терминах амплитуды φ, или обычно, в терминах u, данного ниже. Вторую переменную можно было бы дать в терминах параметра m, или как эллиптический модуль k, где k ² = m, или в терминах модулярного угла , где .

Определение как обратные к эллиптическим интегралам[править | править вики-текст]

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

Эллиптическая функция sn u задаётся как

и cn u определяется

а

Здесь угол называется амплитудой. называется дельта амплитудой. Значение m является свободным параметром, который полагается реальным в диапазоне , и таким образом эллиптические функции являются функциями двух аргументов: амплитуды и параметра m.

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

Заметьте, что когда , то u равен четверти периода K.

Определение в терминах тэта-функций[править | править вики-текст]

Эквивалентно эллиптические функции Якоби можно определить в терминах θ-функций. Если мы определим как , и соответственно как (тэта константы) тогда эллиптический модуль k равен . полагая , получим



Поскольку функции Якоби определяются в терминах эллиптического модуля , необходимо найти обратные к ним и выразить τ в терминах k. Начнём с дополнительного модуля . Как функция τ запишем

Введём обозначение

Определим также ном q как и разложим в ряд по степеням нома q. Получим

Обращение ряда даёт

Поскольку мы можем рассмотреть частный случай когда мнимая часть τ больше или равна , мы можем сказать, что значение q меньше или равно . Для таких малых значений вышеприведённый ряд сходится очень быстро, и это позволяет легко найти подходящее значение для q.

Другие функции[править | править вики-текст]

Изменением порядка двух букв в названии функций обычно обозначают обратные к трём функциям приведённых выше:

Отношения трех главных функций обозначают первой буквой числителя, следующей перед первой буквой знаменателя:

Более кратко запишем

где все буквы p, q, и r являются любыми буквами s, c, d, n (следует помнить, что ss = cc = dd = nn = 1).

Дополнительные теоремы[править | править вики-текст]

Функции удовлетворяют двум алгебраическим соотношениям

Видно, что (cn, sn, dn) параметризует эллиптическую кривую, которая является пересечением двух квадрик определенной вышеупомянутыми двумя уравнениями. Мы теперь можем определить групповой закон для точек на этой кривой с помощью дополнительных формул для функций Якоби



Тригонометрические и гиперболические функции, как частный случай эллиптических[править | править вики-текст]

  • Если m = 1, то
;

Отсюда

Отсюда

и

Таким образом, при m = 1 эллиптические функции вырождаются в гиперболические.

  • Если m = 0, то
;

Отсюда

,

а также

,
,

Таким образом, при m = 0 эллиптические функции вырождаются в тригонометрические.

Соотношение между квадратами функций[править | править вики-текст]

Для квадратов этих функций верны следующие соотношения

где и .

Дополнительные равенства для квадратов можно получить если заметить, что , а также где p, q, r — любые буквы s, c, d, n и ss = cc = dd = nn = 1.

Ном[править | править вики-текст]

Пусть ном равен и пусть аргумент — . Тогда функции можно представить в виде сумм Ламберта

Решения нелинейных обыкновенных дифференциальных уравнений[править | править вики-текст]

Производные трёх основных эллиптических функций Якоби записываются в виде:



Используя теорему, формулировка которой приведена выше получим для заданного k (0 < k < 1) уравнения решениями которых являются эллиптические функции Якоби:

  • является решением уравнения и
  • является решением уравнения и
  • является решением уравнения и

Ссылки[править | править вики-текст]

Литература[править | править вики-текст]

  • Н. И. Ахиезер. Элементы теории эллиптических функций. — Москва: Наука, 1970.
  • Дж. Н. Ватсон Э. Т. Уиттекер. Курс современного анализа. Ч.2. Трансцендентные функции. — Москва: Мир, 1963. или Москва: УРСС, 2010