Spring 2021 - Problem 12

Jensen's formula

Find all entire functions f ⁣:CC\func{f}{\C}{\C} that satisfy the following two properties:

  1. f(z)ez2\abs{f\p{z}} \leq e^{\abs{z}^2} for all zCz \in \C,
  2. f(n1/3)=nf\p{n^{1/3}} = n for all nNn \in \N.

Hint: f(z)=z3f\p{z} = z^3 is one of them.

Solution.

Let ff be such a function, and let m0m \geq 0 be such that

g(z)=f(z)z3zmg\p{z} = \frac{f\p{z} - z^3}{z^m}

is still entire. Notice that gg is still entire of second order and that

g(n1/3)=f(n1/3)nnm/3=0g\p{n^{1/3}} = \frac{f\p{n^{1/3}} - n}{n^{m/3}} = 0

for all nNn \in \N. Suppose that gg is not identically zero, so that we may apply Jensen's formula:

logg(0)+an<RlogRan=12π02πlogg(Reiθ)dθR2\log\,\abs{g\p{0}} + \sum_{\abs{a_n} < R} \log\frac{R}{\abs{a_n}} = \frac{1}{2\pi} \int_0^{2\pi} \log\,\abs{g\p{Re^{i\theta}}} \,\diff\theta \lesssim R^2

where ana_n denotes the zeroes of gg. Then because each n1/3n^{1/3} is a root,

R2n1/3<RlogRn1/3n<R3logRR1/3R3logR,\begin{aligned} R^2 &\gtrsim \sum_{n^{1/3} < R} \log\frac{R}{n^{1/3}} \\ &\gtrsim \sum_{n < R^3} \log\frac{R}{R^{1/3}} \\ &\gtrsim \floor{R^3} \log{R}, \end{aligned}

which is impossible. Hence, gg must have been identically zero to begin with, i.e., f(z)=z3f\p{z} = z^3, so z3z^3 is the only such function.