User:Triethylamine/draft: リーマンゼータ関数と調律: Difference between revisions

Line 15: Line 15:
ここで ||''x''|| を、''x'' と ''x'' に最も近い整数との差を表すものとする。例えば、 ||8.202|| は 8.202 と最も近い整数である 8 との差であるため、0.202 となる。||7.95|| は 7.95 と最も近い整数である 8 との差なので 0.05 となる。数学的には、||''x''|| は床関数 floor() を用いて関数 |''x'' - floor(''x'' + 1/2)| と表せる。
ここで ||''x''|| を、''x'' と ''x'' に最も近い整数との差を表すものとする。例えば、 ||8.202|| は 8.202 と最も近い整数である 8 との差であるため、0.202 となる。||7.95|| は 7.95 と最も近い整数である 8 との差なので 0.05 となる。数学的には、||''x''|| は床関数 floor() を用いて関数 |''x'' - floor(''x'' + 1/2)| と表せる。


どのような ''x'' の値に対しても、''p''-リミット[[Patent val|一般化パテントヴァル<sup>(en)</sup>]](generalized patent val)を構成できる。具体的には、''p'' 以下の素数 ''q'' について、log<sub>2</sub>(''q'') × ''x'' を最も近い整数に丸めたものが、''q'' に対応する値となる。つまり |floor(''x'' log<sub>2</sub>(''q'') + 1/2)| である。
どのような ''x'' の値に対しても、''p''-リミット[[Patent val|一般化パテントヴァル<sup>(en)</sup>]](generalized patent val)を構成できる。具体的には、''p'' 以下の素数 ''q'' について、log<sub>2</sub>(''q'') × ''x'' を最も近い整数に丸めたものが、''q'' に対応する値となる。つまり floor(''x'' log<sub>2</sub>(''q'') + 1/2) である。


ここで、以下の関数を考える。
ここで、以下の関数を考える。