Global Gevrey Hypoellipticity of Involutive Systems on Non-Compact Manifolds

1. Problem Statement

The paper investigates the global Gevrey hypoellipticity of a specific class of first-order differential operators associated with tube-type involutive structures on a product manifold $M \times \mathbb{T}^m$.

• The Manifold: $M$ is a non-compact manifold diffeomorphic to the interior of a compact manifold with boundary ($\bar{M}$). $\mathbb{T}^m$ is the $m$-dimensional torus.
• The Operator: The operator $L$ acts on functions (or forms) $u$ defined on $M \times \mathbb{T}^m$:
  $$Lu = dt u + \sum_{k=1}^m \omega_k \wedge \partial_{x_k} u$$
  where $dt$ is the exterior derivative on $M$, and $\omega_1, \dots, \omega_m$ are real-valued closed 1-forms on $M$.
• The Space: The analysis is conducted within Gevrey classes of order $s > 1$, specifically distinguishing between:
  • Roumieu type ($G^s$): Functions with derivatives bounded by $C h^{|\alpha|} \alpha!^s$ for some $h > 0$.
  • Beurling type ($G^{(s)}$): Functions with derivatives bounded by $C h^{|\alpha|} \alpha!^s$ for every $h > 0$.
• The Goal: To characterize exactly when the operator $L$ is globally hypoelliptic in these spaces. That is, determining the conditions under which $Lu \in G^{[s]}(M \times \mathbb{T}^m)$ implies $u \in G^{[s]}(M \times \mathbb{T}^m)$ for distributions $u$.

2. Methodology

The authors employ a multi-faceted approach combining geometric analysis, cohomological theory, and microlocal analysis techniques adapted to Gevrey spaces.

A. Construction of a Gevrey Scattering Metric

A central technical hurdle is the non-compact nature of $M$. Standard Hodge theory for compact manifolds does not directly apply.

• Scattering Geometry: The authors utilize the concept of a scattering metric (introduced by Melrose), which behaves like $d\varrho^2/\varrho^4 + g'/\varrho^2$ near the boundary $\partial \bar{M}$ (where $\varrho$ is a boundary defining function).
• Gevrey Regularity: Unlike previous works on compact manifolds that relied on Grauert's theorem to obtain analytic metrics (allowing $s=1$), the authors construct a boundary defining function and a scattering metric with coefficients that are Gevrey of order $s$.
• Significance: This construction allows the application of Hodge theory for scattering metrics. Specifically, it ensures that the Laplace-Beltrami operator $\Delta_g$ is globally hypoelliptic in the Gevrey class, enabling the representation of cohomology classes by Gevrey harmonic forms.

B. Partial Fourier Series and Reduction

The problem is reduced from the product space $M \times \mathbb{T}^m$ to a family of operators on $M$ using partial Fourier series with respect to the torus variable $x$.

• Expanding $u(t, x) = \sum_{\xi \in \mathbb{Z}^m} \hat{u}_\xi(t) e^{i \xi \cdot x}$ transforms the operator $L$ into a family of twisted operators $L_\xi$ on $M$:
  $$L_\xi \hat{u}_\xi = d \hat{u}_\xi + i(\xi \cdot \omega) \wedge \hat{u}_\xi$$
• The global hypoellipticity of $L$ depends on the invertibility and regularity properties of these $L_\xi$ as $|\xi| \to \infty$.

C. Diophantine Conditions and Cohomology

The obstruction to hypoellipticity is linked to "small denominator" phenomena, governed by the periods of the 1-forms $\omega_k$.

• Cohomological Framework: The authors define a subspace $H^1_{\partial M}(M) \subset H^1_{dR}(M)$ related to the image of compactly supported cohomology. They associate a matrix of cycles $A(\omega) \in \mathbb{R}^{d \times m}$ to the family $\omega$, representing the periods of $\omega$ over a basis of cycles.
• Rationality: The system is rational if a non-trivial integer linear combination of the $\omega_k$ is an integral 1-form (periods are integers).
• Exponential Liouville Behavior: The system is $s$-exponential Liouville if it is not rational, but the periods can be approximated by integers "too well" relative to the Gevrey order $s$. This is formalized via Diophantine conditions:
  • Condition $(DC_s)$ (Roumieu): $|\eta + A\xi| \geq C_\epsilon e^{-\epsilon(|\eta|+|\xi|)^{1/s}}$.
  • Condition $(DC_{(s)})$ (Beurling): $|\eta + A\xi| \geq C e^{-\epsilon(|\eta|+|\xi|)^{1/s}}$ for some fixed $\epsilon$.

3. Key Contributions and Results

Main Theorem (Theorem 1.2, 5.5, 5.6)

The paper provides a sharp characterization of global Gevrey hypoellipticity:

The operator $L$ is $[s]$-globally hypoelliptic if and only if the family of 1-forms $\omega = (\omega_1, \dots, \omega_m)$ is neither rational nor $[s]$-exponential Liouville.

• Rationality: If $\omega$ is rational, there exists a non-trivial integer vector $\xi$ such that $\xi \cdot \omega$ is integral. This allows the construction of a distributional solution $u$ (involving $e^{i\psi}$) that is not Gevrey, yet $Lu=0$.
• Liouville Behavior: If $\omega$ is $[s]$-exponential Liouville, the "small denominators" in the Fourier inversion process decay too slowly (or the approximation by integers is too fast), preventing the reconstruction of the Gevrey regularity of $u$ from $Lu$.
• Non-Rational + Non-Liouville: If the system avoids both pathologies, the Diophantine estimates ensure that the Fourier coefficients $\hat{u}_\xi$ decay sufficiently fast to guarantee $u \in G^{[s]}$.

Technical Innovations

1. Gevrey Scattering Metrics: The explicit construction of a scattering metric with Gevrey coefficients is a novel contribution. It bridges the gap between the geometric requirements of Hodge theory on non-compact manifolds and the analytic requirements of Gevrey regularity.
2. Extension to Non-Compact Settings: The results generalize previous work on compact manifolds (e.g., by Hounie, Gramchev, etc.) to the non-compact setting of scattering manifolds.
3. Distinction between Roumieu and Beurling: The paper carefully distinguishes the conditions for the two types of Gevrey spaces, showing that the Beurling case requires a uniform Diophantine condition (fixed $\epsilon$) while the Roumieu case allows for an arbitrary small $\epsilon$.

4. Significance

• Theoretical Advancement: This work resolves the global hypoellipticity problem for involutive systems on a significant class of non-compact manifolds, a setting where standard elliptic regularity and compactness arguments fail.
• Methodological Bridge: It successfully integrates scattering geometry (typically used for spectral theory and wave propagation on non-compact spaces) with Gevrey microlocal analysis.
• Sharpness: The characterization is sharp, identifying exactly the boundary between solvability and non-solvability in terms of number-theoretic properties (Diophantine conditions) of the defining 1-forms.
• Applications: The results are relevant for the study of partial differential equations on manifolds with ends (e.g., asymptotically Euclidean or hyperbolic spaces) and provide a framework for analyzing regularity in non-compact settings where analytic metrics may not exist or be compatible with the geometry.

In summary, the paper establishes that the global regularity of solutions to these involutive systems on non-compact manifolds is entirely determined by the arithmetic properties of the periods of the defining 1-forms, provided one works within the appropriate Gevrey class and utilizes a scattering metric compatible with that regularity.