1

Jacques Hadamard (1865 1963)

8. Integrales
La trayectoria ms
corta entre dos
verdades reales
pasa a travs del
dominio complejo."
2
Integrales definidas (Tipo I):
Sea R(sin u, cos u) una funcin racional que no posee polos
sobre la crcunferencia unidad C: sin
2
u + cos
2
u =1
}
=
t
u u u
2
0
) cos , (sin d R I
i
z
z
i
e e
z
z
e e
dz
iz
d
izd d ie dz
e z
i i
i i
i
i
2
1
2
sin
,
2
1
2
cos
1
,
, 2 0 ,

=
+
=
+
=
=
= =
< s =

u u
u u
u
u
u
u
u
u u
t u

}
=
=
=
=
|
|
|
|
.
|

\
|
+
=
k
i
z z
z
z f
z f i I
dz
i
z
z
z
z
R
iz
I
i
1
1 | |
) (
) ( Res 2
2
1
,
2
1
1
t

donde {z
k
} son los polos de f(z)
dentro del crculo unidad.
|z|=1
3
Ejemplo:
2
2 2
2
2
2
4
) 1 (
2
1
sin ,
2 2 5
2
1
4 5 cos 4 5
1
, , 2 0 ,
z
z
i
z
z
z
z z
z
z
dz
iz
d izd dt ie dz e z
i i

=
|
|
|
|
.
|

\
|

=
+ +
=
+
+ = +
= = = s s =
u u
u u t u
u u
(

+ +

=
+ +

=
+ +

=
+ +

=

}
} }
=
=
=
= =
) 2 )( 2 / 1 ( 2
) 1 (
Res 2
4
1
) 2 )( 2 / 1 ( 2
) 1 (
4
1
) 2 5 2 (
) 1 (
4
1 1
) 2 2 5 ( 4
) 1 (
2
2 2
1
1 | |
2
2 2
1 | |
2 2
2 2
1 | |
2 2
2 2
z z z
z
i
i
dz
z z z
z
i
dz
z z z
z
i
dz
iz z z z
z z
I
k
i
z z
z
z z
i
t
} }
+
= =
t t
u
u
u
u u
2
0
2
2
0
cos 4 5
sin
) cos , (sin d dt R I
4
4 4
5
4
3
2
) 2 )( 2 / 1 ( 2
) 1 (
Res
) 2 )( 2 / 1 ( 2
) 1 (
Res
2
) 2 )( 2 / 1 ( 2
) 1 (
Res 2
4
1
2
2 2
0
2
2 2
2 / 1
2
2 2
1
t t
t
t
=
|
.
|

\
|

=
|
|
.
|
(

+ +

+

\
|
(

+ +

=
(

+ +

=
=
=
=
=

z z z
z
z z z
z
z z z
z
i
i
I
z
z
k
i
z z
i
Tiene 3 polos, uno doble en z = 0 y
dos simples en z = -1/2 y z = -2,
pero este ltimo est fuera del
contorno C (circunferencia de
centro el origen y radio 1)
5
( )
( ) 4
3
2 2
1
lim
) (
2
1
lim
2
1
; Res
2
2
2
2 / 1 2 / 1
=
+

=
|
.
|

\
|
+ =
|
.
|

\
|


z z
z
z f z f
z z
( ) | |
4
5
) 2 5 2 (
) 5 4 ( ) 1 ( 2 ) 1 ( 2 ) 2 5 2 (
2 5 2
) 1 (
lim
) (
! 1
1
lim
;0 Res
0
2 2
2 2 2 2
2
2 2
0
2
0

=
+ +
+ + +
=
=
(

+ +

= =
=

z
z z
z z
z z z z z z
z z
z
dz
d
z f z
dz
d
f
Aqu tienes el clculo explcito de los residuos:
6
Otro ejemplo:
Hallar
}

=
t
u
u
0
cos 2
d
I
La integral no est entre 0 y 2, pero podemos arreglarlo.
Como el integrando es par:
} }

=

t t
u
u
u
u
2
0 0
cos 2 cos 2
2
d d
} }
+
=
|
.
|

\
|
+
=
C C
z z
dz
i iz
dz
z
z
I
1 4
2
1
2
1
2
1
2
2
7
) 3 2 Res( 2
2
2 - f ; i
i
I = t
( ) ( ) ( )
( ) 3 2
1 1
lim
) ( 3 - 2
lim
3 2 Res
) 3 2 (
3 - 2
3 - 2
= =
=
+

z
z
z
z f z - f ;
3
2
3 2
1
2
2
2
t
t = |
.
|

\
|
= i
i
I
3
t
= I
La integral queda:
Los polos son y
3 2 = z 3 2 + = z
Pero slo el segundo est
dentro del crculo unidad.
8
}
+
t
u
u
2
0
2
) cos 2 (
1
d
dz
z z
z
i
C
}
+ +
2 2
) 1 4 (
4
. 3 2 , 3 2 ;
) ( ) (
) (
1 0
2
1
2
0
+ = =

= z z
z z z z
z
z f
) , ) ( ( Res 2
) 1 4 (
1
2 2
z z f i dz
z z
z
C
t =
+ +
}
3 6
1
) (
) (
lim
) (
lim ) ( ) ( lim ) , ( Res
3
0
0
2
0
2
1 1
1 1 1
=

+
=

= =

z z
z z
z z
z
dz
d
z f z z
dz
d
z f
z z z z z z
3 3
4
3 6
1
2
4
) cos 2 (
1
2
0
2
t
t u
u
t
= =
+
}
i
i
d
Solo este polo est
en el crculo unidad.
Otro ejemplo. Calcular:
9
10
Observa que tambin funciona el mismo cambio de variable si tenemos
trminos del tipo cos(nu) y sen(nu):
11
12
Integrales impropias:
} }
} }

b
R
b
R
R
a a
R
dx x f dx x f
dx x f dx x f
) ( lim ) (
) ( lim ) (
R xdx R dx
x
R
dx
x
dx
x
R R
R
R
R
sin lim cos ) 1 log (log lim
1
4 / 2 / ) 1 arctan (arctan lim
1
1
lim
1
1
0 1
1
2
1
2
} }
} }

