Derivacion Integracion

2.
D if erenciaci n o
Al igual que en c lculo ordiario, en variable compleja hay tres herramientas fundamentales. Difera enciaci n, Integraci n y series de potencia. En ste y el pr ximo captulos veremos esos temas en o o e o el contexto de variable compleja y luego mostraremos las relaciones que existen entre ellos. La cama de piedra de la teora de funciones complejas es la noci n de una derivada compleja. La o operaci n de dif re nc iac i n sobre funciones complejas se construye de manera an loga al caso o e o a real. Esto es, mediante un proceso de lmite cuya de nici n tiene la misma estructura que en o variable real, sustituyendo la expresi n en valor absoluto j x o aj < y j f( x) L j < " por los m dulos de cantidades complejas similares, j z aj < o y j f( z) L j < " . Sin embargo, a pesar de esta semejanza tan super cial, la dif re nc iac i n comple j es una teora profundamente diferente, e o a que presenta una elegancia y profundidad no compartida por su progenitora real. Para citar una fortaleza de variable compleja, recordemos que en variable real, si un funci n es diferenciable una o vez, necesariamente no existe una segunda derivada, como es el caso de la funci n de nida por o

f( x) =
x =2 ; x =2 ;
si x
0
si x < 0 .
Ella es diferenciable en cero, pero no la podemos diferenciar dos veces. En contraste, como veremos, si una funci n compleja es diferenciable, entonces es in nitamente diferenciable. o En esta secci n veremos diferenciaci n compleja y algunos de sus grandes resultados como las o o ecuaciones de Cauchy-Riemann y funciones arm nicas. o
2.2.1
L mite y continuidad
El valor absoluto mide la distancia entre dos n meros complejos. As, z y z est n muy pr ximos u a o cuando j z z j es muy pequeno. Con esto en mente, el lmite de una funci n compleja se puede o de nir como sigue.
D EFINICI O N 2 0
Suponga que a y z son complejos y que f :
+.
Entonces,
lim f( z) = L
c
, ( 8" >
0) ( 9 > 0) : ( j z
cj <
) j f( z)
Lj < "
Notemos que, como en el caso real, no es necesario que f( z) = L o a n m s, que f( z) est de nida u a e en c. Si todo esto ocurre simult neamente, se dice que f es continua en c. Concretamente, a
D EFINICI O N 2 1
Se dice que f :
+
z
+
81
es
continua en c si
lim f( z) = f( c)
c
82
2.
C lculo dif encial comp a er lej o
Hay tres condiciones implcitas en la de nici n. o 1)

f
es continua en
z
si:
c
( ) est de nida; a
c
2) lim ( ) existe, y
z
c
3) lim ( ) = ( ) .
c
D EFINICI O N 2 2
Si una funci n compleja o un punto singular, o una singularidad de .

f
no es continua en un punto
,
se dice que
es
Una funci n es continua en un subconjunto de , si lo es en cada punto del conjunto. Si es o continua en , se dice simplemente que es continua. Es f cil ver que ( ) = + es continua, a si y s lo si, sus partes real e imaginaria, y , tambi n lo son. Tambi n es f cil mostrar que las o e e a z funciones usuales , , ( ), ( ), j j y son continuas. Como en el caso real, es f cil a mostrar que las combinaciones algebraicas de funciones complejas continuas, tambi n son continuas. e As, cualquier polinomio ( ) es continuo y cualquier funci n racional ( ) = ( ) ( ) es o continua donde ( ) sea diferente de cero. Adem s, si dos funciones complejas son continuas, a tambi n lo son sus operaciones algebr icas donde ellas est n de nidas. e a e
+
e
iv
Re
Im
=Q
2.2.2
D eri v adas
com pl ejas
La derivada de una funci n real, = ( ) , describe un cambio local de la funci n; su derivada, o o ( ) , describe la razon de cambio en con respecto a un cambio in nitesimal en . Para una funci n compleja, o = ( ) , un cambio en ocasiona a un cambio en la magnitud de ( una dilataci n o contracci n) o en su argumento ( un giro en sentido horario o antihorario) , o en ambos. o o Aunque no estamos en condiciones de entrar en los detalles del signi cado geom trico de la derivada e de una funci n compleja, o : ! , la de nici n y manipulaciones algebraicas siguen el o mismo patr n de los resultados para funciones de variable real. o
y f x f x y x w f z z w f
D EFINICI O N 2 3
n mero complejo u
+,
Se dice que una funci n compleja o si existe el lmite

z
es diferenciable en un ( 20)
f z
En este caso, cambio de variable si, existe el lmite
z el lmite se denota por (

f z
lim
( )
z z
( )
z
+ , con
h
en . Haciendo el ) , y se llama la derivada de complejo, se tiene que ( ) es diferenciable en si y s lo o

z f z z
(
)
= lim
h

+ )
h h
( )
z
Si una funci n es diferenciable en todo punto de o
+, se dice simplemente que

d f z dz z
es diferenciable. Una
z
notaci n alterna para la derivada de una funci n es o o ( ) . El hecho clave detr s de la de nici n a o anterior es que el valor del lmite es independiente de la manera como converge a . En la recta real hay s lo dos direcciones de aproximaci n de un lmite: desde la derecha o desde la izquierda. o o
2.2
Dif enciaci n er o
83
De ah surgen los conceptos de derivadas laterales y su igualdad es necesaria para la existencia de la derivada usual de una funci n. En el plano complejo existe una variedad in nita de direcciones o de aproximaci n a un punto, y la de nici n requiere que todas esas derivadas direccionales sean o o iguales. Esta es la raz n para la m s severa restricci n de la derivada compleja y, en consecuencia, o a o la fuente de sus notables propiedades.
D EFINICI O N 24 Si f : es diferenciable en cada punto de una vecindad de un complejo z , se dice que la funci n es analtica en dicho punto. o NO TA
. Si una funci n es analtica tambi n se dice que es holom rfa . La noci n de funciones o e o o analticas es fundamental en variable compleja. Una expresi n m s adecuada y ventajosa de o a analiticiadad usa el concepto de series in nitas, el cual consideraremos m s adelante. Toda funci n a o constante f( z) = c es diferenciable y su derivada es f ( z) = 0. Adem s, la funci n f( z) = z a o tambi n es diferenciable, ya que en este caso, e f ( z) = lim z c f( z) z f( c) z = lim z c z c c = lim 1 = 1 c z c
2.2.3
Algebra de derivadas complejas
Las f rmulas para diferenciar sumas, productos, cocientes, inversas y compuestas de funciones o complejas, son todas id nticas a las de su contraparte real. Por ejemplo, si n es un racional no e cero, entonces d n z = nz n z

Adem s, todas las t cnicas para computar derivadas de funciones reales se aplican al caso complejo. a e Aqu presentamos las m s usuales: a 1 ) ( Regla del factor constante) Si f( z) es diferenciable y c es una constante, entonces, cf( z) es diferenciable y ( cf( z) ) = cf ( z) . 2) ( Regla de la suma ) Si f( z) y g( z) son diferenciables, entonces, tambi n f( z) + g( z) es e = f ( z) + g( z) . diferenciable y ( f( z) + g( z) ) 3) ( Regla del producto ) Si f( z) y g( z) son diferenciables, entonces, tambi n lo es f( z) g( z) e y ( f( z) g( z) ) = f ( z) g( z) + f( z) g( z) . 4) ( Regla del cociente ) Si f( z) y g( z) son diferenciables, entonces, tambi n lo es f( z) =g( z) e siempre que g( z) $ 0 y = f( z) f ( z) g( z) f( z) g( z) = g( z) ( g( z) ) 5) ( Regla de la cadena ) Si f( z) y g( z) son diferenciables, entonces, tambi n lo es f( g( z) ) e siempre que est de nida, y e
84
2.
( ( ( )) =
f g z
( ( )
g z
( )
z
6)
( Regl a de l a funci n i nversa) Si ( ) es diferenciable y uno a uno, con derivada no cero, o la funci n inversa o ( ) tambi n es diferenciable y e
f z f z
( )) =
z f
(
1
f
( z) )
z nz
Una aplicaci n de las reglas anteriores y la f rmula ( n) = o o ciabilidad del polinomio

P
, permite mostrar la diferen-
( ) =
z
( ) =
z
n+
z
na
z
+
a
+(
1) n
z
+ n
z
;
a
y

:
+ +
2.2.4
Ecuaciones de Cauchy-Riemann
Uno de los resultados m s importantes en Variable compleja es el contenido de las ecuaciones de a cauchy-Rieman, que dan las condiciones para que una funci n tenga una deri va co mpl eja. o Muchas funciones simples no tienen derivadas complejas, como es el caso de efecto, veamos que, para ning n complejo , existe u
z f
( ) =
z
Re
( ) . En
z
lim h Tomemos Entonces,

z
( +
z
( )
z
= + , de modo que ( + ) = + y as,

a bi z t a t f z
( ) =
z
Primero tomemos
como un real, digamos
= .
t
( +
( )
z
= 1
h
De modo que si el lmite existe debe ser 1 . De otro lado, tomando ( + ) = . En este caso,
f z it a f
it
, se tiene
( +
z
) =
( +
z
( )
z
( +
z
it
( )
z
= 0
it
it
Luego, si el lmite existe debe ser 0. Ya que el lmite debe ser u nico, no existe el lmite y por tanto la funci n o ( ) = ( ) no es diferenciable. Entre otras funciones simples que tampoco tienen derivada compleja est n, a ( ) = ( ), ( ) = j j y ( ) = .
f z Re z f z Im z f z z f z z
Estos resultados motivan los siguientes interrogantes: Cu ndo una funci n compleja a o Si ( ) = ( ) + real e imaginaria?
f z u x; y iv f
( ) =
z
iv
es diferenciable?
f
x; y
) es diferenciable Qu nos dice su derivada e
( ) sobre sus partes

z
2.2
Dif enciaci n er o
&#
Amb os interrogantes tienen su respuesta en dos ecuaciones que relacionan las derivadas parciales de
u
v,
las cuales fueron descubiertas indep endientemente p or el franc s A. L. Cauchy y el Alem n e a
G . F. Riemann.
Sup ongamos que
( z ) existe en un punto
del plano complejo
Entonces su derivada se puede
calcular a lo largo de cualquir recta horizontal o vertical.
A s deb e cumplirse que ,
( z ) = lim J
f( z
t) t
f( z)
= lim J
f( z
it ) it
f( z)
en donde se tiene:
es un n u mero real.
Expresando la funci n en t rminos de sus partes real e imaginaria, o e
A lo largo del eje real,
lim J
f( z
t) t
f( z)
= lim J
u( x
t; y)
iv ( x
t; y) t
u ( x ; y)
v ( x ; y)
= lim J D e modo que
u( x
t; y) t
u ( x ; y)
lim J
v( x
t; y) t
v ( x ; y)
@u
@v
=
@x
i @x
@u
@v
( z) =
@x
i @x
( 21 )
D e otra parte, tomando la derivada a lo largo del eje imaginario nos da
lim J
f( z
it ) it
f( z)
= lim J
u( x; y
t)
iv ( x ; y
t)
u ( x ; y)
iv ( x ; y)
it
= lim J
u( x; y
t) it
u ( x ; y)
+ lim J
iv ( x ; y
t) it
iv ( x ; y)
@u
@v
i @y
+
@y
Esto es ;
@u
@v
( z) =
i @y
+
@y
( 22)
Igualando las partes real e imaginaria en que comp onen

f( z)
( 21 ) y
( 2 2 ) , descubrimos que las partes real e imaginaria
deb en satis facer dos ecuaciones diferenciales parciales, llamadas de
Cauchy-
Riemann,
en honor de August L. Cauchy y Bernhard Riemann.
Este es el contenido del siguiente
TEOREMA 10
Si una funci n compleja o
f( z)
iv
es diferenciable en
z,
entonces sus
partes real e imaginaria satisfacen las famosas
Ecuaciones de Cauchy-R iemann

@u @v @v ; @y @x @u
=
@x
=
@y
Adem s, a
@u
@v
@v
@u i
( z) =
@x
i @x
=
@y
@y
&$
2.
Notemos que las ecuaciones de Cauchy-Riemann son dos ecuaciones que relacionan las derivadas parciales de las partes real e imaginaria de una funci n compleja diferenciable. o
EJEM P L O 1 6
Para una simple ilustraci n de este teorema, consideremos la funci n f ( z ) = z : o o i) Veamos que f ( z ) satisface las ecuaciones de Cauchy-Riemann. ii) Mostremos que f ( z ) = 2 z .
S O L UCI O N
i) Lo primero que debemos hacer es expresar f con sus partes real e imaginaria: f ( z ) = u ( x; y) + iv ( x; y) . As,
f ( z ) = ( x + iy) = ( x u ( x; y) = x
y ) + i2 xy. y y v ( x; y) = 2 xy.
Luego,
De modo que
@u @ @ @v = (x y ) = 2 x = ( 2 xy) = ; y @x @x @y @y @v @ @ @u = ( 2 xy) = 2 y = (x y)= @x @x @x @y

ii) Para hallar f ( z ) aplicamos la f rmula en su primera expresi n: o o
f ( z ) =
EJEM P L O 17
@u @v +i = 2 x + i2 y = 2( x + iy) = 2 z @x @x
Mostremos que f ( z ) = e z = ex cos y + ie x sen y es diferenciable en hallemos su derivada.

S O L UCI O N
+,
@u @ x @ x @v = ( e cos y) = ex cos y = ( e sen y) = ; @x @x @y @y @ x ( e cos y) = @y @u @y
@ x @v = ( e sen y) = e x sen y = @x @x
Adem s, su derivada compleja es a
@ @ f ( z ) = ( ex cos y) + i ( ex sen y) = ex cos y + iex sen y = ez x x d z . La regla de la cadena implica que e = e z . Usando la regla de la suma y las dz iz expresiones para sen z y cos z en t rminos de e z y e , es f cil veri car que e a
NO TA
d cos z = dz
sen z ;
d sen z = cos z : dz
Vimos que cualquier funci n con derivada compleja satisface las ecuaciones de Cauchy-Riemann. El o recproco tambi n es cierto, por lo cual las ecuaciones de Cauchy-Riemann constituyen un criterio e completo para diferenciabilidad.
2.2
Dif enciaci n er o
&%
TEOREMA 11 Sea f( z) = u + iv una funci n compleja de nida en una region D . o Si u y v tienen derivadas parciales continuas con respecto a x e y y satisfacen las ecuaciones de Cauchy-Riemann, f( z) es diferenciable en D. La prueba no es difcil pero involucra una comprensi n m s detallada del signi cado de las derivadas o a parciales y de aproximaci n lineal en dos variable. o El siguiente teorema expresa algunas caractersticas simples de funciones complejas que satisfacen las ecuaciones de Cauchy-Riemann. TEOREMA 1 2 Suponga que f satisface las ecuciones de Cauchy-Riemann: 1 ) Si f ( z) es identicamente cero, entonces, f( z) es constante. 2) Si la parte real o la parte imaginaria de f( z) es constante, entonces, f( z) es constante. 3) Si j f( z) j es constante, o arg( f( z) ) es constante, f( z) es constante. NOTA . El segundo punto implica que ninguna funci n analtica no-constante puede tomar o s lo valores reales o s lo valores imaginarios puros. o o PRUEBA 1 ) Supongamos que f ( z) es id nticamente cero, con z = x + iy y f( z) = e u( x; y) + iv( x; y) . Para mostrar que f( z) es constante basta mostrar que ni u ni v cambian cuando x o y cambian: 0 = f ( z) = @v @u +i . @x @x As, @u @v = = 0. @x @x @v @u = = 0. @y @y
Por las ecuaciones de Cauchy-Riemann tambi n se tiene, e Por lo tanto, f( z) es una constante. Esto prueba 1 .
2) Supongamos, por ejemplo, que u es constante. Entonces, ecuaciones de Cauchy-Riemann implican que @v @u = = 0. De nuevo, f( z) es constante. @y @x 3) La prueba aqu es an loga pero con lneas m s complejas. a a
@u @u = = 0 y, como antes, las @x @y
2.2.5
Funciones Arm nicas o
Esta secci n la dedicaremos a ciertas funciones de nidas en dominios complejos pero que son de o valor r eal , llamadas f unc ione s arm nicas. La motivaci n para estudiarlas es que ellas satisfacen o o ecuaciones diferenciales parciales de gran aplicabilidad en ciencias fsicas, y est n muy relacionadas a con funciones analticas complejas. En t rminos generales, tanto en matem ticas como en fsica y e a
88
2.
teora de procesos estoc sticos, una f a unci n arm nica es una funci n o o o : ! dos veces continuamente diferenciable en el dominio , que satisface la ecuaci n diferencial parcial de o Laplace,
f D D
4n
( ) =
@x
( )+
( )+
@x
@x
( ) = 0
Ellas se usan para resolver problemas que involucran temperaturas de estado estable, fen menos o electrost ticos, y el ujo de un udo ideal. Esta secci n est dedicada a un sencillo pero muy a o a importante teorema que relaciona funciones analticas y arm nicas. o Para estudiar las cosas en el terreno complejo, sea ( ) = + una f unci n anal o tica y supongamos que y tienen derivadas parciales de orden 2. Entonces, usando las ecuaciones de Cauchy-Riemann y la igualdad de las derivadas parciales mixtas, resulta:
f z u iv u v @ u
@u
@v
@v
@u
@x
@x @x
@x @y
@y @x
@y @y
@y
@x
@y
En otros t rminos, e
satisface la famosa
ecuaci n de Laplace . o
@ u @ u
=0
@x
@y
Esta es una ecuaci n diferencial parcial de segundo orden, y sus soluciones se llaman funci ones o arm ni cas. As, la parte real de cualquier funci n analtica es arm nica. Adicionalmente, toda o o o vez que ( ( ) = ( ( ) ) ) , la parte imaginaria de cualquier funci n an litica es arm nica. o a o Esto lo podemos resumir en el siguiente teorema.
Im f z Re if z
TEO REM A 1 3
Si
u
( ) es analtica, entonces, sus partes real e imaginaria,

