M APA DO SITE ALEGRIA FINANCEIRA FUNDAM ENTAL M DIO GEOM ETRIA T RIGONOM ETRIA CLCULOS SUPERIOR ENSINO SUPERIOR

:: VARIVEIS COM PLEXAS: DERIVADAS DE FUNES COM PLEXAS

No digas ao teu prximo: Vai, e volta amanh que to darei, se j o tens contigo. Bblia Sagrada: Provrbios 3:28

A derivada de uma funo complexa em um ponto Funo analtica em um domnio complexo Funo analtica real versus funo analtica complexa Derivada em um ponto isolado Funes analticas e continuidade Propriedades das funes analticas Regra da cadeia (Derivada da composta) Regras de derivao de algumas funes complexas Equaes de Cauchy-Riemann

A derivada de uma funo complexa em um ponto

Seja f:D C uma funo complexa onde D um domnio complexo. A derivada da funo f no ponto z0 definida por lim
z zo

f(z)f(z0) zz0 f(z)f(z0) zz0

Se o limite acima existir, denotamos a derivada da funo f por f' e escrevemos: f'(z0) = lim
z zo

Tomando h=zz0, a ltima expresso pode ser reescrita na forma: f'(z0) = lim h 0 Exemplos: 1. Seja f:C C definida por f(z)=z. A derivada de f no ponto z0 f'(z0) = lim
z

f(z0+h)f(z0) h

C dada por

zz0
zo

zz0

=z

lim
zo

(zz0)(z+z0) zz0

lim = z z (z+z0) = 2z0 o

2. Seja f:C escrever

C definida por f(z)=Re(z). Tomando z=x+iy, f(z)=x e z0=x0+iy0, poderemos f(z0+h)f(z0)

0

f'(z0)= lim
h

h Para que uma funo possua derivada em um ponto z0, o limite no pode depender do modo como h tende a zero. Tomando h 0 por valores reais h=k, obteremos: (x0+k)(x0) f'(z0) =lim =1 k 0 k Tomando h 0 por valores imaginrios h=it, teremos:

f'(z0) = lim
t

x0x0 = 0

it Como os limites so distintos, conclumos que f(z)=Re(z) no possui derivada no conjunto dos nmeros complexos.

Funo analtica em um domnio complexo

Seja D um domnio complexo, isto , um conjunto aberto e conexo e f:D C. A funo f analtica em D se f possui derivada em todos os pontos z0 em D. f analtica em um ponto z0, quando f analtica em uma vizinhana aberta de z0. Na literatura, comum encontrarmos as palavras holomorfa e regular como sinnimos da palavra analtica. Uma funo f:C C uma funo inteira se ela derivvel em todo ponto z se f for analtica em todo o plano complexo.
Funo analtica real versus funo analtica complexa

C, isto ,

Uma funo real f=f(x) pode ter a primeira derivada contnua e no entanto no possuir a segunda derivada. No sistema complexo, esta situao no ocorre, pois se f=f(z) possui a primeira derivada, tambm deve possuir todas as outras derivadas. Acerca da analiticidade, podemos exibir uma funo real f=f(x) que no analtica mas cuja equivalente complexa f=f(z) analtica. Exemplo: A funo real definida por f(0)=0 e f(x)= e 1/x se x 0 no analtica, mas a funo complexa definida por f(0)=0 e f(z)= e 1/z se z 0 analtica em todo o plano complexo.
Derivada em um ponto isolado

Uma funo que possui derivada em um ponto isolado de seu domnio no pode ser analtica, pois, a definio acima exige que a funo tenha derivada em todos os pontos de um conjunto aberto contendo o referido ponto. O exemplo seguinte trata de uma funo que possui derivada em um ponto z0 de seu domnio sem que seja analtica neste ponto z0. Exemplo: A funo f(z)=|z| derivvel em z=0, pois f'(0) = lim
z

|z|
0

= lim
z

z.z *
0

= lim z * = 0
z 0

Consideremos z0

C sendo z0

0 |z||z0|
0

0 zz0 (xx0)+i(yy0) Este limite no existe, pois quando z z0 por caminhos diferentes, os resultados dos limites so distintos, assim f possui derivada em z0=0 mas no derivvel em qualquer outro ponto distinto z=0. Conclumos ento que f no analtica em z=0.

f'(z0) = lim z z

=z

lim
z

(xx0)+(yy0)

Funes analticas e continuidade

Se uma funo f analtica em seu domnio D, ento ela contnua neste mesmo domnio D.
Propriedades das funes analticas

Se f e g so funes analticas sobre um domnio D e k um nmero complexo, ento f+g, k f, f.g e f/g sendo g 0, so analticas sobre D, valendo as seguintes regras de derivao: (f+g)'=f'+g' (k.f)'=k.f' (f.g)'=f'.g+f.g' (f/g)'=(g.f'g'.f)/g
Regra da cadeia (Derivada da composta)

Seja h=gof definida por h=g(f(z)) a funo composta de f com g. Se f for derivvel em z0 e g for derivvel em w0=f(z0) ento h=g o f derivvel em z0 e alm disso: h'(z0)=g'(f(z0)).f'(z0)
Regras de derivao de algumas funes complexas

As regras de derivao para algumas funes analticas podem ser demonstradas de forma similar quelas do caso real. As funes usuais do Clculo de funes reais so analticas reais e quando estendidas de modo conveniente ao plano complexo, possuem derivadas semelhantes. Dz[c] = 0 Dz[ez] = ez Dz[sen(z)] = cos(z) Dz[tan(z)] = sec(z) Dz[zn] = n z n1 Dz[az] = lna az Dz[cos(z)] = sen(z) Dz[cot(z)] = csc(z)

