An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

Technische Zusammenfassung: Eine isoperimetrische Ungleichung für Neumann-Eigenwerte niedriger Ordnung im Gauss-Raum

Problemstellung
Diese Arbeit befasst sich mit der Optimierung von Neumann-Eigenwerten des Witten-Laplacians (oder Ornstein-Uhlen-Uhlen-Operators) im Kontext des Gaußschen Maßes. Insbesondere untersuchen die Autoren den harmonischen Mittelwert der ersten $m-1$ nicht-null Eigenwerte, bezeichnet als $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$, für eine zusammenhängende Lipschitz-Domäne $\Omega \subset \mathbb{R}^m$. Die zentrale Frage ist, welche Domänenform den harmonischen Mittelwert unter der Nebenbedingung eines festen Gaußschen Volumens maximiert.

Während die klassische Szegö-Weinberger-Ungleichung etabliert, dass die Kugel eindeutig den ersten nicht-null Neumann-Eigenwert ($\mu_1$) im euklidischen Raum maximiert, und das entsprechende Gaußsche Analogon durch Chiacchio und Di Blasio für originensymmetrische Domänen bewiesen wurde, blieb das Verhalten niedrigerer Eigenwerte (speziell der Summe ihrer Kehrwerte) im Gaußschen Raum eine offene Frage. Die vorliegende Arbeit sucht, das Szegö-Weinberger-Ergebnis auf den harmonischen Mittelwert der ersten $m-1$ Eigenwerte für am Ursprung symmetrische Domänen zu verallgemeinern.

Methodik
Der Beweis des Hauptsatzes beruht auf einem Variationsansatz in Kombination mit Symmetrisierungstechniken, die an das Gaußsche Maß angepasst sind. Die Methodik vollzieht sich durch die folgenden Schritte:

1. Variative Charakterisierung: Die Autoren nutzen die Standard-Rayleigh-Quotient-Formulierung für Neumann-Eigenwerte im gewichteten Sobolev-Raum $H^1(\Omega, d\gamma_m)$. Die Eigenwerte werden als Infima über Unterräumen charakterisiert, die orthogonal zu den Eigenfunktionen niedrigerer Ordnung stehen.
2. Analyse der Kugel: Eine detaillierte Spektralanalyse des ersten nicht-null Eigenwerts $\mu_1(B_R)$ für eine im Ursprung zentrierte Kugel $B_R$ wird durchgeführt. Die Autoren stellen fest, dass:
   • $\mu_1(B_R)$ die Multiplizität $m$ besitzt.
   • Die entsprechenden Eigenfunktionen die Form $u_i(x) = g(r)\psi_i(\theta)$ annehmen, wobei $\psi_i$ lineare Koordinatenfunktionen sind.
   • Der radiale Teil $g(r)$ eine spezifische Sturm-Liouville-Gleichung erfüllt.
   • Entscheidend ist, dass Lemma 2.3 beweist, dass die radiale Eigenfunktion $g(r)$ streng monoton steigend ist und die Ungleichung $g'(r) \leq g(r)/r$ für $r \in (0, R]$ erfüllt.
3. Konstruktion von Testfunktionen: Um die Eigenwerte einer beliebigen symmetrischen Domäne $\Omega$ zu beschränken, konstruieren die Autoren Testfunktionen $v_i(x)$ basierend auf den Eigenfunktionen der Vergleichskugel $B$. Diese Funktionen sind definiert als $v_i(x) = G(|x|) \frac{x_i}{|x|}$, wobei $G(r)$ eine Erweiterung der radialen Eigenfunktion $g(r)$ ist, die außerhalb des Radius der Kugel konstant bleibt.
4. Orthogonalität und QR-Zerlegung: Da $\Omega$ am Ursprung symmetrisch ist, haben die Testfunktionen $v_i$ einen Mittelwert von Null. Die Autoren verwenden ein Argument der QR-Zerlegung, um das Koordinatensystem zu rotieren, wodurch sichergestellt wird, dass die Testfunktionen die notwendigen Orthogonalitätsbedingungen gegenüber den ersten $i-1$ Eigenfunktionen von $\Omega$ erfüllen. Dies ermöglicht es $v_i$, als gültige Testfunktionen für die variative Charakterisierung von $\mu_i(\Omega)$ zu dienen.
5. Gaußsche Symmetrisierung: Der Beweis nutzt ein Monotonie-Lemma (Lemma 3.1) bezüglich der Gaußschen Umordnung. Dieses Lemma besagt, dass das Integral über $\Omega$ durch das Integral über die Kugel $B$ desselben Gaußschen Volumens beschränkt ist, sofern es sich um eine nicht-steigende radiale Funktion $h(r)$ handelt. Dies wird auf die Terme angewendet, die $G(r)$ und seine Ableitungen beinhalten.
6. Synthese der Ungleichung: Durch Summation der variativen Ungleichungen für $i=1$ bis $m$ und unter Nutzung der Monotonie-Eigenschaften von $g(r)$ sowie der Ordnung der Eigenwerte $\mu_1 \leq \dots \leq \mu_m$ leiten die Autoren eine untere Schranke für die Summe der Kehrwerte ab.

Wesentliche Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 1.1, welches eine scharfe isoperimetrische Ungleichung für den harmonischen Mittelwert der ersten $m-1$ nicht-null Neumann-Eigenwerte im Gauß-Raum etabliert.

Sei $\Omega \subset \mathbb{R}^m$ eine Lipschitz-Domäne, die am Ursprung symmetrisch ist, und sei $B$ die im Ursprung zentrierte Kugel mit demselben Gaußschen Volumen wie $\Omega$. Dann gilt:
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
Die Gleichheit gilt genau dann, wenn $\Omega = B$.

Bedeutung und Behauptungen
Das Papier behauptet, dass dieses Ergebnis eine Szegö-Weinberger-Typ Ungleichung im Gauß-Raum verallgemeinert, die zuvor von Chiacchio und Di Blasio (speziell Theorem 4.1 in [12]) etabliert wurde, welche jedoch nur den ersten Eigenwert $\mu_1$ behandelte. Durch den Beweis der Ungleichung für den harmonischen Mittelwert der ersten $m-1$ Eigenwerte liefern die Autoren eine stärkere Beschränkung, die das ursprüngliche Ergebnis impliziert (da $\mu_1(\Omega) \leq \mu_1(B)$ eine direkte Konsequenz der Ungleichung des harmonischen Mittels unter Berücksichtigung der Ordnung der Eigenwerte ist).

Die Autoren merken an, dass dieses Ergebnis zwar die breitere Ashbaugh-Benguria-Vermutung bezüglich der Summe der Kehrwerte der ersten $m$ Eigenwerte im euklidischen Raum stützt, die Frage jedoch offen bleibt, ob diese Vermutung im Gauß-Raum ohne die Annahme der Symmetrie gilt. Die Symmetrie-Annahme in dieser Arbeit ist essenziell, um die Gültigkeit der Orthogonalitätsbedingungen zu gewährleisten, die für die Testfunktionen erforderlich sind.

Das Papier schlägt keine neuen Anwendungen oder experimentellen Vorschläge vor, sondern konzentriert sich strikt auf die Erweiterung des theoretischen Rahmens der spektralen Geometrie in Gauß-Räumen.