z
x; y
) =
Re
( (
f
iy
))
x; y
) =
Im
( (
f
iy
))
son funciones arm nicas. o Cada funci n compleja surge de dos funciones arm nicas. Se puede invertir este procedimiento? o o Dada una funci n arm nica ( o o ) , existe una funci n arm nica ( o o ) tal que = + es analitica? En caso a rmativo, ( ) se llama la conjugada arm ni ca de . La siguiente es una o de nici n formal. o
u x; y v x; y f u iv v x; y u
( Conjugada arm ni ca) Si o arm nica, o : ! , se dice que una funci n : o , si es arm nica y la funci n compleja ( + ) = o o : ( ) 2 g.
D EFINICI O N
u D
25
D D u
+
u
iy
es un dominio en , dada una funci n o ! es una conjugada arm ni ca de o ( )+ ( ) es analtica en f + 2
x; y
iv
x; y
iy
x; y
No siempre es f cil hallar una conjugada arm nica. En t rminos generales, para halla una conjugada a o e arm nica, las herramientas b sicas son las ecuaciones de Cauchy-Riemann. o a
2.2
Dif enciaci n er o
&'
EJEM P L O 1 8
x!
3x y
Hallemos el conjugado arm nico del polinomio arm nico dado por u( x; y) = o o 3xy + y! .
Dejemos como un simple ejercicio veri car que el polinomio dado satisface las ecuaciones de Cauchy-Riemann. Entonces, su conjugada arm nica v debe ser tal que o
S O L UCI O N
@v = @x
@u = 3x + 6xy @y
3y
Para hallar v basta integrar con respecto a x: v( x; y) = x ! + 3x y 3xy + h( y) ;
en donde la constante de integraci n h( y) es una funci n de y solamente. Para determinar h( y) o o usamos la otra ecuaci n de Cauchy-Riemann: o 3x 6xy + h ( y) = h ( y) = @v @u = = 3x @y @x 3y h( y) = 6xy y! + c ; 3y
con c
4 . De modo que la conjugada armonica de u( x; y) tiene la forma

v( x; y) = x ! + 3x y 3xy y! + c
Observe que la correspondiente funci n compleja o f( z) = u( x; y) + iv( x; y) = ( x! = (1 3x y 3xy + y! ) + i( x ! + 3x y 3xy y! + c)
i) z ! + c ;
es un polinomio c bico complejo. u

NO TAS . N ) Aunque la mayora de funciones arm nicas tienen una conjugada arm nica, o o infortunadamente no siempre ocurre as. La existencia o no de una conjugada arm nica puede o depender de la topologa del dominio. Si el dominio de una funci n arm nica es simplemente o o conexo, ella tiene una conjugada arm nica; pero si el dominio no es simplemente conexo, no puede o existir una conjugada arm nica de valor unico, que sirva como la parte imaginaria de una funci n o o compleja f( z) . Se puede probar que, esencialmente, toda funci n arm nica surge como la parte o o real de una fuci n analtica, y como tal tiene una conjugada arm nica. El u nico problemita es o o que la funci n analtica asociada puede ser multivaluada aunque la arm nica sea univalente. El o o ejemplo cl sico es la parte real del logaritmo complejo, a
Re( log z) =
1 ln( x + y ) 2
'
2.
Un simple c lculo ( que se deja como ejercicio) muestra que esta funci n es arm nica en el dominio a o o no-simplemente conexo D = n f 0 g . De otro lado, la funci n arm nica o o
u( x; y) =
x x +y
est de nida en el mismo dominio no-simplemente conexo, D = a x = y = 0. Pero en este caso, u tiene una conjugada arm nica o v( x; y) = y x +y
+ n f 0 g , con una singularidad en
de nida en todo D. En verdad, las funciones u y v son las parte real e imaginaria de f( z) = 1 =z. Alternamene, se puede probar que u y v satisfacen las ecuaciones de Cauchy-Riemann. N ) En el plano perforado C n f 0 g , el logaritmo complejo es, en esencia, el u nico contraejemplo que se previene de tener una conjugada arm nica. En realidad, aunque no lo haremos aqu, se o puede mostrar que si u( x; y) es una funci n arm nica de nida en el disco perforado D = f z 2 o o : 0 < j z j r g , con 0 < r 1 , existe una constante c tal que u = u( x; y) c log r tambi n es e arm nica y posee una conjugada arm nica de valor, v = v( x; y) , y, como un resultado, la funci n o o o f( z) = u + iv es analtica en D , y as, la funci n original u( x; y) es la parte real de la funci n o o analtia multivaluada f( z) = f( z) + c log z.
Uno puede generar cantidades de funciones arm nicas tomando la parte real o imaginaria de o funciones analticas. La conexi n entre funciones arm nicas y an liticas, es una raz n para la o o a o importancia del estudio de Variable Compleja. Una fuente de funciones arm nicas son los monomios o complejos b sicos, a z n = ( x + iy) n = u n( x; y) + iv n( x; y) Las partes real e imaginaria de un monomio complejo se conocen como comple j os, de los cuales damos una pequena lista: zn z = 1 z = x + iy z = ( x + iy) z ! = ( x + iy) ! u n( x; y) u ( x; y) = 1 u ( x; y) = x u ( x; y) = x u ! ( x; y) = x ! y 3xy v n( x; y) v = 0 v ( x; y) = y v ( x; y) = 2xy v ! ( x; y) = 3x y y!
p olin mios arm nicos o o
Ahora bien, si escribimos z = rei , entonces la f rmula de E ler nos da o u z n = r ne in = r n cos( n) + ir n sin( n) ; De ah se sigue que
2.2
Dif enciaci n er o
'
u n = r n cos( n ) ;
y v n = r n sin( n ) ;
son soluciones de la ecuaci n de Laplace. Este resultado nos dice que los polin mios arm nicos o o o son justamente las soluciones separables en coordenadas polares para la ecuaci n de Laplace. o Para dar un ejemplo m s so sticado de funciones arm nicas, consideremos la funci n racional a o o f( z) = ( z 1 ) =( z + 1 ) :
f( z) =
z 1 ( z 1 ) ( z + 1 ) j zj + z z = = z + 1 (z + 1)(z + 1) jz + 1j x +y 1 2y +i (x + 1) + y (x + 1) + y
Tomando z = x + iy y sustituyendo en la expresi n anterior se obtiene, o
f( z) =
por lo tanto, las funciones
u ( x; y) =
x +y 1 ; (x + 1) + y
y v ( x; y) =
2y ; (x + 1) + y
son arm nicas, esto es, resuelven la ecuaci n de Laplace. o o La f rmula de E ler para exponenciales complejas ez = ex cos( y) + ie x sin( y) genera dos imporo u tantes funciones arm nicas: o
ex cos( y) y ex sen ( y) :
En general, la expresi n e z para una constante o = a + bi, produce la funci n o
e z = eax by cos( bx + ay) + ieax by sin( bx + ay) :

Sus partes real e imaginaria son arm nicas para reales arbitrarios a y b. o Las funciones trigonom tricas complejas satisfacen las siguientes expresiones: e cos( z ) = sin( z ) =
eiz + e iz
2
= cos( x ) cosh( y)
i sin( x ) sinh( y)
eiz
e iz = sin( x ) cosh( y) + i cos( x ) sinh( y) 2i
Las arm nicas resultantes son productos de funciones trigonom tricas e hiperb licas. Notemos que o e o cuando z = x es real, de modo que y = 0, esas funciones se reducen a las trigonom tricas reales e usuales cos( x ) y sen ( x ) . EJERCICIO 64 Las siguientes propiedades son de gran uso en aplicaciones. a) Muestre que las derivadas parciales de una funci n arm nica son funciones arm nicas. o o o b) Suponga que u y v son arm nicas y 2 . Pruebe que u + v es arm nica. o o
2. 3
S eries
de p otenc ias
2 . 3. 1
Radio de
convergeni ca
De variable real sabemos muy bien que toda funci n ( ) con derivadas de todo orden ( in nitao mente diferenciable, o analtica) se puede expresar por una serie de potencias
f x
( ) =
x
:
n= 0
f
con
&
Normalmente, la serie s lo converge a ( ) en alg n intervalo de convergencia centrado en el origen, o u . Pero, c mo depende o , ( el radio de convergencia) de ( ) ? En la recta real esa relaci n es todo un misterio. No obstante, en el plano comlejo las cosas son muy simples. Para o develar el misterio, consideremos las funciones
x R < x < R R f x g
( ) =
x
1 1
2 x
;
( ) =
x
1 1 +
x
A partir de la expresi n familiar para la serie geom trica, o e 1 1 se obtiene ( ) =

x x
:
n= 0
con
<
x <
( 23)
:
n= 0
2n
( ) =
x
:
n= 0
1)n
2n
y ambas series convergen en el mismo interevalo.
y = h(x)
y = | g (x) |
x
-1 ( convergencia ) 1
-1
( convergencia )
(a) g. 32 92
(b)
23 .
S er es de p i otenci as
'!
Para entender mejor el intervalo de convergencia de la serie para ( ) , miremos la gura 32-a. La serie se vuelve divergente en = 1 simplemente porque esos puntos son singularidades de la funci n misma; en efecto, j ( ) j se vuelve in nito en esos puntos. Ahora bien, con respecto a o ( ) , si nos jamos en la gura gura 32-b, de acuerdo con su gr ca no parece existir alguna a raz n para que la serie no funcione en = 1 , pero no funciona. La pregunta entonces es: Si o es analtica en todo el eje real, por qu su serie diverge para j j e 1?
g x x g x h x x h x >
i R R -1 0 a 1 -1 0 a 1 R
-i (a) g. 33 Para entender mejor esta situaci n, expandamos las funcio nes al rededor de un punto o
lugar de = 0) . Si tomamos una nueva variable, digamos transformar como
x X
(b)
= 1
= ( en , la funci n en 23 se puede o
x a
1 1
x
1 1 (
X
+ )
a
1 1
a
X 1 a
y as, la serie en 23 toma la forma 1 1 v lida para a

X x
1 1
a
n
a
n=0
(1
n
)
n=0
(1
n+1
( 24)
1 , esto es, para j j j 1 j . As, su radio de convergencia es precisamente 1 la distancia a la singularidad. Ahora la idea es aplicar este resultado a ( ) . Para ello factorizamos y descomponeos en fracciones parciales:
< X < a a g x g
1 1 1
x
2 = (1
= 1 2
<
:
)(1 + )
x
2 = 2 1
1
x
1 1 +
a x
1 (1
a
n=0
n+1
1 (1 + )
a
n+1
lo cual se cumple s lo si o est dado por a
j j
X
<
j1
j j
X
j1 + j .
a
De modo que el intervalo de convergencia
94
2.
R
N ot emos ahor a, el que
= min
fj
aj ; j
aj g :
pr xima de o
es
la dis tancia de
a la s ingular idad
m s a
Sin
t ener
en
cuenta,
p or
dis co s ombreado,
es t e r es ult ado s e capt a f cilment e mir ando la a
gur a
3 3 -a.
Con
r es p ect o
la
funci n o s erie
r eal al
h x
(
deb o de de
s er =
fr anco;
no
me
imagino
un
me todo alguno ver
agr adable de los el
par a
expandir la de
como
una
r ededor el
x
la
De o
t odos el = de
modos , la + r az)
us ando se Si
criter ios r adio de
conver gencia
conocidos
( como
r az n o
convergencia de s umer gida en el
la s erie es t a dada p or plano complejo,
la f r m o ula, la
p
1
puede
que
a2
jos
t omamos
la r ecta r eal
como indica
gur a
3 3 -b,
p odemos
inter pr etar
como la dis t ancia del centr o origen
a a
como +
a2
del es
a cuales quier a de dos En , es os
p er p endicularment e a la recta. a
pr ecis amente la dis tancia de
+
(
punt os
fuera de la recta,
una unidad lo cual
puntos
s on
precis amente
con
El
mis t er io queda r evelado cuando nos )
jamos
at ent ament e
en
la
funci n o
z2
la cual coincide con la funci n real o 3 2 -b mues tr a ( ) = y 1 que
gur a
compleja una en
h z z i
=
(1 +
la
ot ra
en
h x z2 z
( ) ,
h x
cuando s e r es t r inge real que se
compleja h z
( bien, par a
(1
al eje r eal. muy
Mientr as la la
gur a
) es =
es
una
funci n o
comp or ta
funci n o
m uy clar o que
h z
( en
tiene dos s ingularidades la gur a 3 3 -b. El
en el plano complejo, ha des apar ecido!
mos t r adas
mis ter io
Tant o en
3 3 -a como en
3 3 -b,
el radio de convergencia es la dis t ancia a la s ingular idad m s cer cana. a
Es t e es
un
indicat ivo de
las
cos as
que revela y puede
r evelar
la extens i n o
de la t eor a de s eries
de
p otencias r eales al plano complejo. r eal ( 1 + Son las
En es t e momento p odemos explicar p or qu , e
aunque la funci n o 1
x2
es anal t ica en todo el eje r eal, complejas las
s u s er ie de t aylor converge s lo en el int er valo ( o su r adio de convergencia cuando
s ingularidades
que r es tr ingen
j xj >
1 ).
1 .
A hor a bien, 0, digamos
s i expandimos = 1 + 2
z0
dir ect os de
dan
ji
convergencia
es
z0 j
z2
+ 1 )
en una s er ie de p otencias
alr ededor
de un
punt o dis t int o de Los c mputos o que el r adio su
neces it amos det er minar cu l es a = 2, mientr as N otemos de que
p p
i
fue
z0 j
la s ingularidad m s cercana. a = 1 0, hallar de donde se
s igue
2.
que
no
neces ar io
una
f rmula o
expl cita
para
expans i n o
de Taylor
alr ededor
z0
N at ur alment e, cia, o m s , a que
en var iable compleja el r adio de convergencia de una s er ie t iene la mis ma imp or tanpar a las s er ies al r eales , y , de hecho, los cr it erios de conver gencia us ados la convergencia. en var iable
r eal s e pueden
ext ender
dominio complejo,
par a det erminar
P ar a una s er ie
de p ot encias
compleja hay tr es
i)
La s er ie converge para t odo
en
p os ibilidades :
ii)
Converge
en
un
dis co abier to en
de
centr o
z0
radio en
diver ge punt os
para
todo
con
La s er ie puede converger
algunos ,
y diver ger
otr os ,
de la fr ontera
jz
jz
z0 j > z0 j
= .
iii)
La s er ie conver ge s lo t r ivialmente en o
z0
El n u mer o
s e conoce como el
radio de convergencia
s e dice que es la s er ie
mientr as
que s i ocurr e iii)
U n ejemplo t pico par a el cas o iii) fr ontera hay conver gencia es
2 n
=
de la s erie.
Cuando ocur r e i) ,
s e dice que
0,
=1
n zn
!
y la s er ie no r epres enta una funci n anal t ica. o . En el cas o ii) , aqu . det er minar en qu puntos e
delicado,
y no lo tr at aremos
23 .
95
Ilustraciones I1 ) La teora sobre series de potencias discutida en c lculo elemental, se pueden trasladar c moa o
damente a versiones complejas. As,
ez =
zn ; n! n=0
:
proviene de la serie de Taylor para la funci n exponencial real al rededor del origen. Para ver que o la serie converge para todo z 2 basa usar el criterio de la raz n. En efecto, o
(n + 1)!
j z j n+1
j zj n
n!
1 1 1
n! j z j n+1 j zj = !0 ( n + 1 ) ! j zj n (n + 1)
I2 ) La funci n compleja f ( z ) = o
z z
=
:
tiene la expansi n en serie de potencias: o
n=0
zn ;
para
j zj <
Con el criterio de la raz se puede mostrar que esta serie converge para j z j > 1 . El criterio es inconcluyente para j z j = 1 .
j zj <
1 y diverge cuando
I3 ) De otro lado, con el critero de la raz n, se puede ver que la serie de potencias o z2 + 1
1 = k=0 ( 1 ) kz2k
:
( 25)
converge dentro del disco unitario, j z j < 1 , y diverge fuera de l, donde j z j > 1 . El criterio de la e raz n es inconcluyente cuado j z j = 1 . Para determinar convergencia en la frontera, se requieren o tratamientos m s avanzados. a
. Es conveniente tener presente que el radio de convergencia de una serie de potencias, para una funci n compleja conocida, se puede determinar por inspecci n, sin recurrir a alg n o o u so sticado criterio de convergencia: es la distancia de z 0 a la singularidad m s cercana de a f ( z ) . Esto explica por qu la serie de Taylor para e z converge en todas partes; en efecto, ez no e tiene singularidades, lo que nos llevara hasta in nito tratando de hallar una posible singularidad. En efecto, e z es analtica para todo z 2 y no tiene singularidades, de modo que el radio de convergenicia de su serie de potencias, centrado en cualquier punto z0 , es = 1 .
NOTA
E J E R C IC IO S
65.
D una prueba completa del corolario 1 del teorema fundamental del Algebra e
Determine si la funci n o ( Por qu ?) . e

66.
f ( z ) = z=z es o no continua en 0. Es analtica donde est de nida? e
96
2.
67.
P rueb e que la funci n o
f( z)
j zj
no es anal tica en ning n dominio. u
68.
Us e las ecuaciones de Cauchy-Riemann para mostrar que la funci n o
dada p or
f( z)
j zj z
no es anal tica en ning n punto del plano complejo. u
69.
Si
f( z) h( z )
= log
z,
con
<
arg(
z ) < 2 , z ) < ,
muestre que
f ( z ) h ( z )
= 1
=z . z

