Funes de Variveis Complexas

Samuel da Silva1 , Centro de Engenharias e Cincias Exatas, Universidade Estadual do Oeste do

Paran, UNIOESTE, Campus de Foz do Iguau.

1 Objetivos
O uso da Transformada de Laplace na anlise de sistemas dinmicos permite a transformao de
uma equao diferencial em uma equao algbrica envolvendo a varivel complexa s. Algo similar
obtido para o caso discreto no tempo, porm, envolvendo a Transformada Z aplicada em equaes a
diferenas finitas. Para aproveitar melhor o uso destas tcnicas desejvel como pr-requisito uma boa
base matemtica em funes de variveis complexas. Neste sentido, esta curta nota procura apresentar
de forma sucinta alguns conceitos, definies e equaes bsicas envolvidas no uso de funes de va-
riveis complexas que sero teis durante o nosso curso. Os estudantes interessados podero encontrar
maior detalhe e rigor matemtico nos tpicos apresentados aqui nas seguintes referncias [1], [2], [3]
ou, ainda, no recente livro [4].

2 Nmeros Complexos
A seguinte equao intrigou muitos matemticos:

x2 + 1 = 0 x2 = 1 (1)
uma vez que no existe um nmero x = r R que satisfaa esta equao. A ideia para se resolver
este tipo de equao foi ento criar um novo conjunto de nmeros chamados complexos, denotados por
C que assumem uma forma genrica:

z = x + jy = (x, y) (2)

sendo x e y nmeros reais e j = 1 a chamada unidade imaginria. Gauss mostrou em sua tese
de doutorado que os nmeros complexos no tem nada de irreal ou imaginrio a partir de representaes
geomtricas. Porm, mesmo com isto, os nmeros complexos demoraram um bom tempo para serem
aceitos. A prpria palavra complexo cria um certo bloqueio e preconceito de ser uma coisa muito
complicada2 . Obviamente que o conjunto de nmeros reais R um subconjunto de C uma vez que se
y = 0 na eq. (2) pertencente a R.
Pode-se definir tambm a parte real de um nmero complexo:

Re (z) = x (3)
a parte imaginria:

Im (z) = y (4)
seu mdulo:

|z| = x2 + z 2 (5)
1
Sugestes, comentrios e correes so bem-vindos e podem ser feitos pelo email samsilva@unioeste.com.
2
O que no deixa de ser verdade, se tratando de funes de variveis complexas.

1
 e argumento:
y
(z) = atan (6)
x
A partir de uma representao do plano complexo3 simples verificar as relaes:

Re(z) = |z| cos ((z)) (7)

Im(z) = |z| sen ((z)) (8)

Com isto uma forma alternativa de se escrever um nmero complexo a partir de:

z = x + jy = Re(z) + jIm(z) = |z| cos ((z)) + j |z| sen ((z)) (9)

Todas as operaes comuns de soma, subtrao, multiplicao e diviso so realizadas de forma
convencional. O conjugado de um nmero complexo denotado por z e definido, como:

z = x jy = Re(z) jIm(z) = |z| [cos ((z)) jsen ((z))] (10)

