Эллиптический интеграл

Специальная функция, определяемая интегралом

В интегральном исчислении эллиптический интеграл — это одна из ряда связанных функций, определяемых как значение некоторых интегралов, которые были впервые изучены Джулио Фаньяно и Леонардом Эйлером ( ок.  1750 ). Их название происходит от их первоначального возникновения в связи с задачей нахождения длины дуги эллипса .

Современная математика определяет «эллиптический интеграл» как любую функцию f , которую можно выразить в форме

$${\displaystyle f(x)=\int _{c}^{x}R{\left({\textstyle t,{\sqrt {P(t)}}}\right)}\,dt,}$$

где R — рациональная функция двух своих аргументов, P — многочлен степени 3 или 4 без повторяющихся корней, а c — константа.

Вообще говоря, интегралы в таком виде не могут быть выражены через элементарные функции . Исключениями из этого общего правила являются ситуации, когда P имеет повторяющиеся корни, или когда R ( x , y ) не содержит нечетных степеней y , или если интеграл псевдоэллиптический. Однако с помощью соответствующей формулы приведения каждый эллиптический интеграл можно привести к форме, включающей интегралы по рациональным функциям и три канонические формы Лежандра (т. е. эллиптические интегралы первого, второго и третьего рода).

Помимо формы Лежандра, приведенной ниже, эллиптические интегралы также могут быть выражены в симметричной форме Карлсона . Дополнительное понимание теории эллиптического интеграла можно получить путем изучения отображения Шварца – Кристоффеля . Исторически эллиптические функции были открыты как обратные функции эллиптических интегралов.

Обозначение аргумента

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

Для выражения одного аргумента:

• α , модульный угол
• k = sin α , эллиптический модуль или эксцентриситет
• m = k ² = sin ² α , параметр

Каждая из трех вышеуказанных величин полностью определяется любой из остальных (при условии, что они неотрицательны). Таким образом, их можно использовать взаимозаменяемо.

Другой аргумент также может быть выражен как φ , амплитуда , или как x или u , где x = sin φ = sn u и sn — одна из эллиптических функций Якоби .

Указание значения любой из этих величин определяет остальные. Обратите внимание, что u также зависит от m . Некоторые дополнительные отношения с участием вас включают

$${\displaystyle \cos \varphi =\operatorname {cn} u,\quad {\textrm {and}}\quad {\sqrt {1-m\sin ^{2}\varphi }}=\operatorname {dn} u.}$$

Последнюю иногда называют дельта-амплитудой и записывают как Δ( φ ) = dn u . Иногда в литературе также упоминаются дополнительный параметр , дополнительный модуль или дополнительный модульный угол . Более подробно они определены в статье о квартальных периодах .

В этом обозначении использование вертикальной черты в качестве разделителя указывает, что аргумент, следующий за ней, является «параметром» (как определено выше), а обратная косая черта указывает, что это модульный угол. Использование точки с запятой подразумевает, что предшествующий ей аргумент представляет собой синус амплитуды:

$${\displaystyle F(\varphi ,\sin \alpha )=F\left(\varphi \mid \sin ^{2}\alpha \right)=F(\varphi \setminus \alpha )=F(\sin \varphi ;\sin \alpha ).}$$

Абрамовица и СтегунаГрадштейна и Рыжика

В литературе используются и другие соглашения об обозначениях эллиптических интегралов. Часто встречается обозначение с переставленными аргументами F ( k , φ ) ; и аналогично E ( k , φ ) для интеграла второго рода. Абрамовиц и Стеган заменили аргумент φ на интеграл первого рода F ( φ , k ) в своем определении интегралов второго и третьего рода, если только за этим аргументом не стоит вертикальная черта: т.е. E ( F ( φ , k ) | k ² ) для E ( φ | k ² ) . Более того, их полные интегралы используют параметр k ² в качестве аргумента вместо модуля k , т.е. K ( k ² ) , а не K ( k ) . А интеграл третьего рода, определенный Градштейном и Рыжиком , Π( φ , n , k ) , ставит на первое место амплитуду φ , а не «характеристику» n .

Таким образом, при использовании этих функций следует быть осторожным с обозначениями, поскольку в различных авторитетных справочниках и пакетах программного обеспечения используются разные соглашения в определениях эллиптических функций. Например, программное обеспечение Mathematica компании Wolfram и Wolfram Alpha определяют полный эллиптический интеграл первого рода через параметр m вместо эллиптического модуля k .

Неполный эллиптический интеграл первого рода

Неполный эллиптический интеграл первого рода F определяется как

$${\displaystyle F(\varphi ,k)=F\left(\varphi \mid k^{2}\right)=F(\sin \varphi ;k)=\int _{0}^{\varphi }{\frac {d\theta }{\sqrt {1-k^{2}\sin ^{2}\theta }}}.}$$

Это тригонометрическая форма интеграла; подставляя t = sin θ и x = sin φ , получаем нормальную форму Лежандра:

$${\displaystyle F(x;k)=\int _{0}^{x}{\frac {dt}{\sqrt {\left(1-t^{2}\right)\left(1-k^{2}t^{2}\right)}}}.}$$

Эквивалентно, с точки зрения амплитуды и модульного угла:

