Analyzing Complex Functions with a Given Inequality - Homework Problem

Click For Summary

Homework Help Overview

The discussion revolves around proving that an analytic function \( f(z) \) is constant under the condition that \( |f(z)| \leq \sqrt{|z|} \) for all \( z \) in the complex plane. The context involves complex analysis and the application of Liouville's theorem.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the given inequality on the function's behavior, with one suggesting a breakdown of \( z \) into real and imaginary parts to analyze restrictions on its components. Another participant references Liouville's theorem and questions how to apply it to the entire complex plane rather than just a circle.

Discussion Status

The discussion is ongoing, with participants raising questions about the proof's requirements and exploring different approaches. Some guidance has been offered regarding the use of Liouville's theorem, but no consensus or resolution has been reached yet.

Contextual Notes

Participants note the need for clarity on the conclusion of the proof and the application of the theorem over the entire complex plane, indicating potential gaps in understanding the problem's constraints.

squaremeplz
Messages
114
Reaction score
0

Homework Statement



suppose that f(z) is an analytic function on all of C, and suppose that, for all z in C, we have

[tex]|f(z)| <= sqrt{|z|}[/tex]

Homework Equations





The Attempt at a Solution



I'm unsure of how to start the proof. any help is greatly appreciated.
 
Physics news on Phys.org
What are you supposed to prove? Your problem statement only lists the premises, and not the conclusion that you are meant to deduce.
 
sorry, we are supposed to prove that f(z) must be a constant
 
There may be an easier way to do this, but I would start by writing [itex]z=x+iy[/itex] and [itex]f(z)=u(x,y)+iv(x,y)[/itex] and then seeing what restrictions the condition [itex]|f(z)|\leq\sqrt{|z|}[/itex] places on [itex]u(x,y)[/itex] and [itex]v(x,y)[/itex].
 
my prof told us to look at the liouville theorem to do this proof

i looked in my book and found this paragraph

let f(z) be analytic inside and on a circle C of radius R centered about z_0. If |f(z)| <= M

[tex]|f^n(z_o)| <= n! \frac {M}{R^n}[/tex]

"This innocuous looking theorem actually places rather severe restrictions on the behaviour of analytic functions. Suppose, for instance, that f(z) is analytic and bounded by some number M over the whole plane. Then the conditions of the theorem hold for any z_o and for any R. Taking n = 1 in the above equations and letting R -> infinity, we counclude that f' vanishes everywhere; i.e., f must be constant"

So, how can I apply this theorem over the whole complex plane instead of a circle centered at z_o?

could I say that sqrt(|z|) = M for all z in C


[tex]|f^n(z)| <= n! \frac {\sqrt{|z|}}{R^n}[/tex]

and thus have the proof done by the argument in the above paragraph?
 
Last edited:

Similar threads

  • · Replies 17 ·
Replies
17
Views
4K
Replies
8
Views
3K
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K