Fungrim home page

Fungrim entry: f0bcb5

E ⁣(asin ⁣(1m),m)=m(E ⁣(1m)(11m)K ⁣(1m))E\!\left(\operatorname{asin}\!\left(\frac{1}{\sqrt{m}}\right), m\right) = \sqrt{m} \left(E\!\left(\frac{1}{m}\right) - \left(1 - \frac{1}{m}\right) K\!\left(\frac{1}{m}\right)\right)
Assumptions:mC{0,1}m \in \mathbb{C} \setminus \left\{0, 1\right\}
TeX:
E\!\left(\operatorname{asin}\!\left(\frac{1}{\sqrt{m}}\right), m\right) = \sqrt{m} \left(E\!\left(\frac{1}{m}\right) - \left(1 - \frac{1}{m}\right) K\!\left(\frac{1}{m}\right)\right)

m \in \mathbb{C} \setminus \left\{0, 1\right\}
Definitions:
Fungrim symbol Notation Short description
IncompleteEllipticEE ⁣(ϕ,m)E\!\left(\phi, m\right) Legendre incomplete elliptic integral of the second kind
Sqrtz\sqrt{z} Principal square root
EllipticEE(m)E(m) Legendre complete elliptic integral of the second kind
EllipticKK(m)K(m) Legendre complete elliptic integral of the first kind
CCC\mathbb{C} Complex numbers
Source code for this entry:
Entry(ID("f0bcb5"),
    Formula(Equal(IncompleteEllipticE(Asin(Div(1, Sqrt(m))), m), Mul(Sqrt(m), Sub(EllipticE(Div(1, m)), Mul(Sub(1, Div(1, m)), EllipticK(Div(1, m))))))),
    Variables(m),
    Assumptions(Element(m, SetMinus(CC, Set(0, 1)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC