Gabor Wave Front Set Analysis

• The Gabor wave front set is a global phase-space tool that localizes and characterizes singularities in distributions through STFT decay properties.
• It employs anisotropic scaling to capture direction-dependent phenomena in dispersive and non-isotropic evolution problems.
• Its invariance properties, including metaplectic invariance and equivalence to classical wave front sets, ensure robust microlocal analysis in both continuous and discrete settings.

The Gabor wave front set is a global, phase-space microlocal object that characterizes the localization and singularities of generalized functions or distributions, using time-frequency analysis via the short-time Fourier transform (STFT) and Gabor frames. It refines the classical microlocal analysis by encoding precise joint space-frequency information about singularities, and its anisotropic variants introduce further flexibility to track directionally dependent phenomena such as those arising in dispersive equations and evolution problems with non-isotropic scaling.

1. Time-Frequency Foundations and Core Definitions

Let $u \in \mathcal{S}'(\mathbb{R}^d)$ be a tempered distribution. The central analytic tool is the short-time Fourier transform (STFT), defined via a nonzero Schwartz window $\varphi$ as

$$V_\varphi u(x, \xi) = (2\pi)^{-d/2}\langle u, M_\xi T_x \varphi \rangle = (2\pi)^{-d/2}\int_{\mathbb{R}^d} u(y)\overline{\varphi(y-x)}e^{-i \xi \cdot y} dy,$$

where $M_\xi$ is modulation by frequency $\xi$, $T_x$ is translation by $x$. The STFT quantifies the local behavior of $u$ near position $x$ and frequency $\xi$, exhibiting rapid decay if $u$ is smooth.

A point $$z_0 = (x_0, \xi_0) \in \mathbb{R}^{2d} \setminus \{0\}$$ is not in the Gabor wave front set $WF_G(u)$ if there exists an open conic neighborhood $\Gamma_{z_0}$ such that, for every $N > 0$,

$$\sup_{(x, \xi)\in\Gamma_{z_0}} \langle (x, \xi) \rangle^N |V_\varphi u(x, \xi)| < \infty,$$

with $\langle z \rangle = (1 + |x|^2 + |\xi|^2)^{1/2}$. Equivalently, rapid decay of the STFT on cones in phase space signals microlocal regularity, and $WF_G(u)$ records the failure of this property.

This definition is independent of the choice of window and is equivalent in both the continuous and discrete (Gabor frame) settings (Rodino et al., 2012, Rodino et al., 2020).

The anisotropic Gabor wave front set $WF_G^r(u)$ for $r>0$ adapts the notion by introducing space-frequency anisotropy: $$z_0 \notin WF_G^r(u) \iff \exists\, U \ni z_0 \;\text{open conic},\; \forall N>0, \sup_{(x,\xi)\in U}(1+|x|+|\xi|)^{N}|V_\varphi u(D_\lambda^r(x,\xi))| < \infty$$ for anisotropic dilation $$D_\lambda^r(x,\xi) = (\lambda^{1/r}x,\,\lambda^{1/rr}\xi)$$, $\lambda>0$ (Wahlberg, 2023).

2. Structural Properties and Equivalence to Classical Notions

The Gabor wave front set $WF_G(u)$ exhibits several key properties:

• Closedness and conic structure: $WF_G(u)$ is a closed conic subset of $T^*\mathbb{R}^d \setminus \{0\}$ (Rodino et al., 2012, Rodino et al., 2020).
• Metaplectic invariance: Symplectic (linear canonical) transforms lift to metaplectic operators on $L^2$; $WF_G(\mu(S)u)=S[WF_G(u)]$ for $S\in Sp(2d, \mathbb{R})$ (Rodino et al., 2020).
• Microlocality: For Weyl quantizations $a^w$ with $a$ in an appropriate global symbol class (e.g., Shubin $G^m$), $WF_G(a^w u) \subset WF_G(u)\cap\text{conesupp}(a)$ and $a^w$ does not generate new singularities outside $\text{conesupp}\,a$ (Rodino et al., 2012, Rodino et al., 2020).
• Characterization of smoothness: $$WF_G(u)=\emptyset\iff u\in\mathcal{S}(\mathbb{R}^d)$$ (Rodino et al., 2012).

Fundamentally, $WF_G(u)$ coincides with Hörmander’s global wave front set $WF(u)$ defined via Shubin-class pseudodifferential localization. The precise equality $WF_G(u)=WF(u)$ for $u\in\mathcal{S}'(\mathbb{R}^d)$ is due to Rodino and Wahlberg (Rodino et al., 2012, Rodino et al., 2020, Schulz et al., 2013). In the anisotropic setting, $WF_G^r(u)$ reduces to the classical case at $r=1$.

The homogeneous wave front set introduced by Nakamura, which uses semiclassical scaling, is also shown to be equivalent to $WF_G(u)$ for tempered distributions (Schulz et al., 2013).

3. Anisotropic Gabor Wave Front Set

The anisotropic Gabor wave front set $WF_G^r(u)$, and more generally $WF_G^\sigma(u)$ for a rational anisotropy parameter $\sigma>0$, adapts microlocal analysis to non-isotropic scalings. This is necessary for problems where physical or geometric anisotropy is present, such as in higher-order Schrödinger or dispersive equations with polynomial principal symbols.

The definition assigns different scaling behaviors to $x$ and $\xi$: $z=(x,\xi) \mapsto (\lambda x, \lambda^\sigma \xi)$, and the STFT is probed along such dilations. The resulting set $WF_G^\sigma(u)$ is conic with respect to this $\sigma$-anisotropic scaling and retains the invariance and closedness properties of the isotropic case (Cappiello et al., 2023, Wahlberg, 2023).

