이 계산기의 기능
리만 제타 함수 그래프 계산기는 실수 인수에 대한 리만 제타 함수 \(\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이 되기 때문입니다.