= =
=
=
+
=
+
t t
En clculo, una integral
impropia es el lmite de una
integral definida cuando
uno o ambos extremos del
intervalo de integracin se
hacen infinitos.
Pueden definirse en
trminos de integrales
propias (sumas de
Riemann), siempre y
cuando existan estos lmites.
Cuando el lmite existe
decimos que la integral
converge. Y en caso
contrario, que diverge.
En este caso la integral existe. Pero en los dos siguientes no:
} } }

+
0
0
2
2
1
1
) ( lim ) ( lim ) (
R
R
R
R
dx x f dx x f dx x f
13
14
Por ejemplo:
}
}
= =

R
R R
R
xdx
xdx
0
2
2
lim lim
: que puesto , divergente es
0
2
) (
2
lim lim . .
2 2
=
(

= =
} }

R R
dx x dx x P V
R
R R r
Sin embargo:
15
}

?
5
1
. .
2
4
dx
x
x
P V
Si f(x) es par, entonces:
f(x) = f(-x) y:
} }


= =
0
) ( 2 ) ( . . dx x f dx x f P V I
}
}

=
+
?
3
. .
?
1
. .
2
4
3
dx
x
x
P V
dx
x
x
P V
Si f(x) es impar, entonces:
f(x) = -f(x) y I = 0.
Nota sobre la simetra de los integrandos:
Aunque no lo digamos, a partir de
ahora calcularemos siempre el
Valor Principal, V.P.
16
Lemas de Jordan
Camille Jordan
(Lyon 1838 Pars 1922)
17
1
er
Lema de Jordan
0 ) (
lim
0 ) (
lim
) (
| |
=
=
}

dz z f
z f z
r
r
z
o
Sea f(z) una funcin analtica (con la posible excepcin de
un nmero finito de singularidades) definida en el sector de
circunferencia o(r) delimitado por
1

2
y radio r tal
que
(r)

2


x
18
2 lema de Jordan
}
=
=

) (
0
0
0 ) (
lim
0 ) (
lim
r
r
z
dz z f
z f z
o
Sea f(z) una funcin analtica (con la posible excepcin de
un nmero finito de singularidades) definida en el sector
de circunferencia o(r) delimitado por
1

2
y radio r
tal que
(r)

2


19
Sea a e R
+
y f(z) una funcin analtica (con la posible
excepcin de un nmero finito de singularidades) definida en
el sector de circunferencia o(r) del semiplano superior y > 0,
delimitado por 0
1

2
t

y radio r tal que
3
er
lema de Jordan
0 ) (
lim
0 ) (
lim
) (
| |
=
=
}



r
iaz
r
z
dz e z f
z f
o
(r)

2


Nota: Si a e R
-
, el resultado sigue cumplindose
para un sector de circunferencia o(r) del
semiplano inferior y 0, delimitado por
-t
1

2
0.
20
4 lema de Jordan
) (
Res
) (
lim
0
) (
0
z f i dz z f
z z=
=
}
t
c
c
Si z = z
0
polo simple

-

+

()

z
0

Demostracin:
Si z = z
0
es un polo simple de f(z), la
funcin se puede escribir de la
forma:
) ( ) (
0
1
z h
z z
b
z f +

=
Donde h(z) es una funcin
analtica en un entorno de z
0

y por lo tanto:
0 ) ( lim
) (
0
=
}

c
c
dz z h
Sea f(z) una funcin analtica definida en el sector de
circunferencia (c) del semiplano superior y > 0:
21
Observemos que con el recorrido en
sentido contrario da lo mismo con un signo
menos
) (
Res
) (
0
) (
0
z f i dz z f
lm
z z=
=
}
t
c
c
} } }
+

=
) ( ) (
0
1
) (
) ( ) (
1
c
t
c c
dz z h dz
z z
b
dz z f
ib

Aplicando lmites:
) (
Res
) (
lim
0
) (
0
z f i dz z f
z z=
=
}
t
c
c
0
De manera anloga, podemos hacerlo en el semiplano inferior; teniendo en
cuenta el sentido en que lo recorremos.
22
LEMAS DE JORDAN
1

2

3

4

0 ) (
lim
0 ) (
lim
) (
| |
= =
}

dz z f z f z
r
r z
o
}
= =

) (
0 0
0 ) (
lim
0 ) (
lim
r
r z
dz z f z f z
o
0 ) (
lim
0 ) (
lim
) (
| |
= =
}


r
iaz
r z
dz e z f z f
o
) (
Res
) (
lim
0
) (
0
z f i dz z f
z z=
=
}
t
c
c
Si z = z
0
polo simple

23
Integral tipo 2
Con R(x) una funcin racional que no posee
polos en el eje real, aunque puede tener
polos no reales.
Vamos a exigir: 0 lim =

R(x) x
x
}
+

= dx x R I ) (
0 ) (
lim
0 ) (
lim
) (
| |
= =
}

dz z f z f z
r
r z
o
Por el primer lema de Jordan.
0 lim
| |
=

R(z) z
z
En compleja:
Por ejemplo, supn que R(x) = P(x)/Q(x)
donde el grado de P(x) es n y el grado de Q(x)
es m > n + 2.
24
)) ( (
Res
2 ) (
1
z z
k
z R i dx x R
n
k

}
=
=
+

= t
}
=

) (
0 ) (
r
r
dz z R
lm
o
)) ( (
Res
2 ) ( ) ( ) (
1
z z
) (
k
z R i dz z R
lm
dz z R
lm
dz z R
n
k
r
r
r
r
r
C

} } }
=
=

= + = t
o
0
Por el primer lema de Jordan.
25
4 / 7
4
4 / 5
3
4 / 3
2
4 /
1
t
t
t
t
i
i
i
i
e z
e z
e z
e z
=
=
=
=
dz
z
z
dx
x
x
dx x R I
C
} } }
+

+
= =
+

+

