[Math] If $\Re(f)$ is bounded then f is constant.

complex-analysis

I have to solve following problem

If $\Re (f)$ is bounded above or below for a function $f$ holomorphic on $\mathbb{C}$ then $f$ is constant.

My attempt:
If there is $M$ such that $\Re(f) \le M$, then $\|e^{f}\|=e^{\Re(f)}\le e^{M}$. From Liouville's theorem the entire function $e^f$ is constant, that is $0=(e^f)'=f' e^f$. This means $f' =0$, so $f$ is constant. If $\Re(f)$ is bounded below, we consider $e^{-f}$ and proceed the same way.

Am I correct? Is there a solution using maximum modulus principle?

Best Answer

Suppose $\operatorname{re} f(z) \ge \alpha$ and let $g(z) = {1 \over f(z)-\alpha+1 }$. Since $\operatorname{re} (f(z)-\alpha+1) \ge 1$, we have $|g(z)| \le 1$ for all $z$ hence $g$ is a (non zero) constant. Since $f(z) = \alpha-1+{1 \over g(z)}$, we see that $f$ is constant.

If $\operatorname{re} f(z) \le \alpha$, then repeat the above with $-f$ (and $-\alpha$, of course).