Abstract and Applied Analysis

Volume 2014 (2014), Article ID 316093, 7 pages

http://dx.doi.org/10.1155/2014/316093

Research Article

Multiple Positive Periodic Solutions for a Functional Difference System

Yue-Wen Cheng and Hui-Sheng Ding

College of Mathematics and Information Science, Jiangxi Normal University, Nanchang, Jiangxi 330022, China

Received 20 January 2014; Accepted 12 May 2014; Published 22 May 2014

Academic Editor: Samir Saker

Copyright © 2014 Yue-Wen Cheng and Hui-Sheng Ding. 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.

We obtain two existence results about multiple positive periodic solutions for a class of functional difference system. Two examples are given to illustrate our results.

1. Introduction and Preliminaries

Throughout this paper, we denote by the set of all integers, by the set of all real numbers, and by a real Banach space. Moreover, let

and let () be the space of all -periodic functions (), where is fixed positive integer. It is well known that is a Banach space under the norm

where .

The aim of this paper is to investigate the existence of multiple positive periodic solutions to the following functional difference system:

where is an -dimensional vector function

, , are -periodic functions from to , is a function from to , and is defined by for all .

The existence of periodic solutions has been an important topic in the qualitative theory of functional differential equations and functional difference equations. There is a large body of literature on this interesting topic. We refer the reader to [1–17] and references therein for some recent contributions. Especially, the existence of periodic solutions for system (3) and its variants has been of great interest for many authors (see, e.g., [5, 6, 8, 9, 17] and references therein).

It is needed to note that Raffoul [8] and Raffoul and Tisdell [9] have made an important contribution to this topic. In fact, Raffoul constructed Green function for system (3) and transformed system (3) into an equivalent system. This enables us to use some suitable fixed point theorems to investigate the existence of periodic solutions for system (3). In addition, we would like to draw the reader’s attention to [6], where Dix et al. initiated the study on the multiple periodic solutions for a variant of system (3) in a 1-dimensional case.

Stimulated by [6, 8, 9], in this paper, we will make further study on this topic for an -dimensional case. Next, we recall two fixed point theorems, which will be used in the proof of our main results. We first recall some definitions and notations.

A closed convex set in is called a cone if the following conditions are satisfied:

(i)if , then for any ,(ii)if and , then .

A nonnegative continuous functional is said to be a concave on if is continuous and

Letting be three positive constants and letting be a nonnegative continuous functional on , we denote

In addition, we call that is increasing on if for all with .

Lemma 1 (see [18]). Let be a cone in , let and be increasing, nonnegative, continuous functionals on , and let be a nonnegative continuous functional on with such that, for some and ,

for all . Suppose that there exists a completely continuous operator and such that

and

(i), for all ;(ii), for all ;(iii) and , for all .

Then has at least two fixed points and belonging to such that

Lemma 2 (see [19]). Let be a cone in , let be a positive constant, let be a completely continuous mapping, and let be a concave nonnegative continuous functional on with for all . Suppose that there exist three constants with such that

(i) and for all ;(ii) for all ;(iii) for all with .

Then has at least three fixed points in . Furthermore, and .

2. Main Results

Throughout the rest of this paper, we assume that the following assumptions for system (3) hold.

(H0)For every for all and

(H1) belongs to whenever .(H2)For every and , there exists a such that

 for all with , and .

Now, we define

for with .

Then, by a proof similar to [8], we can transform (3) into the following equivalent equation:

where

It is easy to see that

for all with . In addition, it follows from (H0)–(H2) that, for every has a positive denominator, while the numerator is a positive and increasing function of . Thus, for with , we have

Letting

we have

Next, we introduce a set

where . It is not difficult to verify that is a cone in . Finally, we define an operator on by

Lemma 3. is an operator from to .

Proof. Let . By (H1) and , we get

for all . So .

In addition, for , we have

where is the th component of . Then, we obtain

for all . Thus, . This completes the proof.

2.1. Existence of Two Positive Periodic Solutions of System (3)

In this section, we apply Lemma 1 to establish an existence result about two positive periodic solutions of system (3). For convenience, we list some assumptions.

(H3)There exists a constant such that

