[论文解读] Discrete norming inequalities on sections of sphere, ball and torus

Alvise Sommariva, Marco Vianello|arXiv (Cornell University)|Feb 5, 2018

Algebraic and Geometric Analysis参考文献 19被引用 5

一句话总结

本文通过利用周期子区间上的离散三角范数不等式，为球面、球体和环面的平面、曲面及实体部分构造了代数多项式的最优多项式网格。通过代数与三角多项式张量积结构，建立了网格基数随多项式空间维数线性增长的可接受网格，所有考虑的几何区域均实现了最优增长速率 $ s = 1 $。

ABSTRACT

By discrete trigonometric norming inequalities on subintervals of the period, we construct norming meshes with optimal cardinality growth for algebraic polynomials on sections of sphere, ball and torus.

研究动机与目标

• 为通过几何变换映射自矩形区域的球面、球体和环面的紧致子集构造最优多项式网格。
• 将多项式网格理论扩展至非凸及类非凸区域，如球冠、带状区、透镜形区域和环面截面。
• 建立周期子区间上的离散范数不等式（子周期三角多项式）作为网格构造的基础工具。
• 实现最优网格基数增长 $ \mathrm{card}(\mathcal{A}_n) = \mathcal{O}(N) $，其中 $ N = \dim \mathbb{P}_n^d(K) $，确保逼近与优化中近乎最优的性能。
• 通过基于代数与三角多项式张量积、周期与子周期角变量的框架，统一并推广现有网格构造方法。

提出的方法

• 作者利用周期子区间上的离散三角范数不等式，控制在短于 $ 2\pi $ 的区间上限制的三角多项式的上确界范数。
• 他们定义了几何区域 $ K = \sigma(I \times \Theta) $，其中 $ \sigma $ 将代数与角区间乘积映射至 $ \mathbb{R}^d $，其分量属于 $ \mathbb{P}_1 $ 与 $ \mathbb{T}_1 $ 空间的张量积。
• 网格 $ \mathcal{A}_n(m) $ 构造为嵌套网格 $ X_{mn} \times W_{mn} \times W_{mn} $ 在变换 $ \sigma $ 下的像，确保在曲面或实体区域上均匀分布。
• 关键技术工具是将子周期范数不等式应用于推导比值 $ \|p\|_K / \|p\|_{\mathcal{A}_n} $ 的一致上界，保证存在与 $ n $ 无关的统一常数 $ c $。
• 该方法依赖于事实：对于 $ v-u < 2\pi $，有 $ \mathbb{T}_n([u,v]) $ 允许范数不等式，其常数与 $ n $ 无关，从而实现最优网格增长。
• 该构造方法被应用于多种区域，包括圆扇形、球冠、环面带状区和锥形截面，采用适当的参数化与对称性考虑。

实验结果

研究问题

• RQ1 能否为球面、球体和环面的非凸及非对称曲面与实体部分构造最优多项式网格？
• RQ2 如何利用周期子区间上的离散范数不等式，推导出在曲面区域上多元多项式逼近的最优网格基数增长？
• RQ3 对于由代数与三角多项式张量积变换定义的几何截面，代数多项式网格基数的最优增长速率是多少？
• RQ4 多项式网格框架在具有子周期角变量的区域（如圆弧或球面月牙形）上可扩展到何种程度？
• RQ5 相同的网格构造技术能否同时为曲面与实体区域（包括平面区域旋转形成的区域）生成最优网格？

主要发现

• 为球面、球体和环面的所有标准平面、曲面及实体部分（包括球冠、带状区、透镜形区域、环面帽形区域和锥形截面）构造了最优多项式网格。
• 网格基数随维度 $ N = \dim \mathbb{P}_n^d(K) $ 线性增长，实现了最优增长速率 $ s = 1 $，范数不等式中的常数 $ c $ 依赖于几何类型。
• 对于整个球面或环面，网格常数为 $ c = \beta^2 $，其中 $ \beta $ 是长度小于 $ 2\pi $ 的区间上三角多项式的子周期范数常数。
• 对于由平面区域旋转形成的实体区域（如实体帽形区、圆锥、带状区），网格常数为 $ c = \alpha^2\beta $，其中 $ \alpha $ 为代数范数常数，$ \beta $ 为子周期三角范数常数。
• 对于球壳或整个球体，网格常数为 $ c = \alpha^3 $，反映了该区域的三维代数结构。
• 对于由旋转平面月牙形形成的实体月牙形区域，网格常数为 $ c = \beta^3 $，表明其完全依赖于子周期三角范数。