1

FACULTAD DE CIENCIAS

Departamento de Fsica

MTODOS MATEMTICOS DE LA FSICA
(106026 M)

ALGUNAS PROPIEDADES DE LAS FUNCIONES DE VARIABLE COMPLEJA

Un nmero complejo tiene la forma

Z = x + iy = re
i
(1)

donde x, y, r y son reales, i
2
= -1 y e
i
= cos + i sen . x e y son las partes real (Re z)
e imaginaria (Im z), respectivamente de z, r = |z| es la magnitud y es la fase o
argumento de z. Tal nmero puede ser representado por un punto en el plano complejo z,
o en el plano xy, como se muestra en la fig. 1. El conjugado complejo de z se denota por
z* y es igual a z*= x iy.


Figura 1 Un punto en el plano complejo z

Una funcin W(z) de variable compleja z es en s misma un nmero complejo cuyas
partes reales e imaginarias U y V dependen de la posicin de z en el plano complejo:

W(z)=U(x,y) + iV(x,y) (2)

Con frecuencia se utilizan dos representaciones grficas de la funcin W(z). Una de ellas
es simplemente graficar las partes real e imaginaria U(x,y) y V(x,y) como superficies
encima del plano (x,y). La otra es representar el numero complejo W(z) por un punto en
el plano complejo W o el plano UV, tal que cada punto en el plano complejo
corresponde a uno (o mas) puntos en el plano W. En esta forma, la funcin W(z) produce
un mapeo del plano xy en el plano UV .

Ejemplo: W(z) = z
2
= (x + iy)
2
= x
2
-y
2
+ 2ixy
U(x,y) = x
2
-y
2
; V(x,y)= 2xy (3)

Alternativamente,

2
W = z
2
= r
2
e
i


El mapeo de un nmero de puntos de dos curvas del plano z en el plano W se muestran
en la Fig. 2. Por ejemplo, la lnea x = 1 del plano xy, llega a ser la parbola 4U = 4 V
2

en el plano-UV.


Figura 2 Ilustracin de algunos puntos y curvas del mapeo producido por la funcin W(z)= z2. Los
puntos a, b, ... en el plano-z son mapeados en a', b', ... en el plano-W

FUNCIONES ANALTICAS

En esta seccin revisaremos algunas propiedades de las funciones analticas de una
variable compleja que necesitaremos en este curso. Para una teora matemtica general,
vea los numerosos libros sobre este tpico; por ejemplo: T. M. Apstol: Anlisis
Matemtico, Addison Wesley, reading, Massachusetts (1964).

1. Una funcin es analtica en un punto z si tiene derivada en ese punto; esto es, si
el lmite

z
z f z z f
dz
df
z

+
=

) ( ) (
lim
0
(4)

existe y es independiente de la trayectoria a lo largo de la cual y i x z + = tiende a
cero. Si una funcin es tanto analtica como univaluada en una regin R del plano z, se
dice que es regular en R.

2. Si W(z)=U(x,y) + iV(x,y), es una funcin analtica y y i x z + = entonces dos
trayectorias para 0 z son a lo largo de las direcciones horizontal y vertical,
para las cuales y=0 y x=0, respectivamente. Los limites (4) obtenidos para
estas trayectorias deben ser iguales:

[ ]
[ ]
y i
y x V y y x V i y x U y y x U
x
y x V y x x V i y x U y x x U
y
x

+ + +
=

+ + +


) , ( ) , ( ) , ( ) , (
lim
) , ( ) , ( ) , ( ) , (
lim
0
0

o sea que
3
|
.
|

\
|

z
W
y
V
y
U
i x
V
i
x
U 1
(5)

Igualando las partes real e imaginaria de esta ecuacin da las condiciones de Cauchy-
Riemann:

y
U
x
V
y
V
x
U

; (6)

Puede demostrarse que estas condiciones son necesarias y suficientes para que la
funcin W = U + iV sea regular en una regin, siempre y cuando las cuatro derivadas
parciales de (6) existan y sean continuas en esa regin.

Ejemplo:
y
U
y
x
V
y
V
x
x
U
xy V y x U z W

= =

= =

= = =
2 ; 2
2 ;
2 2 2


Sin embargo, la ecuacin W = x + 2iy no es analtica.

3. INTEGRACIN

La integral

=
2
1
) (
z
z
dz z f I (7)

Es una integral de lnea que depende en general de la trayectoria seguida de z
1
a z
2
(Fig.
3)

Figura 3

Sin embargo, la integral ser la misma para dos trayectorias si f(z) es regular en la
regin encerrada por las trayectorias. Esta propiedad es equivalente al teorema de
Cauchy:

=
C
dz z f 0 ) ( (8)

Separando f(z) y z en sus partes reales e imaginarias, podemos tambin escribir la
ecuacin (7) como
4

[ ] [ ]

+ + =
) , (
) , (
) , (
) , (
2 2
1 1
2 2
1 1
) , ( ) , ( ) , ( ) , (
y x
y x
y x
y x
dy y x U dx y x V i dy y x V dx y x U I (9)

La integral I (Ec. 9) puede, a su vez, reducirse a una integral ordinaria con respecto al
parmetro t si la ecuacin de la curva que une los puntos z
1
y z
2
esta parametrizada en t,
o sea

[ ] [ ] [ ] [ ] dt
dt
dy
t y t x U
dt
dx
t y t x V i dt
dt
dy
t y t x V
dt
dx
t y t x U I
t
t
)
`

+ +
)
`

) ( ), ( ) ( ), ( ) ( ), ( ) ( ), (
2
1


Adems, puesto que

dt
dz
dt
dy
i
dt
dx
= +
tenemos

[ ] [ ]

= + =
2
1
2
1
) (
t
t
t
t
dt
dt
dz
t z f dt
dt
dz
iV U I (10)

Si en una regin R del plano complejo C que incluye la curva c, la funcin f(z) puede
expresarse como la derivada de otra funcin F(z) [llamada la funcin primitiva de f(z)],
o sea si
dz
z dF
z f
) (
) ( =

entonces, para z situada en el contorno c, se tiene

[ ]
dt
t z dF
dt
dz
dz
dF
dt
dz
z f
) (
) ( = =

y, por consiguiente,

[ ]

= =
C
t
t
t F t F
dt
t z dF
dz z f
2
1
) ( ) (
) (
) (
1 2


el cual es llamado el teorema fundamental del clculo integral.



ALGUNAS DEFINICIONES

Hasta ahora hemos asumido que una funcin f(z) de una variable compleja z es definida
de tal forma que a cada elemento z de un conjunto de nmeros complejos se le asocia un
solo numero f(z). Una generalizacin inmediata consiste en permitir mas de un numero
[f
1
(z), f
2
(z), f
n
(z)] asociados a cada z. Por lo tanto, uno puede distinguir entre
5
funciones univaluadas y multivaluadas. Discutiremos funciones multivaluadas en una
seccin posterior.
Al menos que se diga lo contrario, supondremos a lo largo de esta seccin que todas las
funciones consideradas son univaluadas.
Diremos que una funcin es analtica en un punto dado del plano complejo si existe una
vecindad a ese punto donde la funcin es univaluada y diferenciable (en todos los
puntos de esa vecindad). Si una funcin es analtica en todos los puntos de una regin R
del plano complejo, se dice que la funcin es analtica en R el cual es llamado el
dominio de analicitidad de la funcin. Si el dominio de analiticidad de una funcin f(z)
es todo el plano complejo, se dice que la funcin es entera.
Un punto donde una funcin es analtica se llama un punto regular de la funcin. Si la
funcin no es analtica en algn punto se llama un punto singular de la funcin. Puede
suceder que una funcin sea analtica en el entorno de un punto singular. Tal es el caso
de la funcin
z
x f
1
) ( = que es diferenciable para toda z excepto en z=0, puesto que en
ese punto su derivada es infinita. Un punto singular de este tipo es llamado un punto
singular aislado de la funcin.


TEOREMA DE CAUCHY

Hay una clasificacin muy simple e importante de las regiones del plano complejo:
regin simplemente conectada, segn que la regin consista de un dominio entero
contenida en una curva cerrada (ver fig. 4a) o de un dominio en el que se ha excluido un
numero de huecos (ver fig. 4b) respectivamente.


Figura 4 a) Los puntos interiores del rea sombreada forman una regin simplemente conectada; b)
los puntos interiores del rea sombreada forman una regin mltiplemente conectada.

