analytic continuation

(0.002 seconds)

21—30 of 52 matching pages

21: 14.23 Values on the Cut

… ►

14.23.6

\mathsf{Q}^{\mu}_{\nu}\left(x\right)=e^{\mp\mu\pi i/2}\Gamma\left(\nu+\mu+1% \right)\boldsymbol{Q}^{\mu}_{\nu}\left(x\pm i0\right)\pm\tfrac{1}{2}\pi ie^{% \pm\mu\pi i/2}P^{\mu}_{\nu}\left(x\pm i0\right).

ⓘ

Symbols:: $\Gamma\left(\NVar{z}\right)$ : gamma function, $\mathsf{Q}^{\NVar{\mu}}_{\NVar{\nu}}\left(\NVar{x}\right)$ : Ferrers function of the second kind, $P^{\NVar{\mu}}_{\NVar{\nu}}\left(\NVar{z}\right)$ : associated Legendre function of the first kind, $\boldsymbol{Q}^{\NVar{\mu}}_{\NVar{\nu}}\left(\NVar{z}\right)$ : Olver’s associated Legendre function, $\pi$ : the ratio of the circumference of a circle to its diameter, $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, $x$ : real variable, $\mu$ : general order and $\nu$ : general degree
Referenced by:: §14.23, §14.23
Permalink:: http://dlmf.nist.gov/14.23.E6
Encodings:: pMML, png, TeX
See also:: Annotations for §14.23 and Ch.14

…

22: 23.22 Methods of Computation

… ►

(a)

In the general case, given by $cd\neq 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 $c^{3}-27d^{2}<0$ , 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 $\Im k^{2}\geq 0\geq\Im{k^{\prime}}^{2}$ (with strict inequality unless $\alpha$ , $\beta$ , $\gamma$ are collinear); also $|k^{2}|$ , $|{k^{\prime}}^{2}|\leq 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\left(1,k^{\prime}\right)=-2i\omega_{3}M\left(1,k\right)=\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\left(\NVar{a},\NVar{g}\right)$ : 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.

…

23: 1.18 Linear Second Order Differential Operators and Eigenfunction Expansions

… ►Note that the integral in (1.18.66) is not singular if approached separately from above, or below, the real axis: in fact analytic continuation from the upper half of the complex plane, across the cut, and onto higher Riemann Sheets can access complex poles with singularities at discrete energies