Should be a basic complex analysis question

Click For Summary

Homework Help Overview

The problem involves an entire function f that is a bijection with a non-zero derivative, and participants are exploring the implications of these properties in the context of complex analysis.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the potential use of Liouville's Theorem and the implications of f being a bijection. There is consideration of the role of the derivative and the nature of f, including its Taylor series expansion and the possibility of singularities.

Discussion Status

Participants are actively engaging with the problem, offering hints and exploring various properties of the function f. There is recognition of the need to connect the properties of f to reach a conclusion, with some guidance provided in the form of hints.

Contextual Notes

There is mention of the Fundamental Theorem of Algebra and Picard's Theorem, indicating that certain assumptions and definitions are being questioned in relation to the problem's constraints.

kcuf
Messages
6
Reaction score
0

Homework Statement


Let f:C-> C be an entire bijection with a never zero derivative, then f(z)=az+b for a,b\in C

Homework Equations


The Attempt at a Solution


I'm not sure where to begin with this problem. The only ways I see to attack this are based on somehow showing that f' is bounded and then use Liouville's Theorem to conclude that f' is constant.

I don't know what role being a bijection plays in this, however I know it is necessary because z-> e^z is entire with a never zero derivative, but clearly does not have the form given.

Also, it clearly can't be a polynomial of degree greater than 1 because of f'\neq0 and the Fundamental Theorem of Algebra, but I don't know how to exclude a function of another form. I've been thinking about the Taylor series expansion of f, but I'm not sure why having an infinite number of terms be nonzero (otherwise it would be a polynomial) contradict either f' never zero or f being bijective.
 
Last edited:
Physics news on Phys.org
Try thinking about g(z)=f(1/z). g(z) has some kind of singularity at zero. Can you say what kind it can't be?
 
Interesting, it can't be an essential singularity because Picard's Theorem would then yield that f is not injective.

Thanks for the help!
 
Very welcome. A hint was all you needed. Great!
 
Ya, I just couldn't see how to connect the properties of f to reach the desired result until your hint.

Thanks again for the help.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
32
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K