---
title: Gabor Wave Front Set Analysis
url: https://www.emergentmind.com/topics/gabor-wave-front-set
type: topic
---

# Gabor Wave Front Set Analysis

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 [1207.5628], [2004.01290].

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$ [2301.03190].

## 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\}$ [1207.5628], [2004.01290].
- **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})$ [2004.01290].
- **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$ [1207.5628], [2004.01290].
- **Characterization of smoothness**: $WF_G(u)=\emptyset\iff u\in\mathcal{S}(\mathbb{R}^d)$ [1207.5628].

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 [1207.5628], [2004.01290], [1304.7608]. 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 [1304.7608].

## 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 [2307.08010], [2301.03190].

## 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 [2307.08010], [2301.03190].

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 \}$ [2301.03190].

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$ [2301.03190].

## 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}'$ [2301.03190].

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 [2004.01290], [1207.5628], [1706.08413]:

| 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$ [1905.07336].

## 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 [1706.08413].
- **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 [2601.11364].
- **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 [2004.01290].

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 [2004.01290], [1207.5628], [2301.03190], [2307.08010], [1706.08413], [2601.11364].

Source: https://www.emergentmind.com/topics/gabor-wave-front-set