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.     

Optimal replacement and allocation of multi‐state elements in k‐within‐m‐from‐r/n sliding window systems

This paper proposes a new model that generalizes the linear sliding window system to the case of multiple failures. The considered k ‐within‐ m ‐from‐ r / n sliding window system consists of n linearly ordered multi‐state elements and fails if at least k groups out of m consecutive groups of r consecutive multi‐state elements have cumulative performance lower than the demand W . A reliability evaluation algorithm is suggested for the proposed system. In order to increase the system availability, maintenance actions can be performed, and the elements can be optimally allocated. A joint element allocation and maintenance optimization model is formulated with the objective of minimizing the total maintenance cost subjected to the pre‐specified system availability requirement. Basic procedures of genetic algorithms are adapted to solve the optimization problem. Numerical experiments are presented to illustrate the applications. Copyright © 2015 John Wiley & Sons, Ltd.     

Eigenvalue problems for a non‐self‐adjoint Bessel‐type operators in limit‐point case

It is shown in the Weyl limit‐point case that system of root functions of the non‐self‐adjoint Bessel operator and its perturbation Sturm–Liouville operator form a complete system in the Hilbert space. Furthermore, asymptotic behavior of the eigenvalues of the non‐self‐adjoint Bessel operators is investigated, and it is proved that system of root functions form a Bari basis in the same Hilbert space. Copyright © 2013 John Wiley & Sons, Ltd.     

Finite time blowup for Klein‐Gordon‐Schrödinger system

We investigate the blowup solutions to the Klein‐Gordon‐Schrödinger (KGS) system with power nonlinearity in spatial dimensions (N ≥ 2). Relying on a Lyapunov functional, we establish a perturbed virial‐type identity and prove the existence of blowup solutions for the system with a negative energy and small mass. Moreover, we obtain a new finite‐time blowup result of solutions to KGS system in the energy space by constructing a differential inequality.     

On allocating redundancies to k‐out‐of‐ n reliability systems

For two components in series and one redundancy with their lifetimes following the proportional hazard models, we build the likelihood ratio order and the hazard rate order for lifetimes of the redundant systems. Also, for k ‐out‐of‐ n system with components’ lifetimes having the arrangement increasing joint density and the redundancies having identically distributed lifetimes, allocating more redundancies to weaker components is shown to help improve the system's reliability. Copyright © 2014 John Wiley & Sons, Ltd.     

Complex dynamics of a discrete fractional‐order Leslie‐Gower predator‐prey model

A proposed discretized form of fractional‐order prey‐predator model is investigated. A sufficient condition for the solution of the discrete system to exist and to be unique is determined. Jury stability test is applied for studying stability of equilibrium points of the discretized system. Then, the effects of varying fractional order and other parameters of the systems on its dynamics are examined. The system undergoes Neimark‐Sacker and flip bifurcation under certain conditions. We observe that the model exhibits chaotic dynamics following stable states as the memory parameter α decreases and step size h increases. Theoretical results illustrate the rich dynamics and complexity of the model. Numerical simulation validates theoretical results and demonstrates the presence of rich dynamical behaviors include S‐asymptotically bounded periodic orbits, quasi‐periodicity, and chaos. The system exhibits a wide range of dynamical behaviors for fractional‐order α key parameter.     

Mass‐in‐mass lattices with small internal resonators

We consider the mass‐in‐mass (MiM) lattice when the internal resonators are very small. When there are no internal resonators the lattice reduces to a standard Fermi‐Pasta‐Ulam‐Tsingou (FPUT) system. We show that the solution of the MiM system, with suitable initial data, shadows the FPUT system for long periods of time. Using some classical oscillatory integral estimates we can conclude that the error of the approximation is (in some settings) higher than one may expect.     

Global solutions to the Navier‐Stokes‐Landau‐Lifshitz system

This paper is dedicated to the study of the Navier‐Stokes‐Landau‐Lifshitz system. We obtain the global existence of a unique solution for this system without any small conditions imposed on the third component of the initial velocity field. Our methods mainly rely upon the Fourier frequency localization and Bony's paraproduct decomposition.     

Regularity criterion on energy equality for compressible Cahn‐Hilliard‐Navier‐Stokes equations

