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

1. Problem Statement and Context

The paper addresses the problem of global hypoellipticity for specific classes of linear partial differential operators acting on time-periodic Gelfand–Shilov spaces.

• The Setting: The authors work on the cylinder $T^1 \times \mathbb{R}^n$ (where $T^1$ is the 1-dimensional torus and $\mathbb{R}^n$ is Euclidean space). The function spaces involved are $S^{\sigma, \mu}(T^m \times \mathbb{R}^n)$, which consist of functions that are Gevrey regular of order $\sigma$ in the periodic variables and exhibit Gelfand–Shilov behavior of order $\mu$ (exponential decay and regularity) in the real variables.
• The Goal: To characterize when a differential operator $P$ is globally hypoelliptic. This means determining the necessary and sufficient conditions such that:
  $$u \in S'_{\sigma, \mu}(T^m \times \mathbb{R}^n) \quad \text{and} \quad Pu \in S_{\sigma, \mu}(T^m \times \mathbb{R}^n) \implies u \in S_{\sigma, \mu}(T^m \times \mathbb{R}^n).$$
  Here, $S'_{\sigma, \mu}$ denotes the space of tempered ultradistributions (the dual space).
• The Gap: Previous works (e.g., de Ávila Silva and Cappiello) utilized discrete Fourier analysis based on eigenfunction expansions of elliptic operators on $\mathbb{R}^n$. This paper aims to handle operators where the variable on $\mathbb{R}^n$ is continuous, requiring a non-discrete Fourier analysis approach.

2. Methodology

The core methodological innovation is the development of a mixed Fourier analysis combining:

1. Fourier Series: On the periodic torus variables ($t \in T^m$).
2. Euclidean Fourier Transform: On the real variables ($x \in \mathbb{R}^n$).

Key Technical Steps:

• Characterization of Spaces: The authors characterize functions and distributions in $S^{\sigma, \mu}(T^m \times \mathbb{R}^n)$ and its dual by analyzing the decay rates of their mixed partial Fourier transforms $\hat{u}(k, \xi)$, where $k \in \mathbb{Z}^m$ (discrete) and $\xi \in \mathbb{R}^n$ (continuous).
  • Functions in the space correspond to coefficients decaying exponentially in $k$ (Gevrey) and $\xi$ (Gelfand–Shilov).
  • Distributions correspond to coefficients growing at most exponentially.
• Topological Properties: The paper establishes that these spaces are DFS spaces (duals of Fréchet-Schwartz spaces), which is crucial for proving global solvability results later.
• Symbol Analysis: The hypoellipticity conditions are derived by analyzing the symbol of the operator $P(k, \xi)$. The authors investigate the behavior of $|P(k, \xi)|$ as $|k| \to \infty$ and $|\xi| \to \infty$.
• Conjugation Techniques: For time-dependent coefficients (tube-type operators), the authors use conjugation by automorphisms (multiplication by exponential factors involving integrals of the coefficients) to reduce variable-coefficient operators to constant-coefficient ones.

3. Key Contributions and Results

A. Characterization of Time-Periodic Gelfand–Shilov Spaces

The paper provides a rigorous characterization of $S^{\sigma, \mu}(T^m \times \mathbb{R}^n)$ via the decay of the mixed Fourier transform $\hat{u}(k, \xi)$.

• Result: A function $f$ belongs to the space if and only if its Fourier coefficients satisfy:
  $$\sup_{k, \xi} e^{\epsilon |k|^{1/\sigma}} |\xi^\alpha \partial_\xi^\beta \hat{f}(k, \xi)| \leq C \frac{(\alpha! \beta!)^\mu}{C^{|\alpha+\beta|}}$$
  This bridges the gap between discrete (torus) and continuous (Euclidean) spectral analysis.

B. Global Hypoellipticity for Constant Coefficient Operators

The authors study operators of the form $P = p(D_x) + q(D_t)$ with no mixed terms.

• Theorem 1.1 (Main Result for Constant Coefficients):
  • Case 1 (Low Order): If $\deg(p) \leq 1$ and $\mu \geq 1/2$, $P$ is globally hypoelliptic if and only if its symbol $p(\xi) + q(k)$ never vanishes on $\mathbb{Z} \times \mathbb{R}$.
  • Case 2 (High Order): If $\deg(p) = N > 1$, the condition requires $\mu \geq 1$ and a growth condition on the symbol: $|p(\xi) + q(k)| \geq C|\xi|^{N-1}$ for large $|\xi|$. Under these assumptions, hypoellipticity holds if and only if the symbol does not vanish on $\mathbb{Z} \times \mathbb{R}$.
• Significance: Unlike discrete settings (e.g., on compact Lie groups), the continuous variable $\xi$ allows for the existence of roots that do not lead to Diophantine approximation phenomena. The obstruction is purely the existence of a root in $\mathbb{Z} \times \mathbb{R}$.

C. Global Hypoellipticity for Tube-Type Operators

The paper analyzes first-order operators of the form:
$$P = \partial_t + (a(t) + ib(t))\partial_x + q(t)$$
where $a, b, q$ are Gevrey functions.

• Real Case ($b \equiv 0$): The regularity of $P$ is equivalent to the regularity of the associated constant coefficient operator $P_0 = \partial_t + a_0 \partial_x + q_0$ (where $a_0, q_0$ are averages).
• Complex Case ($b \not\equiv 0$):
  • Theorem 1.2: For $\mu > 1$, $P$ is globally hypoelliptic if and only if:
    1. $b(t)$ does not change sign (a condition related to the Nirenberg–Trèves condition (P)).
    2. The symbol of the "averaged" operator does not vanish on $\mathbb{Z} \times \mathbb{R}$ (specifically, $a_0/b_0 \text{Re}(q_0) + \text{Im}(q_0) \notin \mathbb{Z}$).
• Loss of Regularity: The authors introduce the space $F_\mu = \bigcup_{\sigma \geq 1} S^{\sigma, \mu}$ to handle cases where the Gevrey order $\sigma$ might be lost in the periodic variable due to non-constant coefficients.

D. Global Solvability

Using the topological properties (DFS structure) of the spaces, the authors prove that global hypoellipticity implies global solvability. If an operator is globally hypoelliptic, its range is closed, and the equation $Pu=f$ is solvable for any $f$ orthogonal to the kernel of the adjoint.

4. Significance and Impact

• Methodological Shift: The paper successfully moves beyond the discrete spectral analysis (eigenfunction expansions) used in previous literature on Gelfand–Shilov spaces. By utilizing the non-discrete Euclidean Fourier transform, it handles a broader class of operators, particularly those with polynomial coefficients in $x$ that do not necessarily induce a discrete spectrum.
• Clarification of Continuous vs. Discrete: The results highlight a fundamental difference between compact and non-compact settings. In the continuous setting ($\xi \in \mathbb{R}$), the lack of Diophantine conditions simplifies the criteria for hypoellipticity to a simple non-vanishing condition of the symbol, provided the growth conditions are met.
• Extension of Nirenberg–Trèves Condition: For the tube-type operators, the paper generalizes the famous Nirenberg–Trèves condition (P) to the context of Gelfand–Shilov spaces, linking the sign of the imaginary part of the coefficient $b(t)$ directly to global regularity.
• Applications: These results are relevant for the study of evolution equations, quantum mechanics (eigenfunctions of oscillators), and the well-posedness of PDEs in spaces with specific regularity and decay properties.

In summary, this paper provides a comprehensive framework for analyzing global regularity on time-periodic Gelfand–Shilov spaces using a hybrid Fourier approach, establishing sharp necessary and sufficient conditions for a wide class of differential operators.