Global Gevrey Hypoellipticity of Involutive Systems on Non-Compact Manifolds

Titolo: Ipoellitticità Gevrey Globale di Sistemi Involutive su Varietà Non Compatte

Autori: Sandro Coriasco, Alexandre Kirillov, Wagner A. A. de Moraes, Pedro M. Tokoro.

---

1. Problema e Contesto

Il paper si occupa dello studio dell'ipoellitticità globale in classi di funzioni Gevrey (sia di tipo Roumieu che Beurling) per una classe specifica di operatori differenziali del primo ordine.

• Ambiente Geometrico: La varietà su cui sono definiti gli operatori è del tipo $M \times \mathbb{T}^m$, dove:
  • $M$ è una varietà non compatta, diffeomorfa all'interno di una varietà compatta con bordo $\bar{M}$.
  • $\mathbb{T}^m$ è il toro $m$-dimensionale.
• Struttura: Gli operatori sono associati a strutture involutive di tipo "tubo" (tube-type), definite da una famiglia di 1-forme chiuse reali $\omega = (\omega_1, \dots, \omega_m)$ su $M$.
• Operatore: L'operatore studiato è:
  $$L u = dt u + \sum_{k=1}^m \omega_k \wedge \partial_{x_k} u$$
  dove $dt$ è la derivata esterna su $M$ e $\partial_{x_k}$ le derivate rispetto alle coordinate del toro.
• Obiettivo: Caratterizzare quando l'operatore $L$ è globalmente ipoellittico in classi Gevrey di ordine $s > 1$. Un operatore è globalmente ipoellittico se $Lu \in G^{[s]} \implies u \in G^{[s]}$, dove $G^{[s]}$ indica la classe di Gevrey (Roumieu o Beurling).

2. Metodologia

L'approccio combina analisi microlocale, geometria delle varietà non compatte e teoria dei numeri (condizioni diofantee).

A. Costruzione di una Metrica di Scattering Gevrey

Un passo cruciale è la costruzione di una metrica di scattering su $M$ i cui coefficienti appartengono alla classe Gevrey di ordine $s$.

• Poiché $M$ è non compatta, non si può fare affidamento diretto su metriche analitiche globali come nel caso compatto (teorema di Grauert).
• Gli autori costruiscono una funzione di definizione del bordo $\varrho$ e una metrica $g$ della forma:
  $$g = \frac{d\varrho^2}{\varrho^4} + \frac{g'}{\varrho^2}$$
  dove $g'$ è una metrica su $\partial M$.
• Utilizzando partizioni dell'unità Gevrey e un atlante analitico, dimostrano l'esistenza di tale metrica con coefficienti Gevrey.
• Conseguenza: Questo permette di applicare la teoria di Hodge per varietà di scattering. In particolare, lo spazio delle forme armoniche $L^2$ è isomorfo alla coomologia de Rham a supporto compatto, e le forme armoniche risultano essere regolari in senso Gevrey.

B. Analisi di Fourier Parziale

L'analisi si riduce sviluppando la soluzione $u$ in serie di Fourier parziale rispetto alle variabili del toro $\mathbb{T}^m$.

• L'equazione $Lu = f$ si trasforma in una famiglia di equazioni "twistate" su $M$ parametrizzate dal vettore di frequenza $\xi \in \mathbb{Z}^m$:
  $$L_\xi u_\xi = d u_\xi + i(\xi \cdot \omega) \wedge u_\xi$$
• L'ostacolo alla regolarità Gevrey globale risiede nel fenomeno dei denominatori piccoli (small denominators) legati alla risonanza tra le frequenze $\xi$ e le forme $\omega$.

C. Condizioni Diophantine e Comportamento di Liouville

La regolarità dipende dalle proprietà aritmetiche delle forme $\omega$ rispetto alla coomologia.

• Si definisce una matrice dei cicli $A(\omega)$ basata sui periodi delle forme $\omega_k$ lungo un basis di cicli $\sigma_\ell$ associati alla coomologia a supporto compatto.
• Si introducono due condizioni critiche:
  1. Razionalità: $\omega$ è razionale se esiste un vettore intero non nullo $\xi$ tale che $\xi \cdot \omega$ è una forma intera (periodi su $2\pi\mathbb{Z}$).
  2. Comportamento di Liouville esponenziale: $\omega$ è "Liouville esponenziale" se non è razionale ma può essere approssimata troppo bene da forme intere, violando condizioni di tipo Diophantine.
     • Per la classe Roumieu ($s$): violazione della condizione $(DC_s)$.
     • Per la classe Beurling ($(s)$): violazione della condizione $(DC_{(s)})$.

3. Risultati Principali

Il risultato centrale è una caratterizzazione necessaria e sufficiente per l'ipoellitticità globale.

Teorema 1.2 (e Teoremi 5.5, 5.6):
Sia $s > 1$ e $\omega = (\omega_1, \dots, \omega_m)$ una famiglia di 1-forme chiuse Gevrey su $M$ la cui classe di coomologia appartiene al sottospazio $H^1_{\partial M}(M)$. L'operatore $L$ è:

• $s$-globalmente ipoellittico (tipo Roumieu) se e solo se $\omega$ non è razionale e non è $s$-esponenzialmente Liouville.
• $(s)$-globalmente ipoellittico (tipo Beurling) se e solo se $\omega$ non è razionale e non è $(s)$-esponenzialmente Liouville.

In termini pratici, l'operatore è ipoellittico se e solo se la matrice dei cicli $A(\omega)$ soddisfa una condizione di Diophantine esponenziale (che impedisce l'approssimazione troppo rapida da parte di forme intere).