$${\displaystyle F(\varphi \setminus \alpha )=F(\varphi ,\sin \alpha )=\int _{0}^{\varphi }{\frac {d\theta }{\sqrt {1-\left(\sin \theta \sin \alpha \right)^{2}}}}.}$$

При x = sn( u , k ) имеем:

$${\displaystyle F(x;k)=u;}$$

эллиптическая функция Якоби

Неполный эллиптический интеграл первого рода имеет следующую теорему сложения:

$${\displaystyle F{\bigl [}\arctan(x),k{\bigr ]}+F{\bigl [}\arctan(y),k{\bigr ]}=F\left[\arctan \left({\frac {x{\sqrt {k'^{2}y^{2}+1}}}{\sqrt {y^{2}+1}}}\right)+\arctan \left({\frac {y{\sqrt {k'^{2}x^{2}+1}}}{\sqrt {x^{2}+1}}}\right),k\right]}$$

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

$${\displaystyle F{\bigl [}\arcsin(x),k{\bigr ]}={\frac {2}{1+{\sqrt {1-k^{2}}}}}F\left[\arcsin \left({\frac {\left(1+{\sqrt {1-k^{2}}}\right)x}{1+{\sqrt {1-k^{2}x^{2}}}}}\right),{\frac {1-{\sqrt {1-k^{2}}}}{1+{\sqrt {1-k^{2}}}}}\right]}$$

Неполный эллиптический интеграл второго рода

Неполный эллиптический интеграл второго рода E в тригонометрической форме равен

$${\displaystyle E(\varphi ,k)=E\left(\varphi \,|\,k^{2}\right)=E(\sin \varphi ;k)=\int _{0}^{\varphi }{\sqrt {1-k^{2}\sin ^{2}\theta }}\,d\theta .}$$

Подставляя t = sin θ и x = sin φ , получаем нормальную форму Лежандра:

$${\displaystyle E(x;k)=\int _{0}^{x}{\frac {\sqrt {1-k^{2}t^{2}}}{\sqrt {1-t^{2}}}}\,dt.}$$

Эквивалентно, с точки зрения амплитуды и модулярного угла:

$${\displaystyle E(\varphi \setminus \alpha )=E(\varphi ,\sin \alpha )=\int _{0}^{\varphi }{\sqrt {1-\left(\sin \theta \sin \alpha \right)^{2}}}\,d\theta .}$$

Связи с эллиптическими функциями Якоби включают

$${\displaystyle {\begin{aligned}E{\left(\operatorname {sn} (u;k);k\right)}=\int _{0}^{u}\operatorname {dn} ^{2}(w;k)\,dw&=u-k^{2}\int _{0}^{u}\operatorname {sn} ^{2}(w;k)\,dw\\[1ex]&=\left(1-k^{2}\right)u+k^{2}\int _{0}^{u}\operatorname {cn} ^{2}(w;k)\,dw.\end{aligned}}}$$

Длина дуги меридиана от экватора до широты φ выражается через E :

$${\displaystyle m(\varphi )=a\left(E(\varphi ,e)+{\frac {d^{2}}{d\varphi ^{2}}}E(\varphi ,e)\right),}$$

абольшая полуосьеэксцентриситет

Неполный эллиптический интеграл второго рода имеет следующую теорему сложения:

