[论文解读] A Cubic Whitney and Further Developments in Geometric Discretisation

Samik Sen|ArXiv.org|Jul 17, 2003

Advanced Numerical Analysis Techniques参考文献 7被引用 3

一句话总结

本文提出了一种立方体Whitney映射和一种度量相容的离散Hodge星算子，用于几何离散化，确保离散算子收敛于其连续对应物。通过修改内积以保持Hodge星算子与内积之间的对偶性，作者推导出体积因子，从而保证余微分算子和拉普拉斯算子的收敛性，解决了格点场论和有限元方法中的一个关键问题。

ABSTRACT

Geometric discretisation draws analogies between discrete objects and operations on a complex with continuum ones on a manifold. We generalise the theory to the cubic case and incorporate metric, by adding volume factors to our discrete Hodge star and then by modifying our inner product which leads to the same result.

研究动机与目标

• 将几何离散化推广至立方体情形，将Whitney映射扩展至单纯复形之外。
• 通过引入度量相容的内积，解决离散Hodge星算子与内积之间的不一致性。
• 通过基于几何推理导出的体积因子，证明离散余微分算子和拉普拉斯算子收敛于其连续对应物。
• 为格点场论中的应用建立基础，特别是在不产生简并的情况下保持手征性。

提出的方法

• 引入立方体Whitney映射，将几何离散化从单纯复形扩展至立方体复形。
• 通过结合对偶单元体积与原始单元体积之比导出的体积因子，修改离散Hodge星算子。
• 定义一种新内积，其自然诱导出所需的体积因子，同时保持对偶性 $\star^2 = I$ 和 $\delta = \star d \star$。
• 基于与晶格间距 $a$ 的缩放关系，推导出在 $D$ 维空间中 $p$-余链的预期收敛行为。
• 通过将离散算子（如 $\delta = \star d \star$）与连续结果在二维和三维情形下进行比较，验证收敛性。
• 证明由启发式方法导出的体积因子与新内积所诱导的因子完全一致，从而确保一致性。

实验结果

研究问题

• RQ1 如何在保持拓扑与度量结构的前提下，将几何离散化从单纯复形扩展至立方体复形？
• RQ2 为使离散Hodge星算子确保余微分算子和拉普拉斯算子收敛于其连续极限，需要哪些体积因子？
• RQ3 能否定义一种度量相容的内积，使其诱导出Hodge星算子所需的正确体积因子，同时不破坏基本恒等式 $\star^2 = I$ 和 $\delta = \star d \star$？
• RQ4 在新形式下，离散算子在二维和三维情形下的行为如何？当晶格间距 $a \to 0$ 时，它们是否收敛于连续极限？
• RQ5 在几何离散化的背景下，启发式体积因子与内积诱导的因子之间存在何种关系？

主要发现

• 立方体Whitney映射成功地将几何离散化扩展至立方体复形，保持了拓扑一致性。
• 对于 $D$ 维空间中的 $p$-余链，收敛所需的体积因子形式为 $a^{D-2p}$。
• 基于单元体积比的启发式方法导出的体积因子，与通过修改内积所诱导的因子完全一致，从而解决了先前存在的不一致性问题。
• 新内积在保持基本恒等式 $\delta = \star d \star$ 的同时，确保了余微分算子和拉普拉斯算子收敛于其连续对应物。
• 在二维情形下，体积因子分别为：顶点 $a^2$，边 $1$，面 $a^{-2}$；在三维情形下，分别为 $a^3$、$a$、$a^{-1}$ 和 $a^{-3}$。
• 通过在二维情形下将离散算子与连续结果进行显式比较，确认了离散算子的收敛性，且在 $a \to 0$ 极限下结果一致。