이중적분과 바젤문제

수학노트
둘러보기로 이동 검색으로 이동

개요

  • <math>\zeta(2) ={\pi^2}/{6}</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>


단계 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>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>

(증명)

<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>\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>\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> ■




역사


관련된 항목들


매스매티카 파일 및 계산 리소스


사전 형태의 자료



리뷰논문, 에세이, 강의노트

  • 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.
원본 주소 "https://wiki.mathnt.net/index.php?title=이중적분과_바젤문제&oldid=48192"