Está en la página 1de 56

SOLUCIN DE LA HIPTESIS DE RIEMANN

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.

SOLUCIN DE LA HIPTESIS DE RIEMANN FUNCIN ZETA.......................3


HIPTESIS DE RIEMANN ......................................................................................5
NMEROS PRIMOS .................................................................................................6
PRUEBA DE LA HIPTESIS ...................................................................................8
Determinacin de los ceros no triviales - funcin simtrica ......................................9
Determinacin del valor limite de sigma ........................................................24
Solucin por planos conjugados...............................................................................25
Determinacin de los ceros no triviales funcin asimtrica .................................26
Modelamiento de la funcin zeta ..............................................................................39
SOLUCIN ..............................................................................................................41
Lnea critica ..............................................................................................................41
CONCLUSIONES ....................................................................................................43
BIBLIOGRAFA ......................................................................................................44
ANEXOS ..................................................................................................................45

1.

SOLUCIN DE LA HIPTESIS DE RIEMANN FUNCIN ZETA

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

Riemann en su manuscrito de 1859, defini ( s ) a todos los nmeros complejos de s


mediante extensin analtica, excepto para S = 1, obteniendo la expresin:
(2.3)

(t ) =

(s / 2) (s-1)

s / 2

( s) , para s = + it

De donde la parte real Re = y la parte imaginaria es Im = t.


Pero Riemann, en su manuscrito asegura que la funcin (t ) = 0 para la parte imaginaria
1 / 2i , tambin afirma que es probable que todos los ceros reales estn en la regin 2 i.
Un anlisis de la ecuacin (2.3) muestra que (t ) es directamente proporcional al producto
de la funcin de los nmeros primos por la funcin zeta. Bajo este principio Riemann
considero que la superficie del plano complejo es la conjugacin de los dos planos
complejos, el de los nmeros primos y la funcin zeta propiamente dicha. Este punto
tiene gran relevancia para la solucin de la hiptesis.

2.1 NMEROS PRIMOS


Desde Euclides (300 a.c), los nmeros primos han fascinado a todos los investigadores
matemticos en especial a Euler (1749) y a Riemann (1859). Euler logro demostrar que la
secuencia de los productos de los primos converge en la secuencia numrica natural y que
estos son infinitos. De igual forma Riemann centro las investigaciones sobre la extensin
analtica del comportamiento de la secuencia del nmero primo en un intervalo (1, x) a
partir de las formulas de Euler, ecuacin (2.2). Luego Legrende y Gauss se interesaron por
el problema y determinaron el siguiente comportamiento para obtener la cantidad de
nmeros primos:
(2.4)

