Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
DOI10.1016/J.CNSNS.2021.106223zbMath1493.65218arXiv2101.03727OpenAlexW3120296170WikidataQ113877805 ScholiaQ113877805MaRDI QIDQ2076252
Shin'ichi Oishi, Xuefeng Liu, Mitsuhiro T. Nakao
Publication date: 16 February 2022
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.03727
Numerical optimization and variational techniques (65K10) Numerical computation of solutions to systems of equations (65H10) Navier-Stokes equations for incompressible viscous fluids (76D05) Error bounds for boundary value problems involving PDEs (65N15) Stokes and related (Oseen, etc.) flows (76D07) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Navier-Stokes equations (35Q30) Existence problems for PDEs: global existence, local existence, non-existence (35A01) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Remarks on a posteriori error estimation for finite element solutions
- Computer-assisted existence proofs for two-point boundary value problems
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- Historical developments in convergence analysis for Newton's and Newton-like methods
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- A numerical verification method of solutions for the Navier-Stokes equations
- Spontaneous periodic orbits in the Navier-Stokes flow
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- Some improvements of invertibility verifications for second-order linear elliptic operators
- 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
- Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- Computer-assisted Uniqueness Proof for Stokes' Wave of Extreme Form
- A numerical approach to the proof of existence of solutions for elliptic problems
- Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials
- A new family of stable mixed finite elements for the 3D Stokes equations
- Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Approximations in elasticity based on the concept of function space
This page was built for publication: Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains