Wigner measures in the discrete setting: high-frequency analysis of sampling & reconstruction operators
Fabricio Macia
TL;DR
This work develops a rigorous microlocal (Wigner) framework for understanding how sampling and reconstruction on regular grids modify high-frequency oscillations and concentrations in $L^{2}$-bounded sequences. It introduces discrete Wigner measures $M^{\varepsilon}[U^{h}]$ and derives explicit formulas connecting the Wigner measures of sampled and reconstructed sequences to the original continuous measures, notably $\mu_{\varphi,\psi}(x,\xi)=|\widehat{\psi}(\xi)|^{2}\sum_{n\in\mathbb{Z}^{d}}|\widehat{\varphi}(\xi+2\pi n)|^{2}\mu(x,\xi+2\pi n)$ and $\mu_{\varphi}(x,\xi)=|\widehat{\varphi}(\xi)|^{2}\mu(x,\xi)$. The paper also links defect measures to Wigner measures, analyzes regimes $h\sim\varepsilon$ and $h\ll\varepsilon$, establishes Poisson-summation-based proofs, and provides counterexamples showing limits of $h$-oscillation preservation. Together these results yield criteria for when sampling/reconstruction preserve, filter, or distort high-frequency content, with Shannon-like special cases illustrating band-limited reconstruction. The framework enables precise quantification of oscillation-direction effects and informs design of profiles $(\varphi,\psi)$ to achieve desired filtering or preservation properties in numerical sampling schemes.
Abstract
The goal of this article is that of understanding how the oscillation and concentration effects developed by a sequence of functions in $\mathbb{R}^{d} $ are modified by the action of Sampling and Reconstruction operators on regular grids. Our analysis is performed in terms of Wigner and defect measures, which provide a quantitative description of the high frequency behavior of bounded sequences in $L^{2}(mathbb{R}^{d}) $. We actually present explicit formulas that make possible to compute such measures for sampled/reconstructed sequences. As a consequence, we are able to characterize sampling and reconstruction operators that preserve or filter the high-frequency behavior of specific classes of sequences. The proofs of our results rely on the construction and manipulation of Wigner measures associated to sequences of discrete functions.
