[論文レビュー] On Koksma-Hlawka inequality

Luca Brandolini, Leonardo Colzani+2 more|arXiv (Cornell University)|Jun 23, 2011

Functional Equations Stability Results参考文献 15被引用数 3

ひとこと要約

本稿は、滑らかでない関数 $ f\chi_\Omega $ における古典的 Koksma-Hlawka 不等式の拡張を提案する。ここで $ f $ は滑らかで、$ \Omega \subset [0,1]^d $ はボレル集合である。本稿では、軸方向の区間との交差に基づく差違測度 $ \mathcal{D}(\Omega, x_j) $ を導入し、積分誤差が $ \mathcal{D}(\Omega, x_j) \mathcal{V}(f) $ で抑えられることを証明する。ここで $ \mathcal{V}(f) $ は $ f $ の全変動を表す。結果は $ L^p $-$ L^q $ ノルムに対しても適用可能であり、球面などのコンパクト多様体へも拡張可能である。

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}$.

研究の動機と目的

• 古典的 Koksma-Hlawka 不等式の限界を解決すること。特に、非長方形集合の特性関数のような単純な不連続性を持つ関数では、この不等式が成立しないこと。
• 滑らかで $ \Omega \subset [0,1]^d $ であるボレル集合である関数 $ f\chi_\Omega $ に対して適用可能な Koksma-Hlawka 型不等式の構築。
• 軸方向の区間、立方体、または球との交差における点の分布に基づく幾何的差違測度 $ \mathcal{D}(\Omega, x_j) $ の定義。
• コンパクトリーマン多様体、特に球面への不等式の拡張。調和解析と球面調和関数を用いる。

提案手法

• 点の分布が $ \Omega \cap 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| $ を定義。
• $ 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 滑らかで $ \Omega $ がボレル集合である関数 $ f\chi_\Omega $ に対して、古典的 Koksma-Hlawka 不等式を拡張することは可能か？
• 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) $ に対してほとんどすべての $ \vartheta $ について、$ 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 $ の下で結果は拡張可能であり、球面調和関数のスペクトル減衰が収束速度を支配することが示された。