Integracin en variable compleja

M. Fernndez Guasti
19 de junio de 2015

Lab. de ptica Cuntica, Depto. de Fsica,

Universidad A. Metropolitana - Iztapalapa,
09340 Mxico D.F., Ap. postal. 55-534, MEXICO
e-mail: mfg@xanum.uam.mx, url: http://luz.izt.uam.mx

1.

Integracin compleja

Diferencial de longitud de arco definida como [1]

s
 2
df
ds = 1 +
dx.
dx
Define la integral de contorno como un proceso lmite

n
X
f (z) dz = lm
f (zk ) 4zk .

P 0 k=1
C

Si f (zk ) = u (zk ) + iv (zk ) y 4zk = 4xk + i4yk ,

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

Si se define una curva en el plano complejo en trminos de un parmetro real

f (t) = f1 (t) + f2 (t) i,
la integral compleja es

f (t) dt =
a

f1 (t) dt +
a

f2 (t) dt i,
a

y la integral de contorno


f (z (t))

f (z) dz =
a

dz
dt


dt.

Si la longitud de  un contorno
suave es L y f es continua en el contorno y su

valor mximo es f (z) M , entonces

f (z) dz M L.
C

Teorema 1.1. Teorema de Cauchy: Si f es analtica en un dominio simplemente conexo D y (f 0 continua en D - sta condicin
la elimina Goursat). Entonces

para todo contorno cerrado simple C en D, C f (z) dz = 0. [1, p.231]

Demostracin. Se invoca teorema de Green



Q P

dA
(P dx + Qdy) =
x
y
C
R
y condiciones de CR



u
v

dA = 0
(udx + (v) dy) =

x y
C
R



u v
(vdx + udy) =

dA = 0
x y
C
R

f (z) dz =
(udx vdy) + i
(vdx + udy) = 0
C

Deformacin de contornos
Teorema 1.2. Teorema de Cauchy: Si f es analtica en dominio multiplemente
conexo D. Entonces para un contorno cerrado C con Ck contornos interiores
con orientacin positiva sin puntos en comn,

n
X
f (z) dz =
f (z) dz.
C

k=1

Ck

Independencia de trayectoria
Teorema 1.3. Independencia de trayectoria: Si f es analtica en un dominio
simplemente conexo
D y C es cualquier contorno (no necesariamente cerrado)
en D. Entonces C f (z) dz es independiente de la trayectoria C.
dicho de manera sucinta
2

Teorema 1.4. La integral de una funcin holomorfa es independiente de la

trayectoria
Demostracin. tomar dos tramos de una trayectoria cerrada, modificar un tramo mientras el otro se mantiene constante.
Antiderivada o integral indefinida F , tal que F 0 (z) = f (z) para cada z en D.
Teorema 1.5. Formula integral de Cauchy: f holomorfa

1
f (z)
f (z0 ) =
dz
2i C z z0
(z0 )
dz = 2if (z0 ) evala
Demostracin. sumo y resto f (z0 ) en la integral, C fzz
0
f (z)f (z0 )
la integral C zz0 dz para un crculo pequeo y concluye que es cero.
Teorema 1.6. Formula integral de Cauchy para derivadas de funciones:

f (z)
n!
dz
f (n) (z0 ) =
2i C (z z0 )n+1
Demostracin. Para n = 1, de la definicin de derivada
f (z0 + 4z) f (z0 )
dz,
4z0
4z

f 0 (z0 ) = lm

cada parte la escribo como una integral




1
f (z)
f (z)
f 0 (z0 ) = lm
dz
dz .
4z0 2i4z
C z (z0 + 4z)
C z z0
Evaluar la suma con comn denominador
f (z)
f (z)
f (z)
+
=
,
z (z0 + 4z) z z0
(z (z0 + 4z)) (z z0 )
y se toma el lmite
1
f (z0 ) =
2i

f (z)

!
2 dz

(z z0 )

Corolario 1.1. La derivada de una funcin analtica es analtica.

desigualdades

Teorema 1.7. Desigualdad de Cauchy Si |f (z)| M para todos los puntos z

en C, entonces
 n!M


 (n)
f (z) n .
r
(z)|
Demostracin. Dividir la desigualdad de la premisa entre rn+1 , |f
r n+1
Se toma la magnitud de la formula integral de Cauchy para derivadas




  n!
n! M
f (z)

 (n)
 
2r
dz

f (z0 ) = 
 2i C (z z0 )n+1  2 rn+1

M
r n+1 .

donde se utiliz la desigualdad M L con L = 2r.

El resultado involucra la circunferencia r, excepto para n = 0 que es cierto para
cualquier circunferencia.
Teorema 1.8. Teorema de Liouville: Las nicas funciones enteras acotadas
son las constantes
Demostracin.
 0 Si f est acotada en todo el plano complejo, |f (z)| M , de


manera que f (z) M
r . Pero para r muy grande la derivada tiende a cero.
Teorema 1.9. Teorema fundamental del lgebra Si p (z) es un polinomio de
grado n no constante, entonces la ecuacin p (z) = 0 tiene al menos una raiz
{tiene n raices}
Demostracin. Se considera el inverso del polinomio y se supone entero (sin
singularidades). Esto conduce a la contradiccin de que es constante, por lo que
se deduce que debe tener al menos una raz.

Teorema 1.10. Teorema de Morera: Si C f (z) dz = 0 con C en D, entonces

f es holomorfa en D.

Referencias
[1] D. G. Zill and P. D. Shanahan. Cengage, 2nda edition, 2009.