Abstract:This paper addresses the challenge of proving the existence of solutions for nonlinear equations in Banach spaces, focusing on the Navier-Stokes equations and discretizations of thom. Traditional methods, such as monotonicity-based approaches and fixed-point theorems, often face limitations in handling general nonlinear operators or finite element discretizations. A novel concept, mapped coercivity, provides a unifying framework to analyze nonlinear operators through a continuous mapping. We apply these ideas to saddle-point problems in Banach spaces, emphasizing both infinite-dimensional formulations and finite element discretizations. Our analysis includes stabilization techniques to restore coercivity in finite-dimensional settings, ensuring stability and existence of solutions. For linear problems, we explore the relationship between the inf-sup condition and mapped coercivity, using the Stokes equation as a case study. For nonlinear saddle-point systems, we extend the framework to mapped coercivity via surjective mappings, enabling concise proofs of existence of solutions for various stabilized Navier-Stokes finite element methods. These include Brezzi-Pitkäranta, a simple variant, and local projection stabilization (LPS) techniques, with extensions to convection-dominant flows. The proposed methodology offers a robust tool for analyzing nonlinear PDEs and their discretizations, bypassing traditional decompositions and providing a foundation for future developments in computational fluid dynamics.

Penalization of stationary Navier–Stokes equations and applications in topology optimization

Penalization of stationary Navier-Stokes equations and applications in topology optimization

Topology Optimization on Two-Dimensional Manifolds

On the Calculation of the Brinkman Penalization Term in Density-Based Topology Optimization of Fluid-Dependent Problems

Convergence and error estimates of a penalization finite volume method for the compressible Navier-Stokes system

Optimal Error Estimates of the Penalty Finite Element Method for the Unsteady Navier–Stokes Equations with Nonsmooth Initial Data

Mapped coercivity for the stationary Navier-Stokes equations and their finite element approximations

Topology optimization of fluidic flows on 2-manifolds

Numerical Analysis of Locally Adaptive Penalty Methods For The Navier-Stokes Equations

On approximate solutions of the incompressible Euler and Navier-Stokes equations

$d$-dimensional extension of a penalization method for Neumann or Robin boundary conditions: a boundary layer approach and numerical experiments

Optimal error estimates of the penalty finite element method for the unsteady Navier-Stokes equations with nonsmooth initial data

Topology optimization of surface flows

Topology optimization of steady Navier-Stokes flow via a piecewise constant level set method

Optimal control of the 2D constrained Navier-Stokes equations

Optimal Control Finite Element Approximation for Penalty Variational Formulation of Three‐dimensional Navier–Stokes Problem

Penalty method for the Navier-Stokes-Fourier system with Dirichlet boundary conditions: convergence and error estimates

Numerical analysis of a discontinuous Galerkin method for the Borrvall-Petersson topology optimization problem

Adjoint-Based Enforcement of State Constraints in PDE Optimization Problems

On the penalization by the perimeter in shape optimization applied to Dirichlet inverse obstacle problem

Energy stable gradient flow schemes for shape and topology optimization in Navier-Stokes flows