Time-dependent Stokes and Navier–Stokes problems with boundary conditions involving pressure, existence and regularity

This paper is concerned with the time-dependent Stokes and Navier–Stokes problems with nonstandard boundary conditions: the pressure is given on some part of the boundary. The stationary case was first studied by Bégue, Conca, Murat and Pironneau and, next, their study were completed by Bernard, mainly about regularity. In this paper, the Stokes problem is studied by a method analogous to that of Temam for the standard problem, combined with regularity results of Bernard for the nonstandard stationary case. We obtain existence, uniqueness and regularity H². In addition, in two dimensions, a regularity W^2,r, r2, is proved. Next, for the nonstandard Navier–Stokes problem, we present some existence, uniqueness and regularity H² results. The proof of existence is based on a fixed point method.     

Global existence and asymptotic behavior for the compressible Navier–Stokes equations with a non‐autonomous external force and a heat source

In this paper, we prove the global existence and asymptotic behavior, as time tends to infinity, of solutions in Hⁱ (i=1, 2) to the initial boundary value problem of the compressible Navier–Stokes equations of one‐dimensional motion of a viscous heat‐conducting gas in a bounded region with a non‐autonomous external force and a heat source. Some new ideas and more delicate estimates are used to prove these results. Copyright © 2008 John Wiley & Sons, Ltd.     

On the asymptotic stability of steady solutions of the Navier–Stokes equations in unbounded domains

We consider the problem of the asymptotic behaviour in the L²‐norm of solutions of the Navier–Stokes equations. We consider perturbations to the rest state and to stationary motions. In both cases we study the initial‐boundary value problem in unbounded domains with non‐compact boundary. In particular, we deal with domains with varying and possibly divergent exits to infinity and aperture domains. Copyright © 2007 John Wiley & Sons, Ltd.     

Convergence analysis and computational testing of the finite element discretization of the Navier–Stokes alpha model

This report performs a complete analysis of convergence and rates of convergence of finite element approximations of the Navier–Stokes‐α (NS‐α) regularization of the NSE, under a zero‐divergence constraint on the velocity, to the true solution of the NSE. Convergence of the discrete NS‐α approximate velocity to the true Navier–Stokes velocity is proved and rates of convergence derived, under no‐slip boundary conditions. Generalization of the results herein to periodic boundary conditions is evident. Two‐dimensional experiments are performed, verifying convergence and predicted rates of convergence. It is shown that the NS‐α‐FE solutions converge at the theoretical limit of O(h²) when choosing α = h, in the H¹ norm. Furthermore, in the case of flow over a step the NS‐α model is shown to resolve vortex separation in the recirculation zone. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2010     

A fully discrete nonlinear Galerkin method for the 3D Navier–Stokes equations

The purpose of this paper is twofold: (i) We show that the Fourier‐based Nonlinear Galerkin Method (NLGM) constructs suitable weak solutions to the periodic Navier–Stokes equations in three space dimensions provided the large scale/small scale cutoff is appropriately chosen. (ii) If smoothness is assumed, NLGM always outperforms the Galerkin method by a factor equal to 1 in the convergence order of the H ¹‐norm for the velocity and the L²‐norm for the pressure. This is a purely linear superconvergence effect resulting from standard elliptic regularity and holds independently of the nature of the boundary conditions (whether periodicity or no‐slip BC is enforced). © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2008     

Vanishing viscosity limit of the Navier‐Stokes equations to the euler equations for compressible fluid flow

We establish the vanishing viscosity limit of the Navier‐Stokes equations to the isentropic Euler equations for one‐dimensional compressible fluid flow. For the Navier‐Stokes equations, there exist no natural invariant regions for the equations with the real physical viscosity term so that the uniform sup‐norm of solutions with respect to the physical viscosity coefficient may not be directly controllable. Furthermore, convex entropy‐entropy flux pairs may not produce signed entropy dissipation measures. To overcome these difficulties, we first develop uniform energy‐type estimates with respect to the viscosity coefficient for solutions of the Navier‐Stokes equations and establish the existence of measure‐valued solutions of the isentropic Euler equations generated by the Navier‐Stokes equations. Based on the uniform energy‐type estimates and the features of the isentropic Euler equations, we establish that the entropy dissipation measures of the solutions of the Navier‐Stokes equations for weak entropy‐entropy flux pairs, generated by compactly supported C² test functions, are confined in a compact set in H^?1, which leads to the existence of measure‐valued solutions that are confined by the Tartar‐Murat commutator relation. A careful characterization of the unbounded support of the measure‐valued solution confined by the commutator relation yields the reduction of the measurevalued solution to a Dirac mass, which leads to the convergence of solutions of the Navier‐Stokes equations to a finite‐energy entropy solution of the isentropic Euler equations with finite‐energy initial data, relative to the different end‐states at infinity. © 2010 Wiley Periodicals, Inc.     

