A convergence proof for a finite element discretization of Chorin's projection method of the incompressible Navier-Stokes equations
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911177560293376 |
|---|---|
| author | Weber, Franziska |
| author_facet | Weber, Franziska |
| contents | We study Chorin's projection method combined with a finite element spatial discretization for the time-dependent incompressible Navier-Stokes equations. The scheme advances the solution in two steps: a prediction step, which computes an intermediate velocity field that is generally not divergence-free, and a projection step, which enforces (approximate) incompressibility by projecting this velocity onto the (approximately) divergence-free subspace. We establish convergence, up to a subsequence, of the numerical approximations generated by this scheme to a Leray-Hopf weak solution of the Navier-Stokes equations, without any additional regularity assumptions beyond square-integrable initial data. A discrete energy inequality yields a priori estimates, which we combine with a new compactness result to prove precompactness of the approximations in $L^2([0,T]\timesΩ)$, where $[0,T]$ is the time interval and $Ω$ is the spatial domain. Passing to the limit as the discretization parameters vanish, we obtain a weak solution of the Navier-Stokes equations. A central difficulty is that different a priori bounds are available for the intermediate and projected velocity fields; our compactness argument carefully integrates these estimates to complete the convergence proof. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_13416 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A convergence proof for a finite element discretization of Chorin's projection method of the incompressible Navier-Stokes equations Weber, Franziska Numerical Analysis Analysis of PDEs 65M12, 65M60, 76D05, 76M10 We study Chorin's projection method combined with a finite element spatial discretization for the time-dependent incompressible Navier-Stokes equations. The scheme advances the solution in two steps: a prediction step, which computes an intermediate velocity field that is generally not divergence-free, and a projection step, which enforces (approximate) incompressibility by projecting this velocity onto the (approximately) divergence-free subspace. We establish convergence, up to a subsequence, of the numerical approximations generated by this scheme to a Leray-Hopf weak solution of the Navier-Stokes equations, without any additional regularity assumptions beyond square-integrable initial data. A discrete energy inequality yields a priori estimates, which we combine with a new compactness result to prove precompactness of the approximations in $L^2([0,T]\timesΩ)$, where $[0,T]$ is the time interval and $Ω$ is the spatial domain. Passing to the limit as the discretization parameters vanish, we obtain a weak solution of the Navier-Stokes equations. A central difficulty is that different a priori bounds are available for the intermediate and projected velocity fields; our compactness argument carefully integrates these estimates to complete the convergence proof. |
| title | A convergence proof for a finite element discretization of Chorin's projection method of the incompressible Navier-Stokes equations |
| topic | Numerical Analysis Analysis of PDEs 65M12, 65M60, 76D05, 76M10 |
| url | https://arxiv.org/abs/2508.13416 |