Abstract:We consider the three-dimensional incompressible Euler equations on a bounded domain $\Omega$ with $C^4$ boundary. We prove that if the velocity field $u \in C^{0,\alpha} (\Omega)$ with $\alpha > 0$ (where we are omitting the time dependence), it follows that the corresponding pressure $p$ of a weak solution to the Euler equations belongs to the Hölder space $C^{0, \alpha} (\Omega)$. We also prove that away from the boundary $p$ has $C^{0,2\alpha}$ 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.

Regularity criterion via the pressure on weak solutions to the 3d Navier-Stokes equations

Regularity Criterion for 3d Navier-Stokes Equations in Besov Spaces

Some New Regularity Criteria for the 3D Navier-Stokes Equations

Regularity criterion of axisymmetric weak solutions to the 3D Navier–Stokes equations

Regularity Criterion Via Two Components of Vorticity on Weak Solutions to the Navier–Stokes Equations in R3

Remarks on Interior Regularity Criteria Without Pressure for the Navier-Stokes Equations

The Regularity Criterion for 3D Navier-Stokes Equations

Several Almost Critical Regularity Conditions Based on One Component of the Solutions for 3D N-S Equations

On the Interior Regularity Criteria and the Number of Singular Points to the Navier-Stokes Equations

On Partial Regularity Problem for 3D Boussinesq Equations

The Double‐Logarithmic Regularity Criterion of Pressure for the 3D Navier–Stokes Equations in the Besov Space

Partial Regularity of the 3-D Inhomogeneous Navier-Stokes Equations

The Anisotropic Regularity Criteria for 3D Navier–Stokes Equations Involving One Velocity Component

Critical Regularity Criteria For Navier-Stokes Equations In Terms Of One Directional Derivative Of The Velocity

ε ‐Regularity criteria and the number of singular points for the 3D simplified Ericksen–Leslie system

Regularity Of Weak Solutions For The Navier-Stokes Equations In The Class L-Infinity (Bmo-1)

Hölder regularity of the pressure for weak solutions of the 3D Euler equations in bounded domains

Some Problems on the Regularity of Solutions for the 3D Navier-Stokes Equations

Frequency localized regularity criteria for the 3D Navier-Stokes equations

Regularity of weak solutions for the navierstokes equations in the class L ∞(BMO -1)

Regularity criterion for the 3D Boussinesq equations with partial viscous terms in the limiting cases