On the growth of entire functions of exponential type with zeros near a straight line (Q1809968)

Let \(\mu\) be a measure on \(\mathbb C\). Set \(\mu(r) =\mu(D(r))\), where \(D(r)\subset\mathbb C\) is the closed disk of radius \(r\) centered at zero. Let \(\Delta_\mu =\overline{\lim}_{r\to\infty}\mu(r)/r \) be the upper density of the measure \(\mu\) of order 1, and \(\Lambda = \{\lambda_n\}\) be a sequence of complex numbers such that \(\lambda_n\to\infty\) as \(n\to +\infty\). The main result of the paper is the upper bound of the indicator of a nonzero entire function of exponential type with minimal growth, vanishing on \(\Lambda\), for \(\Lambda\) close to the imaginary axis: If \(\beta\in(0,\pi/2)\) and \(\mu\) is a measure of finite upper density \(\Delta_\mu > 0\) supported in the pair of vertical angles \(\left\{z: \left|\arg z-\pi/2\right|\leq\beta\right\}\cup \left\{\left|\arg z+\pi/2\right|\leq\beta\right\}\), then, for any subharmonic function \(u_\mu\) with Riesz mass distribution \(\mu\), there exists an entire function \(g\) having zeros only on the imaginary and real axes, such that the subharmonic function \(u_\mu+\log |g|\) is of finite type of order 1, and the indicator \(h_{u_\mu+\log|g|}\) obeys the estimate \[ h_{u_\mu+\log|g|}(\theta)<\frac{12\pi(\pi+ 2)\Delta_\mu}{\pi/2-\beta} (|\cos\theta|\cos\beta+|\sin\theta|\tan\beta),\quad\theta\in[-\pi,\pi]. \] If only the estimate \[ h_{u_\mu+\log|g|}\left(\pm\pi/2\right)<\frac{12\pi(\pi+ 2)\Delta_\mu}{\pi/2-\beta} \tan\beta \] is required and \[ \left|\int_{1<|\zeta|\leq r}\text{Re}(1/\zeta) d\mu(\zeta)\right|=O(1), \qquad r\to\infty, \] then the function \(g\) can be chosen so as to have zeros only on the imaginary axis. If a sequence \(\Lambda\) of finite upper density \(\Delta_\Lambda\) condenses to the imaginary axis and \(f_\Lambda\) is an entire function with sequence of zeros \(\Lambda\), then, for any sufficiently small \(\varepsilon> 0\), there exists an entire function \(g\) having zeros only on the real and imaginary axes, such that the product \(f = f_\Lambda g\) is an entire function of exponential type, and the indicator \(h_f\) obeys the estimates \(h_f\left(\pm\pi/2\right)<\varepsilon\) and \(\max\{h_f(0),h_f(\pi)\}\leq 61000\Delta_\Lambda^2/\varepsilon.\) These bounds give sufficient conditions for the system of exponents \(\{\exp(\lambda_nz)\}\) to be incomplete in an unbounded domain in \(\mathbb C\).