[논문 리뷰] The average number of solutions of the Diophantine equation U^2 + V^2 = W^3 and related arithmetic functions

Manfred K uhleitner, Werner Georg Nowak|ArXiv.org|2003. 07. 16.

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

한 줄 요약

이 논문은 $W \leq x$ 인 정수 해의 평균 개수에 대한 渐近 공식을 수립하며, $Ax\log x + Bx + O(x^{1/2}("log x)^3("logackepsilonackepsilon x)^2)$ 로 증가함을 보이며, Dedekind 제타 함수와 Dirichlet 급수를 포함하는 해석적 수론 기법을 사용한다. 결과는 관련 산술 함수로 확장되며, 생성 Dirichlet 급수의 일반적 조건 하에서 날카운 오차 항을 제공한다.

ABSTRACT

This paper provides asymptotics with a sharp error term for the Dirichlet summatory function of a certain class of arithmetic functions. The result applies, e.g., to the sums over r^2(n) and r(n^3), where r(m) denotes the number of ways to write m as a sum of two squares of integers.

연구 동기 및 목표

• W \leq x 인 $U^2 + V^2 = W^3$ 의 정수 해의 수에 대한 정밀한 渐近 추정을 수립하여 오차 항의 이전 경계를 개선하는 것.
• Dirichlet 급수의 특정 구조(특히 Dedekind 제타 함수와 유계 해석적 인수 포함)를 갖는 산술 함수 $a(n)$ 에 대한 분석을 일반화하는 것.
• 제타 함수의 영이 없는 영역과 성장 성질을 이용하여 渐近 공식의 오차 항을 가능한 한 날카롭게 만드는 것.
• 특히 $\sum r(n)^2$ 와 $\sum r(n^3)$ 과 관련된 제곱 수의 합과 약수 함수의 이전 결과들을 공통 프레임워크 하에서 통합하고 확장하는 것.

제안 방법

• 산술 함수 $a(n)$ 에 대한 Dirichlet 급수 $F(s) = \sum a(n)/n^s$ 를 유도하며, 이는 $\zeta_K(s)^2 / (\zeta(2s))^{m_1} \zeta_K(2s)^{m_2} \cdot G(s)$ 의 형태를 가진다고 가정한다. 여기서 $\zeta_K$ 는 이차 수체의 Dedekind 제타 함수이고, $G(s)$ 는 $\Re(s) \geq \theta < 1/2$ 에서 해석적이고 유계이다.
• Perron의 공식을 적용하여 합계 함수 $\sum_{n \leq x} a(n)$ 을 $F(s) x^s / s$ 를 포함하는 경로 적분으로 표현하고, $s=1$ 에서의 잔여를 계산하여 주항등항 $Ax\log x + Bx$ 를 추출한다.
• 제타 함수의 영이 없는 영역 추정과 $|\zeta_K(1+it)^{-1}|$ 의 경계를 사용하여 임계 스트립 위의 적분을 제어하며, 예외적인 작은 측도 집합을 다루기 위해 측도 이론적 보조정리를 활용한다.
• 수직 스트립에서 $F(s)$ 의 성장 분석과 $L$-함수에 대한 알려진 경계를 이용하여 오차 항이 $O(x^{1/2}(\log x)^3(\log\log x)^{m_1 + m_2})$ 임을 확립한다.
• Dirichlet 급수 $G(s)$ 가 오일러 곱으로 표현되고 $\Re(s) > 1/3$ 에서 절대 수렴함을 보여, $G(s)$ 가 $\Re(s) > 1/3$ 을 포함하는 반평면에서 해석적이고 유계임을 보장함으로써 필요한 해석적 성질을 검증한다.
• 일반 결과를 특별한 경우인 $a(n) = r(n^3)$ 에 적용하여, $U^2 + V^2 = W^3$ 의 渐近 공식을 도출한다. 여기서 $r(n)$ 은 $n$ 을 두 제곱수의 합으로 나타내는 방법의 수를 세는 함수이다.

실험 결과

연구 질문

• RQ1 W \leq x 인 $U^2 + V^2 = W^3$ 의 정수 해 수에 대한 渐近 공식에서 가능한 가장 날카운 오차 항은 무엇인가?
• RQ2 특히 Dedekind 제타 함수와 유계 인수를 포함하는 $a(n)$ 의 Dirichlet 급수의 구조가 $\sum_{n \leq x} a(n)$ 의 渐近 행동에 어떻게 영향을 미치는가?
• RQ3 최근의 영이 없는 영역 추정과 현대 해석 기법을 이용하여 $\sum r(n)^2$ 의 오차 항을 이전 경계를 초월해 개선할 수 있는가?
• RQ4 $r(n)$ 이 $n$ 을 두 제곱수의 합으로 나타내는 방법의 수를 세는 함수일 때, $\sum_{n \leq x} r(n^3)$ 의 정확한 渐近 성장률은 무엇인가?
• RQ5 일반 $L$-함수 프레임워크에서 $J=4$ 의 경우는 분모와 분자의 성장 간의 균형을 어떻게 이루며, 이것이 오차 항 최적화에 있어 가장 민감한 경우가 되는가?

주요 결과

• W \leq x 인 정수 해 $(u,v,w)$ 의 수는 $4A_2 x \log x + 4B_2 x + O(x^{1/2}(\log x)^3(\log\log x)^2)$ 로 渐近적으로 표현되며, 여기서 $A_2$ 와 $B_2$ 는 제타 함수와 $L$-함수로부터 유도된 상수이다.
• 주항등항 계수 $4A_2 \approx 0.9091$ 는 $9G(1)/(\pi^2 \mathbf{C})$ 로 주어지며, 여기서 $G(1) \approx 0.91317$ 이고 $\mathbf{C} = L(2, \chi_{-4})$ 는 카탈란 상수이다.
• 상수항 계수 $4B_2 \approx 2.1715$ 는 $L$-함수 값, 오일러의 상수 $\gamma$, 그리고 $s=1$ 에서 $G(s)$ 의 로그 도함수 값의 조합을 포함하며, 깊은 산술적 구조를 반영한다.
• 오차 항 $O(x^{1/2}(\log x)^3(\log\log x)^2)$ 는 현재의 영이 없는 영역과 제타 함수 성장에 대한 지식 하에서 최적이며, 관련된 약수 문제의 최고 알려진 경계와 일치한다.
• 일반 정리는 $\zeta_K(s)^2 / (\zeta(2s))^{m_1} \zeta_K(2s)^{m_2} \cdot G(s)$ 의 형태를 갖는 산술 함수 $a(n)$ 의 넓은 클래스에 적용되며, 오차 항은 $m_1 + m_2$ 에 따라 달라진다.
• 분석은 일반 $L$-함수 프레임워크에서 $J=4$ 의 경우가 가장 민감한 이유를 확인하며, 이는 분모와 분자의 성장이 균형을 이루어 Riemann 가설을 가정하지 않고서는 오차 항을 더 개선할 수 없음을 시사한다.