A differential equation model of HIV infection of CD4T-cells with cure rate

A differential equation model of HIV infection of CD4⁺T-cells with cure rate is studied. We prove that if the basic reproduction number R₀<1, the HIV infection is cleared from the T-cell population and the disease dies out; if R₀>1, the HIV infection persists in the host. We find that the chronic disease steady state is globally asymptotically stable if R₀>1. Furthermore, we also obtain the conditions for which the system exists an orbitally asymptotically stable periodic solution. Numerical simulations are presented to illustrate the results.     

Algebraic properties of codimension series of PI-algebras

Let c _n (R), n = 0, 1, 2, …, be the codimension sequence of the PI-algebra R over a field of characteristic 0 with T-ideal T(R) and let c(R, t) = c ₀(R) + c ₁(R)t + c ₂(R)t ² + … be the codimension series of R (i.e., the generating function of the codimension sequence of R). Let R ₁,R ₂ and R be PI-algebras such that T(R) = T(R1)T(R ₂). We show that if c(R ₁, t) and c(R ₂, t) are rational functions, then c(R, t) is also rational. If c(R ₁, t) is rational and c(R ₂, t) is algebraic, then c(R, t) is also algebraic. The proof is based on the fact that the product of two exponential generating functions behaves as the exponential generating function of the sequence of the degrees of the outer tensor products of two sequences of representations of the symmetric groups S _n .     

On the Bifurcations and Multiple Endemic States of a Single Strain HIV Model Dedicated to Professor Toshikazu Sunada on the Occasion of his 60th Birthday

The dynamics of a single strain HIV model is studied.The basic reproduction number R_0 used as a bifurcation parameter shows that the system undergoes transcritical and saddle-node bifurcations.The usual threshold unit value of R_0 does not completely determine the eradication of the disease in an HIV infected person.In particular,a sub-threshold value R_C is established which determines the system's number of endemic states:multiple if R_c Ro 1,only one if R_C = R_0 = 1,and none if R_0 R_C 1.     

Global stability for an HIV/AIDS epidemic model with different latent stages and treatment

An HIV/AIDS epidemic model with different latent stages and treatment is constructed. The model allows for the latent individuals to have the slow and fast latent compartments. Mathematical analyses establish that the global dynamics of the spread of the HIV infectious disease are determined by the basic reproduction number under some conditions. If R₀ < 1, the disease free equilibrium is globally asymptotically stable, and if R₀ > 1, the endemic equilibrium is globally asymptotically stable for a special case. Some numerical simulations are also carried out to confirm the analytical results.     

Analysis of a delayed HIV/AIDS epidemic model with saturation incidence

In this paper, a delayed HIV/AIDS epidemic model with saturation incidence is proposed and analyzed. The equilibria and their stability are investigated. The model exhibits two equilibria, namely, the disease-free equilibrium and the endemic equilibrium. It is found that if the threshold R ₀<1, then the disease-free equilibrium is globally asymptotically stable, and if the threshold R ₀>1, the system is permanent and the endemic equilibrium is asymptotically stable under certain conditions.     

Global analysis of virus dynamics model with logistic mitosis,cure rate and delay in virus production

In this paper, we study a virus dynamics model with logistic mitosis, cure rate, and intracellular delay. By means of construction of a suitable Lyapunov functionals, obtained by linear combinations of Volterra—type functions, composite quadratic functions and Volterra—type functionals, we provide the global stability for this model. If R₀, the basic reproductive number, satisfies R₀ ≤ 1, then the infection‐free equilibrium state is globally asymptotically stable. Our system is persistent if R₀ > 1. On the other hand, if R₀ > 1, then infection‐free equilibrium becomes unstable and a unique infected equilibrium exists. The local stability analysis is carried out for the infected equilibrium, and it is shown that, if the parameters satisfy a condition, the infected equilibrium can be unstable and a Hopf bifurcation can occur. We also have that if R₀ > 1, then the infected equilibrium state is globally asymptotically stable if a sufficient condition is satisfied. We illustrate our findings with some numerical simulations. Copyright © 2014 John Wiley & Sons, Ltd.     

Global dynamics of a cell mediated immunity in viral infection models with distributed delays

