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

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.     

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.     

The Unstable Set of a Periodic Orbit for Delayed Positive Feedback

In the paper [Large-amplitude periodic solutions for differential equations with delayed monotone positive feedback, JDDE 23 (2011), no. 4, 727–790], we have constructed large-amplitude periodic orbits for an equation with delayed monotone positive feedback. We have shown that the unstable sets of the large-amplitude periodic orbits constitute the global attractor besides spindle-like structures. In this paper we focus on a large-amplitude periodic orbit \({\mathcal {O}}_{p}\) with two Floquet multipliers outside the unit circle, and we intend to characterize the geometric structure of its unstable set \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \). We prove that \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \) is a three-dimensional \(C^{1}\)-submanifold of the phase space and admits a smooth global graph representation. Within \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \), there exist heteroclinic connections from \({\mathcal {O}}_{p}\) to three different periodic orbits. These connecting sets are two-dimensional \(C^{1}\)-submanifolds of \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \) and homeomorphic to the two-dimensional open annulus. They form \(C^{1}\)-smooth separatrices in the sense that they divide the points of \({\mathcal {W}}^{u}\left( {\mathcal {O}}_{p}\right) \) into three subsets according to their \(\omega \)-limit sets.     

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.     

Transmission Dynamics of an Influenza Model with Age of Infection and Antiviral Treatment

Age of infection (the time lapsed since infection) is an important factor to consider when modeling the transmission dynamics of influenza under the influence of antiviral treatment and drug-resistance. In this paper, we consider an influenza model which includes an age of infection. The model includes partial differential equations (PDEs) in order to describe the variable infectiousness and effect of antivirals during the infectious period. We derived the formulas for various reproduction numbers (RN) including R_SC{\mathcal R_{SC}} (the controlled RN by one sensitive case), R_TC{\mathcal R_{TC}} (the controlled total RN by one sensitive case), and R_R{\mathcal R_R} (the RN by one resistant case). The model analysis shows that R_SC{\mathcal R_{SC}} and R_R{\mathcal R_R} determine both the global stability of the disease free equilibrium and the existence of the non-trivial equilibria. Local stabilities of the non-trivial equilibria are also discussed. Numerical simulations are conducted to not only confirm or extend the analytic results on qualitative behaviors of the system, but also reveal important quantitative properties of the disease dynamics influenced by antiviral treatment. These results are then used to assess the effectiveness of treatment programs in terms of both the RNs and the epidemic size. Our findings illustrate possibility that a higher level of antiviral use may lead to an increase of the epidemic size, despite the fact that there is a fitness cost of the drug-resistant strains. This suggests that programs for antiviral use should be designed carefully to avoid the adverse effect.     

Representation of a Smooth Isometric Deformation of a Planar Material Region into a Curved Surface

We consider the problem of characterizing the smooth, isometric deformations of a planar material region identified with an open, connected subset \({\mathcal{D}}\) of two-dimensional Euclidean point space \(\mathbb{E}^{2}\) into a surface \({\mathcal{S}}\) in three-dimensional Euclidean point space \(\mathbb{E}^{3}\). To be isometric, such a deformation must preserve the length of every possible arc of material points on \({\mathcal{D}}\). Characterizing the curves of zero principal curvature of \({\mathcal{S}}\) is of major importance. After establishing this characterization, we introduce a special curvilinear coordinate system in \(\mathbb{E}^{2}\), based upon an à priori chosen pre-image form of the curves of zero principal curvature in \({\mathcal{D}}\), and use that coordinate system to construct the most general isometric deformation of \({\mathcal{D}}\) to a smooth surface \({\mathcal{S}}\). A necessary and sufficient condition for the deformation to be isometric is noted and alternative representations are given. Expressions for the curvature tensor and potentially nonvanishing principal curvature of \({\mathcal{S}}\) are derived. A general cylindrical deformation is developed and two examples of circular cylindrical and spiral cylindrical form are constructed. A strategy for determining any smooth isometric deformation is outlined and that strategy is employed to determine the general isometric deformation of a rectangular material strip to a ribbon on a conical surface. Finally, it is shown that the representation established here is equivalent to an alternative previously established by Chen, Fosdick and Fried (J. Elast. 119:335–350, 2015).     

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

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.     

The Steady Motion of a Navier–Stokes Liquid Around a Rigid Body

Let be a body moving by prescribed rigid motion in a Navier–Stokes liquid that fills the whole space and is subject to given boundary conditions and body force. Under the assumptions that, with respect to a frame , attached to , these data are time independent, and that their magnitude is not “too large”, we show the existence of one and only one corresponding steady motion of , with respect to , such that the velocity field, at the generic point x in space, decays like |x|⁻¹. These solutions are “physically reasonable” in the sense of FINN [10]. In particular, they are unique and satisfy the energy equation. Among other things, this result is relevant in engineering applications involving orientation of particles in viscous liquid [14].     

Rotating Navier-Stokes Equations in $${\mathbb R}^{3}_{+}$$ with Initial Data Nondecreasing at Infinity: The Ekman Boundary Layer Problem

