Global hypoellipticity on time-periodic Gelfand-Shilov spaces via non-discrete Fourier analysis

1. Problématique et Contexte

L'article s'intéresse à l'étude de la régularité globale (plus précisément l'hypoellipticité globale) d'opérateurs différentiels définis sur le produit du tore unidimensionnel $T^1$ (variables temporelles périodiques) et de l'espace euclidien $\mathbb{R}^n$ (variables spatiales).

Le cadre fonctionnel utilisé est celui des espaces de Gelfand-Shilov périodiques en temps, notés $S^{\sigma, \mu}(T^m \times \mathbb{R}^n)$. Ces espaces, introduits par F. de Ávila Silva et M. Cappiello, généralisent les espaces de Schwartz en imposant une régularité de type Gevrey d'ordre $\sigma$ sur les variables périodiques et un comportement de Gelfand-Shilov d'ordre $\mu$ sur les variables réelles (décroissance exponentielle à l'infini).

Le problème central est de caractériser les conditions nécessaires et suffisantes pour qu'un opérateur différentiel $P$ soit globalement hypoelliptique dans ce cadre. Cela signifie que pour toute distribution tempérée ultradifférentiable $u \in S'_{\sigma, \mu}$, si $Pu$ appartient à l'espace régulier $S_{\sigma, \mu}$, alors $u$ doit nécessairement appartenir à $S_{\sigma, \mu}$.

L'originalité de ce travail réside dans l'application de ces concepts à des opérateurs à coefficients constants et à des opérateurs de type tube (premier ordre), en utilisant une analyse de Fourier non discrète (mélange de séries de Fourier sur le tore et de transformée de Fourier classique sur $\mathbb{R}^n$), contrairement aux approches antérieures basées sur des développements en fonctions propres d'opérateurs elliptiques discrets.

2. Méthodologie

Les auteurs développent une méthodologie basée sur l'analyse de Fourier mixte :

1. Analyse de Fourier Mixte :

   • Ils définissent la transformée de Fourier partielle sur le tore ($T^m$) et sur l'espace euclidien ($\mathbb{R}^n$).
   • Ils caractérisent les fonctions et les distributions dans $S_{\sigma, \mu}(T^m \times \mathbb{R}^n)$ et leur dual $S'_{\sigma, \mu}$ par le comportement asymptotique de leurs coefficients de Fourier et de leurs transformées de Fourier.
   • Une caractérisation clé est établie : une fonction appartient à l'espace si et seulement si sa transformée de Fourier mixte $\hat{f}(k, \xi)$ décroît exponentiellement en $|k|^{1/\sigma}$ (variable périodique) et $|\xi|^{1/\mu}$ (variable réelle), tout en contrôlant les dérivées par des facteurs factoriels.

2. Topologie des Espaces :

   • Les auteurs établissent que les espaces $S_{\sigma, \mu}$ sont des espaces DFS (duals d'espaces de Fréchet-Schwartz), ce qui garantit de bonnes propriétés topologiques (comme la compacité des inclusions et la continuité de la convergence séquentielle).
   • Ils introduisent également l'espace $F_\mu$, défini comme la réunion inductive des espaces $S_{\sigma, \mu}$ pour tout $\sigma \ge 1$, permettant de traiter des opérateurs où la régularité Gevrey peut se dégrader légèrement sur la variable temporelle.

3. Analyse Symbolique :

   • Pour les opérateurs à coefficients constants, l'hypoellipticité est ramenée à l'étude du symbole $p(k, \xi)$ de l'opérateur.
   • L'absence de termes mixtes dans les opérateurs considérés permet de séparer les variables temporelles et spatiales dans l'analyse du symbole.

3. Contributions Clés et Résultats Principaux

A. Caractérisation des Espaces de Gelfand-Shilov Périodiques

Les auteurs fournissent une caractérisation complète des espaces $S_{\sigma, \mu}(T^m \times \mathbb{R}^n)$ via la décroissance de la transformée de Fourier mixte. Contrairement aux analyses sur les groupes compacts où le spectre est purement discret, ici la variable $\xi$ est continue, ce qui introduit des défis spécifiques liés à la croissance des dérivées du symbole.

B. Hypoellipticité Globale pour les Opérateurs à Coefficients Constants

Pour les opérateurs de la forme $P = p(D_x) + q(D_t)$ sur $T^1 \times \mathbb{R}$ :

• Condition nécessaire : Le symbole de l'opérateur ne doit s'annuler sur aucun point de $\mathbb{Z} \times \mathbb{R}$.
• Cas de bas degré ($\deg(p) \le 1$) : La condition de non-annulation sur $\mathbb{Z} \times \mathbb{R}$ est suffisante pour l'hypoellipticité globale, quel que soit $\mu \ge 1/2$.
• Cas de haut degré ($\deg(p) > 1$) : La simple non-annulation ne suffit pas en raison de la croissance des dérivées du symbole. Les auteurs imposent une condition de croissance (type Lojasiewicz) : $|p(\xi) + q(k)| \ge C|\xi|^{N-1}$ pour $|\xi|$ grand. Sous cette hypothèse et pour $\mu \ge 1$, la non-annulation sur $\mathbb{Z} \times \mathbb{R}$ devient une condition nécessaire et suffisante.
• Absence de phénomènes diophantiens : Contrairement aux cas discrets (tore pur ou groupes compacts) où des conditions diophantiennes sur les coefficients sont souvent requises pour éviter les petits diviseurs, ici, la nature continue de $\xi$ permet d'éviter ces phénomènes complexes.

C. Hypoellipticité Globale pour les Opérateurs de Type Tube

Pour les opérateurs de premier ordre $P = \partial_t + (a(t) + ib(t))\partial_x + q(t)$ :

• Cas réel ($b \equiv 0$) : La régularité globale de $P$ est équivalente à celle d'un opérateur à coefficients constants obtenu en moyennant les coefficients.
• Cas complexe ($b \not\equiv 0$) : Les auteurs établissent que l'hypoellipticité globale (dans l'espace $F_\mu$ pour $\mu > 1$) est équivalente à deux conditions :
  1. La fonction $b(t)$ ne change pas de signe (condition liée à la condition (P) de Nirenberg-Trèves).
  2. Une condition arithmétique sur les moyennes des coefficients : $\frac{a_0}{b_0}\text{Re}(q_0) + \text{Im}(q_0) \notin \mathbb{Z}$.
• Ils montrent que si $b$ change de signe, l'opérateur n'est pas globalement hypoelliptique, même si le symbole moyen ne s'annule pas.

D. Résolvabilité Globale

En exploitant la structure DFS des espaces considérés, les auteurs démontrent que l'hypoellipticité globale implique la résolvabilité globale (existence de solutions dans l'espace fonctionnel pour tout second membre orthogonal au noyau de l'adjoint).

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Extension du cadre fonctionnel : Il étend la théorie de l'hypoellipticité globale aux espaces de Gelfand-Shilov périodiques, un cadre crucial pour l'étude des équations d'évolution avec coefficients périodiques et décroissance spatiale rapide.
2. Méthodologie non discrète : L'approche par analyse de Fourier mixte (série + transformée continue) permet de traiter des opérateurs sur des cylindres $T^1 \times \mathbb{R}$ d'une manière qui diffère fondamentalement des approches spectrales classiques sur les variétés compactes.
3. Simplification des conditions : La disparition des conditions diophantiennes dans le cadre continu simplifie considérablement les critères d'hypoellipticité pour les opérateurs à coefficients constants, les rendant dépendants uniquement de la géométrie du symbole et de la croissance à l'infini.
4. Lien avec la condition (P) : Pour les opérateurs de type tube, le résultat confirme et précise le rôle de la condition de signe de la partie imaginaire du coefficient principal, reliant ainsi l'analyse microlocale moderne aux espaces de fonctions à décroissance exponentielle.

En résumé, cet article fournit des outils analytiques puissants et des caractérisations précises pour la régularité des solutions d'équations aux dérivées partielles dans des espaces fonctionnels fins, combinant périodicité et décroissance exponentielle.