🔢 mathematics

On general divisor functions over Piatetski-Shapiro sequences

この論文は、 $f(n) \ll n^{\varepsilon}$ を満たす特定の形式の一般約数関数およびその等差数列における和を、ピャテツキー・シャピロ数列上で考察し、従来の約数問題の結果を拡張するものである。

原著者： Wei Zhang

公開日 2026-04-21

📖 1 分で読めます🧠 じっくり読む

原著者： Wei Zhang

原論文は CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) のもとパブリックドメインに提供されています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

1. 舞台設定：「ピャテツキー・シャピロの階段」

まず、この研究の舞台となるのは**「ピャテツキー・シャピロ数列（Piatetski-Shapiro sequences）」**というものです。

普通の数列： 1, 2, 3, 4, 5... と 1 つずつ増える階段。
この数列： 「 $n$ $n$ を $c$ $c$ 乗して、小数点以下を切り捨てた数」で並べた階段。
- 例： $c=1.2$ なら、 $1^{1.2}=1$ , $2^{1.2}\approx 2.3$ （切り捨てて 2）, $3^{1.2}\approx 3.7$ （切り捨てて 3）...
- 最初は 1, 2, 3... と同じですが、段々と間隔が広がったり縮んだりする「少し歪んだ階段」です。

過去の研究者たちは、「この歪んだ階段の上にも、無限に素数が存在する」ということを証明しました。しかし、その「歪み具合（ $c$ の値）」があまり大きすぎると、素数がどこにあるか予測できなくなってしまうのです。

2. この論文のゴール：「約数の数」を数え上げる

今回の著者（張偉さん）は、素数だけでなく、**「約数（数を割り切れる数）」**に注目しました。

約数とは？ 例えば 12 の約数は 1, 2, 3, 4, 6, 12 の 6 つです。
研究の目的： この「歪んだ階段」の上にある数字について、「その数字が何個の約数を持っているか」を合計して、全体としてどうなるかを予測する公式を作りたい、というものです。

これまでは、特定の「素数」や「単純な約数の数」についてはある程度わかっていたのですが、**「もっと複雑な約数のパターン」**については、この歪んだ階段の上では計算が非常に難しかったのです。

3. 著者の工夫：「魔法のルーペ」と「バランスの取れた秤」

著者は、この難しい問題を解くために、2 つの重要なアイデアを使っています。

① 「複雑なパズル」を「簡単なパーツ」に分解する

この論文で扱おうとしている関数（ $f(n)$ ）は、とても複雑な形をしています。
著者はこれを、**「約数の数（ $\tau$ ）」と「もう一つの小さな関数（ $g$ ）」**という 2 つのパーツに分解しました。

アナロジー： 巨大で複雑な時計を分解して、「歯車（約数）」と「小さなネジ（ $g$ ）」に分けるようなものです。
条件： この「小さなネジ（ $g$ ）」が、あまり重すぎない（大きくなりすぎない）という条件を満たせば、全体を計算できることがわかりました。

② 「歪んだ階段」を「滑らかな坂」に置き換える

「切り捨て」が入っているため、階段はガタガタしています。これを直接計算するのは大変です。
著者は、**「指数和（Exponential Sums）」**という数学の強力な道具（ルーペのようなもの）を使って、ガタガタした階段を、滑らかな坂道（積分）で近似しました。

アナロジー： 波打つ海岸の形を、遠くから見れば滑らかな線に見えるのと同じです。この「滑らかな線」なら、面積（合計値）を計算するのが簡単になります。

4. 発見された「新しい公式」

この方法を使うことで、著者は驚くべき結果を得ました。

これまでの限界： 以前は、階段の歪み具合（ $c$ ）が「1.2 倍」くらいまでしか計算できませんでした。
今回の突破： この新しい方法なら、**「1.2 倍（正確には 6/5 = 1.2）」**という範囲まで、どんな複雑な約数のパターンでも計算できる公式を導き出しました。

これは、**「歪んだ階段の上でも、約数の総数は『滑らかな坂』の公式でほぼ正確に予測できる」**ことを意味します。

5. さらに応用：「等差数列」の中での探検

さらに、この研究は**「等差数列（3, 6, 9, 12... のように一定の間隔で並んだ数）」**の中での話にも拡張されました。

例：「3 の倍数の位置にある歪んだ階段の数字」について、約数を数える。
結果： これも同様に、複雑な関数であっても、ある条件を満たせば計算できることが示されました。これは、素数分布の研究（セルバーグやフーリーという偉大な数学者たちの成果）を、この「歪んだ階段」の世界に持ち込んだようなものです。

まとめ：なぜこれがすごいのか？

この論文は、**「数学の難しいパズル（複雑な約数）」を、「歪んだ世界（ピャテツキー・シャピロ数列）」の中で解くための「新しい道具（分解と近似のテクニック）」**を作りました。

日常への例え：
以前は、不規則な形をした箱（歪んだ数列）の中に、何個のボール（約数）が入っているか数えるのは、箱を全部開けて一つずつ数えるしかなかった（非常に時間がかかる）。
しかし、著者は**「箱の形を少し変形させて、計算しやすい直方体に置き換える魔法」**を見つけました。これにより、箱を開けずに、ほぼ正確な数を瞬時に推測できるようになったのです。

この成果は、将来、素数や暗号に関連するより複雑な数学の問題を解くための、新しい土台（足場）となるでしょう。

論文要約：Piatetski-Shapiro 数列上の一般約数関数

著者: Wei Zhang (河南大学)
概要:
本論文は、Piatetski-Shapiro 数列 $[n^c]$ （ $c > 1$ ）上の一般化された約数関数の和の評価に関する研究である。従来の研究が特定の約数関数（ $\tau_k(n)$ など）や特定の $c$ の範囲に限定されていたのに対し、本論文はより広範な「一般約数関数」 $f(n)$ に対して、 $c \in (1, 6/5)$ という広い範囲で漸近公式を導出することに成功している。さらに、算術級数（mod $d$ ）における分布についても同様の結果を一般化している。

1. 研究の背景と問題設定

Piatetski-Shapiro 数列

Piatetski-Shapiro 数列は、 $[n^c]$ （ $n$ の $c$ 乗の整数部分）で定義される数列である。Piatetski-Shapiro は $c \in (1, 12/11)$ のとき、この数列に無限に多くの素数が含まれることを示した。その後、 $c$ の許容範囲は Rivat や Sargos によって拡張され、現在では $c \in (1, 2817/2425)$ まで拡張されている。

約数関数上の研究

Piatetski-Shapiro 数列上の約数関数 $\tau_k(n)$ （ $n$ を $k$ 個の自然数の積で表す方法の数）の和 $\sum_{n \le x} \tau_k([n^c])$ については、Arkhipov, Soliba, Chubarikov などが $c \in (1, 8/7)$ や $c \in (1, 149/129)$ の範囲で漸近公式を導出してきた。特に $k=2$ （通常の約数関数 $\tau(n)$ ）の場合、Jutila の深い結果を用いることで $c \in (1, 6/5)$ まで拡張された（Zhang [32]）。

本研究の課題

既存の研究では、特定の関数に対しては $c \in (1, 6/5)$ の範囲が達成されているが、一般の約数関数（ $\tau(n)$ と他の関数 $g(n)$ のディリクレ積の形をした関数）に対して、Jutila の結果に依存せずに、あるいは 3 次元指数和のみを用いて $c \in (1, 6/5)$ の範囲を達成することは困難であった。本論文は、この「一般約数関数」に対する結果を $c \in (1, 6/5)$ の範囲で確立することを目的としている。

2. 主要な結果

定理 1.1（一般約数関数の漸近公式）

関数 $f(n)$ が以下の条件を満たすとする：

$f(n) \ll n^\varepsilon$
$f(n) = \sum_{n_1 n_2 = n} \tau(n_1) g(n_2)$
$\sum_{n \le x} |g(n)| \ll x^{5/8 + \varepsilon}$

このとき、任意の十分大きな $x$ と固定された $c \in (1, 6/5)$ に対して、 $\gamma = 1/c$ とすると、
$\sum_{1 \le n \le x} f([n^c]) = \int_1^{x^c} \gamma u^{\gamma-1} d\left( \sum_{n \le u} f(n) \right) + O(x^{1-\varepsilon})$
が成り立つ。

この結果は、 $f(n)$ が特定の形式（ $\tau(n_1)$ と $g(n_2)$ の積和）であれば、その平均値が Piatetski-Shapiro 数列上でも通常の和の積分近似で記述できることを示している。

応用例（コローラリー）

この定理は以下の具体的なケースを含む：

コローラリー 1.2: 有限アーベル群の直接因子の数の平均に関連する関数 $\tau_{(1,1,2,2)}(n)$ に対する結果。
コローラリー 1.3: $k$ -free 約数関数 $\tau^{(k)}(n)$ に対する結果。
コローラリー 1.4: 通常の約数関数 $\tau(n)$ に対する結果。これは Arkhipov-Chubarikov の結果を改善し、Jutila の結果を用いた Zhang [32] の結果と一致するが、異なるアプローチ（3 次元指数和）で導出された。

