[논문 리뷰] Applications of some exponential sums on prime powers: a survey

Alessandro Languasco|arXiv (Cornell University)|2016. 06. 02.

Analytic Number Theory Research참고 문헌 23인용 수 6

한 줄 요약

이 논문은 오래된 삼각함수 합 $S_{\ell}(\alpha)$ 대신 라플라스 가중 지수합 $\widetilde{S}_{\ell}(\alpha) = \sum_{n=1}^{\infty} \Lambda(n) e^{-n^{\ell}/N} e(n^{\ell}\alpha)$를 사용하여 하디-리틀우드 원주법을 정교화한 응용을 제시한다. 이는 소수와 소수거듭제곱을 포함하는 덧셈 문제에 대한 渐近 공식에서 더 날카로운 오차 항을 도출한다. 주요 기여는 골드바흐 유형 문제와 워링-골드바흐 문제의 맥락에서 리만 가설 하에서나 무조건적으로도 오차 추정치를 향상시키는 데 있다. 특히 $\mathcal{O}_k(N)$이 $\mathcal{O}_k(N^{1/2})$보다 더 낫다는 점에서 뚜렷하다.

ABSTRACT

A survey paper on some recent results on additive problems with prime powers.

연구 동기 및 목표

• 원주법의 생성함수를 재정의함으로써 소수와 소수거듭제곱을 포함하는 덧셈 문제에 대한 渐近 공식의 오차 추정치를 향상시키는 것.
• 단위 간격 및 평균 문제의 맥락에서 고전적 $S_{\ell}(\alpha)$에 비해 라플라스 가중 합 $\widetilde{S}_{\ell}(\alpha)$의 우월성을 정당화하는 것.
• 이전 연구들(Languasco-Zaccagnini, 2018, 2020)에서 오류로 기록된 오차 항을 수정하기 위해 리만 제타 함수의 비자명한 영점과 베셀 함수를 포함하는 적분 표현의 수렴성을 철저히 분석하는 것.
• 골드바흐 문제와 하디-리틀우드 문제에 대해 리만 제타 함수의 비자명한 영점, 감마 함수, 베셀 함수를 포함하는 渐近 공식을 수립하는 것.
• Cesàro 평균화(parameter $k>1$)가 골드바흐 문제 맥락에서 특히 더 날카로운 오차 항을 도출할 수 있음을 보여주는 것.

제안 방법

• 원주법에 있어서 고전적 삼각함수 합 대신 라플라스 변환된 지수합 $\widetilde{S}_{\ell}(\alpha) = \sum_{n=1}^{\infty} \Lambda(n) e^{-n^{\ell}/N} e(n^{\ell}\alpha)$를 생성함수로 사용하는 것.
• 원래 하디-리틀우드 원주법의 프레임워크를 적용하여 리만 제타 함수의 비자명한 영점 $\rho = 1/2 + i\gamma$를 포함하는 渐近 공식을 유도하는 것.
• 카운팅 함수의 스무딩을 위해 Cesàro(Riesz) 가중치 $\frac{(1 - n/N)^k}{\Gamma(k+1)}$를 도입하여 오차 항의 제어를 향상시키는 것.
• 감마 함수와 베셀 함수 $J_\nu(u)$를 포함하는 적분 표현을 사용하여 渐近 전개의 보조 항을 표현하는 것.
• 베셀 함수의 Sonine 적분 표현을 적용하여 제타 영점 기여로 발생하는 진동적 적분을 추정하는 것.
• 치환 $u = \ell^2 / (N y^2)$와 $\Gamma(\rho)$, $\sum_{\rho} \Gamma(\rho) z^{-\rho}$에 대한 경계를 통해 복소 적분을 엄밀하게 추정하여 오차 항을 제어하는 것.

실험 결과

연구 질문

• RQ1 왜 단위 간격 덧셈 문제에서 라플라스 가중 합 $\widetilde{S}_{\ell}(\alpha)$를 사용할 경우 고전적 $S_{\ell}(\alpha)$보다 더 날카로운 오차 항을 얻을 수 있는가?
• RQ2 매개수 $k>1$를 가진 가중 골드바흐 문제에 대한 渐近 공식의 정확한 오차 항은 무엇인가?
• RQ3 리만 제타 함수의 비자명한 영점 기여가 소수나 소수거듭제곱의 합으로서 정수의 표현 수의 渐近 행동에 어떻게 영향을 미치는가?
• RQ4 Cesàro 평균화를 사용하면 표준 방법으로 달성 가능한 것보다 골드바흐 문제의 오차 항을 향상시킬 수 있는가?
• RQ5 이전 결과(Languasco-Zaccagnini, 2018, 2020)에서 적분 표현의 오차 항 추정치 오류로 인해 필요한 수정 사항은 무엇인가?

주요 결과

• 골드바흐 문제의 경우 리만 가설 하에서 합 $\sum_{n=1}^N R_G(n)$는 오차 항 $\mathcal{O}(N \log^3 N)$을 가진 渐近 공식을 가지며, 이는 Bhowmik & Schlage-Puchta의 $\mathcal{O}(N \log^5 N)$보다 향상된 것이다.
• Cesàro 가중 골드바흐 합 $\sum_{n \leq N} R_G(n) \frac{(1 - n/N)^k}{\Gamma(k+1)}$는 $\Gamma(\rho)$, $\Gamma(\rho_1 + \rho_2 + k + 1)$, 제타 영점을 포함하는 渐近 전개를 가지며, $k > 1$일 때 오차 항이 $\mathcal{O}_k(N)$이다.
• Languasco-Zaccagnini(2020)의 정리 2.2에서 수정된 오차 항은 $\mathcal{O}_k(N)$이며, 원래 기재된 바와 같이 $\mathcal{O}_k(N^{1/2})$가 아니다.
• 하디-리틀우드 문제(소수 + 제곱수)의 경우, 가중 합 $\sum_{n \leq N} R_{\text{HL}}(n) \frac{(1 - n/N)^k}{\Gamma(k+1)}$는 $\Gamma(\rho)$, 베셀 함수 $J_{k+3/2}(2\pi\ell N^{1/2})$, 제타 영점을 포함하는 渐近 공식을 가지며, 오차 항은 $\mathcal{O}_k(N^{1/2})$이다.
• Languasco-Zaccagnini(2018)의 정리 2.3에서 수정된 오차 항은 $\mathcal{O}_k(N^{1/2})$이며, 원래 기재된 바와 같이 $\mathcal{O}_k(1)$가 아니다. 이 수정은 $E(y,a)$와 $|e^{Nz}|$를 포함하는 적분의 보다 정교한 분석에서 유래한다.
• 적분 $\int_{(1/N)} |E(y,1/N)| |e^{Nz}| |z|^{-k-1} |dz|$의 수렴성이 $\ll_k N^{k+1}$임을 보여, 주요 渐近 공식에서의 개선된 오차 항을 정당화한다.