yRiemann

ecuaciones de Cauchy-
Riemann
! 3.1 DERIVADAS
Temas para repasar
Si f (z) es unvoca especialmente
en una regin del plano z, la derivada de f (z) se define como

para el 3.1
Examen DERIVADAS Parcial 1: f (z)  Dz0 lm
f z  Dz  f z
(3.1)
Dz
! Si f (z) es unvoca en una regin del plano z, la derivada de f (z) se define como
siempre que este lmite exista independientemente de la manera en que z o 0. Si es as, se dice que f (z) es diferen-
! ciable en z. En la definicin dada en (3.1), ftambin
 suelef usarse
z  Dzh  z de z. Aunque diferenciabilidad implica
en flugar
(z)  lm (3.1)
! continuidad, lo contrario no es verdad (vea el problemaDz0 3.4). Dz

Funcionessiempre
analticas
que este lmite exista independientemente de la manera en que z o 0. Si es as, se dice que f (z) es diferen-
! ciable en z. En la definicin dada en (3.1), tambin suele usarse h en lugar de z. Aunque diferenciabilidad implica
continuidad, lo contrario no es verdad (vea el problema 3.4).
3.2 FUNCIONES ANALTICAS
Si la derivada f c(z) existe en todos los puntos z de una regin , se dice que f (z) es analtica en y se refiere a una
funcin analtica en . Como sinnimos de analtica suelen usarse tambin los trminos regular y holomorfa.
3.2Se dice
FUNCIONES
que una funcin ANALTICAS
f (z) es analtica en un punto z0 si existe una vecindad _z  z0_  E en la que para todos
suslapuntos
Si derivada f c(z)f c(z).
exista existe en todos los puntos z de una regin , se dice que f (z) es analtica en y se refiere a una
funcin analtica en . Como sinnimos de analtica suelen usarse tambin los trminos regular y holomorfa.
!
! Se dice que una funcin f (z) es analtica en un punto z0 si existe una vecindad _z  z0_  E en la que para todos
! sus puntos exista f c(z).
3.3deECUACIONES
Ecuaciones DE CAUCHY-RIEMANN
Cauchy-Riemann
! Una condicin necesaria para que w f (z) u(x, y)  iv (x, y) sea analtica en una regin es que, en ,uyv
satisfagan las ecuaciones de Cauchy-Riemann
3.3 ECUACIONES DE CAUCHY-RIEMANN
@u @v @u @v
Una condicin necesaria para que w f (z) @xu(x,  y) , iv (x,   (3.2)
@y @y y) sea@xanaltica en una regin es que, en , u y v
satisfagan las ecuaciones de Cauchy-Riemann
Si las derivadas parciales en (3.2) son continuas en , entonces las ecuaciones de Cauchy-Riemann son condiciones
suficientes para que f (z) sea analtica en . Vea @u el problema
@v @u3.5. @v
 ,  (3.2)
A las funciones u(x, y) y v (x, y) se les suele@xllamar @y funciones
@y conjugadas.
@x Dada una u que tenga primeras deriva-
daslas
Si parciales continuas
derivadas parciales enen
una regin
(3.2) son simple
continuasconexa (vea la seccin
en , entonces 4.6), puede
las ecuaciones de hallarse v (dentro de
Cauchy-Riemann sonuna constante
condiciones
aditiva arbitraria)
suficientes para quetalf que u analtica
(z) sea iv f (z)ensea .analtica (vea los problemas
Vea el problema 3.5. 3.7 y 3.8).
A las funciones u(x, y) y v (x, y) se les suele llamar funciones conjugadas. Dada una u que tenga primeras deriva-
das parciales continuas en una regin simple conexa (vea la seccin 4.6), puede hallarse v (dentro de una constante
aditiva arbitraria) tal que u  iv f (z) sea analtica (vea los problemas 3.7 y 3.8).
!
!
!
Funciones armnicas
78 CAPTULO 3 DIFERENCIACIN COMPLEJA Y ECUACIONES DE CAUCHY-RIEMANN
!
3.4 FUNCIONES ARMNICAS
Si las segundas derivadas parciales de u y v respecto de x y y existen y son continuas en una regin , entonces, de
acuerdo con (3.2), se encuentra que (vea el problema 3.6)
@2 u @2 u @2 v @2 v
  0,  0 ( (3.3)
@x2 @y2 @x2 @y2
En estas condiciones se sigue que la parte real y la parte imaginaria de una funcin analtica satisfacen la ecuacin
de Laplace, que se denota
@@2@2C2
C C @@2@2C2
C C 22 2 @@@
22 2
@@2@2 2

 0
0 0 o
22 2
CC C
0
0 0 donde
;;;  (3.4)
@@2@2xx2 x @@2@2yy2 y @x 22 2 @y
@x@x @y@y22 2

Al operador 2 se le suele llamar laplaciano.

Funciones como u(x, y) y v (x, y) que satisfagan la ecuacin de Laplace en una regin se denominan funciones
armnicas y se dice que son armnicas en .
!
!

3.5 INTERPRETACIN GEOMTRICA DE LA DERIVADA

Sea z0 [figura 3-1] un punto P en el plano z y sea w0 [figura 3-2] su imagen Pc en el plano w mediante la transforma-
cin w f (z). Como se supone que f (z) es unvoca, el punto z0 se lleva a un solo punto w0.

plano z
! y
1 plano w
u
Q

Q
)

(z0)

z
Transformaciones
42
plano-xy !" plano-uv!
CAPTULO 2 FUNCIONES, LMITES Y CONTINUIDAD
!
2.4 TRANSFORMACIONES
Si w u  iv (donde u y v son reales) es una funcin unvoca de z x  iy (donde x y y son reales), se escribe u  iv
f (x  iy). Si se igualan las partes reales y las imaginarias, se ve que esto equivale a
u u(x, y) y v v (x, y) (2.1)
As,
82dado un punto (x, y)3 delDplano
CAPTULO z, como P COMPLEJA
IFERENCIACIN en la figura Y2-1, existe un punto
ECUACIONES DE Ccorrespondiente
AUCHY-RIEMANN(u, v ) en el plano w,
como Pc en la figura 2-2. Al conjunto de ecuaciones (2.1) [o a su equivalente, w f (z)] se le llama transformacin.
Se dice que el punto 3.2
EJEMPLO P se lleva o transforma en el punto Pc por medio de esa transformacin, y a Pc se le conoce
como la imagen 82de P. CAPTULO 3 DIFERENCIACIN COMPLEJA Y ECUACIONES DE CAUCHY-RIEMANN
a) f (z) (z  3)12 tiene un punto de ramificacin en z 3.
2
EJEMPLO
b) f (z)2.2 ln(z
SiEJEMPLO 2
w  zz, 2)
entonces u  ivde ramificacin
tiene puntos
3.2 x2 zy2 2z 2ixy,
(x  iy)2 donde  2 y 0,
la es
transformacin x2  y2,
decir, en z 1esy zu 2.
v 2xy. La imagen del punto (1, 2) del plano z es el punto (3, 4) del plano w.
4. Singularidades a) removibles.
f (z) (z  3)Un 12 punto singular aislado z0 es una singularidad removible de f (z) si lmzoz
tiene un punto de ramificacin en z 3. 0
f (z) existe. Alb)definir
y f (z) f (z 0)
ln(z2 lm (z) sepuntos
 2)0 ftiene
 z zoz muestra que f (z) nodonde
