The \(k\)-function, a particular case of the confluent hypergeometric function. (Q572948)

Anknüpfend an die Definition der Funktionen \(W_{k,m}(z)\) durch \textit{E. T. Whittaker} (1903; F. d. M. 34, 490 (JFM 34.0490.*)), behandelt Verf. in der vorliegenden Arbeit den von \textit{Whittaker} besonders hervorgehobenen Fall \(m=\frac{1}{2}\). Da \textit{T. v. Kármán}, der durch eine in der Theorie der Turbulenz auftretende Differentialgleichung auf diese Funktionen geführt worden ist, den Verf. zu der Untersuchung angeregt hat, bezeichnet er sie, \textit{Kármán} zu Ehren, mit der Letter \(k\). Den Ausgangspunkt bildet die Formel \[ \displaylines{\rlap{\qquad\!(1)} \hfill k_n(x)=\frac{2}{\pi } \int\limits_{0}^{\tfrac{\pi }{2}}\cos\,(x\,\text{tg}\,\theta n\theta )\,d\theta, \hfill} \] in der \(n\) eine beliebige reelle Zahl bedeutet. Ist \(n\) positiv und ganz und zwar ungerade, so läßt sich \(k_n(x)\) durch die \textit{Bessel}schen Funktionen \(K_0(x)\) und \(K_1(x)\) ausdrücken. Ist \(n\) gerade, so erhält man \(k_n(x)\) durch die Entwicklung von \(\exp \biggl(-x\dfrac{1-s}{1+s}\biggr)\) nach Potenzen von \(s\): \[ \displaylines{\rlap{\qquad\!(2)} \hfill \exp \biggl(-x\dfrac{1-s}{1+s}\biggr)= \textstyle \sum\limits_{m=0}^{\infty } \displaystyle s^mk_{2m}(x). \hfill} \] Diese Formel zeigt, daß die Funktion \(k_{2m}(x)\) mit den \textit{Laguerre}schen Polynomen \(L_m(x)\) nahe verwandt ist, für die ja die Entwicklung \[ \displaylines{\rlap{\qquad\!(3)} \hfill \frac{1}{1-z}\exp\biggl(-x\frac{z}{1-z}\biggr)= \textstyle \sum\limits_{m=0}^{\infty } \displaystyle L_m(x)\,z^m \hfill} \] gilt. Aus (2) und (3) folgt: \[ \displaylines{\rlap{\qquad\!(4)} \hfill k_{2m}(x)=(-1)^me^{-x}\;\bigl(L_m(2x)-L_{m-1}(2x)\bigr). \hfill} \] (4) ist ein Spezialfall einer Beziehung zwischen den \(k_{2m}(x)\) und verallgemeinerten \textit{Laguerre}schen Polynomen \(L_m^{(\alpha )}(x)\), die von \textit{S. Narumi} (1929; F. d. M. \(55_{\text{I}}\), 222) aufgestellt worden ist. Ferner gilt \[ \displaylines{\rlap{\qquad\!(5)} \hfill k_{2m}(x)=\frac{(-1)^m\,xe^x}{m\,!} \frac{d^m}{dx^m}(e^{-2x}\,x^{m-1}), \hfill} \] analog der von \textit{Sonine} (1880; F. d. M. 12, 400 (JFM 12.0400.*)-403) angegebenen Formel \[ \displaylines{\rlap{\qquad\!(6)} \hfill L_m^{(\alpha )}(x)=\frac{1}{m!}e^xx^{-\alpha } \frac{d^m}{dx^m}(e^{-x}\,x^{m+\alpha }). \hfill} \] Die Funktion \(k_n(x)\) genügt für beliebiges reelles \(n\) der Rekursionsformel \[ \displaylines{\rlap{\qquad\!(7)} \hfill \qquad\quad (n-2)\,\bigl(k_n(x)+k_{n-2}(x)\bigr)+ (n+2)\,\bigl(k_n(x)+k_{n+2}(x)\bigr)-4xk_n(x)=0 \hfill} \] und der Differentialgleichung \[ \displaylines{\rlap{\qquad\!(8)} \hfill x\,k_n^{\prime\prime}(x)=(x-n)\,k_n(x)\,. \hfill} \] Verf. behandelt dann weiter das Integral \[ \displaylines{\rlap{\qquad\!(9)} \hfill I_{m,n}=\textstyle\int\limits_{-\infty }^{\infty } \displaystyle k_{2m}(x) k_{2n}(x)\frac{dx}{x}\,; \hfill} \] er erhalt die Formel \[ \displaylines{\rlap{\qquad\!(10)} \hfill I_{m,n}=\frac{\sin\bigl((n-m)\pi \big)} {\pi (m-n)\;(m-n+1)\;(m-n-1)}, \hfill} \] aus der sich für ganzzahlige \(m\), \(n\) Orthogonalitätsrelationen ergeben. Zum Schluß gibt Verf. eine zweite Definition der Funktion \(k_n(x)\) mit Hilfe einer nach \textit{Laguerre}schen Polynomen \(L_m(2x)\) fortschreitenden Reihe sowie einige speziellere Formeln. (IV 6 A.)