ゼータ関数とは？定義・解析接続・1/12との関係をわかりやすく解説！

ゼータ関数とは？定義・解析接続・1/12との関係をわかりやすく解説！

ゼータ関数は、整数を使った一見単純な無限級数から始まり、素数の分布や複素数の世界へ広がる重要な関数です。

特に「1＋2＋3＋…＝－1/12」という表現は話題になりやすいものの、通常の足し算の意味ではないため、誤解されがちです。

この記事では、ゼータ関数の基本的な定義、解析接続という考え方、リーマンゼータ関数と素数の関係を順に説明します。

数式に苦手意識がある人でも、どこまでが通常の計算で、どこからが拡張された考え方なのかを区別できるようになるでしょう。

ゼータ関数の定義と基本的な意味

それではまずゼータ関数の定義と基本的な意味について解説していきます。

無限級数としてのリーマンゼータ関数

リーマンゼータ関数とは、自然数の逆数を複素数のべき乗で割って無限に足し合わせる関数です。

一般にリーマンゼータ関数は、ゼータ関数と呼ばれることが多く、ギリシャ文字のゼータを使ってζと表します。

複素数sに対して、最初に定義される式は、1をs乗した値の逆数、2をs乗した値の逆数、3をs乗した値の逆数を順に加える形です。

たとえばsが2なら、1、1/4、1/9、1/16というように、平方数の逆数を足していきます。

無限に項を足す式では、足した結果がある有限の値に近づくかどうかが大切です。

sが2のときは項が急速に小さくなるため、和は有限の値へ近づきます。

一方、sが1では1＋1/2＋1/3＋…となり、項が小さくなっても和は限りなく増え続けます。

この違いが、ゼータ関数を考えるうえでの最初の入口です。

つまり、同じ形の式でもsの値によって、通常の無限級数として意味を持つ範囲が変わります。

収束する範囲と発散する範囲

無限級数としてのゼータ関数がそのまま使えるのは、sの実部が1より大きい範囲です。

実部とは、複素数を実数部分と虚数部分に分けたときの実数部分を指します。

たとえばs＝2やs＝3では実部が1より大きいため、級数の定義を直接利用できます。

s＝2の値はπの2乗を6で割った値になり、約1.645として知られています。

この結果は、18世紀にオイラーが解いた有名な問題の答えでもあります。

反対にs＝1では調和級数になり、いくら項を増やしても有限の値へ定まりません。

s＝0や負の整数でも、元の級数の形では発散してしまいます。

ここで「値がない」と結論付けず、別の方法で関数を広げようとする考え方が解析接続です。

日常の計算では発散する式を無理に足し続けないことが重要で、後から出てくる－1/12も同じ注意が必要になります。

ゼータ関数の代表的な値

ゼータ関数には、整数を入れたときに美しい値を取る例がいくつもあります。

正の偶数を入れた場合、値は円周率の偶数乗を使って表せます。

たとえばζ（2）やζ（4）は正確に計算できますが、ζ（3）のような正の奇数では事情が複雑です。

ζ（3）はアペリー定数と呼ばれ、無理数であることは証明されています。

ただし、πのべき乗だけを使うような簡潔な式で表せるかは分かっていません。

入力する値	ゼータ関数の値	特徴
s＝2	πの2乗／6	平方数の逆数の和
s＝4	πの4乗／90	4乗数の逆数の和
s＝3	アペリー定数	簡潔な閉じた形は未解明
s＝0	－1／2	解析接続で得られる値
s＝－1	－1／12	発散級数との関連で有名

表の後半にある値は、元の無限級数を直接計算して得られるものではありません。

同じζという記号を使っていても、定義を広げた後の値である点を押さえましょう。

解析接続による定義域の拡張

続いては解析接続による定義域の拡張を確認していきます。

解析接続という考え方

解析接続とは、ある範囲で定義された関数を、その性質を保ちながらより広い範囲へ一意に延長する方法です。

