查看“︁椭圆积分”︁的源代码

在[[积分学]]中，'''椭圆积分'''最初出现于[[椭圆]]的[[弧长]]有关的问题中。{{le|朱利奥·法尼亚诺|Guilio Fagnano}}和[[欧拉]]是最早的研究者。现代数学将'''椭圆积分'''定义为可以表达为如下形式的任何[[函数]] <math>f \,</math>的积分

:<math> f(x) = \int_{c}^{x} R[t,\sqrt[]{P(t)} ]\ dt \,\!</math>

其中<math>R \,</math>是其两个参数的[[有理函数]]，<math>P \,</math>是一个无重根的<math>3 \,</math>或<math>4 \,</math>阶[[多项式]]，而<math>c \,</math>是一个常数。

通常，椭圆积分不能用基本函数表达。这个一般规则的例外出现在<math>P \,</math>有重根的时候，或者是<math>R \,</math>,<math>\left(x,y \right) \,</math>没有<math>y \,</math>的奇数幂时。但是，通过适当的[[降次积分法|简化公式]]，每个椭圆积分可以变为只涉及有理函数和三个经典形式的积分。（也即，第一，第二，和第三类的椭圆积分）。

除下面给出的形式之外，椭圆积分也可以表达为[[勒让德形式]]和[[Carlson对称形式]]。通过对[[施瓦茨-克里斯托费尔映射]]的研究可以加深对椭圆积分理论的理解。历史上，[[椭圆函数]]是作为椭圆积分的逆函数被发现的，特别是这一个：<math>F [ \textrm{sn} \left(z;k \right);k] = z\,</math>其中<math>  \textrm{sn} \,</math>是[[雅可比椭圆函数|雅可比正弦椭圆函数]]。

==记法==
椭圆积分通常表述为不同变量的函数。这些变量完全等价（它们给出同样的椭圆积分），但是它们看起来很不相同。很多文献使用单一一种标准命名规则。在定义积分之前，先来检视一下这些变量的命名常规：

* <math>\alpha</math>  '''[[模角]]''';
* <math>k=\sin \alpha</math> '''[[椭圆模]]''';
* <math>m=k^2=\sin^2 \alpha</math> '''参数''';

上述三种常规完全互相确定。规定其中一个和规定另外一个一样。椭圆积分也依赖于另一个变量，可以有如下几种不同的设定方法：

* <math>\phi\,\!</math> '''幅度'''
* <math>x\,</math> 其中<math>x=\sin \phi= \textrm{sn} \; u\,\!</math>
* <math>u\,</math>，其中<math>x =  \textrm{sn} \; u \,</math>而<math>\textrm{sn} \,</math>是[[雅可比椭圆函数]]之一

规定其中一个决定另外两个。这样，它们可以互换地使用。注意<math>u\,</math>也依赖于<math>m\,</math>。其它包含<math>u\,</math>的关系有

:<math>\cos \phi = \textrm{cn}\; u\,\!</math>

和

:<math>\sqrt{1-m\sin^2 \phi} = \textrm{dn}\; u.\,\!</math>

后者有时称为'''δ幅度'''并写作<math>\Delta(\phi)=\textrm{dn}\; u\,\!</math>。有时文献也称之为补参数，补模或者补模角。这些在[[四分周期]]中有进一步的定义。

==第一类不完全椭圆积分==
'''第一类不完全椭圆积分''' <math>F \,</math>定义为

:<math> F(\phi\setminus \alpha ) = F(\phi|m) =
\int_0^\phi\frac{{\rm{d}}\theta}{\sqrt{1-(\sin\theta\sin \alpha)^2}}.\,\!</math>

与此等价，用[[雅可比]]的形式，可以设
<math>x=\sin \phi ~,~ t=\sin \theta\;\!</math>；则
:<math> F(\phi\setminus \alpha ) = F(x;k) =
\int_{0}^{x} \frac{{\rm{d}}t}{\sqrt{(1-t^2)(1-k^2 t^2)} }\,\!</math>
其中，假定任何有竖直条出现的地方，紧跟竖直条的变量是（如上定义的）参数；而且，当反斜杠出现的时候，跟着出现的是模角。
在这个意义下，<math> F(\sin\phi;\sin \alpha) = F(\phi|\sin^2 \alpha) = F(\phi\setminus \alpha )~ \,\!</math>，这里的记法来自标准参考书[[Abramowitz and Stegun]]。

