[论文解读] Trigonometric approximation and a general form of the Erd\H{o}s Tur\'{a}n inequality

Leonardo Colzani, Giacomo Gigante+1 more|arXiv (Cornell University)|Jan 6, 2010

Mathematical Approximation and Integration参考文献 10被引用 3

一句话总结

本文建立了一个通用框架，用于使用指数型整函数对可测集的特征函数进行三角逼近，从而在环面及紧致黎曼流形上导出精确的Erdös-Turán型不等距误差界。关键贡献在于提出一个与几何无关的通用函数ψ(t)，其控制逼近误差关于到边界距离的依赖关系，实现最优不等距估计，将经典结果推广至任意可测集与流形，并显式依赖于类似Minkowski内容的正则性参数。

ABSTRACT

There exists a positive function $\psi(t)${on}$t\geq0${, with fast decay at infinity, such that for every measurable set}$\Omega${in the Euclidean space and}$R>0${, there exist entire functions}$A(x) ${and}$B(x) ${of exponential type}$R${, satisfying\}$A(x)\leq \chi_{\Omega}(x)\leq B(x)${and}$| B(x)-A(x)| \leqslant\psi(R\operatorname*{dist}(x,\partial\Omega)) $. This leads to Erd\H{o}s Tur\'{a}n estimates for discrepancy of point set distributions in the multi dimensional torus. Analogous results hold for approximations by eigenfunctions of differential operators and discrepancy on compact manifolds.

研究动机与目标

• 将经典的Erdös-Turán不等式推广至多维环面上任意可测集，而不仅限于区间和光滑区域。
• 开发一种适用于任意集合的通用逼近方法，使用指数型整函数，且不依赖于集合的正则性或几何结构。
• 通过区域的几何与谱性质（特别是边界Minkowski内容）量化点分布（格点、等差数列、群轨道）的不等距误差。
• 将经典区间三角多项式逼近推广至流形上Laplace-Beltrami算子的特征函数，同时通过到边界的距离保持误差控制。
• 实现不等距误差的最优或近似最优界，显式依赖于Minkowski内容参数δ与点集结构。

提出的方法

• 构造指数型为R的整函数A(x)与B(x)，使得A(x) ≤ χΩ(x) ≤ B(x)，且|B(x) − A(x)| ≤ ψ(R dist(x, ∂Ω))，其中ψ(t)在无穷远处快速衰减。
• 使用核函数KR(x,y) = ∑λ h(R⁻¹λ) ϕλ(x)ϕλ(y)，其中h(|ξ|) = (1 + |ξ|²)⁻(d+1)/2 m∗m(ξ)，确保渐近欧氏行为并控制余项。
• 定义辅助函数HR(x) = β(1 + R dist(x, ∂Ω))⁻α以控制逼近误差，并将其用于通过核函数表示A(x)与B(x)的积分表达式。
• 应用Erdös-Turán框架，通过HR的L¹范数与点集分布算子T的谱范数来界定不等距误差。
• 利用椭圆算子的谱理论，得到∑|ϕλ(p)|² ≤ cRᵈ 与 ∑|bχΩ(λ)|² ≤ cM(δ,Ω)2⁻δk（当λ ≥ 2ᵏ时）。
• 利用平均算子T的特征值衰减ρ(m)控制非平凡特征函数的贡献，从而导出涉及ρ(m)与M(δ,Ω)的误差界。

实验结果

研究问题

• RQ1 经典的Erdös-Turán不等式能否推广至多维环面上任意可测集（而不仅限于区间）？
• RQ2 不等距误差界对集合几何正则性的最优依赖关系是什么，以Minkowski内容参数δ衡量？
• RQ3 三角逼近方法如何从区间推广至紧致黎曼流形上Laplace-Beltrami算子的特征函数？
• RQ4 由齐性空间上自由群作用生成的点分布能否实现与格点相当的不等距误差？何种谱条件可保证这一点？
• RQ5 不等距误差对点数m、区域几何结构及点集谱性质的精确依赖关系为何？

主要发现

• 对于环面Tᵈ中任意可测集Ω，若M(α,Ω) < γ，则格点L(m)的不等距误差满足sup |μ(Ω) − m⁻¹∑χΩ(xⱼ)| ≤ cγm⁻α/d，其中c为某常数。
• 对几乎所有x ∈ Tᵈ，等差数列{jx}ⱼ=1ᵐ的不等距误差被控制为cγm⁻α/d log^(α(d+1+ε)/d)(m)，优于经典界。
• 对于面平行于固定集合X的凸多面体，存在格点g，使得{ jg/m }ⱼ=1ᵐ的不等距误差≤ cm⁻¹logᵈ(m)，与二维情形最优界一致。
• 在紧致流形上，群轨道点集的不等距误差满足sup |μ(Ω) − m⁻¹∑χΩ(σⱼx)| ≤ cM(δ,Ω)(R⁻δ + R⁽ᵈ⁻δ⁾/²ρ(m))，对任意R > 0成立。
• 在2-球面上，若自由群作用成立，则不等距误差界为cM(δ,Ω)m⁻δ/(2+δ)log²δ/(2+δ)(m)，与球帽情形最优结果一致。
• 对于SO(3)/SO(2)，谱特征值衰减ρ(m) ≤ cm⁻¹/²log(m) 导致不等距误差界中m⁻δ/(2+δ)的最优依赖关系，证实球面情形的精确性。