[논문 리뷰] On Koksma-Hlawka inequality

Luca Brandolini, Leonardo Colzani외 2명|arXiv (Cornell University)|2011. 06. 23.

Functional Equations Stability Results참고 문헌 15인용 수 3

한 줄 요약

이 논문은 매끄러운 함수 $ f $ 와 $ [0,1]^d $ 의 보렐 집합 $ \Omega $ 에 대해 조각별로 매끄러운 함수 $ f\chi_\Omega $ 로 고klassische Koksma-Hlawka 부등식을 확장한다. 점근적 축에 평행한 구간, 정육면체 또는 구와의 교차에 기반한 분포 측도 $ \mathcal{D}(\Omega, x_j) $ 를 도입하고, 통합 오차가 $ \mathcal{D}(\Omega, x_j) \mathcal{V}(f) $ 로 유계화됨을 증명한다. 여기서 $ \mathcal{V}(f) $ 는 $ f $ 의 총변동이다. 결과는 $ L^p $-$ L^q $ 노름으로 일반화되며, 구와 같은 컴acts한 다양체로도 확장된다.

ABSTRACT

The classical Koksma Hlawka inequality does not apply to functions with simple discontinuities. Here we state a Koksma Hlawka type inequality which applies to piecewise smooth functions $fχ_Ω$, with $f$ smooth and $Ω$ a Borel subset of $[0,1]^{d}$.

연구 동기 및 목표

• 고klassische Koksma-Hlawka 부등식이 사각형이 아닌 집합의 특성 함수와 같은 단순한 불연속성을 가진 함수에 대해 실패함을 해결하기 위해.
• 매끄럽고 $ \Omega \subset [0,1]^d $ 가 보렐 집합인 함수 $ f\chi_\Omega $ 에 적용 가능한 Koksma-Hlawka 유형의 부등식을 개발하기 위해.
• 축에 평행한 구간, 정육면체 또는 구와의 교차 내에서 점의 분포를 기반으로 한 기하적 불일치 $ \mathcal{D}(\Omega, x_j) $ 를 정의하기 위해.
• 특히 구를 포함한 컴팩트 리만 다양체로 부등식을 확장하기 위해 조화 분석과 구면 조화다항식을 사용하기 위해.

제안 방법

• 축에 평행한 구간 $ I $ 에 대해 $ \mathcal{D}(\Omega, x_j) = 2^d \sup_I \left| N^{-1} \sum_{j=1}^N \chi_{\Omega \cap I}(x_j) - |\Omega \cap I| \right| $ 로 새로운 불일치를 정의하여, $ \Omega \cap I $ 내에서 점의 분포가 균일성에서 벗어남을 측정한다.
• $ 1/p + 1/q = 1 $ 인 $ L^p $-$ L^q $ 노름 버전의 부등식을 도입하며, $ \mathcal{D}_q(\Omega, \mu) $ 와 $ \mathcal{V}_p(f) $ 를 사용한다. 여기서 $ \mathcal{V}_p(f) $ 는 $ f $ 의 $ L^p $-총변동이다.
• 특히 구 위의 함수에 대해 푸리에 분석과 구면 조화다항식의 성질을 이용하여 토러스 $ \mathbb{T}^d $ 에서 부등식을 증명한다.
• 라플라시안의 스펙트럼 이론과 구면 캡에 제한된 측도의 $ L^2 $-노름을 사용하여 결과를 컴팩트 다양체로 확장한다.
• 구면 베셀 함수와 관련된 함수 $ \varphi(n) $ 을 사용하여 푸리에 계수의 성장을 제어하고, 불일치에 대한 $ L^2 $-유계를 도출한다.
• $ \gamma > 5/2 $ 와 $ \gamma > (d+3)/2 $ 인 경우를 고려하여, 오차 추정치의 급수 수렴을 보장하는, 구의 차원 $ d $ 에 대해 유의미한 유계를 설정한다.

실험 결과

연구 질문

• RQ1 고klassische Koksma-Hlawka 부등식은 $ f $ 가 매끄럽고 $ \Omega $ 가 보렐 집합인 경우 $ f\chi_\Omega $ 와 같은 불연속성을 가진 함수로 확장될 수 있는가?
• RQ2 축에 평행한 구간 $ I $ 에 대해 $ \Omega \cap I $ 내에서 점의 분포를 반영하는 적절한 기하적 불일치 측도 $ \mathcal{D}(\Omega, x_j) $ 는 무엇인가?
• RQ3 $ 1/p + 1/q = 1 $ 인 $ L^p $-$ L^q $ 노름으로 일반화된 부등식은 어떻게 되며, 통합 오차에 대한 유계는 무엇인가?
• RQ4 부등식은 구와 같은 컴팩트 리만 다양체로 확장될 수 있는가? 그리고 구면 조화다항식과 스펙트럼 이론은 이 확장에서 어떤 역할을 하는가?
• RQ5 오차 유계는 점의 수 $ N $, $ f $ 의 매끄러움 정도, $ \Omega $ 의 기하학적 구조에 대해 정량적으로 어떻게 의존하는가?

주요 결과

• 논문은 $ f\chi_\Omega $ 에 대해 Koksma-Hlawka 유형의 부등식을 확립하며, 오차는 $ \mathcal{D}(\Omega, x_j) \mathcal{V}(f) $ 로 유계화된다. 여기서 $ \mathcal{D}(\Omega, x_j) $ 는 $ \Omega $ 와 축에 평행한 구간의 교차에서의 불일치이다.
• $ L^p $-$ L^q $ 노름의 경우, 오차는 $ \mathcal{D}_q(\Omega, \mu) \mathcal{V}_p(f) $ 로 유계화되며, $ \mathcal{D}_q $ 는 $ \Omega \cap I $ 내에서 점의 분포에 대한 $ L^q $-노름으로 정의되고, $ \mathcal{V}_p(f) $ 는 $ f $ 의 $ L^p $-총변동이다.
• 구 $ \mathcal{S} $ 에서는 거의 모든 $ \vartheta \in (0, \pi) $ 에 대해 $ \gamma > 5/2 $ 인 경우 오차 유계가 성립하며, $ \left\{ \int_{\mathcal{S}} |\mu(B(x,\vartheta) \cap \Omega)|^2 dx \right\}^{1/2} $ 를 포함한다.
• $ \vartheta \in (0, \pi/2) $ 에 대해 거의 모든 경우, $ B(x,\vartheta) $ 와 $ B(x,2\vartheta) $ 를 모두 사용하여 더 강력한 유계를 확보하며, 오차는 두 개의 $ L^2 $-불일치 항의 합으로 제어된다.
• 단체 $ \Sigma $ 에 응용할 경우, $ \Omega = \Sigma $ 에 대해 유계는 $ c\varepsilon^{-d} N^{-1} \log^d(N) $ 로 주어지며, 일반적인 볼록 경우의 유계 $ c\varepsilon^{-d} N^{-2/(d+1)} \log^\gamma(N) $ 보다 향상된다.
• 고차원 구에 대해서는 $ \gamma > (d+3)/2 $ 인 경우 결과가 확장되며, 이는 구면 조화다항식의 스펙트럼 감쇠가 수렴 속도를 결정함을 시사한다.