de ramificacin slo zes
2 continua en z , sino tambin ana-
uz  2 0, es0decir, en z 1 y z 2.
ltica en z0.
4. Singularidades plano removibles.
z Un punto singular aislado z0 es una singularidad
plano w removible de f (z) si lmzoz0
EJEMPLO 3.3 P' de f (z)
f (z)Elexiste.
puntoAlsingular
definirzf (z00) es una singularidad
lmzoz 0
removible
f (z) se muestra seneszz,
que f (z) no slo pues en z0, sino tambin ana-
continua
lmzo0 (sen zz)
ltica 1.
en z0. Q
5. Singularidades esenciales.
EJEMPLO 3.3 AEl una
puntosingularidad
singular z aislada
0 es unaque no es unremovible
singularidad polo o unadesingularidad
f (z) Q' sen zz,removible
pues se
P
le llama singularidad
lmzo0 (sen esencial.
zz) 1.
EJEMPLO 5. 3.4 f (z) e1(z2) esenciales.
Singularidades tiene unax singularidad
A una singularidad
esencialaislada
en z que
2. no es un polo o una singularidadu removible se
le llama singularidad esencial.
Si una funcin tiene una singularidad aislada, esa singularidad es removible, es un polo o es una sin-
1(z2)
EJEMPLO
gularidad esencial. 3.4 se
A esto f (z)
debee que atiene una singularidad
los polos esencial
se les suela llamarensingularidades
z 2. no esenciales. De
manera equivalente,
Si una z0 es una
z funcin tienesingularidad esencial
una singularidad si noesa
aislada, es posible hallaresunremovible,
singularidad entero positivo n tal oque
es un polo es una sin-
Figura
n 2-1 Figura 2-2
lmzoz0 (z  zgularidad
0) f (z) A o 0. A esto se debe que a los polos se les suela llamar singularidades no esenciales. De
esencial.
6. Singularidadesmanera equivalente,
al infinito. El tipo es una singularidad
z dez0singularidad de f (z) esencial
en z si[el
no punto
es posible hallar un
al infinito; veaentero positivo7n tal que
las pginas
n
En general,
y 47]mediante lm (z  z )
una transformacin,
es el mismo zozque
0
f (z)
el de f (1w)un
0 A o 0.
enconjunto
w 0. de puntos, como los puntos de la curva PQ de la figura 2-1,
EJEMPLO 3.5 La funcin f (z) z3 tiene un polo de orden 3 en z , pues f
se lleva a un conjunto Singularidades al
6. correspondiente deinfinito.
puntos, Elquetipo
esdesusingularidad
imagen, como de flos
(z) en
puntos de[ellapunto
curva al3infinito; vea las pginas 7
tieneenunlapolo
figura
z
(1w) 1wPcQc de
2-2. Las caractersticas y
orden 3 en w 0.47]
de laes el mismo
imagen que el
dependen, de f
por(1w) en
supuesto,w 0.
del tipo de funcin f (z), que en ocasiones se llama
funcin de transformacin. Si f (z)3.5
EJEMPLO es multivaluada,
La funcin f (z)un punto
z3 tiene(ouncurva)
polo dedelorden
plano z, zen general,
3 en , pues fse lleva a1w
(1w) ms 3 de un
tiene un polo de
En el
punto (o captulo
curva) en6 el
seplano
presentan
ordenw.3 enmtodos
w 0. para clasificar singularidades con series infinitas.
!
! En el captulo 6 se presentan mtodos para clasificar singularidades con series infinitas.

3.12 FAMILIAS ORTOGONALES

2.5w Cf OORDENADAS
Sea (z) 3.12
u(x, y)F
AMILIAS CURVILNEAS
iv (x, y) funcin analtica, y f c(z) o 0. Entonces, las familias de curvas de un parmetro
unaORTOGONALES
Dada la transformacin
Sea w f (z) f (z)y)o,deivmanera
w u(x, equivalente,
(x, y) u(x,
una vu (x, u(x,
y) B ,analtica,
funcin C vo 0.v (x,
y)y fy),
c(z) y), a (x,lasy)familias
Entonces, se le conoce como
de curvas coor-
de(3.15)
un parmetro
denadas rectangulares del punto P en el plano z, y a (u, v ) como coordenadas curvilneas de P.
donde B y C son constantes, son ortogonales, es decir,u(x, en el punto de interseccin
y) B , v (x, y) C cada miembro de una familia (3.15)
[lneas continuas de la figura 3-3]
donde B y C sonplano
es perpendicular
constantes,
a cada miembro de la otra familia [lneas punteadas
son ortogonales, es decir, en el punto de interseccin cada
de la figura
miembro de una familia
z plano w
3-3]. Las correspondientes curvas
[lneas continuas y imagen
de la en el
figura 3-3] es plano w, que son
perpendicular lneas
a cada uparalelas
= c2 de laa otra
miembro los ejes u y[lneas
familia
u
v, forman tambin
punteadas de la figura
familias ortogonales [vea
3-3]. Las la figura 3-4]. curvas imagen en el plano w, que son lneas paralelas a los ejes u y v, forman tambin
correspondientes !
c2

familias ortogonales [vea la figura

P 3-4]. plano w P !
u (x, y) =

u = c1

plano z
y u
plano z plano w
y u

x
u

c
y) = 1
u(x, x u
x Figura 2-4 u
Figura 2-3

Figura 3-3 Figura 3-4

Figura 3-3 Figura 3-4
En vista de esto, puede pensarse que si la funcin de llevado f (z) es analtica y f c(z) o 0, entonces el ngulo entre !
! vista de esto, puede pensarse que si la funcin de llevado f (z) es analtica y f c(z) o 0, entonces el ngulo entre
cualesquiera dosEncurvas C1 y C2 que se intersequen en el plano z ser igual (en magnitud y en sentido) al ngulo
cualesquiera dos curvas C1 y C2 que se intersequen en el plano z ser igual (en magnitud y en sentido) al ngulo
entre las correspondientes curvas imagen Cc1 y Cc2 que se intersequen en el plano w. Esta conjetura es correcta y lleva
entre las correspondientes curvas imagen Cc1 y Cc2 que se intersequen en el plano w. Esta conjetura es correcta y lleva
! 2
 O O'
r

Figura 3-3 Figura 3-4

Figura 2-8 Figura 2-9
En vista de esto, puede pensarse que si la funcin de llevado f (z) es analtica y f c(z) o 0, entonces el ngulo entre
cualesquiera
Comodos S curvas C1 y C
1, se sigue 2 que
que se intersequen
el punto enseelmueve
imagen Pc3.14 plano z ser
en igual
el plano
APLICACIONES w(en
EN
magnitud
sobre y en sentido)
la circunferencia
GEOMETRA Y MECNICA
al ngulo
de radio 83
1 con
entrecentro
las correspondientes curvas imagen Cc
en el origen [figura 2-9]. Asimismo,1 y Cc que
cuando
2 se intersequen en el plano w. Esta conjetura es correcta
P se mueve en sentido contrario a las manecillas del reloj y lleva
en un !
ngulo
al tema Pc se mueve en sentido
V, transformaciones
de las contrario
conformes, a las
tema demanecillas del reloj en
tanta importancia, un ngulo
desde 3V.dePor
el punto tanto,
vista cuando
terico y de completa
P sus apli-
una revolucin,
caciones, Pc completa
que dos captulos tres
de este revoluciones.
libro En trminos
(8 y 9) abordan de vectores, esto significa que el vector OcPc rota tres
este tema.
veces ms rpido que el vector OP. !
!
2.4. Suponga que c1 y c2 son constantes reales. Determine el conjunto de todos los puntos del plano z que se llevan
a) u c1, b) v c2 en el plano w mediante la funcin w z2. Ilustre considerando los casos
3.13a lasCrectas
URVAS
c1 2, 4, 2, 4 y c2 2, 4, 2, 4.
Suponga que G (t) y D(t) son funciones reales de la variable real t, que se supone continua en t1 d t d t2. As, las
ecuaciones
Soluciparamtricas
n
Se tiene w u  iv z2 (x  z iy)x2 xiy
2yf  icde
(t)2ixy,
2  z(t),
(t)modo que ut1 x2t  yt22, v 2xy. Entonces, las rectas(3.16)u c1
y del plano corresponden, respectivamente, a las hiprbolas 2  y2
definen una 2curva continua o arco en el plano z, que une los puntos a z(t1) y b cz(t
v c w x 1 y2)2xy del plano
c2 figura
[vea la 3-5].z, como se
Siindica
t1 o t2en las z(t
pero figuras
1)
2-10
z(t y 2-11.
2), es decir, a b, los puntos terminales coinciden y se dice que la curva es cerrada. Una
curva cerrada que en ninguna parte se interseque consigo misma se llama curva cerrada simple. Por ejemplo, la curva
88 plano w
CAPTULO
de la figura 3-6 es una 3 curva
DIFERENCIACIN
cerrada simple, mientras
COMPLEJA DE CAUCHY
que la de la figura
Y ECUACIONES 3-7 no-R loIEMANN
es.

