Sufficient sets in weighted Fréchet spaces of entire functions (Q376195): Difference between revisions

Let \(\Phi = (\varphi_n)_{n=1}^\infty\) be a sequence of continuous real-valued functions (weights) with the property that \(\forall n\;\exists C_n > 0:\) \(\varphi_{n+1}(z) \leq C_n + \varphi_{n}(z)\) for all \(z\in {\mathbb C}.\) The authors consider the weighted Fréchet space of entire functions \[ P(\Phi) = \left\{f\in H({\mathbb C}):\;\| f \|_{\varphi_n}:=\sup_{z\in {\mathbb C}}\frac{\left|f(z)\right|}{e^{\varphi_n(z)}} < \infty\;\forall n\in {\mathbb N}\right\}. \] A subset \(S\subset {\mathbb C}\) is said to be sufficient for \(P(\Phi)\) if the topology of \(P(\Phi)\) coincides with the locally convex topology defined by the sequence of seminorms \[ \| f \|_{\varphi_n,S}:=\sup_{z\in S}\frac{\left|f(z)\right|}{e^{\varphi_n(z)}},\;n\in {\mathbb N}. \] In the case that \(P(\Phi)\) is invariant under multiplication by \(z\), the authors prove that each sufficient set remains so after removing an arbitrary finite number of points. For this reason, the minimality of (countable) sufficient sets \(\Lambda\) is related with the growth of entire functions vanishing on \(\Lambda\). Hence the authors focus on finding sufficient sets which are the set of zeros of an entire function of the least possible growth. To this end, they introduce the space \(\widehat{P}(\Phi)\) consisting of those entire functions \(f\) such that \(\forall n \;\exists m:\) \( \sup_{z\in {\mathbb C}}\frac{\left|f(z)\right|}{e^{2\varphi_n(z)-\varphi_m(z)}} < \infty\). Clearly, \(P(\Phi) \subset \widehat{P}(\Phi).\) A sequence \(\Lambda = (\lambda_k)_{k=1}^\infty\) of points of the complex plane is said to be minimal if there exists a nontrivial entire function \(L\) in \( \widehat{P}(\Phi)\) for which all \(\lambda_k\) are simple zeros. The main result of the article (Theorem 1) is contained in Section 2 and provides conditions on the entire function \(L\) under which the minimal sequence \(\Lambda,\) consisting of zeros of \(L,\) is a sufficient set. The crucial assumptions about the tameness of \(\Phi\) and the agreement of \(\Phi\) with \(\Lambda,\) needed to prove Theorem 1, are studied in detail in Section 3. The obtained results are applied in Section 4 to the study of weighted spaces of entire functions which appear as duals of spaces of holomorphic functions in a bounded convex domain with certain growth near the boundary.