8.

Integrales

La trayectoria ms
corta entre dos
verdades reales
pasa a travs del
dominio complejo."

Jacques Hadamard (1865 1963) 1

 Integrales definidas (Tipo I):
Sea R(sin , cos ) una funcin racional que no posee polos
sobre la crcunferencia unidad C: sin2 + cos2 =1
|z|=1

z e i , 0 2 , 2
i
I R(sin , cos )d
dz ie d izd , 0

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


( z 2 1) 2 z 1 1 ( z 2 1) 2
I dz dz
| z| 1 4 z (5 z 2 z 2) iz
2 2
4i | z|1 z (2 z 5 z 2)
2 2

1 ( z 2 1) 2 1 k
( z 2 1) 2
dz 2i Res 2
4i | z | 1 2 z ( z 1 / 2)( z 2)
2
4i i 1
z z i
2 z ( z 1 / 2)( z 2)
3
 1 k
( z 1)
2 2

I 2i Res 2
4i i 1
z zi 2 z ( z 1 / 2)( z 2)

( z 1)
2 2

Res 2
2 z 1/ 2 2 z ( z 1 / 2)( z 2)
( z 2 1) 2
Res 2
z 0 2 z ( z 1 / 2)( z 2)

35
Tiene 3 polos, uno doble en z = 0 y
2 4 4 4 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) 4
Aqu tienes el clculo explcito de los residuos:

d ( z 2 1) 2
Res f ;0 lim
1 d 2

z f ( z ) lim
z 0 dz 2 z 5 z 2
2
z 0 1! dz

(2 z 2 5 z 2)2( z 2 1)2 z ( z 2 1) 2 (4 z 5) 5

( 2 z 2 5 z 2) 2 z 0
4

1 1
Res f ; lim z f ( z ) lim
z 1
2

2
3
2 z 1/ 2 2 z 1 / 2 2 z z 2
2
4

5
 d
Otro ejemplo:

Hallar I
0 2 cos
La integral no est entre 0 y 2, pero podemos arreglarlo.

d 2 d
Como el integrando es par: 2 0 2 cos

0 2 cos

1 dz 2 dz
2I 2
C 2
1 1 iz i C z 4z 1
z
2 z
6
Los polos son z 2 3 y z 2 3 Pero slo el segundo est
dentro del crculo unidad.

2
La integral queda: 2 I 2i Res( f;2- 3 )
i

Res f;2- 3 lim z 2- 3
z 2 - 3 f ( z)
1 1
lim
z 2- 3 z (2 3) 2 3

2 1 2
2 I 2i I
i 2 3 3 37
 Otro ejemplo. Calcular:

2 1
0 d 4 z
(2 cos ) 2
i C ( z 4 z 1)
2 2
dz

z
f ( z) ; z0 2 3 , z1 2 3.
( z z0 ) ( z z1 )
2 2

Solo este polo est

z en el crculo unidad.
C ( z 2 4 z 1)2 dz 2 iRes( f ( z ) , z1 )
d d z ( z z0 ) 1
Res ( f , z1 ) lim ( z z1 ) f ( z ) lim
2
lim
z z1 dz z z1 dz ( z z ) 2 z z1 ( z z ) 3
6 3
0 0

2 1 4 1 4
0 (2 cos ) 2
d 2i
i

6 3 3 3 8
9
Observa que tambin funciona el mismo cambio de variable si tenemos
trminos del tipo cos(n) y sen(n):

10
11
 Integrales impropias: En clculo, una integral
impropia es el lmite de una
R integral definida cuando

a f ( x)dx lim f ( x)dx

R a
uno o ambos extremos del
intervalo de integracin se
hacen infinitos.
b b
f ( x)dx lim f ( x)dx Pueden definirse en
trminos de integrales
R R
propias (sumas de
1 R 1 Riemann), siempre y
1 1 x2
dx lim
R 1 1 x 2
dx cuando existan estos lmites.
Cuando el lmite existe
lim (arctan R arctan 1) / 2 / 4
R decimos que la integral
En este caso la integral existe. Pero en los dos siguientes no: converge. Y en caso
contrario, que diverge.
1

