Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
From MaRDI portal
Publication:2076252
Existence problems for PDEs: global existence, local existence, non-existence (35A01) Navier-Stokes equations (35Q30) Numerical computation of solutions to systems of equations (65H10) Numerical optimization and variational techniques (65K10) Error bounds for boundary value problems involving PDEs (65N15) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Computer assisted proofs of proofs-by-exhaustion type (68V05) Navier-Stokes equations for incompressible viscous fluids (76D05) Stokes and related (Oseen, etc.) flows (76D07)
Abstract: This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed point theorem are obtained by utilizing newly developed quantitative error estimation for finite element solutions to boundary value problems and eigenvalue problems of the Stokes equation.
Recommendations
- scientific article; zbMATH DE number 1440928
- A numerical verification method of solutions for the Navier-Stokes equations
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
- Numerical verification of stationary solutions for Navier-Stokes problems
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
Cites work
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- A new family of stable mixed finite elements for the 3D Stokes equations
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
- A numerical approach to the proof of existence of solutions for elliptic problems
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- A numerical verification method of solutions for the Navier-Stokes equations
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- Approximations in elasticity based on the concept of function space
- Computer-assisted existence proofs for two-point boundary value problems
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Computer-assisted uniqueness proof for Stokes' wave of extreme form
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms
- Guaranteed eigenvalue bounds for the Steklov eigenvalue problem
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements
- Historical developments in convergence analysis for Newton's and Newton-like methods
- scientific article; zbMATH DE number 6669923 (Why is no real title available?)
- scientific article; zbMATH DE number 3760758 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 3206520 (Why is no real title available?)
- Navier-Stokes equations. Theory and numerical analysis. Repr. with corr
- Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Remarks on a posteriori error estimation for finite element solutions
- Some improvements of invertibility verifications for second-order linear elliptic operators
- Spontaneous periodic orbits in the Navier-Stokes flow
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
Cited in
(11)- Fully computable a posteriori error bounds for eigenfunctions
- Further study on the global existence and boundedness of the weak solution in a three-dimensional chemotaxis-Stokes system with nonlinear diffusion and general sensitivity
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- scientific article; zbMATH DE number 1440928 (Why is no real title available?)
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
- Rectangular divergence-free finite elements for axisymmetric Stokes equations
- Stabilizing the Scott-Vogelius elements by Guzman-Neilan bubble functions on triangular meshes
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- Numerical verification of stationary solutions for Navier-Stokes problems
This page was built for publication: Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2076252)