1 1
) (
4
2
4
2
; 0 1
4
= + z
Dos polos en el
semiplano superior
Dos polos en el
semiplano inferior
Tomamos C como un
semicrculo cerrado de radio r
que contiene a los polos:
4 / 3t i
e
4 / t i
e
Los del semiplano inferior
quedan fuera del contorno C
Ejemplo:
El grado del denominador es 4 y del numerador 2.
26
Por el teorema del
residuo:

}
=
|
|
.
|

\
|
+
=
=
+
2
1
4
2
4
2
1
Res
2
1
k
k
C
z
z
z z
i dz
z
z
t
2
4 4
2
1
4 / 4 / 3
4
2
t t
t t
=
(

+ =
+

+

}
i i
e e
i dx
x
x
27
}

+ +
=
0
2 4
9 10x x
dx
I
Calcular
Como el integrando es par, nos es ms fcil calcular
}
+

= I 2
Pasando a complejos:
9 10
1
) (
2 4
+ +
=
z z
z f
y se cumple
, 0 ) ( =

z f z
lm
z
por tanto aplicamos el lema 1:
i z z i z z 3 9 1
2 2
= = = =
| |
( )( )( )
| |
( )( )( )
;
24
2
48 16
2 2
48 3
1
) ( Res
16 3 3
1
) ( Res
3
3
t
t =
|
.
|

\
|
+ =
=
+ +
=

+ +
=
=
=
=
=
=
i i
i I
i
i z i z i z
z f
i
i z i z i z
z f
i z
i z
i z
i z
24
t
= I
28
Evaluar:

}

