Related papers: A Posteriori Regularity of the Three-dimensional N…
In their 2006 paper, Chernyshenko et al prove that a sufficiently smooth strong solution of the 3d Navier-Stokes equations is robust with respect to small enough changes in initial conditions and forcing function. They also show that if a…
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…
Strong solutions of the non-stationary Navier-Stokes equations under non-linearized slip or leak boundary conditions are investigated. We show that the problems are formulated by a variational inequality of parabolic type, to which…
A discontinuous Galerkin pressure correction numerical method for solving the incompressible Navier-Stokes equations is formulated and analyzed. We prove unconditional stability of the propose scheme. Convergence of the discrete velocity is…
In this paper we propose a stable and robust strategy to approximate the 3d incompressible hydrostatic Euler and Navier-Stokes systems with free surface. Compared to shallow water approximation of the Navier-Stokes system, the idea is to…
Regularity properties of strong solutions are considered.
In this paper, we study the regularity problem of the 3D incompressible Navier\~nStokes equations. We prove that the strong solution exists globally for new regularity criteria. For negligible forces, we give an improvement of the known…
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…
In this paper, we prove the existence and uniqueness of a smooth solution to a tamed 3D Navier-Stokes equation in the whole space. In particular, if there exists a bounded smooth solution to the classical 3D Navier-Stokes equation, then…
We study the 2D Navier-Stokes equations within the framework of a constraint that ensures energy conservation throughout the solution. By employing the Galerkin approximation method, we demonstrate the existence and uniqueness of a global…
In this paper, by using classical Faedo-Galerkin approximation and compactness method, the existence of martingale solutions for the stochastic 3D Navier-Stokes equations with nonlinear damping is obtained. The existence and uniqueness of…
We prove the existence of strong solutions to Navier-Stokes equations in three dimensional thin domains. Our proof is based on the energy and the Poincar\'e inequalities as well as contraction principle argument and is free of the mean…
The goal of this paper is to create a fruitful bridge between the numerical methods for approximating partial differential equations (PDEs) in fluid dynamics and the (iterative) numerical methods for dealing with the resulting large linear…
Existence, uniqueness, and regularity of time-periodic solutions to the Navier-Stokes equations in the three-dimensional whole-space are investigated. We consider the Navier-Stokes equations with a non-zero drift term corresponding to the…
Solutions of the Navier-Stokes and Euler equations with initial conditions for 2D and 3D cases were obtained in the form of converging series, by an analytical iterative method using Fourier and Laplace transforms \cite{TT10,TT11}. There…
Discontinuous Galerkin (DG) methods have a long history in computational physics and engineering to approximate solutions of partial differential equations due to their high-order accuracy and geometric flexibility. However, DG is not…
In this note we give a criterion for the existence of global strong solutions for the 3D Navier-Stokes system for any regular initial data.
We consider the Navier-Stokes equations in a three-dimensional curved thin domain around a given closed surface under Navier's slip boundary conditions. When the thickness of the thin domain is sufficiently small, we establish the global…
We study the three-dimensional compressible Navier-Stokes equations coupled with the $Q$-tensor equation perturbed by a multiplicative stochastic force, which describes the motion of nematic liquid crystal flows. The local existence and…
We consider the motion described by the Navier-Stokes equations in a box with periodic boundary conditions. First we prove the existence of global strong two-dimensional solutions. Next we show the existence of global strong…