Escolar Documentos
Profissional Documentos
Cultura Documentos
ICMC-USP
Verão de 2021
Q = {x + iy : a ≤ x ≤ b e c ≤ y ≤ d}.
Coloquemos ∂Q = γ1 ∗ γ2 ∗ γ3 ∗ γ4 , em que
Z ZZ ZZ ZZ
∂A ∂B ∂A ∂B
ω= dxdy − dxdy = − dxdy .
∂Q Q ∂y Q ∂x Q ∂y ∂x
∂2u
∂ ∂u ∂ ∂v
= =
∂x 2 ∂x ∂x ∂x ∂y
∂ ∂v ∂ ∂u
= =−
∂y ∂x ∂y ∂y
2
∂ u
= − 2,
∂y
e analogamente para v .
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema de Cauchy-Goursat December 23, 2021 12 / 16
Corolário: Toda função harmônica u : U → C de classe C 2 definida em um
subconjunto aberto e convexo U ⊂ C é a parte real de uma função
holomorfa f : U → C.
Demonstração: Considere a 1-forma diferencial ω : U → L(R2 ; C) (de
classe C 1 ) dada por
∂u ∂u
ω = − dx + dy .
∂y ∂x
Decorre do fato de que u é harmônica que a 1-forma diferencial ω é
fechada.
Como U é convexo, segue que ω é exata.
Logo existe v : U → C tal que
∂v ∂v ∂u ∂u
dx + dy = dv = ω = − dx + dy .
∂x ∂y ∂y ∂x
Portanto f = u + iv é holomorfa, uma vez que u e v satisfazem as
equações de Cauchy-Riemann.
em que o é uma função definida em U \ {z0 } tal que limw →0 o(w )/w = 0.
Assim,
Z
I (Q (n) ) = f (z) dz
∂Q (n)
Z Z
0
= (f (z0 ) + f (z0 )(z − z0 )) dz + o(z − z0 )) dz
∂Q (n) ∂Q (n)
Z
= o(z − z0 )) dz ,
∂Q (n)
uma vez que a 1-forma diferencial (f (z0 ) + f 0 (z0 )(z − z0 ))dz é exata (pois
tem a função g (z) = f (z0 )z + 12 f 0 (z0 )(z − z0 )2 como primitiva).
SMA-Funções de uma variável complexa (ICMC-USP)
O Teorema de Cauchy-Goursat December 23, 2021 15 / 16
Agora precisamos do seguinte
Lema: Se g : U → C é uma função contı́nua e γ : [a, b] → U é um
caminho C 1 por partes, então
Z
g (z) dz ≤ M(g , γ)`(γ),
γ