但是，还有许多不同的用于椭圆积分的记法。取值为椭圆积分的函数没有（像[[平方根]]，[[正弦]]和[[误差函数]]那样的）标准和唯一的名字。甚至关于该领域的文献也常常采用不同的记法。Gradstein, Ryzhik[http://www.amazon.ca/exec/obidos/ASIN/0122947576] {{Wayback|url=http://www.amazon.ca/exec/obidos/ASIN/0122947576 |date=20200803001257 }}, <math>Eq\,</math>.(8.111)]采用<math> F(\phi,k) \,\!</math>。该记法和这里的<math> F(\phi|k^2)~ \,\!</math>；以及下面的<math> E(\phi,k)=E(\phi|k^2)~ \,\!</math>等价。

和上面的不同对应的是，如果从[[Mathematica]]语言翻译代码到[[Maple]]语言，必须将EllipticK函数的参数用它的[[平方根]]代替。反过来，如果从Maple翻到Mathematica，则参数应该用它的[[平方]]代替。Maple中的EllipticK(<math>x</math>)几乎和Mathematica中的EllipticK[<math>x^2</math>]相等；至少当<math>0<x<1\,</math>时是相等的。

注意
:<math>F(x;k) = u \,\!</math>
其中<math>u\,</math>如上文所定义：由此可见，[[雅可比椭圆函数]]是椭圆积分的逆。

===加法公式===
:<math>
\forall \varphi_1,\varphi_2 \in \left]-\frac{\pi}{2};\frac{\pi}{2}\right[,
</math>
:<math>
F\left(\varphi_1,k\right) + F\left(\varphi_2,k\right)
= F\left(\arctan\left(\tan\varphi_1\sqrt{1-k^2\sin^2\varphi_2}\right) + \arctan\left(\tan\varphi_2\sqrt{1-k^2\sin^2\varphi_1}\right),k\right)
</math>

::<math>
\arctan\left(\tan\varphi_1\sqrt{1-k^2\sin^2\varphi_2}\right) + \arctan\left(\tan\varphi_2\sqrt{1-k^2\sin^2\varphi_1}\right) \in [-\pi/2;\pi/2] \Rightarrow
</math>
:<math>
F\left(\varphi_1,k\right) + F\left(\varphi_2,k\right) = F\left(\arcsin\frac{\cos\varphi_1\sqrt{1-k^2\sin^2\varphi_1}\sin\varphi_2+\cos\varphi_2\sqrt{1-k^2\sin^2\varphi_2}\sin\varphi_1}{1-k^2\sin^2\varphi_1\sin^2\varphi_2},k\right)
</math>

::<math>
\arctan\left(\tan\varphi_1\sqrt{1-k^2\sin^2\varphi_2}\right) + \arctan\left(\tan\varphi_2\sqrt{1-k^2\sin^2\varphi_1}\right) \in [0;\pi] \Rightarrow
</math>
:<math>
F\left(\varphi_1,k\right) + F\left(\varphi_2,k\right) = F\left(\arccos\frac{\cos\varphi_1\cos\varphi_2-\sin\varphi_1\sin\varphi_2\sqrt{1-k^2\sin^2\varphi_1}\sqrt{1-k^2\sin^2\varphi_1}\sqrt{1-k^2\sin^2\varphi_2}}{1-k^2\sin^2\varphi_1\sin^2\varphi_2},k\right)
</math>

===性质===
:<math>F(x+n\pi;k)=F(x;k)+2nK(k)\,\!</math>
:<math>F(x+\frac{n\pi}{2};k)=nK(k)\,\!</math>
:<math>n \in \mathbb{Z}\,\!</math>
:<math>F(-x;k)=-F(x;k)\,\!</math>
:<math>F(x;0)=x\,\!</math>
:<math>F(0;k)=-F(x;k)\,\!</math>
:<math>F(x;1)={\rm{arctanh}}\sin x\,\!</math>
:<math>-\frac{\pi}{2}<\Re(x)<\frac{\pi}{2}\,\!</math>

===第一类不完全椭圆积分的导数===
:<math>\frac{{\rm{d}}}{{\rm{d}}x}F(x;k)=\frac{1}{\sqrt{1-k^2\sin^2x}}\,\!</math>
:<math>\frac{{\rm{d}}}{{\rm{d}}k}F(x;k)=\frac{E(x;k)}{2k(1-k)}-\frac{F(x;k)}{2k}-\frac{\sin2x}{4(1-k)\sqrt{1-k\sin^2x}}\,\!</math>

==第二类不完全椭圆积分==
'''第二类不完全椭圆积分''' <math>E\!</math>是

:<math> E(\phi\setminus \alpha) = E(\phi|m) =
\int_0^\phi\!E'(\theta)\ {\rm{d}}\theta = \int_0^\phi\sqrt{1-(\sin\theta\sin \alpha)^2}\ {\rm{d}}\theta.\,\!</math>

与此等价，采用另外一个记法（作变量替换<math>t=\sin\theta\,\!</math>），

:<math> E(x;k) = \int_{0}^{x} \frac{\sqrt{1-k^2 t^2} }{\sqrt{1-t^2}}\ {\rm{d}}t. \,\!</math>

其它关系包括

:<math>E(\phi|m) = \int_0^u \textrm{dn}^2 w \;{\rm{d}}w =
u-m\int_0^u \textrm{sn}^2 w \;{\rm{d}}w = 
(1-m)u+m\int_0^u \textrm{cn}^2 w \;{\rm{d}}w.\,\!</math>

:<math>E(\phi|k^2)=(1-k^2)\int_0^{\phi}\frac{{\rm{d}}\theta}{(1-k^2\sin^2\theta)\sqrt{1-k^2\sin^2\theta}}+\frac{k^2\sin\theta\cos\theta}{\sqrt{1-k^2\sin^2\theta}}\,\!</math>

===加法公式===
:<math>
\forall \varphi_1,\varphi_2 \in \left]-\frac{\pi}{2};\frac{\pi}{2}\right[,
</math>
:<math>
\textstyle
E\left(\varphi_1,k\right) + E\left(\varphi_2,k\right)
= \left[\begin{align}
E\left(\arctan\left(\tan\varphi_1\sqrt{1-k^2\sin^2\varphi_2}\right) + \arctan\left(\tan\varphi_2\sqrt{1-k^2\sin^2\varphi_1}\right),k\right)
\\
+\frac{k^2\sin\varphi_1\sin\varphi_2\left(\cos\varphi_1\sqrt{1-k^2\sin^2\varphi_1}\sin\varphi_2+\cos\varphi_2\sqrt{1-k^2\sin^2\varphi_2}\sin\varphi_1\right)}{1-k^2\sin\varphi_1\sin\varphi_2}
\end{align}\right]
</math>

===性质===
:<math>E(\phi+n\pi;k)=E(\phi;k)+2nE(k)\,\!</math>
:<math>E(-\phi;k)=-E(\phi;k)\,\!</math>
===第二类不完全椭圆积分的导数===
:<math>\frac{{\rm{d}}}{{\rm{d}}\phi}E(\phi;k)=\sqrt{1-k^2\sin^2\phi}\,\!</math>
:<math>\frac{{\rm{d}}}{{\rm{d}}k}E(\phi;k)=\frac{E(\phi;k)-F(\phi;k)}{2k}\,\!</math>
:<math>\frac{{\rm{d}}^n}{{\rm{d}}k^n}E(\phi;k)=\frac{\pi}{2k^n}{}_2F_1\left(-\frac{1}{2},\frac{1}{2};1-n;k\right)-\frac{\sqrt\pi\cos\phi}{2k^{2n}} F_{2\times 1 \times0}^{1\times 3 \times2}
\begin{bmatrix}
\frac{1}{2};-\frac{1}{2},\frac{1}{2},1;\frac{1}{2},1;\\

1,\frac{3}{2};1-n;;\\

-k^2\cos\phi,\cos^2\phi
\end{bmatrix}+\frac{\pi m^{1-n}\cos\phi}{8}F_{3\times 1 \times1}^{2\times 1 \times1}
\begin{bmatrix}
\frac{1}{2},\frac{3}{2},2;\frac{1}{2},1;\\

2,2-n;1-n;\frac{3}{2};\frac{3}{2};\\

-k^2\cos^2\phi,k^2
\end{bmatrix}
\,\!</math>

==第三类不完全椭圆积分==
'''第三类不完全椭圆积分'''<math>\Pi\,\!</math>是
 
:<math> \Pi(n; \phi|m) = \int_0^\phi \frac { {\rm{d}}\theta}{(1-n\sin^2 \theta)\sqrt{1-(\sin\theta\sin o\!\varepsilon)^2}},\,\!</math>

或者

:<math> \Pi(n; \phi|m) = \int_{0}^{\sin\phi}
\frac{{\rm{d}}t}{(1-nt^2) \sqrt{(1-k^2 t^2)(1-t^2) }},\,\!</math>

或者

:<math> \Pi(n; \phi|m) = \int_0^{F(\phi|m)} \frac{{\rm{d}}w}{1-n \textrm{sn}^2 (w|m) }. \; \,\!</math>

数字<math>n\,</math>称为'''特征数'''，可以取任意值，和其它参数独立。但是要注意<math>\Pi(1;\frac{\pi}{2}|m)\,\!</math>对于任意<math>m\,\!</math>是无穷的。
===加法公式===
:<math>\Pi(n;\phi_1,k)+\Pi(n;\phi_2,k)=\Pi\left[n;\arccos\frac{\cos\phi_1\cos\phi_2-\sin\phi_1\sin\phi_2\sqrt{(1-k^2\sin^2\phi_1)(1-k^2\sin^2\phi_2)}}{1-k^2\sin^2\phi_1\sin^2\phi_2},k\right]-\sqrt{\frac{n}{ (1-n)(n-k^2)}}\arctan\frac{\sqrt{(1-n)n(n-k^2)}\sin\arccos\frac{\cos\phi_1\cos\phi_2-\sin\phi_1\sin\phi_2\sqrt{(1-k^2\sin^2\phi_1)(1-k^2\sin^2\phi_2)}}{1-k^2\sin^2\phi_1\sin^2\phi_2}\sin\phi_1\sin\phi_2}{\frac{n\cos\phi_1\cos\phi_2-n\sin\phi_1\sin\phi_2\sqrt{(1-k^2\sin^2\phi_1)(1-k^2\sin^2\phi_2)}}{1-k^2\sin^2\phi_1\sin^2\phi_2}\sqrt{1-k^2\sin^2\arccos\frac{\cos\phi_1\cos\phi_2-\sin\phi_1\sin\phi_2\sqrt{(1-k^2\sin^2\phi_1)(1-k^2\sin^2\phi_2)}}{1-k^2\sin^2\phi_1\sin^2\phi_2}}\sin\phi_1\sin\phi_2+1-n\sin^2\arccos\frac{\cos\phi_1\cos\phi_2-\sin\phi_1\sin\phi_2\sqrt{(1-k^2\sin^2\phi_1)(1-k^2\sin^2\phi_2)}}{1-k^2\sin^2\phi_1\sin^2\phi_2}}</math>

===第三类不完全椭圆积分的导数===
:<math>\frac{\partial}{\partial n}\Pi(n;\phi,k)=
\frac{1}{2(k^2-n)(n-1)} \left[E(\phi;k)+\frac{(k^2-n)F(\phi;k)}{n}+\frac{(n^2-k^2)\Pi(n;\phi,k)}{n}-\frac{n\sqrt{1-k^2\sin\phi}\sin2\phi}{2(1-n\sin^2\phi)}\right]</math>

:<math>\frac{{\partial}^m}{\partial n^m}\Pi(n;\phi,k)=\frac{\sin \phi}{n^m}\sum_{q=0}^{\infty}\frac{q!
(n\sin^2\phi)^q}{(2q+1)\Gamma(q-m+1)}F_1\left(q+\frac{1}{2},\frac{1}{2},\frac{1}{2};q+\frac{3}{2};\sin^2\phi,k^2\sin^2\phi\right)</math>

:<math>\frac{\partial}{\partial \phi}\Pi(n;\phi,k)=\frac{1}{(1-k^2\sin^2\phi)}\!</math>

:<math>\frac{\partial}{\partial k}\Pi(n;\phi,k)=\frac{k}{n-k^2}\left[\frac{E(\phi;k)}{k^2-1}+\Pi(n;\phi,k)-\frac{k^2\sin2\phi}{2(k^2-1)\sqrt{1-k^2\sin^2\phi}}\right]\!</math>

===特殊值===
:<math> \Pi(n; \phi,1) =\frac{1}{2n-2}\left[\sqrt n \ln \frac{1+\sqrt n\sin\phi}{1-\sqrt n\sin\phi}-2\ln(\sec\phi+\tan\phi)\right]\!</math>
:<math>- \frac{\pi}{2}\leq\Re(\phi)\leq \frac{\pi}{2}\!</math>
:<math> \Pi(0;\phi,k)=F(\phi,k) \!</math>
:<math> \Pi(n;\phi,0)=\frac{{\rm{arctanh}}(\sqrt{n-1}\tan \phi)}{\sqrt{n-1}}\!</math>
:<math>- \frac{\pi}{2}\leq\Re(\phi)\leq \frac{\pi}{2}\!</math>
:<math> \Pi(n;\phi,\sqrt n)=\frac{1}{1-n}\left[E(\phi,\sqrt n)-\frac{n\sin2\phi}{2\sqrt{1-n\sin^2\phi}}\right]\!</math>
:<math> \Pi\left(n;\frac{1}{k},k\right)=\frac{1}{k}\Pi\left(\frac{n}{k^2},\frac{1}{k}\right)\!</math>
:<math> \Pi\left(1;\phi,k\right)=\frac{\sqrt{1-k^2\sin^2\phi}\tan\phi-E(\phi,k)}{1-k^2}+F(\phi,k)\!</math>

==第一类完全椭圆积分==
[[Image:Mplwp complete ellipticKk.svg|thumb|300px|第一类完全椭圆积分<math>K(k)</math>]]
如果幅度为<math> \frac{\pi}{2}\,</math>或者<math>x=1 \,</math>，则称椭圆积分为''完全''的。
'''第一类完全椭圆积分'''<math>K \,</math>可以定義为

:<math>K(k) = \int_0^{\frac{\pi}{2}} \frac{{\rm{d}}\theta}{\sqrt{1-k^2 \sin^2\theta}}</math>

或者

:<math>K(k) = \int_{0}^{1} \frac{{\rm{d}}t}{\sqrt{(1-t^2)(1-k^2 t^2)}}.\!</math>

它是第一类不完全椭圆积分的特例：

:<math>K(k) = F(1;\,k) = F\left(\frac{\pi}{2}\,|\,k^2\right)\!</math>

这个特例可以表达为[[幂级数]]

:<math>K(k) = \frac{\pi}{2} \sum_{n=0}^{\infty} \left[\frac{(2n)!}{2^{2 n} n!^2}\right]^2 k^{2n}\!</math>

它等价于

:<math>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{(2n-1)!!}{(2n)!!}\right]^2 k^{2n} + \cdots \right\}.\!</math>

