# Existence and Uniqueness of Positive Solutions for Discrete Fourth-Order Lidstone Problem with a Parameter

- Yanbin Sang
^{1, 2}Email author, - Zhongli Wei
^{2, 3}and - Wei Dong
^{4}

**2010**:971540

**DOI: **10.1155/2010/971540

© Yanbin Sang et al. 2010

**Received: **9 January 2010

**Accepted: **26 March 2010

**Published: **30 March 2010

## Abstract

This work presents sufficient conditions for the existence and uniqueness of positive solutions for a discrete fourth-order beam equation under Lidstone boundary conditions with a parameter; the iterative sequences yielding approximate solutions are also given. The main tool used is monotone iterative technique.

## 1. Introduction

In this paper, we are interested in the existence, uniqueness, and iteration of positive solutions for the following nonlinear discrete fourth-order beam equation under Lidstone boundary conditions with explicit parameter given by

where is the usual forward difference operator given by , , , and is a real parameter.

In recent years, the theory of nonlinear difference equations has been widely applied to many fields such as economics, neural network, ecology, and cybernetics, for details, see [1–7] and references therein. Especially, there was much attention focused on the existence and multiplicity of positive solutions of fourth-order problem, for example, [8–10], and in particular the discrete problem with Lidstone boundary conditions [11–17]. However, very little work has been done on the uniqueness and iteration of positive solutions of discrete fourth-order equation under Lidstone boundary conditions. We would like to mention some results of Anderson and Minhós [11] and He and Su [12], which motivated us to consider the BVP (1.1) and (1.2).

In [11], Anderson and Minhós studied the following nonlinear discrete fourth-order equation with explicit parameters and given by

with Lidstone boundary conditions (1.2), where and are real parameters. The authors obtained the following result.

Theorem 1.1 (see [11]).

Assume that the following condition is satisfied

, where with , is continuous and nondecreasing, and there exists such that for and

- (i)
and ;

- (ii)
is nondecreasing in ;

- (iii)
is continuous in , that is, if , then .

Very recently, in [12], He and Su investigated the existence, multiplicity, and nonexistence of nontrivial solutions to the following discrete nonlinear fourth-order boundary value problem

where denotes the forward difference operator defined by , , is the discrete interval given by with and ( ) integers, are real parameters and satisfy

For the function , the authors imposed the following assumption:

(B_{1})
, where
with
,
is continuous and nondecreasing, and there exists
such that
for
and
.

Their main result is the following theorem.

Theorem 1.2 (see [12]).

Assume that holds. Then for any , the BVP (1.4) has a unique positive solution . Furthermore, such a solution satisfies the properties (i)–(iii) stated in Theorem 1.1.

The aim of this work is to relax the assumptions and on the nonlinear term, without demanding the existence of upper and lower solutions, we present conditions for the BVP (1.1) and (1.2) to have a unique solution and then study the convergence of the iterative sequence. The ideas come from Zhai et al. [18, 19] and Liang [20].

Let denote the Banach space of real-valued functions on , with the supremum norm

Throughout this paper, we need the following hypotheses:

(H_{1})
are continuous and
for
(
);

(H_{2})
with
;

_{3}) is nondecreasing, is nonincreasing, and there exist on interval with , for all , there exists such that , and for all which satisfy

## 2. Two Lemmas

To prove the main results in this paper, we will employ two lemmas. These lemmas are based on the linear discrete fourth-order equation

with Lidstone boundary conditions (1.2).

Lemma 2.1 (see [11]).

Lemma 2.2 (see [11]).

## 3. Main Results

Theorem 3.1.

One has converge uniformly to in .

Proof.

First, we show that the BVP (1.1) and (1.2) has a solution.

for and .

for in (2.1) and in (3.5).

for in (2.1).

Evidently, for , . Take any , then and .

- (i)There exists an integer such that . In this case, we have for all holds. Hence, for , it follows from (3.4) and the mixed monotonicity of thatBy the definition of , we have(3.24)(3.25)
This is a contradiction.

- (ii)For all integer , . In this case, we have . In accordance with , there exists such that . Hence, combining (3.4) with the mixed monotonicity of , we have(3.26)

Let , we have and this is also a contradiction. Hence, .

Let and we get , . That is, is a nontrivial solution of the BVP (1.1) and (1.2).

Then and for .

In (3.34), we used the relation formula (3.16). Since , this contradicts the definition of . Hence . Therefore, the BVP (1.1) and (1.2) has a unique solution.

for . By induction, we get , , .

This completes the proof of the theorem.

Remark 3.2.

Therefore .

Theorem 3.3.

Assume that holds, and the following conditions are satisfied:

is continuous and for ;

for all , where , for all , there exists such that , and , with for all ;

- (i)is nonincreasing with respect to , and there exists such that(3.44)
or

- (ii)is nondecreasing with respect to , and there exists such that(3.45)where are defined in (2.1), is defined in (3.5). Then, the BVP(3.46)
has a unique solution .

Proof.

In the following, we consider the following two cases.

(i) For fixed , is nonincreasing with respect to .

Obviously, and .

(ii) For fixed , is nondecreasing with respect to .

For , the proof is similar and hence omitted. This completes the proof of the theorem.

Remark 3.4.

In Theorem 3.1, the more general conditions are imposed on the nonlinear term than Theorem 1.1. In particular, in Theorem 3.3, contains the variable ; therefore, the more comprehensive functions can be incorporated.

