Un théorème d'unicité pour l'équation de la chaleur. (Q2600985)

Gesucht wird eine Lösung \(z\) von \[ \frac{\partial^2 z}{\partial x^2} - \frac{\partial z}{\partial y} = 0, \tag{1} \] welche in einem vorgegebenen Gebiete \(G\) regulär ist und bei Annäherung an den Rand gegen vorgegebene Randwerte \(w\) konvergiert, soweit es sich um Randpunkte handelt, in welchen \(w\) stetig ist, was bis auf endlich viele Ausnahmepunkte der Fall sein soll. Es wird nun die Eindeutigkeit der Lösung dieser Aufgabe für gewisse einfache \(G\) bewiesen unter der zusätzlichen Annahme gewisser Wachstumsbeschränkungen für die Lösung bei Annäherung an den Rand. Genauer: Zu jedem Gebiete \(G^*\), erklärt durch \(2t_1<\dfrac{x}{\sqrt{y}}<2t_2\), \(0<y<y_0\), gibt es eine Zahl \(\alpha > 0\) derart, daß jede in \(G^*\) reguläre Lösung \(z\) von (1) identisch in \(G^*\) null ist, sobald I. \(\lim\limits_{\begin{matrix} x \to x' \\ y \to y' \end{matrix}} z(x, \, y) = 0\) für \(\dfrac{x'}{2 \sqrt{y'}}=t_1\), \(\dfrac{x'}{2 \sqrt{y'}}=t_2\), \(0 \leqq y' < y_0\), \(0<x^{\prime 2}+ y'\); II. \(|\, z(x, \, y) \,|\, y^{\frac{1}{2}+\alpha}<K<+\infty\) in \(G^*\); III. \(\lim\limits_{y \to 0} z(x, \, y)\, y^{\frac{1}{2}+\alpha}=0\) für \(\dfrac{x}{2 \sqrt{y}}=t_0\) mit \(t_1<t_0<t_2\); und es gibt gleichzeitig eine, in \(G^*\) positive, Lösung von (1), welche (nur) den Bedingungen I und II genügt. Dabei kann \(t_2 - t_1\) eine endliche oder auch eine uneigentliche reelle Zahl sein.