[论文解读] 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|Jul 16, 2003

Analytic Number Theory Research参考文献 8被引用 6

一句话总结

本文建立了关于满足 $W \leq x$ 的丢番图方程 $U^2 + V^2 = W^3$ 的整数解平均数量的渐近公式，表明其增长形式为 $Ax\log x + Bx + O(x^{1/2}("log x)^3("logackepsilonackepsilon x)^2)$，使用解析数论技术，涉及戴德金 zeta 函数和狄利克雷级数。该结果可推广至相关算术函数，并在生成狄利克雷级数的一般条件下实现最优误差项。

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.

研究动机与目标

• 建立 $U^2 + V^2 = W^3$ 在 $W \leq x$ 条件下整数解数量的精确渐近估计，改进先前对误差项边界的估计。
• 将分析推广至算术函数 $a(n)$，其狄利克雷级数具有特定结构，涉及戴德金 zeta 函数和有界全纯因子。
• 通过利用 zeta 函数的零自由区域和增长性质，实现渐近公式中可能的最优误差项。
• 在统一框架下，整合并扩展先前关于平方和与除数函数的研究成果，特别是与 $\sum r(n)^2$ 和 $\sum r(n^3)$ 相关的结果。

提出的方法

• 推导算术函数 $a(n)$ 的狄利克雷级数 $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$ 为二次域的戴德金 zeta 函数，$G(s)$ 在 $\Re(s) \geq \theta < 1/2$ 上全纯且有界。
• 应用佩龙公式，将求和函数 $\sum_{n \leq x} a(n)$ 表示为含 $F(s) x^s / s$ 的围线积分，并通过计算 $s=1$ 处的留数提取主项 $Ax\log x + Bx$。
• 利用 $\zeta_K(s)$ 的零自由区域估计以及对 $|\zeta_K(1+it)^{-1}|$ 的界，控制临界带上的积分，依赖测度论引理处理小测度的例外集。
• 通过分析 $F(s)$ 在竖直条带上的增长并利用已知的 $L$-函数界，证明误差项为 $O(x^{1/2}(\log x)^3(\log\log x)^{m_1 + m_2})$。
• 通过将 $G(s)$ 表示为欧拉乘积，证明其在 $\Re(s) > 1/3$ 上绝对收敛，从而确保 $G(s)$ 在包含 $\Re(s) > 1/3$ 的半平面上全纯且有界，验证其所需的解析性质。
• 将一般结果应用于特定情形 $a(n) = r(n^3)$，其中 $r(n)$ 表示 $n$ 表示为两个平方和的方式数，从而推导出 $U^2 + V^2 = W^3$ 的渐近公式。

实验结果

研究问题

• RQ1 在 $W \leq x$ 条件下，$U^2 + V^2 = W^3$ 的整数解数量的渐近公式中，可能的最优误差项是什么？
• RQ2 狄利克雷级数 $a(n)$ 的结构，特别是涉及戴德金 zeta 函数和有界因子的部分，如何影响 $\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$ 为由 zeta 函数和 $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$ 以及 $G(s)$ 在 $s=1$ 处的对数导数，反映了深刻的算术结构。
• 误差项 $O(x^{1/2}(\log x)^3(\log\log x)^2)$ 在当前对零自由区域和 zeta 函数增长的认知下为最优，且与相关除数问题的已知最优界一致。
• 一般定理适用于一大类算术函数 $a(n)$，其狄利克雷级数形式为 $\zeta_K(s)^2 / (\zeta(2s))^{m_1} \zeta_K(2s)^{m_2} \cdot G(s)$，给出相同渐近形式，误差项依赖于 $m_1 + m_2$。
• 分析确认，在一般 $L$-函数框架中，$J=4$ 的情形最为微妙，因其在分子与分母增长之间达到平衡，使得在不假设黎曼猜想的前提下无法进一步改进误差项。