[論文レビュー] Optimal discrete measures for Riesz potentials

Sergiy Borodachov, Douglas P. Hardin+2 more|arXiv (Cornell University)|Jun 13, 2016

Spectral Theory in Mathematical Physics参考文献 18被引用数 3

ひとこと要約

本稿は、$ \mathbb{R}^p $ の d-可解な部分集合上における Riesz 力の $ s \geq d $ の場合の最適 N 点離散測度の漸近的挙動を確立し、$ N \to \infty $ のときの N 点 Riesz s-極化定数の主要項を導出する。弱-star極限分布が重み付き Hausdorff 測度 $ \mathcal{H}_d^{s,w} $ に比例することを証明し、表面積および重み関数を含む明示的な漸近定数が得られる。

ABSTRACT

For $s\geqslant d$, we obtain the leading term as $N o \infty$ of the maximal weighted $N$-point Riesz $s$-polarization (or Chebyshev constant) for a certain class of $d$-rectifiable compact subsets of $\mathbb{R}^p$. This class includes compact subsets of $d$-dimensional $C^1$ manifolds whose boundary relative to the manifold has $\mathcal{H}_d$-measure zero, as well as finite unions of such sets when their pairwise intersections have $\mathcal{H}_d$-measure zero. We also explicitly find the weak$^*$ limit distribution of asymptotically optimal $N$-point polarization configurations as $N o \infty$.

研究の動機と目的

• コンパクトな d-可解な集合が $ \mathbb{R}^p $ に存在する場合、$ s \geq d $ のとき、N 点 Riesz s-極化定数の漸近的挙動を特定すること。
• N \to \infty のとき、漸近的に最適な N 点配置の弱-star極限分布を特徴づけること。
• 多様体およびその有限個の和集合上における重み付き Riesz 力の最大極化定数の漸近展開における主要項を確立すること。
• 最適配置の分布が $ \mathcal{H}_d^{s,w} $、重み付き d 次元 Hausdorff 測度に比例する測度に収束することを証明すること。

提案手法

• 境界測度が小さく、重複が制御されるように、dyadic cube と Whitney-type 蓄積に基づく離散化スキームを用いる。
• 立方体の特性関数の列に対して Lebesgue の収束定理を適用し、重み付き和が集合上での積分に収束することを可能にする。
• 関数 $ u_n(x) = \sum_{\Gamma \in \mathfrak{G}_n} \overline{w}_\Gamma^{-d/s} \chi_\Gamma(x) $ を用いた比較議論により、離散的配置と連続的測度を関連付ける。
• 部分集合 $ \Gamma \subset A $ に含まれる点の数の推定値を用いて、極化定数の下界と上界を導出する。ここで、パrameter $ \tau_{s,d}(N) $、直径 $ \sim N^{-1/d} $ の集合に含まれる最大点数を用いる。
• $ N \to \infty $ のとき、Borel 集合 $ B \subset A $ に対して $ \lim_{N \to \infty} \#(\omega_N \cap B)/N = \mathcal{H}_d^{s,w}(B)/\mathcal{H}_d^{s,w}(A) $ が成り立つことを利用し、経験的測度の弱-star収束を $ \mathcal{H}_d^{s,w} $ に証明する。
• 下界と上界を $ \overline{h}^{w}_{s,d}(A) $ に対して組み合わせ、等号が成り立つことを示し、漸近定数の証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 d-可解な集合上における $ s \geq d $ のとき、N 点 Riesz s-極化定数の漸近的成長率は何か？
• RQ2 このような集合上での $ N \to \infty $ 時の最適 N 点配置の分布はどのように振る舞うか？
• RQ3 最適配置の分布を支配する正確な極限測度は何か？
• RQ4 極化定数は重み付き Hausdorff 測度 $ \mathcal{H}_d^{s,w} $ で表現可能か？
• RQ5 経験的測度の弱-star極限が存在し、$ \mathcal{H}_d^{s,w} $ に等しくなる条件は何か？

主な発見

• N \to \infty のとき、N 点 Riesz s-極化定数の主要項は $ \left( \frac{\sigma_{s,d}}{\mathcal{H}_d^{s,w}(A)^{s/d}} \right) N^{s/d} $ である。ここで $ \sigma_{s,d} $ は幾何的定数である。
• 漸近的に最適な N 点配置の弱-star極限分布は、重み付き Hausdorff 測度 $ \mathcal{H}_d^{s,w} $ に比例し、正規化は $ \mathcal{H}_d^{s,w}(A)^{-1} \mathcal{H}_d^{s,w} $ である。
• 任意の Borel 部分集合 $ B \subset A $ に対して、$ \omega_N \cap B $ に含まれる点の割合は $ N \to \infty $ のとき $ \mathcal{H}_d^{s,w}(B)/\mathcal{H}_d^{s,w}(A) $ に収束する。
• 漸近定数 $ \overline{h}^{w}_{s,d}(A) $ は $ \overline{h}^{w}_{s,d}(A) = \sigma_{s,d} / \mathcal{H}_d^{s,w}(A)^{s/d} $ を満たし、以前の推定値からの下界と一致する。
• 結果は、多様体に対して $ \mathcal{H}_d $-零集合である境界を持つコンパクトな d-可解集合および、測度ゼロの交わりを持つその有限個の和集合に対しても成り立つ。
• 証明は、立方体分割、測度制御、重み付き和の収束の間の繊細なバランスに依存し、鋭い漸近公式に至る。