(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

Al realizar esta investigacin sobre el comportamiento del nmero primo y apoyado en un


computador, se logro disear un algoritmo para su determinacin, claro esto duro
aproximadamente unos cinco das. Llegando a identificar la cantidad de nmeros primos
(n) mediante la siguiente formulacin:
(2.6)

(n) =

n
, en el intervalo (2, n)
ln(n) ln(k )

En un computador se realizaron las simulaciones de la variable k para valores de


n = 620.000 , determinando que no es correlacionable para n < 10.000, su correlacin
logartmica esta alrededor de r = . Para n >10.000 k varia en un rango de 2,84 a 3,0
obtenindose un promedio de k = 2,95293977 y su logaritmo es 1,08280126, de igual forma
su correlacin es r = . En la Figura 2.1 se muestra dicha variacin.
Para obtener la formulacin de (2.6) partimos de la sumatoria de la secuencia natural (n), la
cual es igual a la suma de los nmeros primos (p) ms la suma de nmeros compuestos (c).
Veamos:

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

Figura 2.1 Variacin de la variable k para n < 10.000

En cierta cantidad de nmeros n, existe una cantidad de primos cp la cual nos


determina una escala de la forma n/cp con un comportamiento logartmico, luego el valor
de n se puede expresar de la siguiente forma:

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.

2.2 PRUEBA DE LA HIPTESIS


Certeza:
El autor manifiesta y confirma que la hiptesis de Riemann es cierta al comprobar que
todos los ceros no triviales de la funcin zeta (s ) estn alineados en s = + it .
Prueba:
Imaginemos el plano de la funcin zeta (s ) y pensemos que esta llena por la continuidad
de infinitos puntos, y que cada uno de estos puntos (Fn) tiene informacin sobre el
comportamiento de sus variables n, s y t, el valor que tome la funcin (s ) en este punto
lo llamaremos potencial. Entonces la sumatoria de todos los potenciales puntuales ser
igual al potencial total de la funcin zeta. La representacin de un potencial puntual es
(Figura 2.2):

(s )
F1

n
Figura 2.2 Representacin del potencial
Entonces la funcin la podemos expresar por:
(2.9)

F1 = n-s

Graficando la funcin para s constante y n variable; y luego invirtiendo para n


constante y s variable obtenemos todas las curvas posibles en el plano D2, las cuales se
cortan en los puntos:
(2.10)

(f, n) = (1,-1), (-1, -1), (1, 1), (-1, 1)

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

Con lo anterior se demuestra que la integral en la ecuacin (2.13) es la extensin analtica


de la pendiente, obsrvese que la pendiente es negativa, lo cual nos representa un plano
complejo pendiente a la funcin zeta en el punto Fn . Riemann en su manuscrito utiliza la
pendiente para correlacionar el nmero primo mediante la ecuacin:

(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.2.1 Determinacin de los ceros no triviales - funcin simtrica


En el espacio, se requiere viajar por una ruta alterna desde el punto A hasta el infinito, lo
nico que conocemos es la direccin de la ruta y el potencial, pero no conocemos sus
puntos crticos, luego el viaje seria un desastre. Una analoga de la fsica cuntica nos dice:
para que exista una ruta alterna debe existir una imagen en cualquier lugar del espacio,
situndonos en la superficie de la funcin zeta de Riemann, para determinar los ceros
debemos tomar una ruta alterna pero esta debe tener una imagen, y dicha imagen es la
pendiente, m = -1. Entonces:
Si partimos de los potenciales en funcin de la variable t y teniendo en cuenta la Figura
2.2, obtenemos:

(2.15)

(s ) .v = v1.F1 + v2.F2 + v3.F3 + ..+ vn.Fn


(s ) =

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 )

( s) = ( ).e it ln( n ) , de donde e it = cos(t ) + i.seno(t )


( )(cos(t ln(n)) + i.seno(t ln(n))) = 0

(2.16)

S, T = t . ln(n), concluimos:

( )(cos(T ) + i.seno(T )) = 0

(2.17)

Siendo coseno(-T) la proyeccin de parte real y i.seno(-T) la proyeccin de la parte


imaginaria que componen el vector direccional de cada uno de los potenciales como se
estableci en la ecuacin (2.15). La ecuacin (2.16) representa un anlisis vertical y la
ecuacin (2.17) representa un anlisis horizontal de la funcin zeta, que al conjugarlos
representa un plano complejo donde la funcin se hace cero. Mediante el proceso de tanteo
obtenemos que el nico valor aceptable de sigma es aproximadamente 0,5 para que se
cumpla la condicin del intersecto (ver tabla 2.1). Entonces obtenemos la siguiente
interpretacin:
Tabla 2.1 Conjugacin del anlisis horizontal y vertical
t1
t2
t3
t4
t5
tn

t1
Intersecto

t2

t3

t4

t5

tn

Intersecto
Intersecto
Intersecto
Intersecto
Intersecto

Esto lo podemos tambin interpretar como:


Re ( s ) = ( ) cos(t ln(n)) = 0
Im ( s ) = ( ).i.seno(t ln(n)) = 0

(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)

Figura 2.3 Representacin grafica de la proyeccin


El valor del vector unitario proyectado hacia el plano complejo se obtiene por:
m = seno(t)/coseno(t) = -1
it

coseno2(t) + seno2(t) = 1, retomando Euler: el valor absoluto de e = 1


t = / 180
seno2( ) = coseno2( ) = 0,5
coseno( ) =

2 /2 = 0,7071067812

= 135 180n, por que m = -1 y (n = 1, 2, 3, )


t = 2,3561945 radianes

Entonces el periodo 3 / 4 n, representa los puntos de corte de la curva real y la curva


imaginaria, es decir estamos en la parte alta del triangulo con coordenadas ( 2 /2, 2 /2).
Para nuestro estudio requerimos los puntos de corte donde la proyeccin de la funcin seno
y coseno sean iguales a cero. Los desarrollos serian los siguientes:

coseno(-t ln(n)) = 0

i.seno(-t ln(n)) = 0

Para que se cumplan las ecuaciones el ngulo debe ser:


t ln(n) =
=
=
=
=

* 1/2
* 3/2
* 5/2
* 7/2
* (2n+1)/2

t ln(n) =
=
=
=
=

*0
*1
*2
*3
*n

Entonces los ceros no triviales son:


(2.19)

T = [1/2 , 3/2 , ., . (2n+1)/2] para el coseno


T = [0, , 2 , 3 , ..,..., n ] para el seno

En el Anexo 2.1, a partir de 1/2 se realiza la proyeccin de los ceros no triviales en


funcin de T para nmeros positivos y negativos correspondiente al anlisis vertical.
Ntese que si continuamos proyectando, la cantidad de ceros es infinita. En la Tabla 2.2, se
indican las diferencias entre los valores de T calculados por el estudio y los calculados
por Riemann.
Obsrvese que los ceros de Riemann tienen valores de los ngulos en grados con cifra
decimal, lo que implica que corresponden a una funcin asimtrica, ya que no cumpliran
con la condicin del periodo en un recorrido 2 i. Sin embargo, algunos ceros de Riemann
corresponden al punto de corte de la curva real y/o la curva imaginaria con el eje T (ver
Figura 2.4).
En la Figura 2.4, se muestra el comportamiento para la variable T para n = 2 y los puntos
de corte para un periodo de (2n+1)/2 radianes, las curvas del seno y el coseno van y
vuelven desde hasta + . Para cada valor de se obtiene una secuencia infinita de
valores T. Obsrvese que los ceros se hallan cuando la curva del seno y la curva del
coseno cortan el eje del periodo donde se hacen cero, obtenindose un valor constante de
2 / 2 para ( ) . Las curvas se cortan entre si a una altura de seno(135) = 0,5.

Tabla 2.1 Diferencias en los ceros triviales "T"


T

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)