定理 1.5（算術級数における一般化）

さらに、Piatetski-Shapiro 数列を算術級数 $[n^c] \equiv a \pmod d$ に制限した場合の結果も得られている。
Hecke-Maass 尖点形式のフーリエ係数 $\lambda_\nu(n) \ll n^\alpha$ に関連する定数 $\alpha$ を用いると、 $g(n)$ の条件を $\sum |g(n)| \ll x^{\frac{5+4\alpha}{8+4\alpha}+\varepsilon}$ に緩和し、 $c \in (1, \frac{8+4\alpha}{7+4\alpha})$ の範囲で同様の漸近公式が成立する。
特に $\alpha = 7/64$ （ $\tau(n)$ の場合）とすると、 $c \in (1, 135/119)$ の範囲で、Selberg と Hooley の算術級数における結果の Piatetski-Shapiro 版が得られる（コローラリー 1.6）。

3. 手法と証明の概略

指数和への帰着

$[n^c] = m$ となる $n$ の個数を数える際、 $n = [-m\gamma] - [-(m+1)\gamma]$ （ $\gamma=1/c$ ）と変形し、小数部関数 $\psi(t) = t - [t] - 1/2$ を用いて式を展開する。これにより、主項（積分部分）と誤差項（指数和の部分）に分離される。

指数和の評価

誤差項の評価が核心である。

Vaughan の恒等式と指数和の分解: $\psi(t)$ を指数和 $\psi^*(t)$ と誤差 $\delta(t)$ に分解し、誤差項を制御する。
3 次元指数和の評価: 主要な誤差項は、 $\sum f(m) e(h m^\gamma)$ の形に帰着される。 $f(n)$ の構造（ $\tau(n_1)g(n_2)$ ）を利用し、和を $n_1, n_2, n_3$ に関する 3 重和に分解する。
Lemma 2.3 の適用: 3 次元指数和の評価には、参考文献 [28] の定理 3（Lemma 2.3）を用いる。これにより、 $S(M_1, M_2, M_3)$ に対する上界が得られる。
条件の調整: 得られた上界が $O(x^{1-\varepsilon})$ となるためには、 $c$ の範囲と $g(n)$ の成長条件（ $\sum |g(n)| \ll x^{5/8+\varepsilon}$ ）が整合する必要がある。この計算により $c < 6/5$ という範囲が導かれる。

算術級数の場合

定理 1.5 の証明では、算術級数の条件 $m \equiv a \pmod d$ を扱うために、指数和に $e(mt/d)$ の項が追加される。

Jutila の結果の活用: 算術級数における $\tau(n)\tau(n+q)$ の和の評価（Lemma 2.7）と、Hecke-Maass 形式の係数に関する Lemma 2.8 を組み合わせる。
Cauchy の不等式と積分評価: 指数和の 2 乗和を評価する際、 $E(u, q)$ （誤差項）の積分評価を用いることで、 $c$ の許容範囲を $\alpha$ に依存した形で拡張する。

4. 貢献と意義

一般化の達成: 特定の $\tau_k(n)$ だけでなく、 $\tau(n_1)g(n_2)$ の形の広範な関数に対して、Piatetski-Shapiro 数列上の平均値評価を可能にした。
範囲の拡張と統一: 既存の結果（Arkhipov-Chubarikov など）を $c \in (1, 6/5)$ の範囲で統一し、Jutila の深い結果に依存しない、より直接的な指数和の評価手法（3 次元指数和）によってこれを達成した。
算術級数への拡張: Piatetski-Shapiro 数列上の素数分布や約数関数の研究において、算術級数（mod $d$ ）への拡張は重要な課題である。本論文は、Hecke-Maass 形式の係数を含む一般関数に対して、算術級数における漸近公式を初めて一般的に与えた。
手法の革新: 従来の 3 次元指数和の手法を、より複雑な関数構造や算術級数の条件に適用可能にするための技術的改良を行い、数論的解析の手法を拡張した。

結論

本論文は、Piatetski-Shapiro 数列上の数論的関数の研究において、関数の一般性と $c$ の許容範囲の両面において重要な進展をもたらした。特に、 $c \in (1, 6/5)$ という広い範囲で、一般約数関数およびその算術級数版に対する精密な漸近公式を確立した点は、今後の研究における基礎的な結果として意義深い。