u = 4
u

= 4

u = 2
plano z

u=2

u=4
2
Si G(t) y D(t) [y por ende z(t)] tienen derivadas continuas en t1 d t d t2, se dice que la curva es una curva suave

y =
x 2 y 2
y

2
o un arcodonde F1 A
suave. ouna0 y Icurva
1 o 0compuesta
cuando x o de0una
y ycantidad
o 0. infinita de arcos suaves se le llama curva suave a trozos o

x2

= 2
2 =
4
y y 2
contorno. PorDe ejemplo,
igual manera, comode
el borde se un
supone que
cuadrado y @v=@y
es una curvasonsuave
continuas, se tiene Q

a trozos
R
o contorno.
@v=@x
@v=@x @v=@y

x2
x2
u=4
   
y @vS R y @v  h Dy  @v Dx  @v Dy  e Dx y h Dy
Dv   e2 Dx  2 o W
2
P
V
o Z

@x Q @y 2
@x @y S
u=2
T P 2xy = 4
= 4 F2 o 0 y I2 o 0 cuando x o 0 y y o 0. Entonces,
2xydonde u
U b Z 2xy = 2
2xy = 2    
@u @v x @u @v
2xy = 2a Dw VDu  iDv Y i 2xy = 2
Dx  i Dy  eDx  hDy (2)
@x @x @y @y
2xy = 4 2xy = 4 u = 2
W X
donde
e e 
e1 e1 i
e2ie 0 0yh
2  hh1 h1 i
h2ih 0 cuando
2  0 x o 0 y y o 0. T
o X
U
o Y

De acuerdo con las ecuaciones
x de Cauchy-Riemann, (2) se expresa como
x x
x 2 y2 = 4 u = 4
   
x 2 y2 = 2 Figura 3-5 @u @v @v @u
Dw  i Dx Figura
  3-6 i Dy  eDx  hDy Figura 3-7
@x @x @x @x
2 2
x y = 4  
A menos que sex2especifique
y2 = 2 otra cosa,@usiempre
@v que se hable de una curva simple cerrada se supondr que es una
 i (Dx  iDy)  eDx  hDy
curva suave a trozos. @x @x
Figura 2-10 Figura 2-11
!
! Al dividir entre z x  i y y tomar el lmite cuando z o 0, se ve que

! 2.5. Con los datos del problema 2.4, determine

dw a) la imagen
Dw @u de la@vregin del primer cuadrante limitada por
 f  (z)  lm
3.14x2 AyPLICACIONES
2 2, xy 1, x2  EN
y2 GEOMETRA
4dzy xy YDz0
2; b) la  i
MECNICA
imagen
Dz @x de la
@xregin en el plano z limitada por todas las
Funciones armnicas u, v
A z(t) sedelemanera
puede que
considerar unexiste
la derivada vector posicin
y es nica, escuyo
decir,punto
y
f (z) es analtica en .
terminal describe una curva C, en un determinado sentido o
direccin
3.6. a medida
Sea f (z) u  ivque vara deanaltica
unatfuncin t1 a t2.enSiuna y z(t . Compruebe
z(t)regin t) P
que u y v son armnicas en
z siz(t 
t)  z(t)
tienen
representan
segundas losderivadas
vectoresparciales
posicincontinuas
de los puntos
en .P y Q, respec-
tivamente, entonces Q

Soluci n Dz z(t  Dt)  z(t) z(t)


Si f (z) es analtica
Dten , las ecuaciones
Dt de Cauchy-Riemann z(t 
t)
C
es un vector en direccin de 'z [figura 3-8]. Si lm @v z t
@u to0
 (1) x
dzdt existe, este lmite es un vector en direccin
@x de@yla tan-
gentey a C en el punto P y est dado por

dz dx dy @v @u Figura 3-8
 i  (2)
dt dt dt @x @y
se satisfacen en . Si se supone que u y v tienen segundas derivadas parciales continuas, ambos lados de (1) se
diferencian respecto a y y ambos lados de (2) respecto a x para obtener
!
@2 u @2 v
 (3)
@x2 @x@y
y
@2 v @2 u
 2 (4)
@y@x @y
de donde

! @2 u
2
 23
@2 u
o
@2 u @2 u
 0
@x @y @x2 @y2
es decir, u es armnica.
 y
@v @u
 (2)
@x @y
se satisfacen en . Si se supone que u y v tienen segundas derivadas parciales continuas, ambos lados de (1) se
diferencian respecto a y y ambos lados de (2) respecto a x para obtener
@2 u @2 v
 (3)
@x2 @x@y
y
@2 v @2 u
 2 (4)
@y@x @y
de donde
@2 u @2 u @2 u @2 u
 2 o  0
@x2 @y @x2 @y2
es decir, u es armnica.
PROBLEMAS RESUELTOS 89
!
De manera semejante, al diferenciar ambos lados de (1) respecto a y, y ambos lados de (2) respecto a x, se
encuentra que
@2 v @2 v
 0
@x2 @y2
por lo que v es armnica.
Ms adelante (captulo 5) se mostrar que si f (z) es analtica en , todas sus derivadas existen y son continuas
en . Por tanto, no sern necesarios los supuestos anteriores.
3.14 APLICACIONES EN GEOMETRA Y MECNICA 83 !
!
3.7. a) Demuestre que u  ex (x sen y  y cos y) es armnica.
! al tema de las transformaciones conformes, tema de tanta importancia, desde el punto de vista terico y de sus apli-
! caciones,
b) que dos
Encuentre captulos
v tal de este
que f (z)  iv (8
u libro seay analtica.
9) abordan este tema.