最初の級数は実部が1より大きい場所でしか収束しませんが、ゼータ関数そのものがそこだけに閉じ込められるわけではありません。

別の式を使うと、より広い範囲で同じ関数を表現できます。

たとえば地図の一部だけを持っているとき、道路のつながりや地形の規則を利用して周辺へ地図を描き足す場面を考えると分かりやすいでしょう。

解析接続でも、すでに分かっている範囲との整合性を保ちながら、関数の意味を拡張します。

重要なのは、発散した無限和に勝手な値を割り当てる作業ではないことです。

複素関数として満たすべき条件を用い、元の関数と矛盾しない延長を構成します。

この拡張によって、0や負の整数を入力したときのζの値も扱えるようになります。

通常の級数の収束範囲と、解析接続後の関数の定義域を混同しないことが理解の鍵です。

関数等式と対称性

ゼータ関数は、sと1－sを結び付ける関数等式を持ち、複素平面上で深い対称性を示します。

関数等式とは、一見すると異なる入力値における関数の値を結び付ける等式です。

ゼータ関数の場合、ガンマ関数や三角関数を含む式を通じて、s側と1－s側の情報が関係します。

そのため、実部が1より大きい側で分かった性質が、左側の領域を調べる手掛かりにもなります。

式だけを見ると複雑ですが、左右をつなぐ橋のような役割だと考えるとよいでしょう。

この関係式から、負の偶数でゼータ関数が0になることも導けます。

ζ（－2）、ζ（－4）、ζ（－6）などは0であり、これらは自明な零点と呼ばれます。

自明という名前でも重要性が低いわけではなく、関数全体の構造を理解する基準になります。

特に零点の位置を調べる研究は、数論における大きなテーマです。

特異点と値の扱い方

解析接続をしても、s＝1だけはゼータ関数が有限の値を持たない特異な点として残ります。

s＝1で元の式が調和級数になることは、発散の例としてよく知られています。

解析接続後もこの問題は消えず、関数はその近くで大きくなります。

このように関数が有限の値へ落ち着かない点を、ここでは特異点として捉えます。

一方、s＝0やs＝－1は元の級数では発散しても、解析接続後には有限の値が定まります。

入力値の範囲	級数による定義	解析接続後の扱い
実部が1より大きい	直接収束する	同じ値を持つ
s＝1	発散する	極となり有限値なし
s＝0	発散する	ζ（0）＝－1／2
負の偶数	発散する	値は0
s＝－1	発散する	ζ（－1）＝－1／12

表の「発散する」は、通常の無限和を計算した結果がその値になるという意味ではありません。

数学では、どの定義や変換に基づく値なのかを明示する姿勢が、誤解を避けるために欠かせません。

素数とオイラー積の関係

続いては素数とオイラー積の関係を確認していきます。

オイラー積による素数の表現

ゼータ関数は、実部が1より大きい範囲で、すべての素数を使った無限積としても表せます。

この式はオイラー積と呼ばれ、ゼータ関数が素数の情報を内部に持つことを示す重要な結果です。

素数とは、1より大きく、1と自分自身でしか割り切れない自然数です。

2、3、5、7、11のような数が素数に当たります。

無限積を展開すると、各素数のべき乗を選ぶ組み合わせが現れます。

たとえば2と3を選べば6、2の2乗と5を選べば20となり、自然数の素因数分解と対応します。

すべての自然数が素数の積として一意に表せるため、無限積と無限和が一致するのです。

この事実は、素数がばらばらに並んでいるように見えても、解析的な関数と強く結び付いていることを伝えます。

素数の個数を直接数える代わりに、ゼータ関数の性質を調べるという発想がここから生まれました。

素数分布を調べる手掛かり

ゼータ関数の零点は、素数がどの程度の間隔で現れるかを詳しく見積もるための手掛かりになります。

素数は小さい数の間では比較的よく現れますが、数が大きくなるほど間隔は不規則に見えます。

