10.17 Asymptotic Expansions for Large Argument10.19 Asymptotic Expansions for Large Order

§10.18 Modulus and Phase Functions

Contents

§10.18(i) Definitions

For \nu\geq 0 and x>0

where \mathop{M_{{\nu}}\/}\nolimits\!\left(x\right) (>0), \mathop{N_{{\nu}}\/}\nolimits\!\left(x\right) (>0), \mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right), and \mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right) are continuous real functions of \nu and x, with the branches of \mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right) and \mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right) fixed by

10.18.3
\mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right)\to-\tfrac{1}{2}\pi,
\mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right)\to\tfrac{1}{2}\pi, x\to 0+.

§10.18(ii) Basic Properties

10.18.4
\mathop{J_{{\nu}}\/}\nolimits\!\left(x\right)=\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right)\mathop{\cos\/}\nolimits\mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right),
\mathop{Y_{{\nu}}\/}\nolimits\!\left(x\right)=\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right)\mathop{\sin\/}\nolimits\mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right),
10.18.5
{\mathop{J_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)=\mathop{N_{{\nu}}\/}\nolimits\!\left(x\right)\mathop{\cos\/}\nolimits\mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right),
{\mathop{Y_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)=\mathop{N_{{\nu}}\/}\nolimits\!\left(x\right)\mathop{\sin\/}\nolimits\mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right),
10.18.6
\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right)=\left({\mathop{J_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right)+{\mathop{Y_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right)\right)^{{\frac{1}{2}}},
\mathop{N_{{\nu}}\/}\nolimits\!\left(x\right)=\left({{\mathop{J_{{\nu}}\/}\nolimits^{{\prime}}}^{{2}}}\!\left(x\right)+{{\mathop{Y_{{\nu}}\/}\nolimits^{{\prime}}}^{{2}}}\!\left(x\right)\right)^{{\frac{1}{2}}},
10.18.7
\mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right)=\mathop{\mathrm{Arctan}\/}\nolimits\!\left(\mathop{Y_{{\nu}}\/}\nolimits\!\left(x\right)/\mathop{J_{{\nu}}\/}\nolimits\!\left(x\right)\right),
\mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right)=\mathop{\mathrm{Arctan}\/}\nolimits\!\left({\mathop{Y_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)/{\mathop{J_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)\right).
10.18.8
{\mathop{M_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right){\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)=\frac{2}{\pi x},
{\mathop{N_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right){\mathop{\phi _{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)=\frac{2(x^{2}-\nu^{2})}{\pi x^{3}},
10.18.9 {\mathop{N_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right)={{\mathop{M_{{\nu}}\/}\nolimits^{{\prime}}}^{{2}}}\!\left(x\right)+{\mathop{M_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right){{\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime}}}^{{2}}}\!\left(x\right)={{\mathop{M_{{\nu}}\/}\nolimits^{{\prime}}}^{{2}}}\!\left(x\right)+\frac{4}{(\pi x\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right))^{2}},
10.18.10 (x^{2}-\nu^{2})\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right){\mathop{M_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)+x^{2}\mathop{N_{{\nu}}\/}\nolimits\!\left(x\right){\mathop{N_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)+x{\mathop{N_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right)=0.
10.18.11 \mathop{\tan\/}\nolimits\!\left(\mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right)-\mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right)\right)=\frac{\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right){\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)}{{\mathop{M_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)}=\frac{2}{\pi x\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right){\mathop{M_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)},
10.18.12 \mathop{M_{{\nu}}\/}\nolimits\!\left(x\right)\mathop{N_{{\nu}}\/}\nolimits\!\left(x\right)\mathop{\sin\/}\nolimits\!\left(\mathop{\phi _{{\nu}}\/}\nolimits\!\left(x\right)-\mathop{\theta _{{\nu}}\/}\nolimits\!\left(x\right)\right)=\frac{2}{\pi x}.
10.18.13 x^{2}{\mathop{M_{{\nu}}\/}\nolimits^{{\prime\prime}}}\!\left(x\right)+x{\mathop{M_{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)+(x^{2}-\nu^{2})\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right)=\frac{4}{\pi^{2}{{\mathop{M_{{\nu}}\/}\nolimits^{{3}}}(x)}},
10.18.14 w^{{\prime\prime}}+\left(1+\frac{\frac{1}{4}-\nu^{2}}{x^{2}}\right)w=\frac{4}{\pi^{2}w^{3}}, w=x^{{\frac{1}{2}}}\mathop{M_{{\nu}}\/}\nolimits\!\left(x\right),
10.18.15 x^{3}w^{{\prime\prime\prime}}+x(4x^{2}+1-4\nu^{2})w^{{\prime}}+(4\nu^{2}-1)w=0, w=x{\mathop{M_{{\nu}}\/}\nolimits^{{2}}}\!\left(x\right).
10.18.16 {{\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime}}}^{{2}}}\!\left(x\right)+\frac{1}{2}\frac{{\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime\prime\prime}}}\!\left(x\right)}{{\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)}-\frac{3}{4}\left(\frac{{\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime\prime}}}\!\left(x\right)}{{\mathop{\theta _{{\nu}}\/}\nolimits^{{\prime}}}\!\left(x\right)}\right)^{2}=1-\frac{\nu^{2}-\tfrac{1}{4}}{x^{2}}.

§10.18(iii) Asymptotic Expansions for Large Argument

As x\to\infty, with \nu fixed and \mu=4\nu^{2},

The remainder after k terms in (10.18.17) does not exceed the (k+1)th term in absolute value and is of the same sign, provided that k>\nu-\tfrac{1}{2}.