Está en la página 1de 58

Teora de nmeros

Entrega 3: La funcin Zeta de Riemann


El Teorema de los Nmeros Primos
Versin 2003-05-10


Copyright (c) 2003 by F. A. Gonzlez de la Hoz.
This material may be distributed only subject to the terms and conditions set forth in the Open Publication License,
v1.1 or later (the latest version is presently available at http://www.opencontent.org/openpub/).


CONTENIDO

FUNCIN GAMMA
La funcin Gamma
Funcin digamma y funciones poligamma
La mejor funcin factorial: teorema de Bohr-Mollerup

FUNCIN ZETA
La funcin Zeta de Riemann
La funcin Zeta y funciones multiplicativas
Funcin de Von Mangolt

TEOREMA DE LOS NMEROS PRIMOS
Demostracin del Teorema de los Nmeros primos
Frmula de Sumacin de Abel
Aplicaciones con la funcin zeta


APENDICES
Desarrollo de la funcin seno como producto
La transformada de Fourier y unas sumas infinitas
Logaritmo integral
Analiticidad de la Transformada de Laplace

EJERCICIOS - FUNCIN GAMMA
EJERCICIOS - FUNCIN ZETA
EJERCICIOS TEOREMA DE LOS NMEROS PRIMOS
EJERCICIOS APENDICES






Temas de las entregas anteriores: Funciones multiplicativas, Congruencias
Temas de las prximas entregas: El teorema de Dirichlet, Nmeros algebraicos




LA FUNCIN GAMMA


LA FUNCIN GAMMA

La funcin definida para nmeros complejos como s


=
1
0
1
)) ln( ( ) ( dx x s
s

junto con su prolongacin analtica se denomina funcin gamma. Para la expresin
anterior converge. Tambin se tienen las siguientes relaciones equivalentes (Ejercicio Gamma1):
0 ) Re( > s


=
0
1
) ( dx x e s
s x


=
0
1 2
2
) ( dx x e s
s x


Se cumple que ) ( ) 1 ( s s s = + y en concreto, para todo entero positivo se tiene que
(Ejercicio Gamma2):
n
! ) 1 ( n n = +

La relacin
) ( ... ) 1 (
) 1 (
...
) 1 (
) 2 ( ) 1 (
) (
n s s s
n s
s s
s
s
s
s
+ +
+ +
= =
+
+
=
+
s
n ) (s
= permite extender la
definicin de la funcin gamma hacia la parte negativa del plano complejo, siendo entonces
analtica en todo el plano a excepcin de los puntos en los que el denominador de la expresin
anterior se anula, lo cual ocurre nicamente si es un entero no positivo. En cada uno de esos
puntos, digamos , la funcin s = tiene un polo simple (Ejercicio Gamma3) con residuo
!
) 1 (
n
n

(recurdese que aqu ). 1 ! 0 =



Para un entero p se define la funcin
) ( ... ) 1 (
!
) (
p x x x
p p
x
x
p
+ +

=

la cual aproxima a la funcin en el sentido de que (Ejercicio Gamma4)

) ( ) ( lim x x
p
p
=



Las funciones ( se pueden usar para demostrar el siguiente resultado debido a
Weierstrass (Ejercicio Gamma5):
) x
p

=

+
=
1
/
/ 1
1
) (
n
n x
x
n x
e
x
e x


donde
=
=

p
n
p
p
n 1
) ln(
1
lim
es la constante de Euler.


Otra expresin muy til es (Ejercicio Gamma6):

) sin(
) 1 ( ) (
1 x
x x

=

.

Esta expresin proporciona otro mtodo alternativo para poner de manifiesto los puntos
donde es analtica.

Poniendo en la expresin anterior se encuentra 2 / 1 = x = ) 2 / 1 ( y a partir de este
valor se obtiene
! 2
)! 2 (
2
) 1 2 ( 5 3 1
) 2 / 1 (
2
n
n n
n
n n

=

= +

)! 2 (
! 2 ) 1 (
) 1 2 ( 5 3 1
2 ) 1 (
) 2 / 1 (
2
n
n
n
n
n n n n

=


=


FUNCIN DIGAMMA Y FUNCIONES POLIGAMMA

Se define la funcin psi o digamma como

( ) )) ( ln( ) ( x
dx
d
x =

y se definen las funciones poligamma como las derivadas sucesivas

) ( ) (
0
x x =
) ( ) (
1
x
dx
d
x
n n
=

Se tiene que para todo ,... 2 , 1 , 0 x su valor viene dado por (Ejercicio Gamma7):

=
+

+ =
1
) 1 (
1
) (
m
x m m
x
x
y que cuando 0 > n

=
+
+
+

=
1
1
1
) 1 (
! ) 1 (
) (
m
n
n
n
x m
n
x




La mejor funcin factorial: el teorema de Bohr-Mollerup


Utilizando las expresiones de las funciones poligamma se observa que la funcin

=
+
= =
1
2
1
2
) 1 (
1
) ( ) ))( (log(
m
x m
x x D
es positiva cuando x es un entero mayor que 0. Esto quiere decir que la grfica del logaritmo de
es convexa para valores reales positivos y, junto con el siguiente teorema, implica que la
funcin es la mas apropiada que podramos escoger para generalizar la funcin factorial,
en el sentido de que es, de entre todas las posibles generalizaciones, la que tiene una grfica ms
suave (Ejercicio Gamma8):

) 1 ( + s

Teorema de Bohr-Mollerup (1922):
Solo existe una funcin real y diferenciable con dominio en f ) , 0 ( , con la grfica de
) ln( f convexa y tal que y 1 ) 1 ( = f ) ( ) 1 ( x f x x f = + .



LA FUNCIN ZETA



LA FUNCIN ZETA DE RIEMANN

La funcin definida para nmeros complejos como s

=
=
1
1
) (
n
s
n
s .

junto con su prolongacin analtica se denomina funcin zeta de Riemann ) (s .

La funcin

converge absolutamente s de modo que fcilmente se ve que

=1
1
n
s
n
1 > a

=1
1
n
s
n
es analtica en la regin (Ejercicio Zeta1). Esta funcin se puede expresar como un
producto con nmeros primos (Ejercicio Zeta2):

1
1
1 ) (

|
|
.
|

\
|
=
p
s
p
s

Como
) Re(
1
s
p
1 cuando 0 ) Re( s , ningn factor de la expresin anterior se anula si
y entonces es 1 ) Re( > s 0 ) ( s en esa regin.

Existe una relacin importante con la funcin gamma (Ejercicio Zeta3):



=
0
1
1 ) (
1
) ( dx
e
x
s
s
x
s

La funcin

=
+
+
=

1
1
1
1
1
)
n
n
n
x
n
s
dx dt
t
s
s
s
0 ) Re( > s
( se extiende analticamente en todo el
semiplano abierto , de modo que en dicho semiplano la nica singularidad de ) (s es
un polo simple en con residuo 1 (Ejercicio Zeta4). La relacin con la funcin gamma se
puede entonces expresar como (Ejercicio Zeta5):
1 = s



=
C
x
s
x
dx
e
x
i
s
s
1
) (
2
) 1 (
) (


donde es una circunferencia de radio menor que C con centro en 0 = x que se recorre en el
sentido de giro positivo. A partir de esta expresin se concluye que la funcin ) (s es analtica
en todo el plano complejo a excepcin del polo en 1 = s con residuo 1. Tambin se demuestra
(ejercicio Zeta5.4) que la funcin ) (s se anula cuando ,... 6 , 4 , 2 = s
) 1 ( ) 2 / s
Estos ceros que
correspondientes a enteros pares negativos se denominan ceros triviales.
) ( ) s
2 (
1 (
1
=1
) s
1 n

=
*
(
k
f

La siguiente identidad se conoce como ecuacin funcional de la funcin zeta de
Riemann (Ejercicio Zeta6):

) 1 (( 2 / (
2 / ) 1 ( 2 /
s s
s s
=




Estas relaciones permiten calcular valores de la funcin zeta en algunos puntos enteros:

)! 2 (
2
)
2 1 2
n
B
n
n
n n

=
2
1
) 0 ( =
0 ) 2 ( = n
n
B
n
n
n
2
) 1 (
) 2

=
donde es un entero mayor que 0 y los son los nmeros de Bernouilli que vienen dados por: n
n
B
z
e
z

=
+

+
1
2 1
)! 2 (
) 1 (
2
n
n
n
n
n
z B z

(Ver el apndice sobre nmeros de Bernouilli).

El siguiente resultado es importante, dado que fue el paso final en la demostracin del
Teorema de los Nmeros primos (Ejercicio Zeta8):

Si Re( entonces 1 0 ) ( s




LA FUNCIN ZETA Y FUNCIONES MULTIPLICATIVAS

A partir de las propiedades de las series de Dirichlet se pueden obtener sumas en las
cuales intervienen las funciones aritmticas que se expresan en trminos de la funcin zeta de
Riemann (Ver apndice Tabla de funciones multiplicativas y la funcin zeta).


As tenemos (Ejercicio ZetaM1):

) ( ) (
) (
z s s
n
n
s
z
=



Para cualquier entero se tiene (Ejercicio ZetaM2): k



=
+

=
=
1
1
1
) (
)) ( (
)
n
s
k
n
s
n
n f
s
n
n


Basta aplicar la frmula anterior con = f para obtener:

1
1
)) ( (
) (
+

=
=

k
n
s
k
s
n
n



Algunos casos particulares son, para 1 = k ,

2
1
)) ( (
) (
s
n
n
n
s

=

Para 0 = k y es inmediato, 1 = k ) (
1
1
s
n
n
s
=

=
y 1 1 )) ( (
) (
0
1
= =

=
s
n
n
n
s


Para , 2 = k
) (
1 ) (
1
s n
n
n
s

=


Con la funcin de Euler se obtiene (Ejercicio ZetaM3)

) (
) 1 ( ) (
1
s
s
n
n
n
s

=


La propiedad de ser multiplicativas nos permite poner las sumas anteriores como productos
(Ejercicio ZetaM4):
1
1
1
1
1 )) ( (
) (

+

=

|
|
.
|

\
|
= =
k
p
s
k
n
s
k
p
s
n
n



De los cuales la expresin
1
1
1 ) (

|
|
.
|

\
|
=
p
s
p
s es un caso especial.

Hay otros resultados que pueden demostrarse fcilmente con apoyo de la propiedad de
unicidad de las series de Dirichlet y las expresiones como producto infinito de funciones de
nmeros primos (Ejercicio ZetaM5 ):

) (
) 2 ( ) (
1
s
s
n
n
n
s

=
(donde es la funcin lambda de Liouville )

= ) 1 (
=

=1
| ) ( |
n
s
n
n
) 2 (
) (
s
s


) 2 (
)) ( ( ) (
3
1
2
s
s
n
n
n
s

=

=

=1
2
)) ( (
n
s
n
n
) 2 (
) (
4
s
s




FUNCIN DE VON MANGOLT

Derivando las igualdades

=
=
1
1
) (
n
s
n
s respecto a se obtiene s

=
=
2
) ln(
) (
n
s
n
n
s D
ln
, lo
cual nos sugiere estudiar desde el punto de vista aritmtico la funcin , aunque resultar
problemtico dado que el logaritmo natural no es una funcin multiplicativa y adems, como
, tampoco se le puede aplicar el operador 0 ) 1 ln( = M . No obstante, veamos algunos clculos y
definiciones a partir de ella (Ejercicio ZetaVM1):

) (ln ) (ln ) ( ln
* * *
g f g f g f + =
) (ln ) (ln
*
*
*
*
f f f f =

Estrechamente relacionada con la funcin logaritmo neperiano se encuentra:

La funcin de Von Mangolt se define como

=
=
1 ) ( 0
, ) ln(
) (
n si
primo p p n si p
n



Aunque esta funcin tambin se anula para 1 = n , tiene las siguientes propiedades de
inters (Ejercicio ZetaVM2):
ln 1
*
=
ln
*
=

=
2
) ln(
) (
)) ( ln(
n
s
n n
n
s

= =
2
) (
) (
) ( '
) )( ln(
n
s
n
n
s
s
s D





TABLA DE FUNCIONES ARITMTICAS EN RELACIN CON LA FUNCIN ZETA DE RIEMANN

En esta tabla siguiente se muestran un resumen de resultados en relacin con estas funciones:
f
) (

p f

=1
) (
n
s
n
n f

=
+
1
) (
1

s
p
p f


1
0
=
1
) (s
1
s
s
p
p

1 1
* 1
= = + 1
2
) (s
2
1
|
|
.
|

\
|

s
s
p
p

1 *
1

=
k k

! !
)! (

+
k
k

1
) (
+ k
s
1
1
+
|
|
.
|

\
|

k
s
s
p
p

1 1
*
* 1
= =

) 1 (
1 1
*
2
1 = =

>
=
=

1
1
0
0
1
1

si
si
si

) (
1
s

s
s
p
p 1

| |

2
1
0
1

si
si

) 2 (
) (
s
s


s
s
p
p 1 +

*
| | =

) 1 (
) (
) 2 (
s
s


1 +
s
s
p
p

2

2
2 1 + +
) 2 (
) (
4
s
s


3
2
) 1 (
) 1 (

+
s
s s
p
p p

2
x o 2 1+
) 2 (
) (
3
s
s


2
) 1 (
) 1 (

+
s
s s
p
p p

*
*
(
*
*
1
1 1
k
k
L =

>

|
|
.
|

\
|
k
k
k


0
) 1 (

k
s) (
1


k
s
s
p
p
|
|
.
|

\
| 1

z
x
z
p ) ( z s
z s
s
p p
p


z
z
x
*
1 =
1
1
) 1 (

+
z
z
p
p

) ( ) ( z s s
) )( 1 (
2
z s s
s
p p p
p


) (
*
* z
z
x =

=
= +
=
3 0
2
1 ) 1 (
0 1

z
z
p
p

) ( ) (
1
z s s

s
z s s
p
p p p
2
) )( 1 (




f
) (

p f

=1
) (
n
s
n
n f

=
+
1
) (
1

s
p
p f


*
) (
z z
x x =

>
=
=

1
1
0
0
1

si
si
si
p
z

) (
1
z s

s
z s
p
p p

z
k
z
k
z
x x x
*
1 (
*
+
= L
=

|
|
.
|

\
| +

0 i
i z
p
i
i k

1
) (
+

k
z s
1 +
|
|
.
|

\
|

k
z s
s
p p
p

1 1
*
1 (
* * *
+
=
k
z
k
z
x x L
=

|
|
.
|

\
| +

0
) (
i
i z
p
i
i k

) ( ) (
1
z s s
k

+

|
|
.
|

\
|

|
|
.
|

\
|

+
z s
s
k
s
s
p p
p
p
p
1
1
x
*
*
1 =
)
1
1 (
p
p


) (
) 1 (
s
s



p p
p
s
s

1

) ( 1
*
*
x =
p 1
) 1 (
) (
s
s

s
s
p
p p

>
=
0
0 1

si
si
k


+
p
s
s
p
k p
1
1

1
1

+
s
p
k

) 1 ( k

>
=
0
0
1
1

si
si
k


+
p
s
s
p
k p
1

1
+
s
s
p
k p

( )
*
) 1 (

k

>
=


0
0
) 1 (
1
1

si
si
k k

p
s
s
k p
p 1

k p
p
s
s

1

*
) (

k
0
0
) 1 (
1
1
>
=

si
si
k k

+

p
s
s
k p
p
1
1

1
1
+

k p
p
s
s

k

p
s
s
k p
p

k p
p
s
s


=

k k
*
) (

>
=
=

1
1
0
0
1

si
si
si
k


p
s
s
p
k p

s
s
p
k p

) ln( 1
*
*
x =

p n
p n
si
si p
0
) ln(

) (
) (
s
s



) ln(x ) ln( p ) (s



EL TEOREMA DE LOS NMEROS PRIMOS

DEMOSTRACIN DEL TEOREMA DE LOS NMEROS PRIMOS

Recordemos que para se representa por R x ) (x a funcin que proporciona la
cantidad de nmeros primos menores que x .

As 0 ) 1 ( = , 1 ) 2 ( = , 2 ) 3 ( ) 4 ( = = ,...

La funcin ) (x se relaciona con la funcin Zeta de Riemann por la siguiente igualdad
vlida cuando (Ejercicio ZetaPrimo1): 1 ) > s Re(

dx
x x
x
s s
s


=
2
) 1 (
) (
)) ( ln(




El teorema de los nmeros primos afirma que para grandes valores de x esta funcin
est prxima a
) ln(x
x
. Esto se expresa poniendo
x
x
x
) ln(
~ ) ( lo que quiere decir que
1
) ln( ) (
lim =


x
x x
x



El teorema de los nmeros primos fue conjeturado a principios del siglo diecinueve, pus
se haba observado la correspondencia de los valores de esta funcin con los de otras conocidas
1
,

1
La funcin logaritmo integral (ver el apndices) proporciona valores muy exactos. En la tabla
siguiente se muestran algunos de los valores de ) (x y sus aproximaciones.
x
) (x ) ln( / x x ) (x Li
500 95 80.4 101.794
1,000 168 144.7 177.61
2,000 303 263.1 314.809
10,000 1229 1,085.7 1,246.14
500,000 41,638 38,102.8 41,606.2
1,000,000 78,498 72,382.4 78,627.5
1,500,000 114,155 105,477.9 114,263.0
2,000,000 148,933 137,848.7 149,054.8
2,500,000 183,072 169,700.9 183,244.9
3,000,000 216,816 201,151.6 216,970.5
8
10
5,761,455
6
10 42 . 5
6
10 762 . 5
12
10
37,607,912,018
10
10 61 . 3
10
10 760795 . 3
16
10
279,238,341,033,925
14
10 71 . 2
14
10 79238344 . 2
18
10
24,739,954,287,740,860
16
10 41 . 2
16
10 4739954309 . 2


pero no fue probado hasta 1896, independientemente por de la Valle Poussin y por Hadamard.
Desde entonces la prueba se ha simplificado y generalizado ampliamente. La presentamos aqu.

Comenzamos definiendo la Funcin Theta de Chebychev como

=
x p
p x ) ln( ) (
y entonces se puede ver que ) 2 ln( 4
) (

x
x
(TEjercicio PrimosD1).

Ese resultado se utiliza para demostrar que de existir alguno de los lmites, ya sea
x
x
x
) (
lim


o bien
x
x
x
x
) ln(
) ( lim

, entonces existira el otro, y ambos seran iguales. (Ejercicio
TPrimosD2).
2


Dado que la funcin ) (x nunca es decreciente, es susceptible de ser tratada con el
siguiente teorema (Ejercicio TPrimosD3):

Si una funcin definida para t es no decreciente y es tal que la integral ) (x f 0

1
2
) (
dx
x
x x f
converge, entonces se tiene que 1
) (
= lim

x
x f
x
.

Como (

=
(
(

=
=
=

0 1
2
1 ) (
) (
dt e e
dt e dx
e x
dx
x
x x
t t
t
t

1
t
) , si definimos la funcin
, el resultado anterior nos permite concluir que el teorema de los nmeros
primos quedar demostrado al verificar la convergencia de la integral .
) ( ) ( =
t
e e t H

0
) ( dt t H

De las propiedades ya demostradas para ) (x se deduce que est acotada y que
es continua a trozos, lo cual la hace propicia para ser tratada con la Transformada de Laplace. La
transformada de Laplace de es convergente para y vale (Ejercicio TPrimosD4)
) (t H
) (t H 1 ) Re( > s
s s
s
s H
1
1
) 1 (
) (
+
+
= l
, donde se ha definido

=
p
s
p
p
s
) ln(
) (

Se comprueba que est relacionada con la funcin zeta de Riemann segn la
igualdad (Ejercicio TPrimosD5):
) (s


+ =
p
s s
p p
p
s
s
s
) 1 (
) ln(
) (
) ( '
) (

.


2
Esto quiere decir que el Teorema de los Nmeros Primos equivale a la relacin x x ~ ) ( .
Como consecuencia de las propiedades de ) (s , deducimos (ejercicio TPrimosD6)
3
que
la funcin puede extenderse analticamente y sin singularidades para .
Entonces, segn el teorema de analiticidad de la transformada de Laplace (ver apndices), vemos
que la integral impropia existe
) (s H l 0 ) Re( s

0
) ( dt t H
4
y con ello se finaliza la demostracin.



FORMULA DE SUMACIN DE ABEL

Sea a una sucesin compleja y una funcin con derivada continua en el intervalo
, entonces, poniendo
) (n f
| b a, |

<
=
t n a
n a t A ( ) ( ) , se tiene (Ejercicio FSA1)

=
<
x
a
x n a
dt t f t A x f x A n f n a ) ( ' ) ( ) ( ) ( ) ( ) (

La frmula anterior se conoce como Frmula de Sumacin de Abel y resulta muy til para
obtener estimaciones de sumas acumuladas de las funciones aritmticas.


Aplicaciones con la funcin zeta

Poniendo en la frmula de sumacin de Abel y tomando lmites se pueden
obtener frmulas asintticas relacionadas con la funcin Zeta.
s
t t f

= ) (

En caso ms simple, con 1 ) ( = n a y a m = , proporciona (Ejercicio FSA2.1):

| |


+
=

=
m
s
s
m
n
s
s
m
dt
t
t t
s
n
s
1
1
) (
1
1
1


que es un resultado claramente vlido si , pero que adems, por prolongacin analtica,
se puede extender para siempre que
1 ) Re( > s
0 ) Re( > s 1 s
1
. En la frmula anterior se pone de
manifiesto la existencia del polo de la funcin zeta en = s y tambin se ve que el residuo es 1.

Este mtodo se puede utilizar con otras funciones aritmticas, y en muchos casos
proporcionan medios alternativos semejantes al que hemos utilizado para probar el teorema de los
nmeros primos.

En este sentido tenemos que (Ejercicio FSA2.x):


3
Es muy importante destacar que aqu se utiliza uno de los resultados claves en esta demostracin: que la
funcin ) (s no se anula en el eje 1 ) Re( = s .
4
Concretamente es

0
) ( dt t H ) ( lim
0
s H
s
l

+
=
1
1
) (
) (
1
dt
t
t M
s
s
s

donde

=
x n
n x M ) ( ) ( es la funcin de Mertens.

+
=
2
1
) (
) 2 (
) (
dt
t
t Q
s
s
s
s

donde la funcin Q es una funcin que proporciona el nmero de


enteros sin de factores primos al cuadrado que hay en el intervalo
) (x
| | x , 1 .

+
=
2
1
) (
) (
) ( '
dt
t
t
s
s
s
s

donde

=
x n
n x ) ( ) ( es la funcin Psi de Chevychev
5
.


+
=
x
s
dt
t
t J
s s
2
1
) (
)) ( ln( es vlido si donde se ha definido 1 ) Re( > s
6

=
=
1
/ 1
) (
) (
n
n
n
x
x J

+ + + = ) ( ) ( ) (
3
3
1
2
1
x x x

dt
t t
t
s s
s


=
2
) 1 (
) (
)) ( ln(

es vlido si 1 ) Re( > s


5
Observemos que = = =

< < x n x n
p p n n
1 1
) ln( } { ) (


=

) ( ) ln( } {
/ 1 / 1
x p x p
p
donde
es la funcin Theta de Chevychev, que se utiliz en la demostracin del Teorema de los
Nmeros Primos. La relacin

=
x p
p x ) ln( ) (

=
n
x x ) ( ) (
/ 1

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

se puede interpretar como una transformacin cuya
inversa proporciona . La convergencia es absoluta, dado que las sumas son finitas.
6
Del mismo modo que observamos para las funciones de Chevychev, aqu la funcin se puede
interpretar como una formula de transformacin de la funcin
) (x J
) (x que tiene su correspondiente inversa:
= =

=1
/ 1
) (
) (
) (
n
n
x J
n
n
x

(
5
5
1
x J . + + ) ( ) ) ( ) ( ) (
6
6
1 3
3
1
2
1
x J x J x J x J


APNDICES

DESARROLLO DE LA FUNCIN SENO COMO PRODUCTO

El objetivo de este apndice es demostrar la relacin

=
|
|
.
|

\
|
=
1
2
2
1 ) (
r
n
x
x x sen que se
ha utilizado en el anlisis de la funcin gamma.

Primero se demuestra que (Ejercicio Senp1):

Sea n un entero mayor que 0, entonces 1 2 + = k
)) ( ( ) ( x sen P nx sen
n
=
)) ( ( ) cos( ) cos(
1
x sen Q x nx
n
=
donde y Q son polinomios con coeficientes enteros de grado menor o igual que n y
n
P
1 n
1 n
respectivamente.

A continuacin se ve que (Ejercicio Senp2):

=
|
|
|
|
.
|

\
|
|
.
|

\
|
=
k
r
n
n
r
sen
x
nx x P
1
2
2
1 ) (




Al resultado final se llega utilizando esa expresin y tomando lmites (Ejercicio Senp2).



LA TRANSFORMADA DE FOURIER Y UNAS SUMAS INFINITAS

El objetivo de este apndice es demostrar la relacin tiene

n
x n
e
/
2

=
n
x n
e x

2
que
se ha utilizado para obtener la ecuacin funcional de la funcin Zeta de Riemann.


Representando la transformada de Fourier de una funcin por ) (x f


= dy e y f x f
yx i 2
) ( ) (


y suponiendo que es una funcin suave tal que ( est acotado para cualquier
valor de , se tiene que (Ejercicio Fourier1)
) (x f ) ( ) 1
2
x f x
N
+
N


=

=
=
n n
n f n f ) (

) (

Este resultado se puede utilizar para obtener un clculo til en la demostracin de la
ecuacin funcional de la funcin Zeta de Riemann:

La transformada de Fourier de es tambin (Ejercicio Fourier2) y
entonces se tiene
2
) (
x
e x f

=
2
) (

x
e x f

=

n
x n
e
/
2

=
=
n
x
x n
e

2
(ejercicio Fourier3)



LOGARITMO INTEGRAL

La funcin logaritmo integral se define como

=
x
t
dt
x Li
0
) ln(
) (

Esta funcin tiene una discontinuidad infinita en el punto 1 = t que, por definicin, se
entiende en el sentido del valor principal de Cauchy, esto es, para 1 > x

(

+ =

+

x
t
dt
t
dt
x Li

1
1
0
0
) ln( ) ln(
lim ) (
Como

=

1
0
) ln(t
dt
| = +
|
|
.
|

\
|

+
|
|
.
|

\
|

1
0
1
0
1
0
1
0
| 1 | ln
1
1
) ln(
1
1 1
1
) ln(
1
t dt
t t t
dt
dt
t t

+
|
|
.
|

\
|

1
0
) ln(
1
1
) ln(
1
dt
t t


e idnticamente
=

+
x
t
dt
1
) ln(

+
+
|
|
.
|

\
|

=
x
x dt
t t


1
) ln( | 1 | ln
1
1
) ln(
1


se encuentra que
|
|
.
|

\
|

+ =
x
dt
t t
x x Li
0
1
1
) ln(
1
| 1 | ln ) (

Aqu la funcin
1
1
) ln(
1

t t
no es ya tan problemtica, puesto que cuando est prximo
a 1 su valor es el mismo que el valor para prximo a cero de la funcin
t
s
=
+
+
=
+
+
=
+
+
=
+ ) 3 / 2 / (
) 3 / 2 / (
) 1 ln(
) 3 / 2 / (
) 1 ln(
) 1 ln( 1
) 1 ln(
1
3 2
3 2 3 2
s s s s
s s s s
s s
s s s s
s s
s s
s s

+
+
=
3 / 2 / 1
4 / 3 / 2 / 1
2
2
s s
s s


En concreto, se tiene que
= + =
+
>
+
2
1
) 0 ( ) ( lim
1
Ln x Li
x



Aplicando el Teorema de LHopital, se obtiene
1
) ln(
1 ) ln(
lim
) ln( / 1
) ( ln / ) 1 ) (ln(
lim
) (
) ln( /
lim
2
=

=

x
x
x
x x
x Li
x x
x x x

de modo que
) ln(
~ ) (
x
x
x Li cuando x .

La funcin logaritmo integral es interesante debido a que proporciona una buena
aproximacin para la distribucin de los nmeros primos. Dado que
) ln(
~ ) (
x
x
x Li , el Teorema de
los Nmeros Primos equivale a decir que . Esta fue la funcin que utiliz Gaus en sus
hiptesis al respecto.
x x Li ~ ) (

Como para la funcin tiene derivada positiva, es estrictamente creciente, y
entonces vemos que recorre unvocamente todos los valores enteros cuando . En concreto
solo se anula una vez en ese intervalo, y eso ocurre cuando
1 > x ) (x Li
1 > x
4513692348 ... 8338105 . 1 = = x ,
de modo que una expresin alternativa para el logaritmo integral es

=
x
t
dt
x Li

) ln(
) (

A veces resulta ms cmodo integrar desde , y entonces queda 2

+ =
x
t
dt
x Li
2
) ln(
... 045163780 . 1 ) (

ANALITICIDAD DE LA TRANSFORMADA DE LAPLACE

Sea R t h ) , 0 [ : ) ( una funcin continua a trozos. Se define su transformada de
Laplace como la funcin compleja

dt t h e s h
st


=
0
) ( ) ( l
definida en todos los valores para los cuales la integral converge.


Si existen B y C tales que
Bt
e C t h

) ( para t
B >
0 entonces la integral anterior
converge absolutamente y define una funcin para . (Ejercicio Laplace1 ) s) Re(


El siguiente teorema es el resultado que utilizamos en la demostracin del Teorema de los
Nmeros Primos (Ejercicio Laplace2):
Teorema de Analiticidad de la Transformada de Laplace:

Si tenemos una funcin definida para t , continua a trozos, acotada y tal que su ) (t f 0
transformada de Laplace es una funcin , inicialmente definida para

0
dt f
ts
) ( e t ) (s g
0 ) Re( > s , pero susceptible de ser extendida analticamente para , entonces se cumple 0 ) Re( s
que la integral impropia converge al valor .

0
f ) ( dt t ) 0 ( g



EJERCICIOS - FUNCIN GAMMA

Ejercicio Gamma1


=
0
1
) ( dx x e s
s x


=
0
1 2
2
dx x e
s x
> Las dos expresiones se obtienen de mediante los cambios de
variable de


=
1
0
1
)) ln( ( ) ( dx x s
s
x a y a respectivamente.
x
e

2
x
e

<

Ejercicio Gamma2
) ( ) 1 ( s s s = + y ! ) 1 ( n n = +
> | 1 ) 1 ( 0 ) ( ) 1 (
0
0
0
= = = = =

e e e dx e
x x
Tambin, integrando por partes:
| ) ( ) ( ) 1 (
0
1
0
0
s s dx x s e x e dx x e s
s x s x s x
= = = +



<

Ejercicio Gamma3
La funcin tiene polos simples en ) (s n s = con residuos ( . ! / ) 1 n
n

> Sea h s = donde n h es pequeo y es un entero tal que Re( . Entonces,


aplicando recursivamente la relacin
n
(
0 ) > + s n
) 1 /( ) ) 1 ( = s s s se obtiene
) ( ... ) 1 (
) 1 (
) (
n h h h
h
s

+
=
de modo que
!
) 1 (
! ) 1 (
) 1 (
) ( ... ) 1 (
) 1 (
lim ) ( lim
0 0
n n n h h
h
h n h
n
n
h h

=

+
= +



<

Ejercicio Gamma4
) ( ) ( lim x x
p
p
=



>
p
p
p
p p
p
p p
p
+
=
+

=
+ +

=
1 )! 1 (
!
) 1 ( ... ) 1 1 ( 1
!
) 1 (
) (
1 ) 1 ( ... ) 2 ( ) 1 (
!
) 1 ( x x
p x
p
p x x x
p p p
x
p
x
p

+ +
=
+ + + +

= +

As pues se tiene que y 1 ) 1 ( lim =

p
p
) ( lim ) 1 ( lim x x x
p
p
p
= +

, con lo que
) ( ) ( lim x x
p
p
=


<

Ejercicio Gamma5

=

+
=
1
/
/ 1
1
) (
n
n x
x
n x
e
x
e x


> Observemos que

=
= = =
|
|
.
|

\
|
|
.
|

\
|
= |
.
|

\
|

|
|
.
|

\
|
|
.
|

\
|
= =
p
n
i n
p
n
p
n
p
n
x
e
n
p x
n
x
n
p x p x p
1
/
1 1 1
1
) ln( exp exp
1
) ln( exp )) ln( exp(
de modo que

=
= +

|
|
.
|

\
|
|
.
|

\
|
=
p
n
n x
p
n
p
n x
e
x n
p x x
1
/
1 / 1
1 1
) ln( exp ) (
y el resultado se obtiene tomando el lmite con p tendiendo a infinito.
<

Ejercicio Gamma6

) sin(
) 1 ( ) (
1 x
x x

=


> Invirtiendo ambos miembros de la frmula de Weierstrass:

=

|
.
|

\
|
+ =

1
/
1
) (
1
n
n x x
e
n
x
e x
x



Aplicando esa relacin a x y multiplicando obtenemos


=

=
|
|
.
|

\
|
=
|
.
|

\
|

|
.
|

\
|
+ =

1
2
2
2
1
2
1 1 1
) ( ) (
1
n n
n
x
x
n
x
n
x
x
x x

y dado que se tiene ) /( ) 1 ( ) ( x x x =

=
|
|
.
|

\
|
=

1
2
2
1
) 1 ( ) (
1
n
n
x
x
x x

La funcin

=
|
|
.
|

\
|

p
n
n
x
x
1
2
2
1 es un polinomio con races simples en p x = ,..., 2 , 1 , 0 , tal
que su derivada en 0 vale 1, de modo que se trata de un desarrollo de la funcin ) sin(
1
x

(en
el apndice titulado Desarrollo de la funcin seno como producto se demuestra rigurosamente que
esta aproximacin se hace exacta haciendo tender p a infinito). As pues, tomando lmites

) sin(
) 1 ( ) (
1 x
x x

=

.
<

Ejercicio Gamma7

=
+

+ =
1
0
) 1 (
1
) (
m
x m m
x
x y, cuando , 0 > n

=
+
+
+

=
1
1
1
) 1 (
! ) 1 (
) (
m
n
n
n
x m
n
x
> Se parte de la frmula de Weierstrass y se encuentra que

=
|
|
.
|

\
|
|
.
|

\
|
+ + =
1
1 ln ) ln( )) ( ln(
m
m
x
m
x
x x x
de modo que derivando se obtiene
=
|
.
|

\
|
+
+ =
|
.
|

\
|
+

|
.
|

\
|
+ =
|
.
|

\
|
+
+ =


=

= 1 0 1 1
0
1
1 1 1 1 1 1 1
) (
m m m m
x m m x m m x m m x
x

=
+

+ =
1
) 1 (
1
m
x m m
x



=

=
+ = |
.
|

\
|
+
=
1
2
1
1
) 1 (
1
1 1
) (
m m
x m
x m m dx
d
x

y por induccin


=
+

=
|
|
.
|

\
|
+

= + =
+

=
1
1
1 1
) 1 (
)! 1 ( ) 1 (
) 1 ( )! 1 ( ) 1 (
) 1 (
)! 1 ( ) 1 (
) (
m
n
n
m
n n
m
n
n
n
x m
n
n x m
dx
d
n
x m
n
dx
d
x
<

Ejercicio Gamma8
Teorema de Bohr-Mollerup: Solo existe una funcin real y diferenciable con dominio en ) , 0 (
tal que cumple las condiciones 1 ) 1 ( = , ) ( ) 1 ( x x x = + y que )) ( ln( x es convexa.
> Supongamos que f y g son dos funciones crecientes en ) , 0 ( que cumplen la relacin
y ) ( ) ( ) 1 x d x f x + = + ( f ) ( ) ( ) 1 x d x g g(x + = +
g
donde d es una funcin tal que
, entonces es constante. Vemoslo:
) x (
0 ) ( =

x d lim
x
f
Pongamos r = , entonces ) ( ) ( ) ( x g x f x
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 ( ) 1 ( ) 1 ( x r x g x f x d x g x d x f x g x f x r = = + = + + = +
y en general para todo entero positivo . ) ( ) ( x r n x r = + n

Sea 0 < h , entonces, debido a las condiciones de crecimiento 1
) ( ) ( ) ( ) ( ) ( ) ( ) 1 ( ) ( ) ( ) ( x d x r x g x d x f x g x f h x g h x f h x r + = + = + + + = +
y del mismo modo
) ( ) ( ) ( ) ( ) ( ) 1 ( ) ( ) ( x d x r x d x g x f x g x f h x r = = + +
de manera que ) ( ) ( ) ( x d x r h x r +

Sustituyendo en la expresin anterior x por n x x
n
+ = y teniendo en cuenta la
periodicidad de r se tiene que ) ( ( ) ( ) (
n n
x d x x r h x r + = +
)
) ( )
n
x r h r y, como al crecer n
tendiendo a se anula d , se concluye que (
n
x 0 ( = x r ) ( ) + x r h , esto es, que es
constante, tal como queramos demostrar.
) (x r


Sea ( ) ) ( ) ln( ) x D x
f
( f = donde
f
es una funcin que cumple las condiciones del
teorema, entonces por ser ( )
f
ln convexa la funcin es creciente y cumple que ) (x f
( ) ( ) ( )
x
x f x D x D x x D x D x f
f f f
1
) ( ) ln( ) ( ln ) ( ln ) 1 ( ln ) 1 ( + = + = = + = +
x x d / 1 ) (
, de modo que
presenta las condiciones del resultado anterior con = . Si existe otra funcin
g
que
tambin cumple las mismas condiciones del teorema, para la correspondiente funcin
tambin se cumple el apartado anterior y se tendr que ) ln(
g
D g = C g f + = siendo C una
constante, esto es, ( ) ( ) C x D x D
g f
+ = ) ( ln ) ( ln . Integrando se llega a
( ) ( ) ' ) ( log ) ( log C Cx x x
g f
+ + = ' ) (
f
x
1 = x
' C C
e
+
= C C
donde C es otra constante. Por tanto .
Haciendo en esta expresin se obtiene 1 , esto es
'
) (
C
g
x
+

Cx
e =
= ' y haciendo 2 = x se
obtiene 1 , esto es,
C C C
e e = =
' 2
0 = C , de modo que y 1
0 '
= =
+
e e
C Cx
) (x
f
= ) (x
g
es nica.
<



EJERCICIOS - FUNCIN ZETA


Ejercicio Zeta1
La funcin

es analtica en la regin

=1
1
n
s
n
} 1 ) Re( : { > = s s A .
>
Sea ( f definida para una funcin nunca creciente, entonces se tiene que ) x 0 > x

+


1
1
) ( ) ( ) (
n
n
n
n
dx x f n f dx x f ,
y sumando se llega a

+
=

1
2
2
1
) ( ) ( ) (
N
N
n
N
dx x f n f dx x f

Poniendo f = ( donde es un entero mayor que 1, se tiene
a
x x

) a
1 1
2
1
) 1 (
1
2
1 1 1 1
+ +
=
+
+


a a
N
n
a a
N a a n N a a

y tomando lmites y sumando 1 a cada miembro se llega a
1
1
2
1
1
1 1
1
+

=

+ +

a
n
a
a n a


Un razonamiento semejante, para demuestra que
1
) (

= x x f
) 2 ln( ) 1 ln( 1
1
) 1 ln( ) ln( 1
1
+ + +

=
N
n
N
N
n

y entonces =

=1
1
n
n
.

Sea Re( < , entonces 1 ) < a s
r a s
n n n

< = de modo que, por la prueba de
Weierstrass

=1
1
n
s
n
converge uniformemente.

De forma semejante se ve que si 1 < < r a la suma


>
r s
n n diverge.
<

Ejercicio Zeta2
1
1
1 ) (

|
|
.
|

\
|
=
p
s
p
s
> Segn se demostr anteriormente, si es multiplicativa y converge
absolutamente, entonces donde . Aplicando este resultado
a y observando que en este caso
f
h

=1
) (
n
n f

=

= p n
p h n f ) ( ) (
1

=
=
0
) ( ) (

p f p
s
n n f / 1 ) ( =

=
=
0
/ 1 ) (

s
p p h

=
1 1 /
1
s
p
se obtiene
entonces el resultado.
<

Ejercicio Zeta3

=
0
1
1
) ( ) ( dx
e
x
s s
x
s

>
Haciendo en la frmula el cambio de variable


=
0
1
) ( dx x e s
s x
x por x n y dividiendo
luego ambos miembros por se obtiene
s
n

0
) (
n
s
s
1
dx x e
s nx
.

Sumando respecto a se llega a n

= = =
0
1
0
1
0
1
1
1
0
1
1 1
) ( ) ( dx
e
x
dx x
e
e
dx x e dx x e s s
x
s
s
x
x
n
s nx
n
s nx

donde el paso de la suma dentro de la integral es posible por el hecho de que e converge
absolutamente como suma en y tambin como integral en
1 s nx
x
n x . La integral converge cuando
ya que 1 ) Re( > s
1
1

x
s
e
x
est acotada por
2 ) Re( s
x cuando x es prxima a 0 y por
x s
e x
1 ) Re(

cuando x es grande.
<

Ejercicio Zeta4
La funcin
1
1
) (

s
s se extiende analticamente en todo el semiplano abierto Re( 0 ) > s
>
Supongamos que , entonces 1 ) Re( > s
|
1
1
1
1
1
1
1

=

s
x
s
dx x
s s

|
s s
x
n
s
x
n
s
x n
t dt
t
s 1 1
1
= =

+

de modo que

= = =


=
+

= 1
1
1
1
1
1 1 1
1
1
) (
n
n
n
s
n
s
s
n
s
dx
x n
dx x
n s
s


=
+
+

=
+
=
|
.
|

\
|
=
1
1
1
1
1
1 1
n
n
n
x
n
s
n
n
n
s s
dx dt
t
s
dx
x n

Pero como
1 ) Re( 1
1
1
1
1
max
+ +
+
+
+
+
=
|
|
.
|

\
|

s s
n t n
x
n
s
n
n
x
n
s
n
s
t
s
dt
t
s
dx dt
t
s

tenemos que

=
+
+
1
1
1
n
n
n
x
n
s
dx dt
t
s

converge absolutamente cuando y proporciona la extensin que buscbamos. 0 ) Re( > s
<


Ejercicio Zeta5.1



=
C
x
s
x
dx
e
x
i
s
s
1
) (
2
) 1 (
) (


donde es una curva en el plano complejo que viene desde C + cerca del eje x acercndose al
origen de coordenadas, lo rodea en su proximidad en el sentido positivo (contrario de las agujas
del reloj) y retorna a + mantenindose cerca del eje x.
>
Consideramos la integral

C
x
s
x
dx
e
x
1
) (
tomada por el contorno C definido anteriormente.
Se tiene

C
x
s
x
dx
e
x
1
) (

+ =
=

+


i
i
xe
s i i
i
i
e
s i
x
s i
xe
xe d
e
xe e
e
e d
e
e
x
dx
e
x e
i i
2
2 2 2
0
) (
1
) ( ) (
1
) (
1
) (
2


+ =
=

+

x
dx
e
x
e d
e
e
i
x
dx
e
x
e
x
s
s i
e
s i
x
s
s i
i
1
1
) (
1
2
0


d
e
e
i dx
e
x
s sen i
i
e
s i
x
s

=
=

+

=
2
0
1
1
) (
1
) ( 2

La relacin anterior es independiente del valor de que tomemos, siempre que sea
prximo a 0, de modo que podemos tomar lmites cuando 0 .

Si nos limitamos al caso observamos que 1 ) Re( > s

0 1 0 )
1
lim ( ) 1 ( lim
1
) (
lim
2
0
) 1 (
2
0
) 1 (
0
1
0
2
0
0
= =


d e d e
e
e
d
e
e
s i s i
e
i
s s
e
s i
i i


y se encuentra que

) ( ) ( ) ( 2
1
) ( 2
1
) (
0
1
s s s sen i dx
e
x
s sen i
x
dx
e
x
x
s
C
x
s
=




y ahora, aplicando la relacin
) (
) 1 ( ) (
s sen
s s

, se llega a



=
C
x
s
x
dx
e
x
i
s
s
1
) (
2
) 1 (
) (


Pero como la integral

C
x
s
x
dx
e
x
1
) (
s
es una funcin entera sin singularidades (ejercicio
Zeta5.2), la expresin anterior, que hemos deducido para , se puede extender
analticamente para todos los valores de . Las nicas singularidades que podra presentar
1 ) Re( > s
) (s
podran ser debidas al factor . Los candidatos seran por tanto los polos que presenta la
funcin gamma en los puntos , pero veremos en el ejercicio Zeta5.3 que en esos puntos
los polos se cancelan con ceros de la integral
) 1 ( s
,... 2 , 1 = s

C
x
s
x
dx
e
x
1
) (
, a excepcin de cuando , en cuyo
caso nos queda para
1 = s
) (s el polo con residuo 1 que ya hemos visto en el ejercicio Zeta4.
<

Ejercicio Zeta5.2
La integral

C
x
s
x
ds
e
x
1
) (
converge para todos los valores de donde la curva rodea una vez el s C
origen de coordenadas en su proximidad con sentido positivo de giro

> Partimos de la relacin obtenida en el apartado anterior

C
x
s
x
dx
e
x
1
) (


d
e
e
i dx
e
x
s sen i
i
e
s i
x
s

=
=

+

=
2
0
1
1
) (
1
) ( 2
y como ) ( s sen es una funcin entera, solo tenemos que demostrar que las integrales del
segundo miembro se pueden acotar para cada valor posible de . Pongamos y fijemos
un
s a s = ) Re(
> t tal que cuando
1
1
+
+ >
a x
x e t x , entonces
dx
e
x
dx
e
x
dx
e
x
dx
e
x
dx
e
x
t
x
a t
x
a
x
a
x
s
x
s

+ + +

1 1 1 1 1
1 1 1 1 1


t
dx
e
x
dx x dx
e
x
dx
x
x
dx
e
x
t
x
a
t
t
x
a
t
a
a t
x
a
1
1 1 1
1
2
1
1
1 1
+

= +

= +


+




Por otra parte,


d
e
d
e
e
d
e
e
i i i
e
a
e
s i
e
s i

=
=

=
=

=
=


2
0
2 / 1
2
0
2
0
1
1
) (
1
) (

y como
( ) ) ( ) cos( ) cos exp( ) cos exp( ) exp(

sen sen i sen isen e
i
+ = + =
se tiene
=
2
1 ) exp(

i
e ) cos( ) cos exp( 2 ) cos 2 exp( 1 sen +
)) cos( 1 ( ) cos exp( 2 )) cos
2
sen +
=
exp( 1 (
y en esta expresin los trminos ( y
2
)) cos exp( 1 )) cos( 1 ( ) cos exp( 2 sen son
ambos positivos y si < no se anulan simultneamente, de modo que existe un valor mnimo
0 1 ) exp( min >

e
i
) ( = m quedando

=
=

d
e
e
i
e
s i 2
0
1
) (
) (
2


m
a

<

Ejercicio Zeta5.3
Clculo de los valores de

C
x
s
x
ds
e
x
1
) (
cuando es entero s
> Cuando k s = es un entero tenemos

C
x
s
x
dx
e
x
1
) (


d
e
e
i
e
dx x
s sen i
i
e
s i
x
s

=
=

+

=
2
0
1
1
) (
1
) ( 2


=
'
1
) 1 (
c
z
k
s
z
dz
e
z

donde vemos que se han cancelado los caminos de ida y vuelta por el eje x y solo queda la
aportacin de la integral por el circulo C de radio ' alrededor del origen, en sentido de positivo.
Los valores de esa integral se corresponden con los coeficientes del desarrollo de la funcin (Ver
apndice sobre los nmeros de Bernouilli):
1
z
e
z

=
+

+ =
1
2 1
)! 2 (
) 1 (
2
1
n
n
n
n
n
z B z

concretamente


C
x
k k
x
dx
e
x
i 1
) (
2
) 1 (

'
2
1 2
1
c
k z
z
dz
e
z
i

+ =
=

=
=
<
=
+
1 2 1 0
2 1
)! 2 (
) 1 (
1 1 2 / 1
0 1 1
0 1 0
1
n k
n k
n
B
k
k
k
n
n


de modo que queda

C
x
k
x
dx
e
x
1
) (

=
=

=
=
>
n k
n k
n
iB
k i
k i
k
n
n
2 0
2 1
)! 2 (
2 ) 1 (
0
1 2
1 0


<

Ejercicio Zeta5.4
Ceros triviales de ) (s y los valores para enteros negativos
> Utilizando los resultados del ejercicio Zeta5.1 y Zeta5.4 se obtiene, siendo n un entero
mayor que 0:
0 0
2
)! 2 (
1
) (
2
) 1 2 (
) 2 (
2
= =

+
=


i
n
x
dx
e
x
i
n
n
C
x
n


=


=


C
x
n
x
dx
e
x
i
n
n
1
) (
2
)! 2 (
) 2 1 (
2 1

n
B
n
iB
i
n
n
n
n
n
2
) 1 (
)! 2 (
2 ) 1 (
2
)! 1 2 (
=


2
1
) (
2
1
1
1
2
) 1 (
) 0 ( = =

=

i
i x
dx
e i
C
x



Cuando s es un entero positivo, no se puede calcular con este mtodo el valor de ) (s
ya que tiene un polo y ) 1 ( s 0
1
) (

C
x
k
x
dx
e
x
, de modo que el producto queda indeterminado.
Los valores pares se calculan en el ejercicio Zeta7.
<

Ejercicio Zeta6
) 1 ( ) 2 / ) 1 (( ) ( ) 2 / (
2 / ) 1 ( 2 /
s s s s
s s
=


> Supongamos que tenemos 0 ) Re( > = s a , entonces
=
(
(

=
=
= =


dt n dx
x t n
dx x e s
s x

2
2
0
1 2 /
) 2 / ( =


0
2 1 2 / 2
) (
2
dt n t n e
s t n


0
1 2 / 2 /
2
dt t e n
s t n s s

de modo que

=

= = =
0
1
1 2 /
1
0
1 2 /
1
2 / 2 /
2 2
) 2 / ( ) 2 / ( ) ( dt e t dt t e s n s s
n
t n s
n
s t n
n
s s s


donde los cambios de orden de la suma y la integracin se justifican por criterios de convergencia
absoluta. Definiendo se tiene

=
1
2
) (
n
x n
e x




= + =
1
1 2 /
1
0
1 2 / 2 /
) ( ) ( ) 2 / ( ) ( dt t t dt t t s s
s s s



+ =
1
1 2 /
1
2 1 2 /
) ( ) )( / 1 ( ) / 1 ( dt t t dt t t t
s s



+ =
1
1 2 /
1
1 2 /
) ( ) / 1 ( dt t t dt t t
s s


Se tiene tambin que 1 y como (Ver el apndice La transformada
de Fourier y unas sumas infinitas):

= +
n
x n
e x

2
) ( 2


n
x n
e
) (
1 2

=
n
x n
e x

2

se concluye que
|
.
|

\
|
=

1
2
1
) / 1 (
) / 1 (
2
n
x n
e x

( )= + = |
.
|

\
|
=

1 ) 1 ) ( 2 (
2
1
1
2
1
) (
2
x x e x
n
x n


2
1
2
1
) ( + = x x x
y, por tanto,
=

) 2 / ( ) (
2 /
s s
s
= + +


1
1 2 /
1
1 2 /
) ( )
2
1
2
1
) ( ( dt t t dt t t t t
s s

= + + =


1
1 2 /
1
1 2 / 2 / 1 2 /
1
2 / 1 2 /
) ( ) (
2
1
) ( dt t t dt t t dt t t
s s s s

=
(

+
+ + =

=
+

1
2 / 2 / 1 2 /
1
1 2 / 2 / 1 2 /
1
) )( (
t
s s
s s
s
t
s
t
dt t t t
s s
dt t t t
s s
1
1
1
) )( (
1
1 2 / 1 2 / ) 1 (

+ =



) 1 (
1
) )( (
1
1 2 / 1 2 / ) 1 (
s s
dt t t t
s s

+ =



La ltima expresin queda invariable si se sustituye por s s 1 , de modo que
=

) 1 (
1
) (
1
1 2 / 1 2 / ) 1 (
1
2
s s
dt t t e
s s
n
t n
s

= =

) 2 / ( ) (
2 /
s s
s
) 2 / ) 1 (( ) 1 (
2 / ) 1 (
s s
<

Ejercicio Zeta7
)! 2 (
2
) 2 (
2 1 2
n
B
n
n
n n


=
>
Despejando en la ecuacin funcional se tiene
) 2 / (
) 1 ( ) 2 / ) 1 ((
) (
2 / 1
s
s s
s
s


=



poniendo ahora y aplicando el resultado del ejercicio Zeta5.4 n s 2 =
n
B
n
n
n
n
n
n
n
n n n
2
) 1 (
)! 1 (
) 2 / 1 (
) 2 1 (
) (
) 2 / 1 (
) 2 (
2 / 1 2 2 / 1 2


Dado que
)! 2 (
! 2 ) 1 (
) 2 / 1 (
2
n
n
n
n n

=
se encuentra
)! 2 (
2
) 2 (
2 1 2
n
B
n
n
n n


=
<


Ejercicio Zeta8. Mtodo 1
Si entonces 1 ) Re( s 0 ) ( s .
> De la expresin
1
1
1 ) (

|
|
.
|

\
|
=
p
s
p
s se deduce que 0 ) ( s si y por tanto,
solo queda demostrar este resultado cuando sea
1 ) Re( > s
1 ) Re( = s .

Supongamos que a s + = donde y t son nmeros reales y . it a 1 > a

Primero vamos a demostrar que 1 ) 2 ( ) ( ) (
2 4 3
+ + t i a it a a
Dado que la serie
1
1
1

|
|
.
|

\
|

p
s
p
converge absolutamente cuando el resultado
anterior se deduce si lo demostramos para los factores correspondientes a cada nmero primo
independientemente, esto es, si demostramos que para cada primo
a s = ) Re(
p se tiene
1
1
1
1
1
1
1
2
2
4 3

|
|
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|

+ + it a it a a
p p p

Para simplificar, pondremos
a
p
1
= r y
it
i
p
e
1
=

, de modo que tendremos y la


expresin anterior quedar como
1 0 < < r
( ) ( ) ( ) 1 1 1 1
2
2
4
3

i i
re re r
Entonces debemos demostrar
( ) ( ) ( )
3
2
2
4
1 / 1 1 1 r re re
i i



Se trata de un clculo,
( ) ( ) =
2
2
4
1 1
i i
re re
( ) ( ) = + + = ) 2 ( )) 2 cos( 1 ( ) ( )) cos( 1 (
2 2 2
2
2 2 2
sen r r sen r r
( ) ( ) = + + + + = ) 2 ( ) 2 cos( 2 ) 2 ( cos 1 ) ( ) cos( 2 ) ( cos 1
2 2 2 2
2
2 2 2 2
sen r r r sen r r r
( ) ( ) ) 2 cos( 2 1 ) cos( 2 1
2
2
2
r r r r + + =
y poniendo ) cos( = x ser y entonces 1 2 1 ) ( cos 2 ) ( ) ( cos ) 2 cos(
2 2 2 2
= = = x sen
( ) ( ) =
2
2
4
1 1
i i
re re ( ) ( )
2 2
2
2
4 2 1 2 1 rx r r rx r + + +

Suponemos fijo r y procedemos a hallar el mximo de ese polinomio en x . Derivando la
expresin anterior se obtiene
( )( ) ( ) ( ) = + + + + + rx rx r rx r r rx r r 8 2 1 4 2 1 2 1 4
2
2 2 2 2

( )( ) ) 2 1 ( 2 4 2 1 2 1 4
2 2 2 2
rx r x rx r r rx r r + + + + + =
( )( )
2 2 2 2
2 2 8 2 1 2 1 4 xr x rx r r rx r r + + + + + =
( )( ) x x r x r rx r r 2 ) ) 2 ( 1 ( 2 ) 2 1 ( 1 2 1 4
2 2 2
+ + + + + =
( )( ) 1 2 ) 2 1 )( 2 1 ( 2 ) 2 1 ( 2 1 4
2 2
+ + + + + + = x x x r x r rx r r
( ) ( ) 1 ) 2 1 ( 2 ) 2 1 ( 2 1 4
2 2
+ + + + = x r r x rx r r
( )( ) rx r rx r x r 4 ) 1 ( 2 1 ) 2 1 ( 4
2 2
+ + + =
Esta derivada se anula en
)
`

r
r
r
r
x
4
) 1 (
,
2
1
,
2
1
2 2
, pero como para 1 0 < < r la
funcin
r
r
1
+ es decreciente, siempre ser mayor que 2
1
1
=
(

(
+
= r
r
r y se cumple que
1
1
2
1
2
1
2
> |
.
|

\
|
+ =

+
r
r
r
r
y 1
2
1 1
4
1
4
) 1 (
2
> + |
.
|

\
|
+ =

+
r
r
r
r
, de modo que esas soluciones no
corresponden a cosenos vlidos. Tambin se observa que 2 / 1 es el primer extremo relativo de
los tres, y como estamos tratando con un polinomio de cuarto grado con el coeficiente de mayor
orden negativo, en este punto debe ocurrir un mximo, que tambin ser el mximo absoluto de
nuestro intervalo, y no es necesario tener en cuenta los valores extremos del intervalo de
variacin de
1
x . El mximo est entonces con 2 / 1 = x y vale
( ) ( ) =
2
2
4
1 1
i i
re re ( ) ( ) = + + + + r r r r r 2 1 1
2
2
2
3 3 3 2
) 1 ( ...)

= + + + r r r
3 2
1 ( ) 1 ( + < + + r r r

con esto termina la prueba de que 1 ) 2 ( ) ( ) (
2 4 3
+ + t i a it a a si . 1 > a

Supongamos ahora que existiera 0 ) 1 ( = + it con 0 t , entonces, dado que es
analtica en la regin y solo tiene un polo simple en 0 > a 1 = s , debera ser
0 ) ( ) ( lim
4 3
1
= +

it a a
a

y como tambin ) 2 1 ( ) 2 ( lim
1
t i t i a
a
+ = +

est determinado, se concluira que


0 ) 2 1 ( ) ( ) ( lim
2 4 3
1
= + +

t i it a a
a

en contradiccin con la desigualdad obtenida anteriormente.

Se concluye entonces que
0 ) 1 ( + it .
<


Ejercicio Zeta8. Mtodo 2
>
Esta demostracin es semejante a la anterior pero con un atajo al principio que evita muchos
clculos. Se parte de una igualdad que se demostrar en el apartado dedicado a la funcin de Von
Mangolt:

=
2
)) ( ln(
n
s
n
n c s
la cual converge cuando y es tal que los 1 ) Re( > s
) ln(
) (
n
n
c
n

= son nmeros no negativos
menores o iguales a 1.

Pongamos donde los y son reales y , entonces it a s + = a t 1 > a
( ) = = =

=

2
) Re( ))) ( Re(ln( ) ( ln
n
it a
n
n c s s


2
)) ln( cos(
n
a
n
n t n c
de modo que
( )= + + ) 2 ( ) ( ) ( ln
4 3
it a it a a ( ) ( ) ( ) = + + + + ) 2 ( ln ) ( ln 4 ) ( ln 3 t i a it a a
( ) + )) ln( 2 cos( )) ln( cos( n t n t

+
2
4 3
n
a
n
n c
y como 3 0 )) cos( 1 ( 2 1 ) ( cos 2 ) cos( 4 3 ) cos( ) cos( 4
2 2
+ = + + = + +
se tiene que ( ) 0 ) 2 ( ) ( ) ( ln
4 3
+ + it a it a a , esto es, 1 ) 2 ( ) ( ) (
4 3
+ + it a it a a

Si se supone que 0 ) 1 ( = + it con 0 t se tendr que
) 1 ( '
) 1 ( ) (
) 1 ( ) (
lim
1
) (
lim
1 1
it
it it a
it it a
a
it a
a a
+ =
+ +
+ +
=

+
+ +




y como adems 1 ) ( ) 1 ( lim
3
1
=
+

a a
a
, debido al polo simple de en 1 = s se encuentra que

+
+ + = +


+ +
1
1
) ( ) 1 (
1
) (
) 2 ( ) ( ) ( lim ) 2 ( lim
3
4
4 3
1 1
a
a a
a
it a
it a it a a it a
a a

+
+

1
1
lim 1 ) 1 ( ' 1
1
1
a
it
a

pero esto quiere decir que tiene una singularidad en it s 2 1+ = , en contradiccin con que la
nica singularidad de es el polo en 1 = s .
<


Ejercicio ZetaM1
) ( ) (
) (
1
z s s
n
n
n
s
z
=


>
Aplicando la relacin

a y , y
observando que se tiene
|
.
|

\
|
|
.
|

\
|
=


=

= 1 1 1
*
) ( ) ( ) (
n n n
n g n f n g f
z
s z s
x x

= ) 1 (
*
s
x f

=
s z
x g

=
s z s
x x x

=
*


) ( ) (
1 ) ( 1 ) )( 1 ( ) (
1 1 1 1 1
*
1
z s s
n
n
n n
n x
n n
n x
n
n
n
s
z
n
s
n
s
z
n
s
n
s
z
n
s
z
=
|
|
.
|

\
|
|
.
|

\
|
=
|
|
.
|

\
|
|
.
|

\
|
= =


=


<

Ejercicio ZetaM2
Para cualquier entero se tiene: k


=
+

=
=
1
1
1
*
) (
)) ( (
) (
n
s
k
n
s
k
n
n f
s
n
n f


>
Apicando la relacin a y , dado que
, se tiene
|
.
|

\
|
|
.
|

\
|
=


=

= 1 1 1
*
) ( ) ( ) (
n n n
n g n f n g f
s
x f

= h x g
s
=
) 1 ( ) (
*
* h x h x x
s s s
=



=

=
= |
.
|

\
|
|
.
|

\
|
=
1 1 1 1
*
) (
) (
) ( 1 ) ( 1
n
s
n
s
n
s
n
s
n
n h
s
n
n h
n n
n h


Poniendo ahora h obtenemos f
*
*
1 =



=

=
= = =
1 1
*
1
*
*
*
1
*
*
) ( ) ( ) ( 1 1 ) ( 1
) (
n
s
n
s
n
s
n
s
n
n f
n
n f
n
n f
n
n f
s


es decir,


=

=
=
1 1
*
*
) (
) (
1 ) ( 1
n
s
n
s
n
n f
s n
n f



El resultado aparece aplicando de forma recursiva estas relaciones.
<



Ejercicio ZetaM3
) (
) 1 ( ) (
1
s
s
n
n
n
s

=

> Basta observar que x x
* 2 *
= = y entonces

) 1 ( ) ( ) (
) (
) (
) ( ) (
1
1
1
1
1
1
* 2
1
= = = =

=

s s
n
n
s
n
n x
s
n
n x
n
n
n
s
n
s
n
s
n
s



<

Ejercicio ZetaM4
1
1
1
1
1 )) ( (
) (

+

=

|
|
.
|

\
|
= =
k
p
s
k
n
s
k
p
s
n
n


> Como la funcin entera , donde es un nmero complejo cualquiera, es
completamente multiplicativa, la funcin
s s
n n x

= ) ( s
s
k
n
n) (
es multiplicativa y, para los valores de donde la
serie converja absolutamente, tendremos:
s

=

=1
) (
n
s
k
n
n

=

p
s
k
p
p
0
) (



Para , solo unos pocos trminos de la suma no se anulan y se tiene: 0 < k

=

0
) (

s
k
p
p


=
=
1
0
) (
) (
k
s
k
p
p

|
|
.
|

\
|
=
1
0
) (
) 1 (
1
k
s
p
k

1
1
1

|
|
.
|

\
|
=
k
s
p


Para se partimos de k 0 =
2 * k k
y entonces:
1
) (
) (
) (
) (
) (
) (
) (
) (
) (
) (
0
0
0 0
2 *
0
2
0
= = = =
|
|
.
|

\
|
|
|
.
|

\
|


=

=
s s s
k k
s
k
s
k
p
p
p
p
p
p
p
p
p
p


luego:
1
1
1 ) 2 ( 1
0
2
0
1
1
1
1
) (
) (
) (
) (
+

=
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
=
|
|
.
|

\
|

k
s
k
s s
k
s
k
p p p
p
p
p



<

Ejercicio ZetaM5.1
) (
) 2 ( ) (
1
s
s
n
n
n
s

=

> Puesto que ) )( 1 (
*
n es cero siempre excepto cuando n , se tiene que
2
m =
) 2 (
) (
1 ) ( 1 ) (
) (
1
2
1
*
1
s
m n
n
n
n
s
m
s
n
s
n
s


= = =


=

=

<

Ejercicio ZetaM5.2
=

=1
| ) ( |
n
s
n
n
) 2 (
) (
s
s


>
|
|
.
|

\
|

|
|
.
|

\
|
=
|
|
.
|

\
|
+
|
|
.
|

\
|

|
|
.
|

\
|
= + =

s s s s s s s
p p p p p p p
p
2
1 1
0
1
1
1
1
1
1
1
1
1
1
1
1
| ) ( |


de modo que
=

=1
| ) ( |
n
s
n
n
( )
( )
) 2 (
) (
1
1
1
1
1
1
1
2
1
2
1
s
s
p
p
p p
p
s
p
s
p
s s

=
|
|
.
|

\
|

|
|
.
|

\
|



Este resultado tambin se poda haber obtenido de | =
*
|
<

Ejercicio ZetaM5.3
) 2 (
)) ( ( ) (
3
1
2
s
s
n
n
n
s

=

> La funcin x o es multiplicativa, y como , se tiene
k


k p p x
k k
+ = = 1 ) ( ) ( o
=
|
|
.
|

\
|

=
|
|
.
|

\
|
+ =
+
=


=

= p
s
s
s
s
p
s s
p
s
n
s
k
p
kp
p
p
p
k
p p
k
n
n
2
0 0 0 1
) 1 ( 1
1 1 ) (

+
=

p
s
s s
p
k p p
2
) 1 (
) 1 (
=
+
|
|
.
|

\
|


p
s
s
s
s
p
k p
p
p 1
1
2

+
p
s
s
p
k p
s
1
) (
2

y en concreto,
=

=1
2
) (
n
s
n
n
=

+
=
+

1
) 1 )( 1 (
) (
1
) (
2
2 2
s
s
p
s
s s
p
s
s
p
p
p
p p
s
p
p
s
) 2 (
) (
) (
) 2 (
1
) (
1
1
) (
3
2
2
2
2
s
s
s
s
s
p
p
p
p
s
s
s
p
s
s

= =

=


<

Ejercicio ZetaM5.4
=

=1
2
)) ( (
n
s
n
n
) 2 (
) (
4
s
s


> La funcin
k
es multiplicativa y luego =
k
p )) ( (

k
) 1 ( +

=
|
|
.
|

\
|
=
+
=
+
=


=
+

=
+

= p
s k
k
k
s
p
s
k
k
s
p
s
k
n
s
k
p ds
d
p
p
p
p
p
p
p n
n
0
) 1 (
0
) 1 (
0 1
1
) ( ln
)) ln( ) 1 ((
) ( ln
) 1 ( ) (

|
|
.
|

\
|
=

p
s
s
k
k
k
s
p
p
ds
d
p
p
1 ) ( ln


|
|
.
|

\
|
p
s k
k
k
s
p ds
d
p
p
1
1
) ( ln

Poniendo k 2 =
=

=1
2
)) ( (
n
s
n
n
=

|
.
|

\
|
=

|
|
.
|

\
|

p
s
s s
p
s
s
p
p p
ds
d
p
p
p ds
d
p
p
2 2 2
2
2
) 1 (
) ln(
) ( ln 1
1
) ( ln

( )
=

+
=
|
|
.
|

\
|

=

p
s
s s s s
p
s
s
s
s s
p
p p p p
p
p p
p
p p
p
p
3
2
3
2 2
2
2
2
) 1 (
2 ) 1 (
) 1 (
) ( ln
2
) 1 (
) ( ln
) ( ln

( )
=

+
=

p
s
s s
p
p p
3
2
) 1 (
1 ( )
) 2 (
) ( 1
) 1 ( ) 1 (
1
4
2
2
4
4
4
2 2
s
s
p
p
p
p
p
p p
p
s
s
s
s
p
s
s s




<

Ejercicio ZetaVM1.1
) (ln ) (ln ) ( ln
* * *
g f g f g f + =
>

= =
= = =
n ab n ab
b g a f ab b g a f n n g f n ) ( ) ( ) ln( ) ( ) ( ) ln( ) )( ( ) ln(
*
= +

=n ab
b g a f b a ) ( ) ( )) ln( ) (ln(
) ))( (ln ( ) )( ) ((ln ) ( ) ln( ) ( ) ( ) ( ) ln(
* *
n g f n g f b g b a f b g a f a
n ab n ab
+ = + =

= =

<

Ejercicio ZetaVM1.2
) (ln ) (ln
*
*
*
*
f f f f =
> Aplicamos la relacin anterior a la igualdad

) (ln ) (ln ) ( ln ln 0
*
*
*
*
*
*
f f f f f f + = = =
<

Ejercicio ZetaVM2.1
ln 1
*
=
> Se tiene
) ln( ln ) ln( ) ln( ) ( 1 ) ( 1
| | | |
*
n p p p d n
n p n p
p
n p n d
p
=
|
|
.
|

\
|
= = = =

donde se ha representado por


p
la mxima potencia tal que . n p |

<

Ejercicio ZetaVM2.2
ln
*
=
> Aplicando la relacin ) (ln ) (ln ) ( ln
* * *
g f g f g f + = con = f y se obtiene 1 = g

) 1 (ln 1 ) (ln ) 1 ( ln
* * *
+ = , esto es + = 1 ) (ln ln
*
,
pero 0 ) ( ) 1 ln( ) ( ) ln( = = n n n de modo que
) (ln 1
*
=
<

Ejercicio ZetaVM2.3

=
2
) ln(
) (
)) ( ln(
n
s
n n
n
s
> Utilizando el desarrollo de Taylor

=
=
1
) 1
n
n
n
x
x ln( , que converge absolutamente cuando
1 < x , se tiene que
( ) = = = =


=

= p n
s n n
p
sn
n p
s
p p
p
p n
p s
1 1
) )( ln(
) ln( 1 1
/ 1 1 ln )) ( ln(


= =

=
2
) ln(
) (
) )( ln(
) (
m
s
p m
s
m m
m
m m
m
n

<

Ejercicio ZetaVM2.4

= =
2
) (
) (
) ( '
) )( ln(
n
s
n
n
s
s
s D


> Dado que =

= = = =


=

=

1
*
1 1
) ln(
1
) ln(
) ( 1 ) ln(
) ln( ) (
n
s
n
s
n
n s
n
n s
n
n
n
n
e n e
ds
d
s '


=

=
1 1 1
) (
) (
) ( 1
n
s
n
s
n
s
n
n
s
n
n
n

el resultado se obtiene observando que 0 ) 1 ( = y despejando.

Otra forma ms directa consiste en derivar trmino a trmino la expresin encontrada en el
apartado anterior:
( )


=

=
|
|
.
|

\
|

=
2 2 2 2
) (
) ln(
) ln(
) (
) ln(
) (
) ln(
) (
)) ( ln(
n
s
s
n n
s
n
s
n
n
n n
n
n
n D
n
n
n
n
n
D s D
<



EJERCICIOS TEOREMA DE LOS NMEROS PRIMOS


Ejercicio TPrimosD1:
) 2 ln( 4
) (

x
x

> Sea 0 > n , entonces

2
2
) ! (
)! 2 (
2
2
2
...
2
..
1
2
0
2
2
n
n
n
n
n
n
n
n n n
n
=
|
|
.
|

\
|
>
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+
|
|
.
|

\
|
=

y este ltimo es un nmero entero que es divisible por todos los primos entre y , as pus n n 2
)) ( ) 2 ( exp( ) ln( exp 2
2 2
2
n n p p
n p n n p n
n
=
|
|
.
|

\
|
= >

< <


con lo cual tenemos n n n < ) 2 ln( 2 ) ( ) 2 (


Sea ahora , se tiene que
m
n 2 =

( ) ( ) = < = =

=

=

=

m
k
i
m
k
i i
m
k
i i m
1
1
1
1 1
1
1
) 2 ln( 2 2 ) 2 ( ) 2 2 ( ) 2 ( ) 2 ( ) 2 (
m m
m
k
i
2 ) 2 ln( 2 ) 1 2 ( ) 2 ln( 2 2 ) 2 ln( 2
1
1
< = =

=


Supongamos y tomemos tal que , ocurre entonces que 1 x m
m m
x 2 2
1
<


x x x
m m
= < < ) 2 ln( 4 2 ) 2 ln( 2 2 ) 2 ln( 2 ) 2 ( ) (
<


Ejercicio TPrimosD2:
0
) ( ) ln( ) (
lim =


x
x
x
x x
x


>
Primero observemos que ) ln( ) ( ) ln( ) ( x x x x
x p
= <

, y que para todo 1 0 > > se


tiene
) ln( ) ) ( ( ) ln( )) ( ) ( ( ) ln( ) ln( ) (
1 1 1 1 1
1 1




<

<
= >


x x x x x x x p x
x p x x p x

)) ln( / ) ln( ) ( ( ) 1 ( x x x x x x =



de modo que
x
x
x
x
x
x
x ) ln(
) (
) ln( ) (
1
1


y uniendo los resultados se encuentra que
x
x
x
x
x
x
x
x
x ) ( ) ln(
) (
) ln( ) (
1
1



Esto quiere decir que para todo con 1 0 > > se cumple

x
x
x
x
x
x
x
x
x
x
x
) ln(
1
) 2 ln( 4 ) ln(
) 1 (
) ( ) ( ) ln(
) ( 0 +

<

Supongamos que x es suficientemente grande para que sea 1 y
seleccionemos , esto es , entonces
) ln( / )) ( ln(ln
2
x x >
) ln( / )) ( ln(ln ) ( x x x =
2
) ( ln
2 ) (
x x
x
=

0
) ln(
lim 2
) ln(
)) ln(ln( 2
lim ) ( lim
) ln(
= = =
=
y
y
x
x
x
x y x x

obteniendo que
0
) ln(
1
lim
0 1
0 ) 2 ln( 4 ) ln(
) ( 1
) ( ) 2 ln( 4
lim
) (
= +


= +



x x
x
x
x
x
x
x



con lo cual se concluye que
0
) ( ) ln(
) ( lim =

x
x
x
x
x
x



NOTA: Observemos que con esto an no se demuestra que el lmite de cada sumando exista, ya que podra
ser que x x / ) ( fuese una funcin oscilante.
<

Ejercicio TPrimosD3.A
Si es una funcin no decreciente tal que la integral ) (x f

1
2
) (
dx
x
x x f
converge, entonces
1
) (
lim =

x
x f
x

> Procederemos por reduccin al absurdo.

Supongamos que no existe
x
x f
x
) (
lim

o que este es distinto de 1. Entonces existe un
con 1 0 2 / > > tal que para todo siempre habr un 0 > n n x > tal que > 1
) (
x
x f
, de
modo que, o bien, x x f + > ) 1 ( ) ( o bien x x f < ) 1 ( ) ( .

En el primer caso


( )
( )
( )
( )
) ( 1
1
/
/
1
1
1
) (
1
1
1
1 1




+ + +
=
|
.
|

\
|

+
=
(

=
=
=
|
.
|

\
|

+

|
.
|

\
|
C
w
dw
w x dt dw
x t w
t
dt
t
x
t
dt
t
t f
x
x
x
x


donde 0 ) (
1
> C no depende de x .

En el segundo caso

( )
( )
( )
( )
) ( 1
1
/
/
1
1
1
) (
1
1
2
1 1





=
|
.
|

\
|

=
(

=
=
=
|
.
|

\
|

|
.
|

\
|
C
w
dw
w x dt dw
x t w
t
dt
t
x
t
dt
t
t f
x
x
x
x


donde 0 ) (
2
> C tampoco depende de x .

Consideremos ahora la funcin


=
x
dt
t
t t f
x F
1
2
) (
) ( .

Si tomamos 0 )) ( ), ( min(
2 1
C C < < , entonces para todo n existe
tal que o bien
0
0
>
0 0
2 1 n n n x > + = >
> > + ) ( )) 1 ( ( ) (
1
C x F x F
o bien
> > ) ( ) ( )) 1 ( (
2
C x F x F ,

y, en cualquier caso, existe un
0 0
2 / ) 1 ( n n n x > > > tal que

> ) ( ) (
0
x F x F

y eso implica que no puede existir , de modo que la integral del enunciado no podra ser
convergente.
) ( lim x F
x
<

Ejercicio TPrimosD3.B
NOTA: Este ejercicio no se necesita para la demostracin del teorema de nmeros primos, pero se incluye
aqu como complemento del anterior.
Aqu se sustituye la condicin de no ser decreciente por la de que exista el lmite ) (x f
x
x f
x
) (
lim

. Si existe ese lmite y la integral

1
(
dx
f
2
)
x
x x
converge entonces el lmite vale 1.

>
Sea


x
dt
t
t t f
x
1
2
) (
) ( = F de modo que
2
) (
) (
x
x x f
x DF

= y sea ,
entonces
) ( lim x F L
x
=
L x F
x
x F x
x x
= =


) ( lim
) (
lim
2
2

Pero como x lim el lmite anterior es del tipo = =

L x F
x
) (
2

y se puede calcular
utilizando la regla de LHopital (obsrvese que la regla de LHopital se puede aplicar slo si existe
el lmite del cociente de derivadas), con lo que
=

=

x
x
x x f
x x F x
Dx
x F x D
x
x F x
L
x x x
2
) (
) ( 2
lim
)) ( (
lim
) (
lim
2
2
2
2
2
2

= |
.
|

\
|
=
+
=

1
) (
lim
2
1
) ( lim
2
) ( ) ( 2
lim
x
x f
x F
x
x x f x F x
x x x

|
.
|

\
|
=

1
) (
lim
2
1
x
x f
L
x


y entonces 1 1 ) ( 2
) (
lim = + =

L L
x
x f
x

<

Ejercicio TPrimosD4
s s
s
s e e s H
t t
1
1
) 1 (
) )( 1 ) ( ( ) (
+
+
= =

l l
> Utilizando la definicin

=
p
s
p
p
s
) ln(
) ( se observa que
= =
(

=
=
= =


+


2
) 2 (
) 2 ln(
) 1 (
0
) (
/
) ln(
) ( ) ( dx x x
x dx dt
x t
dt e e dt e e e
s s t t ts t t


+ +
+ +
= =
n
n
n
n
n
n
p
p
p
s
n
p
p
p
s
dx x p dx x x
1 1
) 2 ( ) 2 (
) ( ) ( = =


+
+
n
n
n
p
p
p
s
n
dx x p
1
) 2 (
) (
( ) =
+
=
|
|
.
|

\
|
+

=
+
+
+
+

+
) 1 (
1
) 1 (
) 1 (
) (
1
1
1
) (
1
s
n
s
n
p
n
p
p
p
s
n
p p p
s s
x
p
n n
n
n

( ) =
+
=

+
n
p
n n
s
n
p p p
s
) ( ) (
1
1
1
) 1 (

1
) 1 (
) ln(
1
1
) 1 (
+
+
=
+

+
s
s
p p
s
n
p
n
s
n

y como
s
e
s
dt e
ts ts
1 1
1
0 0
=
(


el resultado se obtiene restando las dos igualdades.

Es fcil comprobar que todas la integrales y sumas de esta demostracin convergen
cuando . 0 ) Re( > s
<


Ejercicio TPrimosD5


+ =
p
s s
p p
p
s
s
s
) 1 (
) ln(
) (
) ( '
) (


> Por la frmula de producto para la funcin ) (s , cuando Re( 1 ) > s


=
p
s
p s ) 1 ln( )) ( ln(
entonces, derivando, se llega a

=

p
s
s
p
p p
s
s
1
) ln(
) (
) ( '

=
|
|
.
|

\
|
+

p
s
s
p
p p 1
1
1
1 ) ln(
=
|
|
.
|

\
|

=
|
|
.
|

\
|

p
s
s
p
s
s
s
p
p p
p
p
p p
1
1
1 ) ln(
1
1 ) ln(

=
p
s
s
p
s
p
p p
p p
1
) ln(
) ln(


=
p
s s
p p
p
s
) 1 (
) ln(
) (
eso es,


+ =
p
s s
p p
p
s
s
s
) 1 (
) ln(
) (
) ( '
) (



Para estudiar donde es absolutamente convergente la suma


p
s s
p p
p
) 1 (
) ln(
se puede
comparar con la suma

=
n
s
s
n
n
) 2 ( '
) ln(
2
y entonces, de las propiedades de la funcin zeta
deducimos que


p
s s
p p
p
) 1 (
) ln(
converge absolutamente cuando . 1 ) 2 Re( > s


Nota: Poniendo

= =

=

p n
ns
p n
s
s
p
s s
p
s s
p
p
p
p
p
p p
p
p p
p
2
2 2 2
) ln( ) ln(
) 1 (
1 ) ln(
) 1 (
) ln(



= =
2 2
2
) 2 (
) ln(
n n p
ns
ns
p
p

y utilizando el resultado de este ejercicio se llega a la curiosa relacin

+ =
2
) 2 ( ) (
) (
) ( '
n
ns s
s
s


<

Ejercicio TPrimosD6
s s
s
s H
1
1
) 1 (
) (
+
+
= l es analtica cuando 0 ) Re( s
> Puesto que la nica singularidad de ) (s es un polo en 1 = s podemos construir una
funcin ) 1 ( ) ( ) ( = s s s h que ser analtica y sin singularidades en todo el plano complejo, y
que se anula cuando lo hace .

Entonces se encuentra que la funcin
) 1 (
) 1 ( '
) (
+
+
=
s h
s h
s g es analtica en todo el plano
complejo y nicamente tiene singularidades en los ceros del denominador, que son los ceros de
) 1 ( s . En concreto, dado que 0 ) ( s cuando Re( , la funcin 1 ) s g es analtica sin
singularidades en . Se tiene que 0 ) Re( s

1
1
) 1 ( ) 1 ln( )) ( (ln )) 1 /( ) ( ln( ))) ( (ln(
) (
) ( '

+ = + = = =
s
s g s D s h D s s h D s D
s
s



Adems, si ponemos


=
+ +
p
s s
p p
p
s f
) 1 (
) ln(
) (
1 1
, tal como vimos en el ejercicio anterior,
ser analtica y no tendr singularidades cuando f 1 )) 1 ( 2 Re( > + s , esto es, cuando
y en consecuencia con la relacin 2 / 1 ) > s Re(

= ) (s H l
s s
s 1
1
) 1 (

+
+
= =
|
|
.
|

\
|
+
+
+ +
+

+ +
s p p
p
s s s
s
p
s s
1
) 1 (
) ln(
1
1
) 1 ( ) 1 (
) 1 ( '
1 1


s s
s f
s
s s g 1
1
) (
) 1 (
/ 1 ) (

+
+
+
+
=
1
1 ) ( ) (
+
+
=
s
s f s g


se muestra claramente que la funcin l es analtica y no presenta singularidades
cuando Re( .
) (s H
0 ) s
<


|
Ejercicio FSA1
Sea a una sucesin compleja y una funcin con derivada continua en el intervalo
, entonces, poniendo
) (n f
| b a,

<
=
t n a
n a t A ( ) ( ) , se tiene

=
<
x
a
x n a
dt t f t A x f x A n f n a ) ( ' ) ( ) ( ) ( ) ( ) (
>

x
a
dt t f t A ) ( ' ) ( =
| |
| |
| |
= +

+
x
x
x
a
dt t f t A dt t f t A
` 1 `
) ( ' ) ( ) ( ' ) (
| |
| |
= + =


< <
+ x
x
x m a
m
m
dt t f x A dt t f t A
`
1
1
) ( ' ) ( ) ( ' ) (
| |
| |
= +


< <
+ x
x
x m a
m
m
dt t f x A dt t f t A
`
1
1
) ( ' ) ( ) ( ' ) (
| |
| | ( ) = + =



< <
+
<
) ( ) ( ) ( ) ( ' ) (
1
x f x f x A dt t f n a
x m a
m
m
m n a

| |
| | = + =

< <
+
<
) ( ) ( ) ( ) ( ) ( ' ) (
1
1
x f x A x f x A dt t f n a
x m a
m
m
m n a

( )
| |
| | = + + =

< < <
) ( ) ( ) ( ) ( ) ( ) 1 ( ) ( x f x A x f x A n f m f n a
x m a m n a

| |
( )
| |
| | = + + =

< < <
) ( ) ( ) ( ) ( ) ( ) 1 ( ) ( x f x A x f x A m f m f n a
x m n x n a

| |
| | ( ) | | = + =

< <
) ( ) ( ) ( ) ( ) ( ) ( ) ( x f x A x f x A n f x f n a
x n a

| |
| | | |
| | = + =

< < < <
) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( x f x A x f x A n f n a n a x f
x n a x n a

| |

< <
=
x n a
n f n a x f x A ) ( ) ( ) ( ) (
<

Ejercicio FSA2.1
| |


+
=

+ =
m
s
s
m
n
s
s
m
dt
t
t t
s
n
s
1
1
) (
1
1
1

> Aplicando la frmula de sumacin de Abel con 1 ) ( = n a , m a = y se tiene que
s
x x f

= ) (

| | m x x A
x n m
= =

<
1 ) (
y
| | | |


<

=
x
m
s s
x n m
s
dt t m t s x m x n
1
) ( ) ( ) (
, esto es,
| |
| |

+ =
+ +

<

x
m
s
x
m
s
x
m
s
s s
x n m
s
dt
t
s dt
t
t t
s dt
t
m
s x m x x n
1
1 1

| |
| |
1
1 1
1
+

+

=
+ +
+

s
m x
s dt
t
t t
s
s
m x
sm x m x x
s s x
m
s
s s
s s

| |
| |
s
s
s
s x
m
s
m
s
sm
x x
s
sx
dt
t
t t
s

+

+
+

=

1
1 1
1
1 1

| | | | | |
s
m
s
x x x x sx
dt
t
t t
s
s s s x
m
s

+
+

=

+
1 1
) (
1
1


Haciendo tender x a infinito se obtiene
| |
s
sm
dt
t
t t
s m
n
s
s
m
s
s
m
n
s

+ =
+
+

1
1
) (
1
1
1
1

| |


+
=

=
m
s
s
m
n
s
s
m
dt
t
t t
s
n
s
1
1
) (
1
1
1

<

Ejercicio FSA2.2
s
m
s
m
n
s
m
m M
dt
t
t M
s
n
n
s
) ( ) ( ) (
) (
1
1
1
+ =


+
=


> Aplicando la frmula de sumacin de Abel con ) ( ) ( n n a = , m a = y se tiene
que
s
x x f

= ) (

) ( ) ( ) ( ) ( m M x M n x A
x n m
= =

<

y


<

=
x
m
s s
x n a
s
dt t m M t M x m M x M n n )' ))( ( ) ( ( )) ( ) ( ( )
) )( ( ) ( )) ( ) ( (
1 s s
x
m
s s
m x m M dt t t M s x m M x M

+ + =


s
x
m
s s
m m M dt t t M s x x M

+ =

) ( ) ( ) (
1


Puesto que M ( , si Re( se puede tomar lmite cuando x x) 1 ) > s x obteniendo
s
m
s
m
n
s
m m M dt t t M s
n
n
s


=
=

) ( ) (
) (
) (
1
1
1



En concreto, si ponemos 1 = m se tiene


=
1
1
) (
) (
1
dt t t M s
s
s



<

Ejercicio FSA2.3
s
m
s
m
n
s
m
m Q
dt
t
t Q
s
n
n
s
s ) ( ) ( | ) ( |
) 2 (
) (
1
1
+ =


+
=


donde la funcin Q es la cuenta de enteros libres de cuadrados en | | ) (x x , 1
> Aplicando la frmula de suma de Abel con | ) ( | ) ( n n a = , m a = y se tiene
que
s
x x f

= ) (
) ( ) ( | ) ( | ) ( m Q x Q n x A
x n m
= =

<

y


<

=
x
m
s s
x n a
s
dt t m Q t Q x m Q x Q n n )' ))( ( ) ( ( )) ( ) ( ( | ) ( |
x
m
s s
x
m
s
m x m Q dt t Q x m Q x Q ) )( ( ) ( )) ( ) ( (

+ =

=

x
m
s s
dt t Q m m Q x x Q ) ( ) ( ) (
Puesto que Q , si Re( si se toma lmite cuando x x) ( 1 ) > s x
s
m
s
m
n
s
m m Q dt t t Q s
n
n
s
s


=
=

) ( ) (
| ) ( |
) 2 (
) (
1
1


Poniendo = m se obtiene 1

+
=
2
1
) (
) 2 (
) (
dt
t
t Q
s
s
s
s

.
<

Ejercicio FSA2.4
s
m
s
m
n
s
m m dt t t s
n
n
s
s


=
+

) ( ) (
) (
) (
) ( '
1
2


> Aplicando la frmula de sumacin de Abel con ) ( ) ( n n a = , m a = y se tiene
que
s
x x f

= ) (

) ( ) ( ) ( ) ( m x n x A
x n m
= =

<

y


<

=
x
m
s s
x n a
s
dt t m t x m x n n )' ))( ( ) ( ( )) ( ) ( ( ) (
s
x
m
s s
m m dt t t s x x

+ =

) ( ) ( ) (
1


Tomando lmites cuando x obteniendo
s
m
s
m
n
s
m m dt t t s
n
n
s
s


=
+ +

) ( ) (
) (
) (
) ( '
1
2



Poniendo 2 = m se encuentra que




= + +

=
2
1
2
1
) ( 2 ) 2 ( ) (
2
) 2 (
) (
) ( '
dt t t s dt t t s
s
s
s s s
s



<

Ejercicio FSA2.5

=
m
n
s
n n
n
s
2
) ln(
) (
)) ( ln(
s
x
m
s
m
m P
dt
t
t P
s
) ( ) (
1
+
+

donde + + + + = ) ( ) ( ) ( ) ( ) (
4 / 1
4
1
3 / 1
3
1
2 / 1
2
1
x x x x x J
>
Definimos =

=

< x n
n
n
x J
1
) ln(
) (
) ( = = = =

< < x n x n
p n
p
p
p n
1 1
1
} {
) ln(
) ln(
} {



= =

) ( 1
} {
/ 1
/ 1
x
x p
p

Y aplicamos en teorema de sumacin con , a
s
t t f

= ) ( ) ln( / ) ( ) ( n n n = y a m = .
Entonces y se tiene ) ( ) ( ) ( m J x J x A =

= =


<

x
m
s s
x n m
s
dt t m J t J x m J x J n
n
n
)' ))( ( ) ( ( )) ( ) ( (
) ln(
) (

= + + =

+

) )( (
) (
)) ( ) ( (
1
s s
x
m
s
s
m x m P dt
t
t J
s x m P x P
s
x
m
s
s
m m P dt
t
t J
s x x P

+

+ =

) (
) (
) (
1

Como ) ln( ) ln( ) (
) ln(
) (
) (
1 1 1
x x n n
n
n
x J
x n x n x n

=

< < <

, si , tomando
lmites cuando
2 ) Re( > s
x tendremos

m
n
s
n n
n
s
2
) ln(
) (
)) ( ln(
s
x
m
s
m m P dt
t
t J
s

+
=

) (
) (
1

y, con cocreto, si se tiene que 2 = m
+
=
x
s
dt
t
t J
s s
2
1
) (
)) ( ln(
<

Si Re( entonces 1 ) > s dx
x x
x
s s
s


=
2
) 1 (
) (
)) ( ln(


> Aplicamos el teorema de sumacin con

= =
primo es no n si
primo es n si
n n n a
0
1
) 1 ( ) ( ) (
m a = y y entonces
s
x x f

= ) (
) ( ) ( ) ( ) ( m x n a x A
x n m
= =

<

obteniendo

= =

<
x
m
s s
x n m
s
dt t m t x m x
n
n a
)' ))( ( ) ( ( )) ( ) ( (
) (


<
+ =
x
m
s s s
x n m
s
m m dt t t s x x
n
n a
) ( ) ( ) (
) (
1

Poniendo se tiene 1 = m

+ =
x
s s
x p
s
dt t t s x x
p
2
1
) ( ) (
1


y tomando lmites se obtiene


+
=
2
1
) ( 1
dt
t
t
s
p
s
p
s


Como nos interesa relacionar el resultado anterior con la funcin zeta, convertieremos la
suma de potencias en un logaritmo. Poniendo nz s = , multiplicando por 1 y sumando se
obtiene
n /

=
=
1
2
1
1
) ( 1 1 1
n
nz
n p
zn
dt
t
t
zn
n p n






=
+

=
=
2
1
1
1
) ( 1 1
dt
t
t z
p n
n
nz
p n
zn

=
2
1
1
) ( )
1
1 ln( dt
t
zt
t
p
z
z
p
z

=
|
|
.
|

\
|

2
1
) 1 (
) (
) / 1 1 ( ln dt
t t
t z
p
z
p
z



y el resultado se obtiene observando que


=
p
z
p z
1
) / 1 1 ( ) (
<

Ejercicio FSA2.4.2 (Mtodo 2)
Es una demostracin parecida pero sin mencionar la frmula de sumancin.
Si Re( entonces 1 ) > s dx
x x
x
s s
s


=
2
) 1 (
) (
)) ( ln(


> Pongamos

=
primo es no n si
primo es n si
n n
0
1
) 1 ( ) (

a partir de la frmula de la funcin zeta como producto se tiene que

=
|
|
.
|

\
|
|
.
|

\
|
=
|
|
.
|

\
|
=


=2
1
1 ln )) 1 ( ) ( (
1
1 ln )) ( ln(
n
s
p
s
n
n n
p
s
( ) ( ) ( ) = =

=

2
1 ln ) 1 ( 1 ln ) (
n
s s
n n n n
( ) ( ) = |
.
|

\
|
=

=


N
n
s
N
n
s
N
n n n n
2 2
1 ln ) 1 ( 1 ln ) ( lim
( ) ( ) = |
.
|

\
|
+ =


=


1
1 2
) 1 ( 1 ln ) ( 1 ln ) ( lim
N
n
s
N
n
s
N
n n n n
( ) ( ) ( ) ( ) = |
.
|

\
|
+ + =



s
N
n
s s
N
n
s
N
N N n n n n 2 1 ln ) 1 ( 1 ln ) ( ) 1 ( 1 ln ) ( 1 ln ) ( lim
1
2
1
2

( )

=

+ =
2
) ) 1 ( 1 ln( ) 1 ln( ) (
n
s s
n n n
donde se ha utilizado el hecho de que 0 ) 1 ( = y de que
( ) ( ) =



js
j
N
js
j
N
s
N
s
N
N
j
N N
j
N N N N N
1 1
1
lim
1
lim 1 ln lim 1 ln ) ( lim
0
1 0
0
1
lim
1
lim lim
1
1
=

=

+



s
s
N
s
N
j
j
s
N
N
N
N
N
N N
cuando . 1 ) Re( > s

Tenemos entonces:
( ) = = + =


=
+

=

2
1
2
) 1 ln( ) ( ) 1 ln( ) ) 1 ( 1 ln( ) ( )) ( ln(
n
n
n
s
n
s s
dx x
dx
d
n n n n s

=
+


=
+

=
2
2
1 1
2
1 1
) 1 (
) (
1
) (
1
) ( dx
x x
x s
dx
x
x x s
dx
x
x s
n
s
n
n
n
s
s
n
n
n
s
s


La convergencia de la integral anterior se deduce fcilmente por ser y 1 ) Re( > s
x x < ) ( .
<




EJERCICIOS APNDICES



DESARROLLO DE LA FUNCIN SENO COMO PRODUCTO

Ejercicio Senp1
Sea un entero mayor que 0, entonces 1 2 + = k n
)) ( ( ) ( x sen P nx sen
n
=
)) ( ( ) cos( ) cos(
1
x sen Q x nx
n
=
donde y Q son polinomios con coeficientes enteros de grado menor o igual que n y
n
P
1 n
1 n
respectivamente.
Demostracin >
De las expresiones anteriores se obtiene que 1 ) (
0
= x P , 1 ) (
0
= x Q , de modo que el
supuesto es cierto para k .
x x P = ) (
1
0 =
Procederemos por induccin. Supongamos que se cumple para 1 k , entonces
= + = + ) ) 1 2 cos(( ) 2 ( ) 2 cos( ) ) 1 2 (( ) ) 1 2 (( x k x sen x x k sen x k sen
= + =

)) ( ( ) cos( ) cos( ) ( 2 )) ( ) ( ))(cos ( (
2 2
2 2
1 2
x sen Q x x x sen x sen x x sen P
k k

)) ( ( )) ( 1 )( ( 2 )) ( 2 1 ))( ( (
2 2
2 2
1 2
x sen Q x sen x sen x sen x sen P
k k
+ =
de modo que la primera parte se cumple con
3
2
2
2
) 1 ( 2 ) ( ) 2 1 ( ) (

+ =
n n n
Q x x x P x x P
y, de forma semejante:
= = + ) ) 1 2 (( ) 2 ( . ) 2 cos( ) ) 1 2 cos(( ) ) 1 2 cos(( x k sen x sen x x k x k
) ( ) cos( ) ( 2 . )) ( 2 1 ( ) cos(
1 2
2
2 2
x P x x sen x sen Q x
k k
=
de modo que
2 3
2
1
2 ) ( ) 2 1 ( ) (

+ =
n n n
xP x Q x x Q .
En las expresiones anteriores se observa el cumplimiento de la relacin entre los grados de
polinomios que se coment.
<


Ejercicio Senp2

=
|
|
|
|
.
|

\
|
|
.
|

\
|
=
k
r
n
n
r
sen
x
nx x P
1
2
2
1 ) (


> Sea ) / ( n j sen a
j
= para k j = ,..., 1 , 0 , entonces 2 / ) 1 2 /( 2 / < + < k j de
modo que todos los son distintos. Para cada uno de ellos se tiene
j
a
0 ) ( )) / ( ( )) / ( ( ) ( = = = = nj sen n j n sen n j sen P a P
n j n

de modo que los son precisamente las
j
a 1 + n races del polinomio (que no puede tener
ms). As pues, desarrollando el polinomio en producto de factores ser
n
P

= = =
= + = =
k
j
j
k
j
j j
k
k j
j n
a x x C a x a x x C a x C x P
1
2 2
1
) ( ) )( ( ) ( ) (
donde es una constante. Entonces es C

=
=
k
j
j
a x sen x sen C nx sen
1
2 2
) ) ( ( ) ( ) (
y derivando esa expresin respecto a x y poniendo 0 = x se obtiene
0
1
2 2
1
2 2
) ) ( ( ) 0 ( ) ) 0 ( ( ) 0 cos( ) 0 cos(
=
= =
(

+ =

x
k
j
j
k
j
j
a x sen
dx
d
sen C a sen C n n
esto es n y, por tanto, C de modo que

=
=
k
j
j
a C
1
2
) (

=
=
k
j
j
a n
1
2
) ( /

= =
= =
k
j
j
k
j
j j n
a x nx a a x nx x P
1
2 2
1
2 2 2
) / 1 ( ) /( ) ( ) (
<

Ejercicio Senp3

=
|
|
.
|

\
|
=
1
2 2
2
1 ) (
r
n
x
x x sen


> Utilicemos la expresin
( )

=
|
|
.
|

\
|
=
k
r
n
n r sen
x
nx x P
1
2
2
/
1 ) (


con , para calcular ) / ( n y sen x =
)) / ( ( ) / ( ) ( n y sen P n ny sen y sen
n
= =
( )
( )

=
|
|
.
|

\
|
=
k
r
n r sen
n y sen
n y sen n
1
2
2
/
/
1 ) / (

( )
( )

=
|
|
.
|

\
|
=
k
r
n r sen
n y sen
n
n y sen
1
2
2
/
/
1
/ 1
) / (



y, dado que y
n
n y sen
n
=

/ 1
) / (
lim y que
( )
( ) r
y
n r sen
n y sen
n
=

/
/
lim , tomando lmites en ambos
miembros se llega al resultado buscado.
<


LA TRANFORMADA DE FOURIER Y UNAS SUMAS INFINITAS

Ejercicio Fourier1
Suponiendo que ( f es una funcin suave tal que est acotado para ) x ) ( ) 1 (
2
x f x
N
+
cualquier valor de , se tiene que N


=

=
=
n n
n f n f ) (

) (
siendo .


= dy e y f x f
yx i 2
) ( ) (

> La funcin F( es peridica con periodo 1 y est bien definida, dado que
la suma es absolutamente convergente.

=
+ =
n
x n f x ) ( )


En estas condiciones esa funcin admite un desarrollo de Fourier en la forma

=
n
inx
n
e a x F
2
) (
donde los coeficientes valen
= + = =


=
dx e x m f dx e x F a
inx
m
inx
n
1
0
2
1
0
2
) ( ) (


= = = + =



=
+

=
+

=
dt e t f e dt e t f dx e x m f
m
m
m
t in inm
m
m
m
m t in
m
inx
1
2 2
1
) ( 2
1
0
2
) ( ) ( ) (


) (

) ( ) (
2
1
2
n f dt e t f dt e t f
t in
m
m
m
t in
= = =

=
+


por tanto,

=
n
inx
e n f x F
2
) (

) (
Ahora el resultado se obtiene haciendo 0 = x .
<

Ejercicio Fourier2
La transformada de Fourier de es tambin
2
) (
x
e x f

=
2
) (

x
e x f

=
>
Poniendo ( f = se tiene que converge absolutamente y
es
2
)
x
e x



= dy e e x f
yx i y 2
2
) (

= = =



+


+
dy e dy e x f
x iy x iyx y
2 2 2
) ( ) 2 (
) (



+
=


+
=
i x
i x z
z x iy x x
i dz e e dy e e /
2 2 2 2
) (

El camino de la integral anterior puede desplazarse obteniendo


=

=

= =
t
t x
i
i z
z x
dt e e i dz e e x f
2 2 2 2
/ ) (



Si ponemos

= e I se tiene que

=

t
t
dt
2

=
+

=

= =
x y
y x
y
y
x
x
dydx e dx e dx e I
) ( 2
2 2 2 2


esta ltima ecuacin se puede calcular pasando a coordenadas polares
| 1 2
0
0 0
2
0
) ( 2
2 2 2 2 2
= = = = =

= =

=
+


e d e d d e dydx e I
x y
y x

de modo que, como la integral es positiva, debe ser 1 = I y entonces
2
) (

x
e x f

=

<

Ejercicio Fourier.3

n
x n
e
/
2

=
n
x n
e x

2

>
Poniendo
2
) ( ) (
x t
t t
e x t f x f

= =


se tiene que
) (
1 1

1
) ( ) ( ) (

/ 1
/ / 2 2
2
x f
t
e
t t
x
f
t t
dw
e w f dy e y t f x f
t
t x t wx i yx i
t
= = |
.
|

\
|
= = =

=
= = =
n
t
n
t
n
t
n
t
n f
t
n f
t
n f n f ) (
1
) (
1
) (

) (
/ 1 / 1

esto es,


=

=

=
n
t n
n
t n
e e t
/
2 2


<

TRANSFORMADA DE LAPLACE

Ejercicio Laplace1
Si existen B y C tales que
Bt
e C t h

) ( para t 0 entonces la integral
dt t h e s h
st


=
0
) ( ) ( l
converge absolutamente y define una funcin para . B s > ) Re(
>
dt e C dt e C e dt t h e dt t h e dt t h e
t B s Bt t s t s st st



= =
0
) ) (Re(
0
) Re(
0
) Re(
0 0
) ( ) ( ) (
y poniendo se tiene y por tanto A B s = ) Re( 0 > A
A
C
e
A
C dt e C dt t h e
t A t A st
=



0 0 0
1
) (
<

Ejercicio Laplace2
Teorema de Analiticidad de la Transformada de Laplace
>
Pongamos tal que sea 2 > F F t f < ) ( para todo t . Definamos la funcin 0


=
T
ts
T
dt e t f s g
0
) ( ) (
La integral anterior siempre existe proporcionando una funcin analtica en todo el
plano complejo (la derivada tambin existe siempre).
) (s g
T

=

T
ts
T
dt t e t f s Dg
0
) ( ) (
En concreto se puede ver que
= ) (z g
T


T
tz
dt e t f
0
) (
) Re(
) 1 (
) Re(
0
) Re(
z
e F
dt e F
T z T
z t


(Cuando esto queda 0 ) Re( = z T F z g
T
) ( , que se puede calcular directamente o
como lmite de la expresin anterior).

El objetivo es demostrar que ) 0 ( ) 0 ( lim g g
T
T
=

.
Consideremos entonces un nmero 0 > un tan pequeo como queramos.

Pongamos / 5 F R = y definamos la curva simple cerrada sobre el plano complejo
formada por dos tramos. El primer tramo,
+
, parte de y recorre la mitad de la circunferencia Ri
R s = que queda en la zona hasta llegar a 0 } Re{ s Ri . Para definir el segundo tramo,

,
consideremos primero el segmento de recta que va desde Ri s = hasta . Puesto que la
funcin es analtica en este segmento, existe en cada uno de sus puntos un radio
tal que es analtica y no presenta ninguna singularidad en el circulo de centro y radio
. El conjunto de los intervalos abiertos
Ri s =
z
))
) (z g yi =
) (z r
) (z r
) (z g z
( r ), ( y iy ( y iy I I
iy z
r + = = recubre al intervalo
y, como se trata de un intervalo compacto, existir un conjunto finito de puntos
tal que los recubren a | . Tomemos un
| R R, |
z
I
n
z z ,...,
1
n
z
I ,...,
1
| R R, 0 > lo suficientemente pequeo para
que los puntos iy queden en el interior de cuando
Ri Ri
I
z
I
n

z
I
1
I ... R y R .
Entonces la curva

la definimos como la unin de las rectas que cubren el recorrido que va de


a Ri s = + = Ri s luego sube hasta + = Ri s y por ltimo se acerca hasta . Ri s =

Con esta definicin se tiene que es analtica y no tiene singularidades la regin
interior limitada por la curva
) (z g
.
Sea el mximo de G
|
|
.
|

\
|
+
2
2
1 ) (
R
z
z g en

y seleccionemos un T tal que cuando


se cumpla que
0
0
T T
)
`

|
.
|

\
|

>

R
R
G 5
ln
1
,
5
max


G
T de modo que simultneamente se
tengan las desigualdades
5

<
R T
G
y
5



<


T
e G R
(Observes que tal T existe debido a
que los trminos de la izquierda tienden a 0 cuando
0
T crece).


Con la curva que hemos definido se puede aplicar el Teorema de Cauchy a la funcin
Tz
e
R
z
z g
|
|
.
|

\
|
+
2
2
1 ) ( , que es analtica y no contiene singularidades en la regin interior encerrada
por , obtenindose
) 0 (
0
1 ) ( 1 ) (
2
1
0
2
2
2
2
g e
R
z g
z
dz
e
R
z
z g
i
T Tz
=
|
|
.
|

\
|
+ =
|
|
.
|

\
|
+



De igual forma se tiene tambin que
) 0 ( 1 ) (
2
1
2
2
T
Tz
T
g
z
dz
e
R
z
z g
i
=
|
|
.
|

\
|
+



Restando estos valores y agrupando las integrales en la parte
+
se llega a

( ) +
|
|
.
|

\
|
+ =

+
z
dz
R
z
e z g z g
i
g g
Tz
T T

2
2
1 ) ( ) (
2
1
) 0 ( ) 0 (
z
dz
R
z
e z g
i z
dz
R
z
e z g
i
Tz
T
Tz


|
|
.
|

\
|
+
|
|
.
|

\
|
+ +


2
2
2
2
1 ) (
2
1
1 ) (
2
1


En el camino interior de
+
se tiene que
= ) ( ) ( z g z g
T

T
tz
dt e t f ) (
) Re(
) Re(
) Re(
z
e F
dt e F
T z
T
z t


A una distancia R del origen se tiene que
R
z
R
z
R
R
z z
z
R
z z z
R
z R
R
z ) Re( ) Re(
1
2 2 2
2
2
2 2
2
2
= =
+
=
+
=

= +
de modo que
( )
|
|
.
|

\
|
+

z
dz
R
z
e z g z g
i
Tz
T
2
2
1 ) ( ) (
2
1



< <
=

2 / 3 2 /
Re
) Re(
) Re(
) Re(
) Re(
) 1 (
2
1

i
z
z T
T z
d
R
z
e
z
e F


< <
=

2 / 3 2 /
Re
) Re(
) 1 (
2
1

i
z
T z
d
R
e F

< <
=

2 / 3 2 /
Re
) Re(
2
1

i
z
T z
d
R
e F

< <

<
2 / 2 /
) Re(
2
1

d
R
Fe
T z
5 2
1

< <
R
F
R
F




Como
Tz
e
R
z
z g
|
|
.
|

\
|
+
2
2
1 ) ( es analtica en todo el plano, la integral siguiente no depende
del camino y es
z
dz
R
z
e z g
i z
dz
R
z
e z g
i
C
Tz
T
Tz
T


|
|
.
|

\
|
+ =
|
|
.
|

\
|
+
2
2
2
2
1 ) (
2
1
1 ) (
2
1



donde representamos por C a la otra mitad de la circunferencia que se completa con
+
.
Entonces vemos que

|
|
.
|

\
|
+

z
dz
R
z
e z g
i
Tz
T
2
2
1 ) (
2
1

=


< <
=

2 / 3 2 /
Re
) Re(
) Re(
) Re(
) Re(
) 1 (
2
1

i
z
z T
T z
d
R
z
e
z
e F

=


< <
=

2 / 3 2 /
Re
) Re(
) 1 (
2
1

i
z
T z
d
R
e F

< <

2 / 3 2 /
2
1

d
R
F
5 2
1

< = =
R
F
R
F


En

, se cumple que
=
|
|
.
|

\
|
+

z
dz
R
z
e z g
i
Tz
2
2
1 ) (
2
1

+

|
|
.
|

\
|
+ =

0
2
2
) (
) (
1 ) (
2
1
Ri x
dx
R
Ri x
e Ri x g
i
Ri x T

+
+
|
|
.
|

\
| +
+ + +

+
R
R
yi T
yi
dy
R
yi
e yi g
i


2
2
) (
) (
1 ) (
2
1

+
|
|
.
|

\
| +
+ + +
+
0
2
2
) (
) (
1 ) (
2
1

Ri x
dx
R
Ri x
e Ri x g
i
Ri x T

Como se tiene

+
|
|
.
|

\
| +
+ +

+
R
R
yi T
yi
dy
R
yi
e yi g
i


2
2
) (
) (
1 ) (
2
1

R
R
T
y
dy
e G
2 2
2
1


5 2
1

<

T R
R
T
e G R dy
e G

, tambin

|
|
.
|

\
|
+

0
) (
2
2
) (
1 ) (
2
1
Ri x
dx
e
R
Ri x
Ri x g
i
Ri x T

0
2 2
2
1
R x
dx
e G
xT
5
) 1 (
2
1
0


<

<

R T
G
R T
e G
R
dx
e G
T
xT


y, de forma semajante,

|
|
.
|

\
| +
+ +

+
0
) (
2
2
) (
1 ) (
2
1

Ri x
dx
e
R
Ri x
Ri x g
i
Ri x T

0
2 2
2
1
R x
dx
e G
xT
5

<

llegamos a la conclusin que
) 0 ( ) 0 (
T
g g ( ) +
|
|
.
|

\
|
+

z
dz
R
z
e z g z g
i
Tz
T
2
2
1 ) ( ) (
2
1
+
|
|
.
|

\
|
+ +

z
dz
R
z
e z g
i
Tz
T
2
2
1 ) (
2
1
+

|
|
.
|

\
|
+

0
2
2
) (
) (
1 ) (
2
1
Ri x
dx
R
Ri x
e Ri x g
i
Ri x T

+
+
|
|
.
|

\
| +
+ + +

+
R
R
yi T
yi
dy
R
yi
e yi g
i


2
2
) (
) (
1 ) (
2
1


= <
+
|
|
.
|

\
| +
+ + +

+
5
5
) (
1 ) (
2
1
0
2
2
) (
Ri x
dx
R
Ri x
e Ri x g
i
Ri x T


y esto implica que debe ser 0 ) 0 ( ) 0 ( lim =

T
T
g g .
<

También podría gustarte