$${\displaystyle E{\left[\arctan(x),k\right]}+E{\left[\arctan(y),k\right]}=E{\left[\arctan \left({\frac {x{\sqrt {k'^{2}y^{2}+1}}}{\sqrt {y^{2}+1}}}\right)+\arctan \left({\frac {y{\sqrt {k'^{2}x^{2}+1}}}{\sqrt {x^{2}+1}}}\right),k\right]}+{\frac {k^{2}xy}{k'^{2}x^{2}y^{2}+x^{2}+y^{2}+1}}\left({\frac {x{\sqrt {k'^{2}y^{2}+1}}}{\sqrt {y^{2}+1}}}+{\frac {y{\sqrt {k'^{2}x^{2}+1}}}{\sqrt {x^{2}+1}}}\right)}$$

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

$${\displaystyle E{\left[\arcsin(x),k\right]}=\left(1+{\sqrt {1-k^{2}}}\right)E{\left[\arcsin \left({\frac {\left(1+{\sqrt {1-k^{2}}}\right)x}{1+{\sqrt {1-k^{2}x^{2}}}}}\right),{\frac {1-{\sqrt {1-k^{2}}}}{1+{\sqrt {1-k^{2}}}}}\right]}-{\sqrt {1-k^{2}}}F{\left[\arcsin(x),k\right]}+{\frac {k^{2}x{\sqrt {1-x^{2}}}}{1+{\sqrt {1-k^{2}x^{2}}}}}}$$

Неполный эллиптический интеграл третьего рода

Неполный эллиптический интеграл третьего рода Π равен

$${\displaystyle \Pi (n;\varphi \setminus \alpha )=\int _{0}^{\varphi }{\frac {1}{1-n\sin ^{2}\theta }}{\frac {d\theta }{\sqrt {1-\left(\sin \theta \sin \alpha \right)^{2}}}}}$$

или

$${\displaystyle \Pi (n;\varphi \,|\,m)=\int _{0}^{\sin \varphi }{\frac {1}{1-nt^{2}}}{\frac {dt}{\sqrt {\left(1-mt^{2}\right)\left(1-t^{2}\right)}}}.}$$

Число n называется характеристикой и может принимать любое значение независимо от других аргументов. Однако обратите внимание, что значение Π(1;π/2| m ) бесконечно для любого m .

Связь с эллиптическими функциями Якобиана такова:

$${\displaystyle \Pi {\bigl (}n;\,\operatorname {am} (u;k);\,k{\bigr )}=\int _{0}^{u}{\frac {dw}{1-n\,\operatorname {sn} ^{2}(w;k)}}.}$$

Длина дуги меридиана от экватора до широты φ также связана с частным случаем Π :

$${\displaystyle m(\varphi )=a\left(1-e^{2}\right)\Pi \left(e^{2};\varphi \,|\,e^{2}\right).}$$

Полный эллиптический интеграл первого рода

График полного эллиптического интеграла первого рода K ( k )

Эллиптические интегралы называются «полными», если амплитуда φ =π/2и, следовательно, x = 1 . Таким образом, полный эллиптический интеграл первого рода K можно определить как

$${\displaystyle K(k)=\int _{0}^{\tfrac {\pi }{2}}{\frac {d\theta }{\sqrt {1-k^{2}\sin ^{2}\theta }}}=\int _{0}^{1}{\frac {dt}{\sqrt {\left(1-t^{2}\right)\left(1-k^{2}t^{2}\right)}}},}$$

$${\displaystyle K(k)=F\left({\tfrac {\pi }{2}},k\right)=F\left({\tfrac {\pi }{2}}\,|\,k^{2}\right)=F(1;k).}$$

Его можно выразить в виде степенного ряда

$${\displaystyle K(k)={\frac {\pi }{2}}\sum _{n=0}^{\infty }\left({\frac {(2n)!}{2^{2n}(n!)^{2}}}\right)^{2}k^{2n}={\frac {\pi }{2}}\sum _{n=0}^{\infty }{\bigl (}P_{2n}(0){\bigr )}^{2}k^{2n},}$$

где P _n — полиномы Лежандра , что эквивалентно

$${\displaystyle K(k)={\frac {\pi }{2}}\left(1+\left({\frac {1}{2}}\right)^{2}k^{2}+\left({\frac {1\cdot 3}{2\cdot 4}}\right)^{2}k^{4}+\cdots +\left({\frac {\left(2n-1\right)!!}{\left(2n\right)!!}}\right)^{2}k^{2n}+\cdots \right),}$$

где н !! обозначает двойной факториал . В терминах гипергеометрической функции Гаусса полный эллиптический интеграл первого рода можно выразить как

$${\displaystyle K(k)={\tfrac {\pi }{2}}\,{}_{2}F_{1}\left({\tfrac {1}{2}},{\tfrac {1}{2}};1;k^{2}\right).}$$

Полный эллиптический интеграл первого рода иногда называют четвертьпериодом . Его можно очень эффективно вычислить с точки зрения среднего арифметико-геометрического : ^[1]

$${\displaystyle K(k)={\frac {\pi }{2\operatorname {agm} \left(1,{\sqrt {1-k^{2}}}\right)}}.}$$

Следовательно, модуль можно преобразовать как:

$${\displaystyle {\begin{aligned}K(k)&={\frac {\pi }{2\operatorname {agm} \left(1,{\sqrt {1-k^{2}}}\right)}}\\[4pt]&={\frac {\pi }{2\operatorname {agm} \left({\frac {1}{2}}+{\frac {\sqrt {1-k^{2}}}{2}},{\sqrt[{4}]{1-k^{2}}}\right)}}\\[4pt]&={\frac {\pi }{\left(1+{\sqrt {1-k^{2}}}\right)\operatorname {agm} \left(1,{\frac {2{\sqrt[{4}]{1-k^{2}}}}{\left(1+{\sqrt {1-k^{2}}}\right)}}\right)}}\\[4pt]&={\frac {2}{1+{\sqrt {1-k^{2}}}}}K\left({\frac {1-{\sqrt {1-k^{2}}}}{1+{\sqrt {1-k^{2}}}}}\right)\end{aligned}}}$$

Это выражение справедливо для всех и 0 ≤ k ≤ 1 : ${\displaystyle n\in \mathbb {N} }$

$${\displaystyle K(k)=n\left[\sum _{a=1}^{n}\operatorname {dn} \left({\frac {2a}{n}}K(k);k\right)\right]^{-1}K\left[k^{n}\prod _{a=1}^{n}\operatorname {sn} \left({\frac {2a-1}{n}}K(k);k\right)^{2}\right]}$$

Связь с гамма-функцией

Если k ² = λ ( i √ r ) и (где λ — модулярная лямбда-функция ), то K ( k ) выражается в замкнутой форме через гамма-функцию . ^[2] Например, r = 2 , r = 3 и r = 7 дают соответственно ^[3] ${\displaystyle r\in \mathbb {Q} ^{+}}$

$${\displaystyle K\left({\sqrt {2}}-1\right)={\frac {\Gamma \left({\frac {1}{8}}\right)\Gamma \left({\frac {3}{8}}\right){\sqrt {{\sqrt {2}}+1}}}{8{\sqrt[{4}]{2}}{\sqrt {\pi }}}},}$$

и

$${\displaystyle K\left({\frac {{\sqrt {3}}-1}{2{\sqrt {2}}}}\right)={\frac {1}{8\pi }}{\sqrt[{4}]{3}}\,{\sqrt[{3}]{4}}\,\Gamma {\biggl (}{\frac {1}{3}}{\biggr )}^{3}}$$

и

$${\displaystyle K\left({\frac {3-{\sqrt {7}}}{4{\sqrt {2}}}}\right)={\frac {\Gamma \left({\frac {1}{7}}\right)\Gamma \left({\frac {2}{7}}\right)\Gamma \left({\frac {4}{7}}\right)}{4{\sqrt[{4}]{7}}\pi }}.}$$

В более общем смысле, условие,

$${\displaystyle {\frac {iK'}{K}}={\frac {iK\left({\sqrt {1-k^{2}}}\right)}{K(k)}}}$$

мнимом квадратичном поле ^{[примечание 1][4] [5]}k = e ^{5 πi /6}iK '/К= e ^{2 πi /3[6]}

$${\displaystyle K\left(e^{5\pi i/6}\right)={\frac {e^{-\pi i/12}\Gamma ^{3}\left({\frac {1}{3}}\right){\sqrt[{4}]{3}}}{4{\sqrt[{3}]{2}}\pi }}.}$$

Связь с тета-функцией Якоби

Связь с тэта-функцией Якоби определяется выражением

$${\displaystyle K(k)={\frac {\pi }{2}}\theta _{3}^{2}(q),}$$

имя q

$${\displaystyle q(k)=\exp \left(-\pi {\frac {K\left({\sqrt {1-k^{2}}}\right)}{K(k)}}\right).}$$

Асимптотические выражения

$${\displaystyle K\left(k\right)\approx {\frac {\pi }{2}}+{\frac {\pi }{8}}{\frac {k^{2}}{1-k^{2}}}-{\frac {\pi }{16}}{\frac {k^{4}}{1-k^{2}}}}$$

3 × 10 ⁻⁴k <1/2k <1/2^{[ нужна цитата ]}

Дифференциальное уравнение

Дифференциальное уравнение для эллиптического интеграла первого рода имеет вид

$${\displaystyle {\frac {d}{dk}}\left(k\left(1-k^{2}\right){\frac {dK(k)}{dk}}\right)=k\,K(k)}$$

Второе решение этого уравнения: . Это решение удовлетворяет соотношению ${\displaystyle K\left({\sqrt {1-k^{2}}}\right)}$

$${\displaystyle {\frac {d}{dk}}K(k)={\frac {E(k)}{k\left(1-k^{2}\right)}}-{\frac {K(k)}{k}}.}$$

Непрерывная дробь

Расширение непрерывной дроби: [ 7 ^]

$${\displaystyle {\frac {K(k)}{2\pi }}=-{\frac {1}{4}}+\sum _{n=0}^{\infty }{\frac {q^{n}}{1+q^{2n}}}=-{\frac {1}{4}}+{\cfrac {1}{1-q+{\cfrac {\left(1-q\right)^{2}}{1-q^{3}+{\cfrac {q\left(1-q^{2}\right)^{2}}{1-q^{5}+{\cfrac {q^{2}\left(1-q^{3}\right)^{2}}{1-q^{7}+{\cfrac {q^{3}\left(1-q^{4}\right)^{2}}{1-q^{9}+\cdots }}}}}}}}}},}$$

ном ${\displaystyle q=q(k)=\exp[-\pi K'(k)/K(k)]}$

Полный эллиптический интеграл второго рода

График полного эллиптического интеграла второго рода E ( k )

Полный эллиптический интеграл второго рода E определяется как

$${\displaystyle E(k)=\int _{0}^{\tfrac {\pi }{2}}{\sqrt {1-k^{2}\sin ^{2}\theta }}\,d\theta =\int _{0}^{1}{\frac {\sqrt {1-k^{2}t^{2}}}{\sqrt {1-t^{2}}}}\,dt,}$$

или более компактно через неполный интеграл второго рода E ( φ , k ) как

$${\displaystyle E(k)=E\left({\tfrac {\pi }{2}},k\right)=E(1;k).}$$

Для эллипса с большой полуосью a и малой полуосью b и эксцентриситетом e = √ 1 − b ² / a ² полный эллиптический интеграл второго рода E ( e ) равен одной четверти длины окружности C эллипс, измеряемый в единицах большой полуоси a . Другими словами:

$${\displaystyle C=4aE(e).}$$

Полный эллиптический интеграл второго рода можно выразить в виде степенного ряда ^[8]

$${\displaystyle E(k)={\frac {\pi }{2}}\sum _{n=0}^{\infty }\left({\frac {(2n)!}{2^{2n}\left(n!\right)^{2}}}\right)^{2}{\frac {k^{2n}}{1-2n}},}$$

что эквивалентно

$${\displaystyle E(k)={\frac {\pi }{2}}\left(1-\left({\frac {1}{2}}\right)^{2}{\frac {k^{2}}{1}}-\left({\frac {1\cdot 3}{2\cdot 4}}\right)^{2}{\frac {k^{4}}{3}}-\cdots -\left({\frac {(2n-1)!!}{(2n)!!}}\right)^{2}{\frac {k^{2n}}{2n-1}}-\cdots \right).}$$

В терминах гипергеометрической функции Гаусса полный эллиптический интеграл второго рода можно выразить как

$${\displaystyle E(k)={\tfrac {\pi }{2}}\,{}_{2}F_{1}\left({\tfrac {1}{2}},-{\tfrac {1}{2}};1;k^{2}\right).}$$

Модуль можно преобразовать следующим образом:

$${\displaystyle E(k)=\left(1+{\sqrt {1-k^{2}}}\right)\,E\left({\frac {1-{\sqrt {1-k^{2}}}}{1+{\sqrt {1-k^{2}}}}}\right)-{\sqrt {1-k^{2}}}\,K(k)}$$

Вычисление

Как и интеграл первого рода, полный эллиптический интеграл второго рода можно очень эффективно вычислить, используя среднее арифметико-геометрическое . ^[1]

Определим последовательности a _n и g _n , где a ₀ = 1 , g ₀ = √ 1 − k ² = k ′ и рекуррентные соотношения a _{n + 1} =а _н + г _н/2, g _{n + 1} = √ a _n g _n . Кроме того, определите

$${\displaystyle c_{n}={\sqrt {\left|a_{n}^{2}-g_{n}^{2}\right|}}.}$$

По определению,

$${\displaystyle a_{\infty }=\lim _{n\to \infty }a_{n}=\lim _{n\to \infty }g_{n}=\operatorname {agm} \left(1,{\sqrt {1-k^{2}}}\right).}$$

Также

$${\displaystyle \lim _{n\to \infty }c_{n}=0.}$$

Затем

$${\displaystyle E(k)={\frac {\pi }{2a_{\infty }}}\left(1-\sum _{n=0}^{\infty }2^{n-1}c_{n}^{2}\right).}$$

На практике среднее арифметико-геометрическое будет просто вычисляться до некоторого предела. Эта формула сходится квадратично для всех | к | ≤ 1 . Для дальнейшего ускорения вычислений соотношение c _{n + 1} =ц _н ²/4 а _{н + 1}может быть использован.

Кроме того, если k ² = λ ( i √ r ) и (где λ — модулярная лямбда-функция ), то E ( k ) выражается в замкнутой форме через ${\displaystyle r\in \mathbb {Q} ^{+}}$

$${\displaystyle K(k)={\frac {\pi }{2\operatorname {agm} \left(1,{\sqrt {1-k^{2}}}\right)}}}$$

r = 1r = 3r = 7^[9]

$${\displaystyle E\left({\frac {1}{\sqrt {2}}}\right)={\frac {1}{2}}K\left({\frac {1}{\sqrt {2}}}\right)+{\frac {\pi }{4K\left({\frac {1}{\sqrt {2}}}\right)}},}$$

и

$${\displaystyle E\left({\frac {{\sqrt {3}}-1}{2{\sqrt {2}}}}\right)={\frac {3+{\sqrt {3}}}{6}}K\left({\frac {{\sqrt {3}}-1}{2{\sqrt {2}}}}\right)+{\frac {\pi {\sqrt {3}}}{12K\left({\frac {{\sqrt {3}}-1}{2{\sqrt {2}}}}\right)}},}$$

и

$${\displaystyle E\left({\frac {3-{\sqrt {7}}}{4{\sqrt {2}}}}\right)={\frac {7+2{\sqrt {7}}}{14}}K\left({\frac {3-{\sqrt {7}}}{4{\sqrt {2}}}}\right)+{\frac {\pi {\sqrt {7}}}{28K\left({\frac {3-{\sqrt {7}}}{4{\sqrt {2}}}}\right)}}.}$$

Производное и дифференциальное уравнение

$${\displaystyle {\frac {dE(k)}{dk}}={\frac {E(k)-K(k)}{k}}}$$

$${\displaystyle \left(k^{2}-1\right){\frac {d}{dk}}\left(k\;{\frac {dE(k)}{dk}}\right)=kE(k)}$$

Второе решение этого уравнения: E ( √ 1 - k ² ) - K ( √ 1 - k ² ) .

Полный эллиптический интеграл третьего рода

График полного эллиптического интеграла третьего рода Π( n , k ) с несколькими фиксированными значениями n

Полный эллиптический интеграл третьего рода Π можно определить как

$${\displaystyle \Pi (n,k)=\int _{0}^{\frac {\pi }{2}}{\frac {d\theta }{\left(1-n\sin ^{2}\theta \right){\sqrt {1-k^{2}\sin ^{2}\theta }}}}.}$$

Заметим, что иногда эллиптический интеграл третьего рода определяется с обратным знаком характеристики n :

$${\displaystyle \Pi '(n,k)=\int _{0}^{\frac {\pi }{2}}{\frac {d\theta }{\left(1+n\sin ^{2}\theta \right){\sqrt {1-k^{2}\sin ^{2}\theta }}}}.}$$

Как и полные эллиптические интегралы первого и второго рода, полный эллиптический интеграл третьего рода можно очень эффективно вычислить, используя среднее арифметико-геометрическое. ^[1]

Частные производные

$${\displaystyle {\begin{aligned}{\frac {\partial \Pi (n,k)}{\partial n}}&={\frac {1}{2\left(k^{2}-n\right)(n-1)}}\left(E(k)+{\frac {1}{n}}\left(k^{2}-n\right)K(k)+{\frac {1}{n}}\left(n^{2}-k^{2}\right)\Pi (n,k)\right)\\[8pt]{\frac {\partial \Pi (n,k)}{\partial k}}&={\frac {k}{n-k^{2}}}\left({\frac {E(k)}{k^{2}-1}}+\Pi (n,k)\right)\end{aligned}}}$$

Дзета-функция Якоби

В 1829 году Якоби определил дзета-функцию Якоби :

$${\displaystyle Z(\varphi ,k)=E(\varphi ,k)-{\frac {E(k)}{K(k)}}F(\varphi ,k).}$$

функцией Якоби zn ${\displaystyle \varphi }$ ${\displaystyle \pi }$ ${\displaystyle Z(\varphi ,k)=\operatorname {zn} (F(\varphi ,k),k)}$ ${\displaystyle Z}$ ${\displaystyle \operatorname {zn} }$ ${\displaystyle Z}$ ${\displaystyle Z}$ ${\displaystyle \operatorname {zn} }$

Отношение Лежандра

Отношение Лежандра или тождество Лежандра показывает связь интегралов K и E эллиптического модуля и его антисвязанного аналога ^{[10] [11]} в интегральном уравнении второй степени:

Для двух модулей, которые являются пифагорейскими аналогами друг друга, это соотношение справедливо:

$${\displaystyle K(\varepsilon )E\left({\sqrt {1-\varepsilon ^{2}}}\right)+E(\varepsilon )K\left({\sqrt {1-\varepsilon ^{2}}}\right)-K(\varepsilon )K\left({\sqrt {1-\varepsilon ^{2}}}\right)={\frac {\pi }{2}}}$$

Например:

${\displaystyle K({\color {blueviolet}{\tfrac {3}{5}}})E({\color {blue}{\tfrac {4}{5}}})+E({\color {blueviolet}{\tfrac {3}{5}}})K({\color {blue}{\tfrac {4}{5}}})-K({\color {blueviolet}{\tfrac {3}{5}}})K({\color {blue}{\tfrac {4}{5}}})={\tfrac {1}{2}}\pi }$

А для двух модулей, являющихся тангенциальными аналогами друг друга, справедливо следующее соотношение:

${\displaystyle (1+\varepsilon )K(\varepsilon )E({\tfrac {1-\varepsilon }{1+\varepsilon }})+{\tfrac {2}{1+\varepsilon }}E(\varepsilon )K({\tfrac {1-\varepsilon }{1+\varepsilon }})-2K(\varepsilon )K({\tfrac {1-\varepsilon }{1+\varepsilon }})={\tfrac {1}{2}}\pi }$

Например:

${\displaystyle {\tfrac {4}{3}}K({\color {blue}{\tfrac {1}{3}}})E({\color {green}{\tfrac {1}{2}}})+{\tfrac {3}{2}}E({\color {blue}{\tfrac {1}{3}}})K({\color {green}{\tfrac {1}{2}}})-2K({\color {blue}{\tfrac {1}{3}}})K({\color {green}{\tfrac {1}{2}}})={\tfrac {1}{2}}\pi }$

Соотношение Лежандра для тангенциальных модульных аналогов вытекает непосредственно из тождества Лежандра для пифагорейских модульных аналогов с использованием модульного преобразования Ландена для пифагорейского противомодуля.

Особое тождество для лемнискатического случая

Для лемнискатического случая эллиптический модуль или удельный эксцентриситет ε равен половине квадратного корня из двух. Тождество Лежандра для лемнискатического случая можно доказать следующим образом:

Согласно правилу Цепи, эти деривативы имеют следующее соотношение:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\,K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(xy);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}={\frac {{\sqrt {2}}\,x}{\sqrt {1-x^{4}y^{4}}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\,2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(xy);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(xy);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}={\frac {{\sqrt {2}}\,x^{3}y^{2}}{\sqrt {1-x^{4}y^{4}}}}}$

Используя Фундаментальную теорему исчисления, можно получить следующие формулы:

${\displaystyle K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}=\int _{0}^{1}{\frac {{\sqrt {2}}\,x}{\sqrt {1-x^{4}y^{4}}}}\,\mathrm {d} y}$

${\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}=\int _{0}^{1}{\frac {{\sqrt {2}}\,x^{3}y^{2}}{\sqrt {1-x^{4}y^{4}}}}\,\mathrm {d} y}$

Линейная комбинация двух уже упомянутых интегралов приводит к следующей формуле:

${\displaystyle {\frac {\sqrt {2}}{\sqrt {1-x^{4}}}}{\biggl \{}2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}\,+}$

${\displaystyle +\,{\frac {{\sqrt {2}}\,x^{2}}{\sqrt {1-x^{4}}}}{\biggl \{}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}=\int _{0}^{1}{\frac {2\,x^{3}(y^{2}+1)}{\sqrt {(1-x^{4})(1-x^{4}\,y^{4})}}}\,\mathrm {d} y}$

Формируя исходную первообразную, связанную с x, из функции, показанной теперь с использованием правила произведения, получается следующая формула:

${\displaystyle {\biggl \{}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}{\biggl \{}2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-2E{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}+F{\biggl [}\arccos(x);{\frac {1}{2}}{\sqrt {2}}{\biggr ]}{\biggr \}}=}$

${\displaystyle =\int _{0}^{1}{\frac {1}{y^{2}}}(y^{2}+1){\biggl [}{\text{artanh}}(y^{2})-{\text{artanh}}{\bigl (}{\frac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}{\bigr )}{\biggr ]}\mathrm {d} y}$

Если значение вставлено в это интегральное тождество, то появляется следующее тождество: ${\displaystyle x=1}$

${\displaystyle K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}{\biggl [}2\,E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}{\biggr ]}=\int _{0}^{1}{\frac {1}{y^{2}}}(y^{2}+1)\,{\text{artanh}}(y^{2})\,\mathrm {d} y=}$

${\displaystyle ={\biggl [}2\arctan(y)-{\frac {1}{y}}(1-y^{2})\,{\text{artanh}}(y^{2}){\biggr ]}_{y=0}^{y=1}=2\arctan(1)={\frac {\pi }{2}}}$

Вот как выглядит этот лемнискатический отрывок из личности Лежандра:

${\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}$

Обобщение на общий случай

Теперь модульный общий случай ^{[12] [13]} разработан. Для этого производные полных эллиптических интегралов выводятся по модулю, а затем объединяются. И тогда баланс личности Лежандра определяется. ${\displaystyle \varepsilon }$

Потому что производная функции круга является отрицательным произведением идентичной функции отображения и обратной функции круга:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\sqrt {1-\varepsilon ^{2}}}=-\,{\frac {\varepsilon }{\sqrt {1-\varepsilon ^{2}}}}}$

Это производные K и E, показанные в этой статье в разделах выше:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )-(1-\varepsilon ^{2})K(\varepsilon ){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E(\varepsilon )=-\,{\frac {1}{\varepsilon }}{\bigl [}K(\varepsilon )-E(\varepsilon ){\bigr ]}}$

В сочетании с производной функции окружности эти производные действительны тогда:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}\varepsilon ^{2}K({\sqrt {1-\varepsilon ^{2}}})-E({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E({\sqrt {1-\varepsilon ^{2}}})={\frac {\varepsilon }{1-\varepsilon ^{2}}}{\bigl [}K({\sqrt {1-\varepsilon ^{2}}})-E({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

Тождество Лежандра включает произведения любых двух полных эллиптических интегралов. Для вывода стороны функции из шкалы уравнения тождества Лежандра правило произведения теперь применяется в следующем:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+\varepsilon ^{2}K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}-E(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-(1-\varepsilon ^{2})K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\frac {1}{\varepsilon (1-\varepsilon ^{2})}}{\bigl [}E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})-(1-2\varepsilon ^{2})K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}}$

Из этих трех уравнений сложение двух верхних уравнений и вычитание нижнего уравнения дает следующий результат:

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} \varepsilon }}{\bigl [}K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}}){\bigr ]}=0}$

