On general divisor functions over Piatetski-Shapiro sequences

논문 개요

제목: Piatetski-Shapiro 수열에 대한 일반 약수 함수
저자: Wei Zhang (Henan University)
주제: Piatetski-Shapiro 수열 $[n^c]$ ($1 < c < 6/5$) 상에서 정의된 일반화된 약수 함수들의 평균값 점근 공식을 유도하고, 이를 산술 급수 (arithmetic progressions) 로 확장하는 연구.

---

1. 연구 배경 및 문제 제기 (Problem)

• Piatetski-Shapiro 수열: $c > 1$인 실수에 대해 $[n^c]$ 형태의 수열을 연구하는 분야입니다. Piatetski-Shapiro 는 $c \in (1, 12/11)$일 때 이 수열에 무한히 많은 소수가 존재함을 증명했습니다. 이후 Rivat, Sargos 등에 의해 소수 존재 범위가 $c \in (1, 2817/2425)$까지 확장되었습니다.
• 약수 함수 (Divisor Functions): $n$을 $k$개의 자연수의 곱으로 나타내는 방법의 수를 나타내는 함수 $\tau_k(n)$에 대한 연구는 오랫동안 진행되어 왔습니다. Arkhipov, Soliba, Chubarikov 등은 $c \in (1, 8/7)$ (후에 $149/129$로 개선) 범위에서 $\tau_k([n^c])$의 평균값 공식을 증명했습니다.
• 기존 연구의 한계:
  • 기존 연구들은 주로 3 차 지수 합 (three-dimensional exponential sums) 을 사용하여 $c$의 범위를 제한했습니다.
  • Jutila 의 심오한 결과 (binary additive divisor problem) 를 사용하여 $k=2$ ($\tau(n)$) 인 경우 $c \in (1, 6/5)$까지 범위를 확장한 연구 (Zhang [32]) 가 있었으나, 이는 일반적인 약수 함수 $f(n)$으로 확장하기 어렵다는 문제가 있었습니다.
• 본 논문의 목표: Jutila 의 결과에 의존하지 않고, 3 차 지수 합을 적절히 활용하여 일반적인 약수 함수 $f(n)$에 대해 $c \in (1, 6/5)$ 범위에서 유효한 점근 공식을 제시하는 것입니다.

---

2. 주요 방법론 (Methodology)

논문의 핵심은 지수 합 (Exponential Sums) 추정과 부분 합 (Partial Summation) 기법의 결합에 있습니다.

1. 함수 정의 및 조건:

   • 연구 대상 함수 $f(n)$은 다음과 같은 형태를 가집니다:
     $$f(n) = \sum_{n_1 n_2 = n} \tau(n_1) g(n_2)$$
     여기서 $\tau(n)$은 약수 함수이며, $g(n)$은 $\sum_{n \le x} |g(n)| \ll x^{5/8+\varepsilon}$ 조건을 만족하는 함수입니다.
   • 이 형태는 $\tau(n)$, $\tau_{(1,1,2,2)}(n)$ (유한 아벨 군의 직접 인자 개수), $k$-free 약수 함수 $\tau^{(k)}(n)$ 등을 포괄합니다.

2. 지수 합 변환:

   • $[n^c] = m$인 조건을 $-(m+1)\gamma < -n \le -m\gamma$ ($\gamma = 1/c$) 로 변환하여 합을 재구성합니다.
   • 주항 (main term) 은 부분 합을 통해 적분 형태로 유도하고, 오차항은 $\psi(t) = t - [t] - 1/2$ 함수를 이용한 지수 합으로 변환합니다.