.
70.
Si
con
<
arg(
muestre que
71 .
x y
Si
z = x + iy , i 6x y .
determine la regi n de diferenciabilidad y la de analiticidad de o
f ( x + iy)
72.
Si
para
f ( z ) = u ( x; y) + iv ( x; y) v ( x; y) . f( z)
es anal tica con
u ( x; y)
x! f
x + axy
halle una expresi n o
73.
Us e las ecuaciones de Cauchy-Riemann para mostrar que
es entera, con
f ( x + iy)
=
e O cos x + ie O sen x
con
7 4.
Exprese la funci n compleja o
f( z)
z+
z 6 0, =
+
en la forma
f( z)
u ( r; ) + iv ( r; ) .
75.
Halle la regi n dentro de la cual o
f ( x + iy)
j xj
j yj i
es anal tica.
76.
Sea
f( z)
u + iv
una funci n anal o tica.
Recuerde que su Jacobiano,
J( f ) ,
es la funci n o
dada p or el determinante
@ ( u; v ) @ ( x; y)
@u @x @v @x
@u @y @v @y J( f )
=
j f ( z ) j
77.
Muestre que las siguientes funciones son enteras:
i) ii)
x + y + i( 3 y + x ) ; e O sen x ie O cos x ;
3 ( Fo rma
p o l ar de l as
ii) iv)
sen
x cosh y + i cos x senh y : N e EO . (z 2) e

de C auchyRi emann )
78.
en una vecindad de
z = r eE , v
1
ecuaci o nes
Sup onga que
es diferenciable
con
f( z)
y que
u ( r; ) + i v ( r; ) ; r; ) .
.
uH ; vH ; u ;
a)
existen y son continuas en una vecindad de (
P rueb e:
uH =
v ; r
=
u
3
r vH :
= 3
b) f ( z ) x y y!
e E ( u H + i v H )
x! una conjugada arm nica de u . o

79.
Muestre que
u ( x; y)
xy v ( x; y)
son funciones arm nicas y que o
es
23 .
97
80.
P rueb e que
u ( x; y)
x2
y2
es arm nica y halle una conjugada arm nica. o o
81 .
Con las ecuaciones de Cauchy-Riemann, prueb e que
f( z)
z3
es anal tica y que
f ( z )
= 3
z2
82.
f( z)
no es anal tica ( en ning n u
punto del plano complejo) .
83.
P rueb e que
u ( x; y)
xy3
x3 y u ( x; y)
es una funci n arm nica y halle su conjugada arm nica. o o o
EJERCICIO 84 EJERCICIO 85
tal que
Muestre que
= ln(
parte real de una funci n o
anal tica en
x2
f0g .
y2 )
es arm nica en o
f0g ;
p ero que
no es la
Muestre que
u ( x; y)
ex
sen
es arm nica en o
Re ( f )
u.
, y halle una funci n entera o
86.
Si
funci n o
z est dada exp onencialmente p or z = r e i , a f ( z ) es, f ( r ei ) = R( r; ) ei( r; ) , R( r; )

y (
entonces,
la forma exp onencial de una
en donde
r; )
son funciones diferenciables de
.
Muestre que las siguientes son las ecuaciones de Cauchy-Riemann en forma p olar:
@R @r
87.
R @ r @
@R
r @
@ @r
: z0
= 0 , para las funciones
Halle los primeros tres t rminos de la serie de Taylor, al rededor de e
dadas, y determine sus radios de convergencia:
f( z)
88.
1 + 1
z z
g( z )
ez z
1
Halle el conjunto de
para los cuales se satisface la expresi n, o
1 4
z2
1 4
:

zn
4
n= 0
: ij < :
89.
Muestre que la siguiente identidad es v lida para a
1 1
:
.
jz
i) n
2 .
( (1
n= 0
i) n+ 1
90.
Si
f( z)
= 1
z f
halle el valor
f ( 10) ( i)
91 .
Suonga que
es una funci n o
anal tica en
z
=
= 0 ,
y que
f ( 0)
P rueb e que existe
f ( 0 )
f " ( 0) f( z)
=
= 0
:
en una vecindad de 0 .
g,
anal tica en
= 0 , tal que
z 3 g( z )
Cap tulo
INTEG RACIO N CO MPLEJA
Introducci n o
Toda la magia y poder del C lculo se basa en el hecho que dife re nc iac i n e integrac i n son opea o o raciones inversas. Pero como las funciones complejas disfrutan de propiedades de diferenciabilidad muy notables, no compartidas por su contraparte real, la belleza sublime de integraci n compleja o va m s all de su contraparte real. Esta secci n est dedicada a desarrollar las bases de la teora a a o a de integraci n compleja y presentar unas pocas de sus miles aplicaciones. o Como sabemos, la integral de nida de una funci n real, = f( x) dx se eval a sobre un intervalo o u [ a; b] de . En variable compleja, las integrales se toman a lo largo de curvas en el plano complejo, y son muy parecidas a las integales de lnea que aparecen en C lculo vectorial real. La conexi n a o entre ambas teoras se obtiene identi cando un complejo z = x + iy con el vector = ( x; y) del plano Euclidiano .
R>
El caso m s simple de integraci n compleja ocurre cuando se tiene una funci n de un intervalo a o o real sobre el plano complejo, digamos : [a; b] . Como ( t) es un complejo, entonces, ( t) = x( t) + iy( t) , en donde x( t) e y( t) son funciones reales simples. La integral de nida de la funci n compleja ( t) es, de hecho, el par ordenado de las dos integrales conocidas desde los das o del C lculo ordinario. Concretamente, a
Z>
=
( t) dt =
Z>
=
x( t) dt + i
Z>
=
y( t) dt
( 26)
(t )
t
1 g. 34
EJEMPLO 19 Tomemos la funci n o ( t) = ( t + 1 ) + it! , con 0 t 1 . La funci n convierte o 98
x
2
3. 1
I nteg al r es de contor no
99
el intervalo [ 0; 1 ] en una curva del plano, como se muestra en la gura 34. La integral de
Z
sobre su intervalo de de nici n es entonces, o

Z
( t) dt =
( t + 1 ) dt + i
t =
t! +t 3

t" + 4

" !
+ i "
De variable real es bien conocida la siguiente desigualdad para intetrales ( la versi n continua de la o disigualdad triangular) :
Z
>
f( x) dx
>
j f( x) j dx :
Esta desigualdad se extiende a integrales compleja en el siguiente teorema: a t b, entonces,

TEO REM A 14
Si ( t) es una funci n compleja que depende de una variable real t con o

Z
>
=
P RUEBA
( t) dt
>
j ( t) j dt :
( Ejercicio)
3. 1
Integrales
de c ontorno
Hasta ahora no hay nada nuevo bajo el sol. Las cosas se ponen m s interesantes si consideramos a una honesta funci n compleja. Pero antes de continuar, recordemos unas nociones simples de o C lculo multivariable. a Si : [a; b] ! es continua, la imagen de [a; b] bajo se llama un arco, o una curva parametrizada por . Es decir, una curva C en el plano , est parametrizada por a una funci n continua : [a; b] ! o , si ( [a; b]) = C, esto es, para todo z 2 C, existe t 2 [ a; b] tal que ( t) = z .
D EFINICI O N 2 6
Se dice que una curva C es un arco simple si no se cruza a s misma. Si C tiene como dominio un intervalo cerrado, a t b, con z( a) = z( b) , se dice que C es una curva cerrada simple ( o un arco cerrado simple) . Adem s, C es un arco suave si z ( t) existe y es continua en [a; b] y a z ( t) 6 0 en ese intervalo. =
1 00
I nteg raci n Comp a o lej
arco
arco simple
arco cerrado simple
contorno
contorno cerrado simple

g. 35
Un contorno o camino es un n mero nito de arcos suaves unidos en u sus extremos. Se dice que es un contorno cerrado simple si s lo los valores inicial y nal de ( ) o son iguales.
D EFINICI O N 2 7
C C z t
3. 1 . 1
Integrales de l nea
D b
La extensi n de la integral en la ecuaci n ( 21 ) al caso complejo es muy elegante. Para un dominio o o , consideremos una funci n compleja : o ! , y escojamos en dos complejos y , arbitrarios pero jos.
y
b C D a
x
g.36 Enunadi i mensonhays ounaf mapar rdeunnumer r r ol or ai oaot o.Pe oaqu,de moses ci car be pe un cami de a . Tomemos un camino de a sometido a que este enteramente en el no
a b C a b C
dominio de , como se muestra en la gura 36. La existencia del camino est garantizada por a la hip tesis que o es abierto y conexo. Ahora tomemos una partici n, = f o ng , de la curva , como se ilustra en la gura 37. Obviamente, es un subconjunto nito de con = y = n y tal que k sigue inmediatamente despu s de k , cuando viajamos de hacia e a lo largo del camino trazado por .
f C D P z ; z ; z ; z C b P C a z z z z a C
3. 1

Como en el caso real, la suma de Riemann asociada con la partici n o
S ( P)
en donde z k =
n X f zk k= 1
(
P es
justamente
) zk
j zk
zk 1 j .
y
zn z2 z1 z0 zk-1 a zk D b
x g. 3 7
P para el camino C. Si existe un n mero real L tal que, para u todo real positivo " existe una partici n P tal que j L o S ( P) j < ", se dice que f es integrable sobre C. En este caso, L se llama la integral de f sobre C, y se escribe
Hym s(innitas) pa a ucha rticiones
L=
Z f z dz
C
( )
La pregunta que surge ahora es la siguiente: Si sabemos que f es integrable sobre la curva C c mo podemos obtener su integral sobre C? La idea es muy bonita. Primero se parametriza la o curva C por medio de una funci n continuamente diferenciable, o : [ ; ] ! . Esto signi ca que para todo t en [ ; ] , ( t) est en C, a ( ) = z0 y ( ) = zn, en donde z0 y zn son los extremos de C ( ver gura 37) . La correspondiente suma de Riemann es entonces,
S ( P)
k= 1
n Xf
( ( tk ) ) [ ( tk )
( tk
1) ]
Enseguida multiplicamos cada t rminos de la suma por 1 en una forma no muy so sticada: e
S ( P)
n Xf k= 1
( ( tk ) )
( tk )
tk
tk
( tk
1
1)
( tk
tk
1)
Con esta expresi n nos podemos convencer f cilmente de que, al tomar lmites en ambos lados de o a la ecuaci n anterior, resulta o
Z f z dz Zb f
C
( ) =
( ( t) )
( t) dt

NO TA . Debemos anotar que la integral compleja no depende de la parametrizaci n particular o de la curva C, pero depende de su orientaci n: si se recorre la curva en una direcci n contraria, la o o integral compleja cambia de signo.
Esto es,
f( z) dz =
f( z) dz.
Adem s, si descomponemos la curva en dos piezas que no se superpongan, entonces, la integral a compleja se puede descomponer como la suma de las integrales sobre cada pieza. As, si C = C [ C , entonces,
f( z) dz =
+
f( z) dz +
f( z) dz
Estos hecho se siguen directamente de las propiedades b sicas de la integral de lnea o se pueden a probar a partir de la di nici n. o Para z = x + iy, hallemos la integral de f( z) = ( x + y) + i( xy) desde z = 0 hasta z = 1 + i a trav s de tres diferentes caminos: e
EJEM P L O 2 0
a) El primero es la parte de la par bola y = x que conecta los dos puntos. a b) El segundo es el segmento de recta que los une. c) Finalmente, tomemos el camino que va de 0 a 1 sobre el eje real, y luego el segmento que va de 1 a 1 + i paralelamente al eje imaginario.
y
1+i
C
0
g. 38
S O L UCI O N
a) El arco parab lico C ( g. 38) tiene la parametrizaci n, o o ( t) = t + it ; con 0 t 1
As,
( t) = 1 + 2ti y f( ( t) ) = ( t + t ) + itt = 2t + it! . Luego,
f( z) dz =
Z

f( ( t) ) ( t) dt =
Z

[( 2t + it! ) ( 1 + i2t] dt
3. 1
f( z) dz =
Z

! 4 5 + i 15 4
( 2t + 2t" + 5t! i) dt =
b) El segmento de recta que une los puntos 0 y 1 + i ( gura 39-a) se puede parametrizar con la funci n o ( t) = t + it ; con 0 t 1 . Sobre esta curva, nuestra integral se ve as:
f( z) dz =
Z

f( ( t) ) ( t) dt =

Z

[( t + t) + it ]( 1 + i) ) dt 1 7 + i 2 6
f( z) dz =
Z