This paper is concerned with the compressible Cahn‐Hilliard‐Navier‐Stokes system. We establish a sufficient regularity condition such that every weak solution conserves its energy equality for every t > 0. Our approach is based on the commutator and mollification approximation.     

The Vlasov‐Poisson‐Boltzmann system near Maxwellians

The dynamics of dilute electrons can be modeled by the Vlasov‐Poisson‐Boltz‐mann system, where electrons interact with themselves through collisions and with their self‐consistent electric field. It is shown that any smooth, periodic initial perturbation of a given global Maxwellian that preserves the same mass, momentum, and total energy (including both kinetic and electric energy), leads to a unique global‐in‐time classical solution. The construction of global solutions is based on an energy method with a new estimate of dissipation from the collision: ∫₀^t〈Lf(s), f(s)〉ds is positive definite for solution f(t,x,v) with small amplitude to the Vlasov‐Poisson‐Boltzmann system (1.4). © 2002 Wiley Periodicals, Inc.     

Generalized Dirichlet‐to‐Neumann Map in Time‐Dependent Domains

We study the heat, linear Schrödinger (LS), and linear KdV equations in the domain l(t) < x < ∞ , 0 < t < T , with prescribed initial and boundary conditions and with l(t) a given differentiable function. For the first two equations, we show that the unknown Neumann or Dirichlet boundary value can be computed as the solution of a linear Volterra integral equation with an explicit weakly singular kernel. This integral equation can be derived from the formal Fourier integral representation of the solution. For the linear KdV equation we show that the two unknown boundary values can be computed as the solution of a system of linear Volterra integral equations with explicit weakly singular kernels. The derivation in this case makes crucial use of analyticity and certain invariance properties in the complex spectral plane. The above Volterra equations are shown to admit a unique solution.     

A higher‐order PDE‐based image registration approach

This paper addresses the problem of image registration with higher‐order partial differential equation (PDE) methods. From the study of existing affine‐linear and non‐linear methods, a new framework is proposed that unifies common image registration methods within a generic formulation. Currently image registration strategies are classified into either affine‐linear or non‐linear methods subject to the underlying transformations. The new approach combines both strategies to obtain proper approximations which are invariant under global geometrical distortion (shearing), anisotropic resolution (scale changes), as well as rotation and translation. To achieve this favourable property, a modified gradient flow approach is proposed which uses an operator with a kernel consisting of affine‐linear transformations. An approximation with finite differences leads to a large singular linear system. The pseudo‐inverse solution of this system can be computed efficiently by augmenting the singular system to a regular system. Numerical experiments show the improvements compared to unmodified gradient flow approaches. Copyright © 2005 John Wiley & Sons, Ltd.     

WITHIN‐GENERATIONAL AND DIVERSITY‐DEPENDENT EFFECTS IN AN INDIVIDUAL‐BASED MODEL OF PREDATOR‐PREY INTERACTION

ABSTRACT. In this paper we report the use of an individual‐based model of predator‐prey interaction to explore the effects of “within generational” and ‘between generational’ updating of a system level variable. We also report the importance of diversity within the simulated populations. Our findings support those of Grimm and Uchmánski [1994] in regard to the importance of the timing of system level variables, and support Grimm and Uchmañski and others in regard to the importance of the level of diversity across the population. The significance of these findings is emphasized by the fundamental differences between our model and that of Grimm and Uchmánski in regard to the assumptions made about resource flow in the system. This paper was presented at the 2004 Research Modeling Association World Conference on Natural Resource Modeling in Melbourne, Australia.     

Algebraization of the Three‐valued BCK‐logic

In this paper a definition of n‐valued system in the context of the algebraizable logics is proposed. We define and study the variety V₃, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the “Three‐valued BCK‐logic”. As a consequence we find an axiomatic definition of the above system.     

Mixed two‐grid finite difference methods for solving one‐dimensional and two‐dimensional Fitzhugh–Nagumo equations

