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

:: VARIVEIS COM PLEXAS: FUNES ELEM ENTARES E ANALITICIDADE

E ele me ensinava e me dizia: Retenha o teu corao s minhas palavras; guarda os meus mandamentos, e vive. Bblia Sagrada: Provrbios 4:4

Funo Polinomial Funes racionais Funo exponencial Funes trigonomtricas e hiperblicas Funes hiperblicas Funes uniformes e multiformes Superfcies de Riemann Exerccios

Funo Polinomial

Toda funo polinomial de grau n

N da forma

p(z) = a0 + a1 z + a2 z +...+ an zn uma funo analtica em C, pois cada zk com k=1,2,...,n uma funo analtica, as constantes so funes analticas, o produto e a soma de funes analticas uma funo anatica.
Funes racionais

Sejam duas funes polinomiais p=p(z) e q=q(z). Uma funo racional definida como p(z) R(z)= com z C tal que q(z) do quociente de funes.
Funo exponencial

q(z) 0. R(z) analtica e sua derivada dada pela regra de derivada

A funo exponencial de um nmero complexo z=x+iy definida por ez = e x+iy = ex[cos(y)+isen(y)] = ex cos(y) + i ex sen(y) As partes real e imaginria de ez, so dadas por u(x,y)=excos(y) e v(x,y)=exsen(y), respectivamente. Estas funes reais, satisfazem s Equaes de Cauchy-Riemann, isto : ux(x,y) = ex cos(y) = vy(x,y) uy(x,y) = ex sen(y) = vx(x,y) Como as derivadas acima so contnuas, a funo exponencial assim definida, analtica para todo z em C e a sua derivada dada por d dz (ez)=ez

A funo exponencial tambm usualmente denotada por ez=exp(z) Algumas propriedades da funo exponencial 1. eiy = cos(y) + isen(y)

2. e z=1/ez 3. ez = ex . eiy 4. ezp = epz 5. ez . ew = e z+w 6. |ez| = e Re(z)

Funes trigonomtricas e hiperblicas

Com a definio de funo exponencial ez=ex[cos(y)+isen(y)] obtemos para x=0: eiy = cos(y) + i sen(y) e e iy = cos(y) isen(y) Obtendo cos(y) e sen(y) nas equaes acima, teremos: cos(y) = eiy+e iy e sen(y)= eiye iy

2 Estas frmulas so vlidas para todo y teremos cos(z)=

2i R, estendendo estas definies para todo z eize iz

C,

eiz+e iz

sen(z)=

2 2i As funes seno e cosseno so analticas em todo o plano complexo. As outras funes trigonomtricas so definidadas como segue: sen(z) tan(z)= , cot(z)= cos(z) , sec(z)= 1 , csc(z)= 1

cos(z) sen(z) cos(z) sen(z) As funes tangente e secante possuem singularidades quando cos(z)=0, e as funes cotangente e cossecante possuem singularidades nos pontos onde sen(z)=0 nos outros valores do plano complexo estas funes so analticas. As derivadas das funes trigonomtricas so definidas por: Dz[sen(z)] = cosh(z) Dz[cos(z)] = sen(z) Dz[cot(z)] = csc(z) Dz[sec(z)] = tan(z) sec(z)

Dz[tan(z)] = sec(z) Dz[csc(z)] = cot(z) csc(z) As identidades trigonomtricas familiares ainda permanecem vlidas no plano complexo, sendo assim: 1. sen(z) sen(z) 2. cos(z) cos(z) 3. sen(z) + cos(z) 1 4. sen(z+w) sen(z) cos(w) + cos(z) sen(w) 5. cos(z+w) cos(z) cos(w) sen(z) sen(w)
Funes hiperblicas

As funes cosseno hiperblico e seno hiperblico so, respectivamente, definidas por: cosh(z) = ez+e z 2 e sinh(z) = eze z 2

