1. Limited time only! Sign up for a free 30min personal 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!

Homework Help: Complex analysis: determine whether a family of functions is a normal family

  1. Apr 18, 2012 #1
    1. The problem statement, all variables and given/known data

    Let [itex]F[/itex] be the set of all analytic functions [itex]f[/itex] that map the open unit disc [itex]D(0,1)[/itex] into the set [itex]U = \left\{w=u+iv : -2 < u < 2 \right\}[/itex] such that [itex]f(0)=0[/itex]. Determine whether or not [itex]F[/itex] is a normal family.

    2. Relevant equations

    [itex]DEF'N:[/itex] A normal family on a domain (i.e. open and connected) [itex]U\subset ℂ [/itex] is a family of analytic functions such that every sequence in the family has a subsequence that converges uniformly on compact subsets of [itex]U[/itex].

    Version 1: A family of analytic functions that is bounded on compact subsets of a domain contains a sequence that converges uniformly on compact subsets (bounded on compact subsets means that for each compact subset there is some positive bound that holds for every function in the family. The constant can depend on the subset but NOT on the function or the point z).

    Version 2: If every function in the family is bounded by the same positive constant on the domain then there exists a sequence in the family that converges uniformly on compact subsets.

    3. The attempt at a solution

    My first thought was to simplify by considering only functions from [itex]D \rightarrow D [/itex]. Schwarz lemma says that since [itex]f(0)=0[/itex] and [itex]|f(z)|\leq 1 [/itex] then [itex]|f(z)| \leq |z| [/itex]. Hence we can apply the above theorem since we have a bound over the domain and conclude that this "subfamily" is normal. Too bad the real problem isn't this easy! I'm having a tough time figuring this out for the family [itex]F[/itex]. First of all, it only states that the functions are into [itex]U[/itex]. So the mapping can be ANY one-to-one map into ANY subset of [itex]U[/itex]. I've also thought about using maximum modulus principle, but this only gives me bounds on each particular function, rather than the whole family.

    Any clues would be greatly appreciated!! (EDIT: not even sure if my above statements are entirely correct since I'm pretty confused at this exact moment)
    Last edited: Apr 18, 2012
  2. jcsd
  3. Apr 18, 2012 #2
    Can i just use compactness and be done? (EDIT no i think that's wrong)
    Last edited: Apr 18, 2012
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook