我们研究光滑单连通有界域中的三维Navier-Stokes方程，控制施加在边界的一个非空开子集上，边界其余无控制部分满足Navier滑移摩擦边界条件。我们将文献[J. M. Coron, F. Marbach and F. Sueur, Small-time global exact controllability of the Navier-Stokes equation with Navier slip-with-friction boundary conditions, J. Eur. Math. Soc., 22 (2020),1625-1673.]中的小时间全局精确可控性结果从Leray弱解推广到光滑解的情形。我们的策略依赖于对无控制边界附近出现的粘性边界层的精心制备耗散方法的改进，这使得我们能够在更精细的拓扑下处理多尺度特征。作为分析的副产品，我们还得到了小时间全局近似拉格朗日益可控性结果，将Euler方程情形下的近期结果[O. Glass and T. Horsin, Approximate Lagrangian controllability for the 2-D Euler equation. Application to the control of the shape of vortex patches, J. Math. Pures Appl. (9), 93 (2010), 61-90]、[O. Glass and T. Horsin, Prescribing the motion of a set of particles in a three-dimensional perfect fluid, SIAM J. Control Optim., 50 (2012), 2726-2742]、[T. Horsin and O. Kavian, Lagrangian controllability of inviscid incompressible fluids: a constructive approach, ESAIM Control Optim. Calc. Var., 23 (2017), 1179-1200]以及定常Stokes方程情形下的结果[O. Glass and T. Horsin, Lagrangian controllability at low Reynolds number, ESAIM Control Optim. Calc. Var., 22 (2016), 1040-1053]推广到了Navier-Stokes方程的情形。
英文摘要：
We deal with the 3D Navier-Stokes equation in a smooth simply connected bounded domain, with controls on a non-empty open part of the boundary and a Navier slip-with-friction boundary condition on the remaining, uncontrolled, part of the boundary. We extend the small-time global exact controllability result in [J. M. Coron, F. Marbach and F. Sueur, Small-time global exact controllability of the Navier-Stokes equation with Navier slip-with-friction boundary conditions, J. Eur. Math. Soc., 22 (2020),1625-1673.] from Leray weak solutions to the case of smooth solutions. Our strategy relies on a refinement of the method of well-prepared dissipation of the viscous boundary layers which appear near the uncontrolled part of the boundary, which allows to handle the multi-scale features in a finer topology.
As a byproduct of our analysis we also obtain a small-time global approximate Lagrangian controllability result, extending to the case of the Navier-Stokes equations the recent results [O. Glass and T. Horsin, Approximate Lagrangian controllability for the 2-D Euler equation. Application to the control of the shape of vortex patches, J. Math. Pures Appl. (9), 93 (2010), 61-90], [O. Glass and T. Horsin, Prescribing the motion of a set of particles in a three-dimensional perfect fluid, SIAM J. Control Optim., 50 (2012), 2726-2742], [T. Horsin and O. Kavian, Lagrangian controllability of inviscid incompressible fluids: a constructive approach, ESAIM Control Optim. Calc. Var., 23 (2017), 1179-1200] in the case of the Euler equations and the result [O. Glass and T. Horsin, Lagrangian controllability at low Reynolds number, ESAIM Control Optim. Calc. Var., 22 (2016), 1040-1053] in the case of the steady Stokes equations.
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…
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 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 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…
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.
We extend Barker's weak-strong uniqueness results for the Navier--Stokes equations and consider a criterion involving Besov spaces and weighted Lebesgue spaces.
It is shown that any smooth solution to the stationary Navier-Stokes system in $R^3$ with the velocity field, belonging globally to $L_6$ and $BM0^{-1}$, must be zero.
A proof is given of the global existence and uniqueness of a weak solution to Navier-Stokes boundary problem. The proof is short and essentially self-contained.
Extending the work of Jia and Sverak on self-similar solutions of the Navier-Stokes equations, we show the existence of large, forward, discretely self-similar solutions.
Applying the DeGiorgi Method the Holder continuity of the swirl is proved for solutions to the Navier-Stokes equations from Lq(0,T;Lp) with 3/p+2/q < 1.
We consider ionic electrodiffusion in fluids, described by the Nernst-Planck-Navier-Stokes system in bounded domains, in two dimensions, with Dirichlet boundary conditions for the Navier-Stokes and Poisson equations, and blocking (vanishing normal flux) or selective (Dirichlet) boundary conditions for the ionic concentrations. We prove global existence and stability results for large data.
We prove that there exists an interval of time which is uniform in the vanishing viscosity limit and for which the Navier-Stokes equation with Navier boundary condition has a strong solution. This solution is uniformly bounded in a conormal Sobolev space and has only one normal derivative bounded in $L^\infty$. This allows to get the vanishing viscosity limit to the incompressible Euler system from a strong compactness argument.
