Uniqueness of the Dirichlet problem for a partial differential equation of the fourth-order (Q580583)

Sei B ein unbeschränktes Gebiet des \({\mathbb{R}}^ n\) und \(A=(a_{ijhk})\) \((i,j,h,k=1,...,n)\) eine über \(\bar B=B\cup \partial B\) erklärte \(n^ 2\times n^ 2\) Matrix. Ziel dieser Arbeit ist es, unter geeigneten Voraussetzungen die Eindeutigkeitsaussagen für klassische Lösungen des Dirichletschen Randwertproblems zum System der partiellen Differentialgleichungen vierter Ordnung \[ (\partial^ 2/(\partial x^ i\partial x^ j))(a_{ijhk}(\partial^ 2U/(\partial x^ h\partial x^ k))=b\text{ in \(B\) (Summenkonvention)} \] \[ U=\hat U;\;n_ j(\partial U/\partial x^ j)=s\text{ auf }\partial B \] im Außenraum zu beweisen. Solche Voraussetzungen sind z.B. die geeignete Wahl des Gebietes, der Koeffizienten und das Verhalten der Lösungen im Außenraum. Dabei sind b bzw. \(\hat U\) und s auf B bzw. \(\partial B\) stetige Funktionen. Im ersten Teil dieser Arbeit wird, für \(n\times n\) Matrix \((C_{ij})\), die starke Koerzitivitätsbedingung \(\exists_{a>0} a_{ijhk} C_{ij} C_{hk}\geq C_{ij} C_{ij}\), und im zweiten Teil der Arbeit für Vektoren b und \(c\in {\mathbb{R}}^ n-\{0\}\) starke Elliptizität durch die Ungleichung \(a_{ijhk} b_ i c_ j b_ h c_ k>0\) vorausgesetzt. Die Beweise beruhen im wesentlichen auf Lemmata, die ihrerseits unter den getroffenen Voraussetzungen auf gewissen Abschätzungen basieren. Der Autor weist auch darauf hin, daß sich die Beweisführung auch auf Differentialgleichungen und Systeme allgemeinerer Struktur übertragen läßt. Diese Arbeit setzt die früheren Untersuchungen des Autors fort, und es wird auch die gleiche Methode benutzt.