Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Artemio Gonz
alez L
opez
www.elsolucionario.net
http://www.elsolucionario.net
LIBROS UNIVERISTARIOS
Y SOLUCIONARIOS DE
MUCHOS DE ESTOS LIBROS
LOS SOLUCIONARIOS
CONTIENEN TODOS LOS
EJERCICIOS DEL LIBRO
RESUELTOS Y EXPLICADOS
DE FORMA CLARA
VISITANOS PARA
DESARGALOS GRATIS.
www.elsolucionario.net
Indice general
1. Funciones analticas 1
1.1. Definicion y propiedades algebraicas de los
n
umeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Modulo y argumento. F ormula de de Moivre.
Races. Conjugacion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2. F ormula de de Moivre . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3. Races n-esimas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. La funci on exponencial, funciones trigonometricas e hiperbolicas, logarit-
mos y potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1. Funcion exponencial . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.2. Funciones trigonometricas e hiperbolicas . . . . . . . . . . . . . . 8
1.3.3. Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.4. Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Lmites y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1. Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1. Ecuaciones de CauchyRiemann . . . . . . . . . . . . . . . . . . 13
1.5.2. Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5.3. Teorema de la funcion inversa . . . . . . . . . . . . . . . . . . . . 16
1.5.4. Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . 17
1.5.5. Funciones armonicas . . . . . . . . . . . . . . . . . . . . . . . . . 17
2. El teorema de Cauchy 20
2.1. Integracion sobre arcos: definicion y
propiedades elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2. Teorema de CauchyGoursat. Homotopa.
Antiderivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2.1. Homotopa. Teorema de Cauchy . . . . . . . . . . . . . . . . . . 26
2.3. Indice. Formula integral de Cauchy
y sus consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.1. Indice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2. F ormula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . 27
2.3.3. F ormula integral de Cauchy para las derivadas . . . . . . . . . . 28
2.3.4. Desigualdades de Cauchy . . . . . . . . . . . . . . . . . . . . . . 30
2.3.5. Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.6. Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . 30
www.elsolucionario.net
INDICE GENERAL ii
2.3.7. Teorema fundamental del Algebra . . . . . . . . . . . . . . . . . 31
2.4. Principio del modulo maximo. Propiedad del valor medio . . . . . . . . 31
2.4.1. Propiedad del valor medio . . . . . . . . . . . . . . . . . . . . . . 31
2.4.2. Principio del modulo maximo . . . . . . . . . . . . . . . . . . . . 32
2.4.3. Principio del modulo maximo global . . . . . . . . . . . . . . . . 33
4. Calculo de residuos 45
4.1. Metodos para el calculo de residuos . . . . . . . . . . . . . . . . . . . . . 45
4.2. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3. CalculoRde integrales definidas . . . . . . . . . . . . . . . . . . . . . . . . 47
4.3.1. f (x) dx . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Z 2
4.3.2. Integrales trigonometricas: R(cos , sen ) d . . . . . . . . . 49
Z 0
4.3.3. Transformadas de Fourier: eix f (x) dx . . . . . . . . . . . . 49
Z
4.3.4. Transformadas de Mellin: xa1 f (x) dx, a /Z . . . . . . . . 51
0
4.4. Valor principal
Z de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.4.1. f (x) log x dx, f real y par . . . . . . . . . . . . . . . . . . . 57
0
www.elsolucionario.net
Captulo 1
Funciones analticas
1.1. Definici
on y propiedades algebraicas de los
n
umeros complejos
on 1.1. C = R2 , +, , con la suma y el producto definidos por
Definici
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )
(x1 , y1 ) (x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 ).
Justificaci
on:
La suma y la multiplicacion de los pares de la forma (x, 0) C coinciden con la
umeros reales x R
de los n
= (x, 0) x R
= R = {(x, 0) : x R} C
i = (0, 1) = i2 = i i = (0, 1) (0, 1) = (1, 0) = 1.
(x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + i y
= (x1 + i y1 )(x2 + i y2 ) = (x1 x2 y1 y2 ) + i (x1 y2 + x2 y1 )
es la formula tradicional para multiplicar los n
umeros complejos x1 + i y1 y
x2 + i y2 .
z = x + i y = x = Re z, y = Im z.
Al ser C = R2 (como conjuntos), la igualdad en C se define mediante
z = x + i y = w = u + i v x = u, y = v
En particular,
z = x + i y = 0 x = y = 0.
on 1.2. C es un cuerpo: para todo z, w, s C se cumple
Proposici
z+w =w+z zw = wz
z + (w + s) = (z + w) + s z (w s) = (z w) s
z+0=z 1z = z
z C t.q. z + (z) = 0 z 6= 0 = z 1 C t.q. z z 1 = 1
z(w + s) = z w + z s.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 2
Los siguientes resultados, bien conocidos en el campo real, son consecuencia inmediata
de la estructura de cuerpo que posee C:
Las ecuaciones cuadr aticas con coeficientes complejos se pueden resolver utilizando
la formula usual:
1 p
a z 2 + b z + c = 0 z = b b2 4ac a, b, c C.
2a
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 3
Si z = x + i y C, se definen el m
odulo y el complejo conjugado de z respectiva-
mente como sigue:
p
|z| = x2 + y 2 (distancia al origen)
z = x iy (reflexion respecto del eje real)
= Re z = 12 (z + z), Im z = 1
2i (z z)
Propiedades:
i) z = z
ii) z + w = z + w
iii) z w = z w = 1/z = 1/z
iv) |z| = |z|
z 6= 0 z 1 = z
2
v) zz = |z| = |z|2
|z| = 1 z = z 1
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 4
vi) |z w| = |z| |w| (elevar al cuadrado) = z 1 = |z|1
vii) w 6= 0 = z/w = z/w, |z/w| = |z| / |w|
(consecuencia de iii) y vi))
viii) |Re z| |z| , |Im z| |z| ( |z| Re z, Im z |z|)
Consecuencias:
i) ||z| |w|| |z w|
1.2.1. Argumento
El n
umero esta definido modulo un m
ultiplo entero de 2. Por ejemplo,
z = 1 = {0, 2, 4, . . . } = {2 k : k Z} .
arg i {/2 + 2 k : k Z}
arg(1 i) {5/4 + 2 k : k Z} = {3/4 + 2 k : k Z} .
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 5
Para que sea u nico, basta imponerle la condicion adicional de que pertenezca
a un cierto intervalo semiabierto I de longitud 2 (como [0, 2), (, ], etc.)
Escoger este intervalo I se conoce como tomar una determinaci on del argumento
= argI : C {0} I
argI (z) = u
nico valor de arg z que pertenece a I
Ejemplo: arg[0,2) (1 i) = 5/4, arg(,] (1 i) = 3/4.
Determinaci
on principal del argumento:
Arg = arg(,]
1 i 1 1 i i 1i
Ejemplo:
Arg 0 /2 3/4 /2 /4
Forma trigonometrica
o polar de los n
umeros complejos:
Consecuencias:
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 6
1.2.2. F
ormula de de Moivre
A partir de (1.1) se demuestra por induccion la formula de de Moivre:
z = r(cos + i sen ) = z n = r n cos(n) + i sen(n) , n N.
z 1 = r 1 cos() + i sen() = la formula vale para todo n Z.
Ejemplo:
1.2.3. Races n-
esimas
Si z = r(cos + i sen ) 6= 0, hallemos todas las soluciones w C de la ecuacion
wn = z (n N):
w 6= 0 = w = (cos + i sen )
wn = n cos(n) + i sen(n) = r(cos + i sen )
n = r = n r r 1/n
n = + 2k, k Z
n
2k 2k
w = r cos + + i sen + , k = 0, 1, . . . , n 1.
n n n n
= un n umero complejo no nulo tiene n races n-esimas distintas.
Ejemplo:
3 2k 2k
w = i w = cos + + i sen + , k = 0, 1, 2
6 3 6 3
1 1
w = ( 3 + i), ( 3 + i), i.
2 2
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 7
1.3. La funci
on exponencial, funciones trigonom
etricas e
hiperb
olicas, logaritmos y potencias
1.3.1. Funci
on exponencial
Si t R,
k
t
X t
e =
k!
k=0
X t2k
cos t = (1)k
(2k)!
k=0
X t2k+1
sen t = (1)k .
(2k + 1)!
k=0
Sea z = x + i y C; la propiedad et1 +t2 = et1 et2 sugiere definir ez = ex eiy . A su vez,
procediendo formalmente se obtiene
X y n X 2k y 2k X y 2k+1
eiy = in = i +i i2k
n=0
n! (2k)! (2k + 1)!
k=0 k=0
= cos y + i sen y (ya que i2k = (i2 )k = (1)k ).
Valores particulares:
i) ez+w = ez ew .
Demostraci
on:
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 8
i) z = x + i y, w = u + i v =
ii) e0 = 1 = ez ez = 1 = (ez )1 = ez .
iii) Obvio.
z = |z| ei arg z ; ez = ez .
Demostraci
on:
i) Trivial.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 9
1.3.3. Logaritmos
En R, exp : R R+ (exp(t) = et ) es una aplicacion biyectiva. Su inversa es la
on log : R+ R. Por definicion,
funci
log x = y x = ey (= x > 0).
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 10
i 1 i
Ejemplo: Log(2i) = log 2 2, Log(1) = i, Log(1 i) = 2 log 2 4.
Propiedades:
i) Para todo z 6= 0, elogI z = z.
ii) logI (ew ) = w mod 2i. En particular, logI (ew ) = w Im w I.
iii) logI : C {0} {s C : Im s I} es biyectiva.
iv) z, w 6= 0 = logI (z w) = logI z + logI w mod 2i.
Demostraci
on:
i) z 6= 0 = elogI z = elog|z|+i argI z = elog|z| ei argI z = |z| ei argI z = z.
ii) w = u + i v = logI (ew ) = log(eu ) + i argI (ew ) = u + i v mod 2i, ya que
argI (ew ) = Im w mod 2i. logI (ew ) = w = Im w I porque Im(logI z) I
para todo z 6= 0. Recprocamente, si Im w I entonces logI (ew ) = w porque
ambos miembros son iguales modulo 2i y sus partes imaginarias pertenecen a I.
iii) Hay que probar que para todo w con Im w I existe un u nico z C {0} tal
que logI z = w. Esto es cierto por los apartados anteriores, siendo z = ew .
iv) Las exponenciales de ambos miembros coinciden; por tanto, esta propiedad se sigue
de la prop. ii). Otra forma de deducir esta propiedad es observando que
logI (zw) = log |zw| + i argI (zw)
= log(|z| |w|) + i(argI z + argI w) mod 2i
= log |z| + log |w| + i(argI z + argI w) mod 2i
= (log |z| + i argI z) + (log |w| + i argI w) mod 2i
= logI z + logI w mod 2i.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 11
ab = e2kbi eb logI a , k Z.
i) b Z = ab tiene un valor u
nico ( = |a a {z a}).
b veces
iii) En los demas casos (b C Q), ab tiene infinitos valores que difieren entre s en
un factor de la forma e2kbi , con k Z.
Ejemplo:
1 3i
(1 + i)i = ei[Log(1+i)+2ki] = e2k ei( 2 log 2+ 4 ) (k Z)
5 i
+2n log 2
=e 4 e 2 (n Z).
ab+c = ab ac .
D(a; r) = {z C : |z a| < r} .
vi) A C abierto es conexo si para todo par de puntos z, w A hay una curva
continua : [0, 1] A t.q. (0) = z, (1) = w.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 12
1.4.1. Lmites
Notacion:
En lo que sigue, A y B denotan conjuntos abiertos,
f :AC
z = x + i y 7 f (z) = u(x, y) + i v(x, y).
1 1
v) lm g(z) 6= 0 = lm = .
za za g(z) lm g(z)
za
Nota: En iii) y iv), la existencia del MD implica la del MI, pero no nec. viceversa.
Demostraci
on:
i)iii) son propiedades conocidas de los lmites de funciones R2 R2
iv)v) se demuestran como en el caso real (reemplazando el valor absoluto por el modulo).
1.4.2. Continuidad
f : A C definida en A es continua en a A si lm f (z) = f (a).
za
En particular, f continua en a = f definida en un entorno de a.
Propiedades:
i) f y g continuas en a = f + g y f g continuas en a.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 13
1.5. Derivabilidad
f : A C definida en A es derivable (en sentido complejo) en a A si existe
f (z) f (a)
lm f 0 (a).
za za
f : A C es analtica (
o holomorfa) en A si es derivable en todos los puntos
de A.
f : A C derivable en a A = f continua en a:
f (z) f (a) f (z) f (a)
lm [f (z) f (a)] = lm (z a) = lm lm (z a)
za za za za za za
0
= f (a) 0 = 0.
Propiedades algebraicas:
Si f : A C y g : A C son derivables en z A, y a, b C, se tiene:
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 14
u v u v
(x0 , y0 ) = (x0 , y0 ), (x0 , y0 ) = (x0 , y0 ).
x y y x
Demostraci on.
=) f es diferenciable (en sentido real) en z0 = (x0 , y0 ) con derivada Df (z0 ) = Mf 0 (z0 ) ,
ya que
|f (z) f (z0 ) f 0 (z0 )(z z0 )| f (z) f (z0 ) f 0 (z0 )(z z0 )
lm = lm
zz0 |z z0 | zz0 z z0
f (z) f (z0 )
= lm f 0 (z0 ) = 0.
zz0 z z0
u
Sea ux = (x0 , y0 ), y analogamente uy , vx , vy . Igualando la matriz de Df (z0 ) en la
x
base canonica de R2 (matriz jacobiana) con la de Mf 0 (z0 ) se obtiene
ux uy Re f 0 (z0 ) Im f 0 (z0 )
= ,
vx vy Im f 0 (z0 ) Re f 0 (z0 )
f 0 (z0 ) = ux + i vx = vy i uy .
Q.E.D.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 15
on A y f 0 = 0 en A = f constante en A.
f : A C analtica en una regi
En efecto, f derivable en sentido complejo en a implica que f es derivable en sentido
real en dicho punto, siendo Df (a) = Mf 0 (a) = 0. El resultado anterior se sigue entonces
del resultado analogo para funciones Rn Rm .
i eiz + i eiz 1
(sen z)0 = = cos z, (cos z)0 = (i eiz i eiz ) = sen z.
2i 2
De estas formulas se deduce la derivabilidad de las restantes funciones trigonometricas
en todos los puntos de sus dominios. Por ejemplo,
cos2 z + sen2 z
(tan z)0 = = sec2 z, z 6= + k (k Z).
cos2 z 2
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 16
tiene determinante u2x (z) + vx2 (z) = |f 0 (z)|2 6= 0. Por el teorema de la funcion inversa
para funciones R2 R2 (notese que la continuidad de f 0 implica la continuidad de
las derivadas parciales de u y v), hay sendos abiertos U 3 a y V 3 f (a) tales que
f : U A V es biyectiva, Df es invertible en U y f 1 : V U es diferenciable en
sentido real en V , con
1
D(f 1 )(w) = Df f 1 (w) , w V.
Derivabilidad de log:
Log : C {0} {z C : < Im z } es discontinua en R {0} (por la
discontinuidad de Arg).
y exp satisface las condiciones del teorema de la funcion inversa en todo punto de
A (exp0 = exp no se anula y es continua en A).
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 17
Demostraci on. Utilizando la misma notacion que en la Definicion 1.11 se tiene (dado
que f 0 (z0 ) 6= 0):
0 (0) = f 0 (0) 0 (0) = f 0 (z0 ) 0 (0)
= 0 (0) = f 0 (z0 ) 0 (0) , arg 0 (0) = arg 0 (0) + arg f 0 (z0 ) mod 2.
Q.E.D.
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 18
u = 0 ux = uy = 0 = vx = vy = 0 = f 0 = 0,
Si u : A R2 C R es armonica en A, z0 A y U A es un entorno de z0 ,
on f : U C analtica en U tal que Re f = u.
hay una funci
En efecto, si z = x + i y U entonces v = Im f debera cumplir:
Z y
vy = ux = v(x, y) = ux (x, t) dt + h(x);
y0
Z y Z y
vx = uxx (x, t) dt + h0 (x) = uyy (x, t) dt + h0 (x)
y0 y0
= uy (x, y) + uy (x, y0 ) + h (x) = uy h0 (x) = uy (x, y0 )
0
Z x
= h(x) = uy (t, y0 ) dt + c
x0
Z y Z x
= v = ux (x, t) dt uy (t, y0 ) dt + c.
y0 x0
www.elsolucionario.net
CAPITULO 1. FUNCIONES ANALITICAS 19
En una region, v esta determinada salvo por una constante aditiva. En efecto, si
v1 y v2 son armonicas conjugadas de la misma funcion armonica u en la region
A, las funciones f1 = u + i v1 y f2 = u + i v2 son analticas en A, por lo que
f = f1 f2 = i(v1 v2 ) tambien es analtica en A. Al ser Re f = 0 en A, las
ecuaciones de CauchyRiemann implican que las derivadas parciales de Im f se
anulan en A. Por ser A una region, Im f = v1 v2 ha de ser constante en A.
www.elsolucionario.net
Captulo 2
El teorema de Cauchy
2.1. Integraci
on sobre arcos: definici
on y
propiedades elementales
Si h1 , h2 : R R son integrables (por ej., continuas) en [a, b] R y h = h1 +i h2 :
R C, definimos
Z b Z b Z b Z b
h h(t) dt = h1 (t) dt + i h2 (t) dt C.
a a a a
Z Z Z
Ejemplo: eit dt = cos t dt + i sen t dt = 2 i.
0 0 0
otese que f (t) 0 (t) es continua en cada uno de los subintervalos [ai , ai1 ].
N
20
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 21
C 1 en [a, b])
Z Z b
f= u x(t), y(t) + i v x(t), y(t) x0 (t) + i y 0 (t) dt.
a
Z b
= u x(t), y(t) x0 (t) v x(t), y(t) y 0 (t) dt
a
b Z
+i u x(t), y(t) y 0 (t) + v x(t), y(t) x0 (t)
Z a Z
= (u dx v dy) + i (v dx + u dy).
Analogamente,
Z n Z
X
f= f.
1 ++n i=1 i
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 22
([a, b]) = ([a, b]) (es decir, y tienen la misma imagen). Observese, por u ltimo,
que el teorema de la funci on inversa implica que 1 : [a, b] [a, b] es de clase C 1 con
derivada positiva en [a, b], y por tanto = 1 es una reparametrizacion de .
i s s , 2
Ejemplo:
1 1 (s) = e 3 3 es una reparametrizaci on de (t) = t + i 1 t2
t 2 , 2 . En efecto, (s) = ( cos s), siendo en este caso (s) = cos s de clase
C 1 y 0 (s) = sen s > 0 en 3 , 2 3 .
Demostraci on. Supongamos por sencillez que es de clase C 1 en [a, b], y sea =
a, b] [a, b]. Entonces se tiene:
con : [
Z Z b Z b
f= f (s) 0 (s) ds = f ((s)) 0 (s) 0 (s) ds
a
a
Z b Z
t=(s)
= f (t) 0 (t) dt = f.
a
Q.E.D.
Propiedades:
R R R
i) f (z) + g(z) |dz| = f (z) |dz| + (z) |dz| , , C.
R P R
ii) 1 ++n f (z) |dz| = ni=1 i f (z) |dz|.
R R
iii) f (z) |dz| = f (z) |dz|.
Z Z
iv) Si es una reparametrizaci on de , f (z) |dz| = f (z) |dz|.
R R
Desigualdad fundamental. f (z) dz |f (z)| |dz|.
En particular, si max f (t) = M entonces
t[a,b]
Z
f (z) dz M l().
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 23
Z
F 0 = F (b) F (a) .
Demostraci
on.
Z Z b Z b
F0 = F 0 (t) 0 (t) dt = (F )0 (t) dt = F (b) F (a) ,
a a
Demostraci
on.
i) ii) Se basa en que si 1 y 2 son dos curvas C 1 a trozos contenidas en A que
unen z1 A con z2 A entonces = 1 + (2 ) 1 2 es una curva cerrada, y
Z Z Z Z
f= f= f f.
1 2 1 2
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 24
Notese que, por hipotesis, F no depende de la curva A que utilicemos para unir z0
con z.
Probemos finalmente que F es diferenciable en todo punto z A, con F 0 (z) = f (z).
Si > 0, al ser A abierto y f continua en A, existe > 0 tal que |f () f (z)| < si
D(z; ) A. Dado un punto cualquiera w D(z; ) distinto de z, sea L D(z; ) A
el segmento que une z con w. Entonces se tiene:
Z Z Z
F (w) F (z) = f f= f.
+L L
R R
Al ser (w z)f (z) = f (z) L 1 = L f (z) d (ya que 1 = 0 ) se tiene:
F (w) F (z) |F (w) F (z) (w z)f (z)|
f (z) =
wz |w z|
R R R
f () d f (z) d [f () f (z)] d
= L L
= L
|w z| |w z|
l(L)
= .
|w z|
Q.E.D.
Demostraci
on. Por el teorema de Stokes (orientando la curva en sentido antihorario, de
modo que el interior D de quede a la izquierda de ), si f = u + i v se tiene
Z Z Z
f dz = (u dx v dy) + i (u dy + v dx)
Z Z
= (uy + vx ) dx dy + i (ux vy ) dx dy = 0,
D D
Este resultado es insuficiente, ya que no hace falta suponer que f 0 sea continua (se
deduce del resto de hipotesis). Ademas, el resultado es valido para curvas mucho
mas generales.
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 25
z Rn = |z a| Dn = 2n D.
Si > 0, tomemos > 0 suficientemente peque no de modo que f sea analtica en D(a; )
y ademas se verifique
f (z) f (a) (z a)f 0 (a) < |z a| , z D(a; ), z 6= a.
f = 0.
R
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 26
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 27
2.3. Indice. F
ormula integral de Cauchy
y sus consecuencias
2.3.1. Indice
Si es una curva cerrada (C 1 a trozos) y a
/ , definimos el ndice de a respecto
de mediante Z
1 dz
n(, a) = .
2i z a
Proposici
on 2.4. n(, z0 ) es un entero.
entonces n(, z0 ) = h(b)/(2i). Por otra parte, h es derivable en [a, b] (el integrando es
continuo, ya que el denominador no se anula), y
0 (t) d h(t)
h0 (t) = = e [(t) z0 ] = 0, t [a, b].
(t) z0 dt
Por tanto eh(t) (t) z0 es constante en [a, b], de donde se deduce que
Q.E.D.
2.3.2. F
ormula integral de Cauchy
Sea f : A C analtica en una regi on A, sea una curva (C 1 a trozos) hom
otopa
a un punto en A, y sea a A un punto que no este sobre . Entonces se verifica
Z
1 f (z)
n(, a) f (a) = dz.
2i z a
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 28
Demostraci
on. La funci
on
f (z) f (a) , z 6= a
g(z) = za
f 0 (a), z=a
Q.E.D.
2.3.3. F
ormula integral de Cauchy para las derivadas
Sea f : A C una funci on analtica en una regi on A. Entonces f es infinitas veces
derivable en cualquier punto de A. Adem as, si : [a, b] C es una curva (C 1 a trozos)
homotopa a un punto en A y z0 A ([a, b]) se verifica
Z
(k) k! f (w)
n(, z0 ) f (z0 ) = dw, k N. (2.3)
2i (w z0 )k+1
Demostraci
on. Consideremos la integral de tipo Cauchy
Z
g(w)
G(z) = dw,
wz
donde g es una funci on continua sobre y z / ([a, b]). Se demuestra entonces que G
es infinitas veces derivable en todo punto z A ([a, b]), siendo
Z
(k) g(w)
G (z) = k! k+1
dw.
(w z)
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 29
2 = mn |(t) z0 | > 0, M = max g (t) .
t[a,b] t[a,b]
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 30
k!
k
f (a) k M, k = 0, 1, 2, . . . .
R
Demostracion. La hipotesis implica que existe M > 0 tal que |f (z)| < M para todo
z C. Si z C, de la desigualdad de Cauchy para la primera derivada se deduce que
0 M
f (z) < , R > 0
R
(ya que, al ser A = C, se puede aplicar la formula de Cauchy para las derivadas para
cualquier R > 0). De esto se sigue obviamente que |f 0 (z)| = 0 para todo z C. Al ser
C conexo, f ha de ser constante en C. Q.E.D.
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 31
2.3.7.
Teorema fundamental del Algebra
Un polinomio de grado n 1 tiene al menos una raz.
P
Demostraci on. Sea p(z) = ni=0 ai z i , con an 6= 0 y n 1. Si p no tuviera ninguna raz,
la funcion f = 1/p sera entera. Probaremos que esto es imposible demostrando que en
tal caso f sera tambien acotada en C y no constante, en contradiccion con el teorema
de Liouville.
Para probar que f esta acotada, notese que si z 6= 0
n |an1 | |a0 |
|p(z)| |z| |an | n .
|z| |z|
|ai | |an |
|z| > K = ni
< , i = 1, . . . , n.
|z| 2n
Por tanto
|an | |an |
|z| > K = |p(z)| > |z|n > > 0.
2 2
Por otra parte, al ser el disco cerrado de centro 0 y radio K compacto, existe M > 0 tal
que |p(z)| > M > 0 si |z| K (notese que M > 0, al ser, por hipotesis, p(z) 6= 0 para
todo z C). Por tanto, hemos probado que
1 2 1
|f (z)| = < max , , z C.
|p(z)| |an | M
Demostraci on. Antes de probar este resultado, notese que la formula anterior expresa
que el valor de f en a es la media de los valores de f en el crculo de centro a y radio r.
La demostracion es una consecuencia inmediata de la formula integral de Cauchy.
En efecto, por hipotesis f es analtica en un abierto A D(a; r), que puede tomarse
como una region (de hecho, como un disco abierto de radio ligeramente mayor que r:
cf. MarsdenHoffman, prob. 1.4.27). La circunferencia de centro a y radio r (orientada
positivamente) es homotopa a un punto en A, ya que lo es obviamente en el disco cerrado
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 32
(con mas rigor, en un disco abierto ligeramente mas grande contenido en A). Aplicando
la formula integral de Cauchy se obtiene:
Z Z 2
1 f (z) z=a+rei 1 f (a + r ei )
f (a) = dz = irei d
2i z a 2i 0 r ei
Z 2
1
= f a + r ei d.
2 0
Q.E.D.
Demostraci
on. Por hip
otesis, existe R > 0 tal que
|f (z)| |f (a)| , z D(a; R) D A.
Vamos a probar, en primer lugar, que |f | es constante en D. Para ello, supongamos que
existiera z0 = a + rei D tal que |f (z0 )| < |f (a)|. Por la continuidad de f en D A,
existen > 0 y 0 < tales que
f (a + rei ) < |f (a)| ,
+ .
En efecto, al ser |f (a)| |f (z0 )| > 0 existe > 0 tal que |f (z0 )| < |f (a)| 2, y por continuidad
de g() = f (a + rei ) en = existe 0 < tal que f (a + rei ) f (a + rei ) < si
+ . Para estos valores de se cumple f (a + rei ) f (a + rei ) + <
|f (a)| 2 + = |f (a)| .
Aplicando la propiedad del valor medio obtenemos:
Z
1 + i
|f (a)| = f (a + re ) d
2
Z Z Z
1 i
1 + i
1 + i
f (a + re ) d + f (a + re ) d + f (a + re ) d
2 2
2
+
1
|f (a)| ( ) + (|f (a)| )(2) + |f (a)| ( )
2
= |f (a)| < |f (a)| ,
lo cual es absurdo. Esto demuestra que |f | es constante en D, lo cual implica (Problema
19) que f es tambien constante en D. Q.E.D.
www.elsolucionario.net
CAPITULO 2. EL TEOREMA DE CAUCHY 33
Demostraci on. En primer lugar M R existe, al ser A cerrado y acotado (por ser A
acotado), y |f | continua en A. En segundo lugar, la segunda afirmacion es consecuencia
de la primera y del corolario del teorema del modulo maximo local. Para probar la
primera afirmacion, notese que la funcion |f | tambien es continua en el compacto A =
A A, de forma que alcanza un maximo en dicho conjunto. Si dicho maximo se alcanza
en A, entonces la primera afirmacion se cumple por definicion de maximo. Si, por el
contrario, el maximo de |f | en A se alcanza en un punto z0 A, el corolario del teorema
del modulo maximo local implica que f (z) = f (z0 ) para todo z A. Por continuidad,
lo cual implica trivialmente la primera afirmacion (f es
f (z) = f (z0 ) para todo z A,
constante en A). Q.E.D.
www.elsolucionario.net
Captulo 3
Representaci on de funciones
analticas mediante series
lm zn , si existe, es u
nico.
n
lm zn = z x + i y lm Re(zn ) = x y lm Im(zn ) = y.
n n n
Criterio de Cauchy:
Demostraci
on.
=) |zn zm | |zn z| + |zm z|
=) zn = xn + i yn = |xn xm | |zn zm | , |yn ym | |zn zm | =
{xn }
n=1 y {yn }n=1 convergentes (sucesiones reales de Cacuhy) = {zn }n=1 con-
vergente. Q.E.D.
!
X X
La serie zk converge a s C zk = s si la sucesi
on de sumas
k=1
Pn k=1
parciales k=1 zk n=1 converge a s, es decir
X n
X
zk = s lm zk = s.
n
k=1 k=1
n n1
!
X X X
zk convergente = lm zn = lm zk zk =0
n n
k=1 k=1 k=1
34
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 35
X
X
Se dice que zk es absolutamente convergente si |zk | es convergente.
k=1 k=1
X
Proposici
on 3.1. Si zk es absolutamente convergente entonces es convergente.
k=1
Demostraci
on. Es consecuencia del criterio de Cauchy, ya que si (por ej.) m > n se tiene
n m
m m
n m
X X X X X X
zk zk = zk |zk | = |zk | |zk | .
k=1 k=1 k=n+1 k=n+1 k=1 k=1
Q.E.D.
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 36
Q.E.D.
Si {fn }
n=1 converge uniformemente a f en A y fn : A C es continua en A para
todo n N, entonces
P f es continua en A. Analogamente, si gn es continua en A para
todo n N y k=1 k converge uniformemente a g en A entonces g es continua en A.
g
Lema 3.3. Sea fn continua en A para todo n N. Si {fn } n=1 converge uniformemente
a f en A y es una curva C 1 a trozos contenida en A entonces
Z Z Z
lm fn = f lm fn .
n n
P
En particular, si gk es continua en A para todo k N y k=1 gk converge uniforme-
mente en A entonces !
Z X Z
X
gk = gk .
k=1 k=1
Demostraci on. En primer lugar, notese que f es continua, al ser uniforme la convergencia
de fn a f . Dado > 0, existe N N tal que |fn (z) f (z)| < para todo z A si
n N . Entonces se tiene:
Z Z Z Z
fn f = (fn f ) |fn (z) f (z)| |dz| l() , n N .
Q.E.D.
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 37
Para probar que fn0 f 0 uniformemente en D(a; r), notese que existe R > r tal
que D(a; R) A. Dado > 0, existe N N tal que |fn (w) f (w)| < para todo
w D(a; R) y n N . Si z D(a; r) y es la circunferencia de centro a y radio R
(orientada positivamente) se tiene entonces, por la formula integral de Cauchy para la
primera derivada:
Z
f (z) f 0 (z) = 1 fn (w) f (w) dw 1 R
0
n 2 2
2R = .
2 (w z)
2 (R r) (R r)2
Q.E.D.
P
Corolario 3.4. Sea k=1 gk una serie de funciones anal
ticas en un abierto A unifor-
mementePconvergente a g en cada disco cerrado contenido en A. Entonces g es analtica
en A, y 0 0
k=1 gk converge uniformemente a g en cada disco cerrado contenido en A.
Teorema de Abel. Para toda serie de potencias (3.1) hay un R tal que 0 R ,
llamado el radio de convergencia de la serie, que cumple:
Demostraci
on. Claramente, de i) y ii) se sigue que R, si existe, es u
nico. Probaremos
que
R = sup {r 0 : {|an | r n }
n=0 acotada} ;
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 38
Para probar i), notese en primer lugar que si R = 0 la serie diverge para todo z 6= z0 ,
y no hay nada que probar. Sea, por tanto, R > 0. Por definicion de R, si 0 < r < R
existen r < < R y M > 0 tal que |an | n < M para todo n. Si |z z0 | r se tiene:
n n
n n |z z0 | r
|an (z z0 ) | = |an | M .
f (n) (z0 )
an = , n = 0, 1, 2, . . . .
n!
Corolario 3.6 (unicidad de las series de potencias). Si existe r > 0 tal que
X
X
k
ak (z z0 ) = bk (z z0 )k , z D(z0 , r),
k=0 k=0
on. ak = bk = f (k) (z0 )/k!, siendo f (z) la suma de cualquiera de las dos
Demostraci
series. Q.E.D.
|an | |an |
Si existe (o vale +) lm , entonces R = lm .
|an+1 |
n n |an+1 |
p 1 p
alogamente, si existe (o vale +) lm n |an | entonces
An = lm n |an |.
n R n
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 39
Probemos,
P por ejemplo, la primera formula. Por el criterio del cociente, si z 6= z0 la
serie k
k=0 k |z z0 | converge si
|a |
y diverge si
|an+1 |
|z z0 | lm > 1.
n |an |
Analogamente (aplicando el criterio de la raz) se prueba la segunda.
P
El radio de convergencia R de la serie de potencias k
k=0 ak (z z0 ) se puede calcular
mediante la formula de Hadamard
1 p
= lm sup n |an |.
R n
z D(z0;r)
z0
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 40
por la formula integral de Cauchy para las derivadas. Esto prueba el desarrollo (3.2) para
todo z D(z0 ; ) con 0 < < r arbitrario, es decir para todo z D(z0 ; r). Q.E.D.
Definici
on 3.8. Una funcion f analtica en un entorno de a C tiene un cero de
orden k en a si
f (a) = = f (k1) (a) = 0, f (k) (a) 6= 0.
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 41
donde la serie del miembro derecho converge absoluta y uniformemente en cada subco-
rona cerrada contenida en C(z0 ; R1 , R2 ).
2
w2
1 S
z
R1
z0
w1
R2
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 42
Demostraci on. Sea A = C(z0 ; r1 , r2 ) con R1 < r1 < r2 < R2 , de modo que la corona
cerrada A esta contenida en C(z0 ; R1 , R2 ). Llamemos r1 1 , r2 2 . La curva
cerrada S + 2 1 S es homotopa a un punto en C(z0 ; R1 , R2 ) (vease la fig. 3.2). Por
la formula integral de Cauchy,
Z
1 f (w)
f (z) = dw
2i S+2 1 S w z
Z Z
1 f (w) 1 f (w)
= dw dw f1 (z) + f2 (z), z A.
2i 2 w z 2i 1 w z
X (w z0 )k
1 1 1
= = .
wz z z0 1 wz
zz0
0 (z z0 )k+1
k=0
3.2.4. Clasificaci
on de singularidades aisladas
Definicion 3.9. Una funci on f : C C tiene una singularidad aislada en z0 C si
f es analtica en alg
un entorno reducido C(z0 ; 0, r) (r > 0) de z0 .
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 43
Por el teorema de Laurent, si f tiene una singularidad aislada en z0 existe r > 0 tal
que f admite un desarrollo en serie de Laurent (3.3) en C(z0 ; 0, r):
X bk X
f (z) = k
+ ak (z z0 )k , si 0 < |z z0 | < r. (3.6)
(z z0 )
k=1 k=0
1
f (z) = bp + bp1 (z z0 ) + + b1 (z z0 )p1
(z z0 )p
!
X
k+p F (z)
+ ak (z z0 ) ,
(z z0 )p
k=0
en particular, |f | no est
a acotado en un entorno reducido de z0 . (3.8) no se cumple si f
tiene una singularidad esencial en z0 . Por ejemplo, si f (z) = e1/z y zn = 1/(2ni)
n
0 se tiene f (zn ) = 1 para todo n N.
www.elsolucionario.net
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES 44
Nota: de hecho (teorema de Picard), se puede encontrar una sucesion {zn }n=1 tal
que zn z0 y f (zn ) = a para todo n
umero complejo a, con a lo sumo una excepcion
(cf. f (z) = e1/z ).
Supongamos que f = g/h, donde g y h son funciones analticas en z0 con ceros de
orden n y m 1, respectivamente, en dicho punto. Entonces existe r > 0 tal que
g(z) (z z0 )n G(z)
f (z) = = (z z0 )nm R(z), si 0 < |z z0 | < r,
h(z) (z z0 )m H(z)
www.elsolucionario.net
Captulo 4
C
alculo de residuos
4.1. M
etodos para el c
alculo de residuos
g(z0 )
Res(f ; z0 ) = .
h0 (z0 )
1 g(z)
f (z) = .
h0 (z0 )(z z0 ) H(z)
Como g/H es analtica en z0 (H(z0 ) 6= 0), f tiene un polo simple en z0 con residuo
1 g(z0 ) g(z0 )
= 0 ,
h0 (z0 ) H(z0 ) h (z0 )
ya que H(z0 ) = 1.
Si f tiene un polo de orden n en z0 entonces
1 dn1
Res(f ; z0 ) = lm [(z z0 )n f (z)] . (4.1)
(n 1)! zz0 dz n1
45
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 46
F (n1) (z0 ) 1
Res(f ; z0 ) = b1 = = lm F (n1) (z)
(n 1)! (n 1)! zz0
1 dn1
= lm [(z z0 )n f (z)] .
(n 1)! zz0 dz n1
Solucion. La funci
on f tiene claramente un polo doble en z0 , por lo que podemos aplicar
(4.1). Por el teorema de Taylor, en un entorno reducido de z0 es valido el desarrollo
h(z)
= h2 + h3 (z z0 ) + H(z) ,
(z z0 )2
con H analtica y con un cero de orden por lo menos 2 en z0 . Aplicando (4.1) se obtiene
entonces
d g(z) h2 g0 (z0 ) h3 g(z0 )
Res(f ; z0 ) = lm = .
zz0 dz h2 + h3 (z z0 ) + H(z) h22
Demostraci on. Por el teorema de Laurent, para cada i = 1, . . . , n hay un entorno redu-
cido C(zi ; 0, i ) de zi en el que es valido el desarrollo
X
X
k
f (z) = bik (z zi ) + aik (z zi )k Si (z) + fi (z),
k=1 k=0
con fi analtica en el disco D(zi ; i ). Ademas (por las propiedades de las series de Lau-
rent) la serie que define la parte principal Si (z) converge absolutamente a una funcion
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 47
= 2i n(, zk ) Res(f ; zk ),
4.3. C
alculo de integrales definidas
R
4.3.1.
f (x) dx
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 48
zk
r r
Entonces
Z X Z r Z
f = 2i Res(f ; zk ) = f (x) dx + f (rei )irei d.
r Im zk >0 r 0
Como |f (x)| < M R|x|p con p > 1 para |x| > R, la primera integral del miembro
derecho converge a f (x) dx cuando r (criterio de comparacion). En cuanto a
la segunda, su modulo esta acotado por M r 1p , que tiende a 0 cuando r . Q.E.D.
f (z) = z/(z 2 + 4z + 13)2 P/Q, con singularidades (polos dobles) en los ceros
z = 2 3i
/ R de Q. Adem as, deg Q = 4 deg P + 2 = 3. Por tanto,
Z
x dx
I 2 + 4x + 13)2
= 2i Res(f ; 2 + 3i).
(x
C
alculo del residuo (z0 = 2 + 3i):
g(z) z
f (z) = , con g(z) = ;
(z z0 )2 (z + 2 + 3i)2
1 2z0 2 + 3i z0 4 4i
g0 (z0 ) = 2
3
= 3
= 3
= 3.
(z0 + 2 + 3i) (z0 + 2 + 3i) (z0 + 2 + 3i) (6i) 6
8
Por tanto, I = 3
= .
6 27
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 49
Z 2
4.3.2. Integrales trigonom
etricas: R(cos , sen ) d
0
El resultado anunciado se sigue del teorema de los residuos, ya que al ser f una funcion
racional de z tiene un n
umero finito de singularidades. Q.E.D.
Z 2
d
Ejemplo: .
0 (5 3 sen )2
1 4iz 4iz
f (z) = 2 = = .
3 1 (3z 2 10iz 3)2 i 2
iz 5 2i z z 9 z 3 (z 3i)2
El residuo es igual a
2i i
1 3i 2i 10i 10 32
h0 (i/3) = 2
3
3 =
3 3
3 = 3
83 3
= .
i
3i i
3i i
3i 3 i 83
3 3 3 3
10 5
Por tanto I = 2
= .
8 32
Z
4.3.3. Transformadas de Fourier: eix f (x) dx
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 50
x1+iy1 x2+iy1
zk
x1 x2
Entonces
Z X
eiz f (z) dz = 2i Res(eiz f (z); zk )
Im zk >0
Z x2 Z y1
ix
= e f (x) dx + i ei(x2 +iy) f (x2 + i y) dy
x1 0
Z x2 Z y1
i(x+iy1 )
e f (x + i y1 ) dx i ei(x1 +iy) f (x1 + i y) dy
x1 0
I 1 + I2 I3 I4 .
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 51
1 eizi
Res(f ; zi ) = .
4 zi (2zi2 + 1)
Como i
2e 2 (1+i 3) 2e 2 (i 3) i + 3 (i3)
A= = = e2 ,
(1 + i 3)i 3 3(i 3) 2 3
se obtiene
3
I = Re J = J = Im A = e 2 cos + 3 sen , > 0.
2 3 2 2
Z
4.3.4. Transformadas de Mellin: xa1 f (x) dx, a
/Z
0
eia X
Resultado: Res(z a1 f (z); zk ), z a1 e(a1) log[0,2) z .
sen(a)
zk 6=0
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 52
Demostraci on. En primer lugar, las acotaciones de |f | implican (por el teorema de com-
paracion para integrales reales impropias) que la integral es absolutamente convergente.
zk
r r
Sea la curva de la fig. 4.3, donde 0 < < R1 y r > R2 se toman de modo que todas
las singularidades de z a1 f (z) distintas de 0 esten en el interior de , y 0 < < /2. Si
denotamos
z a1 = e(a1) log[0,2) z = |z|a1 ei(a1) arg[0,2) z ,
la funcion z a1 f (z) es analtica en C (R+ {0}), salvo en las singularidades zk de f .
Por el teorema de los residuos se tiene:
X
2i Res(z a1 f (z); zk ) = I1 I2 + J,
zk 6=0
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 53
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 54
Sin embargo, el valor principal de Cauchy puede existir aunque no exista la inte-
gral impropia:
R por ejemplo, si f es una funcion impar e integrable en entonces
V. P. f (x) dx = 0.
Lema 4.1. Supongamos que f es una funci on analtica con un polo simple en z0 C, y
sea el arco de circunferencia (t) = z0 + eit , con t [t0 , t0 + ] (fig. 4.4). Entonces
Z
lm f = i Res(f ; z0 ).
0+
t0
z0
Demostraci
on. En un entorno reducido de z0 es valido el desarrollo de Laurent
b1
f (z) = + g(z), 0 < |z z0 | < r,
z z0
con g analtica en D(z0 ; r). Si 0 < < r se tiene
Z Z Z
dz
f = b1 + g.
z z0
Pero Z Z t0 +
dz ieit
b1 = b1 dt = i b1 = i Res(f ; z0 ),
z z0 t0 eit
mientras que, al ser g analtica en D(z0 ; r), |g(z)| < M para |z z0 | r/2, y por tanto
Z
g M 0 .
0+
Q.E.D.
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 55
zk
r x0 r
Demostraci on. Supongamos, por ejemplo, que f cumple la condicion i). Por sencillez,
nos restringiremos al caso en que f solo tiene una singularidad x0 en el eje real. Si
r > max(x0 , R) es lo suficientemente grande para que todas las singularidades de f en
H {x0 } esten en el interior de r y > 0 es suficientemente pequeno, integrando f a
lo largo de la curva de la fig. 4.5 se tiene:
Z X Z x0 Z Z r Z
f = 2i Res(f ; zk ) = f (x) dx f+ f (x) dx + f.
Im zk >0 r x0 + r
R x0 R
Por la discusion de la seccion 4.3.1, las integrales f (x) dx y x0 + f (x) dx son
convergentes, y Z
lm f = 0.
r
r
Por tanto,
X Z x0 Z Z
2i Res(f ; zk ) = f (x) dx + f (x) dx f.
Im zk >0 x0 +
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 56
La funci
on f (z) = sen z/z tiene una singularidad evitable en z = 0, pero no cumple las
condiciones i) o ii). Sin embargo, g(z) = eiz /z tiene un polo simple en el origen y cumple
la condicion ii) del apartado anterior, por lo que
iz
e
J = i Res ; 0 = i 1 = I = .
z 2
Z
sen2 x
Ejemplo: dx I .
0 x2
Si f es la funci
on del apartado anterior
Z Z
1 2 1 1 cos(2x)
I = V. P. f (x) dx = V. P. dx
2 4 x2
Z
1 1 e2ix 1
= Re V. P. 2
dx Re J.
4 x 4
Por tanto
1
I= cos 1 2 .
5 e
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 57
Z
4.4.1. f (x) log x dx, f real y par
0
zk
r r
Demostraci on. En primer lugar, las acotaciones sobre R|f | implican (teorema de compa-
racion) la convergencia de la integral, as como la de f (x) dx. Sean 0 < < R1 <
R2 < r tales que todas las singularidades de f en H {0} esten el interior de (ver
fig. 4.6). Entonces
X Z Z
2i Res(f (z) log z; zk ) = I1 + I2 g+ g, (4.2)
Im zk >0 r
y por tanto
Z Z r
I1 = f (x)[log(x) + i] dx = f (x)[log(x) + i] dx
r
Z r Z r
= f (x) log x dx + i f (x) dx .
Luego Z Z
r r
I1 + I2 = 2 f (x) log x dx + i f (x) dx .
Por otra parte,
|log z| = log |z| + i arg z |log z| + |arg z| ,
www.elsolucionario.net
CAPITULO 4. CALCULO
DE RESIDUOS 58
se tiene
d log z 1 2 log i i i i
Res(f (z) log z; i) = 2
= 2
3
= log i = + .
dz (z + i) z=i i(2i) (2i) 4 4 4 8
Por tanto, I = .
4
www.elsolucionario.net