The complete elliptic integral of the first kind , illustrated above as a function of the elliptic modulus , is defined by
(1)
| |||
(2)
| |||
(3)
|
where is the incomplete elliptic integral of the first kind and is the hypergeometric function.
It is implemented in the Wolfram Language as EllipticK[m], where is the parameter.
It satisfies the identity
(4)
|
where is a Legendre polynomial. This simplifies to
(5)
|
for all complex values of except possibly for real with .
In addition, satisfies the identity
(6)
|
where is the complementary modulus. Amazingly, this reduces to the beautiful form
(7)
|
for (Watson 1908, 1939).
can be computed in closed form for special values of , where is a called an elliptic integral singular value. Other special values include
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
satisfies
(13)
|
possibly modulo issues of , which can be derived from equation 17.4.17 in Abramowitz and Stegun (1972, p. 593).
is related to the Jacobi elliptic functions through
(14)
|
where the nome is defined by
(15)
|
with , where is the complementary modulus.
satisfies the Legendre relation
(16)
|
where and are complete elliptic integrals of the first and second kinds, respectively, and and are the complementary integrals. The modulus is often suppressed for conciseness, so that and are often simply written and , respectively.
The integral for complementary modulus is given by
(17)
|
(Whittaker and Watson 1990, p. 501), and
(18)
| |||
(19)
|
(Whittaker and Watson 1990, p. 521), so
(20)
| |||
(21)
|
(cf. Whittaker and Watson 1990, p. 521).
The solution to the differential equation
(22)
|
(Zwillinger 1997, p. 122; Gradshteyn and Ryzhik 2000, p. 907) is
(23)
|
where the two solutions are illustrated above and .
Definite integrals of include
(24)
| |||
(25)
| |||
(26)
| |||
(27)
|
where (not to be confused with ) is Catalan's constant.