- Research Article
- Open access
- Published:
Existence and Iteration of Positive Solutions for One-Dimensional
-Laplacian Boundary Value Problems with Dependence on the First-Order Derivative
Boundary Value Problems volume 2008, Article number: 860414 (2008)
Abstract
This paper deals with the existence and iteration of positive solutions for the following one-dimensional -Laplacian boundary value problems:
,
, subject to some boundary conditions. By making use of monotone iterative technique, not only we obtain the existence of positive solutions for the problems, but also we establish iterative schemes for approximating the solutions.
1. Introduction
In this paper, we are concerned with the existence and iteration of positive solutions for the following one-dimensional -Laplacian boundary value problems:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ1_HTML.gif)
subject to one of the following boundary conditions:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ2_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ3_HTML.gif)
where with
and
satisfy the following:
(H1) is continuous;
()
is continuous;
(H2) is nondecreasing in
for all
, that is,
for all
;
()
is nondecreasing in
for all
, that is,
for all
;
(H3) is measurable, and
is not identically zero on any compact subinterval of
. Furthermore,
satisfies
.
Here, a positive solution of (1.1), (1.2) or (1.1), (1.3) means a solution of (1.1), (1.2) or (1.1), (1.3) satisfying
.
The boundary value problems (1.1), (1.2) and (1.1), (1.3) deserve a special mention because these forms occur in the study of the -dimensional
-Laplacian equation, non-Newtonian fluid theory and turbulent flow of a gas in a porous medium [1].
A consistent account on the existing literature on equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ4_HTML.gif)
is provided and it emphasizes the use of upper and lower solution technique and the fixed point theory, for instance, Krasnoselskii fixed point theorem, the fixed point index of a completely continuous operator with respect to a cone in a Banach space, one may see [2–5] and the references therein. In [6], by using the monotone iterative technique, Ma et al. obtained the existence of monotone positive solution and established the corresponding iterative schemes of (1.4) under the multipoint boundary value condition. However, in their discussion, the nonlinear term is not involved with the first-order derivative
.
Recently, there is much attention focused on the study of the boundary value problems like (1.1) which the nonlinear term is involved with the first-order derivative explicitly. In [7], Bai et al. considered the boundary value problems (1.1), (1.2) and (1.1), (1.3) and they proved that problems (1.1), (1.2) and (1.1), (1.3) possessed at least three positive solutions by applying a fixed point theorem due to Avery and Peterson [8]. In [9], the authors also deal with the boundary value problem (1.1), (1.2) via Krasnoselskii fixed point theorem. Here, we should mention that Sun and Ge [10] have got the positive solution of the boundary value problem (1.1), (1.2) by making use of monotone iterative technique.
On the other hand, when is involved with the first-order derivative explicitly, we can see easily that the results obtained in [1, 7, 9] are only the existence of positive solutions under some suitable conditions. Seeing such a fact, it is an interesting problem which shows how to find these solutions since they exist definitely. Motivated by the above-mentioned results, by making use of the classical monotone iterative technique, we will investigate not only the existence of positive solutions for the boundary value problems (1.1), (1.2) and (1.1), (1.3), but also give iterative schemes for approximating the solutions. Unlike the idea of [10], we will construct a special subset
(see Section 3) and look at
or
as a unit to overcome difficulties when
depends on both
and
. It is worth starting that the first term of our iterative schemes are simple functions which are determined with some linear ordinary equations and cone
(see Remark 3.2). Therefore, the iterative schemes are significant and feasible. At the same time, we will correct some mistakes in [11–13] (see Remark 3.5).
This paper is organized as follows. After this section, some definitions and lemmas will be established in Section 2. In Section 3, we will give our main results Theorems 3.1 and 3.4. Finally, an example is also presented to illustrate our results in Section 4.
2. Preliminaries
In this section, we provide some background material from the theory of cones in Banach spaces. We also state some lemmas which are important to proof our main results.
Definition 2.1.
Let be a real Banach space. A nonempty closed set
is called a cone, if it satisfies the following two conditions:
(i) for all
and all
;
(ii) implies
.
Definition 2.2.
A map is said to be concave on
, if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ5_HTML.gif)
for all and
Consider the Banach space equipped with the norm
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ6_HTML.gif)
and define the cone by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ7_HTML.gif)
Lemma 2.3 (see {[3]}).
If , then
, where
.
Define the operator as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ8_HTML.gif)
Lemma 2.4.
Assume (), (
) hold, then
is completely continuous.
Proof.
From (), (
), it is obviously that
. Since
, we can see that
is continuous and nonincreasing on
, that is,
is concave on
, so
is well defined. The continuity of
is clear because of the continuity of
and
. Now, we will prove that
is compact. Let
be a bounded set, then there exists
, such that
. For any
, we have
, then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ9_HTML.gif)
The Arzela-Ascoli theorem guarantees that is relatively compact, which means that
is compact. Then
is completely continuous.
Lemma 2.5.
Assume (), (
) and (
) hold. If
such that
, then
.
Proof.
Noticing that is nondecreasing in
, the proof is simple, here we omit it.
3. Main Results
For convenience, we denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ10_HTML.gif)
where . It is easy to see that
.
Theorem 3.1.
Assume (), (
), and (
) hold. Moreover, suppose that there exist six constants
, with
and
, such that
(H4);
(H5).
Then the boundary value problem (1.1), (1.2) has at least two nonincreasing positive solutions and
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ11_HTML.gif)
and , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ12_HTML.gif)
and
are arbitrary constants which satisfy
.
Proof.
We denote a set by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ13_HTML.gif)
Based on the preceding preliminaries, we can divide our proof into three steps.
Step 1.
We first prove . Let
, note that
is nonincreasing on
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ14_HTML.gif)
By Lemma 2.3, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ15_HTML.gif)
Since is nondecreasing in
, and by assumptions (H4) and (H5), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ16_HTML.gif)
which imply that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ17_HTML.gif)
On the other hand, for , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ18_HTML.gif)
In virtue of (3.8)-(3.9), .
Step 2.
Let ,
is an arbitrary constant which satisfies
, then
. Hence,
. Let
, next we claim that
. Indeed, it is easy to check that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ19_HTML.gif)
Using assumptions and
, we have
, these imply that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ20_HTML.gif)
Therefore, . We denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ21_HTML.gif)
Since From Lemma 2.4,
is compact, we assert that
has a convergent subsequence
and there exists
, such that
. Now, since
, for
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ22_HTML.gif)
This combined with Lemma 2.5 gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ23_HTML.gif)
so
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ24_HTML.gif)
By induction,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ25_HTML.gif)
Hence, we assert that . Let
in (3.12) to obtain
since
is continuous. Since
and
is a nonnegative concave function on
, we conclude that
. It is well known that the fixed point of operator
is the solution of the boundary value problem (1.1), (1.2). Therefore,
is a positive, nonincreasing solution of the boundary value problem (1.1), (1.2).
Step 3.
Put ,
is an arbitrary constant satisfying
, then
. Hence,
. From the definition of
and
, we derive that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ26_HTML.gif)
Setting , in what follows, we will prove that
. In fact, similar to (3.10)-(3.11), combined with the above inequalities, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ27_HTML.gif)
We deduce from (3.18) that . Denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ28_HTML.gif)
Since , from Lemma 2.4, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ29_HTML.gif)
By Lemma 2.5, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ30_HTML.gif)
so . By induction,
Hence, we assert that
, and
. Therefore,
is a positive, nonincreasing solution of the boundary value problem (1.1), (1.2).
Remark 3.2.
-
(i)
We can easily get that
and
are the maximal and minimal solutions of the boundary value problem (1.1), (1.2) in
. Of course
and
may coincide and then the boundary value problem (1.1), (1.2) has only one solution in
.
-
(ii)
It is worth pointing out that
. In fact,
, which are determined with some linear ordinary equations and the cone
, this is different from the results in [6, 10], where
(3.22)
Corollary 3.3.
Assume (H1), (H2) and (H3) hold, suppose that
(H6);
(H7).
(Particularly, ). Then there exist four constants
, with
, such that the boundary value problem (1.1), (1.2) has at least two nonincreasing positive solutions
and
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ32_HTML.gif)
and , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ33_HTML.gif)
and
are arbitrary constants which satisfy
.
Proof.
It is very easy to verify the conditions (H4) and (H5) can be obtained from (H6) and (H7), so we omit the proof.
Obviously, though the similar arguments of Theorem 3.1, we could get the following theorem.
Theorem 3.4.
Assume (), (
) and (
) hold, suppose that there exist six positive constants
, with
and
, such that
(H8);
(H9).
Then the boundary value problem (1.1), (1.3) has at least two nondecreasing positive solutions and
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ34_HTML.gif)
and , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ35_HTML.gif)
and
are arbitrary constants which satisfy
.
Remark 3.5.
In [11], Liu and Zhang studied the following boundary value problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ36_HTML.gif)
where and
is an increasing positive homomorphism and homeomorphism with
(for more details, see [11–13]). In that paper, the authors claimed that
is a solution if and only if
is a solution of the following integral equation:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ37_HTML.gif)
where , if
;
, if
, otherwise
is a solution of the equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ38_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ39_HTML.gif)
Unfortunately, such a claim is incorrect since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ40_HTML.gif)
Similar reason, the results in [12, 13] are also incorrect, as they deal with the nonlinear systems. Under the boundary condition (1.3), we could avoid (3.31) to occur. With the similar argument of Theorem 3.4, we could have the similar theorem to Theorem 3.4 for the following boundary value problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ41_HTML.gif)
Here, we omit the proofs.
4. Example
In this section, we will give an example to illustrate our results.
Example 4.1.
Consider the boundary value problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ42_HTML.gif)
where with
, take
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ43_HTML.gif)
we have and
. Take
, we get
. Choose
, and
, so
satisfies the following:
(1) is continuous;
(2) is nondecreasing in
for all
;
(3);
(4).
Therefore, by Theorem 3.1, the boundary value problem (4.1) has at least two nonincreasing positive solutions and
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ44_HTML.gif)
and , where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ45_HTML.gif)
and
are arbitrary constants which satisfy
.
For the two iterative schemes are
,
is arbitrary constant with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ46_HTML.gif)
,
is arbitrary constant with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F860414/MediaObjects/13661_2008_Article_819_Equ47_HTML.gif)
Remark 4.2.
The nonlinear term in
is nonincreasing, so the results in [10] do not hold.
References
O'Regan D:Some general existence principles and results for
,
SIAM Journal on Mathematical Analysis 1993,24(3):648-668. 10.1137/0524040
Jiang D, Gao W:Upper and lower solution method and a singular boundary value problem for the one-dimensional
-Laplacian. Journal of Mathematical Analysis and Applications 2000,252(2):631-648. 10.1006/jmaa.2000.7012
Wang J:The existence of positive solutions for the one-dimensional
-Laplacian. Proceedings of the American Mathematical Society 1997,125(8):2275-2283. 10.1090/S0002-9939-97-04148-8
Guo Y, Ge W:Three positive solutions for the one-dimensional
-Laplacian. Journal of Mathematical Analysis and Applications 2003,286(2):491-508. 10.1016/S0022-247X(03)00476-1
Kong L, Wang J:Multiple positive solutions for the one-dimensional
-Laplacian. Nonlinear Analysis: Theory, Methods & Applications 2000,42(8):1327-1333. 10.1016/S0362-546X(99)00143-1
Ma D-X, Du Z-J, Ge W-G:Existence and iteration of monotone positive solutions for multipoint boundary value problem with
-Laplacian operator. Computers & Mathematics with Applications 2005,50(5-6):729-739. 10.1016/j.camwa.2005.04.016
Bai Z, Gui Z, Ge W:Multiple positive solutions for some
-Laplacian boundary value problems. Journal of Mathematical Analysis and Applications 2004,300(2):477-490. 10.1016/j.jmaa.2004.06.053
Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Computers & Mathematics with Applications 2001,42(3–5):313-322.
Wang Z, Zhang J:Positive solutions for one-dimensional
-Laplacian boundary value problems with dependence on the first order derivative. Journal of Mathematical Analysis and Applications 2006,314(2):618-630. 10.1016/j.jmaa.2005.04.012
Sun B, Ge W:Existence and iteration of positive solutions for some
-Laplacian boundary value problems. Nonlinear Analysis: Theory, Methods & Applications 2007,67(6):1820-1830. 10.1016/j.na.2006.08.025
Liu B, Zhang J: The existence of positive solutions for some nonlinear boundary value problems with linear mixed boundary conditions. Journal of Mathematical Analysis and Applications 2005,309(2):505-516. 10.1016/j.jmaa.2004.09.036
Liu B, Zhang J: The existence of positive solutions for some nonlinear equation systems. Journal of Mathematical Analysis and Applications 2006,324(2):970-981. 10.1016/j.jmaa.2005.12.049
Ji D, Feng H, Ge W: The existence of symmetric positive solutions for some nonlinear equation systems. Applied Mathematics and Computation 2008,197(1):51-59. 10.1016/j.amc.2007.07.031
Acknowledgments
The project is supported by Foundation of Major Project of Science and Technology of Chinese Education Ministry, SRFDP of Higher Education, NSF of Education Committee of Jiangsu Province, and Graduate Innovation Foundation of Jiangsu Province (1612005022).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wang, Z., Zhang, J. Existence and Iteration of Positive Solutions for One-Dimensional -Laplacian Boundary Value Problems with Dependence on the First-Order Derivative.
Bound Value Probl 2008, 860414 (2008). https://doi.org/10.1155/2008/860414
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/860414