Completeness of sets of functions in one variable harmonic analysis (42A65) Summability and bases; functional analytic aspects of frames in Banach and Hilbert spaces (46B15) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)
The authors identify the orthogonal complement of a set of functions obtained from shifts of a single generator \(f\) in \(L^2([0,1])\) with support contained in \([0,a]\), \(0<a<1\). This result solves a problem posed by Carlsson and Sundberg which puts additional restrictions on \(f\) and specialized to \(a=1/2\) [\textit{M. Carlsson} and \textit{C. Sundberg}, ``On translations of a function and its Fourier transoform; orthogonal decompositions of \(L^2([0,1])\) (work in progress)]. The main result is as follows: Let \(0<a<1\) and \(f \in L^2([0,1])\) be such that the convex hull of the support of \(f\) is \([0,a]\). Consider the roots \(L=\{\lambda_k\}\) of the analytic continuation of the Fourier transform of \(f\), and let \(n_k\) be the multiplicity of the root \(\lambda_k\), then the orthogonal complement of \(\{\tau_t f\}_{0 \leq t \leq 1 -a}\), where \(\tau_t f(x) = f(x-t)\), is the closed linear span of the set \[ \{ x \mapsto x^s e^{- i \overline{\lambda_k} x }: \lambda_k \in L,~ 0 \leq s <n_k \} \, . \] It is a standard exercise in the theory of reproducing kernels to verify that the elements in this set are indeed orthogonal to the shifts of \(f\), because the inner product with one of these kernel functions yields the point evaluation of the Fourier transform, or of a derivative of the Fourier transform at a (multiple) root. What is shown here is that the two closed subspaces spanned by the shifts of \(f\) and by the kernel functions indexed by the roots of the Fourier transform of \(f\) and by their multiplicity form a direct sum decomposition of the whole space \(L^2([0,1])\). The proof uses inner-outer factorization, the Hilbert transform, Beurling density theorems, and a recent result by \textit{M. Mitkovski} and \textit{A. Poltoratski} who characterized Pólya sequences in terms of long sequences of intervals [Adv. Math. 224, No. 3, 1057--1070 (2010; Zbl 1204.30018)].
- Hereditary completeness for systems of exponentials and reproducing kernels
- scientific article; zbMATH DE number 3253423 (Why is no real title available?)
- Meromorphic Inner Functions, Toeplitz Kernels and the Uncertainty Principle
- Pólya sequences, Toeplitz kernels and gap theorems
- Some Applications of Spaces of Entire Functions
This page was built for publication: A restricted shift completeness problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q715618)
