|  |
| --- |
| 관련 문서 둘러보기 |
| 미적분학 |
| * 미적분학의 기본정리

* 함수의 극한
* 연속 함수

* 평균값 정리
* 롤의 정리

 |
| 미분

| 
정의 |
| --- |
| 
* 미분
	+ 일반화
	+ 무한소
	+ 주요 부분
	+ 전미분

 |
| 
개념 |
| 
* 미분 표기법
* 고계 도함수
* 변수 변환
* 테일러 정리

 |
| 법칙과 항등식 |
| 
* 합 규칙
* 곱 규칙
* 몫 규칙
* 멱 규칙
* 연쇄 법칙
* 역함수의 미분
* 음함수의 미분

 |

 |
| 적분

|  |
| --- |
| * 적분표
 |
| 
정의 |
| * 부정적분
* 적분 (이상적분)
* 리만 적분
* 르베그 적분
* 경로적분
 |
| 
적분법 |
| * 부분적분
* 디스크 방법
* 원통셸 방법
* 치환적분 (삼각 치환)
* 부분분수 적분법
* 적분 순서
* 적분의 점화식
 |

 |
| 수열과 급수

|  |
| --- |
| * 기하급수 (산술-기하 수열)
* 조화급수
* 교대급수
* 멱급수
* 이항급수
* 테일러 급수
 |
| 수렴판정법 |
| * 일반항 판정법
* 비판정법
* 근판정법
* 적분판정법
* 비교판정법
* 극한비교판정법
* 교대급수판정법
* 코시 응집판정법
* 디리클레 판정법
* 아벨 판정법
 |

 |
| 벡터 미적분학

|  |
| --- |
| * 기울기
* 발산
* 회전
* 라플라시안
* 방향도함수
* 벡터 미적분표
 |
| 
정리 |
| * 발산정리
* 기울기정리
* 그린 정리
* 켈빈-스토크스 정리
 |

 |
| 다변수 미적분학

| 
형식 |
| --- |
| * 행렬
* 텐서
* 외미분
* 기하
 |
| 
정의 |
| * 편미분
* 중적분
* 선적분
* 면적분
* 삼중적분
* 야코비안
* 헤세 행렬
 |

 |
| 특수한 경우
* 분수계 미적분학
* 말리아빈 미적분
* 확률미적분학
* 변분법

 |
| * v
* t
* e
 |