Una regin se dice que es simplemente conectada si es tal que todas las trayectorias
cerradas dentro de ella contienen puntos que solamente pertenecen a esa regin (no
huecos). De otra forma, la regin es llamada mltiplemente conectada.
Vimos anteriormente que si el contorno de integracin C en

c
dz z f ) ( cae en una regin
donde la funcin f(z) posee una funcin primitiva F(z), entonces el valor de
6

=
b a
c
a F b F dz z f ) ( ) ( ) ( ; por consiguiente, es independiente de la escogencia de la
curva C de integracin que une los puntos a y b en el plano complejo.
En general, sin embargo, una funcin arbitraria de variable compleja no tendr una
funcin primitiva univaluada, y el resultado de la integracin a lo largo de una curva C
depender con seguridad de la trayectoria que une los dos puntos a y b. Esto es similar
al caso de una funcin general de dos variables reales. Por otra parte, las funciones
analticas tienen una propiedad muy singular: Veremos que dentro de una regin
simplemente conectada esas funciones poseen siempre una funcin primitiva univaluada,
tal que el resultado de integracin es independiente de la escogencia de la trayectoria.
Esta propiedad esta contenida en el famoso teorema de Cauchy para la integral de
contorno, el cual juega un papel muy importante en la teora de las funciones analticas:

TEOREMA: Sea C una curva continua cerrada en el plano complejo y f(z) una funcin
analtica sobre C y dentro de la regin encerrada por C, entonces:

=
c
dz z f 0 ) ( (12)
Debido a la analoga de las funciones f(z), donde z = x + iy con las funciones ordinarias
de dos variables reales:

F(z) = U(x,y) + iV(x,y)

haremos uso del teorema de Green (que es el teorema de Stokes cuando la superficie
encerrada por C es plana), el cual dice que si P(x,y) y Q(x,y) y sus derivadas parciales
son continuas en una regin simplemente conectada R, entonces
( )
|
|
.
|

\
|

= +
C
C de
dentro area
dxdy
y
P
x
Q
Qdy Pdx
_
_
(13)
lo cual, aplicado a la integral de contorno


+ + = + +
C C C C
udy vdx i vdy udx idy dx iv u dz z f ) ( ) ( ) )( ( ) (

podemos escribir:

|
|
.
|

\
|

=
C
C de
dentro area
dxdy
y
u
x
v
vdy udx
_
_
) ( (14)
|
|
.
|

\
|

= +
C
C de
dentro area
dxdy
y
u
x
v
udy vdx
_
_
) ( (15)

Puesto que f(z) es analtica en C, entonces u(x,y) y v(x,y), as como sus derivadas
parciales son continuas, y por las condiciones de Cauchy-Riemann (Ecs. 6), los
integrandos a la derecha de las ecuaciones (13) y (14) son idnticamente cero en cada
7
punto del rea de integracin y por consiguiente, las integrales son cero, demostrndose
as el teorema.
Es importante resaltar que ltimamente el matemtico Goursat ha demostrado que la
condicin de que la derivada de f(z) sea continua dentro de C no es necesaria para que
se cumpla el teorema (ver, por ejemplo, el texto: Mathematics for Physicits, P. Dennery
& A. Krzywicki, Harper and Row (1967)).

REPRESENTACION INTEGRAL DE CAUCHY PARA UNA FUNCION
ANALITICA

Del teorema de Cauchy es posible derivar una formula integral que es muy importante
para desarrollos futuros de la teora de funciones analticas as como en una gran
variedad de aplicaciones a problemas de la fsica. Esta formula est contenida en el
siguiente teorema:

Sea f(z) una funcin analtica en toda una regin R simplemente conectada. Si C es una
curva cerrada contenida enteramente en R, y z es un punto que no esta sobre c entonces

C a exterior es z si
C a erior es z si z f
z z
z f
i
C
_ _ _ _ _ _ 0
_ _ int _ _ _ ) (
) (
2
1

donde la integracin sobre C es tomada en sentido contrario a las manecillas del reloj.

Prueba: Sea z un punto fijo dentro de la curva C simplemente conectada (ver fig. 5) y
considere la funcin
z z
z f
z

=
) (
) ( , donde f(z) es analtica sobre y dentro de C.
Sea un pequeo circulo dentro de C con centro en z y de radio . Sea C la curva
formada por C (contrario manecillas del reloj) y (en el sentido de las manecillas del
reloj) y un corte AB que va de un punto A sobre C a un punto B sobre . El corte AB se
muestra separado para visualizarlo mejor, pero en realidad coinciden.


Figura 5

Integramos a lo largo de la trayectoria indicada quedando encerradas la superficie entre
la curva cerrada C y el circulo .
En esta superficie
z z
z f
z

=
) (
) ( es analtica, por lo tanto
8



+ = =
C C
dz z dz z z d z ' ) ' ( ' ) ' ( 0 ) ( (16)

Por lo tanto



= ' ) ' ( ' ) ' ( dz z dz z
C
(17)

(recorriendo en sentido contrario a las manecillas del reloj) cuando z esta sobre ,
podemos expresar

z= z + e
i
dz=pi e
i
d



=

2 _ _ 0
2
0
) ' (
'
'
) ' (
' ) ' (
a
i
e
z f
dz
z z
z f
dz z pi e
i
d

y haciendo 0, encontramos


= =

2
0
0
) ( 2 ) ( ' ) ' ( lim z if d z if dz z

Por lo tanto, de la Ec. (17), obtenemos finalmente



= =

C C
dz
z z
z f
i
z f z if dz
z z
z f
'
) ' (
2
1
) ( ) ( 2 '
'
) ' (

(18)

demostrandose asi el teorema para z dentro de C. Naturalmente, si z es exterior a C, la
integral

' ) ' ( dz z es idnticamente cero porque

z z
z f
z

=
'
) ' (
) ( es analitica en todo punto
dentro de C segn el teorema de Cauchy.

Una manera til de mirar el anterior resultado es de que los valores de f(z) en cualquier
punto de una region simplemente conectada depende de sus valores en otros puntos en
un contorno C contenido en una regin mediante la ecuacin integral expresada por (18).
Esta representacin de una funcion analitica es el primer encuentro con las llamadas
representaciones integrales de una funcion

=
C
dz z g z z K z f ' ) ( ) , ' ( ) ( (19)

donde el argumento z juega el papel de un parmetro en el integrando K(z,z) el cual el
llamado el KERNEL de la representacin integral.


LAS DERIVADAS DE LA FUNCION ANALITICA

9
La formula de Cauchy (18) para una funcion analitica f(z) en una region R del plano
complejo puede diferenciarse cualquier numero de veces para obtener

) 20 ( '
) ' (
) ' (
2
!
) 20 ( '
) ' (
) ' (
2
1 . 2
) 20 ( '
) ' (
) ' (
2
1
) 18 ( '
'
) ' (
2
1
) (
1
3 2
2
2
c dz
z z
z f
i
n
dz
f d
b dz
z z
z f
i dz
f d
a dz
z z
z f
i dz
df
dz
z z
z f
i
z f
C
n n
n
C
C
C

EXPANSION DE UNA FUNCION ANALITICA EN SERIES DE TAYLOR

Una expansin en series (series de Taylor) es posible alrededor de cualquier punto z
0

dentro de una regin donde f(z) es analtica:

f(z)=a
0
+ a
1
(z-z
0
) + a
2
(z-z
0
)
2
++ a
j
(z-z
0
)
j
+=

0
0
) (
n
n
n
z z a (21)

donde
'
) ' (
) ' (
. 2
1
!
1
1
0
dz
z z
z f
i dz
f d
n
a
n
z z
n
n
n