1 x
dx lim (log R log 1)
R 0
cos xdx lim sin R
R

R1 0

f ( x)dx lim
R1 0 f ( x)dx lim
R2 R2
f ( x)dx
12
13

Por ejemplo:

xdx es divergente , puesto que :
R R2
lim
R 0 xdx lim
R 2

Sin embargo:

R R 2 ( R) 2
V .P. x dx lim x dx lim 0
r R R
2 2
14
 Nota sobre la simetra de los integrandos:

x 1

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

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

3
x
V .P. dx ? Si f(x) es impar, entonces:
1 x 4
f(x) = -f(x) y I = 0.
x
V .P. dx ? Aunque no lo digamos, a partir de
3 x 2 ahora calcularemos siempre el
Valor Principal, V.P. 15
Lemas de Jordan

Camille Jordan
(Lyon 1838 Pars 1922)
16
 1er Lema de Jordan
Sea f(z) una funcin analtica (con la posible excepcin de
un nmero finito de singularidades) definida en el sector de
circunferencia (r) delimitado por 1 2 y radio r tal
que

(r)
lim z f ( z) 0
| z|

2
lim
r


(r )
f ( z )dz 0
1
x
17
 2 lema de Jordan
Sea f(z) una funcin analtica (con la posible excepcin de
un nmero finito de singularidades) definida en el sector
de circunferencia (r) delimitado por 1 2 y radio r
tal que
(r)
lim z f ( z ) 0
z 0

2
1
lim
r 0


(r )
f ( z )dz 0

18
 3er lema de Jordan
Sea a R+ y f(z) una funcin analtica (con la posible
excepcin de un nmero finito de singularidades) definida en
el sector de circunferencia (r) del semiplano superior y 0,
delimitado por 0 1 2 y radio r tal que
lim f ( z ) 0
(r) | z |

dz 0
iaz
lim f ( z) e

r
(r )
2
1 Nota: Sia R- , el resultado sigue cumplindose
para un sector de circunferencia (r) del
semiplano inferior y 0, delimitado por
- 1 2 0. 19
 4 lema de Jordan
Sea f(z) una funcin analtica definida en el sector de
circunferencia () del semiplano superior y 0:

Si z = z0 polo simple lim

0


( )
f ( z )dz i Res f ( z )
z z 0

()
Demostracin:
Si z = z0 es un polo simple de f(z), la
funcin se puede escribir de la
forma:
b1
f ( z) h( z )
z z0 - z0 +

Donde h(z) es una funcin

analtica en un entorno de z0 lim
0

( )
h( z )dz 0
20
y por lo tanto:
 0
b1

( )
f ( z )dz
( ) z z0
dz h( z )dz
( )

ib1

Aplicando lmites: lim

0


( )
f ( z )dz i Res f ( z )
z z 0

Observemos que con el recorrido en

lm f ( z )dz i Res f ( z )
sentido contrario da lo mismo con un signo 0 ( ) z z0
menos

De manera anloga, podemos hacerlo en el semiplano inferior; teniendo en

cuenta el sentido en que lo recorremos.

21
 LEMAS DE JORDAN

1 lim z f ( z ) 0 lim
| z| r

f ( z )dz 0
(r )

2 lim z f ( z ) 0 lim
z 0 r 0

f ( z )dz 0
(r )

3 lim f ( z ) 0 lim
| z | r


(r )
f ( z ) eiaz dz 0

4 Si z = z0 polo simple lim

0


( )
f ( z )dz i Res f ( z )
z z 0

22
 Integral tipo 2
Con R(x) una funcin racional que no posee
I R( x)dx

polos en el eje real, aunque puede tener
polos no reales.

Vamos a exigir: lim x R(x) 0

x
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.

En compleja: lim z R(z) 0

| z|

Por el primer lema de Jordan.

lim
| z|
z f ( z ) 0 lim
r

