Fall 2012 - Problem 11

periodic functions

Find all holomorphic functions f ⁣:CC\func{f}{\C}{\C} satisfying f(z+1)=f(z)f\p{z + 1} = f\p{z} and f(z+i)=e2πf(z)f\p{z + i} = e^{2\pi}f\p{z} for all zCz \in \C.

Solution.

Observe that g(z)=e2πizg\p{z} = e^{-2\pi iz} is such a function. Given any other f(z)f\p{z} satisfying the same identities, set h(z)=f(z)g(z)h\p{z} = \frac{f\p{z}}{g\p{z}}. Then

h(z+1)=f(z+1)g(z+1)=f(z)g(z)=h(z)h(z+i)=f(z+i)g(z+i)=e2πf(z)e2πg(z)=h(z).\begin{gathered} h\p{z + 1} = \frac{f\p{z + 1}}{g\p{z + 1}} = \frac{f\p{z}}{g\p{z}} = h\p{z} \\ h\p{z + i} = \frac{f\p{z + i}}{g\p{z + i}} = \frac{e^{2\pi}f\p{z}}{e^{2\pi}g\p{z}} = h\p{z}. \end{gathered}

In other words, hh is doubly periodic. Notice that g(z)g\p{z} never vanishes, so hh is also entire. In particular, hh is continuous on [0,1]×[0,1]\br{0, 1} \times \br{0, 1}, so by double periodicity, hh is bounded everywhere. By Liouville's theorem, hh is constant, so f(z)=Ce2πizf\p{z} = Ce^{-2\pi iz} for some CCC \in \C, which completes the proof.