+
=

= =

(22)

la regin en el plano complejo donde la serie converge en un circulo . Este crculo de
convergencia se extiende hasta la mas prxima singularidad de f(z), esto es, al punto
mas cercano donde f(z) no es analtica.

PRUEBA: Puesto que f(z) es analitica, la podemos representar por (18) donde es el
circulo de analiticidad de la funcin.

Ahora:
n
n
z z
z z
z z
z z
z z z z z z z z z z

=
|
|
.
|

\
|

=
|
|
.
|

\
|

=

=

0 0
0
0
0
0 0 0 0
' '
1
'
1
1
.
) ' (
1
) ( ) ' (
1
'
1
(22 a)
la expansin de
z 1
1
se justifica porque 1
'
0
0
<

z z
z z
z . Por consiguiente

=

+

=
C
n
n
dz
z z
z f
z z
i
dz
z z
z f
i
z f
0
1 0
'
) ' (
) ' (
) (
. 2
1
'
'
) ' (
. 2
1
) (



quedando demostrado la Ec. (22).

EXPANSION EN SERIES DE LAURENT

10
Si f(z) es analtica en una regin anular entre dos crculos concntricos en z
0
, entonces
f(z) puede representarse dentro de esta regin por una expansin de Laurent:

=
=
n
n
n
z z d z F ) ( ) (
0
(23)

Donde los coeficientes d
n
son

= '
) ' (
) ' (
. 2
1
1
dz
z z
z f
i
d
n n

