[논문 리뷰] On the asymptotic expansion of the sum of the first n primes

Nilotpal Sinha|arXiv (Cornell University)|2010. 11. 07.

Analytic Number Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 Dusart의 이전 결과를 개선하여, 로그 전개의 고차항을 포함함으로써 첫 번째 $ n $개 소수의 합에 대한 보다 정밀한 점근 전개를 유도한다. 이 전개를 바탕으로 저자들은 Mandl의 부등식과 Robin의 추측에 대한 하한에 대한 결과를 직접적으로 도출하며, $ \ln \ln n $의 다항식 보정항과 $ \ln n $의 역수항을 포함한 더 엄밀한 소수 합의 성장 추정치를 확립한다.

ABSTRACT

An asymptotic formula for the sum of the first n primes is derived. This result improves the previous results of P. Dusart. Using this asymptotic expansion, we prove the conjectures of R. Mandl and G. Robin on the upper and the lower bound of the sum of the first n primes respectively.

연구 동기 및 목표

• 기존 결과를 초월하여 첫 번째 $ n $개 소수의 합에 대한 더 정밀한 점근 전개를 도출하는 것.
• 첫 번째 $ n $개 소수의 합에 대한 상한과 하한에 관한 Mandl과 Robin의 오랜 추측을 해결하는 것.
• Dusart의 공식을 개선하여 $ \ln \ln n $의 다항식 보정항과 $ \ln n $의 역수항을 포함한 체계적인 점근 전개를 제공하는 것.
• Mandl의 부등식과 Robin의 추측이 새로운 전개로부터 직접적으로 도출됨을 입증하는 것.
• 유리수 계수를 가진 재귀적으로 정의된 다항식 $ S_m(\ln \ln n) $을 사용하여 점근 급수의 구조를 체계적으로 정의하는 것.

제안 방법

• 제피올라의 $ n $번째 소수에 대한 점근 공식을 활용: $ p_n = n[\ln n + \ln \ln n - 1 + \sum_{r=1}^m \frac{(-1)^r P_r(\ln \ln n)}{\ln^r n} + o(\ln^{-m} n)] $, 여기서 $ P_r $ 는 유리수 계수 다항식이다.
• 합에 대한 적분 근사 적용: $ \sum_{r \leq n} f(r) = \int_1^n f(x)\,dx + O(|f(n)| + |f(1)|) $, 소수 합 함수의 연속적 근사를 사용한다.
• 점근 전개의 각 항을 $ x $의 함수로 간주하고, 부분 적분을 반복 적용하여 적분을 항별로 계산한다.
• 모든 적분 항을 수집하고 조합하며, 오차 항 $ o(n^2 / \ln^m n) $ 보다 빠르게 증가하는 항들만 유지하고, $ \ln \ln n $, $ \ln \ln n / \ln n $, 그리고 고차항 보정항의 계수를 식별한다.
• 최종 전개 유도: $ \sum_{r \leq n} p_r = \frac{n^2}{2} \left[ \ln n + \ln \ln n - \frac{3}{2} + \sum_{r=1}^m \frac{(-1)^{r+1} S_r(\ln \ln n)}{r \ln^r n} + o(\ln^{-m} n) \right] $, 여기서 $ S_r $ 는 유리수 계수 다항식이다.
• 유도된 전개를 사용하여 $ \sum_{r < n} p_r $ 와 $ n p_{[n/2]} $ 를 비교하고, 점근적 비교와 오차 항 분석을 통해 Robin의 추측을 증명한다.

실험 결과

연구 질문

• RQ1 Dusart의 공식을 초월하여 첫 번째 $ n $개 소수의 합에 대한 더 정밀한 점근 전개를 도출할 수 있는가?
• RQ2 새로운 전개가 Mandl의 부등식과 Robin의 추측에 대한 소수 합에 대한 결과를 증명하는 데 기여하는가?
• RQ3 점근 전개 $ \sum_{r \leq n} p_r $ 의 고차항 보정항의 구조는 무엇이며, $ \ln \ln n $ 과 $ \ln n $ 에 어떻게 의존하는가?
• RQ4 Dusart의 공식의 오차 항은 $ \ln \ln n $ 의 다항식 보정항과 $ \ln n $ 의 역수항을 포함함으로써 개선될 수 있는가?
• RQ5 보정 다항식 $ S_m $ 의 주요 계수는 어떻게 행동하는가? 그 차수와 유리수 구조는 무엇인가?

주요 결과

• 논문은 새로운 점근 전개를 도출한다: $ \sum_{r \leq n} p_r = \frac{n^2}{2} \left[ \ln n + \ln \ln n - \frac{3}{2} + \frac{\ln \ln n}{\ln n} - \frac{5}{2\ln n} - \frac{\ln^2 \ln n}{2\ln^2 n} + \frac{7\ln \ln n}{2\ln^2 n} - \frac{29}{4\ln^2 n} + o\left(\frac{1}{\ln^2 n}\right) \right] $, Dusart의 결과를 개선한다.
• 이 전개는 차수 $ m $ 의 유리수 계수 다항식 $ S_m(\ln \ln n) $ 의 열을 포함하며, 주 계수는 $ 1/m $ 이다. 이는 체계적인 고차항 보정 프레임워크를 제공한다.
• Mandl의 부등식 $ \sum_{r \leq n} p_r < \frac{n p_n}{2} $ 는 직접적인 계량으로 확인되며, 새로운 전개에 따르면 차이는 점근적으로 $ \sim \frac{n^2}{14} $ 로 나타나며, Hassani의 경계와 일치한다.
• Robin의 추측 $ \sum_{r < n} p_r > n p_{[n/2]} $ 는 모든 충분히 큰 $ n $ 에 대해 참임을 증명한다. 점근 전개에 따르면 차이에 양의 항 $ \frac{2\ln 2 - 1}{4}n^2 $ 이 포함되어 있음을 보여준다.
• 첫 두 보정 다항식은 명시적으로 계산된다: $ S_1(x) = x - \frac{5}{2} $, $ S_2(x) = x^2 - 7x + \frac{29}{2} $, 이는 전개의 구조와 주 계수를 확인한다.
• 전개의 오차 항은 $ o(n^2 / \ln^m n) $ 이며, 이 방법은 이보다 더 빠르게 증가하는 모든 항을 유지함으로써 점근 급수의 정밀도를 보장한다.