+
=
0
4
1
1
dx
x
I
Los polos son:
{ }
)
`

+
= = =
= +

2
1
,
2
1
,
2
1
,
2
1
, , , ; 1
; 0 1
4 / 3 4 / 4 / 4 / 3 4
4
i i i i
e e e e z z
z
i i i i t t t t
en el semiplano superior estn z
1
= e
ti/4
y z
2
= e
3ti/4
.
}

+
= dx
x
I
1
1
2
4
29
( )( )( )
( )( )( )
( )
( )
4
1
2
1
) 2 2 ( 2
1
2 / ) 2 2 ( 2
1
1
1
Res
2 / 1 ) 4 / sin(
2 2 ) 2 / sin( ) 2 / cos( ) 2 / sin( ) 2 / cos( 2
2 1
) 4 / sin( 2 1
1
1
1
1
1
Res
4
) 4 / exp(
2 / 2 / 2 / 2 /
2 / 2 /
4 / 4 / 4 / 3 4 / 4 / 3 4 /
4 / 4 / 3 4 / 3 4
) 4 / exp(
i
i i i
z
i i i
e e e e e
i e e e
e e e e e e
e z e z e z z
z
i i i i i
i i i
i i i i i i
i i i
z
+
=

=
+
=
+
=
+ = + + =
+ = +
+
=

=

=
+
=

=
t
t t t t t
t t t
t t t t t t
t t t
t
t
t t t t
t
30
( )( )( )
( )( )( )
( )
4
) 1 (
2
1
) 2 2 ( 2
1
2 / ) 2 2 ( 2
1
1
1
Res
2 / 1 ) 4 / 3 sin(
) 2 2 ( ) 2 / sin( ) 2 / cos( ) 2 / 3 sin( ) 2 / 3 cos( 2
2 1
1 ) 4 / 3 sin( 2
1
1
1
1
1
Res
4
) 4 / 3 exp(
2 / 2 / 3 2 / 4 / 6
2 / 4 / 6
4 / 4 / 3 4 / 4 / 3 4 / 3 4 / 3
4 / 4 / 4 / 3 4
) 4 / 3 exp(
i
i i i
z
i i i
e e e e e
e e e i
e e e e e e
e z e z e z z
z
i i i i i
i i i
i i i i i i
i i i
z

=
+
=

=
+
=
= + + =
+ = +
+
=

=

=
+
=


=
t
t t t t t
t t t
t t t t t t
t t t
t
t
t t t t
t
31
2 2
1
1
0
4
t
=
+
}

dx
x
i z f i z f
2 4
1
2 4
1
) , Res( ,
2 4
1
2 4
1
) , Res(
2 1
= =
2
)] , ( Res ) , ( Res [ 2
1
1
2 1
4
t
t = + =
+
}

z f z f i dx
x
32
}
+
+
=
0
4
1 x
dx
I
integrando
4
1
1
z +
a lo largo del contorno de la figura (con R
)
} } } }
+
+
+
+
+
=
+
3 2 1
4 4 4 4
1 1 1 1

z
dz
z
dz
z
dz
z
dz
C
0
1
0 ) (
2
4
1
=
+
=
}

z
dz
z f z
lm
Lema
z
; polos simples:
4 / 7
3
4 / 5
2
4 / 3
1
4 /
0
t
t
t
t
i
i
i
i
e z
e z
e z
e z
=
=
=
=
slo z
0
es polo interior.

3

C
R
De otra manera...
Calcular:
33
( )
iI
x
dx
i
ix
idx
z
dz
i
z
i
z
dz
i C
=
+
=
+
=
+
=
(

+
=
+
} } }
}

=
0
4
0
4 4
4
e z
4
1 ) ( 1 1
1
2 2
1
1
Res
2
1
3
4 /
0

t
t
t
Sobre
3
, z = ix, por tanto dz = idx
( ) I i
x
dx
i
x
dx
i ) 1 (
1
0
1
1
2 2
0
4
0
4
=
+
+
+
=
} }

t
2 2
t
= I
34
35
36
Si existen polos en el eje real, sencillamente hay que tener
en cuenta que su contribucin es de ti en vez de 2ti. Por
ejemplo:
37
Integral tipo 3
}
+

= dx e x f I
ix
) (
Siendo f(z) una funcin analtica en todo punto del semiplano
cerrado , salvo quiz en un nmero finito de puntos.
0 > y
Si los puntos singulares no estn sobre el eje real:
} }
+

+

= dx e x f dx e x f
ix
r
r
ix
r
) ( ) ( lim
0 0 ) ( lim Si
| |
> =

y z f
z
) ) ( (
Res
2 ) ( lim
1
z z
k
iz
n
k
r
r
ix
r
e z f i dx e x f

}
=
=
+

= t
Estando el sumatorio extendido a los puntos singulares de f(z) contenidos en el
plano y > 0

38
En el caso de que la funcin f(z) posea puntos singulares
sobre el eje real se utiliza el lema 4:
-

+

()

z
0

) (
Res
) (
lim
0
) (
0
z f i dz z f
z z=
=
}
t
c
c
Si z = z
0
polo simple:

39 compleja. l exponencia la de ayuda
con expresan se , cos ) ( bien o
sin ) ( forma la de Integrales - 2.
}
}
+

+

xdx x f
xdx x f
n
n
Aclaraciones
inferior. semiplano el en realiza se ) (
integral la ejemplo, Por . 1 e que el en semiplano el en
integrando calcular se compleja), constante una es a (donde
) ( forma la de integral una para general, En - 1.
az
dx e x f
dx e x f
ix
ax
}
}
+

+

s
40
( )
}
+

+
.
1 1
3 cos
resolver : Ejemplo
2
dx
x
x
( ) ( ) ( )
} }

+
=
+
+
+
=
r
r r
res
z
z
i dz
z
z
dx
x
x
) (
2 2 2
1 1
3 cos
2
1 1
3 cos
1 1
3 cos
o
t
2 2
3 cos
3 3 3 3 3 3 y x i y x i iz iz
e e e e
z
+
+
=
+
=
anula... se no integral la que As
cero. no y infinito hace se , cuando
3 3 3 y y x i
e e r =
+
( )
}
=
+
C
dx
z
z
1 1
3 cos
2
-r
+r
o(r)
Pasemos el integrando a forma exponencial
41
( ) ( ) ( ) ( )

} } }
+
=
+
+
+
=
+

res
iz
r
r r
iz ix
C
iz
z
e
i dz
z
e
dx
x
e
dz
z
e
1 1
2
1 1 1 1 1 1
2
3
) (
2
3
2
3
2
3
t
o
( )
|
|
.
|

\
|
=
+

0
1 1
1
lim
2
z
z
r
nula. hace se Jordan de 3 lema el Por

}
+
=
+
+

res
iz ix
z
e
i dx
x
e
1 ) 1 (
2
1 ) 1 (
2
3
2
3
t
( ) ( ) ( )

} }
+
=
+
+
+

res
iz
z
e
i dx
x
x
i dx
x
x
1 1
2
1 1
3 sin
1 1
3 cos
2
3
2 2
t
real parte
imaginaria parte
42
i z i z z = + = = + 1 , 1 0 1 ) 1 (
2 1
2
superior semiplano el en polo
( ) ( )
| | 3 sin 3 cos
1 1
3 sin
1 1
3 cos
3 3 3
2 2
i e e dx
x
x
i dx
x
x
i
+ = =
+
+
+
+

} }
t t
}

=
+
3 cos
1 ) 1 (
3 cos
3
2
e dx
x
x
t
}

=
+
3 sin
1 ) 1 (
3 sin
3
2
e dx
x
x
t
pedida integral la es esta
43
dx
x
x
I
}
+

+
=
2
1
cos
resolver : Ejemplo

} }
+
=
+
+
+

res
iz
r
r r
iz ix
z
e
i dz
z
e
dx
x
e
2
) (
2 2
1
2
1 1
t
o
( )
|
|
.
|

\
|
=
+

0
1 1
1
lim
2
z
z
r
nula. hace se Jordan de 3 lema el Por

} }
+
=
+
+
+

res
iz
z
e
i dx
x
x
i dx
x
x
2 2 2
1
2
1
sin
1
cos
t
real parte
imaginaria parte
44
i
e
i i
e
i z
e
i z i z i z z
i iz
i z
2
lim
residuo el Cogemos ) )( ( 1
1
2
2

=
+
=
+
+ = + = +
superior semiplano el en polo
e i
e
i dx
x
x
i dx
x
x t
t = =
+
+
+

} }
2
2
1
sin
1
cos
1
2 2
e e
I
t t
=
|
.
|

\
|
= Re
45
P3. Junio 2007
1. Calcular la integral real:
Respuesta.
Calcularemos la integral
0 , 0 ,
) cos(
0
2 2
> >
+
=
}

b a dx
b x
ax
I
dz
b z
e
iaz
}

+
2 2
0 ) )( (
; 0
0
2 2
= +
= = +
ib z ib z
ib z b z

-R R
C
ib
-ib
46
Observemos que |e
iaz
| = |e
ia(x + iy)
| = |e
-y + iax
| = |e
-y
|, que tiende a cero
cuando y0, lo que implica que z0 y R0; por ello, se toma el
semiplano superior.
Sea C el circuito del dibujo:


impar funcin ser por 0
) sin( ) cos(
0 R hacer al 0
2 2 2 2
2 2 2 2 2 2
=
+
+
+
=
=
+
+
=
+
=
+
} }
} } }

dx
b x
ax
i dx
b x
ax
dx
b x
e
dz
b z
e
dz
b z
e
R
R
iax iaz
C
iaz

-R R
C
ib
-ib
47
Observa que la funcin es par y estamos calculando el doble del
valor I:
b
e
I
b
e
ib
e
i
b z
e
ib z i
b z
e
i I
ab ab ib ia
iaz
ib z
iaz
ib z
2 2
2
) ( lim 2 Res 2 2
2 2 2 2

=
= =
(

=
=
)
`

+
=
|
|
.
|

\
|
+
=
t t
t
t t
48
P1. Septiembre 2006
a) (2.5 puntos) Calcular el valor de la integral
0 k con ,
1
) cos(
2
>
+ +
}

dx
x x
kx
Respuesta.
(1)
1 1 1
calcula Se
0 k ,
1
Re
1
) cos(
2 2 2
2 2
dz
z z
e
dz
z z
e
dz
z z
e
dx
x x
e
dx
x x
kx
I
R
R
ikz
C
ikz ikz
ikx
r
} } }
} }

