Régularité de Sobolev pour les équations fractionnaires perturbées de 1-Laplace dans le cas sous-quadratique

Informations fondamentales

• ID de l'article: 2510.14346
• Titre: Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case
• Auteurs: Dingding Li, Chao Zhang (École de Mathématiques, Université Polytechnique de Harbin)
• Classification: math.AP (Analyse Mathématique - Équations aux Dérivées Partielles)
• Date de publication: 16 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.14346v1

Résumé

Cet article étudie la régularité de Sobolev des solutions faibles de l'équation fractionnaire perturbée de 1-Laplace dans le cas sous-quadratique. Sous l'hypothèse que la solution faible est localement bornée, les auteurs établissent des propriétés de régularité analogues au cas surquadratique. En introduisant le seuil critique $\frac{p-1}{p}$, la plage du paramètre $s_p$ est divisée en deux cas distincts. Précisément, pour $s_p \in \left(0, \frac{p-1}{p}\right]$ et $q \geq p$, on démontre que la solution possède une régularité $W^{\gamma,q}_{\text{loc}}$ où $\gamma \in \left(0, \frac{s_p p}{p-1}\right)$; pour $s_p \in \left(\frac{p-1}{p}, 1\right)$ et $q \geq p$, on démontre une régularité $W^{1,q}_{\text{loc}}$. La méthode d'analyse repose sur la technique non-locale des différences finies combinée à un schéma d'itération de type Moser.

Contexte de recherche et motivation

Importance du problème

L'équation centrale étudiée dans cet article est l'équation fractionnaire perturbée de 1-Laplace: $(-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{dans} \Omega$

où $s_1, s_p \in (0,1)$, $p \in (1,2)$ (cas sous-quadratique), $\Omega \subset \mathbb{R}^N$ est un domaine borné.

Motivation de la recherche

1. Combler une lacune théorique: Les auteurs ont précédemment étudié le cas surquadratique ($p \geq 2$) dans 23, et cet article complète la théorie pour le cas sous-quadratique
2. Problèmes de croissance non-uniforme: Cette équation peut être considérée comme un cas particulier des problèmes de croissance $(p,q)$, possédant une structure de croissance différente
3. Applications pratiques: La version classique trouve des applications en mécanique des fluides et en science des matériaux
4. Défis techniques: La non-stricte convexité de la structure 1 crée des difficultés analytiques uniques

Limitations des méthodes existantes

• La formulation faible de l'opérateur fractionnaire 1-Laplace nécessite l'utilisation de la fonction signe multivaluée
• L'énergie peut être discontinue, et l'existence de solutions nécessite des conditions de petitesse
• Les méthodes variationnelles traditionnelles ne s'appliquent pas directement

Contributions principales

1. Établissement d'une théorie complète de régularité dans le cas sous-quadratique: Démonstration de deux théorèmes principaux couvrant différentes plages du paramètre $s_p$
2. Introduction du seuil critique $\frac{p-1}{p}$: Ce seuil détermine l'existence du gradient $\nabla u$, différent du seuil $\frac{p-2}{p}$ pour l'équation fractionnaire $p$-Laplace
3. Développement d'une méthode d'analyse systématique: Combinaison de la technique non-locale des différences finies et de l'itération de type Moser
4. Obtention de résultats de régularité quasi-optimaux: Régularité de Sobolev et Hölder quasi-optimale dans les plages de paramètres respectives

Détails de la méthode

Définition du problème

Étude de la régularité de la solution faible $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)$, où la solution faible satisfait:

1. Il existe une fonction $Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N)$ telle que $Z \in \text{sgn}(u(x)-u(y))$
2. Pour toute fonction test $\phi$, l'identité intégrale (1.4) est satisfaite

Méthodes techniques principales

1. Technique non-locale des différences finies

Définition de l'opérateur de différence $\tau_h u(x) := u(x+h) - u(x)$, contrôle de la croissance de $\int_{B_r} |\tau_h u|^q dx$ pour établir la régularité.

2. Estimations d'énergie (Proposition 3.3)

Établissement de l'inégalité clé: $\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$

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

3. Schéma d'itération de type Moser

Définition de la suite $\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}$

Amélioration progressive des indices de régularité par itération.

Points d'innovation technique

1. Traitement de la singularité de la structure 1: Utilisation de fonctions multivaluées $Z$ pour traiter la non-différentiabilité de $\frac{u(x)-u(y)}{|u(x)-u(y)|}$
2. Nouvelle analyse des seuils: Découverte que $\frac{p-1}{p}$ est le seuil critique déterminant l'existence du gradient
3. Estimations d'énergie améliorées: Comparé au cas surquadratique, les estimations de régularité locale dans le cas sous-quadratique dépendent de plus de paramètres

Configuration expérimentale

Cet article est une recherche purement théorique sans expériences numériques. Tous les résultats sont obtenus par démonstration mathématique rigoureuse.

Outils techniques principaux

