[論文レビュー] 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$ を満たす整数解の平均個数についての漸近公式を確立し、$Ax\log x + Bx + O(x^{1/2}("log x)^3("logackslashlog x)^2)$ のように成長することを示している。この結果は、デデキンドゼータ関数とディリクレ級数を用いた解析的整数論的手法によって得られている。結果は関連する算術的関数へと拡張可能であり、生成ディリクレ級数に関する一般条件の下で鋭い誤差項が得られる。

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$ の整数解の個数について、誤差項をより精密にした正確な漸近的推定を確立すること。
• 生成ディリクレ級数に特定の構造（デデキンドゼータ関数と有界な正則因子を含む）を持つ算術的関数 $a(n)$ について、その分析を一般化すること。
• ゼータ関数の零点自由領域および成長性を活用して、漸近公式における誤差項を可能な限り鋭くすること。
• 特に $\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$ は二次体のデデキンドゼータ関数であり、$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)$ の特定のケースに適用し、$U^2 + V^2 = W^3$ の漸近的性質を導出する。ここで $r(n)$ は $n$ を2つの平方数の和として表す表記の個数を表す。

実験結果

リサーチクエスチョン

• RQ1 $W \leq x$ を満たす $U^2 + V^2 = W^3$ の整数解の個数に関する漸近公式における、最も鋭い誤差項は何か？
• RQ2 特にデデキンドゼータ関数と有界因子を含むディリクレ級数の構造が、$\sum_{n \leq x} a(n)$ の漸近的挙動にどのように影響を与えるか？
• RQ3 現代の零点自由領域推定と解析的手法を用いて、$\sum r(n)^2$ の誤差項を、これまでの境界を上回るように改善できるか？
• RQ4 $r(n)$ が $n$ を2つの平方数の和として表す表記の個数を表すとき、$\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$ の場合が、分子と分母の成長がバランスを保っているため、リーマン予想を仮定しない限り、誤差項のさらなる改善は不可能であることが確認された。