Application of Liouville's Theorem (Complex Analysis)

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 6K views
Sistine
Messages
18
Reaction score
0

Homework Statement


Prove that if [tex]f[/tex] is a meromorphic function [tex]f:\mathbb{C}\rightarrow\mathbb{C}[/tex] with

[tex]|f(z)|^5\leq |z|^6\quad\textrm{for all}\quad z\in\mathbb{C}[/tex]

Then [tex]f(z)=0[/tex] for all [tex]z\in\mathbb{C}[/tex]

Homework Equations


Liouville's Theorem

A bounded entire function is constant.

The Attempt at a Solution


I tried applying Liouville's theorem to the quotient [tex]f(z)^5/z^6[/tex] which is bounded by 1 but was unsuccessful in proving that f is constant.
 
Physics news on Phys.org
Note that the hypothesis implies that [tex]f(z)^5/z^6[/tex] is a bounded function but because of the [tex]z^6[/tex] in the denominator, you must prove that it's also entire.

To prove this, note (again, by the hypothesis) that [tex]f(z)[/tex] must have a zero at the origin, so either [tex]f(z)[/tex] is identically zero, or [tex]f(z) = z^ng(z)[/tex]; but then

[tex]f(z)^5/z^6=z^{5n}g(z)^5/z^6[/tex]

And this implies that [tex]n > 1[/tex]. After simplifying, what can you say about [tex]g(z)[/tex]?