So the problem states that if $f(z)$ is entire, and satisfies the relation $f(z+i) = f(z)$ and $f(z+1) = f(z)$, show that $f(z)$ is constant. So I was thinking that since any point in $\mathbb{C}$ can be written as $\alpha * 1 + \beta * i $ we can say that $f(z + z_0) = f(z) $ in which case it is constant, but I'm having trouble breaking down the steps and using the fact that $f$ is entire, which makes me feel like I'm missing something. What should I review to figure this out?
How to Prove that if $f(z)$ is entire, and $f(z+i) = f(z), f(z+1) = f(z)$, then $f(z)$ is constant?
11
$\begingroup$
complex-analysis
entire-functions
-
0Thanks @yoyo, that was really helpful to review as well. It applies to another question that$I$was also stuck on. – 2011-05-04
2 Answers
16
I think you can just use Liouville's theorem. The thing is that $f$ is bounded on compact subsets of the complex plane, so in particular it is bounded in the unit square $S = \{ a + bi \in \mathbb{C} \mid a, b \in [0, 1] \}$.
So then you can use the two relations $f(z+1) = f(z)$ and $f(z+i) = f(z)$ to prove that the values of $f$ are determined by its values in the unit square because you can write $z = x + iy$ and then
$f(z) = f(x + iy) = f(a + bi + (n + mi)) = f(a + bi)$
where $0 \leq a, b \leq 1$ and $n, m \in \mathbb{Z}$. In this case $n = \lfloor x \rfloor$ and $m = \lfloor y \rfloor$. Then of course $f$ is bounded in the whole complex plane so Liouville's theorem applies, and $f$ has to be constant.
-
2@Cake: You said that 1 and $i$ are *periods* of your $f(z)$; it stands to reason that adding/subtracting any integer multiple of your periods from the argument of $f$ doesn't change its value; much like saying that $\sin(x+2\pi m)=\sin\,x$ – 2011-05-13
2
Here is a Hint: Liouville Theorem.