Assumptions:
TeX:
E(m) - \left(1 - m\right) K(m) = \frac{m \left(1 - m\right)}{3} R_D\!\left(0, 1, 1 - m\right) m \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
EllipticE | Legendre complete elliptic integral of the second kind | |
EllipticK | Legendre complete elliptic integral of the first kind | |
CarlsonRD | Degenerate Carlson symmetric elliptic integral of the third kind | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("55d23d"), Formula(Equal(Sub(EllipticE(m), Mul(Sub(1, m), EllipticK(m))), Mul(Div(Mul(m, Sub(1, m)), 3), CarlsonRD(0, 1, Sub(1, m))))), Variables(m), Assumptions(Element(m, CC)))