O Teorema do Módulo máximo e o Lema de Schwarz

SMA-Funções de uma variável complexa

ICMC-USP
Verão de 2021

December 23, 2021

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 1 / 20
 A propriedade do valor médio

Teorema: Seja u : D(z0 , ρ) → R uma função contı́nua tal que

u(z0 ) ≥ u(z) para todo z ∈ D(z0 , ρ) e, além disso,
Z 2π
1
u(z0 ) = u(z0 + re iθ ) dθ
2π 0

para todo r < ρ (o valor u(z0 ) de u em z0 é a média dos valores de u no

cı́rculo de raio r com centro em z0 ). Então u é constante em D(z0 , ρ).

Demonstração: Definamos h(θ) = u(z0 ) − u(z0 + re iθ ), θ ∈ [0, 2π].

Então h(θ) ≥ 0 para todo θ ∈ [0, 2π], uma vez que u(z0 ) ≥ u(z) para
todo z ∈ D(z0 , ρ).
Afirmamos que h é identicamente nula.
De fato, se h(θ1 ) > 0 para algum θ1 ∈ [0, 2π], por continuidade terı́amos
h(θ) > 0 em um intervalo contendo θ1 . Logo

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 2 / 20
 Z 2π
1
0 < h(θ) dθ
2π 0
Z 2π
1
= (u(z0 ) − u(z0 + re iθ )) dθ
2π 0
Z 2π
1
= u(z0 ) − u(z0 + re iθ ) dθ,
2π 0

uma contradição com a hipótese.

Como r foi escolhido arbitrariamente, concluı́mos que u é constante em
D(z0 , ρ).

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 3 / 20
 O Teorema do Módulo máximo

Teorema: Seja f : U → C uma função analı́tica definida em subconjunto

aberto e conexo U ⊂ C.
Suponha que exista z0 ∈ U tal que |f (z)| ≤ |f (z0 )| para todo z em uma
vizinhança V de z0 .
Então f é constante em U.

Em outras palavras, a função |f | : U → [0, ∞) não possui máximos locais,

a não ser que f seja constante.

Demonstração: Suponhamos inicialmente que f (z0 ) ∈ [0, ∞).

Sejam u = Re(f ) e v = Im(f ).

Então u(z0 ) = f (z0 ) e v (z0 ) = 0.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 4 / 20
 Pela Fórmula integral de Cauchy,
Z
1 f (w )
u(z0 ) = f (z0 ) = dw , γr (θ) = z0 + re iθ ,
2πi γr w − z0
Z 2π
1 f (z0 + re iθ ) iθ
= ire dθ
2πi 0 re iθ
Z 2π
1
= f (z0 + re iθ ) dθ
2π 0
Z 2π Z 2π
1 iθ i
= u(z0 + re ) dθ + v (z0 + re iθ ) dθ.
2π 0 2π 0
Igualando as partes reais, obtemos
Z 2π
1
u(z0 ) = u(z0 + re iθ ) dθ.
2π 0
Como
u(z0 ) = f (z0 ) = |f (z0 )| ≥ |f (z)| ≥ u(z)
para todo z em um disco D(z0 , ρ) ⊂ V , a propriedade do valor médio
implica que u é constante em D(z0 , ρ).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 5 / 20
 Por outro lado, as equações de Cauchy-Riemann implicam que
∂v ∂u ∂v ∂u
=− =0 e = =0
∂x ∂y ∂y ∂x

em D(z0 , ρ), logo v é também constante em D(z0 , ρ).

Como f é analı́tica e U é conexo, concluı́mos que f é constante em U.
O caso geral decorre do caso já provado aplicado à função
g (z) = e −iθ f (z), em que f (z0 ) = |f (z0 )|e iθ .

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 6 / 20
 Demonstração (usando o Teorema da aplicação aberta):
Se |f (z0 )| ≥ |f (z)| para todo z em um aberto V contendo z0 , então f (z0 )
está na fronteira de f (V ), isto é, f (z0 ) não é um ponto interior de f (V ).
Portanto f (V ) não é aberto.
Pelo Teorema da aplicação aberta, f deve ser constante.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 7 / 20
 Corolário: Seja U um subconjunto aberto, limitado e conexo de C.
Seja f : U → C uma função analı́tica em U e contı́nua em Ū. Então

sup{|f (z)| : z ∈ Ū} = sup{|f (z)| : z ∈ ∂U}.

Em outras palavras, o máximo de |f | é atingido na fronteira de U.

Demonstração: Como Ū é limitado e fechado e |f | é contı́nua, existe

z0 ∈ Ū tal que |f (z)| ≤ |f (z0 )| para todo z ∈ Ū.
Se z0 ∈ U, então f é constante em U pelo Teorema do módulo máximo,
logo constante em Ū pela continuidade de f em Ū, e a conclusão vale
trivialmente neste caso.
Se z0 6∈ U, ou seja, z0 ∈ ∂U, então

