2025-11-17T22:16:13.996767

Some ergodic theorems over squarefree numbers and squarefull numbers

Li, Wang, Wang et al.

In 2022, Bergelson and Richter gave a new dynamical generalization of the prime number theorem by establishing an ergodic theorem along the number of prime factors of integers. They also showed that this generalization holds as well if the integers are restricted to be squarefree. In this paper, we present the concept of invariant averages under multiplications for arithmetic functions. Utilizing the properties of these invariant averages, we derive several ergodic theorems over squarefree numbers and squarefull numbers. These theorems have significant connections to the ErdÅs-Kac Theorem, the Bergelson-Richter Theorem, and the Loyd Theorem.

academic

無平方因子数と満平方数に関するいくつかのエルゴード定理

基本情報

論文ID: 2405.18157
タイトル: Some ergodic theorems over squarefree numbers and squarefull numbers
著者: Huixi Li, Biao Wang, Chunlin Wang, Shaoyun Yi
分類: math.NT（数論）、math.DS（力学系）
発表日時: 2025年10月13日
論文リンク: https://arxiv.org/abs/2405.18157

要旨

2022年、BergelsonとRichterは整数の素因子個数に沿ったエルゴード定理を確立することにより、素数定理の新しい力学系的一般化を与えた。彼らはまた、整数が無平方因子数に限定される場合、この一般化が同様に成立することを証明した。本論文は乗法下で不変な平均を持つ算術関数の概念を提案している。これらの不変平均の性質を利用して、著者らは無平方因子数と満平方数に関するいくつかのエルゴード定理を導出した。これらの定理はErdős-Kac定理、Bergelson-Richter定理、およびLoyd定理と重要な関連性を持つ。

研究背景と動機

問題背景

素数定理の力学系的一般化: Bergelsonと Richterは2022年に素数定理の力学系的一般化をエルゴード定理の形式で確立した。任意の唯一エルゴード的位相力学系 $(X,\mu,T)$ に対して、 $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N f(T^{\Omega(n)}x) = \int_X f d\mu$
無平方因子数上の制限: さらに、数列が無平方因子数に限定される場合、類似の結果が依然として成立することを証明した： $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}}} f(T^{\Omega(n)}x) = \frac{6}{\pi^2}\int_X f d\mu$

研究動機

理論の完成: Bergelson-Richterの業績は素数定理の力学系的形式を創造的に確立したが、特殊な数集合（無平方因子数、満平方数など）上のエルゴード定理に関する体系的研究が不足していた。
方法の統一: 既存の様々なエルゴード定理（Loyd定理、Wangらの一般化など）は統一的な理論的枠組みを欠いており、このような問題を扱うためのより一般的な方法が必要であった。
数論への応用: 無平方因子数と満平方数は数論において重要な地位を占めており、それらの分布特性は素数定理、Riemann zeta関数などの中心的概念と密接に関連している。

核心的貢献

不変平均概念の導入: 乗法下で不変な平均を持つ算術関数の概念を提案し、特殊な数集合上のエルゴード定理研究のための統一的枠組みを提供した。
主要定理の確立: 無平方因子数に関する主定理（定理1.1）とk-満数に関する主定理（定理1.4）を証明した。
古典的結果の一般化: Erdős-Kac定理、Bergelson-Richter定理、Loyd定理などを無平方因子数と満平方数に一般化した。
応用の提供: Richter素数定理の一般化を特殊な数集合上で類似させた結果（定理1.7）を与えた。

方法の詳細解説

核心概念の定義

不変平均の定義: 有界な算術関数 $a: \mathbb{N} \to \mathbb{C}$ に対して、平均値 $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n)$ が存在し、すべての $m \in \mathbb{N}$ に対して $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(mn) = \lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n)$ を満たすとき、 $a$ は乗法下で不変な平均を持つという。

k次幂不変平均: 同様に、k次幂不変平均を $\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n^k m) = \lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N a(n^k)$ と定義する。

主要な技術的ツール

1. 無平方因子数の処理（命題3.2）

Möbius関数の性質を利用して、有界関数 $a$ と $1 \leq D \leq \sqrt{N}$ に対して： $\frac{1}{N}\sum_{n=1}^N \mu^2(n)w_S(n)a(n) = \sum_{d=1}^D \frac{\mu(d)w_S(d)}{d^2} \mathbb{E}_{n\in[N/d^2]} w_S(n)a(d^2n) + O\left(\frac{1}{D}\right) + O\left(\frac{1}{\sqrt{N}}\right)$

ここで $w_S(n)$ は集合 $S$ に属する素数で割り切れない指示関数である。

2. k-満数の処理（命題5.1）

k-満数の一意な表現 $n = m^k n_1^{k+1}\cdots n_{k-1}^{2k-1}$ （ここで $n_i$ は互いに素で無平方因子）を利用して、類似の分解公式を得る。

証明戦略

分解公式の確立: Möbius反転とk-満数の構造分解を通じて、特殊な数集合上の和を標準的な和に変換する。
不変性の応用: 不変平均の性質を利用して、極限の存在性と数値を証明する。
誤差推定: 注意深い誤差分析を通じて、各項の余項を制御し、極限を取る際に消失させる。

主要な結果

定理1.1（無平方因子数上のエルゴード定理）

$a: \mathbb{N} \to \mathbb{C}$ を平均値 $A$ を持つ有界な算術関数とする。 $S$ を有限素数集合とする。 $a(n)$ の平均が乗法下で不変であれば、 $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}\\p\nmid n, \forall p\in S}} a(n) = \frac{\alpha(S)}{\zeta(2)}A$

ここで $\alpha(S) = \prod_{p\in S} \frac{p}{p+1}$ である。特に $S = \emptyset$ のとき： $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}}} a(n) = \frac{6}{\pi^2}A$

定理1.4（k-満数上のエルゴード定理）

$k \geq 2$ とする。 $a: \mathbb{N} \to \mathbb{C}$ がk次幂不変平均を持つ有界な算術関数であれば、 $\lim_{N\to\infty} \mathbb{E}_{n\in[N], n \text{ is } k\text{-full}} a(n) = \lim_{N\to\infty} \mathbb{E}_{n\in[N]} a(n^k)$

応用例

1. Erdős-Kac定理の一般化

無平方因子数に対して： $\lim_{N\to\infty} \frac{1}{N}\sum_{\substack{1\leq n\leq N\\n \text{ squarefree}}} F\left(\frac{\Omega(\phi^k(n)) - a_k(\log\log N)^{k+1}}{b_k(\log\log N)^{k+1/2}}\right)f(T^{\Omega(n)}x) = \frac{6}{\pi^2}\left(\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt\right)\left(\int_X f d\mu\right)$

2. 満平方数上の結果

満平方数に対して、 $(X,\mu,T)$ が完全に唯一エルゴード的システムのとき： $\lim_{N\to\infty} \mathbb{E}_{\substack{n\in[N]\\n \text{ is } k\text{-full}}} F\left(\frac{\Omega(n) - k\log\log N}{k\sqrt{\log\log N}}\right)f(T^{\Omega(n)}x) = \left(\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt\right)\left(\int_X f d\mu\right)$