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

* 함수의 극한
* 연속 함수

* 평균값 정리
* 롤의 정리

 |
| 미분

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

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

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

 |

 |
| 적분

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

 |
| 수열과 급수

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

 |
| 벡터 미적분학

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

 |
| 다변수 미적분학

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

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

 |
| * v
* t
* e
 |

미적분학에서 **디리클레 판정법**(Dirichlet's test)은 실수 항 급수의 수렴 판정법의 하나다. 이에 따르면, 유계 부분합을 갖는 급수에 0으로 수렴하는 단조수열을 계수로서 곱한 급수는 수렴한다. 교대급수 판정법을 일반화한다. 디리클레 판정법의 표준적인 증명은 유한합의 아벨 변환을 사용한다. 이상 적분에 대한 디리클레 판정법은 제2 적분 평균값 정리를 통하여 보일 수 있는데, 이에 대한 증명은 아벨 변환을 필요로 한다.

정의
--

### 급수

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

* 급수 {\displaystyle \sum \_{n=0}^{\infty }a\_{n}}의 부분합은 유계 수열이다. 즉, {\displaystyle \sup \_{n\in \mathbb {N} }\left|{\sum \_{k=0}^{n}a\_{k}}\right|<\infty }
* {\displaystyle (b\_{n})\_{n=0}^{\infty }}은 단조수열이다. 즉, {\displaystyle b\_{0}\geq b\_{1}\geq b\_{2}\geq \cdots }이거나 {\displaystyle b\_{0}\leq b\_{1}\leq b\_{2}\leq \cdots }
* {\displaystyle \lim \_{n\to \infty }b\_{n}=0}

**디리클레 판정법**에 따르면, 급수

{\displaystyle \sum \_{n=0}^{\infty }a\_{n}b\_{n}}
는 수렴한다.:182

증명:

{\displaystyle S\_{n}=\sum \_{k=0}^{n}a\_{k}\qquad (\forall n\in \mathbb {N} )}
{\displaystyle M=1+\sup \_{n\in \mathbb {N} }|S\_{n}|\in \mathbb {R} ^{+}}
라고 하자. 임의의 {\displaystyle \epsilon >0}에 대하여,

{\displaystyle |b\_{n}|<{\frac {\epsilon }{6M}}\qquad (\forall 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 2M\left(|b\_{n+p}|+\sum \_{k=n+1}^{n+p-1}|b\_{k}-b\_{k+1}|\right)\\&=2M\left(|b\_{n+p}|+\left|\sum \_{k=n+1}^{n+p-1}(b\_{k}-b\_{k+1})\right|\right)\\&=2M(|b\_{n+p}|+|b\_{n+1}-b\_{n+p}|)\\&\leq 2M(2|b\_{n+p}|+|b\_{n+1}|)\\&<2M\cdot 3\cdot {\frac {\epsilon }{6M}}\\&=\epsilon \end{aligned}}}
즉, 급수

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

### 이상 적분

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

* {\displaystyle f}는 임의의 {\displaystyle [a,b]\subseteq [a,\infty )}에서 리만 적분 가능하며, 또한 {\displaystyle \sup \_{x\in [a,\infty )}\left|\int \_{a}^{x}f(t)\,dt\right|<\infty }
* {\displaystyle g}는 단조함수이다. (특히, {\displaystyle g}는 임의의 {\displaystyle [a,b]\subseteq [a,\infty )}에서 리만 적분 가능하다.)
* {\displaystyle \lim \_{x\to \infty }g(x)=0}

그렇다면, 이상 적분

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

증명:

{\displaystyle M=1+\sup \_{x\in [a,\infty )}\left|\int \_{a}^{x}f(t)\,dt\right|\in \mathbb {R} ^{+}}
이라고 하자. 임의의 {\displaystyle \epsilon >0}이 주어졌을 때, 어떤 {\displaystyle N(\epsilon )>a} 및 임의의 {\displaystyle x>N(\epsilon )}에 대하여,

{\displaystyle |g(x)|<{\frac {\epsilon }{4M}}}
이다. 제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 {\frac {\epsilon }{4M}}\left(\left|\int \_{a}^{c(x,y)}f(t)\,dt-\int \_{a}^{x}f(t)\,dt\right|+\left|\int \_{a}^{y}f(t)\,dt-\int \_{a}^{c(x,y)}f(t)\,dt\right|\right)\\&\leq {\frac {\epsilon }{4M}}(2M+2M)\\&=\epsilon \end{aligned}}}
따라서, 이상 적분

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

예
-

임의의 0으로 수렴하는 단조수열 {\displaystyle (a\_{n})\_{n=0}^{\infty }}에 대하여, 교대급수

{\displaystyle \sum \_{n=0}^{\infty }(-1)^{n}a\_{n}}
는 수렴한다. 이는 급수

{\displaystyle \sum \_{n=0}^{\infty }(-1)^{n}}
의 부분합

{\displaystyle \sum \_{i=0}^{n}(-1)^{i}={\begin{cases}1&n=0,2,4,\dots \\0&n=1,3,5,\dots \end{cases}}}
이 유계 수열이기 때문이다.

마찬가자로, 0으로 수렴하는 단조수열 {\displaystyle (a\_{n})\_{n=0}^{\infty }} 및 {\displaystyle x\in \mathbb {R} }에 대하여, 두 급수

{\displaystyle \sum \_{n=1}^{\infty }a\_{n}\sin nx}
{\displaystyle \sum \_{n=1}^{\infty }a\_{n}\cos nx}
는 모두 수렴한다. 이는

{\displaystyle \sum \_{i=1}^{n}\sin nx={\begin{cases}0&x\in \pi \mathbb {Z} \\(\cos(x/2)-\cos((n+1/2)x))/(2\sin(x/2))&x\not \in \pi \mathbb {Z} \end{cases}}\qquad (n=1,2,3,\dots )}
{\displaystyle \sum \_{i=1}^{n}\cos nx={\begin{cases}0&x\in 2\pi \mathbb {Z} \\(\sin((n+1/2)x)-\sin(x/2))/(2\sin(x/2))&x\not \in 2\pi \mathbb {Z} \end{cases}}\qquad (n=1,2,3,\dots )}
가 모두 유계 수열이기 때문이다.

역사
--

작자 페터 구스타프 르죈 디리클레의 사후인 1862년 《순수 및 응용수학 저널》(Journal de Mathématiques Pures et Appliquées)에 게재되었다.