Curvas
Soluci n
!
3.13@u 
a) CURVAS
(ex )(sen y)  (ex )(x sen y  y cos y)  ex sen y  xex sen y  yex cos y
@x
Suponga
@2 u que@ G (t) y D(t) son funciones reales de la variable real t, que se supone continua en t1 d t d t2. As, las
ecuaciones (ex sen y  xex sen y  yex cos y)  2ex sen y  xex sen y  yex cos y (1)
@x2 paramtricas
@x
@u  y) x f(t)  ic(t)
x iyxe (3.16)
 ex (x cos y  y sen y zcos cos y  ye x 
senz(t),
y ex  ty t2
t1 cos
@y
definen2 una curva continua o arco en el plano z, que une los puntos a z(t1) y b z(t2) [vea la figura 3-5].
@ u @
Si t1 ot2 pero ) yz(t
z(t1cos
(xex ), x
2ye es sen
decir,
y losy)puntos
a exb,cos  xeterminales
x
sen y  coinciden
2ex sen y yse
yedice
x que la curva es cerrada. Una
cos y (2)
@y 2 @y
curva cerrada que en ninguna parte se interseque consigo misma se llama curva cerrada simple. Por ejemplo, la curva
de la figura 3-6 es (1)
Se suman unaycurva cerrada
(2) para simple,
obtener mientras
(@2 u=@x 2
)  (@que
2 la 2de la figura 3-7 no lo es.
u=@y )  0, por lo que u es armnica.
Si G(t) y D(t) [y por ende z(t)] tienen derivadas continuas en t1 d t d t2, se dice que la curva es una curva suave
o unDe
b) arco A una
suave. con
acuerdo lascurva compuesta
ecuaciones de una cantidad infinita de arcos suaves se le llama curva suave a trozos o
de Cauchy-Riemann,
contorno. Por ejemplo, el borde de un cuadrado es una curva suave a trozos o contorno.
@v @u
  ex sen y  xe x sen y  yex cos y (3)
y @y @x y y
@v @u
   ex cos y  xex cos y  yez sen y (4)
@x @y
b
Se integra (3) respecto a y, manteniendo x constante. Entonces,
a
v  ex cos y  xex cos y  ex (y sen y  cos y)  F(x)
(5)
 yex sen y  xe x cos y  F(x)
x x x

donde F(x) es una funcin real arbitraria de x.

Figura 3-5 Figura 3-6 Figura 3-7
Se sustituye (5) en (4) y se obtiene
A menos que se especifique otra cosa, siempre que se hable de una curva simple cerrada se supondr que es una
yex sen y  xex cos y  ex cos y  F (x)  yex sen y  xe x cos y  yex sen y
curva suave a trozos.
!
o F c(x) 0, y F(x) c, una constante. Entonces, de acuerdo con (5),
!
! v  ex (y sen y  x cos y)  c
! 3.14
En elAproblema 3.40 se presenta
PLICACIONES otro mtodo. Y MECNICA
EN GEOMETRA
A z(t) se le puede considerar un vector posicin cuyo punto y
3.8. En el problema 3.7, encuentre f (z).
terminal describe una curva C, en un determinado sentido o
direccin a medida que t vara de t1 a t2. Si z(t) y z(t  t) P
z  z(t 
t)  z(t)
Soluci nlos vectores posicin de los puntos P y Q, respec-
representan
! 4
Mtodo 1 entonces
tivamente, Q

Se tiene Dt)fz(t)
Dz z(t f (z) (x  iy)  u(x, y)  iv(x, y): z(t)

Dt Dt z(t 
t)
 Integracin compleja
!
y teorema de Cauchy
!
Integrales complejas de lnea
4.1 INTEGRALES COMPLEJAS DE LNEA
Sea f (z) continua en todos los puntos de una curva C [figura 4-1], la que se supondr que tiene una longitud finita,
es decir, C es una curva rectificable.

y
xk
zk
zk1 xn
zn1
b
C
a
x1 x2 z2
z1
x
Figura 4-1

La curva C se subdivide en n partes por medio de los puntos z1, z2,, zn1, que se eligen arbitrariamente, y se
establece que a z0, b zn. En cada arco que une zk1 con zk, [k de 1 a n] se elige un punto Kk y se forma la suma

Sn  f (j1 )(z1  a)  f (j2 )(z2  z1 ) 


 f (jn )(b  zn1 ) ( (4.1)

Al escribir zk  zk1  Dzk, la expresin anterior se convierte en


n 
n
Sn  f (jk )(zk  zk1 )  f (jk )Dzk (4.2)
k1 k1

Sea un aumento de subdivisiones del nmero n de manera que la longitud _ zk_ de la mayor de las cuerdas tienda
a cero. As, como f (z) es continua, la suma Sn tiende a un lmite que no depende de la manera en que se haga la sub-
divisin; este lmite se denota
!b !b ! !
112 f (z)f
CAPTULO 4 INTEGRACIN COMPLEJA Y TEOREMA dz
(z) dz
or oor f (z)f dz
(z)
DEdz
CAUCHY (4.3)
a a C C
que se conoce como integral compleja de lnea o tan slo integral de lnea de f (z) a lo largo de la curva C, o integral
definida de f (z) de a a b a lo largo de la curva C. En este caso, se dice que f (z) es integrable a lo largo de C. Si f (z)
es analtica en todos los puntos de una regin y si C es una curva que se encuentra en , entonces f (z) es continua
112 CAPTULO 4 INTEGRACIN COMPLEJA Y TEOREMA DE CAUCHY
y por tanto integrable a lo largo de C.
que se conoce como integral compleja de lnea o tan slo integral de lnea de f (z) a lo largo de la curva C, o integral
4.2 INTEGRALES
definida de f (z) de a a b aREALES DE
lo largo de la LNEA
curva C. En este caso, se dice que f (z) es integrable a lo largo de C. Si f (z)
es analtica
P(x, y) en todosy)los puntos de una regin y si C es una curva los
quepuntos
se encuentra en ,C.
entonces (z) es continua
As, la fintegral
Integrales
Sean reales
y por de funciones
y Q(x,
tanto integrable lnea reales
a lo largo de C.
de x y y, continuas en todos de la curva real de
lnea de P dx  Q dy a lo largo de la curva C se define de manera similar a la integral compleja de lnea y se denota
! !
4.2 INTEGRALES REALES [P(x,DE LNEA
y) dx  Q(x, y) dy] o P dx  Q dy (4.4)
Sean P(x, y) y Q(x, y) funciones reales
C de x y y, continuas en todos Clos puntos de la curva C. As, la integral real de
lalnea
segunda
de P notacin
dx  Q dysea usa por brevedad.
lo largo de la curvaSiCCseesdefine
suavedey manera
tiene ecuaciones
similar a laparamtricas x G(t),
integral compleja y D(t),
de lnea donde
y se denota
t1 d t d t2, se observa que el valor!de (4) est dado por !
!t2 [P(x, y) dx  Q(x, y) dy] o P dx  Q dy (4.4)
 
C [Pf(t), c(t)f (t) dt  Qf(t), Cc(t)c (t) dt]
la segunda notacin se usa por brevedad.
t1 Si C es suave y tiene ecuaciones paramtricas x G(t), y D(t), donde
Ent1 d t dde
caso t2,que
se observa que el
C sea suave valor de
a trozos (o (4)
porest dadosepor
partes), aplican modificaciones adecuadas (vea el problema 4.1).
!t2
4.3 RELACIN ENTRE INTEGRALES [Pf(t), c(t)f (t) dt  QfDE
REALES (t)c (t) dt]
(t), cLNEA
E INTEGRALES COMPLEJAS
t1
DE LNEA
En caso de que C sea suave a trozos (o por partes), se aplican modificaciones adecuadas (vea el problema 4.1).
Suponga que f (z) u(x, y)  iv (x, y) u  iv. As, la integral de lnea compleja dada en (4.3) se expresa en trminos
4.3
de RELACIN
integrales reales de lnea de la manera
ENTRE siguiente: REALES DE LNEA
INTEGRALES
! !
! E INTEGRALES COMPLEJAS f (z) dz  5
DE (u LNEA
 iv)(dx  i dy)
Suponga que f (z) u(x, y)  iv (x, y)C u  iv. As,
C la integral de lnea compleja dada en (4.3) se expresa en trminos
! !
de integrales reales de lnea de la manera siguiente:
!  ! u dx  v dy  i v dx  u dy (4.5)
 ! !
[P(x, y) dx  Q(x, y) dy] o P dx  Q dy (4.4)
C C
la segunda notacin se usa por brevedad. Si C es suave y tiene ecuaciones paramtricas x G(t), y D(t), donde
t1 d t d t2, se observa que el valor de (4) est dado por
!t2

Relacin entre integrales reales [Pf(t),
de c(t)
4.6 RfEGIONES
lnea (t) dt  Q f(t), c(t)cY(t)MLTIPLEMENTE
SIMPLEMENTE dt] CONEXAS 113
e integrales
EnLas
complejas
casopropiedades
de que C sea
de pueden
anteriores
lnea
t
suave a trozos (odescribirse
1

por partes),desevarias
aplican modificaciones
maneras. adecuadas
Por ejemplo, (vea
si T, U y Velson
problema
puntos 4.1).
sucesivos
de una curva, la propiedad c) se expresa como TUV f (z) dz   VUT f (z) dz..
4.3 RELACIN
De igual manera, si C, C1 y C2 INTEGRALES
ENTRE representan curvasREALES
de a a b, deDEaam y de m a b, respectivamente, resulta natural
LNEA
C1  C2 C C1  C2 y expresar la propiedad d ) como
C  considerar
E INTEGRALES COMPLEJAS DE LNEA
! ! !
Suponga que f (z) u(x, y)  iv (x, y) u  iv.f (z)As,
dz  f (z) dz  fcompleja
la integral de lnea (z) dz dada en (4.3) se expresa en trminos
de integrales reales de lnea de la manera siguiente:
! C1 C2 ! C1 C2
f (z) dz  (u  iv)(dx  i dy)

