An Inverse Problem for the Prescribed Mean Curvature

Technisches Resümee: Ein inverses Problem für die vorgegebene mittlere Krümmung

Problemstellung
Diese Arbeit befasst sich mit dem inversen Quellproblem für die Gleichung der vorgegebenen mittleren Krümmung (Prescribed Mean Curvature, PMC) in zwei Dimensionen. Die zugrunde liegende Gleichung auf einem beschränkten Gebiet $\Omega \subset \mathbb{R}^2$ lautet:
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
wobei $H \in C^\alpha(\Omega)$ die Quellfunktion darstellt, welche die vorgegebene mittlere Krümmung repräsentiert. Das Ziel besteht darin, die Quellfunktion $H$ eindeutig aus der Dirichlet-zu-Neumann-Abbildung (DN-Abbildung) $\Lambda_H$ zu bestimmen. Die DN-Abbildung ordnet einem Randwert $f$ die Normale der Ableitung $\partial_\nu u|_{\partial\Omega}$ zu. Die Autoren stellen fest, dass, falls die DN-Abbildungen für zwei Quellfunktionen $H$ und $\tilde{H}$ für Randdaten, die hinreichend nahe an einem festen Hintergrundwert $f_0$ liegen, übereinstimmen und falls $H$ und $\tilde{H}$ an der Grenze zu hoher Ordnung übereinstimmen, dann $H = \tilde{H}$ in ganz $\Omega$ gilt.

Methodik
Der Beweis stützt sich auf eine Kombination aus Techniken der höherwertigen Linearisierung, der Analyse der resultierenden linearisierten Gleichungen und komplexen geometrischen Optik-Lösungen (CGO-Lösungen). Die Methodik vollzieht sich in mehreren distinkten Stadien:

1. Erste Linearisierung und geometrische Interpretation:
   Die Autoren linearisieren die nichtlineare PMC-Gleichung um eine Hintergrundlösung $u_0$, die einem festen Randwert $f_0$ entspricht. Die erste Linearisierung liefert eine anisotrope Leitfähigkeitsgleichung:
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   wobei der Metriкtensor $g$ explizit vom Gradienten der Hintergrundlösung $\nabla u_0$ abhängt. Konkret entspricht $g^{-1}$ einer Riemannschen Metrik, die aus der euklidischen Metrik und dem Gradienten von $u_0$ abgeleitet ist. Dies transformiert das inverse Problem für die nichtlineare Gleichung in ein inverses Problem für eine lineare Gleichung mit Koeffizienten, die von der unbekannten Hintergrundlösung abhängen.

2. Randinformationen und Eichinvarianz:
   Unter Verwendung der Annahme, dass die DN-Abbildungen übereinstimmen, leiten die Autoren ab, dass die Metriken $g$ und $\tilde{g}$, die mit $H$ und $\tilde{H}$ assoziiert sind, durch eine konforme Diffeomorphie $\phi: \Omega \to \Omega$ zusammenhängen, sodass $g = \lambda \phi^* \tilde{g}$ gilt. Durch die Analyse des Randverhaltens und unter Nutzung von Eigenschaften der eindeutigen Fortsetzung zeigen sie, dass $\phi$ die Grenze bis zur unendlichen Ordnung fixiert und dass die Beträge der Gradienten der Hintergrundlösungen durch $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$ verknüpft sind.

3. Zweite Linearisierung und Integralkidentitäten:
   Um die verbleibende Eichinvarianz zu brechen und die volle Gradientengleichheit ($\nabla u_0 = \nabla \tilde{u}_0$) zu etablieren, führen die Autoren eine zweite Linearisierung durch. Dies ergibt ein gekoppeltes System, das eine Integralkonstante über $\Omega$ der Form beinhaltet:
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   wobei $T$ ein Vektorfeld ist, das durch die Differenz der transformierten Gradienten der Hintergrundlösungen definiert ist, und $v_0, v_1, v_2$ Lösungen der ersten linearisierten Gleichung sind. Der Term $\mathcal{L}$ umfasst Gradienten und Laplacen dieser Lösungen.

4. Komplexe geometrische Optik-Lösungen (CGO-Lösungen):
   Die Autoren konstruieren spezifische CGO-Lösungen für die mit der Metrik $g$ assoziierte Schrödinger-Typ-Gleichung. Diese Lösungen haben die Form $v = e^{\Phi/h}(a + r_h)$, wobei $\Phi$ eine holomorphe Morse-Funktion ist, $a$ eine holomorphe Amplitude und $r_h$ ein Korrekturterm. Durch die Wahl von Lösungen mit spezifischen Phasenverhaltensweisen (einige mit kritischen Punkten, andere ohne) führen sie eine asymptotische Analyse für $h \to 0$ durch. Diese Analyse isoliert die Terme führender Ordnung der Integralkonstante und sondiert damit effektiv das Vektorfeld $T$ an inneren Punkten.