( t + i( t + 2t ) ) dt =
c) Finalmente, El camino C que une los puntos dados lo podemos descomponer en dos caminos C y C , de modo que C = C [ C , como se muestra en la gura 39-b. Las parametrizaciones de C y C son simples: C : C : ( t) = t ; 0 t 1 con ( t) = 1 + it ; 0 t 1 con

( t) = dt ( t) = i dt :
y
C
1+ i
1+ i
C2
0 (a)
x
g. 39
C1
0 (b) 1
Usaremos la propiedad de integrales sobre la uni n de caminos: o
f( z) dz = =
Z Z

+

f( z) dz + dt +
Z

f( z) dz 1 3 1 5 5 + i= i 3 6 6
( 1 + t + it) it dt =
EJEM P L O 2 1
Si C es la curva
( t) = t + 2t i, con 0 t 1 , evaluemos la integral
+
S O L UCI O N
z dz
( t) = 1 + 4ti y f( ( t) ) = ( t + 2t i) . Luego,
"
Z Z

Z
z dz =
=

Z
( t + 2 t i) ( 1 + 4ti) dt = [t 4t"
(t
4t" + 4t! i) ( 1 + 4ti) dt 1 6 t# ) ] dt 11 3 2 3
1 6 t") + i( 4t! + 4t!

& $ !t )]
+
EJEM P L O 2 2
z dz = [ t! !
Si
4t# + i( 2 t"
i
R
C es el crculo unitario, hallemos la integral
+ z dz .
S O L UCI O N
e EJ , o por ( t) = cos t + i sen t , ambas con 0 t 2 . ( t) = ie EJ . As, tiene,

Z Z
Las dos maneras m s usuales de parametrizar el crculo unitario son, como ( t) = a Con la primera parametrizaci n se o
z dz =
eEJ ie EJ dt =
e EJ eEJ dt =
i dt = 2 i
3. 1 . 2
Antide riv ada
com pl eja
Supongamos que J es un intervalo en , D es un dominio en y : J D es diferenciable. Dada una funci n compleja f : D o , diferenciable en ( t) , qu pasa con la derivada de e la composici n f o ( t) ? En realidad ocurre lo que esperamos que sea. En primer lugar, si z = ( t) = x ( t) + iy( t) , y f ( z ) = u ( x; y) + iv ( x; y) , entonces,
f ( ( t) ) = u ( x ( t) ; y( t) ) + iv ( x ( t) ; y( t) ) ;
de acuerdo con la regla de la cadena en las partes real e imaginaria,
d f ( ( t) ) = dt
@u dx @u dy + @x dt @y dt
@v dx @v dy +i + @x dt @y dt

Si aplicamos las ecuaciones de Cauchy-Riemann, resulta:
d f ( ( t) ) = dt
=
@u dx @x dt
@v dy @x dt

@v dx @u dy +i + @x dt @x dt

@u @v +i @x @x
dx dy +i dt dt
f ( ( t) ) ( t) :
Lo que era de esperarse! La idea es involucrar este resultado en los procesos de integraci n. o Tomemos una funci n compleja F : D o , y supongamos que F( z ) = f ( z ) en D . Supongamos, adem s, que a y b son dos complejos en D unidos por un camino C totalmente a
3. 1
1 05
contenido en D . Para buscar una expresi n para la integral de f ( z ) sobre C, tomemos una o parametrizaci n de C, digamos, o : [ ; ] ! C , con ( ) = a y ( ) = b . Entonces,
d F( ( t) ) = F( ( t) ) ( t) = f ( ( t) ) ( t) dt
Entonces,
Z
C
f ( z ) dz =
f ( ( t) ) ( t) dt =
d F( ( t) ) dt dt F( a)
= F( ( ) )
F( ( ) ) = F( b)
Se trata de un resultado muy agradable, pues el valor de la integral depende s lo de los puntos a y o b, y nada tiene que ver con la trayectoria C. Por eso se dice que la integral es independiente de la trayectoria. Este resultado se resume en el siguente teorema: TEOREMA 1 5
un dominio
D
Si una f unc i n comple j o a , e ntonce s,
8a; b 2 D ,
e s la de rivada de otr a f unc i n comple j o a
F en
C
p ar a c ualq uie r tr ayec toria
f ( z ) dz = F( b) D,
F( a) ; a
y
conte nida e n
q ue una los puntos
b.
Como un ejemplo, cuando n 6 1 , la funci n f ( z ) = z n es la derivada de = o 1 n+1 . Luego, si a y b son dos complejos jos, F( z ) = z n+ 1
Ilustraci n o
z n dz =
bn+1 n+ 1
an+1 ; n+ 1
para cualquier contorno que una a con b. Cuando n sea negativo, el contorno C no puede pasar por el origen, ya que 0 sera una singularidad de z n. De otro lado, la funci n f ( z ) = 1 =z tiene o como antiderivada el logaritmo complejo log( z ) = j zj + i arg( z ) , la cual no es de valor u nico en todo , por eso el teorema anterior no se puede aplicar directamente. No obstante, si la curva est a contenida en un dominio simplemente conexo que no incluya el origen, podemos usar cualquier rama del logaritmo complejo para obtener la integral
dz = log( b) C z
log( a) ;
en donde a y b son los extremos de la curva. Como en el logaritmo los m ltiplos comunes de 2 i u se cancelan, la respuesta no depende de una rama particular. Por ejemplo, sobre el semicrculo superior C+ de radio 1 , que va de 1 a 1 ,
dz = log( 1 ) C+ z
log( 1 ) = i ;
$
< arg( z ) < ! . en donde hemos usado la rama del logaritmo log( z ) = ln j zj + i arg( z ) con Si integramos sobre el semicrculo inferior C que va de 1 a -1 , necesitamos adoptar una rama diferente, digamos con < arg( z ) < # . Con esta escogencia, la integral es
dz + z
= log(
1)
log( 1 ) =
i
Por lo tanto, la integral de 1 =z entre 1 y 1 depende de la trayectoria escogida. Prestemos atenci n o a los diferentes valores de log( 1 ) en los dos casos. La consecuencia m s importante del teorema anterior es que si el integrando f ( z ) tenga una a antiderivada de valor unico, su integral compleja es independiente de la trayectoria.
EJEM P L O 2 3
punto
z
= 1 +
Consideremos la funci n f ( z ) = o hasta z = 3 + i= 9. Hallemos
y la curva
C dada por y = 1 =x
, desde el
+
S O L UCI O N
z dz F( z )
260 27 =
! . !
Es muy f cil. Note que a )
f( z)
')
es la derivada de
!
As,
z dz = F( z
F( z )
1 3
[( 3 +
( 1 + i) ! ] =
728 21 87
Qu hay del recproco del teorema anterior? Esto es, si la integral de una funci n en un dominio e o es independiente de la trayectoria, se puede garantizar que tiene una antiderivada? Para responder a estos interrogantes, supongamos que f : D ! es continua y su integral entre cualesquier par de puntos de su dominio es independiente de la trayectoria. Veamos que en este caso, f tiene una antiderivada F en D .
z CZ z0 g. 40 Para ello tomemos un punto z

arbitrario pero jo en
D Lz z+ z
D.
Ahora,
8z 2 D ,
de namos
F( z )
como
3. 1
%
( ) =
z z
Cz
( )
z
dz
en donde z es cualquier camino en desde hasta . La funci n o est bien de nida ya que, a por hip tesis, o es independiente de la trayectoria. La hip tesis de conexidad es necesaria para o garantizar la existencia de un camino entre y , totalmente contenido en .
C D z F f z z D
Lo que haremos ahora es evaluar cuenta que, ( +

z
(
).
Para aplicar a
la de nici n de derivada, tengamos en o
( ) =
z
Cz+ " z
( )
z
dz
Cz
z
( )
z
dz
L" z
( )
s
ds
en donde
"z
es el segmento de recta desde

Z
hasta
. La gura 40 ilustra esta situaci n. o
Debe ser claro que 1

z
Z
L" z
f
ds
As,
L" z
( )
z
dz
( ),
z
de donde se sigue que ( )

z f
( +
z
4 ) 4
z
( ) =
z
1
z
L" z
( ( )
f s
( ))
z
ds
Pero entonces, 1
z
Z
L" z
( ( )
f s
( ))
z
ds
1
z
j4 j
z f s
maxf j ( )
f s f
( )j :
z :
2 "z g
L
= maxf j ( )
f
( )j :
z
2 "z g
L
Usando la hip tesis de continuidad de o
en
f
, y el hecho que
s
"lim maxf j z "lim z

F
( )
s
( )j :
z
2 "z g = 0
L
se tiene
( +
z
4 ) 4
z f
( )
z f
( ) = lim
z
" z 4
1
z
L" z
( ( )
f s
( ))
z
ds
En otras palabras, ( ) = ( ) , y as podemos conclur que siguiente teorema resume estas deliveraciones.
F z z
tiene una antiderivada en
. El
un dominio en y supongamos que : ! es continua. Entonces, tiene una antiderivada, si y s lo si, su integral entre cualesquier dos puntos en o es independiente de la trayectoria que una los puntos.
TEOREMA 1 6 Sea
f
Estimativo de una integral

integral compleja.
A veces, uno est interesado en estimar el tamano de una a Como se hace? La longitud del contorno permite acotar su valor, con base en
1 08
I nteg raci n Comp o lej a
el siguiente resultado sobre integrales de funciones complejas.
TEOREMA 1 7 funci n f ( z ) sobre o
( D esi gual dad un contorno
de D arb oux) est acotado p or a
El m dulo de la integral compleja de una o la integral del m dulo de la funci n con o o
resp ecto a la longitud de arco.
Esto es,
C
PRUEBA
Z
f ( z ) dz
j f ( z ) j dl :
Para ello sup ongamos que
Basta usar el teorema
1 4 de la p gina 9 9 . a
parametrizada p or
( ).
est a
Entonces,
C
Como es usual,
f ( z ) dz
f(
( ))
( )
t dt
j f ( ( t) ) j j
( )
t j dt = C.
j f ( z ) j dl :
( )
t j dt = dl
es el elemento de longitud ( de arco) de
COROLARIO ( L ema de C de longitud L , entonces,
esti maci n) o
Si
f( z)
es continua y cotada p or
en un contorno
C
PRUEBA
Si
f ( z ) dz ML :
dl
denota el elemento de longitud ( de arco) , p ot hip tesis, o

Z
C
Z
dl
L;
Z
j f ( z ) j M ; 8z 2 C :
Z
Luego
f ( z ) dz
j f ( z ) j dl M
dl ML :
E J E R C IC IO S
Z
9 2.
Evalue la integral j
9 3.
D ado
z0 2
zj = 2
dz .
es un crculo de centro
Z
, muestre que si
z0
y radio
,
Cz
Z
dz z0
= 2
i C
es la curva
9 4.
Tome
x + iy
y evalue
f ( z ) dz
en donde
y = x3
desde
hasta
3.2
T eor emas de integ aci n r o
1 09
1 + i, y f ( z ) = 1 para y < 0 , y f ( z ) = 4y para y 0.

95.
Eval e + f ( z ) dz si f ( z ) = z + 2 z y C es el camino de 0 a 1 + 2 i formado por u el segmento de recta, de z = 0 a z = 1 sobre el eje real y el segmento de recta de z = 1 a z = 1 + 2 i.
96.
Para cualquier curva C de 0 a + 2 i, eval e u
cos( z= 2) dz .
97.
Si C es una curva en el semiplano derecho D = fz : Re( z ) 0 g , desde no pasa por el origen, halle la integral sobre C de 1 =z . b) Resuelva el ejercicio anterior si D = fz : Re ( z ) 0 g .
98.
i hasta i, la cual
Si C es un camino en el semiplano complejo superior f z : Im( z ) 0 g , que une los puntos 1 y 1 , y F( z ) = z E , con < arg( z ) < , eval e u
+
99.
F( z ) dz
2 j = 1 , eval e u
Si C es el semicrculo superior del crculo j z Si C es la poligonal que va de 1, a
Z +z
dz
1 00.
1 + i, a 1 + i, y a 1 , muestre que
z dz = 4i :
3. 2
Teoremas de integraci n o
Variable compleja contiene gran parte de su potencial en los m todos de integraci n. En efecto, e o las propiedades y ventajas de la integraci n compleja no las comparte su contraparte real. Los o siguientes teoremas demuestran esta a rmaci n. o
3. 2 . 1
Teorema de Cauchy-Goursat
Cuando Augustin Louis Cauchy estudiaba Funciones A nalticas, en lugar de usar series de potencias, l bas su teora en la representaci n de una funci n compleja f ( z ) , por una integral de e o o o lnea sobre una curva cerrada. All no haba ninguna analoga con funciones de una variable real para soportar la teora. La representaci n por medio de una integral de lnea lo llev directa y o o simplemente a aplicaciones muy u tiles, que fue lo que hizo tan popular su teora.
110
El elegante y fundamental teorema de la teora de Cauchy establece que si una funci n compleja o ( ) es diferenciable en un dominio, entonces su integral es cero sobre cualquier curva cerrada simple en su dominio. Originalmente, Cauchy tuvo que asumir no s lo que ( ) existe sino que o era continua, lo cual le permiti usar el teorema de Green para demostrar que la integral era cero. o M s tarde, Goursat removi esta falla, mostrando que la continuidad se sigue del teorema, en lugar a o de ser un requisito.
z f z
@D
Para presentar el teorema de Cauchy, supongamos que una curva cerrada simple es la frontera, de una regi n en , y sea ( ) = + una funci n analtica en . Entoces, o o
D
iv
( )
z
dz
=( +
u
iv
)(
dx
idy
)=(
u dx
v dy
)+ (
i
v dx
u dy
Una simple aplicaci n del teorema de Green nos da o Z Z Z ( ) =

@v @u
dz
dx dy
@x
@y
Z Z
i

@u @v dx dy @x @y
De aqu se sigue que el integrando siempre ser cero, si y s lo si, a o

@v
@x
@u
@y
@u
@x
@v
@y
Estas son justamente las ecuaciones de Cauchy-Riemann, las cuales satisface cualquier funci n o analtica. Esto prueba el siguiente teorema. TEOREMA 18 ( Cauchy-Goursat) Sea curva cerrada simple contenida en , Si : Z
D f D
una regi n simplemente conexa en o es analtica, entonces,
+,
una
( )
z
dz
=0
El recproco del teorema de Cauchy-Goursat tambi n es verdadero y se conoce en la literatura e matem tica como teorema de Morera . Su nombre se debe a Giacinto Morera , y constituye un a importante criterio para establecer que una funci n es analtica. o TEOREMA 19 ( Morera)
Si una f unci n complej o a
C f
es continua en un dominio
para cualquier curva cerrada simple
contenida en
C
entonces
f
( )
z
dz
=0
( )
z
es anal tica en
z
.
D
PRUEBA Tomemos un en dicha vecindad, de namos
en
, y jemos una vecindad de Zz
contenida en
. Para cada
( )=
z
z
( )
z
dz
Para ver que la funci n o
est bien de nida, tomemos dos caminos diferentes, a
de
a ,
z
3.2

como se indica en la gura 41 . Integrando sobre el contorno cerrado hip tesis del teorema se tiene: o 0=
C = C1 [ C2 , y usando la
f ( z ) dz =
C
f ( z ) dz
f ( z ) dz )
C
f ( z ) dz =
Z
C
f ( z ) dz
C1
z0
D
z
C2
g. 41 Entonces la integral se puede tomar sobre cualquier camino de z0 a z y as, la funci n F est bien o a de nida. Como un bono extra de este razonamiento, se sigue que la integral de f es independiente de la trayectoria; as, por el teorema 1 6 de la p gina 1 07, f tiene una antiderivada en dicha a vecindad. Esto implica que f es analtica en z 0 . Ahora bien, ya que z0 se tom arbitrario en D , o se sigue que f es analtica en D .
Tomemos D = y consideremos la funci n o integral de f ( z ) sobre el crculo unitario.

EJEM P L O 2 4 S O L UCI O N
f ( z ) = z 2 + z + 1 . Hallemos la
Podramos empezar con la parametrizaci n del crculo unitario ( t) = eit , con o 0 t 2 . Pero como sabemos que los polinomios son funciones enteras, ( analticas en todo el plano) , el teorema de Cauchy-G oursat nos dice que dicha integral es cero. Esto es,
j zj = 1
f ( z ) dz = 0 :
EJEM P L O 2 5
Hallemos la integral de
f ( z ) = 1 =z sobre el crculo unitario.
S O L UCI O N
Con la parametrizaci n usual del crculo unitario se tiene: o
Z1
Cz
dz =
Z
2 0
e it i e it dt = i
Z
2 0
dt = 2 i 6 0 =
Por qu la integral no es cero? El problema es que, aunque 1 =z es analtica en la regi n e o f0g = f z 2 : z 6 0 g , la regi n no es simplemente conexa. ( Por qu no?) = o e
El siguiente teorema, sobre deformaci n de contornos, es una aplicaci n muy simple del teorema de o o
112
Cauchy-Goursat, y lo usaremos para obtener una famosa f rmula de integraci n compleja, conocida o o como la f rmula integral de Cauc hy. o
TEOREMA 20 ( D eformaci n o
D
de contornos ) Sean y dos curvas cerradas simples orientadas positivamente ( en sentido anti-horario) , tales que est encerrada por . Si es a analtica en un dominio que contiene ambas y y la regi n entre y , entonces, o
A B B A f A B A B
Z
A
f
( )
z
dz
Z
B
f
( )
z
dz
Tengamos presente que no es necesario que las curvas est n en un dominio simplemente conexo. e Lo importante es que la funci n sea diferenciable en la regi n contenida entre las dos curvas. De o o hecho, la regi n entre las dos curvas no es simplemente conexa; en efecto, el interior de la curva o es un gran hueco.
B
B A
g. 42
PRUEBA La gura 42 da un bosquejo de la situaci n. Empecemos por construr dos segmentos o

L
y que unan y , como se muestra en la gura 43. El contorno contornos y y el queda dividido en los dos contornos y .

L A B A A B B B
queda dividido en dos
La idea es formar dos nuevos contornos y aplicar el teorema de Cauchy-Goursat. Como se ilustra en la gura 43, tomemos:
K
[(
)[(
)
[(
)
[(
Por hip tesis, es analtica en un dominio que contiene a y analtica en un dominio que contiene o a . Entonces, aplicando el teorema de Cauchy-Goursat a los contornos cerrados y , se tiene
f K K K K
K
( )
z
dz
=0 y
( )
z
dz
=0
( 27)
Reuniendo los dos contornos

K
se obtiene
L
= =

[ [
[( [(
)[( )[(
) )
[(
B
)
[(
[(
3.2
113
A1 B1 L2 B2 A2
g. 43 Finalmente, aplicando las ecuaciones en ( 27) a los resultados en la identidad anterior conclumos que 0=
L1
K
f ( z ) dz +
f ( z ) dz =
f ( z ) dz
f ( z ) dz
3. 2 . 2
F rmula integral de C auchy o
Tomemos cualquier curva cerrada simple C en . Entonces, C es la frontera de alguna regi n R o en , esto es, C = @R. Ahora bien, si z es un punto en R que no est sobre C, diremos que z a est dentro de C, si z est en el interior de R, o que z est fuera de C si z 2 R[ C. Por ejemplo, a a a = si C es el crculo unitario, entonces C es la frontera del disco unitario B = f z 2 : j zj 1 g . As, un punto z est dentro de C si j z j < 1 , y z est fuera de C si j z j > 1 . a a
TEOREMA 21 ( F rmul a i ntegral o

contiene una curva cerrada simple de
C,
C,
de Cauchy
Si
es anal tica en una regi n o
orientada positivamente, y
z
que
es un punto dentro
entonces,
f( z) dz = 2 if ( z ) : C z z
D
z0
g. 44
"
Antes de la prueba, consideremos el caso en el que f ( z ) es la funci n costante 1 , C es el crculo o unitario y z = 0. De acuerdo con el teorema,
Z1
+z
dz
= 2 i f ( z ) = 2 i
algo que ya sabamos desde el ejemplo 25 de la p gina 1 1 1 . El teorema se cumple para un crculo a C de cualquier radio r , porque si parametrizamos a C como re EJ , con 0 t 2 , entonces,
Z1
+z
dz
Z

ire EJ dt = i reEJ
Z

dt
= 2 i
y, obviamente, este resultado es independientemente del valor del radio r .
z z0
C0
g. 45
247-*)
Para ver por qu es verdadera la f rmula integral de Cauchy, tomemos " > 0 e o arbitrario. Como f es continua en z , para "= 2 existe > 0 tal que
jz
z j <
j f( z)
f ( z ) j <
"
2
Ya que D es abierto, podemos escoger de modo que la bola abierta B( z ; ) est dentro de C. e Ahora tomemos > 0 tal que < y sea C el crculo C = f z : j z z j = g . La gura 45 magni ca esta situaci n. Como la funci n f ( z ) = ( z z ) es analtica en la regi n entre C y C , o o o el teorema de la deformaci n de contornos nos dice que o
f( z) z
+z
dz
f( z)
+ z
Por ejercicio 93 de la p gina 1 08, sabemos que a
z
dz
( 28)
dz
1
z
+ z
= 2 i;
as,
3.2
Z
#
Z
f( z) dz + z z
f( z) 2 if ( z ) = dz + z z
Z Z
f ( z )
+ z
z
dz
= Para z 2 C se cumple que
f( z) + z
f ( z ) dz : z
f( z) z
Z
f ( z ) j f( z) = z jz
Z
f ( z ) j " < z j 2
Luego;
f( z) dz + z z
2 if ( z ) =
f( z) + z
f ( z ) " dz < 2 = " : z 2
Ya que " es un n mero positivo arbitrario, se sigue que u

Z
f( z) dz z z +
2 if ( z ) = 0 :
De ah se obtiene el resultado,
f( z) f( z) 2 if ( z ) = dz = dz + z z + z z
Z Z
NO TA
la integral de funciones analticas sobre curvas cerradas. Por el otro, permite calcular los valores de una funci n analticas en el interior de una curva cerrada, en el siguiente sentido: o
curva, tambi n conocemos los valores de la f e unci n en cualquier punto dentro de la curva . o Si
. La f rmula integral de Cauchy es un arma de doble lo: por un lado, permite calcular o
es anal tica sobre y dentro de una curva cerrada, y conocemos sus valores sobre la
En efecto, el teorema implica que, para todo z dentro de C,
f ( z ) =
EJEM P L O 2 6
f( z) dz 2 i + z z
1
Z
Tomemos C como el crculo j zj = 2 , y evaluemos la integral

Z
+z +1
S O L UCI O N
dz
Antes de aplicar la f rmula integral, expresemos el integrando en fracciones paro ciales y tomemos f ( z ) = 1 . Como f ( z ) es analtica en todo , se tiene:
$
= (
+ 1
+z
dz
+ 1
i
2
Z
i) ( z + i) dz i
2
i
2
z dz
z+i
Im 2i
+z
(2
+z+i i f ( i) )
= 0
i
2
if ( i) i( 1 )
2
i
Re 2 -i
i
2
(2
i(1))
+ z
dz
+ 1
= 0
EJEM P L O 2 7
Tomando
C como el crculo j zj
Z
cos
= 4,
recorrido una vez en el sentido antihorario,
evaluemos la integral
+z
S O L UCI O N
z dz 6z + 5
Basta simplemente escribir el integrando como
cos
z
en donde
z z+5
cos (
5) (
z z
1)
f( z) z 1
f( z) f
Z
cos
z
5
Notemos que
es anal tica sobre y dentro de
C,
y as ,
cos
+z
f( z) z dz = dz = 2 if ( 1 ) 6z + 5 +z 1
= 2
i
cos 1 1 5
i
2
cos 1
3. 2 . 3
Derivaci n por integraci n o o
Poder recup erar los valores de una funci n compleja integrando la funci n, es un hecho notable. o o Pero que p odamos computar derivadas de funciones complejas, p or medio de integraci n, resulta o m s asombroso. a Retomemos la f rmula integral de Cauchy sustituyendo o
cuenta que, despu s de todo, e
z
es arbitrario dentro del contorno
C,
z
p or
w,
teniendo en
y expres mosla como e
f ( w)
1 2
f( z) dz i + z w
3.2
%
Podemos derivar con respecto a w en ambos lados de la f rmula de Cauchy, porque la integral es o su cientemente buena para permitir llevar la derivada al interior del signo integral. Adem s, la a derivada del integrando es f cil de hallar: a @ f( z) f( z) = @w z w ( z w) 2 Esto permite desarrollar, de manera simple, f rmulas para las derivadas de funciones analticas: o Z 1 f( z) f ( w ) = dz ( 29) 2 i C ( z w ) 2 en donde, como antes, C es cualquier curva cerrada simple que circunde una vez a w en sentido antihorario. Lo que esto signi ca es que, en variable compleja, diferenciaci n e integraci n son o o equivalentes. Diferenciando iterativamente llegamos a la f rmula integral general, o
n! f( z) f n) ( w ) = dz 2 i C ( z w ) n+ 1
(
( 30)
que expresa la n- sima derivada de una funci n compleja en t rminos de una integral de contorno. e o e La ecuaci n ( 30) se conoce en la literatura matem tica como la f rmula integral de Cauchy de o a o orden n. Estas formulas tan hermosas, sin contraparte en Analisis Real, implican directamete el hecho anunciado en la secci n anterior que o
Toda funcion analtica es in nitamete diferenciable .

EJEM P L O 28
evaluar
Tomando C como el crculo j zj = 2, usemos le f rmula integral ( 24) para o Z
C z3
S O L UCI O N
ez dz z2 5z
Factorizando el denominador, expresamos el integrando como Z Z ez dz ez dz = 3 2 C z z 5z 3 C ( z + 1 ) 2 ( z 3)
Para usar la f rmula integral ( 24) tomemos o
f( z) =
ez
con lo cual;
f ( z ) =
( z 4) e z ( z 3) 2 5 i 8e
Como f ( z ) es analtica dentro del crculo C, la f rmula ( 24) da o Z Z z dz e f( z) = dz = 2 if ( 1 ) = 3 2 z z 5z 3 (z + 1)2 C C
&
Aplicaciones a integrales reales

La f rmula integral de Cauchy produce el valor de una integral compleja alrededor de todo un o contorno cerrado en el plano. Considerando una separaci n apropiada del contorno en una parte o que siga el eje real y otra el eje imaginario, es posible calcular integrales de funciones reales que no se pueden evaluar por m todos elementales. e
EJEM P L O 29
real
Como una ilustraci n, usemos la f rmula de Cauchy para evaluar la integral o o
Z
(
x
1 + 1)
dx
S O L UCI O N
Para usar la f rmula de Cauchy, tomemos la funci n compleja o o

f
( )=
z
1 + 1)
C i
x
r
-r
0
g. 46
La funci n tiene singularidades en y en o . Sin embaro, podemos escoger un contorno que incluya la integral real, como el semicrculo mostrado en la gura 46, el cual extenderemos para que contenga todo el eje real ( llevando el radio a in nito) .
i i
Denotemos el contorno por (

f z z i
y expresemos el integrando como ) = 1 ( + ) ( ) = ( ) ( )

= z i f z z i z i z ;
1 1 = + 1) ( + ) (
z i
con ( ) = ( + ) . Lo bueno es que ( ) es analtica en f rmula integral ( 29) de la p gina 1 1 7, tomando la derivada o a
f z f
porque as podemos usar la
( ) =
z
2( + )
z i
Luego,
3.2
Z

Z
119
(z +
2
dz
1)2
=
C
f( z) i dz = 2 if ( i) = 2 i( ) = : 2 ( z i) 4 2
La idea ahora es separar el contorno C en los dos contornos A y B que consisten del semicrculo superior y el intervalo [ r; r ], respectivamente, como se muestra en la gura 46. As,
Z
(z +
2
dz
1)2
=
A
(z +
2
dz
1)2
+
B
(z +
2
dz
1)2

2
Debemos mostrar que la integral sobre A tienede a cero cuando r tienede a in nito. Para ello usamos el corolario del teorema 3, identi cado como el Lema de estimaci n: Si f ( z ) es continua o y cotada por M en un contorno C de longitud L , entonces, f ( z ) dz ML .
R
En nuestro caso, la longitud del arco A es r . Adem s, si tomamos a
f ( z ) = 1 = ( z 2 + 1 ) ; entonces ; j z2j = j z2 + 1
1 j j z2 + 1 j + 1 ) j z2 + 1 j j z2 j + 1 )
Z
1 1 1 1 2 ) 2 2 ) 2 + 1j 2 jz jz j + 1 jz + 1j (r + 1)2 Pero, Luego,

A
Z
(z +
2
dz
1)2
(r + 1)2
2
r
(r + 1)2
2
Z
r
! 0 cuando r ! 1. ! 0 cuando r ! 1.
=
(z + 1)2
2
dz
] ( z +
;
dz
1)2

2
y as,

2
(x +
dx
1)2

2
3. 2 . 4
Teorem a de
L iouvil le
El teorema de Liouville, nombrado as en honor de Joseph Liouville, 0 establece que las unicas funciones enteras acotadas son las constantes. En el caso real, la expresi n que toda funci n o o
0
Joseph Liouville
(1809-1882) f e u n f u sico -matem tico f a ranc s. S p e u rodu cci n i o ncl y dif u e erentes campos En f sica
en matem ti a cas como teora de n meros, an lisis comp u a lej o, g eometra dif erenci al y topolog a . -matem tica hiz dos g a o randes contribu ciones: l a
teora de Sturn-Liouville
p ara ecu aciones di erenciales f
p arciales, la cu al constitu y u n p e rocedimiento est ndar p a ara resolver ciertas ecu aciones integ ral es por medio de f nciones p u rop ias; y p rob qu e la evol ci n temporal es u na medida se conserva en si o u o stemas H ami ltonianos.
1 20
diferenciable acotada es constante, es falsa. Por ejemplo, las funciones de nidas por 1 ; (1 + x ) y
cuyas gr cas tienen forma de campana, son acotadas por 1 y analticas en todo , pero no son a constantes. Similarmente, las funciones trigonom tricas seno y coseno son analticas en todo e y acotadas por 1 , pero tampoco son constantes. Esta es una manifestaci n m s de la fortaleza o a que tiene la diferenciabilidad compleja comparada con el caso real. El teorema tiene aplicaciones importantes, de las que destacamos una prueba simple del teorema fundamental del Algebra y el teorema de descomposici n en fracciones parciales para funciones racionales. o TEOREMA 2 2
( L iouville)
Si f es entera y acotada en
+ , entonces f es constante. + + + +
PRUEBA Suponga que f es entera y acotada. Es decir, f es analtica en todo y, adem s, a existe una constante positiva M tal que j f ( z ) j M , para todo z en . Para conclur que f es constante en , vamos a probar que f es id nticamente cero en , esto es, que f ( z ) = 0 ; 8z 2 . e Esto lo haremos por contradicci n: o
Suponga que existe w 2 grande tal que
+ tal que f ( w) 6 0. =
Entonces, debe existir un real R su cientemente
M < j f ( w ) j R
z
g. 47 Escojamos > 0 tal que > R, y tomemos C como el crculo de radio y centro w . Esto es, C = fz 2 : j z wj = g ( ver gura 47) . Usando la f rmula integral de Cauchy de segundo o orden, se tiene,
1 f( z) f ( w ) = dz : 2 i C ( z w) A partir de los hechos, que > R, j f ( z ) j M y j z
wj = , resulta:
3.2

Z Z

M M 1 f( z) 1 f( z) < j f ( w ) j = dz R 2 i C ( z w ) 2 C ( z w)
Z Z
dz
j f( z) j 1 M M M 1 dz dz 2 = : 2 C j z wj 2 C 2
Resumiendo se tiene que
M M < .
Esta contradicci n implica que no puede existir w 2 o
f ( z ) = 0 ;
8z 2
+.
+ para el cual
f ( w ) 6 0. =
De aqu se sigue que f es constante.
Teorema fundamental del lgebra a
El teore ma fundame ntal de l lge b ra establece que toda ecuaci n polin mica de una variable con a o o grado mayor de cero ( no constante) y coe cientes complejos, tiene al menos una raz compleja. La prueba que se presenta abajo, usa s lo conceptos de an lisis complejo, y se duduce del teorema o a de Liouville. Este hecho a permitido a rmar que el teorema fundamental del lgebra no es ni a fundamental ni un teorema de lgebra. a TEOREMA 2 3 ( TFA) Todo polinomio no constante, tiene un cero en
+.
PRUEBA La idea es probar el contrarecproco ( si no tie ne ce ros, e ntonce s e l polinomio e s n + + a z + a , y supongamos que P( z ) 6 0 para todo z constante ) . Tomemos P( z ) = an z = en , as que j P( z ) j > 0 8z 2 . Por el teorema de estimaci n polin mica, se sabe que para j zj o o su cientemente grande, digamos para j zj K , se tiene
j anz n +
Eso implica que
+ a z + a j
1 1 j an j j z n j j a n j K n : 2 2
1 es una funci n constante. Como un resultado, P( z ) o P( z ) tambi n es constante. De modo que el polinomio es constante si no tiene ceros. En otras palabras, e si P( z ) tiene grado al menos 1 , existe z 2 tal que P( z ) = 0. Luego, por el teorema de Liouville,
j P( z ) j
j anj K n
. De ah se sigue que
P( z )
es una funci n entera y acotada. o
NOTAS . N ) Un hecho particularmente u til es que si z 2 es un cero de un polinomio complejo P( z ) , su conjugado z es otro cero de P( z ) . Para probarlo basta usar las propiedades simples del conjugado de un complejo.
N ) Una consecuencia del teorema fundamental del lgebra es que, despues de extender a

E p i l r mer o en dar u na p u eba al ebr r g ai ca del teor ema f e Car F i u l r edr ch Gau s i s en 17 9 9 .
4 al
conjunto , para que la ecuaci n x + 1 = 0 tenga una soluci n, podemos hallar las soluciones o o de cualquiera ecuaci n polin mica, incluyendo aquellas con coe cientes complejos. o o
1 . Todo polinomio P( z) de grado n > 0, se puede factorizar en factores lineales. Esto es, existen complejos a; c ; ; cn tales que, P( z) = a( z
COROLARIO
El teorema fundamental del lgebra tiene dos importantes corolarios: a
PRUEBA
c )
(z
cn) c)
Esta es una consecuencia del hecho que c es una raz de P( z) si y s lo si ( z o divide a P( z) , mas inducci n matem tica. o a
COROLARIO 2. PRUEBA
Cada polinomio no constante P( x) con coe cientes reales se puede descomponer en factores de grado uno o dos.
Por corolario anterior y el hecho que para un polinomio con coe cientes reales, las races complejas ocurren en pares conjugados.
3. 2 . 5
Principio del m dulo m ximo o a
Consideremos cualquier funci n analtica en un dominio cerrado U. Siendo f continua, f( z) debe o tomar un valor m ximo en alg n punto de dicho dominio. Supongamos que esto ocurre en un a u punto interio de U. Esto es, existe z en el interior de U tal que,
j f( z) j j f( z ) j = M ;
8z 2 U :
Ya que z es un punto interior, existe R > 0 tal que el disco de radio R, centrado en z est a totalmente contenido en U. En estas condiciones, tomemos tal que 0 < < R y sea C el crculo j z z j = , orientado positivamente, como se ilustra en la gura 48.
z R z0
g. 48
3.2
!
Por la f rmula integral de Cauchy, o
f ( z ) =
f( z) dz : 2 i + z z
1 0 t 2 ;
Ahora bien, con la parametrizaci n usual del crculo C, o
z = z + eEJ ;
se tiene 1
f ( z ) =
Luego,
2 i
Z f( z

+ e EJ ) 1 i eEJ dt = eEJ 2
Z

f ( z + eEJ ) dt :
M = j f ( z ) j
1 2
Z Z

j f ( z + eEJ ) j dt
1 j f ( z ) j dt 2
As que, Luego, Entonces,
M M=
1 2 1 2
Z

1 2
Z

M dt = M :
Z
1 2
j f ( z + eEJ ) j dt M . j f ( z + eEJ ) j dt j f ( z + eEJ ) j dt = 0
Z

Con una simple sustituci n, se obtiene: o 1 2 1 2 1 2
Z Z 1 Mdt j f ( z + eEJ ) j dt = 0 2 Z [ M j f ( z + e EJ ) j ] dt = 0 Z

[M
j f ( z ) j ] dt = 0
En la u ltima igualdad, el integrando es continuo y no-negativo, por lo cual debe ser cero. Esto implica que j f ( z ) j = M ; 8z 2 C , es decir, f es constante en C . Ya que el contorno C no tiene ninguna especialidad, excepto que su radio R . Esto signi ca que f debe ser constante en todo el disco D . No es difcil extender el resultado a toda la regi n U con un desplazamiento continua del disco a o trav s de los puntos interiores en U. e
1 24
La siguiente consecuencia directa del principio del m dulo m ximo tiene importantes aplicaciones o a en problemas con valores en la frontera.
R es una regi n cerrada y acotada de todo + y f : R ! + o es continua en R y analtica en el interior de R. Si f ( z ) no es constante en R, entonces, j f ( z ) j toma su valor m ximo s lo en la frontera de R. a o
en
COROLARIO Supongamos que
PRUEBA
R.
Ya que f es continua en la regi n cerrada y acotada R, ella toma un valor m ximo o a Por el principio del m dulo m ximo este valor no puede tomarlo en el interior de R. o a
NOTA
D
m nimo ,
. Hay un resultado an logo al anterior, conocido como el a el cual establece lo siguiente:
Si
principio del m dulo o
P RINCIP IO D E L M O D UL O M INIMO
y continua en su f rontera, el m dulo de o
es no-cero, anal tica en un dominio acotado
toma su valor m nimo en la f rontera de
D.
E J E R C IC IO S
1 01 .
todo
1 02 .
z2
Suponga que f es una funci n entera para la cual existe o . Pruebe que f es constante.
tal que
j Re( f ( z ) ) j M
si:
para
Para la funci n o
f( z)
x + iy
eval e la integral u
Z
C
f ( z ) dz
i) ii) iii)
C es C es
la curva parametrizada por ( 1 + t) +
el segmento de recta que une 1 con 2 + i;
ti
con 0
t 1.
Por qu o por qu no debe ocurrir la e e
Compare los resultados anteriores. situaci n planteada? o Sea
Son los mismos?
Z1
1 03 .
C
.
el crculo centrado en 4 +
y radio 1 .
Sin efectuar c mputos, explique por qu o e
Cz
dz = 0
1 04.
De na una curva param tricamente por e
Eval e la integral u
1 05 .
Z
C
z ( t) ez dz .
= t( 1
t) et + [ cos( 2 t! ) ] i ;
con
t1
Justi que su razonamiento.
Si C es el crculo de radio 4 centrado en el origen ( orientado en el sentido antihorario) , use la f rmula de Cauchy para evaluar la integral o
3.2
1 25
1 06.
Eval e u
Z
C
z+1
ez
dz
( 5 z 4 + z 3 + 2) dz si C es el crculo j zj = 1 .
1 07.
Eval e la integral u
Cz
dz
si:
a) C es el crculo j zj = 1 ;
1 08.
Eval e u
b) C es el crculo j zj = 3. sobre un contorno cerrado C si:
Cz
dz
a) C incluye a;
b) C no incluye a.
En a) necesita agregar un segundo contorno que elimine a de la regi n. o Si f y g son analticas sobre y dentro de una curva cerrada simple C y f ( z ) = g( z ) pruebe que f ( z ) = g( z ) para todo z dentro de C.
1 09. 1 1 0.
8z 2 C,
es una constante compleja y C es el crculo parametrizado por e z dz . ( t) = e it , con t , eval e u C z si
1 11 .
Si C es una curva cerrada alrededor del origen, eval e u Si C es el crculo j z
C z2
sen z
dz .
1 1 2.
a)
1 1 3.
2 ij = 2 con orientaci n positiva, eval e o u
1 dz ; z2 + 4 C
b)
1 dz ( z 2 + 4) 2 C
Sea D el dominio que consiste del plano complejo excepto el origen y el eje real negativo. Muestre que para cualquier contorno en D con punto inicial en z = 1 y punto nal en z = ,
Z dz
z
= Log ( ) :
1 1 4.
La elipse C, 9 x 2 + 4y2 = 36 tiene sus v rtices en 3 i . e Halle g( i) , y g( 4i) , si la funci n g est de nida por o a
g( z ) =
1 1 5.
Zw
C
+w+1
dw :
Muestre que las siguientes integrales de contonrno tienen el valor indicado:
Z
j
cosh z
j
z =1
z4
=0
1 26
1 1 6.
Eval e cada una de las integrales dadas, sobre las curvas cerradas indicadas en las guras u 49-a y 49-b, orientadas en el sentido antihorario:
C z
ez
dz ;
C z
ez
dz
C1
C2
-2 2
-2
(a)
g. 49
1 1 7.
( b)
Tome C como el contorno mostrado en la gura 50 y muestre que
z Cz
dz = 6 i :
y
C
0 1
g. 50
1 1 8.
Si f es analtica dentro y sobre una curva cerrada C , muestre que
f ( z ) f ( z) dz = dz ; C z w C ( z w)
8w 2 C : =
Suponga que f es analtica en un dominio D y que j f ( z ) j es constante para todo z en D . Pruebe que f es constante en D . D un ejemplo de una funci n no constante pero continua en , con valor absoluto constante. e o
1 1 9. 1 20.
Considere la funci n entera f ( z ) = z + 3 z o un poco usando la desigualdad triangular:

1 21 .
1 . En el crculo unitario, f ( z ) se puede estimar
3. 3
S ng ar dades y ser es de Laur i ul i i ent
1 27
+3
f z
1j
j j
z
+ 3j
z
+1
5
para
j j 1
z
Halle el valor m ximo de a Use la demuestre la siguiente

1 22.
( ) en el disco
de
j j 1.
, dada en el teorema 1 7 de la p gina 1 08, para que a .
M
desi gual dad
D ar b o ux de
desi gual dad
C auchy
Si
es una f unci n anal o tica, acotada por una constante

z
, esto es,
c rculo de centro
y radio
, entonces,
n
( )j
z
, en un
( )
z
M :
n r
1 23. z
Suponga que es analtica y no-constante en una regi n o . Explique por qu j ( ) j no tiene un valor mnimo en . e
f f z D f z u x iy iv x iy
, y que
( ) 6 0 , para todo =
z
Suponga que ( ) = ( + ) + ( + ) es analtica en una regi n o un valor m ximo en a , pruebe que debe ser constante.
1 2 4. D u
. Si
( +
x
iy
) toma
3. 3
S ingularidades
y series
de Laurent
=r
tiene una singularidad horrible en
import a Newton - la luna est muy lej . o a os
= 0 , pero eso no ( Edward Witten)
le
Hemos visto que muchas funciones son analticas en un dominio excepto en puntos aislados. Un punto en el cual no es analtica se llama un punto de singularidad o simplemente una singularidad . Cu les son las analogas y diferencias entre las siguientes funciones? a
D f
1
z
sen
; z
z ;
=z
Todas ellas tienen una singularidad en = 0, pero las singularidades son muy diferentes. Particularmente, la funci n =z es analtica en todo o excepto en = 0 en donde es evidente que algo extrano ocurre. Las series de Taylor no funcionan con estas funciones, porque requieren que las funciones sean analticas en los puntos al rededor del cual se quiere aplicarlas. Para funciones complejas hay tres tipos de singularidades, las cuales vamos a clasi car en la presente secci n. o
z e
3. 3. 1
Tip os
de
singularidades
En t rminos muy generales, una e
singularidad
es un punto del espacio en el cual una funci n, una o
&
super cie, una ecuaci n, etc. , se vuelve degenerada ( se comporta mal) . Consideremos la ecuaci n o o diferencial homog nea de segundo orden, e
y"
+ f ( x ) y + g( x ) y = 0 :
Si tanto f ( x ) como g( x ) permanecen nitas en x = x , se dice que x es un punto ordinario. De otro lado, si o bien f ( x ) o g( x ) divergen cuando x ! x , se dice que x es un punto singular. Los puntos singulars se clasi can como sigue: Si f ( x ) ( o g( x ) ) diverge cuando x ! x pero ( x x ) f ( x ) y ( x x ) f ( x ) pernacen nitos cuando x ! x , entnces x se llama un punto regular o una singularidad no-esencial. Si f ( x ) ( o g( x ) ) diverge m s r pido que ( x x ) , de modo que ( x x ) f ( x ) ! 1 cuando a a x ! x , o f ( x ) diverge m s r pido que ( x x ) , de modo que ( x x ) f ( x ) ! 1 cuando a a x ! x , se dice que x es una singularidad irregular o una singularidad esencial. En variable compleja las singularidades son extremadamente importantes porque ayudan a caracterizar el comportamiento de las funciones analticas . Una funci n analtica puede dejar de o serlo en uno o m s puntos de una regi n, debido a singularidades que se presentan, o bien en a o puntos aislados, o a lo largo de segmentos de rectas, por la presencia de cortes ramales. As que, b sicamente una singularidad es aislada no-aislada. a o o
Singularidades aisladas
Se dice que un punto z es una singularidad aislada de una funci n f ( z ) , si ella es analtica en o una vecindad removida, 0 < j z z j < " , de z , pero no lo es en z . Las singularidades aisladas se clasi can como removibles, polos, y esenciales.
REMOVIBLES
f( z) f( z)
Se dice que z es una singularidad removible de f ( z ) si se cumple una caulquiera de las siguientes condiciones equivalentes: se puede rede nir en z de modo que f ( z ) sea analtica en z . tiene un lmite cuando z ! z .
j f ( z ) j es acotada en una vecindad de z .
POLOS Se dice que un punto singular, z , es un si y s lo si, f se puede expresar como o

f( z)
polo de orden
n (n
N)
de una funci n f ( z ) , o
(z
h( z )
z ) n
;
polo simple .
con h ( z ) 6 0 , y h ( z ) analtica en z . Un polo de orden 1 se llama un = m s sencillo de un polo de orden n, lo proporciona la fuci n a o
El ejemplo
3. 3
'
f( z)
a( z
z0 )
con
B0C :
Las singularidades en las cuales una funci n se comp orta muy mal se denominan singularidades o esenciales, y su naturaleza es bastante compleja.
SINGULARIDAD ESENCIAL
punto ramal.
Se dice que una singularidad es
Un ejemplo t pico es la singularidad esencial de
e1 =z .
esencial
si no es un p olo ni un
Ilustraciones
11
B 0 C . En efecto, z0 = 0 es una singularidad de f ( z ) , propiamente, un p olo de 1 orden 3 . La funci n f ( z ) = o tiene un p olo de orden 1 en z 0 ya que, tomando h ( z ) = 1 , se z z0 tiene h ( z ) anal tica en z 0 .
anal tica en
Como sab emos,
f( z)
z3
es entera,
mientras que la funci n racional o
f( z)
= 1
=z 3
es
12
La funci n o
orden 2 ) , y en
z=
z 1 f( z) = 2 2 tiene z (z + 1) i ( dos p olos de orden 1 ) .

= 1 sen (
tres singularidades aisladas:
en
= 0
( un p olo de
13
La funci n o
f( z)
sen
=z )
tiene singularidades aisladas en
z=0
y en
z = 1 =n n
O bserve que cada singularidad es aislada, excepto
z=0
( explique eso! ) .
14
La funci n o
z z z
tiene una singularidad removible en
z = 0, z 2n
ya que
sen
( (2
1)
z n=0
n + 1)!
z 2 n+1
( (2
1)
n=0
n + 1)!
para
z$ 0; =
( P iense en p or qu ella e
y la serie de p otencias del extremo derecho representa una funci n entera. o deb e ser entera! )
15
La funci n o
e1 =z
no tiene una singularidad removible en
z = 0,
ya que, p or un lado,
x0
D e otro lado,
lim
e1 =x = :
Por lo tanto,
e1 =z
tiende a 0 cuando
se aproxima a 0 p or el eje real negativo.
z 0
Por lo tanto,
lim
e1 =z = : $ z = 0.
e1 =z
tiene una singularidad esencial en
EJEMPLO 30
Estudiemos las singularidades de la funci n compleja o
1 30
I nteg raci n Comp a o lej z

5z 3
e f( z)
=
z
S O L UCI O N
D e hecho, emp ecemos p or factorizar el denominador:
e f( z)
z
= 5z 3 (z
=
z
3) ( z + 1 )
La funci n es o
anal tica en
todo
+
=
z
excepto en las
singularidades
1,
donde su
denominador se anula.
Y que a
h f( z)
( z)
3
e ;
z
;
con
( z)
(z + 1)
y adem s a
( z)
es anal tica en .
= 3 y
( 3)
=
f
= 0,
el punto
= 3 es un p olo simple ( de
orden 1 ) para
f( z)
An logamente, expresando a
como
h f( z)
( z)
;
z
;
(z + 1)
con
( z) =
z
ya que
( z ) es anal tica en
= .
1) =
"e
= 0,
vemos que el punto
1 es un
p olo doble ( de orden 2 ) de
f( z)
Una funci n puede tener varias singularidades de diferentes tip os. o
Por ejemplo,
F !
f( z)
+ 2
z
=z
+ 1 = 2, y una singularidad
tiene dos p olos simples en esencial en

z
i,
un punto ramal de grado 3 en
= 0.
3. 3. 2
S eries
de L aure nt
Las series de Laurent se caracterizan p orque incluyen p otencias p ositivas y negativas de una variable. Particularmente, tales series surgen en el estudio de funciones anal ticas, en conexi n con las o Para motivar las cosas que vamos a estudiar, presentamos
f( z)
singularidades aisladas de la funci n. o una ilustraci n simple. o
Consideremos la funci n racional o
1 1
z
Esta funci n es anal o tica
Pierre Alphonse Laurent( 1 8 1 3 -1 8 5 4) f un matem tico f es, conocido por el desarrollo de las series ue a ranc
que llevan su nombre. El contenido de su trabaj f sometido para el g o ue ran premio de la
Sc ie nce s Acad mie de s e
en 1843, pero el envo lleg despu s de la f o e echa, y su art culo no se pudo publicar y nunca se tuvo
en cuenta para el premio. M o a la edad de 41 anos y su trabaj se public despu s de su muerte. uri o o e
3. 3
!
fuera del crculo unitario, j j = 1 . En el disco j j de potencias,

z z
<
1 , la funci n tiene la representaci n en serie o o n
1 1 Ahora bien, si expresamos la funci n como o 1 1

z z
:
z
n= 0 1
z >
1
z
vemos que la funci n se representa en la regi n j j o o 1 1

z
1 por una serie diferente, propiamente, para j j

z
:
z
n= 1
n =
1 :
z
>
n=
z
la cual es una serie de potencias negativas de .

Ilustraci n o
Tomemos una funci n un poquito m s atractiva. Consideremos o a

f
( )=
z
1 1)(
2)
2i i
1
2i
|z| > 1 (a)
|z | < 2 (b)
g. 51
1< |z| < 2 (c)
Una r pida aplicaci n de fracciones parciales, permite escribirla como a o

f
( )=
z
1 1)(
2)
1
z
1
z
Como vimos arriba, la funci n ( 1 o ) 1 se representa por una serie de potencias negativas de en la regi n j j o 1 , mostrada en la gura 51 -a. De otro lado, la funci n ( o 2) 1 se puede representar en el disco j j 2 por una serie de potencias no negativas de , como el de la 51 -b.
z z z > z z < z
!
Como un resultado, la funci n ( o 1 ) 1( 2) 1 se puede representar usando series con potencias de tanto positivas como negativas, en el nulo 1 a j j 2 , mostrado en la gura 51 -c.
z z z < z <
Antes de dar una de nici n formal de series de Laurent, dejamos como un buen ejercicio, hallar la o serie de potencias positivas y negativas para la funci n o
f
( ) =
z
1 (
z a
)(
para
j j
a < a
<
j j
z b
<
j j
b
en donde
son n meros complejos que satisfacen 0 u
j j
0
<
j j.
D EFINICI O N 2 8
Una serie de Laurent centrada en
n=
n=
( )
:
z
+ es una serie de la forma

:
n(
0)
con
n2 +

( 30)
Se dice que la serie converge en un punto , si ambas series,

z
n= 0
:

n(
0)
n= 0
:
z
n(
0)
( 31 )
convergen. En ese caso la suma de la serie se de ne por el lmite
N n= N n(
lim
a
n= N
0)
Ilus t racione s
1 ) La serie
n=
:

=0 1
Las siguientes series son dos ejemplos que ilustran estas ideas:
n=
: n :

z
no converge en ning n u
de
+, ya que:
;
n n
converge s lo para o
j j
z
<
mientras que
converge s lo para o
j j
z
<
esto es para
;
j j
z
>
Las series no tienen una regi n com n de convergencia. o u
2) 1
<
La serie
j j
z
<
2.
n=
:
1
n= 1
:

(2
=z
converge para todo
que satisfaga la doble desigualdad
Una pregunta:
En d nde converge la serie de Laurent en 30? o
3. 3
1 33
Bien, primero consideremos la serie en 3 1 -A . para alg n u

R
2 1
Claramente, 3 1 -A converge en el disco
j
z
j
<
<
2 1
0 , conocido como su radio de convergencia.

z
una serie de p ontencias en ( z para alg n u

R
0;
0)
Con resp ecto a 3 1 -B, se trata de
Por lo tanto, ella converge en el disco
equivalentemente, la serie en 3 1 -B converge para
j(
0) 1
.
>
Combinando las dos regiones, determinado p or 0

R
<
como deb emos,

z
se sigue que la serie en 3 0 ,
converve en el nulo a
<
Estos resultados son el contenido del siguiente
TEO REM A 0
<
1,
24
Laurent)
Si
es diferenciable en el nulo a
j
j
con
entonces,
X
f( z)
n( z
0)
X
+
b
n( z
0)
en donde;
n= 1
n= 1 n
X
a
n( z
0)
<
1 1
en
j j
<
j j
<
X
n= 1
b
n( z
0)
<
en
>
n= 1
En particular, ambas series convergen en el nulo a
R
<
EJEM P L O 31
Hallemos la serie de Laurent para
f( z)
1=z
S O L UCI O N
Y que a
X
=
1
z n!
8 2
z ; z
n= 0
e
1=z
X
1
z n!
8 =0 6
;
se tien ;
n= 0
f( z)
X
c
m=

