Strict density inequalities for sampling and interpolation in weighted spaces of holomorphic functions

DOI10.1016/J.JFA.2019.108282MaRDI QIDQ2329293zbMATH OpenOpenAlexFDO

Authors Antti Haimi, Joaquim Ortega-Cerdà, José Luis Romero, Karlheinz Gröchenig

Publication date 17 October 2019

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

Full work available at URL https://arxiv.org/abs/1808.02703, http://hdl.handle.net/2445/164420

entire functions, Fock spaces interpolation reproducing kernel Hilbert spaces sampling

Entire functions of several complex variables (32A15) Bergman spaces of functions in several complex variables (32A36) Hilbert spaces with reproducing kernels (= (proper) functional Hilbert spaces, including de Branges-Rovnyak and other structured spaces) (46E22)

Abstract: Answering a question of Lindholm, we prove strict density inequalities for sampling and interpolation in Fock spaces of entire functions in several complex variables defined by a plurisubharmonic weight. In particular, these spaces do not admit a set that is simultaneously sampling and interpolating. To prove optimality of the density conditions, we construct sampling sets with a density arbitrarily close to the critical density. The techniques combine methods from several complex variables (estimates for

) and the theory of localized frames in general reproducing kernel Hilbert spaces (with no analyticity assumed). The abstract results on Fekete points and deformation of frames may be of independent interest.

Review text

Let \(\phi:\mathbb C^n\longrightarrow\mathbb R\) be a plurisubharmonic function satisfying \[ i m \partial\overline\partial|z|^2\leq i\partial\overline\partial\phi\leq iM\partial\overline\partial|z|^2 \] (in the sense of positive currents) for some positive constants \(m,M\). For \(1\leq p\leq\infty\) we denote by \(A^p_{\phi}\) the space of entire functions on \(\mathbb C^n\) equipped with the norm \[ \|f\|^p_{\phi,p}:=\begin{cases}\int_{\mathbb C^n}|f(z)|^pe^{-p\phi(z)}\,dm(z),\quad&p<\infty,\\\sup_{z\in\mathbb C^n}|f(z)|e^{-\phi(z)},\quad&p=\infty,\end{cases} \] where \(m\) denotes the Lebesgue measure. A set \(\Lambda\subset\mathbb C^n\) is called a \textit{sampling} set for \(A^p_{\phi}\) if there are positive constants \(A,B\) such that \[ A\|f\|^p_{\phi,p}\leq\sum_{\lambda\in\Lambda}|f(\lambda)|^pe^{-p\phi(\lambda)}\leq B\|f\|^p_{\phi,p},\quad f\in A^p_{\phi}, \] with the natural modification for \(p=\infty\). A set \(\Lambda\subset\mathbb C^n\) is called a \textit{interpolating} set for \(A^p_{\phi}\) if for every \(a\in\ell^p_{\phi}(\Lambda)\) there is a function \(f\in A^p_{\phi}\) with \(f(\lambda)=a_{\lambda}\), \(\lambda\in\Lambda\). The \textit{weighted Beurling upper density} of \(\Lambda\) is defined as \[ D^+_{\phi}(\Lambda):=\limsup_{r\to\infty}\sup_{z\in\mathbb C^n}\frac{\#(\Lambda\cap B_r(z))}{\int_{B_r(z)}K(w,w)e^{-2\phi(w)}\,dm(w)}, \] where \(K\) is the Bergman kernel of \(A^2_{\phi}\). We define the \textit{weighted Beurling lower density} of \(\Lambda\) by replacing in the equality above \(\limsup\) by \(\liminf\) and \(\sup\) by \(\inf\). The first result of the paper under review is the following. For \(\varepsilon>0\) there exists a set \(\Lambda\subset\mathbb C^n\) that is interpolating for \(A^2_{(1+\varepsilon)\phi}\) and sampling for \(A^2_{(1-\varepsilon)\phi}\). Next, the authors prove that, if \(\Lambda\) is a sampling (resp. an interpolating) set for \(A^p_{\phi}\), then \(D^-_{\phi}(\Lambda)>1\) (resp. \(D^+_{\phi}(\Lambda)<1\)). As a consequence, they deduce that there does not exist a set \(\Lambda\subset\mathbb C^n\) that is simultaneously sampling and interpolating for \(A^2_{\phi}\). Finally, the authors prove the following result. If \((\Lambda_j)\) is a sequence of sets that converges Lipschitz-wise to a sampling (resp. interpolating) set \(\Lambda\) for \(A^p_{\phi}\) (i.e., roughly speaking, there exist maps \(\tau_j:\Lambda\longrightarrow\mathbb C^n\) with \(\Lambda_j=\tau_j(\Lambda)\), \(\tau_j(\lambda)\longrightarrow\lambda\) for \(\lambda\in\Lambda\) and the distances are preserved locally), then almost all \(\Lambda_j\) are sampling (resp. interpolating) sets for \(A^p_{\phi}\).

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Strict density inequalities for sampling and interpolation in weighted spaces of holomorphic functions

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