(24)

es cualquier curva cerrada que encierra z
0
en sentido contrario a las manecillas del
reloj y dentro de la regin anular. Ntese que la suma de la ecuacin (23), en
contraposicin a la expansin de Taylor (21), se extiende de hasta + .

PRUEBA: Trazamos un circulo centrado en z y contenido enteramente dentro de la
regin anular de analiticidad de la funcin f(z) (ver fig. 6). Considere la curva cerrada
C mostrada en la fig. 6:
+ + + =

1
2 '
r
r
C cortes de
2
a y de a
1


Figura 6

De acuerdo con el teorema de Cauchy, puesto que f(z) es analtica dentro de la regin
encerrada por C:

C
dz
z z
z f
0 '
'
) ' (
(25)

Sin embargo, los segmentos paralelos (cortes) de la trayectoria que unen la
circunferencia
2
con y con
1
en realidad se superponen al entrar y salir de
1
y por
consiguiente las integrales de lnea a lo largo de estos segmentos se anulan entre si,
quedando

0 '
'
) ' (
'
'
) ' (
'
'
) ' (
1 2
=

dz
z z
z f
dz
z z
z f
dz
z z
z f

o

11
'
'
) ' (
'
'
) ' (
'
'
) ' (
1 2
dz
z z
z f
dz
z z
z f
dz
z z
z f

(26)

La primera integral del lado derecho de (26), por ser z interior a
2
puede usarse el
resultado (22 a), se obtiene,

'
) ' (
) ' (
) ( '
'
) ' (
2 2
1
0 0
0
dz
z z
z f
z z dz
z z
z f
n
n
n

(27)

La expansin de la segunda integral del lado derecho de (26) se hace en forma similar,
mediante el cambio

n
n
z z
z z
z z
z z
z z z z z z z z z z

=
|
|
.
|

\
|

=
|
|
.
|

\
|

=

=

0 0
0
0
0
0 0 0 0
' 1
'
1
1
) (
1
) ' ( ) (
1
'
1


ya que 1
'
0
0
<

z z
z z
. Por consiguiente,

1 1 1
0 1
1
0
0
0 1
0
' ) ' ( ) ' (
) (
1
' ) ' ( ) ' (
) (
1
'
'
) ' (
n n
n
n
n
n
dz z f z z
z z
dz z f z z
z z
dz
z z
z f
(28)

Adems, el lado izquierdo de la Ec. (26) es simplemente la representacin integral de
Cauchy de la funcin f(z), o sea

) ( . . 2 '
'
) ' (
z f i dz
z z
z f

(29)

segn (18). Por lo tanto, usando (27), (28) y (29) en (26) se obtiene finalmente

=