(H4)There exists a constant such that

(H5)There exists a constant such that

Theorem 4. Assume that there exist three constants with such that (H0)–(H5) hold. Then system (3) has at least two positive -periodic solutions.

Proof. Firstly, by Lemma 3, is an operator from to . Secondly, by a proof similar to [9, Lemma 2.5], one can show that is completely continuous.

Now, we begin to verify that all the assumptions of Lemma 1 hold. Let

It is clear that , , and are increasing, nonnegative, continuous functionals on with . Moreover, we have

for all and .

Next, we proceed to show that conditions (i)–(iii) of Lemma 1 are also satisfied. For every , noting that , by (H3), we conclude that

that is, condition (i) of Lemma 1 holds. For every , since , by (H4), we get

that is, condition (ii) of Lemma 1 holds. Finally, it is easy to see that

and for every , it follows from (H5) that

Thus, condition (iii) of Lemma 1 holds.

Now, by applying Lemma 1, there exist two fixed points , which are just two -periodic solutions to system (3). This completes the proof.

Remark 5. In Theorem 4, the two -periodic solutions do not equal zero. In fact, according to Lemma 1, we have

Corollary 6. Assume that (H0)–(H2) and (H4) hold. Moreover,

Then system (3) has at least two positive -periodic solutions.

Proof. By (34), there exists a constant such that (H3) holds. By (35), there exists a constant such that (H5) holds. Then, by applying Theorem 4, we complete the proof.

Next, we present a simple example, which does not aim at generality but illustrates how to use our existence theorem.

Example 7. Consider the following system:

where

We have ,

It is easy to verify that conditions (H0)–(H2) hold. Since, for ,

we conclude that (34) and (35) are satisfied. It remains to verify (H4). Letting , for all with , we have

which means that (H4) holds. Therefore, by Corollary 6, we know that system (36) has at least two positive -periodic solutions.

Remark 8. In the above example, is obviously a trivial periodic solution for system (36). But by Remark 5, we know that the two positive -periodic solutions do not equal zero.

2.2. Existence of Three Nonnegative Periodic Solutions of System (3)

In [6], Dix et al. investigated the existence of multiple nonnegative periodic solutions for a first order functional difference equation by the Leggett-Williams fixed point theorem. In this section, we will investigate the existence of multiple nonnegative periodic solutions for system (3) by using an idea similar to that of [6]. For convenience, we also list some assumptions.

(H6)There exists a constant such that

(H7)There exists a constant such that

(H8)There exists a constant such that

Theorem 9. Assume that (H0)–(H2) and (H6)–(H8) hold. Then system (3) has at least three nonnegative -periodic solutions.

Proof. By the proof of Theorem 4, we know that is an operator from to and completely continuous. Let

It is easy to see that is a concave nonnegative continuous functional on and .

Firstly, we show that maps into . For every , we have . Combining this with (H8), we get

Secondly, let us verify condition (i) of Lemma 2. Since , , then, it is easy to see that the set

In addition, for every , we have . Then, by (H7), we have

which means that condition (i) of Lemma 2 holds.

Thirdly, for every , since , it follows from (H6) that

that is, condition (ii) of Lemma 2 holds.

Finally, for every with , we have and

which yields that

Then, we have

that is, condition (iii) of Lemma 2 holds.

Now, by Lemma 2, we know that has at least three fixed points in , and thus system (3) has at least three nonnegative -periodic solutions.

Corollary 10. Assume that (H0)–(H2) hold and there exists a constant such that

Moreover, there hold

Then system (3) has at least three nonnegative -periodic solutions.

Proof. We only need to verify that (H6) and (H8) hold. Let

Then . There exists a constant such that, for all with , there holds

Taking , (H6) holds. In addition, there exists a constant such that, for all with , there holds

Taking

(H8) holds.

Next, we also provide a simple example to illustrate our existence theorem.

Example 11. Let be the same as in Example 7, and

By Example 7, we have , and (H0)–(H2) hold.

By a direct calculation, we get

Then, it is easy to see that (53) holds.

Let . Then, for all

we have

