"이중적분과 바젤문제"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 5개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==개요== | ==개요== | ||
| − | * <math>\zeta(2) ={\pi^2}/{6}</math> 의 계산을 다음 이중적분을 이용해 할 수 있다:<math>\int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy </math | + | * <math>\zeta(2) ={\pi^2}/{6}</math> 의 계산을 다음 이중적분을 이용해 할 수 있다 |
| − | * 또 다른 이중적분:<math>\int _0^1\int _0^1\frac{1}{1-x y}dxdy </math | + | :<math>\int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy </math> |
| + | * 또 다른 이중적분 | ||
| + | :<math>\int _0^1\int _0^1\frac{1}{1-x y}dxdy </math> 도 사용할 수 있는데, 이는 [[다이로그 함수(dilogarithm)]] 와 관계있다 | ||
| − | + | ||
| − | + | ==증명== | |
| + | * 다음의 등식을 증명하자 | ||
| + | :<math>I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}\,dxdy=\frac{3}{4}\zeta(2)</math> | ||
| − | |||
| − | <math>I | + | ===단계 1=== |
| + | 다음을 보이자 | ||
| + | :<math>I = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots\label{odd}</math> | ||
| − | <math>\int_{0}^{1} \frac{1}{1-y^2 x^2} \, dx = \frac{\tanh ^{-1}(y)}{y}=1+\frac{y^2}{3}+\frac{y^4}{5}+\frac{y^6}{7}+\frac{y^8}{9}+\frac{y^{10}}{11}+\cdots</math> 이므로 | + | (증명) |
| + | :<math>\int_{0}^{1} \frac{1}{1-y^2 x^2} \, dx = \frac{\tanh ^{-1}(y)}{y}=1+\frac{y^2}{3}+\frac{y^4}{5}+\frac{y^6}{7}+\frac{y^8}{9}+\frac{y^{10}}{11}+\cdots</math> 이므로 | ||
| + | :<math>I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots</math> 가 성립한다.■ | ||
| − | + | ||
| − | + | ||
| − | + | ===단계 2=== | |
| − | + | :<math>I=\frac{\pi ^2}{8}</math> | |
| − | ==단계 2== | + | (증명) |
| − | + | :<math>I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy</math> 에서 | |
| − | <math>I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy</math> 에서 <math>x=\sin (u) \sec (v)</math>, <math>y=\sec (u) \sin (v)</math> 로 치환을 하자. | + | <math>x=\sin (u) \sec (v)</math>, <math>y=\sec (u) \sin (v)</math> 로 치환을 하자. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | <math>I=\int_{0}^{\pi/2} \int_{0}^{\pi/2-v} \frac{1}{1-\tan ^2(u) \tan ^2(v)}\left(1-\tan ^2(u) \tan ^2(v)\right) dudv =\frac{\pi ^2}{8}</math> | + | [[자코비안]]은 다음과 같다. |
| + | :<math>\left| \begin{array}{cc} \cos (u) \sec (v) & \sin (u) \tan (v) \sec (v) \\ \tan (u) \sec (u) \sin (v) & \sec (u) \cos (v) \end{array} \right|=1-\tan ^2(u) \tan ^2(v)</math> | ||
| + | 치환적분을 하면 | ||
| + | :<math>I=\int_{0}^{\pi/2} \int_{0}^{\pi/2-v} \frac{1}{1-\tan ^2(u) \tan ^2(v)}\left(1-\tan ^2(u) \tan ^2(v)\right) \,dudv =\frac{\pi ^2}{8}</math>■ | ||
| − | + | ||
| − | + | ||
| − | == | + | ==또다른 증명== |
<math>I = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots = \frac{3}{4}\zeta(2)</math> 임을 보이자. | <math>I = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots = \frac{3}{4}\zeta(2)</math> 임을 보이자. | ||
(증명) | (증명) | ||
| + | 먼저 다음을 관찰하자 | ||
| + | :<math>\frac{1}{2^2}+\frac{1}{4^2}+\frac{1}{6^2}+\frac{1}{8^2}+\frac{1}{10^2}+\cdots = \frac{1}{4}\zeta(2)\label{even}</math> | ||
| − | + | 따라서 \ref{odd}와 \ref{even}의 양변을 더하면, 다음을 얻는다 | |
| − | + | :<math>I + \frac{1}{4}\zeta(2)=\zeta(2)</math> ■ | |
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | + | ||
| − | + | ||
==역사== | ==역사== | ||
| − | + | ||
* http://www.google.com/search?hl=en&tbs=tl:1&q= | * http://www.google.com/search?hl=en&tbs=tl:1&q= | ||
* [[수학사 연표]] | * [[수학사 연표]] | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==관련된 항목들== | ==관련된 항목들== | ||
| + | * [[Ζ(2)의 계산, 오일러와 바젤문제(완전제곱수의 역수들의 합)]] | ||
| − | + | ||
| − | |||
| − | |||
==매스매티카 파일 및 계산 리소스== | ==매스매티카 파일 및 계산 리소스== | ||
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxNjJjZjE4ZDAtNmRiOS00ZWRmLWEwODctNGYzY2VhNjQwYWI0&sort=name&layout=list&num=50 | * https://docs.google.com/leaf?id=0B8XXo8Tve1cxNjJjZjE4ZDAtNmRiOS00ZWRmLWEwODctNGYzY2VhNjQwYWI0&sort=name&layout=list&num=50 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | ==사전 | + | ==사전 형태의 자료== |
* http://ko.wikipedia.org/wiki/ | * http://ko.wikipedia.org/wiki/ | ||
* http://en.wikipedia.org/wiki/ | * http://en.wikipedia.org/wiki/ | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
==리뷰논문, 에세이, 강의노트== | ==리뷰논문, 에세이, 강의노트== | ||
| + | * Silagadze, Z. K. “Sums of Generalized Harmonic Series for Kids from Five to Fifteen.” arXiv:1003.3602 [math], March 16, 2010. http://arxiv.org/abs/1003.3602. | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| + | [[분류:원주율]] | ||
| + | [[분류:리만 제타 함수]] | ||
2020년 12월 28일 (월) 03:51 기준 최신판
개요
- \(\zeta(2) ={\pi^2}/{6}\) 의 계산을 다음 이중적분을 이용해 할 수 있다
\[\int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy \]
- 또 다른 이중적분
\[\int _0^1\int _0^1\frac{1}{1-x y}dxdy \] 도 사용할 수 있는데, 이는 다이로그 함수(dilogarithm) 와 관계있다
증명
- 다음의 등식을 증명하자
\[I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}\,dxdy=\frac{3}{4}\zeta(2)\]
단계 1
다음을 보이자 \[I = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots\label{odd}\]
(증명) \[\int_{0}^{1} \frac{1}{1-y^2 x^2} \, dx = \frac{\tanh ^{-1}(y)}{y}=1+\frac{y^2}{3}+\frac{y^4}{5}+\frac{y^6}{7}+\frac{y^8}{9}+\frac{y^{10}}{11}+\cdots\] 이므로 \[I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots\] 가 성립한다.■
단계 2
\[I=\frac{\pi ^2}{8}\] (증명) \[I = \int _0^1\int _0^1\frac{1}{1-x^2 y^2}dxdy\] 에서 \(x=\sin (u) \sec (v)\), \(y=\sec (u) \sin (v)\) 로 치환을 하자.
자코비안은 다음과 같다. \[\left| \begin{array}{cc} \cos (u) \sec (v) & \sin (u) \tan (v) \sec (v) \\ \tan (u) \sec (u) \sin (v) & \sec (u) \cos (v) \end{array} \right|=1-\tan ^2(u) \tan ^2(v)\] 치환적분을 하면 \[I=\int_{0}^{\pi/2} \int_{0}^{\pi/2-v} \frac{1}{1-\tan ^2(u) \tan ^2(v)}\left(1-\tan ^2(u) \tan ^2(v)\right) \,dudv =\frac{\pi ^2}{8}\]■
또다른 증명
\(I = \frac{1}{1^2}+\frac{1}{3^2}+\frac{1}{5^2}+\frac{1}{7^2}+\frac{1}{9^2}+\cdots = \frac{3}{4}\zeta(2)\) 임을 보이자.
(증명) 먼저 다음을 관찰하자 \[\frac{1}{2^2}+\frac{1}{4^2}+\frac{1}{6^2}+\frac{1}{8^2}+\frac{1}{10^2}+\cdots = \frac{1}{4}\zeta(2)\label{even}\]
따라서 \ref{odd}와 \ref{even}의 양변을 더하면, 다음을 얻는다 \[I + \frac{1}{4}\zeta(2)=\zeta(2)\] ■
역사
관련된 항목들
매스매티카 파일 및 계산 리소스
사전 형태의 자료
리뷰논문, 에세이, 강의노트
- Silagadze, Z. K. “Sums of Generalized Harmonic Series for Kids from Five to Fifteen.” arXiv:1003.3602 [math], March 16, 2010. http://arxiv.org/abs/1003.3602.