Bivariate spline method for numerical solution of time evolution Navier‐Stokes equations over polygons in stream function formulation

We use a bivariate spline method to solve the time evolution Navier‐Stokes equations numerically. The bivariate splines we use in this article are in the spline space of smoothness r and degree 3r over triangulated quadrangulations. The stream function formulation for the Navier‐Stokes equations is employed. Galerkin's method is applied to discretize the space variables of the nonlinear fourth‐order equation, Crank‐Nicholson's method is applied to discretize the time variable, and Newton's iterative method is then used to solve the resulting nonlinear system. We show the existence and uniqueness of the weak solution in L₂(0, T; H²(Ω)) ∩ L_∞(0, T; H¹(Ω)) of the 2D nonlinear fourth‐order problem and give an estimate of how fast the numerical solution converges to the weak solution. The C¹ cubic splines are implemented in MATLAB for solving the Navier‐Stokes equations numerically. Our numerical experiments show that the method is effective and efficient. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 776–827, 2003.     

Non‐homogeneous Navier–Stokes systems with order‐parameter‐dependent stresses

We consider the Navier–Stokes system with variable density and variable viscosity coupled to a transport equation for an order‐parameter c. Moreover, an extra stress depending on c and ?c, which describes surface tension like effects, is included in the Navier–Stokes system. Such a system arises, e.g. for certain models of granular flows and as a diffuse interface model for a two‐phase flow of viscous incompressible fluids. The so‐called density‐dependent Navier–Stokes system is also a special case of our system. We prove short‐time existence of strong solution in L^q‐Sobolev spaces with q>d. We consider the case of a bounded domain and an asymptotically flat layer with a combination of a Dirichlet boundary condition and a free surface boundary condition. The result is based on a maximal regularity result for the linearized system. Copyright © 2010 John Wiley & Sons, Ltd.     

Stokes and Navier–Stokes equations with nonhomogeneous boundary conditions

In this paper, we study the existence and regularity of solutions to the Stokes and Oseen equations with nonhomogeneous Dirichlet boundary conditions with low regularity. We consider boundary conditions for which the normal component is not equal to zero. We rewrite the Stokes and the Oseen equations in the form of a system of two equations. The first one is an evolution equation satisfied by Pu, the projection of the solution on the Stokes space – the space of divergence free vector fields with a normal trace equal to zero – and the second one is a quasi-stationary elliptic equation satisfied by (I−P)u, the projection of the solution on the orthogonal complement of the Stokes space. We establish optimal regularity results for Pu and (I−P)u. We also study the existence of weak solutions to the three-dimensional instationary Navier–Stokes equations for more regular data, but without any smallness assumption on the initial and boundary conditions.     

Stability and error analysis for spectral Galerkin method for the Navier–Stokes equations with L2 initial data

In this article we consider the spectral Galerkin method with the implicit/explicit Euler scheme for the two‐dimensional Navier–Stokes equations with the L² initial data. Due to the poor smoothness of the solution on [0,1), we use the the spectral Galerkin method based on high‐dimensional spectral space H_M and small time step Δt² on this interval. While on [1,∞), we use the spectral Galerkin method based on low‐dimensional spectral space H_m(m = O(M^1/2)) and large time step Δt. For the spectral Galerkin method, we provide the standard H²‐stability and the L²‐error analysis. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2007     

Navier–Stokes equations with slip boundary conditions

In this paper, we consider incompressible viscous fluid flows with slip boundary conditions. We first prove the existence of solutions of the unsteady Navier–Stokes equations in n‐spacial dimensions. Then, we investigate the stability, uniqueness and regularity of solutions in two and three spacial dimensions. In the compactness argument, we construct a special basis fulfilling the incompressibility exactly, which leads to an efficient and convergent spectral method. In particular, we avoid the main difficulty for ensuring the incompressibility of numerical solutions, which occurs in other numerical algorithms. We also derive the vorticity‐stream function form with exact boundary conditions, and establish some results on the existence, stability and uniqueness of its solutions. Copyright © 2007 John Wiley & Sons, Ltd.     

On the regularity of flows with Ladyzhenskaya Shear‐dependent viscosity and slip or non‐slip boundary conditions

Navier‐Stokes equations with shear dependent viscosity under the classical non‐slip boundary condition have been introduced and studied, in the sixties, by O. A. Ladyzhenskaya and, in the case of gradient dependent viscosity, by J.‐L. Lions. A particular case is the well known Smagorinsky turbulence model. This is nowadays a central subject of investigation. On the other hand, boundary conditions of slip type seems to be more realistic in some situations, in particular in numerical applications. They are a main research subject. The existence of weak solutions u to the above problems, with slip (or non‐slip) type boundary conditions, is well known in many cases. However, regularity up to the boundary still presents many open questions. In what follows we present some regularity results, in the stationary case, for weak solutions to this kind of problems; see Theorems 3.1 and 3.2. The evolution problem is studied in the forthcoming paper [6]; see the remark at the end of the introduction. © 2004 Wiley Periodicals, Inc.     

