Collaborative Research: Transforming Serendipity Elements from Theory to Practice

该项目旨在显着减少现代科学和工程应用中进行各种模拟所需的计算时间和工作量。 在磁流体动力学（用于核聚变研究）和电扩散（用于心律失常研究）等各种环境中，一种称为“有限元法”的技术是设计和计算相关物理现象的高精度描述的首选计算程序。 虽然有限元方法已经使用了近半个世纪，但最近的数学见解表明，某些类型的方法可以以这样的方式实现：它们可以产生相同数量级的精度结果，同时需要更少数量级的计算工作。 此类技术被称为“偶然性方法”，并且是所提议工作的重点。 该研究的一个关键影响是将这些方法纳入广泛使用的、开源的、社区开发的软件包（称为 Firedrake 项目）中。从高级方法分析到具体的计算技巧，所提出的工作将显着扩展对意外有限元方法的优点和局限性的理解。 对于偶然性元素，该项目将通过代数和分析技术同时探索预期的计算效益，以及通过 Firedrake 软件包内的实施和数值模拟实现的实际计算效益，从而精确实现“相同精度，更少工作”的共同原则。 在理论方面，该研究将通过研究偶然性空间的代数结构及其开发来推进知识的发展，以允许对相关多项式空间进行新的亥姆霍兹分解，识别偶然性基到标准张量积基的有效“短注入”，以及开发稀疏求积规则。 研究人员将结合元素映射和物理定义的基本元素方面的专业知识，创建对非仿射映射的方形元素几何形状的保序处理，这是先前尝试实现意外元素的关键障碍。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

This project aims to significantly reduce the computation time and effort required to carry out a wide variety of simulations used in modern scientific and engineering applications. In settings as varied as magnetohydrodynamics (used in studies of nuclear fusion) and electro-diffusion (used in studies of cardiac arrhythmia), a technique called the "finite element method" is a preferred computational procedure for designing and computing highly accurate descriptions of the relevant physical phenomena. While finite element methods have been in use for nearly half a century, recent mathematical insights have indicated that certain kinds of methods could be implemented in such a way that they would produce results of the same order of accuracy while requiring orders of magnitude less computational work. Such techniques are known as "serendipity methods" and serve as the focus of the proposed work. A key impact of the research will be incorporation of these methods into a widely used, open source, community-developed software package known as the Firedrake Project.From high-level method analysis to specific computational tricks, the proposed work will significantly expand understanding of the benefits and limitations of serendipity finite element methodologies. For serendipity elements, the project will make precise the common mantra of "same accuracy, less work" by simultaneously exploring the expected computational benefits via algebraic and analytical techniques, as well as actual computational benefits via implementation and numerical simulations within the Firedrake software package. On the theoretical side, the research will advance knowledge via investigation of the algebraic structure of serendipity spaces and its exploitation to allow new Helmholtz decompositions of the associated polynomial spaces, identification of efficient "short injections" of serendipity bases into standard tensor product bases, and development of sparse quadrature rules. The investigators will combine expertise on element mapping and physically-defined basis elements to create an order-preserving handling of non-affinely mapped square element geometries, a key roadblock in prior attempts at implementation of serendipity elements.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.