其中<math>n!! \,</math>表示[[双阶乘]]。利用高斯的[[超几何函数]]，第一类完全椭圆积分可以表达为

:<math>K(k) = \frac{\pi}{2} \,_2F_1 \left( \frac{1}{2} , \frac{1}{2}; 1; k^2\right).\,\!</math>

第一类完全椭圆积分有时称为[[四分周期]]。它可以利用[[算术-几何平均数|算术几何平均值]]來快速计算。
:<math>K(k)=\frac{\frac{\pi}{2}}{\mathrm{agm}(1,\sqrt{1-k^2})}.</math>
===复数值===
:<math>\Re \left[K(x+y{\rm{i}})\right] =\frac{\pi}{2} F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{3}{4},\frac{3}{4},\frac{5}{4},\frac{5}{4},;;;\\

1,\frac{3}{2};\frac{1}{2};\frac{3}{2};\\

-y^2,x^2
\end{bmatrix}
+\frac{\pi}{8}x F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{1}{4},\frac{1}{4},\frac{3}{4},\frac{3}{4},;;;\\

1,\frac{1}{2};\frac{1}{2};\frac{1}{2};\\

-y^2,x^2
\end{bmatrix}
\,\!</math>

:<math>\Im \left[K(x+y{\rm{i}})\right] =\frac{\pi}{8}y F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{3}{4},\frac{5}{4},\frac{3}{4},\frac{5}{4},;;;\\

