()とし、 を用いてよい。 と互いに素な正の整数 全体にわたる無限級数 の値を求めよ。
有限個のオイラー因子の除去と交代ゼータ
和を奇数や の に制限したディリクレ級数を、該当する素数のオイラー因子を取り除いて求められる(例: )。また、 を導いて値の計算に使える
前提
- ディリクレ級数とオイラー積 (大学院数学 解析的整数論)
- リーマンゼータ関数の特殊値 (大学院数学 解析的整数論)
この技能までの道筋(91 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 約数の見つけ方 (算数 整数の性質)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 互いに素な法への分解 (数学A 整数の性質)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 包除原理 (数学A 場合の数と確率)
- オイラー関数の計算 (大学数学 整数論)
- 約数の個数と総和 (数学A 整数の性質)
- 乗法的関数と約数にわたる和 (大学数学 整数論)
- メビウス関数と反転公式 (大学数学 整数論)
- ディリクレ級数とオイラー積 (大学院数学 解析的整数論)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 積と商の微分 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 漸近展開と極限 (大学数学 微分積分)
- 多項式の不定積分 (数学II 微分法と積分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 区分求積法 (数学III 積分法)
- オイラー・マクローリンの和公式 (大学院数学 特殊関数・漸近解析)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- 極形式と積・商 (数学C 複素数平面)
- 複素数の指数関数・対数関数と分枝 (大学数学 複素関数)
- 2 変数の対称式 (数学I 数と式)
- 2 次方程式の解と係数の関係 (数学II 複素数と方程式)
- 2 数を解とする 2 次方程式と複素数の範囲の因数分解 (数学II 複素数と方程式)
- 正弦関数の無限積表示と無限積の値 (大学院数学 複素解析・リーマン面)
- 分数関数の積分(部分分数分解) (数学III 積分法)
- の部分分数展開と級数の和 (大学院数学 複素解析・リーマン面)
- リーマンゼータ関数の特殊値 (大学院数学 解析的整数論)
説明
ゼータ関数 の和を「奇数だけ」「 と互いに素な だけ」のように有限個の素数で割り切れない に制限した級数は、オイラー積からその素数の因子 を取り除くだけで と表せます。同じ考えで、符号が交互に変わる交代ゼータ関数 が と書けます。これらと などの特殊値を組み合わせて、 や のような級数の値を求めるときに使います。
なぜそうしてよいのか
では が成り立ちます。有限個の素数の集合 を決め、 を「 が のどの素数でも割り切れなければ 、そうでなければ 」とすると、 は乗法的(実は完全乗法的)で、 なので は で絶対収束します。素数ごとの因子は、 では ()より 、 では です。したがって
となります(有限個の でない因子を掛け戻しただけ)。たとえば なら奇数の和は 。これは直接にも確かめられ、偶数 の和は なので、全体から引いて です。
交代ゼータも同じ発想です。 で
奇数番目の項は 、偶数番目は なので、全部 で足したものから偶数の項を 2 回引けばよい、というわけです。 自身は で(交代級数として)収束し、この等式は の解析接続を使えば に延ばした値の計算にも使えます。
手順
和から除く条件を「素数 で割り切れる を除く」の形に言い換える(奇数だけ 、)
を確認し、制限した級数を と書く
交代級数なら と書く( ではなく )
の特殊値(、 など、あるいは解析接続した )を代入する
前の因子の数値を計算して整理する
例題
を用いて、 と互いに素な正の整数 すべてにわたる和 の値を求めよ。
例題の解答
手順1: は「 でも でも割り切れない」ことなので 。
手順2: なので
手順4: を代入する。
手順5: なので、値は 。
(検算: 、 で、残りの項を足すと近づく。)
答え:
よくある誤り
取り除く因子を逆にして を掛けてしまう誤り。奇数の和を とすると より大きくなり矛盾する。正しくは で、 なら 。
を奇数の和と同じ としてしまう誤り。偶数の項は除くのではなく符号を変えるので、2 回引いて 。たとえば であって ではない。
でも式に代入して としてしまう誤り。 は発散する( は極)ので の形で値は決まらない。実際 である。
の和で の因子 を取り除いてしまう誤り。除くのは素数ごとの因子なので を掛ける。 は「 の倍数だけを除いた和」になり、 の倍数や の倍数が残ってしまう。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
正の実数 に対して、 以下の正の奇数で、 より大きい平方数で割り切れないもの(すなわち奇数の平方因子をもたない数)の個数を とする。極限
の値を求めよ。ただし は用いてよい。で
と定め、 を複素平面全体の正則関数に解析接続したものも同じ記号で表す。ベルヌーイ数 を
で定めるとき、リーマンゼータ関数について正の整数 に対し が成り立つことは用いてよい。 の値を求めよ。正の整数 に対し、 を の正の約数の総和とする。実数 に対して
とおく。極限
は存在する。その値を求めよ。ただし を用いてよい。正の整数 に対し、 を の正の約数の個数とする。、 を用いてよい。級数
の値を求めよ。正の整数 に対して、 を の正の約数の総和とする。正の実数 に対して
とおく。極限
の値を求めよ。ただし は用いてよい。正の整数 に対し、 を の正の約数の個数とする。また を法 の非自明なディリクレ指標とする。すなわち
である。無限級数
は絶対収束する。 の値を求めよ。正の整数 に対して、 を次で定める。
このとき無限級数
は絶対収束する。 の値を求めよ。整数 に対して、 を法 のルジャンドル記号 とする。すなわち
である。正の整数 に対して
と定める( は の正の約数全体を動く)。このとき無限級数
は収束する。 の値を求めよ。ただし 、 と、 である実数 に対する等式 は用いてよい。
を法 の原始的ディリクレ指標
とし、正の整数 に対して を の相異なる素因数の個数とする()。無限級数
の値を求めよ。ただし は用いてよい。正の整数 に対し、 を の正の約数の個数とし、 をリウヴィル関数とする。すなわち、 の素因数分解を とするとき であり、 とする。、 を用いてよい。正の奇数 全体にわたる級数
の値を求めよ。
この技能の次に学べること
- 数論的関数の平均(畳み込みによる方法) (大学院数学 解析的整数論)
- 指標でひねったディリクレ級数 (大学院数学 解析的整数論)