Solvability and positive solution of a system of second-order boundary value problem with integral boundary conditions
© Jebari and Boukricha; licensee Springer 2014
Received: 24 July 2014
Accepted: 11 November 2014
Published: 16 December 2014
The main purpose of this paper is to establish the existence, uniqueness and positive solution of a system of second-order boundary value problem with integral conditions. Using Banach’s fixed point theorem and the Leray-Schauder nonlinear alternative, we discuss the existence and uniqueness solution of this problem, and we apply Guo-Krasnoselskii’s fixed point theorem in cone to study the existence of positive solution. We also give some examples to illustrate our results.
For more knowledge about the boundary value problems, we refer the reader to –. Our aim is to use the Banach contraction principle and the Leray-Schauder nonlinear alternative to prove the existence and uniqueness solutions of our problem. For this, we formulate the boundary value problem as the fixed point problem. However, the Schauder fixed point theorem cannot ensure the solutions to be positive. Since only positive solutions are useful for many applications, motivated by the above works, the existence of positive solution is obtained by Guo-Krasnoselskii’s fixed point theorem. Our work is more general than –, , ; for example, (1.7) investigated in the case , , , and (1.3) in the case , , . To the best of our knowledge, no one has studied the existence and positiveness of solutions for system (1.1)-(1.2).
This paper is organized as follows. In Section 2, we present some preliminaries that will be used to prove our results. In Section 3, we discuss the existence and uniqueness of a solution for problem (1.1)-(1.2) by using the Leray-Schauder nonlinear alternative and Banach’s fixed point theorem. In Section 4, the study of the positivity of a solution is based on Guo-Krasnoselskii’s fixed point theorem in cone. Finally, we shall give three examples to illustrate our main results.
2 Preliminaries and lemmas
We define the set by .
The function is called a nonnegative solution of system (1.1)-(1.2) if and only if u satisfies (1.1)-(1.2) and for all , for .
The function is called a positive solution of system (1.1)-(1.2) if and only if u satisfies (1.1)-(1.2) and for all , for .
is the Green functions of the corresponding homogeneous problem.
We can write Lemma 2.2 in the following form: is a solution of (1.1)-(1.2) if and only if u is a fixed point of the operator T.
3 Existence and uniqueness results
We deduce that for all , for all and for all , . Since for all , and . We obtain for all , , , where is given by (3.2). □
Now, we prove the existence and uniqueness of solutions in the Banach space E. The uniqueness result is based on Banach’s contraction principle .
Then problem (1.1)-(1.2) has a unique solution u in E.
Since , then T is a contraction, hence it has a unique fixed point which is the unique solution of (1.1)–(1.2). The proof is completed. □
We establish an existence result using the nonlinear alternative of Leray-Schauder type.
(Leray-Schauder nonlinear alternative (see ))
Let F be a Banach space and Ω be a bounded open subset of F, . Letbe a completely continuous operator. Then there exists, such that, or there exists a fixed point.
From this theorem we have the following result.
Then the boundary value problem (1.1)-(1.2) has at least one nontrivial solution.
It is easy to see that for all , are continuous since , , , and are continuous. T maps bounded sets into bounded sets in E; to establish this step, we use the Arzelà-Ascoli theorem . Let be a bounded subset in E. We shall prove that is relatively compact.
- (ii)Now, we apply the Leray-Schauder nonlinear alternative to prove that T has at least a nontrivial solution in E. We define . Then, for such that , , we have
which is a contradiction to the fact that . Lemma 3.3 allows us to conclude that T has a fixed point , and then problem (1.1)-(1.2) has a nontrivial solution . This achieves the proof. □
4 Existence of a positive solution
In this section, we will give some preliminary considerations and some lemmas which are essential to establish sufficient conditions for the existence of at least one positive solution for our problem. We make the following additional assumption.
(H1) The functions , and are continuous.
(H2) For all , there exist and such that for all , .
(H3) For all , there exist , and such that , and for all .
Now, we need some properties of the Green functions for .
The proof of Lemma 4.1 is similar to that of Lemma 3.1.
, implies ;
, implies .
is a cone of E.
(Guo-Krasnoselskii’s fixed point theorem in cone )
, and , or
, and , .
Then A has a fixed point in.
We employ Guo-Krasnoselskii’s fixed point theorem in cone to prove the existence of a positive solution of our problem, we have the following theorem.
Assume that conditions (H1), (H2) and (H3) hold. Then equation (1.1)-(1.2) has at least one positive solution.
Remark 4.3 shows that C is a cone subset of E. Lemma 3.1 and (H1) show that . In addition, a standard argument involving the Arzelà-Ascoli theorem implies that T is a completely continuous operator.
Based on Theorem 4.4, we get from (4.1) and (4.2) that the operator T has at least one fixed point. Thus, it follows that (1.1)-(1.2) has at least one nonnegative solution and from (H1) and (H2), (1.1)-(1.2) has at least one positive solution. □
Finally, we give some examples to illustrate the results obtained in this paper.
Then from Theorem 3.2 we conclude that the system of boundary value problem has a unique solution .
Then from Theorem 3.4 we conclude that the system of boundary value problem has at least one solution .
We can easily show that conditions (H1), (H2) and (H3) are satisfied. Hence, by Theorem 4.5 this problem has at least one positive solution.
The authors thank the reviewers for their constructive remarks that led to the improvement of the original manuscript.
- Bebernes J, Eberly D: Mathematical Problems from Combustion Theory. Springer, New York; 1989.View ArticleGoogle Scholar
- Joseph DD, Sparrow EM: Nonlinear diffusion induced by nonlinear sources. Q. Appl. Math. 1970, 28: 327-342.MathSciNetGoogle Scholar
- Keller HB, Cohen DS: Some positone problems suggested by nonlinear heat generation. J. Math. Mech. 1967, 16: 1361-1376.MathSciNetGoogle Scholar
- Guezane-Lakoud A, Belakroum D: Rothe’s method for telegraph equation with integral conditions. Nonlinear Anal. 2009, 70: 3842-3853. 10.1016/j.na.2008.07.037MathSciNetView ArticleGoogle Scholar
- Yang ZL, Sun JX: Positive solutions of boundary value problems for systems of nonlinear second order ordinary differential equations. Acta Math. Sin. 2004, 47: 111-118.MathSciNetGoogle Scholar
- Ma R: Existence of positive radial solutions for elliptic systems. J. Math. Anal. Appl. 1996, 201: 375-386. 10.1006/jmaa.1996.0261MathSciNetView ArticleGoogle Scholar
- Khan RA: The generalized method of quasilinearization and nonlinear boundary value problems with integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2003., 2003:Google Scholar
- Ahmed B, Alsaed A, Alghamdi BS: Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions. Nonlinear Anal., Real World Appl. 2008, 9: 1727-1740. 10.1016/j.nonrwa.2007.05.005MathSciNetView ArticleGoogle Scholar
- Benchohra M, Nieto JJ, Ouahab A: Second-order boundary value problem with integral boundary conditions. Bound. Value Probl. 2011., 2011: 10.1155/2011/260309Google Scholar
- Belarbi A, Benchohra M, Ouahab A: Multiple positive solutions for nonlinear boundary value problems with integral boundary conditions. Arch. Math. 2008, 44: 1-7.MathSciNetGoogle Scholar
- Liu B: Positive solutions of fourth-order two point boundary value problems. Appl. Math. Comput. 2004, 148: 407-420. 10.1016/S0096-3003(02)00857-3MathSciNetView ArticleGoogle Scholar
- Sun Y, Liu L: Solvability for a nonlinear second-order three-point boundary value problem. J. Math. Anal. Appl. 2004, 296: 265-275. 10.1016/j.jmaa.2004.04.013MathSciNetView ArticleGoogle Scholar
- Yang B: Positive solutions for a fourth order boundary value problem. Electron. J. Qual. Theory Differ. Equ. 2005., 2005:Google Scholar
- Agarwal RP, O’Regan D, Lakshmikantham V, Leela S: An upper and lower solution theory for singular Emden-Fowler equations. Nonlinear Anal., Real World Appl. 2002, 3: 275-291. 10.1016/S1468-1218(01)00029-3MathSciNetView ArticleGoogle Scholar
- Il’in VA, Moiseev EI: Nonlocal boundary value problem of the second kind for the Sturm-Liouville operator. J. Differ. Equ. 1987, 23: 979-987.Google Scholar
- Webb JRL, Infante G: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 2006, 74: 673-693. 10.1112/S0024610706023179MathSciNetView ArticleGoogle Scholar
- Sun Y, Liu L, Zhang J, Agarwal RP: Positive solutions of singular three-point boundary value problems for second-order differential equations. J. Comput. Appl. Math. 2009, 230: 738-750. 10.1016/j.cam.2009.01.003MathSciNetView ArticleGoogle Scholar
- Agarwal RP, O’Regan D, Lakshmikantham V, Leela S: Existence of positive solutions for singular initial and boundary value problems via the classical upper and lower solution approach. Nonlinear Anal. 2002, 50: 215-222. 10.1016/S0362-546X(01)00747-7MathSciNetView ArticleGoogle Scholar
- Wong PJY: A system of boundary value problems with positive/nonpositive nonlinearities. J. Math. Anal. Appl. 2000, 243: 293-312. 10.1006/jmaa.1999.6671MathSciNetView ArticleGoogle Scholar
- Agarwal RP, O’Regan D, Lakshmikantham V: Nonuniform nonresonance at the first eigenvalue for singular boundary value problems with sign changing nonlinearities. J. Math. Anal. Appl. 2002, 274: 404-423. 10.1016/S0022-247X(02)00340-2MathSciNetView ArticleGoogle Scholar
- Rachunkovà I: Boundary value problems with nonlinear conditions. Acta Math. Inform. Univ. Ostrav. 1994, 2: 71-77.Google Scholar
- Rachunkovà I: Sign conditions in nonlinear boundary value problems. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 1994, 33: 117-124.Google Scholar
- Infante G, Pietramala P, Tenuta M: Existence and localization of positive solutions for a nonlocal BVP arising in chemical reactor theory. Commun. Nonlinear Sci. Numer. Simul. 2014, 19: 2245-2251. 10.1016/j.cnsns.2013.11.009MathSciNetView ArticleGoogle Scholar
- Goodrich CS: Nonlocal systems of BVPs with asymptotically superlinear boundary conditions. Comment. Math. Univ. Carol. 2012, 53: 79-97.MathSciNetGoogle Scholar
- Goodrich CS: Nonlocal systems of BVPs with asymptotically sublinear boundary conditions. Appl. Anal. Discrete Math. 2012, 6: 174-193. 10.2298/AADM120329010GMathSciNetView ArticleGoogle Scholar
- Infante G, Pietramala P: Existence and multiplicity of non-negative solutions for systems of perturbed Hammerstein integral equations. Nonlinear Anal. 2009, 71: 1301-1310. 10.1016/j.na.2008.11.095MathSciNetView ArticleGoogle Scholar
- Infante G, Minhós FM, Pietramala P: Non-negative solutions of systems of ODEs with coupled boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 4952-4960. 10.1016/j.cnsns.2012.05.025MathSciNetView ArticleGoogle Scholar
- Infante G, Pietramala P: Multiple nonnegative solutions of systems with coupled nonlinear boundary conditions. Math. Methods Appl. Sci. 2014, 37: 2080-2090. 10.1002/mma.2957MathSciNetView ArticleGoogle Scholar
- Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.View ArticleGoogle Scholar
- Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego; 1988.Google Scholar
This article is published under license to BioMed Central Ltd.Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.