A generlization of Malliavin's uniqueness theorem (Q5929125)

Let \(v(x)\) be a function defined on \([0,+ \infty)\) and let \(H (v)\) be the set of such functions \(f(z)\) which are holomorphic in \(\mathbb{C}_+ =\{ z=x+iy\); \(x>0\}\) and continuous in \(\overline \mathbb{C}_+=\{z=z+iy;\;x\geq 0\}\) such that \(|f(z)|\leq A\exp \{Ax+xv(x)\}\) hold for \(z=x+iy \in\mathbb{C}_+\), \(r= |z|\). Let \(\Lambda= \{\lambda_n\}\) be an increasing sequence of positive real numbers such that \(\inf\{\lambda_{n+1} -\lambda_n;\;n=1,2, \dots\} >0\) and \(\rho= \varlimsup_{n\to \infty} \lambda_n^{-1} \log|f(\lambda_n) |\) for \(f\in H(v)\). Suppose that the set \(\Lambda= \{\lambda_n\}\) is Malliavin's uniqueness set for \(H(v)\). In this paper, the author shows the following theorem which is a generalization of Malliavin's uniqueness theorem when \(\rho= -\infty\): If \(f\in H(v)\) and \(\rho< \infty\), then \(f\) is of exponential type \(\rho\) and \(|f(z)|\leq A\exp(\rho x)\) holds for \(z=x+ iy\in\mathbb{C}_+\).