По отношению к уравнению баланса постоянно выдается нулевое значение. ${\displaystyle \varepsilon }$

Полученный ранее результат необходимо объединить с уравнением Лежандра для получения модуля, рассчитанного в предыдущем разделе: ${\displaystyle \varepsilon =1/{\sqrt {2}}}$

${\displaystyle 2E{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}-K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}^{2}={\frac {\pi }{2}}}$

Комбинация последних двух формул дает следующий результат:

${\displaystyle K(\varepsilon )E({\sqrt {1-\varepsilon ^{2}}})+E(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})-K(\varepsilon )K({\sqrt {1-\varepsilon ^{2}}})={\tfrac {1}{2}}\pi }$

Потому что, если производная непрерывной функции постоянно принимает нулевое значение, то рассматриваемая функция является постоянной функцией. Это означает, что эта функция дает одно и то же значение функции для каждого значения абсцисс , и поэтому соответствующий график функции представляет собой горизонтальную прямую линию. ${\displaystyle \varepsilon }$

Смотрите также

• Математический портал

• Эллиптическая кривая
• Отображение Шварца – Кристоффеля
• Симметричная форма Карлсона
• Эллиптические функции Якоби
• Эллиптические функции Вейерштрасса
• Тета-функция Якоби
• Тета-функция Рамануджана
• Среднее арифметико-геометрическое
• Период маятника
• Меридианная дуга

