Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

Technische Zusammenfassung: Lösbarkeit des Neumann-Problems für elliptische Gleichungen in Chord-Arc-Domänen mit sehr großen Teilen guter Superdomänen

Problemstellung
Die Arbeit befasst sich mit der Lösbarkeit des Neumann-Problems für elliptische Operatoren in Divergenzform, $L = -\text{div}(A\nabla)$, innerhalb beschränkter Chord-Arc-Domänen $\Omega \subset \mathbb{R}^{n+1}$. Die Koeffizienten der Matrix $A$ werden als Dini-Mitteloszillation (DMO) vorausgesetzt. Die zentrale Herausforderung besteht darin, die $L^p$-Lösbarkeit des Neumann-Problems zu etablieren, bezeichnet als $(N_p)_L$, für $1 < p \le 2$.

Während die Lösbarkeit des Dirichlet-Problems $(D_p)_L$ und des Regularitätsproblems $(R_p)_L$ in Chord-Arc-Domänen für den Laplace-Operator und bestimmte Klassen von Operatoren (z. B. DKP-Operatoren) umfassend untersucht und geklärt wurde, bleibt das Neumann-Problem signifikant schwieriger. Im Gegensatz zum Dirichlet-Problem besitzt das Neumann-Problem kein Maximumprinzip, das eine Übertragung der Lösbarkeit von Teilbereichen auf die ursprüngliche Domäne ermöglicht. Zudem besitzt die Neumann-Funktion kein definites Vorzeichen, was die Verwendung von Techniken der positiven harmonischen Maßtheorie verhindert. Die Autoren adressieren gezielt die offene Frage, ob $(N_p)_L$ in Chord-Arc-Domänen lösbar ist – ein Problem, das von Kenig und später von Toro im Kontext, in dem der Rand eine schwache $p$-Poincaré-Ungleichung unterstützt, hervorgehoben wurde.

Methodik
Die Autoren verwenden ein „Good $\lambda$“-Ungleichungsargument in Kombination mit einem Bootstrapping-Verfahren und Dualität. Die Methodik stützt sich auf mehrere zentrale technische Komponenten:

1. Dualformulierungen und raue Neumann-Probleme: Die Autoren führen Varianten des Neumann-Problems ein, einschließlich „rauer Neumann-Probleme“ und $\rho$-glatter Versionen. Sie nutzen Dualitätsargumente, um die Lösbarkeit des Neumann-Problems $(N_p)_L$ mit der Lösbarkeit eines „rauen“ Neumann-Problems für den adjungierten Operator $L^*$ in Lorentz-Räumen ($L^{p', \infty}$) in Beziehung zu setzen. Konkret stellen sie fest, dass $(N_p)_L$ genau dann lösbar ist, wenn das raue Neumann-Problem $(N^R_{L^{p'}})_{L^*}$ lösbar ist, unter der Voraussetzung, dass das Regularitätsproblem $(R_q)_L$ für ein $q > p$ in $\Omega$ lösbar ist.

2. Lokalisierung und Superdomänen: Eine zentrale Innovation ist die Verwendung von „sehr großen Teilen“ von Superdomänen. Die Autoren nehmen an, dass für jede Kugel $B(\xi, r)$ auf dem Rand eine „Superdomäne“ $U_{\xi,r}$ (eine $C^2$-Chord-Arc-Domäne) existiert, sodass $\Omega \cap B(\xi, r) \subset U_{\xi,r}$ gilt. Entscheidend ist, dass das Neumann-Problem in diesen Superdomänen uniform lösbar angenommen wird. Die Bedingung erfordert, dass der „schlechte“ Teil des Randes $\partial \Omega \setminus \partial U_{\xi,r}$ im Verhältnis zur Kugel einen kleinen Maßanteil hat (kontrolliert durch einen Parameter $\varepsilon$).

3. Good $\lambda$ Ungleichung und Interpolation: Der Beweis des Hauptsatzes beruht auf der Etablierung einer Abschätzung der Form:
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   Durch Wahl eines hinreichend kleinen $\varepsilon$ kann der Term, der die unbekannte Konstante auf der rechten Seite enthält, absorbiert werden, was eine uniforme Schranke ergibt. Diese Abschätzung wird mithilfe eines Lokalisierungslemmas (Lemma 4.3) abgeleitet, welches die Lösung in lokale und Fernfeld-Teile zerlegt und dabei die Neumann-Funktion sowie deren Eigenschaften (Moser-Abschätzungen, Hölder-Stetigkeit) nutzt.