1,\frac{3}{2};\frac{3}{2};\frac{1}{2};\\

-y^2,x^2
\end{bmatrix}
+\frac{9}{64}\pi xy F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{5}{4},\frac{7}{4},\frac{7}{4},\frac{5}{4},;;;\\

2,\frac{3}{2};\frac{3}{2};\frac{3}{2};\\

-y^2,x^2
\end{bmatrix}
\,\!</math>



===特殊值===
:<math>K(\pm \infty)=0\,</math>
:<math>K(\pm {\rm{i}}\infty)=0\,</math>
:<math>K(0) = \frac {\pi}{2}\!</math>
:<math>K(1) = \infty\!</math>
:<math>K(\frac{\sqrt2}{2})= \frac{8\pi}{\Gamma^2 \left(-\frac 1 4\right)}\sqrt\pi\,</math>
:<math>K\left(\sqrt{17-12\sqrt2}\right) =\frac {(4+2\sqrt2)\pi}{\Gamma^2 \left(-\frac 1 4\right)}\sqrt\pi\,</math>
:<math>K\left(\frac{\sqrt6-\sqrt2}{4}\right)=\frac{\sqrt[3]4\cdot\sqrt[4]3}{8\pi}\Gamma^3 \left(\frac 1 3\right)\,</math>
:<math>K\left(\frac{\sqrt6+\sqrt2}{4}\right)=\frac{\sqrt[3]4\cdot\sqrt[4]{27}}{8\pi}\Gamma^3 \left(\frac 1 3\right)\,</math>
:<math>K(i)=\frac {\sqrt{2\pi}} {8\pi} \Gamma^2 \left(\frac 1 4\right)\,</math>
:<math>K(\sqrt2)=\frac{4\sqrt{2\pi}\pi} {\Gamma^2 \left(\frac 1 4\right)}+\frac{4\sqrt{2\pi}\pi}{\Gamma^2 \left(\frac 1 4\right)}{\rm{i}}\,</math>
:<math>K({\rm{i}}k)=\frac{1}{\sqrt{k^2+1}}K\left(\sqrt{\frac{k^2}{k^2+1}}\right)\,</math>
其中
:<math>\Gamma \left(\frac 1 4\right) \approx 3.62561 \,</math>
:<math>\Gamma \left(\frac 1 3\right) \approx 2.67893 \,</math>

