The application of basic numbers to Bessel's and Legendre's fuuctions. (Q1503103)

Es handelt sich hier um Erweiterungen derselben Art, wie in der im vorhergehenden Referat (JFM 35.0487.01) besprochenen Arbeit. An Stelle eines Exponenten oder eines Index \(n\) wird die ``basische Zahl'' (basic number) \[ [n] = \frac{p^n-1}{p-1} \] gesetzt, und die mit diesen Zahlen gebildeten Funktionen werden ``basische Funktionen'' genannt. Zweck des Aufsatzes ist, für eine Reihe von basischen Funktionen Formeln zu entwickeln, die bekannten Formeln analog sind. Das Analogon des binomischen Satzes ist \[ (1-x)_n = 1 - \frac{[n]}{[1]}x + p\frac{[n][n-1]}{[2]!}x^2 -\cdots, \] wobei \[ (1-x)_n = \prod_{r=0}^\infty \frac{(1-p^{n-r-1}x)}{(1-p^{-r-1}x)}\text{ für }p>1, \] \[ (1-x)_n = \lim_{k=\infty} \frac{(1-x)(1-px)\dots(1-p^kx)}{(1-p^nx)(1-p^{n+1}x)\dots(1-p^{n+k}x)}\text{ für }p<1 \] ist; für ganzzahlige \(n\) geben beide Formeln \[ (1-x)_n = (1-x)(1-px)(1-p^2x)\dots(1-p^{n-1}x); \] ferner ist \[ [n]! = [1][2][3]\dots[n]. \] An Stelle der Exponentialfunktion tritt die Funktion \[ E_p(\lambda) = \lim_{n=\infty} \left(1 + \frac{\lambda(p-1)}{p^n}\right)_n = 1 + \frac{\lambda}{[1]!} + \frac{\lambda^2}{[2]!} +\cdots, \] an Stelle der Besselschen Funktion, abweichend von dem vorhergehenden Referat, die Funktion \[ I_{[n]}(\lambda) = \sum_{r=0}^\infty (-1)^r\frac{\lambda^{n+2r}}{\{2n+2r\}!\{2r\}!}, \] resp. \[ J_{[n]}(\lambda) = \sum_{r=0}^\infty (-1)^r\frac{\lambda^{n+2r}}{\{2n+2r\}!\{2r\}!}p^{2r(n+r)}. \] Dabei ist \(\{2n\}!\) durch die Gleichung \[ \{2n\}! = [2n]\{2n-2\}! \] definiert. Für diese verallgemeinerten Besselschen Funktionen werden zahlreiche Formeln abgeleitet, z. B. \[ 1 = I_{[0]}(\lambda) J_{[0]}\left(\frac{\lambda}p\right) + 2\sum_{r=1}^\infty p^{r^2} I_{[r]}(\lambda) J_{[r]}\left(\frac{\lambda}p\right), \] ferner Darstellungen von \(\lambda^n\) und \(I_{[n]}(\lambda)\) durch eine Summe von Funktionen \(I_{[\nu]}\), jede multipliziert mit einer Potenz von \(\lambda\) eine Reihe für \(I_{[n]}(k\lambda)\), eine Darstellung von \(I_{[n]}\) und \(J_{[n]}\) durch ein bestimmtes Integral, Reihen für \(I_{[n]}\) und \(J_{[n]}\) mit den Argumenten \(re^{i\vartheta}\) und \(ir\) (in diesen Reihen tritt die Funktion \[ \sin_n\theta = \frac{(e^{i\vartheta}-e^{-i\vartheta}) (e^{i\vartheta}-p^2e^{-i\vartheta}) (e^{i\vartheta}-p^4e^{-i\vartheta})\dots (e^{i\vartheta}-p^{2n-2}e^{-i\vartheta})}{(1+p)(1+p^2)(1+p^3)\dots(1+p^n)} \] auf), endlich eine der C. Neumannschen Reihe für \[ J_0(\sqrt{b^2 + 2bc\cos\alpha + c^2}), \] dem Additionstheorem der \(J_0\) analoge Formel: \[ \begin{multlined} I_0(be^{i\beta}, ce^{i\gamma}) = I_{[0]}(b)J_{[0]}\fracwithdelims()cp - 2p\cos\alpha I_{[1]}(b)J_{[1]}\fracwithdelims()cp\\ + 2p^4\cos2\alpha I_{[2]}(b)J_{[2]}\fracwithdelims()cp -\cdots+ (p - 1)\varphi(b, c, \beta, \gamma),\end{multlined} \] \[ (\beta-\gamma = \alpha), \] wo die auf der linken Seite stehende Funktion durch die Gleichung definiert ist: \[ \begin{split} I_0(bk,ck_1) = 1 &- \frac{(bc+ck_1)^2}{[2]^2}\\ &+ \frac{(bc+ck_1)^2(bk+p^2ck_1)^2}{[2]^2[4]^2} -\cdots.\end{split} \] Übrigens lassen sich unendlich viele der letzten Formel ähnliche Additionstheoreme aufstellen. Im zweiten Teile werden die hypergeometrische Reihe und die Kugelfunktionen in derselben Art erweitert, erstere z. B. so: \[ \begin{split} F([\alpha],[\beta],[\gamma],x) &= 1 + \frac{[\alpha][\beta]}{[1][\gamma]}x\\ &+ \frac{[\alpha][\alpha+1][\beta][\beta+1]}{[1][2][\gamma][\gamma+1]}x^2 +\cdots,\end{split} \] und es werden für die erweiterten Funktionen verschiedene Formeln aufgestellt, z. B. Formeln, die den bekannten Reihen für \(P^n(\cos\vartheta)\) analog sind, ferner die Darstellung einer Potenz durch eine Summe von verallgemeinerten Kugelfunktionen, zum Schluß die Entwicklung \[ \frac1{\lambda-\mu} = \sum_{n=0}^\infty [2n + 1]P_{[r]}(\lambda)Q_{[r]}(\mu). \] (Vgl. auch F. d. M. 34, 512, 1903, JFM 34.0512.01.)