🔢 mathematics

Analytical continuation of prime zeta function for $\Re(s)>\frac{1}{2}$ assuming (RH)

이 논문은 리만 가설을 가정하고 적절한 분지 절단을 고려하여 소수 제타 함수를 $\Re(s)>\frac{1}{2}$ 영역으로 해석적 연속하는 간단한 공식을 유도하고, 이를 수치적으로 검증하여 그래프로 제시합니다.

원저자: Artur Kawalec

게시일 2026-03-27

📖 3 분 읽기🧠 심층 분석

원저자: Artur Kawalec

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

🌟 핵심 주제: "소수들의 노래를 더 멀리까지 들을 수 있게 했다"

이 논문은 **소수 제타 함수 (Prime Zeta Function)**라는 수학적 도구의 한계를 넘어서는 새로운 방법을 제시합니다.

1. 소수 제타 함수란 무엇인가? (소수들의 합성곡)

우리가 소수 (2, 3, 5, 7, 11...) 를 나열한다고 상상해 보세요. 이 논문은 이 소수들을 이용해 다음과 같은 식을 만듭니다.
$P(s) = \frac{1}{2^s} + \frac{1}{3^s} + \frac{1}{5^s} + \dots$
이 식은 $s$ 라는 숫자가 충분히 크면 (실수부 1 보다 클 때) 잘 작동합니다. 마치 멀리서 들리는 소리의 파도처럼, 거리가 멀어질수록 소리가 자연스럽게 사라지기 때문입니다.

하지만 문제는 $s$ 가 1 보다 작아지면 이 식이 무너져버린다는 점입니다. 마치 소리가 너무 가까워져서 귀가 터질 듯이 혼란스러워지는 상태입니다. 기존에는 이 혼란스러운 영역 (1 보다 작지만 0 보다 큰 곳) 까지만 식을 확장할 수 있었습니다.

2. 이 논문이 한 일: "새로운 안경을 끼다"

저자 (아투르 카발렉) 는 **리만 가설 (RH)**이라는 유명한 가설이 참이라고 가정하고, 이 혼란스러운 영역을 더 깊숙이 (실수부 1/2 까지) 확장하는 새로운 공식을 찾아냈습니다.

기존 방법의 한계: 소수들을 하나하나 더하는 방식은 $s$ 가 1/2 근처에 오면 소리가 너무 찢어져서 들리지 않습니다.
새로운 방법 (이 논문의 핵심): 저자는 소수들을 더하는 대신, **'지수 적분 함수 (Exponential Integral)'**라는 특별한 도구를 사용했습니다.
- 비유: 소수들을 하나하나 세는 것은 계단식으로 오르는 것과 같습니다. 계단 (소수) 이 너무 빽빽하면 넘어지기 쉽습니다. 하지만 저자는 계단 대신 **부드러운 경사로 (새로운 공식)**를 만들었습니다. 이 경사로를 타면 계단 (소수) 이 어디에 있든 상관없이, 훨씬 더 낮은 곳 (1/2 근처) 까지 안전하게 내려갈 수 있습니다.

3. 중요한 조건: "리만 가설과 가지 절단"

이 새로운 공식이 작동하려면 두 가지 조건이 필요합니다.

리만 가설 (RH) 이 참이어야 한다:
- 비유: 우리가 새로운 경사로를 설계할 때, 그 아래에 숨겨진 **지하 철도망 (소수들의 분포)**이 완벽하게 정렬되어 있다고 믿어야 합니다. 리만 가설이 참이라는 것은 "그 철도망이 완벽하게 정렬되어 있다"는 뜻입니다. 이 가정이 있어야만 새로운 공식이 제 기능을 합니다.
가지 절단 (Branch Cut) 주의:
- 비유: 새로운 경사로를 만들다 보니, 길 중간에 보이지 않는 절벽이 생겼습니다. 이 절벽은 1/2 에서 1 사이 구간입니다. 이 절벽을 무시하고 넘어가면 계산이 엉망이 됩니다. 그래서 저자는 이 절벽을 피하는 특별한 규칙 (가지 절단) 을 적용했습니다.

4. 검증: "컴퓨터로 확인한 완벽한 일치"

이론만으로는 믿기 어렵습니다. 저자는 컴퓨터 (Pari/GP 라는 프로그램) 를 이용해 두 가지 방법을 비교했습니다.

방법 A: 기존에 알려진 방식 (소수들을 더하는 방식).
방법 B: 이 논문이 새로 만든 방식 (지수 적분 함수를 쓰는 방식).

결과를 보니, 두 그래프가 거의 완벽하게 겹쳤습니다. 마치 두 개의 다른 지도로 같은 길을 찾았는데, 두 지도가 정확히 같은 길을 가리키는 것과 같습니다. 특히 $s$ 가 0.75 일 때, 실수부와 허수부 모두에서 두 결과가 일치하는 것을 확인했습니다.

💡 한 줄 요약

이 논문은 **"리만 가설이 참이라는 가정하에, 소수들의 분포를 나타내는 복잡한 수식을 기존보다 훨씬 더 깊은 곳 (1/2 까지) 으로 확장할 수 있는 새로운, 그리고 간단한 공식을 찾아냈으며, 컴퓨터로 그 정확함을 증명했다"**는 내용입니다.

