User:Triethylamine/draft: リーマンゼータ関数と調律: Difference between revisions
m →導出の準備 |
m →導出の準備 |
||
| Line 20: | Line 20: | ||
ここで、以下の関数を考える。 | ここで、以下の関数を考える。 | ||
<math>\xi(x) = \sum_2^p \left(\frac{||x \log_2 q||}{\log_2 q}\right)^2</math> | <math>\displaystyle \xi(x) = \sum_2^p \left(\frac{||x \log_2 q||}{\log_2 q}\right)^2</math> | ||
この関数には、関連する一般化パテントヴァルに対応する局所的極小値がある。極小値は、関連するヴァルのオクターヴのTenney-ユークリッド調律である ''x'' の値に対して発生する。一方、これらの極小値における ξ の値は、ヴァルのTenney-ユークリッド相対誤差の 2 乗であり、TE誤差とTE複雑度の積に等しい。「TE単純悪さ」として知られていることもある。 | この関数には、関連する一般化パテントヴァルに対応する局所的極小値がある。極小値は、関連するヴァルのオクターヴのTenney-ユークリッド調律である ''x'' の値に対して発生する。一方、これらの極小値における ξ の値は、ヴァルのTenney-ユークリッド相対誤差の 2 乗であり、TE誤差とTE複雑度の積に等しい。「TE単純悪さ」として知られていることもある。 | ||
| Line 26: | Line 26: | ||
ここで、特定の素数リミットの式ではなく、すべての素数に適用される式が必要だとする。上式は収束しないため、無限和にすることはできない。しかし、重み係数をべき乗に変更すると収束するようになる。 | ここで、特定の素数リミットの式ではなく、すべての素数に適用される式が必要だとする。上式は収束しないため、無限和にすることはできない。しかし、重み係数をべき乗に変更すると収束するようになる。 | ||
<math>\sum_2^\infty \frac{||x \log_2 q||^2}{q^s}</math> | <math>\displaystyle \sum_2^\infty \frac{||x \log_2 q||^2}{q^s}</math> | ||
( | (以下未推敲) | ||
''s'' が 1 より大きい場合、これは収束する。ただし、いくつかの調整が必要になる場合があります。まず、調整が一貫しているほど誤差が十分に低い場合、素数の 2 乗の誤差は素数の 2 倍になり、3 乗の誤差は 3 倍になり、誤差が一貫性がなくなるまで続きます。重み付けに対数が使用され、誤差測定値が一貫している場合、対数重み付けによってこの効果が打ち消されるため、素数べき乗が暗黙的にテニーユークリッド測定値に含まれていると考えることができます。各素数べき乗 p^n に 1/n の係数を追加することで、それらを含めることができます。これを実行した結果を記述するためのやや独特ですが便利な方法は、フォン マンゴルト関数を使用したものです。これは、素数べき乗 p^n では ln p に等しく、その他の場合は 0 となる正の整数の算術関数です。これは、大文字のラムダを使用して Λ(n) として記述され、これに関して、誤差関数に素数べき乗を次のように含めることができます。 | ''s'' が 1 より大きい場合、これは収束する。ただし、いくつかの調整が必要になる場合があります。まず、調整が一貫しているほど誤差が十分に低い場合、素数の 2 乗の誤差は素数の 2 倍になり、3 乗の誤差は 3 倍になり、誤差が一貫性がなくなるまで続きます。重み付けに対数が使用され、誤差測定値が一貫している場合、対数重み付けによってこの効果が打ち消されるため、素数べき乗が暗黙的にテニーユークリッド測定値に含まれていると考えることができます。各素数べき乗 p^n に 1/n の係数を追加することで、それらを含めることができます。これを実行した結果を記述するためのやや独特ですが便利な方法は、フォン マンゴルト関数を使用したものです。これは、素数べき乗 p^n では ln p に等しく、その他の場合は 0 となる正の整数の算術関数です。これは、大文字のラムダを使用して Λ(n) として記述され、これに関して、誤差関数に素数べき乗を次のように含めることができます。 | ||