Proximal Galerkin: A structure-preserving finite element method for pointwise bound constraints
arXiv:2307.12444 · doi:10.1007/s10208-024-09681-8
Abstract
The proximal Galerkin finite element method is a high-order, low-iteration complexity, nonlinear numerical method that preserves the geometric and algebraic structure of point-wise bound constraints in infinite-dimensional function spaces. This paper introduces the proximal Galerkin method and applies it to solve free boundary problems, enforce discrete maximum principles, and develop a scalable, mesh-independent algorithm for optimal design with pointwise bound constraints. This paper also introduces the latent variable proximal point (LVPP) algorithm, from which the proximal Galerkin method derives. When analyzing the classical obstacle problem, we discover that the underlying variational inequality can be replaced by a sequence of second-order partial differential equations (PDEs) that are readily discretized and solved with, e.g., the proximal Galerkin method. Throughout this work, we arrive at several contributions that may be of independent interest. These include (1) a semilinear PDE we refer to as the entropic Poisson equation; (2) an algebraic/geometric connection between high-order positivity-preserving discretizations and certain infinite-dimensional Lie groups; and (3) a gradient-based, bound-preserving algorithm for two-field, density-based topology optimization. The complete proximal Galerkin methodology combines ideas from nonlinear programming, functional analysis, tropical algebra, and differential geometry and can potentially lead to new synergies among these areas as well as within variational and numerical analysis. This work is accompanied by open-source implementations of our methods to facilitate reproduction and broader adoption.
References in corpus (12)
- Inverse Problem for a Curved Quantum Guide
- MFEM: a modular finite element methods library
- An elementary introduction to information geometry
- Construction of arbitrary order finite element degree-of-freedom maps on polygonal and polyhedral cell meshes
- Orientation Embedded High Order Shape Functions for the Exact Sequence Elements of All Shapes
- A discontinuous Galerkin method for nonlinear parabolic equations and gradient flow problems with interaction potentials
- Reinterpretation and Extension of Entropy Correction Terms for Residual Distribution and Discontinuous Galerkin Schemes: Application to Structure Preserving Discretization
- An Augmented Lagrangian Method for Optimization Problems in Banach Spaces
- A positivity preserving strategy for entropy stable discontinuous Galerkin discretizations of the compressible Euler and Navier-Stokes equations
- High-performance finite elements with MFEM
- A Quadratic Programming Flux Correction Method for High-Order DG Discretizations of SN Transport
- High-order space-time finite element methods for the Poisson-Nernst-Planck equations: Positivity and unconditional energy stability