f ( z )dz 0
(r ) 23
 lm ( r ) R( z )dz 0
r

Por el primer lema de Jordan.

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

R ( x ) dx 2i Res ( R ( z ))
k 1 z z k

24
 Ejemplo: El grado del denominador es 4 y del numerador 2.
2 2
x z
I R( x)dx x
dx dz z 1 0;
4

4
1 C z 1
4

Tomamos C como un
i / 4 semicrculo cerrado de radio r
z1 e Dos polos en el
que contiene a los polos:
i 3 / 4
z2 e
semiplano superior

i 5 / 4
z3 e Dos polos en el
i 7 / 4 semiplano inferior
z4 e
e i 3 / 4 e i / 4
Los del semiplano inferior
quedan fuera del contorno C
25
 z2 2
z
2

dz 2i Res 4
Por el teorema del
residuo: C z 1
4
k 1 z z z 1
k

i 3 / 4 i / 4
x 2
e e
x 1
4
dx 2i
4

4
2

26

dx
Calcular I
0
x 4 10x 2 9

Como el integrando es par, nos es ms fcil calcular 2 I


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

por tanto aplicamos el lema 1: z 2

1 z i z 2 9 z 3i
i
Res f ( z ) z i
1
z i z i z 3i z 3i 16

Res f ( z )
1 i
z 3i
z 3i z i z i z 3i 48

i i 2
2 I 2i ; I
16 48 24 24 27
 1
Evaluar: I 0 dx
x 1
4

1
2I 4 dx
x 1

Los polos son:

z 4 1 0;
1 i 1 i 1 i 1 i
z 1; z e
4
i 3 / 4
,e i / 4
,e i / 4
,e i 3 / 4
, , ,
2 2 2 2
en el semiplano superior estn z1 = ei/4 y z2 = e3i/4.
28
 1 1

Res
z exp( / 4 ) z 1
4

z ei 3 / 4 z e i 3 / 4 z e i / 4
1
i / 4
e
e i 3 / 4 e i / 4 e i 3 / 4 ei / 4 e i / 4
1
i / 2
e
e i / 2 e i 1 2i sin( / 4)
e i / 2 e i / 2 e i 1 2 e i / 2 e i / 2
2 cos( / 2) i sin( / 2) cos( / 2) i sin( / 2) 2 2i
sin( / 4) 1 / 2

1 1 1 1 1 i
Res
z exp( / 4 ) z 1
4
2i (2 2i ) / 2 2 (2i 2) 2 4
29
 1 1

Res
z exp( 3 / 4 ) z 1
4

z e i 3 / 4 z e i / 4 z ei / 4
1
i 3 / 4 i 3 / 4 i 3 / 4 i / 4 i 3 / 4 i / 4
e e
e e
e e
1

2i sin( 3 / 4) ei 6 / 4 ei e i / 2 1
e i 6 / 4 ei e i / 2 1 2 e i 3 / 2 ei / 2
2 cos(3 / 2) i sin( 3 / 2) cos( / 2) i sin( / 2) (2 2i )
sin( 3 / 4) 1 / 2

1 1 1 1 (1 i )
Res
z exp( 3 / 4 ) z 1
4
2i (2 2i ) / 2 2 (2i 2) 2 4
30
 1 1 1 1
Res( f , z1 ) i, Res( f , z2 ) i
4 2 4 2 4 2 4 2

1
x 4 1 dx 2i[Res ( f , z1 ) Res ( f , z2 )] 2

1
0 x 1
4
dx
2 2

31
De otra manera...
dx 1
Calcular: I 1 x
0
4
integrando
1 z4

a lo largo del contorno de la figura (con R )

dz dz dz dz
R
C C 1 z 4 1 1 z 4 2 1 z 4 3 1 z 4
2
3
1 z 0 e i / 4
dz z1 e i 3 / 4
lm z f ( z ) 0 0 ; polos simples:
Lema 1
2 1 z
z 2 e i 5 / 4
4
z

z3 e i 7 / 4
slo z0 es polo interior.
32
 1
