Fourier integrals. (Q573095)

Es werden teils vermittels komplexer Integration für den Spezialfall regulärer Funktionen, teils vermittels \textit{Dirichlet}scher Integrale für allgemeinere Funktionsklassen die folgenden Theoreme bewiesen: \textit{Fourier}sches Integraltheorem: Ist \[ \int\limits_{p}^{q} e^{i \lambda \varrho} \varphi (\varrho)\, d \varrho = f(\lambda), \] so gilt: \[ \int\limits_{-\infty}^{+\infty} e^{-i \lambda r} f(\lambda)\, d \lambda = \left\{ \begin{aligned} 2 \pi &\varphi (r) \quad \text{für} \; \, p<r<q, \\ 0 \; &\text{für} \; \, r<p \; \, \text{und} \; \, r>q. \end{aligned} \right. \] Erstes \textit{Fourier-Bessel}sches Integraltheorem: Ist bei \(\mathfrak{R}(n)>-1\) \[ f(\lambda) = \int\limits_{p}^{q} \varphi (\varrho)\, J_n(\lambda \varrho) \, \varrho \, d \varrho \qquad (0 \leqq p < q), \] so gilt: \[ \int\limits_{0}^{\infty} f(\lambda)\, J_n(\lambda r) \, \lambda \, d \lambda = \left\{ \begin{aligned} &\varphi (r) \quad \text{für} \; \, p<r<q, \\ &0 \quad \text{für} \; \, 0<r<p \; \, \text{und} \; \, r>q. \end{aligned} \right. \] Zweites \textit{Fourier-Bessel}sches Integraltheorem: Ist \[ f(\lambda) = \int\limits_{p}^{q} \varphi (\varrho)\, T_n(\varrho,\lambda) \, \varrho \, d \varrho \qquad (0 \leqq p < q) \] mit \[ T_n(r,\lambda) = J_n(r \lambda) \, G_n(ra) - G_n(r \lambda) \, J_n(ra), \] so gilt: \[ \int\limits_{a}^{\infty} f(\lambda)\, T_n(r, \lambda) \, \lambda \, d \lambda = \left\{ \begin{aligned} &\tfrac{1}{2} B_n(ra)\, [\varphi (r+0)+\varphi (r-0)] \quad \text{für} \; \, p<r<q, \\ &0 \quad \text{für} \; \, 0<r<p \; \, \text{und} \; \, r>q \end{aligned} \right. \] mit \[ B_n(\varkappa) = \left( \frac{\pi}{2 \, \sin \, n \pi} \right)^2 [J^2_n(\varkappa)-2\, \cos \, n \pi J_n(\varkappa) \, J_{-n}(\varkappa) + J^2_{-n}(\varkappa)]. \] Drittes \textit{Fourier-Bessel}sches Integraltheorem: Ist \[ f(\lambda) = \int\limits_{p}^{q} \varphi (\varrho)\, J_{\varrho}(\varrho \lambda) \, \varrho \, d \varrho \qquad (0 \leqq p < q), \] so gilt: \[ \int\limits_{0}^{\infty} \left( \lambda - \frac{1}{\lambda} \right) \, f(\lambda) \, J_m(m \lambda) \, d \lambda = \left\{ \begin{aligned} &\tfrac{1}{2} [\varphi (m+0)+\varphi (m-0)] \quad \text{für} \; \, p<m<q, \\ &0 \quad \text{für} \; \, 0<m<p \; \, \text{und} \; \, m>q. \end{aligned} \right. \] \textit{Fourier-Legendre}sches Integraltheorem: Ist \[ F(\lambda) = \int\limits_{p}^{q} f(\varphi) \, P_{\lambda -\frac{1}{2}} (\cos \, \varphi) \, \sqrt{\sin \, \varphi} \, d\varphi \qquad (0 \leqq p < q \leqq \pi), \] so gilt: \[ 2 \int\limits_{0}^{\infty} F(\lambda) \, \lambda \, \sin \, \pi \lambda \, P_{\lambda -\tfrac{1}{2}} (-\cos \, \theta) \sqrt{\sin \, \theta} \, d \lambda = \left\{ \begin{aligned} &\frac{1}{2} [f(\theta+0)+f(\theta-0)] \quad \text{für} \; \, p<\theta<q, \\ &0 \quad \text{für} \; \, 0<\theta<p \; \, \text{und} \; \, q<\theta<\pi. \end{aligned} \right. \]