In this paper, we investigate global dynamics for a system of delay differential equations which describes a virus-immune interaction in vivo. The model has two distributed time delays describing time needed for infection of cell and virus replication. Our model admits three possible equilibria, an uninfected equilibrium and infected equilibrium with or without immune response depending on the basic reproduction number for viral infection R₀ and for CTL response R₁ such that R₁<R₀. It is shown that there always exists one equilibrium which is globally asymptotically stable by employing the method of Lyapunov functional. More specifically, the uninfected equilibrium is globally asymptotically stable if R₀?1, an infected equilibrium without immune response is globally asymptotically stable if R₁?1<R₀ and an infected equilibrium with immune response is globally asymptotically stable if R₁>1. The immune activation has a positive role in the reduction of the infection cells and the increasing of the uninfected cells if R₁>1.     

Bifurcation analysis of HIV infection model with antibody and cytotoxic T‐lymphocyte immune responses and Beddington–DeAngelis functional response

In this paper, a mathematical model for HIV‐1 infection with antibody, cytotoxic T‐lymphocyte immune responses and Beddington–DeAngelis functional response is investigated. The stability of the infection‐free and infected steady states is investigated. The basic reproduction number R₀ is identified for the proposed system. If R₀ < 1, then there is an infection‐free steady state, which is locally asymptotically stable. Further, the infected steady state is locally asymptotically stable for R₀ > 1 in the absence of immune response delay. We use Nyquist criterion to estimate the length of the delay for which stability continues to hold. Also the existence of the Hopf bifurcation is investigated by using immune response delay as a bifurcation parameter. Numerical simulations are presented to justify the analytical results. Copyright © 2014 John Wiley & Sons, Ltd.     

A criterion for the best approximation of constants by simple partial fractions

The problem of the best uniform approximation of a real constant c by real-valued simple partial fractions R _n on a closed interval of the real axis is considered. For sufficiently small (in absolute value) c, |c| ≤ c _n , it is proved that R _n is a fraction of best approximation if, for the difference R _n ? c, there exists a Chebyshev alternance of n + 1 points on a closed interval. A criterion for best approximation in terms of alternance is stated.     

An epidemic model of a vector-borne disease with direct transmission and time delay

This paper considers an epidemic model of a vector-borne disease which has direct mode of transmission in addition to the vector-mediated transmission. The incidence term is assumed to be of the bilinear mass-action form. We include both a baseline ODE version of the model, and, a differential-delay model with a discrete time delay. The ODE model shows that the dynamics is completely determined by the basic reproduction number R₀. If R₀?1, the disease-free equilibrium is globally stable and the disease dies out. If R₀>1, a unique endemic equilibrium exists and is locally asymptotically stable in the interior of the feasible region. The delay in the differential-delay model accounts for the incubation time the vectors need to become infectious. We study the effect of that delay on the stability of the equilibria. We show that the introduction of a time delay in the host-to-vector transmission term can destabilize the system and periodic solutions can arise through Hopf bifurcation.     

Global dynamics of a delayed SIRS epidemic model with a wide class of nonlinear incidence rates

In this paper, by constructing Lyapunov functionals, we consider the global dynamics of an SIRS epidemic model with a wide class of nonlinear incidence rates and distributed delays $\int^{h}_{0} p(\tau)f(S(t),I(t-\tau)) \mathrm{d}\tau$ under the condition that the total population converges to 1. By using a technical lemma which is derived from strong condition of strict monotonicity of functions f(S,I) and f(S,I)/I with respect to S??0 and I>0, we extend the global stability result for an SIR epidemic model if R ₀>1, where R ₀ is the basic reproduction number. By using a limit system of the model, we also show that the disease-free equilibrium is globally asymptotically stable if R ₀=1.     

Stability analysis of predator–prey system with migrating prey and disease infection in both species

We formulated and studied a predator–prey system with migrating prey and disease infection in both species. We used Lotka–Volterra type functional response. Mathematically, we analyzed the dynamics of the system such as existence of non negative equilibria, their stability. The basic reproduction number R₀ for the proposed mathematical model is calculated. Disease is endemic if R₀ > 1. Model is simulated by assuming hypothetical initial values and parameters.     

Degenerate elliptic operators in one dimension

