Instituto Tecnolgico de Aeronutica 2016 MAT-46 - Funes de Varivel Complexa MACACRIO

MAT-46 - FUNES DE VARIVEL COMPLEXA

MACACRIO
Prof. Moniquinha
200 e MACACOS

DERIVABILIDADE FUNO HARMNICA

f contnua 
com respeito h : R2 R de classe C 2
g harmnica
z = u(x, y) + i v(x, y) axey h x x (x, y) + h y y (x, y) = 0
=

Resultados das CCR:


f de classe C 1
f diferencivel f : C analtica
1. f constante em
com respeito = com respeito f 0 (z) = 0 em
axey axey f f = u(x, y) + i v(x, y)

2. = u,v so harmnicas
derivvel u, v de classe C 2
e
Diz-se que u e v so harmnicas conjugadas.
vale f y (z) = i f x (z) Obs.: para determinar a funo harmnica conju-
gada v de u(x, y) harmnica, basta aplicar as CCR
condio de Cauchy-Riemann (CCR)
e resolver, para v
f (z) f (z0 )
Obs.: f derivvel em z0 lim = f 0 (z)
zz0 z z0 ux = vy e u y = vx
0
Obs.: f derivvel em z0 = f (z0 ) = f x (z0 )
3. u : D C R funo harmnica v : D R
Obs.: Vide demais definies (diferenciabilidade, conti-
que harmnica conjugada de u. Com D domnio.
nuidade, ...) no caderno
CCR ( f y (z) = i f x (z)): LHospital continua vlida.

1. Em coordenadas cartesianas, z = u(x, y) + i v(x, y)

f (w) f 0 (w)
Obs.: Para analisar os pontos em f (w0 ) = g(w0 ) = 0 = lim = lim 0
ww0 g(w) ww0 g (w)
ux = vy que f derivvel (com f diferenci-
u y = vx vel) basta encontrar os pontos que
satisfazem as CCR
FUNES COM ARGUMENTO COMPLEXO
2. Em coordenadas polares, z = u(r, ) + i v(r, )
Exponencial
u r = 1r v
f 0 (z) = (u r + i vr )(cos isen ) z C, z = x + i y
u = r vr
ez = exp(x + i y) = e x exp(i y) = e x (cos y + isen y)
Funo analtica:
ez inteira
f analtica em (DOMNIO) f derivvel em
todos os pontos de . (ez )0 = ez

Obs.: Se = C, f dita inteira. ez 2i peridicas

Obs.: Se , no for domnio, mesmo f sendo derivvel, ez 6= 0

ela no ser definida como analtica.

1
 Instituto Tecnolgico de Aeronutica 2016 MAT-46 - Funes de Varivel Complexa MACACRIO

Funes trigonomtricas Obs.: (Log z)0 = 1z e exp (Log z) = z, mas Log ez = z

( nem sempre verdadeiro.
de f e iz +eiz
cos z = Obs.: pode-se definir outros ramos, conforme conveni-
analticas de f
2 , z = x +iy C
e iz eiz
sen z = 2i
ncia. Exemplo:

Obs.: As outras funes so definidas a partir de sen z

L o g z = ln |z| + iA r g z, z 6= 0, A r g z (0, 2)
e cos z.
Obs.:
Obs.: percebe-se que, para garantir analiticidade, o
domnio de qualquer ramo de log z o plano complexo
cos (x + i y) = cos x cosh y isen xsenh y
MENOS UMA SEMI-RETA COM ORIGEM NA ORIGEM
DO SISTEMA DE COORDENADAS.

sen (x + i y) = sen x cosh y + i cos xsenh y Potncia

de f
Obs.: As relaes(frmulas) das funes trigonom- z = eLog z
tricas reais tambm so vlidas para as funes em
varivel complexa, inclusive as derivadas e integrais.
(z )0 = z 1
Funes trigonomtricas hiperblicas
com z, C
ez ez
senh z =
2 INTEGRAIS DE LINHA

- f contnua em A C
- : [a, b] A, C 1 por partes
ez + ez
cosh z =
2
Z Z b
com z = x + i y C de f
f (z) dz = f ((t)).0 (t) d t
Obs.: Algumas frmulas a

produto entre complexos

2
cosh z senh z = 1 2
b
senh (z + w) = senh z cosh w + cosh zsenh w
Z Z
cosh(z + w) = cosh z cosh w + senh zsenh w Obs.: f (z) |dz| = f ((t)).|0 (t)| d t
a
senh (2z) = 2senh z cosh z Z b  Z b
cosh(2z) = cosh2 z + senh 2 z
 
Obs.:  g(t) d t  |g(t)| d t
(senh z)0 = cosh z a a
(cosh z)0 = senh z Proposio ML

Z 
Logaritmo  

 f (z) dz  M L

log z = ln |z| + i(arg z + 2k), k Z, z 6= 0

onde | f (z)| M , z tr
Ramo principal do logaritmo (Log) L = l() (comprimento de )
Obs.:
Log z = ln |z| + iArgz, z 6= 0, Argz (, )
f contnua
F derivvel F primitiva de f
D(Lo g) = C\{(x, 0)|x 0} F 0 (z) = f (z)

2
 Instituto Tecnolgico de Aeronutica 2016 MAT-46 - Funes de Varivel Complexa MACACRIO

Teorema 1. Teorema Fundamental do Clculo (TFC) Provando a convergncia

f : C contnua critrios de
F : C primitiva de f ==== converge ou diverge
MAT-12 em
: [a, b] C, C 1 por partes Rezn e Imzn
Z Z b ou
0 critrios de
f (z) dz = f ((t)). (t) d t = F ((b)) F ((a)) ==== converge ou diverge
a MAT-12
em |zn |

Obs.: Nem sempre possvel usar o TFC. s vezes a

primitiva F no est definida sobre toda a curva . S o Macaco salva!
Exemplo: O 200 e macacos no se responsabiliza por quaisquer surpresas durante a prova =)

Z
1
dz, (t) = e i t , t [0, 2]
z

F (z) = Log z no est definido em todo o crculo e i t .

Corolrio do TFC
Z
(t) fechada = f (z) dz = 0

Equivalncias

f tem primitiva

Z
Z
f (z) dz
f (z) dz = 0


s depende dos
fechada pontos inicial e final

P P
SRIES n=1 zn OU zn

Propriedades:
 P
P Re(zn ) conv para Re(z)
1. zn conv p/ z P
Im(zn ) conv para Im(z)
A srie converge a parte real e a parte imaginria
convergem
P P
2. |zn | converge zn converge
(Critrio de Cauchy)

3. zn 9 0 zn diverge
P

4. Produto de Cauchy para sries

X X
zn = z e w n = w absolutamente convergentes

X
X n
= zi w ni = zw absolutamente convergente
n=0 i=0