On the fractional logarithmic $p$-Laplacian

Résumé technique : Sur le p-Laplacien logarithmique fractionnaire

Énoncé du problème et motivation
Ce papier introduit et étudie le p-Laplacien logarithmique fractionnaire, noté $(-\Delta)^{s+\log}_p$. L'opérateur est défini comme la dérivée première par rapport au paramètre d'ordre $t$ du p-Laplacien fractionnaire $(-\Delta)^t_p$, évaluée en un point arbitraire $s \in (0, 1)$. Alors que le cas linéaire ($p=2$) et le cas limite $s \to 0$ (menant au Laplacien logarithmique $L_\Delta$) ont été récemment étudiés par Chen et al. et Dyda et al., ce travail étend la théorie au cadre non linéaire et quasi-linéaire où $1 < p < \infty$.

La motivation principale découle de la nécessité de comprendre le comportement asymptotique des opérateurs fractionnaires et de développer un cadre fonctionnel rigoureux pour les problèmes pilotés par ce nouvel opérateur non local. Un défi majeur abordé est la différentiation du noyau intégral non local sous le signe d'intégrale, ce qui introduit une singularité logarithmique $|x-y|^{-N-sp} \ln|x-y|$. Ce facteur logarithmique modifie la structure de la singularité, en particulier dans la plage $1 < p < 2$, et change le signe du noyau pour $|x-y| > 1$, compliquant les arguments variationnels standards concernant la coercivité et la positivité.

Méthodologie et cadre fonctionnel
Les auteurs établissent un cadre d'analyse fonctionnelle complet basé entièrement sur des méthodes de variables réelles, évitant les techniques de transformée de Fourier qui ne sont pas disponibles pour $p \neq 2$.

1. Définition et représentation de l'opérateur :
   Le papier démontre que pour $u \in C^2_c(\mathbb{R}^N)$, l'application $t \mapsto (-\Delta)^t_p u(x)$ est de classe $C^1$ sur $(0, 1)$. La dérivée donne la représentation intégrale explicite :
   $$(-\Delta)^{s+\log}_p u(x) = B(N, s, p)(-\Delta)^s_p u(x) - p C(N, s, p) \text{P.V.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y)) \ln|x-y|}{|x-y|^{N+sp}} dy$$
   où $C(N, s, p)$ est une constante de normalisation spécifique assurant des limites correctes lorsque $s \to 0$ et $s \to 1$, et $B(N, s, p) = \frac{d}{ds} \ln C(N, s, p)$. Il est démontré que le noyau $K^{s+\log}_p$ change de signe, se décomposant en parties positive et négative.

2. Espaces d'énergie :
   L'espace d'énergie naturel $W^{s+\log,p}_0(\Omega)$ est introduit, défini via une semi-norme de type Gagliardo impliquant la partie positive du noyau logarithmique. Les auteurs démontrent que cet espace est un espace de Banach séparable, uniformément convexe et réflexif. Ils établissent que cet espace se situe strictement entre les espaces de Sobolev fractionnaires standards $W^{s+\epsilon,p}_0(\Omega)$ et $W^{s,p}_0(\Omega)$.

3. Inégalités clés :
   Le papier dérive plusieurs inégalités fondamentales essentielles à l'analyse :

   • Inégalité de type Poincaré : Établissant le contrôle de la norme $L^p$ par la semi-norme logarithmique fractionnaire.
   • Inégalité de type Hardy : Une inégalité de Hardy au bord avec un poids logarithmique près du bord.
   • Inégalité de Díaz-Saa : Démontrée sous la condition géométrique $\text{diam}(\Omega) < e^{-1/sp}$, conduisant à des résultats d'unicité.
   • Inégalité de Gagliardo-Nirenberg : Interpolant entre $L^p$ et la norme logarithmique fractionnaire.
   • Identité de Pohozaev : Une identité de Pohozaev modifiée est dérivée, révélant une « mesure de défaut » strictement positive $\Gamma_{s,p}(u)$ résultant du poids logarithmique brisant l'homogénéité du noyau classique.

