Extensions of Serrin’s Uniqueness and Regularity Conditions for the Navier–Stokes Equations

Consider a smooth bounded domain ${\Omega \subseteq {\mathbb{R}}^3}$ , a time interval [0, T), 0?<?T?≤?∞, and a weak solution u of the Navier–Stokes system. Our aim is to develop several new sufficient conditions on u yielding uniqueness and/or regularity. Based on semigroup properties of the Stokes operator we obtain that the local left-hand Serrin condition for each ${t\in (0,T)}$ is sufficient for the regularity of u. Somehow optimal conditions are obtained in terms of Besov spaces. In particular we obtain such properties under the limiting Serrin condition ${u \in L_{\rm loc}^\infty([0,T);L^3(\Omega))}$ . The complete regularity under this condition has been shown recently for bounded domains using some additional assumptions in particular on the pressure. Our result avoids such assumptions but yields global uniqueness and the right-hand regularity at each time when ${u \in L_{\rm loc}^\infty([0,T);L^3(\Omega))}$ or when ${u(t)\in L^3(\Omega)}$ pointwise and u satisfies the energy equality. In the last section we obtain uniqueness and right-hand regularity for completely general domains.     

Navier–Stokes Equations with Navier Boundary Conditions for an Oceanic Model

We consider the Navier–Stokes equations in a thin domain of which the top and bottom surfaces are not flat. The velocity fields are subject to the Navier conditions on those boundaries and the periodicity condition on the other sides of the domain. This toy model arises from studies of climate and oceanic flows. We show that the strong solutions exist for all time provided the initial data belong to a “large” set in the Sobolev space H ¹. Furthermore we show, for both the autonomous and the nonautonomous problems, the existence of a global attractor for the class of all strong solutions. This attractor is proved to be also the global attractor for the Leray–Hopf weak solutions of the Navier–Stokes equations. One issue that arises here is a nontrivial contribution due to the boundary terms. We show how the boundary conditions imposed on the velocity fields affect the estimates of the Stokes operator and the (nonlinear) inertial term in the Navier–Stokes equations. This results in a new estimate of the trilinear term, which in turn permits a short and simple proof of the existence of strong solutions for all time.     

Error Analysis of a Projection Method for the Navier–Stokes Equations With Coriolis Force

In this paper a projection method for the Navier–Stokes equations with Coriolis force is considered. This time-stepping algorithm takes into account the Coriolis terms both on prediction and correction steps. We study the accuracy of its semi-discretized form and show that the velocity is weakly first-order approximation and the pressure is weakly order frac12frac{1}{2} approximation.     

About the Regularized Navier–Stokes Equations

The first goal of this paper is to study the large time behavior of solutions to the Cauchy problem for the 3-dimensional incompressible Navier–Stokes system. The Marcinkiewicz space L^3, is used to prove some asymptotic stability results for solutions with infinite energy. Next, this approach is applied to the analysis of two classical regularized Navier–Stokes systems. The first one was introduced by J. Leray and consists in mollifying the nonlinearity. The second one was proposed by J.-L. Lions, who added the artificial hyper-viscosity (–)^{/ 2}, > 2 to the model. It is shown in the present paper that, in the whole space, solutions to those modified models converge as t toward solutions of the original Navier–Stokes system.     

On the Two-Phase Navier–Stokes Equations with Boussinesq–Scriven Surface Fluid

Two-phase flows with interface modeled as a Boussinesq–Scriven surface fluid are analysed concerning their fundamental mathematical properties. This extended form of the common sharp-interface model for two-phase flows includes both surface tension and surface viscosity. For this system of partial differential equations with free interface it is shown that the energy serves as a strict Ljapunov functional, where the equilibria of the model without boundary contact consist of zero velocity and spheres for the dispersed phase. The linearizations of the problem are derived formally, showing that equilibria are linearly stable, but nonzero velocities may lead to problems which linearly are not well-posed. This phenomenon does not occur in absence of surface viscosity. The present paper aims at initiating a rigorous mathematical study of two-phase flows with surface viscosity.     

On Nonexistence for Stationary Solutions to the Navier–Stokes Equations with a Linear Strain

We consider stationary solutions to the three-dimensional Navier–Stokes equations for viscous incompressible flows in the presence of a linear strain. For certain class of strains we prove a Liouville type theorem under suitable decay conditions on vorticity fields.     

On the Local Smoothness of Solutions of the Navier–Stokes Equations

We consider the Cauchy problem for incompressible Navier–Stokes equations with initial data in , and study in some detail the smoothing effect of the equation. We prove that for T < ∞ and for any positive integers n and m we have , as long as stays finite.     

whittaker’s Reduction Method for Poincare’s Dynamical Equations

ＷＨＩＴＴＡＫＥＲ＇ＳＲＥＤＵＣＴＩＯＮＭＥＴＨＯＤＦＯＲＰＯＩＮＣＡＲＥ＇ｓＤＹＮＡＭＩＣＡＬＥＱＵＡＴＩＯＮＳＱ．Ｋ．Ｇｈｏｒｉ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃａｌＳｃｉｅｎｃｅｓ，ＫｉｎｇＦａｈｄＵｎｉｖｅｒｓｉｔｙｏｆＰｅｔｒｏ...     

