{{위키데이터 속성 추적}}
[[파일:Complex zeta.jpg|섬네일|오른쪽|복소평면에서의 리만 제타 함수. 색이 짙을수록 [[절댓값]]이 작으며, 옅을수록 [[절댓값]]이 크다. [[색상]]은 [[편각 (수학)|편각]]을 나타내며, 적색은 양의 실수, 연두색은 양의 허수, 옥색은 음의 실수, 남색은 음의 허수를 나타낸다.]]

[[정수론]]에서 '''리만 제타 함수'''({{llang|en|Riemann zeta function}}) <math>\zeta(s)</math>는 [[소수 (수론)|소수]]들의 [[정수론]]적 성질을 [[해석학 (수학)|해석]]적으로 내포하는 [[유리형 함수]]이다. [[해석적 수론]]에서 [[소수 (수론)|소수]]의 분포를 연구할 때 핵심적인 역할을 하며, 또한 [[L-함수]] 이론의 모태이다.

== 정의 ==
[[파일:Zeta.svg|섬네일|400px|실수 ''s''>1에 대한 리만 제타 함수의 그래프]]
리만 제타 함수는 실수부가 1보다 큰 임의의 [[복소수]] <math>s (\in \mathbb C)</math>에 대해, 다음과 같은 [[디리클레 수열]]로 정의된다.
:<math>\zeta(s) = \sum_{n=1}^\infin \frac{1}{n^s}</math>
이 [[무한급수]]는 <math>\Re(s) > 1</math>의 영역에서 수렴하고, 위 식은 [[정칙함수]]를 정의한다. 리만은 제타 함수가 ''s'' ≠ 1인 모든 점에서 정의된 [[유리형 함수]]로 유일하게 [[해석적 연속]]이 가능하다는 것을 알았으며, [[리만 가설]]에 등장하는 제타 함수는 확장된 리만 제타 함수를 뜻한다.

== 성질 ==
=== 해석적 연속과 함수 방정식 ===
[[야코비 세타 함수]]
:<math>\theta(\tau)= \sum_{n=-\infty}^\infty e^{\pi i n^2\tau}</math>
를 쓰자.
:<math>\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}</math>
이므로,
:<math>\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}</math>
자이 함수(<math>\xi</math> function)<ref>http://mathworld.wolfram.com/Xi-Function.html</ref>를 얻을 수 있다.
오른쪽의 적분은 모든 복소수 <math>s</math>에 대하여 수렴하지 않으나, 다음 식의 적분은 모든 <math>s</math>에 대하여 수렴한다.
:<math>\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}</math>
한편 여기서 세타 함수의 성질
:<math>\theta(-\frac{1}{\tau})=\sqrt{\frac{\tau}{i}} \theta({\tau})</math>
를 사용하면,
:<math>\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}</math>
를 보일 수 있다.
이로부터 제타 함수의 [[해석적 연속]]과 함수 방정식
:<math>\xi(s) = \xi(1-s) </math>
를 얻는다.

=== 특수한 값들 ===
다음은 작은 수에 대한 제타 함수의 값이다.
:<math>\zeta(-1) = -\frac{1}{12}</math>
:<math>\zeta(0) = -\frac{{1}}{{2}}</math>
:<math>\zeta\left(\frac12\right) \approx -1.4603545</math> ; ({{OEIS2C|id=A059750}})
:<math>\zeta(1) = 1 + \frac{1}{2} + \frac{1}{3} + \cdots = \infty</math> ; 이것은 [[조화급수]]이다.
:<math>\zeta\left(\frac32\right) \approx 2.612;</math> ; ({{OEIS2C|id=A078434}}) [[보스-아인슈타인 응축]]에서 임계 온도를 계산하는데 사용된다.
:<math>\zeta(2) = 1 + \frac{1}{2^2} + \frac{1}{3^2} + \cdots = \frac{\pi^2}{6}</math> ; ({{OEIS2C|id=A013661}}) 이것은 [[원주율]]의 근사값을 구하기 위해 종종 사용된다.
:<math>\zeta(3) = 1 + \frac{1}{2^3} + \frac{1}{3^3} + \cdots = 1.202\cdots </math> ; ({{OEIS2C|id=A002117}}) 이것은 [[아페리 상수]]이다.
:<math>\zeta(4) = 1 + \frac{1}{2^4} + \frac{1}{3^4} + \cdots = \frac{\pi^4}{90}</math> ({{OEIS2C|id=A0013662}}) 이것은 [[플랑크 법칙]]으로부터 [[슈테판-볼츠만 법칙]]을 도출하는 적분 과정에서 사용된다.
:<math>\zeta(5) = 1 + \frac{1}{2^5} + \frac{1}{3^5} + \cdots = 1.036\cdots </math>
:<math>\zeta(6) = 1 + \frac{1}{2^6} + \frac{1}{3^6} + \cdots = \frac{\pi^6}{945}</math>
:<math>\zeta(7) = 1 + \frac{1}{2^7} + \frac{1}{3^7} + \cdots = 1.0083\cdots</math>
:<math>\zeta(8) = 1 + \frac{1}{2^8} + \frac{1}{3^8} + \cdots = \frac{\pi^8}{9450}</math>
:<math>\zeta(9) = 1 + \frac{1}{2^9} + \frac{1}{3^9} + \cdots = 1.0020\cdots</math>
:<math>\zeta(10) = 1 + \frac{1}{2^{10}} + \frac{1}{3^{10}} + \cdots = \frac{\pi^{10}}{93555}</math>
현재 리만 제타 함수가 실수부가 짝수(<math>2N</math>)인 실수에서는 <math>\pi^{2N}</math>의 유리수배, 즉 [[초월수]]임이 알려졌다. 홀수일 때에는 3의 제타 함수 값은 무리수이며, 5, 7, 9, 11의 제타 함수 값 중 적어도 하나가 무리수라는 것만이 알려져 있다.

