Research Article Positive Solutions of the One-Dimensional -Laplacian with

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 492026, 6 pages
http://dx.doi.org/10.1155/2013/492026
Research Article
Positive Solutions of the One-Dimensional 𝑝-Laplacian with
Nonlinearity Defined on a Finite Interval
Ruyun Ma, Chunjie Xie, and Abubaker Ahmed
Department of Mathematics, Northwest Normal University, Lanzhou 730070, China
Correspondence should be addressed to Ruyun Ma; ruyun ma@126.com
Received 24 November 2012; Revised 7 February 2013; Accepted 21 February 2013
Academic Editor: Kunquan Lan
Copyright © 2013 Ruyun Ma 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.
We use the quadrature method to show the existence and multiplicity of positive solutions of the boundary value problems involving
σΈ€ 
one-dimensional 𝑝-Laplacian (|𝑒󸀠 (𝑑)|𝑝−2 𝑒󸀠 (𝑑)) +πœ†π‘“(𝑒(𝑑)) = 0, 𝑑 ∈ (0, 1), 𝑒(0) = 𝑒(1) = 0, where 𝑝 ∈ (1, 2], πœ† ∈ (0, ∞) is a parameter,
1
𝑓 ∈ 𝐢 ([0, π‘Ÿ), [0, ∞)) for some constant π‘Ÿ > 0, 𝑓(𝑠) > 0 in (0, π‘Ÿ), and lim𝑠 → π‘Ÿ− (π‘Ÿ − 𝑠)𝑝−1 𝑓(𝑠) = +∞.
1. Introduction and the Main Results
Let π‘Ž : [0, 1] → [0, ∞) be continuous and π‘Ž(𝑑) ≡ΜΈ 0 on any
subset of [0, 1], and let 𝑓 : [0, ∞) → R be a continuous
function. Wang [1] proved the existence of positive solutions
of nonlinear boundary value problems
𝑒󸀠󸀠 (𝑑) + π‘Ž (𝑑) 𝑓 (𝑒 (𝑑)) = 0,
𝑒 (0) = 𝑒 (1) = 0,
𝑑 ∈ (0, 1) ,
(1)
under the following assumptions:
𝑓 (𝑠)
𝑓 (𝑠)
= 0,
𝑓∞ := lim
= ∞. (2)
𝑠 → +∞
𝑠
𝑠
Since then, the existence and multiplicity of positive solutions
of (1) and its generalized forms have been extensively studied
via the fixed point theorem in cones. For example, Ge [2]
showed a series of results on the existence and multiplicity
of solutions of nonlinear ordinary differential equation of
second order/higher order subjected with diverse boundary
conditions via topological degree and fixed point theorem in
cones; Wang [3] use fixed point theorem in cones to study
the existence of positive solutions for the one dimensional
p-Laplacian. For other recent results along this line, see [4–
11] and the bibliographies in [2]. For the special case π‘Ž(𝑑) ≡
1, beautiful results have been obtained via the quadrature
method; see Fink et al. [12], Brown and Budin [13], Addou
and Wang [14], Cheng and Shao [15], Karátson and Simon
[16], and the references therein.
𝑓0 := lim
𝑠→0
The nonlinearity 𝑓(𝑒) that appeared in the above previously papers is assumed to be well defined in [0, ∞) or
(−∞, ∞). Of course, natural question is what would happen
if 𝑓(𝑒) is only well defined in a finite interval [0, π‘Ÿ), where
π‘Ÿ is a positive constant; that is, what would happen if (2) is
replaced with the following limit π‘“π‘Ÿ :
π‘“π‘Ÿ := lim−
𝑠→π‘Ÿ
𝑓 (𝑠)
= +∞.
𝑠𝑝−1
(3)
It is worth remarking that the fixed point theorem in
cones method in [1–3] cannot be used to deal with the
existence of positive solutions of the problem
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) + πœ†π‘“ (𝑒 (𝑑)) = 0,
𝑑 ∈ (0, 1) ,
(4)
𝑒 (0) = 𝑒 (1) = 0,
under the restriction (3) any more since the appearance of
singularity of 𝑓 at π‘Ÿ. The purpose of this paper is to use the
quadrature method to show the existence and multiplicity of
positive solutions of (4), in which πœ† ∈ (0, ∞) is a parameter,
and 𝑓 satisfies the following assumptions:
(H1) 𝑓 ∈ 𝐢1 ([0, π‘Ÿ), [0, ∞));
(H2) 𝑓(𝑠) > 0 in (0, π‘Ÿ);
(H3) lim𝑠 → π‘Ÿ− (π‘Ÿ − 𝑠)𝑝−1 𝑓(𝑠) = +∞.
𝑠
Let 𝑓0 := lim𝑠 → 0+ (𝑓(𝑠)/𝑠𝑝−1 ), 𝐹(𝑠) = ∫0 𝑓(V)𝑑V.
The main result of the paper is the following.
2
Abstract and Applied Analysis
Theorem 1. Let 𝑝 ∈ (1, 2], and let (H1), (H2), and (H3) hold.
Then,
(i) if 𝑓0 = +∞, then there exist πœ† ∗ > 0, such that (4) has at
least two positive solutions for πœ† ∈ (0, πœ† ∗ ), has at least
one positive solution for πœ† = πœ† ∗ , and has no positive
solution for πœ† > πœ† ∗ ;
(c) Define
𝑓 (𝑠) ,
0 ≤ 𝑠 < π‘Ÿ,
𝑓̃ (𝑠) = {
−𝑓 (−𝑠) , 0 ≤ −π‘Ÿ < 𝑠 < 0,
and consider the auxiliary problem
(ii) if 𝑓0 = 0, then (4) has at least one positive solution for
πœ† ∈ (0, ∞);
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) + πœ†π‘“Μƒ (𝑒 (𝑑)) = 0,
(iii) if 𝑓0 ∈ (0, ∞), then (4), has at least one positive
𝑝
solution for πœ† ∈ (0, πœ‹π‘ /𝑓0 ), where
σΈ€ 
πœ‹π‘ := 2 ∫
(𝑝−1)1/𝑝
0
1
1/𝑝
(1 − 𝑠𝑝 /(𝑝 − 1))
𝑑𝑠.
(5)
The proof of our main result is motivated by Laetsch [17]
in which the existence and multiplicity of positive solutions of
(4) with 𝑝 = 2 were studied via the quadrature method. Since
then, there are plenty of research papers on the study of exact
multiplicity of positive solutions of the 𝑝-Laplacian problem
with general 𝑝 > 1 and some more special nonlinearities;
see [18, 19] and the references therein. To find the exact
number of positive solutions, the nonlinearity 𝑓 needs to
satisfy some restrictive conditions, such as the monotonic
condition or convex condition . . .. Our conditions (H1)–(H3)
are not strong enough to guarantee the problem exact number
of positive solutions.
The rest of the paper is arranged as follows. In Section 2,
we state and prove some preliminary results. Finally in
Section 3, we give the proof of Theorem 1.
2. Preliminaries
To prove our main results, we will use the uniqueness results
due to Reichel and Walter [20] on the initial value problem
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) + πœ†π‘“ (𝑒 (𝑑)) = 0,
𝑒 (π‘Ž) = 𝑏,
(6)
where π‘Ž ∈ [0, 1], and 𝑏, 𝑑 ∈ R.
Lemma 2. Let (H1) and (H2) hold. Then,
It follows from [20, (i) in the case (𝛿) of Theorem 4] that (8)
has a unique local solution 𝑒 ≡ 0 in some neighborhood of
π‘Ž, and consequently, (6) with 𝑏 = 𝑑 = 0 has a unique local
solution 𝑒 ≡ 0 in some neighborhood of π‘Ž.
Lemma 3. Let (H1) and (H2) hold. Let (πœ†, 𝑒) be a solution of
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) + πœ†π‘“ (𝑒 (𝑑)) = 0,
(c) (6) with 𝑏 = 0 and 𝑑 = 0 has a unique local solution
𝑒 ≡ 0.
Proof. (a) It is an immediate consequence of Reichel and
Walter [20, Theorem 2].
(b) (H1) implies that f is local Lipschitz continuous.
Combining this with the fact that 𝑓(𝑏) =ΜΈ 0 and using [20,
(iii) and (v) in the case (𝛽) of Theorem 4], it follows that (6)
with 𝑏 ∈ (0, π‘Ÿ) and 𝑑 = 0 has a unique solution in some
neighborhood of π‘Ž.
𝑑 ∈ (0, 1) ,
(9)
𝑒 (0) = 𝑒 (1) = 0,
with ‖𝑒‖∞ = 𝜌 < π‘Ÿ. Let π‘₯0 ∈ (0, 1) be such that 𝑒(π‘₯0 ) = ‖𝑒‖∞ .
Then, 𝑒(𝑑) > 0 on (0, 1), 𝑒󸀠 (𝑑) > 0 on (0, π‘₯0 ), and 𝑒󸀠 (𝑑) < 0 on
(π‘₯0 , 1), and
𝑒 (π‘₯0 − 𝑑) = 𝑒 (π‘₯0 + 𝑑) ,
𝑑 ∈ [0, min {π‘₯0 , 1 − π‘₯0 }] .
(10)
Proof. Since 𝑓(𝑠) ≥ 0 for 𝑠 ∈ [0, 𝜌], it follows from (9) that
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) ≤ 0, 𝑑 ∈ [0, 1] .
(11)
This, together with the fact that 𝑒󸀠 (π‘₯0 ) = 0, implies that 𝑒 is
nondecreasing in [0, π‘₯0 ], and 𝑒 is nonincreasing in [π‘₯0 , 1].
We claim that
𝑑 ∈ (0, 1) .
(12)
In fact, suppose on the contrary that there exists 𝜏 ∈
(0, π‘₯0 ) such that 𝑒(𝜏) = 0; then,
πœΜ‚ = max {𝜏 ∈ (0, π‘₯0 ) | 𝑒 (𝜏) = 0}
(13)
is well defined. Moreover,
(a) (6) with 𝑑 =ΜΈ 0 has a unique local solution, and, the
extension 𝑒(𝑑) remains unique as long as 𝑒󸀠 (𝑑) =ΜΈ 0;
(b) (6) with 𝑏 ∈ (0, π‘Ÿ) and 𝑑 = 0 has a unique local
solution.
(8)
𝑒 (π‘Ž) = 𝑒 (π‘Ž) = 0.
𝑒 (𝑑) > 0,
𝑒󸀠 (π‘Ž) = 𝑑,
(7)
𝑒 (𝑑) ≡ 0,
𝑑 ∈ (0, πœΜ‚] .
(14)
𝑑 ∈ (0, πœΜ‚ + πœ‚]
(15)
By Lemma 2 (c),
𝑒 (𝑑) ≡ 0,
for some πœ‚ > 0. However, this contradicts the definition of πœΜ‚,
see (13). Therefore, 𝑒(𝑑) > 0 in (0, π‘₯0 ]. Similarly, we may show
that 𝑒(𝑑) > 0 in [π‘₯0 , 1).
Notice that (H2), (12), and (9) yield that
𝑒󸀠 (𝑑) > 0,
𝑑 ∈ (0, π‘₯0 ) ,
𝑒󸀠 (𝑑) < 0,
𝑑 ∈ (π‘₯0 , 1) .
(16)
Abstract and Applied Analysis
3
Now, since 𝑓 is independent of 𝑑, both 𝑒(π‘₯0 −𝑑) and 𝑒(π‘₯0 +
𝑑) satisfy the initial value problem
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑀󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑀󸀠 (𝑑)) + πœ†π‘“ (𝑀 (𝑑)) = 0,
𝑀 (0) = 𝑒 (π‘₯0 ) ,
(17)
σΈ€ 
𝑀 (0) = 0.
From (16) and Lemma 2(a), it follows that both 𝑒(π‘₯0 − 𝑑)
and 𝑒(π‘₯0 + 𝑑) can be uniquely extended to [0, min{π‘₯0 , 1 −
π‘₯0 }]. Thus, we have from Lemma 2(b) that (17) has a unique
solution 𝑒 ≡ 0 on [0, min{π‘₯0 , 1 − π‘₯0 }], and, accordingly, (10)
is true.
Lemma 4. Let (H1) and (H2) hold. Assume that (πœ†, 𝑒) is a
positive solution of the problem (9) with ‖𝑒‖∞ = 𝜌 < π‘Ÿ and
πœ† > 0. Let π‘₯0 ∈ (0, 1) be such that 𝑒(π‘₯0 ) = ‖𝑒‖∞ . Then,
Putting 𝑑 = 1/2, we obtain
πœ†1/𝑝 = 2(
𝑝 − 1 1/𝑝 𝜌
−1/𝑝
) ∫ (𝐹 (𝜌) − 𝐹 (𝑠))
𝑑𝑠.
𝑝
0
Hence, πœ† (if exists) is uniquely determined by 𝜌.
If 𝜌 < π‘Ÿ, we define πœ†(𝜌) by (24) and 𝑒(𝑑) by (23); it
is straightforward to verify that 𝑒 is twice differentiable, 𝑒
satisfies (21), 𝑒 > 0 in (0, 1), and 𝑒(1/2) = 𝜌. The continuity
of πœ†(⋅) is implied by (24), and this completes the proof.
Lemma 6. Let (H3) hold, and let 𝑝 ∈ (1, 2). Then
(a) π‘₯0 = 1/2;
(b) π‘₯0 is the unique point on which 𝑒 attains its maximum;
(c) 𝑒󸀠 (𝑑) > 0, 𝑑 ∈ (0, 1/2).
Proof. (a) Suppose on the contrary that π‘₯0 =ΜΈ 1/2, and say that
π‘₯0 ∈ (1/2, 1); then, 2π‘₯0 − 1 ∈ (0, 1), and
0 = 𝑒 (1) = 𝑒 (2π‘₯0 − 1) .
(18)
lim πœ† (𝜌) = 0.
Proof. By (H3), there are positive numbers 𝑅 < π‘Ÿ and π‘˜ such
that
𝑓 (𝑠) ≥
3. Proof of the Main Result
Lemma 5. For any 𝜌 < π‘Ÿ, there exists a unique πœ† > 0 such that
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) + πœ†π‘“ (𝑒 (𝑑)) = 0,
𝑑 ∈ (0, 1) ,
(19)
𝑒 (0) = 𝑒 (1) = 0,
has a positive solution (πœ†, 𝑒) with ‖𝑒‖ = 𝜌. Moreover, 𝜌 →
πœ†(𝜌) is a continuous function on [0, π‘Ÿ).
Proof. By Lemma 4, (πœ†, 𝑒) is a positive solution of (19), if and
only if (πœ†, 𝑒) is a positive solution of
σΈ€ 
󡄨𝑝−2
󡄨
(󡄨󡄨󡄨󡄨𝑒󸀠 (𝑑)󡄨󡄨󡄨󡄨 𝑒󸀠 (𝑑)) + πœ†π‘“ (𝑒 (𝑑)) = 0,
𝑑 ∈ (0, 1) ,
𝑝
𝑝
[𝐹 (𝜌) − 𝐹 (𝑒 (𝑑))] ,
𝑝−1
and so
𝑑(
1/𝑝
{πœ† (𝜌)}
= 2(
𝑝 − 1 1/𝑝 𝜌
1
𝑑𝑠
) ∫
1/𝑝
𝑝
0 (𝐹 (𝜌) − 𝐹 (𝑠))
= 2(
𝑝 − 1 1/𝑝
)
𝑝
× [∫
𝑅
0
1
1/𝑝
(𝐹 (𝜌) − 𝐹 (𝑠))
1/𝑝
𝑒(𝑑)
𝑝
−1/𝑝
𝑑𝑠,
πœ†) = ∫ (𝐹 (𝜌) − 𝐹 (𝑠))
𝑝−1
0
1
𝑑 ∈ [0, ] .
2
(23)
𝜌
𝑅
(21)
1
𝑑 ∈ [0, ] , (22)
2
𝑅 ≤ 𝑠 < π‘Ÿ.
Thus, if 𝑅 < 𝜌 < π‘Ÿ, (24) implies that
(20)
Suppose that (πœ†, 𝑒) is a solution of (20), with ‖𝑒‖ = 𝜌. Then,
(𝑒󸀠 (𝑑)) = πœ†
π‘˜π‘
,
(π‘Ÿ − 𝑠)𝑝−1
+∫
1
𝑒 (0) = 𝑒󸀠 ( ) = 0.
2
(25)
𝜌 → π‘Ÿ−
However, this contradicts (12). Therefore, π‘₯0 = 1/2.
Also (b) and (c) can be easily deduced from (16).
To prove Theorem 1, we need the following quadrature
method.
(24)
= 2(
𝑑𝑠
1
1/𝑝
(𝐹 (𝜌) − 𝐹 (𝑠))
𝑑𝑠]
𝑝 − 1 1/𝑝
)
𝑝
𝑅
1
× [∫
𝑑𝑠
1/𝑝
𝜌
0
[ (∫𝑠 𝑓 (𝑀) 𝑑𝑀)
+∫
𝜌
𝑅
1
𝜌
(∫𝑠 𝑓 (𝑀) 𝑑𝑀)
1/𝑝
𝑑𝑠]
]
(26)
4
Abstract and Applied Analysis
≤
2 𝑝 − 1 1/𝑝
1/𝑝
(
) (2 − 𝑝)
π‘˜
𝑝
Thus, if 𝑅 < 𝜌 < π‘Ÿ, (24) implies that
1/2
𝜌
1
1
𝑑𝑠
{ πœ† (𝜌)} = ∫
2
0 √𝐹 (𝜌) − 𝐹 (𝑠)
{ 𝑅
1
× {∫
𝑑𝑠
2−𝑝 1/𝑝
2−𝑝
0
[(π‘Ÿ
−
𝑠)
−
(π‘Ÿ
−
𝜌)
]
{
}
𝑑𝑠}
+∫
1/𝑝
2−𝑝
𝑅
[(π‘Ÿ − 𝑠)2−𝑝 − (π‘Ÿ − 𝜌) ]
}
=∫
by (26)
=∫
𝜌
1
1/𝑝
2 𝑝−1
)
≤ (
π‘˜
𝑝
× {𝑅[πœ‰ (𝜌)]
(2 − 𝑝)
−1/𝑝
0
𝑑𝑠
√𝐹 (𝜌) − 𝐹 (𝑠)
𝑅
0
1/𝑝
𝑑𝑠
𝜌
√∫𝑠 𝑓 (𝑀) 𝑑𝑀
𝑅
≤ ∫ (π‘˜2 ln
0
πœ‰(𝜌)
1
+
∫ π‘₯−1/𝑝
2−𝑝 0
2−𝑝 (𝑝−1)/(2−𝑝)
× [π‘₯ + (π‘Ÿ − 𝜌)
𝑅
]
𝜌
𝑅
(27)
𝑑𝑠
𝑅
√𝐹 (𝜌) − 𝐹 (𝑠)
+∫
𝜌
𝑅
𝑑𝑠
𝜌
√∫𝑠 𝑓 (𝑀) 𝑑𝑀
π‘Ÿ − 𝑅 −1/2
) 𝑑𝑠
π‘Ÿ−𝜌
+ ∫ (π‘˜2 ln
𝑑π‘₯} 󳨀→ 0,
𝜌
+∫
π‘Ÿ − 𝑠 −1/2
) 𝑑𝑠 by (31)
π‘Ÿ−𝜌
1
−1/2
+ (π‘Ÿ − 𝜌)
{𝑅[πœ‰ (𝜌)]
π‘˜
≤
×∫
−
as 𝜌 → π‘Ÿ , where
πœ‰(𝜌)
0
π‘₯−1/2 𝑒π‘₯ 𝑑π‘₯} 󳨀→ 0,
(32)
2−𝑝
πœ‰ (𝜌) := (π‘Ÿ − 𝑅)2−𝑝 − (π‘Ÿ − 𝜌)
π‘₯ =: (π‘Ÿ − 𝑠)
2−𝑝
2−𝑝
− (π‘Ÿ − 𝜌)
,
.
(28)
πœ‰ (𝜌) := ln
If 𝜌 → π‘Ÿ− , then
2−𝑝
πœ‰ (𝜌) := (π‘Ÿ − 𝑅)2−𝑝 − (π‘Ÿ − 𝜌)
=
(π‘Ÿ−𝑅)
1
∫
2−𝑝 0
2−𝑝
π‘Ÿ−𝑅
,
π‘Ÿ−𝜌
π‘₯ =: ln
π‘Ÿ−𝑠
.
π‘Ÿ−𝜌
(33)
󳨀→ (π‘Ÿ − 𝑅)2−𝑝 ,
πœ‰(𝜌)
1
2−𝑝 (𝑝−1)/(2−𝑝)
𝑑π‘₯
∫ π‘₯−1/𝑝 [π‘₯ + (π‘Ÿ − 𝜌) ]
2−𝑝 0
󳨀→
as 𝜌 → π‘Ÿ− , where
2
π‘₯(𝑝 −2)/𝑝(2−𝑝) 𝑑π‘₯
Lemma 8. Let (H1), (H2), and (H3) hold, and assume that 𝑝 ∈
(1, +∞). Then,
(29)
(a) if 𝑓0 = ∞, then lim𝜌 → 0+ πœ†(𝜌) = 0;
𝑝
(π‘Ÿ − 𝑅)2(𝑝−1)/𝑝 .
2 (𝑝 − 1)
(b) if 𝑓0 = 0, then lim𝜌 → 0+ πœ†(𝜌) = +∞;
𝑝
(c) if 𝑓0 ∈ (0, ∞), then lim𝜌 → 0+ πœ†(𝜌) = πœ‹π‘ /𝑓0 , where
Lemma 7. Let (H1) and (H2) hold, and let 𝑝 = 2. Then,
πœ‹π‘ := 2 ∫
(𝑝−1)1/𝑝
0
lim πœ† (𝜌) = 0.
𝜌 → π‘Ÿ−
π‘˜2
,
π‘Ÿ−𝑠
𝑅 ≤ 𝑠 < π‘Ÿ.
(1 −
1/𝑝
− 1)))
𝑑𝑠.
(34)
(30)
Proof. (a) If 𝑓0 = ∞, then for any positive constant π‘˜, there
exists 𝑅 ∈ (0, π‘Ÿ) such that
Proof. There are positive numbers 𝑅 < π‘Ÿ and π‘˜ such that
𝑓 (𝑠) ≥
1
(𝑠𝑝 /(𝑝
(31)
𝑓 (𝑠) ≥ π‘˜π‘ 𝑠𝑝−1 , 0 < 𝑠 < 𝑅.
(35)
Abstract and Applied Analysis
5
Thus, if 0 < 𝜌 < 𝑅, (24) implies that
{πœ† (𝜌)}
1/𝑝
Thus, if 0 < 𝜌 < 𝛿, (24) and the second part of (39) imply that
𝑝 − 1 1/𝑝 𝜌
1
= 2(
𝑑𝑠
) ∫
1/𝑝
𝑝
0 (𝐹 (𝜌) − 𝐹 (𝑠))
{πœ† (𝜌)}
1/𝑝
𝑝 − 1 1/𝑝 𝜌
1
= 2(
𝑑𝑠
) ∫
1/𝑝
𝜌
𝑝
0 (∫ 𝑓 (V) 𝑑V)
𝑠
≤ 2(
1/𝑝
𝑝−1
)
𝑝
1/𝑝
𝑝
π‘˜
1/𝑝
=2
(𝑝 − 1)
π‘˜
∫
𝜌
1
0 (πœŒπ‘
1/𝑝
− 𝑠𝑝 )
1
1
0
(1 − 𝑠𝑝 )1/𝑝
∫
(𝑝−1)1/𝑝
𝑝 − 1 1/𝑝 𝜌
1
) ∫
𝑑𝑠
1/𝑝
𝑝
0 (𝐹 (𝜌) − 𝐹 (𝑠))
= 2(
𝑝 − 1 1/𝑝 𝜌
1
𝑑𝑠
) ∫
1/𝑝
𝜌
𝑝
0 (∫ 𝑓 (V) 𝑑V)
𝑠
≥ 2(
1/𝑝 𝜌
𝑝 − 1 1/𝑝
𝑝
1
𝑑𝑠
) (
) ∫
1/𝑝
𝑝
𝑓0 + πœ€
0 (πœŒπ‘ − 𝑠𝑝 )
= 2(
𝑝 − 1 1/𝑝 1
1
𝑑𝑠
) ∫
1/𝑝
𝑓0 + πœ€
0 (1 − 𝑠𝑝 )
𝑑𝑠
=
1
2
= ∫
π‘˜ 0
𝑑𝑠 by (35)
= 2(
(1 − 𝑠𝑝 /(𝑝 − 1))
1/𝑝
𝑑𝑠
=
1
= πœ‹π‘ ,
π‘˜
(36)
2
𝑓 (𝑠) ≤ πœ€ 𝑠
1/𝑝
∫
1/𝑝
πœ‹π‘ ,
1
(𝑓0 + πœ€)
0
1
(1 −
𝑠𝑝 /(𝑝
− 1))
1/𝑝
𝑑𝑠
(40)
which implies that
𝑝
lim+ πœ† (𝜌) ≥
𝜌→0
πœ‹π‘
𝑓0
.
(41)
Similarly,
,
0 < 𝑠 < 𝛿.
(37)
= 2(
𝑝 − 1 1/𝑝 𝜌
1
𝑑𝑠
) ∫
1/𝑝
𝑝
0 (𝐹 (𝜌) − 𝐹 (𝑠))
𝑝 − 1 1/𝑝 𝜌
1
= 2(
𝑑𝑠
) ∫
1/𝑝
𝑝
0 (𝐹 (𝜌) − 𝐹 (𝑠))
= 2(
𝑝 − 1 1/𝑝 𝜌
1
𝑑𝑠
) ∫
1/𝑝
𝜌
𝑝
0 (∫ 𝑓 (V) 𝑑V)
𝑠
𝑝 − 1 1/𝑝 𝜌
1
= 2(
𝑑𝑠
) ∫
1/𝑝
𝜌
𝑝
0 (∫ 𝑓 (V) 𝑑V)
𝑠
≥ 2(
1/𝑝 𝜌
𝑝 − 1 1/𝑝
𝑝
1
𝑑𝑠
) (
) ∫
1/𝑝
𝑝
𝑝
𝑓0 − πœ€
0 (𝜌 − 𝑠𝑝 )
= 2(
𝑝 − 1 1/𝑝 1
1
𝑑𝑠
) ∫
1/𝑝
𝑓0 − πœ€
0 (1 − 𝑠𝑝 )
{πœ† (𝜌)}
Thus, if 0 < 𝜌 < 𝛿, (24) implies that
{πœ† (𝜌)}
1/𝑝
(𝑓0 + πœ€)
which implies that lim𝜌 → 0+ πœ†(𝜌) = 0.
(b) If 𝑓0 = 0, then for any πœ€ > 0, there exists 𝛿 ∈ (0, π‘Ÿ)
such that
𝑝 𝑝−1
(𝑝−1)1/𝑝
≥ 2(
1/𝑝
𝑝−1
)
𝑝
1/𝑝
𝑝
πœ€
1/𝑝
(𝑝 − 1)
=2
πœ€
=
(𝑝−1)
2
∫
πœ€ 0
∫
𝜌
1
0 (πœŒπ‘
1
1
0
(1 − 𝑠𝑝 )1/𝑝
∫
1/𝑝
1/𝑝
− 𝑠𝑝 )
(1 −
=
𝑑𝑠
=
1
𝑠𝑝 /(𝑝
𝑑𝑠 by (37)
1/𝑝
− 1))
𝑑𝑠
1
= πœ‹π‘ ,
πœ€
(38)
0 < 𝑠 < 𝛿.
(𝑝−1)1/𝑝
2
1/𝑝
∫
1/𝑝
πœ‹π‘ ,
(𝑓0 − πœ€)
1
(𝑓0 − πœ€)
0
1
(1 −
𝑠𝑝 /(𝑝
− 1))
1/𝑝
𝑑𝑠
(42)
which implies that if 0 < 𝜌 < 𝛿, (24) and the first part of (39)
imply that
which implies that lim𝜌 → 0+ πœ†(𝜌) = +∞.
(c) If 𝑓0 ∈ (0, ∞), then for any πœ€ ∈ (0, 𝑓0 /2), there exists
𝛿 ∈ (0, π‘Ÿ) such that
𝑓 (𝑠)
𝑓0 − πœ€ ≤ 𝑝−1 ≤ 𝑓0 + πœ€,
𝑠
1/𝑝
𝑝
lim+ πœ† (𝜌) ≤
𝜌→0
𝑓0
.
(43)
Combining (41) and (43), it follows that
𝑝
lim+ πœ† (𝜌) =
𝜌→0
(39)
πœ‹π‘
πœ‹π‘
𝑓0
.
(44)
6
Abstract and Applied Analysis
Proof of Theorem 1. (i) It is from Lemma 8(a) that
lim πœ† (𝜌) = 0.
𝜌 → 0+
(45)
From Lemma 6 or Lemma 7, we have that
lim πœ† (𝜌) = 0.
𝜌 → π‘Ÿ−
(46)
Combining this with (45) and using the facts that πœ†(𝜌) > 0
and πœ†(𝜌) is continuous, it concludes that there exists πœ† ∗ > 0
such that (4) has at least two positive solutions for πœ† ∈ (0, πœ† ∗ ),
has at least one positive solution for πœ† = πœ† ∗ , and has no
positive solution for πœ† > πœ† ∗ .
(ii) It is an immediate consequence of Lemma 6, and
Lemma 7, and Lemma 8(b).
(iii) It is an immediate consequence of Lemma 6, and
Lemma 7, and Lemma 8(c).
Acknowledgments
The authors are very grateful to the anonymous referees
for their valuable suggestions. This work is supported by
the NSFC (no.11061030), SRFDP (no.20126203110004), and
Gansu Provincial National Science Foundation of China (no.
1208RJZA258).
References
[1] H. Wang, “On the existence of positive solutions for semilinear
elliptic equations in the annulus,” Journal of Differential Equations, vol. 109, no. 1, pp. 1–7, 1994.
[2] W. Ge, Boundary Value Problems of Nonlinear Ordinary Differential Equations, Science Press, Beijing, China, 2007.
[3] J. Wang, “The existence of positive solutions for the onedimensional 𝑝-Laplacian,” Proceedings of the American Mathematical Society, vol. 125, no. 8, pp. 2275–2283, 1997.
[4] J. Henderson and H. Wang, “Positive solutions for nonlinear
eigenvalue problems,” Journal of Mathematical Analysis and
Applications, vol. 208, no. 1, pp. 252–259, 1997.
[5] R. P. Agarwal, F. Wang, and W. Lian, “Positive solutions for
nonlinear singular boundary value problems,” Computers &
Mathematics with Applications, vol. 35, pp. 81–87, 1998.
[6] L. H. Erbe and H. Wang, “On the existence of positive solutions
of ordinary differential equations,” Proceedings of the American
Mathematical Society, vol. 120, no. 3, pp. 743–748, 1994.
[7] K. Lan and J. R. L. Webb, “Positive solutions of semilinear
differential equations with singularities,” Journal of Differential
Equations, vol. 148, no. 2, pp. 407–421, 1998.
[8] L. H. Erbe, S. C. Hu, and H. Wang, “Multiple positive solutions
of some boundary value problems,” Journal of Mathematical
Analysis and Applications, vol. 184, no. 3, pp. 640–648, 1994.
[9] W. C. Lian, F. H. Wong, and C. C. Yeh, “On the existence
of positive solutions of nonlinear second order differential
equations,” Proceedings of the American Mathematical Society,
vol. 124, no. 4, pp. 1117–1126, 1996.
[10] Z. Liu and F. Li, “Multiple positive solutions of nonlinear
two-point boundary value problems,” Journal of Mathematical
Analysis and Applications, vol. 203, no. 3, pp. 610–625, 1996.
[11] R. Ma, “Positive solutions of a nonlinear three-point boundaryvalue problem,” Electronic Journal of Differential Equations, vol.
1999, article 34, 8 pages, 1999.
[12] A. M. Fink, J. A. Gatica, and G. E. Hernández, “Eigenvalues
of generalized Gelfand models,” Nonlinear Analysis: Theory,
Methods & Applications, vol. 20, no. 12, pp. 1453–1468, 1993.
[13] K. J. Brown and H. Budin, “On the existence of positive
solutions for a class of semilinear elliptic boundary value
problems,” SIAM Journal on Mathematical Analysis, vol. 10, no.
5, pp. 875–883, 1979.
[14] I. Addou and S.-H. Wang, “Exact multiplicity results for a 𝑝Laplacian problem with concave-convex-concave nonlinearities,” Nonlinear Analysis: Theory, Methods & Applications, vol.
53, no. 1, pp. 111–137, 2003.
[15] J. Cheng and Y. Shao, “The positive solutions of boundary
value problems for a class of one-dimensional 𝑝-Laplacians,”
Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no.
4, pp. 883–891, 2008.
[16] J. Karátson and P. L. Simon, “Exact multiplicitly for degenerate
two-point boundary value problems with 𝑝-convex nonlinearity,” Nonlinear Analysis: Theory, Methods & Applications, vol. 52,
no. 6, pp. 1569–1590, 2003.
[17] T. Laetsch, “The number of solutions of a nonlinear two point
boundary value problem,” Indiana University Mathematics Journal, vol. 20, pp. 1–13, 1970-1971.
[18] C.-C. Tzeng, K.-C. Hung, and S.-H. Wang, “Global bifurcation
and exact multiplicity of positive solutions for a positone problem with cubic nonlinearity,” Journal of Differential Equations,
vol. 252, no. 12, pp. 6250–6274, 2012.
[19] K.-C. Hung and S.-H. Wang, “Classification and evolution of
bifurcation curves for a multiparameter 𝑝-Laplacian Dirichlet
problem,” Nonlinear Analysis: Theory, Methods & Applications,
vol. 74, no. 11, pp. 3589–3598, 2011.
[20] W. Reichel and W. Walter, “Radial solutions of equations and
inequalities involving the 𝑝-Laplacian,” Journal of Inequalities
and Applications, vol. 1, no. 1, pp. 47–71, 1997.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download