"정수에서의 리만제타함수의 값"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
17번째 줄: 17번째 줄:
 
<math>R</math>이 커지면, 적분은 0으로 수렴한다.
 
<math>R</math>이 커지면, 적분은 0으로 수렴한다.
  
0이 아닌 정수 <math>k</math>에 대하여 <math>z\approx k</math> 이면,  <math>\pi \cot \pi z \approx \frac{1}{z-k}</math> 
+
0이 아닌 정수 <math>k</math>에 대하여 <math>z\approx k</math> 이면,  <math>\pi \cot \pi z \approx \frac{1}{z-k}</math>
 +
 
 +
한편<math>\frac{\pi\cot(\pi z)}{z^{4}}</math>의 0이 아닌 정수 <math>k</math>에서의 유수(residue)는  <math>\frac{1}{k^{4}}</math>로 주어진다. 
 +
 
 +
<math>\cot x  =  \frac {1} {x} - \frac {x}{3} - \frac {x^3} {45} - \frac {2 x^5} {945} - \cdots = \sum_{n=0}^\infty \frac{(-1)^n 2^{2n} B_{2n} x^{2n-1}}{(2n)!}</math>
 +
 
 +
를 이용하면 0 에서의 유수는 <math>-\pi^{4}/45</math> 임을 알 수 있다.
  
 
 
 
 
  
the integral can also be written as a sum of residues at the poles of the integrand.
+
그러므로 <math>\sum_{k=1}^{\infty}\frac{1}{k^{4}}</math><br>
 
 
The poles are at zero, the positive and negative integers.
 
  
 
The sum of the residues yields precisely twice the desired summation plus the residue at zero.
 
The sum of the residues yields precisely twice the desired summation plus the residue at zero.
29번째 줄: 33번째 줄:
 
Because the integral approaches zero, the sum of all the residues must be zero.
 
Because the integral approaches zero, the sum of all the residues must be zero.
  
The summation must therefore equal minus one half times the residue at zero.<math>\cot x  =  \frac {1} {x} - \frac {x}{3} - \frac {x^3} {45} - \frac {2 x^5} {945} - \cdots = \sum_{n=0}^\infty \frac{(-1)^n 2^{2n} B_{2n} x^{2n-1}}{(2n)!}</math>
+
The summation must therefore equal minus one half times the residue at zero.
  
 
* [[코탄젠트]]<br>[[코탄젠트|]][[코탄젠트|]]<br>
 
* [[코탄젠트]]<br>[[코탄젠트|]][[코탄젠트|]]<br>
109번째 줄: 113번째 줄:
 
* http://www.wolframalpha.com/input/?i=
 
* http://www.wolframalpha.com/input/?i=
 
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
+
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=residue
 
** [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid={D6048897-56F9-43D7-8BB6-50B362D1243A}&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
** [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid={D6048897-56F9-43D7-8BB6-50B362D1243A}&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
* [http://navercast.naver.com/science/list 네이버 오늘의과학]
 
* [http://navercast.naver.com/science/list 네이버 오늘의과학]

2009년 7월 11일 (토) 14:45 판

간단한 소개
  • 홀수인 자연수를 제외한 모든 정수에 대하여 리만제타함수의 값은 닫힌 형태로 알려져 있음.
    \(\zeta(2n) =(-1)^{n+1}\frac{B_{2n}(2\pi)^{2n}}{2(2n)!}, n \ge 1\)여기서 \(B_{2n}\)은 베르누이수
    \(\zeta(-n)=-\frac{B_{n+1}}{n+1}, n \ge 1\)
    \(\zeta(0)=-\frac{1}{2}\)

 

 

증명

 

\(\sum_{n=1}^{\infty}\frac{1}{n^{4}}\)\(\oint_{C_{R}}\frac{\pi\cot(\pi z)}{z^{4}}dz\)

\(C_{R}\)는 원점을 중심으로 반지금이\(R\) 인 원

\(R\)이 커지면, 적분은 0으로 수렴한다.

0이 아닌 정수 \(k\)에 대하여 \(z\approx k\) 이면,  \(\pi \cot \pi z \approx \frac{1}{z-k}\)

한편\(\frac{\pi\cot(\pi z)}{z^{4}}\)의 0이 아닌 정수 \(k\)에서의 유수(residue)는  \(\frac{1}{k^{4}}\)로 주어진다. 

\(\cot x = \frac {1} {x} - \frac {x}{3} - \frac {x^3} {45} - \frac {2 x^5} {945} - \cdots = \sum_{n=0}^\infty \frac{(-1)^n 2^{2n} B_{2n} x^{2n-1}}{(2n)!}\)

를 이용하면 0 에서의 유수는 \(-\pi^{4}/45\) 임을 알 수 있다.

 

그러므로 \(\sum_{k=1}^{\infty}\frac{1}{k^{4}}\)

The sum of the residues yields precisely twice the desired summation plus the residue at zero.

Because the integral approaches zero, the sum of all the residues must be zero.

The summation must therefore equal minus one half times the residue at zero.

the residue at zero is \(-\pi^{4}/45\) which yields the desired result.

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 

 

역사
많이 나오는 질문과 답변

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상