たとえば100までには25個の素数がありますが、非常に大きな範囲まで進むと、単純な規則だけで正確な位置を予測するのは困難です。

そこで、ある数以下の素数が何個あるかを表す関数を考えます。

その関数の大まかな振る舞いは、対数を使う近似で説明できます。

ただし、実際の個数と近似値の差がどの程度かを精密に扱うには、ゼータ関数の零点が関わります。

ここでいう零点はζ（s）＝0となる複素数sです。

負の偶数にある自明な零点とは別に、重要な非自明な零点が存在します。

数論では、この非自明な零点の位置を知ることが、素数分布の誤差を理解することにつながります。

1/12と発散級数の正しい理解

続いては1/12と発散級数の正しい理解を確認していきます。

1＋2＋3＋…とゼータ関数の値

1＋2＋3＋…は通常の意味では無限大へ発散し、－1／12にはなりません。

自然数を順に足すと、途中までの和は1、3、6、10、15と増え続けます。

項を増やすほど和が大きくなるため、有限の数に近づくことはありません。

したがって、日常的な加算や学校数学の無限級数として「1＋2＋3＋…＝－1／12」と書くのは誤りです。

一方で、ゼータ関数を解析接続した結果としてζ（－1）＝－1／12が成り立ちます。

形式的には、nの1乗を足す級数と、ζ（s）のs＝－1を結び付ける見方があります。

同じ記号の並びが出てくるため混乱しやすいですが、計算の目的と採用する方法が異なります。

たとえば家計簿の合計を出すときに、支出を足して－1/12になることはありません。

通常の和と正則化された値を区別すれば、この一見不思議な結果を正しく受け止められます。

正則化と形式的計算の注意点

－1／12は、発散する式に対して特定の理論的手続きを適用したときに得られる正則化された値です。

正則化とは、通常は発散して扱えない量から、一定の規則に従って意味のある有限部分を取り出す考え方です。

ゼータ正則化では、ゼータ関数の解析接続を利用します。

物理学では、量子場理論やカシミール効果の計算で似た考え方が現れることがあります。

ただし、物理の式でも発散する量をそのまま－1/12へ置き換えるわけではありません。

観測できる量との関係、差を取る操作、理論全体の整合性などを含めて扱われます。

表現	意味	扱い方
1＋2＋3＋…	自然数の通常の無限和	無限大へ発散する
ζ（－1）	解析接続後の関数値	－1／12となる
ゼータ正則化	発散量の有限部分を扱う方法	理論上の条件が必要
有限和 1＋2＋…＋N	Nまでの通常の加算	N（N＋1）／2で計算する

インターネット上では途中の式変形だけが紹介されることがありますが、発散級数では通常の四則演算の規則を無条件に使えません。

面白い結論ほど前提を確認し、「どの意味で等しいのか」を添える習慣を持つとよいでしょう。

ゼータ関数の要点と学び方のまとめ

ゼータ関数は、自然数の逆数のべき級数から始まり、解析接続によって複素数の広い範囲へ拡張される関数です。

最初の級数は実部が1より大きい範囲で収束し、s＝2ではπの2乗／6という美しい値が得られます。

解析接続を用いることで、元の級数では発散するs＝0やs＝－1にも関数値を与えられます。

ただしs＝1は特別な点であり、有限の値を持たないことも重要な特徴です。

オイラー積はゼータ関数と素数を結び付け、零点の研究は素数分布を理解する大きな手掛かりになります。

また、ζ（－1）＝－1／12は正しい数学的関係ですが、1＋2＋3＋…の通常の和が－1／12になるという意味ではありません。

発散する式を見かけたら、通常の和なのか、解析接続や正則化による値なのかを区別しましょう。

まずはζ（2）のような収束する具体例から計算し、少しずつ複素数や解析接続の考え方へ進むと、ゼータ関数の奥深さを楽しみながら学べます。