Sobolev-Regularität für die gestörten fraktionalen 1-Laplace-Gleichungen im subquadratischen Fall

Grundlegende Informationen

• Paper-ID: 2510.14346
• Titel: Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case
• Autoren: Dingding Li, Chao Zhang (Harbin Institute of Technology, School of Mathematics)
• Klassifizierung: math.AP (Mathematische Analyse - Partielle Differentialgleichungen)
• Veröffentlichungsdatum: 16. Oktober 2025
• Paper-Link: https://arxiv.org/abs/2510.14346v1

Zusammenfassung

Diese Arbeit untersucht die Sobolev-Regularität von schwachen Lösungen gestörter fraktionaler 1-Laplace-Gleichungen im subquadratischen Fall. Unter der Annahme der lokalen Beschränktheit schwacher Lösungen etablieren die Autoren Regularitätseigenschaften, die denen des superquadratischen Falls ähneln. Durch Einführung eines kritischen Schwellwerts $\frac{p-1}{p}$ wird der Parameterbereich von $s_p$ in zwei verschiedene Fälle unterteilt. Konkret wird für $s_p \in \left(0, \frac{p-1}{p}\right]$ und $q \geq p$ die $W^{\gamma,q}_{\text{loc}}$-Regularität mit $\gamma \in \left(0, \frac{s_p p}{p-1}\right)$ nachgewiesen; für $s_p \in \left(\frac{p-1}{p}, 1\right)$ und $q \geq p$ wird die $W^{1,q}_{\text{loc}}$-Regularität nachgewiesen. Die Analysemethode beruht auf nichtlokalen endlichen Differenzenquotienten kombiniert mit Moser-Typ-Iterationsschemen.

Forschungshintergrund und Motivation

Bedeutung des Problems

