In 2022, Bergelson and Richter established a new dynamical generalization of the prime number theorem. Later, Loyd showed a disjoint form with the ErdÅs-Kac theorem. Recently, the author and his coauthors proved some ergodic theorems over squarefree numbers related to these results. In this paper, building on the previous work, we will derive the analogues of Bergelson-Richter's theorem, ErdÅs-Kac theorem and Loyd's theorem over $k$-full numbers for any integer $k\geq2$.
论文ID : 2406.15698标题 : Some ergodic theorems over k k k -full numbers作者 : Biao Wang分类 : math.NT (Number Theory), math.DS (Dynamical Systems)发表时间 : June 25, 2024 (arXiv预印本)论文链接 : https://arxiv.org/abs/2406.15698 In 2022, Bergelson and Richter established a new dynamical generalization of the prime number theorem. Later, Loyd showed a disjoint form with the Erdős-Kac theorem. Recently, the author and his coauthors proved some ergodic theorems over squarefree numbers related to these results. In this paper, building on the previous work, we will derive the analogues of Bergelson-Richter's theorem, Erdős-Kac theorem and Loyd's theorem over k k k -full numbers for any integer k ≥ 2 k\geq2 k ≥ 2 .
本研究致力于将经典的数论结果与动力系统理论相结合,特别关注k k k -full数上的遍历定理。这是数论中概率方法与动力系统理论交叉的前沿研究领域。
Liouville函数的经典结果 :lim N → ∞ 1 N ∑ n = 1 N λ ( n ) = 0 \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N \lambda(n) = 0 lim N → ∞ N 1 ∑ n = 1 N λ ( n ) = 0 ,其中λ ( n ) = ( − 1 ) Ω ( n ) \lambda(n) = (-1)^{\Omega(n)} λ ( n ) = ( − 1 ) Ω ( n ) 是Liouville函数,这等价于素数定理Bergelson-Richter定理(2022) :建立了素数定理的动力学推广,证明了对任何唯一遍历系统( X , μ , T ) (X,\mu,T) ( X , μ , T ) :
lim N → ∞ 1 N ∑ n = 1 N f ( T Ω ( n ) x ) = ∫ X f d μ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N f(T^{\Omega(n)}x) = \int_X f d\mu lim N → ∞ N 1 ∑ n = 1 N f ( T Ω ( n ) x ) = ∫ X fd μ Erdős-Kac定理(1940) :证明了Ω ( n ) \Omega(n) Ω ( n ) 服从正态分布,即:
lim N → ∞ 1 N ∑ n = 1 N F ( Ω ( n ) − log log N log log N ) = 1 2 π ∫ − ∞ ∞ F ( t ) e − t 2 / 2 d t \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N F\left(\frac{\Omega(n) - \log\log N}{\sqrt{\log\log N}}\right) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt lim N → ∞ N 1 ∑ n = 1 N F ( l o g l o g N Ω ( n ) − l o g l o g N ) = 2 π 1 ∫ − ∞ ∞ F ( t ) e − t 2 /2 d t Loyd定理(2023) :展示了Bergelson-Richter定理与Erdős-Kac定理的不相交性质之前的工作主要针对所有自然数或无平方因子数,本文将这些结果推广到k k k -full数上,这是一个在自然数中密度为0的稀薄集合,具有重要的数论意义。
建立了k k k -不变平均的概念 :引入了k k k -不变平均乘法的概念,为研究k k k -full数上的遍历性质提供了理论工具证明了Bergelson-Richter定理在k k k -full数上的类比 :对于完全唯一遍历系统,建立了轨道在k k k -full数指标下的等分布性建立了k k k -full数上的Erdős-Kac定理 :证明了Ω ( n ) \Omega(n) Ω ( n ) 在k k k -full数上仍服从正态分布,但参数有所调整证明了k k k -full数上的Loyd定理 :展示了动力学遍历性与概率分布的不相交性在k k k -full数上仍然成立给出了圆周旋转的均匀分布结果 :证明了序列{ Ω ( n ) α : n ∈ N } \{\Omega(n)\alpha : n \in \mathbb{N}\} { Ω ( n ) α : n ∈ N } 沿k k k -full数均匀分布模1研究k k k -full数上算术函数的平均行为,其中k k k -full数是指对于每个素因子p p p ,都有p k p^k p k 整除n n n 的自然数。
每个k k k -full数n n n 可以唯一表示为:
n = m k n 1 k + 1 ⋯ n k − 1 2 k − 1 n = m^k n_1^{k+1} \cdots n_{k-1}^{2k-1} n = m k n 1 k + 1 ⋯ n k − 1 2 k − 1
其中n 1 , … , n k − 1 n_1, \ldots, n_{k-1} n 1 , … , n k − 1 是两两互质的无平方因子数。
有界算术函数a : N → C a: \mathbb{N} \to \mathbb{C} a : N → C 称为具有k k k -不变平均乘法性质,如果:
极限lim N → ∞ 1 N ∑ n = 1 N a ( n k ) \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N a(n^k) lim N → ∞ N 1 ∑ n = 1 N a ( n k ) 存在 对所有m ∈ N m \in \mathbb{N} m ∈ N ,有lim N → ∞ 1 N ∑ n = 1 N a ( n k m ) = lim N → ∞ 1 N ∑ n = 1 N a ( n 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) lim N → ∞ N 1 ∑ n = 1 N a ( n k m ) = lim N → ∞ N 1 ∑ n = 1 N a ( n k ) 如果a : N → C a: \mathbb{N} \to \mathbb{C} a : N → C 是具有k k k -不变平均乘法性质的有界算术函数,则:
lim N → ∞ E 1 ≤ n ≤ N , n is k -full a ( n ) = lim N → ∞ E n ≤ N a ( n k ) \lim_{N\to\infty} \mathbb{E}_{1\leq n\leq N, n\text{ is }k\text{-full}} a(n) = \lim_{N\to\infty} \mathbb{E}_{n\leq N} a(n^k) lim N → ∞ E 1 ≤ n ≤ N , n is k -full a ( n ) = lim N → ∞ E n ≤ N a ( n k )
建立了k k k -full数上的平均与标准平均之间的关系:
1 N 1 / k ∑ 1 ≤ n ≤ N n is k -full a ( n ) = ∑ n 1 ≤ D 1 , … , n k − 1 ≤ D k − 1 ( n i , n j ) = 1 , ∀ i < j μ 2 ( n 1 ) ⋯ μ 2 ( n k − 1 ) n 1 1 + 1 / k ⋯ n k − 1 1 + ( k − 1 ) / k E m ≤ M a ( m k n 1 k + 1 ⋯ n k − 1 2 k − 1 ) + 误差项 \frac{1}{N^{1/k}}\sum_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} a(n) = \sum_{\substack{n_1\leq D_1,\ldots,n_{k-1}\leq D_{k-1} \\ (n_i,n_j)=1, \forall i<j}} \frac{\mu^2(n_1)\cdots\mu^2(n_{k-1})}{n_1^{1+1/k}\cdots n_{k-1}^{1+(k-1)/k}} \mathbb{E}_{m\leq M} a(m^k n_1^{k+1}\cdots n_{k-1}^{2k-1}) + \text{误差项} N 1/ k 1 ∑ 1 ≤ n ≤ N n is k -full a ( n ) = ∑ n 1 ≤ D 1 , … , n k − 1 ≤ D k − 1 ( n i , n j ) = 1 , ∀ i < j n 1 1 + 1/ k ⋯ n k − 1 1 + ( k − 1 ) / k μ 2 ( n 1 ) ⋯ μ 2 ( n k − 1 ) E m ≤ M a ( m k n 1 k + 1 ⋯ n k − 1 2 k − 1 ) + 误差项
唯一分解的利用 :巧妙利用k k k -full数的唯一分解形式,将问题转化为多重求和完全唯一遍历性的应用 :利用完全唯一遍历系统的性质,确保所有幂次变换都保持唯一遍历性渐近分析技术 :通过精细的误差估计和极限过程,建立了稀薄集合上的遍历定理本文是纯理论数学论文,不涉及数值实验,主要通过严格的数学证明来验证结果。
构造性证明 :通过显式构造和估计来证明极限的存在性渐近分析 :利用k k k -full数的计数函数Q k ( N ) = c k N 1 / k + O ( N 1 / ( k + 1 ) ) Q_k(N) = c_k N^{1/k} + O(N^{1/(k+1)}) Q k ( N ) = c k N 1/ k + O ( N 1/ ( k + 1 ) ) 遍历理论工具 :应用唯一遍历性和完全唯一遍历性的标准结果对于完全唯一遍历系统( X , μ , T ) (X,\mu,T) ( X , μ , T ) :
lim N → ∞ E 1 ≤ n ≤ N n is k -full f ( T Ω ( n ) x ) = ∫ X f d μ \lim_{N\to\infty} \mathbb{E}_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} f(T^{\Omega(n)}x) = \int_X f d\mu lim N → ∞ E 1 ≤ n ≤ N n is k -full f ( T Ω ( n ) x ) = ∫ X fd μ
lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( Ω ( n ) − k log log N k log log N ) = 1 2 π ∫ − ∞ ∞ F ( t ) e − t 2 / 2 d t \lim_{N\to\infty} \mathbb{E}_{\substack{1\leq n\leq N \\ n\text{ is }k\text{-full}}} F\left(\frac{\Omega(n) - k\log\log N}{k\sqrt{\log\log N}}\right) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} F(t)e^{-t^2/2}dt lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( k l o g l o g N Ω ( n ) − k l o g l o g N ) = 2 π 1 ∫ − ∞ ∞ F ( t ) e − t 2 /2 d t
lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( Ω ( n ) − k log log N k log log N ) f ( T Ω ( n ) x ) = ( 1 2 π ∫ − ∞ ∞ F ( t ) e − t 2 / 2 d t ) ( ∫ X f d μ ) \lim_{N\to\infty} \mathbb{E}_{\substack{1\leq n\leq 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) lim N → ∞ E 1 ≤ n ≤ N n is k -full F ( k l o g l o g N Ω ( n ) − k l o g l o g N ) f ( T Ω ( n ) x ) = ( 2 π 1 ∫ − ∞ ∞ F ( t ) e − t 2 /2 d t ) ( ∫ X fd μ )
对于无理数α \alpha α ,序列{ Ω ( n ) α : n ∈ N } \{\Omega(n)\alpha : n \in \mathbb{N}\} { Ω ( n ) α : n ∈ N } 沿k k k -full数均匀分布模1。
经典数论 :Liouville函数、素数定理、Erdős-Kac定理动力系统数论 :Bergelson-Richter工作、Loyd的不相交性结果稀薄集合上的数论 :无平方因子数、k k k -full数的分布理论遍历理论 :唯一遍历性、完全唯一遍历性、等分布理论相比于之前在所有自然数或无平方因子数上的结果,本文首次系统地研究了k k k -full数这一稀薄集合上的遍历性质,填补了该领域的重要空白。
成功将Bergelson-Richter定理、Erdős-Kac定理和Loyd定理推广到k k k -full数上 建立了k k k -不变平均的理论框架,为研究稀薄集合上的遍历性提供了新工具 证明了即使在密度为0的集合上,经典的概率数论结果仍然成立 数论与动力系统的深度结合 :展示了遍历理论在数论中的强大应用稀薄集合的遍历性质 :为研究其他稀薄集合提供了方法论指导概率数论的推广 :扩展了经典概率数论结果的适用范围研究其他类型稀薄集合上的遍历定理 探索更一般的算术函数的分布性质 应用到解析数论的其他问题中 理论深度 :文章在数论与动力系统交叉领域做出了重要贡献技术创新 :k k k -不变平均概念的引入具有方法论价值结果完整性 :系统地建立了k k k -full数上的遍历理论框架证明严谨 :数学推理严密,技术处理精细唯一分解的巧妙运用 :将复杂的k k k -full数问题转化为可处理的多重求和完全唯一遍历性的关键作用 :确保了所有必要的遍历性质渐近估计的精确性 :误差项的控制体现了深厚的解析数论功底适用范围 :主要限于k k k -full数,对其他稀薄集合的适用性需要进一步研究计算复杂性 :实际计算中涉及的常数和收敛速度可能较为复杂推广性 :向更一般设置的推广可能面临技术困难学术价值 :为数论中的遍历方法提供了新的工具和视角方法论贡献 :k k k -不变平均的概念可能在其他问题中找到应用理论完整性 :完善了稀薄集合上概率数论的理论体系解析数论中涉及k k k -full数分布的问题 动力系统中关于稀薄轨道等分布的研究 概率数论中类似稀薄集合的分析 论文引用了该领域的核心文献,包括:
Bergelson & Richter (2022): 动力学素数定理的奠基工作 Loyd (2023): 不相交性质的重要发现 Erdős & Kac (1940): 概率数论的经典结果 作者之前关于无平方因子数的工作,体现了研究的连续性 这篇论文在数论与动力系统的交叉领域做出了重要贡献,通过引入k k k -不变平均的概念,成功地将多个经典结果推广到k k k -full数上,展现了深厚的数学功底和创新思维。