Steady Flow of a Navier–Stokes Liquid Past an Elastic Body

We perform a mathematical analysis of the steady flow of a viscous liquid, L{\mathcal{L}} , past a three-dimensional elastic body, B{\mathcal{B}} . We assume that L{\mathcal{L}} fills the whole space exterior to B{\mathcal{B}} , and that its motion is governed by the Navier–Stokes equations corresponding to non-zero velocity at infinity, v _∞. As for B{\mathcal{B}} , we suppose that it is a St. Venant–Kirchhoff material, held in equilibrium either by keeping an interior portion of it attached to a rigid body or by means of appropriate control body force and surface traction. We treat the problem as a coupled steady state fluid-structure problem with the surface of B{\mathcal{B}} as a free boundary. Our main goal is to show existence and uniqueness for the coupled system liquid-body, for sufficiently small |v _∞|. This goal is reached by a fixed point approach based upon a suitable reformulation of the Navier–Stokes equation in the reference configuration, along with appropriate a priori estimates of solutions to the corresponding Oseen linearization and to the elasticity equations.     

Maximal L p – L q -Estimates for the Stokes Equation: a Short Proof of Solonnikov’s Theorem

Introducing a new localization method involving Bogovskiĭ's operator we give a short and new proof for maximal L^p – L^q-estimates for the solution of the Stokes equation. Moreover, it is shown that, up to constants, the Stokes operator is an R{\mathcal{R}}-sectorial operator in L^p_s(W)L^{p}_{\sigma}(\Omega), 1 < p < ￥1 < p < \infty, of R{\mathcal{R}}-angle 0, for bounded or exterior domains of Ω.     

$\mathcal{H}_{2}$ state-feedback control for LPV systems with input saturation and matched disturbance

This paper proposes a controller design for linear parameter-varying (LPV) systems with input saturation and a matched disturbance. On the basis of the feedback gain matrix K(θ(t)) and the Lyapunov function V(x(t)), three types of controllers are suggested under H₂{\mathcal{H}}_{2} performance conditions. To this end, the conditions used for designing the H₂{\mathcal{H}}_{2} state-feedback controller are first formulated in terms of parameterized linear matrix inequalities (PLMIs). They are then converted into linear matrix inequalities (LMIs) using a parameter relaxation technique. The simulation results illustrate the effectiveness of the proposed controllers.     

Floating Bodies in Neutral Equilibrium

In his paper preceding in this issue, Finn proved that if the contact angle γ of a convex body B{\mathcal{B}} with a given liquid is π/2, and if B{\mathcal{B}} can be made to float in “neutral equilibrium” in the liquid in any orientation, then B{\mathcal{B}} is a metric ball. The present work extends that result, with an independent proof, to any contact angle in the range 0 < γ < π. Our result is equivalent to the general geometric theorem that if for every orientation of a plane, it can be translated to meet a given strictly convex body B{\mathcal{B}} in a fixed angle γ within the above range, then B{\mathcal{B}} is a metric ball.     

Finest Morse Decompositions for Semigroup Actions on Fiber Bundles

Let S{\mathcal{S}} be a semigroup acting on a topological space M. We study finest Morse decompositions for the action of S{\mathcal{S}} on M. This concept depends on a family of subsets of S{\mathcal{S}} . For certain semigroups and families it recovers the concept of Morse decomposition for flows and semiflows. This paper also studies the behaviour of Morse decompositions for semigroup actions on principal bundles and their associated bundles. The emphasis is put on the study of those decompositions considering their projections onto the base space and their intersections with the fibers.     

Well-posedness and Regularity for the Elasticity Equation with Mixed Boundary Conditions on Polyhedral Domains and Domains with Cracks

We prove a regularity result for the anisotropic linear elasticity equation ${P u := {\rm div} \left( \boldmath\mathsf{C} \cdot \nabla u\right) = f}We prove a regularity result for the anisotropic linear elasticity equationP u : = div ( C ·?u) = f{P u := {\rm div} \left( \boldmath\mathsf{C} \cdot \nabla u\right) = f} , with mixed (displacement and traction) boundary conditions on a curved polyhedral domain W ì \mathbbR³{\Omega \subset \mathbb{R}^3} in weighted Sobolev spaces K^m+1_a+1(W){\mathcal {K}^{m+1}_{a+1}(\Omega)} , for which the weight is given by the distance to the set of edges. In particular, we show that there is no loss of K^m_a{\mathcal {K}^{m}_{a}} -regularity. Our curved polyhedral domains are allowed to have cracks. We establish a well-posedness result when there are no neighboring traction boundary conditions and |a| < η, for some small η > 0 that depends on P, on the boundary conditions, and on the domain Ω. Our results extend to other strongly elliptic systems and higher dimensions.     

