Global Schauder estimates for nondivergence stationary operators modeled on homogeneous Hörmander vector fields

1. Problématique et Contexte

L'objectif principal de cet article est d'établir des résultats de régularité globale et des estimations de Schauder pour des opérateurs différentiels du second ordre non-divergence de la forme :
$$L = \sum_{i,j=1}^m a_{ij}(x) X_i X_j$$
où :

• $\{X_i\}_{1\le i \le m}$ sont des champs de vecteurs de Hörmander sur $\mathbb{R}^n$ ($n > m$).
• Ces champs sont homogènes par rapport à une famille de dilatations non-isotropes $\{\delta_\lambda\}$, mais ne sont pas nécessairement invariants à gauche par rapport à une structure de groupe de Lie.
• La matrice des coefficients $A(x) = [a_{ij}(x)]$ est symétrique, uniformément définie positive, et ses entrées sont Hölder-continues par rapport à la distance de contrôle $d_X$ induite par les champs de vecteurs.

Le vide théorique comblé :
La littérature existante (Folland, Rothschild-Stein, Bramanti, Brandolini, Biagi, etc.) a déjà traité :

• La régularité locale dans les espaces de Hölder et de Sobolev.
• Les estimations globales dans les espaces de Sobolev pour les opérateurs stationnaires et d'évolution.
• Les estimations globales dans les espaces de Hölder, mais uniquement pour des opérateurs d'évolution (type Kolmogorov-Fokker-Planck).

Il manquait jusqu'alors une théorie de régularité globale dans les espaces de Hölder pour les opérateurs stationnaires de type (1.1) lorsque les champs de vecteurs ne possèdent pas de structure de groupe sous-jacente (c'est-à-dire qu'ils ne sont pas invariants à gauche). Ce papier vise à combler cette lacune.

2. Méthodologie

La stratégie de preuve repose sur une méthode de rehaussement (lifting) globale, adaptée de travaux antérieurs de Biagi et Bonfiglioli, combinée à une analyse fine sur les groupes de Carnot.

A. Le rehaussement (Global Lifting)

L'idée centrale est de "rehausser" l'opérateur $L$ défini sur $\mathbb{R}^n$ vers un opérateur $\tilde{L}$ défini sur un espace de dimension supérieure $\mathbb{R}^N$ ($N > n$).

• Grâce à la structure homogène des champs $X_i$, il est possible de construire un groupe de Carnot $G = (\mathbb{R}^N, *, D_\lambda)$.
• Les champs $X_i$ sont reliés à des champs générateurs $\tilde{X}_i$ de ce groupe de Carnot via la relation :
  $$\tilde{X}_i = X_i + \sum_{j=n+1}^N R_j(x, \xi) \frac{\partial}{\partial \xi_j}$$
• L'opérateur rehaussé $\tilde{L} = \sum \tilde{a}_{ij} \tilde{X}_i \tilde{X}_j$ hérite de la structure algébrique du groupe de Carnot, ce qui simplifie considérablement l'analyse (invariance par translation, dilatations, existence de solutions fondamentales explicites).

B. Analyse sur le Groupe de Carnot

Une fois le problème transféré sur le groupe de Carnot, l'auteur développe la théorie de Schauder globale dans ce cadre favorable :

1. Solutions fondamentales : Utilisation de la solution fondamentale $\Gamma_x$ de l'opérateur "gelé" $L_x$ (coefficients constants), dont les propriétés de régularité et d'homogénéité sont bien connues (théorie de Folland, Bramanti, Brandolini).
2. Formules de représentation : Dérivation de formules intégrales pour exprimer les dérivées de haute ordre $Y_I u$ en fonction de $L_x u$ et de la solution fondamentale.
3. Estimations locales : Preuve d'estimations de Schauder locales en utilisant des noyaux singuliers et des inégalités de type Calderón-Zygmund adaptées aux groupes de Carnot.
4. Passage au global : Utilisation d'inégalités d'interpolation et de fonctions de coupe (cut-off functions) pour étendre les estimations locales à l'espace entier $\mathbb{R}^N$.

