Problem of the Week #88 - February 3rd, 2014

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
All entire functions in the complex plane that are injective must take the form f(z) = az + b, where a and b are complex numbers and a is non-zero. The proof utilizes the Casorati-Weierstrass theorem and examines the behavior of the function g(z) = f(1/z) at the origin. It establishes that the singularity at zero cannot be removable or essential, leading to the conclusion that it must be a pole. Consequently, the function f is shown to be a polynomial of degree at most one, confirming its linearity. Thus, the injectivity condition restricts f to the specified linear form.
Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem!

-----

Problem
: Prove that all entire functions in $\Bbb{C}$ that are also injective take on the form $f(z)=az+b$ with $a,b\in\Bbb{C}$ and $a\neq 0$.

-----

Hint: Apply the Casorati-Weierstrass theorem to $f(1/z)$.

 
Physics news on Phys.org
No one answered this week's problem. You can find the solution below.

[sp]Proof: Let $g:\mathbb{C}^{\ast}\rightarrow\mathbb{C}$, $g(z)=f(1/z)$. Clearly, $g$ is holomorphic everywhere except the origin. We now determine what type of singularity occurs for $g$ at the origin. If $z=0$ is a removable singularity for $g$, then $g$ is bounded on a closed disk centered at $z=0$, which implies that $f$ is bounded outside this closed circle containing $z=0$. But $f$ is bounded on the closed circle, since $f$ is continuous; therefore $f$ is bounded. Therefore, since $f$ is entire and bounded, $f$ is constant by Liouville's Theorem, which contradicts the injectivity of $f$. Thus, $z=0$ is not a removable singularity for $g$.

Now suppose that $0$ is an essential singularity of $g$. Then, by the Cassorati-Weierstrass Theorem, if we chose a punctured disk at the origin $D\backslash\{0\}$, then $g(D\backslash\{0\})$ is dense in $\mathbb{C}$. This implies $f(\{|z|>r\})$ is dense in $\mathbb{C}$. But $f(\{|z|<r\})$ is open because any holomorphic mapping is open. Then $f(\{|z|>r\})\cap f(\{|z|<r\})\neq\emptyset$, which also contradicts the injectivity of $f$.

Therefore, $0$ is a pole of $g$. Since the Laurent series expansion is unique, and the principal part of $g$ is the same as the analytic part of $f$, it follows that the analytic part of $f$ has finitely many terms in it, i.e. $f$ is a polynomial. Since $f$ is injective, $f$ can have at most one root. Since $f$ can't be constant due to one of the previous cases, it follows that $f$ can only be of the form $f(z)=az+b$ where $a,b\in\mathbb{C}$ and $a\neq 0$.[/sp]
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
48
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K