[논문 리뷰] Primes and the Lambert W function

Matt Visser|arXiv (Cornell University)|2013. 11. 11.

Sports Dynamics and Biomechanics참고 문헌 9인용 수 6

한 줄 요약

이 논문은 라메르트 W 함수가 소수 분포를 연구하는 데 있어 새로운 해석적 프레임워크를 제공함을 보여주며, 소수 계수 함수 π(x)와 제n소수 pₙ에 대한 날카운 상한과 하한을 제공한다. W(x)의 渐近 전개를 활용하여 소수 정리의 등가 표현을 유도하고, ln ln x와 같은 로그 항이 W-함수 전개에서 자연스럽게 유도됨을 드러낸다.

ABSTRACT

The Lambert W function, implicitly defined by W(x) exp{W(x)}=x, is a "new" special function that has recently been the subject of an extended upsurge in interest and applications. In this note, I point out that the Lambert W function can also be used to gain a new perspective on the distribution of primes.

연구 동기 및 목표

• 라메르트 W 함수를 사용하여 소수 계수 함수 π(x)에 대한 새로운 해석적 하한을 수립하기.
• 소수 정리와 pₙ의 渐近 전개를 라메르트 W 함수의 관점에서 재구성하기.
• W-함수 항등식을 활용하여 기존 추정치를 초월하는 명시적이고 계산 가능한 π(x)와 pₙ의 하한을 제공하기.
• 라메르트 W 함수가 분석적 수론에서 나타나는 로그 항(예: ln ln x)을 어떻게 자연스럽게 포함하는지 보여주기.
• 단일 특수함수 프레임워크를 통해 산재한 소수 이론 결과들을 통합하기.

제안 방법

• 부등식 x > π(x) ln π(x)를 이용해 π(x)에 대한 상한을 유도하고, 이를 라메르트 W 함수를 통해 역으로 변환하여 π(x) < x / W(x) = e^{W(x)}를 도출한다.
• W₀(x) ~ ln x − ln ln x의 渐近 전개를 적용하여 x → ∞일 때 π(x) ~ x / ln x와 π(x) ~ x / W(x)가 등가임을 보인다.
• pₙ < n(ln n + ln ln n)의 부등식을 사용해 π(x)에 대한 하한을 구성하며, 이를 대입과 로그 부등식을 통해 W-함수 부등식으로 변환한다.
• ε > 0에 대해 ln x ≤ x^ε / (ε e)인 항등식을 사용해 ε를 매개변수로 하는 하한의 가족을 도출하며, W(x / (1+ε) (ε e)^{-1/(1+ε)})를 포함하는 표현으로 이어진다.
• W_{-1} 분지(브랜치)를 적용하여 제n소수 pₙ에 대한 하한을 도출하며, n ≥ 4일 때 pₙ < −n W_{-1}(−1/n)의 관계를 사용한다.
• asymptotic 동치 pₙ ~ −n W_{-1}(−1/n)을 유도하고, 이가 세르사로-치폴라 전개의 첫 두 항 n(ln n + ln ln n − 1 + o(1))을 복원함을 보여준다.

실험 결과

연구 질문

• RQ1 라메르트 W 함수를 사용하여 소수 계수 함수 π(x)에 대한 새로운 하한을 도출할 수 있는가?
• RQ2 W(x)의 渐近 행동은 소수 정리와 어떻게 관련이 있는가?
• RQ3 라메르트 W 함수는 기존의 pₙ에 대한 하한과 渐近 전개를 통합하거나 단순화할 수 있는가?
• RQ4 W(x)로 표현할 수 있고 알려진 정의역 범위 내에서 유효한 π(x)와 pₙ에 대한 가장 날카로운 명시적 하한은 무엇인가?
• RQ5 소수 이론에서 나타나는 2차 항(예: ln ln x)은 W-함수 전개에서 어떻게 자연스럽게 유도되는가?

주요 결과

• 모든 x ≥ 0에 대해 소수 계수 함수는 엄격한 상한 π(x) < x / W(x) = e^{W(x)}를 만족한다.
• x → ∞일 때 渐近 동치 π(x) ~ x / W(x)가 성립하며, 이는 고전적 소수 정리 π(x) ~ x / ln x와 등가이다.
• ε > 0를 매개변수로 하는 π(x)에 대한 일련의 하한이 도출되었으며, W(x / (1+ε) (ε e)^{-1/(1+ε)})를 포함하는 명시적 형태로 표현된다.
• ε = e^{-1}일 때, x ≥ 5에 대해 π(x) > exp(W(x / (1+e^{-1}))) − 1이 성립하며, ε = e^{-3}일 땐 모든 x ≥ 0에 대해 이 하한이 유효하다.
• n ≥ 4일 때 제n소수는 상한 pₙ < −n W_{-1}(−1/n)을 만족하며, n → ∞일 때 asymptotic 동치 pₙ ~ −n W_{-1}(−1/n)이 성립한다.
• asymptotic 전개 pₙ ~ −n W_{-1}(−e/n)는 세르사로-치폴라 전개의 첫 세 항 n(ln n + ln ln n − 1 + o(1))을 복원한다.