[论文解读] Discrepancy of generalized Hammersley type point sets in Besov spaces of dominating mixed smoothness

Lev Markhasin|arXiv (Cornell University)|Sep 21, 2011

Mathematical Approximation and Integration参考文献 19被引用 22

一句话总结

本文证明了在具有主导混合光滑性的二维空间中，一大类广义Hammersley型点集在Besov范数下实现了分歧函数的最优渐近收敛速率。通过b进制广义化Haar系统，作者证明了这些点集达到了已知的Besov准范数下界，从而在该函数空间设定下确认了其最优性。

ABSTRACT

The symmetrized Hammersley point set is known to achieve the best possible rate for the $L_2$-norm of the discrepancy function. Also lower bounds for the norm in Besov spaces of dominating mixed smoothness are known. In this paper a large class of point sets which are generalizations of the Hammersley type point sets are proved to asymptotically achieve the known lower bound of the Besov norm. The proof uses a $b$-adic generalization of the Haar system. This result can be regarded as a preparation for the proof in arbitrary dimension.

研究动机与目标

• 填补在具有主导混合光滑性的Besov空间中，分歧函数的已知下界与可实现上界之间的差距。
• 将先前关于Hammersley型点集的研究成果从经典的对称Hammersley点集扩展至更广泛的广义构造类别。
• 在二维问题的$L_2$-分歧度量与Besov范数设定下，建立这些广义点集的渐近最优性。
• 为使用相同的方法论路径将分析推广至任意维度提供基础框架。

提出的方法

• 证明采用经典Haar小波系统的b进制广义化，以分析分歧函数的光滑性与局部化特性。
• 通过傅里叶域中的光滑单位分解定义的 dyadic 频率投影，对分歧函数进行分解。
• 通过分析不同尺度下小波系数的$L_p$-范数，估计Besov空间$S_{pq}^rB(I^2)$中分歧函数的准范数。
• 为验证方法的可行性，分析限制在维度$d=2$，再推广至更高维度。
• 基于点数与广义Hammersley点集的结构，推导出与分歧函数相关的小波系数$\mu_{jm\ell}$的估计。
• 应用Besov与Triebel-Lizorkin空间之间的嵌入定理，将结果扩展至具有主导混合光滑性的Triebel-Lizorkin空间。

实验结果

研究问题

• RQ1 广义Hammersley型点集是否在具有主导混合光滑性的二维空间中实现了Besov准范数的已知下界？
• RQ2 b进制Haar系统能否用于在这些函数空间中实现分歧函数的精确渐近估计？
• RQ3 对称Hammersley点集是否属于一个更大的点集类别，该类别在Besov范数下可实现最优分歧速率？
• RQ4 这些广义点集的分歧函数Besov范数的精确渐近行为是什么？
• RQ5 通过嵌入定理，结果如何推广至具有主导混合光滑性的Triebel-Lizorkin空间？

主要发现

• 广义Hammersley型点集实现了已知的Besov准范数$\|D_{\mathcal{P}}|S_{pq}^rB(I^2)\|$下界，从而确认了其渐近最优性。
• 对任意整数$b \geq 2$，广义Hammersley点集$\mathcal{R}_n$的分歧范数满足$\|D_{\mathcal{R}_n}|S_{pq}^rB(I^2)\| \leq c_2 \, b^{n(r-1)} \, n^{1/q}$，与下界速率一致。
• 上界通过b进制Haar系统推导得出，该系统可精确控制不同dyadic尺度上小波系数的衰减。
• 该结果证实，经典对称Hammersley点集并非唯一实现最优$L_2$-分歧度量的点集；其广义形式在Besov范数下也具有此性质。
• 该方法为将分析推广至任意维度提供了路径，其中二维情形作为关键的验证平台。
• 通过嵌入关系，研究结果可推广至Triebel-Lizorkin空间，得到$S_{pq}^rF(I^2)$与Sobolev型空间$S_p^rH(I^2)$的类似最优速率。