• Lemmes 2.5-2.6: Inégalités algébriques pour traiter les termes non-linéaires
• Lemmes 2.7-2.11: Lemmes fondamentaux de la technique des différences finies
• Lemme 3.1: Estimations intégrales pour les termes $p$-croissance non-locale

Résultats principaux

Théorème 1.3 (Cas 1: $s_p \in (0, \frac{p-1}{p}]$)

Pour une solution faible localement bornée $u$, on a $u \in W^{\sigma,q}_{\text{loc}}(\Omega)$, où $q \geq p$, $s_p \leq \sigma < \frac{s_p p}{p-1}$.

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

Théorème 1.4 (Cas 2: $s_p \in (\frac{p-1}{p}, 1)$)

Pour une solution faible localement bornée $u$, on a $u \in W^{1,q}_{\text{loc}}(\Omega)$, $q \geq p$.

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

Corollaires de régularité Höldérienne

Corollaire 1.5: Pour $s_p \in (0, \frac{p-1}{p}]$, $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0, \frac{s_p p}{p-1})$

Corollaire 1.6: Pour $s_p \in (\frac{p-1}{p}, 1)$, $u \in C^{0,\gamma}_{\text{loc}}(\Omega)$, $\gamma \in (0,1)$

Régularité du gradient

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

Travaux connexes

Cas classique

• Giga-Tsubouchi 19: Continuité du gradient pour les solutions faibles convexes
• Tsubouchi 35: Suppression de la condition de convexité, établissement de la régularité $C^1$ intérieure
• De Filippis-Mingione 13: Étude de fonctionnelles à croissance proche de la linéarité

Cas fractionnaire

• Travaux antérieurs des auteurs 23: Théorie complète du cas surquadratique ($p \geq 2$)
• Série de travaux Brasco-Lindgren 6,7: Théorie de régularité de l'équation fractionnaire $p$-Laplace
• Garain-Lindgren 18: Cas sous-quadratique de l'équation fractionnaire $p$-Laplace

Conclusions et discussion

Conclusions principales

1. Perfectionnement du système théorique: Combinaison avec les résultats précédents du cas surquadratique, formant une théorie complète de régularité pour l'équation fractionnaire perturbée de 1-Laplace
2. Révélation du seuil critique: Importance de $\frac{p-1}{p}$, reflétant l'influence essentielle de la structure 1 sur le problème
3. Obtention de résultats quasi-optimaux: Régularité quasi-optimale obtenue dans les limites techniques

Limitations

1. Hypothèse de bornitude locale: Nécessité de présupposer la bornitude locale de la solution faible
2. Limitations de l'itération: Dans le cas $s_p \in (\frac{p-1}{p}, 1)$, la technique des différences finies ne peut pas itérer indéfiniment
3. Dépendance paramétrique: Les estimations du cas sous-quadratique dépendent de plus de paramètres, les constantes peuvent ne pas être suffisamment précises

Directions futures

1. Suppression de l'hypothèse de bornitude: Recherche de l'obtention directe de la bornitude à partir de la définition de solution faible
2. Régularité au bord: Extension de l'analyse de régularité près de la frontière
3. Optimalité: Étude de l'optimalité des indices de régularité obtenus

Évaluation approfondie

Avantages

1. Complétude théorique: Comble la lacune théorique du cas sous-quadratique, formant un système complet avec le cas surquadratique
2. Innovation technique: Traitement astucieux de la singularité de la structure 1, développement de techniques analytiques applicables
3. Précision des résultats: Obtention d'indices de régularité quasi-optimaux et d'estimations précises
4. Systématicité de la méthode: Établissement d'une méthodologie systématique pour traiter ce type de problèmes

Insuffisances

1. Conditions préalables fortes: L'hypothèse de bornitude locale limite la généralité des résultats
2. Complexité technique: La démonstration implique de nombreux détails techniques, la lisibilité pourrait être améliorée
3. Limitations d'application: Principalement des résultats théoriques, la valeur d'application pratique est limitée

Portée d'impact

1. Valeur académique: Contribution importante à la théorie des équations elliptiques singulières non-locales
2. Signification méthodologique: Les techniques développées peuvent être généralisées à d'autres problèmes connexes
3. Complétude: Formation d'un cadre théorique complet avec la littérature existante

Domaines d'application

• Analyse de régularité des problèmes variationnels non-locaux
• Étude d'équations elliptiques avec structures de croissance différentes
• Analyse de modèles non-locaux dans le traitement d'images et autres applications

Références bibliographiques

L'article cite 38 références pertinentes, incluant principalement:

• 4-7,14,17,18: Littérature fondamentale sur les espaces de Sobolev fractionnaires et les techniques de différences finies
• 19,35: Théorie de régularité classique de l'équation perturbée de 1-Laplace
• 22,23: Travaux antérieurs connexes des auteurs
• 25,26: Travaux fondateurs de Marcellini sur les problèmes de croissance $(p,q)$

Cet article apporte une contribution théorique importante à la théorie de régularité de l'équation fractionnaire perturbée de 1-Laplace, les méthodes techniques sont innovantes, les résultats sont quasi-optimaux, et il représente un progrès important dans ce domaine.