dz
C 1 z 4 2i z0Res 1 i
e i / 4 1 z
4
2 2
0
dz idx dx
3 1 z 4 1 (ix ) 4 i 0 1 x 4 iI
Sobre 3, z = ix, por tanto dz = idx

dx
1 i 0 dx
0 i (1 i) I
2 2 1 x 4 0 1 x 4

I
2 2
33
34
35
Si existen polos en el eje real, sencillamente hay que tener
en cuenta que su contribucin es de i en vez de 2i. Por
ejemplo:

36

I
ix
Integral tipo 3 f ( x)e dx

Siendo f(z) una funcin analtica en todo punto del semiplano
cerrado y 0 , salvo quiz en un nmero finito de puntos.
Si los puntos singulares no estn sobre el eje real:
r
lim
r f ( x)eix dx f ( x)eix dx
r

Si lim f ( z) 0 y 0
| z|
r n
lim f ( x)eix dx 2i Res ( f ( z )eiz )
r
r k 1 z z k
Estando el sumatorio extendido a los puntos singulares de f(z) contenidos en el 37
plano y > 0
En el caso de que la funcin f(z) posea puntos singulares
sobre el eje real se utiliza el lema 4:

Si z = z0 polo simple: lim

0


( )
f ( z )dz i Res f ( z )
z z 0

()

- z0 + 38
Aclaraciones

1. - En general, para una integral de la forma

f ( x)e ax dx

(donde a es una constante compleja), se calcular integrando

en el semiplano en el que e az 1. Por ejemplo, la integral

f ( x)e ix dx se realiza en el semiplano inferior.

2. - Integrales de la forma

f ( x) sin n xdx

o bien

f ( x) cos n xdx, se expresan con

ayuda de la exponencia l compleja. 39


cos 3x
Ejemplo : resolver x 12 1 dx. (r)

cos 3z
C z 12 1 dx
-r +r

r
cos 3x cos 3z cos 3z
dx dz 2i
r x 1 1 ( r ) z 1 1 res z 1 1
2 2 2

e3iz e 3iz ei 3 x 3 y e i 3 x 3 y
cos 3z
2 2
cuando r , ei 3 x 3 y e 3 y se hace infinito y no cero.
As que la integral no se anula...

Pasemos el integrando a forma exponencial 40

 3iz r
e e3ix e3iz e3iz
C z 12 1 dz r x 12 1 dx (r ) z 12 1dz 2i
res z 12
1

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


e3ix e3iz
( x 1) 2 1dx 2i
res ( z 1) 2
1

cos 3 x sin 3x e3iz
x 12 1 dx i x 12 1 dx 2i
res z 1 1
2

parte imaginaria

parte real
41
 ( z 1) 2 1 0 z1 1 i, z2 1 i

polo en el semiplano superior

cos 3x
x 12 1 dx i
sin 3x
x 12 1 dx e 3 3i
e 3
cos 3 i sin 3

cos 3x sin 3x
( x 1) 2 1 ( x 1) 2 1 3
dx e 3
cos 3 dx e sin 3

esta es la integral pedida

42

cos x
Ejemplo : resolver I dx

1 x 2

r ix iz iz
e e e
r 1 x 2 dx (r ) 1 z 2 dz 2i
res 1 z
2

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

cos x sin x eiz
1 x 2 dx i 1 x 2 dx 2i
res 1 z 2

parte imaginaria

parte real 43
1 z 2 ( z i )( z i ) Cogemos el residuo z i
iz i2 1 polo en el semiplano superior
e e e
lim
z i z i i i 2i

cos x sin x e 1

1 x 2 dx i 1 x 2 dx 2i 2i e

I Re
e e
44
P3. Junio 2007

cos( ax)
1. Calcular la integral real: I dx, a 0, b 0
0 x b
2 2

Respuesta.
iaz
e
Calcularemos la integral
z 2 b 2 dz C
ib

-R -ib R
z b 0; z0 ib
2 2

( z ib )( z ib ) 0

