「利用者:Tessyrrh1016/draft/リーマンゼータ関数と調律」の版間の差分
Tessyrrh1016 (トーク | 投稿記録) |
Tessyrrh1016 (トーク | 投稿記録) |
||
| 23行目: | 23行目: | ||
ここで、特定の素数リミットの式ではなく、すべての素数に適用される式が必要だとする。上式は無限和にすると収束しない。しかし、重み係数をべき乗に変更すると収束するようになる。 | ここで、特定の素数リミットの式ではなく、すべての素数に適用される式が必要だとする。上式は無限和にすると収束しない。しかし、重み係数をべき乗に変更すると収束するようになる。 | ||
: <math>\displaystyle \sum_{q \in \mathbb{P}} \frac{||x \log_2 q||^2}{q^s}</math> | : <math>\displaystyle \sum_{\substack{2 \le q \le p \\ q \in \mathbb{P}}} \frac{||x \log_2 q||^2}{q^s}</math> | ||
(以下未推敲) | (以下未推敲) | ||
''s'' が1より大きい場合これは収束する。ただしいくつかの調整が必要になる場合がある。まず調律が[[一貫性|一貫的]]であるのに十分なほど誤差が小さい場合、素数の2乗の誤差は素数の誤差の2倍になり、3乗の誤差は3倍になり、誤差が一貫的でなくなるまで続く。重み付けに対数が使用され、誤差測定値が一貫している場合、対数重み付けによってこの効果が打ち消されるため、素数べき乗が暗黙的にTenney-Euclidean測定値に含まれていると考えることができる。各素数べき乗 ''p''<sup>''n''</sup> に 1/''n'' をかけることで、それらを含めることができる。これを実行した結果を記述するためのやや独特だが便利な方法は、フォン・マンゴルト関数{{wikilink|フォン・マンゴルト関数}}を使用したものである。これは、素数べき乗 ''p''<sup>''n''</sup> では ln ''p'' に等しく、その他の場合は 0 となる正の整数上に定義される数論的関数{{Wikilink|数論的関数}}である。これは大文字のラムダを使用して Λ(n) と記述され、これに関して、誤差関数に素数べき乗を次のように含めることができる。 | ''s'' が1より大きい場合これは収束する。ただしいくつかの調整が必要になる場合がある。まず調律が[[一貫性|一貫的]]であるのに十分なほど誤差が小さい場合、素数の2乗の誤差は素数の誤差の2倍になり、3乗の誤差は3倍になり、誤差が一貫的でなくなるまで続く。重み付けに対数が使用され、誤差測定値が一貫している場合、対数重み付けによってこの効果が打ち消されるため、素数べき乗が暗黙的にTenney-Euclidean測定値に含まれていると考えることができる。各素数べき乗 ''p''<sup>''n''</sup> に 1/''n'' をかけることで、それらを含めることができる。これを実行した結果を記述するためのやや独特だが便利な方法は、フォン・マンゴルト関数{{wikilink|フォン・マンゴルト関数}}を使用したものである。これは、素数べき乗 ''p''<sup>''n''</sup> では ln ''p'' に等しく、その他の場合は 0 となる正の整数上に定義される数論的関数{{Wikilink|数論的関数}}である。これは大文字のラムダを使用して Λ(n) と記述され、これに関して、誤差関数に素数べき乗を次のように含めることができる。 | ||
: <math>\displaystyle \xi_\infty(x) = \sum_{n \geq 1} \frac{\Lambda(n)}{\ln n} \frac{||x \log_2 n||^2}{n^s}</math> | |||
===critical stripの中へ=== | ===critical stripの中へ=== | ||