무한곱

수학에서 무한곱(無限-, 영어: infinite product)은 무한 수열의 모든 항의 곱이다. 이는 앞의 몇 항의 유한곱에 대한 극한으로 정의되며, 이 극한값이 0이 아닐 경우에만 무한곱이 수렴하는 것으로 정의한다. 무한곱이 수렴하려면 그 수열 항의 극한이 1이어야 하므로, 편의상 수열의 모든 항이 양의 실수라고 가정하여도 무방하다.

정의

실수 수열 $(a_{n})_{n=1}^{\infty }\subseteq \mathbb {R}$의 무한곱 $\prod _{n=1}^{\infty }a_{n}$의 값은 부분곱(部分-, 영어: partial product) $\prod _{k=1}^{n}a_{k}$의 열의 극한

$\prod _{n=1}^{\infty }a_{n}=\lim _{n\to \infty }\prod _{k=1}^{n}a_{k}$

으로 정의된다. 만약 위와 같은 극한이 존재하고 0이 아니라면, 무한곱 $\prod _{n=1}^{\infty }a_{n}$이 수렴(收斂, 영어: convergent)한다고 한다. 만약 반대로 위와 같은 극한이 0이거나 존재하지 않는다면, 무한곱 $\prod _{n=1}^{\infty }a_{n}$이 발산(發散, 영어: divergent)한다고 한다.

성질

만약 무한곱 $\prod _{n=1}^{\infty }a_{n}$이 (0이 아닌 값으로) 수렴한다면, $\lim _{n\to \infty }a_{n}=1$이다.

실수 수열 $(a_{n})_{n=1}^{\infty }\subseteq \mathbb {R}$이 $|a_{n}|<1$ ($n\in \{1,2,\dots \}$)를 만족시킨다고 하자. 그렇다면 다음 조건들이 서로 동치이다.

• 무한곱 $\prod _{n=1}^{\infty }(1+a_{n})$이 (0이 아닌 값으로) 수렴한다.
• 급수 $\sum _{n=1}^{\infty }\ln(1+a_{n})$이 수렴한다.

실수 수열 $(a_{n})_{n=1}^{\infty }\subseteq \mathbb {R}$이 $a_{n}>0$ ($n\in \{1,2,\dots \}$)를 만족시킨다고 하자. 그렇다면 다음 조건들이 서로 동치이다.

• 무한곱 $\prod _{n=1}^{\infty }(1+a_{n})$이 (0이 아닌 값으로) 수렴한다.
• 급수 $\sum _{n=1}^{\infty }a_{n}$이 수렴한다.

예

월리스 곱

 이 부분의 본문은 월리스 곱입니다.

다음과 같은 무한곱을 월리스 곱(영어: Wallis product)이라고 한다.

$\prod _{n=1}^{\infty }{\frac {4n^{2}}{4n^{2}-1}}=\lim _{n\to \infty }\left({\frac {(2n)!!}{(2n-1)!!}}\right)^{2}{\frac {1}{2n+1}}={\frac {\pi }{2}}$

이는 다음과 같이 증명할 수 있다. 다음과 같은 적분 공식을 사용하자.

$\int _{0}^{\pi /2}\sin ^{2n}x\mathrm {d} x={\frac {(2n-1)!!}{(2n)!!}}{\frac {\pi }{2}}$

$\int _{0}^{\pi /2}\sin ^{2n+1}x\mathrm {d} x={\frac {(2n)!!}{(2n+1)!!}}\qquad (n\in \{1,2,\dots \})$

임의의 $x\in (0,\pi /2)$ 및 $n\in \{1,2,\dots \}$에 대하여 $\sin ^{2n+1}x<\sin ^{2n}x<\sin ^{2n-1}x$이므로, 다음이 성립한다.

$\int _{0}^{\pi /2}\sin ^{2n+1}x\mathrm {d} x<\int _{0}^{\pi /2}\sin ^{2n}x\mathrm {d} x<\int _{0}^{\pi /2}\sin ^{2n-1}x\mathrm {d} x$

여기에 위와 같은 공식을 대입하여 정리하면 다음을 얻는다.

$\left({\frac {(2n)!!}{(2n-1)!!}}\right)^{2}{\frac {1}{2n+1}}<{\frac {\pi }{2}}<\left({\frac {(2n)!!}{(2n-1)!!}}\right)^{2}{\frac {1}{2n}}$

다음과 같은 부등식에 따라 양 끝의 식은 $\pi /2$로 수렴하므로, 월리스 공식이 증명된다.

${\begin{aligned}0&<\left({\frac {(2n)!!}{(2n-1)!!}}\right)^{2}{\frac {1}{2n}}-\left({\frac {(2n)!!}{(2n-1)!!}}\right)^{2}{\frac {1}{2n+1}}\\&=\left({\frac {(2n)!!}{(2n-1)!!}}\right)^{2}{\frac {1}{2n(2n+1)}}\\&<{\frac {1}{2n}}{\frac {\pi }{2}}\end{aligned}}$

리만 제타 함수

 이 부분의 본문은 리만 제타 함수입니다.

리만 제타 함수의 $s>1$에서의 값은 다음과 같은 수렴하는 급수와 같다.

$\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}$

여기에 $(1-1/2^{s})$를 곱하면 홀수에 대한 합이 남는다.

$\left(1-{\frac {1}{2^{s}}}\right)\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}-\sum _{n=1}^{\infty }{\frac {1}{(2n)^{s}}}=\sum _{2\nmid n}{\frac {1}{n^{s}}}$

다시 $(1-1/3^{s})$를 곱하면 2나 3의 배수가 아닌 정수에 대한 합만 남는다.

$\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{2^{s}}}\right)\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\sum _{2\nmid n}{\frac {1}{n^{s}}}-\sum _{2\nmid n}{\frac {1}{(3n)^{s}}}=\sum _{2,3\nmid n}{\frac {1}{n^{s}}}$

이를 모든 소수 $p_{1}=2,p_{2}=3,\dots$에 대하여 반복하면 우변은 결국 1이 된다.

$\prod _{k=1}^{\infty }\left(1-{\frac {1}{p_{k}^{s}}}\right)\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=1$

즉, $s>1$에서의 리만 제타 함수 값은 무한곱으로 다음과 같이 나타낼 수 있다.

$\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{k=1}^{\infty }{\frac {1}{1-1/p_{k}^{s}}}$

외부 링크

• “Infinite product”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4. 
• Weisstein, Eric Wolfgang. “Infinite product”. 《Wolfram MathWorld》 (영어). Wolfram Research.