AI Chat AI Image Generator AI Video Text to Speech

Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains

01/11/2021

∙

by Xuefeng Liu, et al.

∙

∙

The verified computing with assistance of computers has proved to be a promising approach to investigate the solution existence to nonlinear equation systems. In this paper, the latest progress about the solution verification for the stationary Navier–Stokes equation over a non-convex 3D domain is reported.

Xuefeng Liu
22 publications
Mitsuhiro T. Nakao
2 publications
Shin'ichi Oishi
5 publications

research

∙ 10/29/2021

New approach for solving stationary nonlinear Navier-Stokes equations in non-convex domain

In the paper, an approach for the numerical solution of stationary nonli...

0 Alexey V. Rukavishnikov, et al. ∙

research

∙ 02/26/2022

Non-isothermal non-Newtonian fluids: the stationary case

The stationary Navier-Stokes equations for a non-Newtonian incompressibl...

0 Maurizio Grasselli, et al. ∙

research

∙ 09/03/2023

On the structure of the Schur complement matrix for the Stokes equation

In this paper, we investigate the structure of the Schur complement matr...

0 Vladislav Pimanov, et al. ∙

research

∙ 06/04/2020

Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations

For the Stokes equation over 2D and 3D domains, explicit a posteriori an...

0 Xuefeng Liu, et al. ∙

research

∙ 02/05/2021

A Linearized Learning with Multiscale Deep Neural Network for Stationary Navier-Stokes Equations with Oscillatory Solutions

In this paper, we combine a linearized iterative method with multi-scale...

0 Lizuo Liu, et al. ∙

research

∙ 04/29/2022

On the Inf-Sup Stabillity of Crouzeix-Raviart Stokes Elements in 3D

We consider non-conforming discretizations of the stationary Stokes equa...

0 Stefan Sauter, et al. ∙

research

∙ 03/03/2017

Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model

We present a computer-assisted proof of heteroclinic connections in the ...

0 Jacek Cyranka, et al. ∙