Figura 2.4 Comportamiento de los ceros no triviales T

Curva "Re"
Curva "Im"

Retomando el anlisis horizontal y vertical:


Cuando realizamos un anlisis horizontal obtenemos infinitos ceros no triviales T para
cada valor de n, luego calculamos t mediante la expresin:
T = t ln(n)
Cuando realizamos el anlisis vertical obtenemos infinitos valores de n para cada cero
T, mediante la expresin:
ln(n) = T / t

De la ecuacin (2.18), la funcin ( ) = 1/n no determina ningn cero ya que su


comportamiento es asinttico y/o creciente, luego los ceros no triviales los aporta la
proyeccin del coseno(-T) y i.seno(-T), tambin observemos que la variable T es funcin
directa de .
En la Figura 2.5, se muestran los ceros no triviales t para n = 2, obsrvese que la nica
diferencia es el cambio de amplitud entre ceros, la cual paso a A = /ln(2). Tambin se
obtiene un valor constante de 2 / 2 para ( ) y las curvas se cortan entre si a una altura
de seno(135) = 0,5.

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.

Figura 2.6 Comportamiento grafico de los ceros no triviales en funcin de n

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

Figura 2.7 Comportamiento grafico de los ceros no triviales en funcin de T

T = ln(no),

(2.20)

nc = ln(no) ,

nc = n

Recordemos que por construccin en la Figura 2.3., el valor de ( ) = 2 /2 =


0,7071067812 el cual es igual al valor de f(Re) de la Figura 2.5. Notemos que para cada
valor de n existen infinitos ceros no triviales y que todos se alinean para dicho valor (ver
Figura 2.6 y 2.7).

En la Figura 2.8, se realiza la construccin grafica de la alineacin de los ceros no triviales


para la curva real con n variable. Esto implica que para valores mayores de t = 2,266180
radianes, los ceros se alinean para f(Re) = 0 y la parte imaginaria de la funcin zeta toma el
valor f(Im) = ( ) = 2 /2 . Entonces el valor de sigma es:

( ) =

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 =

Figura 2.8. Alineacin de los ceros no triviales para n variable

Aplicando el principio de las series de potencias de Taylor para la funcin exponencial, la


funcin zeta la podemos expresar como:

(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

Recordemos que e es analtica para todo s, luego converge para un s - s o < 1 , si


hacemos cambio de variable z = s, entonces se cumple para z - z o < 1 que corresponde al
desarrollo de la integral de Cauchy para un domino simple conexo D y una trayectoria
cerrada C, entonces:

f ( z)dz = 0 ,
c

Para doble dominio conexo:

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

Figura 2.9. Circulo de convergencia de los ceros no triviales

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

Entonces so = 1 y s1 = 2 , luego s diverge de so por ubicarse mas halla de la frontera de


integracin C

Por consiguiente la funcin converge cuando el seno y el coseno se proyectan hacia el


circulo punteado, p = 2 /2, bajo esta condicin los ceros no triviales se alinean haca la
frontera interior y la funcin converge a 2 /2, entonces debe cumplir que:
coseno(45) + seno(45)
Coseno(45)
Seno(45)
1
( ) =
n
Entonces so =

= 1
= 2 /2
= 2 /2

= 2 /2

2 /2 y s1 =1, luego s converge a so y se ubica dentro de la frontera C

Desarrollando se obtiene las proyecciones sobre el crculo punteado donde la funcin


converge a 2 /2, entonces:

+ 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 )

Graficando la ecuacin (2.22) para diferentes valores positivos y negativos de ,


obtenemos una aproximacin de X = = 1/2 con un potencial aproximado de Zeta = Y =
0,1054 para dicho punto, luego la funcin converge. En la Figura 2.10, se observa la

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

Figura 2.10. Convergencia de los ceros no triviales en funcin de

Recordemos entonces que por la ecuacin (2.18), la funcin ( ) = 1/n no determina


