## Functional Differential and Difference Equations with Applications

View this Special IssueResearch Article | Open Access

Ruyun Ma, Yanqiong Lu, Tianlan Chen, "Existence of One-Signed Solutions of Discrete Second-Order Periodic Boundary Value Problems", *Abstract and Applied Analysis*, vol. 2012, Article ID 437912, 13 pages, 2012. https://doi.org/10.1155/2012/437912

# Existence of One-Signed Solutions of Discrete Second-Order Periodic Boundary Value Problems

**Academic Editor:**Agacik Zafer

#### Abstract

We prove the existence of one-signed periodic solutions of second-order nonlinear difference equation on a finite discrete segment with periodic boundary conditions by combining some properties of Green's function with the fixed-point theorem in cones.

#### 1. Introduction

Let be the set of real numbers, be the integers set, with , and .

In recent years, the existence and multiplicity of positive solutions of periodic boundary value problems for difference equations have been studied extensively, see [1â€“5] and the references therein. In 2003, Atici and Cabada [2] studied the existence of solutions of second-order difference equation boundary value problem where , satisfy

(H1) ;

(H2) is continuous with respect to .

The authors obtained the existence results of solutions of (1.1) under conditions (H1), (H2), and the used tool is upper and lower solutions techniques.

Naturally, whether there exists the Green function of the homogeneous linear boundary value problem corresponding to (1.1) if ? Moreover, if the answer is positive, whether keeps its sign? To the knowledge of the authors, there are very few works on the case .

Recently, in 2003, Torres [6] investigated the existence of one-signed periodic solutions for second-order differential equation boundary value problem by applying the fixed-point theorem in cones, and constructed Greenâ€™s function of where satisfies either

(H3) , on ;

(H4) , on and for some .

Motivated by Torres [6], in Section 2, the paper gives the new expression of Greenâ€™s function of the linear boundary value problem where and and obtains the sign properties of Greenâ€™s function of (1.4), (1.5).

In Section 3, we obtain the existence of one-signed periodic solutions of the discrete second-order nonlinear periodic boundary value problem where is continuous. For related results on the associated differential equations, see Torres [6].

#### 2. Preliminaries

Let be a Banach space endowed with the norm .

We say that the linear boundary value problem (1.4), (1.5) is nonresonant when its unique solution is the trivial one. If (1.4), (1.5) is nonresonant, and let , by the virtue of the Fredholmâ€™s alternative theorem, we can get that the discrete second-order periodic boundary value problem has a unique solution , where is Greenâ€™s function related to (1.4), (1.5).

*Definition 2.1 (see [7]). *We say that a solution of (1.4) has a generalized zero at provided that if and if either or *. *

Theorem 2.2. *Assume that the distance between two consecutive generalized zeros of a nontrivial solution of (1.4) is greater than . Then Greenâ€™s function has constant sign.*

*Proof. *Obviously, is well defined on . We only need to prove that has no generalized zero in any point. Suppose on the contrary that there exists such that is a generalized zero of . It is well known that for a given , as a function of is a solution of (1.4) in the intervals and such that
*Case 1 (). *If , we can construct
Consequently, is a solution of (1.4) in the whole interval . Since , we have , that is, . Moreover, , so there at least exists another generalized zero of . Note that the distance between and is smaller than , which is a contradiction.

Analogously, if , we get a contradiction by the same reasoning with

If , we can apply as defined (2.7). Since and , which contradicts with the hypothesis.*Case 2 (). *If , we can construct defined as (2.6). It is not difficult to verify that is a solution of (1.4) in the whole interval . Also, we have that , that is, is a generalized zero of . Moreover, , so there at least exists another generalized zero of . Note that the distance between and is smaller than , which is a contradiction.

Similarly, if , we can get a contradiction by the same reasoning as defined (2.7).

If , we can construct defined by (2.7). Since and , it is clear that there exists another generalized zero of . Note that the distance between and is smaller than , this contradicts with the hypothesis.

To apply the above result, we are going to study the two following cases.

Corollary 2.3. *If , then â€‰â€‰for all .*

*Proof. *If , by [7, Corollary 6.7], it is easy to verify that (1.4) is disconjugate on , and any nontrivial solution of (1.4) has at most one generalized zero on . Hence, by Theorem 2.2, Greenâ€™s function has constant sign. We claim that the sign is negative. In fact, is the unique -periodic solution of the equation
and summing both sides of (2.8) from to , we can get
Since for some , and as a consequence for all .

*Remark 2.4. *If ( is a negative constant), then by computing we can obtain
where . Obviously, .

If , then the solutions of (1.4) are oscillating, that is, there are infinite zeros, and to get the required distance between generalized zeros, should satisfy .

Corollary 2.5. *If , then â€‰â€‰for all .*

*Proof. *We claim that the distance between two consecutive generalized zeros of a nontrivial solution of (1.4) is strictly greater than . In fact, it is not hard to verify that is disconjugate on under assumption . Since , by Sturm comparison theorem [7, Theorem 6.19], (1.4) is disconjugate on , that is, any nontrivial solution of (1.4) has at most one generalized zero on .

Hence, by Theorem 2.2, has constant sign on , and the positive sign of is determined as the proof process of Corollary 2.3.

*Remark 2.6. *If , and , then by computing we can obtain
where and . Clearly, .

If and , then , and by computing we get
Obviously, Greenâ€™s function for and for .

