베를링 소수에 대한 새로운 위너‑이케하라 정리와 체비셰프 경계

초록

저자들은 위너‑이케하라 정리의 변형을 제시하여, 라플라스 변환의 경계값이 제한된 구간에서만 약한 조건을 만족하면 비감소 함수 S(x)에 대해 0 < lim inf S(x)/eˣ ≤ lim sup S(x)/eˣ < ∞ 를 얻는다. 이를 이용해 베를링 일반 소수 체계에 대한 체비셰프 상·하한을 보장하는 새로운 충분조건을 도출한다.

상세 분석

논문은 전통적인 위너‑이케하라 정리에서 요구되는 “전역적인 가짜함수(pseudofunction) 경계조건”을 완화한다는 점에서 혁신적이다. 저자들은 S가 강하게 로그선형 완만 감소(strongly log‑linearly slowly decreasing)라는 Tauberian 가정을 유지하면서, 라플라스 변환 L{S;s}가 실수부 > 1에서 수렴하고, G(s)=L{S;s}−a/(s−1)의 경계값을 구간 1+iI 위에서 분포적 의미로 정의할 수 있으면 충분하다고 보인다. 특히 G의 경계값을 g₁·g₂+g₃ 형태로 분해할 수 있으면, 여기서 g₁∈A_loc, g₁(0)=0, g₂∈PM_loc, g₃∈PF_loc이면 S(x)는 eˣ와 동등한 상·하한을 갖는다. 이 증명은 Wiener의 지역 나눗셈 정리와 분포적 푸리에 변환을 활용해, g₁·g₂ 항이 평균적으로 소멸함을 보이며, g₃는 PF_loc 특성으로 o(1) 기여만 남긴다. 결과적으로 S(x)≥c eˣ와 S(x)≤C eˣ가 동시에 성립한다.

응용 부분에서는 베를링 소수 체계의 정수 계수 함수 N(x)와 소수 계수 함수 π(x) 사이의 관계를 다룬다. 저자들은 N(x)의 상세한 전개식(주기적 진동항과 로그 다항식, 그리고 적분가능한 오차항 E(x))을 가정하고, E가 ∫|E(u)|/u² du<∞ 및 ∫_{e}^{x}E(u)log u/u du≪x을 만족하면 π(x)는 x log x와 동등한 상·하한을 갖는다. 이는 기존 문헌에서 요구되던 강한 제곱근 오차나 전체적인 연속성 가정보다 약한 조건이다. 또한, 베를링 제타 함수 ζ(s)의 극점 구조를 이용해, ζ(s)=c(s−1)^ρ+…+F(s) 형태에서 F가 연속적인 경계값을 가지고, 1/F′(1+it)가 지역 의사측정(PM)임을 보이면 Chebyshev 경계가 성립한다는 일반 정리(정리 4.1)를 제시한다. 이 결과는 Diamond‑Zhang과 Vindas의 이전 접근법을 통합·단순화한 것으로, 복잡한 복소해석적 추론 없이도 Tauberian 관점에서 직접적인 증명을 제공한다.

전반적으로 논문은 위너‑이케하라 정리의 적용 범위를 크게 확장하고, 베를링 소수 이론에서 핵심적인 Chebyshev 경계의 새로운 충분조건을 제시함으로써, 향후 일반화된 소수 체계와 관련된 다양한 문제에 활용될 가능성을 열어준다.