Liouville's theorem - (probably) easy question

  • Thread starter Thread starter jinsing
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Homework Help Overview

The discussion revolves around an entire function f that satisfies the condition |f(z)| ≤ C|z|^(1/2) for all complex numbers z, where C is a positive constant. The original poster attempts to show that f must be constant, referencing Liouville's theorem and the properties of entire functions.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of Liouville's theorem and question how to demonstrate that f is bounded. There is discussion about the relevance of the Cauchy differentiation formula and the maximum modulus principle in this context.

Discussion Status

The conversation is ongoing, with participants providing insights into the application of the Cauchy integral formula and its relation to the boundedness of |f(z)|. Some guidance has been offered regarding the use of power series expansion and the conditions under which certain coefficients may be zero.

Contextual Notes

There is a focus on the distinction between boundedness and the specific growth condition given in the problem, as well as the implications of f being an entire function.

jinsing
Messages
29
Reaction score
0

Homework Statement



If f is an entire function and |f(z)|\leq C|z|^(1/2) for all complex numbers z, where C is a positive constant, show that f is constant.

Homework Equations



All bounded and entire functions are constant.

The Attempt at a Solution



I'm 99% sure this can be easily proven using Liouville's theorem, I'm just having trouble proving that f is bounded above by a constant. What should I do with the |z|^(1/2) term?

Thanks for the help!
 
Physics news on Phys.org
You can't prove it directly with Liouville's theorem, since f(z) isn't bounded. You could look at how Liouville's theorem is proved and adapt the proof.
 
Would that involve looking at the Cauchy differentiation formula and using the maximum*length principle? Is it because f is entire we know we can use CDF? In other words, do we know there exists a z_0 inside a simple closed curve gamma such that CDF holds because f is entire?
 
jinsing said:
Would that involve looking at the Cauchy differentiation formula and using the maximum*length principle? Is it because f is entire we know we can use CDF? In other words, do we know there exists a z_0 inside a simple closed curve gamma such that CDF holds because f is entire?

Yes, it would. If |f(z)| is bounded you can use the Cauchy integral formula to show all of the ak for k>0 in the power series expansion are equal to zero. |f(z)|<C|z^(1/2)| is also good enough. Basically the same proof.
 
Last edited:
Ah, got it! Thank you so much!
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K