Duality in Finite Element Exterior Calculus and Hodge Duality on the Sphere

被引:0
|
作者
Yakov Berchenko-Kogan
机构
来源
Foundations of Computational Mathematics | 2021年 / 21卷
关键词
Finite element exterior calculus; Hodge duality; Differential forms; Finite element method; 65N30; 58A10;
D O I
暂无
中图分类号
学科分类号
摘要
Finite element exterior calculus refers to the development of finite element methods for differential forms, generalizing several earlier finite element spaces of scalar fields and vector fields to arbitrary dimension n, arbitrary polynomial degree r, and arbitrary differential form degree k. The study of finite element exterior calculus began with the PrΛk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r\varLambda ^k$$\end{document} and Pr-Λk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r^-\varLambda ^k$$\end{document} families of finite element spaces on simplicial triangulations. In their development of these spaces, Arnold, Falk, and Winther rely on a duality relationship between PrΛk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r\varLambda ^k$$\end{document} and P˚r+k+1-Λn-k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathring{{\mathcal {P}}}_{r+k+1}^-\varLambda ^{n-k}$$\end{document} and between Pr-Λk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r^-\varLambda ^k$$\end{document} and P˚r+kΛn-k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathring{{\mathcal {P}}}_{r+k}\varLambda ^{n-k}$$\end{document}. In this article, we show that this duality relationship is, in essence, Hodge duality of differential forms on the standard n-sphere, disguised by a change of coordinates. We remove the disguise, giving explicit correspondences between the PrΛk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r\varLambda ^k$$\end{document}, Pr-Λk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r^-\varLambda ^k$$\end{document}, P˚rΛk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathring{{\mathcal {P}}}_r\varLambda ^k$$\end{document} and P˚r-Λk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathring{{\mathcal {P}}}_r^-\varLambda ^k$$\end{document} spaces and spaces of differential forms on the sphere. As a direct corollary, we obtain new pointwise duality isomorphisms between PrΛk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r \varLambda ^k$$\end{document} and P˚r+k+1-Λn-k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathring{{\mathcal {P}}}_{r+k+1}^-\varLambda ^{n-k}$$\end{document} and between Pr-Λk\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {P}}_r^-\varLambda ^k$$\end{document} and P˚r+kΛn-k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathring{{\mathcal {P}}}_{r+k} \varLambda ^{n-k}$$\end{document}. These isomorphisms can be implemented via a simple computation, which we illustrate with examples.
引用
收藏
页码:1153 / 1180
页数:27
相关论文
共 50 条