4. Approximation und Dichte: Die Autoren verwenden $\rho$-glatte Approximationen der Identität ($S_\rho$), um den Mangel an Glattheit der Randdaten und der Koeffizienten des Operators zu handhaben. Sie zeigen, dass die Lösbarkeit für die glatten Versionen die Lösbarkeit für die rauen Versionen via Dichteargumente und Interpolation zwischen Lorentz-Räumen impliziert.

Wesentliche Beiträge und Ergebnisse
Das primäre Ergebnis ist Theorem 1.1, welches besagt:
Sei $\Omega \subset \mathbb{R}^{n+1}$ eine beschränkte $C^1$-Chord-Arc-Domäne und $L \in \text{EDMO}(\mathbb{R}^{n+1})$. Für $p \in (1, 2)$ gilt: Wenn:

1. Das Regularitätsproblem $(R_q)_L$ in $\Omega$ für ein $q > p$ lösbar ist;
2. $\partial \Omega$ eine schwache $p$-Poincaré-Ungleichung unterstützt;
3. $\Omega$ „sehr große Teile“ von Superdomänen $U_{\xi,r}$ (speziell $C^2$-Chord-Arc-Domänen) besitzt, für die das Neumann-Problem $(N_q)_L$ uniform lösbar ist, und das Maß der Differenz des Randes klein ($\varepsilon$-klein) ist;

Dann ist das Neumann-Problem $(N_p)_L$ in $\Omega$ lösbar.

Ein spezifischer Korollar (Korollar 1.2) wendet dies auf den Laplace-Operator ($\Delta$) an. Es besagt, dass wenn $(R_q)_\Delta$ in einer $C^1$-Chord-Arc-Domäne lösbar ist und die Domäne sehr große Teile von Lipschitz-Superdomänen mit uniform lösbaren Neumann-Problemen besitzt, dann ist auch $(N_p)_\Delta$ in dieser Domäne lösbar.

Bedeutung und Ansprüche
Die Autoren behaupten, dass Theorem 1.1 selbst für den Laplace-Operator ein neues Resultat darstellt. Sie merken an, dass zwar die Lösbarkeit von $(N_2)_\Delta$ in Lipschitz-Domänen ein klassisches Resultat (Jerison-Kenig) ist, die Erweiterung auf $L^p$ für $p \neq 2$ in raueren Domänen (Chord-Arc) jedoch ein offenes Problem war.

Die Bedeutung liegt in:

• Überwindung des Fehlens des Maximumprinzips: Die Autoren liefern eine Methode, um die Lösbarkeit von „guten“ Superdomänen auf die „raue“ Domäne $\Omega$ zu übertragen, ohne sich auf das Maximumprinzip zu verlassen, das für Neumann-Probleme nicht verfügbar ist.
• Adressierung von Kenigs offener Frage: Die Arbeit macht Fortschritte bei der Beantwortung der Frage, die Kenig (1991) und Toro (2010) aufgeworfen haben, bezüglich der Existenz eines $p > 1$, für den das Neumann-Problem in Chord-Arc-Domänen lösbar ist.
• Dualität und raue Neumann-Probleme: Das Paper führt eine Formulierung des „rauen“ Neumann-Problems ein und nutzt dessen Dualität mit dem Regularitätsproblem, was eine neue Perspektive auf die Lösbarkeit von Randwertproblemen in nicht-glatten Settings bietet.
• Optimalität der Bedingungen: Die Autoren räumen ein, dass ihr Beweis die „sehr große Teile“-Bedingung (kleines $\varepsilon$) benötigt, um die Fehlerterme in der Good $\lambda$-Ungleichung zu absorbieren. Sie diskutieren, dass eine iterative Anwendung ihres Theorems eventuell ein größeres $\varepsilon$ (näher an 1) erlauben könnte, um alle Chord-Arc-Domänen abzudecken, wenngleich dies aufgrund der Abhängigkeit der Konstanten im iterativen Prozess eine potenzielle Schwierigkeit bleibt.

Das Paper behauptet nicht, das Neumann-Problem für alle Chord-Arc-Domänen bedingungslos zu lösen, sondern etabliert die Lösbarkeit unter der spezifischen geometrischen Bedingung, dass die Domäne „sehr große Teile“ von Superdomänen besitzt, in denen das Problem bereits lösbar ist. Das Resultat schließt die Lücke zwischen der Lösbarkeit in Lipschitz- (oder $C^2$-) und der allgemeineren Chord-Arc-Umgebung.