BSD予想(6) - 非専門的シンギュラリティー研究所

『p進ゼータ関数---久保田-レオポルドから岩澤理論へシリーズゼータの現在』は少しは読んだと思いますがあまりわかっていません。ディリクレのL関数について書かれています。この本の最初の方の基本的なことは ChatGPT はちゃんと答えてくれるし、関連性も指摘してくれます。BSD予想との関連性もよくわかりませんが、基本的なことを時間をかけて思い出したほうが良いので ChatGPT で調べていきます。

リーマンのゼータ関数の正の偶数での値は何ですか

と ChatGPT で入力すると以下のような結果が返されました。

リーマンのゼータ関数 $\zeta(s)$ の 正の偶数 における値は、美しい公式で与えられています。具体的には、バーゼル問題の一般化として、以下の公式があります：
$\displaystyle \zeta(2n) = \frac{(-1)^{n+1} B_{2n} (2\pi)^{2n}}{2 (2n)!}$
ここで：

$\zeta(s)$ はリーマンゼータ関数

$B_{2n}$ は ベルヌーイ数（Bernoulli numbers）

$n$ は正の整数

いくつかの具体例：

$\displaystyle\zeta(2) = \frac{\pi^2}{6}$

$\displaystyle\zeta(4) = \frac{\pi^4}{90}$

$\displaystyle\zeta(6) = \frac{\pi^6}{945}$

$\displaystyle\zeta(8) = \frac{\pi^8}{9450}$

これらはすべて π の偶数乗 で表され、係数はベルヌーイ数と階乗に依存します。

参考：ベルヌーイ数の例

$\begin{aligned} B_0 &= 1 \\ B_2 &= \frac{1}{6} \\ B_4 &= -\frac{1}{30} \\ B_6 &= \frac{1}{42} \\ B_8 &= -\frac{1}{30} \\ \end{aligned}$
したがって、たとえば：
$\displaystyle \zeta(4) = \frac{(-1)^{3} \cdot (-1/30) \cdot (2\pi)^4 }{2 \cdot 4!} = \frac{\pi^4}{90}$
というように計算できます。
他の偶数に対しても同様の計算が可能です。興味があれば、特定の $n$ の値についても計算をお手伝いします。

ディリクレ指標とは何ですか

と ChatGPT で入力すると以下のような結果が返されました。

ディリクレ指標（Dirichlet character）とは、数論における非常に重要な概念で、特に ディリクレのL関数 や 数論的関数の合同条件による分類に使われます。
簡単に言うと、ディリクレ指標は、ある法 $q$ に関する完全乗法的関数で、ある種の周期性と条件を満たすものです。

✅ 正確な定義（法 $q$ に関するディリクレ指標）

法 $q$ に関するディリクレ指標 $\chi \colon \mathbb{Z} \to \mathbb{C}$ とは、以下の条件を満たす関数のことです：
1. 完全乗法性：
$\chi(mn) = \chi(m)\chi(n) \quad \text{すべての } m,n \in \mathbb{Z}$
2. 周期性（法 $q$ ）：
$\chi(n + q) = \chi(n) \quad \text{すべての } n$
3. 単位元の条件と零条件：
$\chi(n) = \begin{cases} 0 & \text{if } \gcd(n, q) \ne 1 \\ \text{1の絶対値の複素数（つまり単位円上）} & \text{if } \gcd(n, q) = 1 \end{cases}$

✅ 簡単な例（法 $q = 3$ の場合）

法 $3$ に対するディリクレ指標の例を見てみましょう：

$\chi_0(n)$ ：自明指標（trivial character）

$\chi_0(n) = \begin{cases} 1 & \text{if } \gcd(n, 3) = 1 \\ 0 & \text{if } \gcd(n, 3) \ne 1 \end{cases}$

非自明な指標の例では、 $\chi(n)$ を $n \bmod 3$ に応じて $\chi(1)=1$ , $\chi(2) = -1$ のように定めることができます（乗法性が保たれるように）。

✅ ディリクレL関数との関係

ディリクレ指標は、ディリクレのL関数を定義するために使われます：
$\displaystyle L(s, \chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}$
この関数は、ゼータ関数 $\zeta(s)$ の一般化であり、ある特定の合同類に属する素数の分布を調べるための強力な道具です。特に、ディリクレの定理（「任意の法 $q$ において、互いに素な整数 $a$ に対して、無限に多くの素数が $a \bmod q$ に一致する」）の証明に用いられます。

