- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

International Journal of Differential Equations

Volume 2012 (2012), Article ID 471975, 14 pages

http://dx.doi.org/10.1155/2012/471975

## Existence and Positivity of Solutions for a Second-Order Boundary Value Problem with Integral Condition

^{1}Laboratory of Advanced Materials, Faculty of Sciences, Badji Mokhtar-Annaba University, P.O. Box 12, 23000 Annaba, Algeria^{2}Laboratory LASEA, Faculty of Sciences, Badji Mokhtar-Annaba University, P.O. Box 12, 23000 Annaba, Algeria

Received 14 January 2012; Accepted 23 February 2012

Academic Editor: Yuji Liu

Copyright © 2012 Assia Guezane-Lakoud 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.

#### Abstract

This work is devoted to the study of uniqueness and existence of positive solutions for a second-order boundary value problem with integral condition. The arguments are based on Banach contraction principle, Leray Schauder nonlinear alternative, and Guo-Krasnosel’skii fixed point theorem in cone. Two examples are also given to illustrate the main results.

#### 1. Introduction

Boundary value problem with integral boundary conditions is a mathematical model for of various phenomena of physics, ecology, biology, chemistry, and so forth. Integral conditions come up when values of the function on the boundary are connected to values inside the domain or when direct measurements on the boundary are not possible. The presence of an integral term in the boundary condition leads to great difficulties. Our aim, in this work, is the study of existence, uniqueness, and positivity of solution for the following second-order boundary value problem: with boundary conditions of type where is a given function. Using the nonlinear alternative of Leray Schauder, we establish the existence of nontrivial solution of the BVP (1.1)-(1.2), under the condition where , to prove the uniqueness of solution, we apply Banach contraction principle, by using Guo-Krasnosel'skii fixed point theorem in cone we study the existence of positive solution. As applications, some examples to illustrate our results are given.

Various types of boundary value problems with integral boundary conditions were studied by many authors using different methods see [1–9]. In [2] Benchohra et al. have studied (1.1) with the integral condition , the authors assumed that the function depends only on and and the condition (1.3) holds for , so our work is new and more general than [2]. Similar boundary value problems for third-order differential equations with one of the following conditions , , , or , , , were investigated by Zhao et al. in [6], they established the existence and nonexistence and the multiplicity of positive solutions in ordered Banach spaces basing on fixed point theory in cone. For more knowledge about the nonlocal boundary value problem, we refer to the references [10–17].

This paper is organized as follows. In Section 2, we give some notations, recall some concepts and preparation results. In the third Section, we give two main results, the first result based on Banach contraction principle and the second based nonlinear alternative of Leray-Schauder type. In Section 4, we treat the positivity of solutions with the help of Guo-Krasnosel'skii fixed point theorem in cone. Some examples are given to demonstrate the application of our main results, ending this paper.

#### 2. Preliminaries Lemmas and Materials

In this section, we introduce notations, definitions, and preliminary facts that will be used in the sequel.

*Definition 2.1. *A mapping defined on a Banach space is completely continuous if it is continuous and maps bounded sets into relatively compact sets.

Theorem 2.2 (Arzela-Ascoli Theorem 1). *Let be a compact set. A subset is relatively compact if and only if it is pointwise bounded and equicontinuous, where denotes the space of all continuous functions on .*

Theorem 2.3 (Arzela-Ascoli Theorem 2). *If a sequence in is bounded and equicontinuous then it has a uniformly convergent subsequence.*

Now we state the nonlinear alternative of Leray-Schauder.

Lemma 2.4 (see [18]). *Let be a Banach space and a bounded open subset of , . Let be a completely continuous operator. Then, either there exists , such that , or there exists a fixed point of .*

*Definition 2.5. *A function is called -Carathéodory if the map is measurable for all ; the map is continuous on for almost each ; for each , there exists an such that for almost each and .

We recall the definition of positive solution.

*Definition 2.6. *A function is called positive solution of (1.1) if .

We expose the well-known Guo-Krasnosel'skii fixed point Theorem on cone [19].

Theorem 2.7. *Let be a Banach space, and let , be a cone. Assume and are open subsets of with and let
**
be a completely continuous operator such that** , and ; or** , and .**Then has a fixed point in .*

Throughout this paper, let , with the norm , where denotes the norm in defined by . One can obtain the following result.

Lemma 2.8. *Let , then the solution of the following boundary value problem:
**
is given by
**
where
*

*Proof. *Integrating two times the equation from 0 to , one can obtain
The condition gives . The second condition implies
Substituting and by their values in (2.5) we obtain
Multiplying (2.7) by then integrating the resultant equality over we get
Substituting the second term in the right-hand side of (2.7) by (2.8) it yields
it is easy to get
that is
where is given by (2.4).