Let H be the symmetric second-order differential operator on L ₂(R) with domain ${C_c^\infty({\bf R})}Let H be the symmetric second-order differential operator on L ₂(R) with domain C_c^￥(R){C_c^\infty({\bf R})} and action Hj = -(c j^￠)^￠{H\varphi=-(c\,\varphi^{\prime})^{\prime}} where c ? W^1,2_loc(R){ c\in W^{1,2}_{\rm loc}({\bf R})} is a real function that is strictly positive on R\{0}{{\bf R}\backslash\{0\}} but with c(0) = 0. We give a complete characterization of the self-adjoint extensions and the submarkovian extensions of H. In particular if n = n₊ún_-{\nu=\nu_+\vee\nu_-} where n_±(x)=±ò^±1_±x c^-1{\nu_\pm(x)=\pm\int^{\pm 1}_{\pm x} c^{-1}} then H has a unique self-adjoint extension if and only if n ? L₂(0,1){\nu\not\in L_2(0,1)} and a unique submarkovian extension if and only if n ? L_￥(0,1){\nu\not\in L_\infty(0,1)}. In both cases, the corresponding semigroup leaves L ₂(0,∞) and L ₂(−∞,0) invariant. In addition, we prove that for a general non-negative c ? W^1,￥_loc(R){ c\in W^{1,\infty}_{\rm loc}({\bf R})} the corresponding operator H has a unique submarkovian extension.     

Global stability of multi-group epidemic models with distributed delays

We investigate a class of multi-group epidemic models with distributed delays. We establish that the global dynamics are completely determined by the basic reproduction number R₀. More specifically, we prove that, if R₀?1, then the disease-free equilibrium is globally asymptotically stable; if R₀>1, then there exists a unique endemic equilibrium and it is globally asymptotically stable. Our proof of global stability of the endemic equilibrium utilizes a graph-theoretical approach to the method of Lyapunov functionals.     

Analysis of an SVEIS epidemic model with partial temporary immunity and saturation incidence rate

In this paper, an SVEIS epidemic model for an infectious disease that spreads in the host population through horizontal transmission is investigated. The role that temporary immunity (natural, disease induced, vaccination induced) plays in the spread of disease, is incorporated in the model. The total host population is bounded and the incidence term is of the Holling-type II form. It is shown that the model exhibits two equilibria, namely, the disease-free equilibrium and the endemic equilibrium. The global dynamics are completely determined by the basic reproduction number R₀. If R₀<1, the disease-free equilibrium is globally stable which leads to the eradication of disease from population. If R₀>1, a unique endemic equilibrium exists and is globally stable in the feasible region under certain conditions. Further, the transcritical bifurcation at R₀=1 is explored by projecting the flow onto the extended center manifold. We use the geometric approach for ordinary differential equations which is based on the use of higher-order generalization of Bendixson’s criterion. Further, we obtain the threshold vaccination coverage required to eradicate the disease. Finally, taking biologically relevant parametric values, numerical simulations are performed to illustrate and verify the analytical results.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

Global stability of multi-group SEIR epidemic models with distributed delays and nonlinear transmission

The dynamics of multi-group SEIR epidemic models with distributed and infinite delay and nonlinear transmission are investigated. We derive the basic reproduction number R₀ and establish that the global dynamics are completely determined by the values of R₀: if R₀≤1, then the disease-free equilibrium is globally asymptotically stable; if R₀>1, then there exists a unique endemic equilibrium which is globally asymptotically stable. Our results contain those for single-group SEIR models with distributed and infinite delays. In the proof of global stability of the endemic equilibrium, we exploit a graph-theoretical approach to the method of Lyapunov functionals. The biological significance of the results is also discussed.     

The product of linear nonhomogeneous forms

We show that for an arbitrary unimodular lattice Λ of dimension n and an arbitrary point C =(c₁, c₂...c_n) ? Rⁿ a point Y = (y₁, y₂,..., y_n) ε Λ can be found and also a number h, satisfying the condition 1 ?h ? 2^?n/2 θ^?1 + 1 (0 < θ ? 2^?n/2), such that the inequality $$\prod\nolimits_{i = 1}^n {\left| {Y_i + hc_i } \right|}< \theta $$ will be satisfied.