C. Retour au cadre original

Enfin, les résultats obtenus sur le groupe de Carnot sont ramenés au cadre original $\mathbb{R}^n$ en exploitant les relations entre les espaces de Hölder sur l'espace de départ et l'espace rehaussé (via l'opérateur d'extension $E$).

3. Résultats Principaux

Le papier établit deux théorèmes majeurs :

Théorème 1.2 (Estimations de Schauder Globales - Cadre Original)

Sous les hypothèses d'homogénéité (H1), de condition de rang de Hörmander (H2) et de régularité Hölder des coefficients (H3), il existe une constante $c_0$ telle que pour toute fonction $u \in C^{2,\alpha}_X(\mathbb{R}^n)$ :
$$\|u\|_{C^{2,\alpha}_X(\mathbb{R}^n)} \le c_0 \left( \|Lu\|_{C^\alpha_X(\mathbb{R}^n)} + \|u\|_{L^\infty(\mathbb{R}^n)} \right)$$
De plus, si les coefficients $a_{ij}$ sont de classe $C^{k,\alpha}_X$, alors $u \in C^{k+2,\alpha}_X(\mathbb{R}^n)$ avec une estimation correspondante pour les dérivées d'ordre supérieur.

Théorème 1.6 & 1.7 (Estimations sur les Groupes de Carnot)

Ces théorèmes constituent l'étape intermédiaire cruciale. Ils établissent les estimations de Schauder globales et d'ordre supérieur pour les opérateurs définis sur un groupe de Carnot. Ces résultats sont d'intérêt indépendant car ils généralisent la théorie aux opérateurs avec coefficients Hölder-continus sur des groupes de Carnot généraux.

4. Contributions Techniques Clés

1. Suppression de l'invariance à gauche : Contrairement aux travaux précédents qui supposaient souvent que les champs de vecteurs étaient invariants à gauche (opérateurs sur des groupes de Carnot), ce papier traite le cas où les champs sont seulement homogènes. La méthode de rehaussement globale permet de contourner l'absence de structure de groupe sur $\mathbb{R}^n$.
2. Estimations Globales en Espace de Hölder : C'est la première preuve d'estimations de Schauder globales pour des opérateurs stationnaires dégénérés elliptiques dans des espaces de Hölder, sans hypothèse de structure de groupe sur le domaine de définition.
3. Gestion des dérivées d'ordre supérieur : Le papier développe des formules de représentation itératives pour les dérivées d'ordre $k$ en utilisant la structure stratifiée de l'algèbre de Lie du groupe rehaussé, permettant de prouver la régularité $C^{k+2,\alpha}$ par récurrence.
4. Fonctions de coupe adaptées : L'utilisation de fonctions de coupe radiales (Lemme 4.6) dont les dérivées sont uniformément bornées par rapport au rayon $R$ est essentielle pour faire passer les estimations locales à la limite globale sans perdre de contrôle sur les constantes.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Complétude de la théorie : Il complète la théorie de la régularité pour les opérateurs de Hörmander, alignant les résultats globaux en espaces de Hölder sur ceux déjà connus en espaces de Sobolev et pour les opérateurs d'évolution.
• Généralité : En ne supposant que l'homogénéité et non l'invariance à gauche, le résultat s'applique à une classe beaucoup plus large d'opérateurs dégénérés, incluant ceux qui apparaissent naturellement dans des problèmes géométriques ou physiques où la symétrie de groupe n'est pas présente.
• Outils méthodologiques : La démonstration fournit un cadre robuste (rehaussement global + analyse sur groupe de Carnot) qui pourrait être adapté à d'autres problèmes d'EDP dégénérées ou non-linéaires.

En résumé, Matteo Faini réussit à établir une théorie de régularité globale complète pour une classe importante d'opérateurs dégénérés, en surmontant l'obstacle de l'absence de structure de groupe via une technique de rehaussement ingénieuse et une analyse fine des espaces de Hölder non-isotropes.