Sur l'équation de la chaleur à plusieurs variables. (Q2599320)

Ein Bereich \(\mathfrak G\) mit der Begrenzung \(C\) wird Fundamentalbereich für die Wärme\-gleichung \(\varDelta u=\dfrac{\partial u}{\partial t}\) genannt, wenn es zu den beliebig vorgegebenen stetigen Funktionen \(\psi(P)\), wo \(P\subset\overline{\mathfrak G}=\mathfrak G + C\), und \(\varphi(P, t)\), wo \(P\subset C\) und \(t\geqq 0\), mit \(\psi(P) = \varphi(P,0)\) für \(P\subset C\) eine stetige Funktion \(u(P, t)\) gibt, die sowohl dieser Gleichung für \(P\subset\mathfrak G\) und \(t > 0\) als auch den Bedingungen \(u (P, 0) = \psi (P)\) für \(P\subset\mathfrak G\) und \(u(P, t)=\varphi(P,t)\) für \(P\subset C\) genügt. Diese Funktion stellt dann die Lösung der ersten Randwertaufgabe dar. Ebenso heißt ein Bereich \(\mathfrak G\) Fundamentalbereich für die Laplacesche Gleichung oder für die allgemeinere Gleichung \(\varDelta u-\lambda u= 0\), wenn es zu der beliebig vorgegebenen, auf \(C\) stetigen Funktion \(\varphi(P)\) eine in \(\overline{\mathfrak G}\) stetige Funktion \(u(P)\) gibt, die der entsprechen\-den Gleichung in \(\mathfrak G\) genügt und die Bedingung \(u (P) = \varphi (P)\) für \(P\subset C\) erfüllt. Mit diesen Festsetzungen stellt Verf. Beziehungen zwischen den Fundamentalbereichen für diese drei Gleichungstypen auf: Ein beschränkter Bereich, der für die Wärme\-gleichung Fundamentalbereich ist, ist es auch für die Laplacesche Gleichung. Ein Bereich, der für die Gleichung \(\varDelta u - \overline{\lambda}u = 0\) mit vorgegebenem \(\overline{\lambda} \geqq 0\) Fundamental\-bereich ist, ist es auch für die Gleichung \(\varDelta u -\lambda u = 0\) mit beliebigem \(\lambda\geqq0\). Schließ\-lich ist jeder Bereich, der für die Gleichungen \(\varDelta u -\lambda u= 0\) mit \(\lambda >\lambda_0\) (\(\lambda_0\) vorgegeben) Fundamentalbereich ist, auch für die Wärmegleichung ein Fundamentalbereich. Im zweiten Paragraphen wird die Einzigkeit der stetigen und gleichmäßig be\-schränkten Lösung \(u (P, t)\) der ersten Randwertaufgabe für einen beschränkten Be\-reich \(\mathfrak G\) mit der Begrenzung \(C\) und stetige und beschränkte Funktionen \(\psi(P)\) und \(\varphi(P,t)\) bewiesen. \(\psi(P)=\varphi(P,0)\) auf \(C\) wird dabei nicht mehr vorausgesetzt. Der dritte Paragraph ist der Konstruktion der Greenschen Funktion \(G (P, t ; P', \tau)\) gewidmet, wo \(P'\subset\mathfrak G\) und \(\tau\) fest sind. Diese Funktion, die von den drei Variablen \(P\), \(P'\) und \(\alpha = t - \tau\) abhängt, ist symmetrisch und differenzierbar und besitzt die Eigenschaft der Integraladdition \[ G (P, P';\alpha_1+\alpha_2) ={\iiint\limits_{\mathfrak G}}G(P, P_1;\alpha_1) G(P_1, P';\alpha_2)\;d\omega_1. \] Die Funktion \[ \varPi(P, t) ={\iiint\limits_{\mathfrak G}}G(P, t; P',\tau)\psi (P')\,d\omega', \] wo \(\psi(P)\) in \(\mathfrak G\) beschränkt und stetig ist, ist beschränkt und genügt der Wärme\-gleichung für \(P\subset \mathfrak G\) und \(t>t_0\) sowie den Randbedingungen \(\varPi(P,t_0)=\psi(P)\) für \(P\subset\mathfrak G\) und \(\varPi(P,t)=0\) für \(P\subset C\) und \(t > 0\). Hieraus wird für Fundamental\-bereiche die Existenz der Lösung der ersten Randwertaufgabe in verallgemeinerter Form gefolgert, deren Einzigkeit bewiesen worden ist. Ferner wird eine Beziehung zwischen den Greenschen Funktionen der Laplaceschen Gleichung und der Wärme\-gleichung erhalten. Im letzten Paragraphen werden gewisse den Potentialen analoge Funktionen und die Greensche Funktion für Flächen vom Liapounoffschen Typus untersucht, und zwar sowohl für die erste als auch für die zweite Randwertaufgabe.