Analysis of geometric discretization methods

几何离散化方法分析

• 批准号: RGPIN-2020-04389
• 负责人: Tsogtgerel, Gantumur
• 金额: $ 1.75万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=717006
• 关键词: Analysis; geometric; discretization; methods

The theme of the proposed project is the theoretical understanding of compatible discretization techniques for geometric partial differential equations. More specifically, my interests are in discretization methods that inherit fundamental geometric and topological properties of the underlying differential equation. My long term goals are to help invent discretization methods for the Einstein field equations with nice geometric properties, and to make contributions to the design and analysis of lattice quantum chromodynamics. Within the framework of this project, we would like to investigate convergence properties of discrete exterior calculus (DEC). DEC is a framework for constructing discrete versions of exterior differential calculus objects, and is widely used in computer graphics and scientific computing. However, a rigorous convergence analysis of DEC has always been lacking. Recently, the applicant and his student proved that DEC solutions to the Poisson problem in arbitrary dimensions converge. We plan to study convergence for general k-forms. This is a short term goal that can be accomplished in 23 years by a PhD student. The analogue of DEC for the Yang-Mills equations is the so called lattice gauge theories, whose quantum version include lattice quantum chromodynamics. Thus, a good understanding of DEC will certainly give insights into lattice gauge theories. Making use of this connection, I plan to study convergence properties of (classical) lattice gauge theory for the Yang-Mills equations. The analogue of DEC for the Einstein equations is the so called Regge calculus. Very recently, the Regge discretization of the Einstein field equations has been found to be numerically unstable. We would like to extend the Regge calculus to general tessellations including quadrilaterals, prisms, etc, instead of only triangles. Our hope is that this would alleviate the aforementioned instability. The projects described in the last 2 paragraphs are open-ended long term projects. The second subset is on finite element exterior calculus (FEEC). This is a theoretical framework to handle mixed finite element type discretizations of abstract Hilbert complexes, together with a growing body of theory on concrete realizations. The first project I want to work on in this direction is to develop an Lp-theory of FEEC. This is a well-defined question with known methodologies and I expect to have concrete results in 12 years. An important pending issue here is adaptivity. The biggest obstacle in this direction has been that the so called quasi-orthogonality property (which is a generalization of Galerkin orthogonality) is hard to establish in the mixed finite element setting. However, very recently, this problem has been solved in the context of the Stokes problem. We hope to adapt their techniques into the FEEC setting. This project is technically challenging, but not so much open ended, as general ideas on its resolution are just beginning to emerge.

本计划的主题是对几何偏微分方程相容离散化技术的理论理解。更具体地说，我的兴趣是在离散方法继承基本的几何和拓扑性质的基本微分方程。我的长期目标是帮助发明具有良好几何性质的爱因斯坦场方程的离散化方法，并为晶格量子色动力学的设计和分析做出贡献。