On the eigenvalue distribution of spatio-spectral limiting operators in higher dimensions, II

Abstract

Let $F$, $S$ be bounded measurable sets in $\mathbb{R}^d$. Let $P_F : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d) $ be the orthogonal projection on the subspace of functions with compact support on $F$, and let $B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ be the orthogonal projection on the subspace of functions with Fourier transforms having compact support on $S$. In this paper, we derive improved distributional estimates on the eigenvalue sequence $1 \geq λ_1(F,S) \geq λ_2(F,S) \geq \cdots > 0$ of the \emph{spatio-spectral limiting operator} $B_S P_F B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$. The significance of such estimates lies in their diverse applications in medical imaging, signal processing, geophysics and astronomy. Our proof is based on the decomposition techniques developed in \cite{MaRoSp23}. The novelty of our approach is in the use of a two-stage dyadic decomposition with respect to both the spatial and frequency domains, and the application of the results in \cite{ArieAzita23} on the eigenvalues of spatio-spectral limiting operators associated to cubical domains.

Theorems & Definitions (19)

• Theorem 1.1
• Theorem 1.2
• Remark 1.3
• Theorem 1.4
• Proposition 3.1
• proof
• Lemma 4.1
• proof
• Proposition 4.2
• Lemma 4.3: Bounds on SSLO eigenvalues associated to spatial and frequency cubes