์ด ๊ณ์ฐ๊ธฐ์ ๊ธฐ๋ฅ
๋ฆฌ๋ง ์ ํ ํจ์ ๊ทธ๋ํ ๊ณ์ฐ๊ธฐ๋ ์ค์ ์ธ์์ ๋ํ ๋ฆฌ๋ง ์ ํ ํจ์ \(\zeta(x)\)๋ฅผ ์ง์ ํ x ๊ตฌ๊ฐ์์ ๊ณ์ฐํฉ๋๋ค. ๊ฐ ์ง์ ๋ง๋ค \(\zeta(x)\) ๊ฐ๊ณผ ํจ๊ป, 1์ ๋บ \(\zeta(x) - 1\) ๊ฐ์ ํจ๊ป ๋ณด์ฌ ์ค๋๋ค. x๊ฐ ํฐ ์์๋ก ๊ฐ์๋ก \(\zeta(x)\)๋ 1์ ๊ฐ๊น์์ง๊ธฐ ๋๋ฌธ์, \(\zeta(x) - 1\)์ ๋ณด๋ฉด 0์ผ๋ก ์ฆ์๋๋ ๊ผฌ๋ฆฌ(tail)์ ๋ณํ๋ฅผ ํจ์ฌ ๋๋ ทํ๊ฒ ํ์ธํ ์ ์์ด ์ ์ฉํฉ๋๋ค. ๊ฒฐ๊ณผ๋ ํ ํํ๋ก ์ถ๋ ฅ๋๋ฉฐ, ์ด ํ๋ ๊ทธ๋๋ก ๊ทธ๋ํ๋ฅผ ๊ทธ๋ฆฌ๋ ๋ฐ์ดํฐ๋ก๋ ํ์ฉ๋ฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
์ธ ๊ฐ์ ์ซ์๋ฅผ ์ ๋ ฅํ๋ฉด ๋ฉ๋๋ค. x์ ์์๊ฐ, ๋งค ๋ฐ๋ณต๋ง๋ค ๋ํด์ง๋ ์ฆ๊ฐํญ(step), ๊ทธ๋ฆฌ๊ณ ๋ฐ๋ณต ํ์(์ฆ ๊ณ์ฐํ ์ง์ ์ ๊ฐ์)์ ๋๋ค. ๊ณ์ฐ๊ธฐ๋ \(k = 0, 1, \dots, \text{๋ฐ๋ณต ํ์} - 1\)์ ๋ํด $$x_k = \text{startX} + k \times \text{stepX}$$ ๋ฅผ ๋ง๋ค๊ณ , ๊ฐ ์ง์ ์์ zeta ๊ฐ์ ๊ณ์ฐํฉ๋๋ค. ์๋ฅผ ๋ค์ด startX = -14, step = 0.1, ๋ฐ๋ณต ํ์ 131๋ก ์ค์ ํ๋ฉด x๊ฐ -14๋ถํฐ -1๊น์ง ํ์ด ๋ด๋ ค๊ฐ๋๋ค.
๊ณต์ ํ์ด
\(x > 1\) ์ผ ๋ ์ ํ ํจ์๋ \(1/n^x\) ์ ํฉ์ผ๋ก ์๋ ดํ๋ ๋๋ฆฌํด๋ ๊ธ์์ ๋๋ค. $$\zeta(x) = \sum_{n=1}^{\infty} \frac{1}{n^{x}}$$ ์ด ๊ณ์ฐ๊ธฐ๋ ์ค์ผ๋ฌโ๋งคํด๋ก๋ฆฐ(EulerโMaclaurin) ๊ผฌ๋ฆฌ ๋ณด์ ์ ์ ์ฉํด ์๋ ด์ ๊ฐ์ํ๋ฏ๋ก ์ฝ 20๊ฐ ํญ๋ง์ผ๋ก๋ ์ถฉ๋ถํ ์ ๋ฐํ ๊ฐ์ ์ป์ต๋๋ค. x๊ฐ 1 ์ดํ์ผ ๋๋ ํจ์ ๋ฐฉ์ ์ $$\zeta(x) = 2^{x}\,\pi^{x-1}\,\sin\!\left(\frac{\pi x}{2}\right)\Gamma(1-x)\,\zeta(1-x)$$ ๋ฅผ ์ฌ์ฉํ๋ฉฐ, ์ฌ๊ธฐ์ ๊ฐ๋ง ํจ์๋ ๋์ด์ค(Lanczos) ๊ทผ์ฌ๋ก ๊ณ์ฐํฉ๋๋ค. ํน์ํ ๊ฒฝ์ฐ๋ก, x = 1์ ๋จ์๊ทน(simple pole)์ด๋ผ ๊ฐ์ด ๋ฌดํ๋๋ก ๋ฐ์ฐํ๊ณ , ์์ ์ง์ ์ ์(-2, -4, -6, ...)๋ ์๋ช ํ ์์ (trivial zero)์ ๋๋ค.
๊ณ์ฐ ์์
startX = 2, step = 1, ๋ฐ๋ณต ํ์ = 4๋ก ์ค์ ํ๋ฉด ์ง์ ์ x = 2, 3, 4, 5๊ฐ ๋ฉ๋๋ค. ๊ฒฐ๊ณผ๋ \(\zeta(2) = \pi^2/6 = 1.6449340668\), \(\zeta(3) = 1.2020569032\), \(\zeta(4) = \pi^4/90 = 1.0823232337\), \(\zeta(5) = 1.0369277551\) ์ ๋๋ค. ์ด์ ๋์ํ๋ \(\zeta(x) - 1\) ์ด์ 0.6449340668์์ ์์ํด ์ ์ 0์ ๊ฐ๊น์์ง๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
\(\zeta(0)\)์ ์ผ๋ง์ธ๊ฐ์? ํด์์ ์ฐ์(analytic continuation)์ ๋ฐ๋ฅด๋ฉด \(\zeta(0) = -1/2\) ์ด๋ฉฐ, ๋ฐ๋ผ์ \(\zeta(0) - 1 = -3/2\) ์ ๋๋ค.
\(\zeta(-1)\)์ ์ผ๋ง์ธ๊ฐ์? \(\zeta(-1) = -1/12\) ๋ก, 1 + 2 + 3 + ... ์ ์ ๊ทํ๋ ๊ฐ์ผ๋ก ์ ๋ช ํ ๊ทธ ์์ ๋๋ค.
์ ๊ทธ๋ํ๊ฐ -2, -4, -6์์ ์ ํํ 0์ผ๋ก ๋จ์ด์ง๋์? ์ด ์ง์ ๋ค์ ์ ํ ํจ์์ ์๋ช ํ ์์ ์ด๋ฉฐ, ํจ์ ๋ฐฉ์ ์ ์์ \(\sin(\pi x/2)\)๊ฐ 0์ด ๋๊ธฐ ๋๋ฌธ์ ๋๋ค.