- Research Article
- Open Access

# Complete Asymptotic and Bifurcation Analysis for a Difference Equation with Piecewise Constant Control

- Chengmin Hou
^{1}Email author, - Lili Han
^{1}and - SuiSun Cheng
^{2}

**2010**:542073

https://doi.org/10.1155/2010/542073

© Chengmin Hou et al. 2010

**Received:**2 June 2010**Accepted:**14 November 2010**Published:**1 December 2010

## Abstract

We consider a difference equation involving three parameters and a piecewise constant control function with an additional positive threshold . Treating the threshold as a bifurcation parameter that varies between 0 and , we work out a complete asymptotic and bifurcation analysis. Among other things, we show that all solutions either tend to a limit 1-cycle or to a limit 2-cycle and, we find the exact regions of attraction for these cycles depending on the size of the threshold. In particular, we show that when the threshold is either small or large, there is only one corresponding limit 1-cycle which is globally attractive. It is hoped that the results obtained here will be useful in understanding interacting network models involving piecewise constant control functions.

## Keywords

- Difference Equation
- Global Attractor
- Bifurcation Analysis
- Bifurcation Parameter
- Continuity Argument

## 1. Introduction

in which the *positive* number
can be regarded as a threshold *bifurcation* parameter.

Since can be an arbitrary small positive number, (1.1) may be regarded as a limiting case of (1.3). Therefore, it would appear that the qualitative behavior of (1.3) will "degenerate into" that of (1.1) when tends to 0. However, it is our intention to derive a complete asymptotic and bifurcation analysis for our new equation and show that, among other things, our expectation is not quite true and perhaps such discrepancy is due to the nonlinear nature of our model at hand.

Indeed, we are dealing with a dynamical system with piecewise constant nonlinearlities (see e.g., [2–6]), and the usual linear and continuity arguments cannot be applied to our (1.3). Fortunately, we are able to achieve our goal by means of completely elementary considerations.

To this end, we first recall a few concepts. Note that given , we may compute from (1.3) the numbers in a unique manner. The corresponding sequence is called the solution of (1.1) determined by or originated from the initial vector .

In case is an -periodic sequence, we say that is an asymptotically -periodic sequence tending to the limit -cycle (This term is introduced since the underlying concept is similar to that of the limit cycle in the theory of ordinary differential equations.) . In particular, an asymptotically 1-periodic sequence is a convergent sequence and conversely.

is called the the region of attraction of the limit cycle . In other words, attracts all solutions originated from its region of attraction.

- (i)

by means of the identification for . Therefore, our subsequent results can be interpreted in terms of the dynamics of plane vector sequences defined by (1.21).

In particular, the following result states that a solution of (1.21) with will have one of its terms in .

Lemma 1.1.

Let be a solution of (1.3). If , then there is such that and .

Proof.

The proof is complete.

Furthermore, in each case, we find the exact regions of attraction of the limit cycles. Then we describe our results in terms of our phase plane model (1.21) and compare them with what we have obtained for the phase plane model of (1.1).

We remark that since we need to find the exact regions of attraction, we need to consider initial vectors belonging to (up to 9) different parts of the plane. Therefore the following derivations will seem to be repetitive. Fortunately, the principles behind our derivations are quite similar, and therefore some of the repetitive arguments can be simplified.

For the sake of convenience, if no confusion is caused, the function is also denoted by in the sequel.

## 2. The Case Where

In this section, we assume that .

Lemma 2.1.

Suppose that . Let be a solution of (1.3). Then, there is such that .

Proof.

Repeating the argument we either find such that , or one has that the subsequence lies in whereas . This would mean that the subsequence satisfies (1.6) or (1.7) for , and hence , a contradiction. The proof is complete.

Theorem A

Suppose . Then every solution of (1.3) converges to .

Proof.

and by induction for all . Thus, by (1.3), for . In view of (1.10) and (1.11), . The proof is complete.

## 3. The Case Where

Lemma 3.1.

Suppose that . Let be a solution of (1.3). If , then there is such that .

Proof.

We break up into four different parts , , , and . We also let and .

Clearly, there is nothing to prove if .

Hence, . By induction, we see that and hence, .

Suppose . Then by (1.3), . Hence,

Suppose that . Then by Lemma 1.1, there is such that .

Hence, , and by induction, . Thus .

Suppose . Then for some . As in the previous case, we may show by similar arguments that .

Therefore, in the last four cases, we may apply the first two cases to conclude our proof. The proof is complete.

Theorem B

Suppose that . Then, every solution of (1.3) with tends to .

Proof.

Indeed, in view of Lemma 3.1, we may assume without loss of generality that . Then, the same arguments in the proof of Theorem holds so that .

Lemma 3.2.

Suppose that . Let be a solution of (1.3). If , then there is such that and .

Proof.

We break up into five different parts , , , , and .

Clearly, there is nothing to prove if .

Next, suppose that . Then, by (1.3), . Hence, .

which is a contradiction. Thus there is such that and . Hence, .

we see that . By induction, we may further see that . Hence, .

Next, suppose that . Then for some . By arguments similar to the previous case, we may then, show that . The proof is complete.

Theorem C

Suppose that . Then, any solution with tends to the limit 2-cycle .

Proof.

and by induction and for all . Hence, by (1.3), and for . In view of (1.10) and (1.11), and . The proof is complete.

## 4. The Case Where

In this section, we suppose . Then, .

Lemma 4.1.

Suppose that . Let be a solution of (1.3). Then, there is such that and .

Proof.

We break up the plane into seven different parts: , , , , , , and .