미적분학에서 **아벨 판정법**(영어: Abel's test)은 급수의 수렴 판정법의 하나다. 이에 따르면, 수렴급수에 단조 유계 수열을 이루는 계수를 붙여도 수렴한다.

정의
--

### 실수 항 급수

두 실수 수열 {\displaystyle (a\_{n})\_{n=0}^{\infty }}, {\displaystyle (b\_{n})\_{n=0}^{\infty }}이 다음 두 조건을 만족시킨다고 하자.

* 급수 {\displaystyle \sum \_{n=0}^{\infty }a\_{n}}은 수렴한다.
* {\displaystyle (b\_{n})\_{n=0}^{\infty }}은 단조수열이자 유계 수열이다.

**아벨 판정법**에 따르면, 급수

{\displaystyle \sum \_{n=0}^{\infty }a\_{n}b\_{n}}
역시 수렴한다.:181:314, °1

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

{\displaystyle (b\_{n})\_{n=0}^{\infty }}은 단조수열 유계 수열이므로, 어떤 실수로 수렴한다.

{\displaystyle b=\lim \_{n\to \infty }b\_{n}\in \mathbb {R} }
라고 하자. {\displaystyle (b\_{n}-b)\_{n=0}^{\infty }}는 단조수열이며, 0으로 수렴한다. 또한, 급수

{\displaystyle \sum \_{n=0}^{\infty }a\_{n}}
이 수렴하므로, 부분합이 유계 수열이다. 디리클레 판정법에 의하여, 급수

{\displaystyle \sum \_{n=0}^{\infty }a\_{n}(b\_{n}-b)}
는 수렴한다. 따라서, 급수

{\displaystyle \sum \_{n=0}^{\infty }a\_{n}b\_{n}=\sum \_{n=0}^{\infty }a\_{n}(b\_{n}-b)+b\sum \_{n=0}^{\infty }a\_{n}}
역시 수렴한다.


증명 (직접적인 증명):

{\displaystyle S\_{n}=\sum \_{k=0}^{n}a\_{k}\qquad (\forall n\in \mathbb {N} )}
{\displaystyle b=\lim \_{n\to \infty }b\_{n}\in \mathbb {R} }
라고 하자. 임의의 {\displaystyle \epsilon >0}에 대하여,

{\displaystyle |b\_{n}|\leq 2|b|\qquad (\forall n>N(\epsilon ))}
{\displaystyle |S\_{m}-S\_{n}|<{\frac {\epsilon }{6|b|+1}}\qquad (\forall m,n>N(\epsilon ))}
인 자연수 {\displaystyle N(\epsilon )\in \mathbb {N} }이 존재한다. 아벨 변환에 의하여, 임의의 {\displaystyle n\geq N(\epsilon )} 및 임의의 {\displaystyle p\in \mathbb {Z} ^{+}}에 대하여, 다음이 성립한다.

{\displaystyle {\begin{aligned}\left|\sum \_{k=n+1}^{n+p}a\_{k}b\_{k}\right|&=\left|b\_{n+p}(S\_{n+p}-S\_{n})+\sum \_{k=n+1}^{n+p-1}(b\_{k}-b\_{k+1})(S\_{k}-S\_{n})\right|\\&\leq |b\_{n+p}||S\_{n+p}-S\_{n}|+\sum \_{k=n+1}^{n+p-1}|b\_{k}-b\_{k+1}||S\_{k}-S\_{n}|\\&\leq {\frac {\epsilon }{6|b|+1}}\left(|b\_{n+p}|+\sum \_{k=n+1}^{n+p-1}|b\_{k}-b\_{k+1}|\right)\\&={\frac {\epsilon }{6|b|+1}}\left(|b\_{n+p}|+\left|\sum \_{k=n+1}^{n+p-1}(b\_{k}-b\_{k+1})\right|\right)\\&={\frac {\epsilon }{6|b|+1}}(|b\_{n+p}|+|b\_{n+1}-b\_{n+p}|)\\&\leq {\frac {\epsilon }{6|b|+1}}(2|b\_{n+p}|+|b\_{n+1}|)\\&\leq {\frac {\epsilon }{6|b|+1}}\cdot 3\cdot 2|b|\\&<\epsilon \end{aligned}}}
즉, 급수

{\displaystyle \sum \_{n=0}^{\infty }a\_{n}b\_{n}}
의 부분합은 코시 수열이다. 따라서 이 급수는 수렴한다.

### 이상 적분

실수 값 함수 {\displaystyle f\colon [a,\infty )\to \mathbb {R} }가 다음 두 조건을 만족시킨다고 하자.

* {\displaystyle f}는 임의의 {\displaystyle [a,b]\subseteq [a,\infty )}에서 리만 적분 가능하며, 또한 이상 적분 {\displaystyle \int \_{a}^{\infty }f(x)\,dx}는 수렴한다.
* {\displaystyle g}는 단조함수이자 유계 함수이다.

그렇다면, 이상 적분

{\displaystyle \int \_{a}^{\infty }f(x)g(x)\,dx}
는 수렴한다.

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

{\displaystyle g\colon [a,\infty )\to \mathbb {R} }가 단조 유계 함수이므로, 극한

{\displaystyle g(\infty )=\lim \_{x\to \infty }g(x)\in \mathbb {R} }
가 존재한다. 함수 {\displaystyle x\mapsto g(x)-g(\infty )}는 단조함수이며, 0으로 수렴한다. 이상 적분

{\displaystyle \int \_{a}^{\infty }f(x)\,dx}
가 수렴하므로,

{\displaystyle x\mapsto \int \_{a}^{x}f(t)\,dt}
는 유계 함수이다. 이상 적분에 대한 디리클레 판정법에 의하여, 이상 적분

{\displaystyle \int \_{a}^{\infty }f(x)(g(x)-g(\infty ))\,dx}
는 수렴한다. 따라서, 이상 적분

{\displaystyle \int \_{a}^{\infty }f(x)g(x)\,dx=\int \_{a}^{\infty }f(x)(g(x)-g(\infty ))\,dx+g(\infty )\int \_{a}^{\infty }f(x)\,dx}
역시 수렴한다.


증명 (직접적인 증명):

{\displaystyle g(\infty )=\lim \_{x\to \infty }g(x)\in \mathbb {R} }
이라고 하자. 임의의 {\displaystyle \epsilon >0}에 대하여,

{\displaystyle |g(x)|<2|g(\infty )|\qquad (\forall x>N(\epsilon ))}
{\displaystyle \left|\int \_{x}^{y}f(t)\,dt\right|<{\frac {\epsilon }{4|g(\infty )|+1}}\qquad (\forall y>x>N(\epsilon ))}
인 {\displaystyle N(\epsilon )>a}가 존재한다. 제2 적분 평균값 정리에 따라, 임의의 {\displaystyle y>x>N(\epsilon )}에 대하여, 어떤 {\displaystyle c(x,y)\in [x,y]}가 존재하며, 다음이 성립한다.

{\displaystyle {\begin{aligned}\left|\int \_{x}^{y}f(t)g(t)\,dt\right|&=\left|g(x)\int \_{x}^{c(x,y)}f(t)\,dt+g(y)\int \_{c(x,y)}^{y}f(t)\,dt\right|\\&\leq 2|g(\infty )|\left(\left|\int \_{x}^{c(x,y)}f(t)\,dt\right|+\left|\int \_{c(x,y)}^{y}f(t)\,dt\right|\right)\\&\leq 2|g(\infty )|\cdot 2\cdot {\frac {\epsilon }{4|g(\infty )|+1}}\\&<\epsilon \end{aligned}}}
따라서, 이상 적분

{\displaystyle \int \_{a}^{\infty }f(x)g(x)\,dx}
은 수렴한다.

### 균등 수렴

집합 {\displaystyle X} 및 두 실수 값 함수의 열 {\displaystyle (f\_{n},g\_{n}\colon X\to \mathbb {R} )\_{n=0}^{\infty }}이 다음 두 조건을 만족시킨다고 하자.

* 함수 항 급수 {\displaystyle \sum \_{n=0}^{\infty }f\_{n}}는 균등 수렴한다.
* {\displaystyle (g\_{n})\_{n=0}^{\infty }}은 균등 유계 함수열이다. 또한, 임의의 {\displaystyle x\in X}에 대하여, {\displaystyle (g\_{n}(x))\_{n=0}^{\infty }}는 단조수열이다.

그렇다면, 함수 항 급수

{\displaystyle \sum \_{n=0}^{\infty }f\_{n}g\_{n}}
역시 균등 수렴한다. 이에 대한 증명은 실수 항 급수에 대한 아벨 판정법의 직접적 증명을 조금 고치면 된다. 디리클레 판정법을 통한 증명은 더 이상 유효하지 않다. 구체적으로, {\displaystyle (g\_{n})\_{n=0}^{\infty }}은 점별 극한 {\displaystyle g\colon X\to \mathbb {R} }을 갖지만, {\displaystyle g}로 균등 수렴할 필요가 없다. 만약 {\displaystyle X}가 한원소 집합이라면, 이는 실수 항 급수에 대한 아벨 판정법이다.

예
-

아벨 판정법에 따라, 임의의 수렴급수

{\displaystyle \sum \_{n=1}^{\infty }a\_{n}}
에 대하여, 다음 급수들 역시 수렴한다.:315, Examples and applications 1

{\displaystyle \sum \_{n=1}^{\infty }{\frac {a\_{n}}{n}}}
{\displaystyle \sum \_{n=1}^{\infty }{\frac {a\_{n}}{\ln n}}}
{\displaystyle \sum \_{n=1}^{\infty }{\frac {n+1}{n}}a\_{n}}
{\displaystyle \sum \_{n=1}^{\infty }{\sqrt[{n}]{n}}a\_{n}}
{\displaystyle \sum \_{n=1}^{\infty }\left(1+{\frac {1}{n}}\right)^{n}a\_{n}}

참고 문헌
-----

1. 1 2  김락중; 박종안; 이춘호; 최규흥 (2007). 《해석학 입문》 3판. 경문사. ISBN 978-8-96-105054-8.
2. 1 2  Knopp, Konrad (1951). 《Theory and application of infinite series》 (영어). 번역 Young, R. C. H.. Translated from the 2nd edition and revised in accordance with the fourth by R. C. H. Young. 2판. London–Glasgow: Blackie & Son. Zbl 0042.29203.