Professional Documents
Culture Documents
FUNCIN ZETA
Elaborado por:
DARIO SANABRIA CRUZ
Master en administracin
Ingeniero en Minas
COLOMBIA
BOGOTA, 2007
TABLA DE CONTENIDO
Pg.
1.
2.
2.1
2.2
2.2.1
2.2.2
2.2.3
2.2.4
2.2.5
2.3
2.3.1
3.
4.
5.
1.
Introduccin
Bernhard Riemann (1826 1866), matemtico alemn trabajo en el anlisis geomtrico y
del plano complejo. Dentro de sus trabajos se destaca la funcin zeta de Riemann, la cual es
objeto de estudio. Despus de su muerte se descubrieron trabajos de Riemann (manuscrito,
1859), en el cual se establece la hiptesis sobre la funcin zeta. La hiptesis manifiesta que
todos los ceros no triviales de la funcin zeta estn alineados a una parte real Re = .
Como soporte de sus investigaciones matemticas, en 2002 C.L. Siegel, examinando sus
papeles encontr que Riemann haba realizado clculos de los ceros pequeos de la funcin
zeta a varios dgitos decimales.
Durante 148 aos, la hiptesis a soportado grandes desarrollos matemticos por expertos en
la materia, apoyados con herramientas tecnolgicas, pero no se ha podido demostrar su
certeza. Lo cierto es que mediante computadores se han logrado calcular alrededor de 1013
ceros no triviales y han utilizado zetagrif para su modelamiento (gourdon, 2004).
Esta investigacin utiliza como prueba fehaciente el manuscrito, pero no desconoce toda la
argumentacin de otros autores, al contrario, sus investigaciones ayudaron a descarta
caminos que no deba seguir. La investigacin concluye con la demostracin de la hiptesis
de Riemann y su certeza extendida a los ceros no triviales puros, indicando que los
argumentos de Riemann en su manuscrito son verdaderos.
La prueba requiri de un conocimiento mas avanzado de varias investigaciones que se
adelantan desde 1990 aproximadamente, sobre teoras de la congelacin de espacio y
tiempo.
Objetivo
Dar solucin a la hiptesis de Riemann - funcin zeta sobre la alineacin de los ceros no
triviales en el plano complejo.
Metodologa
Para probar la hiptesis fue necesario dejar de lado toda la argumentacin existente sobre la
conjetura por identificar errores de fondo e iniciar de ceros. Primero se parti de encuadrar
el problema y sus imgenes para poder desglosarlo utilizando tcnicas muy simples. Cada
vez que se avanzaba en la solucin se utilizaba la ley de los contrarios para probar su
certeza, soportado con conocimientos de interrelacin de espacio y tiempo, relacin
espacial, mecnica espacial y cuntica referente a teoras nuevas de congelacin de espacio
y tiempo con planos complejos conjugados. Desarrollo de algunos algoritmos en Visual
Basic, modelamiento y simulacin en Derive.
Campos obligatorios de conocimiento:
Anlisis complejo, teora Riemannian - Weirstrass Einstein.
Superficies, ecuaciones y series Cauchy Riemann
Series e integrales de Fourier y Jacobianos
Trabajos de aplicacin Euler Cauchy
Teorema de Stokes`s
Trabajos sobre series y teora del nmero de Dirichlet
Teora, formulacin e integracin de Poisson`s
Teora de variacin y polinomios de Legendre
Para poder atacar el problema se realizo un estudio del nmero primo llegando a su
formulacin y correlacin logartmica, luego realizamos el estudio de la funcin simtrica
determinando su comportamiento y tendencia parte real e imaginaria. Con estas bases se
estudia la funcin asimtrica concluyendo con la misma tendencia de la parte real e
imaginaria comprobando as la hiptesis de Riemann.
Debido a que no poseemos las herramientas tecnolgicas adecuadas, retomamos el
modelamiento de la funcin zeta de la pgina web de MathWorld por hallarse mas
completa con los atributos de la funcin (http://mathworld.wolfram.com).
2.
HIPTESIS DE RIEMANN
La hiptesis de Riemann indica que los ceros no triviales de la funcin zeta (s ) estn
alineados en s = + it correspondiente a una lnea critica, tales que ( s ) = 0 en el plano
complejo. La funcin zeta de Riemann viene dada por:
(s ) =
(2.1)
para S > 1
n =1
Desde 1837, Euler dedujo el comportamiento de los nmeros primos basados en el cociente
de los productos y los correlaciono con los cocientes de los nmeros enteros positivos,
segn la siguiente expresin:
(1 p s ) 1 =
(2.2)
para S > 1
n =1
(t ) =
(s / 2) (s-1)
s / 2
( s) , para s = + it
(x) =
x
, para un nmero x suficientemente grande.
log( x) 1,08366
Luego Gauss (1792) afirmo que la cantidad de nmeros primos consecutivos en cada mil
nmeros de la sucesin natural se diferenciaba poco de la integral:
n
(2.5)
Li =
dt
log(t ) ,
de donde Li (x)
t =2
(n) =
n
, en el intervalo (2, n)
ln(n) ln(k )
n = p + c
n=p+c
k
3,5
3,0
2,5
2,0
k
1,5
1,0
0,5
0,0
0
1.000
2.000
3.000
4.000
5.000
6.000
7.000
8.000
9.000
10.000
n = ken/cp
(2.7)
De donde la variable k es una variable recurrente la cual depende del valor de n y del
valor de cp y e es la base del logaritmo natural. Sacando logaritmo natural en ambos
costados de la ecuacin determinamos que la cantidad de nmeros primos se expresa por la
ecuacin (2.6)
Realizando un desarrollo sobre la ecuacin (2.7) de la siguiente forma: elevamos a la
potencia s y pasamos a dividir los miembros de la igualdad y sacamos sumatorias, la
ecuacin se transforma en la funcin zeta de Riemann:
(2.8)
1
=
s
n =1 n
k
n =2
1
e s.n / cp
De esta forma igualamos la funcin zeta con la funcin del comportamiento del nmero
primo, de tal forma que si la funcin zeta es analtica para todo S > 1, la funcin del
nmero primo tambin lo es.
(s )
F1
n
Figura 2.2 Representacin del potencial
Entonces la funcin la podemos expresar por:
(2.9)
F1 = n-s
Hasta aqu sabemos que todas las curvas en D2, se cortan a una elevacin de 45 grados con
una pendiente de m = 1 y desconocemos su orientacin.
Para identificar la pendiente y el punto de corte en D3 de todas las curvas que pasan por Fn ,
determinamos la pendiente con la primera derivada y el punto de corte con la segunda
derivada, las cuales se expresan como:
(2.11)
f = -
(2.12)
f =
s
n s +1
, entonces m = -1
s ( s + 1)
n s+2
Ahora, por extensin analtica de (s ) para > 0 , se comprueba que la funcin zeta es
analtica en > 0 , salvo en S = 1, mediante la ecuacin:
(2.13)
(s) =
s
{x}
- s s +1 dx ,
s 1
1 x
{x} = fraccin de x
(2.14)
ln ( s ) = s
1
f ( x)
dx
x s +1
Recordemos que nuestra pendiente es negativa, es decir m = -1, Riemann la coloca positiva
debido al logaritmo natural, luego esta rotando el sistema, algo favorable cuando se utiliza
transformadas.
(2.15)
n =1
s = + it
s = ( 2 + t2 )1/2
De donde v es un vector unitario en direccin de m y en funcin de t. Entonces, para
determinar los ceros no triviales de la funcin zeta, debemos hacer el potencial igual a cero
y proyectar el valor en el plano complejo con parte real e imaginaria mediante el principio
de Euler:
(s) =
1 1
.
,
n n it
aplicamos z w = e w ln( z )
(2.16)
S, T = t . ln(n), concluimos:
( )(cos(T ) + i.seno(T )) = 0
(2.17)
t1
Intersecto
t2
t3
t4
t5
tn
Intersecto
Intersecto
Intersecto
Intersecto
Intersecto
(2.18)
Por el planteamiento de la ruta alterna. La funcin zeta es igual a un valor real, entonces los
valores de i.seno(-t) y coseno(-t) deben ser iguales para que se cumpla la condicin de la
pendiente m = -1. En la Figura 2.3 se muestra el esquema de la proyeccin.
( )
i.sen(t)
cos(t)
2 /2 = 0,7071067812
coseno(-t ln(n)) = 0
i.seno(-t ln(n)) = 0
* 1/2
* 3/2
* 5/2
* 7/2
* (2n+1)/2
t ln(n) =
=
=
=
=
*0
*1
*2
*3
*n
Grados
Seno (-T)
Coseno (-T)
Por estudio
14,137167
810,0000
-1
20,420352
1170,0000
-1
25,132741
1440,0000
29,845130
1710,0000
32,986723
1890,0000
-1
37,699112
2160,0000
14,134725
809,8601
-0,999997
0,002442
21,02204
1204,4742
-0,824381
-0,566035
25,010858
1433,0166
0,121582
0,992581
30,424876
1743,2170
0,836602
0,547811
32,935062
1887,0401
-0,998666
0,051638
37,586178
2153,5294
0,112694
0,993630
Por Riemann
0,8
0,7
0,6
0,5
0,4
0,3
f(Re, Im)
0,2
1/n^
0,1
0
-0,1
9 10
11 12 13 14
15 16
17 18 19 20 21 22 23 24 25 26 27 28 29 30
-0,2
-0,3
-0,4
-0,5
-0,6
-0,7
-0,8
Periodo (T)
Curva "Re"
Curva "Im"
El lector puede realizar algunos clculos con los valores de los ceros no triviales indicados
en el anexo 2.1, para comprobar dicho comportamiento y verificara por tanteo el valor de
, y notara que todas las curvas reales e imaginarias se alinean con un valor de 0,5
cuando se transita por los ceros no triviales de la funcin. No adjuntamos dichos clculos
por ser muy tediosos y no es el objetivo de este estudio, por consiguiente los calculamos
mediante el siguiente procedimiento por ser ms fcil y entendible.
Figura 2.5 Comportamiento de los ceros no triviales para n = 2
Recordemos que la imagen en 3D de la funcin zeta esta formada por reas altas picos
especialmente cuando n tiende a cero y por reas onduladas tpicas del comportamiento
del seno y el coseno cuando aplicamos la condicin del intersecto. Tambin se forma una
silla, cuando = 0 la funcin toma el valor de ( ) = 1 para todo valor de n, lo que
implica que todas las curvas representadas en la Figura 2.6., se unen a una altura f(Re) =
f(Im) = 1. Tambin se forma una depresin en el primer cero no trivial de la funcin
efecto sifn, tengamos claramente este punto por que es clave.
Para que el lector tenga una imagen clara. Si a la Figura 2.7, al margen izquierdo, le
empalmamos la Figura 2.6 ortogonalmente, se forma una imagen acanalada muy similar a
la mano con los dedos doblados hacia atrs, donde el pulgar forma el primer pico, los
dems dedos las formas onduladas y depresiones, y las intersecciones de los dedos los ceros
no triviales de la funcin. Entonces en cada interseccin de los dedos se forma el efecto
sifn donde se ubican dos ceros no triviales. La mano izquierda representa la zona negativa
de T y la derecha la zona positiva. En el Anexo 2.1, se calcularon los valores de no
donde se ubican los ceros no triviales, el primer cero se ubica en no = 1 y el segundo cero
cuando no = 1,64; y el tercero para no = 2,718, etc. De esta forma concluimos que los ceros
no triviales se pueden calcular mediante la ecuacin (2.20).
T = ln(no),
(2.20)
nc = ln(no) ,
nc = n
( ) =
1
=
n
2 /2 =
1 2
1
*
= 0.5 , entonces:
2
2
2
=
Utilizando la misma construccin para la parte imaginaria f(Im) = 0 se obtiene:
Im =
(s) =
1 1
.
,
n n it
n = (1, 2, 3, 4, .. )
Aplicamos z w = e w ln( z )
( s) = e ln( n ) e it ln( n )
(2.21)
s
f ( z)dz = 0 ,
c
f ( z)
zz
dz = 2if ( z o )
e dz = 0 ,
cos( z )dz = 0 , z
dz = 0
(n = 0, 1, 2, ..)
Utilizando el crculo peridico donde se deben encontrar los ceros no triviales de la funcin
zeta generados por la proyeccin del coseno y el seno (ver Figura 2.9). Obsrvese que el
coseno(T) y el seno(T) generan cada uno dos ceros no triviales en un recorrido 2 i.
so
s1
1
so
p
o
so
so
1
so
1/2
1/2
1/2
1
1
1
3/2
3/2
Coseno(T)
Seno(T)
3/2
Alineacin
Cuando los ceros estn sobre el crculo de lnea continua p = 1, la funcin diverge a 2 ,
por consiguiente los ceros no se alinean sobre la trayectoria C en el dominio conexo D del
plano complejo el cual contiene a so, no cumplen la frmula de Cauchy para funciones
analticas:
z - z0
z1 - z 0
< 1,
s - s0
s1 - s 0
< 1, entonces
- 0
<1
1 - 0
= 1
= 2 /2
= 2 /2
= 2 /2
+ t = ( 2 /2) = 1/2
=t
= 1/2
t = 1/2
Uno puede pensar en realizar otro anillo de convergencia hacia dentro, p = 1/2 , pero no es
posible obtenerlo a partir p = 1 y con la ecuacin de coseno(45) + seno(45) = 1.
Utilizando la ecuacin (2.20 y 2.21), la funcin zeta la podemos expresar en trminos de los
puntos de corte de los ceros no triviales (Anexo 2.1) y en trminos de para obtener el
valor de , veamos:
( s) =
(2.22)
( + i ) =
1
(e )
nc +i
(cos(nc ) + i sin(nc ))
(e nc )
tendencia de la curva real (lnea continua) y la curva imaginaria (lnea punteada). Cuando
n tiende a infinito el valor del exponente (parte real) se aproximara a cero tal como lo
calculamos a partir de la Figura 2.9. Ntese que la funcin diverge para valores menores
cuando es positivo (curvas lado derecho) y tambin diverge para valores negativos de
(curvas lado izquierdo), obsrvese que la parte real para un periodo de 9/2 es cero para
todo sigma (curva lnea azul y negra).
1
(e )
nc + i
< 0,1054
- n ( + i) < ln(0,1054)
n 2,25 para la parte real
pero nc = n
= 1/2
n 9
nc 9/2
T 9/2
Entonces, a esta altura de y = 0,1054 se encuentran alineados todos los ceros mayores e
iguales 9 /2 en el intervalo -14,13716694 T 14,13716694, tal como se puede ver en la
Figura 2.7.
Retomando la parte real de la ecuacin (2.21), se obtiene la siguiente formula:
(2.23)
(cos(nc ))
=0
(e nc )
De donde la funcin coseno siempre toma el valor de cero y el denominador no llega a ser
cero para valores de nc, por consiguiente se aplica el desarrollo del numero primo
establecido al comienzo del estudio como lo extendi Riemann al plano complejo.
Entonces la formula (2.7) se empalma con la formula (2.23) segn su semejanza de
correlacin de variables (ver Tabla 2.2):
Tabla 2.2. Calculo de la cantidad de nmeros primos dado un valor de n
k
1,0000004
1,83156389
2,59964352
2,92602214
2,99294783
2,71808288
2,71828179
k= n / (e^(n / cp))
n*ln(k) / (ln(n)-ln(k)) = 0
4,5364
100
1.000
10.000
100.000
1.000.000
10.000.000.000
cp
0,0
3
25
168
1.229
9.600
78.030
454.011.971
n/p
2,718282
N calculado
1,5000
4
4,50
4,0000
55
100,00
5,9524
385
1.000,00
8,1367
3.418
10.000,00
10,4167
33.412
100.000,00
12,8156
367.906
1.000.000,00
22,0259 3.678.794.463
10.000.000.000,00
e^(n/cp)
k * e^(n/cp) = n
ln(k) + (n/cp) = Ln(n)
De la Tabla 2.2, la formula n*ln(k) / (ln(n)-ln(k)) = 0 establece el cero para la funcin del
numero primo, la ecuacin se hace cero cuando el ln(k) = 0, es decir cuando la constante
recurrente k converge a 1, entonces: n*ln(k) = 0. Aplicando Cauchy tenemos:
n - n0
n < 1*n, de donde n es el exponente
n1 - n 0
n/2
(2.24)
n/2
n
) n
y debe cumplir f( ) = (e
ln(n)
35
30
f()
25
Zigma
Converge
20
f(0,4)
f(0,45)
f(0,5)
15
m= 1
f(1)
10
5
Diverge
0
0
10
11
12
13
14
15
T 9/2
Entonces los ceros no triviales se calculan mediante la expresin:
(2.25)
(2.26)
Tc =
4T
9
2
4T
8
2
ceros totales,
Tc =
4T
+1
2
ceros tericos
(2.27)
Tc =
T
T
T
ln( )
2
2
2
En la Tabla 2.3, se relacionan los ceros no triviales calculados por el estudio y los ceros
calculados por la ecuacin de Riemann. Las diferencias resultan por que el logaritmo
natural aplica en la ecuacin de Riemann al comportamiento de los ceros no triviales.
Tabla 2.3. Cantidad de ceros no triviales en un periodo T
T
10
100
1.000
10.000
100.000
1.000.000
Reales
0,0
27,3
313,8
3.178,6
31.826,5
318.305,4
Estudio
Imaginarios
Totales
0,0
0,0
28,3
55,7
314,8
628,6
3.179,6
6.358,2
31.827,5
63.654,0
318.306,4 636.611,8
Riemann
Tericos
Totales
7,4
-0,9
64,7
28,1
637,6
647,7
6.367,2
10.142,1
63.663,0
138.067,7
636.620,8 1.747.144,6
yo
xo
s =
2/2
M = seno( ) / coseno( ) = 1
+ t = s = 0,5
= s * cos( ) = 2 / 2 * cos(45) =
2 /2* 2 /2
2 /2* 2 /2
= g( + it)a
P(h)
= h( + it)b
= f(2 ).f(2it)
( + it ) =
(2.28)
Pretender desarrollar esta ecuacin de 4 variables es muy difcil, primero por que no
entendemos cual seria la relacin entre variables en la medida que se realizan los clculos y
segundo por que tiene que ir formando una secuencia infinita de sumatorias para cada valor
de n en el plano complejo, pero si la expresamos segn su parte real y su parte
imaginaria, la entendemos mejor:
(0,5 + it ) =
+
+ ................... +
Figura 2.13. Distribucin de los ceros no triviales parte real funcin coseno
De igual forma se procedi para la funcin seno, obtenindose una distribucin irregular,
pero con una cantidad de picos de menor altura que los picos de la funcin coseno (ver
Figura 2.14).
Ahora cruzamos las funciones de coseno y seno en la Figura 2.15 para determinar cual es el
comportamiento de los ceros. Cuando el coseno se hace cero el seno toma un valor
tendiente a la parte mas alta y viceversa (puntos 15, 20, 25 y 36) mientras que existen unos
puntos donde los ceros estn prximos uno de otro (alrededor del 14, 21, 30 y 37).
Se realizaron una variedad de graficas para diferentes valores de n, en la medida que n
es grande los ceros se desplazan respecto a los ceros de (n n1), lo cual implica que los
valores de los ceros no triviales son flotantes y siempre son nmeros irracionales.
Figura 2.14. Distribucin de los ceros no triviales parte imaginaria funcin seno
cos(t ln(n))
=0
ln( n )
e
n =1
(2.29)
i sin(t ln(n))
=0
ln( n )
e
n =1
(2.30)
n =1
n=1
Y, respectivamente determinamos los ceros no triviales a partir del siguiente desarrollo para
la curva real e imaginaria :
2
(2.31)
cos(t ln(n))
( ) =
= 0,
e ln( n )
n=1
parte real
sin(t ln(n))
(t ) =
ln( n )
= 0,
e
n
=
1
parte imaginaria
e 0.5 ln(n ) = t
0,5 ln(n) = ln(t)
Ln(n) = 2 ln(t),
T = t * ln(n),
(2.32)
t ln(n) =
ln(n) = 2 ln(t )
t=
2 ln(t )
( + it ) P1 =
(2.33)
2 ln(t )
Pero si queremos obtener los ceros no triviales de mayor precisin, utilizamos un valor a un
ms decreciente para un valor de t:
)
( + it ) P2 =
2 ln(t )
(2.34)
Entonces los ceros no triviales de la funcin zeta (lnea azul) se ubican en una banda de
menor precisin entre cero y P1 lnea negra y una banda entre cero y P2 de mayor precisin
lnea roja (ver Figura 2.16). Los ceros no triviales para la funcin coseno, seno y la funcin
zeta se observan en el Anexo 2.2 utilizando un n = 240 finito.
P1
P2
Figura 2.18. Alineacin de los ceros de la funcin zeta para diferentes valores de zigma
Continuando con el desarrollo de la ecuacin (2.31), debe cumplir que la sumatorias del
coseno y seno debe ser cero:
(2.35)
cos(t ln(t )) = 0
i sin(t ln(t )) = 0
n =1
n =1
cos(
t
ln(
t
))
+ sin(t ln(t )) = 0
n=1
n =1
Las dos sumatorias de la ecuacin (2.35), representan dos integrales fcilmente calculables
entre cero y t:
t
(2.36)
sin(t ln(t ))
ln(t ) + 1
cos(t ln(t ))
ln(t ) + 1
(2.37)
Cuando t es menor de 25 y n tiende a ser finito, los ceros pueden estar por debajo de la
precisin de 0,50 acercndose al limite P3, por debajo de este valor no bajan mas (ver
Figura 2.19).
Si, deseamos que los ceros no triviales ondulen durante todo el recorrido de t,
modificamos el denominador en la ecuacin (2.37), obtenindose una onda que no
sobrepasa los limites de P1 y P2 sobre la cual pueden caer los ceros no triviales de acuerdo a
la precisin con que se calcule la funcin zeta para n. Entonces la precisin modificada
Pm es:
2
(2.38)
ln(t ) 1 ln(t ) m 1
(2.39)
cos(t ln(t ))
(2.40)
i
0
n
sin(t ln(t ))
n
dt =
sin(t ln(n))
dt = i
n ln(n)
cos(t ln(n))
n ln(n)
1
n ln(n)
(2.41)
= i
=
=
(e
i ln( n )
e i ln( n )
n ln(n)
(cos( ln(n)) + i sin( ln(n)) cos( ln(n)) i sin( ln(n)) )
n ln(n)
(cos( ln(n)) + sin( ln(n)) cos( ln(n)) + i sin( ln(n)) )
n ln(n)
2 sin( ln(n))
n ln(n)
cos(t ln(t ))
(1 )n1 cos(t ln(n)) n1 t sin(t ln(n))
(1 )
dn
=
+ 2
2
1 n
2
2
2
t + (1 )
t + (1 )
t + (1 ) 2
n
(2.42)
(2.43)
i
1
sin(t ln(t ))
n
2
dn = i 2
2
2
2
2
t + (1 )
t + (1 )
t + (1 )
Si, realizamos el siguiente desarrollo de forma general, comprobamos los valores de sigma
y t aplicando el desarrollo de Fourier para el denominador:
(2.44)
n =1
1
n + it
1 it 1
n 1 it 1
= (1 it )
dn =
2
2
1 it
(1 ) 2it (1 ) t
1 s 1
1
n 1 s 1
(
)
=
=
dn
1
s
2
ns
1 s
(1 s )
n =1
1 it 1 = 0
1 it = 0
Cuando 1 y t = 0, nos genera un punto de corte de la curva imaginaria con el eje del
exponente donde (1 + 0) 0 para todo valor de n debido al ln(1) = 0, pero nos genera
infinitos ceros no triviales para valores de 0,5 .
La alineacin de los ceros no triviales ocurre cuando 1 it = 0 donde la curva real e
imaginaria se intersectan y la funcin se hace cero (pendiente m = 0). Utilizando Pitgoras,
nos genera una ecuacin cuadrtica de la forma:
(2.45)
2 2 2 + (1 s 2 ) = 0
1 1
= i
2 2
1 1
t= i
2 2
Luego todos los ceros no triviales de la funcin zeta se alinean cuando = 0,5 y todos los
ceros no triviales puros tambin se alienan cuando = 0,5i en el plano complejo.
En la Figura 2.21, se muestra la parte real (lnea fina) e imaginaria (lnea gruesa punteada)
de la elipse de convergencia en funcin de la variable compleja s. Obsrvese que la
alineacin ocurre en un intervalo 2 / 2 S 2 / 2 (lnea azul) y la curva de t se
intersecta en los limites de dicho intervalo (lnea roja) S = 0,5 donde la parte imaginaria de
t construye un circulo haciendo la parte real cero.
Cuando graficamos los ceros no triviales parte real e imaginaria en 3D, la curva tangente
del efecto sifn es aproximadamente (por Cauchy):
+ t 1
+ t +1
Lo que implica que cuando t = 0, la curva pasa por el polo S = = 1 y zeta es asinttica a 1
cuando , luego los puntos mas bajos tendrn una aproximacin menor a 1. Cuando
t = 0,5 la curva de mnimos pasa por = 0,5 y la parte imaginaria se hace cero.
En el Anexo 2.2, se determinaron los ceros no triviales parte real e imaginaria y los ceros
de la funcin zeta producto del modelamiento segn el software Derive. Tambin se indica
la precisin y P2 calculada para un n finito.
Utilizando la ecuaciones (2.42 y 2.43), se diseo un algoritmo en Visual Basic para el
calculo de los ceros no triviales parte real e imaginaria para un n finito y un n grande
(n= 1*10^306). De igual forma se diseo otro algoritmo para calcular los ceros de la
funcin zeta a partir de la ecuacin (2.30) con resultados muy similares a los de la
simulacin por Derive (ver Anexo 2.3).
Considerando nicamente la parte real de y t. Cuando n es pequeo se obtienen
ceros no triviales parte real e imaginaria y la funcin zeta obtiene ceros con una precisin
menor a 0,3 en un intervalo t2 t1. Cuando n es grande (n = 1*10^306) se obtienen
muchos ceros no triviales parte real e imaginaria y la funcin zeta no obtiene ceros en el
intervalo t2 t1 (ver Anexo 2.3). Cuando n tiende a infinito se obtienen infinitos ceros no
= 1,0
n = 240
Zeta
14,399100
21,246300
24,939400
30,579100
32,873000
37,600900
40,962000
= 1,0
n = 5.000
Zeta
14,445800
21,162500
24,913900
30,696900
32,924500
37,547000
41,043900
<1
<1
(2.46)
2 n cos(t ln(n))
2 n sin(t ln(n)) 16 nt cos(t ln(n))
+c
dt =
2
4t + 1
(4t 2 + 1) ln(n)
(4t 2 + 1) 2 (ln(n) 2
2
c=
Si continuamos integrando, vemos que se forma una secuencia infinita de integrales cada
vez ms difciles de desarrollar, y se van encontrando factores semejantes a los desarrollos
de algunos autores. De igual forma encontramos que el sistema tiende a infinito debido
especialmente al periodo t ln(n), luego la forma de encontrar los ceros no triviales es
mediante el desarrollo de un algoritmo que aproxime la funcin zeta a cero. Sin embargo, el
lector lo puede hacer mediante una tabla dinmica de clculo y notara que cuando n =
65.000 los ceros no triviales tienen una precisin de Pm correspondientes a las partes bajas
de la curva de la Figura 2.20 y la gran mayora estarn por debajo de P2.
Densidad de ceros:
Para calcular la densidad de ceros no triviales de la funcin zeta asimtrica Tcza,
retomamos la ecuacin (2.32) donde el periodo es t ln(t). El nmero de ceros en un
recorrido 2 en direccin de = 0,5 , es igual al nmero de ceros existentes en un valor
t por el logaritmo natural del nmero de ceros menos la cantidad de ceros hasta el valor
t.
Tcza =
(2.47)
t
t
t
ln( )
2
2
2
(2.48)
Tcza =
t
t
t
ln( ) 1,08280126
2
2
2
Si hacemos coincidir la escala de la Figura 2.22 con la Figura 2.23, vemos que si
corresponde con las ondulaciones, pero no cumple con la Figura 2.18 cuando t tiende a
cero la funcin zeta es creciente.
Cuando y = 0 se observa una curva correspondiente al primer pico, luego por la regla de las
uve, en cada cero no trivial debe existir una uve formada por el efecto sifn, si cumple.
Notemos que la proyeccin de las curvas de las uve van y vienen de la parte negativa de
x y que estn distribuidas paralelamente, caso en que la Figura 2.22 no tiene dicha
extensin, no cumple. Sin embargo es la figura que mas se ajusta a los clculos.
Acotemos, que los ceros no triviales se generan cuando se realiza un corte horizontal a una
elevacin aproximada de cero y que por construccin isomtrica las curvas real e
imaginaria se cortan. En la Figura 2.7, si colocamos de forma horizontal dos uve
acoplado al plano vertical sobre el eje T, notaremos que se cortan las uve en los puntos
prximos a los vrtices formando una W, ya que la curva imaginaria y real estn
desfasadas un periodo t. Este efecto hace que los vrtices de las curvas reales (lneas
azules) formen una campana sobre el plano horizontal muy similar a la distribucin normal
(campana de Gauss).
El lector puede realizar algunos clculos con los valores de los ceros no triviales indicados
en el anexo 2.1 y 2.2, y notara que la pendiente en cada punto es igual a cero. Luego
realizara clculos para comprobar dicho comportamiento y verificara por tanteo el valor de
, y notara que todas las curvas reales e imaginarias se alinean con un valor de 0,5
cuando se transita por los ceros no triviales de la funcin. No adjuntamos dichos clculos
por ser muy tediosos y no es el objetivo de este estudio.
2.3 SOLUCIN
2.3.1 Lnea critica
Entonces, la funcin que representa los ceros no triviales queda expresada por:
(2.49)
s = + it
s= i
Realizando el siguiente desarrollo encontramos los posibles valores de n para los cuales
el potencial es igual, veamos: La ecuacin de la segunda derivada la igualamos con la
ecuacin del potencial total, obtenemos:
s ( s + 1)
1
= s
s+2
n
n
s ( s + 1) = n
= 0,5
Potencial
= 0,9540
E
= 0,6035 * m
C
= 0,7768 km/seg
El potencial corresponde a la parte mas alta de la Figura 2.6 del punto de inicio y la
velocidad de llegada es diferente de cero. Luego una interpretacin es considerar el espacio
como complejo en movimiento ms no esttico, entonces podemos considerar que el
espacio se mueve a 0,7768 km/seg con un potencial de 0,9540 (unidades por definir). Otra
alternativa es comparar el potencial con la funcin Gama y curvarlo segn el tamao de la
masa m. Entonces, la forma del espacio de Einstein es homolog al de la figura 2.10.
Solucin:
Hasta aqu hemos demostrado que todos los ceros no triviales de la funcin zeta de
Riemann estn alineados por una parte real Re = 1/2 y una parte imaginaria Im = it; y la
funcin se alinea cuando la parte imaginaria tiende a Im = 1/2 y la funcin (t ) = 0 en un
recorrido 2 i . Entonces la hiptesis de Riemann es verdadera.
3.
CONCLUSIONES
4.
BIBLIOGRAFA
APOSTOL, Tom M,. Clculos, calculo con funciones de una variable con algebra lineal.
Mxico 2002.
BOMBIERI. E,. Problemas del milenio. Hiptesis de Riemann. Documento Instituto Clay.
Web: claymath.com. Ao 2007.
CALDERON, Catalina. La funcin zeta de Riemann. Real academia de Zaragoza.
Departamento de matemticas, Universidad del pas Vasco. Espaa 2002.
INSTITUTO CLAY. Publicaciones adscritas al tema de los problemas del milenio.
Hiptesis de Riemann. Web: claymath.com. Ao 2007 .
INSTITUTO CLAY - MathWorld. Publicaciones adscritas al tema de los problemas del
milenio. Hiptesis de Riemann. Web: (http://mathworld.wolfram.com), ttp://claymath.com.
Ao 2007 .
KREYSZING, Edwin. Advance engineering mathematics. Jhon Wiley. New York. 1964
KREYSZING, Edwin. Matemticas avanzadas para ingeniera. Tomo I y II, Editorial
Limusa Willey. Mxico 2001.
RIEMANN, George F,. Manuscrito original de la hiptesis. Alemania 1859.
SARNAK, Peter,. Documento nmeros primos, problemas del milenio. Documento
Universidad de Princeton, departamento de matemticas. Ao 2006.
SARNAK, Peter,. Hiptesis de Riemann, problemas del milenio. Documento Universidad
de Princeton, departamento de matemticas. Ao 2004.
KASMIER, Leonardo. Estadstica Aplicada a la Administracin y a la Economa. Editorial
Mcgraw-Hill, tercera edicin. Mxico 2001.
5.
ANEXOS
Grados
no
-42,41150083
-40,84070450
-39,26990818
-37,69911185
-36,12831552
-34,55751919
-32,98672287
-31,41592654
-29,84513021
-28,27433389
-26,70353756
-25,13274123
-23,56194491
-21,99114858
-20,42035225
-18,84955592
-17,27875960
-15,70796327
-14,13716694
-12,56637062
-10,99557429
-9,42477796
-7,85398164
-6,28318531
-4,71238898
-3,14159265
-1,57079633
0,00000000
1,57079633
3,14159265
4,71238898
6,28318531
7,85398164
9,42477796
10,99557429
-2430
-2340
-2250
-2160
-2070
-1980
-1890
-1800
-1710
-1620
-1530
-1440
-1350
-1260
-1170
-1080
-990
-900
-810
-720
-630
-540
-450
-360
-270
-180
-90
0
90
180
270
360
450
540
630
1,37096E-06
2,26033E-06
3,72665E-06
6,14421E-06
1,01301E-05
1,67017E-05
2,75364E-05
4,53999E-05
7,48518E-05
0,00012341
0,000203468
0,000335463
0,000553084
0,000911882
0,001503439
0,002478752
0,004086771
0,006737947
0,011108997
0,018315639
0,030197383
0,049787068
0,082084999
0,135335283
0,22313016
0,367879441
0,60653066
1
1,648721271
2,718281828
4,481689069
7,389056096
12,18249396
20,08553691
33,11545194
12,56637062
720
54,59815
14,13716694
810
90,01713123
15,70796327
900
148,413159
17,27875960
990
244,691932
Coseno(-T)
Seno(-T)
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18,84955592
1080
403,4287931
20,42035225
1170
665,1416323
21,99114858
1260
1096,633157
23,56194491
1350
1808,042412
25,13274123
1440
2980,957983
26,70353756
1530
4914,768833
28,27433389
1620
8103,083915
29,84513021
1710
13359,72681
31,41592654
1800
22026,46576
32,98672287
1890
36315,50261
34,55751919
36,12831552
37,69911185
39,26990818
40,84070450
42,41150083
43,98229716
45,55309348
47,12388981
48,69468614
50,26548246
51,83627879
53,40707512
54,97787144
56,54866777
58,11946410
59,69026043
61,26105675
62,83185308
64,40264941
65,97344573
67,54424206
69,11503839
70,68583471
72,25663104
73,82742737
75,39822370
76,96902002
78,53981635
80,11061268
81,68140900
83,25220533
84,82300166
86,39379798
87,96459431
1980
2070
2160
2250
2340
2430
2520
2610
2700
2790
2880
2970
3060
3150
3240
3330
3420
3510
3600
3690
3780
3870
3960
4050
4140
4230
4320
4410
4500
4590
4680
4770
4860
4950
5040
59874,1416
98715,77082
162754,7911
268337,286
442413,391
729416,3682
1202604,281
1982759,259
3269017,364
5389698,462
8886110,496
14650719,39
24154952,68
39824784,28
65659968,94
108254987,4
178482300,4
294267565,1
485165193,8
799902174,7
1318815730
2174359546
3584912833
5910522041
9744803408
16066464657
26489122022
43673178917
72004899033
1,18716E+11
1,9573E+11
3,22704E+11
5,32048E+11
8,77199E+11
1,44626E+12
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
89,53539064
91,10618697
92,67698329
94,24777962
95,81857595
97,38937227
98,96016860
100,53096493
102,10176126
103,67255758
105,24335391
106,81415024
108,38494656
109,95574289
111,52653922
113,09733554
114,66813187
116,23892820
5130
5220
5310
5400
5490
5580
5670
5760
5850
5940
6030
6120
6210
6300
6390
6480
6570
6660
2,38447E+12
3,93133E+12
6,48167E+12
1,06865E+13
1,7619E+13
2,90488E+13
4,78935E+13
7,8963E+13
1,30188E+14
2,14644E+14
3,53887E+14
5,83462E+14
9,61966E+14
1,58601E+15
2,61489E+15
4,31123E+15
7,10802E+15
1,17191E+16
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
"
Suma de Coseno
Suma de Seno
0
0
Precisin
P2
0,14
0,51
0,1
0,36
0,42
0,27
0,32
0,25
29,3737
29,8888
30,4343
30,7777
33,2828
32,707
37,2474
40,7676
41,1969
43,0454
43,5909
47,3838
48,101
49,9545
50,2373
55,8585
56,0505
58,9343
59,3983
61,1414
61,8283
64,5808
65,2222
67,0656
67,3989
69,4191
69,8484
71,8989
72,2777
74,9444
75,66162
79,4596
80,02525
82,3838
30,6111
31,33838
31,76768
32,21212
32,93434
35,62121
37,5454
39,1414
41
42,5
43,24243
45,55052
47,86869
48,5101
49,33838
49,71717
51,75758
52,69697
54,69697
56,74747
57,62626
59,26269
59,91919
60,40909
63,12121
65,06566
65,70202
67,16667
68,45455
69,5656
71,15152
72,02525
73,63636
75,51516
75,99495
76,9596
78,7424
79,4494
81,12121
29,90909
30,62626
0,16
0,18
0,21
0,21
31,7778
0,5
0,21
32,87879
0,5
0,20
37,57576
0,32
0,19
41,0101
0,26
0,18
43,20202
0,42
0,17
49,25253
49,87879
0,18
0,1
0,16
0,16
52,68687
0,14
0,16
56,17172
56,80808
0,28
0,4
0,15
0,15
59,29293
0,14
0,15
60,4242
61,13131
0,08
0,26
0,15
0,15
65,13131
0,32
0,14
67,15152
0,1
0,14
69,56566
0,2
0,14
72,0101
0,16
0,13
75,61616
0,24
0,13
77,26263
79,45455
0,16
0,02
0,13
0,13
82,93434
82,9899
0,06
0,13
84,65657
87,59596
88,86869
0,28
0,04
0,33
0,13
0,12
0,12
92,53535
0,26
0,12
94,70707
0,06
0,12
95,80808
0,09
0,12
98,80808
0,1
0,12
101,3838
0,1
0,12
103,7879
0,02
0,11
105,3737
0,01
0,11
107,1818
0,16
0,11
83,00505
83,71717
84,40709
84,8585
88,8232
89,5505
92,00505
92,60605
95,7777
96,42929
103,601
103,7576
105,3636
105,4242
84,64646
87,58586
88,46465
88,97475
90,75758
92,48485
93,11111
94,7222
95,35859
95,85354
97,72222
98,80808
99,98485
101,3838
102,2677
103,7879
104,5303
105,3737
240
Im
0,763943
1,357583
1,972383
2,532337
3,135477
3,689647
4,289659
4,841838
5,440572
5,991835
6,589925
7,140692
7,738412
8,288880
8,886368
9,436643
10,033976
10,584118
11,181343
11,731390
12,328536
12,878513
13,475599
14,025523
14,622564
15,172446
15,769451
16,319301
16,916277
17,466100
18,063052
18,612854
19,209787
20,356488
20,906256
21,503160
22,052916
22,649808
23,199553
23,796435
24,346171
240
Zeta
8,8437
10,0335
11,2383
12,4536
15,5417
20,5892
21,3304
29,8514
30,5917
31,8188
32,8931
37,5853
40,9556
43,2537
48,003
49,089
49,8915
53,0932
56,3162
59,3618
60,5534
60,9893
65,1311
67,1592
69,5537
72,0149
75,6493
77,2904
79,4077
82,8969
84,6739
87,3963
88,8369
92,5293
94,7397
95,8508
98,8299
1E+306
Real
0,00671
0,02012
0,04248
0,05589
0,07825
0,09166
0,12296
0,1319
0,14531
0,15425
0,16319
0,17213
0,18107
0,19001
0,19895
0,20789
0,2213
0,23024
0,26152
0,26599
0,28833
0,2928
0,33301
0,33748
0,35088
0,37768
0,38215
0,40448
0,40895
0,44021
0,45361
0,46254
0,55184
0,56077
0,57416
0,60541
0,6188
0,64112
0,6679
0,69468
0,74377
1E+306
Im
0,0313
0,044714
0,058128
0,062599
0,076013
0,089426
0,098368
0,111781
0,125193
0,129664
0,138605
0,147546
0,152016
0,169897
0,187777
0,205656
0,214595
0,259286
0,263755
0,299502
0,308438
0,362048
0,370982
0,429046
0,437978
0,442444
0,460307
0,478169
0,482634
0,49603
0,509425
0,51389
0,59425
0,634424
0,643351
0,652278
0,679058
0,746002
0,804014
0,875407
0,879869
1E+306
Real
3,56234
3,60693
3,65152
3,82542
3,99486
4,28469
4,44967
4,4898
4,57006
4,81084
4,8911
4,93123
5,16755
5,20768
5,47967
5,5956
5,71153
6,01919
6,24659
6,39819
6,54979
6,88866
6,96446
7,07593
7,15173
7,2632
7,56194
7,78488
8,70785
9,51489
9,88051
10,09899
10,2818
10,53595
11,00858
11,22706
12,13219
12,42201
12,78317
13,14433
13,57683
1E+306
Im
5,151944
5,312463
5,753889
6,159643
6,440549
6,614443
7,091536
7,185171
7,207465
7,345688
8,143813
9,463614
9,606295
9,869363
9,909492
9,98975
10,070008
10,110137
10,408875
10,587226
11,273877
11,603826
13,342745
13,418544
13,926843
14,020477
14,395013
14,488647
15,696971
16,214187
16,343491
16,49063
17,409134
17,574108
18,122535
18,305344
19,397739
19,634053
20,160186
20,450005
20,739824
26,937570
28,084150
28,657850
29,804400
32,097470
33,243990
33,816900
34,390510
36,109950
36,683530
39,549480
40,123030
41,842480
42,416010
44,135470
44,708980
45,855460
47,001940
49,294890
52,734300
53,307310
53,880770
56,173700
56,746720
61,332580
64,198920
67,064880
68,784740
70,504250
72,797160
73,370550
74,517000
75,663450
76,236520
76,809900
77,382970
77,956350
79,102800
83,688590
85,408120
87,127930
89,420820
89,993910
91,713710
95,726140
97,445930
25,492772
26,639359
27,236219
27,785933
28,382787
28,932496
29,529345
30,079049
31,225593
31,822434
35,811699
36,408527
38,104718
39,251221
41,544215
42,690707
44,434011
46,130165
46,726978
47,276646
49,019935
54,155489
54,752295
55,301957
57,045228
59,338156
59,887815
60,484618
66,766570
67,913026
70,205936
70,802735
72,498843
75,938199
77,681447
79,377550
81,120796
85,706588
88,549133
90,842025
94,878155
0,75716
0,76162
0,77501
0,77947
0,79732
0,85979
0,8821
0,96241
0,96687
1,03379
1,03825
1,12301
1,12747
1,18992
1,25683
1,26575
1,27021
1,39956
1,40848
1,4174
1,42186
1,43078
1,4397
1,44862
1,5735
1,58242
1,59134
1,60026
1,60472
1,61364
1,62256
1,78757
1,79203
1,90352
1,90798
1,99271
2,08636
2,15325
2,2246
2,22906
2,35838
2,36284
2,42081
2,53675
2,54121
2,86227
0,915563
0,991408
1,004792
1,027098
1,067248
1,07617
1,085092
1,147544
1,165387
1,178769
1,192151
1,214454
1,352727
1,392869
1,41517
1,41963
1,678307
1,731824
1,763042
1,7898
1,838856
1,883452
1,914669
2,066292
2,186696
2,235749
2,249127
2,275883
2,347232
2,427499
2,48101
2,65046
2,788694
3,033945
3,091913
3,163258
3,167717
3,261357
3,265816
3,73847
4,028302
4,095186
4,157611
4,376098
4,469735
4,514324
13,93799
13,97366
14,44183
14,4775
14,94567
15,52085
15,55652
16,1317
16,88523
17,63876
18,64198
18,67765
19,71654
19,75221
21,25481
21,29048
21,32615
23,25679
23,29246
23,32813
36,16933
36,205
36,24067
36,27634
39,6962
39,73187
42,72369
42,75936
45,32314
47,81558
50,05833
52,30108
54,36548
56,46555
58,42294
60,416
62,30205
64,22377
66,03848
67,92453
69,70357
71,51828
73,26165
75,04069
76,74839
80,19946
21,408637
22,166625
22,616959
23,085128
23,642472
24,271156
25,04252
25,060355
26,045739
27,940708
27,958543
27,976378
27,994213
30,134413
30,152248
30,170083
30,187918
32,394999
33,692495
33,71033
34,793806
35,716767
37,348669
40,732859
45,155937
46,163614
47,612707
49,02613
51,26888
54,693198
55,522525
60,7080479
64,5158179
71,1058459
76,4072959
76,7595369
78,1506659
98,019030
3,00942
3,05847
3,15211
3,20116
3,33939
3,38398
3,42857
4,558913
4,643632
4,683762
4,723892
4,799693
4,875494
4,982507
81,94283
83,61486
85,32256
88,66662
90,30298
93,61137
95,2834
98,55612
80,5628479
82,9571949
85,6681129
86,0025189
97,9519598
99,5883198
Precisin
0,09833328
0,20383032
0,32503458
0,470078
0,64325675
0,84066932
0,84994232
0,37380976
0,3225371
0,4462248
0,45734407
0,43276574
0,43930018
0,61167675
0,46357488
0,56217317
0,47612144
0,45473915
0,76041632
0,73236352
0,41220636
0,4815278
0,65247824
0,5271486
0,62412096
0,83687932
0,50997139
0,44182363
0,7477633
0,73639837
0,60317771
0,51958872
0,59473248
0,79776496
0,40969158
0,45432922
0,95285045
0,85077067
0,58257391
0,51741502
0,77343173
0,38814868
n =240
Zeta
131,02390
133,61160
134,55600
138,32410
139,77050
140,96580
143,00840
146,17480
147,36770
150,70700
156,38920
157,69260
158,69540
161,19980
165,66690
167,19240
169,24700
174,76660
176,38860
178,40050
179,78840
185,40730
187,08030
192,96130
195,35100
196,90220
202,49630
204,22500
209,54980
211,78800
213,44460
214,38500
216,00370
219,28750
220,96340
224,21250
229,40320
231,53900
233,48750
237,75020
239,58170
241,01460
Precisin
0,60866341
0,59706892
0,69711804
0,76901479
0,47454338
0,5225476
0,91909839
0,80381512
0,71086668
0,40816915
0,73846236
0,45594141
0,52670599
0,87682849
0,82015258
0,6089069
0,40949947
0,59717801
0,65054911
0,68904028
0,8356238
0,33265541
0,67197934
0,59434974
0,68289216
0,54632164
0,55066526
0,52110931
0,95912102
0,76379637
0,51418658
0,53642832
0,98036053
0,91315541
0,37460225
0,62549346
0,85162691
0,36252325
0,93756381
0,69911332
0,67754681
0,68299363
n = 5.000
Zeta
0,6916
1,3862
2,0861
2,7922
3,5043
4,2222
4,9453
5,6734
6,4063
7,1442
12,4892
13,2457
13,8935
14,4458
20,7229
21,1625
24,9139
30,2978
30,6969
31,4587
32,9245
37,547
41,0439
43,2693
48,0081
48,3695
49,8046
52,9322
56,536
59,5165
60,3271
60,7654
65,2943
67,0148
69,5388
72,0382
75,8755
77,1408
79,2885
Precisin
0,06511023
0,13202305
0,20300609
0,28049207
0,36685892
0,46399242
0,57284572
0,69294468
0,82179859
0,95424679
0,87086087
0,55739547
0,28759224
0,33173041
0,50675876
0,39625264
0,46016096
0,47795289
0,46505394
0,68129249
0,44365805
0,62181566
0,47693908
0,56196879
0,49880132
0,51492533
0,44875958
0,72339334
0,70743324
0,41559172
0,49543073
0,49799275
0,67665674
0,51928178
0,65195806
0,83444984
0,48840123
0,42501706
0,73313082
114,31960
116,17750
118,81070
121,48250
122,99030
129,64140
0,66683581
0,81758576
0,99552505
0,58934944
0,43794725
0,61530581
242,83780
243,72670
248,08360
249,52150
250,84440
255,53600
0,71283848
0,90372611
0,46819735
0,54262093
0,77062147
0,7352833