Compressible Navier–Stokes Equations on Thin Domains

We consider the barotropic Navier–Stokes system describing the motion of a compressible viscous fluid confined to a straight layer \({\Omega_\varepsilon = \omega\times (0, \varepsilon)}\) , where ω is a particular 2-D domain (a periodic cell, bounded domain or the whole 2-D space). We show that the weak solutions in the 3D domain converge to a (strong) solutions of the 2-D Navier–Stokes system on ω as \({\varepsilon \to 0}\) on the maximal life time of the strong solution.     

The Navier–Stokes Equations Under a Unilateral Boundary Condition of Signorini’s Type

We propose a new outflow boundary condition, a unilateral condition of Signorini’s type, for the incompressible Navier–Stokes equations. The condition is a generalization of the standard free-traction condition. Its variational formulation is given by a variational inequality. We also consider a penalty approximation, a kind of the Robin condition, to deduce a suitable formulation for numerical computations. Under those conditions, we can obtain energy inequalities that are key features for numerical computations. The main contribution of this paper is to establish the well-posedness of the Navier–Stokes equations under those boundary conditions. Particularly, we prove the unique existence of strong solutions of Ladyzhenskaya’s class using the standard Galerkin’s method. For the proof of the existence of pressures, however, we offer a new method of analysis.     

On the Strong Solvability of the Navier—Stokes Equations

In this paper we study the strong solvability of the Navier—Stokes equations for rough initial data. We prove that there exists essentially only one maximal strong solution and that various concepts of generalized solutions coincide. We also apply our results to Leray—Hopf weak solutions to get improvements over some known uniqueness and smoothness theorems. We deal with rather general domains including, in particular, those having compact boundaries.     

Random Data Cauchy Theory for the Generalized Incompressible Navier–Stokes Equations

In this paper, we consider the generalized Navier?CStokes equations where the space domain is ${\mathbb{T}^N}$ or ${\mathbb{R}^N, N\geq3}$ . The generalized Navier?CStokes equations here refer to the equations obtained by replacing the Laplacian in the classical Navier?CStokes equations by the more general operator (???) ^?? with ${\alpha\in (\frac{1}{2},\frac{N+2}{4})}$ . After a suitable randomization, we obtain the existence and uniqueness of the local mild solution for a large set of the initial data in ${H^s, s\in[-\alpha,0]}$ , if ${1 < \alpha < \frac{N+2}{4}, s\in(1-2\alpha,0]}$ , if ${\frac{1}{2} < \alpha\leq 1}$ . Furthermore, we obtain the probability for the global existence and uniqueness of the solution. Specially, our result shows that, in some sense, the Cauchy problem of the classical Navier?CStokes equation is local well-posed for a large set of the initial data in H ^?1+, exhibiting a gain of ${\frac{N}{2}-}$ derivatives with respect to the critical Hilbert space ${H^{\frac{N}{2}-1}}$ .     

Global Wellposedness for the 3D Inhomogeneous Incompressible Navier–Stokes Equations

This paper addresses the three-dimensional Navier–Stokes equations for an incompressible fluid whose density is permitted to be inhomogeneous. We establish a theorem of global existence and uniqueness of strong solutions for initial data with small ${\dot{H}^{\frac12}}$ -norm, which also satisfies a natural compatibility condition. A key point of the theorem is that the initial density need not be strictly positive.     

On the Wellposedness of Three-Dimensional Inhomogeneous Navier–Stokes Equations in the Critical Spaces

We prove the local wellposedness of three-dimensional incompressible inhomogeneous Navier–Stokes equations with initial data in the critical Besov spaces, without assumptions of small density variation. Furthermore, if the initial velocity field is small enough in the critical Besov space [(B)dot]^1/2_2,1(mathbbR³){dot B^{1/2}_{2,1}(mathbb{R}^3)} , this system has a unique global solution.     

Stability Properties of POD–Galerkin Approximations for the Compressible Navier–Stokes Equations

Fluid flows are very often governed by the dynamics of a mall number of coherent structures, i.e., fluid features which keep their individuality during the evolution of the flow. The purpose of this paper is to study a low order simulation of the Navier–Stokes equations on the basis of the evolution of such coherent structures. One way to extract some basis functions which can be interpreted as coherent structures from flow simulations is by Proper Orthogonal Decomposition (POD). Then, by means of a Galerkin projection, it is possible to find the system of ODEs which approximates the problem in the finite-dimensional space spanned by the POD basis functions. It is found that low order modeling of relatively complex flow simulations, such as laminar vortex shedding from an airfoil at incidence and turbulent vortex shedding from a square cylinder, provides good qualitative results compared with reference computations. In this respect, it is shown that the accuracy of numerical schemes based on simple Galerkin projection is insufficient and numerical stabilization is needed. To conclude, we approach the issue of the optimal selection of the norm, namely the H ¹ norm, used in POD for the compressible Navier–Stokes equations by several numerical tests. Received 21 April 1999 and accepted 18 November 1999