We have the following result which is useful in what follows.

*Remark 2.9. **The function ** is continuous, nonnegative and satisfies for any *,
.

#### 3. Existence and Uniqueness Theorems

This section deals with the existence and uniqueness of solutions for the problem (1.1)-(1.2).

Theorem 3.1. *Suppose that the following hypotheses hold. ** is an -Carathéodory function.** There exist two nonnegative functions , such that , , , , one has
** .**Then the problem (1.1)-(1.2) has a unique solution in .*

*Proof. *Transform the *problem *(1.1)-(1.2) into a fixed point problem. Consider the operator defined by
From Lemma 2.8, the problem (1.1)-(1.2) has a solution if and only if the operator has a fixed point in . Let , then for each we have
Hypothesis (H2) and Remark 2.9 imply
applying hypothesis (H3) to the right-hand side of the above inequality, we obtain
On the other hand we have for any :

Then for one can write

Applying hypothesis H3 again gives
Combining inequalities (3.5) and (3.8) we obtain
thus, is a contraction mapping on . By applying the well-known Banach's contraction mapping principle we know that the operator has a unique fixed point on . Therefore, the problem (1.1)-(1.2) has an unique solution.

Theorem 3.2. *Suppose that the following hypotheses hold: ** is an -Carathéodory function, the map is continuous and , for any ;** There exist three nonnegative functions and , such that one has
**
**Then the BVP (1.1)-(1.2) has at least one nontrivial solution.*

*Proof. *First we show that is a completely continuous mapping that we will prove in some steps:

(1) is continuous. In fact, let be a convergent sequence in such that , then and for each we have
On the other hand we have
From the above discussion one can write

Due to (P1) is Cathéodory, then as .

(2) maps bounded sets into bounded sets in , to establish this step we use Arzela-Ascoli Theorem. Let , then from (P2), we have for any and
consequently
that implies maps bounded sets into bounded sets.

(3) maps bounded sets into equicontinuous sets of . Let and , and , then using (P2) it yields
In addition, we have

Since is continuous, then tend to 0 when , and we have immediately that , this yields that is equicontinuous. Then is completely continuous.

Secondly, we apply the nonlinear alternative of Leray-Schauder to prove the existence of solution. Let us make the following notations:
Since , then there exists an interval such that hence . From hypothesis (P3), we know that . Putting . Setting and let , such that . Using the same argument that to get (3.16), it yields
as then . First, if then , hence , this contradicts the fact that . By Lemma 2.4 we conclude that has a fixed point and then problem (1.1)-(1.2) has a nontrivial solution .

Second, if then . By arguing as above we complete the proof.

#### 4. Existence of Positive Solutions

In this section the existence results for positive solutions for problem (1.1)-(1.2) are presented. We make the following hypotheses:

(*Q1*) where and ;

(*Q2*) There exists such that .

The following result gives a priori estimates for solutions of problem (1.1)-(1.2).

Lemma 4.1. *Assume that hypotheses (Q1)-(Q2) hold then **for , one has
** for , one has
*

*Proof. *(i) Let , it is easy to check that inequalities in (4.1) hold.

(ii) Let , such that , then

by similar ideas, it yields

The proof is complete.

Lemma 4.2. *Assume that hypotheses (Q1)-(Q2) hold, then the solution of the problem (1.1)-(1.2) is positive and satisfies
**
where .*

*Proof. *It follows from Lemma 4.1 that
In view of (4.2) we obtain
so,
Similarly, one finds

Further, according to inequalities (4.9) and (4.10) we get

ending the proof Lemma 4.2.

Define the quantities and by The case and is called superlinear case and the case and is called sublinear case. The main result of this section is the following.

Theorem 4.3. *Assume that hypotheses (Q1)-(Q2) hold, then problem (1.1)-(1.2) has at least one positive solution in the both cases superlinear as well as sublinear.*

To prove this theorem we apply the well-known Guo-Krasnosel'skii fixed point Theorem in cone.

*Proof. *Denote and define the cone by
where is given in Lemma 4.2.

It is easy to check that is a nonempty closed and convex subset of .

Using Lemma 4.2 we see that . Applying Arzela-Ascoli Theorem we know that is completely continuous for . On the basis of hypothesis (*Q1*), one can write

Let us consider the superlinear case. Since , then for any , there exists , such that if then . Let , then for any , we have
Moreover, we obtain
By virtue of (4.15) and (4.16) we deduce

Taking hypothesis (Q_{2}) into account, one can choose such
The inequalities (4.17) and (4.18) imply that , for any .

Second, since , then for any , there exists , such that for .

Let , where and denote by . If then
Using similar techniques as in the proof of the second statement of Lemma 4.1 we obtain
thus
moreover,
It follows from (4.21) and (4.22) that

