$\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$

Résumé Technique : Bornes $L^p$ pour les transformations de Riesz paraboliques à coefficients rugueux

Énoncé du Problème
L'article traite de la bornitude des transformations de Riesz associées à des opérateurs différentiels paraboliques du second ordre, non autonomes, sous forme divergente sur $\mathbb{R}^{n+1}$. L'opérateur est défini par $H = \partial_t - \text{div}_x(A(x,t)\nabla_x)$, où la matrice de coefficients $A$ est bornée, mesurable et elliptique, dépendant de toutes les variables espace-temps. La transformation de Riesz associée est définie par $R_H = D H^{-1/2}$, où $D = (\nabla_x, D_t^{1/2})$ est le gradient parabolique impliquant une dérivée temporelle fractionnaire d'ordre $1/2$.

Bien que la bornitude en $L^2$ pour de tels opérateurs ait été établie via la résolution du problème de Kato parabolique, l'extension aux espaces $L^p$ pour $p \neq 2$ demeure un défi important. Dans le cadre elliptique avec des coefficients rugueux, les bornes $L^p$ sont typiquement restreintes à une sous-gamme d'exposants $1 < p < 2$ en raison du manque de régularité, et les arguments de dualité échouent pour $p > 2$. Pour les opérateurs paraboliques, la situation est davantage compliquée par la nature non locale de la dérivée temporelle d'ordre demi et par le couplage des variables espace et temps par les coefficients mesurables, ce qui empêche l'utilisation des techniques classiques de multiplicateurs de Fourier qui séparent les variables.

Méthodologie et Idées Clés
Les auteurs développent un nouveau cadre d'extrapolation qui repose sur deux géométries complémentaires pour gérer la décroissance espace-temps limitée des noyaux de l'opérateur :

1. Petites échelles : Cubes paraboliques $\Delta_r(x,t) = Q_r(x) \times I_r(t)$, reflétant la géométrie locale de l'opérateur.
2. Grandes échelles : Régions modélisées d'après les ensembles de niveau de la dérivée temporelle d'ordre demi d'un potentiel de Bessel parabolique. Il s'agit d'anneaux « étirés temporellement » où la dimension temporelle est étirée par un facteur $N^2$ par rapport à la dimension spatiale.

La stratégie technique centrale consiste à établir des estimations hors-diagonale espace-temps pour la famille d'opérateurs $(\lambda D E_\lambda)_{\lambda > 0}$, où $E_\lambda = (1 + \lambda^2 H)^{-1}$ est le résolvant. Contra à les approches précédentes qui reposaient sur l'interpolation d'estimations d'énergie en $L^2$ avec des bornes $L^p$, les auteurs dérivent de véritables estimations hors-diagonale en $L^p$. Ceci est crucial car la dérivée fractionnaire non locale $D_t^{1/2}$ implique que même les estimations $L^2$ sous-jacentes ne fournissent pas une décroissance suffisante pour $p$ en dessous du conjugué de Sobolev parabolique inférieur de 2 en utilisant l'interpolation standard.

La preuve procède par un argument de bootstrapping le long des conjugués de Sobolev paraboliques. En appliquant de manière itérative des critères d'extrapolation (spécifiquement une version à deux échelles du critère de Blunck–Kunstmann et un nouveau critère pour les opérateurs à décroissance limitée), les auteurs étendent la plage de bornitude de $p=2$ vers un exposant critique.

Contributions Clés et Résultats

1. Identification de la Plage Maximale : L'article établit les premières bornes $L^p$ pour les transformations de Riesz paraboliques avec des coefficients dépendant mesurablement de toutes les variables. Il identifie la plage ouverte maximale d'exposants $1 < p \leq 2$ pour laquelle $R_H$ est bornée. Cette plage est déterminée par l'exposant critique $p_-(H)$, défini comme l'infimum de $p$ pour lequel la famille de résolvants $(E_\lambda)$ est bornée en $L^p$.

   • Théorème 1.3 : Pour les coefficients complexes, $R_H$ est bornée sur $L^p$ pour tout $p \in (p_-(H), 2]$. Les auteurs prouvent que $p_-(H) = q_-(H)$ (où $q_-(H)$ est l'infimum pour la famille du gradient) et que cette valeur se situe dans l'intervalle $[1, 2^\star)$, où $2^\star = \frac{2(n+2)}{n+4}$ est le conjugué de Sobolev parabolique inférieur de 2.

2. Coefficients Réels : Dans le cas où les coefficients $A$ sont à valeurs réelles, les auteurs prouvent que $p_-(H) = 1$. Par conséquent, la transformation de Riesz est bornée sur la gamme complète $L^p$ pour tout $1 < p \leq 2$. De plus, la composante du gradient spatial $\nabla_x H^{-1/2}$ est montrée être de type faible $(1,1)$.

3. Optimalité : Les résultats sont montrés comme étant optimaux au sein de la classe des opérateurs paraboliques pour les dimensions spatiales $n \geq 2$. En utilisant les solutions faibles irrégulières construites par Mooney, les auteurs démontrent que pour tout $\epsilon > 0$, il existe des coefficients tels que $p_-(H) \geq 2^\star - \epsilon$. Cela confirme que la borne inférieure de la plage d'extrapolation ne peut être améliorée à 1 dans le cas général complexe sans hypothèses supplémentaires.

4. Nouveau Cadre d'Extrapolation : Le papier introduit un critère de bornitude (Théorème 5.1) adapté aux opérateurs présentant une « décroissance espace-temps limitée » qui ne s'inscrivent pas dans les espaces classiques de type homogène. Ce cadre permet l'extension itérative de la bornitude de $L^2$ vers l'exposant critique en redémarrant l'argument d'extrapolation à partir de n'importe quel exposant $q$ connu comme borné.

Signification et Revendications
L'article affirme fournir les premiers résultats sur les bornes $L^p$ pour les transformations de Riesz associées à des opérateurs paraboliques non autonomes avec des coefficients simplement mesurables dépendant de toutes les variables. La signification réside dans le fait de surmonter le couplage des variables espace et temps ainsi que la non-localité de la dérivée temporelle, qui obstruaient auparavant l'application de la théorie classique de Calderón–Zygmund.

Les auteurs soulignent que leur intuition géométrique — combinant les cubes paraboliques avec des régions étirées temporellement — permet de récupérer une décroissance hors-diagonale suffisante pour remplacer les arguments classiques par coordonnées. Le résultat est optimal en dimensions $n \geq 2$, identifiant la limitation précise imposée par la rugosité des coefficients. Pour les coefficients réels, le résultat récupère la gamme complète $1 < p \leq 2$, étendant les résultats précédents qui étaient limités aux opérateurs autonomes ou nécessitaient plus de régularité.

L'article conclut en notant que les techniques développées devraient être applicables à d'autres opérateurs non locaux, tels que les opérateurs de Stokes généralisés, et liste plusieurs problèmes ouverts, notamment la bornitude de type faible $(1,1)$ pour la transformation de Riesz complète avec des coefficients réels et le comportement en dimension $n=1$.