리만 제타 함수

복소평면에서의 리만 제타 함수. 색이 짙을수록 절댓값이 작으며, 옅을수록 [[절댓값이 크다. 색상은 편각을 나타내며, 적색은 양의 실수, 연두색은 양의 허수, 옥색은 음의 실수, 남색은 음의 허수를 나타낸다.]] 정수론에서 **리만 제타 함수**(Riemann zeta function) \zeta(s)는 소수들의 정수론적 성질을 해석적으로 내포하는 유리형 함수이다. 해석적 수론에서 소수의 분포를 연구할 때 핵심적인 역할을 하며, 또한 L-함수 이론의 모태이다.
# 정의
실수 *s*>1에 대한 리만 제타 함수의 그래프 리만 제타 함수는 실수부가 1보다 큰 임의의 복소수 s (\in \mathbb C)에 대해, 다음과 같은 디리클레 수열로 정의된다. :\zeta(s) = \sum_{n=1}^\infin \frac{1}{n^s} 이 무한급수는 \Re(s) > 1의 영역에서 수렴하고, 위 식은 정칙함수를 정의한다. 리만은 제타 함수가 *s* ≠ 1인 모든 점에서 정의된 유리형 함수로 유일하게 해석적 연속이 가능하다는 것을 알았으며, 리만 가설에 등장하는 제타 함수는 확장된 리만 제타 함수를 뜻한다.
# 성질

