---
title: Mixed Modulation Spaces
url: https://www.emergentmind.com/topics/mixed-modulation-spaces
type: topic
---

# Mixed Modulation Spaces

Mixed modulation spaces are time–frequency function spaces defined by measuring the short-time Fourier transform (STFT) in mixed phase-space norms. In the standard setting, for a nonzero window \(g\), the STFT is
\[
V_g f(x,\xi)=\int_{\mathbb R^d} f(t)\,\overline{g(t-x)}\,e^{-2\pi i \xi\cdot t}\,dt,
\]
and the classical modulation space \(M^{p,q}(\mathbb R^d)\) is obtained by requiring \(V_g f\in L^{p,q}(\mathbb R^{2d})\). In broader usage, the subject includes permutation-dependent spaces \(M(c)^{p_1,\dots,p_{2d}}\), multi-index mixed quasi-norm spaces \(M_w^{\mathbf p}\), mixed-norm \(\alpha\)-modulation spaces, and modulation spaces associated to tensor products of amalgam spaces; all of them retain the same basic principle that time–frequency concentration is quantified by anisotropic or order-sensitive mixed norms on phase space [1702.03201] [1404.0758] [1108.0460] [2012.12295].

## 1. Foundational definitions and the STFT framework

The core object throughout the theory is the STFT, which identifies a distribution \(f\) with a phase-space function \(V_g f(x,\xi)\). In the classical mixed-norm case,
\[
\|f\|_{M^{p,q}}=\left(\int_{\mathbb R^d}\left(\int_{\mathbb R^d}|V_g f(x,\xi)|^p\,dx\right)^{q/p}d\xi\right)^{1/q},
\]
with the usual modifications when \(p=\infty\) or \(q=\infty\). The window \(g\) can be changed without changing the space, provided \(g\) is chosen in the admissible class specified in the relevant theory; this window-independence is a basic structural property in both the Banach and quasi-Banach settings [1702.03201] [2305.13166] [1404.0758].

