[论文解读] Geometric Representations of Whitney Forms and their Generalization to Minkowski Spacetime

Joe Salamon, John Atwell Moody+1 more|arXiv (Cornell University)|Feb 28, 2014

Advanced Differential Geometry Research参考文献 11被引用 5

一句话总结

本文引入了两种等价的Whitney形式几何表示方法，分别基于向量和余向量的形式，将重心坐标推广至平坦伪黎曼流形（包括闵可夫斯基时空）。核心贡献在于对Whitney形式及其Hodge对偶形式进行了无坐标、几何直观的表征，从而实现了通过时空FEEC和多辛变分积分法对经典电动力学进行完全协变的时空有限元离散化。

ABSTRACT

In this work, we present two alternative yet equivalent representation formulae for Whitney forms that are valid for any choice of coordinates, and generalizes the original characterization of Whitney forms in Whitney (1957) that requires the use of barycentric coordinates. In addition, we demonstrate that these formulae appropriately generalize the notion of Whitney forms and barycentric coordinates to Minkowski spacetime, and naturally to any other flat pseudo-Riemannian manifold. These alternate forms are related to each other through a duality between the exterior algebras on vectors and covectors. In addition, these two formulae have a geometrically intuitive interpretation which provide interesting insights into their structure. Furthermore, we obtain an explicit characterization of the Hodge dual of the space of Whitney forms on Minkowski spacetime, and this opens the door to treating the theory of classical electromagnetism in a fully covariant fashion through the combination of multisymplectic variational integration and spacetime finite-element exterior calculus (FEEC) techniques. We conclude the paper with the results from an $\mathbb{R}^{1+1}$ wave equation simulation, as a proof-of-concept of the spacetime formulation described herein.

研究动机与目标

• 将Whitney形式从欧几里得空间推广至平坦伪黎曼流形，包括闵可夫斯基时空。
• 利用向量与余向量上的外代数，提供无坐标、几何直观的Whitney形式表示。
• 在闵可夫斯基时空中显式表征Whitney形式的Hodge对偶。
• 实现哈密顿场论的完全协变时空有限元外微分计算（FEEC）框架。
• 通过一维空间加一维时间波方程仿真，验证时空FEEC与多辛变分积分的可行性。

提出的方法

• 推导出Whitney形式的两种等价形式：一种基于向量的微分形式，另一种通过度量对偶关系基于余向量的形式。
• 利用Hodge星算子和度量诱导的同构关系，关联向量与余向量表示形式。
• 通过平移不变性与参数化技术，验证Whitney形式的归一化条件与次数条件。
• 运用外代数结构（包括楔积、内乘与余微分）在单纯形上定义与操作微分形式。
• 提出一种广义Whitney形式公式，涉及由单纯形顶点导出的余向量场的楔积的Hodge星算子。
• 通过归纳法与0-形式和1-形式的显式计算验证公式，结果与重心Whitney形式一致。

实验结果

研究问题

• RQ1 Whitney形式如何超越重心坐标，推广至任意平坦伪黎曼流形（如闵可夫斯基时空）？
• RQ2 基于向量与余向量的Whitney形式表示之间，其几何与代数关系为何？
• RQ3 在闵可夫斯基时空中，Whitney形式的Hodge对偶如何显式表征？
• RQ4 所提出的公式能否支持完全协变的时空有限元外微分计算（FEEC）框架？
• RQ5 在物理场论仿真中，时空FEEC公式的性能与一致性如何？

主要发现

• 本文在任意平坦伪黎曼流形中建立了Whitney形式的两种等价几何表示——一种基于向量，一种基于余向量。
• 基于向量的表示通过Hodge星算子与度量对偶，将重心坐标推广至闵可夫斯基时空。
• 在闵可夫斯基时空中，Whitney形式的Hodge对偶通过体积形式与度量诱导的同构关系被显式表征。
• 通过参数化与内积恒等式，严格验证了0-形式与1-形式的归一化条件 ∫ρ w_j = 1。
• 一维空间加一维时间波方程仿真验证了时空FEEC公式与多辛变分积分的一致性与可行性。
• 所推导的公式在一般坐标系下保持了Whitney形式的关键性质，包括次数、紧支集与边界行为。