wichtige spezielle Funktionen, die wie folgt definiert werden können.

Man unterscheidet Bessel-Funktionen der ersten und der zweiten Art.

Bessel-Funktionen der ersten Art sind die durch das Integral

\begin{eqnarray}{J}_{\nu }(z) & \sim & \displaystyle \frac{{(z/2)}^{\nu }}{\Gamma (\nu +1)}\,(-\nu \notin {\mathbb{N}}),\\ {Y}_{0}(z) & \sim & -i{H}_{0}^{(1)}(z)\sim i{H}_{0}^{(2)}\sim (2/\pi )\mathrm{ln}z,\\ {Y}_{\nu }(z) & \sim & -i{H}_{\nu }^{(1)}(z)\sim i{H}_{\nu }^{(2)}(z)\\ & \sim & \displaystyle \frac{1}{\pi {(z/2)}^{\nu }}\Gamma (\nu )\,(\mathrm{Re}\nu \gt 0).\end{eqnarray}

Es gilt ferner die folgende Reihenentwicklung für J_ν:

\begin{eqnarray}{J}_{\nu }(z)={(z/2)}^{\nu }\displaystyle \sum _{k=0}^{\infty }\displaystyle \frac{{(-\displaystyle \frac{1}{4}{z}^{2})}^{k}}{k!\Gamma (\nu +k+1)}.\end{eqnarray}

Neben der zur Definition verwendeten Integraldarstellung findet man auch noch folgende Darstellungen:

\begin{eqnarray}{J}_{\nu }(z) & = & \frac{1}{\pi }\displaystyle \underset{0}{\overset{\pi }{\int }}\cos (z\sin \vartheta -\nu \vartheta )d\vartheta -\frac{\sin \pi \nu }{\pi }\displaystyle \underset{0}{\overset{\infty }{\int }}{e}^{-z\sinh t-\nu t}{dt},\\ {Y}_{\nu }(z) & = & \frac{1}{\pi }\displaystyle \underset{0}{\overset{\pi }{\int }}\sin (z\sin \vartheta -\nu \vartheta )d\vartheta -\frac{1}{\pi }\displaystyle \underset{0}{\overset{\infty }{\int }}({e}^{\nu t}+{e}^{-\nu t}\cos \nu \pi ){e}^{-z\sinh t}{dt},\\ {H}_{\nu }^{(1)}(z) & = & \frac{1}{\pi i}\displaystyle \underset{-\infty }{\overset{\infty +\pi i}{\int }}{e}^{z\sinh t-\nu t}{dt},\\ {H}_{\nu }^{(2)}(z) & = & -\frac{1}{\pi i}\displaystyle \underset{-\infty }{\overset{\infty +\pi i}{\int }}{e}^{z\sinh t-\nu t}{dt}.\end{eqnarray}

Die folgenden Rekursionsformeln verknüpfen die Bessel-Funktionen unterschiedlicher Ordnung:

\begin{eqnarray}{f}_{\nu -1}(z)+{f}_{\nu +1}(z) & = & \displaystyle \frac{2\nu }{z}{f}_{\nu }(z),\\ {f}_{\nu -1}(z)+{f}_{\nu +1}(z) & = & 2{{f}^{^{\prime} }}_{\nu }(z),\\ {{f}^{^{\prime} }}_{\nu }(z) & = & {f}_{\nu -1}(z)-\frac{\nu }{z}{f}_{\nu }(z),\\ {{f}^{^{\prime} }}_{\nu }(z) & = & -{f}_{\nu +1}(z)+\frac{\nu }{z}{f}_{\nu }(z),\end{eqnarray}

Es gilt ferner das Multiplikationstheorem, das die Bessel-Funktionen von einem Vielfachen des Argumentes in einer Summe von Bessel-Funktionen anderer Ordnung ausdrückt:

\begin{eqnarray}{f}_{\nu }(\lambda z)={\lambda }^{\pm z}\displaystyle \sum _{k=0}^{\infty }\frac{{(\mp 1)}^{k}{({\lambda }^{2}-1)}^{k}{(z/2)}^{k}}{k!}{f}_{\nu \pm k}(z)\end{eqnarray}

Entsprechend gelten auch Additionstheoreme, die die Bessel-Funktionen einer Summe in Summen von Bessel-Funktionen entwickeln. Das folgende ist Neumanns Additionstheorem, wieder mit der gleichen Konvention f_ν = J_ν, Υ_ν, \({H}_{\nu }^{(1)}\) oder \({H}_{\nu }^{(2)}\):

\begin{eqnarray}{f}_{\nu }(u\pm \upsilon )=\displaystyle \sum _{k=-\infty }^{\infty }{f}_{\nu \mp k}(u){J}_{k}(\upsilon )\end{eqnarray}

[1] Abramowitz, M.; Stegun, I.A.: Handbook of Mathematical Functions. Dover Publications, 1972.
[2] Olver, F.W.J.: Asymptotics and Special Functions. Academic Press, 1974.