이는 마치 소수라는 우주의 지도를, 기존에는 볼 수 없었던 어두운 영역까지 비추는 새로운 랜턴을 만들어낸 것과 같습니다.

논문 요약: 리만 가설 하의 소수 제타 함수 해석적 연속

1. 문제 제기 (Problem)

소수 제타 함수 (Prime Zeta Function) $P(s) = \sum_{p} p^{-s}$ 는 $\Re(s) > 1$ 인 영역에서 절대 수렴합니다.

기존 한계: 뫼비우스 역변환 공식 (Möbius inversion formula) 을 이용하면 $P(s)$ 를 $\Re(s) > 0$ 영역으로 확장할 수 있으나, $\Re(s) = 0$ 선에서는 특이점 (singularities) 이 밀집하여 더 이상 확장할 수 없는 자연 경계 (natural boundary) 가 존재합니다.
목표: 리만 가설 (Riemann Hypothesis, RH) 을 가정할 때, $P(s)$ 를 $\Re(s) > 0$ 가 아닌 $\Re(s) > 1/2$ 영역으로 더 깊이 확장할 수 있는 간단한 표현식을 유도하고, 이를 수치적으로 검증하는 것입니다.

2. 방법론 (Methodology)

저자는 Stieltjes 적분 (Stieltjes integration) 기법을 사용하여 소수 계수 함수 (prime counting function, $\pi(x)$ ) 와 로그 적분 함수 (logarithmic integral, $\text{li}(x)$ ) 사이의 오차 항을 분석합니다.

핵심 도구:
- 소수 계수 함수: $\pi(x) = \text{li}(x) + f(x)$ 로 표현되며, 리만 가설 하에서 오차 항 $f(x)$ 는 $O(\sqrt{x} \log x)$ 로 추정됩니다.
- 지수 적분 함수 (Exponential Integral): $E_1(z) = \int_z^\infty \frac{e^{-t}}{t} dt$ 를 도입하여 적분 항을 변환합니다.
유도 과정:
1. $P(s)$ 를 유한 합 $\sum_{p \le x} p^{-s}$ 와 적분 항 $\int_x^\infty t^{-s} d\pi(t)$ 로 분해합니다.
2. $\pi(t)$ 를 $\text{li}(t) + f(t)$ 로 대입하여 적분을 분리합니다.
3. 주 적분 항 $\int_x^\infty t^{-s} d\text{li}(t)$ 를 변수 치환 ( $u = \log t$ ) 을 통해 $E_1[(s-1)\log x]$ 형태로 변환합니다.
4. 오차 항 $f(t)$ 에 대한 적분과 경계 항 (boundary term) 을 분석하여, $\Re(s) > 1/2$ 일 때 이 항들이 0 으로 수렴하거나 무시할 수 있음을 보입니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

주요 정리 (Theorem 1):
리만 가설을 가정할 때, 소수 제타 함수 $P(s)$ 는 다음과 같은 극한 식으로 표현되며, 이는 $\Re(s) > 1/2$ 영역에서 해석적입니다.
$P(s) = \lim_{x \to \infty} \left( \sum_{p \le x} \frac{1}{p^s} + E_1[(s-1)\log x] \right)$
- 여기서 $E_1$ 은 지수 적분 함수이며, $\log$ 함수의 특성상 $(1/2, 1]$ 구간에서 가지 절단 (branch cut) 이 존재합니다.
수치적 검증:
- Pari/GP 를 사용하여 위 공식 (식 3) 과 기존 뫼비우스 역변환 공식 (식 2) 을 비교하는 스크립트를 작성했습니다.
- 실수 축 ( $s \in [0.5001, 2]$ ): 두 공식이 거의 완벽하게 일치함을 확인했으나, $s=0.5$ 에 가까워질수록 수렴 속도가 느려지는 경향을 관찰했습니다.
- 복소수 축 ( $\sigma = 0.75, t \in [0.1, 50]$ ): 실수부와 허수부 모두에서 두 공식이 완벽하게 일치함을 확인하여, 제안된 공식이 $\Re(s) > 1/2$ 영역에서 유효함을 입증했습니다.

4. 의의 (Significance)

영역 확장: 기존의 자연 경계 ( $\Re(s)=0$ ) 이전인 $\Re(s)=0$ 과 $\Re(s)=1/2$ 사이의 영역에서 소수 제타 함수를 계산할 수 있는 새로운 수학적 도구를 제공합니다. 이는 리만 가설이 참일 때 소수 분포의 성질을 더 깊은 영역에서 연구할 수 있음을 의미합니다.
계산 효율성: 복잡한 무한 급수나 뫼비우스 함수를 직접 계산하는 대신, 지수 적분 함수 $E_1$ 과 유한 합을 결합한 간단한 공식을 제시하여 수치 계산의 안정성을 높였습니다.
이론적 통찰: Stieltjes 적분과 오차 항 분석을 통해 소수 계수 함수의 오차 항이 소수 제타 함수의 해석적 성질에 어떻게 영향을 미치는지 명확히 보여주었습니다.

결론

이 논문은 리만 가설을 전제로 하여, 소수 제타 함수를 $\Re(s) > 1/2$ 영역으로 성공적으로 해석적으로 연속시켰습니다. 유도된 공식은 수치적으로 검증되었으며, 소수 분포 연구와 제타 함수의 성질 분석에 있어 새로운 계산적, 이론적 기반을 마련했다는 점에서 의의가 큽니다.