Discrete Dynamics in Nature and Society

Volume 2008, Article ID 193872, 7 pages

http://dx.doi.org/10.1155/2008/193872

## A New Part-Metric-Related Inequality Chain and an Application

^{1}School of Computer and Information, Chongqing Jiaotong University, Chongqing 400074, China^{2}College of Computer Science, Chongqing University, Chongqing 400044, China^{3}Department of Computer Science, Hong Kong Baptist University, Kowloon, Hong Kong

Received 28 September 2007; Accepted 6 November 2007

Academic Editor: Stevo Stevic

Copyright © 2008 Xiaofan Yang 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

Part-metric-related (PMR) inequality chains are elegant and are useful in the study of difference equations. In this paper, we establish a new PMR inequality chain, which is then applied to show the global asymptotic stability of a class of rational difference equations.

#### 1. Introduction

A part-metric related (PMR) inequality chain is a chain of inequalities of the form which is closely related to the well-known part metric [1] and has important applications in the study of difference equations [2–13]. Below are three previously known PMR inequality chains: In this article, we establish the following PMR inequality chain: where will be defined in the next section, . When , chain (1.5) reduces to chain (1.4). On this basis, we prove that the difference equation with positive initial conditions admits a globally asymptotically stable equilibrium .

#### 2. Main Results

This section establishes the main results of this paper. For a function , let

Lemma 2.1. *Let . Then .
One equality in the chain holds if and only if . *

For and , define a function as follows: Below are two examples of this function:

For brevity, let . Note that, for each , is linear fractional in . As a consequence, is monotone in . Through simple calculations, we get the following two lemmas.

Lemma 2.2. *Let , , , . *

(1)*If is
increasing in a _{r}, then .
The equality holds if and only if is constant
in .*(2)

*If is strictly decreasing in , then . The equality holds if and only if .*

Lemma 2.3. *Let , , , . *

(1)*If is
increasing in , then .
The equality holds if and only if is constant
in .*(2)*If is
strictly decreasing in ,
then .
The equality holds if and only if .*

Theorem 2.4. *Let , .
Then .
One of the two equalities holds if and only if .*

*Proof. *Let , .

We prove only because can be proved similarly. We proceed by
distinguishing two possible cases.*Case 1. *There is a permutation of such that for each , either or is strictly decreasing in .
Then*Case 2. *There is a partial permutation of () such that (a) for each ,
either or is strictly decreasing in ,
and (b) for each , and is increasing in .
Then

Since ,
there is .
If ,
it follows from (2.5) and Lemma 2.2 that
Whereas if ,
it follows from (2.5) and Lemma 2.3 that
Hence, is proven.

Second, we prove that if .
The claim of “ if ” can be treated similarly. To this end, we need
to prove the following.

*Claim 1. *If ,
then there is a permutation of such that for each , either or is strictly decreasing in .

*Proof of Claim 1. *On the
contrary, assume that
Claim 1 is not true. Then there is a partial permutation of () such that (a) for each ,
either or is strictly decreasing in ,
and (b) for each , and is increasing in .
One of the following two cases must occur.*Case 1. *There is such that is strictly increasing in . If ,
it follows by (2.5), (2.6), and Lemma 2.2 that
A contradiction occurs. Whereas if ,
it follows by (2.5), (2.7), and Lemma 2.3 that
Again a contradiction occurs.*Case 2. *For each , is constant in .

First, let us show that .
Otherwise, there is .
By Lemma 2.2, we have
If there is ,
it follows from (2.10) that is strictly increasing in ,
a contradiction occurs. So, and thus
from which a contradiction follows.
So, .

According to the previous argument, there is . By Lemma 2.3, we get If there is , it follows from (2.12) that is strictly decreasing in , a contradiction. So, and thus By (2.13) and (2.2), we get Since is constant in , and , we derive . From (2.12) and (2.13), we get . Since , all equalities in chains (2.5) and (2.7) hold. These plus yield , from which we derive . So, . This is a contradiction. Claim 1 is proved.

By Claim 1 and , all equalities in (2.4) must hold. This plus Lemma 2.2 yields and . This implies .

Theorem 2.5. *Let , .
Then, .
One of the two equalities holds if and only if .*

*Proof. *By Lemma 2.1 and (2.2), we get
The second claim follows immediately
from Lemma 2.1.

