complex analysis help

Sep 2008
166
0
If \(\displaystyle f(z),g(z)\) are entire functions such that \(\displaystyle f(g(z))\) is a nonconstant polynomial. Show that both \(\displaystyle f(z), g(z)\) are polynomials. The hint says to use the Casorati-Weierstrass Theorem. But I still can't figure it out, can someone help please?
 
Aug 2008
74
23
If \(\displaystyle f(z),g(z)\) are entire functions such that \(\displaystyle f(g(z))\) is a nonconstant polynomial. Show that both \(\displaystyle f(z), g(z)\) are polynomials. The hint says to use the Casorati-Weierstrass Theorem. But I still can't figure it out, can someone help please?
I think it should go along these lines: assume g is not a polynomial. then it has an essential singularity at infinity (by which i mean that g(1/z^\bar)^\bar has essential singularity at zero -- you can make this precise). by casorati-weierstrass its image of some neighborhood of infinity is almost the whole complex plane. now image of almost-the-whole complex plane under any entire f is either the whole complex plane or a point. it cant be just a point since f(g(x)) is not constant. but f(g(x)) is a polynomial, so it has a pole at infinity, so image of a neighborhood of infinity must be a neighborhood of infinity.

sorry for sloppiness and vagueness. if u want i can try making this precise.