4.5 CAMBIO DE VARIABLES

C C
! !
 ucompleja
Sea z g([
) una funcin continua de una variable dx  v dy[  ui viv. (4.5)
 u dy que la curva C en el plano z corres-
dxSuponga
ponde a la curva Cc en el plano [ y que la derivada
C gc([
) es continuaC en Cc. Entonces,
Debido a esto, la expresin en (4.5) suele considerarse
! !una definicin de la integral compleja de lnea.
f (z) dz  f g(z )g (z ) dz (4.6)
4.4 PROPIEDADES DE LAS INTEGRALES
C C

Esta condicin
Suponga sinyduda
que f (z) g(z) se
sonsatisface si g aesloanaltica
integrables largo deen
C.una reginseque
Entonces contenga a Cc.
tiene:
! ! !
Regiones simplemente
a)
y mltiplemente conexas
f (z)  g(z) dz  f (z) dz  g(z) dz
C C C
4.6 R!EGIONES SIMPLEMENTE
! Y MLTIPLEMENTE CONEXAS
b) Af (z) dz  A f (z) dz donde A cualquier constante
A una regin se le llama simplemente conexa si toda curva simple cerrada [seccin 3.13], que est en , puede
C C
reducirse !ba un punto sin!asalirse de . Se dice que una regin que no sea simplemente conexa es mltiplemente
conexa.
c) f (z) dz   f (z) dz
Por ejemplo, suponga que es la regin definida por _z_  2, regin sombreada en la figura 4-2. Si * es una curva
simplementea cerrada en b [es decir, cuyos puntos estn en ], se ve que esta curva puede reducirse a un punto que
se encuentre
!b en , por !m lo que no!bse sale de , de manera que es simplemente conexa. Por otro lado, si es la
regin
d )definida dz  1 f(z)_zdz
f (z) como _ 2, regin
f (z) dzsombreada enpuntos
donde los la figura
a, 4-3,
b y mentonces C una curva simple cerrada * en
estn enexiste
que no se puede deformar a un punto sin salirse de , por lo que es mltiplemente conexa.
a a m
!  y
  y
e)  f (z) dz  ML y
2
C z 2

donde _f (z)_dM, es decir, M es una cota superior de _f (z)_ en C, y L es la longitud de C.
z



1

x z x x

Figura 4-2 Figura 4-3 Figura 4-4

Por intuicin, una regin simplemente conexa es una regin que no tiene hoyos, mientras que una regin ml-
tiplemente conexa es una regin con hoyos. Las regiones mltiplemente conexas de las figuras 4-3 y 4-4, respec-
tivamente, tienen uno y tres hoyos.

! 6
 Toda
114curvaCAPTULO
continua cerrada
4 Ique no se interseque
NTEGRACIN a s misma
COMPLEJA y que tenga
Y TEOREMA DE Co no longitud finita se llama curva de Jordan
AUCHY
[vea el problema 4.30]. Un teorema importante, aunque muy difcil de demostrar, que parece intuitivamente obvio
es el siguiente.
4.7 TEOREMA DE LA CURVA DE JORDAN
Teorema de la curva de Jordan. Una curva de Jordan divide el plano en dos regiones que tienen a la curva como
Toda curva
frontera continua
comn. cerrada que
La regin, que queda
no se interseque
acotada [esa sdecir,
misma y que
que tenga
todos sus opuntos
no longitud finita_zse_ 
satisfacen llama curva de
M, donde M Jordan
es una
[vea el problema
constante 4.30].
positiva], Un teorema
se llama interior importante,
de la curva, aunque
mientrasmuy quedifcil
la otrade demostrar,
regin queexterior
se llama parecede intuitivamente
la curva. obvio
es el
Consiguiente.
el teorema de la curva de Jordan se muestra que la regin interior de una curva simple cerrada es una regin
Teorema de
simplemente la curva
conexa cuyadefrontera
Jordan.es Una curvasimple
la curva de Jordan divide el plano en dos regiones que tienen a la curva como
cerrada.
frontera comn. La regin, que queda acotada [es decir, que todos sus puntos satisfacen _z_  M, donde M es una
Convencin respecto
constante positiva], sede
llamalainterior
orientacin de que
de la curva, mientras una trayectoria
la otra cerrada
regin se llama exterior de la curva.
Con el teorema de la curva de Jordan se muestra que la regin interior de una curva simple cerrada es una regin
simplemente
4.8 CONVENCIN conexa cuya frontera
RESPECTOes la curvaDEsimple cerrada.
LA ORIENTACIN
DE UNA TRAYECTORIA CERRADA
Se dice que la frontera C de una regin se recorre en sentido o en direccin positiva si un observador que la recorra
4.8 CONVENCIN
en esa direccin RESPECTO
[y perpendicular DE LA
al plano] tiene ORIENTACIN
esta regin a su izquierda. Esta convencin produce las direcciones
que se indican mediante flechas en las figuras 4-2, 4-3 y 4-4. Con el smbolo especial
DE UNA TRAYECTORIA CERRADA#
Se dice que la frontera C de una regin se recorre en sentido f (z) dzo en direccin positiva si un observador que la recorra
en esa direccin [y perpendicular al plano] tiene esta regin
C a su izquierda. Esta convencin produce las direcciones
que se indican
se denota mediantede
la integracin flechas en las figuras
f (z) alrededor de la 4-2, 4-3 C
frontera y 4-4. Con elpositivo.
en sentido smbolo En
especial
el caso de una circunferencia [figura
4-2], la direccin positiva es la direccin en contra de #las manecillas del reloj. A la integral alrededor de C se le suele
llamar integral de contorno. f (z) dz
C
se denota la integracin de f (z) alrededor de la frontera C en sentido positivo. En el caso de una circunferencia [figura
4-2], la direccin positiva es la direccin en contra de las manecillas del reloj. A la integral alrededor de C se le suele
llamar
4.9 integral
TEOREMA DE GREEN EN EL PLANO
de contorno.
Teorema Sean
de P(x,
Green
y) y Q(x,en el plano
y) funciones continuas con derivadas parciales continuas en una regin y en su frontera C. El
teorema de Green establece que
# !!

