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

Some ergodic theorems over squarefree numbers and squarefull numbers

基本信息

论文ID: 2405.18157
标题: Some ergodic theorems over squarefree numbers and squarefull numbers
作者: Huixi Li, Biao Wang, Chunlin Wang, Shaoyun Yi
分类: math.NT (Number Theory), math.DS (Dynamical Systems)
发表时间: 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)$ 存在且满足 $\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)$ 对所有 $m \in \mathbb{N}$ 成立。

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)$