We prove time local existence and uniqueness of solutions to a boundary layer problem in a rotating frame around the stationary solution called the Ekman spiral. We choose initial data in the vector-valued homogeneous Besov space for 2 <  p <  ∞. Here the L ^p -integrability is imposed in the normal direction, while we may have no decay in tangential components, since the Besov space contains nondecaying functions such as almost periodic functions. A crucial ingredient is theory for vector-valued homogeneous Besov spaces. For instance we provide and apply an operator-valued bounded H ^∞-calculus for the Laplacian in for a general Banach space .     

$${\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.     

Synchronization of inferior olive neurons via {\mathcal {L}}_1 adaptive feedback

This paper considers the synchronization of inferior olive neurons based on the \({\mathcal {L}}_1\) adaptive control theory. The ION model treated here is the cascade connection of two nonlinear subsystems, termed ZW and UV subsystems. It is assumed that the structure of the nonlinear functions and certain parameters of the IONs are not known, and disturbance inputs are present in the system. First, an \({\mathcal {L}}_1\) adaptive control system is designed to achieve global synchrony of the ZW subsystems using a single control input. This controller can accomplish local synchrony of the UV subsystems if the linearized UV subsystem is exponentially stable. For global synchrony of the UV subsystems, an \({\mathcal {L}}_1\) adaptive control law is designed. Each of these controllers includes a state predictor, an update law, and a control law. In the closed-loop system, global synchrony of the complete models of the IONs (the interconnected ZW and UV subsystems) is accomplished using these two adaptive controllers. Simulations results show that in the closed-loop system, the IONs are synchronized, despite unmodeled nonlinearities, disturbance inputs, and parameter uncertainties in the system.     

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

Relations Between Energy and Enstrophy on the Global Attractor of the 2-D Navier-Stokes Equations

We examine how the global attractor of the 2-D periodic Navier–Stokes equations projects in the normalized, dimensionless energy–enstrophy plane (e, E). We treat time independent forces, with the view of understanding how the attractor depends on the nature of the force. First we show that for any force, is bounded by the parabola E = e^1/2 and the line E=e. We then show that for to have points near enough to the parabola, the force must be close to an eigenvector of the Stokes operator A; it can intersect the parabola only when the force is precisely such an eigenvector, and does so at a steady state parallel to this force. We construct a thin region along the parabola, pinched at such steady states, that the attractor can never enter. We show that 0 cannot be on the attractor unless the force is in H^m for all m. Different lower bound estimates on the energy and enstrophy on are derived for both smooth and nonsmooth forces, as are bounds on invariant sets away from 0 and near the line E = e. Motivation for the particular attention to the regions near the parabola and near 0 comes from turbulence theory, as explained in the introduction. Mathematics Subject Classification (2000): 35Q30, 76F02.     

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.     

Least Supersolution Approach to Regularizing Free Boundary Problems

In this paper, we study a free boundary problem obtained as a limit as ε → 0 to the following regularizing family of semilinear equations , where β _ε approximates the Dirac delta in the origin and F is a Lipschitz function bounded away from 0 and infinity. The least supersolution approach is used to construct solutions satisfying geometric properties of the level surfaces that are uniform in ε. This allows to prove that the free boundary of a limit has the “right” weak geometry, in the measure theoretical sense. By the construction of some barriers with curvature, the classification of global profiles of the blow-up analysis is carried out and the limit functions are proven to be viscosity and pointwise solution ( almost everywhere) to a free boundary problem. Finally, the free boundary is proven to be a C ^1,α surface around almost everywhere point. An erratum to this article can be found at     

Natural convective heat transfer in water enclosed between pairs of differentially heated vertical plates

This paper presents the results of an experimental study of buoyancy-driven convective heat transfer between three parallel vertical plates, symmetrically spaced with water as the intervening medium. The centre plate was electrically heated, while the other side plates were water-cooled forming two successive parallel vertical channels of dimensions 20 cm × 3.5 cm × 35 cm (length W, gap L, height H) each. Top, bottom and sides of the channels were open to water in the chamber which is the novel aspect of this study. Plate surface temperature and bath temperature at different levels of height from the bottom of channel were measured by K-type thermocouples. Experimental data have been correlated as under:

Persistence and Critical Domain Size for Diffusing Populations with Two Sexes and Short Reproductive Season

A model is considered for a spatially distributed population of male and female individuals that mate and reproduce only once in their life during a very short reproductive season. Between birth and mating, females and males move by diffusion on a bounded domain \(\Omega \) under Dirichlet boundary conditions. Mating and reproduction are described by a (positively) homogeneous function (of degree one). We identify a basic reproduction number \({\mathcal {R}}_0\) that acts as a threshold between extinction and persistence. If \({\mathcal {R}}_0 <1\), the population dies out while it persists (uniformly weakly) if \({\mathcal {R}}_0 > 1\). \({\mathcal {R}}_0\) is the cone spectral radius of a bounded homogeneous map.