๋ฆฌ๋ง ์ ํ ํจ์๋?
๋ฆฌ๋ง ์ ํ ํจ์๋ ์ ์๋ก ๊ณผ ํด์ํ์์ ๊ฐ์ฅ ์ค์ํ ๋์ ์ค ํ๋์ ๋๋ค. ์ค์ ์ธ์ x๊ฐ 1๋ณด๋ค ํด ๋, ์ด ํจ์๋ ์๋ ดํ๋ ๊ธ์ \(\zeta(x) = 1 + \frac{1}{2^x} + \frac{1}{3^x} + \frac{1}{4^x} + \dots\) ๋ก ์ ์๋ฉ๋๋ค. ์ฆ, ๋ชจ๋ ์์ ์ ์๋ฅผ x ์ ๊ณฑํ ๊ฐ์ ์ญ์๋ฅผ ์ ๋ถ ๋ํ ๊ฒ์ด์ฃ . ํด์์ ์ฐ์(analytic continuation)์ ํตํด ์ด ํจ์๋ ๊ฑฐ์ ๋ชจ๋ ์ค์(๊ทธ๋ฆฌ๊ณ ๋ณต์์) ๊ฐ์ผ๋ก ํ์ฅ๋์ง๋ง, x = 1 ๋ง์ ์์ธ์ ๋๋ค. ์ด ์ ์์๋ ๋จ์ ๊ทน(simple pole)์ ๊ฐ์ ธ ๋ฌดํ๋๋ก ๋ฐ์ฐํฉ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ์์์ ์ค์ x์ ๋ํด \(\zeta(x)\)๋ฅผ ๊ณ์ฐํ๋ฉฐ, ๋ณต์์ ์ธ์๋ ์ง์ํ์ง ์์ต๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
์ค์ x๋ฅผ ์ ๋ ฅํ๊ณ ํ์ํ ์๋ฆฟ์๋ฅผ ์ ํํ์ธ์. ๊ณ์ฐ๊ธฐ๋ \(\zeta(x)\) ๊ฐ๊ณผ ํจ๊ป \(\zeta(x)-1\) ๊ฐ์ ๋ฐ๋ก ๋ณด์ฌ์ค๋๋ค. ๋ ๋ฒ์งธ ๊ฐ์ ๊ธ์์ ๊ผฌ๋ฆฌ ๋ถ๋ถ, ์ฆ \(\zeta(x)-1 = \frac{1}{2^x} + \frac{1}{3^x} + \dots\) ์ ํด๋นํฉ๋๋ค. x๊ฐ ํด ๋ \(\zeta(x)\)๊ฐ 1์ ๋๋ฌด ๊ฐ๊น์์ ๋ฐ์ฌ๋ฆผํ๋ฉด ๊ทธ๋ฅ "1"๋ก๋ง ํ์๋๊ณ ์ค์ง์ ์ธ ์ ๋ณด๊ฐ ๋ชจ๋ ๋๋จธ์ง ๋ถ๋ถ์ ์จ์ด๋ฒ๋ฆฌ๋ ๊ฒฝ์ฐ, ์ด ๊ฐ์ด ํนํ ์ ์ฉํฉ๋๋ค.
๊ณต์ ์ค๋ช
x > 1 ์ผ ๋๋ ์ค์ผ๋ฌ-๋งคํด๋ก๋ฆฐ ๊ฐ์(Euler-Maclaurin acceleration)์ ์ ์ฉํด ๊ธ์๋ฅผ ํฉ์ฐํฉ๋๋ค. $$\zeta(x) = \sum_{n=1}^{\infty} \frac{1}{n^{x}}, \qquad x > 1$$ ๋ช ์์ ์ธ ๋ช ๊ฐ์ ํญ์ ๋งค๋๋ฌ์ด ๋ณด์ ํญ์ ๋ํ๋ฉด ์ ํํ ์๋ฆฟ์๋ฅผ ๋น ๋ฅด๊ฒ ๋ง์ด ์ป์ ์ ์์ต๋๋ค. x < 1 ์ผ ๋๋ ํจ์ ๋ฐฉ์ ์ $$\zeta(x) = 2^{x}\,\pi^{x-1}\,\sin\!\left(\frac{\pi x}{2}\right)\,\Gamma(1-x)\,\zeta(1-x)$$ ๋ฅผ ์ ์ฉํฉ๋๋ค. ์ฌ๊ธฐ์ 1โx > 1 ์ด๋ฏ๋ก ์ฐ๋ณ์ ์ ํ ํจ์๋ ๋์ผํ ๊ธ์๋ก ๊ณ์ฐํ ์ ์์ต๋๋ค. ์ฌ์ธ ํญ์ ์๋ช ํ ์์ (trivial zeros) \(\zeta(-2) = \zeta(-4) = \dots = 0\) ์ ์๋์ผ๋ก ๋ง๋ค์ด ๋ ๋๋ค.
๊ณ์ฐ ์์
x = 2 (๊ทธ ์ ๋ช ํ ๋ฐ์ ค ๋ฌธ์ )์ผ ๋ ๊ธ์๋ \(\frac{\pi^2}{6} = 1.6449340668\dots\) ๊ณผ ๊ฐ์ผ๋ฏ๋ก, \(\zeta(2)-1 = 0.6449340668\dots\) ์ด ๋ฉ๋๋ค. ๊ธฐ๋ณธ๊ฐ์ธ x = 7 ์ ๊ฒฝ์ฐ \(\zeta(7) = 1.0083492773\dots\) ์ธ๋ฐ, ์ด๋ n = 2 ์ดํ์ ๊ผฌ๋ฆฌ ์ ์ฒด๊ฐ ์ฝ 0.00835 ๋งํผ๋ง ๋ํด์ง๋ค๋ ๋ป์ ๋๋ค. x = โ1 ์ผ ๋๋ ํจ์ ๋ฐฉ์ ์์ด ๊ทธ ์ ๋ช ํ ๊ฐ \(\zeta(-1) = -\frac{1}{12}\) ์ ๋ด๋์ต๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ \(\zeta(1)\)์ ์ ์๋์ง ์๋์? ์ด ๊ฒฝ์ฐ ๊ธ์๋ ๋ฐ์ฐํ๋ ์กฐํ๊ธ์๊ฐ ๋ฉ๋๋ค. x = 1 ์ ๋จ์ ๊ทน์ด๋ฏ๋ก ๊ณ์ฐ๊ธฐ๋ ๋ฌดํ๋๋ฅผ ๋ฐํํฉ๋๋ค.
๋ณต์์๋ฅผ ์ ๋ ฅํ ์ ์๋์? ์๋์. ์ด ๋๊ตฌ๋ ์ค์ x๋ง ๋ค๋ฃน๋๋ค. ๋ ๊น์ ์ด๋ก (๊ทธ๋ฆฌ๊ณ ๋ฆฌ๋ง ๊ฐ์ค)์ ๋ณต์ํ๋ฉด ์์์ ํผ์ณ์ง๋๋ค.
์ \(\zeta(x)-1\)๋ ํจ๊ป ๋ณด์ฌ์ฃผ๋์? x๊ฐ ํด ๋ \(\zeta(x)\)๋ ์ผ๋ฐ์ ์ธ ์ ๋ฐ๋์์ 1๋ก ๋ฐ์ฌ๋ฆผ๋์ง๋ง, \(\zeta(x)-1\)์ ์๋ฏธ ์๋ ์์ ๋๋จธ์ง ๊ฐ์ ๊ทธ๋๋ก ๋ณด์ฌ์ฃผ๊ธฐ ๋๋ฌธ์ ๋๋ค.