Résultats clés

• Propriétés d'immersion : Le papier établit des immersions continues de $W^{s+\log,p}_0(\Omega)$ dans $L^q(\Omega)$ pour $1 \le q \le p^*_s$ (où $p^*_s = Np/(N-sp)$). Crucialement, les auteurs prouvent l'immersion compacte à l'exposant critique $p^*_s$. Cela distingue le cadre logarithmique fractionnaire des espaces de Sobolev fractionnaires classiques, où la compacité échoue à l'exposant critique. Ce résultat implique que les concentrations de masse de Dirac ne se forment pas, rendant les arguments de concentration-compacité inutiles sur des domaines bornés.

• Problème de valeurs propres de Dirichlet : Les auteurs étudient le problème de valeurs propres non linéaire :
  $$(-\Delta)^{s+\log}_p u = \lambda |u|^{p-2}u \quad \text{dans } \Omega, \quad u = 0 \quad \text{dans } \mathbb{R}^N \setminus \Omega.$$
  Sous l'hypothèse géométrique $\text{diam}(\Omega) < e^{-1/sp}$ (qui assure que le noyau reste strictement positif sur $\Omega \times \Omega$) et $B(N, s, p) \ge 0$, ils démontrent :

  1. Existence : La première valeur propre $\lambda^{s+\log}_{1,p}$ est atteinte via la méthode directe du calcul des variations.
  2. Positivité et simplicité : La première valeur propre est strictement positive, et la fonction propre associée $\phi^{s+\log}_{1,p}$ est simple (unique à un facteur scalaire près) et strictement positive presque partout dans $\Omega$.
  3. Bornitude : Les fonctions propres sont globalement bornées ($L^\infty(\Omega)$).
  4. Principe du minimum fort : Un principe du minimum fort est établi pour les sur-solutions faibles, étendant les résultats précédents pour les opérateurs fractionnaires.

• Non-existence vs existence de Pohozaev : L'identité de Pohozaev dérivée inclut un terme de défaut $\Gamma_{s,p}(u) > 0$. Les auteurs notent que, contrairement au p-Laplacien fractionnaire classique, où l'identité de Pohozaev conduit souvent à des résultats de non-existence pour les exposants critiques sur des domaines étoilés, la présence de la mesure de défaut positive dans le cas logarithmique permet la possibilité de solutions critiques et sur-critiques.

Signification et affirmations
Le papier revendique fournir le premier cadre variationnel rigoureux pour le p-Laplacien logarithmique fractionnaire dans le régime non linéaire ($p \neq 2$). Sa signification réside dans :

1. Extension de la théorie linéaire : Généraliser avec succès la théorie du Laplacien logarithmique linéaire au cadre quasi-linéaire, surmontant les difficultés posées par l'absence de multiplicateurs de Fourier.
2. Compacité critique : Démontrer que la correction logarithmique induit une propriété de compacité plus forte à l'exposant critique de Sobolev, une caractéristique absente des espaces de Sobolev fractionnaires standards.
3. Insights structurels : Révéler comment le poids logarithmique brise l'invariance d'échelle, conduisant à une identité de Pohozaev modifiée avec une mesure de défaut qui altère fondamentalement la théorie de l'existence pour les problèmes critiques.
4. Propriétés spectrales : Établir l'existence, la simplicité et la positivité de la première valeur propre sous des contraintes géométriques spécifiques, fournissant une base pour une analyse spectrale ultérieure des opérateurs non locaux avec singularités logarithmiques.

Le travail est présenté comme une étape fondamentale, développant les outils nécessaires (espaces fonctionnels, inégalités et estimations de régularité) pour étudier les problèmes aux limites pilotés par cet opérateur, sans proposer d'applications physiques spécifiques au-delà du contexte mathématique des phénomènes non locaux.