디리클레 에타 함수

디리클레 에타 함수

정의

다음과 같이 정의된 함수 $\eta : \mathbb{C} \to \mathbb{C}$ 를 디리클레 에타 함수Dirichlet eta Function라고 한다. $$ \eta (s) := \sum_{n \in \mathbb{N}} (-1)^{n-1} n^{-s} $$

디리클레 에타 함수는 교대 리만 제타 함수로 정의된다.

정리


증명

[1]

$$ \begin{align*} \zeta (s) - \eta (s) =& \sum_{n \in \mathbb{N}} {{ 1 } \over { n^{s} }} - \sum_{n \in \mathbb{N}} {{ (-1)^{n-1} } \over { n^{s} }} \\ =& \sum_{n \in \mathbb{N}} \left( {{ 1 } \over { n^{s} }} + {{ (-1)^{n} } \over { n^{s} }} \right) \\ =& 2 \sum_{n \in \mathbb{N}} {{ 1 } \over { (2n)^{s} }} \\ =& 2^{1-s} \sum_{n \in \mathbb{N}} {{ 1 } \over { n^{s} }} \\ =& 2^{1-s} \zeta (s) \end{align*} $$ 디리클레 에타 함수에 대해 고치면 $$ \eta(s) = \left( 1 - 2^{1-s} \right) \zeta(s) $$

[2]

그리 간단하지 않다. 지배수렴정리를 통해 유도한다.

댓글