교대급수

(교대급수판정법에서 넘어옴)

미적분학에서 교대급수(交代級數, 영어: alternating series)는 양과 음의 항이 번갈아 가며 나타나는 실수급수다. 교대급수 판정법(交代級數判定法, 영어: alternating series test)에 따르면, 만약 교대급수의 항의 절댓값이 0으로 수렴하는 단조수열이라면, 이 급수는 수렴한다. 교대급수 판정법은 디리클레 판정법의 특수한 경우다.

정의 편집

교대급수 편집

음이 아닌 실수수열   ( )에 대한 교대급수는 다음 두 급수 가운데 하나를 뜻한다.

 
 

교대급수 판정법 편집

음이 아닌 실수수열   ( )에 대하여, 다음 두 조건이 성립한다고 하자.

  • 감소수열이다. 즉,  
  •  

그렇다면, 교대급수

 

수렴한다. 또한, 다음 부등식이 성립한다.[1]:183

 

이를 교대급수 판정법이라고 한다.

디리클레 판정법을 통한 증명:

교대급수 판정법은 디리클레 판정법의 특수한 경우다. 디리클레 판정법에 따르면, 유계 부분합을 갖는 급수의 항과 0으로 수렴하는 단조수열을 곱한 급수는 수렴한다. 급수

 

발산하지만, 이 급수의 부분합은 유계 수열이다. 따라서 디리클레 판정법을 적용할 수 있다.

직접적인 증명:

교대급수의 부분합

 

을 생각하자.

 

이므로,  홀수일 때  이며,  짝수일 때  이다. 즉,  증가수열이며,  감소수열이다. 또한,

 

이므로,

 

이다. 특히,   은 수열  의 하계와 상계이다. 따라서   은 모두 유계 수열이다. 모든 단조 유계 수열은 수렴하므로, 두 수열은 수렴한다.

 
 

라고 하자. 그렇다면,

 

이다. 즉, 두 수열의 극한은 같다. 따라서, 교대급수의 부분합  은 ( 으로) 수렴한다. 항상

 

이므로,

 

이다. 수열  을 수열  로 대체하면 부등식

 

을 얻는다.

편집

모든 수렴하는 양의 실수 항 급수에 대하여, 이에 대응하는 교대급수는 절대 수렴하며, 특히 수렴한다.

교대급수

 

를 생각하자. 수열  은 감소수열이며, 0으로 수렴한다. 교대급수 판정법에 의하여, 이 급수는 수렴한다. 이 교대급수에 대응하는 양의 실수 항 급수는 조화급수이며, 이는 발산한다. 즉, 이 교대급수는 오직 조건 수렴한다. 사실, 이 급수의 합은

 

이다. 이는 아벨 극한 정리를 통하여 보일 수 있다.

보다 일반적으로, 교대급수

 

를 생각하자.

  • 만약  이거나  ,  이라면, 이 급수는 절대 수렴한다. 이는 적분 판정법을 통하여 보일 수 있다.
  • 만약  ,  이거나  이거나  ,  이라면, 적분 판정법에 따라 이 급수는 절대 수렴하지 않는다. 그러나, 충분히 큰  에 대하여  이므로,  은 최종적으로 감소 수열이다. 또한  은 0으로 수렴한다. 교대급수 판정법에 의하여, 이 급수는 조건 수렴한다.
  • 만약  ,  이거나  이라면,  은 0으로 수렴하지 않는다. 따라서 이 급수는 발산한다.

참고 문헌 편집

  1. 김락중; 박종안; 이춘호; 최규흥 (2007). 《해석학 입문》 3판. 경문사. ISBN 978-8-96-105054-8. 

외부 링크 편집