MAC 741 Análise Complexa = MAE 702 Cálculo Avançado III

Segundo Semestre 2023 - Prof. César J. Niche (UFRJ)

10. Funções Harmónicas

10.1. Para 0 ≤ r < 1, θ ∈ R, seja

X
Pr (θ) = r|n| einθ .
n∈Z

o kernel de Poisson. Provar que

(1)
Ç å
1 + reiθ 1 − r2
Pr (θ) = Re = ;
1 − reiθ 1 − 2r cos θ + r2

(2)
Z π
1
Pr (θ) dθ = 1;
2π −π

(3) Pr (θ) > 0 para todo θ, Pr (θ) é par e periódico;

(4) Pr (θ) < Pr (δ), se 0 < δ < |θ| ≤ π;
(5) para todo δ > 0, limr→1− Pr (θ) = 0, uniformemente em θ, com π ≥ |θ| ≥ δ.

10.2. Sejam D = {z : |z| < 1} e T = ∂D.

(1) Provar que se g : D → C é contı́nua e gr : T → C está definida através
de gr (z) = g(rz), então gr converge uniformemente à restrição de g em T,
quando r → 1− ;
(2) Se f : T → C é uma função contı́nua, definimos f˜ : D → C como f˜(z) =
f (z), se z ∈ T e

Z π
1
f˜(reiθ ) = f (eit )Pr (θ − t) dt
2π −π

se z = reiθ ∈ D. Seja f˜r : T → C como f˜r (z) = f˜(rz). Provar que para
todo r < 1, existe uma sequência de polinômios {pn (z, z)}n∈N , definidos em
T, que converge uniformemente a f˜r em T;
(3) (Teorema de Aproximação de Weierstrass) Se f : T → C é contı́nua,
então existe uma sequência de polinômios {pn (z, z)}n∈N , definidos em T,
que converge uniformemente a f .

10.3. Provar o Princı́pio do Módulo Máximo para funções holomorfas f : G → C,

com G ⊂ C região, usando o Princı́pio do Máximo para funções harmónicas.
1
2

10.4. Princı́pio do Máximo II. Seja G ⊂ C uma região e u, v : G → R funções

contı́nuas e limitadas que verificam a PVM. Se para cada ponto a da fronteira
extendida ∂∞ G, i.e., a fronteira de G considerado como subconjunto do plano
complexo extendido C∞ , tem-se que

lim sup u(z) ≤ lim inf v(z),

z→a z→a
então u(z) < v(z) ou u(z) = v(z), para todo z ∈ G.
Sugestão: ver a prova do Teorema no Cap. X do livro do Conway.

10.5. Seja G ⊂ C região limitada e w : G → R contı́nua com a PVM em G. Provar

que se w(z) = 0 em ∂G, então w ≡ 0 em G.
Sugestão: ver Problema 10.4.

10.6. Seja u : D → R dada por

ñÅ ã2 ô
1+z
u(z) = Im .
1−z
Provar que u é harmónica e que limr→1− u(reiθ ) = 0, para todo θ. Comparar com
o Problema 10.4 e comentar.
10.7. Seja u : C → R harmónica tal que

lim u(z) = L < ∞.

|z|→∞
Provar que u é constante.
10.8. Seja f : {z : 0 < |z| < 1} → C holomorfa. Definimos
Z 2π
1
M (r) = f (reiθ ) dθ, 0 < r < 1.
2π 0
Provar que M não depende de r.