무한급수의 수렴, 발산 판정법
수학이야기/Calculus 2014. 11. 6. 10:46아래와 같이 무한수열 {an}의 모든 항을 순서대로 합의 기호 (+)로 연결한 식을 무한급수 또는 간단히 급수로 부른다.
무한급수 ∞∑n=1an에서 첫째항부터 n째항까지 합
을 부분합으로 부르는데 이 또한 수열이다. 이 수열 {Sn}이 일정한 상수 S로 수렴하면 무한급수는 S에 수렴한다고 하고 극한값 S를 무한급수의 합 으로 부른다.
정리하면
흔히 무한급수의 합을 무한히 더해 나온 값으로 말하는 이가 있는데 무한은 계속 커지고 있는 상태를 말하는데 무한히 더한다는 것은 올바른 표현이 아니다. 정의와 같이 부분합 수열이 수렴하는 값으로 생각해야 그 뜻이 또렷해진다.
{1+(−1)}+{1+(−1)}+⋯+{(−1)n−1}+⋯=0+0+⋯=0으로 생각하거나
1+{(−1)+1}+{(−1)+1}+⋯=1+0+0+⋯=1으로 생각하면 곤란하다.
무한급수의 합을 구하는 일은 수열의 극한값을 구하는 것과 같다. 어떤 수열은 합을 간단한 식으로 나타내기 어렵다. 이런 수열로 만든 무한급수는 수렴과 발산을 판단하기 매우 어렵다. 이를 해결하기 위해 무한급수의 수렴과 발산을 판단하는 여러 가지 판정법이 있다.
∀n∈Nan≥0,bn≥0,an≤bn라고 하면 다음이 성립한다.
1) ∞∑n=1bn이 수렴하면 ∞∑n=1an도 수렴한다.
2) ∞∑n=1an이 발산하면 ∞∑n=1bn도 발산한다.
증명 1) 무한급수 ∞∑n=1an의 부분합 m∑n=1an은 증가한다.
∞∑n=1bn=M이라고 하면 ∞∑n=1an<M이므로 위로 한계가 있다.
증가하는 수열이 위로는 막혀 있으므로 수렴한다. 정확하게 적는다면 ∞∑n=1an=sup{m∑n=1an:m∈N}이다.
아래 무한급수를 보기로 삼자.
이 무한급수의 부분합을 Sn이라고 하자. 간단한 식으로 표현하기 매우 어렵다.
따라서,
S1=1,S2=1+12
S4=1+12+(13+14)>1+12+(14+14)=1+22
S8=1+12+(13+14)+(15+16+17+18)>1+12+(14+14)+(18+18+18+18)=1+32
⋮
S2n>1+n2
이므로 수열 {Sn}은 발산한다. 그러므로 이 무한급수는 발산한다.
한편, n>1일 때, 1n2<1(n−1)n=1n−1−1n이므로
∞∑n=11n2<1+∞∑n=21(n−1)n=1+∞∑n=2(1n−1−1n)=2이다.
무한급수 ∞∑n=11n2의 부분합은 증가하는데 위로 막혀 있으므로 수렴한다.
참고로 이 무한급수의 합은 ∞∑n=11n2=π26이다. 증명보기
증명모든 항이 양수인 두 무한급수 ∞∑n=1an과 ∞∑n=1bn에 대하여
0<limn→∞anbn<∞일 때, ∞∑n=1an이 수렴할 필요충분 조건은 ∞∑n=1bn이 수렴하는 것이다.
단조감소하는 함수 f:[1,∞)→[0,∞)에 대하여 ∫∞1f(x)dx가 존재할 필요충분 조건은 ∞∑n=1f(n)이 수렴이다.
증명 함수 f가 단조감소하므로 j≤x≤j+1(j∈N)이면 f(j)≥f(x)≥f(j+1)이다.
따라서
이다. 따라서 ∞∑n=1f(n)이 수렴할 필요충분 조건은 limn→∞∫n1f(x)dx가 수렴하는 것이다. 즉, ∫∞1f(x)dx가 존재하는 것이다.
위에 있는 무한급수를 다시 살펴보자.
∞∑n=11n은 아래와 같은 사각형 넓이의 합으로 생각할 수 있다.
구분구적법을 생각해보면
∫n+111xdx<11+12+13+⋯+1n
limn→∞∫n+111xdx=limn→∞ln(n+1)=∞이므로 이 무한급수는 발산한다.
아래 그림에서는 무한급수 ∞∑n=11n2은 수렴함을 알 수 있다.
적분판정법으로 무한급수 ∞∑n=11np가 수렴할 필요충분 조건은 p>1임을 알 수 있다.
∀n∈Nan>0인 무한급수 ∞∑n=1an에 대하여
1. ρ=limn→∞an+1an<1이면 무한급수 ∞∑n=1an 수렴한다.
2. ρ=limn→∞an+1an>1이면 무한급수 ∞∑n=1an 발산한다.
증명 0<ρ=limn→∞an+1an<1이라고 하자.
ρ<r<1인 실수 r을 고르면 자연수 N이 존재하여 ∀n≥N(n∈N)인 n에 대하여 an+1an<r을 만족한다.
다시 적으면 aN+1aN<r이므로
aN+1<raN이다. r을 곱하여 정리하면
aN+2<raN+1<r2aN
aN+3<raN+2<r3aN
⋮
aN+m<raN+m−1<rmaN
aN+1+aN+2+aN+3+⋯+aN+m<aN(r+r2+⋯+rm)
0<r<1이므로 오른쪽 수열은 수렴한다.
따라서, ∞∑n=N+1an은 수렴한다. 유한 개 항을 더한 무한급수도 당연히 수렴한다.
∞∑n=1an=N∑n=1an+∞∑n=N+1an
마찬가지 방법으로 두 번째 경우도 증명할 수 있다.
수학이야기님의
글이 좋았다면 응원을 보내주세요!