MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

Riemann Zeta Function ฮถ(x)
1.0083492773819223
value of ฮถ(x) at the given real x
ฮถ(x) 1.0083492773819223
ฮถ(x) - 1 0.0083492773819223

๋ฆฌ๋งŒ ์ œํƒ€ ํ•จ์ˆ˜๋ž€?

๋ฆฌ๋งŒ ์ œํƒ€ ํ•จ์ˆ˜๋Š” ์ •์ˆ˜๋ก ๊ณผ ํ•ด์„ํ•™์—์„œ ๊ฐ€์žฅ ์ค‘์š”ํ•œ ๋Œ€์ƒ ์ค‘ ํ•˜๋‚˜์ž…๋‹ˆ๋‹ค. ์‹ค์ˆ˜ ์ธ์ˆ˜ 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์— ๋Œ€ํ•œ ๋ฆฌ๋งŒ ์ œํƒ€ ํ•จ์ˆ˜์˜ ๊ณก์„ 
์‹ค์ˆ˜ x์— ๋Œ€ํ•œ ฮถ(x)์˜ ๊ทธ๋ž˜ํ”„. ๊ทน์  x = 1์—์„œ ์ˆ˜์ง ์ ๊ทผ์„ ์ด ์žˆ๋‹ค.

๊ณ„์‚ฐ๊ธฐ ์‚ฌ์šฉ๋ฒ•

์‹ค์ˆ˜ 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์ œ๊ณฑ์˜ ์—ญ์ˆ˜์˜ ํ•ฉ์œผ๋กœ ๋‚˜ํƒ€๋‚ธ ฮถ(x).

๊ณ„์‚ฐ ์˜ˆ์‹œ

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\)์€ ์˜๋ฏธ ์žˆ๋Š” ์ž‘์€ ๋‚˜๋จธ์ง€ ๊ฐ’์„ ๊ทธ๋Œ€๋กœ ๋ณด์—ฌ์ฃผ๊ธฐ ๋•Œ๋ฌธ์ž…๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: