[論文レビュー] 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\'os-Tur\'an 型の不等式による不均一性の上限を導出する。主な貢献は、境界からの距離に依存する近似誤差を制御する普遍的で幾何学に依存しない関数 ψ(t) の導入であり、これにより、古典的結果を任意の可測集合および多様体に拡張した最適な不均一性推定が可能となり、ミンコフスキー内容に類する正則性パラメータに明示的な依存関係を示すことができる。

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\'os-Tur\'an 不等式を拡張すること。
• 集合の正則性や幾何学的性質に依存しない、普遍的な特性関数の近似法を整関数の指数型を用いて開発すること。
• 点分布（格子、算術的等差数列、群の軌道など）の不均一性を、領域の幾何学的およびスペクトル的性質、特に境界のミンコフスキー内容のパラメータに明示的に依存させる形で定量化すること。
• 古典的な区間の三角関数多項式近似を、多様体上のラプラシアン＝ベルトラミの固有関数へ一般化し、境界からの距離に応じた誤差制御を維持すること。
• 不均一性に最適または近似的に最適な上限を達成し、ミンコフスキー内容パラメータ δ および点集合の構造に明示的な依存関係をもたせること。

提案手法

• 指数型 R を持つ整関数 A(x) および B(x) を構成し、A(x) ≤ χΩ(x) ≤ B(x) かつ |B(x) − A(x)| ≤ ψ(R dist(x, ∂Ω)) を満たすようにする。ここで ψ(t) は無限大で急速に減少する。
• h(|ξ|) = (1 + |ξ|²)⁻(d+1)/2 m∗m(ξ) により定義される核 KR(x,y) = ∑λ h(R⁻¹λ) ϕλ(x)ϕλ(y) を用い、漸近的ユークリッド的挙動と制御された剰余項を保証する。
• 近似誤差を制御するための補助関数 HR(x) = β(1 + R dist(x, ∂Ω))⁻α を定義し、核を用いた A(x) および B(x) の積分表現にこれを用いる。
• Erd\'os-Tur\'an フレームワークを適用し、HR の L¹ 範囲と点分布作用素 T のスペクトル範囲を用いて不均一性を評価する。
• 楕円型作用素のスペクトル理論を活用し、∑|ϕλ(p)|² ≤ cRᵈ および ∑|bχΩ(λ)|² ≤ cM(δ,Ω)2⁻δk (λ ≥ 2ᵏ) を得る。
• 平均作用素 T の固有値の減少度 ρ(m) を用いて、非定数固有関数の寄与を制御し、ρ(m) および M(δ,Ω) を含む上限を得る。

実験結果

リサーチクエスチョン

• RQ1 古典的 Erd\'os-Tur\'an 不等式は、区間にとどまらず、多変数トーラス上の任意の可測集合へ一般化可能か？
• RQ2 不均一性の上限の幾何学的正則性（ミンコフスキー内容パラメータ δ で測る）に依存する最適な依存関係は何か？
• RQ3 区間からの三角関数的近似を、コンパクトなリーマン多様体上のラプラシアン＝ベルトラミ作用素の固有関数へどのように拡張できるか？
• RQ4 自由群作用が均質空間に作用する点集合は、格子点と同等の不均一性を達成可能か？ これを保証するスペクトル的条件は何か？
• RQ5 不均一性の鋭い依存関係は、点数 m、領域の幾何学的性質、点集合のスペクトル的性質にどのように依存するか？

主な発見

• トーラス Tᵈ の任意の可測集合 Ω に対して、M(α,Ω) < γ ならば、格子点 L(m) の不均一性は sup |μ(Ω) − m⁻¹∑χΩ(xⱼ)| ≤ cγm⁻α/d を満たす。ここで c は定数。
• Tᵈ のほとんどすべての x に対して、算術的等差数列 {jx}ⱼ=1ᵐ の不均一性は cγm⁻α/d log^(α(d+1+ε)/d)(m) で有界であり、古典的境界を改善する。
• 固定された集合 X に平行な面を持つ凸多面体に対しては、ある格子点 g が存在し、{jg/m}ⱼ=1ᵐ の不均一性が ≤ cm⁻¹logᵈ(m) で抑えられる。これは 2 次元における既知の最良境界と一致する。
• コンパクト多様体上では、群軌道点集合の不均一性は、任意の R > 0 に対して sup |μ(Ω) − m⁻¹∑χΩ(σⱼx)| ≤ cM(δ,Ω)(R⁻δ + R⁽ᵈ⁻δ⁾/²ρ(m)) を満たす。
• 自由群作用をもつ 2 次球面では、不均一性の上限は cM(δ,Ω)m⁻δ/(2+δ)log²δ/(2+δ)(m) であり、球面キャップに対する既知の最良結果と一致する。
• SO(3)/SO(2) において ρ(m) ≤ cm⁻¹/²log(m) が成り立つと、不均一性の上限における m⁻δ/(2+δ) の依存関係が最適であることが確認され、球面の場合の鋭さが裏付けられる。