Sur les formules d'inversion de Fourier et de Hankel. (Q1454993)

Um die Inversionsforrmeln von Fourier und Hankel zu beweisen genügt es, wie Verf. bewiesen hat (1910; F. d. M. 41, 472 (JFM 41.0472.*)), zu zeigen, daß \(\int_0^x\int_0^y\cos xy dx dy\), \(\int_o^x\int_0^y\sqrt{xy}J_{\nu}(xy)dxdy\) eine Entwicklung \[ \sum_{p=1}^{\infty}\int_o^x \varPhi_p(\xi)d\xi\int_0^y\psi_p(\eta)d\eta \] besitzen, in welcher die Systeme \([\varPhi_p(x)]\) und \([\psi_p(y)]\) abgeschlossene normierte Orthogonalsysteme des Intervalles \((0, \infty)\) sind. Angeregt durch einige Bemerkungen von \textit{Titchmarsh} (1923; F. d. M. 49, 256 (JFM 49.0256.*)) zeigt Verf., wie man die Möglichkeit einer solchen Entwicklung aus dem folgendem Satze ableiten kann: Die reelle Funktion \(\varPhi(x,y)\) sei in (\(0\leqq x\), \(y <\infty\)) definiert, \(\int_0^{\infty}\left(\int_0^y \varPhi(\xi,\eta)d\eta\right)^2d\xi\) sei eine endliche Funktion von \(y\). Für eine gewisse Basis \([\chi_p(x)]\) seien die Integrale \(\int_0^{\infty}|\varPhi(x,y)\chi_p(x)|dx\) in jedem endlichen Intervall integrierbar; ferner seien die Funktionen \[ f_p(x)=\int_0^{\infty}\varphi(\xi,x)\chi_p(\xi)d\xi \] in \((0,\infty)\) quadratisch integrierbar und \[ \int_0^{\infty} f_pf_qdx=\int_0^{\infty}\chi_p\chi_q dx\qquad (p,q=1,2,3,\ldots). \] Dann besteht eine Entwicklung \[ \int_0^x\int_0^y\varPhi(\xi,\eta)d\xi d\eta= \sum_{p=1}^{\infty}\int_0^x\varPhi_p(\xi)d\xi\int_0^y\psi_p(\eta)d\eta, \] in welcher \([\varPhi_p]\) ein abgeschlossenes normiertes Orthogonalsystem für das Intervall \((0,\infty)\) und \([\psi_p]\) ein normiertes -- nicht notwendig abgeschlossenes -- Orthogonalsystem für dasselbe Intervall bedeuten. Wenn \(\varPhi(x,y)\) eine symmetrische Funktion ist, ist das Orthogonalsystem \([\psi_p]\) ebenfalls abgeschlossen. Unter einer Basis \([\chi_p(x)]\) wird hier eine Funktionenfolge von quadratisch integrierbaren Funktionen verstanden, die gestattet, jede quadratisch integrierbare Funktion \(f(x)\) des Intervalls \((0,\infty)\) durch eine lineare Kombination \(a_1\chi_1(x)+\cdots+a_n\chi_n(x)\) so anzunähern, daß \(\int_0^{\infty}\left[ f(x)-\sum_1^n a_{\nu}\chi_{\nu}(x)\right]^2dx\) beliebig klein gemacht werden kann. Im Falle von Fourier kann man am einfachsten \(\chi_p(x)=e^{-(p-\frac12)x}\) und im Falle von Hankel \(\chi_p(x)=x^{\nu+\frac12}e^{-px^2}\) (\(\nu>-1\)) wählen, um den Satz anzuwenden.