We prove a new Donsker’s invariance principle for independent and identically distributed random variables under the sub-linear expectation.As applications,the small deviations and Chung’s law of the iterated logari...We prove a new Donsker’s invariance principle for independent and identically distributed random variables under the sub-linear expectation.As applications,the small deviations and Chung’s law of the iterated logarithm are obtained.展开更多
This paper studies the extension of LaSalle＇s invariance principle for switched nonlinear systems. Unlike most existing results in which each switching mode in the system needs to be asymptotically stable, this paper...This paper studies the extension of LaSalle＇s invariance principle for switched nonlinear systems. Unlike most existing results in which each switching mode in the system needs to be asymptotically stable, this paper allows the switching modes to be only stable. Under certain ergodicity assumptions of the switching signals, two extensions of LaSalle＇s invariance principle for global asymptotic stability of switched nonlinear systems are obtained using the method of common joint Lyapunov function.展开更多
Let {Xn} be a sequence of i.i.d.r. v. s with mean 0 and variance 1, Sn = ∑i=1nXi- Suppose H(x)>0 (x≥0) is a non-decreasing continuous function such that for some γ>0 and x0>0, x-2-γ(x)(x≥x0) is non-decre...Let {Xn} be a sequence of i.i.d.r. v. s with mean 0 and variance 1, Sn = ∑i=1nXi- Suppose H(x)>0 (x≥0) is a non-decreasing continuous function such that for some γ>0 and x0>0, x-2-γ(x)(x≥x0) is non-decreasing and x -1logH(x) (x≥x0) is non-increasing. If x-1 logH(x)→0 (x→∞), then Sn - W(n)=o (invH(n)) a.s. (n → ∞) holds if and only if EH(t|X1|)<∞ for all t>0.展开更多
In this paper, a virus infection model with standard incidence rate and delayed CTL immune response is investigated. By analyzing corresponding characteristic equations,the local stability of each of feasible equilibr...In this paper, a virus infection model with standard incidence rate and delayed CTL immune response is investigated. By analyzing corresponding characteristic equations,the local stability of each of feasible equilibria and the existence of Hopf bifurcations at the CTL-activated infection equilibrium are established, respectively. By means of comparison arguments, it is verified that the infection-free equilibrium is globally asymptotically stable if the basic reproduction ratio is less than unity. By using suitable Lyapunov functional and LaSalle's invariance principle, it is shown that the CTL-inactivated infection equilibrium of the system is globally asymptotically stable if the immune response reproduction ratio is less than unity and the basic reproduction ratio is greater than unity. Numerical simulations are carried out to illustrate the theoretical result.展开更多
In this paper,an eco-epidemiological model with Beddington-DeAngelis functional response and a time delay representing the gestation period of the predator is studied.By means of Lyapunov functionals and Laselle’s i...In this paper,an eco-epidemiological model with Beddington-DeAngelis functional response and a time delay representing the gestation period of the predator is studied.By means of Lyapunov functionals and Laselle’s invariance principle,sufficient conditions are obtained for the global stability of the interior equilibrium and the disease-free equilibrium of the system,respectively.展开更多
Although frequently encountered in many practical applications, singular nonlinear optimization has been always recognized as a difficult problem. In the last decades, classical numerical techniques have been proposed...Although frequently encountered in many practical applications, singular nonlinear optimization has been always recognized as a difficult problem. In the last decades, classical numerical techniques have been proposed to deal with the singular problem. However, the issue of numerical instability and high computational complexity has not found a satisfactory solution so far. In this paper, we consider the singular optimization problem with bounded variables constraint rather than the common unconstraint model. A novel neural network model was proposed for solving the problem of singular convex optimization with bounded variables. Under the assumption of rank one defect, the original difficult problem is transformed into nonsingular constrained optimization problem by enforcing a tensor term. By using the augmented Lagrangian method and the projection technique, it is proven that the proposed continuous model is convergent to the solution of the singular optimization problem. Numerical simulation further confirmed the effectiveness of the proposed neural network approach.展开更多
<正> By developing the mechanical proving method, we determine the structure of LaSalle’sinvariant set for 7-dimensional Lotka-Volterra food chain systems, based on Ritt-Wu’s prin-ciple. We then further show t...<正> By developing the mechanical proving method, we determine the structure of LaSalle’sinvariant set for 7-dimensional Lotka-Volterra food chain systems, based on Ritt-Wu’s prin-ciple. We then further show that the locally asymptotical stable equilibrium point of Lotka-Volterra food chain systems for 7 dimension must be globally stable.展开更多
In this paper,an eco-epidemiological model with time delay representing the gestation period of the predator is investigated.In the model,it is assumed that the predator population suffers a transmissible disease and ...In this paper,an eco-epidemiological model with time delay representing the gestation period of the predator is investigated.In the model,it is assumed that the predator population suffers a transmissible disease and the infected predators may recover from the disease and become susceptible again.By analyzing corresponding characteristic equations,the local stability of each of feasible equilibria and the existence of Hopf bifurcations at the disease-free and coexistence equilibria are established,respectively.By means of Lyapunov functionals and LaSalle’s invariance principle,sufficient condi tions are obtained for the global stability of the coexistence equilibrium,the disease-free equilibrium and the predator-extinct equilibrium of the system,respectively.展开更多
In this paper, an HIV-1 infection model with absorption, saturation infection and an intracellular delay accounting for the time between viral entry into a target cell and the production of new virus particles is inve...In this paper, an HIV-1 infection model with absorption, saturation infection and an intracellular delay accounting for the time between viral entry into a target cell and the production of new virus particles is investigated. By analyzing the characteristic equations, the local stability of an infection-free equilibrium and a chronic-infection equilibrium of the model is established. By using suitable Lyapunov functionals and LaSalle＇s invariance principle, it is proved that if the basic reproduction ratio is less than unity, the infection-free equilibrium is globally asymptotically stable; and if the basic reproduction ratio is greater than unity, sufficient condition is derived for the global stability of the chronic-infection equilibrium.展开更多
This paper investigates distributed cooperative formation control of a group of multiple mobile agents with a virtual leader,where information exchange among agents is modeled by the group topology,and the states of t...This paper investigates distributed cooperative formation control of a group of multiple mobile agents with a virtual leader,where information exchange among agents is modeled by the group topology,and the states of the virtual leader are known only by parts of the agents.We develop a class of distributed formation control laws with similar form.The steered group is proved to achieve the desired formation objectives as long as the intersection of the initial communication topology and the formation goal topology is connected.This requirement of connectivity can be easily achieved by many practical applications;consequently,our developed distributed control laws are effective and feasible.Furthermore,for the developed control laws,we show the influence of different information flow graph of agents on the convergence rate and robustness to node and connection failures.展开更多
In this paper, the authors analyze the stability of a kind of discrete-time Hopfield neural network with asymptotical weighted matrix, which can be expressed as the product of a positive definite diagonal matrix and a...In this paper, the authors analyze the stability of a kind of discrete-time Hopfield neural network with asymptotical weighted matrix, which can be expressed as the product of a positive definite diagonal matrix and a symmetric matrix. We obtain that it has asymptotically stable equilibriums if the network is updated asynchronously, and asymptotically stable equilibriums or vibrating final stage with 2 period if updated synchronously. To prove these, Lassale＇s invariance principle in difference equation is applied.展开更多
The purpose of this paper is to study the traveling wave solutions of a diffusive predator- prey model with predator saturation and competition functional response. The system admits three equilibria： a zero equilibr...The purpose of this paper is to study the traveling wave solutions of a diffusive predator- prey model with predator saturation and competition functional response. The system admits three equilibria： a zero equilibrium E0, a boundary equilibrium E1 and a posi- tive equilibrium E. under some conditions. We establish the existence of two types of traveling wave solutions which connect E0 and E. and E1 and E., respectively. Our main arguments are based on a simplified shooting method, a sandwich method and constructions of appropriate Lyapunov functions. Our particular interest is to investi- gate the oscillation of both types of traveling wave solutions when they approach the positive equilibrium.展开更多
基金This research supported by Grants from the National Natural Science Foundation of China(No.11225104)and the Fundamental Research Funds for the Central Universities.
文摘We prove a new Donsker’s invariance principle for independent and identically distributed random variables under the sub-linear expectation.As applications,the small deviations and Chung’s law of the iterated logarithm are obtained.
基金Supported partly by the National Natural Science Foundation of China (Grant Nos. 60221301, 60674022 and 60736022)
文摘This paper studies the extension of LaSalle＇s invariance principle for switched nonlinear systems. Unlike most existing results in which each switching mode in the system needs to be asymptotically stable, this paper allows the switching modes to be only stable. Under certain ergodicity assumptions of the switching signals, two extensions of LaSalle＇s invariance principle for global asymptotic stability of switched nonlinear systems are obtained using the method of common joint Lyapunov function.
基金Project supported by the National Natural Science Foundation of China.
文摘Let {Xn} be a sequence of i.i.d.r. v. s with mean 0 and variance 1, Sn = ∑i=1nXi- Suppose H(x)>0 (x≥0) is a non-decreasing continuous function such that for some γ>0 and x0>0, x-2-γ(x)(x≥x0) is non-decreasing and x -1logH(x) (x≥x0) is non-increasing. If x-1 logH(x)→0 (x→∞), then Sn - W(n)=o (invH(n)) a.s. (n → ∞) holds if and only if EH(t|X1|)<∞ for all t>0.
基金Supported by the NNSF of China(11371368,11071254)Supported by the NSF of Hebei Province(A2014506015)Supported by the NSF for Young Scientists of Hebei Province(A2013506012)
文摘In this paper, a virus infection model with standard incidence rate and delayed CTL immune response is investigated. By analyzing corresponding characteristic equations,the local stability of each of feasible equilibria and the existence of Hopf bifurcations at the CTL-activated infection equilibrium are established, respectively. By means of comparison arguments, it is verified that the infection-free equilibrium is globally asymptotically stable if the basic reproduction ratio is less than unity. By using suitable Lyapunov functional and LaSalle's invariance principle, it is shown that the CTL-inactivated infection equilibrium of the system is globally asymptotically stable if the immune response reproduction ratio is less than unity and the basic reproduction ratio is greater than unity. Numerical simulations are carried out to illustrate the theoretical result.
基金This work was supported by the National Natural Science Foundation of China(No.11371368)and(No.11871316)。
文摘In this paper,an eco-epidemiological model with Beddington-DeAngelis functional response and a time delay representing the gestation period of the predator is studied.By means of Lyapunov functionals and Laselle’s invariance principle,sufficient conditions are obtained for the global stability of the interior equilibrium and the disease-free equilibrium of the system,respectively.
文摘Although frequently encountered in many practical applications, singular nonlinear optimization has been always recognized as a difficult problem. In the last decades, classical numerical techniques have been proposed to deal with the singular problem. However, the issue of numerical instability and high computational complexity has not found a satisfactory solution so far. In this paper, we consider the singular optimization problem with bounded variables constraint rather than the common unconstraint model. A novel neural network model was proposed for solving the problem of singular convex optimization with bounded variables. Under the assumption of rank one defect, the original difficult problem is transformed into nonsingular constrained optimization problem by enforcing a tensor term. By using the augmented Lagrangian method and the projection technique, it is proven that the proposed continuous model is convergent to the solution of the singular optimization problem. Numerical simulation further confirmed the effectiveness of the proposed neural network approach.
基金Supported by the National Natural Science Foundation of China(1137136811071254)+1 种基金the Natural Science Foundation of Hebei Province(A2014506015)the Natural Science Foundation of Young Scientist of Hebei Province(A2013506012)
基金Project supported by the National Natural Science Foundation of China.
文摘<正> By developing the mechanical proving method, we determine the structure of LaSalle’sinvariant set for 7-dimensional Lotka-Volterra food chain systems, based on Ritt-Wu’s prin-ciple. We then further show that the locally asymptotical stable equilibrium point of Lotka-Volterra food chain systems for 7 dimension must be globally stable.
基金the National Natural Science Foundation of China(Nos.11871316,11671241,11601294,11801340,11501340 and 11371368)the Natural Science Foundation of Shanxi Province(Nos.201801D221001,201801D121006,201801D221011,201601D021012 and 201801D221007)+1 种基金the Shanxi Scholarship Council of China under Grant No.2016-011the Program for the Start-up of High-Level Talents of Shanxi University(No.232545029).
文摘In this paper,an eco-epidemiological model with time delay representing the gestation period of the predator is investigated.In the model,it is assumed that the predator population suffers a transmissible disease and the infected predators may recover from the disease and become susceptible again.By analyzing corresponding characteristic equations,the local stability of each of feasible equilibria and the existence of Hopf bifurcations at the disease-free and coexistence equilibria are established,respectively.By means of Lyapunov functionals and LaSalle’s invariance principle,sufficient condi tions are obtained for the global stability of the coexistence equilibrium,the disease-free equilibrium and the predator-extinct equilibrium of the system,respectively.
文摘In this paper, an HIV-1 infection model with absorption, saturation infection and an intracellular delay accounting for the time between viral entry into a target cell and the production of new virus particles is investigated. By analyzing the characteristic equations, the local stability of an infection-free equilibrium and a chronic-infection equilibrium of the model is established. By using suitable Lyapunov functionals and LaSalle＇s invariance principle, it is proved that if the basic reproduction ratio is less than unity, the infection-free equilibrium is globally asymptotically stable; and if the basic reproduction ratio is greater than unity, sufficient condition is derived for the global stability of the chronic-infection equilibrium.
基金supported by the National Natural Science Foundation of China (Grant No.60674041)the Specialized Research Fund for the Doctoral Program of Higher Education (No.20070248004).
文摘This paper investigates distributed cooperative formation control of a group of multiple mobile agents with a virtual leader,where information exchange among agents is modeled by the group topology,and the states of the virtual leader are known only by parts of the agents.We develop a class of distributed formation control laws with similar form.The steered group is proved to achieve the desired formation objectives as long as the intersection of the initial communication topology and the formation goal topology is connected.This requirement of connectivity can be easily achieved by many practical applications;consequently,our developed distributed control laws are effective and feasible.Furthermore,for the developed control laws,we show the influence of different information flow graph of agents on the convergence rate and robustness to node and connection failures.
文摘In this paper, the authors analyze the stability of a kind of discrete-time Hopfield neural network with asymptotical weighted matrix, which can be expressed as the product of a positive definite diagonal matrix and a symmetric matrix. We obtain that it has asymptotically stable equilibriums if the network is updated asynchronously, and asymptotically stable equilibriums or vibrating final stage with 2 period if updated synchronously. To prove these, Lassale＇s invariance principle in difference equation is applied.
文摘The purpose of this paper is to study the traveling wave solutions of a diffusive predator- prey model with predator saturation and competition functional response. The system admits three equilibria： a zero equilibrium E0, a boundary equilibrium E1 and a posi- tive equilibrium E. under some conditions. We establish the existence of two types of traveling wave solutions which connect E0 and E. and E1 and E., respectively. Our main arguments are based on a simplified shooting method, a sandwich method and constructions of appropriate Lyapunov functions. Our particular interest is to investi- gate the oscillation of both types of traveling wave solutions when they approach the positive equilibrium.