= '
) ' (
) ' (
) (
. 2
1
) (
1
0
0
dz
z z
z f
z z
i
z f
n
n
n

(30)

donde es cualquier curva cerrada (circulo) dentro de la regin anular donde f(z) es
analtica.

La suma en la Ec. (30) converge uniformemente a f(z) para

2 0 1
< < z z
Donde
1
y
2
denotan, respectivamente, los radios de los crculos
1
y
2
, puesto que
esta es la condicin para la convergencia simultnea de las expansiones (27) y (28).
Nuevamente la regin anular en la cual la serie converge puede extenderse hasta el
primer punto singular de la funcin f(z).

CEROS Y PUNTOS SINGULARES AISLADOS DE FUNCIONES ANALITICAS

12
Si una funcin f(z) se anula en un punto z=z
0
, este punto es llamado un cero de f(z). Se
dice que una funcin tiene un cero de orden n en z=z
0
si

0 ... ; 0 ) (
0
0
1
1
2
2
0
0
= = = = =
=

=
=
z z
n
n
z z
z
dz
f d
dz
f d
dz
df
z f (30)

pero

0
0

=z z
n
n
dz
f d
(31)

Esto es, los primeros n-1 coeficientes de la expresin de Taylor de f(z) alrededor de z=z
0
son ceros, tal que

f(z) ... ) ( ) (
1
0 1 0
+ + =
+
+
n
n
n
n
z z a z z a

=
+
=
0
0 0
) ( ) (
k
k
k n
n
z z a z z
) ( ) (
0
z h z z
n
= (32)

donde h(z) es analtica en z=z
0
y no se anula en ese punto. Es claro que para que h(z)
sea continua, debe diferir tambin de cero en alguna vecindad finita alrededor de z=z
0
.
Esta propiedad de continuidad implica que los ceros de la funcin analtica son aislados.

Con el propsito de dar una clasificacin de puntos singulares aislados de funciones
analticas, es muy conveniente considerar la expansin de Laurent de la funcin f(z)
alrededor de un punto z
0
:

=
+

+ =
0
2
0
2
0
1
0
...
) (
) ( ) (
n
n
n
z z
b
z z
b
z z a z f (33)

Supongamos que f(z) tiene una singularidad aislada en el punto z=z
0
y es analtica
dentro de un circulo centrado en este punto. Entonces la regin anular donde la
expansin precedente converge se reducir al interior total del circulo con el punto z=z
0
omitido.

Es claro que f(z) puede tener una singularidad en z=z
0
si al menos uno de lo
coeficientes b
j
0 . Si el coeficiente b
n
0 pero

b
n+1
=b
n+2
==0 (34)

entonces, la funcion f(z) tiene un punto singular aislado en z=z
0
, y se dice que es un
polo de orden n en z=z
0
.

La suma
13
n
n
z z
b
z z
b
z z
b
) (
...
) (
0
2
0
2
0
1

se refiere entonces como la parte principal de f(z) en z=z
0
. Si 0
1
b , pero b
2
=b
3
==0,
se dice que la funcin tiene un polo simple. Cuando hay un numero infinito de
coeficientes b
i
que no se anulan en la expansin de f(z)alrededor de z
0
, se dice que la
funcin tiene una singularidad esencial aislada.
Es fcil verificar si una funcin tiene o no un polo de orden n en z= z
0,
mediante la
determinacin de si
) (
1
z f
tiene un cero de orden n en el mismo punto.

EL CLCULO DE RESIDUOS

TEOREMA DEL RESIDUO:
Sea f(z) una funcion de variable compleja que es analitica en todas partes dentro y sobre
una curva cerrada C, con excepcion de un punto z
0
en el interior de C, donde f(z) puede
tener una singularidad aislada. Entonces, la integral

C
dz z f
i
' ) ' (
. 2
1

(36)

que se anular en virtud del teorema de Cauchy cuando z
0
fuera un punto singular de esa
funcin. Podemos, por consiguiente, generalizar el teorema de Cauchy mediante la
proposicion de que la integral (35) es igual a una cantidad que puede o no anularse,
dependiendo de la naturaleza del punto z
0
. Esta cantidad es llamada el residuo de f(z) en
el punto z
0
y se denota por
Res f(z
0
)=

C
dz z f
i
' ) ' (
. 2
1

(37)



Figura 7


Si z
0
es un punto regular de f(z), entonces evidentemente Res f(z
0
)=0, en cualquier otro
caso necesitamos evaluar Res f(z
0
).
Cuando la curva cerrada C encierra ya no una sino varias singularidades aisladas de f(z),
digamos m, podemos deformar la curva C como se indica en la fig. 7.

14
Podemos evitar cada singularidad en un circulo pequeo
i
, demostrndose entonces
que

= +
=
C
m
1 i
0 )dz' f(z' )dz' f(z'
i

= =
=
C
m
1 i
0 )dz' f(z' )dz' f(z'
i
(38)

Donde la integral alrededor de cada circulo
i
es entonces dado por la ecuacin (37), de
tal forma que tenemos el teorema del residuo

=
=
C
m
1 j
) ( Re . 2 )dz' f(z'
j
z sf i (39)

donde la suma se extiende sobre todo los polos y/o singularidades esenciales aisladas de
f(z) dentro de C. Este teorema es de enorme importancia prctica en la evaluacin de
integrales.

Calculo de residuos: los residuos en polos y singularidades esenciales aisladas pueden
encontrarse como sigue:
a) Si f(z) es de la forma
n
z z
z g
z f
) (
) (
) (
0

= donde g(z) es analtica y no tiene ceros en

z= z
0,
encontramos

Res
0
1
1
0
0
) (
)! 1 (
1
'
) (
) ' (
. 2
1
) (
z z
n
n
C
n
dz
z g d
n
dz
z z
z g
i
z f
=

(40)

Donde la ultima igualdad es consecuencia de la derivada (n-1) de una funcin analtica
(Ec. 20).

La Ec. (40), por supuesto tambin la podemos escribir como

Res
)
`

) ( ) (
)! 1 (
1
lim ) (
0 1
1
0
0
z f z z
dz
d
n
z f
n
n
n
z z
(41)

En el caso especial, pero muy frecuente, de que f(z) tenga un polo simple en z=z
0
, el
residuo es

Res ) ( ) ( lim ) (
0 0
0
z f z z z f
z z
=

(42)

b) Considere ahora la expansin de Laurent (Ec.29) para una funcin f(z) alrededor
de un punto singular aislado z
0
:

=
=
0
0
) ( ) (
k
k
k
z z d z f donde
+

=
C
k k
dz
z z
z f
i
d '
) ' (
) ' (
. 2
1
1
0

(43)
15
por lo tanto,

= =

C
dz z f
i
d ' ) ' (
. 2
1
1

Res f(z
0
) (44)
Lo cual se sigue de la condicin del residuo de f(z) en z=z
0
(Ec. 37). O sea que, para
encontrar el residuo de f(z) en z=z
0
basta calcular el coeficiente d
-1
de su expansin de
Laurent.

c) Si
) (
) (
) (
z h
z g
z f = donde g(z) es analtica en z=z
0
y h(z) tiene un cero simple en z=z
0
, o
sea que h(z
0
)=0, 0
0

=z z
dz
dh
, entonces Res
0
) (
) (
0
0
z z
dz
dh
z g
z f
=
= (45)

EJEMPLOS

1. Sea f(z)
2
2
) 2 )( 1 (
3 5
+
+ +
=
z z
z z

Usando a): Res f(z) en z=1 (polo simple) y z= -2 (n=2)
Res f(z=1)= 1
) 2 )( 1 (
) 3 5 (
) 1 ( lim
1
2
2
1
=
+
+ +

z
z
z z
z z
z
Res f(z= -2)= 0
) 2 )( 1 (
) 3 5 (
) 2 ( lim
2
2
2
2
=
)
`

+
+ +
+

z z
z z
z
dz
d
z

