Robust interpolation inequalities via Chebyshev-type integral inequalities

Résumé Technique : Inégalités d'Interpolation Robustes via des Inégalités Intégrales de Type Chebyshev

Énoncé du Problème
L'article traite du manque de robustesse des inégalités d'interpolation log-convexes classiques dans l'échelle des semi-normes de Gagliardo. Les estimations d'interpolation standard, telles que $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, ne parviennent pas à rester cohérentes lorsque l'ordre fractionnaire $\eta$ approche les extrémités $0$ ou $1$. Plus précisément, les semi-normes $|u|_{W^{\eta,p}}$ présentent un comportement de blow-up singulier lorsque $\eta \to 0^+$ et $\eta \to 1^-$ pour des fonctions non constantes. Bien que des travaux antérieurs (Brezis–Bourgain–Mironescu [BBM01] et Maz'ya–Shaposhnikova [MS02]) aient établi des limites asymptotiques impliquant des facteurs tels que $\eta(1-\eta)$ pour annuler ces singularités, une inégalité d'interpolation robuste et unifiée, évitant ces anomalies sur l'ensemble de l'échelle $s \in [0,1]$ avec des constantes indépendantes de la dimension, n'avait pas été pleinement établie.

La motivation principale de ce travail est l'étude de la stabilité asymptotique des solutions faibles du problème de Dirichlet régional associé au $p$-laplacien fractionnaire régional $(-\Delta)^s_{p,\Omega}$ lorsque l'ordre fractionnaire $s$ approche $1$. Les auteurs visent à établir des résultats de convergence qui sont uniformes par rapport à $s$.

Méthodologie
La méthodologie centrale repose sur une décomposition de la semi-norme de Gagliardo en interactions à courte portée (locales) et à longue portée (non locales), définies via le module de continuité $L^p$ moyen $U(t)$.

1. Décomposition : La semi-norme de Gagliardo est divisée en intégrales sur des distances courtes ($0 < |x-y| \leq r$) et des distances longues ($|x-y| > r$). Celles-ci correspondent à l'interaction à courte portée $L_p(s, u, r)$ et à l'interaction à longue portée (queue fractionnaire) $T_p(s, u, r)$.
2. Inégalités de type Chebyshev : Une partie importante de l'article (Section 2) est consacrée à l'établissement de nouvelles inégalités intégrales pour des fonctions générales non synchrones (et non asynchrones). Les auteurs généralisent l'inégalité de Chebyshev classique aux cas de synchronicité $(b,c)$ et de monotonicité faible. Ces inégalités sont appliquées à des intégrales singulières de la forme $\int g(t) t^{z-1} dt$ pour prouver les propriétés de monotonicité des termes d'interaction par rapport à l'ordre fractionnaire $s$.
3. Analyse de la Monotonicité : Les auteurs prouvent que l'application $s \mapsto L_p(s, u, r)$ est croissante, tandis que $s \mapsto T_p(s, u, r)$ est essentiellement décroissante (plus précisément, « 2-presque décroissante » pour $d \geq 2$). Cette monotonicité est la pierre angulaire pour dériver les estimations d'interpolation robustes.
4. Renormalisation : L'article utilise des semi-normes renormalisées spécifiques $[u]_{W^{s,p}}$ et $[u]^*_{W^{s,p}}$, incorporant des constantes de normalisation (par exemple $s(1-s)$ et des constantes liées au laplacien fractionnaire) pour assurer des limites cohérentes lorsque $s \to 0$ et $s \to 1$.

Contributions Clés et Résultats

• Inégalités d'Interpolation Robustes (Théorème 1.1) : L'article établit des inégalités d'interpolation log-convexes robustes pour les semi-normes renormalisés $[u]_{W^{\eta,p}}$ et les semi-normes de Gagliardo $|u|_{W^{\eta,p}}$. Ces inégalités sont valables pour tout $0 \leq \sigma < \eta < s \leq 1$ avec des constantes qui restent bornées et bien définies lorsque $\eta \to 0$ ou $\eta \to 1$.

  • Pour la semi-norme renormalisée, l'inégalité prend la forme $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$, où la constante $N_p$ est indépendante de la dimension et bornée.
  • Dans le cas spécifique $p=2$, les auteurs dérivent une estimation plus fine avec une constante de 1 pour les semi-normes de Sobolev renormalisés, en utilisant la transformée de Fourier.

• Monotonicité des Interactions (Théorème 1.3) : Les auteurs prouvent que l'interaction à courte portée $L_p(s, u, r)$ est continue et croissante en $s$, tandis que l'interaction à longue portée $T_p(s, u, r)$ est continue et essentiellement décroissante (jusqu'à un facteur de 2 pour $d \geq 2$). Cela confirme que $L_p$ capture la régularité locale (convergeant vers la norme du gradient quand $s \to 1$) et que $T_p$ capture le comportement non local (convergeant vers la norme $L^p$ quand $s \to 0$).

• Analyse Asymptotique (Section 4) : L'article fournit une approche relativement simple des limites asymptotiques des semi-normes fractionnaires lorsque $s \to 0^+$ et $s \to 1^-$, retrouvant les résultats de Maz'ya–Shaposhnikova et Brezis–Bourgain–Mironescu. Il généralise également la formule de Maz'ya–Shaposhnikova à des ensembles ouverts arbitraires $\Omega$, en caractérisant la limite via un « secteur d'échappement » $S_\Omega(x)$.

• Convergence des Problèmes de Dirichlet Régionaux (Théorème 1.4) : Comme application principale, l'article prouve la convergence forte des solutions faibles $u_s$ du problème de Dirichlet du $p$-laplacien fractionnaire régional vers la solution faible $u_1$ du problème du $p$-laplacien local. Plus précisément, si les données convergent de manière appropriée, alors $\|u_s - u_1\|_{W^{\eta,p}(\Omega)} \to 0$ pour tout $0 \leq \eta < 1$ quand $s \to 1^-$. Ce résultat repose sur les inégalités d'interpolation robustes et sur une nouvelle inégalité de Poincaré–Friedrichs régionale robuste.

• Résolution d'un Problème Ouvert : L'inégalité d'interpolation robuste établie ici apporte une réponse positive à une question posée dans [BSY23, Question 1.10] concernant la robustesse de l'interpolation dans un cadre général.

Signification et Revendications
L'article affirme que sa contribution principale est l'établissement d'inégalités d'interpolation robustes qui évitent les singularités aux extrémités de l'échelle fractionnaire. En décomposant la semi-norme et en utilisant des inégalités de type Chebyshev généralisées, les auteurs obtiennent des estimations où les constantes sont indépendantes de la proximité du paramètre fractionnaire par rapport à 0 ou 1.

La signification de ce travail réside dans son application à la stabilité des limites non local à local. Les auteurs démontrent que ces inégalités sont suffisantes pour prouver la convergence forte des solutions du $p$-laplacien fractionnaire régional vers le $p$-laplacien local, un résultat qui nécessite un contrôle uniforme sur les semi-normes lorsque $s \to 1$. L'article souligne également une lacune en dimension $d=1$ concernant la monotonicité de l'interaction à longue portée, formulant une conjecture pour une constante $C_p$ dans ce cas, tout en notant que les résultats établis sont valables pour $d \geq 2$.

Le travail est présenté comme un avancement technique dans l'analyse des espaces de Sobolev fractionnaires, fournissant des outils (opérateurs d'extension robustes, monotonicité des intégrales singulières) qui facilitent l'étude des comportements asymptotiques dans les problèmes non locaux.