第一类完全椭圆积分满足
:<math>E(k)K'(k)+E'(k)K(k)-K(k)K'(k)=\frac{\pi}{2}\,</math>

===导数===

:<math>\frac{\rm{d}}{{\rm{d}}k}K^n(k) = \frac{nK^{n-1}(k)E(k)}{2k(1-k)}-\frac{nK^n(k)}{2k}</math>

===漸近表示===
:<math>K(k^2)\approx\frac{\pi}{2}+\frac{\pi}{8}\frac{k^2}{1-k^2}-\frac{\pi}{16}\frac{k^4}{1-k^2}</math>
這個近似在k<1/2時相對誤差小於{{math|3×10<sup>−4</sup>}}，若只保留前兩項則誤差在k<1/2時小於0.01
===微分方程===
此函數滿足以下微分方程
:<math>\frac{\mathrm{d}}{\mathrm{d}k}\left[k(1-k^2)\frac{\mathrm{d}K(k)}{\mathrm{d}k}\right]=k K(k)</math>
此微分方程之另一解為<math>K(\sqrt{1-k^2})</math>，此解滿足以下關係。
:<math>\frac{\mathrm{d}}{\mathrm{d}k}K(\sqrt{1-k^2})=\frac{E(k)}{k(1-k^2)}-\frac{K(k)}{k}</math>.