✅ まとめ

特徴内容

種類数論的関数

定義域整数 $\mathbb{Z}$

値域複素数（主に単位円上）または 0

重要性 L関数の定義、素数の分布解析、合同条件の記述など

自明指標 $\chi(n) = 1$ （ $\gcd(n, q)=1$ のとき）

必要であれば、特定の法 $q$ の指標の具体例や、L関数との関係もさらに詳しく説明できます。

特徴	内容
種類	数論的関数
定義域	整数 $\mathbb{Z}$
値域	複素数（主に単位円上）または 0
重要性	L関数の定義、素数の分布解析、合同条件の記述など
自明指標	$\chi(n) = 1$ （ $\gcd(n, q)=1$ のとき）

ベルヌーイ数について教えてください

と ChatGPT で入力すると以下のような結果が返されました。

ベルヌーイ数（Bernoulli numbers）は、数論や解析、特にテイラー展開、ζ関数、オイラー–マクローリンの公式などに現れる重要な数列です。数学の多くの分野で基本的な役割を果たしています。

🔷 ベルヌーイ数の定義

ベルヌーイ数 $B_n$ は、次のような母関数（生成関数）によって定義されます：
$\displaystyle \frac{t}{e^t - 1} = \sum_{n=0}^\infty B_n \frac{t^n}{n!}$
この式は形式的な冪級数展開であり、右辺の係数がベルヌーイ数です。

🔷 最初のいくつかのベルヌーイ数

$\begin{aligned} B_0 &= 1 \\ B_1 &= -\frac{1}{2} \\ B_2 &= \frac{1}{6} \\ B_3 &= 0 \\ B_4 &= -\frac{1}{30} \\ B_5 &= 0 \\ B_6 &= \frac{1}{42} \\ B_7 &= 0 \\ B_8 &= -\frac{1}{30} \\ B_9 &= 0 \\ B_{10} &= \frac{5}{66} \\ \end{aligned}$

✅ 特徴：

奇数番目のベルヌーイ数（ $n \ge 3$ ）はすべて 0。

偶数番目は有理数で、交互に正負になります。

$B_1 = -\frac{1}{2}$ だけが例外的に非ゼロの奇数番目です。

🔷 用途・現れる場面

1. リーマンゼータ関数の正の偶数値の公式

$\displaystyle \zeta(2n) = \frac{(-1)^{n+1} B_{2n} (2\pi)^{2n}}{2 (2n)!}$

2. 冪和公式（1から $n$ までの $k$ 乗の和）

たとえば：
$\displaystyle \sum_{m=1}^{n} m^k = \frac{1}{k+1} \sum_{j=0}^k \binom{k+1}{j} B_j n^{k+1-j}$
例（平方数の和）：
$\displaystyle \sum_{m=1}^n m^2 = \frac{n(n+1)(2n+1)}{6} \quad\text{← } B_2 = \frac{1}{6}$

3. オイラー–マクローリンの公式

これは、和と積分の誤差補正項に現れます：
$\displaystyle \sum_{k=a}^b f(k) \approx \int_a^b f(x)\,dx + \frac{f(a)+f(b)}{2} + \sum_{k=1}^\infty \frac{B_{2k}}{(2k)!}(f^{(2k-1)}(b) - f^{(2k-1)}(a))$

🔷 まとめ

項目内容

記号 $B_n$

定義 $\displaystyle\frac{t}{e^t - 1} = \sum B_n \frac{t^n}{n!}$

値域有理数（多くは交互に正負）

特徴奇数番目（ $n \geq 3$ ）はゼロ

用途冪和、ζ関数、積分と和の関係など

必要であれば、ベルヌーイ多項式や計算アルゴリズム（例えばAkiyama–Tanigawaアルゴリズム）など、さらに発展的な話題にも触れられます。

項目	内容
記号	$B_n$
定義	$\displaystyle\frac{t}{e^t - 1} = \sum B_n \frac{t^n}{n!}$
値域	有理数（多くは交互に正負）
特徴	奇数番目（ $n \geq 3$ ）はゼロ
用途	冪和、ζ関数、積分と和の関係など