Рекомендации

Примечания

1. K можно аналитически продолжить на комплексную плоскость .

Рекомендации

1. Карлсон 2010, 19.8.
2. Борвейн, Джонатан М.; Борвейн, Питер Б. (1987). Пи и AGM: исследование аналитической теории чисел и сложности вычислений (первое изд.). Уайли-Интерсайенс. ISBN 0-471-83138-7.п. 296
3. Борвейн, Джонатан М.; Борвейн, Питер Б. (1987). Пи и AGM: исследование аналитической теории чисел и сложности вычислений (первое изд.). Уайли-Интерсайенс. ISBN 0-471-83138-7.п. 298
4. Чола, С.; Сельберг, А. (1949). «О дзета-функции Эпштейна (I)». Труды Национальной академии наук . 35 (7): 373. Бибкод : 1949PNAS...35..371C. дои : 10.1073/PNAS.35.7.371. ПМЦ 1063041 . PMID  16588908. S2CID  45071481. 
5. Чола, С.; Сельберг, А. (1967). «О дзета-функции Эпштейна». Журнал для королевы и математики . 227 : 86–110.
6. "Эллиптические интегралы Лежандра (запись 175b7a)" .
7. Н.Багис, Л.Глассер.(2015) «Оценки непрерывной дроби Рамануджана». Rend.Sem.Mat.Univ.Padova, Том 133, стр. 1-10.
8. «Полный эллиптический интеграл второго рода: представления рядов (формула 08.01.06.0002)» .
9. Борвейн, Джонатан М.; Борвейн, Питер Б. (1987). Пи и AGM: исследование аналитической теории чисел и сложности вычислений (первое изд.). Уайли-Интерсайенс. ISBN 0-471-83138-7.п. 26, 161
10. "Legendre-Relation" (на немецком языке) . Проверено 29 ноября 2022 г.
11. "Отношения Лежандра" . Проверено 29 ноября 2022 г.
12. «Интеграция - Доказательство соотношения Лежандра для эллиптических кривых» . Проверено 10 февраля 2023 г.
13. Интернет-архив (1991), Пол Халмос празднует 50-летие математики, Нью-Йорк: Springer-Verlag, ISBN 0-387-97509-8, получено 10 февраля 2023 г.