Thus, all the assumptions of Corollary 10 hold. Then, we know that the considered functional difference system has at least three nonnegative -periodic solutions.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Hui-Sheng Ding acknowledges support from the NSF of China (11101192), the Program for Cultivating Young Scientist of Jiangxi Province (20133BCB23009), and the NSF of Jiangxi Province.

References

B. Liu, “The existence and uniqueness of positive periodic solutions of Nicholson-type delay systems,” Nonlinear Analysis: Real World Applications, vol. 12, no. 6, pp. 3145–3151, 2011.

B. Liu and S. Gong, “Periodic solution for impulsive cellar neural networks with time-varying delays in the leakage terms,” Abstract and Applied Analysis, vol. 2013, Article ID 701087, 10 pages, 2013.

J. O. Alzabut and C. Tunç, “Existence of periodic solutions for Rayleigh equations with state-dependent delay,” Electronic Journal of Differential Equations, vol. 77, pp. 1–8, 2012.

J. O. Alzabut, “Existence of periodic solutions for a type of linear difference equations with distributed delay,” Advances in Difference Equations, p. 2012, article 53, 2012.

H.-S. Ding and J. G. Dix, “Multiple Periodic Solutions for Discrete Nicholson's Blowflies Type System,” Abstract and Applied Analysis, vol. 2014, Article ID 659152, 6 pages, 2014.

J. G. Dix, S. Padhi, and S. Pati, “Multiple positive periodic solutions for a nonlinear first order functional difference equation,” Journal of Difference Equations and Applications, vol. 16, no. 9, pp. 1037–1046, 2010.

W. Long, X. J. Zheng, and L. Li, “Existence of periodic solutions for a class of functional integral equations,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 57, pp. 1–11, 2012.

Y. N. Raffoul, “Positive periodic solutions of nonlinear functional difference equations,” Electronic Journal of Differential Equations, vol. 55, pp. 1–8, 2002.

Y. N. Raffoul and C. C. Tisdell, “Positive periodic solutions of functional discrete systems and population models,” Advances in Difference Equations, no. 3, pp. 369–380, 2005.

E. Braverman and S. H. Saker, “Permanence, oscillation and attractivity of the discrete hematopoiesis model with variable coefficients,” Nonlinear Analysis: Theory, Methods & Applications, vol. 67, no. 10, pp. 2955–2965, 2007.

E. Braverman and S. H. Saker, “Periodic solutions and global attractivity of a discrete delay host macroparasite model,” Journal of Difference Equations and Applications, vol. 16, no. 7, pp. 789–806, 2010.

E. Braverman and S. H. Saker, “On the Cushing-Henson conjecture, delay difference equations and attenuant cycles,” Journal of Difference Equations and Applications, vol. 14, no. 3, pp. 275–286, 2008.

E. Braverman and S. H. Saker, “On a difference equation with exponentially decreasing nonlinearity,” Discrete Dynamics in Nature and Society, vol. 2011, Article ID 147926, 17 pages, 2011.

E. M. Elabbasy and S. H. Saker, “Periodic solutions and oscillation of discrete non-linear delay population dynamics model with external force,” IMA Journal of Applied Mathematics, vol. 70, no. 6, pp. 753–767, 2005.

S. H. Saker, “Qualitative analysis of discrete nonlinear delay survival red blood cells model,” Nonlinear Analysis: Real World Applications, vol. 9, no. 2, pp. 471–489, 2008.

S. H. Saker, “Periodic solutions, oscillation and attractivity of discrete nonlinear delay population model,” Mathematical and Computer Modelling, vol. 47, no. 3-4, pp. 278–297, 2008.

Z. C. Hao, T. J. Xiao, and J. Liang, “Multiple positive periodic solutions for delay differential system,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 239209, 18 pages, 2009.

R. I. Avery and J. Henderson, “Two positive fixed points of nonlinear operators on ordered Banach spaces,” Communications on Applied Nonlinear Analysis, vol. 8, no. 1, pp. 27–36, 2001.

R. W. Leggett and L. R. Williams, “Multiple positive fixed points of nonlinear operators on ordered Banach spaces,” Indiana University Mathematics Journal, vol. 28, no. 4, pp. 673–688, 1979.