5. Eindeutigkeit via Liouville-Typ Rigorität:
   Die asymptotische Analyse führt zu einem System von Gleichungen, das impliziert, dass die Komponenten von $T$ eine elliptische partielle Differentialgleichung erfüllen. In Kombination mit der Tatsache, dass $T$ an der Grenze zu hoher Ordnung verschwindet (abgeleitet aus der Übereinstimmung von $H$ und $\tilde{H}$ an der Grenze), erzwingen Prinzipien der eindeutigen Fortsetzung, dass $T \equiv 0$ in $\Omega$. Dies impliziert $\nabla u_0 = \nabla \tilde{u}_0$. Schließlich wird ein Liouville-Typ Uniqueness-Resultat für konforme Abbildungen in zwei Dimensionen angewandt, um zu zeigen, dass die Diffeomorphie $\phi$ die Identitätsabbildung sein muss, wodurch bewiesen wird, dass $H = \tilde{H}$.

Wesentliche Beiträge und Ergebnisse

• Erste Behandlung von inversen Quellproblemen für quasilineare Gleichungen: Die Arbeit stellt die erste rigorose Behandlung eines inversen Quellproblems für eine quasilineare elliptische Gleichung dar. Vorherige Arbeiten in diesem Bereich konzentrierten sich weitgehend auf lineare Gleichungen oder inverse Probleme für nichtlineare Terme ohne Quellterme.
• Ableitung gekoppelter nichtlinearer Systeme: Die Autoren leiten ein gekoppeltes System algebraischer und geometrischer partieller Differentialgleichungen aus Randmessungen ab. Dieses System verknüpft die Quellfunktion mit dem Gradienten der Hintergrundlösung und dem konformen Faktor der Metrik.
• Eindeutigkeitssatz: Das Hauptergebnis (Theorem 1.1) beweist die eindeutige Bestimmung der Quellfunktion $H$ in zwei Dimensionen aus der DN-Abbildung, vorausgesetzt, die Quellen stimmen an der Grenze zu hoher Ordnung überein.
• Anwendung der anisotropen Calderón-Theorie: Die Arbeit demonstriert eine neuartige Anwendung der Theorie des anisotropen Calderón-Problems. Obwohl die ursprüngliche PMC-Gleichung auf einem euklidischen Gebiet formuliert ist, führt ihre Linearisierung natürlicherweise zu einer anisotropen Leitfähigkeitsgleichung mit einer von der Lösung abhängigen Metrik, wodurch die Verbindung zwischen nichtlinearen inversen Problemen und geometrischen inversen Problemen hergestellt wird.

Bedeutung und Motivation
Die Autoren positionieren diese Arbeit als einen grundlegenden Schritt zur Lösung inverser Probleme für allgemeine quasilineare elliptische Gleichungen der Form $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$. Die Gleichung der vorgegebenen mittleren Krümmung dient hierbei als prototypisches Beispiel.

Die Arbeit hebt die physikalische Relevanz der PMC-Gleichung hervor, die zur Modellierung von Oberflächen unter ausgeglichener Spannung mit externen Kräften dient, wie etwa Seifenblasen mit Innendruck, Kapillaroberflächen und biologische Membranen. Darüber hinaus merken die Autoren an, dass die Bedeutung inverser Probleme für minimale Flächen (der Fall $H=0$) in der theoretischen Physik, speziell im Rahmen der AdS/CFT-Dualität, stetig wächst, wo traditionelle mathematische Werkzeuge bisher oft unzureichend waren. Durch die Erweiterung dieser Techniken auf den Fall der vorgegebenen mittleren Krümmung trägt die Arbeit zum mathematischen Instrumentarium für solche physikalischen Anwendungen bei.

Der methodische Beitrag liegt in der erfolgreichen Integration von höherwertiger Linearisierung mit CGO-Lösungen, um die spezifische Struktur quasilinearer Gleichungen zu handhaben und die Herausforderungen durch Nichtlinearität und den Quellterm zu bewältigen. Die Autoren betonen, dass ähnliche Systeme gekoppelter Gleichungen wahrscheinlich auch in anderen inversen Problemen für quasilineare Gleichungen auftreten werden, was auf die breite Anwendbarkeit ihres Ansatzes hindeutet.