On the Schiffer and Berenstein conjectures with high-frequency for convex domains in the plane

Technisches Resümee: Über die Schiffer- und Berenstein-Vermutungen bei hohen Frequenzen für konvexe Domänen in der Ebene

Problemstellung
Diese Arbeit befasst sich mit zwei klassischen überbestimmten elliptischen Problemen in der Spektralgeometrie, bekannt als die Schiffer- und Berenstein-Vermutungen. Die zentrale Frage ist, ob die Existenz einer nichttrivialen Lösung dieser Probleme impliziert, dass die zugrunde liegende beschränkte Domäne $\Omega \subset \mathbb{R}^2$ ein Kreis ist.

Es handelt sich um die zwei Probleme:

1. Die Berenstein-Vermutung (Dirichlet-Fall): $-\Delta u = \alpha u$ in $\Omega$, mit $u=0$ auf $\partial\Omega$ und $\frac{\partial u}{\partial \nu} = c_D$ (konstant) auf $\partial\Omega$.
2. Die Schiffer-Vermutung (Neumann-Fall): $-\Delta u = \alpha u$ in $\Omega$, mit $\frac{\partial u}{\partial \nu} = 0$ auf $\partial\Omega$ und $u = c_N$ (konstant) auf $\partial\Omega$.

Obwohl bekannt ist, dass Kugeln Lösungen zulassen, postuliert die Vermutung, dass Kugeln die einzigen Domänen sind, die solche Lösungen besitzen. Vorangegangene Ergebnisse von Berenstein und Yang etablierten, dass wenn eine Domäne eine unendliche Folge solcher Eigenwerte besitzt, die gegen Unendlich strebt, die Domäne ein Ball sein muss. Der Fall eines einzelnen großen Eigenwerts blieb jedoch offen. Jüngste Gegenbeispiele zu den uneingeschränkten Vermutungen (in doppelt ringförmigen oder unbeschränkten Domänen) unterstreichen die Notwendigkeit kontrollierter geometrischer Klassen und Frequenzschwellen.

Methodik
Der Ansatz der Autoren wurzelt in der Methode der stationären Phase, führt jedoch signifikante Modifikationen ein, um den Fall eines einzelnen großen Eigenwerts anstelle einer Folge zu behandeln.

1. Zwei-Punkt-Stationäre-Phase-Expansion:
   Im Gegensatz zu früheren Arbeiten, die auf der Grenze einer unendlichen Folge von Eigenwerten beruhten (bei denen die Parameter $t$ und $\lambda$ unabhängig voneinander variieren konnten, um spezifische asymptotische Bedingungen zu erfüllen), fixiert dieses Papier den Eigenwert $\alpha$ als groß, aber endlich. Sie drücken $\alpha = \lambda^2 - t^2$ mit festem $t \in \{-1, 1\}$ und großem $\lambda = \sqrt{\alpha + 1}$ aus. Unter Verwendung von Greenschen Identitäten wird die Existenz einer Lösung auf das Verschwinden spezifischer oszillatorischer Integrale über der Randkurve $\partial\Omega$ reduziert. Die Autoren wenden eine uniforme Zwei-Punkt-Stationäre-Phase-Expansion auf diese Integrale an. Für eine gleichmäßig konvexe Domäne besitzt die Phasenfunktion genau zwei nicht-degenerate kritische Punkte (antipodale Punkte).

2. Zwei-Punkt-Amplitudendefekt ($B(\Omega)$):
   Eine zentrale Innovation ist die Einführung des „Zwei-Punkt-Amplitudendefekts“, definiert als:
   $$B(\Omega) := \max_{\theta \in \mathbb{R}, t \in \{-1,1\}} \left| \sqrt{\rho(\theta)}e^{th'(\theta)} - \sqrt{\rho(\theta + \pi)}e^{-th'(\theta + \pi)} \right|$$
   wobei $h$ die Stützfunktion und $\rho = h + h''$ der Krümmungsradius ist. Die Autoren beweisen, dass $B(\Omega) = 0$ gilt genau dann, wenn $\Omega$ ein Kreis ist.

3. Quantitative geometrische Abschätzungen:
   Das Papier etabliert eine quantitative Beziehung zwischen dem Defekt $B(\Omega)$ und der geometrischen Distanz von $\Omega$ zu einem Kreis.

