Existence and Uniqueness of the Exponentially Stable Limit Cycle for a Class of Nonlinear Systems via Time-Domain Approach with Differential Inequality

The concept of the exponentially stable limit cycle (ESLC) is introduced, and the ESLC phenomenon for a class of nonlinear systems is explored. Based on time-domain approach with differential inequality, the existence and uniqueness of the ESLC for such nonlinear systems can be guaranteed. Besides, the period of oscillation, the amplitude of oscillation, and guaranteed convergence rate can be accurately estimated. Finally, two numerical simulations are provided to illustrate the feasibility and effectiveness of the obtained result.


Introduction
Some specific nonlinear systems can offer oscillations with fixed period and fixed amplitude.Such oscillations are named limit cycles or self-oscillations, for example, an RLC electrical circuit with a nonlinear resistor, fuzzy vehicle control systems, decentralized relay systems, microwave oscillator, and the Van der Pol equation.Moreover, oscillators frequently exist in various fields of application.Recently, a wide variety of methodologies in the prediction of limit cycles have been proposed, such as describing function method, the Poincare-Bendixson theorem, piecewise-linearized methods, the Lyapunov-like approach, averaging method, analytic method, and others.
In the past, there have been some interesting developments in various limit cycle problems of nonlinear systems, but most were restricted to delay-free cases; see, for example, [1][2][3][4][5][6][7][8][9][10][11][12][13] and the references therein.In [13], the existence of small-amplitude limit cycles of nonlinear dynamical systems has been studied.A computational method has been proposed to obtain some new results about small limit cycles.As shown in [2], the persistent behavior of the sawtooth oscillation across different tokamaks indicates that a dynamical model based on limit cycle oscillation is consistent in contrast to the Hamiltonian models.Recently, Mendelowitz et al. have studied a system of three limit cycle oscillators which exhibits two stable steady states [8].In [7], center conditions and bifurcation of limit cycles at the nilpotent critical point in a class of seventh degree system have been investigated.The fact that there exist 12 small amplitude limit cycles created from the three order nilpotent critical point has also been proved.Meanwhile, the driven response of time delay coupled limit cycle oscillators has been studied in [14].In [11], the definition of the ESLC for nonlinear discrete-time systems has been firstly introduced.Based on analytic method, the existence of limit cycle for a class of nonlinear discretetime systems can be guaranteed.In addition, a uniqueness theorem of limit cycles for the Liénard system has been obtained in [12].An example of a predator-prey system has also been given to show the application of the main theorem.In [9], the existence of limit cycles for a generalized Gausetype predator-prey model with functional and numerical responses that satisfy some general assumptions has been studied.It has been shown that the existence of a limit cycle is equivalent to the instability of the positive critical point.Besides, a model of opinion formation in a population of interacting individuals under the influence of external leaders or persuaders has been studied in [1].The existence of a globally asymptotically stable periodic solution of such a model has been analytically proved in three example cases.In [3], by using the averaging method, the limit cycles for a class of quartic polynomial differential systems as well as their global shape in the plane has been investigated and discussed.Any physical dynamic system inherently contains, more or less, some time-delay phenomena because the energy in the system propagates with a finite speed.Very often, the delay in nonlinear systems is a source of the generation of oscillation and a source of instability.These motivate us to investigate the ESLC phenomenon for a class of nonlinear time-delay systems.In this paper, based on timedomain approach with differential inequality, the existence and uniqueness of the ESLC for a class of nonlinear systems can be guaranteed.Not only the period of oscillation and amplitude of oscillation can be correctly estimated but also the guaranteed convergence rate can be accurately calculated.Finally, two numerical simulations are provided to illustrate the feasibility and effectiveness of the obtained result.
Throughout this paper, R  denotes the -dimensional Euclidean space, || denotes the modulus of a real number ,  denotes the set of natural numbers, and   denotes the transpose of the matrix .
Definition 1.Consider the system (1a) and (1b).The closed and bounded manifold () = 0, in the  1 −  2 plane, is said to be an ESLC if there exist two positive numbers  and  such that the manifold of () = 0 along the trajectories of system (1a) and (1b) satisfies the following inequality: In this case, the positive number  is called the guaranteed convergence rate.Now, we present the main result for the existence of the ESLC of system (1a) and (1b) as follows.
Theorem 2. All of phase trajectories of the system (1a) and (1b) tend to the ESLC () =  2  1 +  2 2 −  = 0 in the  1 −  2 plane, with the guaranteed convergence rate Besides, the states  1 () and  2 () exponentially track, respectively, the trajectories in the time domain, with the guaranteed convergence rate /2.
Proof.Define a smooth manifold () = 0 and a continuous function () := tan −1 [ 2 / 1 ] with () =    − .Then the time derivatives of  2 () and () along the trajectories of system (1a) and (1b) is given by This implies In the following, there are three cases to discuss the trajectories of the feedback control system of (1a) and (1b).

It yields
Consequently, by ( 6) and (17), we conclude that This completes the proof.
Remark 3. By Theorem 2, it is clear that both of  1 () and  2 () can be represented as nonlinear oscillators with the amplitude √ and the frequency .Such oscillations are generally independent of the initial condition.Meanwhile, the phenomenon of limit cycle is not affected by parameter variation.
Remark 4. Based on time-domain approach with differential inequality, we may obtain the desired amplitude and the desired frequency by tuning the parameters  and , respectively, in view of (4).It is worthwhile to note that any member of a family of nonlinear system (1a) and (1b) not only can be regarded as nonlinear oscillator but also can be implemented by electronic circuits, as shown in Figure 1.

Conclusion
In this paper, the concept of the ESLC has been introduced and the ESLC phenomenon for a class of nonlinear systems has been explored.Based on time-domain approach with differential inequality, the existence and uniqueness of the ESLC for such nonlinear systems can be guaranteed.Besides, the period of oscillation, the amplitude of oscillation, and guaranteed convergence rate can be accurately estimated.
Finally, numerical simulations have also been provided to illustrate the feasibility and effectiveness of the obtained result.