実数Riemannゼータ関数 ζ(s) と ζ(s)−1を計算

使い方

1. 実数sを入力します。
2. ζ(s)とcanonical同様のζ(s)−1を計算します。
3. s=1、自明零点、既知値を使って定義域と符号を検算します。

計算式・考え方

Re(s)>1ではζ(s)=Σ_(n=1)^∞n^(−s)です。それ以外は解析接続し、s=1だけに留数1の単純極を持ちます。

注意事項

• NIST DLMF §25.2を2026年7月13日に照合しました。Dirichlet級数Σn^(−s)は実数s>1で収束する式です。s≤1へ同じ級数をそのまま足し続けず、Euler–Maclaurin公式と関数等式による解析接続を使います。
• s=1は値が大きいだけの点ではなく単純極です。1に近いが等しくない入力は有限の大きな値を返し、ちょうど1は入力エラーにします。近傍値の符号は1の左右で変わるため、丸めで1になっていないかも確認してください。
• 負の偶数−2,−4,…は自明零点でζ(s)=0です。ζ(0)=−1/2、ζ(−1)=−1/12、ζ(2)=π²/6は代表的な検算値です。負の非整数ではsin(πs/2)を含む関数等式が符号を決めます。
• Euler積Π_p(1−p^(−s))^(−1)もs>1で使う表現です。素数との関係を説明する重要な式ですが、s≤1の数値計算へ収束する積として直接利用できません。解析接続の値とEuler積の収束域を混同しないでください。
• ζ(s)−1はcanonicalページと同じ補助出力です。大きな正のsではζ(s)が1へ近づくため、差を見ると2^(−s)以降の小さな寄与を読みやすくなります。ただし差の有効桁は1との差し引きで減る場合があります。
• このページは一組の入力から一つまたは少数の代表値を求めるスカラー計算機です。連続区間の形を調べるグラフ版とは目的が異なり、教科書の例題、実装テスト、数表の一点を落ち着いて照合できます。同じ記号でも符号規約、解析接続、上昇階乗と下降階乗の違いがあるため、結果だけでなく本文の定義式を先に確認してください。
• 計算は利用者のブラウザ内だけで完結し、入力値を外部APIやサーバーへ送信しません。eval、new Function、fetch、XHR、WebSocketを使わず、コード側で許可した有界named functionだけを呼び出します。反復回数、整数上限、有限性を検査し、範囲外や未定義点を都合のよい近似値へ置き換えません。
• JavaScriptの数値はIEEE 754 binary64で、整数を常に厳密に表せるのは絶対値2^53−1以下です。Bernoulli数とStirling数はこの安全整数境界から入力上限を決めています。画面表示は最大15桁へ整形されるため、16桁の安全整数は科学表記で末尾が丸められる場合がありますが、内部のnamed functionとテストoracleは安全整数として厳密です。
• 検算ではcanonical既定値だけでなく、0、端点、符号が変わる点、最初の未許可値を分けて確認します。漸化式を使う整数列は隣接行を独立DPと比較し、ゼータ関連関数は高精度mpmath、Bernoulli数は既約Fraction、Pochhammerは直接積と照合します。異なる方法が同じ丸め値を返すことを確認してから利用してください。
• 入力欄は有限値と整数条件を検査し、エラーがあれば対象欄へフォーカスを戻します。0と未定義、非常に小さい非零値、近似小数と厳密整数を区別します。結果をコピーするときは関数名、入力、採用した規約、確認日も一緒に記録すると、別の資料やソフトウェアで条件を復元しやすくなります。
• この計算結果は学習、数表作成、プログラムの単体テストを補助するものです。有限範囲の一つの値から、関数全体の収束、零点の個数、解析的性質を断定しないでください。証明、任意精度、複素変数が必要な用途では、NIST DLMFなどの一次資料と多倍長実装を併用し、用途に必要な誤差基準を別途定めてください。
• 有界な実数・安全整数の学習と検算用です。任意精度、複素変数、範囲外の解析接続は扱いません。

よくある質問