## 해석적 연속과 함수 방정식
야코비 세타 함수 :\theta(\tau)= \sum_{n=-\infty}^\infty e^{\pi i n^2\tau} 를 쓰자. :\int_0^\infty e^{-\pi n^2t} t^{\frac{s}{2 \frac{dt}{t} = {\pi}^{-\frac{s}{2\Gamma(\frac{s}{2})\frac{1}{n^s} 이므로, :\xi(s)=\pi^{-s/2}\Gamma(s/2)\zeta(s) = \int_0^\infty (\frac{\theta(it)-1}{2})t^{\frac{s}{2 \frac{dt}{t} 자이 함수(\xi function)http://mathworld.wolfram.com/Xi-Function.html를 얻을 수 있다. 오른쪽의 적분은 모든 복소수 s에 대하여 수렴하지 않으나, 다음 식의 적분은 모든 s에 대하여 수렴한다. :\xi(s)=\frac{1}{s-1}-\frac{1}{s} +\frac{1}{2}\int_0^1 (\theta(it)-\frac{1}{\sqrt{t)t^{\frac{s}{2 \frac{dt}{t} +\frac{1}{2}\int_1^\infty (\theta(it)-1)t^{\frac{s}{2 \frac{dt}{t} 한편 여기서 세타 함수의 성질 :\theta(-\frac{1}{\tau})=\sqrt{\frac{\tau}{i \theta({\tau}) 를 사용하면, :\xi(s) = \frac{1}{s-1}-\frac{1}{s} +\frac{1}{2}\int_1^\infty (\theta(it)-1)t^{\frac{1-s}{2 \frac{dt}{t}+\frac{1}{2}\int_1^\infty (\theta(it)-1)t^{\frac{s}{2 \frac{dt}{t} 를 보일 수 있다. 이로부터 제타 함수의 해석적 연속과 함수 방정식 :\xi(s) = \xi(1-s) 를 얻는다.
## 특수한 값들
다음은 작은 수에 대한 제타 함수의 값이다. :\zeta(-1) = -\frac{1}{12} :\zeta(0) = -\frac12 :\zeta\left(\frac12\right) \approx -1.4603545 ; (id=A059750) :\zeta(1) = 1 + \frac{1}{2} + \frac{1}{3} + \cdots = \infty ; 이것은 조화급수이다. :\zeta\left(\frac32\right) \approx 2.612; ; (id=A078434) 보스-아인슈타인 응축에서 임계 온도를 계산하는데 사용된다. :\zeta(2) = 1 + \frac{1}{2^2} + \frac{1}{3^2} + \cdots = \frac{\pi^2}{6} ; (id=A013661) 이것은 원주율의 근사값을 구하기 위해 종종 사용된다. :\zeta(3) = 1 + \frac{1}{2^3} + \frac{1}{3^3} + \cdots = 1.202\cdots ; (id=A002117) 이것은 아페리 상수이다. :\zeta(4) = 1 + \frac{1}{2^4} + \frac{1}{3^4} + \cdots = \frac{\pi^4}{90} (id=A0013662) 이것은 플랑크 법칙으로부터 슈테판-볼츠만 법칙을 도출하는 적분 과정에서 사용된다. :\zeta(5) = 1 + \frac{1}{2^5} + \frac{1}{3^5} + \cdots = 1.036\cdots :\zeta(6) = 1 + \frac{1}{2^6} + \frac{1}{3^6} + \cdots = \frac{\pi^6}{945} :\zeta(7) = 1 + \frac{1}{2^7} + \frac{1}{3^7} + \cdots = 1.0083\cdots :\zeta(8) = 1 + \frac{1}{2^8} + \frac{1}{3^8} + \cdots = \frac{\pi^8}{9450} :\zeta(9) = 1 + \frac{1}{2^9} + \frac{1}{3^9} + \cdots = 1.0020\cdots :\zeta(10) = 1 + \frac{1}{2^{10 + \frac{1}{3^{10 + \cdots = \frac{\pi^{10{93555} 현재 리만 제타 함수가 실수부가 짝수(2N)인 실수에서는 \pi^{2N}의 유리수배, 즉 초월수임이 알려졌다. 홀수일 때에는 3의 제타 함수 값은 무리수이며, 5, 7, 9, 11의 제타 함수 값 중 적어도 하나가 무리수라는 것만이 알려져 있다.
## 오일러 곱셈과 디리클레 덧셈
오일러의 곱셈 공식 레온하르트 오일러는 리만 제타 함수가 소수와 다음과 같은 관계가 있다는 것을 알아냈다. :\zeta(s) = \prod_{p} \frac{1}{1-p^{-s :\zeta(s) \left(1-\frac 1{2^s}\right) \left(1-\frac 1{3^s}\right) \left(1-\frac 1{5^s}\right) \cdots =1 위와 같은 절차를 거쳐서 우변의 모든 소수의 배수를 없애주면 특정 합성수는 항상 소수의 곱으로써 나타낼 수 있다는 산술의 기본 정리에 따라서 분모가 합성수 또는 소수인 수가 모두 사라지고 마지막에는 1만이 남는다. 즉 :\zeta(s) \prod_{p} \left( 1 - {1 \over {p^{s \right) = 1 :\zeta(s) \prod_{p} \left( 1 - p^{-s} \right) = 1 :\therefore\;\zeta(s) = \prod_{p} \frac{1}{1 - p^{-s 위에서 제시되는, :\zeta(s) = {1 \over 1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots 는, :\zeta(s) = {1 \over 1^s} + 1}\over{2^s + 1}\over{3^s + \cdots=\sum_{n=1}^{\infty} 1}\over{n^s=\zeta(s)이다. 이것은 디리클레 급수(디리클레 덧셈)이다. 따라서, :\zeta(s)= \sum_{n=1}^{\infty} 1}\over{n^s=\prod_{p} \frac{1}{1-p^{-s 리만 제타 함수는 규칙적으로 모든 자연수에 대한 무한급수로 정의되어 있기 때문에 많은 방법으로 성질을 탐구할 수 있다. 그리고 이 리만 제타 함수는 오일러 곱을 통해 소수와 연결된다. 따라서, 이 식을 이용하면 소수의 비밀을 수학적으로 파헤칠 수 있으며, 그렇기 때문에 이 식은 중요하게 이용된다. 즉 리만 제타 함수는 모든 소수 p에 대해 위와 같은 무한 곱으로 나타낼 수 있다. 위 식은 오일러의 곱셈 공식이라 불리며, 등비급수의 식과 산술의 기본 정리로부터 유도해낼 수 있다. 그 간단한 증명은 다음과 같다. : \zeta(s) = {1 \over 1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots : \zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \cdots 이고, 양변에 {1 \over 2^s}를 곱하고나서 : {1 \over 2^s}\cdot \zeta(s)= {1 \over (2\cdot1)^s}+{1 \over (2\cdot2)^s}+{1 \over (2\cdot3)^s}+{1 \over (2\cdot4)^s}+ \cdots : {1 \over 2^s}를 곱하기 전의 식과 곱하고 나서의 식을 서로 빼주면, : \zeta(s)-\left(\frac 1{2^s} \cdot \zeta(s)\right) = 1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots : \zeta(s)\left(1-\frac 1{2^s}\right) = 1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots 과 같이 우변의 분모에서 2의 배수가 모두 사라지는 것을 관찰할 수 있다. 또한 계속해서 반복하면, : \zeta(s)\left(1-\frac 1{2^s}\right)\left(1-\frac 1{3^s}\right) = 1 + \frac{1}{5^s} + \frac{1}{7^s} + \frac{1}{11^s} + \cdots 위와 동일한 절차로 우변의 분모에서 3의 배수가 모두 사라진다.
## 영점
리만 가설 함수 방정식에 따라, 리만 제타 함수는 음의 짝수 s=-2,-4,-6,\dots에서 영점을 가진다. 이 영점들을 **자명한 영점**(trivial zero)이라고 한다. 리만 제타 함수의 자명하지 않은 영점들은 다음과 같은 **임계 구역**(critical strip)에 존재한다. :\\{s\in\mathbb C\colon0<\operatorname{Re}s<1\\} 임계 구역에서 다음과 같은 부분집합을 **임계 직선**(critical line)이라고 한다. :\\{s\in\mathbb C\colon\operatorname{Re}s=1/2\\} 임계 직선 위에는 무한히 많은 영점들이 존재한다는 사실이 알려져 있다. 현재까지 계산된 모든 비자명 영점들은 임계 직선 위에 존재하고 있지만, 모든 영점들이 실제로 임계 직선 위에 있는지 여부는 아직 증명되거나 반증되지 못했다. 이는 **리만 가설**로 일컬어지는 문제로, 현대 수학의 주요 난제로 꼽힌다. 리만 제타 함수의 영점들은 해석적 수론에서 소수의 분포에 대한 연구에 대해 매우 중요한 역할을 한다. 예를 들어, 소수 정리는 리만 제타 함수의 영점들에 대한 동치인 명제로 바뀌어 증명될 수 있다.
# 일반화
리만 제타 함수를 일반화한 몇 가지 제타 함수가 있다. 그중 가장 간단한 것은 후르비츠 제타 함수이며 다음과 같이 정의된다. :\zeta(s,q) = \sum_{k=0}^\infty (k+q)^{-s} 이 함수는 q = 1일 때 리만 제타 함수가 된다.