si
mz
8 > > > > <

con
= = 2 =
1
m!
1
1 ,
> > > > :
0 m
1 (
m)
si
y esta expansi n es v lida para o a
= 0 ,
esto es, para
= 0
1.
1
EJEM P L O 32
f( z)
1
z
.
z
!"
Notemos que 1 es por si misma una serie de potencias, con un s lo coe ciente o distinto de cero en 1 . Adem s, a
S O L UCI O N
=z z
1 1 luego, ( )=
z z
= 0 1
X
X
m=
m m,
z
con
m=
n= 0
si si
2, 1.
El siguiente ejemplo es otra ilustraci n de c mo usar series geom tricas para construr series de o o e Laurent.
EJEM P L O 33
( )=
z
1 1)(
z
4)
, al rededor de
=1.
Empecemos por identi car los puntos = 1 y = 4 como singularidades de la funci n. Esto dice que nuestras regiones anulares al rededor de 0 = 1 no deben contener esos o puntos.
S O L UCI O N
z z
A0
1 2 0 3 R=3 4
Aoo
g. 52 C o m o e s a s r e g i o n e s e s ta n c e n t r a d o s e n
z
0 = 1 , esto signi ca que el crculo que acota las regiones es el crculo centrado en 0 = 1 con radio = j 4 1 j = 3 . As, tendremos dos expansiones en series de Laurent de la forma
z R
( )=
z
X
n=
n(
1)n
La gura 52 ilustra las dos regiones 0 , en el interior del crculo , y para las series de Laurent al rededor de 0 = 1 :
A z A
, en el exterior del crculo,
= f 2 = f 2
0
z z
+: +:
0 3
<
<
j j
1j 3 g 1j g
< :
3. 3
!#
Para hllar la serie para
f( z)
en
0,
=
expresemos la funci n como o
f( z)
1
z
1 1 1
< z
= (z 4
1)
1
z
1
:
D e la hip tesis sobre o
se tiene 3
1 .
Luego,
1
z
= 4
z
1 1 3
1 3
z
1 1 1
1 3 1
1
z
1 3
1 3
1 3
n=0
1
D e modo que, para
<
<
3 ,
f( z)
=
z
1 1
z
1 4
= (z
1)
1 3
1 3
n
=
n=0
1 1 1) 9
n=0
n+1
(z
1)
Tomando
1 , p odemos representar la funci n p or la serie de Laurent, o
f( z)
m=
m+2
(z
1)
m
0
= 3( z
1 27
(z
1)
1 81
(z
1)
V lida para a
en la regi n dada p or o
<
<
3 .
EJEM P L O 34 al rededor de
z
Consideremos ahora el c mputo de la serie de Laurent para ( z o 3

<
= 1 , con
j.
1)
1(
4)
S O L UCI O N
Esta vez,
z
3
<
1 .
Luego,
1
z
=
z
1 1 3
1 =( z (z 1
1) 1)
3) =( z
=
z
1 1 1
1 3
z ;
esto es
1
z
= 4
z
1 1 1
1 3
z
=
z
1 1
3
z
n
;
1 1
z
n=0
:
luego;
f( z)
=
z
1 1
z
1 4
1 1
z
3
z
n
=
3 (z
n
f
n=0
n=0
1)
n+2
:
Con el cambio de ndices
( n + 2)
obtenemos la serie de Laurent para
1 36
( )=
z <
:
m=
2
( m+ 2
1)m =
1 (
z
1)2
3 (
z
1)3
32 (
z
1)4
33 (
z
1)5
v lida para 3 a
1j .
El c mputo de la serie anterior estuvo simpli cado por el hecho que la expansi n era al rededor o o de 0 = 1 y un factor de la funci n ya era de la forma ( o 1 ) 1 . Si ese no hubiese sido el caso, digamos 0 = , hubi ramos podido, primero expandir ( ) en fracciones parciales, e
z z z i f z f
( )=
z
1 1)(
4)
1 3 1 3 + 1 4
= = z
y luego expandir cada t rmino usando una serie geom trica. De hecho, conocemos muchas series e e de potencias que no son geom tricas, y somos libres de usarlas para hallar series de Laurent. e
EJEM P L O 35
Hallemos la serie de Laurent para Como

w
1 =z
, en
z0
= 0.
S O L UCI O N
: 1
n= 0
1 =z
n
8 2
w
+,
tenemos,
: 1 1 n : 1 = ! ! n= 0 n= 0
n z n
siempre que 1 sea un complejo nito. Esa es la serie de Laurent para nuestra funci n. Reino dexando la serie resulta,
=z z
1 =z
:
m= 2
1 (1
n
)!
+ +
z
1 1 1 1 1 + + + 2 3! 4! 2
z z
v lida para j j a
z
>
0 .
E J E R C IC IO S
1 25.
z0
j
Sea
z0
un punto del plano complejo y una funci n de valor u nico, analtica en el disco o . Muestre que la serie de Laurent para en el disco dado se reduce a la serie de Taylor,
f f f
( )=
z
:
n= 1
( n)
( 0) ( !
z
z0
1 26.
Halle la expansi n en serie de Laurent de la funci n o o
(1
1 )(2
en el nulo: i) a
3.4
C lculo de Residuos a
1 37
0 < j zj < 1 ;
1 27.
ii) 1 < j zj < 2 ;
iii) 2 < j zj .
Halle la expansi n en serie de Laurent de la funci n o o ii) 1 < j z 1j < 1 ; iii) 0 < j z
en: i) 0 < j zj < 1 ;

1 28.
z 1 2j < 1 .
1 2
Halle la serie de Laurent y la regi n de convergencia, para: o
a) d)
1 29.
f( z) = 2 z (1
cos( 3 =z ) ,
z)
b) e)
g( z ) = z2 1
( 1 + z2 ) z
c) f)
sen ( 1 =z ) ,