Let us choose such that
that implies . Hence,
The first statement of Theorem 2.7 implies that has a fixed point in such that . Applying similar techniques as above, we prove the sublinear case. The proof of Theorem 4.3 is complete.

To illustrate the main results, we consider the following examples.

*Example 4.4. *Consider the following boundary value problem (P1):
Choosing , , it is easy to see that and hypotheses (H1)–(H3) of Theorem 3.1 are satisfied, then, problem (P1) has a unique solution in .

*Example 4.5. *The following boundary value problem (P2):
has at least one solution in . In fact, we have , where , , by calculation we obtain and . From Theorem 3.2, we deduce the existence of at least one solution in .

#### References

- B. Ahmad, A. Alsaedi, and B. S. Alghamdi, “Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions,”
*Nonlinear Analysis*, vol. 9, no. 4, pp. 1727–1740, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Benchohra, J. J. Nieto, and A. Ouahab, “Second-order boundary value problem with integral boundary conditions,”
*Boundary Value Problems*, vol. 2011, Article ID 260309, 9 pages, 2011. View at Google Scholar · View at Zentralblatt MATH - M. Feng, “Existence of symmetric positive solutions for a boundary value problem with integral boundary conditions,”
*Applied Mathematics Letters*, vol. 24, no. 8, pp. 1419–1427, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Feng, B. Du, and W. Ge, “Impulsive boundary value problems with integral boundary conditions and one-dimensional
*p*-Laplacian,”*Nonlinear Analysis*, vol. 70, no. 9, pp. 3119–3126, 2009. View at Publisher · View at Google Scholar - P. Kang, Z. Wei, and J. Xu, “Positive solutions to fourth-order singular boundary value problems with integral boundary conditions in abstract spaces,”
*Applied Mathematics and Computation*, vol. 206, no. 1, pp. 245–256, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Zhao, P. Wang, and W. Ge, “Existence and nonexistence of positive solutions for a class of third order BVP with integral boundary conditions in Banach spaces,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 16, no. 1, pp. 402–413, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zhang, M. Feng, and W. Ge, “Existence result of second-order differential equations with integral boundary conditions at resonance,”
*Journal of Mathematical Analysis and Applications*, vol. 353, no. 1, pp. 311–319, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zhang, M. Feng, and W. Ge, “Symmetric positive solutions for
*p*-Laplacian fourth-order differential equations with integral boundary conditions,”*Journal of Computational and Applied Mathematics*, vol. 222, no. 2, pp. 561–573, 2008. View at Publisher · View at Google Scholar - X. Zhang and W. Ge, “Positive solutions for a class of boundary-value problems with integral boundary conditions,”
*Computers & Mathematics with Applications*, vol. 58, no. 2, pp. 203–215, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Feng and W. Ge, “Positive solutions for a class of
*m*-point singular boundary value problems,”*Mathematical and Computer Modelling*, vol. 46, no. 3-4, pp. 375–383, 2007. View at Publisher · View at Google Scholar - J. R. Graef, C. Qian, and B. Yang, “A three point boundary value problem for nonlinear fourth order differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 287, no. 1, pp. 217–233, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Guezane-Lakoud and R. Khaldi, “Study of a third-order three-point boundary value problem,” in
*Proceedings of the International Conference on Mathematical Science (ICMS '10)*, vol. 1309 of*AIP Conference Proceedings*, pp. 329–335, Bolu, Turkey, November 2010. View at Publisher · View at Google Scholar · View at Scopus - A. Guezane-Lakoud and S. Kelaiaia, “Solvability of a nonlinear boundary value problem,”
*The Journal of Nonlinear Science and Applications*, vol. 4, no. 4, pp. 247–261, 2011. View at Google Scholar - B. Liu, “Positive solutions of fourth-order two point boundary value problems,”
*Applied Mathematics and Computation*, vol. 148, no. 2, pp. 407–420, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Ma, “A survey on nonlocal boundary value problems,”
*Applied Mathematics E-Notes*, vol. 7, pp. 257–279, 2007. View at Google Scholar · View at Zentralblatt MATH - Y. Sun and L. Liu, “Solvability for a nonlinear second-order three-point boundary value problem,”
*Journal of Mathematical Analysis and Applications*, vol. 296, no. 1, pp. 265–275, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Yang, “Positive solutions for a fourth order boundary value problem,”
*Electronic Journal of Qualitative Theory of Differential Equations*, no. 3, p. 17, 2005. View at Google Scholar · View at Zentralblatt MATH - K. Deimling,
*Non-linear Functional Analysis*, Springer, Berlin, Germany, 1985. - D. Guo and V. Lakshmikantham,
*Nonlinear Problems in Abstract Cones*, Academic Press, San Diego, Calif, USA, 1988.