4. Propagation of Gabor Singularities

A central application is the propagation of singularities under evolution equations, particularly those of Schrödinger or dispersive type. For a broad class of linear equations $i\,\partial_t u = H u$ with real-valued polynomial symbols $p(\xi)$ or Weyl quantizations $a^w(x,D)$ belonging to anisotropic symbol classes $G^{m,\sigma}$, the propagation of the (anisotropic) Gabor wave front set aligns with the characteristic Hamiltonian flow:

$WF_G^\sigma(u(t)) = \Phi_t[WF_G^\sigma(u_0)],$

where $\Phi_t$ is the Hamiltonian flow generated by the principal symbol, respecting the anisotropic scaling (Cappiello et al., 2023, Wahlberg, 2023).

For operators whose Schwartz kernels $K$ satisfy a graph-type conic support condition (see below), the action on singularities is governed by a precise microlocal relation: $WF_G^r(Ku) \subset WF_G^r(K)' \circ WF_G^r(u),$ with the relation $$A' \circ B = \{ (x,\xi)\, |\, \exists (y,\eta)\in B: (x,y,\xi,-\eta)\in A \}$$ (Wahlberg, 2023).

Examples:

• For the free Schrödinger equation ($p(\xi)=|\xi|^2$, $r=1$), $$WF_G(e^{it\Delta}u_0) = \{ (x+2t\xi, \xi): (x,\xi)\in WF_G(u_0)\}$$.
• For fourth-order evolution ($p(\xi)=|\xi|^4$, $r=1/3$), singularities propagate along $x(t) = x + 4 t |\xi|^2 \xi$ (Wahlberg, 2023).

5. Graph-Type Criterion for Operator Kernels

A distinguishing feature of the Gabor microlocal framework is that propagation laws extend to operators with non-smooth or generalized kernel distributions. The key sufficient hypothesis is a graph-type conic support criterion for the anisotropic Gabor wave front set of the Schwartz kernel $K$:

Define two sets associated with $K$: $$WF_G^{r,1}(K) = \{ (x, \xi): (x,0,\xi,0)\in WF_G^r(K) \},\; WF_G^{r,2}(K) = \{ (y, \eta): (0,y,0,-\eta)\in WF_G^r(K) \}.$$ If both are empty, then $WF_G^r(K)$ must be contained microlocally near the graph of an invertible linear map $(x, \xi) \mapsto (Ax, -A\xi)$, ensuring that $K$ is well-behaved with respect to phase space localization and allows continuous extension to $\mathcal{S}'$ (Wahlberg, 2023).

This abstraction supports propagation and restriction theorems for evolution equations and their associated propagators.

6. Examples and Explicit Computations

Several canonical distributions illustrate the theoretical structure (Rodino et al., 2020, Rodino et al., 2012, Boiti et al., 2017):

Distribution	$WF_G(u)$	STFT Behavior
Dirac $\delta_0$	$\{0\} \times (\mathbb{R}^d \setminus \{0\})$	Non-decay in frequency
Constant $1$	$(\mathbb{R}^d \setminus \{0\})\times\{0\}$	Non-decay in space
Plane wave $e^{i\xi_0 \cdot x}$	$(\mathbb{R}^d \setminus \{0\}) \times \{\xi_0\}$	Localized along frequency
Chirp $e^{ic|x|^2/2}$	$\{ (x, c x): x \ne 0 \}$	Non-decay along $x \mapsto (x, c x)$

For compactly supported distributions $u \in \mathscr{E}'(\mathbb{R}^n)$, the Gabor wave front set is $\{0\} \times \pi_2(WF(u))$, i.e., all singularities are concentrated at $x = 0$ in phase space with the same frequency projection as the classical wave front set. Conversely, $C_c^\infty$ functions have empty $WF_G$ (Wahlberg, 2019).

7. Extensions and Generalizations

Multiple frameworks broaden the scope of the Gabor wave front set:

• Modulation spaces and ultradifferentiable classes: In the presence of a non-quasianalytic weight $\omega$, the Gabor $\omega$-wave front set $WF^G_\omega(u)$ is defined by exponential (rather than polynomial) decay of $V_\varphi u(z)$ weighted by $e^{N\omega(z)}$. Equivalence with decay-based definitions and Gabor frame samples holds, providing robust ultradifferentiable microlocality (Boiti et al., 2017).
• Stability under frame perturbations: The wave front set determined via a Gabor frame is invariant under $\varepsilon$-type perturbations and under nonstationary Gabor frames, confirming the robustness of $WF_G$ under reasonable changes to the time-frequency lattice or window (Boiti et al., 16 Jan 2026).
• Analytic, Gevrey, and modulation space variants: Defining wave front sets by requiring decay of $V_\varphi u(z)$ at an exponential or modulation-space rate allows fine-grained spectral and analytic microanalysis (Rodino et al., 2020).

These generalizations have facilitated micro-analysis for a broad spectrum of differential and pseudo-differential operators, including those with limited regularity, complex symbols, or global (nonlocal) effects.

---

The Gabor wave front set and its anisotropic extensions unify microlocal and time-frequency analysis, providing a geometrically natural, robust, and computationally accessible microlocal structure for distributions. It underpins exact propagation laws for singularities and enables precise control in ultra- and analytic function settings (Rodino et al., 2020, Rodino et al., 2012, Wahlberg, 2023, Cappiello et al., 2023, Boiti et al., 2017, Boiti et al., 16 Jan 2026).