[논문 리뷰] Trigonometric approximation and a general form of the Erd\H{o}s Tur\'{a}n inequality

Leonardo Colzani, Giacomo Gigante외 1명|arXiv (Cornell University)|2010. 01. 06.

Mathematical Approximation and Integration참고 문헌 10인용 수 3

한 줄 요약

이 논문은 측도 가능한 집합의 특성 함수를 지수 유형의 전함수를 사용하여 삼각함수적으로 근사하는 일반적인 프레임워크를 수립하며, 토러스와 컴act 리만다이언 평면에서 점 분포에 대한 날카로운 에르도시-투란 유형의 불일치 추정치를 이끌어냅니다. 핵심 기여는 경계까지의 거리에 따라 근사 오차를 제어하는 기하학에 종속되지 않는 보편적인 함수 ψ(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.

연구 동기 및 목표

• 다양한 토러스와 컴 pact 리만다이언 평면에서의 구간과 매끄러운 영역을 넘어서 임의의 측도 가능한 집합으로 고전적인 에르도시-투란 부등식을 일반화하는 것.
• 집합의 정규성이나 기하학적 성질에 관계없이 전함수의 지수 유형을 사용한 특성 함수에 대한 보편적인 근사 방법을 개발하는 것.
• 특히 경계의 민코프스키 내용의 성질에 따라, 점 분포(격자, 산술적 등차수열, 군의 궤도)의 불일치를 도메인의 기하학적 및 스펙트럼적 성질에 따라 정량화하는 것.
• 고전적인 구간에 대한 삼각함수 다항식 근사를 다각형에서 라플라스-베르트라미에이터의 고유함수로 일반화하면서, 경계까지의 거리에 기반한 오차 통제를 유지하는 것.
• 민코프스키 내용 매개변수 δ와 점 집합의 구조에 명시적인 의존성을 가진 최적 또는 근사 최적의 불일치 추정치를 확보하는 것.

제안 방법

• 지수 유형 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)의 적분 표현에 이를 활용함.
• 에르도시-투란 프레임워크를 적용하여, HR의 L¹ 노름과 점 분포 연산자 T의 스펙트럼 노름을 통해 불일치를 통제함.
• 타원형 연산자의 스펙트럼 이론을 활용하여 ∑|ϕλ(p)|² ≤ cRᵈ 및 ∑|bχΩ(λ)|² ≤ cM(δ,Ω)2⁻δk (λ ≥ 2ᵏ)를 유도함.
• 평균화 연산자 T의 고유값 감쇠 ρ(m)을 사용하여 비상수 고유함수의 기여를 통제하고, ρ(m)과 M(δ,Ω)를 포함하는 추정치를 도출함.

실험 결과

연구 질문

• RQ1 고전적인 에르도시-투란 부등식은 다차원 토러스에서의 임의의 측도 가능한 집합으로 일반화될 수 있는가? (특히 구간 외의 집합에 대해).
• RQ2 민코프스키 내용 매개변수 δ로 측정된 집합의 기하학적 정규성에 따라 불일치 추정치의 최적 의존성은 무엇인가?
• RQ3 삼각함수적 근사를 다각형에서 컴 pact 리만다이언 평면에서 라플라스-베르트라미에이터의 고유함수로 어떻게 확장할 수 있는가?
• 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)이 되며, 이는 2차원에서 알려진 최고 수준의 추정치와 일치함.
• 컴 pact 다각형에서, 군 궤도 점 집합의 불일치는 임의의 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+δ) 의존성을 유도하며, 구면의 경우 날카로운 성질을 확인함.