Dz[sec(z)] = sec(z).tan(z) Dz[csc(z)] = csc(z).cot(z) Dz[ln(z)] = 1/z Dz[arctan(z)] = 1/(1+z) Dz[arcsin(z)] = 1/(1z)1/2 Dz[arccos(z)] = 1/(1z)1/2 Dz[sinh(z)] = cosh(z) Dz[tanh(z)] = sech(z)
Equaes de Cauchy-Riemann

Dz[cosh(z)] = sinh(z) Dz[coth(z)] = csch(z)

O problema de sabermos se uma funo complexa f derivvel em um ponto z0=x0+iy0 simplificada pelo fato de sabermos se as partes real e imaginria de f so parcialmente derivveis em (x0,y0). Seja f:D C, sendo D um domnio em C. Seja f escrita na forma f(z)=u(x,y)+iv(x,y) onde u e v so funes reais. As Equaes de Cauchy-Riemann so dadas por: u = v e u = v

x y y x Teorema: (Equaes de Cauchy-Riemann so necessrias para a analiticidade) Se f(z)=u(x,y)+iv(x,y) uma funo analtica em um ponto z0=(a,b) ento, valem as Equaes de Cauchy-Riemann, isto : u v u v

Demonstrao: Se f tem derivada em z0, podemos escrever f'(z0)= lim

h 0/th>

f(z0+h)f(z0)

h Este limite existe independente do modo como h tende a zero. Tomando h reais h = k, teremos: f'(z0) = f'(a,b) = lim
k

0 por valores

u(a+k,b)u(a,b) + i [v(a+k,b)v(a,b)]
0

k u(a+k,b)u(a,b) v(a+k,b)v(a,b) +i k u x v x k

= lim
k

logo f'(z0) = Tomando agora h +i

0 por valores imaginrios h=it, teremos: u(a,b+t)u(a,b) + i [v(a,b+t)v(a,b)] it u(a,b+t)u(a,b) i t v i y v = i y u u t v(a,b+t)v(a,b)

f'(a,b) = lim
t

= lim
t

Desse modo f'(z0) = Assim: u +i v

x x y y Igualando as partes reais e as partes imaginrias, obtemos as Equaes de CauchyRiemann: u v u v = , = x y y x Observao: (Equaes de Cauchy-Riemann no so suficientes para a analiticidade) Existem funes f(z)=u(x,y)+iv(x,y) que satisfazem s equaes de Cauchy-Riemann em um dado ponto z0, mas que no possuem derivada neste ponto. Exemplo: Seja f(z)=u(x,y)+iv(x,y), onde x e y so variveis reais e definamos u(0,0)=0, v(0,0)=0 e xy u(x,y)= e v(x,y)= x+y

xy x+y As equaes de Cauchy-Riemann so satisfeitas em (0,0) pois ux(0,0) = lim

h

u(h,0)u(0,0)
0

= lim
h

h/h
0

=1 h h/h = 1 h h/h =1

h u(0,h)u(0,0)

uy(0,0) = lim
h

= lim
h

vx(0,0) = h

lim v(h,0)v(0,0)
0

=h

lim
0

h vy(0,0) = lim
h

h = lim
h

v(0,h)v(0,0)
0

h/h
0

=1

h h Acontece que f(z)=u(x,y)+iv(x,y) no tem derivada em (0,0), pois f'(0) = lim

z

f(z)f(0)
0

= lim
z

u(x,y)+iv(x,y)
0

= lim
z

x+xy+y
0

x+y +i (x+y)(x+iy)

Tomando z

z0 x+iy 0 atravs da reta real x=0, obtemos f'(0) = lim

y

(x+y)(x+iy)

y+iy
0

= 1i iy x+ix

Tomando z

0 atravs da reta y = 0, obtemos f'(0) = lim

x

x Isto mostra que f no possui derivada em z=0+i0=(0,0). Conclumos que as equaes de Cauchy-Riemann no so suficientes para garantir que f(z)=u(x,y)+iv(x,y) possua derivada. Se, alm de satisfazer s equaes de Cauchy-Riemann, acrescentarmos o fato que as derivadas de primeira ordem de u=u(x,y) e v=v(x,y) sejam contnuas numa regio D, obteremos as condies para garantir que f possui derivada. Teorema: (Condio necessria e suficiente para a analiticidade) Seja f(z)=u(x,y)+iv(x,y), onde u=u(x,y) e v=v(x,y) so funes reais. f analtica em um ponto z0=x0+iy0 se, e somente se, u=u(x,y) e v=v(x,y) possuem derivadas de primeira ordem contnuas em (x0,y0) e alm disso, valem as Equaes de Cauchy-Riemann. Exemplos: Analisaremos alguns exemplos j tratados anteriormente. 1. f(z)=z u=xy, v=2xy, ux=2x, uy=2y, vx=2y, vy=2x Como ux=vy e uy=vx e as derivadas de primeira ordem so contnuas em todos os pontos de R esta funo analtica em todo o plano complexo, isto , f ela inteira. 2. f(z)=Re(z) u=x, v=0, ux=1, uy=0, vx=0, vy=1. Assim as equaes de Cauchy-Riemann no so

= 1+i

satisfeitas em qualquer ponto de R. 3. f(z)=|z| u=x+y, v=0, ux=2x, uy=2y, vx=0, vy=0. As equaes de Cauchy-Riemann s so satisfeitas na origem e a funo s possui derivada em (0,0) no sendo analtica em z=0, pois as derivadas parciais de primeira ordem no so contnuas em (0,0).
Construda por Snia Ferreira Lopes Toffoli. Home-page atualizada em 17-nov-2006.