10.48 Graphs10.50 Wronskians and Cross-Products

§10.49 Explicit Formulas

Contents

§10.49(i) Unmodified Functions

Define a_{k}(\nu) as in (10.17.1). Then

10.49.1 a_{k}(n+\tfrac{1}{2})=\begin{cases}\dfrac{(n+k)!}{2^{k}k!(n-k)!},&k=0,1,\ldots,n,\\
0,&k=n+1,n+2,\ldots.\end{cases}
10.49.2 \mathop{\mathsf{j}_{{n}}\/}\nolimits\!\left(z\right)=\mathop{\sin\/}\nolimits\!\left(z-\tfrac{1}{2}n\pi\right)\sum _{{k=0}}^{{\left\lfloor n/2\right\rfloor}}(-1)^{k}\frac{a_{{2k}}(n+\tfrac{1}{2})}{z^{{2k+1}}}+\mathop{\cos\/}\nolimits\!\left(z-\tfrac{1}{2}n\pi\right)\sum _{{k=0}}^{{\left\lfloor(n-1)/2\right\rfloor}}(-1)^{k}\frac{a_{{2k+1}}(n+\tfrac{1}{2})}{z^{{2k+2}}}.
10.49.3
\mathop{\mathsf{j}_{{0}}\/}\nolimits\!\left(z\right)=\frac{\mathop{\sin\/}\nolimits z}{z},
\mathop{\mathsf{j}_{{1}}\/}\nolimits\!\left(z\right)=\frac{\mathop{\sin\/}\nolimits z}{z^{2}}-\frac{\mathop{\cos\/}\nolimits z}{z},
\mathop{\mathsf{j}_{{2}}\/}\nolimits\!\left(z\right)=\left(-\frac{1}{z}+\frac{3}{z^{3}}\right)\mathop{\sin\/}\nolimits z-\frac{3}{z^{2}}\mathop{\cos\/}\nolimits z.
10.49.4 \mathop{\mathsf{y}_{{n}}\/}\nolimits\!\left(z\right)=-\mathop{\cos\/}\nolimits\!\left(z-\tfrac{1}{2}n\pi\right)\sum _{{k=0}}^{{\left\lfloor n/2\right\rfloor}}(-1)^{k}\frac{a_{{2k}}(n+\tfrac{1}{2})}{z^{{2k+1}}}+\mathop{\sin\/}\nolimits\!\left(z-\tfrac{1}{2}n\pi\right)\sum _{{k=0}}^{{\left\lfloor(n-1)/2\right\rfloor}}(-1)^{k}\frac{a_{{2k+1}}(n+\tfrac{1}{2})}{z^{{2k+2}}}.
10.49.5
\mathop{\mathsf{y}_{{0}}\/}\nolimits\!\left(z\right)=-\frac{\mathop{\cos\/}\nolimits z}{z},
\mathop{\mathsf{y}_{{1}}\/}\nolimits\!\left(z\right)=-\frac{\mathop{\cos\/}\nolimits z}{z^{2}}-\frac{\mathop{\sin\/}\nolimits z}{z},
\mathop{\mathsf{y}_{{2}}\/}\nolimits\!\left(z\right)=\left(\frac{1}{z}-\frac{3}{z^{3}}\right)\mathop{\cos\/}\nolimits z-\frac{3}{z^{2}}\mathop{\sin\/}\nolimits z.

§10.49(ii) Modified Functions

Again, with a_{k}(n+\tfrac{1}{2}) as in (10.49.1),

10.49.8 \mathop{{\mathsf{i}^{{(1)}}_{{n}}}\/}\nolimits\!\left(z\right)=\tfrac{1}{2}e^{z}\sum _{{k=0}}^{n}(-1)^{k}\frac{a_{k}(n+\frac{1}{2})}{z^{{k+1}}}+(-1)^{{n+1}}\*\tfrac{1}{2}e^{{-z}}\sum _{{k=0}}^{n}\frac{a_{k}(n+\frac{1}{2})}{z^{{k+1}}}.
10.49.9
\mathop{{\mathsf{i}^{{(1)}}_{{0}}}\/}\nolimits\!\left(z\right)=\frac{\mathop{\sinh\/}\nolimits z}{z},
\mathop{{\mathsf{i}^{{(1)}}_{{1}}}\/}\nolimits\!\left(z\right)=-\frac{\mathop{\sinh\/}\nolimits z}{z^{2}}+\frac{\mathop{\cosh\/}\nolimits z}{z},
\mathop{{\mathsf{i}^{{(1)}}_{{2}}}\/}\nolimits\!\left(z\right)=\left(\frac{1}{z}+\frac{3}{z^{3}}\right)\mathop{\sinh\/}\nolimits z-\frac{3}{z^{2}}\mathop{\cosh\/}\nolimits z.
10.49.10 \mathop{{\mathsf{i}^{{(2)}}_{{n}}}\/}\nolimits\!\left(z\right)=\tfrac{1}{2}e^{z}\sum _{{k=0}}^{n}(-1)^{k}\frac{a_{k}(n+\frac{1}{2})}{z^{{k+1}}}+(-1)^{n}\tfrac{1}{2}e^{{-z}}\sum _{{k=0}}^{n}\frac{a_{k}(n+\frac{1}{2})}{z^{{k+1}}}.
10.49.11
\mathop{{\mathsf{i}^{{(2)}}_{{0}}}\/}\nolimits\!\left(z\right)=\frac{\mathop{\cosh\/}\nolimits z}{z},
\mathop{{\mathsf{i}^{{(2)}}_{{1}}}\/}\nolimits\!\left(z\right)=-\frac{\mathop{\cosh\/}\nolimits z}{z^{2}}+\frac{\mathop{\sinh\/}\nolimits z}{z},
\mathop{{\mathsf{i}^{{(2)}}_{{2}}}\/}\nolimits\!\left(z\right)=\left(\frac{1}{z}+\frac{3}{z^{3}}\right)\mathop{\cosh\/}\nolimits z-\frac{3}{z^{2}}\mathop{\sinh\/}\nolimits z.
10.49.12 \mathop{\mathsf{k}_{{n}}\/}\nolimits\!\left(z\right)=\tfrac{1}{2}\pi e^{{-z}}\sum _{{k=0}}^{n}\frac{a_{k}(n+\frac{1}{2})}{z^{{k+1}}}.
10.49.13
\mathop{\mathsf{k}_{{0}}\/}\nolimits\!\left(z\right)=\tfrac{1}{2}\pi\frac{e^{{-z}}}{z},
\mathop{\mathsf{k}_{{1}}\/}\nolimits\!\left(z\right)=\tfrac{1}{2}\pi e^{{-z}}\left(\frac{1}{z}+\frac{1}{z^{2}}\right),
\mathop{\mathsf{k}_{{2}}\/}\nolimits\!\left(z\right)=\tfrac{1}{2}\pi e^{{-z}}\left(\frac{1}{z}+\frac{3}{z^{2}}+\frac{3}{z^{3}}\right).

\sum _{{k=0}}^{n}a_{k}(n+\tfrac{1}{2})z^{{n-k}} is sometimes called the Bessel polynomial of degree n. For a survey of properties of these polynomials and their generalizations see Grosswald (1978). See also §18.34, de Bruin et al. (1981a, b), and Dunster (2001c).

§10.49(iv) Sums or Differences of Squares