ningn cero ya que su comportamiento es asinttico y/o creciente, tiende a cero, mas no es
cero absoluto, luego los ceros no triviales en funcin de la parte real depender de un
valor de precisin (concuerda con otros autores el por que no encontraron ningn cero no
trivial). Si aceptamos como ceros una precisin de una altura de ( ) = y = 0,1054
correspondiente a n = 9/2, todas la curvas de los ceros no triviales estarn por debajo de
este valor tal como se observa en la Figura 2.7. Veamos los siguientes clculos:

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*k = 4,5364, para k = 1


n = 9,07

n/2

converge para k 1, semejante a (e ) = n correlacionado


De igual forma, n = ke
con los puntos de corte de los ceros no triviales cuando nc n de la funcin cos( nc ) ,
complementado con la formula de Cauchy. Entonces:
n/cp

Sacando logaritmo y despejando , obtenemos:

(2.24)

n/2
n
) n
y debe cumplir f( ) = (e
ln(n)

Graficando la ecuacin (2.24) para diferentes valores de n y y manteniendo la


condicin de m = 1, se obtiene el primer cero no trivial (punto de corte) donde la funcin
converge. Con la primera ecuacin calculamos a partir de n obteniendo el
comportamiento de la lnea azul, luego calculamos f( ) dando valores a = 0,4 a 0,5
obteniendo las dems curvas. El punto marcado cumple la condicin del intersecto para n =
9 y = 0,49. Entonces, por arriba de m = 1 la funcin zeta converge y por abajo diverge
(ver Figura 2.11).

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

Figura 2.11. Calculo del primer cero no trivial y convergencia


Desarrollando por tanteo los valores aproximados que mas se ajustan son:
n = 9
= 0,49

T 9/2
Entonces los ceros no triviales se calculan mediante la expresin:

T n , con n = (9, 10, 11, 12, .)

(2.25)

Densidad de ceros no triviales:


Para calcular la densidad de ceros en direccin de = 0,5 y en un periodo T, partimos
del hecho de calcular cuantas vueltas (en sentido contrario a las manecillas del reloj) hay en
dicho periodo, sabiendo que en cada vuelta hay 4 ceros no triviales ( 2 imaginarios y 2
reales), menos los ceros que hay hasta un periodo 9/2 , entonces:
Tc = 1 +

(2.26)

Tc =

4T
9
2

4T
8
2

ceros totales,

Tc =

4T
+1
2

ceros tericos

Riemann, en su manuscrito calcula la densidad de ceros totales relacionados con el


logaritmo natural mediante la ecuacin:

(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

En el caso hipottico de aceptar la validez de la formula de Riemann, implicara demostrar


que existen mas ceros en una regin 2i (ver Figura 2.9) que el mismo valor del T, a
excepcin de la primera vuelta que contiene 5 ceros las dems vueltas contienen 4 ceros,
luego la formula de Riemann debe aplicar para el calculo en la direccin = 0,5 y
periodo t que corresponde a la funcin asimtrica de la funcin zeta.

2.2.2 Determinacin del valor limite de sigma


Para determinar el valor de debemos considerar un sistema espacial en equilibrio, s lo
hacemos en la superficie de la funcin zeta tendramos que desarrollar todas las series y
perdemos la objetividad en la precisin, salvo hasta que modelemos el potencial o hasta que
obtengamos un resultado grfico para poder analizar. Luego la solucin que buscamos en el
espacio es un plano complejo conjugado que intersecte la superficie de Riemann en
cualquier punto de tal forma que haga el potencial igual a cero. Una forma es considerar la
ecuacin (2.15) y sobre ella realizar una transformacin para que la pendiente pase a ser
positiva m = 1, entonces nuestro plano conjugado ser transversal al plano de Riemann, tal
como lo realizo l, segn la ecuacin (2.14) sobre la proyeccin analtica de la pendiente.
Un desarrollo comprensible, es solucionarlo mediante el espacio vectorial. Cada uno de los
vectores F1, F2 , F3 , Fn tienen un vector direccional v, realizando el producto cruz
entre ellos obtenemos un vector ortogonal Q con un vector direccional q que para
nuestro caso es un vector transversal a la superficie de Riemann, todos los puntos de los
vectores normales formaran la superficie del plano conjugado que buscamos.
Pero, para nuestra solucin utilizamos nicamente las imgenes, es decir, utilizamos la
pendiente del vector normal, la cual representamos por M, entonces:
M * m = -1, por teorema de rectas perpendiculares
M = (-1) / (-1)
M=1
Tang( ) = 1
= 45 grados
En la Figura 2.12, se indica la proyeccin de y t, a partir del valor de s para un
ngulo de 45 grados, dado que realizamos una transformacin de 90 grados respecto a la
proyeccin de la Figura 2.3,. La variable s toma el valor del vector normal, siendo el
vector normal el producto cruz entre la componente i y j, los cuales forman un ngulo de
135 grados . Entonces:
S=ixj
S = n k,

con i, j, k las componentes del vector S

yo

xo

Figura 2.12 Representacin grafica de la transformacin


n = 1 1 seno( ) = seno(135) = 2 / 2

s =

2/2

M = seno( ) / coseno( ) = 1
+ t = s = 0,5
= s * cos( ) = 2 / 2 * cos(45) =

2 /2* 2 /2

= 0,5 de donde (Re = 1/2)


t = s * sen( ) = 2 / 2 * seno(45) =
t = 0,5 de donde (Im = 1/2)

2 /2* 2 /2

2.2.3 Solucin por planos conjugados


Digamos entonces que el espacio universal esta conformado por una parte real (Re) y una
parte imaginaria (Im), que implicara la proyeccin de su imagen y conformaran los planos
conjugados del espacio mismo. Estamos situados en un punto A, del cual parten infinitos
caminos a un punto lejano B, estas rutas alternas conforman un plano conjugado de s
regido par la funcin zeta de Riemann y sobre el cual tenemos que diagramar la malla del
potencial de las funciones g(s) y h(s) y notemos que g(s) es nuestro plano principal.
Mediante transformacin conjugada debemos determinar para que valores reales e
imaginarios el potencial ser igual, Entonces:

Sea s = + it ; y P el potencial, entonces


P(g)

= g( + it)a

P(h)

= h( + it)b

P(g, h) = g( + it)a * h( + it)b , pasando a igualdad de exponentes


= g( ).g( it). h( ).h(it)
P(f)

= f(2 ).f(2it)

Ahora necesitamos retraer el plano conjugado f al plano principal g, es decir pasar


nuevamente a las funciones iniciales: As, obtenemos valores reales (Re) de = 1/2 e
imaginarios (Im) de t = 1/2, proyectados en un recorrido 2 i.

2.2.4 Determinacin de los ceros no triviales funcin asimtrica


Despus de haber hecho una bsqueda exhaustiva de la parte real de la funcin zeta cuando
es simtrica, se emprende un camino en bsqueda de los ceros no triviales de la funcin
asimtrica cuando T = t*ln(n). Entonces, la ecuacin (2.22) la podemos expresar en su
forma general como:

cos(t ln(n)) + i sin(t ln(n))


e ln(n )
n =1

( + 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 ) =

cos(t ln(1)) + i sin(t ln(1)) cos(t ln(2)) + i sin(t ln(2))


+
e 0.5 ln(1)
e 0.5 ln(2)
+

cos(t ln(3)) + i sin(t ln(3)) cos(t ln(4)) + i sin(t ln(4))


+
e 0.5 ln(3)
e 0.5 ln( 4)

+
+ ................... +

cos(t ln(5)) + i sin(t ln(5)) cos(t ln(6)) + i sin(t ln(6))


+
e 0.5 ln(5)
e 0.5 ln(6)
cos(t ln()) + i sin(t ln()) cos(t ln()) + i sin(t ln())
+
e 0.5 ln( )
e 0.5 ln( )

Con este desarrollo graficamos la funcin coseno obtenindose un comportamiento muy


irregular de los ceros no triviales en la medida que crece t (ver Figura 2.13).

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

Figura 2.15. Integracin de los ceros no triviales parte real e imaginaria

Descomponiendo en factores la ecuacin (2.28):

cos(t ln(n))
=0

ln( n )
e
n =1

(2.29)

i sin(t ln(n))
=0
ln( n )
e
n =1

Y ahora tomando valor absoluto para calcular el valor de la funcin zeta:

(2.30)

cos(t ln(n)) sin(t ln(n))


( + it ) =
+ e ln(n ) = 0
e ln(n )

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

Aun continuamos con unas ecuaciones muy difciles de desarrollar y de calcular.


Recurramos entonces al siguiente arreglo para determinar la relacin entre t y n.
Luego la sumatoria de coseno y seno de la ecuacin (2.31) la podemos extender en funcin
de la variable t
Utilizando el principio de la ecuacin 2.24, determinamos cuanto se desplazan los ceros de
la funcin zeta,

e 0.5 ln(n ) = t
0,5 ln(n) = ln(t)
Ln(n) = 2 ln(t),
T = t * ln(n),

(2.32)

de donde el periodo de la funcin asimtrica es:


entonces reemplazando:
1
T = t ln(t )
2

En el estudio de la funcin simtrica afirmamos que la funcin zeta no puede obtener el


cero absoluto, cuando la suma de coseno sea igual a cero, la suma de seno puede estar en la
parte mas alta, y viceversa, luego debemos utilizar el concepto de precisin, la cual esta
expresada por la relacin que existe entre el periodo y el logaritmo natural para obtener el
valor mnimo de zeta en un desplazamiento , entonces de la ecuacin (2.32) obtenemos:

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.16. Alineacin de los ceros no triviales - funcin zeta

Cuando t crece, el comportamiento de los ceros es mas uniforme y tienden a ubicarse en


la banda P2 P1 generando picos bajos, medios y altos (ver Figura 2.17). Obsrvese que los
ceros se alinean al nivel cero.

Figura 2.17. Alineacin de los ceros no triviales para un intervalo t


En la Figura 2.18 se muestran diferentes curvas para la funcin zeta (n pequeo) donde se
evidencia claramente el efecto sifn. La curva de color verde = 0 se aleja del nivel cero,
la curva azul = 0,5 se aproxima rpidamente al nivel cero y constituye los puntos mas
bajos del sifn, luego la curva roja = 1 sube y la curva negra = 2 se aleja a un ms del
nivel cero. Obsrvese que cuando = 0 la funcin diverge rpidamente de cero.

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)

cos(t ln(t )dt =


0

sin(t ln(t ))
ln(t ) + 1

i sin(t ln(t )dt = i


0

cos(t ln(t ))
ln(t ) + 1

Reemplazando en la ecuacin (2.35) obtenemos el comportamiento de todos los ceros no


triviales de la funcin zeta en los rangos de precisin establecidos:
2

(2.37)

cos(t ln(t )) sin(t ln(t ))


( + it ) = P3 =
+ ln(t ) + 1
ln(
)
+
1
t

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)

cos(t ln(t )) sin(t ln(t ))


Pm =
+

ln(t ) 1 ln(t ) m 1

Figura 2.19. Limite inferior de los ceros no triviales para t pequeo

Desde el punto de vista estadstico, la ecuacin (2.38) representa la desviacin estndar de


la funcin zeta y P2 la varianza. Si realizamos el arreglo de sumar 2 al denominador y
elevamos las funciones coseno y seno al exponente 3, encontramos las emes de la
funcin zeta, que son los intervalos de t posibles.
La Figura 2.20, muestra el comportamiento del desplazamiento de los ceros no triviales en
forma de onda para infinitos estadios de n, lo que implica que los ceros no se desplazan
en lnea recta paralela al eje t (eje x) y zeta (eje y).
Aplicando los conceptos de integral de lnea en la ecuacin (2.30), para cada sumatoria
obtenemos los siguientes desarrollos para t y n:
t

(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)

Figura 2.20. Ubicacin de los ceros no triviales para infinitos estadios de n

Si desarrollamos en un intervalo de ( , ) , obtenemos los ceros no triviales para la


funcin zeta:

(2.41)

0.5 ln( n ) it ln( n )


e
dt = i
e

= 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)

que nos representa todos los ceros simtricos

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

n1 t cos(t ln(n)) (1 )n1 sin(t ln(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):

Figura 2.21. Alineacin de los ceros no triviales - Elipse de convergencia


Minimos =

+ 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

triviales parte real e imaginaria y la funcin zeta es absolutamente divergente ya que el


limite de las sumatorias ecuaciones (2.42 y 2.43) tienden a infinito.
En la Tabla 2.4 se realiza una comparacin de los ceros no triviales parte real e imaginaria
y para la funcin zeta en el intervalo t2 t1. Obsrvese que la distribucin de ceros es
menor (7) cuando = 1,0 y concuerda aproximadamente con la distribucin de Riemann
(para n pequeo), en su manuscrito Riemann toma toda su formulacin con base en s 1 ecuacin (2.3), es decir la funcin se hace cero cuando s = 1 siendo la nica razn
suficiente para dicho polo que = 1,0 y t = 0. En direccin = 1,0 la funcin zeta es ms
simtrica que para = 0,5 (ver Anexo 2.4).
Tabla 2.4. Ceros no triviales para diferentes valores de y t
= 0,5
= 0,5
= 0,5
n =1E+306 n = 1E+306
n = 240
Real
Im
Zeta
14,441830 14,020477
21,254810 21,408637
21,330400
25,042520
30,134413
30,591700
32,394999
32,893100
36,276340 37,348669
37,585300
40,732859
40,955600
Cantidad de ceros en el intervalo(14 - 40):
24
40
9
Precisin de los ceros:
< 0,3
< 0,3
< 0,4

= 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

De igual forma cuando n es grande, la cantidad de ceros no triviales parte real e


imaginaria aumentan considerablemente debido a que el ln(n) crece rpidamente y t
disminuye notoriamente para un periodo T en especial la parte imaginaria. Obsrvese
como transitan los ceros en la medida que nos desplazamos en direccin de n.
Existen otros ceros no triviales de los cuales Riemann no habla en su manuscrito, estos, son
todos los ceros de contorno ubicados sobre todas las V direccionadas hasta menos
infinito y alineados para todos los valores de sigma en el intervalo 0,5 . En la
parte ms baja donde se cortan las W se ubican todos los ceros no triviales de la lnea
crtica de Riemann.
En la ecuacin (2.42), cuando n tiende a infinito y t tiende a cero la parte real tiende a
infinito, es decir, la funcin es creciente. Desarrollemos entonces el primer factor de la
igualdad para la variable "t:

(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=

16 n (1 12t 2 ) cos(t ln(n))


0 (4t 2 + 1) 3 (ln(n)) 2 dt

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

Entonces hemos concluido la misma formula de Riemann deducida en su manuscrito


Si retomamos los desarrollos de la seccin del nmero primo y multiplicamos por t,
podemos calcular la cantidad de ceros no triviales de la siguiente forma:
n
= t ln(n) ln(k )t , homologando n con t
cp
1 2
t = t ln(t ) ln(k )t , pasando a un periodo 2
cp

(2.48)

Tcza =

t
t
t
ln( ) 1,08280126
2
2
2

La cantidad de ceros no triviales para un valor de t se indica en la Tabla 2.3.

2.2.5 Modelamiento de la funcin zeta


He extractado el modelamiento de los ceros no triviales de la pagina web de MathWorld
por hallarse mas completa con los atributos de la funcin zeta
(http://mathworld.wolfram.com), ya que se grafico la funcin en diferentes software
especializado para modelamiento de variables complejas en 3D y los resultados son
sorprendentes todas son diferentes pero se mantienen algunos atributos de control,
adems, por que no es fcil graficar la funcin por los diferentes recursos de memoria y del
nmero de procesadores matemticos que requiere el computador para procesar para un n
finito (faltan recursos tecnolgicos). Por consiguiente los modelos representativos se
quedan acotados al valor de las variables t y n y no representan para las variables
cuando llegan a infinito.
Un atributo de control que se utiliza es el acanalamiento y el efecto sifn que se observa en
la Figura 2.22 comparado con la Figura 2.7 y 2.18 del estudio que representa un corte por
= 0,5. En la medida que nos alejamos de cero las alturas de las ondulaciones deben ir
disminuyendo y no deben sobrepasar la curva de la funcin zeta. Si cumple, por que en la
figura del lado derecho(zeta inversa) los picos representan el efecto sifn y las alturas de las
ondulaciones van disminuyendo.

Figura 2.22 Funcin zeta e inversa en tres dimensiones (fuente: MathWorld)


Otro punto de control es que cuando t = 0 la funcin diverge a 2 en la funcin simtrica y
en la asimtrica es completamente divergente. En la Figura 2.23, se aprecia que para esta
condicin la funcin zeta es aproximadamente 2 que no corresponde para la funcin
asimtrica, sin embargo en la medida que nos alejamos de cero las alturas de las
ondulaciones aumentan, caso que se evidencia en la figura 2.22. Otro punto es considerar la
precisin, en el periodo 0 - 9/2 no debe haber ceros no triviales, si cumple.

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.

Figura 2.23 Corte transversal de la funcin en direccin de = 0,5


(fuente: MathWorld)
En ingeniera cuando utilizamos los planos topogrficos del terreno y realizamos cortes a
una cierta elevacin, quedan dibujadas las curvas de nivel (contornos) del terreno. Al tomar
todas las curvas de los contornos podemos nuevamente representar el terreno en tres
dimensiones. En la Figura 2.24 se observan las curvas a una elevacin de cero las cuales
deben corresponder al grafico de la Figura 2.22.

Figura 2.24 Distribucin en planta de los ceros no triviales


(fuente: MathWorld)

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

Y la funcin se alinea cuando la parte imaginaria tiende a los valores de la regin 1 / 2i ,


entonces s se relaciona como:
(2.50)

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

Desarrollando pasamos a la siguiente ecuacin:


(2.51)

s ( s + 1) = n

Esta ecuacin es fundamental, ya que el potencial depende de la sumatoria de sus


exponentes. Si consideramos a n como la velocidad elevada a una potencia creciente s
y multiplicamos en ambos extremos por la masa, encontramos la ecuacin fundamental de
la energa de Einstein. E = mc. Entonces ser mucha coincidencia que Einstein se basara
en los trabajos de Riemann para fundamentar la teora de la relatividad y la forma del
espacio. Si realizamos la transformacin y dividimos por 2, entonces E = m*s(s+1), lo
que implica que en el espacio la energa en el infinito es igual a la sumatoria de la
proyeccin de la velocidad a la cual se llegara. Veamos:
Por la ecuacin (2.51), calculamos n:
s
= 0,707106
n
= 1,0987

= 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

Se comprob la certeza de la hiptesis de Riemann sobre los ceros no triviales de la funcin


zeta, estos estn alineados en una parte real (Re = ) y una parte imaginaria (Im = ).
La solucin de la hiptesis de la funcin zeta de Riemann se puede expresar por
1 it = 0 donde la curva real e imaginaria se intersectan y la funcin toma el valor de
1 1
1 1
cero absoluto (pendiente m = 0), de donde = i ; y t = i .
2 2
2 2
Se constato que los ceros no triviales de la funcin zeta se ubican en el intersecto del plano
real y el plano imaginario. Por consiguiente existen la misma cantidad de ceros triviales y
ceros no triviales.
La funcin zeta simtrica tiene infinitos ceros no triviales al proyectarse con periodo
(2n+1)/2 y n con (n = 0, 1, 2, 3, ..,), en un recorrido 2 i y la funcin asimtrica
tiene mayor cantidad de ceros debido al periodo t ln(n)
Existe una cantidad infinita de ceros no triviales correspondiente a las extensiones de las
V en direccin de = de las curvas real e imaginaria, los cuales no fueron
contemplados por Riemann.
La densidad de ceros de la funcin zeta esta correlacionada con la formula del nmero
primo y el valor de es muy aproximado al ndice de correlacin de las curvas
logartmicas del nmero primo (r = 1/2).
Algunos investigadores matemticos buscando la solucin de la hiptesis de Riemann
concluyeron que la solucin posible estaba correlacionada con el promedio. Esta idea se
debe descartar.
La solucin de la hiptesis correlaciona el espectro numrico desde hasta en dos
planos (el real e imaginario) y nos muestra que tan lejos estamos de poderlo calcular, de
igual forma aplicando el concepto de potencial nos indica que el limite de la frontera del
espacio es inalcanzable (infinito).
El aporte cientfico de la solucin de la hiptesis radica en que existen ms puntos de vista
para entender la relacin de espacio y tiempo correlacionados con los trabajos de la
relatividad y diseo del espacio de Albert Einstein.

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

ANEXO 2.1 Calculo de los ceros no triviales funcin zeta simtrica


= 0,5
T

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

Anexo 2.2. Ceros no triviales parte real e imaginaria y funcin


zeta asimtrica - Modelamiento
n = 240 y = 1/2
t curva coseno t curva seno Curva Zeta
0,404
0
1,05555
0,762626
1,6464
1,338384
2,2121
1,9343
2,83333
2,5151
3,409
3,126263
4,0707
3,7373
4,5909
4,3333
5,2373
4,9242
5,5656
5,3737
6,2575
5,9393
6,7373
6,4696
7,51019
7,1414
7,9898
7,7333
8,419192
8,9848
8,979798
9,515152
9,8939
10,9019
10,41919
11,13636
11,29293
11,68182
12,15152
12,4697
12,6464
12,9444
13,4292
13,8
13,80808
14,1111
14,7222
14,3585
15,4242
15,16667
15,9393
15,58081
16,5303
16,8737
17,7373
20,0656
20,4343
20,6717
20,99495
20,49495
21,3585
21,5303
21,7828
23,06061
23,7727
24,6767
24,1919
25,29798
24,9697
27,6767
23,75758

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

Anexo 2.3. Ceros no triviales parte real e imaginaria y funcin zeta


asimtrica- Algoritmo
= 0,5
n = 240
Real
0,400310
1,071770
1,662860
2,255620
2,832090
3,414480
3,988250
4,567120
5,140080
5,717280
6,289950
6,866190
7,438760
8,014400
8,586930
9,162160
9,734700
10,309630
10,882180
11,456890
12,029470
12,604000
13,176600
13,751000
14,323630
14,897910
15,470560
16,044750
16,617430
17,191540
17,764240
18,338280
18,911010
19,484990
20,057730
20,631660
21,204430
21,778310
22,924940
23,497740
24,071550

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

ALGORITMO PARA CALCULAR CEROS DE LA FUNCIN ZETA (Hoja Excel)


Sub cerosZeta()
z = 0.5
f=5
SUC = 0
SUS = 0
minimo = 1000000
For t = 0.01 To 100 Step 0.0001
For n = 1 To 240
SUC = Cos(-t * Log(n)) / n ^ z + SUC
SUS = Sin(-t * Log(n)) / n ^ z + SUS
Next n
zeta = ((SUC) ^ 2 + (SUS) ^ 2) ^ 0.5
If minimo < zeta Then
If zeta < 0.5 Then
If c = 1 Then
Sheets("ceros").Cells(f, 7) = t
Sheets("ceros").Cells(f, 8) = zeta
f=f+1
c=2
End If
End If
Else
c=1
End If
SUC = 0
SUS = 0
minimo = zeta
Next t
End Sub

Anexo 2.4. Ceros no triviales funcin zeta asimtrica- Algoritmo


= 1,0
n =240
Zeta
1,03970
2,09350
3,16730
4,26100
5,37270
6,50180
12,63950
13,69380
14,39910
21,24630
24,93940
30,57910
32,87300
37,60090
40,96200
43,23170
48,07070
49,77700
52,93740
56,48030
59,41020
60,53050
65,19850
67,10600
69,53270
72,00170
75,82840
77,07880
79,23420
83,04710
84,67240
87,56080
88,66320
92,59820
94,80010
95,71040
98,83580
101,36310
103,83950
105,38390
107,04430
111,74190

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