Wolff potential estimates for elliptic obstacle problems with generalized Orlicz growth

Technische Zusammenfassung: Wolff-Potential-Abschätzungen für elliptische Hindernisprobleme mit verallgemeinertem Orlicz-Wachstum

Problemstellung
Diese Arbeit untersucht elliptische Hindernisprobleme mit Maßdaten im Rahmen von verallgemeinerten Orlicz-Räumen. Die primär betrachtete Gleichung lautet:
$$-\text{div}\left( \frac{g(x, |Du|)}{|Du|} Du \right) = \mu \quad \text{in } \Omega,$$
unter der Hindernisbedingung $u \geq \psi$ fast überall in einer beschränkten Domäne $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$). Hierbei ist $\mu$ ein vorzeichenbehaftetes Radonmaß mit endlicher totaler Variation, und $g(x, t)$ stellt eine Nichtlinearität dar, die verallgemeinerte Orlicz-Wachstumsbedingungen erfüllt. Dieses Setting umfasst spezifische Fälle wie $p(x)$-Wachstum, gestörtes variablen Exponenten-Wachstum und Double-Phase-Wachstum. Die Hindernisfunktion $\psi$ wird vorausgesetzt in dem Musielak-Orlicz-Sobolev-Raum $W^{1,G}(\Omega)$ zu liegen, ohne dass höhere Regularitätsannahmen (z. B. $W^{2,1}$) auf das Hindernis erforderlich sind, wie sie in der vorangegangenen Literatur vorhanden waren.

Methodik
Die Autoren verwenden einen vereinheitlichten Ansatz zur Behandlung der elliptischen Hindernisprobleme, um die Notwendigkeit einer getrennten Behandlung der Fälle $p < 2$ und $p \geq 2$ zu vermeiden. Die Methodik verläuft durch die folgenden Stadien:

1. Existenztheorie: Die Existenz von Lösungen im Musielak-Orlicz-Raum wird mittels Approximationsverfahren etabliert. Die Autoren betrachten eine Sequenz approximierender Probleme mit regularisierten Daten $f_i \in L^1(\Omega) \cap (W^{1,G}(\Omega))'$, die gegen das Maß $\mu$ konvergieren. Durch Nutzung der Reflexivität des Raumes und Kompaktheitsargumente (Banach-Alaoglu- und Dunford-Pettis-Sätze) beweisen sie die Existenz eines Grenzwerts der approximierenden Lösungen.
2. Vergleichsabschätzungen: Ein mehrstufiges Vergleichsargument wird eingesetzt, um die Lücke zwischen der Lösung des inhomogenen Hindernisproblems und Lösungen zu homogenen Gleichungen zu schließen. Der Prozess umfasst:
   • Den Vergleich der Lösung $u$ mit einer Lösung $w_1$ eines homogenen Hindernisproblems mit denselben Randbedingungen.
   • Den Vergleich von $w_1$ mit einer Lösung $w_2$ eines Problems mit regularisierten Koeffizienten (unter Verwendung einer regularisierten Orlicz-Funktion $\tilde{G}$).
   • Den Vergleich von $w_2$ mit einer Lösung $w_3$ einer verwandten elliptischen Gleichung ohne die Hindernisbedingung.
   • Den Vergleich von $w_3$ mit einer Lösung $w_4$ einer homogenen Gleichung mit eingefrorenen Koeffizienten.
3. Exzess-Zerfall und Potentialabschätzungen: Unter Nutzung der Vergleichsabschätzungen leiten die Autoren Exzess-Zerfallsschätzungen für die Gradienten ab. Diese Abschätzungen werden anschließend iteriert, um punktweise Schranken zu erhalten. Der Kern der Analyse stützt sich auf das Wolff-Potential und die eingeschränkten fraktionalen Maximalfunktionen, um den Einfluss der Maßdaten $\mu$ und des Hindernisses $\psi$ auf die Regularität der Lösung zu quantifizieren.

Wesentliche Beiträge und Ergebnisse

• Existenz von Lösungen (Theorem 1.13): Die Arbeit etabliert die Existenz mindestens einer approximierbaren Lösung des Hindernisproblems $OP(\psi; \mu)$ im Musielak-Orlicz-Raum $T^{1,G}_h(\Omega)$ unter minimalen strukturellen Annahmen auf die Wachstumsfunktion $G$ (speziell die Bedingungen (aInc)$_p$, (aDec)$_q$, (A0) und (A1)).
• Punktweise Gradientenabschätzungen (Theorem 1.15): Die Autoren leiten punktweise Abschätzungen für die Gradienten in Abhängigkeit vom Wolff-Potential $W^\mu_{\beta, p}$ und der eingeschränkten scharfen fraktionalen Maximalfunktion $M^\#_{\alpha, R}$ ab. Diese Abschätzungen berücksichtigen explizit die Maßdaten $\mu$ und die Regularität des Hindernisses $\psi$. Die Abschätzungen gelten unter der Annahme, dass das Hindernis eine Dini-BMO-Regularitätsbedingung erfüllt.
• Oszillation und $C^{1,\alpha}$-Regularität (Theorem 1.16): Durch die Verfeinerung der punktweisen Abschätzungen leitet die Arbeit Oszillationsabschätzungen für die Gradienten her. Speziell beweist sie, dass die Lösung $u$ eine $C^{1,\alpha}$-Regularität besitzt, sofern die Maßdaten und das Hindernis angemessene Integrabilitäts- und Regularitätsbedingungen (einschließlich Dini-Hölder-Regularität für das Modul der Stetigkeit) erfüllen. Die Gradientenabschätzungen sind wie folgt ausgedrückt:
  $$|Du(x) - Du(y)| \leq C |x-y|^\alpha \left( \text{Integralterme involvierend } Du, \mu, \text{ und } \psi \right).$$
  Die Schranken beinhalten das Wolff-Potential der Maßdaten sowie Integralterme im Zusammenhang mit dem Gradienten des Hindernisses.

Bedeutung und Ansprüche
Die Arbeit beansprucht, bisherige Erkenntnisse auf diesem Gebiet, insbesondere in [50, 51], erweitert zu haben, indem die Anforderung höherer Regularitätsbedingungen auf die Hindernisfunktion $\psi$ entfernt wurde. Vorangegangene Arbeiten nahmen oft an, dass $\psi \in W^{1,G}(\Omega) \cap W^{2,1}(\Omega)$ sei, um die vereinheitlichte Behandlung der Maß $\mu$ und des Hindernisterms $D\Psi$ zu erleichtern. Diese Arbeit zeigt auf, dass eine solche höhere Regularität nicht notwendig ist, um Wolff-Potential-Abschätzungen und $C^{1,\alpha}$-Regularität zu etablieren.

Darüber hinaus betonen die Autoren die Allgemeingültigkeit ihres Rahmens, der Orlicz-, variablen Exponenten- und Double-Phase-Wachstumsbedingungen unter einem einzigen Satz von Annahmen abdeckt. Ein wesentlicher technischer Vorteil ist die vereinheitlichte Behandlung der Fälle $p < 2$ und $p \geq 2$, was die Notwendigkeit unterschiedlicher analytischer Ansätze für verschiedene Wachstumsregime eliminiert. Die Ergebnisse liefern eine umfassende potentialtheoretische Beschreibung der Regularität von Lösungen zu elliptischen Hindernisproblemen mit Maßdaten im breiten Kontext von verallgemeinertem Orlicz-Wachstum.