Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Possible Duplicate:
Liouville's theorem problem

Let $f:\mathbb{C} \rightarrow \mathbb{C}$ be entire and suppose $\exists M \in\mathbb{R}: $Re$(f(z))\geq M$ $\forall z\in\mathbb{C}$. How would you prove the function is constant?

I am approaching it by attempting to show it is bounded then by applying Liouville's Theorem. But have not made any notable results yet, any help would be greatly appreciated!

share|improve this question

marked as duplicate by lhf, Freeman, t.b., Zhen Lin, Zev Chonoles Oct 29 '11 at 18:53

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

You should consider the function's behavior at $\infty$. –  Mark Oct 29 '11 at 17:24
@lhf You are correct! We should probably close this then. –  Freeman Oct 29 '11 at 17:32
@LHS, you as owner can just delete the question, can't you? –  lhf Oct 29 '11 at 17:34
@lhf unfortunately it appears it needs a moderator –  Freeman Oct 29 '11 at 17:35
@LHS, I've flagged the question to get a moderator's attention. –  lhf Oct 29 '11 at 17:40

2 Answers 2

up vote 2 down vote accepted

Consider the function $\displaystyle g(z)=e^{-f(z)}$. Note then that $\displaystyle |g(z)|=e^{-\text{Re}(f(z))}\leqslant \frac{1}{e^M}$. Since $g(z)$ is entire we may conclude that it is constant (by Liouville's theorem). Thus, $f$ must be constant.

share|improve this answer
Haha.. I just wrote that down then refreshed the page to find your post. Glad to know I was right! Thank you. –  Freeman Oct 29 '11 at 17:31
I think "Consider the function $\displaystyle g(z)=e^{-ff(z)}$" should be replaced by "Consider the function $\displaystyle g(z)=e^{-f(z)}$." –  learner May 27 '13 at 5:16

Since this seems like homework (if it is, you should use the homework tag), I will only give a hint.

Think about what the image domain of the function will look like. Can you postcompose $f$ with a simple holomorphic function on this domain (e.g. a Möbius transformation) such that the new function $g$ you obtain is bounded?

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.