Does this normalization of the Riemann zeta function make sense?
$begingroup$
For $c=0$ the following should be true for the $n$-th Gram point:
$$frac{x}{2 pi e}logleft(frac{x}{2 pi e}right) = frac{x}{2 pi e}log left(frac{x}{2 pi e}right) + frac{-c+n}{e}-frac{vartheta (x)}{pi e}$$
and for $c=frac{1}{2}$ it should be true for the $n$-th complementary Gram point. $vartheta (x)$ is the Riemann-Siegel theta function.
That equation can be solved for $x$ like this:
$$x=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
where $W$ is the Lambert W function.
Then name the right hand side the function $f(x)$:
$$f(x)=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
and iterate it as many times as computer power allows. This iteration is the normalizing function that we call $g(n,x)$:
$$g(n,x)=f(...f(f(f(f(x))))...)$$
This should allow us to cut the real part of the Riemann zeta function:
$$Releft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
at complementary Gram points $c=frac{1}{2}$ into a family of functions with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $x=1$.
In case I did not say this correctly, this how it is written in Mathematica:
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
Plot of the superimposed real parts:
where the end points at $0$ and $1$ are complementary Gram points.
The average of the 101 curves looks like this:
This looks very much like the function $1+cos (x+pi )$ on the interval $left[0,2piright]$:
Mathematica code for the normalized real parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-1.3, 6.4}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
We can do the same for the imaginary part of Riemann zeta:
$$Imleft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
Again we look at the family of functions between complementary Gram points $c=frac{1}{2}$ with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $y=1$.
In Mathematica:
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
The plot of the superimposed imaginary parts looks like this:
where the middle common point at $frac{1}{2}$ is at a complementary Gram point.
The average of the 101 curves is:
This again looks like $sin (x)$ on the interval $left[0,2piright]$:
Would such a normalization with the function $g(n,x)$, be any easier to study, than the Riemann zeta function directly?
Mathematica code for the normalized imaginary parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-5, 5}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
analytic-number-theory riemann-zeta fixed-point-theorems experimental-mathematics
$endgroup$
|
show 3 more comments
$begingroup$
For $c=0$ the following should be true for the $n$-th Gram point:
$$frac{x}{2 pi e}logleft(frac{x}{2 pi e}right) = frac{x}{2 pi e}log left(frac{x}{2 pi e}right) + frac{-c+n}{e}-frac{vartheta (x)}{pi e}$$
and for $c=frac{1}{2}$ it should be true for the $n$-th complementary Gram point. $vartheta (x)$ is the Riemann-Siegel theta function.
That equation can be solved for $x$ like this:
$$x=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
where $W$ is the Lambert W function.
Then name the right hand side the function $f(x)$:
$$f(x)=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
and iterate it as many times as computer power allows. This iteration is the normalizing function that we call $g(n,x)$:
$$g(n,x)=f(...f(f(f(f(x))))...)$$
This should allow us to cut the real part of the Riemann zeta function:
$$Releft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
at complementary Gram points $c=frac{1}{2}$ into a family of functions with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $x=1$.
In case I did not say this correctly, this how it is written in Mathematica:
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
Plot of the superimposed real parts:
where the end points at $0$ and $1$ are complementary Gram points.
The average of the 101 curves looks like this:
This looks very much like the function $1+cos (x+pi )$ on the interval $left[0,2piright]$:
Mathematica code for the normalized real parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-1.3, 6.4}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
We can do the same for the imaginary part of Riemann zeta:
$$Imleft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
Again we look at the family of functions between complementary Gram points $c=frac{1}{2}$ with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $y=1$.
In Mathematica:
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
The plot of the superimposed imaginary parts looks like this:
where the middle common point at $frac{1}{2}$ is at a complementary Gram point.
The average of the 101 curves is:
This again looks like $sin (x)$ on the interval $left[0,2piright]$:
Would such a normalization with the function $g(n,x)$, be any easier to study, than the Riemann zeta function directly?
Mathematica code for the normalized imaginary parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-5, 5}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
analytic-number-theory riemann-zeta fixed-point-theorems experimental-mathematics
$endgroup$
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 30 '17 at 21:25
$begingroup$
I have a missing variable $n$. The function $g(y)$ should be $g(n,y)$. $n$ is usually in the Riemann zeta function called $t$ for the quantity of the imaginary variable.
$endgroup$
– Mats Granvik
Jul 31 '17 at 11:50
1
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 31 '17 at 12:04
$begingroup$
@reuns I tried to write $g(x)=f(...f(f(f(f(x))))...)$ in Mathematica but it would parse, so I wrote $g(y)=f(...f(f(f(f(y))))...)$ instead. It is a function composition. $y$ is the seed point for $x$. $n$ is the variable that I feed into the function,.
$endgroup$
– Mats Granvik
Jul 31 '17 at 12:28
1
$begingroup$
The more precise version is $vartheta^{-1}(t)$.
$endgroup$
– reuns
Jul 31 '17 at 12:36
|
show 3 more comments
$begingroup$
For $c=0$ the following should be true for the $n$-th Gram point:
$$frac{x}{2 pi e}logleft(frac{x}{2 pi e}right) = frac{x}{2 pi e}log left(frac{x}{2 pi e}right) + frac{-c+n}{e}-frac{vartheta (x)}{pi e}$$
and for $c=frac{1}{2}$ it should be true for the $n$-th complementary Gram point. $vartheta (x)$ is the Riemann-Siegel theta function.
That equation can be solved for $x$ like this:
$$x=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
where $W$ is the Lambert W function.
Then name the right hand side the function $f(x)$:
$$f(x)=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
and iterate it as many times as computer power allows. This iteration is the normalizing function that we call $g(n,x)$:
$$g(n,x)=f(...f(f(f(f(x))))...)$$
This should allow us to cut the real part of the Riemann zeta function:
$$Releft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
at complementary Gram points $c=frac{1}{2}$ into a family of functions with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $x=1$.
In case I did not say this correctly, this how it is written in Mathematica:
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
Plot of the superimposed real parts:
where the end points at $0$ and $1$ are complementary Gram points.
The average of the 101 curves looks like this:
This looks very much like the function $1+cos (x+pi )$ on the interval $left[0,2piright]$:
Mathematica code for the normalized real parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-1.3, 6.4}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
We can do the same for the imaginary part of Riemann zeta:
$$Imleft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
Again we look at the family of functions between complementary Gram points $c=frac{1}{2}$ with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $y=1$.
In Mathematica:
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
The plot of the superimposed imaginary parts looks like this:
where the middle common point at $frac{1}{2}$ is at a complementary Gram point.
The average of the 101 curves is:
This again looks like $sin (x)$ on the interval $left[0,2piright]$:
Would such a normalization with the function $g(n,x)$, be any easier to study, than the Riemann zeta function directly?
Mathematica code for the normalized imaginary parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-5, 5}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
analytic-number-theory riemann-zeta fixed-point-theorems experimental-mathematics
$endgroup$
For $c=0$ the following should be true for the $n$-th Gram point:
$$frac{x}{2 pi e}logleft(frac{x}{2 pi e}right) = frac{x}{2 pi e}log left(frac{x}{2 pi e}right) + frac{-c+n}{e}-frac{vartheta (x)}{pi e}$$
and for $c=frac{1}{2}$ it should be true for the $n$-th complementary Gram point. $vartheta (x)$ is the Riemann-Siegel theta function.
That equation can be solved for $x$ like this:
$$x=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
where $W$ is the Lambert W function.
Then name the right hand side the function $f(x)$:
$$f(x)=2 pi e exp left(Wleft(frac{-c+n-frac{vartheta (x)}{pi }+frac{x log left(frac{x}{2 pi e}right)}{2 pi }}{e}right)right)$$
and iterate it as many times as computer power allows. This iteration is the normalizing function that we call $g(n,x)$:
$$g(n,x)=f(...f(f(f(f(x))))...)$$
This should allow us to cut the real part of the Riemann zeta function:
$$Releft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
at complementary Gram points $c=frac{1}{2}$ into a family of functions with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $x=1$.
In case I did not say this correctly, this how it is written in Mathematica:
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
Plot of the superimposed real parts:
where the end points at $0$ and $1$ are complementary Gram points.
The average of the 101 curves looks like this:
This looks very much like the function $1+cos (x+pi )$ on the interval $left[0,2piright]$:
Mathematica code for the normalized real parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-1.3, 6.4}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Re[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
We can do the same for the imaginary part of Riemann zeta:
$$Imleft(zeta left(frac{1}{2}+i g(n,1)right)right)$$
Again we look at the family of functions between complementary Gram points $c=frac{1}{2}$ with intervals $n=left[k,k+1right]$ where $k=0,1,2,3,4,...,100$. The seed point is $y=1$.
In Mathematica:
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}]
The plot of the superimposed imaginary parts looks like this:
where the middle common point at $frac{1}{2}$ is at a complementary Gram point.
The average of the 101 curves is:
This again looks like $sin (x)$ on the interval $left[0,2piright]$:
Would such a normalization with the function $g(n,x)$, be any easier to study, than the Riemann zeta function directly?
Mathematica code for the normalized imaginary parts:
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E*
E^LambertW[((N[x]/(2*Pi))*Log[N[x]/(2*Pi*E)] - c + n -
RiemannSiegelTheta[N[x]]/Pi)/E];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
Table[ListLinePlot[
Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}],
DataRange -> {0, 1}, PlotRange -> {-5, 5}], {k, 0, 100}], k]]
Clear[x, n, c, f, g]
c = 1/2;
f[x_] = 2*Pi*E^1*
E^LambertW[((x/(2*Pi))*Log[x/(2*Pi*E)] - c + n -
RiemannSiegelTheta[x]/Pi)/E^1];
g[y_] = f[f[f[f[y]]]];
Show[Monitor[
ListLinePlot[
Sum[Table[Im[Zeta[1/2 + I*g[1]]], {n, k, k + 1, 1/80}], {k, 0,
100}]/101, DataRange -> {0, 1}], k]]
analytic-number-theory riemann-zeta fixed-point-theorems experimental-mathematics
analytic-number-theory riemann-zeta fixed-point-theorems experimental-mathematics
edited Feb 4 '18 at 13:25
Mats Granvik
asked Jul 30 '17 at 10:46
Mats GranvikMats Granvik
3,29932252
3,29932252
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 30 '17 at 21:25
$begingroup$
I have a missing variable $n$. The function $g(y)$ should be $g(n,y)$. $n$ is usually in the Riemann zeta function called $t$ for the quantity of the imaginary variable.
$endgroup$
– Mats Granvik
Jul 31 '17 at 11:50
1
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 31 '17 at 12:04
$begingroup$
@reuns I tried to write $g(x)=f(...f(f(f(f(x))))...)$ in Mathematica but it would parse, so I wrote $g(y)=f(...f(f(f(f(y))))...)$ instead. It is a function composition. $y$ is the seed point for $x$. $n$ is the variable that I feed into the function,.
$endgroup$
– Mats Granvik
Jul 31 '17 at 12:28
1
$begingroup$
The more precise version is $vartheta^{-1}(t)$.
$endgroup$
– reuns
Jul 31 '17 at 12:36
|
show 3 more comments
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 30 '17 at 21:25
$begingroup$
I have a missing variable $n$. The function $g(y)$ should be $g(n,y)$. $n$ is usually in the Riemann zeta function called $t$ for the quantity of the imaginary variable.
$endgroup$
– Mats Granvik
Jul 31 '17 at 11:50
1
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 31 '17 at 12:04
$begingroup$
@reuns I tried to write $g(x)=f(...f(f(f(f(x))))...)$ in Mathematica but it would parse, so I wrote $g(y)=f(...f(f(f(f(y))))...)$ instead. It is a function composition. $y$ is the seed point for $x$. $n$ is the variable that I feed into the function,.
$endgroup$
– Mats Granvik
Jul 31 '17 at 12:28
1
$begingroup$
The more precise version is $vartheta^{-1}(t)$.
$endgroup$
– reuns
Jul 31 '17 at 12:36
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 30 '17 at 21:25
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 30 '17 at 21:25
$begingroup$
I have a missing variable $n$. The function $g(y)$ should be $g(n,y)$. $n$ is usually in the Riemann zeta function called $t$ for the quantity of the imaginary variable.
$endgroup$
– Mats Granvik
Jul 31 '17 at 11:50
$begingroup$
I have a missing variable $n$. The function $g(y)$ should be $g(n,y)$. $n$ is usually in the Riemann zeta function called $t$ for the quantity of the imaginary variable.
$endgroup$
– Mats Granvik
Jul 31 '17 at 11:50
1
1
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 31 '17 at 12:04
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 31 '17 at 12:04
$begingroup$
@reuns I tried to write $g(x)=f(...f(f(f(f(x))))...)$ in Mathematica but it would parse, so I wrote $g(y)=f(...f(f(f(f(y))))...)$ instead. It is a function composition. $y$ is the seed point for $x$. $n$ is the variable that I feed into the function,.
$endgroup$
– Mats Granvik
Jul 31 '17 at 12:28
$begingroup$
@reuns I tried to write $g(x)=f(...f(f(f(f(x))))...)$ in Mathematica but it would parse, so I wrote $g(y)=f(...f(f(f(f(y))))...)$ instead. It is a function composition. $y$ is the seed point for $x$. $n$ is the variable that I feed into the function,.
$endgroup$
– Mats Granvik
Jul 31 '17 at 12:28
1
1
$begingroup$
The more precise version is $vartheta^{-1}(t)$.
$endgroup$
– reuns
Jul 31 '17 at 12:36
$begingroup$
The more precise version is $vartheta^{-1}(t)$.
$endgroup$
– reuns
Jul 31 '17 at 12:36
|
show 3 more comments
1 Answer
1
active
oldest
votes
$begingroup$
I don't know what you want to say with this iteration.
See this. Defining the arguments correctly (zero on $s > 1$, continuous on $Re(s) > 1$, and extended by continuous variation on horizontal lines to $Re(s) le 1$) we can express the number of non-trivial zeros $zeta(rho) = 0, Im(rho) in (0,t]$ with $$ N(t) =frac{text{arg }(Z(t))}{pi} = frac{vartheta(t)}{pi}+ frac{text{arg }(zeta(1/2+it))}{pi} = frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t) + mathcal{O}(log t)$$ where $frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t)$ comes from the Stirling approximation applied to $vartheta(t)$, and $ mathcal{O}(log t)$ comes from a bound for $text{arg }(zeta(1/2+it))$.
Assuming the Riemann hypothesis and that $text{arg }(zeta(1/2+it))$ has zero-mean, the best approximation of the $n$th non-trivial zero is $$rho_n approx 1/2+i vartheta^{-1}(n)$$
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2376524%2fdoes-this-normalization-of-the-riemann-zeta-function-make-sense%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I don't know what you want to say with this iteration.
See this. Defining the arguments correctly (zero on $s > 1$, continuous on $Re(s) > 1$, and extended by continuous variation on horizontal lines to $Re(s) le 1$) we can express the number of non-trivial zeros $zeta(rho) = 0, Im(rho) in (0,t]$ with $$ N(t) =frac{text{arg }(Z(t))}{pi} = frac{vartheta(t)}{pi}+ frac{text{arg }(zeta(1/2+it))}{pi} = frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t) + mathcal{O}(log t)$$ where $frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t)$ comes from the Stirling approximation applied to $vartheta(t)$, and $ mathcal{O}(log t)$ comes from a bound for $text{arg }(zeta(1/2+it))$.
Assuming the Riemann hypothesis and that $text{arg }(zeta(1/2+it))$ has zero-mean, the best approximation of the $n$th non-trivial zero is $$rho_n approx 1/2+i vartheta^{-1}(n)$$
$endgroup$
add a comment |
$begingroup$
I don't know what you want to say with this iteration.
See this. Defining the arguments correctly (zero on $s > 1$, continuous on $Re(s) > 1$, and extended by continuous variation on horizontal lines to $Re(s) le 1$) we can express the number of non-trivial zeros $zeta(rho) = 0, Im(rho) in (0,t]$ with $$ N(t) =frac{text{arg }(Z(t))}{pi} = frac{vartheta(t)}{pi}+ frac{text{arg }(zeta(1/2+it))}{pi} = frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t) + mathcal{O}(log t)$$ where $frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t)$ comes from the Stirling approximation applied to $vartheta(t)$, and $ mathcal{O}(log t)$ comes from a bound for $text{arg }(zeta(1/2+it))$.
Assuming the Riemann hypothesis and that $text{arg }(zeta(1/2+it))$ has zero-mean, the best approximation of the $n$th non-trivial zero is $$rho_n approx 1/2+i vartheta^{-1}(n)$$
$endgroup$
add a comment |
$begingroup$
I don't know what you want to say with this iteration.
See this. Defining the arguments correctly (zero on $s > 1$, continuous on $Re(s) > 1$, and extended by continuous variation on horizontal lines to $Re(s) le 1$) we can express the number of non-trivial zeros $zeta(rho) = 0, Im(rho) in (0,t]$ with $$ N(t) =frac{text{arg }(Z(t))}{pi} = frac{vartheta(t)}{pi}+ frac{text{arg }(zeta(1/2+it))}{pi} = frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t) + mathcal{O}(log t)$$ where $frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t)$ comes from the Stirling approximation applied to $vartheta(t)$, and $ mathcal{O}(log t)$ comes from a bound for $text{arg }(zeta(1/2+it))$.
Assuming the Riemann hypothesis and that $text{arg }(zeta(1/2+it))$ has zero-mean, the best approximation of the $n$th non-trivial zero is $$rho_n approx 1/2+i vartheta^{-1}(n)$$
$endgroup$
I don't know what you want to say with this iteration.
See this. Defining the arguments correctly (zero on $s > 1$, continuous on $Re(s) > 1$, and extended by continuous variation on horizontal lines to $Re(s) le 1$) we can express the number of non-trivial zeros $zeta(rho) = 0, Im(rho) in (0,t]$ with $$ N(t) =frac{text{arg }(Z(t))}{pi} = frac{vartheta(t)}{pi}+ frac{text{arg }(zeta(1/2+it))}{pi} = frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t) + mathcal{O}(log t)$$ where $frac{t}{2pi} log(frac{t}{2pi e}) + 7/8+mathcal{O}(1/t)$ comes from the Stirling approximation applied to $vartheta(t)$, and $ mathcal{O}(log t)$ comes from a bound for $text{arg }(zeta(1/2+it))$.
Assuming the Riemann hypothesis and that $text{arg }(zeta(1/2+it))$ has zero-mean, the best approximation of the $n$th non-trivial zero is $$rho_n approx 1/2+i vartheta^{-1}(n)$$
edited Jan 3 at 7:05
Kevin O'Bryant
1885
1885
answered Jul 31 '17 at 12:49
reunsreuns
21.1k21250
21.1k21250
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2376524%2fdoes-this-normalization-of-the-riemann-zeta-function-make-sense%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 30 '17 at 21:25
$begingroup$
I have a missing variable $n$. The function $g(y)$ should be $g(n,y)$. $n$ is usually in the Riemann zeta function called $t$ for the quantity of the imaginary variable.
$endgroup$
– Mats Granvik
Jul 31 '17 at 11:50
1
$begingroup$
I don't understand what you wrote. What is supposed to be this iteration ?
$endgroup$
– reuns
Jul 31 '17 at 12:04
$begingroup$
@reuns I tried to write $g(x)=f(...f(f(f(f(x))))...)$ in Mathematica but it would parse, so I wrote $g(y)=f(...f(f(f(f(y))))...)$ instead. It is a function composition. $y$ is the seed point for $x$. $n$ is the variable that I feed into the function,.
$endgroup$
– Mats Granvik
Jul 31 '17 at 12:28
1
$begingroup$
The more precise version is $vartheta^{-1}(t)$.
$endgroup$
– reuns
Jul 31 '17 at 12:36