Math 2.0

Special functions Definition

Complete elliptic integral of the first kind

Builds on Elliptic integralImproper integral

Definition

Let kk be a real number with 0≤k<10 \le k < 1. The complete elliptic integral of the first kind is K(k)=∫0π/2dθ1−k2sin⁡2θ=∫01dt(1−t2)(1−k2t2).K(k) = \int_0^{\pi/2} \frac{d\theta}{\sqrt{1 - k^2 \sin^2\theta}} = \int_0^1 \frac{dt}{\sqrt{(1 - t^2)(1 - k^2 t^2)}}. It is the value at φ=π/2\varphi = \pi/2 of the incomplete elliptic integral F(φ,k)F(\varphi, k) of the first kind. The complementary modulus is k′=1−k2k' = \sqrt{1 - k^2}, and one writes K′(k)=K(k′)K'(k) = K(k').

Remarks

The second integral comes from the first by t=sin⁡θt = \sin\theta; it is an improper integral at t=1t = 1 that converges. Example: K(0)=∫0π/2dθ=π/2K(0) = \int_0^{\pi/2} d\theta = \pi/2. Expanding (1−k2sin⁡2θ)−1/2(1 - k^2\sin^2\theta)^{-1/2} by the binomial series and integrating term by term gives K(k)=π2∑n=0∞((2n)!22n(n!)2)2k2n.K(k) = \frac{\pi}{2} \sum_{n=0}^{\infty} \left( \frac{(2n)!}{2^{2n} (n!)^2} \right)^2 k^{2n}. Non-example: the formula does not define a finite number at k=1k = 1, since ∫0π/2dθ/cos⁡θ\int_0^{\pi/2} d\theta / \cos\theta diverges; indeed K(k)→∞K(k) \to \infty as k→1−k \to 1^-. Some authors use the parameter m=k2m = k^2 and write K(m)K(m); the value is the same function written in another variable. The arithmetic–geometric mean gives K(k)=π/(2M(1,k′))K(k) = \pi / (2 M(1, k')).

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Elliptic integral concept
  2. Improper integral concept
  3. Complete elliptic integral of the first kind definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Elliptic_integral, Complete elliptic integral of the first kind
About this page
TagZ6F9V4AHHH
URIm2://Z6F9V4AHHH
Kinddefinition
WritingW0 stub
MSC33E05
DefinesComplete elliptic integral of the first kind
UsesElliptic integral, Improper integral

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.