Régularité pour une équation fortement dégénérée avec dépendance explicite en $u$

Informations de base

• ID de l'article : 2511.00976
• Titre : Regularity for a strongly degenerate equation with explicit $u$-dependence
• Auteur : Miriam Piccirillo (Università degli Studi di Napoli "Federico II")
• Classification : math.AP (Analyse des EDP)
• Date de soumission : 2 novembre 2025
• Lien de l'article : https://arxiv.org/abs/2511.00976

Résumé

Cet article étudie les solutions faibles locales d'équations aux dérivées partielles elliptiques fortement dégénérées : $\mathrm{div}\left(a(x)(|Du|-1)^{p-1}_+\frac{Du}{|Du|}\right)=b(x,u) \text{ dans } \Omega$ où $2\leq p<\infty$, $\Omega$ est un ouvert de $\mathbb{R}^n$ ($n>2$), et $(\cdot)_+$ désigne la partie positive. Sous des hypothèses appropriées sur les données $b(x,u)$ et le coefficient $a(x)$, l'auteur établit des résultats de différentiabilité d'ordre supérieur pour le gradient composé avec une fonction s'annulant à l'intérieur de la boule unité. L'innovation majeure par rapport aux travaux antérieurs du domaine réside dans la dépendance explicite du terme de droite en la solution $u$.

Contexte et motivation de la recherche

Importance du problème

1. Défis des équations elliptiques dégénérées : L'équation présente une dégénérescence généralisée—l'opérateur n'est uniformément elliptique que à l'extérieur de la boule unité centrée à l'origine, se comportant asymptotiquement comme le $p$-Laplacien classique dans cette région.
2. Contexte d'application : Ces équations proviennent de problèmes de transport optimal avec effets de congestion. Lorsque $a(x)=1$ et $b(x,u)=f(x)$, cette connexion a été étudiée en détail dans la littérature 10-13.
3. Difficultés doubles :
   • Dégénérescence généralisée de la partie principale
   • Dépendance explicite du terme de droite en la solution elle-même

Limitations des approches existantes

1. Résultats classiques : À partir des travaux fondateurs de Chipot et Evans 16, la recherche sur les problèmes généralisés dégénérés s'est concentrée sur les cas homogènes et autonomes. Les travaux ultérieurs 26, 31 ont établi la continuité Lipschitz des solutions faibles dans les cas de croissance super-quadratique et sous-quadratique.
2. Restrictions de régularité : Pour les problèmes généralisés dégénérés, la régularité des solutions ne peut pas dépasser Lipschitz. En effet, chaque fonction 1-Lipschitz est solution d'une équation elliptique homogène.
3. Recherches antérieures sur la dépendance en $u$ : Même pour l'équation de Laplace la plus simple, la dépendance en $u$ elle-même pose des difficultés (Brezis-Nirenberg 14). Les travaux antérieurs traitant les équations généralisées dégénérées avec terme de droite dépendant de la solution 29 imposaient des restrictions plus strictes sur le terme de droite.

Innovations de cet article

Par rapport à 29, cet article non seulement traite des hypothèses plus faibles sur $b(x,u)$, mais permet également des coefficients discontinus, supposant seulement que la fonction $a(x)$ possède une régularité $W^{1,n}$.

Contributions principales

1. Théorème principal (Théorème 1.1) : Sous les hypothèses (1.2)-(1.6), on démontre que la solution faible $u\in W^{1,p}_{loc}(\Omega)$ de l'équation (1.1) satisfait $H_{p/2}(Du)\in W^{1,2}_{loc}(\Omega)$, avec des estimations explicites.
2. Hypothèses relâchées :
   • Pour le coefficient $a(x)$ : régularité $W^{1,n}_{loc}(\Omega)$ seulement (peut être discontinu)
   • Pour les données $b(x,u)$ : croissance critique admise avec indice $q\leq p^*\left(\frac{p-2}{p}\right)+1$
3. Innovations techniques :
   • Établissement d'estimations a priori pour le problème gelé (Théorème 4.1)
   • Connexion du problème gelé au problème original via une méthode d'approximation régularisée
   • Application fine des inégalités de Hölder et des plongements de Sobolev
4. Résultats de différentiabilité supérieure : Pour la fonction $H_{p/2}(Du)=(|Du|-1)^{p-1}_+\frac{Du}{|Du|}$, on établit la régularité $W^{1,2}_{loc}$, ce qui ne fournit pas d'information de régularité du second ordre dans la région dégénérée, mais fournit une information cruciale dans la région non dégénérée.

Détails de la méthode

Définition de la tâche

Entrée : Équation elliptique généralisée dégénérée (1.1), avec coefficient $a(x)$ et données $b(x,u)$ satisfaisant des conditions spécifiques

Sortie : Preuve de la différentiabilité supérieure de la solution faible, c'est-à-dire $H_{p/2}(Du)\in W^{1,2}_{loc}(\Omega)$, et établissement d'estimations quantitatives

Contraintes :

• $2\leq p<\infty$, $n>2$
• $a(x)\in W^{1,n}_{loc}(\Omega)$, $m<a(x)<M$ p.p.
• $b(x,u)$ satisfait les conditions de croissance (1.3)-(1.4), avec fonctions associées $k(x)\in L^s_{loc}(\Omega)$, $h(x)\in L^\gamma_{loc}(\Omega)$

Cadre technique principal

1. Définition de la fonction auxiliaire

Introduction de la fonction auxiliaire $H_\gamma:\mathbb{R}^n\to\mathbb{R}^n$ :