Источники

• Абрамовиц, Милтон ; Стегун, Ирен Энн , ред. (1983) [июнь 1964 г.]. «Глава 17». Справочник по математическим функциям с формулами, графиками и математическими таблицами . Серия «Прикладная математика». Том. 55 (Девятое переиздание с дополнительными исправлениями десятого оригинального издания с исправлениями (декабрь 1972 г.); первое изд.). Вашингтон, округ Колумбия; Нью-Йорк: Министерство торговли США, Национальное бюро стандартов; Дуврские публикации. п. 587. ИСБН 978-0-486-61272-0. LCCN  64-60036. МР  0167642. LCCN  65-12253.
• Берд, ПФ; Фридман, доктор медицины (1971). Справочник по эллиптическим интегралам для инженеров и ученых (2-е изд.). Нью-Йорк: Springer-Verlag. ISBN 0-387-05318-2.
• Карлсон, Британская Колумбия (1995). «Численное вычисление действительных или комплексных эллиптических интегралов». Численные алгоритмы . 10 (1): 13–26. arXiv : math/9409227 . Бибкод : 1995NuAlg..10...13C. дои : 10.1007/BF02198293. S2CID  11580137.
• Карлсон, Британская Колумбия (2010), «Эллиптический интеграл», Олвер , Фрэнк У.Дж .; Лозье, Дэниел М.; Буасверт, Рональд Ф.; Кларк, Чарльз В. (ред.), Справочник NIST по математическим функциям , издательство Кембриджского университета, ISBN 978-0-521-19225-5, МР  2723248.
• Эрдели, Артур; Магнус, Вильгельм ; Оберхеттингер, Фриц; Трикоми, Франческо Г. (1953). Высшие трансцендентные функции. Том II (PDF) . McGraw-Hill Book Company, Inc., Нью-Йорк-Торонто-Лондон. МР  0058756.
• Градштейн Израиль Соломонович ; Рыжик Иосиф Моисеевич ; Героним Юрий Вениаминович ; Цейтлин Михаил Юльевич ; Джеффри, Алан (2015) [октябрь 2014 г.]. «8.1.». В Цвиллингере, Дэниел; Молл, Виктор Гюго (ред.). Таблица интегралов, рядов и произведений . Перевод Scripta Technica, Inc. (8-е изд.). ISBN Academic Press, Inc.  978-0-12-384933-5. LCCN  2014010276.
• Гринхилл, Альфред Джордж (1892). Приложения эллиптических функций. Нью-Йорк: Макмиллан.
• Хэнкок, Харрис (1910). Лекции по теории эллиптических функций. Нью-Йорк: Дж. Уайли и сыновья.
• Король, Луи В. (1924). О прямом численном вычислении эллиптических функций и интегралов. Издательство Кембриджского университета.
• Пресс, WH; Теукольский, С.А.; Феттерлинг, WT; Фланнери, BP (2007), «Раздел 6.12. Эллиптические интегралы и эллиптические функции Якоби», Численные рецепты: искусство научных вычислений (3-е изд.), Нью-Йорк: Cambridge University Press, ISBN 978-0-521-88068-8

Внешние ссылки

• «Эллиптический интеграл», Математическая энциклопедия , EMS Press , 2001 [1994]
• Эрик В. Вайсштейн, «Эллиптический интеграл» (Mathworld)
• Код Matlab для оценки эллиптических интегралов с помощью эллиптического проекта
• Рациональные аппроксимации полных эллиптических интегралов (Exstrom Laboratories)
• Краткая история эллиптических теорем сложения интегралов