Como as funes f(z)=ez e f(z)=e z so analticas em todo o conjunto C, as funes trigonomtricas hiperblicas tambm so. Quando z um nmero real, isto y=0, estas funes trigonomtricas hiperblicas complexas coincidem com as funes trigonomtricas hiperblicas reais de mesmo nome. As outras funes trigonomtricas hiperblicas so definidas de maneira anloga ao caso real tanh(z) = sinh(z)/cosh(z) coth(z) = cosh(z)/sinh(z) sech(z) = 1/cosh(z) csch(z) = 1/sinh(z) As funes tangete hiperblica e secante hiperblica possuem singularidades nos valores onde cosh(z)=0, e as funes cotangente hiperblico e cossecante hiperblico possuem singularidades nos valores onde sinh(z)=0 nos outros valores do plano complexo estas funes so analticas. As derivadas das funes hiperblicas so definidas por Dz[sinh(z)] = cosh(z) Dz[coth(z)] = csch(z) Dz[cosh(z)] = sinh(z) Dz[sech(z)] = tanh(z) sech(z) Dz[tanh(z)] = sech(z) Dz[csch(z)] = coth(z) csch(z) Algumas identidades vlidas para as funes hiperblicas so: 1. sinh(z) sinh(z) 2. cosh(z) cosh(z) 3. cosh(z)sinh(z) 1 4. coth(z)csch(z) 1 5. sinh(z+w) sinh(z) cosh(w) + cosh(z) sinh(w) 6. cosh(z+w) cosh(z) cosh(w) + sinh(z) sinh(w) 7. sinh(iz) i sen(z) 8. cosh(iz) cos(z)
Funes uniformes e multiformes

Uma funo w=f(z) uniforme ou unvoca se a cada valor de z, corresponde um nico valor de w. Funes plurvocas, multiformes ou multivalentes so funes que, para um valor dado da varivel z, associam dois ou mais nmeros w=f(z) distintos. Estas funes podem ser consideradas como formadas por ramos, cada um dos quais uma funo unvoca do nmero z. Exemplos importantes de funo multiforme so as funes logartmicas e as funes com expoente fracionrio da forma f(z)=z 1/n. Funo raiz n-sima: Considere a funo f(z)=z 1/n, segundo a frmula das razes, podemos notar que f pode ser subdividida em n ramos