=== 오일러 곱셈과 디리클레 덧셈 ===
{{본문|오일러의 곱셈 공식}}
[[레온하르트 오일러]]는 리만 제타 함수가 [[소수 (수론)|소수]]와 다음과 같은 관계가 있다는 것을 알아냈다.
:<math>\zeta(s) = \prod_{p} \frac{1}{1-p^{-s}}</math>

:<math>\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</math>
위와 같은 절차를 거쳐서 우변의 모든 소수의 배수를 없애주면
특정 합성수는 항상 소수의 곱으로써 나타낼 수 있다는 [[산술의 기본 정리]]에 따라서 분모가 합성수 또는 소수인 수가 모두 사라지고
마지막에는 1만이 남는다. 즉
:<math>\zeta(s) \prod_{p} \left( 1 - {1 \over {p^{s}}} \right) = 1</math>
:<math>\zeta(s) \prod_{p} \left( 1 - p^{-s} \right) = 1</math>
:<math>\therefore\;\zeta(s) = \prod_{p} \frac{1}{1 - p^{-s}}</math>
위에서 제시되는,
:<math>\zeta(s) = {1 \over 1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots</math> 는,
:<math>\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)</math>이다.
이것은 [[디리클레 급수]](디리클레 덧셈)이다.

따라서,
:<math>\zeta(s)= \sum_{n=1}^{\infty} {{1}\over{n^s}}=\prod_{p} \frac{1}{1-p^{-s}}</math>
리만 제타 함수는 규칙적으로 모든 자연수에 대한 무한급수로 정의되어 있기 때문에 많은 방법으로 성질을 탐구할 수 있다. 그리고 이 리만 제타 함수는 오일러 곱을 통해 소수와 연결된다. 따라서, 이 식을 이용하면 소수의 비밀을 수학적으로 파헤칠 수 있으며, 그렇기 때문에 이 식은 중요하게 이용된다.

즉 리만 제타 함수는 모든 소수 <math>p</math>에 대해 위와 같은 무한 곱으로 나타낼 수 있다. 위 식은 [[오일러의 곱셈 공식]]이라 불리며, [[등비급수]]의 식과 [[산술의 기본 정리]]로부터 유도해낼 수 있다. 그 간단한 증명은 다음과 같다.