45
Observemos que |eiaz| = |eia(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.
C
ib
Sea C el circuito del dibujo:
-R -ib R

iaz iaz iax

e e e R
C z b
2 2
dz z2
b
2
dz 2
R x b 2
dx

0 al hacer R 0
cos( ax ) sin( ax )
dx i 2 dx
x b
2 2 x b 2

0 por ser funcin impar 46
Observa que la funcin es par y estamos calculando el doble del
valor I:

eiaz eiaz
2 I 2i Res 2 2 2i lim ( z ib ) 2 2
z ib z b z ib z b

eiaib e ab e ab
2i I
2ib b 2b

47
 P1. Septiembre 2006

a) (2.5 puntos) Calcular el valor de la integral

cos( kx)
1 x x 2 dx, con k 0
Respuesta.

cos( kx) eikx

I dx Re dx , k 0
1 x x
1 x x
2 2

eikz eikz R eikz

Se calcula dz dz dz (1)
1 z z 2 Cr 1 z z 2 R 1 z z 2

48
 CR
Puntos singulares de
z1
eikz
-R R f ( z) 1 z z 2
0
1 z z 2

: CR R, R z
1 3
i
2 2
1 3i
z1 , est dentro de
2

49
 Tomando lmites en (1):
ikz ikx
2iRes f ( z ), z1 lim
e e
dz dx
R C r 1 z z 2 1 x x 2

Por ser f analtica en

y en su interior salvo en
z1
(T de Cauchy-Goursat)

Caso k > 0 ikz

1 e
lim 0 lim
Lema 2 Jordan
dz 0
z 1 z z 2 R C r 1 z z 2

e ikz

( z z2 )
ikx
e
1 x x 2 dx 2iRes z z1 , z1
50
 eikz1 2 3k k k
2i( z1 ) 2i e 2
(cos i sin )
3 3 2 2
2 i
( z )
e ikz
analtica en z
2
z z2
1

( z1 ) 0, z1 polo simple

2 3k k
I e 2
cos
3 2

51
Caso k = 0

1 dz
lim z 0 lim
Lema 1 Jordan
0
z 1 z z 2 R r 1 z z
C 2

1
dx ( z z2 ) 2i
1 x x 2 2iRes z z1 , z1 2i( z1 ) 3
2 i
2
1

2
( z ) analtica en z1
z z2

I ( z1 ) 0, z1 polo simple

3
52
53
54
55
56
57
58
59
60
61
62
 Integral tipo 4

R( x) 2i n
R( z )
I dx
x 1 e 2i
k 1
Res
z zk
z
0

(r ) Condiciones: R(x) es una funcin racional y

0 < < 1.
z1 z
2

( )

r z 0 no es ni un cero ni un polo de R( z )
r
zn R( z ) no posee polos sobre el semieje x 0

R( z )
lim z 0
| z | z 63
 Demostracin

R( z ) n
R( z )
C z dz
k 1
Res
z zk
z
0 0
r
R( z ) R ( x) R( z ) R( x)

(r ) z
dz
r xe2i

dx dz dx
( ) z x

lim lim
r Lema 1 0 Lema 2

lim zf ( z ) 0 lim zf ( z ) 0
z z 0

R( x)
R( x)

r

x dx 1 e 0 x dx
2i 2i
lim 1 e
r
0
64

x
Resolver I 2 dx con a 1
0
x a 2
(r )

z R( z ) ai
f ( z) 2
z a 2 z 1/ 2 ( )

z2 a2 0 r
r
z1 ai
ai
z 2 ai
z
f ( z)
( z ai)( z ai )
2 Lema 2
f ( z )dz 2i Res ( f ( z ))
C k 1
0 lim zf ( z ) 0
z 0

xe2i
r
z z x

(r ) z a
2 2
dz 2
r
x a 2
dx 2
( ) z a
2
dz 2
x a
2
dx

Lema 1
0 65
lim zf ( z ) 0
z


x 2i z z
0 x a
2 2
dx
1 e i Res
z ai


z a
2 2

Res
z ai




z a
2 2

