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

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Bardos, Claude, Boutros, Daniel W., Titi, Edriss S.
Format: Preprint
Publié: 2023
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866912517502009344
author Bardos, Claude
Boutros, Daniel W.
Titi, Edriss S.
author_facet Bardos, Claude
Boutros, Daniel W.
Titi, Edriss S.
contents We consider the three-dimensional incompressible Euler equations on a bounded domain $Ω$ with $C^4$ boundary. We prove that if the velocity field $u \in C^{0,α} (Ω)$ with $α> 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, α} (Ω)$. We also prove that away from the boundary $p$ has $C^{0,2α}$ 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.
format Preprint
id arxiv_https___arxiv_org_abs_2304_01952
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Hölder regularity of the pressure for weak solutions of the 3D Euler equations in bounded domains
Bardos, Claude
Boutros, Daniel W.
Titi, Edriss S.
Analysis of PDEs
35Q31 (primary), 35Q35, 76B03, 35J05, 35J08, 35J25, 35D30 (secondary)
We consider the three-dimensional incompressible Euler equations on a bounded domain $Ω$ with $C^4$ boundary. We prove that if the velocity field $u \in C^{0,α} (Ω)$ with $α> 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, α} (Ω)$. We also prove that away from the boundary $p$ has $C^{0,2α}$ 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.
title Hölder regularity of the pressure for weak solutions of the 3D Euler equations in bounded domains
topic Analysis of PDEs
35Q31 (primary), 35Q35, 76B03, 35J05, 35J08, 35J25, 35D30 (secondary)
url https://arxiv.org/abs/2304.01952