: <math>\zeta(s) = {1 \over 1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots</math>
: <math>\zeta(s) = 1 + \frac{1}{2^s} + \frac{1}{3^s} + \cdots</math> 이고, 양변에 <math> {1 \over 2^s}</math>를 곱하고나서
: <math> {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</math>
: <math> {1 \over 2^s}</math>를 곱하기 전의 식과 곱하고 나서의 식을 서로  빼주면,
: <math>\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 </math>
: <math>\zeta(s)\left(1-\frac 1{2^s}\right) = 1 + \frac{1}{3^s} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots </math>과 같이

우변의 분모에서 2의 배수가 모두 사라지는 것을 관찰할 수 있다. 또한 계속해서 반복하면,

: <math>\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 </math>위와

동일한 절차로 우변의 분모에서 3의 배수가 모두 사라진다.

=== 영점 ===
{{본문|리만 가설}}
함수 방정식에 따라, 리만 제타 함수는 음의 짝수 <math>s=-2,-4,-6,\dots</math>에서 영점을 가진다. 이 영점들을 '''자명한 영점'''({{llang|en|trivial zero}})이라고 한다. 리만 제타 함수의 자명하지 않은 영점들은 다음과 같은 '''임계 구역'''({{llang|en|critical strip}})에 존재한다.
:<math>\{s\in\mathbb C\colon0<\operatorname{Re}s<1\}</math>
임계 구역에서 다음과 같은 부분집합을 '''임계 직선'''({{llang|en|critical line}})이라고 한다.
:<math>\{s\in\mathbb C\colon\operatorname{Re}s=1/2\}</math>
임계 직선 위에는 무한히 많은 영점들이 존재한다는 사실이 알려져 있다. 현재까지 계산된 모든 비자명 영점들은 임계 직선 위에 존재하고 있지만, 모든 영점들이 실제로 임계 직선 위에 있는지 여부는 아직 증명되거나 반증되지 못했다. 이는 '''[[리만 가설]]'''로 일컬어지는 문제로, 현대 수학의 주요 난제로 꼽힌다.

리만 제타 함수의 영점들은 [[해석적 수론]]에서 [[소수 (수론)|소수]]의 분포에 대한 연구에 대해 매우 중요한 역할을 한다. 예를 들어, [[소수 정리]]는 리만 제타 함수의 영점들에 대한 동치인 명제로 바뀌어 증명될 수 있다.

== 일반화 ==
리만 제타 함수를 일반화한 몇 가지 [[제타 함수]]가 있다. 그중 가장 간단한 것은 [[후르비츠 제타 함수]]이며 다음과 같이 정의된다.
:<math>\zeta(s,q) = \sum_{k=0}^\infty (k+q)^{-s}</math>
이 함수는 <math>q = 1</math>일 때 리만 제타 함수가 된다.

== 참고 문헌 ==
{{위키공용분류}}
* {{저널 인용| 이름=Jonathan| 성=Borwein| 공저자=David M. Bradley, Richard Crandall| url=http://www.maths.ex.ac.uk/~mwatkins/zeta/borwein1.pdf| title=Computational Strategies for the Riemann Zeta Function| journal=J. Comp. App. Math.| year=2000| volume=121| pages=247–296| doi=10.1016/S0377-0427(00)00336-8| issue=1–2| bibcode=2000JCoAM.121..247B| 언어=en| access-date=2014-04-26| archive-date=2006-09-25| archive-url=https://web.archive.org/web/20060925091659/http://www.maths.ex.ac.uk/~mwatkins/zeta/borwein1.pdf| url-status=dead}}
* {{서적 인용|이름=H. M.|성=Edwards|title=Riemann's Zeta Function|publisher=Academic Press|날짜=1974|isbn=0-486-41740-9|언어=en}}
* {{서적 인용|이름=A.|성=Ivic|title=The Riemann Zeta Function|publisher=John Wiley & Sons|날짜=1985|isbn=0-471-80634-X|언어=en}}
* {{서적 인용| 이름=Y.|성=Motohashi | title=Spectral Theory of the Riemann Zeta-Function | publisher= Cambridge University Press | 날짜=1997| isbn=0521445205|언어=en}}
* {{서적 인용|이름=A. A.|성=Karatsuba |공저자= S.M. Voronin|title=The Riemann Zeta-Function|publisher= W. de Gruyter|날짜=1992|언어=en}}
* {{서적 인용| 이름=Donald J. |성=Newman| title=Analytic number theory| series=Graduate Texts in Mathematics | volume=177| publisher=Springer | 날짜=1998| isbn=0-387-98308-2|언어=en}}
* {{서적 인용|이름=Edward Charles|성=Titchmarsh|저자링크=에드워드 찰스 티치마시|제목=The Theory of the Riemann Zeta Function|판=2판|출판사=Oxford University Press|날짜= 1986|언어=en}}

== 같이 보기 ==
* [[리만 가설]]
* [[소수 정리]]
* [[베른하르트 리만]]
* [[레온하르트 오일러]]
* [[오일러의 곱셈 공식|소수와 오일러의 곱셈공식]]
* [[바젤 문제]]
* [[니븐 상수]]
* [[제타 함수]]
* [[L-함수]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{eom|title=Zeta-function}}
* {{매스월드|id=RiemannZetaFunction|title=Riemann zeta function}}

{{소수}}

{{전거 통제}}

[[분류:해석적 수론]]
[[분류:유리형 함수]]
[[분류:베른하르트 리만]]
[[분류:제타 함수와 L-함수]]