「利用者:Tessyrrh1016/draft/リーマンゼータ関数と調律」の版間の差分
Tessyrrh1016 (トーク | 投稿記録) 編集の要約なし |
Tessyrrh1016 (トーク | 投稿記録) 編集の要約なし |
||
| 1行目: | 1行目: | ||
[[:en:The Riemann zeta function and tuning]]の翻訳の下書きです。 | [[:en:The Riemann zeta function and tuning]]の翻訳の下書きです。 | ||
<hr> | <hr> | ||
'''リーマンゼータ関数''' | '''リーマンゼータ関数'''は有名な数学関数であり、200年もの間未解決の素数の分布に関する問題である、リーマン予想{{wikilink|リーマン予想}}との関係がよく知られている。しかし、平均律の「倍音性」を測定するという驚くべき音楽的解釈もある。簡単に言うと、ある意味でゼータ関数は、与えられた平均律が倍音列、それどころか「無限リミット純正音程」までの'''全ての'''有理数までもに対し、どの程度近似しているかを示してくれる。 | ||
その結果、ゼータ関数は解析的整数論への使用が最もよく知られているが、調律論の背景にも常に存在している——[[調和エントロピー]]はゼータ関数のフーリエ変換に関連する可能性があることを示している。また、無限リミットまで拡張すると、種々の調律論的な計量から、ゼータ関数と関連する式が得られる。時々、これらはゼータ関数のシンプルな式から導出できる「素数ゼータ関数」を基準にされることもある。 | その結果、ゼータ関数は解析的整数論への使用が最もよく知られているが、調律論の背景にも常に存在している——[[調和エントロピー]]はゼータ関数のフーリエ変換に関連する可能性があることを示している。また、無限リミットまで拡張すると、種々の調律論的な計量から、ゼータ関数と関連する式が得られる。時々、これらはゼータ関数のシンプルな式から導出できる「素数ゼータ関数」を基準にされることもある。 | ||
| 27行目: | 27行目: | ||
(以下未推敲) | (以下未推敲) | ||
''s'' が1より大きい場合、これは収束する。ただし、いくつかの調整が必要になる場合がある。まず、調律が[[一貫性|一貫的]]であるのに十分なほど誤差が小さい場合、素数の2乗の誤差は素数の誤差の2倍になり、3乗の誤差は3倍になり、誤差が一貫的でなくなるまで続く。重み付けに対数が使用され、誤差測定値が一貫している場合、対数重み付けによってこの効果が打ち消されるため、素数べき乗が暗黙的にTenney-Euclidean測定値に含まれていると考えることができる。各素数べき乗 ''p''<sup>''n''</sup> に 1/''n'' | ''s'' が1より大きい場合、これは収束する。ただし、いくつかの調整が必要になる場合がある。まず、調律が[[一貫性|一貫的]]であるのに十分なほど誤差が小さい場合、素数の2乗の誤差は素数の誤差の2倍になり、3乗の誤差は3倍になり、誤差が一貫的でなくなるまで続く。重み付けに対数が使用され、誤差測定値が一貫している場合、対数重み付けによってこの効果が打ち消されるため、素数べき乗が暗黙的にTenney-Euclidean測定値に含まれていると考えることができる。各素数べき乗 ''p''<sup>''n''</sup> に 1/''n'' をかけることで、それらを含めることができる。これを実行した結果を記述するためのやや独特だが便利な方法は、フォン・マンゴルト関数{{wikilink|フォン・マンゴルト関数}}を使用したものである。これは、素数べき乗 ''p''<sup>''n''</sup> では ln ''p'' に等しく、その他の場合は 0 となる正の整数の数論的関数である。これは大文字のラムダを使用して Λ(n) と記述され、これに関して、誤差関数に素数べき乗を次のように含めることができる。 | ||
===critical stripの中へ=== | ===critical stripの中へ=== | ||