Infinite integrals in the theory of Bessel functions. (Q1830066)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Infinite integrals in the theory of Bessel functions.
scientific article

    Statements

    Infinite integrals in the theory of Bessel functions. (English)
    0 references
    0 references
    0 references
    1930
    0 references
    Als Erweiterung des Abschnitts XIII der ``Theory of Bessel functions'' von \textit{Watson} (F. d. M. 48, 412 (JFM 48.0412.*)) beweisen die Verf. mit Hilfe des \textit{Cauchy}schen Integralsatzes viele neue und bekannte Formeln aus der Lehre von den \textit{Bessel}schen Funktionen. Dabei benutzen sie außer den üblichen Bezeichnungen die weiteren \[ L_\mu\,(x)=-Y_\mu\,(x)-\frac{2}{\pi }K_\mu\,(x),\quad M_\mu\,(x)=-Y_\mu\,(x)+\frac{2}{\pi }\,K_\mu\,(x) \] bei beliebigem \(\mu\). Sie beginnen mit der Herleitung von Formeln der Art \[ \displaylines{\rlap{\qquad(1)} \hfill \qquad\int\limits_{0}^{\infty } H_0^{(1)}(ax)\,h_1^{(1)}(bx)\,dx= i\int\limits_{0}^{\infty }H_0^{(1)}(axi)\,h_1^{(1)}(bxi)\,dx; \hfill} \] die Funktionen \(h_\nu^{(1)}(z)\) usw. gehen aus den \textit{Hankel}schen \(H_\nu^{(1)}(z)\) usw. durch Hinzufügung eines die Integration von 0 bis 1 ermöglichenden Summanden hervor. Aus Beziehungen wie (1), die die Verf. kurz als ``Vermehrung des Arguments um \(\frac{1}{2}\pi \)'' bezeichnen, können \textit{Hardy}s Formeln gewonnen werden: \[ \int\limits_{0}^{\infty }M_0\,(ax)\,L_1\,(bx)\,dx=0,\quad \int\limits_{0}^{\infty }L_1\,(ax)\,M_0\,(bx)\,dx=\frac{1}{a}, \;\;a>b>0. \] Die Verf. wenden sich dann zu den \textit{Weber-Schafheitlin}schen Integralen; sie zeigen deren Unstetigkeitseigenschaften durch die Verschiedenartigkeit der beiden Formeln für \(a>b\), \(a<b\), deren erste lautet: \[ \begin{gathered} \int\limits_{0}^{\infty }\frac{J_\mu\,(ax)\,J_\nu\,(bx)}{x^\lambda}\,dx= \frac{2}{\pi }\,\cos\,\frac{(\lambda+\mu-\nu)\,\pi }{2} \int\limits_{0}^{\infty }\frac{K_\mu\,(ax)\,I_\nu\,(bx)}{x^\lambda}\,dx;\\ R\,(\lambda)>-1,\;\;R\,(\pm\mu+\nu+1-\lambda)>0.\end{gathered} \] Das Integral links wertet man dadurch aus, daß man das Integral rechts nach \textit{Watson} durch eine hypergeometrische Funktion ausdrückt. Die Verf. leiten ferner auf eine neue Weise die Integralformel von \textit{Nicholson} her, \[ \displaylines{\rlap{\qquad(2)} \hfill J_\nu^2\,(x)+Y_\nu^2\,(x)= \frac{8}{\pi ^2}\int\limits_{0}^{\infty } K_0\,(2x\,\mathfrak{Sin}\,t)\,\mathfrak {Cof}\,2\nu t\,dt. \hfill} \] Dazu beweisen sie zunächst die Gleichung \[ K_\mu(x)\,K_\nu(z)=2 \textstyle \int\limits_{0}^{\infty } \displaystyle K_{\mu+\nu}\,(2z\,\mathfrak {Cof}\,t)\,\mathfrak {Cof}\,(\mu-\nu)\,t\,dt \] für \(|\,\arg z\,|=\frac{1}{2}\pi \), \(|\,R\,(\mu-\nu)\,|<\frac{3}{2}\); mit ihrer Hilfe ergibt sich, daß \[ J_\mu(x)\,J_\nu(x)+Y_\mu(x)\,Y_\nu(x)= \frac{4}{\pi ^2}\int\limits_{0}^{\infty } K_{\nu-\mu}\,(2x\,\mathfrak {Sin}\,t)\, [e^{(\mu+\nu)t}-e^{-(\mu+\nu)t}\,\cos\,(\mu-\nu) \pi ]\,dt, \] wenn \(R(x)>0\), \(|\,R(\mu-\nu)\,|<1\). Hieraus folgt (2), wenn \(\mu=\nu\). Zum Schlusse geben die Verf. eine Reihe umfänglicherer Beziehungen an, unter deren einfachsten Folgerungen sie die Formeln anführen: \[ \begin{aligned} &K_\nu\,(x)\,I_\mu(x)=\textstyle \int\limits_{0}^{\infty} J_{\mu+\nu}(2x\,\mathfrak{Sin}\,t)\,e^{(\nu-\mu)t}\,dt,\;\; \mu+\nu>-1, \nu-\mu<\tfrac{3}{2},\\ &\,K_\nu(x)\,I_\mu(x)=\textstyle \int\limits_{0}^{\infty} J_{\mu-\nu}(2x\mathfrak{Sin}\,t)\,e^{-(\mu+\nu)t}\,dt,\;\; \mu-\nu>-1, -\mu-\nu<\tfrac{3}{2}.\end{aligned} \]
    0 references

    Identifiers