A more flexible construction replaces the two exponents \(p,q\) by a full multi-index and, in some formulations, a permutation of the phase-space coordinates. In the permutation-based setting of kernel theorems, one fixes a permutation \(c\) of \(\{1,\dots,2d\}\), lets \(\check c\) reorder the coordinates, and defines
\[
M(c)^{p_1,\dots,p_{2d}}
=\Bigl\{f\in\mathcal S'(\mathbb R^d): \|V_g f\circ \check c\|_{L^{p_1,\dots,p_{2d}}}<\infty\Bigr\}.
\]
When \(c\) is the identity and all exponents coincide, one recovers the standard space \(M^p\); when the exponents split into spatial and frequency blocks, one recovers \(M^{p,q}\). A distinguished permutation \(c_0\) satisfies
\[
M(c_0)^{p,q}=W(\mathcal F L^p,L^q),
\]
so the mixed modulation formalism also contains Wiener amalgam spaces [1702.03201].

The quasi-Banach generalization replaces \(L^{p,q}\) by iterated mixed quasi-norms \(L_w^{\mathbf p}\), with \(\mathbf p=(p_1,\dots,p_{2d})\), possibly after a prescribed permutation of coordinates. In that setting,
\[
M_w^{\mathbf p}(\mathbb R^d)=\{f\in \Sigma_1'(\mathbb R^d):V_\varphi f\in L_w^{\mathbf p}(\mathbb R^{2d})\},
\]
and the analysis is formulated in Gelfand–Shilov classes when the weights are more general than polynomially moderate. This extends the classical \(M_w^{p,q}\) scale to a genuinely multi-parameter mixed-norm theory [1404.0758].

## 2. Variants of mixed modulation spaces

Across the literature, mixed modulation spaces appear in several structurally distinct but closely related forms. One major variant is the \(\alpha\)-modulation scale \(M_{p,q}^{s,\alpha}\), \(0\le \alpha<1\), built from an \(\alpha\)-covering of frequency space. With associated projections \(\square_k^\alpha\), the norm is
\[
\|f\|_{M^{s,\alpha}_{p,q}}
= \left(\sum_{k\in\mathbb Z^n} \langle k\rangle^{\frac{s q}{1-\alpha}} \|\square_k^\alpha f\|_p^q\right)^{1/q}.
\]
For \(\alpha=0\) one recovers modulation-space geometry, while \(M_{p,q}^{s,1}\) is treated by convention as the Besov space \(B_{p,q}^s\). The space is therefore a mixed decomposition scale interpolating geometrically between uniform and dyadic frequency tilings [1108.0460].

A further anisotropic refinement is the mixed-norm \(\alpha\)-modulation space
\[
M_{\vec p,q}^{s,\alpha}(\mathbb R^n)
=\left\{ f\in\mathcal S'(\mathbb R^n): \left( \sum_{k\in\mathbb Z^n} \langle k\rangle^{\frac{sq}{1-\alpha}}
\left\| \mathcal F^{-1}\big(\varphi_k \widehat f\big) \right\|_{L^{\vec p}}^q \right)^{1/q}<\infty \right\},
\]
where \(\vec p=(p_1,\dots,p_n)\). Here the mixedness is spatially anisotropic: each coordinate direction may carry a different integrability exponent, while the global \(\ell^q\)-summation remains tied to the \(\alpha\)-dependent frequency covering [2303.15791].

Another variant starts from a Banach space \(X\) on phase space and defines
\[
M[X]=\{f\in \mathcal S'(\mathbb R^d): V_g f\in X\},\qquad \|f\|_{M[X]}=\|V_g f\|_X.
\]
When \(X=L^{p,q}\), one recovers \(M^{p,q}\). When \(X\) is a completed projective or injective tensor product of Wiener amalgam spaces, the resulting modulation space can itself be identified with a Wiener amalgam space. For example, one of the paper’s principal special cases is
\[
M[L_{p_1}\widehat{T}L_{p_2}]=W(FL_{p_2},L^1),\qquad 1\le p_1\le p_2\le 2,
\]
together with the injective analogue
\[
M[L_{p_1}\widehat{e}L_{p_2}]=W(FL_{p_2},L^\infty_0),\qquad 2\le p_2\le p_1<\infty.
\]
This identifies a broad family of apparently different mixed modulation constructions with concrete amalgam spaces [2012.12295].

The special affine Fourier transform generates yet another realization. The SAFT-based spaces \({}_{A,m}^{r,s}\) are defined through \(A\)-convolution and \(A\)-modulation, but the key structural theorem is that they are chirp-conjugated classical modulation spaces:
\[
f\in {}_{A,m}^{r,s}\iff C_{a/b}f\in {}_{m_b}^{r,s},
\qquad m_b(x,\omega)=m(x,b\omega).
\]
This shows that the SAFT theory does not introduce an unrelated scale; it re-encodes mixed modulation spaces in a transform-adapted form [2207.03696].

## 3. Discretization, Gabor frames, and molecular decompositions

Discretization by Gabor analysis is one of the defining technical mechanisms of the subject. If \(G(g,\Lambda)\) is a Gabor frame with dual window \(\gamma\), then the coefficient and synthesis maps
\[
C_g f=\{(f,\pi(\lambda)g)\}_{\lambda\in\Lambda},\qquad
D_\gamma c=\sum_{\lambda\in\Lambda} c_\lambda\,\pi(\lambda)\gamma
\]
satisfy \(D_\gamma C_g=I\), and the resulting coefficient sequence yields an equivalent discrete description of the modulation norm. For mixed modulation spaces \(M(c)^{p_1,\dots,p_{2d}}\), the Gabor coefficients characterize the norm in mixed \(\ell^{p_1,\dots,p_{2d}}\) spaces, with unconditional reconstruction when all exponents are finite [1702.03201].

This discretization persists in the broad quasi-Banach setting. For \(M_w^{\mathbf p}\), the analysis operator \(C_\varphi\) and synthesis operator \(D_\psi\) extend continuously between modulation spaces and the corresponding mixed sequence spaces \(l_w^{\mathbf p}\), and dual Gabor frames provide the reconstruction formula
\[
f = \sum_{j,k} V_\varphi f(x_j,\xi_k)\, e^{i(\cdot,\xi_k)}\psi(\cdot-x_j)
\]
with unconditional convergence when \(\max \mathbf p<\infty\) and weak-\(*\) convergence otherwise. This result places mixed-norm modulation spaces within a fully reconstructible frame theory rather than a merely abstract norm definition [1404.0758].

For mixed-norm \(\alpha\)-modulation spaces, the analogous tool is the \(p\)-transform, which produces a discrete sequence space \(m_{\vec p,q}^{s,\alpha}\) and a tight frame adapted to the \(\alpha\)-covering. The boundedness of the analysis map \(S_\varphi\), the boundedness of the synthesis map \(T_\varphi\), and the identity \(T_\varphi S_\varphi=\mathrm{id}\) provide a discrete decomposition theory parallel to Frazier–Jawerth constructions [2303.15791].

The molecular formulation refines this further. A family \(\{\psi_{k,\ell}\}\) is a system of \((M,N)\)-molecules if it obeys simultaneous spatial and frequency localization estimates of the form
\[
|\psi_{k,\ell}(x)| \le C_M\, r_k^{n/2}\, \big(1+r_k|x-x_{k,\ell}|\big)^{-M},
\]
\[
|\widehat{\psi}_{k,\ell}(\xi)| \le C_N\, r_k^{-n/2}\, \big(1+r_k^{-1}|\xi-\xi_k|\big)^{-N}.
\]
The change-of-frame matrix between two such molecular systems is almost diagonal, and the associated almost diagonal matrices form an algebra under composition. This algebraic closure is the basis for perturbation theory, compactly supported frame constructions, and multiplier estimates in mixed-norm \(\alpha\)-modulation spaces [2303.15791].

## 4. Kernel theorems and operator-theoretic characterizations

The sharpest operator-theoretic use of mixed modulation spaces is the kernel theorem for operators on \(M^p\). Let \(A\) be a linear continuous operator on \(\mathcal S(\mathbb R^d)\) with distribution kernel \(K\). For \(1<p<\infty\),
\[
A:M^1(\mathbb R^d)\to M^p(\mathbb R^d)
\quad\Longleftrightarrow\quad
K\in M(c_1)^{p,\infty},
\]
and
\[
A:M^p(\mathbb R^d)\to M^\infty(\mathbb R^d)
\quad\Longleftrightarrow\quad
K\in M(c_2)^{p',\infty},
\qquad \frac1p+\frac1{p'}=1.
\]
From these endpoint statements one deduces
\[
A:M^p(\mathbb R^d)\to M^p(\mathbb R^d)
\quad\Longleftrightarrow\quad
K\in M(c_1)^{1,\infty}\cap M(c_2)^{1,\infty}.
\]
The result completely characterizes bounded operators on \(M^p\) by placing the kernel in carefully permuted mixed modulation spaces [1702.03201].

The theorem is quantitative: the operator norm is equivalent to the corresponding kernel norm. In particular,
\[
\|A\|_{M^1\to M^p}\asymp \|K\|_{M(c_1)^{p,\infty}},
\qquad
\|A\|_{M^p\to M^\infty}\asymp \|K\|_{M(c_2)^{p',\infty}}.
\]
The proof identifies the kernel with a Gabor matrix
\[
K_{\lambda,\mu}=\bigl(A\,\pi(\mu)g,\pi(\lambda)\gamma\bigr),
\]
and translates operator boundedness into mixed \(\ell^p\) estimates for this matrix. Feichtinger’s kernel theorem appears as the special case
\[
A:M^1(\mathbb R^d)\to M^\infty(\mathbb R^d)
\quad\Longleftrightarrow\quad
K\in M^\infty(\mathbb R^{2d}),
\]
so the mixed formulation is a genuine extension of the earlier theorem [1702.03201].

A persistent point of interpretation is that the clean iff-characterization is specific to the diagonal scale \(M^p\). For operators on \(M^{p,q}\), the same paper states that a full kernel characterization analogous to the \(p=q\) case is not expected. Instead, it proves sufficient conditions such as
\[
K\in M(c_5)^{1,\infty,1,\infty}\implies A:M^{\infty,1}\to M^{\infty,1},
\]
\[
K\in M(c_6)^{1,\infty,1,\infty}\implies A:M^{1,\infty}\to M^{1,\infty},
\]
and, by interpolation,
\[
K\in M(c_1)^{1,\infty}\cap M(c_2)^{1,\infty}\cap M(c_5)^{1,\infty,1,\infty}\cap M(c_6)^{1,\infty,1,\infty}
\]
implies boundedness on \(M^{p,q}\) for all \(1<p,q<\infty\). This distinction is central: mixed modulation spaces provide robust kernel criteria beyond the classical kernel theorem, but the diagonal and off-diagonal cases behave differently [1702.03201].

The same kernel perspective underlies recent boundedness theory for Fourier integral operators. In the study of Schrödinger-type propagators, the kernel
\[
K(x,y)=\mathcal F_2(\sigma e^{2\pi i\Phi})(x,y)
\]
is estimated in permutation-dependent mixed modulation spaces such as \(M^{1,1,\infty,\infty}(c_1)\), while the phase derivatives are measured in working spaces of Wiener amalgam type. The resulting theorems give sharp \(M^{p,q}\)-boundedness thresholds in low, mild, critical, and high growth regimes for the phase, with necessity shown by discrete embedding counterexamples. This suggests that mixed modulation spaces have become a primary language for sharp time–frequency kernel estimates of oscillatory operators [2507.05039].

## 5. Embeddings, symmetries, and comparison with neighboring scales

Embedding theory makes explicit how mixed norms interact with smoothness and frequency geometry. For classical modulation spaces \(M_{p,q}^s\), one may write
\[
\|f\|_{M_{p,q}^s}\asymp \big\|\langle k\rangle^s\|\Box_k f\|_{L^p}\big\|_{\ell_k^q},
\]
which isolates two different mechanisms: local \(L^p\)-control on uniform frequency boxes and global \(\ell^q\)-summation over the box index. The sharp comparison with Besov, Triebel–Lizorkin, Sobolev, and Fourier \(L^p\) spaces is governed by the thresholds
\[
\sigma(p,q)=d\max\Bigl(0,\frac1q-\frac1p,\frac1q+\frac1p-1\Bigr),
\qquad
\tau(p,q)=d\min\Bigl(0,\frac1q-\frac1p,\frac1q+\frac1p-1\Bigr).
\]
These determine the exact smoothness needed for embeddings into modulation spaces and the maximal smoothness compatible with embeddings out of modulation spaces [2108.12106].

Within the \(\alpha\)-modulation scale, the corresponding sharp embedding criterion is
\[
M_{p,q}^{s_1,\alpha_1}\subset M_{p,q}^{s_2,\alpha_2}
\quad\Longleftrightarrow\quad
s_1\ge s_2+R(p,q;\alpha_1,\alpha_2),
\]
where
\[
R(p,q;\alpha_1,\alpha_2)
=
0\vee \Bigl[n(\alpha_1-\alpha_2)\Bigl(\frac1q-\frac1p\Bigr)\Bigr]
\vee \Bigl[n(\alpha_1-\alpha_2)\Bigl(\frac1p+\frac1q-1\Bigr)\Bigr].
\]
The same paper proves exact complex interpolation and duality, including the formula
\[
\big(M_{p,q}^{s,\alpha}\big)^*=M_{p^*,q^*}^{-s,\alpha}
\qquad (p,q\ge1).
\]
It also shows that the heuristic identification of \(\alpha\)-modulation spaces as interpolation spaces between modulation and Besov scales fails in general. This is a notable correction to an oversimplified view of the subject [1108.0460].

Symmetry properties are equally sensitive to mixed structure. For a metaplectic operator \(\widehat A\) projecting to \(A\in Sp(d,\mathbb R)\), the covariance formula
\[
|V_g(\widehat A f)(x,\xi)| = \big|V_{\widehat A^{-1}g}f(A^{-1}(x,\xi))\big|
\]
reduces boundedness on \(M^{p,q}\) to boundedness of the pullback \(D_A F(z)=F(A^{-1}z)\) on \(L^{p,q}\). The precise criterion is that \(\widehat A:M^{p,q}\to M^{p,q}\) is bounded if and only if either \(p=q\), or \(p\neq q\) and \(A\) is upper triangular. The mixed-norm geometry is therefore not invariant under arbitrary symplectic changes of variables when \(p\neq q\); only the diagonal case \(p=q\) enjoys the full metaplectic flexibility stated in that theorem [2305.13166].

The same metaplectic viewpoint yields alternative norm characterizations. Shift-invertible metaplectic Wigner distributions \(W_A(f,g)\) satisfy
\[
\|f\|_{M^{p,q}}\asymp \|W_A(f,g)\|_{L^{p,q}}
\]
under the upper-triangularity hypothesis on the relevant linear map, with the triangularity condition dropping in the case \(p=q\). This places STFTs, \(\tau\)-Wigner distributions, and related phase-space representations within a common mixed-norm invariance theory [2305.13166].

## 6. Operator classes, compactness, and analytical applications

The mixed-norm viewpoint has extensive operator-theoretic consequences. On the functional-analytic side, weighted mixed-norm Lebesgue spaces \(L_w^{(p_1,\dots,p_n)}\) have the metric approximation property under the factorization hypothesis
\[
w(x_1,\dots,x_n)\le w_1(x_1)\cdots w_n(x_n),
\]
and this transfers to weighted modulation spaces \(M_w^{p,q}\) via Gabor frame representations. As a consequence, Grothendieck’s nuclearity theory applies, and an operator \(T\in\mathcal L(M_w^{p,q},M_w^{p,q})\) is \(r\)-nuclear precisely when its kernel admits a decomposition
\[
k(x,y)=\sum_{j=1}^\infty u_j(x)v_j(y),
\]
with
\[
u_j\in M_w^{p,q},\qquad v_j\in M_{w^{-1}}^{p',q'},
\qquad
\sum_{j=1}^\infty \|u_j\|_{M_w^{p,q}}^r\|v_j\|_{M_{w^{-1}}^{p',q'}}^r<\infty.
\]
For \(r<2\), the associated trace formula is
\[
\operatorname{Tr}(T)=\sum_{j=1}^\infty \lambda_j.
\]
This ties mixed modulation norms directly to trace and spectral theory [1410.4687].

Compactness questions can also be phrased in mixed modulation terms. For localization operators \(L_a\) acting on weighted spaces \(\mathbf M^{p,q}_{m_\lambda}\) of \(w\)-tempered distributions, boundedness follows from \(a\in \mathbf M_{m_\lambda}^{\infty}\), while compactness follows from a vanishing-at-infinity condition on the STFT of the symbol. In particular, if \(a'\in \mathbf M_0^\infty(\mathbb R^{2d})\), then
\[
L_{a'}:\mathbf M^{p,q}_{m_\lambda}(\mathbb R^d)\to \mathbf M^{p,q}_{m_\lambda}(\mathbb R^d)
\]
is compact for \(1<p,q<\infty\). The proof passes through a kernel expansion using a tight Gabor frame and then approximates general symbols by test symbols in \(\mathcal S_w(\mathbb R^{2d})\) [1910.09243].

Spectral multiplier theory provides another major application. For the Hermite operator
\[
H=-\Delta+|x|^2,
\]
the multiplier \(m(H)\) is bounded on \(M^{p,q}\) under a localized Sobolev condition of order \(B>(2d+1)/2\) when
\[
1<p<q<2 \qquad \text{or} \qquad 2<q<p<\infty,
\]
and on the diagonal spaces \(M^{p,p}\) under the sharper condition \(B>d/2\). The same work states that these mixed-norm conditions are not sharp in the off-diagonal case and uses Heisenberg-group transference and torus multiplier theory to prove the diagonal improvement. It also deduces boundedness of Hermite Riesz transforms in the same mixed range and shows that the wave and Schrödinger propagators for \(H\) preserve modulation-space regularity [1712.03364].

Nonlinear dispersive theory likewise exploits mixed modulation spaces. For the mixed fractional Hartree equation and the Hartree equation with harmonic potential, local and global well-posedness are established in \(M^{p,q}\) and in Fourier amalgam spaces \(\widehat w^{p,q}\), based on trilinear Hartree estimates and Strichartz estimates. The paper emphasizes that this yields \(M^{p,q}\)- and \(\widehat w^{p,q}\)-regularity for all \(p,q\in[1,\infty]\) in the stated regimes, extending earlier Sobolev-based results and admitting low-regularity data [2302.10683].

A final analytical direction is variational. The uncertainty-principle framework based on modulation spaces formulates minimization problems on constraint sets defined by mixed-norm modulation spaces \(M_m^{r,s}\), proves a mixed-norm extension of Lieb’s inequality for ambiguity functions, and identifies the optimal constant with an extremal eigenvalue of an inverse compact localization operator in the Hilbert case. This connects mixed modulation norms to compact embeddings, localization operators, and Euler–Lagrange equations, including the harmonic-oscillator ground-state equation in the classical one-dimensional case [2206.12488].

Taken together, these developments show that mixed modulation spaces are not merely a notational extension of \(M^{p,q}\). They form a family of STFT-based spaces in which anisotropy, coordinate ordering, frequency geometry, and operator structure can be encoded with high precision. The literature also makes clear that this precision comes with sharp constraints: full kernel theorems are currently specific to certain scales, metaplectic invariance is restricted in the genuinely mixed case \(p\neq q\), and interpolation heuristics can fail outside special parameter regimes [1702.03201] [2305.13166] [1108.0460].

Source: https://www.emergentmind.com/topics/mixed-modulation-spaces