The Riemann zeta function and tuning: Difference between revisions

Line 58:

As {{nowrap|''s'' > 1}} gets larger, the Dirichlet series for the zeta function is increasingly dominated by the 2 term, getting ever closer to simply {{nowrap|1 + 2−''z''}}, which approaches 1 as {{nowrap|''s'' {{=}} Re(''z'')}} becomes larger. When {{nowrap|''s'' ≫ 1}} and ''x'' is an integer, the real part of zeta is approximately {{nowrap|1 + 2−''s''}}, and the imaginary part is approximately zero; that is, zeta is approximately real. Starting from {{nowrap|''s'' {{=}} +∞}} with ''x'' an integer, we can trace a line back towards the critical strip on which zeta is real. Since when {{nowrap|''s'' ≫ 1}} the derivative is approximately −{{sfrac|ln(2)|2''s''}}, it is negative on this line of real values for zeta, meaning that the real value for zeta increases as ''s'' decreases. The zeta function approaches 1 uniformly as ''s'' increases to infinity, so as ''s'' decreases, the real-valued zeta function along this line of real values continues to increase though all real values from 1 to infinity monotonically. When it crosses the critical line where {{nowrap|''s'' {{=}} {{sfrac|1|2}}}}, it produces a real value of zeta on the critical line. Points on the critical line where {{nowrap|ζ({{frac|1|2}} + ''ig'')}} are real are called "Gram points", after {{w|Jørgen Pedersen Gram}}. We thus have associated pure-octave edos, where ''x'' is an integer, to a value near to the pure octave, at the special sorts of Gram points which corresponds to edos.