3. 지수 합 추정 (Key Estimates):

   • Lemma 2.1 (Vaaler's approximation): $\psi(t)$ 함수를 지수 합으로 근사화합니다.
   • Lemma 2.3 (Exponential sum bound): 3 차 지수 합 $S(M_1, M_2, M_3)$에 대한 상한을 제공합니다. 이는 $f(n)$의 구조를 $\tau(n_1)g(n_2)$로 분해하여 적용합니다.
   • Lemma 2.7 & 2.8 (Binary additive divisor problem):
     • $D(x, q) = \sum \tau(n)\tau(n+q)$의 점근적 성질 (Jutila 의 결과) 을 사용합니다.
     • 산술 급수 버전에서는 Hecke-Maass cusp forms 의 푸리에 계수 $\lambda_\nu(n)$의 성질 ($\lambda_\nu(n) \ll n^\alpha$) 을 활용하여 오차항을 제어합니다.

4. 범위 최적화:

   • 지수 합 추정식을 통해 $c$의 허용 범위를 $c \in (1, 6/5)$로 설정합니다. 이는 기존 3 차 지수 합만 사용한 방법보다 더 넓은 범위를 제공합니다.

---

3. 주요 결과 (Key Results)

Theorem 1.1 (일반 약수 함수의 평균값)

$f(n)$이 위에서 정의된 조건을 만족하고 $c \in (1, 6/5)$일 때, 충분히 큰 $x$에 대해 다음이 성립합니다:
$$\sum_{1 \le n \le x} f([n^c]) = \int_1^{x^c} \gamma u^{\gamma-1} d\left( \sum_{1 \le n \le u} f(n) \right) + O(x^{1-\varepsilon})$$
이는 $f(n)$의 일반적인 합을 Piatetski-Shapiro 수열 상의 합으로 변환하는 공식을 제공합니다.

Corollary 1.2 (특수 함수 적용: $\tau_{(1,1,2,2)}$)

유한 아벨 군의 직접 인자 개수 함수 $\tau_{(1,1,2,2)}(n)$에 대해 점근 공식을 유도했습니다.
$$\sum_{1 \le n \le x} \tau_{(1,1,2,2)}([n^c]) = cB_1 x \log x + (B_1 + B_2 - cB_1)x + O(x^{1-\varepsilon})$$

Corollary 1.3 ($k$-free 약수 함수)

$k$-free 약수 함수 $\tau^{(k)}(n)$에 대해 Riemann zeta 함수 $\zeta(s)$와 오일러 상수 $\gamma_0$를 포함한 점근 공식을 제시했습니다.

Corollary 1.4 (기존 결과 개선: $\tau(n)$)

Arkhipov-Chubarikov 의 결과를 개선하여, Jutila 의 심오한 결과에 의존하지 않고 3 차 지수 합만으로 $c \in (1, 6/5)$ 범위에서 다음을 증명했습니다:
$$\sum_{1 \le n \le x} \tau([n^c]) = cx \log x + (2\gamma_0 - c)x + O(x^{1-\varepsilon})$$

Theorem 1.5 (산술 급수 확장)

산술 급수 $[n^c] \equiv a \pmod d$ 상에서의 합을 다룹니다. Hecke-Maass cusp forms 의 푸리에 계수 $\lambda_\nu(n) \ll n^\alpha$를 가정할 때, $c \in (1, \frac{8+4\alpha}{7+4\alpha})$ 범위에서 유사한 점근 공식을 유도했습니다.

Corollary 1.6 (Selberg-Hooley 결과의 유사체)

$\alpha = 7/64$ (Hecke-Maass cusp forms 에 대한 현재 최선) 를 대입하면 $c \in (1, 135/119)$ 범위에서 Selberg 와 Hooley 가 산술 급수에서 증명한 $\tau(n)$ 분포 결과의 Piatetski-Shapiro 수열 버전을 얻습니다.

---

4. 의의 및 기여 (Significance)

1. 범위의 확장: 3 차 지수 합을 사용하여 $c \in (1, 6/5)$ 범위를 달성함으로써, 기존에 Jutila 의 깊은 결과에 의존해야 했던 $k=2$ 경우를 넘어 일반적인 약수 함수에 대해 동일한 범위를 확보했습니다.
2. 일반화 (Generalization): 특정 약수 함수 ($\tau_k$) 에 국한되지 않고, $\tau(n_1)g(n_2)$ 형태의 넓은 클래스의 함수를 포괄하는 일반적인 정리 (Theorem 1.1) 를 제시했습니다. 이는 다양한 산술 함수 (예: $k$-free 약수 함수, 군론적 함수 등) 에 대한 연구의 기초를 제공합니다.
3. 산술 급수 확장: Piatetski-Shapiro 수열을 산술 급수 조건 하에서 연구하여, 소수 분포 이론뿐만 아니라 약수 함수의 분포 이론에서도 중요한 진전을 이루었습니다. 특히 Hecke-Maass cusp forms 의 성질을 활용하여 오차항을 정밀하게 제어했습니다.
4. 방법론적 기여: Jutila 의 복잡한 결과 없이도 3 차 지수 합과 적절한 가중치 함수 ($g(n)$) 의 조건을 통해 강력한 점근 공식을 유도할 수 있음을 보였습니다.

결론

이 논문은 Piatetski-Shapiro 수열 상의 약수 함수 연구에서 중요한 진전을 이루었습니다. 저자는 3 차 지수 합 기법을 정교하게 활용하여 $c \in (1, 6/5)$ 범위에서 일반 약수 함수의 평균값 점근 공식을 증명하고, 이를 산술 급수로 확장함으로써 해당 분야의 이론적 기반을 더욱 공고히 했습니다.