+ +
+
+ +
=
+ +
>
(

+ +
=
+ +
=

49
-R R
C
R

z
1

Puntos singulares de
i z
z z
z z
e
z f
ikz
2
3
2
1
0 1
1
) (
2
2
=
= + +
+ +
=
| | R R C
R
, :
de dentro est ,
2
3 1
1
i
z

=
50
Tomando lmites en (1):
| | dx
x x
e
dz
z z
e
z z f i
ikx
C
ikz
R
r
} }



+ +
+
+ +
=
2 2
1
1 1
lim ), ( Res 2t
Por ser f analtica en
y en su interior salvo en
z
1

(T de Cauchy-Goursat)
Caso k > 0
=
(
(
(

=
+ +
=
+ +
=
+ +
}
}

1
1
2
2
2
Jordan 2 Lema
2
,
) (
Res 2
1
0
1
lim 0
1
1
lim
z
z z
z z
e
i dx
x x
e
dz
z z
e
z z
ikz
ikx
C
ikz
R z
r
t
51
)
2
sin
2
(cos
3
2
2
3
2
2 ) ( 2
2
3
1
1
k
i
k
e
i
e
i z i
k
ikz
= = u =
t
t t
simple polo z , 0 ) (
z en analtica ) (
1 1
1
2
= u

= u
z
z z
e
z
ikz
2
cos
3
2
2
3 k
e I
k

=
t
52
Caso k = 0
i
i
z i z
z z
z z
i
x x
dx
z z
dz
z z
z
r
C R z
2
3
2
2
) ( 2 ,
) (
1
Res 2
1
0
1
lim 0
1
1
lim
1 1
1
2
2
2
Jordan 1 Lema
2
t
t t = u =
(
(
(

=
+ +
=
+ +
=
+ +
}
}

simple polo z , 0 ) (
z en analtica
1
) (
1 1
1
2
= u

= u
z
z z
z
3
2t
= I
53
54
55
56
57
58
59
60
61
62
63
Integral tipo 4
|
.
|

\
|

= =

}
=
=

o o t o
t
z
z R
e
i
dx
x
x R
I
n
k
z z
i
k
) (
Res
1
2 ) (
1
2
0
0
) (
lim
0 semieje el sobre polos posee no ) (
) ( de polo un ni cero un ni es no 0
| |
= -
> -
= -

o
z
z R
z
x z R
z R z
z
) (r o
) (c o
c
c
r
r
- - - -
-
-
-
1
z
2
z
n
z
Condiciones: R(x) es una funcin racional y
0 < o < 1.
64
Demostracin
( )
dx
x
x R
dz
z
z R
dx
xe
x R
dz
z
z R
z
z R
dz
z
z R
r
r
i
r
n
k
z z
C
k
} } } }

}
+ + +
=
|
.
|

\
|
=
=
=
c
o
c o
o
c
o
t
o
o
o o
) ( ) ( ) ( ) (
) (
Res
) (
) (
2
) (
1
0 ) ( lim =

z zf
z
0 ) ( lim
0
=

z zf
z
r
lim
0
lim
c
Lema 1 Lema 2
( ) ( ) dx
x
x R
e dx
x
x R
e
i
r
i
r
} }

|
.
|

\
|
=
|
.
|

\
|

0
2 2
0
) (
1
) (
1 lim
o
o t
c
o
o t
c
0
0
65
1 con Resolver
0
2 2
>
+
=
}

a dx
a x
x
I
) )( (
) (
z
0
) (
) (
2
1
2 2
2 / 1 2 2
ai z ai z
z
z f
ai
ai z
a z
z
z R
a z
z
z f
+
=
=
=
= +
=
+
=

=
+
+
+
+
+
+
+
= =
} } } }
}

=
r
r
i
r
C
k
dx
a x
x
dz
a z
z
dx
a x
xe
dz
a z
z
z f i dz z f
c c o
c
t
o
t
2 2
) (
2 2 2 2
2
) (
2 2
2
1
)) ( ( Res 2 ) (
0 ) ( lim
1 Lema
=

z zf
z
0 ) ( lim
2 Lema
0
=

z zf
z
0
0
) (r o
) (c o
c
c
r
r
- - - -
-
-
ai
ai
66
(
(
(

|
|
.
|

\
|
+
+
|
|
.
|

\
|
+
=
+
= =

} 2 2 2 2
0
2 2
Res Res
1
2
a z
z
a z
z
e
i
dx
a x
x
ai z ai z
i t
t
( )
( )
ai
ai
ai z
z
ai z
ai z z
ai
ai
ai z
z
ai z
ai z z
ai z
ai z
ai z
ai z
2
/
Res
2
Res

=
|
|
.
|

\
|
+

=
+
=
|
|
.
|

\
|

+
=
=
=
=
67
( ) =
(

=
|
|
.
|

\
|

= i i
ai
a
i
ai
ai
ai
ai
e
i
I
i
2 2 2 1
2
t
t
t
( )
|
|
.
|

\
|
+
=
= =

2
2
4 4
4 3 4
i i
i i
e e
a
a
e e
a
a
t t
t t
t
t
a
I
2
t
=
i
i
i
i
i
t
t
t t
t
=

=
=

0 ) 1 ( 1
2
sin cos 1
2
68
( )
}

+
=
0
4
: Ejemplo
x x
dx
I
) (r o
) (c o
c
c
r
r
- - - - -
4
( )
4
0 4
4
1
) (
=
= +
+
=
z
z
x x
z f
( ) ( ) ( ) ( )
=
+
+
+
+
+
+
+
= =
} } } }
}

