- Pasquale Candito
^{1}and - Giuseppina D'Aguì
^{2}Email author

**2010**:862016

https://doi.org/10.1155/2010/862016

© P. Candito and G. D'Aguì. 2010

**Received: **26 October 2010

**Accepted: **20 December 2010

**Published: **29 December 2010

## Abstract

## 1. Introduction

In these last years, the study of discrete problems subject to various boundary value conditions has been widely approached by using different abstract methods as fixed point theorems, lower and upper solutions, and Brower degree (see, e.g., [1–3] and the reference given therein). Recently, also the critical point theory has aroused the attention of many authors in the study of these problems [4–12].

where is a fixed positive integer, is the discrete interval , for all , is a positive real parameter, , , is the forward difference operator, , , and is a continuous function.

In particular, for every lying in a suitable interval of parameters, at least three solutions are obtained under mutually independent conditions. First, we require that the primitive of is sublinear at infinity and satisfies appropriate local growth condition (Theorem 3.1). Next, we obtain at least three positive solutions uniformly bounded with respect to , under a suitable sign hypothesis on , an appropriate growth conditions on in a bounded interval, and without assuming asymptotic condition at infinity on (Theorem 3.4, Corollary 3.6). Moreover, the existence of at least two nontrivial solutions for problem () is obtained assuming that is sublinear at zero and superlinear at infinity (Theorem 3.5).

It is worth noticing that it is the first time that this type of results are obtained for discrete problem with Neumann boundary conditions; instead of Dirichlet problem, similar results have been already given in [6, 9, 13]. Moreover, in [14], the existence of multiple solutions to problem () is obtained assuming different hypotheses with respect to our assumptions (see Remark 3.7).

Investigation on the relation between continuous and discrete problems are available in the papers [15, 16]. General references on difference equations and their applications in different fields of research are given in [17, 18]. While for an overview on variational methods, we refer the reader to the comprehensive monograph [19].

## 2. Critical Point Theorems and Variational Framework

Let be a real Banach space, let be two functions of class on , and let be a positive real parameter. In order to study problem (), our main tools are critical points theorems for functional of type which insure the existence at least three critical points for every belonging to well-defined open intervals. These theorems have been obtained, respectively, in [6, 20, 21].

Theorem 2.1 (see [11, Theorem 2.6]).

Assume that there exist and , with such that

() for each the functional is coercive.

Then, for each , the functional has at least three distinct critical points in .

Theorem 2.2 (see [7, Corollary 3.1]).

Assume that there exist two positive constants , and , with such that

(b_{3}) for each
,
and for every
, which are local minima for the functional
such that
and
, and one has
.

Then, for each , the functional admits at least three critical points which lie in .

where we read if this case occurs.

Theorem 2.3 (see [8, Theorem 2.3]).

Let be a finite dimensional real Banach space. Assume that for each one has

Then, for each , the functional admits at least three distinct critical points.

Remark 2.4.

It is worth noticing that whenever is a finite dimensional Banach space, a careful reading of the proofs of Theorems 2.1 and 2.2 shows that regarding to the regularity of the derivative of and , it is enough to require only that and are two continuous functionals on .

where for every . It is easy to show that and are two functionals on .

Next lemma describes the variational structure of problem (), for the reader convenience we give a sketch of the proof, see also [14],

Lemma 2.5.

is a Banach space. Let , be a solution of problem () if and only if is a critical point of the functional .

Proof.

for every and , standard variational arguments complete the proof.

Finally, we point out the following strong maximum principle for problem ().

Lemma 2.6.

Proof.

so . Thus, repeating these arguments, the conclusion follows at once.

## 3. Main Results

Now, we give the main results.

Theorem 3.1.

Assume that there exist three positive constants , , and with , and such that

problem (P_{λ}^{f}) admits at least three solutions.

Proof.

At this point, since , it is clear that the functional turns out to be coercive.

Remark 3.2.

We note that hypothesis ( ) can be replaced with the following:

Remark 3.3.

It is worth noticing that a careful reading of the proof of Theorem 3.1 shows that, provided that and under the only condition ( ), problem () admits at least one solution for every and at least three solutions for every , whenever there exists for which .

Theorem 3.4.

Let be a continuous function in such that for some . Assume that there exist three positive constants , , and with such that

Proof.

Now, let and be two local minima for such that and . Owing to Lemmas 2.5 and 2.6, they are two positive solutions for () so , for all and for all . Hence, since one has for all , is verified.

and the proof is completed.

Theorem 3.5.

Let be a continuous function such that for some . Assume that there exist four constants , , , and , with , and such that

problem () admits at least three nontrivial solutions.

Proof.

Therefore, since and , condition ( ) is verified. Hence, from Theorem 2.3, the functional admits three critical points, which are three solutions for (). Since for some , they are nontrivial solutions, and the conclusion is proved.

Corollary 3.6.

Let be a continuous function such that for some . Assume that there exist four constants , , , and with and such that

problem () admits at least three solutions.

Proof.

where , which implies condition ( ).

Remark 3.7.

In [14], by Mountain Pass Theorem, the authors established the existence of at least one solution for problem () requiring the following conditions:

Moreover, they remember that the above conditions imply, respectively, the following:

(θ_{4}) there exist two positive constants
and
such that

Next result shows that under more general conditions than ( ) and ( ), problem ( ) has at least two nontrivial solutions.

Theorem 3.8.

Assume that ( ) holds and in addition

