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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the regularity of the pressure of weak solutions of the three - dimensional incompressible Euler equations in a bounded domain. Specifically, the authors study whether the corresponding pressure $p$ also belongs to the $C^{0,\alpha}(\Omega)$ space when the velocity field $u\in C^{0,\alpha}(\Omega)$, and away from the boundary, the pressure has the $C^{0,2\alpha}$ regularity. In addition, they also propose a new very weak boundary condition to describe the behavior of the pressure of weak solutions on the boundary, which is different from the commonly used boundary conditions for classical solutions. ### Main problems and background 1. **Problem background**: - The Euler equations describe the motion of an ideal incompressible fluid, and the equation form is: \[ \partial_t u+\nabla\cdot(u\otimes u)+\nabla p = 0,\quad\nabla\cdot u = 0 \] - Where $u$ is the velocity field, $p$ is the pressure field, and $\Omega$ is a bounded region with a $C^4$ boundary. - The velocity field satisfies the impermeable boundary condition: \[ (u\cdot n)|_{\partial\Omega}= 0 \] where $n$ is the outer normal vector of the boundary. 2. **Onsager's conjecture**: - Onsager's conjecture states that for weak solutions $u\in L^\infty((0,T);L^2(\Omega))$, if $u\in L^3((0,T);C^{0,\alpha}(\Omega))$ and $\alpha>\frac{1}{3}$, then kinetic energy is conserved; if $\alpha<\frac{1}{3}$, then there may be kinetic energy loss. - This conjecture has been widely studied in the setting without physical boundaries, but in the setting with physical boundaries, the influence of boundary effects on turbulence needs further exploration. ### Main contributions of the paper 1. **New boundary condition**: - The authors propose a new very weak boundary condition: \[ \partial_n(p+(u\cdot n)^2)=(u\otimes u):\nabla n\quad\text{on}\quad\partial\Omega \] - This boundary condition is necessary in the low - regularity setting (i.e., $\alpha\leq\frac{1}{2}$), while the traditional weak boundary condition may not be applicable in this case. 2. **Regularity results of pressure**: - It is proved that if the velocity field $u\in C^{0,\alpha}(\Omega)$, then the pressure $p\in C^{0,\alpha}(\Omega)$. - It is further proved that away from the boundary, the pressure has the $C^{0,2\alpha}$ regularity. 3. **Sufficient conditions for energy conservation**: - Using the above results, the authors prove that in the setting with physical boundaries, the weak solution $u$ satisfies kinetic energy conservation under certain regularity conditions (such as internal $C^{0,\alpha}$ regularity and $\alpha>\frac{1}{3}$). ### Methods and techniques 1. **Local parameterization**: - Use the local parameterization method to deal with the solutions near the boundary, avoiding the complexity of global parameterization. 2. **Elliptic estimates**: - Establish new Schauder - type estimates to deal with the pressure regularity problem near the boundary. 3. **Boundary conditions of weak solutions**

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

A note for double Hölder regularity of the hydrodynamic pressure for weak solutions of Euler equations

Full double Hölder regularity of the pressure in bounded domains

On Partial Regularity Problem for 3D Boussinesq Equations

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

Sharp Hadamard local well-posedness, enhanced uniqueness and pointwise continuation criterion for the incompressible free boundary Euler equations

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

An extension theorem for weak solutions of the 3d incompressible Euler equations and applications to singular flows

Long time regularity for 3d gravity waves with vorticity

Construction of the free-boundary 3D incompressible Euler flow under limited regularity

Global well-posedness of weak solutions to the incompressible Euler equations with helical symmetry in $\mathbb{R}^3$

Strong ill-posedness in $L^{\infty}$ of the 2d Boussinesq equations in vorticity form and application to the 3d axisymmetric Euler Equations

Global weak solutions with higher regularity to the compressible Navier-Stokes equations under Dirichlet boundary conditions

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

Energy conservation for weak solutions of incompressible Newtonian fluid equations in Hölder spaces with Dirichlet boundary conditions in the half-space

On the energy and helicity conservation of the incompressible Euler equations

Bypassing Hölder super-critcality barriers in viscous, incompressible fluids

A Note on the Regularity of the Holes for Permeability Property Through a Perforated Domain for the 2D Euler Equations

Hölder regularity of solutions of the steady Boltzmann equation with soft potentials

Three results on the Energy conservation for the 3D Euler equations

Rough solutions of the 3-D compressible Euler equations