Académique Documents
Professionnel Documents
Culture Documents
Nmeros Complexos
1.1 Unidade Imaginria
O fato da equao
x2 + 1 = 0.
(1.1)
no ser satisfeita por nenhum nmero real levou denio dos nmeros complexos. Para
solucionar (1.1) denimos a unidade imaginria, denotada1 por i, como sendo o nmero
tal que
i2 = 1.
Obviamente este no um nmero real, uma vez que seu quadrado negativo.
z = x + iy.
(1.2)
Em (1.2) observamos que um nmero complexo composto de duas partes: dizemos que x
a parte real de z , e escrevemos Re(z) = x. Por outro lado, y a parte imaginria de z , e
escrevemos Im(z) = y .
eixo imaginrio
a z = a + bi
E
a
eixo real
Exemplo 1.2 O nmero complexo z = 3 + 2i pode ser escrito como z = (3, 2).
a z = a + bi
eixo real
da z = a bi
3 A cada nmero complexo est associado um nico ponto do plano, e a cada ponto do plano est associado
um nico nmero complexo. Lembre-se que em coordenadas polares tal associao no biunvoca, uma
vez que um dado ponto do plano possui innitas coordenadas polares.
z1
Diviso: a razo z2 obtida multiplicando-se o numerador e o denominador pelo
conjugado do denominador5 , isto
z1
z2
=
=
=
=
z1 z2
z2 z2
(x1 + iy1 )(x2 iy2 )
(x2 + iy2 )(x2 iy2 )
(x1 x2 + y1 y2 ) + i(x2 y1 x1 y2 )
2
x2 + y2
2
x2 y1 x1 y2
x1 x2 + y1 y2
+i
2
2 + y2
x2
x2 + y2
2
2
(1.3)
z1
z2
3+2i
4i
(3+2i)(4+i)
(4i)(4+i)
12+3i+8i+2i2
16i2
10
17
+ i 11
17
4 Ateno: para nmeros complexos no se dene relaes de ordem, ou seja, desigualdades do tipo z < z
1
2
ou z1 z2 no possuem qualquer signicado.
5 A prova deste resultado ser deixada a cargo do leitor.
1.6 Propriedades
Dados z1 , z2 e z3 , temos
comutatividade
(1.5)
(z1 + z2 ) + z3 = z1 + (z2 + z3 )
(1.6)
(1.4)
z1 z2 = z2 z1
associatividade
z1 + z2 = z2 + z1
(1.7)
z1 (z2 + z3 ) = z1 z2 + z1 z3
(1.8)
Estas leis seguem imediatamente das correspondentes leis para nmeros reais e das operaes
algbricas denidas anteriormente para os nmeros complexos.
(a) z1 + z2
(d) (2 4i)z1
(b) z1 z2
(e)
z2
z1
(h)
(c) z1 z2
2
(f) z1
(i)
z1
z2
z1
( z2 )2
1+i
(b) ( 1i )2
1+i
(c) ( 1i )2 ( 1i )2
1+i
(c) z 2 + 2z + 5 = 0
(b) z 2 2z + 2 = 0
(d) z 2 + z + 9 = 0
(z1
z2 )
z1
z2 .
(e)
(f)
(g)
(h)
i6
i7
i8
i9
(i)
(j)
(k)
(l)
4
i26
i31
i54
i87
(g) Im(4iz 2 6z +
8i)
1
(h) Re( zi )
z1
z2
(1.10)
x = rcos() e y = rsen(),
o nmero z = x + iy pode ser reescrito como
(1.12)
= arctg
y
, x = 0, y = 0.
x
(1.13)
eixo imaginrio
a z = x + iy = r [cos() + isen()]
.....
........
..
..
.
.
.
.
.
.
E
x
eixo real
T
b z1 = i, =
z4 = 7, =
b
z3 = 4, = 0
b
E eixo real
b z2 = 2i, =
2
y
, se x = 0 e y = 0
arctg x
, se x = 0 e y > 0
2
, se x = 0 e y < 0 .
(1.14)
=
2
0
, se y = 0 e x > 0
, se y = 0 e x < 0
2k + isen
+ 2k , k Z,
z = 1 + i = 2 cos
4
4
ou simplesmente
z = 1 + i = 2 cos
+ isen
.
4
4
6
Multiplicao e diviso
A forma polar particularmente til para a multiplicao e diviso dos nmeros complexos.
Consideremos os nmeros
e z2 = x2 + iy2 = r2 cos(2 ) + isen(2 ) .
r1 r2 cos(1 ) + isen(1 )
z1 z2
r1 r2
cos(2 ) + isen(2 )
z1 z2 = r1 r2 cos(1 + 2 ) + isen(1 + 2 )
(1.15)
A razo
z1 z 2
z2 z 2
=
=
ca
r1 r2
cos(1 ) + isen(1 ) cos(2 ) isen(2 )
2
r2
r1
cos(1 )cos(2 ) icos(1 )sen(2 ) + isen(1 )cos(2 ) + sen(1 )sen(2 )
r2
r1 r2
r1
z1
= [cos(1 2 ) + isen(1 2 )
z2
r2
(1.16)
A partir de (1.16), observamos que o mdulo da razo a razo dos mdulos, ou seja,
z1
|z1 |
|=
,
z2
|z2 |
arg(
z1
) = arg(z1 ) arg(z2 ).
z2
Potncias
Utilizando (1.15) e induo matemtica, observamos que
z n = rn [cos(n) + isen(n)],
(1.17)
r[cos() + isen()]
= rn [cos(n) + isen(n)]
(1.18)
(b) i
(c) 3 + 4i
(d) 5 + 5i
(e) 5 + 5i
(f) 5 5i
z1
z2 z3
(b)
8
z1
4
z2
(c)
z3
z1 +z3
(a) 1 + 3i
(c) 2 + i 5
(b) 9i
(d) 2 i 5
(e) 2 + 3i
(f) (4 + i)3
1+i
1+i
2+ 3i
(d)
(43i)( 1 +i)4
2
.
(1 3i )2 (3+4i)
4
(8) Represente no plano complexo a regio representada pelas seguintes equaes e inequaes
(a) |z| = 1.
(b) |z 1| = 1.
(c) Re(z 2 ) = 1.
(d) Im(2z) = 1.
(e)
arg(z)
4.
Captulo 2
Funes complexas
2.1 Problemas Propostos
(1) Dada f (z) = z 2 3z determine
(a) f (2 i)
(2) Dada f (z) =
(b) f (i)
(b) f (i)
z1
z+i
z 2 1
z 2 +1
(c) f (4 + 2i)
(b) f (i)
(c) f (4 + 2i)
determine
(a) f (2 i)
(3) Dada f (z) =
(c) f (4 + 2i)
determine
(a) f (2 i)
(d) f (z) =
(b) f (z) = 3z 2 2z
(e) f (z) =
(c) f (z) = z 3 z 2
(f) f (z) =
1
z1
z
z+1
z1
z+1
(5) Suponha que z varie em uma regio R do plano complexo. Determine a regio S correspondente s imagens de w = f (z). Esboce as duas regies sobre o plano complexo.
(a) f (z) = iz , onde R = z C | Re[z] 0
(b) f (z) = 3z 1, onde R = z C | 1 < Re[z] < 1
(c) f (z) = z 2 , onde R = z C | 0 arg[z] /4, |z| 1
(d) f (z) = z 2 , onde R = z C | 0 arg[z] /2, 1 |z| 2
(6) Determine todos os valores das razes a seguir e represente-as no plano complexo.
(a)
3
(b) 1
(c) i
(d)
(g)
25
3
(e) i
(f) 4 1
(h)
(i)
i
1
128
(j)
1+i
3
(k) 1 + i
(l)
1 3i
(7) Determine todos as solues das equaes a seguir e represente-as no plano complexo.
9
(a) z 4 + 81 = 0
(c) z 2 6z + 13 = 0
(e) z 6 7z 3 8 = 0
(b) z 3 64 = 0
(d) z 4 + 5z 2 36 = 0
f (z + z) f (z)
.
z0
z
(2.1)
f (z) = lim
Exemplo 2.1 Usando a denio (2.1) a derivada da funo complexa f (z) = z 2 ca
(z + z)2 z 2
z0
z
z 2 + 2zz + (z)2 z 2
= lim
z0
z
2zz + (z)2
= lim
= 2z
z0
z
Z(2z + z)
= lim
= 2z.
z0
z
f (z) = lim
importante observar que z pode tender a zero por qualquer caminho (Figura 2.1); logo
a existncia da derivada em (2.1) implica que o valor deste limite o mesmo, independente
do caminho tomado.
Im
y + y T
...................
.....
........
..
......
.....
...
..............r
.
....
........ ..... .
.
.
...... ... .
...
.
...
......
. .
.
.
... .........
... .
.
...
.. .....
.
.
...
.
... ....
.
.. ...
...
.
.
.
...
... ...
.
.. .
...
..
.. ...
...
..
.. ...
...
..
.. .....
.
...
..
...
...
.. ...
...
....
.. ...
....
...
.. .
......
.....
....
.
.
...
.......
......
...
...
.........
... ............
.....................................................
r
z + z = (x + x) + i(y + y)
z = x + iy
E
x
x + x
Re
f (z) =
x iy
(x + x) i(y + y) (x iy)
= lim
x,y0 x + iy
x,y0
x + iy
lim
x0
10
x
= 1.
x
(2.2)
f (z) = lim
Logo, como o limite por caminhos diferentes resulta em valores diferentes a derivada no
existe.
Im
y + y T
r z + z = (x + x) + i(y + y)
II
'
c
r'
z = x + iy
c
I
E
x
x + x
Re
Estabeleceremos agora um critrio simples para vericar se uma dada funo complexa
f (z) = u(x, y) + iv(x, y) analtica, isto , se possui derivada. Inicialmente supomos que
nossa funo f analtica em um certo domnio D, logo sua derivada
f (z) = lim
z0
f (z + z) f (z)
z
existe para todos os pontos em D. Reescrevendo esta derivada usando as partes real e
imaginria de f obtemos
f (z) =
lim
x,y0
(2.3)
Pelo caminho I da Figura 2.2 inicialmente y 0 e a derivada dada pela equao (2.3) ca
f (z) =
lim
x0
11
(2.4a)
Pelo caminho II da Figura 2.2 inicialmente x 0 e a derivada dada pela equao (2.3)
ca
f (z) =
=
=
(2.4b)
Pela hiptese de f ser analtica f existe e nica, independente do caminho tomado, logo
os resultados dados pelas equaes (2.4a) e (2.4b) so iguais. Igualando as partes real e
imaginria de (2.4a) e (2.4b) obtemos
v
u
=
x
y
v
u
=
x
y
vx = uy
ux = vy
(2.5)
Teorema 2 Para todos os pontos onde as funes reais u = u(x, y) e v = v(x, y) possuem
ux = 2x
vx = 2y
vy = 2x,
uy = 2y.
Uma vez que as derivadas parcias ux , vy , vx e uy so contnuas para todo ponto (x, y) R2
e tambm satisfazem as equaes de Cauchy-Riemann, ux = vy e vx = uy , a funo
f (z) = z 2 analtica para todo z C.
vy = 1.
Uma vez que ux = vy todo ponto (x, y) R2 a funo f (z) = z no analtica para todo
z C.
u
u x u y
u
u
=
+
=
r sen() +
r cos()
x
y
x
y
12
(2.6a)
v
v x v y
v
v
=
+
=
r sen() +
r cos()
x
y
x
y
(2.6b)
u
u x u y
u
u
=
+
=
cos() +
sen()
r
x r
y r
x
y
(2.6c)
v
v x v y
v
v
=
+
=
cos() +
sen()
r
x r
y r
x
y
(2.6d)
v
u
+r
u
u
v
v
r sen() +
r cos() +
r cos() +
r sen()
x
y
x
y
u v
u v
= r sen()
+
+ r cos()
+
= 0,
x y
y
x
=
pois ux = vy e vx = uy . Logo
1 u
v
=
r
r
1
vr = u .
r
(2.6e)
v
u
r
v
v
u
u
r sen() +
r cos()
r cos()
r sen()
x
y
x
y
v
u
v
u
= r sen()
+ r cos()
= 0,
x y
y x
=
pois ux = vy e vx = uy . Logo
u
1 v
=
r
r
ur =
1
v .
r
(2.6f)
e
e
v = 6r6 cos(6),
vr = 6r5 sen(6).
Uma vez que as derivadas parcias ur , v , u e vr so contnuas para todo ponto (r, ) R2
e tambm satisfazem as equaes de Cauchy-Riemann, ur = 1 v e vr = 1 u , a funo
r
r
f (z) = z 6 analtica para todo z C.
u=
u, como
2u 2u
+ 2 = uxx + uyy .
x2
y
(2.7)
Teorema 4 As partes real e imaginria de uma funo complexa f (z) = u(x, y) + iv(x, y)
analtica em um domnio D tm laplaciano nulo em D, isto , se f analtica, ento
2
u = uxx + uyy = 0
e
13
v = vxx + vyy = 0 .
ux = vy
uxx = vyx ,
uy = vx
logo
uyy = vxy ,
u = 0.
Observe que pelo Teorema 4 as partes real e imaginria de uma funo complexa f (z) =
u(x, y) + iv(x, y) analtica so funes harmnicas. Neste caso dizemos que v = v(x, y) a
funo harmnica conjugada1 de u = u(x, y).
Dada uma funo harmnica podemos encontrar sua conjugada utilizando as equaes
de Cauchy-Riemann. o Exemplo 2.6 ilustra este processo.
uxx = 2
logo
Assim, como
2
2
uy = 2y
uyy = 2
u = uxx + uyy = 2 2 = 0.
2x y = 2xy + H(x).
H (x) = 0
H(x) = c.
(d) f (z) = z 2 z + 3i
(e) f (z) =
1
1z
(f) f (z) =
z 2 1
z 2 +1
1 O termo conjugada empregado aqui no tem nhenhuma relao com o conjugado de um nmero complexo
14
(c) f (z) =
1
1z ,
zo = 1
(d) f (z) =
z1
z+1 ,
zo = 2 4i
(3) Para cada funo a seguir calcule a derivada usando (2.4a) e tambm usando (2.4b).
Verique se os resultados coincidem.
(a) f (z) = 3z + 2i
(b) f (z) = z +
1
z
(c) f (z) = z 3 32 + z
(d) f (z) =
(e) f (z) =
1
1z
z+1
z1
1
1z ,
z=1
(c) f (z) = z + z
(5) Determine uma funo analtica f (z) = u(x, y) + iv(x, y) para a qual
(a) u(x, y) = x
(c) v(x, y) = xy
(b) v(x, y) = y
(d) u(x, y) = xy
(6) Mostre que cada funo a seguir harmnica e determine a funo analtica f (z) =
u(x, y) + iv(x, y) correspondente
(a) v(x, y) = 2xy + 2y
(b) u(x, y) = ln(x2 + y 2 )
(7) Mostre que as funes so analticas (sugesto: use a forma polar das Equaes de
Cauchy-Riemann)
(a) f (z) = z 4
(b) f (z) =
1
z4 ,
z=0
(8) Para quais valores da constante k a funo u(x, y) = sen(x)cos(ky) harmnica? Para
cada um destes valores determine uma funo complexa analtica tal que
15
Captulo 3
(c) z = i 3
4
i
4
(d) z =
(e) z = i
3
i
3
(f) z =
(g) z = 1 + i
2+i
4
(h) z = 2 + i5
(b) f (z) = ez
(c) f (z) = ez
(d) f (z) = ee
(c) z =
(b) z = i
(d) z =
(e) z = 1 + i
(f) z = 1 i
(g) z = 2 + i 3
(h) z = 2 + i 2
x2 y 2
2
cos(xy)
x2 y 2
2
16