sup{|f (z)| : z ∈ Ū} = |f (z0 )| = sup{|f (z)| : z ∈ ∂U}.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 8 / 20
 O Lema de Schwarz

Teorema: Seja f : D := D(0, 1) → C uma função analı́tica.

Suponha que f (0) = 0 e que |f (z)| ≤ 1 para todo z ∈ D.
Então |f 0 (0)| ≤ 1 e |f (z)| ≤ |z| para todo z ∈ D.
Além disso, se |f 0 (0)| = 1 ou se |f (z0 )| = |z0 | para algum z0 ∈ D \ {0},
então f (z) = λz para todo z ∈ D e algum λ ∈ C com |λ| = 1.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 9 / 20
 Demonstração: Consideremos a função g : D → C definida por

 f (z) , se z 6= 0,


g (z) = z
 0
f (0), se z = 0.

Como f (0) = 0, a função g é analı́tica em D.

De fato, a série de Taylor de f em 0 tem a forma
∞
1 X
f (z) = f 0 (0)z + f 00 (0)z 2 + · · · = z aj z j ,
2
j=0
P∞ j,
logo g é representada em D pela série j=0 aj z logo é analı́tica em D.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 10 / 20
 Dado 0 ≤ r < 1, seja h(r ) = sup{|g (z)| : |z| ≤ r }.
Do corolário anterior obtemos
1 1
h(r ) = sup{|f (z)|/|z| : |z| = r } = sup{|f (z)| : |z| = r } ≤ .
r r
Seja z ∈ D. Para qualquer r ∈ (|z|, 1), a desigualdade acima mostra que
|g (z)| ≤ 1/r , logo |g (z)| ≤ 1, ou seja, |f (z)| ≤ |z|.
Finalmente, se |f 0 (0)| = 1 ou se |f (z0 )| = |z0 | para algum z0 ∈ D \ {0},
então |g | assume seu valor máximo em z0 , logo g é constante em D, ou
seja, g (z) = λ, com |λ| = 1, para todo z ∈ D.
Portanto, f (z) = λz para todo z ∈ D.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 11 / 20
 Corolário: Seja f : D(0, R1 ) → C uma função analı́tica tal que f (0) = 0 e
|f (z)| ≤ R2 para todo z ∈ D(0, R1 ) .
R2
Então |f (z)| ≤ R1 |z| para todo z ∈ D(0, R1 ).
Se a igualdade vale na desigualdade acima para algum z0 ∈ D(0, R1 ) então
R2
existe λ ∈ C, com |λ| = 1, tal que f (z) = R 1
λz para todo z ∈ D(0, R1 ).
Demonstração: Decorre do Lema de Schwarz aplicado a
f : D(0, 1) → D(0, 1) dada por g (z) = f (R1 z)/R2 .

Corolário (Teorema de Liouville): Uma função inteira limitada f : C → C é

constante.
Demonstração: Podemos supor que f (0) = 0.
Seja R2 > 0 tal que |f (z)| ≤ R2 para todo z ∈ C.
Fixado z ∈ C, podemos aplicar o corolário anterior a f |D(0,R1 ) com
R1 > |z| arbitrariamente grande. Logo f (z) = 0.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 12 / 20
 Automorfismos holomorfos do disco

Corolário: Seja f : D → D um difeomorfismo holomorfo tal que f (0) = 0.

Então existe λ ∈ C, com |λ| = 1, tal que f (z) = λz para todo z ∈ D.
Demonstração: Decorre do Lema de Schwarz que |f (z)| ≤ |z| para todo
z ∈ D.
Por outro lado, se f −1 : D → D é a inversa de f , também temos
|f −1 (w )| ≤ |w | para todo w ∈ D.
As duas desigualdades simultanemente implicam que |f (z)| = |z| para
todo z ∈ D.
Da última afirmação no Lema de Schwarz segue-se que existe λ ∈ C, com
|λ| = 1, tal que f (z) = λz para todo z ∈ D.

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 13 / 20
 A homografia Φa

Considere agora, para cada a ∈ D(0, 1), a homografia

z −a
Φa (z) = ,
1 − āz
cujo único polo é z = 1/ā 6∈ D(0, 1).
Proposição: Φa é uma bijeção holomorfa de D(0, 1) tal que:
(i) Φa (∂D(0, 1)) = ∂D(0, 1);
(ii) Φa (a) = 0;
(iii) Φa−1 = Φ−a ;
(iv) Φ0a (0) = 1 − |a|2 ;
(v) Φ0a (a) = (1 − |a|2 )−1 .

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 14 / 20
 Demonstração: A verificação das afirmações de (ii) a (v ) é imediata.
Dado z ∈ ∂D(0, 1), escreva z = e iθ , θ ∈ [0, 2π). Então