Then, problem ( ) has at least two nontrivial solutions.

Proof.

that is, 0 is a local minimum. Moreover, by ( ), by now, it is evident that the functional is anticoercive in . Hence, by the regularity of , there exists which is a global maximum for the functional. Therefore, since it is not restrictive to suppose that (otherwise, there are infinitely many critical points), our conclusion follows: if , from Corollary 2.11 of [22] which ensures a third critical point different from 0 and and by standards arguments if .

## Authors’ Affiliations

## References

- Anderson DR, Rachůnková I, Tisdell CC:
**Solvability of discrete Neumann boundary value probles.***Advances in Differential Equations*2007,**2:**93-99.MATHGoogle Scholar - Bereanu C, Mawhin J:
**Boundary value problems for second-order nonlinear difference equations with discrete****-Laplacian and singular****.***Journal of Difference Equations and Applications*2008,**14**(10-11):1099-1118. 10.1080/10236190802332290MathSciNetView ArticleMATHGoogle Scholar - Rachůnková I, Tisdell CC:
**Existence of non-spurious solutions to discrete Dirichlet problems with lower and upper solutions.***Nonlinear Analysis: Theory, Methods & Applications*2007,**67**(4):1236-1245. 10.1016/j.na.2006.07.010MathSciNetView 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 - Agarwal RP, Perera K, O'Regan D:Multiple positive solutions of singular discrete -Laplacian problems via variational methods. Advances in Difference Equations 2005, (2):93-99. 10.1155/ADE.2005.93Google Scholar
- Bonanno G, Candito P:
**Nonlinear difference equations investigated via critical point methods.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(9):3180-3186. 10.1016/j.na.2008.04.021MathSciNetView ArticleMATHGoogle Scholar - Bonanno G, Candito P:
**Infinitely many solutions for a class of discrete non-linear boundary value problems.***Applicable Analysis*2009,**88**(4):605-616. 10.1080/00036810902942242MathSciNetView ArticleMATHGoogle Scholar - Bonanno G, Candito P:
**Difference equations through variational methods.**In*Handbook on Nonconvex Analysis*. Edited by: Gao DY, Motreanu D. International Press of Boston, Sommerville, Boston, Mass, USA; 2010:1-44.Google Scholar - Candito P, D'Aguì G:
**Three solutions to a perturbed nonlinear discrete Dirichlet problem.***Journal of Mathematical Analysis and Applications*2011,**375**(2):594-601. 10.1016/j.jmaa.2010.09.050MathSciNetView ArticleMATHGoogle Scholar - Candito P, Molica Bisci G: Existence of two solutions for a nonlinear second-order discrete boundary value problem. to appear in Advanced Nonlinear StudiesGoogle Scholar
- Jiang L, Zhou Z:
**Three solutions to Dirichlet boundary value problems for****-Laplacian difference equations.***Advances in Difference Equations*2008,**2008:**-10.Google Scholar - Kristély A, Mihailescu M, Radulescu V: Discrete boundary value problems involving oscillatory nonlinearities: small and large solutions. Journal of Difference Equations and Applications. In pressGoogle Scholar
- Candito P, Giovannelli N:
**Multiple solutions for a discrete boundary value problem involving the****-Laplacian.***Computers & Mathematics with Applications*2008,**56**(4):959-964. 10.1016/j.camwa.2008.01.025MathSciNetView ArticleMATHGoogle Scholar - Tian Y, Ge W:
**The existence of solutions for a second-order discrete Neumann problem with a****-Laplacian.***Journal of Applied Mathematics and Computing*2008,**26**(1-2):333-340. 10.1007/s12190-007-0012-5MathSciNetView ArticleMATHGoogle Scholar - Agarwal RP:
**On multipoint boundary value problems for discrete equations.***Journal of Mathematical Analysis and Applications*1983,**96**(2):520-534. 10.1016/0022-247X(83)90058-6MathSciNetView ArticleMATHGoogle Scholar - Lovász L:
**Discrete and continuous: two sides of the same?***Geometric and Functional Analysis*2000, 359-382.Google Scholar - Agarwal RP:
*Difference Equations and Inequalities: Theory, Methods and Applications, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 228*. 2nd edition. Marcel Dekker, New York, NY, USA; 2000:xvi+971.Google Scholar - Kelley WG, Peterson AC:
*Difference Equations: An Introduction with Applications*. Academic Press, Boston, Mass, USA; 1991:xii+455.MATHGoogle Scholar - Struwe M:
*Variational Methods, Results in Mathematics and Related Areas (3)*.*Volume 34*. 2nd edition. Springer, Berlin, Germany; 1996:xvi+272.MATHGoogle Scholar - Bonanno G, Marano SA:
**On the structure of the critical set of non-differentiable functions with a weak compactness condition.***Applicable Analysis*2010,**89**(1):1-10. 10.1080/00036810903397438MathSciNetView ArticleMATHGoogle Scholar - Bonanno G, Candito P:
**Non-differentiable functionals and applications to elliptic problems with discontinuous nonlinearities.***Journal of Differential Equations*2008,**244**(12):3031-3059. 10.1016/j.jde.2008.02.025MathSciNetView ArticleMATHGoogle Scholar - Fang G:
**On the existence and the classification of critical points for non-smooth functionals.***Canadian Journal of Mathematics*1995,**47**(4):684-717. 10.4153/CJM-1995-036-9MathSciNetView ArticleMATHGoogle 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.