e1 =z ,
ln
Halle los valores de z que satisfacen la identidad 4z 1 X zn 1 = + : z 2 4z n=1 4n+2
3. 4
C lculo de residuos a
Sea que z0 es una singularidad aislada de una funci n f dentro de una curva cerrada simple C. o Entonces, f tiene una serie de Laurent,
f( z) =
X
n=
cn( z
z0 ) n :
Asumiendo que podemos integrar t rmino a t rmino la serie de Laurent, e e

Z C
f ( z ) dz =
X
n=
cn
Z C
(z
z0 ) n dz : z0 ) n es + f0g .
Las integrales en la serie son muy f ciles: Para n 0 , la integral es cero, porque ( z a entera. Lo mismo ocurre para n 2 , ya que ( z z0 ) n tiene una antiderivada en Finalmente, para n = 1 , se tiene,
Z C
f ( z ) dz = c 1
Z C z
dz dz = 2 i c 1 : z0
Este resultado motiva dar un nombre especial al coe ciente c 1 de la serie de Laurent de f . Primero notemos que la expresi n anterior implica la identidad o
c 1= 2 i
Z C
f ( z ) dz :
1 38
3. 4. 1
C onceptos b sicos a
Como muy bien sabemos, por la f rmula integral de Cauchy, si f es analtica en el interior de un o contorno cerrado C, su integral sobre C es cero, pero si f tiene una singularidad en un punto z = a que est dentro de C, su integral sobre C es un complejo distinto de cero, llamado el residuo de f e en a. Formalmente, Sea f una funci n analtica en una vecindad removida de z = a en C , y sea o C cualquier contorno cerrado simple, orientado positivamente. Si a es un punto que est dentro a de C, entonces, el residuo de f en a se denota y de ne por
D EFINICI O N 2 9
Res( f; a) =
2 i C
f ( z ) dz :
( 32)
z=a
C g. 53 Queremos averiguar qu informaci n importante contiene Res(f; a) sobre la singularidad de f en e o z = a. El ejemplo m s simple es el monomio complejo cz n, con c C y n Z . De acuerdo con a
los teorema de integraci n de Cauchy, o 1 Res( c z n; 0) = c z n dz = 2 i C El residuo es diferente de cero s lo cuando n = 1 . o I 0;
c;
para n $ = para n =
1 1
La aplicaci n del teorema de Cauchy a la integral en ( 32) de la p gina 1 38, implica que si f ( z ) es o a analtica en z = a, entonces f tiene un residuo en a. Como una consecuencia, todos los monomios, incluyendo z , tienen residuo cero en cualquier punto no-cero. Esto es, Res( cz n; a) = 0 ;
&a $ 0 =
Del hecho que integraci n es una operaci n lineal, Res es un operador lineal que aplica funciones o o complejas en n meros complejos. As, u Res[ f ( z; a) + g( z; a) ] = Res( fz; a) ) + Res( g( z; a) ) Res[ k f ( z; a) ] = k Res( f ( z; a) ) para cualquier n mero complejo k . Luego, por linealidad, si f ( z ) es cualquier combinaci n nita u o de monomios,
3.4
!'
c m c m+1 f ( z ) = m + m+1 + z z
Res( f; 0) = c 1 :
c 1 + + c0 + c1 z + z
+ cnz n =
n : k= m
cc z k
Lo que el operador Res hace es escoger el coe ciente del t rmino 1 =z en la expansi n de Laurent e o de f . Como podemos ver, para una funci n f , los residuos no triviales m s f ciles de computar o a a son los de sus polos. De acuerdo con la de nici n, f tiene un polo simple en z = a, si o
f( z) =
h( z ) z a
con h ( z ) analtica en z = a y h ( a) $ 0. Aqu podemos sentir la necesidad de un desvo hacia = integrales de contorno, cuando vayamos a evaluar tales residuos. El siguiente resultado nos suple este requerimiento.
TEO REM A 2 5
Si f ( z ) =
h( z ) tiene un polo simple en z = a, entonces, ( z a)

Res( f; a) = h ( a)
P RUEBA
Basta usar la de nici n de residuo y la f rmula integral de Cauchy: o o Res( f; a) = 2 i C 1
f ( z ) dz =
2 i C z
1 h( z ) dz
z
= h ( a)
EJEM P L O 36
Hallemos los residuos en sus polos, de f ( z ) = 2 z
ez 2z
S O L UCI O N
Factoricemos el denominador de f ( z ) para hallar los polos.
f( z) = 2 z
La funci n tiene polos simples en z = o ez = ( z 3) y h 2 ( z ) = ez = ( z + 1 ) . As:
ez 2z
(z + 1)(z
ez
3)
1 y z = 3. Para hallar los residuos tomemos h 1 ( z ) =
Res( f; 1 ) = h ( 1 ) = Res( f; 3) = h 2 ( 3) =
(3 + 1)
( 1 e3
e 1
3) =
e3
4
1 ; 4e
Notemos que como f ( z ) es analtica en el resto del plano complejo, su residuo en el resto de cualquier otro punto es cero. Con la efectividad del teorema anterior para residuos sobre polos somples, la inquietud que surge naturalmente ahora es sobre los polos de orden n con n > 1 .
"
Recordemos que z = a es un cero de orden n de una funci n g( z ) si o
con n g( z ) , si
g( z ) = ( z
y h ( z ) analtica en z = a.
a) n h ( z ) ;
En particular, se dice que z = a es un cero simple de
g( z ) = ( z
a) h ( z ) ;
con h ( z ) analtica en z = a y h ( a) = g( a) $ 0. Si, adem s, f ( z ) es analtica en z = a, entonces = a el cociente
f( z) f( z) = g( z ) ( z a) h ( z )
tiene un polo simple en z = a. Para hallar el residuo usamos el teorema anterior:
f( z) f( z) f ( a) f ( a) Res ; a = Res ;a = = g( z ) ( z a) h ( z ) h ( a) g( a)

( 33)
M s generalmente, si z = a es un cero de orden n de g( z ) , entonces, a
g( z ) = ( z
a) n h ( z ) ;
con
h ( a) =
g( n) ( a) = $ 0 n!
Usando inducci n matem tica se puede probar ( ejercicio) que o a
f( z) 1 dn 1 Res ;a = g( z ) ( n 1 ) ! dz n 1

f( z) h( z )
z= a
La expresi n anterior es el contenido esencial del siguiente teorema o

TEO REM A 2 6
entonces,
Si f ( z ) es analtica en z = a y g( z ) tiene un cero de orden n en z = a,
f( z) 1 dn 1 Res ;a = g( z ) ( n 1 ) ! dz n 1

f( z) h( z )
z= a
( 34)
EJEM P L O 37
Para iluminar un poco el resultado anterior, computemos el residuo de sec z = 1 = cos z , en el punto z = = 2 .
Notemos que cos z tiene un cero simple en z = = 2, ya que su derivada, propiamente sen z es diferente de cero en = 2. As, de acuerdo con la expresi n ( 32) de la p gina 1 38, o a y f ( z ) 1 , se tiene
S O L UCI O N

Res( sec z; = 2) = Res
1 ; = 2 cos z
1 = sen 2
Es de anotar que el c mputo del residuo, directamente de la integral de contorno en la de nici n o o es mucho m s di cil. a
3.4
1 41
3. 4. 2
Teorem a del
Residuo
El teorema del residuo de Cauchy es una herramienta verdaderamente poderosa para evaluar integrales de contorno, tanto para funciones complejas como reales. Se trata de una generalizaci n o del teorema de Cauchy-G oursat y la f rmula integral de Cauchy. De acuerdo con el primero o ( Cauchy-Goursat) , la integral de cualquier funci n analtica sobre una curva cerrada es cero. Si la o funci n tiene una singularidad ( un polo de orden n) dentro de la curva, el segundo da el valor de la o integral. El teorema del residuo se aplica a funciones que tienen un n mero nito de singularidades u dentro de C , las cuales pueden inclur singularidades esenciales. Lo asombroso del teorema es que da el valor de la integral usando s lo los residuos del integrando o en las singularidades encerradas por la curva. Ya que los residuos se pueden calcular directamente a partir de la funci n, la f rmula resultante ofrece una herramienta efectiva para evaluar ( sin o o dolor) integrales complejas. En realidad, el m todo de residuos sigue siendo efectivo a n cuando el e u integrando no tenga una antiderivada que se pueda expresar en t rminos de funciones elementales; e ah, y se aplica tambi n a integrales reales. Este es el teorema: e
residuo de Cauchy) Sea D un dominio simplemente conexo C una curva cerrada simple, orientada positivamente y contenida en D . Si f es analtica sobre C y dentro de C excepto en un n mero nito de singularidades, a ; ; an, entonces, u
TEOREMA 27 ( Teorema del

y
2 i
f ( z ) dz = Res( f; a ) +
+ Res( f;
an)
( 35)
C1 a1 C2 a3
C3 a4 a5 C5
a2 C
g. 53
C4
Dibujemos pequenos contornos Ci alrededor de cada singularidad ai , que est n e dentro del contorno C y no se crucen uno con otro. De esa manera, ai es la u nica singularidad contenida dentro de Ci , como se ilustra en la gura 53. Por de nici n, o
PRUEBA
Res( f;
ai )
2 i
cE
f ( z ) dz Ci .
( 36)
en donde la integral de lnea se toma en sentido antihorario sobre el contorno
Sea D el dominio que consiste de todos los puntos z dentro de la curva C pero fuera de los contornos ; Cn, como se ilustra en la regi n sombreada de la gura 53. Con esta construcci n, la o o funci n f ( z ) es analtica en D y, por el teorema de Cauchy-G oursat, su integral sobre @D es cero. o
C ;
"
La frontera @D debe estar orientada consistentemente, de modo que el dominio quede siempre en el lado izquierdo. Esto signi ca que el contorno C se debe recorrer en el sentido anti-horario, mientras que los contornos Ci se deben recorrer en sentido horario. En esas condiciones, la integral ( cero) sobre la frontera del dominio D se puede descomponer como la diferencia, 0= 2 i @D 1 1
f ( z ) dz =
= 1 1
2 i C
f ( z ) dz
n : i= 1
n : 1 1 f ( z ) dz 2 i CE i= 1
2 i C
f ( z ) dz
Res( f; ai ) :
El signo menos convierte las integrales sobre los contornos interiores a la orientaci n anti-horaria o usada en la de nici n de residuos. Un reordenamiento de la identidad nal muestra la validez del o teorema.
38 Tomemos C como un crculo de radio r centrado en el origen y evaluemos la siguiente integral usando el teorema del residuo: EJEM P L O
ez dz 2 2z 3 Cz
S O L UCI O N
Como vimos en el ejemplo 1 1 , la factorizaci n del denominador como ( z + 1 ) ( z 3) o muestra que el integrando tiene singularidades en z = 1 y z = 3, y residuos correspondientes 1 = ( 4e) y e3 = 4. Si el radio del crculo es r > 3, entonces el crculo rodea ambas singularidades y, por la f rmula del residuo, o 1
ez dz = 2 i 2 2z 3 Cz
1 e3 + 4e 4
( e4
2e
1)i
Si 1 < r < 3, entonces
1 es la unica singularidad dentro del crculo y por tanto, 1
ez dz = 2 2z 3 Cz
i 2e
Si 0 < r < 1 , el integrando no tiene singularidades dentro del crculo y, por el teorema de Cauchy, su integral es cero. Finalmente, si r = 1 o r = 3, el contorno pasa por una singularidad y la integral no converge.
3.4
"!
3. 4. 3
Evaluaci n de integrales reales o
El teorema del residuo tiene una importante e inesperada aplicaci n en la evaluaci n de ciertas o o integrales de nidas reales. El teorema se aplica, a n en casos en los cuales uno es incapaz de u evaluar la correspondiente integral inde nida de manera cerrada. Sin embargo, la conversi n de o la integral real de nida en ( parte de) una integral de contorno compleja, lleva a una evaluaci n o directa, va el c mputo de residuos que deja de lado la di cultad de hallar la antiderivada. o El m todo se aplica a dos tipos b sicos de integrales reales, pero se puede extender a numerosas e a variaciones que ocurren en tratamientos m s extensivos del tema. La primera clase incluye intea grales trigonom tricas de la forma e Z I= F( cos t; sen t) dt ( 37)

las cuales se pueden evaluar convirtiendolas en integrales complejas alrededor del crculo unitario. La idea es tomar
z = eEJ ;
Luego; 8 >> > < >> >:
de modo que
= e EJ eEJ + e EJ 1 cos t = = z+ 2 2 eEJ e EJ 1 = z sen t = 2i 2i
( 38)
z
1
z dz iz
( 39)
Adem s ; a
dz = deEJ = ieEJ dt = iz dt ;
I +
y dt =
En estas condiciones, la integral en ( 37) se puede escribir en la forma compleja
I=
z+z
2
z+z ; 2i
dz iz
Con el conocimiento que el integrando complejo est bien de nido y es de valor u nico, excepto a posiblemene en un n mero nito de singularidades, dentro de un crculo, podemos evaluar direcu tamente la integral usando el teorema del residuo, sumando sus residuos en las singularidades y multiplicando todo por 2 i.
EJEM P L O 39
Computemos la integral, relativamente simple, Z

2 + cos t
dt
S O L UCI O N
resulta
Lo que hay que hacer es sustituir cos t y dt como lo acabamos de indicar. As
""
Z
2
dt
2 + cos
0
en donde el contorno
C iz [ 2 +
dz 1 ( z + z 1) ] 2 F
C z2
dz : + 4z + 1
2
C es el crculo unitario.
sus ceros son
El integrando complejo tiene singularidades en donde
su denominador se anule. Para
z 2 + 4z + 1
= 0
z1
= 2
3 ,
z2 z1
F F
3 .
La u nica singularidad que est dentro del crculo es a ecuaci n ( 3 2 ) de la p gina 1 3 8 , obtenemos o a
2 +
3 .
Por lo tanto, aplicando la
dz i 2 + 4z + 1 Cz
I
= 2
Res
z2
2 + 4
z+1
2 +
4 2
z + 4 z= 2+ 3
2 F
z2
z1
g. 54 E n l a e p o c a d e l C a l c u l o o r d i n a r i o , l a i n t e g r a l d a d a l a e v a l u a b a m o s p o r s u s t i t u c io n t r i g o n o m e t r i c a ; p e r o e l p r o c e s o n o e r a m u y a g r a d a b l e q u e d i g a m o s . E n c o n t r a s t e , c o n p o c a p ra c t i c a , e l m e t o d o d e r e s id u o s s e v e m u c h o m a s s im p le .

3
EJEM P L O 40
Evaluemos la integral real
cos 2
cos
dt . y as,
no es de la
S O L UCI O N
La primera cosa de anotar es que el integrando s lo va de 0 a o ( 3 7) .
forma de la ecuaci n o integral como
Pero usando el hecho que el integrando es par, p odemos expresar la

3
cos 2
cos
dt =
1 2
2
3
cos 2
cos
dt ;
la cual lleva a una integral de contorno sobre el crculo unitario, usando las sustituciones dadas en la expresi n ( 3 8 ) de la p gina 1 43 . o a A dem s, a

cos 2
t=
e2it + e 2it
2
1 2
z2
z2
con lo cual
3.4
Z
I I
"#
z
2 cos 2 0 3 cos
t
dt t
1 ( 2 + 2) 2 = 1 C 3 2 ( + 1)
z z z z
dz
iz
C 2( 2
z z
4+1 6 + 1)
z
dz
El denominador del integrando tiene ceros en 0 y 3 2 2, Uno de ellos no est dentro del crculo a unitario y lo podemos ignorar. As, usando la expresi n ( 34) de la p gia 1 40, con ( ) = ( 4 + 1 ) 2 o a y ( ) = 2 6 + 1 , obtenemos
f z z =z g z z z

Res
2( 2
z
4+1 6 + 1)
z
2 2
4+1 1 2 2 6
= z z
1 7F = 2 F 4 z= 3+ 2
De otro lado, usando la expresi n ( 34) de la p gia 1 40, computamos el residuo o a

Res
2( 2
z
4+1
z
6 + 1)
= =
dz
4+1
z
6 +1
z
z=0
z
2( 5
z
9 4+2 3 + 3) =6 ( 2 6 + 1)2 z=0

z z z
El segundo tipo de integrales reales que se pueden evaluar por el m todo de residuos, corresponde e a integrales sobre todo el eje real. En este caso las t cnicas son un poco m s sutiles. La idea b sica e a a ya la discutimos en el ejemplo 29 de la p gia 1 1 8, usando la f rmula integral de Cauchy. Para ver a o c mo podemos usar el teorema del residuo, consideremos el siguiente ejemplo. o
Z
EJEM P L O 41
Evaluemos la integral real
cos 0 1+
x dx x
La integral dada no se puede evaluar por m todos elementales, lo cual nos lleva e a usar el c lculo de residuos. Empecemos por notar que el integrando es par, por lo cual podemos a evaluar
S O L UCI O N
Z
sobre toda la recta real. Adem s, para a ix cos = Re 1+ 2 1+ 2

x e x x C S
4 podeos escribir
Z
cos 1+
x dx x
por lo cual
= Re
1+ 2
x
ix
dx
Tomemos r como el contorno cerrado que consiste de un semicrculo de radio , denotado por , como se ilustra en la gura 55, con la r , conectado en sus extremos por el intervalo orientaci n usual antihoraria. o
r r x r
"$
y
Sr
x
-r
0 g. 55
Ya que Cr = [ r; r ] [ Sr , la correspondiente integral de contorno es

I
eiz dz = CH 1 + z 2
r eix dx eiz dz + 2 r1+x SH 1 + z 2

Z
( 40)
Cuando r ! 1 , el contorno semicircular Cr incluye m s y m s parte del eje real, con lo cual la a a primera integral se aproxima m s y m s a nuestra integal deseada. De acuerdo con el teorema a a del residuo, la integral en ( 40) es la suma de los residuos del integrando, en las singularidades que est n dentro del contorno Cr . Ahora bien, ez es analtica en todo el plano y las singularidades a ocurren donde se anula el denominador del integrando, esto es, en z = i. Computemos el residuo en z = i ya que sta es la u nica singularidad dentro del contorno: e
eiz eiz e 1 1 Res ;i = = = 2 1+z 2z z= i 2i 2 ie

Por el teorema del residuo,

I
eiz dz 2 i = = CH 1 + z 2 2 ie e
Dejamos como un buen ejercicio, mostrar que la segunda integral en ( 40) tiende a cero cuando r tiende a in nito. As,
Z
eix dx eiz = lim = 2 2 r CH 1 + z e 1+x

I
Incidentalmente, la integral es real porque su parte imaginaria,

Z
sen x dx =0 1 + x2
Z
es la ingegral de una funci n impar que es autom ticamente cero. Consecuentemente, o a cos x dx e ix dx 1 I= = Re = 2 2 1+x 2 2e 0 q+x
Z
3.4
Z
"%
EJEM P L O 42
Usemos el m todo de residuos para evaluar e
dx . 1 + x4
En realidad, la integral inde nida se puede hallar por el m todo de fracciones e parciales, pero, como sabemos, esta no es una tarea muy agradable que digamos. Veamos c mo o son las cosas con el m todo de residuos. Denotemos por Cr el mismo contorno de la gura 55. El e integrando tiene polos donde el denominador se anula, esto es, en z 4 = 1 , es decir, en las cuatro races cuartas de 1 . Ellas son:
S O L UCI O N
e i= 4 = p
1 + 2
e3 i= 4 =
1 + 2
e5 i= 4 = p
e7i= 4 = r>
1
Solamente los primeros dos polos est n dentro del contorno a funci n en ellos son: o

Cr
para
1 . Los residuos de la
Res

1 1 + 1 1 +
z z
; ei= 4 = 4 ;e 4
3 i= 4

4z
z = e i= "
e 3 i= 4
4 =
4 2 = 1
i i
Res
4z 3
e 9 i= 4
4
z = e! i= "
4 2
Usando la f rmula del residuo se tiene, o

I
cr
dz + z4
= 2 i
4 2
4 2
p
( 41 )
De otro lado, la integral de contorno se puede descomponer como antes:

I
cr 1
dz + z4
dx + r 1 + x4 Sr
Z
dz + z4
La primera integral nos da el valor de la integral deseada cuando r ! 1 , mientras que la segunda, el integrando es muy pequeno cuando el semicrculo j zj = r es muy grande. En efecto, 1 1 +
z4
1
1 1 +
j zj 4
1 1 +
r4
De modo que la integral sobre el semicrculo se puede acotar por

I
Sr 1
Luego, cuando
dz + z4
1 +
!0; r3 p
cuando
r!1
r ! 1,
la integral compleja en ( 35) tiende a la integral real deseada, y as,

Z
dx 1 + x4
Notemos que el resultado es real y positivo, como era de esperarse.
"&
Terminemos esta secci n con una una ilustraci n sobre la evaluaci n de integrales de funciones que o o o oscilan muy r pidamente, como la muy importante funci n exponencial compleja e E=N dx . a o
EJEM P L O 43
Usemos integraci n compleja para evaluar o
Z
eE=N dx .
S O L UCI O N
Conocemos muy bien la famosa integral Gaussiana,
Z
=N
dx =
p=a :
Para a = 1 la gr ca del integrando es la familiar curva de campana de altura 1 y ancho de orden a F 1 = a ( ver gura 56) .
y
1
Z
P ero que h ay del resu lt ad o
g. 56
E=N
dx =
p=ia ?
0 x
y g. 57
Este resultado, siendo correcto, esta muy lejos de ser obvi o! Aqu todos los valores del integrando, , E=N est n siempre sobre el crculo unitario del plano complejo, y es igual a 1 en x = 0 . La a gura 57 muestra ( con a = 1 ) la fase del integrando, ( x ) = ax , como una funci n de x o
3.4
"'
y 1 0
g. 58 Para ayudar a visualizar mejor el integrando, aqu tenemos una gr ca de la parte real ( ver gura a 58) . Es evidente que las contribuciones del integrando a la integral provienen, principalmente, de la regi n central en donde la fase es estacionaria, y las oscilaciones cada vez m s r pidas se alejan o a a del origen, asegurando que de esos lugares provienen muy pocas contribuciones. Bueno, pero c mo evaluamos realmente la integral? Bien, en el plano complejo, tomando = + , podemos o escribir
z x iy
Z

e
iaz
dz
Z

e
ia( x
+2
ixy)
dz
Es f cil ver que la amplitud ( o m dulo) del integrando 2 axy es igual a 1 a lo largo del eje real. a o De modo que el integrando no tiende a cero en in nito, aunque, por la rapidez de las oscilaciones, no haya una contribuci n esencial para valores grandes de . Una manera de ver m s claro lo que o a est ocurriendo es rotar 45 o al rededor del origen, el contorno de integraci n, a la recta = a o . No hay problema al hacerlo porque la amplitud del integrando decrece al ir del eje real a la regi n o 0 ; en efecto, el integrando tiende a cero cuando va hacia in nito en esa regi n. o
e x y x xy <
xy < 0 x 0 xy < 0
g. 59 Para dar un mejor argumento, reemplacemos la integral in nita por otra entre
tomamos el lmite cuando
L
y , y luego tiende a in nito. As, el contorno distorcionado tiene primero una

L L
#
parte vertical de ( L; 0) a ( L; L ) , luego un contorno diagonal de ( L; L ) a ( L; L ) y nalmente una parte vertical de ( L; L ) a ( L; 0) . Ahora bien, claramente, en la primera parte vertical la integrales menor que la integral de el m dulo, esto es, o
Z
(
L;L) L; 0)
e ia( x y
+2
ixy) dz <
ZL
0
e aLy dy <
2
Z
0
1 e 2 aLy dy = ; 2 aL
de modo que en el lmite de la integral original ( sobre todo el eje real) las contribuciones de las partes verticales del contorno se anulan. Entonces, la integral se convierte en
Z
Luego,
Z 2ax F i=4p p F I = 2 e i= 4 e dx = 2 e = 2 a = =ia . Z

e 2 ax dz ;
con dz =
2 e i= 4dx :
Por lo tanto,
eiax dx =
r
ia
INTEGRALES GAUSSIANAS
Surgen en teora cin tica, mec nica estadstica, mec nica cu ntica y en cualuier otro lugar con e a a a alg n remoto aspecto de estadstica es la de integrales Gaussianas. Su forma general es u
xn e
x :
El caso m s com n y m s simple es la integral de nida de a u a cuya gr ca se muestra en la gura 60. a y
a , o de 0 a , para n =
= 1,
g. 60 Si n es un entero impar, entonces
3.4
#
Z
xn e
x =0:
La gura 60permite ver por qu ese resultado es correcto. Para evaluar la integral con n a n impar, e u 2 sobre el eje positico x , hagamos la sustituci n t = x : o Z Z 1 n e x dx = x t( n 1) = 2 e t dt ( n+ 1) = 2 2 0 0 = El factorial ( ( n 1 n+ 1) = 2 ( ( n 2
(
1 ) = 2) ! 1 ) = 2 es un entero.
1 ) = 2) ! est bien de nido ya que n es impar, y as, ( n a
Para n par, la evaluaci n de esta integral requuiere un truco previo. Evaluemos el caso especial o n = 0 ; = 1 y denotemos su valor por I:
I=
Z
e x dx ;
con
I =
2
Z
e x dx
Z
e y dy
En el segundo factor de I2 cambiamos el nombre de la variable para evitar confusiones con el primer factor. Una manipulaci n apropiada en la integral cuadrada nos lleva a una integral doble: o Z Z Z Z y dy dx = x dx 2 e ( x + y ) dy dx I = e e Ahora tenemos una integral sobre todo el plano x y , y el truco consiste en expresarla en coordenadas polares r . El elemento de rea dx dy es entonces r dr d y los lmites de integraci n a o correspondientes son, 0 r < y 0 < 2 . Obviamente el exponente es r 2 = x 2 + y2 , y la integral cuadrada se transforma en
I2 =
Z
0
r dr
Z2
0
e r d :
La integral con respecto a es 2 . Para la integral con respecto a r la sustituci n z = r 2 produce o el resultado 1 = 2 , con lo cual se obtiene como el producto de las dos integrales. Z F 2 I =; luego; e x dx = : ( 42) Para evaluar las dem s integrales usamos diferenciaci n param trica, introduciendo un par metro a o e a que permita efectuar la derivaci n. Cambiemos e x por e x y en la integral resultante camo biemos las variables para reducir la integral a la forma 42. As resulta Z p e x dx = = ; luego ; r Z 2 x dx = d p = = 1 x e : 3=2 d 2 Para n > 2 par, basta iterar la diferenciaci n con respecto a o .
1 52
E J E R C IC IO S
1 30.
Encuentre los residuos de
f( z)
en todas sus singularidades, si:
f( z)
1 31 .
z3
z5
f( z)
2 (z
z2
2 ; + 1)
f( z)
sin 2 (
+ 1)
3 ;
f( z)
e z+1=z :
Us e t cnicas de residuos para evaluar las integrales reales: e
Z2
0
sin
2

5 + 4 cos
d ;
Z2
0
d
5 + 4 sin
Z2
0
: a2 sin 2 + b2 cos 2 C.
Muestre que
d
1 32.
Si
es anal tica dentro y sobre una curva cerrada simple
f ( z ) z w
C
1 33.
dz
f( z)
(
w) 2
dz D,
y que
Sup onga que
es
anal tica y no constante en una regi n o
D.
Explique p or qu e
j fj
f( z)
no tiene un valor mnimo en
D.
prueb e que si
= 0 para todo
1 3 4.
Si
f( z)
valor m ximo en a
u ( x; y) + iv ( x; y) es analtica en una regi n D , o D , entonces u deb e ser constante en D .
u ( x; y)
toma un
1 35.
Evalue las siguientes integrales sobre el crculo unitario:
sen 2
z i
Z
1 36.
dz ; x
I
.
log(
+ 2)
+ 2
dz :
Evalue la integral real
Z
1 37.
( x2 2 + 1)(x
1
cos 3
+ 1)
2 dx
dx
=
Muestre que
( x2

6
+ 4)

Derivacion Integracion

Încărcat de

Informații document

Descriere originală:

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Derivacion Integracion

Încărcat de

Drepturi de autor:

Formate disponibile

2.

Suponga que a y z son complejos y que f :

C lculo dif encial comp a er lej o

Hay tres condiciones implcitas en la de nici n. o 1)