=
r
r r
C
k
dx
x x
dz
z z
dx
x x
dz
z z
z f i dz z f
c c o
c
o
t
4
1
4
1
4
1
4
1
)) ( ( Res 2 ) (
) ( ) (
1
1
0 ) ( lim
1 Lema
=

z zf
z
0 ) ( lim
2 Lema
0
=

z zf
z
0
0
69
( )
2
4
4
) ( Res
4
-4 z
i
z z
z
z f
z

=
|
|
.
|

\
|
+
+
=
=
=
2 2 1
2 t t
t
=
|
.
|

\
|

=

i
e
i
I
i
i
i
i
i
i
t
t
t t
t
=

=
=

0 ) 1 ( 1
2
) sin( ) cos( 1
2
70
P1. Septiembre 2005
a) Calcular el valor de la integral
0 1 con

1
0
2
< <
+
}
+
p
dx
x
x
p
Respuesta.
| | ) ( Res ) ( Res
1
2
1
2
0
2
z f z f
e
i
dx
x
x
i z i z
ip
p
= =
+
+

=
+
} t
t
i
i
z f
i
i
z f
z
z
z f
p
i z
p
i z
p
2
) (
) ( Res ;
2
) ( Res ;
1
) (
2

= =
+
=
= =
| |
p p
ip
p
i i
e
dx
x
x
) (
1 1
2
0
2

=
+
}
+
t
t
71
72
73
74
75
}

=
0
log ) ( xdx x R I
Integral tipo 5
R(x) funcin racional
R(z) sin polos en el semieje real x0
0 ) ( R =

x x
lm
x
( )
(

=

}
=

=

n
k
xdx x R
1
2
z z
0
(logz) R(z)
Res
Re
2
1
log ) (
k
A continuacin demostraremos que:
y de esa demostracin obtendremos tambin:
( )
(

=

}
=

=

n
k
i
dx x R
1
2
z z
0
(logz) R(z)
Res
Im
2
1
) (
k
t
76
Demostracin:
( )
2
1
z z
2
) (log ) (
Res
2 ) )(log (
k
z z R i dz z z R
n
k
C

=
=

}
= t
2
) )(log ( ) ( z z R z f
Usaremos
con 0<argz2 como determinacin del logaritmo.
tomamos lmites para
r
y
0 c
} } }
} }
+ + + +
+ =
r
r
r
C
dx x x R dz z z R dx i x x R
dz z z R dz z z R
c c o
c
o
t
2
) )(log ( ) )(log ( ) 2 )(log (
) )(log ( ) )(log (
) (
2 2
) (
2 2
0
0
| |
} } }

+ = +
0
2
0 0
2 2
) ( 4 ) ( 4 ) 2 (log ) (log ) ( dx x R dx x R i dx i x x x R t t t
(I)
igualando con la expresin (I) y dividiendo por 2i:
( )
}

}

=

=

=
0
1
2
z z
0
(logz) R(z)
Res
) ( 2 log ) ( 2
k
n
k
ds x R i xdx x R t
77
Ejemplo:
}

+ +
=
0
2 2
) 4 )( 1 (
log
dx
x x
x
I
) 2 )( 2 )( )( (
log
) 4 )( 1 (
log
) (
2
2 2
2
i z i z i z i z
z
z z
z
z f
+ +
=
+ +
=
en este caso, R(x) es
) 4 )( 1 (
1
2 2
+ + x x
; lo multiplicamos por z
2
log y queda:
| | | | | |
| |
i
i
z f
z f
i
i
z f z f
i z
i z i z i z
12
4
2 ln 2 ln
) (
Res
;
24
) (
Res
;
12
4
2 ln 2 ln
) (
Res
;
24
) (
Res
2
2
2
2
2
2
2
2
t
t
t
t
t
t

=
=
+
= =
=
= = =
12
2 ln
)] ( [ Res Re
2
1 t
=
(

=

k
z
z f I
78
ai
a i a
ai
i ai
ai
ai
ai z ai z
z
a z
z
I
I dx
a x
x
ai z
z
k
2
4 / ln ln
2
) 2 / (ln
2
) ( log
) )( (
log
Res
log
Res Re
2
1
log
2 2 2 2 2
2 2
2
0
2 2
t t t +
=
+
= =
(

+
(

+
=
=
+
=

}
Otro ejemplo:
Con 9 e a ; anlogamente al ejemplo anterior:
ai z ai z = =
1 0
;
ai
a i a
ai z ai z
z
ai z
2
4 / ln ln
) )( (
log
Res
2 2 2
t t
=
(

+
=
a
a
ai
a i
I
2
ln
ln 2
Re
2
1
t
t
=
=
(

=
79
5. Calcular utilizando la teora de
residuos.
( )( )
}

+ +
0
2 2
4 1
) log(
dx
x x
x
( )( ) ( )( )( )( )
( )
( )
( )
( )
( )
i
i
i i i
i
i z f
i
i
i
i i i
i
i z f
i
i
i
i i i
i
i z f
i z i z i z i z
z
z z
z
z f
12
2
2 log
4 3
2 log
2 ), ( Res
24
9
6
2
3
) 3 ( ) 2 (
log
), ( Res
24 6
2
3 ) ( 2
log
), ( Res
2 2
log
4 1
log
) (
2
2
2
2
2
2
2
2
2
2 2
2

|
.
|

\
|
+
=

=
=

|
.
|

\
|
=


=
=
|
.
|

\
|
=

=
+ +
=
+ +
=
t
t
t
t
t
Examen
JUNIO 02/03: P-1
80
( )
( )
( )
6
2 log
), ( Res Re
2
1
12
2
3
2 log
) 4 ( ) ( ) 3 (
2 log
2 ), ( Res
4
1
2
2
t
t
=
(

=
|
.
|

\
|
+
=


=

= k
k
z z f I
i
i
i i i
i
i z f
81
P2. Septiembre 2007
1. Calcular la integral
Re (z)
Im (z)
Indicacin: Utilice el contorno de la
figura y la determinacin (-/2, 3/2)
con
2
2
1
) (ln
) (
x
x
z f
+
=
dx
x
x
}
+
+
0
2
2
1
) (ln
Respuesta.
Calculamos a lo largo del contorno dado , la integral
dz
z
z
}
I
+
2
2
1
) (ln
82
|
|
.
|

\
|
+
=
+
}
I
i
z
z
i dz
z
z
;
1
) (log
Res 2
1
) (log
2
2
2
2
t
para lo que buscamos los puntos singulares del integrando interiores a .
Como los puntos donde no es analtica no son interiores al contorno,
basta con calcular los ceros del denominador que, en este caso son los
puntos z = i. El nico punto singular interior al contorno es z = i, de modo
que
3
z
El punto z = i es un polo simple de la funcin, pues sta se puede expresar en
la forma
i z
z g
z
z

=
+
) (
1
) (log
2
2
siendo analtica y no nula en z = i pues
i z
z
z g
+
=
2
) (log
) (
0
4 2
1
2
2
2
) (log
) (
2
2
2
= =
|
.
|

\
|
= =
t
t
i i
i
i
i
i g
83
) ( ;
z 1
z) (log
Res
2
2
i g i =
|
|
.
|

\
|
+
con lo que y
4 1
) (log
3
2
2
t
=
+
}
I
dz
z
z
Como ,
2 1
T C T C
R
= I
c
entonces
} } } } }
+ + + =
I
2 1
) ( ) ( ) ( ) ( ) (
T C T C
dz z f dz z f dz z f dz z f dz z f
R c
El lmite
0
2
lim
1
/ ) log 2 (
lim
) (log
lim
1
) (log
lim ) ( lim
2
2
2
= = =
= =
+
=


z
z z
z
z
z
z
z z zf
z z
z z z
84
Por ser
y se puede afirmar por el Lema 1 de Jordan que
}
=

