Hölder regularity of the pressure for weak solutions of the 3D Euler equations in bounded domains
arXiv:2304.01952 · doi:10.1007/s00205-025-02090-3
Abstract
We consider the three-dimensional incompressible Euler equations on a bounded domain with boundary. We prove that if the velocity field with (where we are omitting the time dependence), it follows that the corresponding pressure of a weak solution to the Euler equations belongs to the Hölder space . We also prove that away from the boundary has regularity. In order to prove these results we use a local parametrisation of the boundary and a very weak formulation of the boundary condition for the pressure of the weak solution, as was introduced in [C. Bardos and E.S. Titi, Philos. Trans. Royal Soc. A, 380 (2022), 20210073], which is different than the commonly used boundary condition for classical solutions of the Euler equations. Moreover, we provide an explicit example illustrating the necessity of this new very weak formulation of the boundary condition for the pressure. Furthermore, we also provide a rigorous derivation of this new formulation of the boundary condition for weak solutions of the Euler equations. This result is of importance for the proof of the first half of the Onsager Conjecture, the sufficient conditions for energy conservation of weak solutions to the three-dimensional incompressible Euler equations in bounded domains. In particular, the results in this paper remove the need for separate regularity assumptions on the pressure in the proof of the Onsager conjecture.
59 pages
References in corpus (6)
- Onsager's Conjecture for the Incompressible Euler Equations in Bounded Domains
- Remarks on high Reynolds numbers hydrodynamics and the inviscid limit
- Boundary Vorticity Estimates for Navier-Stokes and Application to the Inviscid Limit
- boundary regularity for the pressure in weak solutions of the Euler equations
- On Double Hölder Regularity of the Hydrodynamic Pressure in Bounded Domains
- Full double Hölder regularity of the pressure in bounded domains