Corollari Importanti:

• Se l'operatore è ipoellittico nel senso classico (liscio $C^\infty$), allora è automaticamente ipoellittico in tutte le classi Gevrey $s > 1$.
• Esiste una gerarchia: l'ipoellitticità Beurling implica quella Roumieu, ma non viceversa in generale, a causa delle diverse condizioni di approssimazione richieste.

4. Contributi Chiave e Innovazioni

1. Estensione a Varietà Non Compatte: Il lavoro estende risultati noti per varietà compatte (dove si usano metriche analitiche e teoremi di Grauert) al caso non compatto, affrontando la difficoltà di mantenere la struttura Gevrey vicino al bordo.
2. Metriche di Scattering Gevrey: La costruzione esplicita di una metrica di scattering con coefficienti Gevrey è un contributo tecnico significativo. Questo permette di utilizzare la teoria di Hodge per ottenere la regolarità delle forme armoniche, un passo essenziale per la dimostrazione.
3. Distinzione Roumieu/Beurling: Il paper tratta in modo distinto e rigoroso le due classi di Gevrey, mostrando come le condizioni di Liouville esponenziale cambino leggermente (quantitativamente) tra i due casi, riflettendo la differenza tra le topologie induttive (Roumieu) e proiettive (Beurling).
4. Metodo Unificato: L'uso combinato di serie di Fourier parziali, teoria della coomologia su varietà di scattering e stime diofantee fornisce un quadro coerente per l'analisi di sistemi involutivi su domini non compatti.

5. Significato e Impatto

Questo lavoro è significativo per la teoria delle equazioni alle derivate parziali (PDE) su varietà non compatte e per l'analisi microglobale.

• Teoria delle PDE: Fornisce criteri precisi per la regolarità delle soluzioni in classi di funzioni non-analitiche (Gevrey), che sono fondamentali nello studio di problemi iperbolici e nella teoria della propagazione delle singolarità.
• Geometria e Topologia: Collega proprietà analitiche degli operatori a proprietà topologiche (coomologia) e aritmetiche (condizioni di Diophantine) della varietà e delle forme che la definiscono.
• Generalizzazione: Rappresenta un passo avanti rispetto alla letteratura esistente (che si concentrava principalmente su varietà compatte o casi $s=1$), aprendo la strada allo studio di sistemi su varietà con geometria asintotica complessa (come quelle di scattering).

In sintesi, il paper risolve il problema della ipoellitticità globale Gevrey per una classe ampia di operatori su varietà non compatte, identificando le precise condizioni aritmetiche sulle forme definitorie necessarie per garantire la regolarità delle soluzioni.