Über asymptotische Ausdrücke der Zylinderfunktionen \(J_{\nu}(z)\) und ihrer Ableitungen \(J_{\nu}'(z)\) für große Werte von \(z\). (Q1494098)

Von der Integraldarstellung der \(J_{\nu}(z)\) ausgehend, kommt der Verf. mit Hülfe von Reihenentwicklungen zu den Formeln: \[ J_{\nu}(z)=\sqrt{\frac{2}{\pi z}}\left\{[1+\lambda^{(\nu)}(z)]\cos\left (z-\frac{2\nu+1}{4}\;\pi\right )+\lambda_{1}^{(\nu)}(z)\sin\left (z-\frac{2\nu+1}{4}\pi\right )\right\}, \] \[ J_{\nu}'(z)=\sqrt{\frac{2}{\pi z}}\left\{-[1+\mu^{(\nu)}(z)]\sin\left (z-\frac{2\nu+1}{4}\;\pi\right )+\mu^{(\nu)}_1(z)\cos\left (z-\frac{2\nu+1}{4}\;\pi\right)\right\}, \] wo \[ \lambda^{(\nu)}(z)=\frac{a_{2}^{(\nu)}}{z^{2}}(1+\eta), \quad \lambda_{1}^{(\nu)}(z)=\frac{a_{1}^{(\nu)}}{z}\;(1+\eta_{1}), \] \[ \mu^{(\nu)}(z)=\frac{b_{2}^{(\nu)}}{z^{2}}(1+\zeta), \quad \mu_{1}^{(\nu)}(z)=\frac{b_{1}^{(\nu)}}{z}(z+\zeta_{1}), \] und \[ a_{2}^{(\nu)}=-\tfrac{1}{8}\left (\nu^{2}-\tfrac{1}{4}\right)\left (\nu^{2}-\tfrac{9}{4}\right ), \quad a_{1}^{(\nu)}=-\tfrac{1}{2}\left (\nu^{2}- \tfrac{1}{4}\right ), \] \[ b_{2}^{(\nu)}=-\tfrac{1}{8}\left (\nu^{2}-\tfrac{1}{4}\right)\left (\nu^{2}+\tfrac{15}{4}\right), \quad b_{1}^{(\nu)}=- \tfrac{1}{2}\left (\nu^{2}+\tfrac{3}{4}\right ); \] \(\eta,\eta_{1},\zeta,\zeta_{1}\) bedeuten Funktionen von \(z\), welche für genügend große absolute Beträge von \(z\) beliebig kleine absolute Beträge bekommen. Weiter: \[ J^{(\nu)}(z)=\frac{1}{\alpha^{p}\sqrt{z}}\left\{D^{(\nu)}\cos\left (\alpha z-\frac{2\nu+1}{4}\;\pi\right )+B^{(\nu)}\sin\left (\alpha z- \frac{2\nu+1}{4}\;\pi\right)\right\}. \] \[ \frac{dJ^{\nu}(z)}{dz}=\frac{1}{\alpha^{p}\sqrt{z}}\left\{C^{(\nu)}\cos \left (\alpha z-\frac{2\nu+1}{4}\;\pi\right)+D^{(\nu)}\sin\left (\alpha z-\frac{2\nu+1}{4}\;\pi\right )\right\}, \] \[ p=\tfrac{3}{2}\left (\text{für}- 1<\nu\leqq-\tfrac{1}{2}\right ), \quad p=\tfrac{1}{2}\left (\text{für}- \tfrac{1}{2}<\nu<\tfrac{1}{2}\right ), quad f=\nu \quad \text{für} \quad \nu\geqq\tfrac{1}{2}. \] \(A^{(\nu)},B^{(\nu)},C^{(\nu)},D^{(\nu)}\) bedeuten Funktionen von \(z\) und \(\alpha\), deren absolute Beträge endlich bleiben, wie klein auch \(\alpha\) und wie groß\ auch \(| z|\) werden mag.