효과적인 산술함수 평균값과 비교정리

초록

본 논문은 양의 멀티플리케이티브 함수 r과 복소값 멀티플리케이티브 함수 f( |f|≤r )에 대해, 소수에 대한 평균적 차이가 작을 때 f와 r의 정수 평균값을 효과적으로 비교하는 정리를 제시한다. Wirsing·Halász 정리의 효과적 버전을 얻고, 복소수 지수 τ 에 대한 꼬임을 포함한 일반화, 가중 적분 모멘트와 체인된 평균값에 대한 적용을 다룬다.

상세 분석

논문은 먼저 기존의 Wirsing·Halász 비교정리에서 “효과적”이라는 새로운 차원을 도입한다. 여기서 효과적이라 함은 ε, δ와 같은 오류 파라미터에 대해 명시적인 상수와 의존 관계를 제공한다는 뜻이다. 함수 r은 클래스 M(A,B)에 속하도록 가정하고, 이는 소수에 대한 성장 조건 maxₚ|f(p)|≤A와 ∑ₚ,ν>2|f(p^ν)| log p^ν / p^ν≤B 을 의미한다. 주요 가정은 (1.3)–(1.5) 형태로, 소수 p≤x에 대해 r(p)−Re{f(p)/p^{iτ}} 가 ε·log (1/ε) 정도 이하라는 평균적 제약이다. 이러한 가정 하에 Theorem 1.1은 평균값 M(x;f) 를 M(x;r) 에 대한 명시적 비율식으로 전개하고, 오류항을 ε δ·Z(x;f) 형태로 제시한다. 여기서 Z(x;f)=∑_{p≤x}f(p)/p이며, δ 은 w_f δ₁ (δ₁∈(0,2/3 β b]) 으로 정의된다.

Theorem 1.2는 r이 두 함수의 곱 r₁∗r₂ 형태일 때, 그리고 τ=0이 아닌 일반 복소 꼬임을 허용할 때의 비교정리를 제공한다. 특히 (2.3)식은 M(x;f)=x^{iτ} M(x;r)·(1+iτ)^{-1}·∏_{p^ν≤x} (f(p^ν)/p^{ν})/(r(p^ν)/p^{ν}) + O(ε δ M(x;r)) 와 같이 τ에 대한 정확한 위상 변화를 포함한다. 이는 기존 Wirsing 정리에서 τ가 0일 때만 얻어지던 결과를 일반화한 것으로, 복소수 지수 꼬임을 포함한 평균값 추정에 새로운 도구를 제공한다.

다음으로 논문은 가중 적분 모멘트에 대한 적용을 다룬다. 비음수 멀티플리케이티브 r과 실수 가법함수 h에 대해, 가중 분포 F_x(z;h,r) 를 정의하고, 평균 E_h(x;r)와 분산 D_h(x;r) 를 이용해 정규근사 Φ(z)와의 차이를 O(θ_x) 으로 제시한다(정리 3.1). 여기서 θ_x =μ_x+1/D_h(x;r) 이며, μ_x 은 max_{p≤x}|h(p)|/D_h(x;r) 이다. 이를 바탕으로 가중 모멘트 G_m(x;r,h) 에 대해 정상분포의 m번째 적분 모멘트 ν_m 과의 차이를 O(θ_x (log 1/θ_x)^{m/2}) 형태로 정량화한다(정리 3.2). 이는 기존의 비효과적 결과를 명시적 오류항과 함께 제공한다.

마지막으로 체인된 평균값에 대한 섹션에서는, 소수와의 공통인수를 배제한 함수 f_D(n)=1_{(n,D)=1}f(n) 에 대해, r이 지수적 멀티플리케이티브이며 ∑{p}r(p) ≤ A, ∑{p≤v} (r(p)-b)/p ≤ c₁ 등의 조건을 만족하면, M(x;r_D)=M(x;r)(1+W_r(D))+O((log 2 D)^{1+A}(log x)^{-c}) (정리 4.2)와 같은 효과적 체인 결과를 얻는다. 이와 비교해 논문은 Theorem 1.2를 이용해 β와 δ를 명시적으로 계산함으로써, 기존 결과보다 더 강력한 상수와 오류율을 제공한다.

전체적으로 논문은 “효과적”이라는 관점을 통해, 평균값 비교정리, 복소 꼬임, 가중 모멘트, 체인된 평균값 등 여러 전통적인 산술함수 이론을 정량적 오류 제어와 함께 재구성한다. 이는 실제 계산이나 수치 실험에 바로 적용 가능한 형태의 정리를 제공함으로써, 이론적 산술함수 연구와 응용 사이의 격차를 크게 좁힌다.