Si una funci n compleja o un punto singular, o una singularidad de .

Se dice que una funci n compleja o si existe el lmite

En este caso, cambio de variable si, existe el lmite

 z el lmite se denota por (

en  . Haciendo el  ) , y se llama la derivada de complejo, se tiene que ( ) es diferenciable en  si y s lo o

Si una funci n es diferenciable en todo punto de o

+, se dice simplemente que

 Algebra de derivadas complejas

C lculo dif encial comp a er lej o

Una aplicaci n de las reglas anteriores y la f rmula ( n)  = o o ciabilidad del polinomio

, permite mostrar la diferen-

lim h  Tomemos Entonces,

= + , de modo que ( + ) = + y as,

como un real, digamos

) es diferenciable Qu nos dice su derivada e

( ) sobre sus partes

las cuales fueron descubiertas indep endientemente p or el franc s A. L. Cauchy y el Alem n e a

Sup ongamos que

del plano complejo

Entonces su derivada se puede

calcular a lo largo de cualquir recta horizontal o vertical.

A s deb e cumplirse que ,

Expresando la funci n en t rminos de sus partes real e imaginaria, o e

A lo largo del eje real,

= lim J  D e modo que

D e otra parte, tomando la derivada a lo largo del eje imaginario nos da

Igualando las partes real e imaginaria en que comp onen

( 2 2 ) , descubrimos que las partes real e imaginaria

deb en satis facer dos ecuaciones diferenciales parciales, llamadas de

en honor de August L. Cauchy y Bernhard Riemann.

Este es el contenido del siguiente

Si una funci n compleja o

partes real e imaginaria satisfacen las famosas

Ecuaciones de Cauchy-R iemann

C lculo dif encial comp a er lej o

@u @ @ @v = (x y ) = 2 x = ( 2 xy) = ; y @x @x @y @y @v @ @ @u = ( 2 xy) = 2 y = (x y)= @x @x @x @y

Mostremos que f ( z ) = e z = ex cos y + ie x sen y es diferenciable en hallemos su derivada.

@u @ x @ x @v = ( e cos y) = ex cos y = ( e sen y) = ; @x @x @y @y @ x ( e cos y) = @y @u @y

@u @u = = 0 y, como antes, las @x @y

Funciones Arm nicas o

C lculo dif encial comp a er lej o

( ) es analtica, entonces, sus partes real e imaginaria,

es un dominio en , dada una funci n o ! es una conjugada arm ni ca de o ( )+ ( ) es analtica en f + 2

Para hallar v basta integrar con respecto a x: v( x; y) = x ! + 3x y 3xy + h( y) ;

4 . De modo que la conjugada armonica de u( x; y) tiene la forma

Observe que la correspondiente funci n compleja o f( z) = u( x; y) + iv( x; y) = ( x! = (1 3x y 3xy + y! ) + i( x ! + 3x y 3xy y! + c)

es un polinomio c bico complejo. u

C lculo dif encial comp a er lej o

+ n f 0 g , con una singularidad en

Tomando z = x + iy y sustituyendo en la expresi n anterior se obtiene, o

e z = eax by cos( bx + ay) + ieax by sin( bx + ay) :

e iz = sin( x ) cosh( y) + i cos( x ) sinh( y) 2i

A partir de la expresi n familiar para la serie geom trica, o e 1 1 se obtiene ( ) =

y ambas series convergen en el mismo interevalo.

y as, la serie en 23 toma la forma 1 1 v lida para a

lo cual se cumple s lo si o est dado por a

De modo que el intervalo de convergencia

C lculo dif encial comp a er lej o

C lculo dif encial comp a er lej o

Hay tres condiciones implcitas en la de nici n. o 1)

Si una funci n compleja o un punto singular, o una singularidad de .

Se dice que una funci n compleja o si existe el lmite

En este caso, cambio de variable si, existe el lmite

z el lmite se denota por (

en . Haciendo el ) , y se llama la derivada de complejo, se tiene que ( ) es diferenciable en si y s lo o

Si una funci n es diferenciable en todo punto de o

Algebra de derivadas complejas

C lculo dif encial comp a er lej o

Una aplicaci n de las reglas anteriores y la f rmula ( n) = o o ciabilidad del polinomio

lim h Tomemos Entonces,

= + , de modo que ( + ) = + y as,

) es diferenciable Qu nos dice su derivada e

( ) sobre sus partes

las cuales fueron descubiertas indep endientemente p or el franc s A. L. Cauchy y el Alem n e a

A s deb e cumplirse que ,

Expresando la funci n en t rminos de sus partes real e imaginaria, o e

= lim J D e modo que

Si una funci n compleja o

C lculo dif encial comp a er lej o

Funciones Arm nicas o

C lculo dif encial comp a er lej o

( ) es analtica, entonces, sus partes real e imaginaria,

es un dominio en , dada una funci n o ! es una conjugada arm ni ca de o ( )+ ( ) es analtica en f + 2

4 . De modo que la conjugada armonica de u( x; y) tiene la forma

Observe que la correspondiente funci n compleja o f( z) = u( x; y) + iv( x; y) = ( x! = (1 3x y 3xy + y! ) + i( x ! + 3x y 3xy y! + c)

es un polinomio c bico complejo. u

C lculo dif encial comp a er lej o

Tomando z = x + iy y sustituyendo en la expresi n anterior se obtiene, o

A partir de la expresi n familiar para la serie geom trica, o e 1 1 se obtiene ( ) =

y as, la serie en 23 toma la forma 1 1 v lida para a

lo cual se cumple s lo si o est dado por a

C lculo dif encial comp a er lej o

es t e r es ult ado s e capt a f cilment e mir ando la a

me todo alguno ver

la s erie es t a dada p or plano complejo,

la cual coincide con la funci n real o 3 2 -b mues tr a ( ) = y 1 que

el radio de convergencia es la dis t ancia a la s ingular idad m s cer cana. a

En es t e momento p odemos explicar p or qu , e

es anal t ica en todo el eje r eal, complejas las

s u s er ie de t aylor converge s lo en el int er valo ( o su r adio de convergencia cuando

punt o dis t int o de Los c mputos o que el r adio su

neces it amos det er minar cu l es a = 2, mientr as N otemos de que

la s ingularidad m s cercana. a = 1 0, hallar de donde se

N at ur alment e, cia, o m s , a que

U n ejemplo t pico par a el cas o iii) fr ontera hay conver gencia es

tiene la expansi n en serie de potencias: o

Determine si la funci n o ( Por qu ?) . e

f ( z ) = z=z es o no continua en 0. Es analtica donde est de nida? e

C lculo dif encial comp a er lej o

P rueb e que la funci n o

no es anal tica en ning n dominio. u

Us e las ecuaciones de Cauchy-Riemann para mostrar que la funci n o

no es anal tica en ning n punto del plano complejo. u

determine la regi n de diferenciabilidad y la de analiticidad de o

es anal tica con

halle una expresi n o

Exprese la funci n compleja o

Halle la regi n dentro de la cual o

una funci n anal o tica.

x! una conjugada arm nica de u . o

son funciones arm nicas y que o

es arm nica y halle una conjugada arm nica. o o

es anal tica y que

no es anal tica ( en ning n u

es una funci n arm nica y halle su conjugada arm nica. o o o

parte real de una funci n o

, y halle una funci n entera o

z est dada exp onencialmente p or z = r e i , a f ( z ) es, f ( r ei ) = R( r; ) ei( r; ) , R( r; )

Halle los primeros tres t rminos de la serie de Taylor, al rededor de e

para los cuales se satisface la expresi n, o

Muestre que la siguiente identidad es v lida para a