Clearly there is nothing to prove if .

Next, suppose that . Then, by (1.3), , and hence .

Next, suppose that . If for all , then by (1.3), for , which leads us to , which is a contradiction. Hence, there is such that and . Therefore, .

Next, suppose that . If for all , then, by (1.3), for , which leads us to the contradiction . Thus there is such that and . Then and hence, .

In view of (1.12), , which is a contradiction. Hence, there is such that .

Next, suppose that . Then, . Hence, .

Finally, suppose that . Then, by Lemma 1.1, there is such that .

Therefore, in the last three cases, we may apply the conclusions in the first four cases to conclude our proof. The proof is complete.

Theorem D

Suppose that . Then any solution of (1.3) tends to the limit 2-cycle .

Proof.

Indeed, in view of Lemma 4.1, we may assume without loss of generality that and . Then the same arguments in the proof of Theorem then shows that and .

## 5. The Case Where

In this section, we assume that . Then .

Lemma 5.1.

Suppose that . Let be a solution of (1.3). If , Then, there is such that and .

Proof.

We break up the set into eight different parts: , , , , , , , and .

Clearly, there is nothing to prove if .

Hence, there is such that and . Thus .

Next, suppose that . Then, by (1.3), . Hence, .

we see that . By induction, we see that . Hence, .

we see that . By induction, . Hence .

Next, suppose that . Then, by (1.3), . Hence, .

Next, suppose that . Then, , and hence, .

Finally suppose . Then, by Lemma 1.1, there is such that .

Therefore, in the fourth, sixth, seventh, and the eigth cases, we may use the conclusions in the other cases to conclude our proof. The proof is complete.

Theorem E

Suppose that . Then, any solution with tends to the limit 2-cycle .

Proof.

Indeed, in view of Lemma 5.1, we may assume without loss of generality that . Then the same arguments in the proof of Theorem shows that and .

Theorem F

Suppose that . Then, any solution of (1.3) with tends to .

Proof.

and by induction, for all . Hence, for , which leads us to . The proof is complete.

## 6. The Case Where

In this section, we suppose that . Then .

Lemma 6.1.

Suppose that . Let be a solution of (1.3). Then there is such that .

Proof.

If for all , then by (1.3), for all . In view of (1.12) and (1.13), this is impossible, and hence, there must exist a such that . Then . By induction, we see that the subsequence lies in , and hence for all . In view of (1.11), . The proof is complete.

Theorem G

Suppose that . Then, every solution of (1.3) converges to .

Proof.

Indeed, in view of Lemma 6.1, we may assume without loss of generality that . Then the same arguments in the proof of Theorem shows that .

## 7. Phase Plane Interpretation and Comparison Remarks

respectively, by means of the identification for

- (i)
- Similarly,
- (ii)
If , then the limit 1-cycle attracts all solutions of (7.2) originated from , and the limit 2-cycle attracts all other solutions of (7.2).

- (iii)
- (iv)
If , then the limit 1-cycle attracts all solutions of (7.2) originated from (see (3.3)), and the limit 2-cycle attracts all other solutions.

- (v)
If , then the limit 1-cycle attracts all solutions of (7.2).

For comparison purposes, let us now recall the asymptotic results in [1]. Let us set - (vi)
If , then the limit 1-cycle attracts all solutions of (7.1) originated from , and the limit 2-cycle attracts all other solutions.

- (vii)
If , then the limit 1-cycle attracts all solutions of (7.1) originated from ; the limit 2-cycle attracts all solutions of (7.1) originated from , and the limit 1-cycle attracts all other solutions.

- (viii)
If , then the limit 1-cycle attracts all solutions of (7.1) originated from ; and the limit 1-cycle attracts all other solutions.

In view of these statements, we see that for a small positive , all solutions of (7.2) tend to a unique "lower" state vector, and for large , to another unique "higher" state vector. On the other hand, for a small positive , there are always solutions of (7.1) which tend to a limit 2-cycle, and solutions which tend to the limit 1-cycle , and for a large , there are solutions of (7.1) which tend to the limit 1-cycle and solutions to the limit 1-cycle . These observations show that it is probably not appropriate to call (1.1) the limiting case of (1.3)!

can be used to describe competing dynamics and it is hoped that our techniques, and results here will be useful in these studies.

## Authors’ Affiliations

## References

- Ge Q, Hou CM, Cheng SS:
**Complete asymptotic analysis of a nonlinear recurrence relation with threshold control.***Advances in Difference Equations*2010,**2010:**-19.Google Scholar - Zhu H, Huang L:
**Asymptotic behavior of solutions for a class of delay difference equation.***Annals of Differential Equations*2005,**21**(1):99-105.MathSciNetMATHGoogle Scholar - Yuan Z, Huang L, Chen Y:
**Convergence and periodicity of solutions for a discrete-time network model of two neurons.***Mathematical and Computer Modelling*2002,**35**(9-10):941-950. 10.1016/S0895-7177(02)00061-4MathSciNetView ArticleMATHGoogle Scholar - Sedaghat H:
*Nonlinear Difference Equations, Mathematical Modelling: Theory and Applications*.*Volume 15*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2003:xvi+388.View ArticleMATHGoogle Scholar - di Bernardo M, Budd CJ, Champneys AR, Kowalczyk P:
*Piecewise Smooth Dynamical Systems*. Springer, New York, NY, USA; 2008.MATHGoogle Scholar - Hou C, Cheng SS:
**Eventually periodic solutions for difference equations with periodic coefficients and nonlinear control functions.***Discrete Dynamics in Nature and Society*2008,**2008:**-21.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.