Matemtica IV

Nmeros Complejos
Sea
( , ) z x y
Re z x
Imz y
Forma binmica
z x iy +
donde
2
1 i
z x iy
(conjugado de
z
)
Forma trigonomtrica
(cos sen) z i +
donde z zz (mdulo de
z
)
Forma exponencial
i
z e


Argumento de un nmero complejo
arg 2 z k +
Arg z
(argumento principal)
[ ]
Arg 0; 2 z
Frmula de Euler
cos sen
i
e i

+
Frmula de De Moivre
(cos sen )
n n
z n i n +
Igualdad de nmeros complejos
1 2 1 2
1 2
1 2 1 2
Re Re
Im Im 2
z z
z z
z z k k




' '


Z
Races n-simas
2
1,2,...,

_
+

,

k
i
n n n
n
z e k n

Funciones de Variable Compleja
Lmites
: / ( ) f A w f z C C/
0
0 0 0
lim ( ) () /0 ( )
z z
f z L z z f z L
> >

<<<
0
0 0 0
lim ( ) ( ) /0 ( )>
z z
f z M M z z f z M
> >

<<
0 0
lim ( ) () / ( )
z
f z L m z m f z L
> >

><
Si es
( ) ( , ) ( , ) ( , ) f z f x y u x y iv x y +
y
L i +
,
0 0
0 0 0
0 0
( , ) ( , )
( , ) ( , )
( , ) ( , )
lim ( , )
lim ( ) lim ( , ) ( , )
lim ( , )
x y x y
z z x y x y
x y x y
u x y
f z L f x y
v x y

'

Derivadas
0
( ) ( )
'( ) lim
z
f z z f z df
f z
z dz

0
0
0 0
0
( ) ( )
'( ) lim ( )
z z
f z f z df
f z z
z z dz

f
es holomorfa en
0
z f
es derivable en
0
z
y en un entorno de
0
z
Condiciones de Cauchy-Riemann
Sea
: / f A f u iv + C C/
Si
1
, u v C en
0 0 0
z x iy +
, (de no ser as la condicin es slo necesaria)
0
'( ) f z
existe
u v
x y
u v
y x

'

en
0
z
y
0 0 0 0 0 0 0 0 0
'( ) ( , ) ( , ) ( , ) ( , )
u v u v
f z x y i x y x y i x y
x x y y

+

En coordenadas polares, si
( , ) ( , ) ( , ) f u iv +
,
0
'( ) f z
existe
1 u v
u v

'

en
0
z
Funciones Armnicas
2 2
: / ( , ) u A u u x y R R /
u
es armnica
2 2
2
2 2
div( ) 0
u u
u u
x y

+

, u v
son conjugadas armnicas
2 2
0 0
u v
x y
u v
u v
y x

'

Si
f u iv +
es tal que
, u v
son conjugadas armnicas
f
es
holomorfa
( , ) . u v C A f u iv H +
Funciones usuales con
z x iy +
2 2 2
2 z x y ixy +
2 2 2 2
1 x y
i
z x y x y

+ +
cos sen
z x x
e e y ie y +
cos cos ch sen sh
2
iz iz
e e
z x y i x y

+

sen sen ch cos sh
2
iz iz
e e
z x y i x y
i

+
ch ch cos sh sen
2
z z
e e
z x y i x y

+
+
sh sh cos ch sen
2
z z
e e
z x y i x y

+
log ln ( 2) z i k + +
Log ln z i +
(logaritmo principal)
Integrales
Sea [ ]
: , / ( ) ( ) ( ) z a b z t x t iy t + C/
la parametrizacin compleja de la
curva

.
: / f A f u iv + C C/
[ ] ( ) ( ) '( )
b
a
f z dz f z t z t dt

Re ( ) f z dz

1
1
]

da la circulacin de
( , ) u v
a travs de

Im ( ) f z dz

1
1
]

da el flujo de
( , ) u v
a travs de

Si
( ) F z
es una primitiva de
( ) f z
, y

une los puntos

1
z
y
2
z
2
1
2 1
( ) ( ) ( ) ( )
z
z
f z dz f z dz F z F z

Toda funcin holomorfa en un conjunto simplemente conexo tiene
primitiva.
Teorema de Cauchy
Sea
: / / f A f H A C C/
es simplemente conexo.
( ) 0 f z dz

cerrada.
Para regiones ms generales, si
1
FR( ) A
y la regin es de orden de
conexin
n
,
1
2
( ) ( )
k
n
k
f z dz f z dz

i i
Frmula de la integral de Cauchy
Sea
: / f A f H C C/
,

limita una regin simplemente conexa U y

0
z U
0
0
1 ( )
( )
2
f z
f z dz
i z z

i
Frmula de las derivadas de Cauchy
( )
0 1
0
! ( )
( )
2 ( )
n
n
n f z
f z dz
i z z

i
Acotacin de integrales
( ) ( )
( )
f z dz f z dz
f z dz ML

L longitud de la curva

,
sup ( )
z
M f z

