Interpolating varieties for entire functions of minimal type (Q556867)

Let \(\text{Exp}_0(\mathbb C^n)\) be the space of entire functions in \(\mathbb C^n\) satisfying that for every \(\varepsilon>0\), there exists a constant \(A_\varepsilon> 0\) such that \(| f(z)| <A_\varepsilon e^{\varepsilon| z| }\) for \(z\in \mathbb C^n\), i.e., \(\sup_{z\in\mathbb C^n}\{| f(z)| e^{-\varepsilon| z| }\}<+\infty,\) or equivalently, \(\lim_{r\to\infty}\frac{\log M(r,f)}{r} = 0\), where \(M(r,f) := \max_{| z| =r}\{| f(z)| \}\). The author is concerned with the following interpolation problem for the algebra \(\text{Exp}_0(\mathbb C^n)\): Given a discrete variety \(V = \{z_k\}\subset \mathbb C^n\), under what necessary and sufficient conditions is it true that for any sequence \(\{a_k\}\) of complex numbers in \(\text{Exp}_0(V)\) there exists an entire function \(f\in\text{Exp}_0(\mathbb C^n)\) such that \(f(z_k) = a_k\) for each \(k\in\mathbb N\)? We will then say that \(V\) is an interpolating variety for \(\text{Exp}_0(\mathbb C^n)\). Here \(\text{Exp}_0(V)\) is the space of sequences \(\{a_k\}\) of complex numbers satisfying the same kind of growth condition, i.e., for any \(\varepsilon>0\), there exists a constant \(A_\varepsilon> 0\) such that \(| a_k| < A_\varepsilon e^{\varepsilon| z_k| }\) for \(k\in\mathbb N\), or \(\sup_k\{| a_k| e^{-\varepsilon| z_k| }\} < +\infty.\) Both necessary and sufficient interpolation conditions for \(\text{Exp}_0(\mathbb C^n)\), which apply to arbitrary discrete varieties in \(\mathbb C^n\), are established. As a matter of fact, the author obtains the results for the more general space \(A^0_p(\mathbb C^n)\), which is the algebra of entire functions of minimal type with respect to a Ehrenpreis-Hörmander weight \(p\), i.e., entire functions \(f\) satisfying that \(\lim_{r\to\infty}\frac{\log M(r,f)}{p(r)} = 0,\) or equivalently, \(\sup_{z\in\mathbb C^n}\{| f(z)| e^{-\varepsilon p(z)}\} < +\infty\) for every \(\varepsilon > 0\). Clearly, interpolation for \(\text{Exp}_0(\mathbb C^n)\) is the special case for the algebra \(A^0_p(\mathbb C^n)\) with \(p(z) =| z| \).