On divisor transforms. (Q566145)

Die Funktionen \(\lambda ^k_{\nu } (z)\) und \(\mu ^k_{\nu } (z)\) seien folgendermaßen definiert: Es sei \[ \begin{multlined} \lambda _{\nu }(z) =\\ =-\frac 2{\pi } \sum _{m=0}^{\infty } \frac {(\frac 12 z)^{4m}}{\Gamma (2m+1)\Gamma (2m+\nu +1)} \left \{ 2\log \left ( \frac 12 z \right ) -\frac {\Gamma '}{\Gamma } (2m+1) -\frac {\Gamma '}{\Gamma } (2m+\nu +1) \right \} \end{multlined} \] \[ \begin{multlined} \mu _{\nu } (z) =\\ = \frac 2{\pi } \sum _{m=0}^{\infty } \frac {(\frac 12 z)^{4m+2}}{\Gamma (2m+2)\Gamma (2m+\nu +2)} \left \{ 2\log \left ( \frac 12 z \right ) -\frac {\Gamma '}{\Gamma } (2m+1) -\frac {\Gamma '}{\Gamma } (2m+\nu +1) \right \} \end{multlined} \] und \[ \begin{aligned} \lambda ^k_{\nu } (z) &= \lambda _{\nu } (z) + \frac 2{\pi } \sum _{r=1}^k \frac {\Gamma (2r)}{\Gamma (\nu -2r+1)} \left ( \frac 2{z} \right )^{4r},\\ \mu ^k_{\nu } (z) &= \mu _{\nu } (z) + \frac 2{\pi } \sum _{r=0}^k \frac {\Gamma (2r+1)}{\Gamma (\nu -2r)} \left ( \frac 2{z} \right )^{4r+2} \end{aligned} \] (diese Funktionen hängen zusammen mit denjenigen Zylinderfunktionen, die meistens mit den Buchstaben \(Y\) und \(K\) bezeichnet werden; \textit{Hankel}sche Zylinderfunktionen oder auch \textit{Bessel}\,sche Funktionen zweiter und dritter Art genannt). Die Verf. zeigen: {\parindent=7mm \begin{itemize}\item[1)]Es sei \(n\) ganz \(\geq 0, p=[\frac 12 n], x>0\) und \[ F(x)=\int _0^{\infty } t^{2n} \lambda _{2n}^p \{ 2\sqrt {xt} \} f(t)\,dt. \] Unter gewissen Bedingungen für \(f(t)\) ist dann \[ f(x)=\int _0^{\infty } t^{2n} \lambda _{2n}^p \{ 2\sqrt {xt} \} F(t)\,dt. \] \item[2)]Es sei \(n\) ganz \(\geq 0, q=\frac 12 (n-1)\) oder \(q=\frac 12 n-1\). je nachdem \(n\) ungerade oder gerade ist, \(x>0\) und \[ F(x)=\int _0^{\infty } t^{2n} \mu _{2n}^q \{ 2\sqrt {xt} \} f(t)\,dt. \] Unter gewissen Bedingungen für \(f(t)\) ist dann \[ f(x)=\int _0^{\infty } t^{2n} \mu _{2n}^q \{ 2\sqrt {xt} \} F(t)\,dt. \] \item[3)]Es sei \(n\) ganz \(\geq 0\), \(p=[\frac 12 b]\), \(x>0\) und \[ F(x)=\int _0^{\infty } t^{2n+1} \mu _{2n+1}^p \{ 2\sqrt {xt} \} f(t)\,dt. \] Unter gewissen Bedingungen für \(f(t)\) ist dann \[ f(x)=\int _0^{\infty } t^{2n+1} \lambda _{2n+1}^p \{ 2\sqrt {xt} \} F(t)\,dt. \] \end{itemize}} Der Spezialfall \(n=0\) des ersten Satzes steht gewissermaßen in derselben Beziehung zur \textit{Voronoi}schen Formel für \[ \sum _{n=1}^{\infty } d(n) f(n) \] (\(d(n)=\) Anzahl der Teiler von \(n\)), wie die \textit{Fourier}sche Integralformel zur \textit{Poisson}schen Summationsformel für \[ \sum _{n=1}^{\infty } f(n). \]