Über Besselsche, Lommelsche und Whittakersche Funktionen. I, II. (Q2591010)

I. Aus der eingangs bewiesenen Integraldarstellung \[ \begin{multlined} {}_pF_q(a_1, \ldots \!,a_p; \,b_1, \ldots \!,b_q; \, \zeta)\\ =\frac{\varGamma(\alpha) \,\varGamma(\beta)}{\pi i} \int\limits_{L} I_{\alpha-\beta}(2t) {}_{p+2}F_q \left( \alpha, \,\beta, \, a_1, \ldots \!,a_p; \,b_1, \ldots \!,b_q; \, \frac{\zeta}{t^2} \right) \, t^{-\alpha-\beta+1} \end{multlined} \] die bei geeignetem Integrationsweg \(L\) für \(0 \leqq p \leqq q-1\), \(\mathfrak{R}(\alpha+\beta)>\frac{1}{2}\), \(\alpha, \,\beta \neq 0\), \(-1, \,-2, \ldots\) gilt, werden in einfacher Weise Integraldarstellungen für \(J_{\nu}(z)\), \(J_{\mu}(z) \,J_{\nu}(z)\), \(J_{\nu}^2(z)\), \(J_{\nu}(z)\), \(J_{\nu+1}(z)\), \(J_{\nu}(z) \,J_{-\nu}(z)\) und \(J_{\nu}(2z) \,I_{\nu}(2z)\) gewonnen; wie sie z. T. bekannt, z. T. in ähnlicher Weise vom Verf. und anderen in früheren Arbeiten gegeben worden sind. (Vgl. vorstehendes Referat.) II. Zunächst werden die ersten und zweiten Lommelschen Funktionen \(s_{\mu, \,\nu}(z)\), \(S_{\mu, \,\nu}(z)\) in den Funktionen \(r_{\mu, \,\nu}(z)=k_{\nu} s_{\mu, \,\nu}(z)\), \(R_{\mu, \,\nu}(z)=k_{\nu} S_{\mu, \,\nu}(z)\) mit festen \(k_{\nu}\) eingeführt; sie gestatten interessante Integraldarstellungen der Summe von zwei Produkten der Funktionen \(H_{\nu}(z)\) bzw. \(I_{\nu}(z)\); die Anwendung der Hauptformel der ersten Mitteilung ergibt die einfache Darstellung: \[ r_{\mu, \,\nu}(z)=\frac{2^{\mu-1} z^{\mu+1}}{\pi i} \int\limits_{L} \frac{I_{\nu}(t) \,t^{-\mu}}{t^2+z^2} \,dt, \; \mathfrak{R}(\mu)>-\frac{5}{2}, \] woraus folgt: \[ \int\limits_{0}^{\infty} r_{\mu, \,\nu}(2u) \,u^{\lambda-1} \,du= \frac{2^{\mu-2} \varGamma \left( \dfrac{1+\lambda+\mu}{2} \right) \, \varGamma \left( \dfrac{1-\lambda-\mu}{2} \right)} {\varGamma \left( 1+\dfrac{\nu-\lambda}{2} \right) \, \varGamma \left( 1-\dfrac{\nu+\lambda}{2} \right)}. \] Endlich werden noch mit früher gegebenen ähnliche Integraldarstellungen für die Produkte \(W_{k, \,m}(z) \,W_{-k, \,m}(z)\), \(M_{k, \,m}(iz) \,M_{k, \,m}(-iz)\), \(W_{k, \,m}(iz)\), \(W_{k, \,m}(-iz)\), \(W_{k, \,m}(z) \,M_{-k, \,m}(z)\) abgeleitet.