디리클레 판정법

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

## 정의
### 실수 항 급수
두 실수 수열 (a_n)_{n=0}^\infty, (b_n)_{n=0}^\infty이 다음 세 조건을 만족시킨다고 하자.
* 급수 \sum_{n=0}^\infty a_n의 부분합은 유계 수열이다. 즉, \sup_{n\in\mathbb N}\left|{\sum_{k=0}^na_k}\right|
* (b_n)_{n=0}^\infty은 단조수열이다. 즉, b_0\ge b_1\ge b_2\ge\cdots이거나 b_0\le b_1\le b_2\le\cdots
* \lim_{n\to\infty}b_n=0

**디리클레 판정법**에 따르면, 급수
:\sum_{n=0}^\infty a_nb_n
는 수렴한다.

:S_n=\sum_{k=0}^na_k\qquad(\forall n\in\mathbb N)
:M=1+\sup_{n\in\mathbb N}|S_n|\in\mathbb R^+
라고 하자. 임의의 \epsilon>0에 대하여,
:|b_n|N(\epsilon))
인 자연수 N(\epsilon)\in\mathbb N이 존재한다. 아벨 변환에 의하여, 임의의 n\ge N(\epsilon) 및 임의의 p\in\mathbb Z^+에 대하여, 다음이 성립한다.
:\begin{align}
\left|\sum_{k=n+1}^{n+p}a_kb_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|\\
&\le|b_{n+p}|(|S_{n+p}|+|S_n|)+\sum_{k=n+1}^{n+p-1}|b_k-b_{k+1}|(|S_k|+|S_n|)\\
&\le2M\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}|)\\
&\le2M(2|b_{n+p}|+|b_{n+1}|)\\
&
즉, 급수
:\sum_{n=0}^\infty a_nb_n
의 부분합은 코시 수열이다. 따라서 이 급수는 수렴한다.

### 이상 적분
두 실수 값 함수 f,g\colon[a,\infty)\to\mathbb R가 다음 세 조건을 만족시킨다고 하자.
* f는 임의의 [a,b]\subseteq[a,\infty)에서 리만 적분 가능하며, 또한 \sup_{x\in[a,\infty)}\left|\int_a^xf(t)\,dt\right|
* g는 단조함수이다. (특히, g는 임의의 [a,b]\subseteq[a,\infty)에서 리만 적분 가능하다.)
* \lim_{x\to\infty}g(x)=0
그렇다면, 이상 적분
:\int_a^\infty f(x)g(x)\,dx
는 수렴한다.

:M=1+\sup_{x\in[a,\infty)}\left|\int_a^xf(t)\,dt\right|\in\mathbb R^+
이라고 하자. 임의의 \epsilon>0에 대하여,
:|g(x)|N(\epsilon))
인 N(\epsilon)>a가 존재한다. 제2 적분 평균값 정리에 따라, 임의의 y>x>N(\epsilon)에 대하여, 어떤 c(x,y)\in[x,y]가 존재하며, 다음이 성립한다.
:\begin{align}
\left|\int_x^yf(t)g(t)\,dt\right|
&=\left|g(x)\int_x^{c(x,y)}f(t)\,dt+g(y)\int_{c(x,y)}^yf(t)\,dt\right|\\
&\le\frac\epsilon{4M}\left(\left|\int_a^{c(x,y)}f(t)\,dt-\int_a^xf(t)\,dt\right|+\left|\int_a^yf(t)\,dt-\int_a^{c(x,y)}f(t)\,dt\right|\right)\\
&\le\frac\epsilon{4M}(2M+2M)\\
&=\epsilon
\end{align}

따라서, 이상 적분
:\int_a^\infty f(x)g(x)\,dx
은 수렴한다.

### 균등 수렴
집합 X 및 두 함수열 (f_n,g_n\colon X\to\mathbb R)_{n=0}^\infty이 다음 세 조건을 만족시킨다고 하자.
* 함수 항 급수 \sum_{n=0}^\infty f_n의 부분합은 균등 유계 함수열이다. 즉, \sup_{n\in\mathbb N}\sup_{x\in X}\left|\sum_{i=0}^nf_i(x)\right|
* 임의의 x\in X에 대하여, (g_n(x))_{n=0}^\infty은 단조수열이다.
* (g_n)_{n=0}^\infty은 0\colon X\to\mathbb R로 균등 수렴한다.
그렇다면, 급수
:\sum_{n=0}^\infty f_ng_n
는 균등 수렴한다. 이에 대한 증명은 실수 항 급수에 대한 디리클레 판정법의 증명과 유사하다. X가 한원소 집합인 경우, 이는 단순히 실수 항 급수에 대한 디리클레 판정법이다.

## 예
### 교대급수

임의의 0으로 수렴하는 단조수열 (a_n)_{n=0}^\infty에 대하여, 교대급수
:\sum_{n=0}^\infty(-1)^na_n
는 수렴한다 (교대급수 판정법). 이는 급수
:\sum_{n=0}^\infty(-1)^n
의 부분합
:\sum_{i=0}^n(-1)^i=\begin{cases}
1&n\in2\mathbb Z\\
0&n\in2\mathbb Z+1
\end{cases}
\qquad(n\in\mathbb N)

이 유계 수열이기 때문이다.

### 삼각 급수

마찬가자로, 0으로 수렴하는 단조수열 (a_n)_{n=1}^\infty 및 x\in\mathbb R에 대하여,
* 급수 \sum_{n=1}^\infty a_n\sin nx는 수렴한다.
* 만약 x\not\in2\pi\mathbb Z라면, 급수 \sum_{n=1}^\infty a_n\cos nx는 수렴한다.
이는
:\sum_{i=1}^n\sin ix=\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\in\mathbb Z^+)

가 유계 수열이며,
:\sum_{i=1}^n\cos ix=\begin{cases}
n&x\in2\pi\mathbb Z\\
(\sin((n+1/2)x)-\sin(x/2))/(2\sin(x/2))&x\not\in2\pi\mathbb Z
\end{cases}
\qquad(n\in\mathbb Z^+)

가 x\not\in2\pi\mathbb Z일 때 유계 수열이기 때문이다. 또한, 다음 두 조건이 서로 동치이다.
* \sum_{n=1}^\infty|a_n\sin nx|
* x\in\pi\mathbb Z이거나, \sum_{n=1}^\infty|a_n|
마찬가지로, 다음 두 조건이 동치이다.
* \sum_{n=1}^\infty|a_n\cos nx|
* \sum_{n=1}^\infty|a_n|

## 역사
작자 페터 구스타프 르죈 디리클레의 사후인 1862년 《순수 및 응용수학 저널》()에 게재되었다.

## 같이 보기
* 아벨 판정법

## 참고 문헌

## 외부 링크
* 
* 
* 
* 

분류:수렴판정법