o que leva a zz = |z|2 . J o inverso de um nmero complexo, z 1 dado por:
1
z 1 = (cos ((z)) jsen ((z)) (11)
|z|
6 0. Note que zz 1 = 1.
que para ser satisfeita devemos ter que |z| =
A multiplicao de dois nmeros complexos, por exemplo z1 e z2 resulta por:

z1 z2 = |z1 ||z2 | [cos(1 + 2 ) + jsen(1 + 2 )] (12)

Assim para n N sucessivas multiplicaes, pode-se escrever:

z n = |z|n (cos(n) + jsen(n)) (13)

se o mdulo de z na eq. (13) for unitrio, chega-se ao conhecido Teorema de De Moivre:

[cos() + jsen()]n = cos(n) + jsen(n) (14)

Um dos fatores mais importantes dos nmeros complexos com grande aplicao em funes de
variveis complexas que dado z0 = x0 + jy0 e z = x + jy. Dizer que z z0 , significa dizer
que x x0 e y y0 , de maneira simultnea e independente. Com isto, no plano de Argand no se
especifica uma trajetria particular, mas sim todas as trajetrias que partem de z e chegam at z0 .

3 Funo de Varivel Complexa

A definio genrica de funo de varivel complexa dada por:

f (z) : DCF C (15)

sendo D um subconjunto de C o domnio e F sua imagem.
3
Tambm conhecido como plano de Argand e sendo simplesmente uma representao geomtrica dada por Re(z) no
eixo abcissa e Im(z) no eixo ordenado.

2
 A funo f (z) pode ser interpretada no plano de Argand como uma funo de duas variveis que
mapeia os pontos (x, y) D em (u, v) F C. Assim:

f (z) = u(x, y) + jv(x, y) (16)

Considerando uma varivel complexa z0 D pode-se calcular o limite de f (z) quando z z0 :

f0 = lim f (z) (17)

zz0

desde que  > 0 exista > 0 tal que |f (z) f0 | <  seja |z z0 | < . Em termos mais claros,
isto significa dizer que qualquer trajetria que parta de z at z0 faz com que f (z) v para f0 . Deve ficar
claro ao leitor, que isto no significa em nenhum momento que sempre f0 = f (z0 ). Se isto ocorrer a
funo de varivel complexa dita contnua em z0 .
Usando a relao da eq. (16) na eq. (17) tem-se4 :

lim f (x + jy) = lim u(x, y) + j lim v(x, y) = f0 = f (z0 ) (18)

xx0 ,yy0 xx0 ,yy0 xx0 ,yy0

A mais importante funo de varivel complexa a funo exponencial que definida para todo
z = x + jy C como:

ez = ex+jy = ex (cos(y) + jsen(y)) (19)

Note que se na eq. (19) y = 0, tem-se a funo exponencial para variveis reais, ex . Por outro lado,
se x = 0, chega-se a conhecida :

eyj = cos(y) + jsen(y) (20)

Com a relao de Euler possvel escrever uma varivel complexa como:

z = |z|ej (21)

4 Derivao de Funes de Variveis Complexas

Os estudantes devem lembrar que a derivada de uma funo de varivel real relacionada ao limite
da tangente em torno do ponto de interesse. No caso de uma funo complexa f (z) a sua derivada em
z0 D dada por:

f (z) f (z0 )
f 0 (z0 ) = lim (22)
zz0 z z0
obviamente desde que o limite exista e que seja invariante a qualquer trajetria de z tendendo a z0 .
importante lembrar que a diferencial complexa dz funo das diferenciais reais dx e dy, assim:

dz = dx + jdy (23)
Tambm usual usar a notao para derivada de variveis complexas:
d
f 0 (z) = f (z) (24)
dz
4
Assumindo que f (z) contnua. em z0

3
 Interpretando a eq. (22) em termos da derivada direcional das funes u(x, y) e v(x, y), observa-se
que estas funes devem ter certas caractersticas para que f (z) seja diferenciavel. Para comprovar
isto, ser reescrito a eq. (22) em termos de u(x, y) e v(x, y) e sabendo que z = x + jy e z0 = x0 + jy0 ,
assim:

(u(x, y) + jv(x, y)) (u(x0 , y0 ) + jv(x0 , y0 ))

f 0 (z0 ) = lim =
xx0 ,yy0 (x + jy) (x0 + jy0 )
ux + vy ux vy
= lim 2 2
+ j lim (25)
xx0 ,yy0 x + y xx0 ,yy0 x2 + y 2
sendo u e v dadas por:

u u
u = x + y (26)
x y
v v
v = x + y (27)
x y
Calculando as derivadas parciais da eqs. (26) e (27) em x = x0 e y = y0 . Substituindo estas
equaes na eq. (25) e aps manipulaes obtm-se:
u v v u
f 0 (z0 ) =
+j = j (28)
x x y y
A eq. (28) permite verificar duas condies que devem ser satisfeitas simultaneamente para ser
possvel calcular f 0 (z0 ):

u v
= (29)
x y
u v
= (30)
y x

Estas duas condies so chamadas de condies de Cauchy-Riemann e garantem que f (z) seja
diferenciavel e contnua em z = z0 . Devemos notar que as condies de Cauchy-Riemann acoplam as
funes u e v de tal forma que se for conhecida uma a outra completamente determinada a menos de
uma constante.
Uma equao, de grande interesse fsico e matemtico pode ser obtida derivando-se as condies
de Cauchy-Riemann em relao a x e y. Observa-se que u e v devem satisfazer:

2u 2u
+ = 2 u = 0 (31)
x2 y 2
2v 2v
+ = 2 v = 0 (32)
x2 y 2

sendo 2 o operador Laplaciano. Estas duas expresses so as equaes de Laplace, tambm

conhecidas como Funes Harmnicas. Problemas de campo de temperatura, distribuio de tenses
em placas, entre outros, podem ser descritos por funes deste tipo.

4
 Neste ponto, bom definir formalmente o termo funo analtica. Uma funo de varivel f (z)
dita analtica se sua derivada f 0 (z) existir e for contnua em todo z D. Verificar se uma funo ou
no analtica feito rapidamente com a verificao das condies de Cauchy-Riemann. Um exemplo,
considerando a funo:

f (z) = z 2 (33)
se f (z) for analtica, implica que as condies de Cauchy-Riemann sejam satisfeitas. As funes
u(x, y) e v(x, y):

u(x, y) = x2 y 2 , v(x, y) = 2xy (34)

satisfazem claramente as condies de Cauchy-Riemann em todo z C:

u v
= = 2x (35)
x y
u v
= = 2y (36)
y x
e ainda tem-se que:
u v v u
f 0 (z) = +j = j = 2z (37)
x x y y
lembrando que z = x + yj.
Outro exemplo: considere uma funo de varivel complexa s, G(s) dada por:
1
G(s) = (38)
s+1
sendo s = + j, onde parte real e a parte imaginria, assim:
1
G( + j) = = u + jv (39)
+ j + 1
sendo:

+1
u(, ) = (40)
( + 1)2 + 2

v(, ) = (41)
( + 1)2 + 2

observa-se que as condies de Cauchy-Riemann so satisfeitas para todos os pontos, para exceto
s = 1, ou seja quando = 1 e = 0:

u v 2 ( + 1)2
= = (42)
[( + 1)2 + 2 ]2
u v 2( + 1)
= = (43)
[( + 1)2 + 2 ]2

5
 Uma vez que as condies de Cauchy-Riemann so vlidas, a funo G(s) analtica, exceto em
s = 1.
Os pontos no plano de Argand onde uma funo de varivel complexa analtica so chamados de
pontos ordinrios, j os pontos onde a funo no analtica5 so conhecidos como pontos singulares.
Os pontos singulares podem ser de dois tipos:

Pontos singulares onde a funo de varivel complexa ou as derivadas desta funo de varivel
complexa tendem ao infinito so chamados de plos.

Pontos singulares onde a funo de varivel complexa nula so chamados de zeros.

Isto muito importante, pois como veremos no decorrer do curso, um sistema dinmico linear e
invariante no tempo adequadamente descrito pela transformada de Laplace na forma de funes de
transferncia entre efeitos de entrada e sada descritos na forma racional envolvendo variveis com-
plexas. O comportamento dinmico de um sistema linear completamente descrito pela posio dos
plos e zeros no plano de Argand.
Um exemplo interessante para ilustrar a determinao de plos e zeros de funes de variveis
complexas. Considere:

K(z + 2)(z + 10)

G(z) = (44)
z(z + 1)(z + 5)(z + 15)2
A funo G(z) tem plos simples em z = 0, z = 1 e z = 5 e um plo duplo, de ordem 2, em
z = 15. J com relao aos zeros tem-se z = 2 e z = 10. Porm, se z :
K
G(z) (45)
z3
Ou seja para z a funo se aproxima de zero, o que indica que a funo tambm tem um zero
triplo em z = .

5 Teorema Integral de Cauchy

As condies de Cauchy-Riemann estabelecem um resultado conhecido como teorema integral de
Cauchy. Considere uma funo analtica f (z) com um domnio D C e uma curva fechada C no
plano complexo arbitrria mas de tal forma que todos os seus elementos interiores estejam em D. Esta
regio chamada de R. O teorema integral de Cauchy fornece:

I I I I
f (z)dz = u + jv(dx + jdy) = udx vdy + j vdx + udy =
C C C C
ZZ   ZZ  
v u u v
= dxdy + j dxdy = 0 (46)
R x y R x y

Para chegar a este resultado devemos relembrar tambm o teorema de Green-Gauss estudado em
clculo vetorial6 usado na segundo linha da equao anterior. Esta prova foge ao escopo deste curso e
5
No exemplo dado, s = 1.
6
Relembre que temos uma integral acoplada em dx e dy e o teorema de Green-Gauss de uma forma grosseira algo
como realizar um integrao por partes de alta ordem!

6
pode ser encontrada em [1]. Este teorema base para o estudo de estabilidade de sistemas dinmicos
lineares no domnio da frequncia (critrio de Nyquist). O que ns interessa neste momento que
este teorema leva a obteno da chamada formula integral de Cauchy definida para qualquer ponto z0
pertencente a curva C:
I
1 f (z)
f (z0 ) = dz (47)
2j C z z0

6 Descrio de funes de variveis complexas usando as sries de

Taylor e Laurent
Uma funo analtica f (z) pode ser desenvolvida em srie de Taylor, i. e., para z0 D ento o
valor da funo em qualquer z pertencente regio circular |z z0 | < R cujo interior est contido em
D C:

X
f (z) = ci (z z0 )i (48)
i=0

onde os coeficientes ci so dados por:

I
1 f (z)
ci = dz (49)
2j C (z z0 )i+1
A prova da expresso anterior encontrada em detalhes em [1].
Uma generalizao da srie de Taylor a srie de Laurent usada quando a meta escrever f (z)
como uma srie de potncias em um ponto onde ela no analtica. A transformada Z que no faz
parte do escopo deste curso um exemplo de srie de Laurent.
Assuma uma funo f (z) que analtica no interior de um anel r < |z z0 | < R ento para todo
z nesta regio, a srie de Laurent dada por:

X
f (z) = ci (z z0 )i (50)
i=

onde os coeficientes ci so dados por:

I
1 f (z)
ci = dz (51)
2j C (z z0 )i+1

7 Resduo
Um tipo muito comum de funes de variveis complexas que encontrado em sistemas dinmicos
lineares, envolve fues racionais do tipo:

N (z)
H(z) = (52)
D(z)
A funo H(z) analtica em todos os pontos, exceto quando D(z) = 0, quando seu plos carac-
terizam singularidade. Exemplo:

7
 z
f (z) = (53)
z1
pode ser representada por srie de Taylor em qualquer ponto diferente do plo em z = 1. J para
representar entre 0 < |z 1| < exige uma srie de Laurent. O resduo de uma funo analtica f (z)
em z0 , denotado por R(f, z0 ) o coeficiente c1 da expanso em srie de Laurent de f (z) em z = z0 .

8 Consideraes Finais
Esta nota apresentou de forma rpida alguns pontos que so necessrios para o estudo da trans-
formada de Laplace durante o curso de anlise de sistemas dinmicos lineares, entre eles a definio
de nmeros complexos, funes de variveis complexas, derivao e os conceitos de plos, zeros e
resduos.

Referncias
[1] J. C. Geromel and A. G. B. Palhares. Anlise Linear de Sistemas Dinmicos - Teoria, Ensaios
Prticos e Exerccios. Editora Edgar Blcher Ltda., 1.o edition, 2004.

[2] K. Ogata. Engenharia de Controle Moderno. Prentice Hall, 4.o edition, 2005.

[3] R. V. Churchill. Variveis Complexas e suas Aplicaes. Makron Books, 1.o edition, 1975.

[4] D. Mcmahon. Variveis Complexas Desmistificadas - Um guia para autoaprendizado. Cincia

Moderna, 1.o edition, 2009.