# Solutions and Green's Functions for Boundary Value Problems of Second-Order Four-Point Functional Difference Equations

- Yang Shujie
^{1}Email author and - Shi Bao
^{1}

**2010**:973731

**DOI: **10.1155/2010/973731

© The Author(s) Yang Shujie and Shi Bao. 2010

**Received: **23 April 2010

**Accepted: **11 July 2010

**Published: **28 July 2010

## Abstract

We consider the Green's functions and the existence of positive solutions for a second-order functional difference equation with four-point boundary conditions.

## 1. Introduction

where is a continuous function, , and .

where , , , , , , is continuous, .

where , , and , , , and are nonnegative real constants.

For any real function defined on the interval and any with , we denote by an element of defined by , .

where and , , , , is a continuous function, and for , , , and are nonnegative real constants, and for .

from ordinary difference equations. Here this condition connects the history with the single . This is suggested by the well-posedness of BVP (1.9), since the function depends on the term (i.e., past values of ).

As usual, a sequence is said to be a positive solution of BVP (1.9) if it satisfies BVP (1.9) and for with for .

## 2. The Green's Function of (1.9)

First we consider the nonexistence of positive solutions of (1.9). We have the following result.

Lemma 2.1.

Then (1.9) has no positive solution.

Proof.

From , we know that is convex for .

which is a contradiction to the convexity of .

which is a contradiction to the convexity of . If for , then is a trivial solution. So there exists a such that .

which is a contradiction to the convexity of .

which is a contradiction to the convexity of .

which is a contradiction to the convexity of .

If , similar to the above proof, we can also get a contradiction.

A contradiction to the convexity of follows.

which is a contradiction to the convexity of .

We always assume that

Motivated by Zhao [10], we have the following conclusions.

Theorem 2.2.

Proof.

where and are constants that will be determined.

where and are constants that will be determined.

where is defined in (2.14). That is, is the Green's function of BVP (2.13).

Remark 2.3.

Lemma 2.4.

Assume that ( ) holds. Then the second-order four-point BVP (2.13) has a unique solution which is given in (2.29).

Proof.

We need only to show the uniqueness.

Condition (H ) implies that (2.36) has a unique solution . Therefore for . This completes the proof of the uniqueness of the solution.

## 3. Existence of Positive Solutions

In this section, we discuss the BVP (1.9).

Lemma 3.1 (see Guo et al. [11]).

- (1)
- (2)

Then is a Banach space endowed with norm and is a cone in .

Lemma 3.2.

For every , there is , such that

Proof.

Obviously, there is a , such that (3.11) holds.

Then we may transform our existence problem of positive solutions of BVP (3.1) into a fixed point problem of operator (3.13).

Lemma 3.3.

Proof.

Lemma 3.4.

Suppose that ( ) holds. Then is completely continuous.

We assume that

We have the following main results.

Theorem 3.5.

Assume that ( )–( ) hold. Then BVP (3.1) has at least one positive solution if the following conditions are satisfied:

(H ) there exists a such that, for , if , then ;

(H ) there exists a such that, for , if , then

or

(H ) there exists a such that, for , if , then ;

(H ) there exists an , such that, for , if , then

Proof.

So by (3.18) and (3.20), there exists one positive fixed point of operator with .

So by (3.22) and (3.24), there exists one positive fixed point of operator with .

Consequently, or is a positive solution of BVP (3.1).

Theorem 3.6.

Assume that ( )–( ) hold. Then BVP (3.1) has at least one positive solution if ( ) and ( ) or ( ) and ( ) hold.

Theorem 3.7.

Assume that ( )–( ) hold. Then BVP (3.1) has at least two positive solutions if (H ), (H ), and (H ) or (H ), (H ), and (H ) hold.

Theorem 3.8.

Assume that (H )–(H ) hold. Then BVP (3.1) has at least three positive solutions if (H )–(H ) hold.

which satisfies

