Sur le rôle de la transformation de Laplace dans l'intégration d'une classe de problèmes mixtes du type hyperbolique et sur les développements en séries d'un couple de fonctions arbitraires. (Q1441586)

Verfasser löst folgende Aufgaben, womit zugleich die bis jetzt noch ausstehenden Beweise für gewisse Aufstellungen von \textit{Bromwith} (1916; F. d. M. 46, 589) geliefert sind. \textit{Aufgabe}: I. Gegeben (für \(0 \leqq x \leqq 1,0 \leqq t\)) \[ (1)\quad L(n) \equiv \frac{\partial}{\partial x} \left( p(x) \frac{\partial u}{\partial x} \right)+q(x)u=a(x) \frac{\partial^2u}{\partial t^2}+b(x) \frac{\partial u}{\partial t}, \] \(a(x)>0\), \(p(x)>0\), \(b(x)\) und \(q(x)\) zweimal stetig differenzierbar. Gesucht: Lösung \(u(x,t)\) von (1) mit \[ u(x,0)=u_0(x),\;\left( \frac{\partial u}{\partial x} \right)_{t=0}=u_1(x);\;U_1(u)=0,\;U_2(u)=0. \] Dabei \(u_0,u_1\) gegeben, zweimal stetig differenzierbar, \(\frac{d^2u_0}{dx^2}\) von beschränkter Variation. Ferner \(U_1(u),U_2(u)\) gegebene, lineare Verbindungen von \(u\) und \(\frac{\partial u}{\partial x}\) mit konstanten Koeffizienten. Die Aufgabe \(L(u)=0\), \(U_1(u)=0\), \(U_1(u)=0\), \(U_2(u)=0\) soll selbstadjungiert sein. II. Gegeben (\(\lambda\) ist ein komplexer Parameter) \[ (2)\quad L(V)-(a \lambda^2+b \lambda)v=-(a \lambda+b)u_0+au_1. \] Gesucht: Lösung \(v(x;\lambda)\) von (2) mit \[ U_1(v)=0,\;U_2(v)=0. \] \textit{Satz}: Aufgabe I und II sind lösbar; zwischen ihren Lösungen bestehen die Beziehungen \[ u(x,t)=\frac{1}{2\pi i} \int_{\alpha-i \infty}^{\alpha+i \infty} e^{\lambda t} v(x;\lambda) d \lambda,\;v(x;\lambda)=\int_0^\infty e^{-\lambda t}u(x,t)dt, \] \(\alpha\) positive Zahl größer als die Realteile sämtlicher Eigenwerte der \textit{homogenen} Aufgabe II (also \(u_0=0,u_1=0\)). \textit{Beweisgedanke}: Die bekannte Abschätzung der \textit{Green}schen Funktion der homogenen Aufgabe II bzw. der Lösung von II für groß\ e \(|\lambda|\) zeigt die Existenz des ersten Integrals und gestattet die Verifikation, daß\ es die Lösung von I liefert. Verschiedene Verallgemeinerungen, insbesondere auch für den Fall \(a=0\), \(b>0\) werden angedeutet. (IV 10.)