리만 제타 함수란?
리만 제타 함수는 정수론과 해석학에서 가장 중요한 대상 중 하나입니다. 실수 인수 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\)은 의미 있는 작은 나머지 값을 그대로 보여주기 때문입니다.
