Uniform Regularity for the Navier–Stokes Equation with Navier Boundary Condition

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 the 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 ^∞. This allows us to obtain the vanishing viscosity limit to the incompressible Euler system from a strong compactness argument.     

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 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.     

Extensions to the Macroscopic Navier–Stokes Equation

A development is provided showing that for any phase, by not neglecting the macroscopic terms of the deviation from the intensive momentum and of the dispersive momentum, we obtain a macroscopic secondary momentum balance equation coupled with a macroscopic dominant momentum balance equation that is valid at a larger spatial scale. The macroscopic secondary momentum balance equation is in the form of a wave equation that propagates the deviation from the intensive momentum while concurrently, in the case of a Newtonian fluid and under certain assumptions, the macroscopic dominant momentum balance equation may be approximated by Darcys equation to address drag dominant flow. We then develop extensions to the dominant macroscopic Navier–Stokes (NS) equation for saturated porous matrices, to account for the pressure gradient at the microscopic solid-fluid interfaces. At the microscopic interfaces we introduce the exchange of inertia between the phases, accounting for the relative fluid square velocities and the rate of these velocities, interpreted as Forchheimer terms. Conditions are provided to approximate the extended dominant NS equation by Forchheimer quadratic momentum law or by Darcys linear momentum law. We also show that the dominant NS equation can conform into a nonlinear wave equation. The one-dimensional numerical solution of this nonlinear wave equation demonstrates good qualitative agreement with experiments for the case of a highly deformable elasto-plastic matrix.     

On the Time Decay of the Solutions of the Navier–Stokes System

We investigate the relationship between the time decay of the solutions u of the Navier–Stokes system on a bounded open subset of and the time decay of the right-hand sides f. In suitable function spaces, we prove that u always inherits at least part of the decay of f, up to exponential, and that the decay properties of u depend only upon the amount and type (e.g., exponential, or power-like) of decay of f. This is done by first making clear what is meant by “type” and “amount” of decay and by next elaborating upon recent abstract results pointing to the fact that, in linear and nonlinear PDEs, the decay of the solutions is often intimately related to the Fredholmness of the differential operator. This work was done while the second author was visiting the Bernoulli Center, EPFL, Switzerland, whose support is gratefully acknowledged.     

On the Characterization of the Navier–Stokes Flows with the Power-Like Energy Decay

We study the energy decay of the turbulent solutions to the Navier–Stokes equations in the whole three-dimensional space. We show as the main result that the solutions with the energy decreasing at the rate \({O(t^{-\alpha}), t \rightarrow \infty, \alpha \in [0, 5/2]}\) , are exactly characterized by their initial conditions belonging into the homogeneous Besov space \({\dot{B}^{-\alpha}_{2, \infty}}\) . Similarly, for a solution u and \({p \in [1, \infty]}\) the integral \({\int_{0}^{\infty} \|t^{\alpha/2} u(t)\|^p \frac{1}{t} dt}\) is finite if and only if the initial condition of u belongs to the homogeneous Besov space \({\dot{B}_{2, p}^{-\alpha}}\) . For the case \({\alpha \in (5/2, 9/2]}\) we present analogical results for some subclasses of turbulent solutions.     

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.     

Isolated Singularity for the Stationary Navier—Stokes System

In this paper the classical method to prove a removable singularity theorem for harmonic functions near an isolated singular point is extended to solutions to the stationary Stokes and Navier—Stokes system. Finding series expansion of solutions in terms of homogeneous harmonic polynomials, we establish some known results and new theorems concerning the behavior of solutions near an isolated singular point. In particular, we prove that if (u, p) is a solution to the Navier—Stokes system in B_R \{0} B_R \setminus \{0\} , n 3 3 n \geq 3 and |u(x)| = o (|x|^{-(n - 1)/2}) |u(x)| = o\,(|x|^{-(n - 1)/2}) as |x| ? 0 |x| \to 0 or u ? L^{2n/(n - 1)}(B_R) u \in L^{2n/(n - 1)}(B_R) , then (u, p) is a distribution solution and if in addition, u ? L^b(B_R) u \in L^{\beta}(B_R) for some b > n \beta > n then ( u, p) is smooth in BR.     

A Variational Approach for the Navier–Stokes System

We introduce a variational approach to treat the regularity of the Navier–Stokes equations both in dimensions 2 and 3. Though the method allows the full treatment in dimension 2, we seek to precisely stress where it breaks down for dimension 3. The basic feature of the procedure is to look directly for strong solutions, by minimizing a suitable error functional that measures the departure of feasible fields from being a solution of the problem. By considering the divergence-free property as part of feasibility, we are able to avoid the explicit analysis of the pressure. Two main points in our analysis are:

On the Static-Limit Solutions to the Navier—Stokes Equations of Compressible Flow

We consider the zero-velocity stationary problem of the Navier--Stokes equations of compressible isentropic flow describing the distribution of the density r \varrho of a fluid in a spatial domain W ì R^N \Omega \subset {\rm R}^N driven by a time-independent potential external force [(f)\vec] = \triangledown F \vec f = \triangledown F . We study the structure of the set of all solutions to the stationary problem having a prescribed mass m > 0 and a prescribed energy. Cardinality of the solution set depends on m and it is either continuum or at most two. Conditions on m for distinguishing these cases have been found. Uniqueness for the stationary system is also studied.     

