Complex Variables: Prove f is Constant

Click For Summary
SUMMARY

The discussion centers on proving that an entire function f, constrained by the condition Re(f(z)) ≤ c for all complex variables z, is constant. The hint provided suggests considering the exponential function exp(f(z)). The participants explore the implications of this hint, particularly through the lens of Liouville's theorem, which states that a bounded entire function must be constant. The conclusion drawn is that since |exp(f(z))| ≤ exp(c), it follows that f must indeed be constant.

PREREQUISITES
  • Understanding of entire functions in complex analysis
  • Familiarity with Liouville's theorem
  • Knowledge of complex exponentials, specifically exp(z)
  • Basic concepts of real and imaginary parts of complex functions
NEXT STEPS
  • Study Liouville's theorem in detail to understand its implications for entire functions
  • Learn about the properties of complex exponential functions, particularly exp(f(z))
  • Explore the relationship between bounded functions and their derivatives in complex analysis
  • Investigate additional examples of entire functions and their behavior under various constraints
USEFUL FOR

Students of complex analysis, mathematicians focusing on function theory, and anyone interested in the properties of entire functions and their implications in mathematical proofs.

CornMuffin
Messages
51
Reaction score
5

Homework Statement



Let z be a complex variable

Suppose f is an entire function and [tex]Re(f(z))\leq c[/tex] for all z

Show that f is constant.
(Hint: Consider exp(f(z))

Homework Equations


possibly this: [tex]e^z=e^x(cos(y)+isin(y))[/tex] where [tex]z=x+iy[/tex]

The Attempt at a Solution


I had no idea how I would show this, so I just started off trying a few things:
I first started off working with the hint to consider exp(f(z)), where exp((f(z))=ef(z)
I set g(z) equal to exp((f(z)) and because f(z) is entire, g(z) would also have to be entire
I first found a formula for the derivative of g(z) but that got me nowhere

I also tried working off the fact that [tex]Re(g(z))\leq e^ccos(Im(f(z)))[/tex]
but that got me nowhere as well...

I have been thinking about this problem for so long now, and I couldn't think of a way to show that f is constant
 
Physics news on Phys.org
Do you know Liouville's theorem? |exp(f(z))|<=exp(c).
 

Similar threads

Replies
7
Views
3K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K