Non-autonomous perturbation of autonomous semilinear differential equations: Continuity of local stable and unstable manifolds

In this paper we prove a result on lower semicontinuity of pullback attractors for dynamical systems given by semilinear differential equations in a Banach space. The situation considered is such that the perturbed dynamical system is non-autonomous whereas the limiting dynamical system is autonomous and has an attractor given as union of unstable manifold of hyperbolic equilibrium points. Starting with a semilinear autonomous equation with a hyperbolic equilibrium solution and introducing a very small non-autonomous perturbation we prove the existence of a hyperbolic global solution for the perturbed equation near this equilibrium. Then we prove that the local unstable and stable manifolds associated to them are given as graphs (roughness of dichotomy plays a fundamental role here). Moreover, we prove the continuity of this local unstable and stable manifolds with respect to the perturbation. With that result we conclude the lower semicontinuity of pullback attractors.     

Conservative dynamics: unstable sets for saddle-center loops

We consider two-degree-of-freedom Hamiltonian systems with a saddle-center loop, namely an orbit homoclinic to a saddle-center equilibrium (related to pairs of pure real, ±ν, and pure imaginary, ±ωi, eigenvalues). We study the topology of the sets of orbits that have the saddle-center loop as their α and ω limit set. A saddle-center loop, as a periodic orbit, is a closed loop in phase space and the above sets are analogous to the unstable and stable manifolds, respectively, of a hyperbolic periodic orbit.     

Global behavior of a multi-group SIS epidemic model with age structure

We study global dynamics of a system of partial differential equations. The system is motivated by modelling the transmission dynamics of infectious diseases in a population with multiple groups and age-dependent transition rates. Existence and uniqueness of a positive (endemic) equilibrium are established under the quasi-irreducibility assumption, which is weaker than irreducibility, on the function representing the force of infection. We give a classification of initial values from which corresponding solutions converge to either the disease-free or the endemic equilibrium. The stability of each equilibrium is linked to the dominant eigenvalue s(A), where A is the infinitesimal generator of a “quasi-irreducible” semigroup generated by the model equations. In particular, we show that if s(A)<0 then the disease-free equilibrium is globally stable; if s(A)>0 then the unique endemic equilibrium is globally stable.     

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.     

The analysis and application of an HBV model

A mathematical model is formulated to describe the spread of hepatitis B. The stability of equilibria and persistence of disease are analyzed. The results shows that the dynamics of the model is completely determined by the basic reproductive number ρ₀. If ρ₀ < 1, the disease-free equilibrium is globally stable. When ρ₀ > 1, the disease-free equilibrium is unstable and the disease is uniformly persistent. Furthermore, under certain conditions, it is proved that the endemic equilibrium is globally attractive. Numerical simulations are conducted to demonstrate our theoretical results. The model is applied to HBV transmission in China. The parameter values of the model are estimated based on available HBV epidemic data in China. The simulation results matches the HBV epidemic data in China approximately.     

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.     

Invariant manifolds of dynamical systems close to a rotation: Transverse to the rotation axis

We consider one parameter families of vector fields depending on a parameter ? such that for ?=0 the system becomes a rotation of R²×Rⁿ around {0}×Rⁿ and such that for ?>0 the origin is a hyperbolic singular point of saddle type with, say, attraction in the rotation plane and expansion in the complementary space. We look for a local subcenter invariant manifold extending the stable manifolds to ?=0. Afterwards the analogous case for maps is considered. In contrast with the previous case the arithmetic properties of the angle of rotation play an important role.     

Transverse intersections between invariant manifolds of doubly hyperbolic invariant tori, via the Poincaré-Mel’nikov method

We consider a perturbation of an integrable Hamiltonian system having an equilibrium point of elliptic-hyperbolic type, having a homoclinic orbit. More precisely, we consider an (n + 2)-degree-of-freedom near integrable Hamiltonian with n centers and 2 saddles, and assume that the homoclinic orbit is preserved under the perturbation. On the center manifold near the equilibrium, there is a Cantorian family of hyperbolic KAM tori, and we study the homoclinic intersections between the stable and unstable manifolds associated to such tori. We establish that, in general, the manifolds intersect along transverse homoclinic orbits. In a more concrete model, such homoclinic orbits can be detected, in a first approximation, from nondegenerate critical points of a Mel’nikov potential. We provide bounds for the number of transverse homoclinic orbits using that, in general, the potential will be a Morse function (which gives a lower bound) and can be approximated by a trigonometric polynomial (which gives an upper bound).     

La fonction maximale de Hardy–Littlewood sur une classe d'espaces métriques mesurables

In this Note, we study the behavior of the Hardy–Littlewood maximal function M on cusp manifolds in terms of the growth of the volume of the base space. In particular, we prove that for all 1<p₀<+∞ fixed, there exists such a manifold on which M is bounded on L^p for p>p₀ but not for 1?p<p₀. To cite this article: H.-Q. Li, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

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.     

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.     

The Stability Inequality for Ricci-Flat Cones