Series de Potencias
Teorema de Taylor
Sea
: / f A A C C
abierto,
0
z A
Si
f
es holomorfa en un disco
0
z z R <
,
f
admite el desarrollo en
serie de Taylor en el campo de convergencia { }
0
/ C z A z z R <
( R
radio de convergencia).
0
0
( ) ( )
n
n
n
f z a z z

, donde
1
0
1 ( )
2 ( )
n n
f z
a dz
i z z

i
para
int C
( )
0
0
0
( )
( ) ( )
!
n
n
n
f z
f z z z
n

Si
f
admite un desarrollo en serie de potencias en un entorno de
0
z
,
f
es analtica.
Toda funcin holomorfa es analtica.
Desarrollos en Serie de Taylor usuales en
0
0 z
0
1
1
n
n
z
z

1 z <
0
!
n
z
n
z
e
n

z
2 1
0
sen ( 1)
(2 1)!
n
n
n
z
z
n
+

z
2
0
cos ( 1)
(2 )!
n
n
n
z
z
n

z
Teorema de Laurent
Sea
: / f A A C C
abierto,
0
z A
Si
f
es holomorfa en una corona circular
0
r z z R < <
,
f
admite el
desarrollo en serie de Laurent en el campo de convergencia
{ }
0
/ C z A r z z R < <
0
( ) ( )
n
n
n
f z a z z
+

, donde
1
0
1 ( )
2 ( )
n n
f z
a dz
i z z

i
para
int C
Residuos
Singularidades
0
z
es punto singular (PS) de
( ) f z
si
( ) f z H
en
0
z
.
Si
( ) f z H
en
0
( ) V z
,
0
z
es punto singular aislado (PSA)
Singularidad Evitable
0
z
PSA de
( ) f z
es punto de singularidad evitable (PSEv) si el
desarrollo en serie de potencias
( ) f z
vlido en
0
( ) V z
no tiene potencias
de exponente negativo.
0
z
es PSEv de
( ) f z
0
lim ( )

z z
f z L
Singularidad Polar (Polo)
0
z
PSA de
( ) f z
es polo de orden
n
si el mximo exponente negativo
del desarrollo en serie de potencias
( ) f z
vlido en
0
( ) V z
es
n
.
0
z
es polo de
( ) f z
0
lim ( )

z z
f z
0
z
es polo de orden
n
de
( ) f z
0
0
lim( ) ( )

n
z z
z z f z L
, 0 L , L
0
z
es polo de orden
n
de
( ) f z
0
( )
( )
( )

n
z
f z
z z
con
( ) z
en
0
z H
y
0
( ) 0 z
Singularidad Esencial
0
z
PSA de
( ) f z
es punto de singularidad esencial (PSEs) si el
desarrollo en serie de potencias
( ) f z
vlido en
0
( ) V z
tiene infinitos
trminos de potencias negativas.
0
z
es PSEv de
( ) f z
0
lim ( )

z z
f z
Residuo de una funcin
Si
2 2 1
0 0 1 0 2 0 2
0 0
( ) ( ) ... ( ) ( ) ...
( )
+

+ + + + + +

n
n
n
a a
f z a z z a a z z a z z
z z z z
es el desarrollo en Serie de Laurent vlido en
0
( ) V z
,
[ ]
0 1
Res ( ),

f z z a
(Coeficiente de
0
1
z z
)
Residuos y singularidades
Si
0
z
es PSEv de
( ) f z
[ ]
0
Res ( ), 0 f z z
Si
0
z
es polo simple de
( ) f z
,
[ ]
0
0 0
Res ( ), lim( ) ( )

z z
f z z z z f z
Si
0
z
es polo doble de
( ) f z
,
[ ]
0
2
0 0
Res ( ), lim ( ) ( )

1
]
z z
d
f z z z z f z
dz
Si
0
z
es polo de orden
n
de
( ) f z
[ ]
0
1
0 0 1
1
Res ( ), lim ( ) ( )
( 1)!

1
]

n
n
n
z z
d
f z z z z f z
n dz
Teorema de los residuos
Sea

una curva cerrada, simple, con

( ) f z H
en
int
, salvo en los
0 1
, ,...,
n
z z z
, PSA de
( ) f z
, donde

k
z
, k
[ ]
0
( ) 2 Res ( ),

i
n
k
k
f z dz i f z z
Residuo en infinito
{ }
( ) / > V z z R C/
donde R es la distancia hasta la ltima
singularidad de la funcin.
Las singularidades de
( ) f z
en

vienen dadas por las singularidades

de
1
_

,
f
w
en 0 .
El desarrollo en Serie de Laurent vlido en
( ) V
es de la forma
2 2 1
0 1 2 2
( ) ( ) ... ...
+

+ + + + + +

n
n
n
a a
f z a z f z a a z a z
z z
[ ]
1
Res ( ),

f z a
[ ]
2
1 1
Res ( ), Res ,0
1 _

1
, ]
f z f
w w
Sea

una curva cerrada, simple, con

( ) f z H
en
int
, salvo en los
0 1
, ,...,
n
z z z
, PSA de
( ) f z
, donde

k
z
, k
[ ] ( ) 2 Res ( ),

i
f z dz i f z
[ ] [ ]
0
Res ( ), Res ( ), 0

n
k
k
f z z f z