Because the value of zeta increased continuously as it made its way from +∞ to the critical line, we might expect the values of zeta at these special Gram points to be relatively large. This would be especially true if −ζ{{'}}(''z'') is getting a boost from other small primes as it travels toward the Gram point. A complex formula due to {{w|Bernhard Riemann}} which he failed to publish because it was so nasty becomes a bit simpler when used at a Gram point. It is named the {{w|Riemann–Siegel formula}} since {{w|Carl Ludwig Siegel}} went looking for it and was able to reconstruct it after rooting industriously around in Riemann's unpublished papers. From this formula, it is apparent that when x corresponds to a good edo, the value of {{nowrap|ζ({{frac|1|2}} + ''ig'')}} at the corresponding Gram point should be especially large.

Because the value of zeta increased continuously as it made its way from +∞ to the critical line, we might expect the values of zeta at these special Gram points to be relatively large. This would be especially true if −ζ'(''z'') is getting a boost from other small primes as it travels toward the Gram point. A complex formula due to {{w|Bernhard Riemann}} which he failed to publish because it was so nasty becomes a bit simpler when used at a Gram point. It is named the {{w|Riemann–Siegel formula}} since {{w|Carl Ludwig Siegel}} went looking for it and was able to reconstruct it after rooting industriously around in Riemann's unpublished papers. From this formula, it is apparent that when x corresponds to a good edo, the value of {{nowrap|ζ({{frac|1|2}} + ''ig'')}} at the corresponding Gram point should be especially large.

=== The Z function ===

The absolute value of {{nowrap|ζ({{frac|1|2}} + ''ig'')}} at a Gram point corresponding to an edo is near to a local maximum, but not actually at one. At the local maximum, of course, the partial derivative of {{nowrap|ζ({{frac|1|2}} + ''it'')}} with respect to ''t'' will be zero; however this does not mean its derivative there will be zero. In fact, the {{w|Riemann hypothesis}} is equivalent to the claim that all zeros of {{nowrap|ζ{{'}}(''s'' + ''it'')}} occur when {{nowrap|''s'' > {{sfrac|1|2}}}}, which is where all known zeros lie. These do not have values of ''t'' corresponding to good edos. For this and other reasons, it is helpful to have a function which is real for values on the critical line but whose absolute value is the same as that of zeta. This is provided by the {{w|''Z'' function}}.

The absolute value of {{nowrap|ζ({{frac|1|2}} + ''ig'')}} at a Gram point corresponding to an edo is near to a local maximum, but not actually at one. At the local maximum, of course, the partial derivative of {{nowrap|ζ({{frac|1|2}} + ''it'')}} with respect to ''t'' will be zero; however this does not mean its derivative there will be zero. In fact, the {{w|Riemann hypothesis}} is equivalent to the claim that all zeros of {{nowrap|ζ'(''s'' + ''it'')}} occur when {{nowrap|''s'' > {{sfrac|1|2}}}}, which is where all known zeros lie. These do not have values of ''t'' corresponding to good edos. For this and other reasons, it is helpful to have a function which is real for values on the critical line but whose absolute value is the same as that of zeta. This is provided by the {{w|''Z'' function}}.

In order to define the Z function, we need first to define the {{w|Riemann–Siegel theta function}}, and in order to do that, we first need to define the [http://mathworld.wolfram.com/LogGammaFunction.html Log Gamma function]. This is not defined as the natural log of the Gamma function since that has a more complicated branch cut structure; instead, the principal branch of the Log Gamma function is defined as having a branch cut along the negative real axis, and is given by the series

Line 116:

\zeta(s) = \sum_n n^{-s}</math>

Now let's do two things: we're going to expand {{nowrap|''s'' {{=}} σ + ''it''}}, and we're going to multiply ζ(s) by its conjugate ζ(''s''){{'}}, noting that {{nowrap|ζ(''s''){{'}} {{=}} ζ(''s''{{'}})}} and {{nowrap|ζ(''s'') ⋅ ζ(''s''){{'}} {{=}} ζ(''s'')2}}. We get:

Now let's do two things: we're going to expand {{nowrap|''s'' {{=}} σ + ''it''}}, and we're going to multiply ζ(s) by its conjugate ζ(''s'')', noting that {{nowrap|ζ(''s'')' {{=}} ζ(''s''{{'}})}} and {{nowrap|ζ(''s'') ⋅ ζ(''s'')' {{=}} ζ(''s'')2}}. We get:

<math> \displaystyle

@@ Line 58: / Line 58: @@
 As {{nowrap|''s'' &gt; 1}} gets larger, the Dirichlet series for the zeta function is increasingly dominated by the 2 term, getting ever closer to simply {{nowrap|1 + 2<sup>&minus;''z''</sup>}}, which approaches 1 as {{nowrap|''s'' {{=}} Re(''z'')}} becomes larger. When {{nowrap|''s'' &#x226B; 1}} and ''x'' is an integer, the real part of zeta is approximately {{nowrap|1 + 2<sup>&minus;''s''</sup>}}, and the imaginary part is approximately zero; that is, zeta is approximately real. Starting from {{nowrap|''s'' {{=}} +&infin;}} with ''x'' an integer, we can trace a line back towards the critical strip on which zeta is real. Since when {{nowrap|''s'' &#x226B; 1}} the derivative is approximately &minus;{{sfrac|ln(2)|2<sup>''s''</sup>}}, it is negative on this line of real values for zeta, meaning that the real value for zeta increases as ''s'' decreases. The zeta function approaches 1 uniformly as ''s'' increases to infinity, so as ''s'' decreases, the real-valued zeta function along this line of real values continues to increase though all real values from 1 to infinity monotonically. When it crosses the critical line where {{nowrap|''s'' {{=}} {{sfrac|1|2}}}}, it produces a real value of zeta on the critical line. Points on the critical line where {{nowrap|&zeta;({{frac|1|2}} + ''ig'')}} are real are called "Gram points", after {{w|Jørgen Pedersen Gram}}. We thus have associated pure-octave edos, where ''x'' is an integer, to a value near to the pure octave, at the special sorts of Gram points which corresponds to edos.
-Because the value of zeta increased continuously as it made its way from +&infin; to the critical line, we might expect the values of zeta at these special Gram points to be relatively large. This would be especially true if &minus;&zeta;{{'}}(''z'') is getting a boost from other small primes as it travels toward the Gram point. A complex formula due to {{w|Bernhard Riemann}} which he failed to publish because it was so nasty becomes a bit simpler when used at a Gram point. It is named the {{w|Riemann&ndash;Siegel formula}} since {{w|Carl Ludwig Siegel}} went looking for it and was able to reconstruct it after rooting industriously around in Riemann's unpublished papers. From this formula, it is apparent that when x corresponds to a good edo, the value of {{nowrap|&zeta;({{frac|1|2}} + ''ig'')}} at the corresponding Gram point should be especially large.
+Because the value of zeta increased continuously as it made its way from +&infin; to the critical line, we might expect the values of zeta at these special Gram points to be relatively large. This would be especially true if &minus;&zeta;'(''z'') is getting a boost from other small primes as it travels toward the Gram point. A complex formula due to {{w|Bernhard Riemann}} which he failed to publish because it was so nasty becomes a bit simpler when used at a Gram point. It is named the {{w|Riemann&ndash;Siegel formula}} since {{w|Carl Ludwig Siegel}} went looking for it and was able to reconstruct it after rooting industriously around in Riemann's unpublished papers. From this formula, it is apparent that when x corresponds to a good edo, the value of {{nowrap|&zeta;({{frac|1|2}} + ''ig'')}} at the corresponding Gram point should be especially large.
 === The Z function ===
-The absolute value of {{nowrap|&zeta;({{frac|1|2}} + ''ig'')}} at a Gram point corresponding to an edo is near to a local maximum, but not actually at one. At the local maximum, of course, the partial derivative of {{nowrap|&zeta;({{frac|1|2}} + ''it'')}} with respect to ''t'' will be zero; however this does not mean its derivative there will be zero. In fact, the {{w|Riemann hypothesis}} is equivalent to the claim that all zeros of {{nowrap|&zeta;{{'}}(''s'' + ''it'')}} occur when {{nowrap|''s'' &gt; {{sfrac|1|2}}}}, which is where all known zeros lie. These do not have values of ''t'' corresponding to good edos. For this and other reasons, it is helpful to have a function which is real for values on the critical line but whose absolute value is the same as that of zeta. This is provided by the {{w|''Z'' function}}.
+The absolute value of {{nowrap|&zeta;({{frac|1|2}} + ''ig'')}} at a Gram point corresponding to an edo is near to a local maximum, but not actually at one. At the local maximum, of course, the partial derivative of {{nowrap|&zeta;({{frac|1|2}} + ''it'')}} with respect to ''t'' will be zero; however this does not mean its derivative there will be zero. In fact, the {{w|Riemann hypothesis}} is equivalent to the claim that all zeros of {{nowrap|&zeta;'(''s'' + ''it'')}} occur when {{nowrap|''s'' &gt; {{sfrac|1|2}}}}, which is where all known zeros lie. These do not have values of ''t'' corresponding to good edos. For this and other reasons, it is helpful to have a function which is real for values on the critical line but whose absolute value is the same as that of zeta. This is provided by the {{w|''Z'' function}}.
 In order to define the Z function, we need first to define the {{w|Riemann&ndash;Siegel theta function}}, and in order to do that, we first need to define the [http://mathworld.wolfram.com/LogGammaFunction.html Log Gamma function]. This is not defined as the natural log of the Gamma function since that has a more complicated branch cut structure; instead, the principal branch of the Log Gamma function is defined as having a branch cut along the negative real axis, and is given by the series
@@ Line 116: / Line 116: @@
 \zeta(s) = \sum_n n^{-s}</math>
-Now let's do two things: we're going to expand {{nowrap|''s'' {{=}} &sigma; + ''it''}}, and we're going to multiply &zeta;(s) by its conjugate &zeta;(''s''){{'}}, noting that {{nowrap|&zeta;(''s''){{'}} {{=}} &zeta;(''s''{{'}})}} and {{nowrap|&zeta;(''s'') &#x22C5; &zeta;(''s''){{'}} {{=}} &zeta;(''s'')<sup>2</sup>}}. We get:
+Now let's do two things: we're going to expand {{nowrap|''s'' {{=}} &sigma; + ''it''}}, and we're going to multiply &zeta;(s) by its conjugate &zeta;(''s'')', noting that {{nowrap|&zeta;(''s'')' {{=}} &zeta;(''s''{{'}})}} and {{nowrap|&zeta;(''s'') &#x22C5; &zeta;(''s'')' {{=}} &zeta;(''s'')<sup>2</sup>}}. We get:
 <math> \displaystyle