e iθ − a e iθ − a z −a
|Φa (z)| = = = = 1,
1 − āe iθ e −iθ − ā z̄ − ā

logo Φa (∂D(0, 1)) ⊂ ∂D(0, 1).

O mesmo argumento mostra que
Φ−1
a (∂D(0, 1)) = Φ−a (∂D(0, 1)) ⊂ ∂D(0, 1), logo
Φa (∂D(0, 1)) = ∂D(0, 1).
Pelo Teorema do módulo máximo, Φa (D(0, 1)) ⊂ D(0, 1), e o mesmo
argumento mostra que Φ−a (D(0, 1)) ⊂ D(0, 1), logo
Φa (D(0, 1)) = D(0, 1).

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 15 / 20
 Proposição: Seja f : D(0, 1) → C uma função holomorfa não constante tal
que |f (z)| ≤ 1 para todo z ∈ D(0, 1).
Fixado a ∈ D(0, 1), seja b = f (a).
Então |b| < 1 e
1 − |b|2
|f 0 (a)| ≤ .
1 − |a|2
Além disso, se vale a igualdade, então

f (z) = Φ−b (λΦa (z))

para todo z ∈ D(0, 1).

SMA-Funções de uma variável complexa (ICMC-USP)

O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 16 / 20
 Demonstração: Seja g = Φb ◦ f ◦ Φ−a .
Então g é uma função holomorfa tal que g (0) = 0 e |g (z)| ≤ 1 para todo
z ∈ D(0, 1).
Portanto, g satisfaz as hipóteses do Lema de Schwarz.
Logo |g 0 (0)| ≤ 1.
Mas, pela Regra da Cadeia,

1 1 − |a|2 0
g 0 (0) = Φ0b (b)f 0 (a)Φ0−a (0) = f 0
(a)(1 − |a| 2
) = f (a).
1 − |b|2 1 − |b|2

Segue-se que
1 − |b|2
|f 0 (a)| ≤ .
1 − |a|2
Além disso, se vale a igualdade na desigualdade acima, então |g 0 (0)| = 1.
Então (pelo Lema de Schwarz), g (z) = λz, |λ| = 1, para todo
z ∈ D(0, 1).
Isto implica que f (z) = Φ−b (λΦa (z)) para todo z ∈ D(0, 1).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 17 / 20
 Teorema: Sejam f : D(0, 1) → D(0, 1) uma bijeção holomorfa e a o único
número complexo em D(0, 1) tal que f (a) = 0.
Então existe um número complexo λ, com |λ| = 1, tal que f (z) = λΦa (z)
para todo z ∈ D(0, 1).
Demonstração: A proposição anterior, aplicada a f e à sua inversa
g : D(0, 1) → D(0, 1) fornece, respectivamente, as desigualdades
1
|f 0 (a)| ≤
1 − |a|2
e
|g 0 (0)| ≤ 1 − |a|2 .
Por outro lado, pela Regra da Cadeia, g 0 (0)f 0 (a) = 1.
Portanto
1
|f 0 (a)| = .
1 − |a|2
Da última afirmação da proposição anterior (com b = 0), segue que
f (z) = λΦa (z) para todo z ∈ D(0, 1).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 18 / 20
 O Lema de Schwarz-Pick
Seja f : D(0, 1) → D(0, 1) uma função holomorfa não constante.
Fixado a ∈ D(0, 1), seja b = f (a).
Considere, como antes, a função g = Φb ◦ f ◦ Φ−a ,
em que
z −a
Φa (z) =
,
1 − āz
Então g é uma função holomorfa tal que g (0) = 0 e g (D(0, 1)) ⊂ D(0, 1).

Portanto, g satisfaz as hipóteses do Lema de Schwarz.

Logo |g (z)| ≤ |z| para todo z ∈ D(0, 1).
Escrevendo w = Φ−a (z), de modo que z = Φa (w ), a desigualdade acima
pode ser reescrita como
|Φb (f (w ))| ≤ |Φa (w )|
para todo w ∈ D(0, 1),
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 19 / 20
 ou seja,
f (w ) − f (a) w −a
≤
1 − f (a)f (w ) 1 − āw
para todo w ∈ D(0, 1).
A expressão
1 w −z
d(z, w ) = log
2 1 − z̄w
é a distância (hiperbólica) de Poincaré entre z e w .
Obtivemos assim a versão devida a Picks do Lema de Schwarz:
Lema de Schwarz-Picks: Se f : D(0, 1) → D(0, 1) é uma função holomorfa
não constante, então

d(f (z), f (w )) ≤ d(z, w )

para quaisquer z, w ∈ D(0, 1). Além disso, vale a desigualdade estrita para
quaisquer z, w ∈ D(0, 1), a menos que f = λΦa para algum λ ∈ C,
|λ| = 1, e algum a ∈ D(0, 1).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema do Módulo máximo e o Lema de Schwarz December 23, 2021 20 / 20