리만 가설

실수부 값이 1/2인 임계선 위에서 리만 제타 함수의 실수부(적색)와 허수부(청색) 값. 리만 제타 함수의 자명하지 않은 근을 Im(s)가 ±14.135i, ±21.022i, ±25.011i 인 지점에서 볼 수 있다. 밀레니엄 문제 수학에서, **리만 가설**(-假說, Riemann hypothesis) 또는 **리만 제타 추측**은 리만 제타 함수의 자명하지 않은 모든 영점의 실수부가 \frac{1} 2이라는 추측이다.언어=enurl-status=url-status=deadyear=2003year=2005날짜=2003year=2003year=1974volume=14doi=10.1007/978-0-387-72126-2year=1986year=1985 (Reprinted by Dover 2003)volume=5 19세기 중반에 발표된 이래로 수학사에서 주요 미해결 난제의 하나로 남아 있었다. 리만 가설은 소수의 분포와 밀접하게 연관되어 있다.

> 리만 가설 공식 (ℜ(*s*)=1/2⇔∀*s*∈C\2Z− s.t. *ζ*(*s*)=0) \----리만 제타 함수 *ζ*(*s*)=0을 만족하는 모든 자명하지 않은 근의 실수부는 1/2이다.

2 + *ix*)상을 움직이는 점에 대한 제타 함수 값의 변화. 이 곡선은 원점을 여러번 통과한다. 제타함수 곡선(허수부가 0에서 50까지 변화)이 실수부의 값에 따라 변화하는 모양. 실수부가 1/2인 경우에만 제타함수 곡선이 원점을 여러번 지나간다.
# 정의
리만 제타 함수는 실수 s>1에 대하여, 다음과 같은 수렴 급수로서 정의되고, 이에 속하지 않는 임의의 복소수 s에 대해서는 해석적 연속으로 정의된다. :\zeta(s) =\sum_{n=1}^\infty \frac{1}{n^s} =\frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots. 리만 가설은 이 영역 밖에서 *s*를 해석적 연속으로 근을 설명한다. 이것은 디리클레 에타 함수를 이용하여 다음과 같이 설명할 수 있다. *s*의 실수부가 1보다 크면, 제타 함수는 다음의 관계를 만족한다. :\left(1-\frac{2}{2^s}\right)\zeta(s) =\sum_{n=1}^\infty \frac{(-1)^{n+1{n^s} =\frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \cdots 그런데 오른편의 급수는 *s*의 실수부가 1보다 클 때 뿐만 아니라, 더욱 일반적으로 *s*가 양의 실수부를 가지면 수렴한다. 따라서, 위의 대안적인 급수에 의하여 제타 함수는 \left( 1-2}\over{2^s \right)의 0점인 s = 1 + 2\pi in}\over{\ln(2)를 제외하고 Re(*s*) > 1 영역에서 Re(*s*) > 0인 영역으로 확장된다. 리만 제타 함수는 극한값을 취하는 방식으로도 확장할 수 있는데, 이러한 방식에 의하면, 단순 극값을 갖는 s=1을 제외하고 양의 실수부를 갖는 모든 s에 대하여 확장할 수 있다. 한편 0\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\zeta(1-s) 그 외의 0이 아닌 모든 복소수에 대한 ζ(*s*)의 값은 임계대 바깥 영역에서 ζ(*s*)가 우측의 식과 양수가 아닌 실수부를 갖는 s에 대하여 등식이 성립하는 것으로 두어 정의 할 수 있다. 리만 제타 함수는 음의 짝수에서 영점을 갖는데, 이는 sin(π*s*/2)=0이기 때문이며 이러한 점들을 리만 제타 함수의 자명한 영점(trivial zero)이라고 한다. :\zeta(s)=0\qquad(s=-2,-4,-6,\dots) 만약 *s*가 양의 짝수이면 영점이 되지 않는데, 이는 사인 함수의 0점과 감마 함수에서 변수가 음의 정수일 때 발생하는 극점(pole)과 상쇄되기 때문이다. ζ(0) = −1/2은 위 함수 방정식의 우변이 '1+1+1+...'이 되므로 함수 방정식에서는 결정될 수 없고, ζ(*s*)에서 s가 0으로 수렴할 때의 점근값이다. 리만 제타 함수는 자명한 영점을 제외한 다른 실수에서는 0이 되지 않아, 자명하지 않은 모든 영점 z는 복소수이고 그 실수부는 0과 1사이에 존재한다. 이 영역 :\\{z\in\mathbb C\colon00에 대하여 다음이 성립한다는 것과 동치이다.언어=fr :-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)! \zeta(2k)}= O\left(x^{\frac{1}{4}+\epsilon}\right) 리만 가설은 모든 s\in\mathbb C에 대하여, :01/2라면 다음 등식이 성립한다는 것과 동치이다.이 식은 \operatorname{Re}s>=1일 때 수렴함이 알려져 있다. :\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s} 여기서 \mu(n)은 뫼비우스 함수이다. 메르텐스 함수 M(x)를 다음과 같이 정의하자. :M(x) = \sum_{n \le x} \mu(n) 그렇다면, 리만 가설은 메르텐스 함수가 임의의 \epsilon>0에 대하여 다음을 만족시킨다는 것과 동치이다. :M(x) = \mathcal{O}(x^{1/2+\varepsilon}) (\mathcal O는 점근 표기법이다.) n\times n 레드헤퍼 행렬(Redheffer matrix)의 행렬식은 *M*(*n*)과 같다. 따라서, 리만 가설은 이 행렬식이 얼마나 빨리 증가하는지에 대한 가설로 생각할 수 있다. 1985년 앤드루 오들리츠코(Andrew M. Odlyzko)와 헤르마뉘스 요하너스 요서프 테 릴러(Hermanus Johannes Joseph te Riele)는 리만 가설과 레드헤퍼 행렬의 관계를 이용하여 메르텐스 추측을 반증하였다.url-status=dead :|M(x)| \le x^\frac{1}{2}. 1984년 기 로뱅(Guy Robin)은 약수 함수에 대하여 로뱅 부등식을 발표하였다.언어=fr 약수 함수는 다음과 같이 정의되며 :\sigma(n) = \sum_{d\mid n} d 따라서 다음의 부등식으로 표현된다. :\sigma(n) 0이 된다고 하면, :\sum_{i=1}^m|F_n(i) - i/m| = \mathcal{O}(n^{1/2+\epsilon}) 이는 리만 가설에 상응한다. 여기서 *n*에 대한 페어리 수열 안의 *m*번째 항은 m = \sum_{i=1}^n\phi(i)이 된다.
## 군론
리만 가설은 군론적으로도 서술할 수 있다. 1988년 장피에르 마시아(Jean-Pierre Massias)와 장루이 니콜라(Jean-Louis Nicolas, 기 로뱅(Guy Robin)은 *g*(*n*)이 *n*차원의 대칭군 *S**n*의 원소 중 최대 계수(order)에 의한 란다우 함수일 때, 리만 가설은 충분히 큰 모든 n에 대해 다음의 식과 상응함을 보였다.url-status=dead :\log g(n) 0에 대하여, t\to\infty일 때 다음이 성립한다.그러나, 이의 역은 성립하지 않는다. :\zeta\left(\frac12 + it\right) = \mathcal{O}(t^\epsilon) 이를 린델뢰프 가설(Lindelöf hypothesis)이라고 한다. 만약 리만 가설이 참이라면, 다음이 성립한다.언어=en : e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{|\zeta(1+it)|}{\log\log t}\le 2e^\gamma : \frac{6}{\pi^2}e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{1/|\zeta(1+it)|}{\log\log t}\le \frac{12}{\pi^2}e^\gamma
## 소수의 분포
만약 리만 가설이 참이라면, 소수 사이의 간격은 다음과 같다. 이는 스웨덴의 수학자 하랄드 크라메르(Harald Cramér)가 증명하였다.확인날짜= :\mathcal O(\sqrt p\ln p) 또한 크라메르는 여기에 *p*까지의 실제 소수의 개수와 log*p*의 차가 *O*(√*p* log *p*)와 같이 점근한다고 추측하였다. 이를 크라메르 추측이라 하며, 이에 대한 상당한 수치적 증거가 존재한다.url-status = dead
# 일반화 및 관련 추측
리만 가설을 일반화하는 **일반화 리만 가설**이 존재한다. 이는 임의의 대수적 수체에 적용되며, 수론에서 다양한 명제들을 함의한다.year=2010언어=en 일반화 리만 가설은 디리클레 L-함수의 모든 자명하지 않은 근의 실수부가 1/2이라는 가설이다. 디리클레 L-함수의 모든 근의 실수부는 0과 1 사이에 있다. χ가 1인 경우 리만 가설이 된다. 대수적 수체와 대수다양체의 유리 함수체는 여러 유사한 성질을 가지며, 공통적으로 대역체로 분류된다. 이에 따라, 대수다양체에 대한 리만 가설을 정의할 수 있는데, 이를 베유 추측이라고 한다. 에밀 아르틴은 2차 함수체에 대한 리만 가설을 제시하였고,언어=de 이는 앙드레 베유가 증명하였다.언어=fr 이를 바탕으로, 베유는 1949년에 모든 대수다양체에 대한 추측을 제시하였고,언어=en 피에르 들리뉴가 증명하였다.언어=fr언어=fr 함수체 위에 정의되는 고스 제타 함수(Goss zeta function)에 대한 리만 가설 역시 증명되었다.pages=121–157 이를 넘어서, 정수환 위의 임의의 유한형 스킴에 대하여 리만 가설을 일반화할 수 있다. 이는 대수적 수체의 경우와 함수체의 경우의 공통적인 일반화이다.
# 부분적 증명
점근적으로, 리만 제타 함수의 자명하지 않은 영점들 가운데 적어도 2/5가 임계점 위에 있다.url-status= 또한, 임의의 양의 실수 \epsilon>0에 대하여, :|\operatorname{Re}s-1/2|0가 존재한다.year=1899–1900 또한, 리만 제타 함수의 자명하지 않은 영점에 대하여 다음이 성립한다.언어=en :\frac{1}{57.54(\log{|t|})^{2/3}(\log{\log{|t|)^{1/3\le\sigma\le 1-\frac{1}{57.54(\log{|t|})^{2/3}(\log{\log{|t|)^{1/3 이 밖에도, 리만 제타 함수의 영점의 분포에 대한 **셀베르그 추측** 및 관련된 명제들이 증명되었다.pages=89–155pages=47–87언어=ru언어=ru언어=ru언어=en
# 증명 시도

## 소수 정리의 증명
1896년에 프랑스의 자크 아다마르url=http://www.numdam.org/item?id=BSMF_1896__24__199_1와 벨기에의 샤를장 드 라 발레푸생pages= 183–256 은 다음과 같은 약한 형태의 리만 가설을 증명하였다. 아다마르와 드 라 발레푸생은 이를 사용하여 소수 정리를 증명하였다.url-status= * 제타 함수의 자명하지 않은 모든 근들의 실수부는 0보다 크고 1보다 작다.
## 20세기
리만의 논문 〈주어진 수보다 작은 소수의 개수에 관하여〉의 주제인 소수 정리가 증명되자 수학자들의 관심은 리만 가설 자체에 집중되었다. 다비트 힐베르트는 1900년 8월 8일 소르본 대학에서 열린 제2회 국제수학자대회에서 〈수학 문제들〉이라는 주제의 강연을 통해 20세기에 들어 해결해야할 중요한 수학 문제 23개를 제시하였으며, 이는 오늘날 힐베르트의 문제들로 불린다. 리만 가설은 이 가운데 골드바흐의 추측과 함께 8번 문제로 수록되었다. 언어=de 헬리에 본 코크는 리만 가설이 소수 정리의 가장 정밀한 오류항을 제공한다는 것을 증명하였다.언어=fr 즉, 소수 정리의 오류항을 더 세밀하게 측정하는 것은 제타 함수의 영점이 모두 임계선에 더 가깝게 존재한다는 것과 같다. 외르겐 페데르센 그람(Jørgen Pedersen Gram)은 1903년 리만 제타 함수의 근을 계산하는 방법을 개발하여 실수축에서 가까운 15개의 근을 계산하여, 모두 임계선 위에 위치함을 확인하였다.271언어=fr 고드프리 해럴드 하디는 1914년 임계선 위에 무한히 많은 수의 영점이 존재한다는 것을 증명하였다.언어=fr언어=enE.T.벨, 안재구 역, 수학을 만든 사람들, 미래사, 2006하권 246쪽 앨버트 잉햄(Albert Ingham)은 1932년 리만 가설에 의한 리만 제타 함수의 해와 주어진 수까지의 소수의 실제 개수 β간의 오차를 상한과 하한으로 표현하는 함수로서 O(*x*β)를 정의하였다.mr=1074573 아틀레 셀베르그는 1942년에 리만 제타 함수의 자명하지 않은 영점 가운데, 임계선 위에 있는 것들의 비율은 (점근적으로) 양수라는 것을 증명하였다.pages= 59 pp 이후 1974년에 레빈슨(N. Levinson)은 이 비율이 ⅓ 이상이라는 것을 증명하였고, 1989년에 콘리(J. B. Conrey)는 이 비율이 ⅖ 이상이라는 것을 증명하였다. 로월 숀펠드(Schoenfeld, Lowell)는 1976년 2657이상의 x에 대하여 주어진 수까지의 실제 소수의 개수를 나타내는 함수 \pi (x)와 로그 적분 함수 \operatorname{Li}(x)의 오차에 다음과 같이 정리하였다.언어=en :|\pi(x) - \operatorname{Li}(x)| < \frac{1}{8\pi} \sqrt{x} \, \log(x), \qquad \text{for all } x \ge 2657.
## 작용소 이론과 양자역학
다비트 힐베르트와 포여 죄르지는 리만 제타 함수의 영점들이 어떤 자기 수반 작용소의 고윳값들과 대응한다고 추측하였다. 자기 수반 작용소의 고윳값들은 자동적으로 허수 성분이 0이므로, 이를 통하여 왜 영점들이 모두 임계선 위에 있는지를 설명할 수 있다. 앤드루 오들리즈코(Andrew M. Odlyzko)는 1987년에 리만 제타 함수의 영점들의 분포가 일부 무작위 행렬의 고윳값들의 분포와 유사한 성질을 갖는다는 것을 보였다. 돈 재기어는 이러한 연산자가 상반 평면 위의 함수 공간 (보형 형식)의 라플라스 연산자라고 추측하였고,언어=en 피에르 카르티에도 이에 대한 근거를 제시하였다.언어=fr 크리스토퍼 데닝거(Christopher Deninger)는 이러한 연산자가 정수환의 스펙트럼 \operatorname{Spec}\mathbb Z의 일종의 "코호몰로지" 위에 작용한다고 추측하였다.언어=en언어=en 일부 학자들은 이러한 작용소가 어떤 양자역학적 계의 해밀토니언일 수 있다고 추측한다.pages=57–89언어=en 또한, 일부 학자들은 리만 가설이 통계 역학의 리-양 정리와 관련이 있을 수 있다고 추측한다.
## 비가환 기하학
알랭 콘은 리만 가설과 비가환 기하학 사이의 관계를 지적하였고, 이를 통해 리만 가설을 함의하는 비가환 기하학적 명제를 발표하였다.언어=en언어=en언어=en
## 타원 곡선의 산술 제타 함수
대수적 수체는 1차원 스킴으로, 수체 위의 대수 곡선은 2차원 스킴으로 여길 수 있다. 일반화 리만 가설은 이렇게 1차원적인 추측이다. 2차원, 구체적으로 대수적 수체 위의 타원 곡선의 산술 제타 함수에 대한 어떤 명제가 일반화 리만 가설을 사실상 함의하며,언어=en 반대로 일반화 리만 가설은 이 명제를 함의한다.언어=en
## 기타
1948년에 투란 팔은 어떤 특정 디리클레 지표에 대한 추측이 리만 가설을 함의함을 증명하였다.pages=36 그러나 이 추측은 거짓인 것으로 판명되었다.언어=en언어=en 루이 드 브랑주(Louis de Branges)는 1990년에 특정한 전해석 함수들의 힐베르트 공간의 특정한 성질로부터 리만 가설을 유추할 수 있음을 보였다.언어=en 그러나 이 성질은 사실 거짓임이 증명되었다.언어=en 프리먼 다이슨은 리만 가설이 준결정과 연관되어 있다고 추측하였다.언어=en
## 21세기
2004년에는 제타 함수의 처음 1013개의 영점들이 계산되었으며, 이들은 모두 임계선 위에 위치하였다.언어=en 2001년 미국 클레이 수학연구소가 7개의 밀레니엄 문제 가운데의 하나로 리만 가설에 100만 달러의 상금을 걸었다.확인날짜= 2004년에는 퍼듀 대학교 수학 교수인 루이 드 브랑주(Louis de Branges)가 인터넷에 23페이지 리만 가설의 증명을 올렸다. 하지만 한달 뒤, 드 브랑주의 증명을 검토하던 클레이 수학 연구소에서 드 브랑주의 논문의 오류를 발견하였다.확인날짜= 그는 2016년 1월까지 리만 가설의 증명을 발표했으나archive-url=https://web.archive.org/web/20130920101241/http://www.math.purdue.edu/~branges/proof-riemann.pdf 성공하진 못했다. 오늘날 많은 수학자들은 리만 가설이 참일 것이라고 추측하지만, 존 이든저 리틀우드를 비롯한 몇몇 회의적인 수학자들도 존재한다.
## 영점의 계산
현재까지 계산된 리만 제타 함수의 영점들의 수는 다음과 같다. 비교적 작은 영점들의 값은 출판된 표에서 찾아볼 수 있다.언어=en Review {| class="wikitable" |- !날짜 !영점의 수 !저자 |- |1859? |3 |베른하르트 리만 |- |1903 |15 |외르겐 페데르센 그람(Jørgen Pedersen Gram) |- |1914 |79 |R. J. Backlund |- |1925 |138 |J. I. Hutchinson언어=en |- |1935 |195 |E. C. Titchmarsh언어=en |- |1936 |1041 |E. C. Titchmarsh |- |1953 |1104 |앨런 튜링언어=en |- |1956 | 1.5×104 |D. H. Lehmer언어=en |- |1956 | 2.5×104 |D. H. Lehmer |- |1958 |3.5337×104 |N. A. Meller |- |1966 |2.5×105 |R. S. Lehman |- |1968 |3.5×106 |J. Barkley Rosser, J. M. Yohe, Lowell Schoenfeld |- |1977 |4×107 | Richard P. Brent |- |1979 |8.1×107 |Richard P. Brent |- |1982 |2×108 |R. P. Brent, Johan van de Lune, Hermanus J. J. te Riele, D. T. Winter |- |1983 |3×108 |Johan van de Lune, Hermanus J. J. te Riele |- |1986 |1.5×109 |van de Lune, te Riele |- |2001 |1010 |J. van de Lune (미출판) |- |2004 |9×1011 |S. Wedeniwski (ZetaGrid) |- |2004 |1013 | X. Gourdon |} 이 밖에도, 앤드루 오들리츠코(Andrew M. Odlyzko)는 많은 수들의 매우 큰 영점들의 위치를 계산하였다. 그 영점들의 허수부 목록은 오들리즈코의 사이트인 http://www.dtc.umn.edu/~odlyzko/zeta_tables/ 에 들어 있다.