==第二类完全椭圆积分==
[[Image:Mplwp complete ellipticEk.svg|thumb|300px|第二类完全椭圆积分<math>E(k)</math>]]

'''第二类完全椭圆积分''' <math>E \,</math>可以定义为

:<math>E(k) = \int_0^{\frac{\pi}{2}}\sqrt {1-k^2 \sin^2\theta}\ {\rm{d}}\theta\!</math>

或者

:<math> E(k) = \int_{0}^{1} \frac{\sqrt{1-k^2 t^2}}{\sqrt{1-t^2}}\ {\rm{d}}t.\!</math>

它是第二类不完全椭圆积分的特殊情况：

:<math>E(k) = E(1;\,k) = E(\frac{\pi}{2}\,|\,k^2)\!</math>

它可以用[[幂级数]]表达

:<math>E(k) = \frac{\pi}{2} \sum_{n=0}^{\infty} \left[\frac{(2n)!}{2^{2 n} n!^2}\right]^2 \frac{k^{2n}}{1-2 n}\!</math>

也就是

:<math>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{\left(2n - 1\right)!!}{\left(2n\right)!!}\right]^2 \frac{k^{2n}}{2 n-1} - \cdots \right\}.\!</math>

用[[超几何级数|高斯超几何函数]]表示的话，第二类完全椭圆积分可以写作

:<math>E(k) = \frac{\pi}{2}  \,_2F_1 \left(-\frac{1}{2}, \frac{1}{2}; 1; k^2\right).\,\!</math>

有如下性质
:<math>E(\frac{n\pi}{2};k)=nE(k)\,\!</math>
:<math>n \in \mathbb{Z}\,\!</math>


===复数值===
:<math>E(x+y{\rm{i}})=\left\{\frac{\pi}{2} F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{3}{4},\frac{5}{4},\frac{1}{4},\frac{3}{4},;-;-;\\

1,\frac{3}{2};\frac{1}{2};\frac{3}{2};\\

-y^2,x^2
\end{bmatrix}
-\frac{\pi}{8}x F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{1}{4},\frac{3}{4},-\frac{1}{4},\frac{1}{4},;-;-;\\

1,\frac{1}{2};\frac{1}{2};\frac{1}{2};\\

-y^2,x^2
\end{bmatrix}\right\}+{\rm{i}}\left\{-\frac{\pi}{8}y F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{3}{4},\frac{5}{4},\frac{1}{4},\frac{3}{4},;-;-;\\

1,\frac{3}{2};\frac{1}{2};\frac{3}{2};\\

-y^2,x^2
\end{bmatrix}
-\frac{3}{64}\pi xy F_{2\times 1 \times1}^{4\times 0 \times0}
\begin{bmatrix}
\frac{5}{4},\frac{7}{4},\frac{3}{4},\frac{5}{4},;-;-;\\

2,\frac{3}{2};\frac{3}{2};\frac{3}{2};\\

-y^2,x^2
\end{bmatrix}\right\}
\,\!</math>