wk = r 1/n (cos t+2k n onde r=|z| e t=arg(z) Ramo Expresso

+ i sen t+2k n

principal f1(z)=w0 = r 1/n [cos(t/n) + i sen(t/n)] segundo f2(z)=w1 = r 1/n [cos((t+2 )/n)+i sen((t+2 )/n)] terceiro f3(z)=w2 = r 1/n[cos((t+4 )/n) + i sen((t+4 )/n)] nsimo fn(z)=wn1 = r 1/n [cos((t+2 (n1))/n) + i sen((t+2 (n1)/n))] Isto significa que para um mesmo valor de z teremos n funes f1, f2,...,fn distintas e alm disso, para qualquer z a equao [fi(z)] n=[wi] n=z, i=1,2,...,n, satisfeita sendo cada uma delas tratadas como ramos de uma s funo f(z)=zn. Cada um destes ramos possui uma descontinuidade ao longo do semi eixo real negativo incluindo a origem z=0, para exemplificar, tomamos dois pontos distintos no plano z, z1= 1+id e z2=1id, onde d um nmero positivo arbitrariamente pequeno. Estes pontos esto prximos um do outro no plano complexo z, mas, aplicando estes valores ao ramo principal, com r=|z|=(1+d)(1/2), t1= d e t2= +d teremos: f1(z1) = r 1/n [cos(( d)/n) + i sen(( d)/n)] f1(z2) = r 1/n [cos(( +d)/n) + i sen(( +d)/n)] que so pontos no plano w distantes entre si. Para a funo f(z)=z 1/2, segundo a frmula das razes, produzimos 2 razes distintas do nmero complexo z, para k=0. f1(z1) = r 1/2 [cos(( d)/2) + i sen(( d)/2)] f1(z2) = r 1/2 [cos(( +d)/2) + i sen(( +d)/2)] Uma situao grfica de pontos nos planos z e w:

Funo logaritmo natural: Dada a funo exponencial complexa w=exp(z)=ez, definimos a funo logaritmo natural de z como a funo inversa da exponencial. A funo inversa w=log(z) pode ser obtida trocando-se z por w na funo exponencial e explicitando w em funo de z, o que conseguimos com: w = log(z) = log|z| + i t Esta funo logaritmo natural complexa muito diferente da funo logaritmo natural real pois, podemos obter o logaritmo natural complexo de um nmero negativo mas no podemos obter o logaritmo natural real de um nmero negativo. Como exemplo, seja z=e=2,718281828... Neste caso, o argumento de z dado por t= e assim: w = log(e) = log|e| + i = 1 + i Da mesma forma que no caso real, o nmero complexo z=0 no possui logaritmo natural,

pois no existe um nmero w

C tal que ew =0.

Para cada z fixo em C, a equao ew=z possui uma infinidade de solues. Se t0 representa o menor valor do argumento de z no intervalo (0,2 ], o nmero complexo vp(log(z)) = log|z| + i t0 denominado o valor principal do log(z). Quando z um nmero real positivo, o argumento de z nulo e o valor principal de log(z) coincide com o logartmo natural real de z. Se k um nmero inteiro, O argumento genrico de z dado por: t = t0 + 2k Para que a associao z log(z) seja uma funo, necessitamos que ela seja uma correspondncia unvoca, isto quer dizer que cada valor z do domnio deve corresponder um nico valor w=log(z) na imagem. Para evitar confuses na definio do logaritmo, restringiremos o argumento de z a um intervalo aberto esquerda e fechado direita, de comprimento 2 , do tipo (2k1) < t<(2k+1) para algum k inteiro. Assim, para trabalhar com a funo logaritmo, devemos escolher um nmero inteiro k e exigir que (2k1) < t<(2k+1) Exemplo: Para k=0, segue que < t < e a associao z funo. log(z) representa uma

Cada valor de k Z conduz ao que denominamos ramo da funo logaritmo, definida por log(z)=log|z|+i(t0+2k ). Quando k=0, o ramo obtido o valor principal do logaritmo.
Superfcies de Riemann

G. F. Bernhard Riemann idealizou uma superfcie formada por uma infinidade de planos, na verdade superfcies helicoidais quase planas que reunidas formam uma superfcie semelhante a uma escada helicoidal suave que vemos nas casas. Estes planos so convenientemente superpostos, de modo que, quando z pertence a esta superfcie, a correspondncia z log(z) unvoca, sem a necessidade de fixar o valor de k Z. Faremos agora uma descrio intuitiva desta idia. Consideremos a corresponncia w=log(z)=log|z|+ i t0 onde t0=arg(z). Tomaremos w=u+iv para escrever u=log|z| e v=t0 Vamos considerar o plano complexo C excluindo a semi-reta Sr que contm a origem e todos os nmeros complexos z cuja parte real negativa, isto , Sr={ z=x+iy: x<0 e y=0 }. O domnio da funo w=log(z) ser a regio aberta e conexa: D0={z C: 0<|z|<, <t0 < } A figura a seguir ilustra o domnio D0 de w=log(z)

Este domnio D0 transformado por u=log|z| e v=t0 na faixa no plano uv dos w, definida por F0 = { (u,v): < u < , < v < }

A figura abaixo ilustra a faixa F0 representada pela imagem da aplicao w=log(z)

Como a associao w=log(z) de D0 em F0 unvoca, temos que ela uma funo. Consideremos agora o domnio D1 = { z C: 0<|z| < e < t0 < 3 } Este domnio D1 transformado por u=log|z| e v=t0 na faixa no plano uv dos w, definida por F1 = { (u,v): <u < e <v < 3 } Como a associao de D1 em F1 definida por w=log(z) unvoca, temos que ela representa uma funo. De um modo geral, para cada k Z, consideremos o domnio Dk={z C: 0<|z|<, (2k1) <t0<(2k+1) } Este domnio Dk transformado por u=log|z| e v=t0 na faixa do plano dos w, definida por Fk = { (u,v): <u<, (2k1) <v<(2k+1) } Observamos que, as faixas Fk so disjuntas no plano dos w, enquanto os domnios Dk so cpias iguais do plano D0. Podemos imaginar os domnios Dk como planos distintos superpostos como uma pilha de folhas de papel. A superfcie assim obtida denominada Superfcie de Riemann. A correspondncia w=log(z), (z S) unvoca, logo esta ser denominada a funo logartmica. Quando k=0, w=log(z) em D0, denominada ramo principal do logaritmo. Desse modo w = log|z|+ i t0, <t0< A superfcie de Riemann, w=log(z):

A funo logaritmo natural analtica em todo o plano complexo e a sua derivada dada por d log(z) = dz z Propriedades da funo logartmica natural complexa 1. As funes logaritmo natural complexo e exponencial complexa, so inversas uma da 1

outra, isto , para z 3. log(exp(z)) = z

0, segue que z=ew se, e somente se, w=log(z). 0

2. exp(log(z)) = z, para Im(z) 4. log(z.w) = log(z) + log(w) 5. log(zn) = n log(z)

Exerccios

1. Mostre que as funes abaixo so contnuas em todos os pontos do plano complexo, mas no so analticas em ponto algum do plano complexo. a) f(z)=5xiy. b) f(z)=x+xyi(yx+y). c) f(z)=cos(7x)+isen(7y) 2. Mostre que a funo f(z)=xy+ixy derivvel mas no analtica em z=0. 3. Determine o domnio em que a funo f(z)=(za)/(z+a) analtica. 4. Dada a funo f(z)=(ey+e y)cos(x)i(eye y)sen(x), pede-se: a. Mostre que f(z) uma funo inteira. b. Mostre que f(z) uma funo inteira. 5. Determine se a funo definida por f(z)=(2+5z)/(i3z) analtica no disco aberto D:|z| <1. Soluo: Tanto o numerador como o denominador de f so funes polinomiais e portanto funes inteiras, f analtica em todos os pontos do plano complexo exeto em z=i/3, como este ponto pertence ao interior do disco aberto |z|<1, esta funo no analtica em D. 6. Determine se a funo definida por f(z)=sen(x) analtica no disco aberto |z|<1. Soluo: A funo f(z)=sen(z) est definida para todos os valores do plano complexo. Fazendo f(z)=u+iv, temos que u=sen(x) e v=0, assim, ux=cos(x), uy=0, vx=0 e vy=0. As equaes de Cauchy Riemann so verificadas apenas nos valores em que cos(x)=0, isto x=k/2, k=1,2,3... que so pontos isolados do domnio da funo, o que resulta que esta funo no analtica em nenhum ponto. 7. Determine se a funo definida por f(z)=e y(cos(x)+isen(x)) analtica no plano complexo. Soluo: Como f(z)=u+iv=e y(cos(x)+isen(x)),temos que u=e ycos(x) e v=e ysen(x), assim ux=e ysen(x), uy=e ycos(x), vx=e ycos(x) e vy=e ysen(x) e portanto as equaes de Cauchy Riemann so sempre satisfeitas e esta funo analtica em todo o palno complexo. 8. Sejam P(z) e Q(z) polinmios, determine se as funes f(z)=P(z)/Q(z) e g(z)=P(z).Q(z)/z so analticas no conjunto 0<|z|<1.
Construda por Snia Ferreira Lopes Toffoli. Home-page atualizada em 17-nov-2006.