## 4. An Example

Example 4.1.

we have converge uniformly to in .

The conclusion then follows from Theorem 3.1.

## Declarations

### Acknowledgments

The authors were supported financially by the National Natural Science Foundation of China (10971046), the Natural Science Foundation of Shandong Province (ZR2009AM004), and the Youth Science Foundation of Shanxi Province (2009021001-2).

## Authors’ Affiliations

## References

- Agarwal RP:
*Difference Equations and Inequalities*.*Volume 155*. Marcel Dekker, New York, NY, USA; 1992:xiv+777.Google Scholar - Agarwal RP, O'Regan D, Wong PJY:
*Positive Solutions of Differential, Difference and Integral Equations*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1999:xii+417.View ArticleMATHGoogle Scholar - Agarwal RP, Perera K, O'Regan D:
**Multiple positive solutions of singular and nonsingular discrete problems via variational methods.***Nonlinear Analysis: Theory, Methods & Applications*2004,**58**(1-2):69-73. 10.1016/j.na.2003.11.012MathSciNetView ArticleMATHGoogle Scholar - Lakshmikantham V, Trigiante D:
*Theory of Difference Equations: Numerical Methods and Applications*.*Volume 181*. Academic Press, Boston, Mass, USA; 1988:x+242.MATHGoogle Scholar - Kelley WG, Peterson AC:
*Difference Equations: An Introduction with Applications*. Academic Press, Boston, Mass, USA; 1991:xii+455.MATHGoogle Scholar - Yu J, Guo Z:
**On boundary value problems for a discrete generalized Emden-Fowler equation.***Journal of Differential Equations*2006,**231**(1):18-31. 10.1016/j.jde.2006.08.011MathSciNetView ArticleMATHGoogle Scholar - Wang DB, Guan W:
**Three positive solutions of boundary value problems for****-Laplacian difference equations.***Computers & Mathematics with Applications*2008,**55**(9):1943-1949. 10.1016/j.camwa.2007.08.033MathSciNetView ArticleMATHGoogle Scholar - Zhang B, Kong L, Sun Y, Deng X:
**Existence of positive solutions for BVPs of fourth-order difference equations.***Applied Mathematics and Computation*2002,**131**(2-3):583-591. 10.1016/S0096-3003(01)00171-0MathSciNetView ArticleMATHGoogle Scholar - He Z, Yu J:
**On the existence of positive solutions of fourth-order difference equations.***Applied Mathematics and Computation*2005,**161**(1):139-148. 10.1016/j.amc.2003.12.016MathSciNetView ArticleMATHGoogle Scholar - Manojlović JV:
**Classification and existence of positive solutions of fourth-order nonlinear difference equations.***Lithuanian Mathematical Journal*2009,**49**(1):71-92. 10.1007/s10986-009-9029-9MathSciNetView ArticleMATHGoogle Scholar - Anderson DR, Minhós F:
**A discrete fourth-order Lidstone problem with parameters.***Applied Mathematics and Computation*2009,**214**(2):523-533. 10.1016/j.amc.2009.04.034MathSciNetView ArticleMATHGoogle Scholar - He T, Su Y:
**On discrete fourth-order boundary value problems with three parameters.***Journal of Computational and Applied Mathematics*2010,**233**(10):2506-2520. 10.1016/j.cam.2009.10.032MathSciNetView ArticleMATHGoogle Scholar - Agarwal RP, O'Regan D:
**Lidstone continuous and discrete boundary value problems.***Memoirs on Differential Equations and Mathematical Physics*2000,**19:**107-125.MathSciNetMATHGoogle Scholar - Wong PJY, Agarwal RP:
**Multiple solutions of difference and partial difference equations with Lidstone conditions.***Mathematical and Computer Modelling*2000,**32**(5-6):699-725. 10.1016/S0895-7177(00)00166-7MathSciNetView ArticleMATHGoogle Scholar - Wong PJY, Agarwal RP:
**Results and estimates on multiple solutions of Lidstone boundary value problems.***Acta Mathematica Hungarica*2000,**86**(1-2):137-168. 10.1023/A:1006751703693MathSciNetView ArticleMATHGoogle Scholar - Wong PJY, Agarwal RP:
**Characterization of eigenvalues for difference equations subject to Lidstone conditions.***Japan Journal of Industrial and Applied Mathematics*2002,**19**(1):1-18. 10.1007/BF03167445MathSciNetView ArticleMATHGoogle Scholar - Wong PJY, Xie L:
**Three symmetric solutions of Lidstone boundary value problems for difference and partial difference equations.***Computers & Mathematics with Applications*2003,**45**(6–9):1445-1460. 10.1016/S0898-1221(03)00102-0MathSciNetView ArticleMATHGoogle Scholar - Zhai C-B, Cao X-M:
**Fixed point theorems for**-**-concave operators and applications.***Computers and Mathematics with Applications*2010,**59**(1):532-538. 10.1016/j.camwa.2009.06.016MathSciNetView ArticleMATHGoogle Scholar - Zhai CB, Wang WX, Zhang LL:
**Generalizations for a class of concave and convex operators.***Acta Mathematica Sinica*2008,**51**(3):529-540.MathSciNetMATHGoogle Scholar - Liang ZD:
**Existence and uniqueness of fixed points for mixed monotone operators.***Journal of Dezhou University*2008,**24**(4):1-6.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.