"리만 제타 함수"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 10개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
| − | * 복소수 <math>\ | + | * 복소수 <math>\Re(s)>1</math>에 대하여 다음과 같은 급수로 복소함수를 정의 |
:<math>\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}</math> | :<math>\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}</math> | ||
* 이렇게 실수부가 1보다 큰 [[복소수]] 영역에서 급수로 정의된 함수를 해석적확장을 통해, 복소평면 전체에서 정의된 함수를 정의할 수 있음. | * 이렇게 실수부가 1보다 큰 [[복소수]] 영역에서 급수로 정의된 함수를 해석적확장을 통해, 복소평면 전체에서 정의된 함수를 정의할 수 있음. | ||
| 9번째 줄: | 9번째 줄: | ||
* 이 함수를 이해하는 좀더 일반적인 이론적 틀에 대해서는 [[L-함수, 제타함수와 디리클레 급수]] 항목을 참조 | * 이 함수를 이해하는 좀더 일반적인 이론적 틀에 대해서는 [[L-함수, 제타함수와 디리클레 급수]] 항목을 참조 | ||
| − | + | ||
| − | + | ||
| − | == | + | ==해석적확장 (analytic continuation)== |
| − | * [[자코비 세타함수]]를 이용하여, 리만제타함수를 복소평면 전체로 확장할 수 있음.:<math>\theta(\tau)= \sum_{n=-\infty}^\infty e^{\pi i n^2 \tau}</math | + | * [[자코비 세타함수]]를 이용하여, 리만제타함수를 복소평면 전체로 확장할 수 있음.:<math>\theta(\tau)= \sum_{n=-\infty}^\infty e^{\pi i n^2 \tau}</math> |
| − | * [[감마함수]]:<math>\Gamma(s) = \int_0^\infty e^{-t} t^{s} \frac{dt}{t}</math | + | * [[감마함수]]:<math>\Gamma(s) = \int_0^\infty e^{-t} t^{s} \frac{dt}{t}</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\left(\frac{s}{2}\right)\ \zeta(s)= \int_0^\infty (\frac{\theta(it)-1}{2})t^{\frac{s}{2}} \frac{dt}{t}</math> | ||
| − | + | * 그러나 위의 적분은 모든 s에 대하여 수렴하지 않음. 따라서 다음과 같이 수정하여, 적분이 모든 s에 대하여 정의되도록 함. | |
| − | + | :<math>\xi(s)=\pi^{-s/2}\Gamma(s/2)\zeta(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> | |
| − | * 그러나 위의 적분은 모든 s에 대하여 수렴하지 않음. 따라서 다음과 | ||
| − | |||
| − | <math>\xi(s)=\pi^{-s/2}\Gamma(s/2)\zeta(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>\theta(iy)=\frac{1}{\sqrt{y}}\theta(\frac{i}{y})</math> | ||
이 사용됨. | 이 사용됨. | ||
| + | |||
| − | + | ==리만제타함수의 함수방정식== | |
| − | + | * 리만제타함수는 <math>s=\frac{1}{2}</math> 에 대하여 대칭성을 가지고, 그에 따른 함수방정식을 만족시킴.:<math>\xi(s) = \xi(1 - s)</math> 즉,:<math>\pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)=\pi^{-(1-s)/2}\ \Gamma\left(\frac{1-s}{2}\right)\ \zeta(1-s)</math> | |
| − | + | ;증명 | |
| − | = | + | [[자코비 세타함수]]의 모듈라 성질을 사용하면, |
| + | :<math>\int_0^1 (\theta(it)-\frac{1}{\sqrt{t}})t^{\frac{s}{2}} \frac{dt}{t}= \int_1^\infty (\theta(it)-1)t^{\frac{1-s}{2}} \frac{dt}{t}</math> | ||
| − | + | 이므로, <math>\xi(s)</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) = \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>s \leftrightarrow 1-s</math> 는 우변을 변화시키지 않음므로 함수방정식 <math>\xi(s) = \xi(1 - s)</math>을 얻는다. ■ |
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
==복소함수로서의 리만제타함수== | ==복소함수로서의 리만제타함수== | ||
* meromorphic function | * meromorphic function | ||
| − | * 1에서 pole 을 가지며 로랑급수 전개는 다음과 같다:<math>\zeta(s)=\frac{1}{s-1}+\gamma+O((s-1))</math> | + | * 1에서 pole 을 가지며 로랑급수 전개는 다음과 같다:<math>\zeta(s)=\frac{1}{s-1}+\gamma+O((s-1))</math> |
| + | * 더 정확히는:<math>\zeta(s)=\frac{1}{s-1}+\sum_{n=0}^\infty \frac{(-1)^n}{n!} \gamma_n \; (s-1)^n</math> | ||
| + | 여기서 <math>\gamma_n</math>은 스틸체스 상수 | ||
| − | + | ||
==리만가설== | ==리만가설== | ||
| 73번째 줄: | 60번째 줄: | ||
* [[리만가설]] | * [[리만가설]] | ||
| − | |||
| − | + | ||
| − | == | + | ==special values== |
* [[ζ(2)의 계산, 오일러와 바젤문제(완전제곱수의 역수들의 합)]] | * [[ζ(2)의 계산, 오일러와 바젤문제(완전제곱수의 역수들의 합)]] | ||
* [[ζ(3)는 무리수이다(아페리의 정리)]] | * [[ζ(3)는 무리수이다(아페리의 정리)]] | ||
| − | * [[ζ(4)와 | + | * [[ζ(4)와 중심이항계수]] |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==메모== | ==메모== | ||
| − | + | * Paris, R. B. “An Asymptotic Expansion for the Stieltjes Constants.” arXiv:1508.03948 [math], August 17, 2015. http://arxiv.org/abs/1508.03948. | |
| − | * [ | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==관련된 학부 과목과 미리 알고 있으면 좋은 것들== | ==관련된 학부 과목과 미리 알고 있으면 좋은 것들== | ||
| − | * [[복소함수론]] | + | * [[복소함수론]] |
** 해석적연속 | ** 해석적연속 | ||
* [[해석적정수론]] | * [[해석적정수론]] | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| + | * [[자코비 세타함수]] | ||
| + | * [[L-함수, 제타함수와 디리클레 급수|디리클레 수]] | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
==수학용어번역== | ==수학용어번역== | ||
| − | * analytic continuation | + | * analytic continuation 해석적 접속 |
** [[해석적확장(analytic continuation)|해석적확장]]으로 하는게 적당해 보임 | ** [[해석적확장(analytic continuation)|해석적확장]]으로 하는게 적당해 보임 | ||
| − | * continuation | + | * continuation 연속 |
| − | * continuation method | + | * continuation method 연속법 |
| − | * direct analytic continuation | + | * direct analytic continuation 직접해석접속 |
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==관련도서== | ==관련도서== | ||
| 154번째 줄: | 105번째 줄: | ||
* Harold M. Edwards [http://www.amazon.com/Riemanns-Zeta-Function-Harold-Edwards/dp/0486417409 Riemann's Zeta Function] | * Harold M. Edwards [http://www.amazon.com/Riemanns-Zeta-Function-Harold-Edwards/dp/0486417409 Riemann's Zeta Function] | ||
| − | + | ||
| − | + | ||
| − | == | + | ==리뷰, 에세이, 강의노트== |
| + | * Jerry Shurman, [http://people.reed.edu/%7Ejerry/311/zeta.pdf Meromorphic continuation and functional equation of Riemann zeta] | ||
| + | * Sarnak [http://www.claymath.org/millennium/Riemann_Hypothesis/Sarnak_RH.pdf Problems of the Millennium: The Riemann Hypothesis], 2004 | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
==사전형태의 자료== | ==사전형태의 자료== | ||
* http://en.wikipedia.org/wiki/Riemann_zeta_function | * http://en.wikipedia.org/wiki/Riemann_zeta_function | ||
| − | * | + | * http://ko.wikipedia.org/wiki/리만제타함수 |
| − | |||
| − | |||
==관련링크와 웹페이지== | ==관련링크와 웹페이지== | ||
| 178번째 줄: | 126번째 줄: | ||
* http://www.claymath.org/millennium/Riemann_Hypothesis/ | * http://www.claymath.org/millennium/Riemann_Hypothesis/ | ||
| − | + | ||
==블로그== | ==블로그== | ||
| − | * [http://www.msri.org/communications/vmath/VMathVideos/VideoInfo/3793/show_video Riemann's zeta function] | + | * [http://www.msri.org/communications/vmath/VMathVideos/VideoInfo/3793/show_video Riemann's zeta function] |
** Williams, Floyd, June 16, 2008, MSRI 'A Window into Zeta and Modular Physics'워크샵 | ** Williams, Floyd, June 16, 2008, MSRI 'A Window into Zeta and Modular Physics'워크샵 | ||
** 리만제타함수의 해석적 연속 및 함수방정식에 대한 내용을 담고 있는 강의 | ** 리만제타함수의 해석적 연속 및 함수방정식에 대한 내용을 담고 있는 강의 | ||
| − | * 피타고라스의 창 | + | * 피타고라스의 창 |
** [http://bomber0.byus.net/index.php/2008/02/02/528 리만의 제타함수 (1)] | ** [http://bomber0.byus.net/index.php/2008/02/02/528 리만의 제타함수 (1)] | ||
** [http://bomber0.byus.net/index.php/2008/02/04/529 리만의 제타함수 (2) : 수의 체계] | ** [http://bomber0.byus.net/index.php/2008/02/04/529 리만의 제타함수 (2) : 수의 체계] | ||
| 196번째 줄: | 144번째 줄: | ||
** [http://bomber0.byus.net/index.php/2008/07/03/678 리만의 제타함수 (9) : 소수는 무한히 많다(ii)] | ** [http://bomber0.byus.net/index.php/2008/07/03/678 리만의 제타함수 (9) : 소수는 무한히 많다(ii)] | ||
** [http://bomber0.byus.net/index.php/2008/07/24/695 리만의 제타함수 (10) : 두 자연수가 서로소일 확률] | ** [http://bomber0.byus.net/index.php/2008/07/24/695 리만의 제타함수 (10) : 두 자연수가 서로소일 확률] | ||
| + | [[분류:리만 제타 함수]] | ||
| + | |||
| + | ==메타데이터== | ||
| + | ===위키데이터=== | ||
| + | * ID : [https://www.wikidata.org/wiki/Q187235 Q187235] | ||
| + | ===Spacy 패턴 목록=== | ||
| + | * [{'LOWER': 'riemann'}, {'LOWER': 'zeta'}, {'LEMMA': 'function'}] | ||
| + | * [{'LOWER': 'euler'}, {'OP': '*'}, {'LOWER': 'riemann'}, {'LOWER': 'zeta'}, {'LEMMA': 'function'}] | ||
| + | * [{'LOWER': 'ζ(s'}, {'LEMMA': ')'}] | ||
2021년 2월 17일 (수) 04:41 기준 최신판
개요
- 복소수 \(\Re(s)>1\)에 대하여 다음과 같은 급수로 복소함수를 정의
\[\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}\]
- 이렇게 실수부가 1보다 큰 복소수 영역에서 급수로 정의된 함수를 해석적확장을 통해, 복소평면 전체에서 정의된 함수를 정의할 수 있음.
- 그렇게 복소수 전체에서 정의된 함수를 리만의 제타함수라고 부름.
- 리만가설은 리만제타함수의 해에 관련된 미해결문제.
- 정수론에서 소수의 분포와 관련한 정보를 담고 있는 중요한 함수
- 이 함수를 이해하는 좀더 일반적인 이론적 틀에 대해서는 L-함수, 제타함수와 디리클레 급수 항목을 참조
해석적확장 (analytic continuation)
- 자코비 세타함수를 이용하여, 리만제타함수를 복소평면 전체로 확장할 수 있음.\[\theta(\tau)= \sum_{n=-\infty}^\infty e^{\pi i n^2 \tau}\]
- 감마함수\[\Gamma(s) = \int_0^\infty e^{-t} t^{s} \frac{dt}{t}\] 를 이용하면, \[\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\left(\frac{s}{2}\right)\ \zeta(s)= \int_0^\infty (\frac{\theta(it)-1}{2})t^{\frac{s}{2}} \frac{dt}{t}\]
- 그러나 위의 적분은 모든 s에 대하여 수렴하지 않음. 따라서 다음과 같이 수정하여, 적분이 모든 s에 대하여 정의되도록 함.
\[\xi(s)=\pi^{-s/2}\Gamma(s/2)\zeta(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(iy)=\frac{1}{\sqrt{y}}\theta(\frac{i}{y})\] 이 사용됨.
리만제타함수의 함수방정식
- 리만제타함수는 \(s=\frac{1}{2}\) 에 대하여 대칭성을 가지고, 그에 따른 함수방정식을 만족시킴.\[\xi(s) = \xi(1 - s)\] 즉,\[\pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)=\pi^{-(1-s)/2}\ \Gamma\left(\frac{1-s}{2}\right)\ \zeta(1-s)\]
- 증명
자코비 세타함수의 모듈라 성질을 사용하면, \[\int_0^1 (\theta(it)-\frac{1}{\sqrt{t}})t^{\frac{s}{2}} \frac{dt}{t}= \int_1^\infty (\theta(it)-1)t^{\frac{1-s}{2}} \frac{dt}{t}\]
이므로, \(\xi(s)\) 의 정의를 이용하면, \[\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}\]
를 얻는다.
이 식에서 \(s \leftrightarrow 1-s\) 는 우변을 변화시키지 않음므로 함수방정식 \(\xi(s) = \xi(1 - s)\)을 얻는다. ■
복소함수로서의 리만제타함수
- meromorphic function
- 1에서 pole 을 가지며 로랑급수 전개는 다음과 같다\[\zeta(s)=\frac{1}{s-1}+\gamma+O((s-1))\]
- 더 정확히는\[\zeta(s)=\frac{1}{s-1}+\sum_{n=0}^\infty \frac{(-1)^n}{n!} \gamma_n \; (s-1)^n\]
여기서 \(\gamma_n\)은 스틸체스 상수
리만가설
special values
메모
- Paris, R. B. “An Asymptotic Expansion for the Stieltjes Constants.” arXiv:1508.03948 [math], August 17, 2015. http://arxiv.org/abs/1508.03948.
관련된 학부 과목과 미리 알고 있으면 좋은 것들
관련된 항목들
수학용어번역
- analytic continuation 해석적 접속
- 해석적확장으로 하는게 적당해 보임
- continuation 연속
- continuation method 연속법
- direct analytic continuation 직접해석접속
관련도서
- Harold M. Edwards Riemann's Zeta Function
리뷰, 에세이, 강의노트
- Jerry Shurman, Meromorphic continuation and functional equation of Riemann zeta
- Sarnak Problems of the Millennium: The Riemann Hypothesis, 2004
사전형태의 자료
관련링크와 웹페이지
블로그
- Riemann's zeta function
- Williams, Floyd, June 16, 2008, MSRI 'A Window into Zeta and Modular Physics'워크샵
- 리만제타함수의 해석적 연속 및 함수방정식에 대한 내용을 담고 있는 강의
- 피타고라스의 창
메타데이터
위키데이터
- ID : Q187235
Spacy 패턴 목록
- [{'LOWER': 'riemann'}, {'LOWER': 'zeta'}, {'LEMMA': 'function'}]
- [{'LOWER': 'euler'}, {'OP': '*'}, {'LOWER': 'riemann'}, {'LOWER': 'zeta'}, {'LEMMA': 'function'}]
- [{'LOWER': 'ζ(s'}, {'LEMMA': ')'}]