In this article, we thoroughly investigate the stability inequality for Ricci-flat cones. Perhaps most importantly, we prove that the Ricci-flat cone over ?P ² is stable, showing that the first stable non-flat Ricci-flat cone occurs in the smallest possible dimension. On the other hand, we prove that many other examples of Ricci-flat cones over 4-manifolds are unstable, and that Ricci-flat cones over products of Einstein manifolds and over Kähler–Einstein manifolds with h ^1,1>1 are unstable in dimension less than 10. As results of independent interest, our computations indicate that the Page metric and the Chen–LeBrun–Weber metric are unstable Ricci shrinkers. As a final bonus, we give plenty of motivations, and partly confirm a conjecture of Tom Ilmanen relating the λ-functional, the positive mass theorem, and the nonuniqueness of Ricci flow with conical initial data.     

Rotation intervals for chaotic sets

Chaotic invariant sets for planar maps typically contain periodic orbits whose stable and unstable manifolds cross in grid-like fashion. Consider the rotation of orbits around a central fixed point. The intersections of the invariant manifolds of two periodic points with distinct rotation numbers can imply complicated rotational behavior. We show, in particular, that when the unstable manifold of one of these periodic points crosses the stable manifold of the other, and, similarly, the unstable manifold of the second crosses the stable manifold of the first, so that the segments of these invariant manifolds form a topological rectangle, then all rotation numbers between those of the two given orbits are represented. The result follows from a horseshoe-like construction.

     

On global stability of the intra-host dynamics of malaria and the immune system

In this paper we consider an intra-host model for the dynamics of malaria. The model describes the dynamics of the blood stage malaria parasites and their interaction with host cells, in particular red blood cells (RBC) and immune effectors. We establish the equilibrium points of the system and analyze their stability using the theory of competitive systems, compound matrices and stability of periodic orbits. We established that the disease-free equilibrium is globally stable if and only if the basic reproduction number satisfies R₀?1 and the parasite will be cleared out of the host. If R₀>1, a unique endemic equilibrium is globally stable and the parasites persist at the endemic steady state. In the presence of the immune response, the numerical analysis of the model shows that the endemic equilibrium is unstable.     

Pitchfork bifurcations of invariant manifolds

A pitchfork bifurcation of an (m−1)-dimensional invariant submanifold of a dynamical system in Rm is defined analogous to that in R. Sufficient conditions for such a bifurcation to occur are stated and existence of the bifurcated manifolds is proved under the stated hypotheses. For discrete dynamical systems, the existence of locally attracting manifolds M₊ and M₋, after the bifurcation has taken place is proved by constructing a diffeomorphism of the unstable manifold M. Techniques used for proving the theorem involve differential topology and analysis. The theorem is illustrated by means of a canonical example.     

Bifurcation of Degenerate Homoclinic Orbits toSaddle-Center in Reversible Systems

The authors study the bifurcation of homoclinic orbits from a degenerate homoclinic orbit in reversible system. The unperturbed system is assumed to have saddle-center type equilibrium whose stable and unstable manifolds intersect in two-dimensional manifolds. A perturbation technique for the detection of symmetric and nonsymmetric homoctinic orbits near the primary homoclinic orbits is developed. Some known results are extended.     

Bifurcation of Degenerate Homoclinic Orbits to Saddle-Center in Reversible Systems

The authors study the bifurcation of homoclinic orbits from a degenerate homoclinic orbit in reversible system. The unperturbed system is assumed to have saddlecenter type equilibrium whose stable and unstable manifolds intersect in two-dimensional manifolds. A perturbation technique for the detection of symmetric and nonsymmetric homoclinic orbits near the primary homoclinic orbits is developed. Some known results are extended.     

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.     

Bounds for ratios of modified Bessel functions and associated Turán-type inequalities

New sharp inequalities for the ratios of Bessel functions of consecutive orders are obtained using as main tool the first order difference-differential equations satisfied by these functions; many already known inequalities are also obtainable, and most of them can be either improved or the range of validity extended. It is shown how to generate iteratively upper and lower bounds, which are converging sequences in the case of the I-functions. Few iterations provide simple and effective upper and lower bounds for approximating the ratios Iν(x)/Iν−1(x) and the condition numbers for any x,ν?0; for the ratios Kν(x)/Kν+1(x) the same is possible, but with some restrictions on ν. Using these bounds Turán-type inequalities are established, extending the range of validity of some known inequalities and obtaining new inequalities as well; for instance, it is shown that Kν+1(x)Kν−1(x)/(Kν²(x))<|ν|/(|ν|−1), x>0, ν∉[−1,1] and that the inequality is the best possible; this proves and improves an existing conjecture.     

On two discrete-time system stability concepts and supermartingales

A random discrete-time system {x_n}, n = 0, 1, 2, … is called stochastically stable if for every ? > 0 there exists a λ > 0 such that the probability P[(sup_n ∥ x_n ∥) > ?] < ? whenever P[∥ x₀ ∥ > λ] < λ. A system is shown stochastically stable if some local Lyapunov function V(·) satisfies the supermartingale definition on {V(x_n)} in a neighborhood of the origin; earlier proofs of stochastic stability require additional restrictions. A criterion for x_n → 0 almost surely is developed. It consists of a global inequality on {U(x_n)} stronger than the supermartingale defining inequality, but applied to a U(·) that need not be a Lyapunov function. The existence of such a U(·) is exhibited for a stochastically unstable nontrivial stochastic system. This indicates that our criterion for x_n → 0 is “tight,” and that the two stability concepts studied are substantially distinct.