4.9 TEOREMA DE GREEN ENP dx

EL PLANO
 Q dy 
@Q @P
 dx dy (4.7)
@x continuas
Sean P(x, y) y Q(x, y) funciones continuas con derivadas parciales @y en una regin y en su frontera C. El
C 
teorema de Green establece que
Este teorema es vlido para regiones tanto
# simplemente conexas
!! como
mltiplemente conexas.
@Q @P
P dx  Q dy   dx dy (4.7)
@x @y
C 

Este
4.10 teorema es vlido
FORMA para regiones tanto
COMPLEJA DELsimplemente
TEOREMA conexas
DE G como
REENmltiplemente conexas.

Sea F(z, z) una funcin continua con derivadas parciales continuas en una regin y en su frontera C, donde z
x  iy, z x  iy son coordenadas conjugadas complejas [vea la pgina 7]. El teorema de Green se expresa en forma
compleja
4.10 FORMA COMPLEJA DEL TEOREMA # DE!!GREEN
@F
Teorema deF(z,Cauchy
Sea z) una funcin continua con derivadasF(z,parciales
z
) dz continuas
2i
4.14 INTEGRALES
en
dAuna regin y en su frontera C, donde
DE FUNCIONES ESPECIALES 115
z
(4.8)
x  iy, z x  iy son coordenadas conjugadas complejas [vea la @
z
pgina 7]. El teorema de Green se expresa en forma
C 
compleja
4.11
donde dATrepresenta
EOREMA DE CAUCHY
el elemento de rea .dxEdy.
#L TEOREMA !! DE CAUCHY-GOURSAT
En el problema 4.56 se presenta una generalizacin @F (4.8).
dela2iexpresin
F(z,

Sea f (z) analtica en una regin y en su frontera C. Entonces @
z dA
z ) dz (4.8)
C # 

donde dA representa el elemento de rea dx dy. f (z) dz  0 ( (4.9)

En el problema 4.56 se presenta una generalizacin C de la expresin (4.8).

Este teorema fundamental, que se llama teorema de la integral de Cauchy o simplemente teorema de Cauchy, es
vlido tanto para regiones simplemente conexas como para regiones mltiplemente conexas. Primero se demostr
con el teorema de Green y la restriccin de que f c(z) fuera continua en [vea el problema 4.11]. Pero Goursat
dio una prueba en la que eliminaba esta restriccin. Debido a esto, a este teorema tambin se le llama teorema de
Cauchy-Goursat [vea los problemas 4.13 a 4.16] cuando se desea destacar la eliminacin de la restriccin.

4.12 TEOREMA DE MORERA

Sea f (z) continua en una regin simplemente conexa y suponga que
#
f (z) dz  0 ( (4.10)
C

alrededor de toda curva simple cerrada C en . Entonces, f (z) es analtica en .

! 7 el recproco del teorema de Cauchy. Este teorema se extiende
A este teorema, debido a Morera, se le conoce cmo
a regiones mltiplemente conexas. En el problema 4.27 se da una prueba en la que se supone que f c(z) es continua en
. En el problema 5.7 del captulo 5 se da una prueba en la que se elimina esta restriccin.
 Este es independiente
teorema de la
fundamental, quetrayectoria en que
se llama teorema de laune a y z.de Cauchy o simplemente teorema de Cauchy, es
integral
vlido tanto para regiones simplemente conexas como para regiones mltiplemente conexas. Primero se demostr
con el
TEOREMA 4.2. teorema que
Suponga de Green y la dos
a y z son restriccin
puntosde que f c(z) fuera
cualesquiera en continua
y en [vea el problema 4.11]. Pero Goursat
dio una prueba en la que eliminaba esta restriccin. Debido a esto, a este teorema tambin se le llama teorema de
!z
Cauchy-Goursat [vea los problemas 4.13 a 4.16] cuando se desea destacar la eliminacin de la restriccin.
Teorema de Morera G(z)  f (z) dz (4.12)
a

4.12Entonces,
TEOREMAG(z) esDE
analtica
MORERA en y Gc(z) f (z).
AlgunasSeaveces
f (z)puede haber
continua confusin
en una debido a que
regin simplemente la variable
conexa de integracin
y suponga que z en la expresin (4.12) es la misma
que el lmite superior de integracin. Como una integral definida slo depende de la curva y de los lmites de integra-
#
cin, puede emplearse cualquier smbolo para la variable de integracin y, por esto, a la variable se le llama variable
f (z) dz  0 ( (4.10)
ficticia o smbolo ficticio. Por tanto, la expresin en (4.12) se escribe de manera equivalente como
C
!z
alrededor de toda curva simple cerrada C G(z)
en . Entonces,
f (z ) df (z)
z es analtica en . (4.13)
A este teorema, debido a Morera, se le conoce cmo el recproco del teorema de Cauchy. Este teorema se extiende
a
a regiones mltiplemente conexas. En el problema 4.27 se da una prueba en la que se supone que f c(z) es continua en
TEOREMA 4.3.. En el problema
Suponga que5.7
a ydel captulo
b son dos 5puntos
se da una prueba en laenque se
cualesquiera F c(z)
elimina
y que esta restriccin.
f (z). Entonces,
4.15 ALGUNAS CONSECUENCIAS DEL TEOREMA DE CAUCHY 117
!b
f (z) dz  F(b)  F(a) ( (4.14)
4.15 ALGUNAS CONSECUENCIAS DEL TEOREMA DE CAUCHY
Consecuencias del Teorema
4.13 INTEGRALES de a Cauchy
INDEFINIDAS
Sea f (z) analtica en una regin simplemente conexa . Entonces, son vlidos los teoremas siguientes.
Lo que
Suponga que ftambin
(z) y F (z)seson
escribe
analticasde laenmanera siguiente,
una regin y que ya conocida
Fc(z) del clculo
f (z). Entonces elemental.
se dice que F (z) es una integral
4.1.
indefinida
TEOREMA o unaSuponga
antiderivada
!!
b que
b a
de yf z son
(z), y dos
se puntos
escribe
b b cualesquiera en . Entonces,
 
F F
(z) (z)   oroor !!zb 
b
(4.15)
dzdz F(z)
F(z)  [F(z)]
[F(z)] a a F(b) 
F(b) F(a)
F(a) ( (
a a F(z)  ff (z) (z)dz
dz (4.11)
a a

1i a
!
1i
Como en el caso de las 
variables reales, dos integrales indefinidas difieren
EJEMPLO 4.2: esdzindependiente
4z 2 
 2z   21 de  2
 23i en
la i trayectoria
2
18  que
4i une a y z.en una constante. A esto se debe que se
agregue una constante arbitraria
3i c en el lado derecho de la expresin (4.11).
3i
d$

4.2. Suponga
EJEMPLO
TEOREMA que
4.1: Como y 2zson
d $ a23z dos

z 
4 sen puntos
6z  4 cualesquiera en y
cos z,, se escribe
TEOREMA 4.4. Sea f (z) una funcin analtica
3z  4 sen
dz enz una
! 6zregin
 4 coslimitada
z, por dos curvas simples cerradas C y C1 [donde
dz ! 2 la4 sen
z
C1 se encuentra en el interior de!C, (6z como 4 se
cosmuestra
z) dz  23zen figura
z  c4-6a)] y sobre estas curvas. As,
# (6z  4 cos z)G(z)
#dz 3z f (z) dzz  c
4 sen (4.12)
f (z) dz  f (z) dz a (4.16)
Entonces, G(z) es analtica
C en yCGc(z)
1 f (z).
4.14 I
donde NTEGRALES
C y C
Algunas veces puede 1 se DE
recorren FUNCIONES
en sentido ESPECIALES
positivo en relacin
haber confusin debido a que la variable condesus interioresz[en
integracin en sentido contrario
la expresin (4.12)a las
es la misma
queCon
118el manecillas
lmite
los resultadosdel
superior
de reloj
de
la en
pgina la
80figura
integracin.
[o por 4-6a)].
Como una integral
diferenciacin definida
directa] se slo
obtienen depende
los que de
se la curva
presentan y
en de
la los lmites
figura 4-5 de integra-
(sin
118 CAPTULO CAPTULO 4 INTEGRACIN
4 integracin).
INTEGRACIN COMPLEJA COMPLEJA
Y TEOREMA Y TEOREMA
DE CAUCHY DE CAUCHY
cin,
la puede
constante emplearse
de cualquier smbolo para la variable de integracin y, por esto, a la variable se
Esto muestra que si se desea integrar f (z) a lo largo de la curva C, la curva C puede sustituirse por cualquier curva variable le llama
ficticia
C1 siempre que o smbolo ficticio. Por tanto, la expresin en (4.12) se escribe de manera equivalente como
y f (z) seay analtica en la regin entre C y C1, como y en la figura 4-6a).
y
!z
C C G(z)  f (z ) dz (4.13)
a
C C
TEOREMA 4.3. Suponga que aCy1 b son dos puntos cualesquiera en y queC2F c(z) Cf 2(z). Entonces,
C 1
!b C1 C1
f (z) dz  F(b)  F(a) Cn Cn ( (4.14)
a

Lo que tambin se escribe de la manera siguiente, ya conocida del clculo elemental.

x x x
x
!b !b b b
 
 
  oroor b b
(4.15)
a) a) F F (z)(z)
dzdz F(z)
F(z)
  [F(z)] a 
[F(z)] a 
F(b) 
F(b)
b) F(a)
F(a)b) ( (
aFigura
a 4-6
a a Figura 4-6
TEOREMA 4.5. Sea f (z)
! una
funcin1ienanaltica en una regin por limitada por las curvascerradas
simples que
cerradas
no seque no se
1i 
TEOREMA 4.5. Sea f (z) una funcin analtica 2 
una regin limitada las curvas simples
EJEMPLOsuperponen
4.2: C,
4z dz C2z, C , C ,. . .
21 C
2
n,i donde C
 23i 2
, ,
C18 . .
 . ,
4iC se encuentran en el interior de C [como en la
superponen C, C1, C2, C3,. . . Cn, donde C1, C2, . . . , Cn se encuentran en el interior de C [como en
1 
2 3
3i
1 2 n la
figura
figura 4-6b)], 4-6b)],
y sobre
3i y sobre
estas estas
curvas. curvas. Entonces,
Entonces,
TEOREMA 4.4. Sea f (z)
# una funcin# # analtica # en# una regin# limitada # por dos# curvas simples cerradas C y C1 [donde
C1 se encuentra
f (z) dz enf (z)
elfinterior
dz de
(z) 
dz C,
f (z) como
dz
f (z) dz sef
(z)