Ill-posedness of the Hydrostatic Euler and Navier–Stokes Equations

We prove that the linearization of the hydrostatic Euler equations at certain parallel shear flows is ill-posed. The result also extends to the hydrostatic Navier–Stokes equations with a small viscosity.     

On the Regularity Set and Angular Integrability for the Navier–Stokes Equation

We investigate the size of the regular set for suitable weak solutions of the Navier–Stokes equation, in the sense of Caffarelli–Kohn–Nirenberg (Commun Pure Appl Math 35:771–831, 1982). We consider initial data in weighted Lebesgue spaces with mixed radial-angular integrability, and we prove that the regular set increases if the data have higher angular integrability, invading the whole half space \({\{t > 0\}}\) in an appropriate limit. In particular, we obtain that if the \({L^{2}}\) norm with weight \({|x|^{-\frac12}}\) of the data tends to 0, the regular set invades \({\{t > 0\}}\); this result improves Theorem D of Caffarelli et al. (Commun Pure Appl Math 35:771–831, 1982).     

Time-Periodic Solutions to the Full Navier–Stokes–Fourier System

We consider the full Navier–Stokes–Fourier system describing the motion of a compressible viscous and heat conducting fluid driven by a time-periodic external force. We show the existence of at least one weak time periodic solution to the problem under the basic hypothesis that the system is allowed to dissipate the thermal energy through the boundary. Such a condition is in fact necessary, as energetically closed fluid systems do not possess non-trivial (changing in time) periodic solutions as a direct consequence of the Second law of thermodynamics.     

Local Exact Controllability for the One-Dimensional Compressible Navier–Stokes Equation

In this paper we deal with the isentropic (compressible) Navier-Stokes equation in one space dimension and we adress the problem of the boundary controllability for this system. We prove that we can drive initial conditions which are sufficiently close to some constant states to those constant states. This is done under some natural hypotheses on the time of control and on the regularity on the initial conditions.     

Block-structured compressible Navier–Stokes solution using the OPS high-level abstraction

abstract

In this paper, we report the development and validation of a compressible solver with shock capturing, using a domain-specific high-level abstraction framework, OPS, that is being developed at the University of Oxford. OPS uses an active library approach for block-structured meshes, capable of generating codes for a variety of parallel implementations with different parallelisation strategies. Performance results on various architectures are reported for the 1D Shu–Osher test case.     

Asymptotic Properties of Axis-Symmetric D-Solutions of the Navier–Stokes Equations

We consider asymptotic behavior of Leray’s solution which expresses axis-symmetric incompressible Navier–Stokes flow past an axis-symmetric body. When the velocity at infinity is prescribed to be nonzero constant, Leray’s solution is known to have optimum decay rate, which is in the class of physically reasonable solution. When the velocity at infinity is prescribed to be zero, the decay rate at infinity has been shown under certain restrictions such as smallness on the data. Here we find an explicit decay rate when the flow is axis-symmetric by decoupling the axial velocity and the horizontal velocities. The first author was supported by KRF-2006-312-C00466. The second author was supported by KRF-2006-531-C00009.     

Optimal Results for the Nonhomogeneous Initial-Boundary Value Problem for the Two-Dimensional Navier–Stokes Equations

In this work we study the fully nonhomogeneous initial boundary value problem for the two-dimensional time-dependent Navier–Stokes equations in a general open space domain in R² with low regularity assumptions on the initial and the boundary value data. We show that the perturbed Navier–Stokes operator is a diffeomorphism from a suitable function space onto its own dual and as a corollary we get that the Navier–Stokes equations are uniquely solvable in these spaces and that the solution depends smoothly on all involved data. Our source data space and solution space are in complete natural duality and in this sense, without any smallness assumptions on the data, we solve the equations for data with optimally low regularity in both space and time.     

A spectral solver for the Navier–Stokes equations in the velocity–vorticity formulation

A numerical algorithm intended for the study of flows in a cylindrical container under laminar flow conditions is proposed. High resolution of the flow field, governed by the Navier–Stokes equations in velocity–vorticity formulation relative to a cylindrical frame of reference, is achieved through spatial discretisation by means of the spectral method. This method is based on a Fourier expansion in the azimuthal direction and an expansion in Chebyshev polynomials in the (nonperiodic) radial and axial directions. Several regularity constraints are used to take care of the coordinate singularity. These constraints are implemented, together with the boundary conditions at the top, bottom and mantle of the cylinder, via the tau method. The a priori unknown boundary values of the vorticity are evaluated by means of the influence-matrix technique. The compatibility between the mathematical and numerical formulation of the Navier–Stokes equations is established through a tau-correction procedure. The resolved flow field exhibits high-precision satisfaction of the incompressibility constraints for velocity and vorticity and the definition of the vorticity. The performance of the solver is illustrated by resolution of several configurations representative of generic three-dimensional laminar flows.