Global Gevrey Hypoellipticity of Involutive Systems on Non-Compact Manifolds

1. Problématique et Contexte

L'article s'intéresse à l'hypoellipticité globale dans les classes de Gevrey d'ordre $s > 1$ (types Roumieu et Beurling) pour une famille d'opérateurs différentiels du premier ordre associés à des structures involutives de type « tube » sur une variété non compacte.

• Cadre géométrique : Soit $M$ une variété analytique paracompacte, difféomorphe à l'intérieur d'une variété compacte à bord $\bar{M}$. Le domaine d'étude est le produit $M \times \mathbb{T}^m$, où $\mathbb{T}^m$ est le tore de dimension $m$.
• Opérateur étudié : L'opérateur $L$ est défini par :
  $$L u = dt u + \sum_{k=1}^m \omega_k \wedge \partial_{x_k} u$$
  où $\omega_1, \dots, \omega_m$ sont des 1-formes fermées réelles sur $M$ appartenant aux classes de Gevrey $\Lambda^1 G^{[s]}(M)$, et $dt$ est la différentielle extérieure sur $M$.
• Objectif : Caractériser les conditions nécessaires et suffisantes sous lesquelles $L$ est globalement hypoelliptique. Cela signifie que si $Lu$ est une forme différentielle de classe Gevrey, alors $u$ doit également être de classe Gevrey (dans l'espace des distributions).

2. Méthodologie

La démarche de l'article combine l'analyse microlocale, la géométrie des variétés de diffusion (scattering manifolds) et la théorie des séries de Fourier partielles.

A. Construction d'une métrique de diffusion (Scattering Metric) de classe Gevrey

Un défi majeur dans le cadre non compact est l'application de la théorie de Hodge. Les auteurs construisent une métrique de diffusion $g$ sur $M$ dont les coefficients sont de classe Gevrey d'ordre $s$ dans chaque carte analytique.

• Cette métrique prend la forme locale $g = \frac{d\varrho^2}{\varrho^4} + \frac{g'}{\varrho^2}$ près du bord, où $\varrho$ est une fonction définissant le bord.
• L'existence de partitions de l'unité de classe Gevrey ($s>1$) est cruciale pour cette construction.
• Conséquence : L'opérateur de Laplace-Beltrami associé $\Delta_g$ est globalement hypoelliptique dans les classes de Gevrey. Cela permet d'utiliser le théorème de Hodge pour les métriques de diffusion, identifiant les formes harmoniques de carré intégrable avec les classes de cohomologie à support compact.

B. Réduction par séries de Fourier partielles

En développant la distribution $u$ en série de Fourier partielle par rapport aux variables du tore $\mathbb{T}^m$ :
$$u(t, x) = \sum_{\xi \in \mathbb{Z}^m} \hat{u}_\xi(t) e^{i \xi \cdot x}$$
L'équation $Lu = f$ se réduit à une famille d'équations « tordues » sur $M$ pour chaque mode de Fourier $\xi$ :
$$L_\xi \hat{u}_\xi = d\hat{u}_\xi + i(\xi \cdot \omega) \wedge \hat{u}_\xi = \hat{f}_\xi$$
Le problème de l'hypoellipticité globale se ramène alors à l'étude du comportement asymptotique des coefficients de Fourier $\hat{u}_\xi$ lorsque $|\xi| \to \infty$.

C. Conditions Diophantiennes et Comportement de Liouville

L'obstruction à la régularité Gevrey provient des phénomènes de « petits dénominateurs ». Les auteurs introduisent deux concepts clés liés à la famille de formes $\omega = (\omega_1, \dots, \omega_m)$ :

1. Rationalité : Existence d'un vecteur entier non nul $\xi$ tel que $\xi \cdot \omega$ soit une forme entière (périodes dans $2\pi\mathbb{Z}$).
2. Comportement de Liouville exponentiel : Une condition mesurant la vitesse d'approximation de $\xi \cdot \omega$ par des formes entières.
   • Type Roumieu ($s$-exponentiel) : Approximation par des formes entières avec une erreur contrôlée par $e^{-\varepsilon |\xi|^{1/s}}$.
   • Type Beurling ($(s)$-exponentiel) : Approximation valable pour tout $\varepsilon > 0$.

Ces conditions sont formulées via la matrice des cycles $A(\omega)$, qui relie les périodes des formes $\omega$ sur une base de cycles de l'homologie de $M$.

3. Résultats Principaux

Le résultat central est un théorème de caractérisation (Théorème 1.2, 5.5 et 5.6) :

Théorème : L'opérateur $L$ est globalement hypoelliptique dans les classes de Gevrey de type Roumieu (resp. Beurling) d'ordre $s > 1$ si et seulement si la famille $\omega$ est ni rationnelle ni de type Liouville exponentiel (de type $s$ ou $(s)$ respectivement).

• Cas de la rationalité : Si $\omega$ est rationnelle, il existe des solutions singulières (non Gevrey) pour $Lu=0$, détruisant l'hypoellipticité.
• Cas de Liouville : Si $\omega$ est de type Liouville, on peut construire une distribution $u$ non Gevrey telle que $Lu$ soit Gevrey, en exploitant la convergence rapide des approximations diophantiennes.
• Cas favorable : Si $\omega$ n'est ni rationnelle ni Liouville, les conditions diophantiennes (DCs) ou (DC(s)) garantissent que les dénominateurs ne deviennent pas trop petits, permettant de contrôler la croissance des dérivées des coefficients de Fourier et d'établir la régularité Gevrey.

4. Contributions Techniques Clés

1. Extension aux variétés non compactes : Contrairement aux travaux antérieurs sur les variétés compactes (qui utilisaient le théorème de Grauert pour obtenir une métrique analytique), les auteurs doivent construire explicitement une métrique compatible avec la géométrie de diffusion tout en conservant la régularité Gevrey. C'est une contribution majeure car le théorème de Grauert ne fournit pas cette structure métrique spécifique.
2. Régularité des formes harmoniques : Ils démontrent que les formes harmoniques associées à la métrique de diffusion Gevrey sont elles-mêmes de classe Gevrey, ce qui est essentiel pour la décomposition de Hodge dans ce contexte.
3. Analyse fine des classes de Beurling : L'article traite séparément et rigoureusement les cas de Roumieu et de Beurling, en adaptant les estimations de Fourier et les partitions de l'unité pour chaque type de topologie (limites inductives vs projectives).
4. Lien avec les conditions Diophantiennes : La reformulation précise des conditions de Liouville exponentielles en termes de la matrice des cycles $A(\omega)$ et des inégalités diophantiennes sur le tore fournit un critère algébrique et géométrique vérifiable.

5. Signification et Impact

Ce travail généralise significativement la théorie de l'hypoellipticité globale des systèmes involutifs :

• Il étend les résultats connus du cas compact (où la topologie est simple) au cas non compact avec une géométrie de bord singulière (variétés de diffusion).
• Il établit un pont entre l'analyse microlocale sur les variétés non compactes et la théorie des nombres (conditions diophantiennes), montrant que la régularité des solutions d'EDP sur ces espaces dépend fondamentalement de l'arithmétique des périodes des formes différentielles définissant le système.
• Les résultats sont optimaux (critère « sharp ») et couvrent l'ensemble des classes de Gevrey pour $s > 1$, offrant un cadre complet pour l'étude de la régularité dans ces espaces fonctionnels.

En résumé, l'article fournit une caractérisation complète et rigoureuse de la régularité Gevrey pour une classe importante d'opérateurs sur des variétés non compactes, en surmontant les obstacles techniques liés à la géométrie du bord et en reliant l'analyse PDE à l'arithmétique des formes différentielles.