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.     

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.     

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

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.     

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.     

Scherk-Type Capillary Graphs

This paper concerns the regularity of a capillary graph (the meniscus profile of liquid in a cylindrical tube) over a corner domain of angle α. By giving an explicit construction of minimal surface solutions previously shown to exist (Indiana Univ. Math. J. 50 (2001), no. 1, 411–441) we clarify two outstanding questions. Solutions are constructed in the case α = π/2 for contact angle data (γ₁, γ₂) = (γ, π − γ) with 0 < γ < π. The solutions given with |γ − π/2| < π/4 are the first known solutions that are not C² up to the corner. This shows that the best known regularity (C^{1, ∈}) is the best possible in some cases. Specific dependence of the H?lder exponent on the contact angle for our examples is given. Solutions with γ = π/4 have continuous, but horizontal, normal vector at the corners in accordance with results of Tam (Pacific J. Math. 124 (1986), 469–482). It is shown that our examples are C^{0, β} up to and including the corner for any β < 1. Solutions with |γ − π/2| > π/4 have a jump discontinuity at the corner. This kind of behavior was suggested by numerical work of Concus and Finn (Microgravity sci. technol. VII/2 (1994), 152–155) and Mittelmann and Zhu (Microgravity sci. technol. IX/1 (1996), 22–27). Our explicit construction, however, allows us to investigate the solutions quantitatively. For example, the trace of these solutions, excluding the jump discontinuity, is C^2/3.     

Billiards and Two-Dimensional Problems of Optimal Resistance

A body moves in a medium composed of noninteracting point particles; the interaction of the particles with the body is completely elastic. The problem is: find the body’s shape that minimizes or maximizes resistance of the medium to its motion. This is the general setting of the optimal resistance problem going back to Newton. Here, we restrict ourselves to the two-dimensional problems for rotating (generally non-convex) bodies. The main results of the paper are the following. First, to any compact connected set with piecewise smooth boundary B ì \mathbbR²{B \subset \mathbb{R}^2} we assign a measure ν _B on ∂(conv B)×[ − π/2, π/2] generated by the billiard in \mathbbR² \B{\mathbb{R}^2 \setminus B} and characterize the set of measures {ν _B }. Second, using this characterization, we solve various problems of minimal and maximal resistance of rotating bodies by reducing them to special Monge–Kantorovich problems.     

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

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

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.     

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.     

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.     

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 .     

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.     

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

The Critical Dimension for a Fourth Order Elliptic Problem with Singular Nonlinearity

We study the regularity of the extremal solution of the semilinear biharmonic equation ${{\Delta^2} u=\frac{\lambda}{(1-u)^2}}We study the regularity of the extremal solution of the semilinear biharmonic equation D² u=\fracl(1-u)²{{\Delta^2} u=\frac{\lambda}{(1-u)^2}}, which models a simple micro-electromechanical system (MEMS) device on a ball B ì \mathbbR^N{B\subset{\mathbb{R}}^N}, under Dirichlet boundary conditions u=?_n u=0{u=\partial_\nu u=0} on ?B{\partial B}. We complete here the results of Lin and Yang [14] regarding the identification of a “pull-in voltage” λ* > 0 such that a stable classical solution u _λ with 0 < u _λ < 1 exists for l ? (0,l^*){\lambda\in (0,\lambda^*)}, while there is none of any kind when λ > λ*. Our main result asserts that the extremal solution u_l^*{u_{\lambda^*}} is regular (sup_B u_l^* < 1 ){({\rm sup}_B u_{\lambda^*} <1 )} provided N \leqq 8{N \leqq 8} while u_l^*{u_{\lambda^*}} is singular (sup_B u_l^* = 1){({\rm sup}_B u_{\lambda^*} =1)} for N \geqq 9{N \geqq 9}, in which case 1-C₀|x|^4/3 \leqq u_l^* (x) \leqq 1-|x|^4/3{1-C_0|x|^{4/3} \leqq u_{\lambda^*} (x) \leqq 1-|x|^{4/3}} on the unit ball, where C₀:=(\fracl^*[`(l)])<sup>\frac</sup>13{C_0:=\left(\frac{\lambda^*}{\overline{\lambda}}\right)^\frac{1}{3}} and [`(l)]: = \frac89(N-\frac23)(N- \frac83){\bar{\lambda}:= \frac{8}{9}\left(N-\frac{2}{3}\right)\left(N- \frac{8}{3}\right)}.     

An Example of Finite-time Singularities in the 3d Euler Equations

Let be the exterior of the closed unit ball. Consider the self-similar Euler system

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.