The paper is devoted to studying controllability properties for 3D Navier-Stokes equations in a bounded domain. We establish a sufficient condition under which the problem in question is exactly controllable in any finite-dimensional projection. Our sufficient condition is verified for any torus in $R^3$. The proofs are based on a development of a general approach introduced by Agrachev and Sarychev in the 2D case. As a simple consequence of the result on controllability, we show that the Cauchy problem for the 3D Navier-Stokes system has a unique strong solution for any initial function and a large class of external forces.
An explicit saturating set consisting of eigenfunctions of Stokes operator in general 3D Cylinders is proposed. The existence of saturating sets implies the approximate controllability for Navier--Stokes equations in $\rm 3D$ Cylinders under Lions boundary conditions.
In this work, we investigate the small-time global exact controllability of the Navier-Stokes equation, both towards the null equilibrium state and towards weak trajectories. We consider a viscous incompressible fluid evolving within a smooth bounded domain, either in 2D or in 3D. The controls are only located on a small part of the boundary, intersecting all its connected components. On the remaining parts of the boundary, the fluid obeys a Navier slip-with-friction boundary condition. Even though viscous boundary layers appear near these uncontrolled boundaries, we prove that small-time glob…
The goal of this article is to present a local exact controllability result for the 2 and 3-dimensional compressible Navier-Stokes equations on a constant target trajectory when the controls act on the whole boundary. Our study is then based on the observability of the adjoint system of some linearized version of the system, which is analyzed thanks to a subsystem for which the coupling terms are somewhat weaker. In this step, we strongly use Carleman estimates in negative Sobolev spaces.
We study the local controllability properties of 2D and 3D bio-mimetic swimmers employing the change of their geometric shape to propel themselves in an incompressible fluid described by Navier-Stokes equations. It is assumed that swimmers' bodies consist of finitely many parts, identified with the fluid they occupy, that are subsequently linked by the rotational and elastic internal forces. These forces are explicitly described and serve as the means to affect the geometric configuration of swimmers' bodies. Similar models were previously investigated in [6]-[13].
In this proceeding we expose a particular case of a recent result obtained by the authors regarding the incompressible Navier-Stokes equations in a smooth bounded and simply connected bounded domain, either in 2D or in 3D, with a Navier slip-with-friction boundary condition except on a part of the boundary. This under-determination encodes that one has control over the remaining part of the boundary. We prove that for any initial data, for any positive time, there exists a weak Leray solution which vanishes at this given time.
We consider the 2D incompressible Navier-Stokes equation in a rectangle with the usual no-slip boundary condition prescribed on the upper and lower boundaries. We prove that for any positive time, for any finite energy initial data, there exist controls on the left and right boundaries and a distributed force, which can be chosen arbitrarily small in any Sobolev norm in space, such that the corresponding solution is at rest at the given final time. Our work improves earlier results where the distributed force is small only in a negative Sobolev space. It is a further step towards an answer to …
In this paper, we deal with the controllability properties of a system of $m$ coupled Stokes systems or $m$ coupled Navier-Stokes systems. We show the null-controllability of such systems in the case where the coupling is in a cascade form and when the control acts only on one of the systems. Moreover, we impose that this control has a vanishing component so that we control a $m\times N$ state (corresponding to the velocities of the fluids) by $N-1$ distributed scalar controls. The proof of the controllability of the coupled Stokes system is based on a Carleman estimate for the adjoint system.…
We consider the 3D Navier-Stokes system driven by an additive finite-dimensional control force. The purpose of this paper is to show how the approximate controllability of this system can be derived from the approximate controllability of the Euler system linearised around some suitable trajectory. The proof presented here is shorter than the previous ones obtained by Lie algebraic methods and gives some new information about the structure of the control. The dimension of the control space provided by this approach is larger, but it is still uniform with respect to the viscosity.
The goal of this article is to show a local exact controllability to smooth (C2) trajectories for the 2-d density dependent incompressible Navier-Stokes equations. Our controllability result requires some geometric condition on the ow of the target trajectory, which is remanent from the transport equation satisfied by the density. The proof of this result uses a fixed point argument in suitable spaces adapted to a Carleman weight function that follows the ow of the target trajectory. Our result requires the proof of new Carleman estimates for heat and Stokes equations.
The aim of this work is to show the local null controllability of a fluid-solid interaction system by using a distributed control located in the fluid. The fluid is modeled by the incompressible Navier-Stokes system with Navier slip boundary conditions and the rigid body is governed by the Newton laws. Our main result yields that we can drive the velocities of the fluid and of the structure to 0 and we can control exactly the position of the rigid body. One important ingredient consists in a new Carleman estimate for a linear fluid-rigid body system with Navier boundary conditions. This work i…
We prove a null controllability result for the Vlasov-Navier-Stokes system, which describes the interaction of a large cloud of particles immersed in a fluid. We show that one can modify both the distribution of particles and the velocity field of the fluid from any initial state to the zero steady state, by means of an internal control. Indeed, we can modify the non-linear dynamics of the system in order to absorb the particles and let the fluid at rest. The proof is achieved thanks to the return method and a Leray-Schauder fixed-point argument.
We show that the Navier-Stokes as well as a random perturbation of this equation can be derived from a stochastic variational principle where the pressure is introduced as a Lagrange multiplier. Moreover we describe how to obtain corresponding constants of the motion.
In this paper, we consider the Stokes equations in a two-dimen- sional channel with periodic conditions in the direction of the channel. We establish null controllability of this system using a boundary control which acts on the normal component of the velocity only. We show null controllability of the system, subject to a constraint of zero average, by proving an observability inequality with the help of a Muntz-Szasz Theorem.
In this paper, we rigorously derive the compressible one-fluid Navier-Stokes equation from the scaled compressible two-fluid Navier-Stokes-Maxwell equations locally in time under the assumption that the initial data are well prepared. We justify the singular limit by proving the uniform decay of the error system, which is obtained by elaborate energy estimates.
In this paper we prove an exact controllability result for the Vlasov-Stokes system in the two-dimensional torus with small data by means of an internal control. We show that one can steer, in arbitrarily small time, any initial datum of class C 1 satisfying a smallness condition in certain weighted spaces to any final state satisfying the same conditions. The proof of the main result is achieved thanks to the return method and a Leray-Schauder fixed-point argument.
In the Eulerian approach, the motion of an incompressible fluid is usually described by the velocity field which is given by the Navier--Stokes system. The velocity field generates a flow in the space of volume-preserving diffeomorphisms. The latter plays a central role in the Lagrangian description of a fluid, since it allows to identify the trajectories of individual particles. In this paper, we show that the velocity field of the fluid and the corresponding flow of diffeomorphisms can be simultaneously approximately controlled using a finite-dimensional external force. The proof is based on…
The three-dimensional Navier-Stokes-$α$ model for fast rotating geophysical fluids is considered. The Navier-Stokes-$α$ model is a nonlinear dispersive regularization of the exact Navier-Stokes equations obtained by Lagrangian averaging and tend to the Navier-Stokes equations as $α\rightarrow 0^+$. We estimate upper bounds for the dimensions of global attractors and study the dependence of the dimensions on the parameter $α$. All the estimates are uniform in $α$, and our estimate of attractor dimensions remain finite when $α\rightarrow 0^+$.
In this article, we study the control aspects of the one-dimensional compressible Navier-Stokes equations with Maxwell's law linearized around a constant steady state with zero velocity. We consider the linearized system with Dirichlet boundary conditions and with interior controls. We prove that the system is not null controllable at any time using localized controls in density and stress equations and even everywhere control in the velocity equation. However, we show that the system is null controllable at any time if the control acting in the density or stress equation is everywhere in the …
We study Caccioppoli's inequalities of the non-stationary Stokes equations and Navier-Stokes equations. Our analysis is local near boundary and we prove that, in contrast to the interior case, the Caccioppoli's inequalities of the Stokes equations and the Navier-Stokes equations, in general, fail near boundary.
This paper studies two well-known models for two-phase fluid flow at constant temperature, the isothermal Navier-Stokes-Allen-Cahn and the isothermal Navier-Stokes-Cahn-Hilliard equations, both of which consist of equations for the (total) fluid density rho, the (mass-averaged)velocity u and the concentration (of one of the phases,) c. Assuming in either case that both phases are incompressible with different densities, each of the models is shown to reduce to a system of evolution equations in rho and u alone. In the case of the Navier-Stokes-Allen-Cahn model, this reduced system is the class…
An algebraic upper bound for the decay rate of solutions to the Navier-Stokes and Navier-Stokes-Coriolis equations in the critical space $\dot{H} ^{\frac{1}{2}} (\mathbb{R} ^3)$ is derived using the Fourier Splitting Method. Estimates are framed in terms of the decay character of initial data, leading to solutions with algebraic decay and showing in detail the roles played by the linear and nonlinear parts.
Global small-time approximate null and Lagrangian controllability of the viscous non-resistive MHD system in a $3D$ domain with Navier type boundary conditions
In this paper, we first prove the global well-posedness of a scaled anisotropic Navier-Stokes system and the hydrostatic Navier-Stokes system in a 2-D striped domain with small analytic data in the tangential variable. Then we justify the limit from the anisotropic Navier-Stokes system to the hydrostatic Navier-Stokes system with analytic data.
In this paper, we shall establish the global well-posedness, the space-time analyticity of the Navier-Stokes equations for a class of large periodic data $u_0 \in BMO^{-1}(\mathbb{R}^3)$. This improves the classical result of Koch \& Tataru \cite{koch-tataru}, for the global well-posedness with small initial data $u_0 \in BMO^{-1}(\mathbb{R}^n)$.
We study the stationary Stokes and Navier-Stokes equations with non-homogeneous Navier boundary condition in a bounded domain $Ω\subset\mathbb{R}^{3}$ of class $\mathcal{C}^{1,1}$. We prove existence, uniqueness of weak and strong solutions in $\mathbf{W}^{1,p}(Ω)$ and $\mathbf{W}^{2,p}(Ω)$ for all $1<p<\infty$ considering minimal regularity on the friction coefficient $α$. Moreover, we deduce uniform estimates on the solution with respect to $α$ which enables us to analyze the behavior of the solution when $α\rightarrow \infty$.
In this paper, we deal with the existence of insensitizing controls for the Navier-Stokes equations in a bounded domain with Dirichlet boundary conditions. We prove that there exist controls insensitizing the $L^2$ -norm of the observation of the solution in an open subset $\mathcal{O}$ of the domain, under suitable assumptions on the data. This problem is equivalent to an exact controllability result for a cascade system. First we prove a global Carleman inequality for the linearized Navier-Stokes system with right-hand side, which leads to the null controllability at any time $T>0$. Then, we…
In this paper we prove a global well-posedness result for tridimensional Navier-Stokes-Boussinesq system with axisymmetric initial data. This system couples Navier-Stokes equations with a transport equation governing the density.
We introduce a framework to justify hydrodynamic limits of the Vlasov-Navier-Stokes system. We specifically study high friction regimes, which take into account the fact that particles of the dispersed phase are light (resp. small) compared to the fluid part, and lead to the derivation of Transport-Navier-Stokes (resp. Inhomogeneous Navier-Stokes) systems.
In the note, a local regularity condition for axisymmetric solutions to the non-stationary 3D Navier-Stokes equations is proven. It reads that axially symmetric energy solutions to the Navier-Stokes equations have no Type I blowups.
We introduce a concept of space-time holomorphic solutions of partial differential equations and construct a meromorphic solution of Navier-Stokes equations.
This work is concerned with the necessary conditions of optimality for a minimal time control problem $(P)$ for the linearized Navier-Stokes periodic flow in a 2D-channel, subject to a boundary input which acts on the transversal component of the velocity. The objective in this problem is the reaching of the laminar regime in a minimum time, as well as its preservation after this time. The determination of the necessary conditions of optimality relies on the analysis of intermediate minimal time control problems $(P_{k})$ for the Fourier modes $"k"$ associated to the Navier-Stokes equations an…
Fundamental solutions to the time-periodic Stokes and Oseen linearizations of the Navier-Stokes equations in dimension $n\geq 2$ are investigated. Integrability properties and pointwise estimates are established.
Multiple spatial zero formations for Stokes and Navier-Stokes equations in three dimensions are shown to occur according to nodal sets of solenoidal Hermite polynomials. Extensions to well-posed Burnett equations with the bi-harmonic viscosity operator are also discussed.
In this paper, we justify the limit from the Navier-Stokes system in a thin domain to the hydrostatic Navier-Stokes/Prandtl system for the convex initial data with Gevrey 9/8 regualrity in $x$.
These notes are dedicated to the analysis of the one-dimensional free-congested Navier-Stokes equations. After a brief synthesis of the results obtained in [4] related to the existence and the asymptotic stability of partially congested profiles associated to the soft congestion Navier-Stokes system, we present a first local well-posedness result for the one-dimensional free-congested Navier-Stokes equations.
An enstrophy cascade is exhibited for the Navier-Stokes equations in physical scales independently of boundary conditions under physically reasonable assumptions on the flow.
In this paper, we prove existence of smooth solutions of the Navier-Stokes equations that gives a positive answer to the problem proposed by Fefferman [3].
In this paper, we study the upper bound of the time decay rate of solutions to the Navier-Stokes equations and generalized Navier-Stokes equations with damping term $|u|^{β-1}u$ ($β>1$) in $\mathbb{R}^3$.
We study 2D Navier-Stokes equations with a constraint on $L^2$ energy of the solution. We prove the existence and uniqueness of a global solution for the constrained Navier-Stokes equation on $\R^2$ and $\T$, by a fixed point argument. We also show that the solution of constrained Navier-Stokes converges to the solution of Euler equation as viscosity $ν$ vanishes.
We discuss the regularity of solutions of 2D incompressible Navier-Stokes equations forced by singular forces. The problem is motivated by the study of complex fluids modeled by the Navier-Stokes equations coupled to a nonlinear Fokker-Planck equation describing microscopic corpora embedded in the fluid. This leads naturally to bounded added stress and hence to $W^{-1,\infty}$ forcing of the Navier-Stokes equations.
We address the issue of existence of weak solutions for the non-homogeneous Navier-Stokes system with Navier friction boundary conditions allowing the presence of vacuum zones and assuming rough conditions on the data. We also study the convergence, as the viscosity goes to zero, of weak solutions for the non-homogeneous Navier-Stokes system with Navier friction boundary conditions to the strong solution of the Euler equations with variable density, provided that the initial data converge in $L^{2}$ to a smooth enough limit.
We prove in this paper a decay estimate for scaling invariant local energy solutions for some toy-models related to the incompressible Navier-Stokes system.
The global well-posedness for the incompressible Navier-Stokes-Vlasov equations in two spatial dimensions is established by a priori estimates, the characteristic method and the semigroup analysis.
A Liouville type theorem is proven for the steady-state Navier-Stokes equations. It follows from the corresponding theorem on the Stokes equations with the drift. The drift is supposed to belong to a certain Morrey space.
In the note, a new regularity condition for axisymmetric solutions to the non-stationary 3D Navier-Stokes equations is proven. It is slightly supercritical.
In this paper, we study the low Mach number limit of the full compressible Navier-Stokes equations with revised Maxwell law. By applying the uniform estimation of the error system, we prove that the solutions of the full compressible Navier-Stokes equations with time relaxation converge to that of the incompressible Navier-Stokes equations as the Mach number tends to zero. Moreover, the convergence rates are also obtained.