===特殊值===

:<math>E(0) = \frac \pi 2\!</math>

:<math>E(1) = 1\!</math>

:<math>E(\infty)={\rm{i}}\infty\,</math>

:<math>E(-\infty)=\infty\,</math>

:<math>E( {\rm{i}}\infty)=(\frac{\sqrt2}{2}-\frac{\sqrt2}{2}{\rm{i}})\infty\,</math>

:<math>E({\rm{i}})=\frac{\sqrt{2\pi}}{2\pi}\Gamma^2\left(\frac{3}{4}\right)+ \frac{\sqrt{2\pi}{\pi}^2}{4\pi\Gamma^2\left(\frac {3}{ 4}\right)}=\frac{\pi \sqrt{2\pi}}{\Gamma^2\left(\frac{1}{4}\right)} +\frac{\sqrt{2\pi}}{8\pi}\Gamma^2\left(\frac{1}{4}\right) \,</math>

:<math>E(-{\rm{i}}\infty)=(\frac{\sqrt2}{2}+\frac{\sqrt2}{2}{\rm{i}})\infty\,</math>

:<math>E\left( \tfrac{\sqrt{2}}{2} \right) = \pi^{\frac{3}{2}} \Gamma\left( \tfrac{1}{4} \right)^{-2} + \tfrac{1}{8 \sqrt{\pi}} \Gamma\left( \tfrac{1}{4} \right)^2 </math>

:<math>E\left(\frac{\sqrt{6} - \sqrt{2}}{4}\right) = \frac{\sqrt[3]{2} \cdot\ \sqrt[4]{3}}{3\Gamma^3\left(\frac 1 3\right)}{\pi}^2+ \frac{\sqrt[3]{4}\left(3\sqrt[4]{3}+\sqrt[4]{27} \right)}{48{\pi}} \Gamma^3\left(\frac 1 3\right) \!</math>

:<math>E\left(\frac{\sqrt{6} + \sqrt{2}}{4}\right) =\frac{\sqrt[3]{2} \cdot\ \sqrt[4]{27}}{3\Gamma^3\left(\frac 1 3\right)}{\pi}^2+\frac{\sqrt[3]{4}\left(\sqrt[4]{27}-\sqrt[4]{3} \right)}{16{\pi}} \Gamma^3\left(\frac 1 3\right) \!</math>

:<math>E(\sqrt2-1)=\frac{\sqrt{\pi}}{8}\left[\frac{\Gamma(\frac{1}{8})}{\Gamma(\frac{5}{8})}+\frac{\Gamma(\frac{5}{8})}{\Gamma(\frac{9}{8})}\right]\!</math>

:<math>E(\sqrt2)=\sqrt{\frac{1}{2\pi}}\Gamma^2\left(\frac{3}{4}\right)+\sqrt{\frac{1}{2\pi}}\Gamma^2\left(\frac{3}{4}\right){\rm{i}}</math>


其中
:<math>\Gamma \left(\frac 1 8\right) \approx 7.53394 \,</math>
:<math>\Gamma \left(\frac 5 8\right) \approx 1.43452 \,</math>
:<math>\Gamma \left(\frac 9 8\right) \approx 0.94174 \,</math>
:<math>\Gamma \left(\frac 3 4\right) \approx 1.22541 \,</math>

===导数、積分及微分方程===

:<math>\frac{\mathrm{d}}{\mathrm{d}k}E(k)=\frac{E(k)-K(k)}{k} </math>
:<math>\int E(k){\rm{d}}k=\frac{2}{3}\left[k K(k)-K(k)+kE(k)+E(k)\right] </math>
:<math>(k^2-1) \frac {\mathrm{d}} {\mathrm{d}k} \left[ k \;\frac {\mathrm{d}E(k)} {\mathrm{d}k} \right] = k E(k)</math>
此微分方程之另解為<math>E(\sqrt{1-k^2}) - K(\sqrt{1-k^2})</math>。

==第三类完全椭圆积分==
[[Image:Mplwp complete ellipticPi nfixed k.svg|thumb|300px|不同<math>n</math>值的第三类完全椭圆积分<math>\Pi(n,k)</math>]]

'''第三类完全椭圆积分'''<math>\Pi \,</math>可以定义为

:<math>\Pi(n,k) = \int_0^{\frac{\pi}{2}}\frac{\ {\rm{d}}\theta}{(1-n\sin^2\theta)\sqrt {1-k^2 \sin^2\theta}}</math>