Die Kerngleichung dieser Arbeit ist die gestörte fraktionale 1-Laplace-Gleichung: $(-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{in } \Omega$

wobei $s_1, s_p \in (0,1)$, $p \in (1,2)$ (subquadratischer Fall), $\Omega \subset \mathbb{R}^N$ ein beschränktes Gebiet ist.

Forschungsmotivation

1. Schließung einer theoretischen Lücke: Die Autoren untersuchten zuvor in 23 den superquadratischen Fall ($p \geq 2$); diese Arbeit vervollständigt die Theorie für den subquadratischen Fall
2. Probleme mit inhomogenem Wachstum: Die Gleichung kann als Spezialfall von $(p,q)$-Wachstumsproblemen betrachtet werden mit unterschiedlichen Wachstumsstrukturen
3. Praktische Anwendungen: Die klassische Version hat Anwendungen in der Strömungsmechanik und Materialwissenschaft
4. Technische Herausforderungen: Die fehlende strikte Konvexität der 1-Struktur führt zu einzigartigen analytischen Schwierigkeiten

Einschränkungen bestehender Methoden

• Die schwache Formulierung des fraktionalen 1-Laplace-Operators erfordert die Verwendung von mengenwertige Vorzeichenfunktionen
• Die Energie kann unstetig sein; die Existenz von Lösungen erfordert kleine Bedingungen
• Traditionelle Variationsmethoden lassen sich nicht direkt anwenden

Kernbeiträge

1. Etablierung einer vollständigen Regularitätstheorie im subquadratischen Fall: Zwei Hauptsätze werden nachgewiesen, die verschiedene Parameterbereiche von $s_p$ abdecken
2. Einführung des kritischen Schwellwerts $\frac{p-1}{p}$: Dieser Schwellwert bestimmt die Existenz des Gradienten $\nabla u$ und unterscheidet sich vom Schwellwert $\frac{p-2}{p}$ für fraktionale $p$-Laplace-Gleichungen
3. Entwicklung einer systematischen Analysemethode: Kombination nichtlokaler endlicher Differenzentechniken mit Moser-Typ-Iteration
4. Erreichung optimaler Regularitätsergebnisse: Nahezu optimale Sobolev- und Hölder-Regularität in den jeweiligen Parameterbereichen

Methodische Details

Aufgabenstellung

Untersuchung der Regularität von schwachen Lösungen $u \in W^{s_1,1}_{\text{loc}}(\Omega) \cap W^{s_p,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{s_p p}(\mathbb{R}^N)$, wobei die schwache Lösung erfüllt:

1. Es existiert eine Funktion $Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N)$ mit $Z \in \text{sgn}(u(x)-u(y))$
2. Für alle Testfunktionen $\phi$ gilt die Integralidentität (1.4)

Kernmethodische Techniken

1. Nichtlokale endliche Differenzenquotienten-Technik

Definition des Differenzenoperators $\tau_h u(x) := u(x+h) - u(x)$, durch Kontrolle von $\int_{B_r} |\tau_h u|^q dx$ wird Regularität etabliert.

2. Energieschätzungen (Proposition 3.3)

Etablierung der Schlüsselungleichung: $\int_{B_r} \int_{B_r} \frac{\left|J_{\frac{q}{p}+1}(\tau_h u(x)) - J_{\frac{q}{p}+1}(\tau_h u(y))\right|^p}{|x-y|^{N+\frac{s_p p^2}{2}+\sigma(1-\frac{p}{2})}} dx dy$$\leq \left(\frac{C}{(R-r)^{N+s_p p+1}}\right)^{\frac{p}{2}} \cdots$

wobei $J_\gamma(a) := |a|^{\gamma-2}a$.

3. Moser-Typ-Iterationsschema

Definition der Sequenz $\gamma_i$: $\gamma_0 = \gamma, \quad \gamma_{i+1} = \gamma_i\left(1-\frac{p^2}{2q}+\frac{p}{2q}\right) + \frac{s_p p^2}{2q}$

Durch Iteration wird der Regularitätsindex erhöht.

Technische Innovationen

1. Behandlung der Singularität der 1-Struktur: Durch Einführung mengenwertige Funktionen $Z$ wird die Nicht-Differenzierbarkeit von $\frac{u(x)-u(y)}{|u(x)-u(y)|}$ behandelt
2. Neue Schwellwertanalyse: Entdeckung, dass $\frac{p-1}{p}$ der kritische Schwellwert für die Existenz des Gradienten ist
3. Verbesserte Energieschätzungen: Im Vergleich zum superquadratischen Fall hängen die lokalen Regularitätsschätzungen im subquadratischen Fall von mehr Parametern ab

Experimentelle Einrichtung

Diese Arbeit ist rein theoretischer Natur und beinhaltet keine numerischen Experimente. Alle Ergebnisse werden durch strenge mathematische Beweise erhalten.

Haupttechnische Werkzeuge

• Lemmata 2.5-2.6: Algebraische Ungleichungen zur Behandlung nichtlinearer Terme
• Lemmata 2.7-2.11: Grundlegende Lemmata der endlichen Differenzentechnik
• Lemma 3.1: Integralschätzungen zur Behandlung nichtlokaler $p$-Wachstumsterme

Hauptergebnisse

Satz 1.3 (Fall 1: $s_p \in (0, \frac{p-1}{p}]$)

Für lokal beschränkte schwache Lösungen $u$ gilt $u \in W^{\sigma,q}_{\text{loc}}(\Omega)$, wobei $q \geq p$, $s_p \leq \sigma < \frac{s_p p}{p-1}$.

Schätzung: $[u]^q_{W^{\sigma,q}(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Satz 1.4 (Fall 2: $s_p \in (\frac{p-1}{p}, 1)$)

Für lokal beschränkte schwache Lösungen $u$ gilt $u \in W^{1,q}_{\text{loc}}(\Omega)$, $q \geq p$.

Schätzung: $\|\nabla u\|^q_{L^q(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa}$

Hölder-Regularitätsfolgerungen

Folgerung 1.5: Für $s_p \in (0, \frac{p-1}{p}]$ gilt $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0, \frac{s_p p}{p-1})$

Folgerung 1.6: Für $s_p \in (\frac{p-1}{p}, 1)$ gilt $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0,1)$

Regularität des Gradienten

Folgerung 1.8: Wenn $s_p \in (\frac{p-1}{p}, 1)$ und $q \geq 2$, dann $u \in W^{1+\alpha,q}_{\text{loc}}(\Omega), \quad \alpha \in \left(0, \frac{p}{2q}(s_p p - p + 1)\right)$

Verwandte Arbeiten

Klassische Fälle

• Giga-Tsubouchi 19: Nachweis der Gradientenstetigkeit für konvexe schwache Lösungen
• Tsubouchi 35: Entfernung der Konvexitätsbedingung, Etablierung innerer $C^1$-Regularität
• De Filippis-Mingione 13: Untersuchung von Funktionalen mit nahezu linearem Wachstum

Fraktionale Fälle

• Frühere Arbeiten der Autoren 23: Vollständige Theorie für den superquadratischen Fall ($p \geq 2$)
• Brasco-Lindgren-Arbeitsreihe 6,7: Regularitätstheorie für fraktionale $p$-Laplace-Gleichungen
• Garain-Lindgren 18: Subquadratischer Fall fraktionaler $p$-Laplace-Gleichungen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vervollständigung des theoretischen Systems: In Kombination mit den früheren superquadratischen Ergebnissen wird eine vollständige Regularitätstheorie für gestörte fraktionale 1-Laplace-Gleichungen gebildet
2. Offenlegung des kritischen Schwellwerts: Die Bedeutung von $\frac{p-1}{p}$ zeigt den wesentlichen Einfluss der 1-Struktur auf das Problem
3. Erreichung optimaler Ergebnisse: Nahezu optimale Regularität innerhalb technischer Grenzen

Einschränkungen

1. Annahme lokaler Beschränktheit: Erfordert die vorherige Annahme der lokalen Beschränktheit schwacher Lösungen
2. Iterationsbeschränkungen: Im Fall $s_p \in (\frac{p-1}{p}, 1)$ kann die Differenzenquotienten-Technik nicht unbegrenzt iteriert werden
3. Parameterabhängigkeit: Die Schätzungen im subquadratischen Fall hängen von mehr Parametern ab; Konstanten könnten nicht präzise genug sein

Zukünftige Richtungen

1. Entfernung der Beschränktheitsannahme: Untersuchung, ob Beschränktheit direkt aus der schwachen Formulierung folgt
2. Randregularität: Erweiterung auf Regularitätsanalyse in der Nähe des Randes
3. Optimalität: Untersuchung, ob die erhaltenen Regularitätsindizes optimal sind

Tiefgreifende Bewertung

Stärken

1. Theoretische Vollständigkeit: Schließt die theoretische Lücke im subquadratischen Fall und bildet mit dem superquadratischen Fall ein vollständiges System
2. Technische Innovation: Geschickte Behandlung der Singularität der 1-Struktur mit entwickelten anwendbaren Analysetechniken
3. Präzise Ergebnisse: Nahezu optimale Regularitätsindizes und präzise Schätzungen
4. Systematische Methodik: Etablierung einer systematischen Methodologie zur Behandlung solcher Probleme

Mängel

1. Starke Vorbedingungen: Die Annahme lokaler Beschränktheit schränkt die Allgemeinheit der Ergebnisse ein
2. Technische Komplexität: Der Beweis beinhaltet umfangreiche technische Details mit eingeschränkter Lesbarkeit
3. Begrenzte Anwendbarkeit: Hauptsächlich theoretische Ergebnisse mit begrenztem praktischem Anwendungswert

Einfluss

1. Akademischer Wert: Wichtiger Beitrag zur Theorie nichtlokaler singulärer elliptischer Gleichungen
2. Methodologische Bedeutung: Die entwickelten Techniken können auf andere verwandte Probleme verallgemeinert werden
3. Vollständigkeit: Bildet mit bestehender Literatur einen vollständigen theoretischen Rahmen

Anwendungsszenarien

• Regularitätsanalyse nichtlokaler Variationsprobleme
• Untersuchung elliptischer Gleichungen mit unterschiedlichen Wachstumsstrukturen
• Analyse nichtlokaler Modelle in der Bildverarbeitung und verwandten Anwendungen

Literaturverzeichnis

Das Paper zitiert 38 relevante Referenzen, hauptsächlich:

• 4-7,14,17,18: Grundlagenliteratur zu fraktionalen Sobolev-Räumen und endlichen Differenzentechniken
• 19,35: Regularitätstheorie klassischer gestörter 1-Laplace-Gleichungen
• 22,23: Frühere verwandte Arbeiten der Autoren
• 25,26: Bahnbrechende Arbeiten von Marcellini zu $(p,q)$-Wachstumsproblemen

Diese Arbeit leistet einen wichtigen theoretischen Beitrag zur Regularitätstheorie gestörter fraktionaler 1-Laplace-Gleichungen mit innovativen technischen Methoden und optimalen Ergebnissen und stellt einen bedeutenden Fortschritt in diesem Forschungsgebiet dar.