The Riemann zeta function and tuning: Difference between revisions
Wikispaces>genewardsmith **Imported revision 573457423 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 573457765 - Original comment: ** |
||
| Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2016-01-30 21: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2016-01-30 21:37:29 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>573457765</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
| Line 16: | Line 16: | ||
[[math]] | [[math]] | ||
\sum_2^p (\frac{ | \sum_2^p (\frac{||x \log_2 q||}{\log_2 q})^2 | ||
[[math]] | [[math]] | ||
| Line 22: | Line 22: | ||
[[math]] | [[math]] | ||
\sum_2^\infty \frac{ | \sum_2^\infty \frac{||x \log_2 q||^2}{q^s} | ||
[[math]] | [[math]] | ||
| Line 28: | Line 28: | ||
[[math]] | [[math]] | ||
\sum_1^\infty \frac{\Lambda(n)}{\ln n} \frac{ | \sum_1^\infty \frac{\Lambda(n)}{\ln n} \frac{||x \log_2 n||^2}{n^s} | ||
[[math]] | [[math]] | ||
| Line 189: | Line 189: | ||
<!-- ws:start:WikiTextMathRule:0: | <!-- ws:start:WikiTextMathRule:0: | ||
[[math]]&lt;br/&gt; | [[math]]&lt;br/&gt; | ||
\sum_2^p (\frac{ | \sum_2^p (\frac{||x \log_2 q||}{\log_2 q})^2&lt;br/&gt;[[math]] | ||
--><script type="math/tex">\sum_2^p (\frac{ | --><script type="math/tex">\sum_2^p (\frac{||x \log_2 q||}{\log_2 q})^2</script><!-- ws:end:WikiTextMathRule:0 --><br /> | ||
<br /> | <br /> | ||
Now suppose we don't want a formula for any specific prime limit, but which applies to all primes. We can't take the above sum to infinity, since it doesn't converge. However, we could change the weighting factor to a power so that it does converge:<br /> | Now suppose we don't want a formula for any specific prime limit, but which applies to all primes. We can't take the above sum to infinity, since it doesn't converge. However, we could change the weighting factor to a power so that it does converge:<br /> | ||
| Line 196: | Line 196: | ||
<!-- ws:start:WikiTextMathRule:1: | <!-- ws:start:WikiTextMathRule:1: | ||
[[math]]&lt;br/&gt; | [[math]]&lt;br/&gt; | ||
\sum_2^\infty \frac{ | \sum_2^\infty \frac{||x \log_2 q||^2}{q^s}&lt;br/&gt;[[math]] | ||
--><script type="math/tex">\sum_2^\infty \frac{ | --><script type="math/tex">\sum_2^\infty \frac{||x \log_2 q||^2}{q^s}</script><!-- ws:end:WikiTextMathRule:1 --><br /> | ||
<br /> | <br /> | ||
If s is greater than one, this does converge. However, we might want to make a few adjustments. For one thing, if the error is low enough that the tuning is consistent, then the error of the square of a prime is twice that of the prime, of the cube tripled, and so forth until the error becomes inconsistent. When the weighting uses logarithms and error measures are consistent, then the logarithmic weighting cancels this effect out, so we might consider that prime powers were implicitly included in the Tenney-Euclidean measure. We can go ahead and include them by adding a factor of 1/n for each prime power p^n. A somewhat peculiar but useful way to write the result of doing this is in terms of the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Von_Mangoldt_function" rel="nofollow">Von Mangoldt function</a>, an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Arithmetic_function" rel="nofollow">arithmetic function</a> on positive integers which is equal to ln p on prime powers p^n, and is zero elsewhere. This is written using a capital lambda, as Λ(n), and in terms of it we can include prime powers in our error function as<br /> | If s is greater than one, this does converge. However, we might want to make a few adjustments. For one thing, if the error is low enough that the tuning is consistent, then the error of the square of a prime is twice that of the prime, of the cube tripled, and so forth until the error becomes inconsistent. When the weighting uses logarithms and error measures are consistent, then the logarithmic weighting cancels this effect out, so we might consider that prime powers were implicitly included in the Tenney-Euclidean measure. We can go ahead and include them by adding a factor of 1/n for each prime power p^n. A somewhat peculiar but useful way to write the result of doing this is in terms of the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Von_Mangoldt_function" rel="nofollow">Von Mangoldt function</a>, an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Arithmetic_function" rel="nofollow">arithmetic function</a> on positive integers which is equal to ln p on prime powers p^n, and is zero elsewhere. This is written using a capital lambda, as Λ(n), and in terms of it we can include prime powers in our error function as<br /> | ||
| Line 203: | Line 203: | ||
<!-- ws:start:WikiTextMathRule:2: | <!-- ws:start:WikiTextMathRule:2: | ||
[[math]]&lt;br/&gt; | [[math]]&lt;br/&gt; | ||
\sum_1^\infty \frac{\Lambda(n)}{\ln n} \frac{ | \sum_1^\infty \frac{\Lambda(n)}{\ln n} \frac{||x \log_2 n||^2}{n^s}&lt;br/&gt;[[math]] | ||
--><script type="math/tex">\sum_1^\infty \frac{\Lambda(n)}{\ln n} \frac{ | --><script type="math/tex">\sum_1^\infty \frac{\Lambda(n)}{\ln n} \frac{||x \log_2 n||^2}{n^s}</script><!-- ws:end:WikiTextMathRule:2 --><br /> | ||
<br /> | <br /> | ||
where the summation is taken formally over all positive integers, though only the primes and prime powers make a nonzero contribution.<br /> | where the summation is taken formally over all positive integers, though only the primes and prime powers make a nonzero contribution.<br /> | ||