注意有时第三类椭圆积分被定义为带相反符号的<math>n \,</math>，也即

:<math>\Pi'(n,k) = \int_0^{\frac{\pi}{2}}\frac{\ {\rm{d}}\theta}{(1+n\sin^2\theta)\sqrt {1-k'^2 \sin^2\theta}}. </math>

用[[阿佩尔函数]]可表示为
:<math>\Pi(m,n)=\frac{\pi}{2}F_1\left(\frac{1}{2};1,\frac{1}{2};1;m,n\right)\,</math>

第三类完全椭圆积分和第一类椭圆积分之间的关系

:<math>\Pi\left[\frac{(1+x)(1-3x)}{(1-x)(1+3x)},\frac{(1+x)^3(1-3x)}{(1-x)^3(1+3x)}\right]-\frac{1+3x}{6x}K\left[\frac{(1+x)^3(1-3x)}{(1-x)^3(1+3x)}\right]=\,</math>
<math>
\begin{cases}
 0  & \mbox{for }0<x<1\!\, \\
 -\frac{\pi(x-1)\sqrt{(x-1)(1+3x)}}{12x} & \mbox{for }x < 0 ,x>1\!\, \\
  \end{cases}</math>

如

<math>K\left(\frac{\sqrt2}{2}\right)=\frac{\sqrt{\pi}}{4\pi}\Gamma^2\left(\frac{1}{4}\right)=\frac{3-\sqrt{6\sqrt3-9}}{2}\Pi\left(\frac{1-\sqrt{2\sqrt3-3}}{2},\frac{1}{2}\right)\,</math>
:<math>=\frac{3+\sqrt{6\sqrt3-9}}{2}\Pi\left(\frac{1+\sqrt{2\sqrt3-3}}{2},\frac{1}{2}\right)-\pi \sqrt{2+\sqrt3+\sqrt{7+\frac{38}{9}\sqrt3}}\,</math>

===偏导数===

:<math>\frac{\partial}{\partial n}\Pi(n,k)=
\frac{1}{2(k^2-n)(n-1)} \left[E(k)+\frac{(k^2-n)K(k)}{n}+\frac{(n^2-k^2)\Pi(n,k)}{n}\right]</math>

:<math>\frac{\partial}{\partial k}\Pi(n,k)=
\frac{k}{n-k^2}\left[ \frac{E(k)}{k^2-1}+\Pi(n,k)\right]</math>

===特殊值===
:<math>\Pi(0,0)=\frac{\pi}{2}\,</math>

:<math>\Pi(n,0)=\frac{\pi}{2\sqrt{1-n}}\,</math>

:<math>\Pi(n,1)=-\frac{\infty}{\sgn{n-1}}\,</math>

:<math>\Pi(n,\sqrt n)=\frac{E(n)}{1-n}\,</math>

:<math>\Pi(0,\sqrt n)=K(n)\,</math>

:<math>\Pi(\pm \infty,\sqrt n)=0\,</math>

:<math>\Pi(n,\pm \infty)=0\,</math>

==函數關係==

[[阿德里安-马里·勒让德|勒讓得]]關係指出了第一类和第二类完全椭圆积分之间的联系:

:<math> K(k) E\left(\sqrt{1-k^2}\right) + E(k) K\left(\sqrt{1-k^2}\right) - K(k) K\left(\sqrt{1-k^2}\right) = \frac \pi 2.</math>

==参看==
* [[椭圆曲线]]
* [[施瓦茨-克里斯托费尔映射]]
* [[雅可比橢圓函數]]
* [[魏爾斯特拉斯橢圓函數]]
* [[Θ函數]]
* [[算术-几何平均数]]

==参考==
* Milton Abramowitz and Irene A. Stegun, ''[[Handbook of Mathematical Functions]]'', (1964) Dover Publications, New York. ISBN 0-486-61272-4.  ''(See chapter 17)''.
* [[Harris Hancock]] ''[http://www.archive.org/details/lecturestheorell00hancrich Lectures on the theory of Elliptic functions]'' (New York, J. Wiley & sons, 1910) 
* [[Alfred George Greenhill]] ''[http://www.archive.org/details/applicationselli00greerich The applications of elliptic functions]'' (New York, Macmillan, 1892)
* Louis V. King ''[http://www.archive.org/details/onthenumerical032686mbp On The Direct Numerical Calculation Of Elliptic Functions And Integrals]'' (Cambridge University Press, 1924)

[[Category:椭圆函数]]
[[Category:特殊超几何函数]]