Lax convergence theorems and error estimates of a finite element method for the incompressible Euler system
This work addresses convergence proofs for incompressible Euler system simulations, which is incremental for computational fluid dynamics researchers.
The paper tackles the problem of proving convergence for numerical solutions of the incompressible Euler equations, presenting Lax-Wendroff-type and Lax equivalence theorems and applying them to a finite element method with RT0/P0 elements, resulting in derived convergence rates validated by experiments.
In this paper, we present convergence theorems for numerical solutions of the incompressible Euler equations. The first result is the Lax-Wendroff-type theorem, while the second can be formulated in the framework of the Lax equivalence theorem. To illustrate their application, we study a finite element method that uses a pair of $RT_0/P_0$ elements to approximate the velocity and pressure, respectively. Applying the concept of the relative energy, we derive the convergence rates of our numerical method using two different approaches. Finally, we validate the theoretical convergence results through numerical experiments.