오일러 곱

수론에서, **오일러 곱**()은 디리클레 급수를 모든 소수에 대한 무한곱으로 나타내는 방법이다. 산술의 기본 정리를 사용하여 증명할 수 있으며, 흔히 산술의 기본 정리의 해석적 형태로 여겨진다. 리만 제타 함수의 경우를 증명한 레온하르트 오일러의 이름을 땄다.

## 정의
곱셈적 함수 f\colon\mathbb Z^+\to\mathbb C가 주어졌고, 디리클레 급수
:\sum_{n=1}^\infty f(n)n^{-s}
가 모든 \operatorname{Re}(s)>\sigma_0에서 절대 수렴한다고 하자. (특히, 만약 f가 유계 함수라면 \sigma_0=1로 놓을 수 있다.) 그렇다면, 이 디리클레 급수의 합은 모든 \operatorname{Re}(s)>\sigma_0에서 다음과 같은 절대 수렴 무한곱으로 나타낼 수 있다.
:\begin{align}
\sum_{n=1}^\infty f(n)n^{-s} & =\prod_p\sum_{k=0}^\infty f(p^k)p^{-ks} \\
& =\prod_p(1+f(p)p^{-s}+f(p^2)p^{-2s}+\cdots)
\end{align}
만약 f가 완전 곱셈적 함수라면 (무한곱의 인자가 등비급수가 되므로) 이 무한곱은 다음과 같이 더 단순해진다.
:\sum_{n=1}^\infty f(n)n^{-s}=\prod_p\frac{1}{1-f(p)p^{-s}}
이를 **오일러 곱 공식**()이라고 하며, 이 공식 속 무한곱을 **오일러 곱**이라고 한다.

## 예
대표적인 예는 다음과 같다.
* 리만 제타 함수
*:\sum_{n=1}^\infty n^{-s}=\prod_p\frac{1}{1-p^{-s}}=\zeta(s)\qquad(\operatorname{Re}(s)>1)
* 뫼비우스 함수의 디리클레 급수
*:\sum_{n=1}^\infty\mu(n)n^{-s}=\prod_p(1-p^{-s})=1/\zeta(s)\qquad(\operatorname{Re}(s)>1)
* 오일러 피 함수의 디리클레 급수
*:\sum_{n=1}^\infty\phi(n)n^{-s}=\prod_p\frac{1-p^{-s}}{1-p^{1-s}}=\zeta(s-1)/\zeta(s)\qquad(\operatorname{Re}(s)>2)
* 약수 함수의 디리클레 급수
*:\sum_{n=1}^\infty\sigma_a(n)n^{-s}=\prod_p\frac{1}{(1-p^{-s})(1-p^{a-s})}=\zeta(s)\zeta(s-a)\qquad(\operatorname{Re}(s)>\max\{1,1+\operatorname{Re}(a)\})
* 리우빌 함수의 디리클레 급수
*:\sum_{n=1}^\infty\lambda(n)n^{-s}=\prod_p\frac{1}{1+p^{-s}}=\zeta(2s)/\zeta(s)\qquad(\operatorname{Re}(s)>1)
* 디리클레 L-함수
*:L(s,\chi)=\sum_{n=1}^\infty\chi(n)n^{-s}=\prod_p\frac{1}{1-\chi(p)p^{-s}}\qquad(\operatorname{Re}(s)>1)

