4
$\begingroup$

Suppose f is entire and $f(z)=f(z+1)=f(z+\pi)$. Does this imply $f$ is constant?

I want to prove that it is constant.I see that it is enough to consider the value of $f(z)$ in between the lines $z=1$ and $z=-1$. Clearly $f$ does not have a pole at $\infty$ (gonig to $\infty$ along the real line). I only need to show that it does not have essential singularity at $\infty$. But I cannot proceed further.Also I am not using the second condition. Any help is highly appreciated. Also I am not sure if the answer is yes.

$\endgroup$
2
  • 2
    $\begingroup$ The function $e^{2\pi iz}$ is non-constant and has period $1$ so you definitely need the second condition. Using the fact that $\pi$ is irrational, can you prove that $f$ is constant on the real line? How would that help you? $\endgroup$
    – frakbak
    Jul 25, 2016 at 13:56
  • $\begingroup$ Related: math.stackexchange.com/questions/775718/…. $\endgroup$
    – Martin R
    Jul 25, 2016 at 14:07

2 Answers 2

3
$\begingroup$

Yes it is constant. To see that, you have to consider the additive subgroup of $\mathbb{R}$ generated by $1$ and $\pi$. As it turns out, this subgroup has no smallest positive element: If $x$ were a smallest element, then we take the least $n \in \mathbb{N}$ such that $nx>1$ or $nx>\pi$. Such an $n$ exists, because if not, then $\pi$ would be rational. Then $nx -1$ or $nx - \pi$ would be smaller than $x$.

Thus the group has no smallest element, and is hence dense in $\mathbb{R}$. Therefore $f$ is constant on each horizontal line, and hence globally constant, by a simple application of the Cauchy-Riemann equations.

$\endgroup$
9
  • $\begingroup$ @2015 fixed that to absolute value. $\endgroup$ Jul 25, 2016 at 14:21
  • $\begingroup$ I don't understand the statement 'Such an $n$ exists, because if not, then $\pi$ would be rational'. Also why $nx-\pi$ is smaller than $x$? $\endgroup$
    – user276115
    Jul 25, 2016 at 14:39
  • $\begingroup$ @2015 If no such n existed then we had that $nx=1$ and $mx=\pi$ and hence $\pi=\frac{m}{n}$. As $n$ was the least $n$ such that $nx > \pi$ by definition $nx - \pi<x$, as else the n would not be minimal $\endgroup$ Jul 25, 2016 at 14:40
  • $\begingroup$ @2015 I don't understand your question. $\endgroup$ Jul 25, 2016 at 14:45
  • $\begingroup$ The negation of the statement'there exist a least $n$ such that $nx\gneq 1$ or $nx\lneq \pi$' is 'for all $m$ and $n$, $nx \leq 1$ and $mx \geq \pi$'? $\endgroup$
    – user276115
    Jul 25, 2016 at 14:50
0
$\begingroup$

Take $g(z)=f(z+1)-f(z)$ and a sequence $z_n=\frac{1}{n}$ then $g(1/n)=f(\frac{1}{n}+1)-f(\frac{1}{n})=0$ means $g(z)$ is zero in the $nbd.$ of $z=0$. Use Identity theorem to get $g(z)\equiv 0$ which implies $f(z)$ is constant.

$\endgroup$
1
  • $\begingroup$ $g(z)\equiv 0$ implies $f(z+1)=f(z)$. So we get nothing new! As the comment by frakbak suggested you need to use the second condition also. $\endgroup$
    – user276115
    Jul 27, 2016 at 4:44

This site is temporarily in read-only mode and not accepting new answers.