关于圆盘填充与调和函数数值积分的一个注记
数值分析
2014-12-09 v2 离散数学
度量几何
摘要
我们关注以下问题:给定一个有界开区域 Ω ⊂ R 2 \Omega \subset \mathbb{R}^2 Ω ⊂ R 2 ,最大的常数 α = α ( Ω ) > 0 \alpha = \alpha(\Omega) > 0 α = α ( Ω ) > 0 是多少,使得存在无限圆盘序列 B 1 , B 2 , … , B N , ⋯ ⊂ R 2 B_1, B_2, \dots, B_N, \dots \subset \mathbb{R}^2 B 1 , B 2 , … , B N , ⋯ ⊂ R 2 和序列 ( n i ) (n_i) ( n i ) (其中 n i ∈ { 1 , 2 } n_i \in \left\{1,2\right\} n i ∈ { 1 , 2 } ),满足 sup N ∈ N N α ∥ χ Ω − ∑ i = 1 N ( − 1 ) n i χ B i ∥ L 1 ( R 2 ) < ∞ , \sup_{N \in \mathbb{N}}{N^{\alpha}\left\| \chi_{\Omega} - \sum_{i=1}^{N}{(-1)^{n_i}\chi_{B_i}}\right\|_{L^1(\mathbb{R}^2)}} < \infty, N ∈ N sup N α χ Ω − i = 1 ∑ N ( − 1 ) n i χ B i L 1 ( R 2 ) < ∞ , 其中 χ \chi χ 表示特征函数?我们证明了某些(略显奇特的)区域 Ω ⊂ R 2 \Omega \subset \mathbb{R}^2 Ω ⊂ R 2 满足该性质,且 α = 0.53 \alpha = 0.53 α = 0.53 。对于这些区域,Ω \Omega Ω 内存在点序列 ( x i ) i = 1 ∞ (x_i)_{i=1}^{\infty} ( x i ) i = 1 ∞ 及权重序列 ( a i ) i = 1 ∞ (a_i)_{i=1}^{\infty} ( a i ) i = 1 ∞ ,使得对于所有调和函数 u : R 2 → R u:\mathbb{R}^2 \rightarrow \mathbb{R} u : R 2 → R ,有 ∣ ∫ Ω u ( x ) d x − ∑ i = 1 N a i u ( x i ) ∣ ≤ C Ω ∥ u ∥ L ∞ ( Ω ) N 0.53 , \left|\int_{\Omega}{u(x)dx} - \sum_{i=1}^{N}{a_i u(x_i)}\right| \leq C_{\Omega}\frac{\|u\|_{L^{\infty}(\Omega)}}{N^{0.53}}, ∫ Ω u ( x ) d x − i = 1 ∑ N a i u ( x i ) ≤ C Ω N 0.53 ∥ u ∥ L ∞ ( Ω ) , 其中 C Ω C_{\Omega} C Ω 仅依赖于 Ω \Omega Ω 。这提供了一种针对调和函数的准蒙特卡洛(Quasi-Monte-Carlo)方法,该方法改进了概率蒙特卡洛界限 ∥ u ∥ L 2 ( Ω ) / N 0.5 \|u\|_{L^{2}(\Omega)}/N^{0.5} ∥ u ∥ L 2 ( Ω ) / N 0.5 ,且\textit{未}引入对全变差的依赖。我们尚不清楚何种衰减率是最优的。
引用
@article{arxiv.1403.8002,
title = {A Remark on Disk Packings and Numerical Integration of Harmonic Functions},
author = {Stefan Steinerberger},
journal= {arXiv preprint arXiv:1403.8002},
year = {2014}
}
备注
to appear in Journal of Complexity