muestra

dz f
en


la
(z) dzfigura
f (z)4-6a)]
dz y sobre estas(4.17) (4.17)
curvas. As,
# #
C C1 C2 Cn
C C1 C2
f (z) dz  f (z)Cndz (4.16)
Esto es una generalizacin
Esto es una generalizacin del teorema 4.4. del teorema
C 4.4. C1
! 8
donde C y C1 se recorren en sentido positivo en relacin con sus interiores [en sentido contrario a las
manecillas del reloj en la figura 4-6a)].
PROBLEMAS
Esto muestra que si se desea
PROBLEMAS RESUELTOS
RESUELTOS
integrar f (z) a lo largo de la curva C, la curva C puede sustituirse por cualquier curva
 de Cauchy y teoremas
relacionados
Frmulas integrales de Cauchy
5.1 FRMULAS INTEGRALES DE CAUCHY
Sea f (z) analtica sobre y en el interior de una curva simple cerrada C y sea a un punto en el interior de C [figura
5-1]. Entonces

1 f (z)
f (a) dz (5.1)
2p i z  a
C

donde C se recorre en sentido positivo (contrario a las manecillas del reloj).

Adems, la n-sima derivada de f (z) en z a es

n f (z)
f (n) (a) dz n 1, 2, 3,    (5.2)
2pi (z  a)n1
C

La expresin en (5.1) puede considerarse el caso especial de la expresin en (5.2) en el que n 0, si se define 0! 1.
y

a 5.2 ALGUNOS TEOREMAS IMPORTANTES 145

5.2 ALGUNOS TEOREMAS IMPORTANTES

5.2 ALGUNOS TEOREMAS IMPORTANTES 145
5.2 ALGUNOS
La siguiente es una lista de teoremas importantes que son consecuencia de las frmulas
TEOREMAS integrales de Cauchy. 145
IMPORTANTES
x

5.21. A
5.2
Teorema deTEOREMAS
ALGUNOS
LGUNOS Morera (recproco
TEOREMAS
del teorema de Cauchy) 
IMPORTANTES
IMPORTANTES
Si f (z) es continua en una regin simplemente conexa y si C f (z) dz 0 alrededor de toda curva simple
La siguiente
La siguiente es una
cerrada
es unaClista
lista
en de de teoremasf importantes
, entonces
teoremas importantes
(z) es analtica queenson
que son consecuencia
.consecuencia
Figura 5-1 de
de las las frmulas
frmulas integrales
integrales de de Cauchy.
Cauchy.
2.
1. LosDesigualdad
Teorema
resultados de de Cauchy
Morera
dados en (recproco
(5.1) y (5.2) del
se teorema
conocen de
como Cauchy)
frmulas integrales de Cauchy, y son importantes porque
1. Teorema de Morera (recproco del teorema de Cauchy) 
Suponga que (z) es
f funcin analtica en simplemente
el interior y sobre una circunferencia C, 0tiene radio el r yvalor
centro enfuncin
z a.
Si f (z) es continua en una regin simplemente conexa y si CC f (z) dz 0 alrededor de toda curva simple
Si
muestran f (z)
que es
si continua
una en unaf regin
(z) se conoce sobre una conexa
curva simpley si cerradaf (z) dz
C,
puede alrededor
hallarse de toda curva
de la simple
Entonces,
cerrada C en en entonces
todas,, sus (z) enes analtica
analtica en
y los cerrada
valores de C derivadas
entonces ff (z) es todos los en puntos .. interiores de C. Por tanto, si una funcin de una variable
compleja
2. tiene primera
Desigualdad derivada, es decir,
de Cauchy
Cauchy es analtica,
M
n en una regin simplemente conexa , todas sus derivadas de
2.
fes(n)necesariamente 145
ordenDesigualdad de
superior existen en . Esto no (a)
 n n