## 오일러의 증명
오일러 곱 공식에 대한 오일러의 증명은 다음과 같다. 1보다 큰 임의의 복소수 s에서, 리만 제타 함수는 다음과 같이 정의된다.
:\zeta(s) = {1 \over 1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots

양변에 \frac{1}{2^{s}}를 곱하면 a^{s} \cdot b^{s}=(a \cdot b)^{s}이라는 지수법칙에 의해

:\frac{1}{2^{s}}\zeta(s) = \frac{1}{2^{s}} + \frac{1}{4^s} + \frac{1}{6^s} + \cdots

이 성립한다. 첫 번째 식에서 두 번째 식을 빼면 좌변은 \zeta(s)-\frac{1}{2^{s}} \cdot \zeta(s) = \left(1-\frac{1}{2^{s}}\right) \cdot \zeta(s)로 정리되고 우변에는 홀수의 -s제곱 항만이 남게 되므로

:\left(1-\frac{1}{2^{s}}\right) \cdot \zeta(s) = 1 + \frac{1}{3^{s}} + \frac{1}{5^s} + \frac{1}{7^s} + \cdots

을 얻는다. 이제 위의 결과에 \frac{1}{3^{s}}를 곱하면

:\frac{1}{3^{s}}\left(1-\frac{1}{2^{s}}\right) \cdot \zeta(s) = \frac{1}{3^{s}} + \frac{1}{9^s} + \frac{1}{15^s} + \cdots

이므로, 이 결과를 위 식에서 빼면

:\left(1-\frac{1}{3^{s}}\right)\left(1-\frac{1}{2^{s}}\right) \cdot \zeta(s) = 1 + \frac{1}{5^{s}} + \frac{1}{7^s} + \frac{1}{11^s} + \cdots

이 되며 우변의 분모에서 3의 배수가 모두 사라진다. 이 작업을 모든 소수 p에 대하여 계속 반복하면

:\cdots \left(1-\frac{1}{p^{s}}\right)\cdots \left(1-\frac{1}{11^{s}}\right)\left(1-\frac{1}{7^{s}}\right)\left(1-\frac{1}{5^{s}}\right) \left(1-\frac{1}{3^{s}}\right)\left(1-\frac{1}{2^{s}}\right)\zeta(s) = 1

을 얻는다. 지수법칙에 의해 \frac{1}{p^{s}}=p^{-s}이므로, 위 식은

:\prod_{p \text{ prime}} (1-p^{-s}) \cdot \zeta(s)=1

과 같이 정리할 수 있다. 이제 좌변에 \zeta(s)만을 남기고 모든 인수를 우변으로 이항하면,

:\zeta(s)=\prod_{p \text{ prime}} \frac{1}{1-p^{-s}}

와 같이 오일러 곱 공식을 유도할 수 있다. 이 증명법은 에라토스테네스의 체에 기초한 증명 방법이다.

## 역사
레온하르트 오일러는 바젤 문제를 해결하면서 리만 제타 함수가 그 오일러 곱과 등치함을 처음 증명하였다. 오일러 곱 공식은 1737년 상트페테르부르크 학술원에서 출판된 그의 논문 〈무한 급수의 다양한 관찰〉()에 수록되었다. 오일러가 증명한 리만 제타 함수의 무한곱이 가장 유명하므로 리만 제타 함수의 무한곱을 오일러 곱이라 지칭하는 경우도 많다.

오일러의 증명은 해석학의 기초가 정립되기 전이다. 1837년 페터 구스타프 르죈 디리클레는 리만 제타 함수의 오일러 곱의 엄밀한 증명을 처음 발표하였다.

## 오일러 곱과 관련된 상수들
아래는 오일러 곱 공식과 관련된 상수들이다.

* 란다우-라마누잔 상수
: K= \frac{\pi}{4} \prod_{p = 1\,\text{mod}\,4} \left(1 - \right)^{1\over2}  

* 쌍둥이 소수 상수
: C_2 = \prod_{\textstyle{p\;{\rm prime}\atop p \ge 3}}  \left(1 - \right)

* 펠러-토르니어 상수
:C_{FT}={1\over2}+\left( {1\over2} \prod_{n=1}^{\infty}\left(1- \right) \right)

* 마이셀-메르텐스 상수
:B_2= \left(\sum_{n=1}^{\infty} \left(\ln \left( 1- \right) +  \right) \right) +\gamma

* 알틴 상수
: C_{A}= \prod_{n=1}^{\infty} \left( 1-\right)

* 케어프리 상수(carefree constant)
:K_1 = \prod_p \left( 1-  \right) 

* 바반 상수
:C_B= \prod_{p} \left(1 +  \right) 

* 이차 유수 상수 또는 이차 수체 유수 상수(Quadratic Class Number Constant)
: \prod_{p} \left(1 -  
:A=\zeta(3)은 아페리 상수

* 사르낙 상수(Sarnak's constant)
: \prod_{p>2} \left(1 - \frac{p+2}{p^3}\right) = 0.723648...  

## 참고 문헌


## 외부 링크
* 
* 

## 같이 보기
* 리만 제타 함수
* 베른하르트 리만
* 레온하르트 오일러

분류:해석적 수론 정리
분류:제타 함수와 L-함수