Hydrodynamic Limit of Gradient Exclusion Processes with Conductances

Fix a strictly increasing right continuous with left limits function ${W: \mathbb{R} \to \mathbb{R}}Fix a strictly increasing right continuous with left limits function W: \mathbbR ? \mathbbR{W: \mathbb{R} \to \mathbb{R}} and a smooth function F: [l,r] ? \mathbb R{\Phi : [l,r] \to \mathbb R}, defined on some interval [l, r] of \mathbb R{\mathbb R}, such that 0 < b\leqq F￠\leqq b^-1{0 < b\leqq \Phi'\leqq b^{-1}}. On the diffusive time scale, the evolution of the empirical density of exclusion processes with conductances given by W is described by the unique weak solution of the non-linear differential equation ?_t r = (d/dx)(d/dW) F(r){\partial_t \rho = ({\rm d}/{\rm d}x)({\rm d}/{\rm d}W) \Phi(\rho)}. We also present some properties of the operator (d/dx)(d/dW).     

An Eigenvalue Criterion for Stability of a Steady Navier–Stokes Flow in {\mathbb{R}}^3

We study the resolvent equation associated with a linear operator L{\mathcal{L}} arising from the linearized equation for perturbations of a steady Navier–Stokes flow U^*{\mathbf{U^*}}. We derive estimates which, together with a stability criterion from [33], show that the stability of U^*{\mathbf{U^*}} (in the L²-norm) depends only on the position of the eigenvalues of L{\mathcal{L}}, regardless the presence of the essential spectrum.     

On Kato’s Method for Navier–Stokes Equations

We investigate Kato’s method for parabolic equations with a quadratic non-linearity in an abstract form. We extract several properties known from linear systems theory which turn out to be the essential ingredients for the method. We give necessary and sufficient conditions for these conditions and provide new and more general proofs, based on real interpolation. In application to the Navier–Stokes equations, our approach unifies several results known in the literature, partly with different proofs. Moreover, we establish new existence and uniqueness results for rough initial data on arbitrary domains in \mathbbR³{\mathbb{R}}^{3} and irregular domains in \mathbbRⁿ{\mathbb{R}}^{n}.     

Nonlinear Differential Equations in {\mathcal{B}(\mathcal{H})} Motivated by Learning Models

We study a system of ordinary differential equations in B(H){\mathcal{B}(\mathcal{H})} , the space of all bounded linear operators on a separable Hilbert space H{\mathcal{H}} . The system considered is a natural generalization of the Oja–Cox–Adams learning models. We establish the local existence of solutions and solve explicitly the system for a class of initial conditions. For such cases, we also characterize the asymptotic behavior of solutions.     

$${\mathcal{A}}$$-Stability of Global Attractors of Competition Diffusion Systems

We study the structural stability of global attractors (A{\mathcal{A}}-stability) for two-species competition diffusion systems with Morse-Smale structure. Such systems generate semiflows on positive cones of certain infinite-dimensional Banach spaces (e.g., fractional order spaces). Our main result states that a two species competition diffusion system with Morse-Smale structure is structurally A{\mathcal{A}}-stable, which implies that the set of nonlinearities for which the system possesses Morse-Smale structure is open in an appropriate space under the topology of C ²-convergence on compacta. Moreover, we provide a sufficient condition under which a system has Morse-Smale structure and provide some examples which satisfy the sufficient condition.     

Fracture Surfaces and the Regularity of Inverses for BV Deformations

Motivated by nonlinear elasticity theory, we study deformations that are approximately differentiable, orientation-preserving and one-to-one almost everywhere, and in addition have finite surface energy. This surface energy E{\mathcal{E}} was used by the authors in a previous paper, and has connections with the theory of currents. In the present paper we prove that E{\mathcal{E}} measures exactly the area of the surface created by the deformation. This is done through a proper definition of created surface, which is related to the set of discontinuity points of the inverse of the deformation. In doing so, we also obtain an SBV regularity result for the inverse.     

Steady-State Source Flow in Heterogeneous Porous Media

The flow of fluids in heterogeneous porous media is modelled by regarding the hydraulic conductivity as a stationary random space function. The flow variables, the pressure head and velocity field are random functions as well and we are interested primarily in calculating their mean values. The latter had been intensively studied in the past for flows uniform in the average. It has been shown that the average Darcy's law, which relates the mean pressure head gradient to the mean velocity, is given by a local linear relationship. As a result, the mean head and velocity satisfy the local flow equations in a fictitious homogeneous medium of effective conductivity. However, recent analysis has shown that for nonuniform flows the effective Darcy's law is determined by a nonlocal relationship of a convolution type. Hence, the average flow equations for the mean head are expressed as a linear integro-differential operator. Due to the linearity of the problem, it is useful to derive the mean head distribution for a flow by a source of unit discharge. This distribution represents a fundamental solution of the average flow equations and is called the mean Green function G _d (x). The mean head G _d(x) is derived here at first order in the logconductivity variance for an arbitrary correlation function (x) and for any dimensionality d of the flow. It is obtained as a product of the solution G _d ⁽⁰⁾(x) for source flow in unbounded domain of the mean conductivity K _A and the correction _d (x) which depends on the medium heterogeneous structure. The correction _d is evaluated for a few cases of interest.Simple one-quadrature expressions of _d are derived for isotropic two- and three-dimensional media. The quadratures can be calculated analytically after specifying (x) and closed form expressions are derived for exponential and Gaussian correlations. The flow toward a source in a three-dimensional heterogeneous medium of axisymmetric anisotropy is studied in detail by deriving ₃ as function of the distance from the source x and of the azimuthal angle . Its dependence on x, on the particular (x) and on the anisotropy ratio is illustrated in the plane of isotropy (=0) and along the anisotropy axis ( = /2).The head factor k ^* is defined as a ratio of the head in the homogeneous medium to the mean head, k ^*=G _d ⁽⁰⁾/G _d= _d ^–1. It is shown that for isotropic conductivity and for any dimensionality of the flow the medium behaves as a one-dimensional and as an effective one close and far from the source, respectively, that is, lim _x0 k ^*(x) = K _H/K _A and lim _x k ^*(x) = K ^efu/K _A, where K _A and K _H are the arithmetic and harmonic conductivity means and K ^efu is the effective conductivity for uniform flow. For axisymmetric heterogeneity the far-distance limit depends on the direction. Thus, in the coordinate system of (x) principal directions the limit values of k ^* are obtained as . These values differ from the corresponding components of the effective conductivities tensor for uniform flow for = 0 and /2, respectively. The results of the study are applied to solving the problem of the dipole well flow. The dependence of the mean head drop between the injection and production chambers on the anisotropy of the conductivity and the distance between the chambers is analyzed.     

Stationary Stokes, Oseen and Navier–Stokes Equations with Singular Data

The concept of very weak solution introduced by Giga (Math Z 178:287–329, 1981) for the Stokes equations has hardly been studied in recent years for either the Navier–Stokes equations or the Navier–Stokes type equations. We treat the stationary Stokes, Oseen and Navier–Stokes systems in the case of a bounded open set, connected of class C^1,1{\mathcal{C}^{1,1}} of \mathbbR³{\mathbb{R}^3}. Taking up once again the duality method introduced by Lions and Magenes (Problèmes aus limites non-homogènes et applications, vols. 1 & 2, Dunod, Paris, 1968) and Giga (Math Z 178:287–329, 1981) for open sets of class C^￥{\mathcal{C}^{\infty}} [see also chapter 4 of Necas (Les méthodes directes en théorie des équations elliptiques. (French) Masson et Cie, éd., Paris; Academia, éditeurs, Prague, 1967), which considers the Hilbertian case p = 2 for general elliptic operators], we give a simpler proof of the existence of a very weak solution for stationary Oseen and Navier–Stokes equations when data are not regular enough, based on density arguments and a functional framework adequate for defining more rigourously the traces of non-regular vector fields. In the stationary Navier–Stokes case, the results will be valid for external forces not necessarily small, which lets us extend the uniqueness class of solutions for these equations. Considering more regular data, regularity results in fractional Sobolev spaces will also be discussed for the three systems. All these results can be extended to other dimensions.     

The Asymptotic Finite-dimensional Character of a Spectrally-hyperviscous Model of 3D Turbulent Flow

We obtain attractor and inertial-manifold results for a class of 3D turbulent flow models on a periodic spatial domain in which hyperviscous terms are added spectrally to the standard incompressible Navier–Stokes equations (NSE). Let P _m be the projection onto the first m eigenspaces of A =−Δ, let μ and α be positive constants with α ≥3/2, and let Q _m =I − P _m , then we add to the NSE operators μ A _φ in a general family such that A _φ≥Q _m A ^α in the sense of quadratic forms. The models are motivated by characteristics of spectral eddy-viscosity (SEV) and spectral vanishing viscosity (SVV) models. A distinguished class of our models adds extra hyperviscosity terms only to high wavenumbers past a cutoff λ _m0 where m ₀ ≤ m, so that for large enough m ₀ the inertial-range wavenumbers see only standard NSE viscosity. We first obtain estimates on the Hausdorff and fractal dimensions of the attractor (respectively and ). For a constant K _α on the order of unity we show if μ ≥ ν that and if μ ≤ ν that where ν is the standard viscosity coefficient, l ₀ = λ₁^−1/2 represents characteristic macroscopic length, and is the Kolmogorov length scale, i.e. where is Kolmogorov’s mean rate of dissipation of energy in turbulent flow. All bracketed constants and K _α are dimensionless and scale-invariant. The estimate grows in m due to the term λ _m /λ₁ but at a rate lower than m ^3/5, and the estimate grows in μ as the relative size of ν to μ. The exponent on is significantly less than the Landau–Lifschitz predicted value of 3. If we impose the condition , the estimates become for μ ≥ ν and for μ ≤ ν. This result holds independently of α, with K _α and c _α independent of m. In an SVV example μ ≥ ν, and for μ ≤ ν aspects of SEV theory and observation suggest setting for 1/c within α orders of magnitude of unity, giving the estimate where c _α is within an order of magnitude of unity. These choices give straight-up or nearly straight-up agreement with the Landau–Lifschitz predictions for the number of degrees of freedom in 3D turbulent flow with m so large that (e.g. in the distinguished-class case for m ₀ large enough) we would expect our solutions to be very good if not virtually indistinguishable approximants to standard NSE solutions. We would expect lower choices of λ _m (e.g. with a > 1) to still give good NSE approximation with lower powers on l ₀/l _ε, showing the potential of the model to reduce the number of degrees of freedom needed in practical simulations. For the choice , motivated by the Chapman–Enskog expansion in the case m = 0, the condition becomes , giving agreement with Landau–Lifschitz for smaller values of λ _m then as above but still large enough to suggest good NSE approximation. Our final results establish the existence of a inertial manifold for reasonably wide classes of the above models using the Foias/Sell/Temam theory. The first of these results obtains such an of dimension N > m for the general class of operators A _φ if α > 5/2. The special class of A _φ such that P _m A _φ = 0 and Q _m A _φ ≥ Q _m A ^α has a unique spectral-gap property which we can use whenever α ≥ 3/2 to show that we have an inertial manifold of dimension m if m is large enough. As a corollary, for most of the cases of the operators A _φ in the distinguished-class case that we expect will be typically used in practice we also obtain an , now of dimension m ₀ for m ₀ large enough, though under conditions requiring generally larger m ₀ than the m in the special class. In both cases, for large enough m (respectively m ₀), we have an inertial manifold for a system in which the inertial range essentially behaves according to standard NSE physics, and in particular trajectories on are controlled by essentially NSE dynamics.      

Connectivity and Design of Planar Global Attractors of Sturm Type. III: Small and Platonic Examples

Based on a Morse-Smale structure, we study planar global attractors A_f{{\mathcal A}_f} of the scalar reaction-advection-diffusion equation u _t = u _xx + f (x, u, u _x ) in one space dimension. We assume Neumann boundary conditions on the unit interval, dissipativeness of f, and hyperbolicity of equilibria. We call A_f{{\mathcal A}_f} Sturm attractor because our results strongly rely on nonlinear nodal properties of Sturm type. The planar Sturm attractor A_f{{\mathcal A}_f} consists of equilibria of Morse index 0, 1, or 2, and their heteroclinic connecting orbits. The unique heteroclinic orbits between adjacent Morse levels define a plane graph C_f{{\mathcal C}_f} , which we call the connection graph. Its 1-skeleton C¹_f{{\mathcal C}^1_f} is the closure of the unstable manifolds (separatrices) of the index-1 Morse saddles. We summarize and apply two previous results (Fiedler and Rocha, J. Diff. Equ. 244: 1255–1286, 2008, Crelle J. Reine Angew. Math. 26 pp., 2009, doi:) which completely characterize the connection graphs C_f{{\mathcal C}_f} and their 1-skeletons C¹_f{{\mathcal C}^1_f}, in purely graph theoretical terms. Connection graphs are characterized by the existence of pairs of Hamiltonian paths with certain chiral restrictions on face passages. Their 1-skeletons are characterized by the existence of cycle-free orientations. Such orientations are called bipolar in de Fraysseix et al. (Discrete Appl. Math. 56: 157–179, 1995). We describe all planar Sturm attractors with up to 11 equilibria. We also design planar Sturm attractors with prescribed Platonic 1-skeletons of their connection graphs. We present complete lists for the tetrahedron, octahedron, and cube. We provide representative examples for the design of dodecahedral and icosahedral Sturm attractors. Unlike previous examples, and in particular unlike the classification of Sturm attractors with up to nine equilibria, our present results are based on analytic insight rather than mindless computer-based enumeration.     

Heteroclinic cycles arising in generic unfoldings of nilpotent singularities

In this paper we study the existence of heteroclinic cycles in generic unfoldings of nilpotent singularities. Namely we prove that any nilpotent singularity of codimension four in \mathbbR⁴{\mathbb{R}^4} unfolds generically a bifurcation hypersurface of bifocal homoclinic orbits, that is, homoclinic orbits to equilibrium points with two pairs of complex eigenvalues. We also prove that any nilpotent singularity of codimension three in \mathbbR³{\mathbb{R}^3} unfolds generically a bifurcation curve of heteroclinic cycles between two saddle-focus equilibrium points with different stability indexes. Under generic assumptions these cycles imply the existence of homoclinic bifurcations. Homoclinic orbits to equilibrium points with complex eigenvalues are the simplest configurations which can explain the existence of complex dynamics as, for instance, strange attractors. The proof of the arising of these dynamics from a singularity is a very useful tool, particularly for applications.     

On the Existence and Conditional Energetic Stability of Solitary Gravity-Capillary Surface Waves on Deep Water

This paper presents an existence and stability theory for gravity-capillary solitary waves on the surface of a body of water of infinite depth. Exploiting a classical variational principle, we prove the existence of a minimiser of the wave energy E{{\mathcal E}} subject to the constraint I=?2m{{\mathcal I}=\sqrt{2}\mu}, where I{{\mathcal I}} is the wave momentum and 0 < m << 1{0 < \mu \ll 1} . Since E{{\mathcal E}} and I{{\mathcal I}} are both conserved quantities a standard argument asserts the stability of the set D _μ of minimisers: solutions starting near D _μ remain close to D _μ in a suitably defined energy space over their interval of existence. In the applied mathematics literature solitary water waves of the present kind are modelled as solutions of the nonlinear Schr?dinger equation with cubic focussing nonlinearity. We show that the waves detected by our variational method converge (after an appropriate rescaling) to solutions of this model equation as mˉ 0{\mu \downarrow 0} .     

Variable permeability effect on convection in binary mixtures saturating a porous layer

The Darcy Model with the Boussinesq approximation is used to study natural convection in a shallow porous layer, with variable permeability, filled with a binary fluid. The permeability of the medium is assumed to vary exponentially with the depth of the layer. The two horizontal walls of the cavity are subject to constant fluxes of heat and solute while the two vertical ones are impermeable and adiabatic. The governing parameters for the problem are the thermal Rayleigh number, R _T, the Lewis number, Le, the buoyancy ratio, φ, the aspect ratio of the cavity, A, the normalized porosity, ε, the variable permeability constant, c, and parameter a defining double-diffusive convection (a = 0) or Soret induced convection (a = 1). For convection in an infinite layer, an analytical solution of the steady form of the governing equations is obtained on the basis of the parallel flow approximation. The onset of supercritical convection, or subcritical, convection are predicted by the present theory. A linear stability analysis of the parallel flow model is conducted and the critical Rayleigh number for the onset of Hopf’s bifurcation is predicted numerically. Numerical solutions of the full governing equations are found to be in excellent agreement with the analytical predictions.