z z ai z ai
Res
z ai
z ai
z ai z ai
2ai
z / z ai z ai
Res
z ai
z ai
z ai z ai
2ai

66
I
2i
1 ei
ai

2ai
ai
2 ai
a
i

i i
2ai
2i a
1 cos i sin

2a
e i 4
e 3i 4

2i
i
1 (1) i 0 a ei 4 e i 4

a 2

I
2a
67

dx
Ejemplo : I
(r )

0 x x 4
( )

1 r 4
f ( z) r
x x 4
z40
z 4
1 Lema 2
f ( z )dz 2i Res ( f ( z ))
C k 1
0 lim zf ( z ) 0
z 0

r
1 1 1 1

(r ) z z 4
dz
r x x 4
dx
( ) z z 4
dz
x x 4
dx

Lema 1
0
lim zf ( z ) 0
z
68
 z4 i
Res f ( z )
z -4
z z 4 z 4 2

2i i
I i
1 e 2 2

2i

1 cos( ) i sin( )
2i
i
1 (1) i 0 69
P1. Septiembre 2005
p
x
0 1 x 2 dx
a) Calcular el valor de la integral

Respuesta. con 1 p 0

0
x
1 x 2
p
dx
2i
1 e ip 2

Res f ( z ) Res f ( z )
z i z i

z p
i p
(i) p
f ( z) ; Res f ( z ) ; Res f ( z )
1 z 2 z i 2i z i 2i


p
x
dx i (i)
p p
ip 2
0 1 x 2
1 e 70
71
72
73
74
Integral tipo 5
R(x) funcin racional

R(z) sin polos en el semieje real x0
I R( x) log xdx
lm x R ( x) 0
0 x

A continuacin demostraremos que:

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

n 2
1
0 R( x)dx 2i Im
Res R(z) (logz)
k 1 z z k
75
Demostracin:

Usaremos f ( z ) R( z )(log z ) 2 con 0<argz2 como determinacin del logaritmo.

R( z )(log z ) dz 2i Res R( z ) (log z ) 2

2
(I)
k 1 z z k
C

0
R( z )(log z ) 2 dz dz
2
R( z )(log z )
C
(r )
0
r
R( x)(log x 2i ) dx R( z )(log z ) dz R( x)(log x) dx
2
2 2

r ( )

tomamos lmites para r y 0

0


R( x) (log x) 2 (log x 2i) 2 dx 4i R( x)dx 4 2 R( x)dx
0

igualando con la expresin (I) y dividiendo por 2i:

n
2 R( x) log xdx 2i R( x)ds Res R(z) (logz) 2
k 1 z z k
0 0
76
Ejemplo: log x
I dx
0 ( x 1)( x 4)
2 2

1 2
en este caso, R(x) es ; lo multiplicamos por log z y queda:
( x 1)( x 4)
2 2

log 2 z log 2 z
f ( z) 2
( z 1)( z 4) ( z i)( z i)( z 2i)( z 2i)
2

2
ln 2 2 i ln 2
2
4 ; Res f ( z ) ;
2

Res f ( z ) ; Res f ( z )
z i 24 z 2i 12i z i 24
2
ln 2 2 i ln 2
Res f ( z ) 4
z 2 i 12i
1 ln 2
I Re Res[ f ( z )]
2 zk 12
77
Otro ejemplo:

log x

0 x a
2 2
dx I Con a ; anlogamente al ejemplo anterior:

1 log 2 z
I Re Res 2 2 z0 ai; z1 ai
2 zk z a

log 2 z log 2 (ai ) (ln ai i / 2) 2 ln 2 a i ln a 2 / 4

Res
z ai ( z ai )( z ai )
2ai 2ai 2ai

log 2 z ln 2 a i ln a 2 / 4 1 i 2 ln a
Res I Re
z ai ( z ai )( z ai )
2ai 2 ai
ln a

2a
78

log( x)
5. Calcular
residuos.
0 x 1 x 4
2 2

dx utilizando la teora de

log 2 z log 2 z
f ( z) 2