Usando b): Podemos escribir f(z) como
2
) 2 (
1
) 1 (
1
) (
+
+

=
z z
z f
Por lo tanto d
-1
para la expansin de Laurent alrededor de z=1 es 1; y alrededor de z=-2
es 0;
Res f(1)=1 Res f(2)=0

2.
z
z f
cos
1
) ( =
cos z tiene ceros simples en
2
) 1 2 (

+ = n z para todos los enteros n (porque
0
cos
0
2
) 1 2 cos(
2
) 1 2 (
= +
+ =

n z
dz
z d
y n ;
Por lo tanto, segn c): Res

=
+
=
)
`

+ =
impar n para
par n para
n sen
z
n z
_ _ 1
_ _ 1
2
) 1 2 (
1
cos
1
2
) 1 2 (



EVALUACION DE INTEGRALES.

Lema de Jordan: Sea
R
un semicrculo en el semiplano complejo superior, de radio R y
centrado en el origen. Sea f(z) una funcin que tiende uniformemente a cero con
respecto al argumento z a medida que |z| , cuando = arg z se ubica en el intervalo

16
z arg 0

Entonces, si es un nmero real, no negativo, tenemos

= =
R
dz z f e I
z i
R
R
R
0 ' ) ' ( lim lim
' .
(45)

Prueba: En coordenadas polares, la integral I
R
es

0
cos
) . ( Rd e e R f i I
Rsen R i i
R


Puesto que, por hiptesis, f(z) tiende uniformemente a cero cuando R , debemos
tener
) ( ) . ( R e R f
i

<

donde (R) es un nmero arbitrario positivo que depende de R y que tiende a cero
cuando R . Por consiguiente


= <
2
0 0
). ( 2 . ). (

d e R R d e R R I
Rsen Rsen
R

donde hemos usado ( ) 1 .
2
1
cos . . cos . . cos . .
= =
R i R i R i
e e e , adems de la simetra de sen
alrededor de
2

= . Pero, sen tiene la propiedad de que

2
0
2

cuando sen
Por consiguiente,
) 1 (
) (
). ( 2
2
0
/ 2 R R
R
e
R
e R R I

= <

y por lo tanto . . . . 0 lim d q q l I
R
R
=



NOTA: Si < 0, el lema permanece vlido, siempre y cuando
R
se tome en el
semiplano complejo inferior y si f(z) tiende uniformemente a cero para 2 arg z .

Estamos ahora preparados para demostrar como el calculo de residuos puede aplicarse
en la evaluacin de integrales definidas.

Ejemplo 1.



+ +
=
+ +
=
0
2 2
2
2 2
2
1
) 4 )( 1 ( 2
1
) 4 )( 1 (
dx
x x
x
x x
dx x
I

Considere la integral

+ +
=
C
z z
dz z
I
) 4 )( 1 (
'
2 2
2
1

17
considerando el contorno:

por el lema de Jordan

=
R
dz z f 0 ) ( .
Por consiguiente

+ +
=
) 4 )( 1 (
'
2 2
2
1
x x
dx x
I pero

=
+ +
C
j
j
z f s i
z z
dz z
) ( . Re . 2
) 4 )( 1 (
2 2
2


Puesto que,
) 2 )( 2 )( )( (
1
) 4 )( 1 (
1
2 2
i z i z i z i z z z + +
=
+ +
vemos que f(z) tiene dos polos

simples dentro de C en i z =
1
y z
2
=2i, cuyos residuos son, respectivamente
3 ) )( 4 )( 3 (
) 2 (
) 2 ( Re
6 ) )( 3 )( 2 (
) ( Re
2
i
i i i
i
i sf
i
i i i
i
i sf

= =
=

=


Por consiguiente,
6 3 6
. 2 .
2
1
1

= |
.
|

\
|
=
i i
i I


Ejemplo 2.
dx
x
x
I

+
=
0
2 2
1
cos


Considere la integral

+
=
C
z i
dz
z i
e
I
2
.
2
' usando el contorno

por el teorema de Jordan 0
1
2
=
+

dz
z
e
R
iz
, por lo tanto




+
+
+
=
+
=
0
0
2 2 2 2
1 1 1
' dx
x
e
dx
x
e
dx
x
e
I
ix ix ix
para evaluar la primera integral del lado
derecho, haga el cambio de variable x -x y luego use

=
0
0
) ( ) ( dx x f dx x f , o sea





+
=
+
=
+
=
+
0
2
0 0
2 2
0
2
1 1
) (
1 1
dx
x
e
dx
x
e
dx
x
e
dx
x
e
ix ix ix ix

18

Por lo tanto dx
x
x
dx
x
e e
I
ix ix


+
=
+
+
=
0 0
2 2 2
1
cos
2
1
'
Pero, por el teorema del residuo
i
i
e
i z i z
e
i z i i sf i dz
z i
e
I
i iz
i z
iz
. 2
2 ) )( (
) ( lim . 2 ) ( Re . 2 '
2 2

=
+
= =
+
=

quedando, entonces
que

=
+
0
2
2 1
cos
e
dx
x
x
.

Ejemplo 3: 1 ;
sin 1
2
2
0
3
<
+
=

a
a
d
I

Sustitucin
iz
z a iz
i
z
z a
a
i
z
z
i
e e
e z
i i
i
2
) 1 ( 2
2
1
1 sin 1
2
1
2
sin sin cos
2
+
=
|
.
|

\
|

+ = +

= + = =

+
=
+ +
= = = =
C C
i
a iz az
dz
a iz az iz
iz dz
I
iz
dz
d zid d ie az
2
2
) 2 (
) 2 (
2 2 3

donde C es un
circulo de radio r=|z|=1.

Para factorizar
( )
( ) ( )
(

+ +
(

+ = + +

=
+
= +
2 2 2
2
2
2
1 1
1
1 1 ) 2 (
1 1
1
2
a
a
z a
a
i
z a a iz az
a
a
i
a
a i
z a iz az m

polos simples en ( )
2
1
1 1 a
a
i
z = y ( )
2
2
1 1 a
a
i
z + =

Ntese que ( ) ( ) ( ) 1 1 1 1 1 1 .
2
2
2 2
2 1
= + = + = a i
a
i
a
a
i
a
a
i
z z

Por lo tanto, una de las races es de norma mayor que uno y la otra menor que uno.
Puesto que ( ) 1 1 1
1
| |
2
2
> + = a
a
z , entonces |z
1
|<1, o sea que z
1
est dentro del circulo
C de radio r=1.

Por consiguiente,
19
( )
( ) ( )
( ) ( )
2 2
2 2
1 1
2 2
2
2 3
1
2
1 2
1
. 4
1 1 1 1
1
. 4
1 1 1 1
1
1 1 . 2 . 2
2
2
2
a a i
i
a
a
i
a
a
i
a
i
a
a
i
z a
a
i
z a
a
a
i
z i
a iz az
dz
I
a
a
i
z
C

=
/
/ =
(

+ +

=
(

+ +
(

+
(

+ =
+ +
=
|
.
|

\
|

=
+

2
0
2
1
2
sin 1
a
a
d


Ejemplo 4:

+
>
=
0
_ , 2
4
b
real b a
dx e I
iax bx

Ntese
b
a
b
ia
x b iax bx
4 2
2
2
2
|
.
|

\
|
= +

|
.
|

\
|

= dx e e I
b
ia
x b
b
a
2
2
2
4
4

Hagamos el cambio de variable

|
.
|

\
|

|
.
|

\
|

= = |
.
|

\
|
/
/ =
b
a
i
b
a
i
bz
b
a
dz e e I dx dz
b
ia
x b z
2
2
4
4
2
2
2

Consideremos la integral de contorno

C
bz
dz e
2
donde C es:


en el limite R
Las integrales a lo largo de C
1
y C
2
se anulan entre s por simetra: z
2
(c
1
) =z
2
(c
2
) y las
integrales de lnea son opuestas. Por lo tanto,

= + =
b
a
i R
b
a
i R
bz
R
R
bx
R
dz e dx e I
2
2
4
0 lim '
2 2
por no
haber polos dentro de C.
20

= = dx e dx e dz e
bx bx
b
a
i
b
a
i
bz
2 2 2
2
2

pero
2
1
) (
2
1
2
1
2 2 2 2 2
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
=



+

dy dx e dy e dx e dx e
y x b by bx bx

combinando ) , ( y x por
2 2 2
; ) , ( r y x rdrd dxdy r = + =

queda

+
= =
0
2
0 0
) (
2 2 2 2
2 .

rdr d rdr dxdy e
br br y x b
l l
Haciendo
b
dt
rdr dt brdr t br
2
2
2
= = =
queda
b b
dx e I
b b
e
b
dt
e dr e
iax bx
t
t br

=
|
.
|

\
|
= = + = = =



+

2
1
4
0 0 0
2
2
2
1
2 2
2 2


Ejemplo 5:

=
0
5
sin
dx
x
x
I
Considere la integral de contorno

=
C
iz
dz
z
e
I '
5
donde C es:


donde el polo en z=0 queda por fuera de C; por lo tanto,
(
(

+ + + = =

R
R
r
iz ix iz ix
r
R
C
iz
R r
dz
z
e
dx
x
e
dz
z
e
dx
x
e
dz
z
e
I
0
5
lim '
Pero por el lema de Jordan 0 lim =

R
dz
z
e
iz
R
.
Adems,

=

=
r r
n
n
r
iz
r
dz
n
iz
z
dz
z
e
0
0 0
!
) ( 1
lim lim
Haciendo

=
+ = = =
0 1
! !
) ( 1
;
n n
in n
n n
i i
d e r
n
i
id dz
n
iz
z
d rie dz re z


O sea que:

=

+ =
r
n
in n
n iz
r
d e r
n
i
d i dz
z
e
1
0 0
!
lim

en 0 lim r
0 + = i

Adems,

= +

0 0
0
sin
2 lim dx
x
x
i dx
x
e e
dx
x
e
dx
x
e
ix ix r
R
ix r
R
ix
r
R

21

Con lo cual

= =
0
5
sin
2 0 ' i dx
x
x
i I

= =
0
5
2
sin
dx
x
x
I



EL VALOR PRINCIPAL DE UNA INTEGRAL

Qu sucede si el polo queda a lo largo de la curva de integracin?, o sea, si

dx
x x
x f
0
) (

donde x
0
est sobre la curva de integracin, esto es sobre el eje x.

Suponemos que f(x) es analtica en el eje real y permanece finita, o sea ) (x f x

es
constante cuando | | x , donde 0 >

0 lim

+
0
0
0 0
0
0
) ( ) (
lim
) (
x
x
dx
x x
x f
dx
x x
x f
dx
x x
x f
P
Se define como el valor principal de la integral.


FUNCIONES MULTIVALUADAS: SUPERFICIE DE RIEMANN

Hasta ahora se ha desarrollado la teora de funciones analticas bajo la suposicin de que
las funciones consideradas, y sus derivadas, sean univaluadas. A primera vista,
pareciera que las funciones multivaluadas deberan ocupar un captulo separado en la
teora de funciones analticas para incluir una amplia clase de funciones multivaluadas,
mediante el uso de una construccin geomtrica ingeniosa debida a Riemann y conocida
como una superficie de Riemann.

LAS FUNCIONES f(z)=Z
1/n
Y SUS SUPERFICIES DE RIEMANN

Haciendo z=r
i
e en f(z)=Z
1/ 2
, tenemos
2 2
1
) , ( ) (

i
e r r f z f = =
Pero, hemos establecido anteriormente que el argumento de un nmero complejo es
definido dentro de un mltiplo de 2:

2 0 ...) 2 , 1 , 0 ( 2 arg = + n n z
Por lo tanto, para cada z hay dos valores asociados a Z
1/ 2
diferentes,
2 2
1 i
e r y
) 2 0 (
2 2
1

i
e r segn que n sea par o impar, esto es la funcin Z
1/ 2
es divaluada.
Esta propiedad de Z
1/ 2
puede vislumbrarse considerando una trayectoria cerrada C que
encierre el punto z=0 en el plano complejo (Ver. Fig. 8)
22

Figura 8 Plano complejo z
Supongamos que partimos de un punto z
0
sobre C y que seguimos la trayectoria en la
direccin contraria a las manecillas del reloj, hasta que regresamos al punto inicial z
0
.
La funcin Z
1/ 2
cambia continuamente a medida que cambia z a lo largo de C, pero
despus de completar una vuelta completa, sta habr cambiado a un valor negativo:
) 2 , ( ) , (
0 0 0 0
+ = r f r f
2
) 2 (
2
1
0
2 2
1
0
0
0

+
=
i
i
e r e r

ya que 1 =
i
e . Un punto del plano complejo (como z=0 para z
1/ 2
) que tenga la
propiedad de que, despus de completar un circulo completo alrededor de l, una
funcin f(z) no se restablece a su valor inicial se denomina un punto rama de la funcin.
Por lo tanto, el punto

z=0 es un punto rama de la funcion z
1/ 2
. Teniendo en cuenta el
comportamiento similar de la funcin (z)
-1/ 2
o de ( )
2
1
'
1
z
en z=0, encontramos
similarmente que el punto en el infinito ( )
'
1
z
z = es tambin un punto rama de la
funcin z
1/ 2
.

Tracemos una lnea que une los dos puntos ramas de z
1/ 2
; puede tomarse por ejemplo
una linea recta que comienza en z=0 y se extiende hasta el infinito a lo largo de x>0.
Supongamos ahora que quitamos del dominio de la definicin de la funcion z
1/ 2
todos
los puntos que estn sobre esta recta. Usando un lenguaje mas descriptivo, decimos que
cortamos del plano complejo a lo largo de x>0, que llamaremos de ahora en adelante un
corte rama, o mas brevemente un corte. Se puede entonces definir las funciones
univaluadas:
( )
( ) ... 5 , 3 , 1 2 0 ) , ( ) (
... 6 , 4 , 2 , 0 2 0 ) , ( ) (
2 2
1
0 1
2 2
1
0 0
= = =
= = =
n para e r r f z f
n para e r r f z f
i
i

Hemos, entonces, definido dos funciones univaluadas que son analticas en el plano z
cortado, el cual consta ahora de dos ramas
( )
( ) rama segunda
rama primera


4 2
2 0
<
<


Esto sugiere la siguiente construccin geomtrica: supongamos dos planos complejos
uno encima del otro que corresponden a los valores diferentes de Z
1/ 2
segn el valor de
n (par o impar). Estos planos estn conectados a lo largo del corte (eje x>0). (Ver fig. 9),
de tal forma que el cruce del corte es equivalente a ir de un plano al otro. La superficie
geomtrica as obtenida de la superposicin de los dos planos es llamada una superficie
Riemann , y cada plano es llamado luna hoja Riemann de la funcion univaluada definida
sobre una hoja Riemann es llamada un rama de la funcin completa multivaluada.
23


Figura 9 La superficie de Riemann de z
1/2

En general, la superficie Riemann de la funcin
n
z z f
1
) ( = (n=2, 3, 4) es una
superficie cerrada de n hojas, tal que la hoja n-sima se conecta con la primera hoja
(n=0).

EVALUACIN DE UNA INTEGRAL QUE COMPRENDA UNA FUNCION
MULTIVALUADA

+
=
0
2
1
dx
x
x
I
Consideremos la integral de contorno dz
z
z
I
C

+
=
2
1
a lo largo de la trayectoria de la
fig. 10 donde se ha excluido el corte x>0 de la funcin z
1/2



Figura 10 Curva cerrada C para evaluar la integral
dz
z
z
I
C

+
=
2
1

Ntese que

=
=
=

2
0
para x
para x
z
Por lo tanto,

+
+
+

+
=
R
dz
z
z
dx
x
x
dx
x
x
I
R
2
0
2
0
2
1
lim
1 1

Pero, 0
1
lim
2
=
+

R
dz
z
z
R

o sea que

+
=
0
2
1
2 dx
x
x
I (46)
24
porque

=
0
0
) ( ) ( dx x f dx x f
Evaluando

dz z f ) ( por el teorema del residuo, teniendo en cuenta que

2
1 z
z
+
tiene
polos en i z = dentro de la curva cerrada C, obtenemos
[ ]
(

+ = = + = =
+

i
i
i
i
i i z sf i z sf i dz
z
z
C
2 2
. 2 ) ( Re ) ( Re . 2
1
2
pero
4
3
2
3
4 2

i i i i
e e i y e e i = = = = , por lo tanto


2 ) 1 )( 1 (
2
2
. 1
1
2 4 4
3
4
2
= + =
(

=
(

=
+

i i e e e e dz
z
z i i i i
y usando la
Ec.(46), obtenemos
2
2
1
0
2
=
+

dx
x
x