Model subspaces techniques to study Fourier expansions in L^2 spaces associated to singular measures

DOI10.1016/J.JFA.2020.108725MaRDI QIDQ2197804zbMATH OpenOpenAlexFDO

Authors Jorge Antezana, María Guadalupe García

Publication date 1 September 2020

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.08876

Fourier expansion Hardy spaces model subspaces Parseval frames singular measure

Hardy spaces (30H10) Fourier coefficients, Fourier series of functions with special properties, special Fourier series (42A16) General harmonic expansions, frames (42C15)

Abstract: Let

m u

be a probability measure on

m a t h b b T

that is singular with respect to the Haar measure. In this paper we study Fourier expansions in

L^{2} (m a t h b b T, m u)

using techniques from the theory of model subspaces of the Hardy space. Since the sequence of monomials

{z^{n}}_{n i n m a t h b b N}

is effective in

L^{2} (m a t h b b T, m u)

, it has a Parseval frame associated via the Kaczmarz algorithm. Our first main goal is to identify the aforementioned frame with boundary values of the frame

P_{v} a r p h i (z^{n})

for the model subspace

m a t h c a l H (v a r p h i) = H^{2} o m i n u s v a r p h i H^{2}

, where

P_{v} a r p h i

is the orthogonal projection from the Hardy space

H^{2}

onto

m a t h c a l H (v a r p h i)

. The study of Fourier expansions in

L^{2} (m a t h b b T, m u)

also leads to consider positive kernels in the Hardy space. Our second main goal is to study the set of measures

m u

which reproduce a kernel contained in a model subspace. We completely characterize this set when the kernel is the reproducing kernel of a model subspace, and we study the consequences of this characterization.

Review text

Let \(\{f_n\}_{n\geq0}\) be a sequence in a separable Hilbert space \(H\) . This sequence \(\{f_n\}\) is called Parseval frame for \(H\) when \[ ||f||_H=\sum_{n\geq0}|<f,f_n>_H|^2 \] for every \(f\in H\). Also \(\{\phi\}_{n\geq0}\), a complete sequence of unit vector in \(H\), is called effective, if when it is defined that \[ \xi_0=<\xi,\phi_0>\] \[\xi_n=\xi_{n-1}+<\xi-\xi_{n-1},\phi_n>\phi_n\ \ \ (n=1,2,\dots)\] for every \(\xi\in H\), \[ \lim_{n\rightarrow\infty}||\xi-\xi_n||=0. \] Now let \(\mu\) be a Borel measure in the torus \(\mathcal{T}\) that is singular with respect to the Lebesgue measure. The aim of this paper is to study of Fourier representation for \(L^2\) spaces of singular measure by using the theory of model subspaces of the Hardy space \(\mathcal{H}^2\), whose idea already appears in the references [\textit{R. Haller} and \textit{R. Szwarc}, Stud. Math. 169, No. 2, 123--132 (2005; Zbl 1102.41031); \textit{J. E. Herr} et al., J. Anal. Math. 138, No. 1, 209--234 (2019; Zbl 1428.30044); \textit{S. V. Khrushchev} et al., Lect. Notes Math. 864, 214--335 (1981; Zbl 0466.46018)], etc. The authors study the Parseval frame associate to the effective sequence of monomials \(\{z^n\}_{n\geq0}\) in \(L^2(\mathcal{T},\mu)\), and characterize the Paseval frame as the boundary values of the Parseval frame obtained by projecting the monomials onto a convenient model space. Moreover, they show the related some results.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Model subspaces techniques to study Fourier expansions in \(L^2\) spaces associated to singular measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197804)