Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

Résumé Technique : Transformée de Riesz et Inégalités Connexes pour les Opérateurs Elliptiques Dégénérés de Type Grushin

Énoncé du Problème
Cet article étudie la bornitude en $L^p$ de la transformée de Riesz et la validité de l'inégalité de Riesz inverse pour une classe d'opérateurs elliptiques dégénérés de type Grushin. L'opérateur $L$ est défini sur $\mathbb{R}^{n+m}$ par :
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
où $n, m \ge 1$, $0 < \alpha < 1$, et $\beta \ge 0$. Le gradient intrinsèque associé est $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$. La dégénérescence se produit sur l'ensemble singulier $\{x=0\}$.

Les questions centrales sont :

1. Bornitude de la Transformée de Riesz : Pour quels $p \in (1, \infty)$ l'inégalité $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$ est-elle vérifiée ?
2. Inégalité de Riesz Inverse : Pour quels $p$ l'inégalité inverse $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$ est-elle vérifiée ?

L'analyse est complexifiée par la géométrie anisotrope de l'espace de Grushin et le comportement de la réalisation de Friedrichs au voisinage de l'ensemble singulier, qui varie considérablement selon la dimension $n$ et le paramètre de dégénérescence $\alpha$.

Méthodologie
La stratégie de preuve repose sur l'établissement d'inégalités de Hölder inversées pour les gradients de fonctions $L$-harmoniques, en exploitant l'équivalence abstraite entre ces inégalités et la bornitude de la transformée de Riesz (Coulhon, Jiang, Koskela, Sikora). La méthodologie est divisée en régimes distincts basés sur la dimension et la dégénérescence :

1. Constructions de Noyaux et Analyse Explicite :

   • Réalisation de Friedrichs : Les auteurs caractérisent rigoureusement les conditions aux limites admissibles à l'ensemble singulier $\{x=0\}$. Pour $0 < \alpha < 1/2$, le domaine de la forme admet une trace commune, conduisant à des conditions d'appariement de flux. Pour $1/2 \le \alpha < 1$, l'ensemble singulier a une capacité nulle, séparant le domaine en deux demi-droites avec des conditions de flux nul sur chacune.
   • Noyaux de Poisson et de Green : Les auteurs construisent des noyaux de Poisson et de Green explicites adaptés à l'extension de Friedrichs. Cela implique une transformée de Fourier dans la variable $y$ et une décomposition en harmoniques sphériques (pour $n \ge 2$) ou une séparation des parties paires/impaires (pour $n=1$).
   • Fonctions de Bessel Modifiées : La partie radiale de l'opérateur se réduit à des équations de Bessel modifiées. L'analyse nécessite des estimations précises des ratios de fonctions de Bessel modifiées ($I_\nu$ et $K_\nu$).
     • Dans le cas $n \ge 2$, l'ordre $\nu_\ell$ des fonctions de Bessel dépend de la fréquence angulaire $\ell$ et tend vers l'infini. Les auteurs développent des estimations uniformes par rapport à l'ordre, qui sont cruciales pour contrôler l'interaction avec l'ensemble singulier.
     • Dans le cas $n=1$, le problème se réduit à une analyse de Bessel d'ordre fixe sur des demi-droites, mais avec des conditions aux limites distinctes (flux nul pour les composantes paires, trace nulle pour les composantes impaires).