• Allgemeiner Fall: Für Domänen in einer kontrollierten $C^m$-Klasse ($m \ge 5$) beweisen sie, dass $B(\Omega) \ge c_m \min(d_{\text{disk}}(\Omega)^{p_m}, 1)$ gilt, wobei $p_m = \frac{m-1}{m-2}$ und $d_{\text{disk}}$ die $C^2$-Stützfunktions-Distanz ist. Dies beruht auf einer Gerade-Ungerade-Zerlegung der Stützfunktion und Interpolationsungleichungen.
• Zentralsymmetrischer Fall: Wenn $\Omega$ zentralsymmetrisch ist, setzt sich der Defekt linear zur Hausdorff-Distanz zu zentrierten Kreisen, was eine stärkere Abschätzung liefert.

4. Hochfrequenz-Ausschluss:
   Durch die Kombination der stationären Phase-Expansion (die zeigt, dass das Integral vom Defekt dominiert wird) mit den geometrischen Abschätzungen leiten die Autoren eine Schwelle her. Wenn der Eigenwert $\alpha$ eine spezifische, von der geometrischen Klasse und der Distanz zu einem Kreis abhängende Schranke überschreitet, kann der Defekt nicht Null sein, und somit existiert keine Lösung.

Zentrale Beiträge und Ergebnisse

• Theorem 1.1 (Berenstein-Vermutung): Für eine beschränkte gleichmäßig konvexe Domäne $\Omega \subset \mathbb{R}^2$ mit $C^{2,\epsilon}$-Rand gilt: Wenn das Dirichlet-Problem (1.1) eine nichttriviale Lösung für einen hinreichend großen Eigenwert $\alpha > \alpha_0(\Omega)$ besitzt, dann muss $\Omega$ ein Kreis sein.
• Theorem 1.2 (Schiffer-Vermutung): Ähnlich gilt für eine beschränkte gleichmäßig konvexe Domäne mit einem Lipschitz-zusammenhängenden Rand, dass das Neumann-Problem (1.2) eine nichttriviale Lösung für einen hinreichend großen Eigenwert $\alpha > \alpha_0(\Omega)$ nur besitzt, wenn $\Omega$ ein Kreis ist.
• Regularitätsabhängigkeit: Das Papier liefert explizite Cutoffs für den Eigenwert $\alpha$ basierend auf der Regularität $m$ der Domäne. Für eine Domäne im Abstand $\epsilon$ von einem Kreis in einer $C^m$-Klasse skaliert der Ausschluss-Schwellenwert als $O(1 + \epsilon^{-2p_m})$.
• Schärfe: Die Autoren zeigen mittels Konstruktion (Proposition 3.8), dass der Exponent $p_m = \frac{m-1}{m-2}$ optimal für die geometrische Konvertierung von Distanz zu Defekt unter gleichmäßiger $C^m$-Kontrolle ist, selbst innerhalb der zentralsymmetrischen Unterklasse.

Bedeutung und Ansprüche
Das Papier beansprucht eine teilweise positive Antwort auf die Schiffer- und Berenstein-Vermutungen in zwei Dimensionen. Seine primäre Bedeutung liegt in:

1. Rigidität eines einzelnen Eigenwerts: Es entfernt die Anforderung einer unendlichen Folge von Eigenwerten und beweist, dass ein einzelner, hinreichend großer überbestimmter Eigenwert ausreicht, um die Domäne zu einem Kreis zu erzwingen, sofern die Domäne gleichmäßig konvex und ausreichend glatt ist.
2. Quantitativer Mechanismus: Es identifiziert einen spezifischen geometrischen Mechanismus – den Zwei-Punkt-Amplitudendefekt – der Kreise charakterisiert und quantifiziert, wie Abweichungen von der Zirkularität die Existenz von Hochfrequenz-Lösungen verhindern.
3. Auflösung von Hochfrequenz-Gegenbeispielen: Die Ergebnisse klären, warum jüngste Gegenbeispiele (die für spezifische Frequenzen oder unbeschränkte Domänen existieren) die Vermutung im Hochfrequenzbereich für kontrollierte konvexe Klassen nicht widerlegen. Das Papier stellt klar, dass zwar Gegenbeispiele unterhalb einer bestimmten Frequenzschwelle existieren können, diese jedoch oberhalb eines klassenabhängigen Cutoffs ausgeschlossen sind.

Die Autoren geben explizit an, dass ihre Ergebnisse auf den zweidimensionalen Fall beschränkt sind und keine „All-Frequenz“-Rigiditäts-Theorem darstellen (d. h. sie schließen nicht die Existenz einer endlichen Anzahl außergewöhnlicher Eigenwerte unterhalb des abgeleiteten Schwellenwerts aus). Die Schwelle $\alpha_0(\Omega)$ hängt von der spezifischen Geometrie der Domäne ab, nicht nur von der Klasse, was bedeutet, dass es sich um einen „Hochfrequenz-Ausschluss“ und nicht um eine universelle Aussage für alle Eigenwerte handelt.