Related papers: Computer-assisted proof for the stationary solutio…
The existence of suitable weak solutions of 3D Navier-Stokes equations, driven by a random body force, is proved. These solutions satisfy a local balance of energy. Moreover it is proved also the existence of a statistically stationary…
The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of…
In this paper we propose new method for proving of global solutions for 3D Navier-Stokes equations. This complies an application to the Clay Institute Millennium Prize Navier Stokes Problem. The proposed method can be applied for…
In this paper, we discuss the existence of local strong solutions for the multivalued version of three-dimensional nonstationary Navier-Stokes equation in Banach spaces. Also, we considered a more general inclusion problem and studied the…
In this paper we consider the r\^ole that numerical computations -- in particular Galerkin approximations -- can play in problems modelled by the 3d Navier-Stokes equations, for which no rigorous proof of the existence of unique solutions…
We give a geometric approach to proving know regularity and existence theorems for the 2D Navier-Stokes Equations. We feel this point of view is instructive in better understanding the dynamics. The technique is inspired by constructions in…
The Navier-Stokes motions in cylindrical domain with Navier boundary conditions are considered. First the existence of global regular two-dimensional solutions are proved. The solutions are bounded by the same constant for all time.…
In this paper we present a method to derive classical solutions of the Navier-Stokes equations for non-stationary initial value problems in domain $\mathbb{R}^n$ ($n=2,3$ or higher). Exact solutions in $\mathbb{R}^2$ and $\mathbb{R}^3$ in…
This paper discussed the existence and uniqueness of the smoothing solution of the Navier-Stokes equations. At first, we construct the theory of the linear equations which is about the unknown four variables functions with constant…
This paper discussed the global existence of the smoothing solution for the Navier-Stokes equations. At first, we construct the theory of the linear equations which is about the unknown four variables functions with constant coefficients.…
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…
In this paper, we improve some known uniqueness results of weak solutions for the 3D Navier-Stokes equations. The proof uses the Fourier localization technique and the losing derivative estimates.
The paper extends a stabilized fictitious domain finite element method initially developed for the Stokes problem to the incompressible Navier-Stokes equations coupled with a moving solid. This method presents the advantage to predict an…
We study the boundary value problem for the stationary Navier--Stokes system in two dimensional exterior domain. We prove that any solution of this problem with finite Dirichlet integral is uniformly bounded. Also we prove the existence…
The stationary version of a modified definition of statistical solution for the three-dimensional incompressible Navier-Stokes equations introduced in a previous work is investigated. Particular types of such stationary statistical…
In this work we prove the existence of stationary solutions for the tridimensional fractional Navier-Stokes- Coriolis in critical Fourier-Besov spaces. We first deal with the non-stationary fractional Navier-Stokes-Coriolis and in this…
Variational approaches have been used successfully as a strategy to take advantage from real data measurements. In several applications, this approach gives a means to increase the accuracy of numerical simulations. In the particular case…
Exponential stabilization to time-dependent trajectories for the incompressible Navier-Stokes equations is achieved with explicit feedback controls. The fluid is contained in two-dimensional spatial domains and the control force is, at each…
Navier-Stokes equations are investigated in a functional setting in 3D open sets, bounded or not, without assuming any regularity of the boundary. The main idea is to find a correct definition of the Stokes operator in a suitable Hilbert…
We consider the Navier-Stokes system in a bounded domain with a smooth boundary. Given a sufficiently regular time-dependent global solution, we construct a finite-dimensional feedback control that is supported by a given open set and…