2. Inégalité de Riesz Inverse via l'Annihilation Harmonique :

   • Pour l'inégalité inverse, particulièrement dans le régime fortement dégénéré ($n=1, \alpha \ge 1/2$) où les inégalités de Poincaré globales échouent, les auteurs emploient une méthode d'annihilation harmonique.
   • Cette technique isole le terme harmonique dominant dans le noyau de la transformée de Riesz (qui cause l'indéterminée dans certains régimes) et l'élimine via une intégration par parties dans la forme bilinéaire. Le terme restant est contrôlé à l'aide d'une inégalité de Hardy adaptée à Grushin.

3. Argument du Projecteur de Hodge :

   • Dans le cas unidimensionnel fortement dégénéré ($n=1, 1/2 \le \alpha < 1$), l'absence d'une inégalité de Poincaré globale empêche l'application directe des caractérisations standards de Hölder inversé. Les auteurs combinent l'inégalité de Riesz inverse avec un résultat de bornitude du projecteur de Hodge (critère de Shen) pour récupérer la plage complète de la transformée de Riesz.

Contributions Clés et Résultats

• Bornitude sur la Plage Complète pour $n \ge 2$ :
  Le Théorème 1.1 établit que pour $n \ge 2$ et $0 < \alpha < 1$, la transformée de Riesz est bornée sur toute la plage $1 < p < \infty$. Ceci est obtenu en prouvant l'estimation de Hölder inversée au point limite $(RH_\infty)$ près de l'ensemble singulier en utilisant des estimations de Bessel uniformes.

• Plage Limite et Obstruction au Point Limite pour $n=1$ Faiblement Dégénéré :
  Pour $n=1$ et $0 < \alpha < 1/2$, le Théorème 1.2 prouve que la transformée de Riesz est bornée si et seulement si $1 < p < \alpha^{-1}$.

  • Mécanisme : La composante impaire de la solution satisfait une condition de trace nulle à l'origine, se comportant comme $\text{sgn}(x)|x|^{1-2\alpha}$. Son gradient intrinsèque scale comme $|x|^{-\alpha}$, créant une singularité qui fait obstacle à la bornitude pour $p \ge \alpha^{-1}$.
  • Caractère Strict : L'article construit un contre-exemple démontrant l'échec de l'inégalité de Hölder inversée au point limite.

• Inégalité de Riesz Inverse pour Tous les Régimes :
  Le Théorème 1.3 établit l'inégalité de Riesz inverse pour tous $n, m \ge 1$.

  • Pour $n \ge 2$, elle est vérifiée pour tout $1 < p < \infty$.
  • Pour $n=1$, elle est vérifiée pour $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$. L'exposant exclu $p = (1-\alpha)^{-1}$ correspond au seuil de Hardy.
  • Crucialement, dans le cas fortement dégénéré ($n=1, \alpha \ge 1/2$), l'inégalité inverse est vérifiée pour tout $1 < p < \infty$ malgré l'échec de l'inégalité de Poincaré globale, grâce à la technique d'annihilation harmonique.

• Bornitude sur la Plage Complète pour $n=1$ Fortement Dégénéré :
  Le Théorème 1.4 prouve que pour $n=1$ et $1/2 \le \alpha < 1$, la transformée de Riesz est bornée pour toute la plage $1 < p < \infty$.

  • Mécanisme : La réalisation de Friedrichs sépare les deux demi-droites, sélectionnant la branche à flux nul sur chacune. Bien que l'inégalité de Poincaré globale échoue, la structure séparée permet une estimation de Hölder inversée locale renforcée. En combinant cela avec l'inégalité de Riesz inverse et la bornitude du projecteur de Hodge, on obtient le résultat sur la plage complète.

Signification et Revendications
L'article prétend fournir une description complète de la bornitude en $L^p$ de la transformée de Riesz pour les opérateurs de Grushin à travers tous les régimes de paramètres.

• Transition de Comportement : Une découverte clé est la "transition frappante" dans le comportement de l'ensemble singulier. Dans le cas unidimensionnel faiblement dégénéré, l'ensemble singulier agit comme une barrière créant une obstruction spécifique ($p < \alpha^{-1}$). Dans le cas fortement dégénéré, l'ensemble singulier sépare effectivement l'espace, mais la condition de flux nul sur les composantes séparées restaure la bornitude sur la plage complète.
• Nouveauté Technique : Le travail introduit des estimations uniformes par rapport à l'ordre des fonctions de Bessel modifiées dans le contexte des opérateurs de Grushin, nécessaires pour le cas de dimension supérieure. Il adapte également la méthode d'annihilation harmonique pour traiter les opérateurs dégénérés où l'ensemble singulier a une capacité nulle, contournant le besoin d'inégalités de Poincaré globales dans l'analyse de Riesz inverse.
• Limites : L'article note que les cas limites $p = \alpha^{-1}$ (pour $n=1, \alpha < 1/2$) et $p = (1-\alpha)^{-1}$ (pour l'inégalité de Riesz inverse) restent ouverts ou sont connus pour être les seuils exacts de l'échec, mais l'article ne résout pas la bornitude à ces points exacts.

Les résultats soulignent que la bornitude de la transformée de Riesz est sensible non seulement à la géométrie du noyau de la chaleur, mais spécifiquement au comportement local limite des fonctions harmoniques à l'ensemble singulier et à l'interaction entre la réalisation de Friedrichs et le gradient intrinsèque.