z 1 z 4 z i z i z 2i z 2i
2

i
2
2
Res f ( z ), i i
log i 2
2i (i ) 3i 6i 24
3
2

i
log i
2
2

2
Res f ( z ), i
9
i
(2i ) (3i ) i 6i 24

2

log 2 i
log 2i
2
2
Res f ( z ), 2i
i 3i 4i 12i Examen
JUNIO 02/03: P-1 79
 3
2

log 2 i
log 2i
2

2
Res f ( z ),2i
(3i ) (i ) (4i ) 12i
1 4 log 2
I Re Res f ( z ), zk
2 k 1 6

80
P2. Septiembre 2007 Im (z)

1. Calcular la integral
(ln x) 2
0 1 x 2
dx
Re (z)

Indicacin: Utilice el contorno de la

figura y la determinacin (-/2, 3/2)
(ln x) 2
con f ( z)
1 x2

Respuesta.

Calculamos a lo largo del contorno dado , la integral

(ln z ) 2
1 z 2 dz 81
para lo que buscamos los puntos singulares del integrando interiores a .
Como los puntos donde 3 z 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
(log z ) 2 (log z ) 2
1 z 2 dz 2iRes 1 z 2 ; i
El punto z = i es un polo simple de la funcin, pues sta se puede expresar en
la forma 2
(log z ) g ( z)

1 z 2
z i
(log z ) 2
siendo g ( z) analtica y no nula en z = i pues
z i

2

i
(log i)2
2 1 2
g (i) 0
2i 2i 2i 4 82
 (log z) 2
con lo que Res ; i g (i) y
1 z
2

(log z ) 2 3
1 z 2 dz 4
Como CR T1 C T2 , entonces

f ( z )dz f ( z )dz f ( z )dz f ( z )dz f ( z )dz

CR T1 C T2

El lmite

(log z ) 2 (log z ) 2
lim zf ( z ) lim z lim
z z 1 z 2 z z
(2 log z ) / z 2
lim lim 0
z 1 z z
83
y se puede afirmar por el Lema 1 de Jordan que

lim
R C R
f ( z )dz 0
Por ser

(log z ) 2 (log z ) 2
lim zf ( z ) lim z lim
z 0 z 0 1 z 2 z 0 1
z
(2 log z ) / z
lim lim 2 z log z 0
z 0 1/ z 2 z 0

y se puede afirmar por el Lema 1 de Jordan que

lim
0 C
f ( z )dz 0
84
El segmento T1 lo parametrizamos en la forma z = xei,x
R, , de
modo que

(log z ) 2 (ln x i ) 2 (ln x i ) 2

2 i 2

1 z 2
1 x e 1 x2
dz ei dx dx
con lo que
(ln x i ) 2
T1 f ( z)dz R 1 x 2 dx
2
R (ln x ) R ln x R 1
dx 2 i 1 x 2 dx 2
1 x 2 dx
1 x2

El segmento T2 lo parametrizamos en la forma z = x,x

, R, de
modo que
(log z ) 2 (ln x) 2

1 z 2
1 x2
dz dx 85
 con lo que
R (ln x) 2

T2
f ( z )dz
1 x 2
dx

Sumando todas las contribuciones y, tomando lmites cuando R y

0 queda

3 (ln x) 2 ln x 1
2 dx 2i dx
2
dx
4 0 1 x 2 0 1 x 2 0 1 x 2

ln x
0 1 x 2 dx 0


(ln x ) 2
1 3
1
dx dx
2

0 1 x 2
2 4 0 1 x 2

86
 1
Como la integral real

0 1 x 2
dx arctg x 0
2

(ln x) 2
3
se deduce que

0 1 x 2
dx
8

87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
Un ltimo comentario:

108
Nmeros primos
(parte II)