vlido5.20,para A 2,    TEOREMAS
1,LGUNOS
funciones de variables IMPORTANTES
reales.
(5.3)
Suponga que
Suponga que ff (z)
(z) eses analtica
analtica en en el el interior
interiorr yy sobre
sobre una
una circunferencia
circunferencia C, C, tiene
tiene radio
radio rr yy centro
centro en en zz a. a.
Entonces,
5.2 ALGUNOS TEOREMAS IMPORTANTES
donde
Entonces, M es una constante tal que _f (z) _  M
M

n
en C, es decir, M es una cota superior de _f (z) _ en C.
Teorema
La
3.de Teorema
siguiente
Morera
es una
de Liouville
lista de teoremas
(n)

ff (n)
importantes

(a)

(a)
queM
son
n
n
nn
0,
consecuencia0, 1, 1, 2,2,de  frmulas integrales de Cauchy. (5.3)
 las (5.3)
! Suponga que para toda z en el plano complejo r
rn entero, i) f (z) es analtica y ii) f (z) es acotada, es decir,
1. f (z)_ MMes
Teorema
_donde depara
una alguna
Moreraconstante constante
(recproco quedel
tal que M. Entonces
teorema
(z) M M de enf (z)
C,es
Cauchy)
es una constante.
donde M es una constante tal _ff (z)
_ _
_ en C, es decir,
decir, M M es es una una cota
cota superior
superior de _ff (z)
de _ (z)__ en
en C.
C.
4.
3. Si f
Teorema
Teorema(z) es continua
fundamental
de Liouville en una regin
del lgebra simplemente conexa y si C f (z) dz 0 alrededor de toda curva simple
3. Teorema
cerrada C de
en Liouville
, entonces f (z) es analtica en .
Toda ecuacin
Suponga que que para polinmica
para todatoda zz en P(z)
en el
el plano a 
plano complejoa z  a
complejo entero, z 2


entero, i)

 a z n
0 de grado n t 1 en la que a n es0 decir,
o tiene
Suponga 0 1 2
i) ff (z)
(z) es
n
es analtica
analtica yy ii)ii) ff (z)
(z) es
es acotada,
acotada, es decir,
2. por lo
Desigualdadmenos
M
(z)__  una
de raz.
Cauchy
para alguna
alguna constante
constante M. Entonces ff (z) (z) es
__ff (z) M para M. Entonces es una
una constante.
constante.
De estoque
Suponga se sigue
f (z) esque P(z) en0 tiene
analtica exactamente
el interior y sobre nuna races, tomando en
circunferencia C,cuenta las multiplicidades
tiene radio r y centro en zde las a.
Teorema 4.4.del races.
valor
Teorema
Teorema
Entonces,
medio
fundamental
fundamental del lgebradedel Gauss
lgebra
grado nn t
22 nn
Toda ecuacin
Toda ecuacin polinmica
polinmica P(z) P(z) aa00   aa11 zz  aa2 zz  






 aann zz 00 de
de grado t 11 enen la
la que
que aann oo 00 tiene
tiene
5. Teorema
por lo menosdel valor
una medio
raz. de Gauss M
n 2
por lo menos una raz. (n)

f (a)
 n n 0, 1, 2,    (5.3)
SupongaDe estoque
De esto se f (z) esque
se sigue
sigue analtica
que P(z) en
P(z) el interior
00 tiene
tiene r y sobrennuna
exactamente
exactamente races,
races, circunferencia
tomando
tomando en con centro
cuenta
enC,
cuenta las en a y de radio
las multiplicidades
multiplicidades de
de las
r.
las
Entonces,
donde M es una constante tal que _f (z)_ Mf (z)
races.
races. f (a) es la media de los valores de en C, en es es decir,
C, decir, M es una cota superior de _f (z)_ en C.
2p
Teorema del
Teorema 5.
3.
5. del valor medio
de Liouville
valor medio de de Gauss
Gauss 1 

u
Suponga que
Suponga que ffpara(z) es
(z) es
todaanaltica enplano
z en elen
analtica f el interior
(a)
el interior

complejo y sobre
f entero, reii)
a  una circunferencia
u es analtica
fd(z) C,ycon
ii) fcentro
(z) es en a y deesradio
acotada, (5.4)r.
decir,
2p y sobre una circunferencia C, con centro en a y de radio r.
Entonces,
_f (z)_  Mfpara
Entonces, f (a) es la
(a) esalguna media
la media de
constantelos
de los M. valores de
Entonces
valores f
de f0(z) (z)
f (z)en C,
enesC,una es decir,
es decir,constante.
6.
4. Teorema del mdulo mximo
fundamental del lgebra pp
22
11zysobre  2 una curva

simple
Suponga
Toda ecuacin que f (z) es analtica
polinmica en elf a(a)
P(z) interior
0 
a1mdulo aff2za 
re
ii
uu ddauun z
n
0 cerrada
de gradoCnytque 1 ennolaesque
idnticamente
an o 0 tiene
(5.4)
Teoremas deligualmdulo
a una
por lo menos una raz.
mximo
constante. Entonces,
y el
f del
(a)
valor p
mximo
2
2p
a
de

_ f
remnimo
(z) _ se encuentra sobre C.
(5.4)
0
7. De esto se mdulo
Teorema sigue que P(z) 0 tiene exactamente 0
n races, tomando en cuenta las multiplicidades de las
6.
6. Teorema del
Teorema del mdulo mnimo
del mdulo mximo
mximo
races.
Suponga que f (z) es analtica en el interior y sobre una curva simple cerrada CCy yque f (z) o 0 en el interior
Suponga que
Suponga que ff (z)
(z) es es analtica
analtica enen elel interior
interior yy sobresobre una una curva
curva simple simple cerrada
cerrada C y queque nono es
es idnticamente
idnticamente
de
igual C. Entonces, _ f (z)_ asume su valor mnimo sobre C.
5. Teorema
igual aa una
unadelconstante.
valor medio
constante. Entonces,
de Gauss
Entonces, el valor
el valor mximo
mximo de de __ff (z)
(z)__ se se encuentra
encuentra sobre
sobre C.
C.
8.
7. Teorema
Suponga que
Teorema del
del argumento
f (z) es analtica
mdulo mnimoen el interior y sobre una circunferencia C, con centro en a y de radio r.
7. Teorema del mdulo mnimo
Sea f (z)
Entonces, analtica
(a) es en
la el
mediainterior
de en
losy el
sobre una
deyycurva simple cerrada C, salvo en Cun nmero finito de polos en
Suponga que
Suponga f
que ff (z)
(z) eses analtica
analtica en elvalores
interior
interior (z) en
fsobre
sobre C, es
una
una curva
curva decir, simple
simple cerrada
cerrada C yy que
que ff (z) o 00 en
(z) o en el
el interior
interior
el interior de C. Entonces,
de C. Entonces, _ _f (z)__ asume su valor mnimo   2psobre C.
1 1f (z)  iu


8. Teorema del argumento f (a) f a Nre
dz Pdu (5.4)
(5.5)
Sea f (z) analtica en el interior y 2pi una
sobre 2p f curva
(z) simple cerrada C, salvo en un nmero finito de polos en
! C 9 0
6. el
dondeinterior
Teorema de
N ydel C. Entonces,
mdulo
P son, mximo
respectivamente, el nmero
  de ceros y el de polos de f (z) en el interior de C.
Suponga que f (z) es analtica
Una generalizacin de esteen el interior
teorema fy(z)
1 se presenta sobre en una curva simple cerrada C y que no es idnticamente
dz Nelproblema P 5.90. (5.5)
igual a una constante. Entonces, el 2 valor
pi mximof (z) de _f (z)_ se encuentra sobre C.