Note on Carlson's theorem (Q2495321): Difference between revisions

The following extension to Carlson's theorem is proved: Let \(c, \gamma, \delta \in \mathbb R\) with \(c + \gamma < 1\) and \(\delta > 0\). Write \(z = x + i y\). Suppose \(f(z)\) is holomorphic in the region \(x \geq 0\) and satisfies \[ \limsup_{| y| \rightarrow \infty} \frac{\log | f(iy)| }{\pi | y| } \leq \gamma, \qquad \limsup_{x \rightarrow \infty} \frac{\log | f(x)| }{2x \log x} \leq c \] and that, throughout \(x \geq 0\), as \(| z| \rightarrow \infty\), i.e., uniformly in the argument of \(z\), \[ \log | f(z)| = O(| z| ^{2 - \delta}) . \] Suppose \(f(n) = 0\) for all \(n \in \mathbb N\). Then \(f(z)\) vanishes identically. The proof is carried out by reducing the problem into Carlson's original one, using the growth of the gamma function and the Phragmén-Lindelöf principle.