R
C R
dz z f 0 ) ( lim
0 log 2 lim
/ 1
/ ) log 2 (
lim
1
) (log
lim
1
) (log
lim ) ( lim
0
2
0
2
0
2
2
0 0
= =

=
= =
+
=


z z
z
z z
z
z
z
z
z z zf
z z
z z z
y se puede afirmar por el Lema 1 de Jordan que
}
=

c
c C
dz z f 0 ) ( lim
0
85
dx dx e dz
x
i x
e x
i x
z
z
i
i
= =
+
+
=
+
+
=
+
t
t
t t
2
2
2 2
2
2
2
1
) (ln
1
) (ln
1
) (log
El segmento T
1
lo parametrizamos en la forma z = xe
i
, de
modo que
| |, ,c R xe
con lo que
dx
x
dx
x
x
i dx
x
x
dx
x
i x
dz z f
R R R
T R
} } }
} }
+

+
+
+
=
=
+
+
=
c c c
c
t t
t
2
2
2 2
2
2
2
1
1
1
ln
2
1
) (ln
1
) (ln
) (
1
El segmento T
2
lo parametrizamos en la forma z = x, de
modo que
| |, , R x c e
dx dz
x
x
z
z
=
+
=
+
2
2
2
2
1
) (ln
1
) (log
86
con lo que
dx
x
x
dz z f
R
T
} }
+
=
c
2
2
1
) (ln
) (
2
Sumando todas las contribuciones y, tomando lmites cuando R y
0 queda
dx
x
dx
x
x
i dx
x
x
} } }

+

+
+
+
=
0
2
2
0
2
0
2
2 3
1
1
1
ln
2
1
) (ln
2
4
t t
t

|
|
.
|

\
|
+
+ =
+
=
+
} }
}

dx
x
dx
x
x
dx
x
x
0
2
2
3
0
2
2
0
2
1
1
4 2
1
1
) (ln
0
1
ln
t
t
87
Como la integral real
2 1
1
0
0
2
t
= =
+

}
x arctg dx
x
se deduce que
8 1
) (ln
3
0
2
2
t
=
+
}

dx
x
x
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
Un ltimo comentario:
109
Nmeros primos
(parte II)
110
Ueber die Anzahl der Primzahlem
unter einter gegebenen Grsse (1859)
Sobre el nmero de nmeros primos
menores que una magnitud dada.
Georg Friedrich
Bernhard Riemann
Riemann hacia 1859 extendi por
prolongacin analtica la funcin
zeta al plano complejo:
it s
n
s
n
s
+ =
=

=
o
,
1
1
) (
con un polo simple en s = 1.
Y prob que haba profundas
conexiones entre esta funcin y la
distribucin de los nmeros primos.
111
La contribucin genial de Riemann fue conectar los ceros de
,(s) con el comportamiento asinttico de t(x).

Gran parte del trabajo se debe al descubrimiento de una
ecuacin funcional que relaciona ,(s) con ,(1-s), en una
simetra respecto al eje Re(s) = 1/2.
) 1 (
2
1
) (
2
2 / ) 1 ( 2 /
s
s
s
s
s s

|
.
|

\
|

I =
|
.
|

\
|
I

, t , t
La funcin zeta de Riemann tiene ceros (triviales) en -2, -4, -6, ... (los
polos de I (s/2)). Usando el producto de Euler es fcil demostrar que
el resto de ceros estn en la franja crtica 0 < Re(s) < 1, y son
simtricos sobre la lnea crtica Re(s)=1/2. La hiptesis de Riemann
asevera que todos estos ceros estn realmente sobre la lnea crtica.
112
De hecho, Euler ya haba hecho parte del trabajo. En 1749
Euler sugiri que la funcin zeta real satisface la siguiente
relacin extica:
( ) x
x
x
x x x
x
I
|
.
|

\
|

2
cos ) 2 ( 2 ) (
) ( ) ( ) 1 (
t
t _
, _ ,
Observemos que si x > 1, ,(x) es distinta de cero. Si x = -2,
-4, -6, ... cos(tx/2) = 0, pero I(x) es infinita, de modo que
_(x) es infinita. Puesto que ,(1-x) para estos valores es
finita, no queda ms remedio que ,(x) sea cero para estos
valores.
113
Riemann demostr que los pares negativos s = -2, -4, -6, ... son
ceros triviales de la funcin zeta. Y que existan infinitos ceros no
triviales en la banda crtica: { } 1 0 : s s + = s it s o
Tambin "demostr" que el nmero de ceros N(T) no triviales: = | + i
que satisfacen 0 < s T es aproximadamente:
t t t 2 2
log
2
) (
T T T
T N
|
.
|

\
|
~
114
Para relacionar ,(s) con t(x) defini una funcin
prime counting "pesada":

s
= H
x p
m m
x
1
) (
Mientras t(x) es una funcin escalonada que suma
uno para cada primo, H(x) es una funcin escaln
que aade 1/m para cada potencia p
m
de un primo p.

Veamos un ejemplo concreto, que resultar revelador.
Calculemos, por ejemplo:
) 20 ( H
115
Todos los p
m
s 20 son: {2, 2
2
, 2
3
, 2
4
, 3, 3
2
, 5, 7, 11, 13,
17, 19}. Entonces:
|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
+
+
|
.
|

\
|
+ +
|
.
|

\
|
+ + + = = H

s
1
1
1
1
1
1
1
1
1
1
1
1
2
1
1
1
4
1
3
1
2
1
1
1 1
) 20 (
3 2
20

de potencias de potencias
p
m m

4 3
20 # 20 #
20 #
20 #
20
1
1
4
1
1
1
3
1
1
1
1
1
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1 1
) 20 (
s s
s
s
s
|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
+ +
+
|
.
|

\
|
+ + + + + + + = = H

primos primos
primos
primos
p
m m


116
( )


=
s
= = H
1
/ 1
1 1
) (
m
m
x p
x
m m
x
m
t
Observa que aunque el sumatorio sea infinito, en
realidad solo tenemos un nmero finito de trminos.
Ahora, utilizando la inversin de Mbius:
( )
m
m
x
m
m
x
/ 1
1
) (
) ( H =

t
Donde se usa la funcin de Mbius definida como:
cero cuando m es divisible por un cuadrado y como (-1)
k
en caso contrario
(donde k es el nmero de distintos factores primos de n).
117
Riemann mostr que H(x) puede determinarse a
partir de los ceros de ,(s) mediante:
( )
}