109
Georg Friedrich
Bernhard Riemann
Ueber die Anzahl der Primzahlem
unter einter gegebenen Grsse (1859)
Sobre el nmero de nmeros primos
menores que una magnitud dada.
Riemann hacia 1859 extendi por
prolongacin analtica la funcin
zeta al plano complejo:
1
( s) s
n 1 n
s it
con un polo simple en s = 1.
Y prob que haba profundas
conexiones entre esta funcin y la
distribucin de los nmeros primos.
110
La contribucin genial de Riemann fue conectar los ceros de
(s) con el comportamiento asinttico de (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.

s (1 s ) / 2 1 s
s / 2
( s ) (1 s )
2 2
La funcin zeta de Riemann tiene ceros (triviales) en -2, -4, -6, ... (los
polos de (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.111
De hecho, Euler ya haba hecho parte del trabajo. En 1749
Euler sugiri que la funcin zeta real satisface la siguiente
relacin extica:

(1 x) ( x) ( x)
x
( x) 2(2 ) x
cos x
2
Observemos que si x > 1, (x) es distinta de cero. Si x = -2,
-4, -6, ... cos(x/2) 0, pero (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.
112
 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: s it : 0 s 1

Tambin "demostr" que el nmero de ceros N(T) no triviales: = + i

que satisfacen 0 < T es aproximadamente:
T T T
N (T ) log
2 2 2
113
Para relacionar (s) con (x) defini una funcin
prime counting "pesada":
1
( x)
pm x m

Mientras (x) es una funcin escalonada que suma

uno para cada primo, (x) es una funcin escaln
que aade 1/m para cada potencia pm de un primo p.

Veamos un ejemplo concreto, que resultar revelador.

Calculemos, por ejemplo: (20)
114
Todos los pm 20 son: {2, 22, 23, 24, 3, 32, 5, 7, 11, 13,
17, 19}. Entonces:
1 1 1 1 1 1 1
(20)
p m 20 m 2 34
1
12
potencias de 2 potencias de 3

1 1 1 1 1 1

1 1 1 1 1 1
1 1 1 1 1 1 1 1 1
(20)
p m 20 m
1 1
111
1
1 1

# primos 20

1 1 1 1 1 1 1

2 1 3
1
1 4
1
115
# primos 20 # primos 20
3
# primos 20
4


1 1
( x) x 1/ m

pm x m m 1 m

Observa que aunque el sumatorio sea infinito, en

realidad solo tenemos un nmero finito de trminos.
Ahora, utilizando la inversin de Mbius:

( m)


( x) x 1/ m

m 1 m

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). 116
Riemann mostr que (x) puede determinarse a
partir de los ceros de (s) mediante:

x Li( x) Li( x ) log( 2)
dt

x t (t 2 1) log( t )
(demostrado rigurosamente por H. von Mangoldt)

( n)
x

( x) 1/ n

n 1 n
Observa, de nuevo, que para un x dado, esta serie
es finita: a partir de un cierto valor de n, x1/n <1172.
As que: 1

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

x Li( x) Li( x ) log( 2)
dt

x t (t 1) log( t )
2

( n)
x

( x) 1/ n

n 1 n
que sugiere que los ceros de la funcin zeta
conocen la distribucin de los nmeros primos.118

x Li( x) Li( x ) log( 2)
dt

x t (t 2 1) log( t )
( n)
x1/ n

( x)
n 1 n

Aproximando (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). 119

x Li( x) Li( x ) log( 2)
dt

x t (t 2 1) log( t )
( n)
x1/ n

( x)
n 1 n

Idem: aproximando (x) usando los primeros 500 ceros de la funcin zeta,
120
ahora en el intervalo 190 a 230.
 La funcin zeta (s) de Riemann
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.

121
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.

122
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.

Grafica de y frente al mdulo: (1 / 2 iy ) 123

Los 100.000 primeros millones de ceros de la funcin zeta
estn en la lnea crtica (2005).

124
. . . 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
George Plya
tena otra opcin, Hardy embarc en l, pero envi unapostal
(1887 - 1985)
a Bohr, con el siguiente texto: He probado la Hiptesis de
Riemann. G. H. Hardy.
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
125
lleg a salvo a Inglaterra, esta forma de seguro fue efectiva".
126