Similar to the above proof, we can show that (1.9) has at least one positive solution. Consequently, (1.9) has at least one positive solution.

Example 3.9.

By calculation, we can see that (H )–(H ) hold, then by Theorem 3.8, the BVP (3.33) has at least three positive solutions.

## 4. Eigenvalue Intervals

Then solving the BVP (4.1) is equivalent to finding fixed points in . Obviously is completely continuous and keeps the invariant for .

respectively. We have the following results.

Theorem 4.1.

hold, where , then BVP (4.1) has at least one positive solution, where is a positive constant.

Proof.

Finally, we consider the assumption . By the definition of , there is

Theorem 4.2.

Assume that (H ),(H ), and (H ) hold. If or , then there is a such that for , BVP (4.1) has at least one positive solution.

Proof.

which by combining with (4.21) completes the proof.

Example 4.3.

where , is some positive constant, .

By calculation, , , and ; let . Then by Theorem(4.1), for , the above equation has at least one positive solution.

## Declarations

### Acknowledgments

The authors would like to thank the editor and the reviewers for their valuable comments and suggestions which helped to significantly improve the paper. This work is supported by Distinguished Expert Science Foundation of Naval Aeronautical and Astronautical University.

## Authors’ Affiliations

## References

- Gai MJ, Shi B, Zhang DC:
**Boundary value problems for second-order singular functional differential equations.***Chinese Annals of Mathematics*2001,**23A**(6):1-10.MathSciNetGoogle Scholar - Guo Y, Tian J:
**Two positive solutions for second-order quasilinear differential equation boundary value problems with sign changing nonlinearities.***Journal of Computational and Applied Mathematics*2004,**169**(2):345-357. 10.1016/j.cam.2003.12.029MathSciNetView ArticleMATHGoogle Scholar - Henderson J, Peterson A:
**Boundary value problems for functional difference equations.***Applied Mathematics Letters*1996,**9**(3):57-61. 10.1016/0893-9659(96)00032-8MathSciNetView ArticleMATHGoogle Scholar - Yang SJ, Shi B, Gai MJ:
**Boundary value problems for functional differential systems.***Indian Journal of Pure and Applied Mathematics*2005,**36**(12):685-705.MathSciNetMATHGoogle Scholar - Deng X, Shi H:
**On boundary value problems for second order nonlinear functional difference equations.***Acta Applicandae Mathematicae*2009,**110**(3):1277-1287.MathSciNetView ArticleMATHGoogle Scholar - Ntouyas SK, Sficas YG, Tsamatos PCh:
**Boundary value problems for functional-differential equations.***Journal of Mathematical Analysis and Applications*1996,**199**(1):213-230. 10.1006/jmaa.1996.0137MathSciNetView ArticleMATHGoogle Scholar - Wong F-H:
**Existence of positive solutions for****-Laplacian boundary value problems.***Applied Mathematics Letters*1999,**12**(3):11-17. 10.1016/S0893-9659(98)00164-5MathSciNetView ArticleMATHGoogle Scholar - Weng PX, Guo ZH:
**Existence of positive solutions to BVPs for a nonlinear functional difference equation with****-Laplacian operator.***Acta Mathematica Sinica*2006,**49**(1):187-194.MathSciNetView ArticleMATHGoogle Scholar - Yang SJ, Shi B, Zhang DC:
**Existence of positive solutions for boundary value problems of nonlinear functional difference equation with****-Laplacian operator.***Boundary Value Problems*2007,**2007:**-12.Google Scholar - Zhao Z:
**Solutions and Green's functions for some linear second-order three-point boundary value problems.***Computers and Mathematics with Applications*2008,**56**(1):104-113. 10.1016/j.camwa.2007.11.037MathSciNetView ArticleMATHGoogle Scholar - Guo DJ, Sun JX, Liu ZL:
*Functional Methods of Nonlinear Ordinary Differential Equations*. Shandong Science and Technology Press, Jinan, China; 1995.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.