+ = H
x
t t t
dt
x Li x Li x
) log( ) 1 (
) 2 log( ) ( ) (
2

(demostrado rigurosamente por H. von Mangoldt)

( )

=
H =
1
/ 1
) (
) (
n
n
x
n
n
x

t
Observa, de nuevo, que para un x dado, esta serie
es finita: a partir de un cierto valor de n, x
1/n
< 2.
118
As que: 1
1
1
1
1
) (

=
[
|
|
.
|

\
|
= =
primo p
z
n
z
p n
z ,
sugiere que la funcin zeta conoce a los nmeros
primos y eso fue lo que desvel Riemann:
( )

=
H =
1
/ 1
) (
) (
n
n
x
n
n
x

t
( )
}

+ = H
x
t t t
dt
x Li x Li x
) log( ) 1 (
) 2 log( ) ( ) (
2

que sugiere que los ceros de la funcin zeta

conocen la distribucin de los nmeros primos.
119
Aproximando t(x) usando los primeros 500 ceros de la funcin zeta.
La animacin muestra como la aproximacin se va haciendo mejor a medida
que utilizamos ms y ms ceros (H. Riesel y G. Ghl).
( )
}

+ = H
x
t t t
dt
x Li x Li x
) log( ) 1 (
) 2 log( ) ( ) (
2

( )

=
H =
1
/ 1
) (
) (
n
n
x
n
n
x

t
120
Idem: aproximando t(x) usando los primeros 500 ceros de la funcin zeta,
ahora en el intervalo 190 a 230.
( )
}

+ = H
x
t t t
dt
x Li x Li x
) log( ) 1 (
) 2 log( ) ( ) (
2

( )

=
H =
1
/ 1
) (
) (
n
n
x
n
n
x

t
121
Bernhard Riemann hacia 1859 generaliz la funcin zeta a nmeros
s = x + iy complejos. Aqu vemos una representacin grfica del
mdulo de la funcin z de Riemman: | (s)|. Obsrvese el polo en
s = 1.
La funcin zeta (s) de Riemann
122
Aqu vemos una representacin grfica del mdulo de la inversa de
la funcin z de Riemman: |1/ (s)|. De este modo podemos ver
fcilmente los ceros de la funcin z como polos. Los ceros parece
que vayan paralelos y cercanos al eje imaginario.
123
Hiptesis de Riemann: (La conjetura ms famosa hoy de
la matemtica). La hiptesis de Riemman afirma que todos los ceros
no triviales tienen la parte real igual a . Es decir que son de la
forma: + iy.
) 2 / 1 ( iy + ,
Grafica de y frente al mdulo:
124
Los 100.000 primeros millones de ceros de la funcin zeta
estn en la lnea crtica (2005).
125
. . . La principal broma de Hardy era que consideraba a Dios
su enemigo personal. Entindase: Dios no tena nada ms
urgente que hacer que fastidiarlo. Como ejemplo de la
permanente lucha de Hardy con Dios, Plya contaba la
siguiente historia: Un ao Hardy permaneci en Dinamarca
con Bohr hasta el final de sus vacaciones de verano, de
manera que estaba obligado a volver a Inglaterra para
comenzar sus lecciones. Slo haba un pequeo bote
disponible (no haba trfico areo en aquel tiempo). Como es
sabido, a veces el Mar del Norte puede estar bastante
revuelto
y la probabilidad de que un pequeo bote como aquel se
hundiera no era exactamente cero. Sin embargo, como no
tena otra opcin, Hardy embarc en l, pero envi unapostal
a Bohr, con el siguiente texto: He probado la Hiptesis de
Riemann. G. H. Hardy.
George Plya
(1887 - 1985)
No lo cogen? Es que no conocen la teora subyacente a la postal. . . . Si el bote se
hunda y Hardy se ahogaba, todo el mundo creera que l haba probado la
Hiptesis de Riemann. Pero Dios no consentira que l (Hardy) tuviera ese gran
honor y por esto no dejara que el bote se hundiera. Obviamente, puesto que Hardy
lleg a salvo a Inglaterra, esta forma de seguro fue efectiva".
126