The paper deals with boundedness of solutions and uniform asymptotic stability of the zero solution. In our current undertaking, we aim to solve two open problems that were proposed by the author in his book Qualitative theory of Volterra difference equations (2018, Springer, Cham). Our approach centers on finding the appropriate Lyapunov functional that satisfies specific conditions, incorporating the concept of wedges.

Conventional preytaxis systems assume that prey-tactic velocity is proportional to the prey density gradient. However, many experiments exploring the predator–prey interactions show that it is the predator’s acceleration instead of velocity that is proportional to the prey density gradient in the prey-tactic movement, which we call preytaxis with prey-induced acceleration. Mathematical models of preytaxis with prey-induced acceleration were proposed by Arditi et al. ((2001) Theor. Popul. Biol. 59(3), 207–221) and Sapoukhina et al. ((2003) Am. Nat. 162(1), 61–76) to interpret the spatial heterogeneity of predators and prey observed in experiments. This paper is devoted to exploring the qualitative behaviour of such preytaxis systems with prey-induced acceleration and establishing the global existence of classical solutions with uniform-in-time bounds in all spatial dimensions. Moreover, we prove the global stability of spatially homogeneous prey-only and coexistence steady states with decay rates under certain conditions on system parameters. For the parameters outside the stability regime, we perform linear stability analysis to find the possible patterning regimes and use numerical simulations to demonstrate that spatially inhomogeneous time-periodic patterns will typically arise from the preytaxis system with prey-induced acceleration. Noticing that conventional preytaxis systems are unable to produce spatial patterns, our results imply that the preytaxis with prey-induced acceleration is indeed more appropriate than conventional preytaxis to interpret the spatial heterogeneity resulting from predator–prey interactions.

In this paper, we investigate the global boundedness, asymptotic stability and pattern formation of predator–prey systems with density-dependent prey-taxis in a two-dimensional bounded domain with Neumann boundary conditions, where the coefficients of motility (diffusiq‘dfdon) and mobility (prey-taxis) of the predator are correlated through a prey density-dependent motility function. We establish the existence of classical solutions with uniform-in time bound and the global stability of the spatially homogeneous prey-only steady states and coexistence steady states under certain conditions on parameters by constructing Lyapunov functionals. With numerical simulations, we further demonstrate that spatially homogeneous time-periodic patterns, stationary spatially inhomogeneous patterns and chaotic spatio-temporal patterns are all possible for the parameters outside the stability regime. We also find from numerical simulations that the temporal dynamics between linearised system and nonlinear systems are quite different, and the prey density-dependent motility function can trigger the pattern formation.

We establish a separation principle for a class of fractional order time-delay nonlinear differential systems. We show that a nonlinear time-delay observer is globally convergent and give sufficient conditions under which the observer-based controller stabilises the system.

In this paper we have considered a nonlinear and nonautonomous stage-structured HIV/AIDSepidemic model with an imperfect HIV vaccine, varying total population size anddistributed time delay to become infectious due to intracellular delay between initialinfection of a cell by HIV and the release of new virions. Here, we have established somesufficient conditions on the permanence and extinction of the disease by using inequalityanalytical technique. We have obtained the explicit formula of the eventual lower boundsof infected persons. We have introduced some new threshold valuesR 0 and R ∗ and further obtainedthat the disease will be permanent when R 0 > 1 and thedisease will be going to extinct when R ∗ < 1. ByLyapunov functional method, we have also obtained some sufficient conditions for globalasymptotic stability of this model. The aim of the analysis of this model is to trace theparameters of interest for further study, with a view to informing and assistingpolicy-maker in targeting prevention and treatment resources for maximumeffectiveness.

The oriented movement of biological cells or organisms in response to a chemical gradientis called chemotaxis. The most interesting situation related to self-organizationphenomenon takes place when the cells detect and response to a chemical which is secretedby themselves. Since pioneering works of Patlak (1953) and Keller and Segel (1970) manyparticularized models have been proposed to describe the aggregation phase of thisprocess. Most of efforts were concentrated, so far, on mathematical models in which theformation of aggregate is interpreted as finite time blow-up of cell density. In recentlyproposed models cells are no more treated as point masses and their finite volume isaccounted for. Thus, arbitrary high cell densities are precluded in such description and athreshold value for cells density is a priori assumed. Different modelingapproaches based on this assumption lead to a class of quasilinear parabolic systems withstrong nonlinearities including degenerate or singular diffusion. We give a survey ofanalytical results on the existence and uniqueness of global-in-time solutions, theirconvergence to stationary states and on a possibility of reaching the density threshold bya solution. Unsolved problems are pointed as well.

By using Lebesgue’s dominated convergence theorem and constructing a suitable Lyapunov functional, we study the following almost-periodic Lotka–Volterra model with $M$ predators and $N$ prey of the integro-differential equations

\begin{alignat*}{2} \dot{x}_i(t)\amp=x_i(t)\biggl[b_i(t)-a_{ii}(t)x_i(t)-\sum_{k=1,k\neq i}^{N}a_{ik}(t)\int_{-\infty}^tH_{ik}(t-\sigma)x_k(\sigma)\,\mathrm{d}\sigma\\ \amp\hskip45mm-\sum_{l=1}^{M}c_{il}(t)\int_{-\infty}^tK_{il}(t-\sigma)y_l(\sigma)\,\mathrm{d}\sigma\biggr],\amp\quad i\amp=1,2,\dots,N,\\ \dot{y}_j(t)\amp=y_j(t)\biggl[-r_j(t)-e_{jj}(t)y_j(t) +\sum_{k=1}^{N}d_{jk}(t)\int_{-\infty}^tP_{jk}(t-\sigma)x_k(\sigma)\,\mathrm{d}\sigma \\ \amp\hskip45mm-\sum_{l=1,l\neq j}^{M} e_{jl}(t)\int_{-\infty}^tQ_{jl}(t-\sigma)y_l(\sigma)\,\mathrm{d}\sigma\biggr],\amp\quad j\amp=1,2,\dots,M. \end{alignat*}

Some sufficient conditions are obtained for the existence of a unique almost-periodic solution of this model. Several examples show that the obtained criteria are new, general and easily verifiable.

We propose and analyze a mathematical model of hematopoietic stem cell dynamics. This model takesinto account a finite number of stages in blood production, characterized by cell maturity levels,which enhance the difference, in the hematopoiesis process, between dividing cells thatdifferentiate (by going to the next stage) and dividing cells that keep the same maturity level (bystaying in the same stage). It is described by a system of n nonlinear differential equationswith n delays. We study some fundamental properties of the solutions, such as boundedness andpositivity, and we investigate the existence of steady states. We determine some conditions for thelocal asymptotic stability of the trivial steady state, and obtain a sufficient condition for itsglobal asymptotic stability by using a Lyapunov functional. Then we prove the instability of axialsteady states. We study the asymptotic behavior of the unique positive steady state and obtain theexistence of a stability area depending on all the time delays. We give a numerical illustration ofthis result for a system of four equations.

In this paper we study linear conservative systems of finitedimensioncoupled with an infinite dimensional system of diffusive type. Computing the time-derivative of anappropriate energy functional along the solutions helps us toprove the well-posedness of the systemand a stability property.But in order to prove asymptotic stability we need to applya sufficient spectral condition. We also illustrate the sharpness of thiscondition by exhibiting some systems for which we do not have the asymptoticproperty.