1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Complex Analysis

  1. Apr 14, 2008 #1
    [SOLVED] Complex Analysis

    Let a function f be entire and injective. Show that f(z)=az+b for some complex numbers a,b where a is not 0. Hint: Apply Casorati-Weierstrass Theorem to f(1/z).

    Casorati-Weierstrass Theorem: Let f be holomorphic on a disk [tex]D=D_r(z_0)\{z_0}[/tex] and have an essential singularity at [tex]z_0[/tex]. Then f(D) is dense in the complex plane.

    I think this is the general idea for the proof:

    f is entire thus f(1/z) is holomorphic except at z=0. We want to show that f(1/z) has a removable singularity at 0.

    f(1/z) does not have an essential singularity at 0: Suppose f(1/z) has an essential singularity at 0. For any positive integer p, we can find a positive integer q such that, if |w|>1/p, then |f(w)|>q. Thus for any |z|<p, |f(1/z)|>q which is a contradiction. (By CW, [tex]f(D_p(0)\{0})[/tex] should be dense in [tex]\mathbb{C}[/tex].) Thus f(1/z) does not have an essential singularity at 0.

    If it is a removable singularity then f(1/z) is bounded in some disk D' of 0 and thus f(z) is bounded outside of some disk D*. Since D* is compact, f(z) must also be bounded for z in D*. Thus we conclude f(z) is bounded on all of C. We know f cannot be a log, exponential, or inverse function (since those functions are not bounded). Furthermore, f cannot be a trig function (not injective). Thus f must be a polynomial. Then, to satisfy the boundedness condition, the power series expansion of f has finitely many terms.

    So [tex]f(z)=a_0+a_1z+...+a_nz^n[/tex]. First, n>0, otherwise f(z) would be constant and not injective. Furthermore, if n>1, then f(z) would also fail to be injective. Thus n must be exactly 1, ie [tex]f(z)=a_0+a_1z[/tex].

    I'm having a hard time dealing with the possibility that f(1/z) has a pole singularity at 0. Either I want to show that f(1/z) cannot have a pole at 0 (method 1) or that if f(1/z) has a pole at 0 then f(z) is a polynomial of finite degree (method 2). In both scenarios, I'm having some trouble...

    1) If f(1/z) has a pole at 0, then f(z) has a pole at [tex]\infty[/tex]. In other words, [tex]|f(z)|\rightarrow\infty[/tex] as [tex]|z|\rightarrow\infty[/tex]. Intuitively, I think this might contradict the injectivity of f, but I'm not sure how to show it.

    2) If f(1/z) has a pole at 0, then in some disk D centered at 0, [tex]f(1/z)=\sum_{k=-n}^{\infty}a_kz^k[/tex]. So f(z) for z outside of a certain disk can be represented as
    I'm not too clear on how to define the degree of a polynomial with negative exponents... Would I say this has degree n (since that is the largest positive exponent) or "infinite degree" (since it has an infinite tail of terms with negative exponents)?

    I'm not sure where to go from there or if either method is correct. Any suggestions would be greatly appreciated! :)
    Last edited: Apr 14, 2008
  2. jcsd
  3. Apr 14, 2008 #2
    Ahhh... I just realized that, if f is entire and bounded, by Liouville's Theorem, f must be constant - thus it cannot be injective. So my argument for a removable singularity at 0 does not work. :(

    Please help!
  4. Apr 15, 2008 #3
    Okay, I'm redoing my argument since now I have that 0 is neither an essential singularity nor a removable singularity for f(1/z). Thus 0 must be a pole for f(1/z). Then we follow method 2 as described above.

    So, for z outside of some disc D, we have

    However, since f is entire, for any point z, we can represent f by a power series:

    Then for any z outside of D,

    Can I then make the inference that [tex]f(z)=b_0+b_1z+b_2z^2+...b_nz^n[/tex]?
  5. Apr 15, 2008 #4
    Got it. :)
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Complex Analysis
  1. Complex Analysis (Replies: 18)

  2. Complex Analysis (Replies: 0)

  3. Complex Analysis (Replies: 4)

  4. Complex Analysis (Replies: 4)

  5. Complex analysis (Replies: 10)