PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof of Schwarz lemma (Proof)

Define $g(z)=f(z)/z$ . Then $g:\Delta\to\Complex$ is a holomorphic function. The Schwarz lemma is just an application of the maximal modulus principle to $g$ .

For any $1>\epsilon>0$ , by the maximal modulus principle $\size{g}$ must attain its maximum on the closed disk $\left\{z:\size{z}\le 1-\epsilon\right\}$ at its boundary $\left\{z:\size{z}=1-\epsilon\right\}$ , say at some point $z_{\epsilon}$ . But then $\size{g(z)}\le \size{g(z_{\epsilon})} \le \frac{1}{1-\epsilon}$ for any $\size{z}\le 1-\epsilon$ . Taking an infinimum as $\epsilon\to0$ , we see that values of $g$ are bounded: $\size{g(z)}\le 1$ .

Thus $\size{f(z)}\le\size{z}$ . Additionally, $f'(0)=g(0)$ , so we see that $\size{f'(0)}=\size{g(0)}\le 1$ . This is the first part of the lemma.

Now suppose, as per the premise of the second part of the lemma, that $|g(w)|=1$ for some $w\in\Delta$ . For any $r>\size{w}$ , it must be that $\size{g}$ attains its maximal modulus (1) inside the disk $\left\{z:\size{z}\le r\right\}$ , and it follows that $g$ must be constant inside the entire open disk $\Delta$ . So $g(z)\equiv a$ for $a=g(w)$ of modulus 1, and $f(z)=az$ , as required.




"proof of Schwarz lemma" is owned by Mathprof. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: open disk, entire, modulus, premise, bounded, point, boundary, closed, maximal modulus principle, application, Schwarz lemma, holomorphic function

This is version 3 of proof of Schwarz lemma, born on 2002-06-06, modified 2006-10-17.
Object id is 3057, canonical name is ProofOfSchwarzLemma.
Accessed 4877 times total.

Classification:
AMS MSC30C80 (Functions of a complex variable :: Geometric function theory :: Maximum principle; Schwarz's lemma, Lindelöf principle, analogues and generalizations; subordination)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)