If and , then , and it is not difficult to verify that
are nontrivial solutions of (1.4), (1.5). That is, the problem (1.4), (1.5) has no Greenâ€™s function.

If , then Greenâ€™s function may change its sign. For example, let , it is easy to verify that and , thus
Clearly, for , for , and for .

Consequently, is the optimal condition of .

Next, we provide a way to get the expression of . Let be the unique solution of the initial value problem and be the unique solution of the initial value problem

Lemma 2.7. *Let . Then Greenâ€™s function of (1.4), (1.5) is explicitly given by
*

*Proof. *Suppose that Greenâ€™s function of (1.4), (1.5) is of the form
where can be determined by imposing the boundary conditions.

From the basis theory of Greenâ€™s function, we know that
Hence, , combining with , we can get
Moreover, since , it follows that

Note that has the same sign with . In fact, by the comparison theorem [7, Theorem 6.6], it is easy to prove that on . If , then Thus . Similarly, we can get that . Since , we have That is .

If , by the similar method, we can prove .

Lemma 2.8. *Let . Then the periodic boundary value problem (2.2), (2.3) has the unique solution
**
where is defined by (2.17).*

*Proof. *We check that satisfies (2.2). In fact,
On the other hand, it is easy to verify that .

Denote that As a direct application, we can compute the maximum and the minimum of the Greenâ€™s function when , it follows that where is defined in Remark 2.4. Similarly, when , we can get where is defined in Remark 2.6.

#### 3. Main Results

In this section, we consider the existence of one-signed solutions of (1.7). The following well-known fixed-point theorem in cones is crucial to our arguments.

Theorem 3.1 (see [8]). *Let be a Banach space and be a cone. Suppose and are bounded open subsets of with . Assume that is a completely continuous operator such that either*(i)* and or*(ii)* and .**
Then has a fixed point in .*

Theorem 3.2. *Assume that there exist and such that
**
If one of the following conditions holds:*

(i)*(ii)**then problem (1.7) has a positive solution.*

*Proof. *From Corollary 2.5, we get that . It is easy to see that the equation is equivalent to
Define the open sets
and the cone in ,
Clearly, if , then .

From Lemma 2.8, we define the operator by
From (3.1), if , then
Thus . Moreover, is a finite space, it is easy to prove that is a completely continuous operator. Clearly, is the solution of problem (1.7) if and only if is the fixed point of the operator .

We only prove (i). (ii) can be obtained by the similar method. If , then and for all . Therefore, from (i),
If , then and for all . As a consequence,
From Theorem 3.1, has a fixed point and satisfies
Therefore, is a positive solution of (1.7).

Similar to the proof of Theorem 3.2, we can prove the following.

Corollary 3.3. *Assume that there exist and such that
**
If one of the following conditions holds*

(i)*(ii)**then (1.7) has a negative solution.*

Applying the sign properties of when and the similar argument to prove Theorem 3.2 with obvious changes, we can prove the following.

Theorem 3.4. *Assume that there exist and such that
**
If one of the following conditions holds*

(i)*(ii)**then (1.7) has a positive solution.*

*Proof. *Since , define the open sets
and define the cone in ,
If , then
Define the operator as (3.7), and the proof is analogous to that of Theorem 3.2 and is omitted.

Corollary 3.5. *Assume that there exist and such that
**
If one of the following conditions holds*

(i)*(ii)**then (1.7) has a negative solution.*

*Example 3.6. *Let us consider the periodic boundary value problem
where

Consider the auxiliary problem
take ,,,. By computing, ;; . Consequently, from Theorem 3.2, the problem (3.24) has a positive solution.

#### Acknowledgment

This work was supported by the NSFC (no. 11061030) and the Fundamental Research Funds for the Gansu Universities.

#### References

- F. M. Atici and G. S. Guseinov, â€śPositive periodic solutions for nonlinear difference equations with periodic coefficients,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 232, no. 1, pp. 166â€“182, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH - F. M. Atici and A. Cabada, â€śExistence and uniqueness results for discrete second-order periodic boundary value problems,â€ť
*Computers & Mathematics with Applications*, vol. 45, no. 6-9, pp. 1417â€“1427, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH - F. M. Atici, A. Cabada, and V. Otero-Espinar, â€śCriteria for existence and nonexistence of positive solutions to a discrete periodic boundary value problem,â€ť
*Journal of Difference Equations and Applications*, vol. 9, no. 9, pp. 765â€“775, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. Ma and H. Ma, â€śPositive solutions for nonlinear discrete periodic boundary value problems,â€ť
*Computers & Mathematics with Applications*, vol. 59, no. 1, pp. 136â€“141, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH - T. He and Y. Xu, â€śPositive solutions for nonlinear discrete second-order boundary value problems with parameter dependence,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 379, no. 2, pp. 627â€“636, 2011. View at: Publisher Site | Google Scholar - P. J. Torres, â€śExistence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point theorem,â€ť
*Journal of Differential Equations*, vol. 190, no. 2, pp. 643â€“662, 2003. View at: Publisher Site | Google Scholar | Zentralblatt MATH - W. G. Kelley and A. C. Peterson,
*Difference Equations-An Introduction with Applications*, Academic Press, San Diego, Calif, USA, 2nd edition, 2001. - K. Deimling,
*Nonlinear Functional Analysis*, Springer, Berlin, Germany, 1985.

#### Copyright

Copyright Â© 2012 Ruyun Ma 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.