Error estimate and regularity for the compressible Navier‐Stokes equations by Newton's method

The finite element discretization error estimate and H¹ regularity are shown for the solution generated by Newton's method to the stationary compressible Navier‐Stokes equations by interpreting Newton's method as an equivalent iterative method. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 511–524, 2003     

Bivariate spline method for numerical solution of steady state Navier–Stokes equations over polygons in stream function formulation

We use the bivariate spline finite elements to numerically solve the steady state Navier–Stokes equations. The bivariate spline finite element space we use in this article is the space of splines of smoothness r and degree 3r over triangulated quadrangulations. The stream function formulation for the steady state Navier–Stokes equations is employed. Galerkin's method is applied to the resulting nonlinear fourth‐order equation, and Newton's iterative method is then used to solve the resulting nonlinear system. We show the existence and uniqueness of the weak solution in H²(Ω) of the nonlinear fourth‐order problem and give an estimate of how fast the numerical solution converges to the weak solution. The Galerkin method with C¹ cubic splines is implemented in MATLAB. Our numerical experiments show that the method is effective and efficient. © 2000 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 16: 147–183, 2000     

Two‐level Newton iterative method for the 2D/3D steady Navier‐Stokes equations

A combination method of the Newton iteration and two‐level finite element algorithm is applied for solving numerically the steady Navier‐Stokes equations under the strong uniqueness condition. This algorithm is motivated by applying the m Newton iterations for solving the Navier‐Stokes problem on a coarse grid and computing the Stokes problem on a fine grid. Then, the uniform stability and convergence with respect to ν of the two‐level Newton iterative solution are analyzed for the large m and small H and h << H. Finally, some numerical tests are made to demonstrate the effectiveness of the method. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2012     

Global existence of the radially symmetric solutions of the Navier–Stokes equations for the isentropic compressible fluids

We study the isentropic compressible Navier–Stokes equations with radially symmetric data in an annular domain. We first prove the global existence and regularity results on the radially symmetric weak solutions with non‐negative bounded densities. Then we prove the global existence of radially symmetric strong solutions when the initial data ρ₀, u ₀ satisfy the compatibility condition for some radially symmetric g ∈ L². The initial density ρ₀ needs not be positive. We also prove some uniqueness results on the strong solutions. Copyright © 2004 John Wiley & Sons, Ltd.     

Strong solutions for the nonhomogeneous Navier–Stokes equations in unbounded domains

We show the existence of strong solutions for the nonhomogeneous Navier–Stokes equations in three‐dimensional domains with boundary uniformly of class C³. Under suitable assumptions, uniqueness is also proved. Copyright © 2009 John Wiley & Sons, Ltd.     

Analyticity estimates for the Navier–Stokes equations

We study spatial analyticity properties of solutions of the three-dimensional Navier–Stokes equations and obtain new growth rate estimates for the analyticity radius. We also study stability properties of strong global solutions of the Navier–Stokes equations with data in Hr, r?1/2, and prove a stability result for the analyticity radius.     

Two‐level discretization of the Navier‐Stokes equations with r‐Laplacian subgridscale viscosity

The r‐Laplacian has played an important role in the development of computationally efficient models for applications, such as numerical simulation of turbulent flows. In this article, we examine two‐level finite element approximation schemes applied to the Navier‐Stokes equations with r‐Laplacian subgridscale viscosity, where r is the order of the power‐law artificial viscosity term. In the two‐level algorithm, the solution to the fully nonlinear coarse mesh problem is utilized in a single‐step linear fine mesh problem. When modeling parameters are chosen appropriately, the error in the two‐level algorithm is comparable to the error in solving the fully nonlinear problem on the fine mesh. We provide rigorous numerical analysis of the two‐level approximation scheme and derive scalings which vary based on the coefficient r, coarse mesh size H, fine mesh size h, and filter radius δ. We also investigate the two‐level algorithm in several computational settings, including the 3D numerical simulation of flow past a backward‐facing step at Reynolds number Re = 5100. In all numerical tests, the two‐level algorithm was proven to achieve the same order of accuracy as the standard one‐level algorithm, at a fraction of the computational cost. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2011     

Time delay and finite differences for the non-stationary non-linear Navier–Stokes equations

In the present paper we use a time delay ? > 0 for an energy conserving approximation of the non-linear term of the non-stationary Navier–Stokes equations. We prove that the corresponding initial-value problem (N_?) in smoothly bounded domains G ? ?³ is well-posed. We study a semidiscretized difference scheme for (N_?) and prove convergence to optimal order in the Sobolev space H²(G). Passing to the limit ?→0 we show that the sequence of stabilized solutions has an accumulation point such that it solves the Navier–Stokes problem (N_o) in a weak sense (Hopf).