We are ready to present the main result of this paper.

Theorem 2.6. *Let , , .
Let
**
Then , .
If , then one of the two equalities holds if and only if . *

*Proof. *Regard
as a linear fractional function in *w*,
which is monotone in *w*. By Theorems 2.4
and 2.5, we obtain
Working inductively, we conclude that
for , ,

*Claim 2. *If
,
then .

*Proof of Claim 2. *By (2.19),
we get
Here, we encounter two possible cases.
*Case 1. *.
By Theorem 2.4, we get and,
hence, .
Then ,
implying .*Case 2. *.
By Theorem 2.5, we get
and consequently,
Then,
Hence, all equalities in this chain
hold. In particular, we have
If ,
it follows from Theorem 2.4 that .
Now, assume that .
By Theorem 2.5, we get
Equations (2.21) and (2.25) imply that .
Claim 2 is proven.

By Claim 2 and working inductively, we get that if for some

, then .

Similarly, we can show that if holds for some .

As an application of Theorem 2.6, we have the following theorem.

Theorem 2.7. *Let , . The difference equation
**
with positive initial conditions
admits the globally asymptotically stable equilibrium c = 1.*

The proof of this theorem is similar to those in [11, 13], and hence is omitted.

#### Acknowledgments

The authors are grateful to the anonymous referees for their valuable comments and suggestions. This work is supported by Natural Science Foundation of China (10771227), Program for New Century Excellent Talent of Educational Ministry of China (NCET-05-0759), Doctorate Foundation of Educational Ministry of China (20050611001), and Natural Science Foundation of Chongqing CSTC (2006BB2231).

#### References

- A. C. Thompson, “On certain contraction mappings in a partially ordered vector space,”
*Proceedings of the American Mathematical Society*, vol. 14, no. 3, pp. 438–443, 1963. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. M. Amleh, N. Kruse, and G. Ladas, “On a class of difference equations with strong negative feedback,”
*Journal of Difference Equations and Applications*, vol. 5, no. 6, pp. 497–515, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. S. Berenhaut, J. D. Foley, and S. Stević, “The global attractivity of the rational difference equation ${y}_{n}={y}_{n-k}+{y}_{n-m}/1+{y}_{n-k}{y}_{n-m}$,”
*Applied Mathematics Letters*, vol. 20, no. 1, pp. 54–58, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - K. S. Berenhaut and S. Stević, “The global attractivity of a higher order rational difference equation,”
*Journal of Mathematical Analysis and Applications*, vol. 326, no. 2, pp. 940–944, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. Kruse and T. Nesemann, “Global asymptotic stability in some discrete dynamical systems,”
*Journal of Mathematical Analysis and Applications*, vol. 235, no. 1, pp. 151–158, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Nesemann, “Positive nonlinear difference equations: some results and applications,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 47, no. 7, pp. 4707–4717, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Papaschinopoulos and C. J. Schinas, “Global asymptotic stability and oscillation of a family of difference equations,”
*Journal of Mathematical Analysis and Applications*, vol. 294, no. 2, pp. 614–620, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Global stability and asymptotics of some classes of rational difference equations,”
*Journal of Mathematical Analysis and Applications*, vol. 316, no. 1, pp. 60–68, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Existence of nontrivial solutions of a rational difference equation,”
*Applied Mathematics Letters*, vol. 20, no. 1, pp. 28–31, 2007. View at Google Scholar · View at MathSciNet - T. Sun and H. Xi, “Global asymptotic stability of a family of difference equations,”
*Journal of Mathematical Analysis and Applications*, vol. 309, no. 2, pp. 724–728, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Yang, “Global asymptotic stability in a class of generalized Putnam equations,”
*Journal of Mathematical Analysis and Applications*, vol. 322, no. 2, pp. 693–698, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Yang, D. J. Evans, and G. M. Megson, “Global asymptotic stability in a class of Putnam-type equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 64, no. 1, pp. 42–50, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - X. Yang, M. Yang, and H. Liu, “A part-metric-related inequality chain and application to the stability analysis of difference equation,”
*Journal of Inequalities and Applications*, vol. 2007, Article ID 19618, 9 pages, 2007. View at Publisher · View at Google Scholar · View at MathSciNet