离散外微积分在 Hodge-Dirac 算子中的收敛性-计算机科学-机器学习-算法.pdfVIP

离散外微积分在Hodge-Dirac算子中的收敛性

RadovanDabetić∗RalfHiptmair†

July28,2025

Abstract

提供了利用在约翰尼·古兹曼和普拉蒂尤什·波图，分析DEC对Hodge拉普拉斯问题近似的框

架使用广义惠特尼形式，arXiv预印本2505.08934，2025中建立的技术，在离散外微积分（DEC）

框架下离散Hodge-Dirac算子收敛性的简短证明。

本

译1介绍

中

与-deRham复形相关的有两个基本算子，即Hodge-Laplacian和Hodge-Dirac算子。在

1

v欧几里得空间的三角剖分区域上，有两种基本的方法来离散化deRham复形。第一种方

5法是使用称为有限元外微积分（FEEC）的离散微分形式的有限元方法。第二种方法具有体积有

0

4限法的风味，并被称为离散外微积分（DEC）。

9

1最近，J.Guzmán和P.Potu在突破性的工作[4]中实现了Hodge-Laplacian的DEC近似的

7.全面先验收敛理论。本文利用来自[4]的新技术建立了与有限维欧几里得空间中维有界域上的

0

deRham希尔伯特复形相关的Hodge-Dirac算子的DEC离散化收敛性。这项工作补充了[4]，

5

2我们从其中借用了大部分符号，通常不再重新定义它们。我们还参考[4]了解FEEC和DEC的背

:

v景信息及相关文献的讨论。建议读者在阅读本文之前先学习[4]。

i

x

r

a2霍奇-狄拉克算子

设是一个有界的、Lipschitz的、多面体域和拓扑平凡，我们用表示其上的光

滑-形式的空间。如在[4]中，外导数算子用,表示，(欧几里得)

霍奇星算子用表示，余微分算子用

表示。霍奇星算子在上诱导内积。

定义2.1.两个形式和的内积由以下给出

∗D-MATH,ETHZurich,CH-8092Zürich,Switzerland,rdabetic@student.ethz.ch

†SAM,D-MATH,ETHZurich,CH-8092Zürich,Switzerland,hiptmair@sam.math.ethz.ch

1

我们用表示在上的（光滑）微分形式的外代数，并将