[논문 리뷰] Small prime solutions to cubic Diophantine equations

Desmond W. Leung|ArXiv.org|2006. 10. 24.

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

한 줄 요약

이 논문은 하디-리틀우드 원주법을 사용하여 $\sum_{j=1}^9 a_j p_j^3 = n$ 형태의 삼차 딜로파티언 방정식에 대한 소수 해의 범위를 규명한다. 계수들이 모두 같은 부호가 아닐 경우, $p_j \ll n^{1/3} + \max\{|a_j|\}^{20+\epsilon}$ 를 만족하는 해가 존재하며, 모든 계수가 양수이면서 $n$ 이 충분히 크다면 ($n \gg \max\{|a_j|\}^{61+\epsilon}$), 소수 해가 존재함을 증명한다.

ABSTRACT

Let a1,..., a9 be non-zero integers and n any integer. Suppose that a1 + ... + a9 = n (mod 2) and (ai, aj) = 1 for 1 <= i < j <= 9. We will prove that (i) if not all of the aj's are of the same sign, then the cubic diagonal equation a1p1^3 + ... + a9p9^3 = n has prime solutions satisfying pj << n^{1/3} + max{|aj|}^{20+ e}; and (ii) if all aj are positive and n >> max{|aj|}^{61+e}, then the cubic diagonal equation a1p1^3 + ... + a9p9^3 = n is soluble in primes pj. This result is motivated from the analogous result for quadratic diagonal equations by S.K.K. Choi and J. Liu. To prove the results we will use the Hardy-Littlewood Circle method, which we will outline. Lastly, we will make a note on some possible generalizations to this particular problem.

연구 동기 및 목표

• 소수 해가 작은 삼차 형식으로 워링-골드바흐 문제를 확장하기 위해.
• 삼차 방정식 $\sum_{j=1}^9 a_j p_j^3 = n$ 이 소수에서 해를 갖는 조건을 규명하기 위해.
• 해의 크기 $p_j$ 에 대한 효과적인 상한을 $n$ 과 계수 $a_j$ 에 따라 유도하기 위해.
• 계수의 부호가 모두 동일하지 않은 경우와 모두 양수인 경우에 하디-리틀우드 원주법을 삼차 형식에 적용하기 위해.

제안 방법

• 삼차 형식의 특이 급수와 특이 적분을 분석하기 위해 하디-리틀우드 원주법을 적용하기 위해.
• 주 극대를 다루기 위해 특성 합 추정과 점근 공식 구축을 사용하기 위해.
• 소수 극 기여를 지수 합 추정과 부분 합계를 이용해 추정하기 위해.
• 소수 극 분석에서 오차 항을 제어하기 위해 대규모 筛법과 헬더 부등식을 사용하기 위해.
• 오차 항을 추정하기 위해 소수 정리와 반-망골트 함수의 추정치를 활용하여 해의 수를 추정하기 위해.
• 특히 계수들이 모두 양수가 아닐 경우, 주항과 오차항의 크기 비교를 통해 상한을 도출하기 위해.

실험 결과

연구 질문

• RQ1 계수 $a_j$ 가 모두 같은 부호가 아닐 경우, 삼차 딜로파티언 방정식 $\sum_{j=1}^9 a_j p_j^3 = n$ 이 소수 해를 갖는 조건은 무엇인가?
• RQ2 부호가 혼합된 계수에 대해, $n$ 과 $\max\{|a_j|\}$ 에 따라 소수 해 $p_j$ 의 최적 상한은 무엇인가?
• RQ3 모든 계수가 양수일 경우, 삼차 형식 $\sum_{j=1}^9 a_j p_j^3 = n$ 에 소수 해가 존재하기 위해 필요한 $n$ 의 최소 크기는 얼마인가?
• RQ4 특히 소수 극 분석을 통해 원주법이 이 삼차 형식의 점근 공식에서 오차 항을 어떻게 제어하는가?
• RQ5 유사한 워링 유형 문제에서와 같이, 이 방법을 변수 수를 줄이거나 거의 소수 해를 允許하는 데로 확장할 수 있는가?

주요 결과

• 계수 $a_j$ 가 모두 같은 부호가 아닐 경우, 방정식 $\sum_{j=1}^9 a_j p_j^3 = n$ 은 $p_j \ll n^{1/3} + \max\{|a_j|\}^{20+\epsilon}$ 를 만족하는 소수 해를 갖는다.
• 모든 $a_j$ 가 양수이면서 $n \gg \max\{|a_j|\}^{61+\epsilon}$ 이면, 방정식은 소수에서 해를 갖는다.
• 해의 수에 대한 점근 공식의 주항은 특이 급수와 특이 적분을 통해 유도되며, 오차항은 소수 극 추정을 통해 유계화된다.
• 소수 극 기여는 $O\left(\frac{L^c N^{5/3 + 19/60}}{|a_1\cdots a_8|^{5/24} |a_9|^{19/60}}\right)$ 로 나타나며, $n \gg \max\{|a_j|\}^{61+\epsilon}$ 일 경우 주항보다 작다.
• 증명은 원주법에 기반하며, 소수 정리와 지수 합 추정치에서 유도된 결과(특히 쿠무체프 [19]의 제9변수에 대한 결과)를 포함한다.
• 분석 결과, $n$ 이 계수들에 비해 충분히 크면 오차항의 크기가 주항에 지배당하며, 이는 해의 존재를 보장한다.