Journal of Applied Mathematics

Volume 2013 (2013), Article ID 712932, 7 pages

http://dx.doi.org/10.1155/2013/712932

Research Article

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

Yeong-Jeu Sun,¹ Yu-Biaw Wu,² and Ching-Cheng Wang²

¹Department of Electrical Engineering, I-Shou University, No.1, Sec. 1, Syuecheng Road, Dashu District, Kaohsiung City 84001, Taiwan

²Institute of Manufacturing Information and Systems, National Cheng Kung University, Tainan, Taiwan

Received 29 November 2012; Revised 8 March 2013; Accepted 16 March 2013

Academic Editor: Samir H. Saker

Copyright © 2013 Yeong-Jeu Sun et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

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.

1. 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–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 discrete-time 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 Gause-type 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 time-domain 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, 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 .

2. Problem Formulation and Main Results

In this paper, we consider the following nonlinear systems:

where is the state vector, , and are system’s parameters, with , and . The discrete delay argument d is nonnegative. Obviously, is an equivalent point of system (1a) and (1b), that is, the solution of system (1a) and (1b) is given by if . To avoid such a trivial case, in the following, we only consider the system (1a) and (1b) under the case of .

The ESLC and the guaranteed convergence rate of the continuous system (1a) and (1b) are defined as follows.

Definition 1. Consider the system (1a) and (1b). The closed and bounded manifold , in the plane, is said to be an ESLC if there exist two positive numbers and such that the manifold of 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 in the plane, with the guaranteed convergence rate

Besides, the states and exponentially track, respectively, the trajectories

in the time domain, with the guaranteed convergence rate .

Proof. Define a smooth manifold and a continuous function with . Then the time derivatives of 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).

Case 1. Consider ( (or equivalently; )). In this case, from (5), it can be obtained that , which implies

Hence we conclude that

in view of (6) and (7).

Case 2. Consider ( (or equivalently; )). In this case, from (5), it can be obtained that is a strictly decreasing function of t with , and

Applying the differential inequality [15] with the above inequality, one has

This implies

It yields

Consequently, by (6) and (12), we conclude that

Case 3. Consider ( (or equivalently; )). In this case, from (5), it can be obtained that is a strictly decreasing function of t with , and

Applying the differential inequality [15] with above inequality, one has

this implies

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 and 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.

Figure 1: The diagram of implementation, where and .

3. Numerical Simulations

Example 5. Consider the nonlinear system (1a) and (1b) with

By Theorem 2, we conclude that the phase trajectories of system (1a) and (1b) tend to the ESLC in the plane, with the guaranteed convergence rate . Furthermore, the states and exponentially track, respectively, the trajectories and , in the time domain, with the guaranteed convergence rate . Some state trajectories of above nonlinear system are depicted in Figures 2 and 3. From the foregoing simulations results, it is seen that the nonlinear (1a) and (1b) with

uniquely possesses the ESLC of .

Figure 2: and of the nonlinear system (1a) and (1b), with .

Figure 3: Typical phase trajectories of the nonlinear system (1a) and (1b), with .

Example 6. Consider the nonlinear system (1a) and (1b) with

By Theorem 2, we conclude that the phase trajectories of system (1a) and (1b) tend to the ESLC in the plane, with the guaranteed convergence rate . Furthermore, the states and exponentially track, respectively, the trajectories and , in the time domain, with the guaranteed convergence rate . Some state trajectories of above nonlinear system are depicted in Figures 4–5. From the foregoing simulations results, it is seen that the nonlinear system (1a) and (1b) with

uniquely possesses the ESLC of .

Figure 4: and of the nonlinear system (1a) and (1b), with .

Figure 5: Typical phase trajectories of the nonlinear system (1a) and (1b), with .

4. 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.

Acknowledgments

The authors thank the National Science Council of China for supporting this work under Grant No. NSC-100-2221-E-214-015.

References

M. L. Bertotti and M. Delitala, “On the existence of limit cycles in opinion formation processes under time periodic influence of persuaders,” Mathematical Models & Methods in Applied Sciences, vol. 18, no. 6, pp. 913–934, 2008.

M. P. Bora and D. Sarmah, “Sawtooth disruptions and limit cycle oscillations,” Communications in Nonlinear Science and Numerical Simulation, vol. 13, no. 2, pp. 296–313, 2008.

J. Cao, “Limit cycles of polynomial differential systems with homogeneous nonlinearities of degree 4 via the averaging method,” Journal of Computational and Applied Mathematics, vol. 220, no. 1-2, pp. 624–631, 2008.

Y. M. Chen and J. K. Liu, “A study of homotopy analysis method for limit cycle of van der Pol equation,” Communications in Nonlinear Science and Numerical Simulation, vol. 14, no. 5, pp. 1816–1821, 2009.

Y. Cui, S. Liu, J. Tang, and Y. Meng, “Amplitude control of limit cycles in Langford system,” Chaos, Solitons & Fractals, vol. 42, no. 1, pp. 335–340, 2009.

C. Du and Y. Liu, “The problem of general center-focus and bifurcation of limit cycles for a planar system of nine degrees,” Journal of Computational and Applied Mathematics, vol. 223, no. 2, pp. 1043–1057, 2009.

F. Li, Y. Liu, and Y. Wu, “Center conditions and bifurcation of limit cycles at three-order nilpotent critical point in a seventh degree Lyapunov system,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 6, pp. 2598–2608, 2011.

L. Mendelowitz, A. Verdugo, and R. Rand, “Dynamics of three coupled limit cycle oscillators with application to artificial intelligence,” Communications in Nonlinear Science and Numerical Simulation, vol. 14, no. 1, pp. 270–283, 2009.

S. M. Moghadas and B. D. Corbett, “Limit cycles in a generalized Gause-type predator-prey model,” Chaos, Solitons & Fractals, vol. 37, no. 5, pp. 1343–1355, 2008.

M. Pandey, R. Rand, and A. Zehnder, “Perturbation analysis of entrainment in a micromechanical limit cycle oscillator,” Communications in Nonlinear Science and Numerical Simulation, vol. 12, no. 7, pp. 1291–1301, 2007.

Y.-J. Sun, “Existence and uniqueness of limit cycle for a class of nonlinear discrete-time systems,” Chaos, Solitons & Fractals, vol. 38, no. 1, pp. 89–96, 2008.

D. Xiao and Z. Zhang, “On the existence and uniqueness of limit cycles for generalized Liénard systems,” Journal of Mathematical Analysis and Applications, vol. 343, no. 1, pp. 299–309, 2008.

P. Yu and R. Corless, “Symbolic computation of limit cycles associated with Hilbert's 16th problem,” Communications in Nonlinear Science and Numerical Simulation, vol. 14, no. 12, pp. 4041–4056, 2009.

R. R. V. Dodla, A. Sen, and G. L. Johnston, “Driven response of time delay coupled limit cycle oscillators,” Communications in Nonlinear Science and Numerical Simulation, vol. 8, no. 3-4, pp. 493–518, 2003.

V. Lakshmikantham and S. Leela, Differential and Integral Inequalities: Theory and Applications, Academic Press, New York, NY, USA, 1969.