리만 제타 함수는 ζ(s) = 1 + 1/2ˢ + 1/3ˢ + 1/4ˢ + ⋯입니다. 오일러는 실수 버전을 연구하여 ζ(2) = π²/6(바젤 문제)과 모든 소수에 대한 곱 공식 ζ(s) = ∏ 1/(1-p⁻ˢ)을 발견했습니다. 리만은 1859년의 기념비적 논문에서 이 함수를 복소수로 확장했습니다.
짝수 정수에서의 제타 함수 값 표
| s | ζ(s) | exact form |
|---|---|---|
| 2 | 1.64493… | π²/6 |
| 3 | 1.20206… | unknown (Apéry) |
| 4 | 1.08232… | π⁴/90 |
| 6 | 1.01734… | π⁶/945 |
| -2,-4,… | 0 | trivial zeros |
리만의 핵심 통찰: ζ(s)를 복소수 s로 확장하면, 비자명 영점(0 < Re(s) < 1에서 ζ(s) = 0)이 소수의 분포를 지배합니다. 각 영점은 소수 계수 함수에 진동을 기여합니다. 리만은 1859년에 모든 비자명 영점이 Re(s) = 1/2 직선 위에 있다고 추측했습니다. 이것이 리만 가설입니다.
10조 개 이상의 비자명 영점이 Re(s) = 1/2 위에 있음이 검증되었습니다. 반례는 한 번도 발견되지 않았습니다. 클레이 수학 연구소는 증명(또는 반증)에 100만 달러의 상금을 제공합니다. 증명이 이루어지면 소수 분포 오차에 대해 가능한 가장 정밀한 한계를 제공할 것입니다. 리만 가설은 165년간 미증명 상태입니다.
리만 제타 함수는 대칭성을 만족합니다: ζ(s) = 2^s × π^(s-1) × sin(πs/2) × Γ(1-s) × ζ(1-s). 이것은 제타를 s = 1을 제외한 모든 복소수 s로 확장하며, s에서의 값을 1-s에서의 값과 연결합니다. 비자명 영점은 쌍으로 나타남을 보여줍니다: s가 영점이면 1-s도 영점입니다. s = -2, -4, -6, ... 에서의 자명 영점은 sin(πs/2) 인수에서 비롯됩니다.
리만 제타 함수는 ζ(s) = 1 + 1/2^s + 1/3^s + ...입니다. 오일러는 짝수 정수에서의 값을 계산했습니다: ζ(2) = π²/6, ζ(4) = π⁴/90. 리만은 1859년에 복소수 s로 확장하고 모든 비자명 영점이 Re(s) = 1/2 위에 있다고 추측했습니다. 이 리만 가설은 165년간 미증명이며 100만 달러의 클레이 밀레니엄 상금이 걸려 있습니다. 10조 개 이상의 영점이 임계선 위에 있음이 검증되었습니다. 영점은 소수 분포를 지배합니다: 각 영점이 소수 계수 함수에 진동을 기여합니다.