Two differential equation systems for equality-constrained optimization

This paper presents two differential systems, involving first and second order derivatives of problem functions, respectively, for solving equality-constrained optimization problems. Local minimizers to the optimization problems are proved to be asymptotically stable equilibrium points of the two differential systems. First, the Euler discrete schemes with constant stepsizes for the two differential systems are presented and their convergence theorems are demonstrated. Second, we construct algorithms in which directions are computed by these two systems and the stepsizes are generated by Armijo line search to solve the original equality-constrained optimization problem. The constructed algorithms and the Runge–Kutta method are employed to solve the Euler discrete schemes and the differential equation systems, respectively. We prove that the discrete scheme based on the differential equation system with the second order information has the locally quadratic convergence rate under the local Lipschitz condition. The numerical results given here show that Runge–Kutta method has better stability and higher precision and the numerical method based on the differential equation system with the second information is faster than the other one.     

Asymptotic properties of an HIV/AIDS model with a time delay

A mathematical model for HIV/AIDS with explicit incubation period is presented as a system of discrete time delay differential equations and its important mathematical features are analysed. The disease-free and endemic equilibria are found and their local stability investigated. We use the Lyapunov functional approach to show the global stability of the endemic equilibrium. Qualitative analysis of the model including positivity and boundedness of solutions, and persistence are also presented. The HIV/AIDS model is numerically analysed to asses the effects of incubation period on the dynamics of HIV/AIDS and the demographic impact of the epidemic using the demographic and epidemiological parameters for Zimbabwe.     

Risk-neutral valuation with infinitely many trading dates

The first Fundamental Theorem of Asset Pricing establishes the equivalence between the absence of arbitrage in financial markets and the existence of Equivalent Martingale Measures, if appropriate conditions hold. Since the theorem may fail when dealing with infinitely many trading dates, this paper draws on the A.A. Lyapunov Theorem in order to retrieve the equivalence for complete markets such that the Sharpe Ratio is adequately bounded.     

Asymptotic stability of semigroups associated with linear weak dissipative systems with memory

We study the asymptotic behavior of the solutions of a class of linear dissipative integral differential equations. We show in the abstract setting a necessary and sufficient condition to get an exponential decay of the solution. In the case of the lack of exponential decay, we find the polynomial rate of decay of the solution. Some examples are given.     

具常数存放的非线性功能反应捕食模型的定性分析

研究一类食饵具常数存放且功能反应函数为次线性函数的食饵-捕食者模型,获得了一些平衡点全局渐近稳定,极限环存在惟一的充分条件.利用数值仿真检验了我们的结论.     

Global smooth solutions to the multi-dimensional hydrodynamic model for two-carrier plasmas

The existence of global smooth solutions to the multi-dimensional hydrodynamic model for plasmas of electrons and positively charged ions is shown under the assumption that the initial densities are close to a constant. The model consists of the conservation laws for the particle densities and the current densities, coupled to the Poisson equation for the electrostatic potential. Furthermore, it is proved that the particle densities converge exponentially fast to the (constant) steady state. The proof uses a higher-order energy method inspired from extended thermodynamics.     

PERMANENCE AND GLOBAL STABILITY TO A NONAUTONOMOUS NONLINEAR DISCRETE SINGLE SPECIES SYSTEM

In this paper,we study some permanence and global stability to a nonau- tonomous nonlinear discrete single species system,and obtain some sufficient condition of global stability to the system.     

Asymptotic stability of relaxation shock profiles for hyperbolic conservation laws

This paper studies the asymptotic stability of traveling relaxation shock profiles for hyperbolic systems of conservation laws. Under a stability condition of subcharacteristic type the large time relaxation dynamics on the level of shocks is shown to be determined by the equilibrium conservation laws. The proof is due to the energy principle, using the weighted norms, the interaction of waves from various modes is treated by imposing suitable weight matrix.     

Stability of solutions to the Cauchy problem for a plane hyperbolic system with time-periodic coefficients

Considering a plane hyperbolic system with time-periodic coefficients, we construct a version of the direct Lyapunov method with the condition on the derivative of the Lyapunov functional along the trajectories of the system which is weakened by use of periodicity of the coefficients. We exhibit an illustrative example.     

Nonlinear control of systems with multiple equilibria and unknown sinusoidal disturbance

In this paper, nonlinear systems having multiple equilibrium points and low order dynamics are investigated. Roll motions of ships are studied by means of modern nonlinear techniques to exemplify the behavior of such nonlinear systems in the case when they are under the influence of external sinusoidal disturbances with unknown amplitudes. The main objective is to analyze the performance of this system at different operating conditions, including those giving rise to chaos, and to design a controller with an overparameterized structure to stabilize the system at the origin. A nonlinear recursive backstepping controller is proposed and the transient performance is investigated. Lyapunov-based techniques are used to force systematic following of a reference model while introducing a nonlinear parameter estimator to guarantee adaptivity. Robustness problems as well as ways to tune the controller parameters are examined. Simulation results are submitted for the uncontrolled and controlled cases, verifying the effectiveness of the proposed controller. Finally, a discussion and conclusions are given with possible future extensions.