Ricerche sulle equazioni integrali singolari. (Q566081)

Ein Vorbericht über die Ergebnisse dieser Dissertation erschien in den Rendiconti Accad. d. L. Roma (6) 13 (1931), 719-724 (JFM 57.0464.*). Der erste Teil der vorliegenden Arbeit enthält eine Zusammenstellung einer Reihe von zumeist bekannten Hilfssätzen aus der Analysis, betreffend gliedweise Integration einer Funktionenfolge, Konvergenz im Mittel, Funktionen von beschränkter Schwankung, \textit{Stieltjes}sche Integrale, Häufungssätze bei Funktionenfolgen. Im zweiten Teil werden über den reellen nichtsymmetrischen Kern \(K(P,Q)\), wo \(P\) und \(Q\) Punkte eines beschränkten meßbaren Gebietes \(T\) sind, neben der Meßbarkeit von \(K(P,Q)\) noch folgende Voraussetzungen gemacht: \[ K(P)^2 =\int _T K(P,Q)^2 dT(Q) \quad \text{und} \quad K'(P)^2 =\int _T K(P,Q)^2 dT(Q) \] sollen existieren und beschränkt sein in jedem meßbaren Gebiet innerhalb \(T\), mit Ausnahme einer Punktmenge \(N\) vom Maß 0; \[ \begin{gathered} \lim _{P'\to P} \int _T (K(P,q)) -K(P',Q))^2 dT(Q)=0, \\ \lim _{P'\to P} \int _T (K(Q,P) -K(Q,P'))^2 dT(Q) =0 \; \text{ für } \; P \; \text{ aus } \; T-N. \end{gathered} \] Das Gebiet \(T-N\) wird durch eine Gebietsfolge \(T_1, \dots, T_n, \dots \) von innen her approximiert; in jedem dieser Gebiete seien die \textit{Schmidt}schen Eigenwerte und Eigenfunktionen zu \(K(P,Q)\) mit \(\lambda _k^{(n)}, \varPhi _k^{(n)} (P), \varPsi _k^{(n)} (P)\) bezeichnet. Aus den Funktionen \[ \vartheta _n (P,Q\, | \, \lambda ) = \begin{cases} \sum _{0<\lambda _k^{(n)} <\lambda } \varPhi _k^{(n)} (P) \varPsi _k^{(n)} (Q) & \; \text{für} \; \lambda >0,\\ 0 & \; \text{für} \; \lambda =0 \end{cases} \] und den analogen Bildungen mit den Produkten \(\varPhi _k^{(n)} (P) \varPhi _k^{(n)} (Q)\) bzw. \(\varPsi _k^{(n)} (P) \varPsi _k^{(n)} (Q)\) lassen sich konvergente Teilfolgen mit gleichen Indices auswählen, die gegen Funktionen \(\vartheta (P,Q\, | \, \lambda )\), bzw. \(\tau ^{(1)}(P,Q\, | \, \lambda )\), bzw. \(\tau ^{(2)} (P,Q\, | \, \lambda )\) im Innern von \(T-N\) konvergieren. Es erweist sich, daß diese drei Funktionen in \(\lambda \) die gleichen Unstetigkeitspunkte besitzen; letztere bilden einen Teil des \textit{Schmidt}schen Spektrums von \(K(P,Q)\) in \(T\). Sind \(h(P)\) und \(g(P)\) samt Quadrat summierbare Funktionen, und existiert \(\int _T g(P) K(P)\,dT\), so gilt: \[ \begin{aligned} \int _T \int _T K(P,Q) g(P) h(Q)\,dT (P)\,dT(Q) &= \int _0^{\infty } \frac 1{\lambda } d_{\lambda } \int _T \int _T \vartheta (P,Q\, | \, \lambda ) g(P) h(Q)\,dT(P)\,dT(Q),\\ \int _T K(P,Q) h(Q)\,dT(Q) &= \int _0^{\infty } \frac 1{\lambda } d_{\lambda } \int _T \vartheta (P,Q\, | \,\lambda ) h(Q)\,dT(Q), \end{aligned} \] \(\int _{\varrho }^{\ell } \frac 1{\lambda } d_{\lambda } \vartheta (P_0, Q\, | \, \lambda )\) strebt für \(\varrho \to 0\) und \(\ell \to \infty \) im Mittel gegen \(K(P_0, Q)\), falls \(P_0\) in \(T-N\) liegt. Anwendung auf die Integralgleichung erster Art \[ h(P) = \int _T K(P,Q) \varphi (Q)\,dT(Q) \] liefert die Existenz einer nebst Quadrat summierbaren Lösung \(\varphi (Q)\), falls \[ \int _0^{\infty } \lambda ^2 d_{\lambda } \int _T \int _T \tau ^{(1)} (P,Q\, | \, \lambda ) h(P) \overline {h(Q)}\,dT(P) \,dT(Q) \] existiert. Als Anwendung ergibt sich mit \(K=e^{-|x-y|}\), wenn \(T\) die ganze reelle Achse bedeutet, als hinreichende Bedingung für die Konvergenz des \textit{Fourier}integrals von \(h(x)\) gegen \(h(x)\) die Existenz des Integrales \[ \int _{\frac 12}^{\infty } \lambda ^2 d_{\lambda } \int _{-\infty }^{\infty } \int _{-\infty }^{\infty } \frac {\sin (x-y) \sqrt {2\lambda -1}}{\pi (x-y)} h(x) \overline {h(y)} \,dx\,dy. \] Im dritten Teil werden unter einer weiteren Bedingung über \(K(P,Q)\), die die Vertauschbarkeit der Integrationsfolge in \[ \int _T \int _T K(P,Q) g(P) h(Q)\,dT (P)\,dT(Q) \] gewährleistet, die sogenannten determinantenfreien Sätze für die lineare Integralgleichung zweiter Art bewiesen, sowie die Sätze über die analytische Abhängigkeit der Lösung vom Eigenwertsfaktor \(\lambda \). Die Untersuchungen über das Spektrum selbst sind nicht besonders weit durchgeführt.