The aim of this paper is to propose mixed two‐grid finite difference methods to obtain the numerical solution of the one‐dimensional and two‐dimensional Fitzhugh–Nagumo equations. The finite difference equations at all interior grid points form a large‐sparse linear system, which needs to be solved efficiently. The solution cost of this sparse linear system usually dominates the total cost of solving the discretized partial differential equation. The proposed method is based on applying a family of finite difference methods for discretizing the spatial and time derivatives. The obtained system has been solved by two‐grid method, where the two‐grid method is used for solving the large‐sparse linear systems. Also, in the proposed method, the spectral radius with local Fourier analysis is calculated for different values of h and Δt. The numerical examples show the efficiency of this algorithm for solving the one‐dimensional and two‐dimensional Fitzhugh–Nagumo equations. Copyright © 2016 John Wiley & Sons, Ltd.     

Three‐dimensional internal gravity‐capillary waves in finite depth

We consider three‐dimensional inviscid‐irrotational flow in a two‐layer fluid under the effects of gravity and surface tension, where the upper fluid is bounded above by a rigid lid and the lower fluid is bounded below by a flat bottom. We use a spatial dynamics approach and formulate the steady Euler equations as an infinite‐dimensional Hamiltonian system, where an unbounded spatial direction x is considered as a time‐like coordinate. In addition, we consider wave motions that are periodic in another direction z. By analyzing the dispersion relation, we detect several bifurcation scenarios, two of which we study further: a type of 00(is)(iκ₀) resonance and a Hamiltonian Hopf bifurcation. The bifurcations are investigated by performing a center‐manifold reduction, which yields a finite‐dimensional Hamiltonian system. For this finite‐dimensional system, we establish the existence of periodic and homoclinic orbits, which correspond to, respectively, doubly periodic travelling waves and oblique travelling waves with a dark or bright solitary wave profile in the x direction. The former are obtained using a variational Lyapunov‐Schmidt reduction and the latter by first applying a normal form transformation and then studying the resulting canonical system of equations.     

Dynamical behavior of fractional‐order energy‐saving and emission‐reduction system and its discretization

This paper attempts to explore dynamical behavior and mathematical properties of the three‐dimensional fractional‐order energy‐saving and emission‐reduction system. Theoretically, the conditions of local stability of fractional‐order system's equilibrium points are obtained. Numerical investigations on the dynamics of this system are carried out, and the existence of the asymptotically stable attractor is found. Combined with the fractional‐order subsystem, we discuss the relationship between energy‐saving and emission‐reduction and economic growth, and carbon emissions and economic growth. Furthermore, we discretize the fractional‐order system and give necessary and sufficient conditions of its stabilization. It is shown that the stability of the discretization system is impacted by the system's fractional parameter. Numerical simulations show the richer dynamical behavior of the fractional‐order system and verify the theoretical results. Recommendations for Resource Managers

• The impact of carbon emissions on economic growth is one of the main reasons for energy‐saving and emission‐reduction.
• Control measures on people's low‐carbon life through government intervention are required to protect the natural environment.
• New energy‐saving and emission‐reduction technologies should be implemented to achieve sustainable social and economic development.

     

Negative norm least‐squares methods for the velocity‐vorticity‐pressure Navier–Stokes equations

We develop and analyze a least‐squares finite element method for the steady state, incompressible Navier–Stokes equations, written as a first‐order system involving vorticity as new dependent variable. In contrast to standard L² least‐squares methods for this system, our approach utilizes discrete negative norms in the least‐squares functional. This allows us to devise efficient preconditioners for the discrete equations, and to establish optimal error estimates under relaxed regularity assumptions. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 237–256, 1999     

Global weak solutions for a periodic two‐component μ‐Camassa–Holm system

In this paper, we consider the global existence of weak solutions for a two‐component μ‐Camassa–Holm system in the periodic setting. Global existence for strong solutions to the system with smooth approximate initial value is derived. Then, we show that the limit of approximate solutions is a global‐in‐time weak solution of the two‐component μ‐Camassa–Holm system. Copyright © 2013 John Wiley & Sons, Ltd.     

Non‐self‐adjoint Bessel and Sturm–Liouville boundary value problems in limit‐circle case

It is shown in the limit‐circle case that system of root functions of the non‐self‐adjoint maximal dissipative (accumulative) Bessel operator and its perturbation Sturm–Liouville operator form a complete system in the Hilbert space. Furthermore, asymptotic behavior of the eigenvalues of the maximal dissipative (accumulative) Bessel operators is investigated, and it is proved that system of root functions form a basis (Riesz and Bari bases) in the same Hilbert space. Copyright © 2014 John Wiley & Sons, Ltd.