오버파티션 함수의 이동 차분에 대한 정밀 비대칭과 와왕‑시‑장 문제 해결

초록

본 논문은 오버파티션 함수 (\overline{p}(n))에 대해 임의의 정수 이동 (j)와 차분 차수 (r)에 대한 (Δ_j^r\overline{p}(n))의 정확한 비대칭 전개식을 제시한다. Zuckerman‑Rademacher 공식과 Engel‑Lehmer 오차 추정치를 활용해 (\overline{p}(n+k))의 전개를 얻고, 이를 통해 차분 연산의 주항과 유효 오차 한계를 명시한다. 결과적으로 Wang–Xie–Zhang이 제시한 “Δ_r (\overline{p}(n))의 하한” 문제에 대한 해답을 제공한다.

상세 분석

논문은 먼저 오버파티션 함수 (\overline{p}(n))에 대한 Zuckerman의 Rademacher‑형 전개식(식 1.1)을 인용하고, Engel이 제시한 오차 항 (R_2(n,N))을 정밀히 다룬다. 이를 기반으로 Lemma 2.2에서는 (\overline{p}(n+k)=\frac{e^{\pi\sqrt{n+k}}}{8(n+k)}\bigl(1-\frac{1}{\pi\sqrt{n+k}}\bigr)+O\bigl((\mu(n+k)-m)!\bigr)) 형태의 근사식을 얻으며, 여기서 (\mu(n)=\pi\sqrt{n})이다.

다음 단계에서는 (\frac{e^{\mu(n+k)}}{8(n+k)}\bigl(1-\frac{1}{\mu(n+k)}\bigr))를 (\frac{e^{\pi\sqrt{n}}}{8n}\sum_{t\ge0}A_k(t)n^{-t/2}) 형태로 전개한다. Lemma 2.3에서 제시된 계수 (A_k(t))는 이항계수와 (\pi k)의 거듭제곱을 포함한 복합식이며, 특히 (A_k(r,r)=(\pi k^2)^r)라는 간단한 형태를 갖는다.

오차 항의 정밀 제어는 두 가지 주요 결과로 나뉜다. Lemma 3.1은 꼬리합 (\sum_{t\ge N+1}A_k(t)n^{-t/2})을 (\displaystyle O!\bigl(E_1(N,k)n^{-(N+1)/2}\bigr)) 로, Lemma 3.2는 지수 부분 (\frac{e^{\pi\sqrt{n+k}}}{e^{\pi\sqrt{n}}})의 차이를 (\displaystyle O!\bigl(bE_2(N)n^{-(N+1)/2}\bigr)) 로 제한한다. 여기서 (E_1,,E_2,,bE_2)는 (\sinh(\pi\sqrt{|k|})), (\cosh(\pi\sqrt{|k|})) 등을 포함하는 명시적 상수이며, (N)을 충분히 크게 잡으면 오차가 급격히 감소한다.

이 두 오차 추정을 결합하면 Theorem 1.3이 증명된다. 즉, 임의의 정수 (k\neq0)와 충분히 큰 (n)에 대해
\