A posteriori existence of strong solutions to the Navier-Stokes equations in 3D
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866916977131388928 |
|---|---|
| author | Brunk, Aaron Giesselmann, Jan Tscherpel, Tabea |
| author_facet | Brunk, Aaron Giesselmann, Jan Tscherpel, Tabea |
| contents | Global existence of strong solutions to the three-dimensional incompressible Navier-Stokes equations remains an open problem. A posteriori existence results offer a way to rigorously verify the existence of strong solutions by ruling out blow-up on a certain time interval, using only numerical solutions. In this work we present such a result for the Navier-Stokes equations subject to periodic boundary conditions, which makes use of a version of the celebrated blow-up criterion in the critical space $L^\infty(L^3)$ by Iskauriaza, Serëgin and Shverak (2003). Our approach is based on a conditional stability estimate in $L^2$ and $L^3$. The a posteriori criterion that, if satisfied, verifies existence of strong solutions, involves only negative Sobolev norms of the residual. We apply the criterion to numerical approximations computed with mixed finite elements and an implicit Euler time discretisation. A posteriori error estimates allow us to derive a fully computable criterion without imposing any extra assumptions on the solution. While limited to short time intervals, with sufficient computational resources in principle the criterion might allow for a verification over longer time intervals than what can be achieved by theoretical means. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_25105 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A posteriori existence of strong solutions to the Navier-Stokes equations in 3D Brunk, Aaron Giesselmann, Jan Tscherpel, Tabea Numerical Analysis Analysis of PDEs 35Q30, 35B44, 65M15, 65M60, 76D05 Global existence of strong solutions to the three-dimensional incompressible Navier-Stokes equations remains an open problem. A posteriori existence results offer a way to rigorously verify the existence of strong solutions by ruling out blow-up on a certain time interval, using only numerical solutions. In this work we present such a result for the Navier-Stokes equations subject to periodic boundary conditions, which makes use of a version of the celebrated blow-up criterion in the critical space $L^\infty(L^3)$ by Iskauriaza, Serëgin and Shverak (2003). Our approach is based on a conditional stability estimate in $L^2$ and $L^3$. The a posteriori criterion that, if satisfied, verifies existence of strong solutions, involves only negative Sobolev norms of the residual. We apply the criterion to numerical approximations computed with mixed finite elements and an implicit Euler time discretisation. A posteriori error estimates allow us to derive a fully computable criterion without imposing any extra assumptions on the solution. While limited to short time intervals, with sufficient computational resources in principle the criterion might allow for a verification over longer time intervals than what can be achieved by theoretical means. |
| title | A posteriori existence of strong solutions to the Navier-Stokes equations in 3D |
| topic | Numerical Analysis Analysis of PDEs 35Q30, 35B44, 65M15, 65M60, 76D05 |
| url | https://arxiv.org/abs/2509.25105 |