discriminant function

SearchAdvancedHelp

(0.002 seconds)

11—11 of 11 matching pages

11: 23.22 Methods of Computation

§23.22 Methods of Computation

►

§23.22(i) Function Values

… ► ►

§23.22(ii) Lattice Calculations

… ►

In the general case, given by $cd\ne 0$, we compute the roots $\alpha$, $\beta$, $\gamma$, say, of the cubic equation $4t^3-ct-d=0$; see §1.11(iii). These roots are necessarily distinct and represent $e_1$, $e_2$, $e_3$ in some order.

If $c$ and $d$ are real, and the discriminant is positive, that is $c^3-27d^2>0$, then $e_1$, $e_2$, $e_3$ can be identified via (23.5.1), and $k^2$, $k_{}^{\prime }{}_{}{}^2$ obtained from (23.6.16).

If , or $c$ and $d$ are not both real, then we label $\alpha$, $\beta$, $\gamma$ so that the triangle with vertices $\alpha$, $\beta$, $\gamma$ is positively oriented and $[\alpha ,\gamma ]$ is its longest side (chosen arbitrarily if there is more than one). In particular, if $\alpha$, $\beta$, $\gamma$ are collinear, then we label them so that $\beta$ is on the line segment $(\alpha ,\gamma )$. In consequence, $k^2=(\beta -\gamma )/(\alpha -\gamma )$, $k_{}^{\prime }{}_{}{}^2=(\alpha -\beta )/(\alpha -\gamma )$ satisfy $\mathrm{\Im }{k}^2\ge 0\ge \mathrm{\Im }k_{}^{\prime }{}_{}{}^2$ (with strict inequality unless $\alpha$, $\beta$, $\gamma$ are collinear); also $|k^2|$, $|k_{}^{\prime }{}_{}{}^2|\le 1$.

Finally, on taking the principal square roots of $k^2$ and $k_{}^{\prime }{}_{}{}^2$ we obtain values for $k$ and $k^{\prime }$ that lie in the 1st and 4th quadrants, respectively, and $2{\omega }_1$, $2{\omega }_3$ are given by

23.22.1 $$2{\omega }_{1}M(1,k^{\prime })=-2\mathrm{i}{\omega }_{3}M(1,k)=\frac{\pi }{3}\sqrt{\frac{c(2+k^{2}k_{}^{\prime }{}_{}{}^2)(k_{}^{\prime }{}_{}{}^2-k^2)}{d(1-k^{2}k_{}^{\prime }{}_{}{}^2)}},$$

ⓘ

Symbols:

$M(a,g)$: arithmetic-geometric mean, $\pi$: the ratio of the circumference of a circle to its diameter, $\mathrm{i}$: imaginary unit, ${\omega }_1$, ${\omega }_3$, ${\omega }_2=-{\omega }_1-{\omega }_3$: lattice generators, $k$: modulus and $k^{\prime }$: complementary modulus

Proof sketch:

Combine (23.6.16), (23.6.17), (22.20.6), (23.3.5)–(23.3.7), and use analytical continuation.

Referenced by:

§23.22(ii)

Permalink:

http://dlmf.nist.gov/23.22.E1

Encodings:

pMML, png, TeX

See also:

Annotations for §23.22(ii), §23.22(ii), §23.22 and Ch.23

where $M$ denotes the arithmetic-geometric mean (see §§19.8(i) and 22.20(ii)). This process yields 2 possible pairs ($2{\omega }_1$, $2{\omega }_3$), corresponding to the 2 possible choices of the square root.

…