Electronic Journal of Differential Equations, Vol. 2006(2006), No. 74, pp.... ISSN: 1072-6691. URL: or

advertisement
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 74, pp. 1–25.
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
ftp ejde.math.txstate.edu (login: ftp)
MULTIPLE POSITIVE SOLUTIONS FOR SINGULAR
BOUNDARY-VALUE PROBLEMS WITH DERIVATIVE
DEPENDENCE ON FINITE AND INFINITE INTERVALS
BAOQIANG YAN
Abstract. In this paper, Krasnoselskii’s theorem and the fixed point theorem of cone expansion and compression are improved. Using the results
obtained, we establish the existence of multiple positive solutions for the singular second-order boundary-value problems with derivative dependance on
finite and infinite intervals.
1. Introduction
In [1], by an alternative method to Leray-Schauder and sequential technique,
Agarwal and O’Regan considered the singular boundary-value problem
1
(py 0 )0 + Φ(t)f (t, y, py 0 ) = 0,
p
αy(0) − β lim+ p(t)y 0 (t) = 0,
t ∈ (0, 1)
(1.1)
y(1) = 0
t→0
and obtained the existence of one solution to equation (1.1) when α = 0 or β = 0.
In [23], by a generalization of the Kneser’s property (continuum) of the crosssections of the solutions funnel, Palamides and Galanis considered the following
problems
1
(py 0 )0 + Φ(t)f (t, y, py 0 ) = 0, t ∈ (0, +∞)
p
(1.2)
y(0) = 0,
lim p(t)y 0 (t) = 0
t→+∞
and also obtained the existence of one positive and monotone unbounded solution.
There are some other results on the existence of at least one solution for equation
(1.1), (1.2), and we refer the reader also to [2, 3, 4, 5, 6, 7, 8, 11, 19, 20, 21, 22].
Moreover, under the condition that p ≡ 1, β = 0 and f has no singularity at
x = 0 and px0 = 0, in [15], using pairs of lower and upper solutions, Henderson
and Thompson considered the existence of three solutions for equation (1.1) and
2000 Mathematics Subject Classification. 34B16, 34B18, 34B40.
Key words and phrases. Krasnoselskii’s theorem; singular boundary value problems;
fixed point theorem of cone expansion and compression.
c
2006
Texas State University - San Marcos.
Submitted March 16, 2006. Published July 10, 2006.
Supported by grants 10571111 from the National Natural Science and Y2005A07 from the
natural science of Shandong Province.
1
2
B. YAN
EJDE-2006/74
in [24], by reducing the equation (1.1) to a quasi-linear one, I.Yermachenko and
F.Sadyrbaev obtained the existence of multiple solutions for equation (1.1) also.
Up to now, there are fewer results on the existence of multiple positive solutions
to equation (1.1), (1.2) if f (t, x, px0 ) is singular at x and is related to px0 . Motivated
by this, in this paper, we discuss the existence of multiple positive solutions to
equation (1.1), (1.2) when f (t, x, px0 ) is singular at x = 0.
There are three sections in our paper. In section 2, in order to overcome the
difficulty from px0 , we improve the Krasnoselskii’s theorem and fixed point theorem
of cone expansion and compression on unbounded set in a Banach space with a
special norm. In section 3, we establish special cones, and using obtained theorems,
present the existence of multiple positive solutions to equation (1.1). In section 4,
we consider the existence of multiple positive solutions to equation (1.2).
2. The improvement of the Krasnoselskii’s theorem and fixed point
theorem of cone expansion and compression
In this section, we improve the Krasnoselskii’s theorem and fixed point theorem
of cone expansion and compression in a Banach space with a special norm.
In [12], Granas and Dugudji presented the theory of fixed point index on unbounded open sets which has same basic properties as those in the theory of fixed
point index on bounded open sets [14]. The degree theory on bounded open sets
and unbounded open sets can be found in [9, 12, 13, 16, 17, 25].
According to the the theory of fixed point index on unbounded open sets in
Chapter 4 of [12], it is easy to obtain following result. Let E be a real Banach
space containing a cone P .
Lemma 2.1. Assume Ω ⊆ E, θ ∈ Ω, Ω ∩ P is a relatively open set in P . Let
A : P ∩ Ω → P be continuous with relatively compact A(P ∩ Ω). Suppose that
Ax 6= µx,
∀x ∈ P ∩ ∂Ω, µ ≥ 1.
(2.1)
Then i(A, P ∩ Ω, P ) = 1.
Proof. Let H(t, x) = tAx, t ∈ [0, 1] and x ∈ P ∩ ∂Ω. Then H : [0, 1] × (P ∩ Ω) → P
is continuous, and the continuity of H(t, x) in t is uniform with respect to x ∈
P ∩ Ω. Moreover, H(t, P ∩ Ω) is relatively compact for every t ∈ [0, 1]. Evidently,
H(t, x) 6= x for x ∈ P ∩ ∂Ω and 0 ≤ t ≤ 1. Hence, by the homotopy invariance and
normality of fixed point index, we have
i(A, P ∩ Ω, P ) = i(θ, P ∩ Ω, P ) = 1.
The proof is complete.
Now we consider a real Banach space in a special case. Assume that E is a linear
space and it satisfies three conditions:
(1) There is a norm x → kxk1 on x ∈ E and under k · k1 , E is a normed linear
space (not complete)
(2) There is another semi-norm k · k2
(3) Under kxk = max{kxk1 , kxk2 }, E is a Banach space.
For example, for x ∈ C 1 ([0, 1], R), under kxk1 = maxt∈[0,1] |x(t)|, C 1 ([0, 1], R) is an
incomplete normed linear space. Let kxk2 = maxt∈[0,1] |x0 (t)|. Obviously, k · k2 is
a semi-norm of C 1 ([0, 1], R). If we define kxk = max{kxk1 , kxk2 }, C 1 ([0, 1], R) is a
Banach space.
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
3
Assume that P is a cone of E and Ω ⊂ E is a open set with supx∈Ω kxk1 < +∞.
Since supx∈Ω kxk1 ≤ supx∈Ω kxk, it is possible that Ω is unbounded in E. We have
the following lemma(the ideas coming from [14]).
Lemma 2.2. With E and P as above, assume that Ω ⊆ E is an open set with
supx∈Ω kxk1 < +∞. Let A : P ∩ Ω → P be continuous with relatively compact
A(P ∩ Ω) and B : P ∩ ∂Ω → P be continuous with relatively compact B(P ∩ ∂Ω).
Suppose that
(a) inf x∈P ∩∂Ω kBxk1 > 0;
(b) x − Ax 6= tBx, for all x ∈ P ∩ ∂Ω, t ≥ 0.
Then, we have
i(A, P ∩ Ω, P ) = 0.
(2.2)
Proof. Suppose that the E1 is a Banach space completion of E under norm kxk1 . By
the extension theorem of Dugundji [10], we can extend B to a continuous operator
from P ∩ Ω into P such that
B(P ∩ Ω) ⊆ coB(P ∩ ∂(Ω)) ⊆ (coB(P ∩ ∂Ω))1 ,
(2.3)
where (coB(P ∩ ∂Ω))1 is the closure of B(P ∩ ∂Ω) under the norm k · k1 and the
followings are similar. Let F = B(P ∩ ∂Ω), then (coB(P ∩ ∂Ω))1 = (coF )1 = (M )1 ,
where
n
n
X
X
M = {y =
λi yi : yi ∈ F, λi ≥ 0,
λi = 1; n = 1, 2, . . . }.
i=1
i=1
We first prove
kyk1 > 0.
inf
(2.4)
y∈(M )1
Denote by E0 the subspace of E spanned by F under norm k · k1 . Since B(P ∩ ∂Ω)
is relatively compact in E under norm k · k, we know that B(P ∩ ∂Ω) is relatively
compact in E1 under norm k·k1 . Therefore, E0 is separable. Evidently, P0 = P ∩E0
is a cone of E0 and F ⊆ P0 . By property of the cone [14, Theorem 1.4.1], there
exists f0 ∈ E0∗ such that f0 (y) > 0 for any y ∈ P0 with y 6= θ. We claim that
inf f0 (y) = σ > 0.
y∈F
(2.5)
In fact, if σ = 0, then there exists {yk } ⊆ F such that f0 (yk ) → 0. By the
relative compactness of F in E, there is a subsequence {yki } of {yk } such that
yki → y0 ∈ P and y0 ∈ E0 . Then y0 ∈ P0 , and so f0 (yki ) → f0 (y0 ) = 0. Hence,
y0 = θ and kykiP
k1 → 0, which contradicts hypothesis (a). P
Thus, (2.5) holds.
n
n
For any y = i=1 λi yi ∈ M , where yi ∈ F , λi ≥ 0 and i=1 λi = 1, we have
f0 (y) =
n
X
λi f0 (yi ) ≥
i=1
n
X
λi σ = σ,
i=1
and therefore
f0 (y) ≥ σ, ∀y ∈ (M )1 .
(2.6)
Since (M )1 = (coF )1 is compact, there exists a z0 ∈ (M )1 such that
inf
y∈(M )1
kyk1 = kz0 k1 .
(2.7)
4
B. YAN
EJDE-2006/74
By (2.6), f0 (z0 ) ≥ σ, and this implies that z0 6= θ. It follows therefore from (2.7)
that (2.4) holds. By (2.3) and (2.4), we get
inf kBxk1 = σ > 0.
(2.8)
x∈P ∩Ω
Now, it is easy to show that (2.2) holds. In fact, if i(A, P ∩ Ω, P ) 6= 0, then by the
hypothesis (b) and the homotopy invariance property of fixed point index, we have
i(A + tB, P ∩ Ω, P ) = i(A, P ∩ Ω, P ) 6= 0, ∀t > 0.
In particular, choosing t0 >
we have
a+c
σ ,
where a = supx∈Ω kxk1 and c = supx∈P ∩Ω kAxk1 ,
i(A + t0 B, P ∩ Ω, P ) 6= 0,
and so, by the solution property of fixed point index, there exists an x0 ∈ P ∩ Ω
such that Ax0 + t0 Bx0 = x0 . Hence
kx0 − Ax0 k1
a+c
t0 =
,
≤
kBx0 k1
σ
which is a contradiction. The proof is complete.
Corollary 2.3. Assume that Ω is an open set with supx∈Ω kxk1 < +∞. Let A :
P ∩ Ω → P be continuous with relatively compact A(P ∩ Ω). If there exists u0 > θ
such that
x − Ax 6= tu0 , ∀x ∈ P ∩ ∂Ω, t ≥ 0,
(2.9)
then (2.2) holds.
Proof. Since k · k1 is a norm, u0 > θ implies that ku0 k1 > 0. Hence, the corollary
follows directly from Lemma 2.2 by putting Bx = u0 for any x ∈ P ∩ ∂Ω.
Corollary 2.4. Assume that Ω is an open set with supx∈Ω kxk1 < +∞. Let A :
P ∩ Ω → P be continuous with relatively compact A(P ∩ Ω). If
Ax 6≤ x,
∀x ∈ P ∩ ∂Ω,
(2.10)
then (2.2) holds.
Proof. Choose an u0 > θ. Then,
x − Ax 6= tu0 , ∀x ∈ P ∩ ∂Ω, t ≥ 0.
By Corollary 2.3, (2.2) holds.
Lemma 2.5. Assume that Ω is an open set with supx∈Ω kxk1 < +∞. Let A :
P ∩ Ω → P be continuous with relatively compact A(P ∩ Ω). Suppose that
(i) inf x∈P ∩∂Ω kAxk1 > 0; and
(ii) Ax 6= µx, ∀x ∈ P ∩ ∂Ω, 0 < µ < 1.
Then (2.2) holds.
Proof. Taking B = A in Lemma 2.2, we see that condition (a) of Lemma 2.2 is
the same as condition (i) of Lemma 2.5. Also, condition (b) of Lemma 2.2 is true.
In fact, if there exist x0 ∈ P ∩ ∂Ω and t0 ≥ 0 such that x0 − Ax0 = t0 Ax0 , then
Ax0 = µx0 , where µ0 = (1 + t0 )−1 . Evidently 0 < µ0 ≤ 1, which contradicts the
condition (ii). Thus, (2.2) follows from Lemma 2.2.
Lemma 2.6. Assume that Ω is an open set with supx∈Ω kxk1 < +∞. Let A :
P ∩ Ω → P be continuous with relatively compact A(P ∩ Ω). Suppose that
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
5
(i’) Ax 6= µx, ∀x ∈ P ∩ ∂Ω, 0 ≤ µ ≤ 1, and
(ii’) the set {kAxk−1
1 Ax|x ∈ P ∩ ∂Ω} is relatively compact.
Then (2.2) holds.
Proof. Let A1 x = α(kAxk1 )−1 Ax for x ∈ P ∩∂Ω, where α = supx∈P ∩∂Ω kAxk1 > 0.
Then, by hypotheses, A1 : P ∩ ∂Ω → P is continuous with relatively compact
A1 (P ∩∂Ω). By the extension theorem, A1 can be extended to a continuous operator
from P ∩Ω into P with relatively compact A1 (P ∩Ω). We now prove that A1 satisfies
the condition (i) and (ii) of Lemma 2.5. In fact, first we have
inf
x∈P ∩∂Ω
kA1 xk1 = σ > 0.
Secondly, if there exists x0 ∈ P ∩ ∂Ω and 0 < µ0 ≤ 1 such that A1 x0 = µ0 x0 ,
then Ax0 = λ0 x0 , where λ0 = µ0 α−1 kAx0 k1 . Evidently, 0 < λ0 ≤ µ0 ≤ 1, which
contradicts hypothesis (i’). Hence, by Lemma 2.5, we have
i(A1 , P ∩ Ω, P ) = 0.
(2.11)
(1 − t)Ax + tA1 x 6= x, ∀x ∈ P ∩ ∂Ω, 0 ≤ t ≤ 1.
(2.12)
Now, we prove
If there is an x1 ∈ P ∩∂Ω and a 0 ≤ t1 ≤ 1 such that (1−t1 )Ax1 +t1 A1 x1 = x1 , then
Ax1 = µ1 x1 , where µ1 = [1 + t1 (α/kAx1 k1 − 1)]−1 , 0 ≤ µ1 ≤ 1, in contradiction
with hypothesis (i’). Hence, by (2.11), (2.12) and the homotopy invariance of fixed
point index, we get
i(A, P ∩ Ω, P ) = i(A1 , P ∩ Ω, P ) = 0.
The proof is complete.
Theorem 2.7. Let Ω1 and Ω2 be two open in E such that θ ∈ Ω1 and Ω1 ⊆ Ω2
with supt∈Ω2 kxk1 < +∞. Let A : P ∩ (Ω2 − Ω1 ) → P be continuous with relatively
compact A(P ∩ (Ω2 − Ω1 )). Suppose that one of the two conditions
(H1) Ax 6≥ x, ∀x ∈ P ∩ ∂Ω1 and Ax 6≤ x, ∀x ∈ P ∩ ∂Ω2 ,
(H2) Ax 6≤ x, ∀x ∈ P ∩ ∂Ω1 and Ax 6≥ x, ∀x ∈ P ∩ ∂Ω2
is satisfied. Then A has at least one fixed point in P ∩ (Ω2 − Ω1 ).
Proof. By the extension theorem (Dugundji [10]), A has a completely continuous
extension (also noted by A) from P ∩ Ω2 from P ∩ Ω2 to P . First we assume that
(H1) is satisfied, i.e., it is the case of cone expansion. It is easy to see that
Ax 6= µx,
∀x ∈ P ∩ ∂Ω1 , µ ≥ 1,
(2.13)
since, otherwise, there exists x0 ∈ P ∩ ∂Ω1 and µ0 ≥ 1 such that Ax0 = µ0 x0 ≥ x0 ,
in contradiction with (H1). Now, from (2.1) and Lemma 2.1, we obtain
i(A, P ∩ Ω1 , P ) = 1.
(2.14)
On the other hand, by Corollary 2.4, we have
i(A, P ∩ Ω2 , P ) = 0.
(2.15)
It follows therefore from (2.14) and (2.15) and additivity property of fixed point
index that
i(A, P ∩ (Ω2 − Ω1 ), P ) = i(A, P ∩ Ω2 , P ) − i(A, P ∩ Ω1 , P ) = −1 6= 0.
(2.16)
6
B. YAN
EJDE-2006/74
Hence, by the solution property of fixed point index, A has at least one fixed point
in P ∩ (Ω2 − Ω1 ).
Similarly, when (H2) is satisfied, instead of (2.14), (2.15), we have i(A, P ∩
Ω2 , P ) = 1, and i(A, P ∩ (Ω2 − Ω1 ), P ) = 1. As a result we also can assert that A
has at least one fixed point in P ∩ (Ω2 − Ω1 ). The proof is complete.
We remark that this theorem improves [14, theorem 2.3.3] because the condition
that Ω1 and Ω2 are bounded is not necessary.
Theorem 2.8. Let Ω1 = {x ∈ E|kxk1 < r} and Ω2 = {x ∈ E|kxk1 < R} be two
open in E with r < R. Let A : P ∩ (Ω2 − Ω1 ) → P be continuous with relatively
compact A(P ∩ (Ω2 − Ω1 )). Suppose that one of the two conditions
(H3) kAxk ≤ kxk, for all x ∈ P ∩ ∂Ω1 and kAxk1 ≥ kxk1 , for all x ∈ P ∩ ∂Ω2 ,
(H4) kAxk1 ≥ kxk1 , for all x ∈ P ∩ ∂Ω1 and kAxk ≤ kxk, for all x ∈ P ∩ ∂Ω2
is satisfied. Then A has at least one fixed point in P ∩ (Ω2 − Ω1 ).
Proof. We only need to prove this theorem under condition (H3), since the proof
is similar when (H4) is satisfied. By the extension theorem, A can be extended to
a continuous operator from P ∩ Ω2 into P with relatively compact A(P ∩ Ω2 ). We
may assume that A has no fixed points on P ∩ ∂Ω1 and P ∩ ∂Ω2 . It is easy to see
that (2.13) holds, since otherwise, there exist x0 ∈ P ∩ ∂Ω1 and µ0 > 1 such that
Ax0 = µ0 x0 and hence kAx0 k = µ0 kx0 k > kx0 k, in contradiction with (H3). Thus,
by (2.13), Lemma 2.1, (2.14) holds.
On the other hand, it is also easy to verify
Ax 6= µx, ∀x ∈ P ∩ ∂Ω2 , 0 < µ < 1.
(2.17)
In fact, if there are x1 ∈ P ∩ ∂Ω2 and 0 < µ1 < 1 such that Ax1 = µ1 x1 , then
kAx1 k1 = µ1 kx1 k1 < kx1 k1 ,
in contradiction with (H3). In addition, by (H3) we have
inf
x∈P ∩∂Ω2
kAxk1 ≥ inf kxk1 > 0.
x∈∂Ω2
(2.18)
It follows from (2.17), (2.18) and Lemma 2.5 that (2.15) holds. As before, (2.14) and
(2.15) imply (2.16), and therefore A has at least one fixed point in P ∩(Ω2 −Ω1 ). We remark that this theorem improves the the Krasnoselskii’s theorem in [14]
because the condition that Ω1 and Ω2 are bounded is not necessary.
3. The existence of multiple positive solutions to equation (1.1)
In this section, we consider (1.1) and suppose that f ∈ C([0, 1]×R0+ ×R, R+ ), p ∈
R1 1
C([0, 1], R) ∩ C((0, 1), R0+ ) ∩ C 1 ((0, 1), R) with 0 p(r)
dr < +∞, Φ ∈ C((0, 1), R0+ )
and α ≥ 0, β ≥ 0 (not equal to 0 at the same time); here R+ = [0, +∞), R0+ =
(0, +∞), R = (−∞, +∞). Let
Z 1
1
ρ2 = β + α
dr (ρ > 0),
p(r)
0
Z
Z t
1 1 1
1
1
u1 (t) =
dr, v1 (t) = (β + α
dr),
ρ t p(r)
ρ
p(r)
0
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
7
(
u1 (t)v1 (s)p(s), 0 ≤ s ≤ t ≤ 1
G1 (t, s) =
v1 (t)u1 (s)p(s), 0 ≤ t ≤ s ≤ 1.
Assume that Cp1 [0, 1] = {x : [0, 1] → R| x(t) is continuous on [0, 1] and p(t)x0 (t) is
continuous on [0, 1] also with maxt∈[0,1] p(t)|x0 (t)| < +∞} (see [21]). For x ∈ Cp1 , let
kxk1 = maxt∈[0,1] |x(t)|, kxk2 = maxt∈[0,1] p(t)|x0 (t)| and kxk = max{kxk1 , kxk2 }.
It is easy to see that Cp1 satisfies the conditions (1), (2) and (3) of the Banach space
E in section 2.
Obviously, x(t) ∈ Cp1 is a solution to equation (1.1) if and only if x(t) is a solution
of the following integral equation
Z 1
G1 (t, s)Φ(s)f (s, x(s), p(s)x0 (s))ds, t ∈ [0, 1].
x(t) =
0
Let P = {x ∈
t ∈ [0, 1].
Cp1 |x(t)
1
≥ γ1 (t)kxk1 }, where γ1 (t) = u1 (t)v1 (t) u1 (0)v
for all
1 (1)
Lemma 3.1. Assume that l ∈ L1 [0, 1] with l(t) > 0 for all t ∈ (0, 1) and q(t) =
R1
G1 (t, s)l(s)ds, t ∈ [0, 1]. Then
0
q(t) ≥ γ1 (t) max q(s).
s∈[0,1]
Proof. Suppose q(t0 ) = maxs∈[0,1] q(s). Then
 v (t)u (s)p(s)
1
1


u1 (t0 )v1 (s)p(s) , 0 ≤ t ≤ s ≤ t0 ≤ 1

 u1 (t)v1 (s)p(s)

, 0 ≤ t0 ≤ s ≤ t ≤ 1
G1 (t, s)
0 )u1 (s)p(s)
= vv11(t(t)u
1 (s)p(s)
G1 (t0 , s) 
 v1 (t0 )u1 (s)p(s) , 0 ≤ t, t0 ≤ s ≤ 1


 u1 (t)v1 (s)p(s) , 0 ≤ s ≤ t, t ≤ 1
0
u1 (t0 )v1 (s)p(s)

u1 (s)
1

u1 (t)v1 (t) u1 (t0 ) v1 (s)u
, 0 ≤ t ≤ s ≤ t0 ≤ 1

1 (t)


v
(s)
1
u (t)v (t) 1
,
0 ≤ t0 ≤ s ≤ t ≤ 1
1
1
v1 (t0 ) u1 (s)v1 (t)
=
1

0 ≤ t, t0 ≤ s ≤ 1
u1 (t)v1 (t) u1 (t)v1 (t0 ) ,


u (t)v (t)
1
0 ≤ s ≤ t, t0 ≤ 1
1
1
u1 (t0 )v1 (t) ,

1

u1 (t)v1 (t) v1 (1)u
, 0 ≤ t ≤ s ≤ t0 ≤ 1

1 (0)


1
u (t)v (t)
1
1
u1 (0)v1 (1) , 0 ≤ t0 ≤ s ≤ t ≤ 1
≥
1

u
(t)v
(t)
1
1

u1 (0)v1 (1) , 0 ≤ t, t0 ≤ s ≤ 1


u (t)v (t)
1
, 0 ≤ s ≤ t, t ≤ 1
1
1
0
u1 (0)v1 (1)
= γ1 (t).
As a consequence,
Z
q(t) =
1
Z
G1 (t, s)l(s)ds =
0
0
Z
≥ γ1 (t)
1
G1 (t, s)
G1 (t0 , s)l(s)ds
G1 (t0 , s)
1
G1 (t0 , s)l(s)ds = γ1 (t) max q(s).
0
The proof is complete.
Now we will list some conditions for convenience:
s∈[0,1]
8
B. YAN
EJDE-2006/74
(H1) There exists a k ∈ C([0, 1], R0+ ), a g ∈ C(R0+ , R0+ ) and a decreasing continuous function h ∈ C(R0+ , R0+ ) such that
∀x ∈ R0+ , z ∈ R, t ∈ [0, 1],
R1
g(x)
where h(x)
is an increasing function and 0 p(s)Φ(s)k(s)h(cγ1 (s))ds < +∞
for each c > 0;
f (t, x, z) ≤ k(t)g(x),
(H2)
ch(c)
sup
c∈R0+
u1 (0)v1 (1)
R1
0
> 1;
p(s)Φ(s)k(s)h(cγ1 (s))dsg(c)
(H3) There exists a k1 ∈ C([0, 1], R0+ ) and a g1 ∈ C(R0+ , R0+ ) with f (t, x, z) ≥
k1 (t)g1 (x), for all (t, x, z) ∈ [0, 1] × R0+ × (−∞, +∞) such that
lim
x→+∞
g1 (x)
= +∞,
x
R1
where 0 p(s)Φ(s)k1 (s)ds < +∞;
(H4) For any c > 0, there exists a ψc ∈ C([0, 1], R0+ ) such that f (t, x, z) ≥ ψc (t)
R1
for all (t, x, z) ∈ [0, 1] × (0, c] × (−∞, +∞) with 0 p(s)Φ(s)ψc (s)ds < +∞.
For given n ∈ {1, 2, . . . }, let fn (t, x, z) = f (t, max{ n1 , x}, z) and for x ∈ P , define
Z 1
(An x)(t) =
G1 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds, n ∈ {1, 2, . . . }, t ∈ [0, 1].
0
(3.1)
Lemma 3.2. Assume the condition (H1) holds. Then, for every n ∈ {1, 2, . . . },
An : P → P is continuous and for any r > 0 and Br = {x ∈ Cp1 |kxk1 ≤ r},
An (P ∩ Br ) is relatively compact.
Proof. First, for a given n ∈ {1, 2, . . . }, we show that An P ⊆ P . For any x ∈ P ,
we have
Z
1
|(An x)(t)| = G1 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
Z
0
1
≤
0
Z
1
G1 (t, s)Φ(s)f (s, max{ , x(s)}, p(s)x0 (s))ds
n
1
1
G1 (t, s)Φ(s)k(s)g(max{ , x(s)})ds
n
0
Z 1
g(max{ n1 , x(s)})
1
≤
G1 (t, s)Φ(s)k(s)h(max{ , x(s)})
ds
n
h(max{ n1 , x(s)})
0
Z 1
1 g(max{ n1 , kxk1 })
≤
G1 (t, s)Φ(s)k(s)dsh( )
n h(max{ n1 , kxk1 })
0
< +∞
≤
and
Z
1 t
|p(t)(An x) (t)| = | −
v1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
ρ 0
Z
α 1
+
u1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds|
ρ t
0
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
≤
K
ρ
1
Z
0
Z
9
1
p(s)Φ(s)f (s, max{ , x(s)}, p(s)x0 (s))ds
n
1
1
p(s)Φ(s)k(s)g(max{ , x(s)})ds
n
0
Z
g(max{ n1 , x(s)})
1
K 1
p(s)Φ(s)k(s)h(max{ , x(s)})
ds
≤
ρ 0
n
h(max{ n1 , x(s)})
Z
K 1
1 g(max{ n1 , kxk1 })
≤
p(s)Φ(s)k(s)dsh( )
ρ 0
n h(max{ n1 , kxk1 })
< +∞,
K
≤
ρ
where K = max{αu1 (0), v1 (1)} and the following is same as before. Then, An is
well defined. Moreover, from Lemma 3.1, for any x ∈ P , we have
(An x)(t) ≥ γ1 (t) max |(An x)(s)| = γ1 (t)kAn xk1 ,
∀t ∈ [0, 1].
s∈[0,1]
Consequently, An P ⊆ P .
Second, we show An : P → P is continuous. Assume that limm→+∞ xm =
x0 , which means there exists an M > 1/n such that kxm k ≤ M , for all m ∈
{0, 1, 2, . . . }. Then
1
fn (t, xm (t), p(t)x0 m (t)) ≤ k(t)g(max{ , xm (t)})
n
g(max{ n1 , xm (t)})
1
= k(t)h(max{ , xm (t)})
n
h(max{ n1 , xm (t)})
1 g(M )
, m ∈ {1, 2, . . . }.
≤ k(t)h( )
n h(M )
Since
fn (t, xm (t), p(t)x0m (t)) → fn (t, x0 (t), p(t)x00 (t)),
as m → +∞,
from (3.2), the Lesbegue Dominated Convergence Theorem guarantees
max |(An xm )(t) − (An x0 )(t)|
lim
m→+∞ t∈[0,1]
Z
=
lim
max |
m→+∞ t∈[0,1]
Z
1
G1 (t, s)Φ(s)fn (s, xm (s), p(s)x0m (s))ds
0
1
−
G1 (t, s)Φ(s)fn (s, x0 (s), p(s)x00 (s))ds|
0
Z
1
G1 (t, s)Φ(s)fn (s, xm (s), p(s)x0m (s))
m→+∞ t∈[0,1] 0
− fn (s, x0 (s), p(s)x00 (s))ds
Z 1
≤ lim u1 (0)v1 (1)
p(s)Φ(s)fn (s, xm (s), p(s)x0m (s))
m→+∞
0
− fn (s, x0 (s), p(s)x00 (s))ds = 0
≤
lim
max
and
lim
max |p(t)(An xm )0 (t) − p(t)(An x0 )0 (t)|
m→+∞ t∈[0,1]
(3.2)
10
B. YAN
EJDE-2006/74
1Z t
v1 (s)p(s)Φ(s)[fn (s, xm (s), p(s)x0m (s))
max −
m→+∞ t∈[0,1]
ρ 0
Z
α 1
0
− fn (s, x0 (s), p(s)x0 (s))]ds +
u1 (s)p(s)Φ(s)[fn (s, xm (s), p(s)x0m (s))
ρ t
− fn (s, x0 (s), p(s)x00 (s))]ds
Z
K 1
≤ lim
p(s)Φ(s)fn (s, xm (s), p(s)x0m (s)) − fn (s, x0 (s), p(s)x00 (s))ds
m→+∞ ρ 0
= 0,
=
lim
which mean that
lim kAn xm − An x0 k = 0.
m→+∞
Finally, we show An (Br ∩ P ) is relatively compact. Obviously, Br is an unbounded
set in Cp1 . Without loss of generality, we suppose r > 1/n. Then, for any x ∈ Br ∩P ,
we have
Z 1
max |(An x)(t)| = max |
G1 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds|
t∈[0,1]
t∈[0,1]
Z
0
1
G1 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
= max
t∈[0,1]
0
Z
1
≤ max
t∈[0,1]
0
Z
g(max{ n1 , x(s)})
1
G1 (t, s)Φ(s)k(s)h(max{ , x(s)})
ds
n
h(max{ n1 , x(s)})
1
1 g(r)
G1 (t, s)Φ(s)k(s)dsh( )
n
h(r)
0
Z 1
1 g(r)
≤ u1 (0)v1 (1)
p(s)Φ(s)k(s)dsh( )
n
h(r)
0
≤ max
t∈[0,1]
and
Z
1 t
max |p(t)(An x) (t)| = max | −
v1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
ρ 0
t∈[0,1]
t∈[0,1]
Z
α 1
u1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds|
+
ρ t
Z
K 1
≤
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
ρ 0
Z
g(max{ n1 , x(s)})
K 1
1
≤
p(s)Φ(s)k(s)h(max{ , x(s)})
ds
ρ 0
n
h(max{ n1 , x(s)})
Z
K 1
1 g(r)
≤
p(s)Φ(s)k(s)dsh( )
,
ρ 0
n h(r)
0
which means that An (Br ∩ P ) is bounded. Assume that t, t0 ∈ [0, 1]. Then, for
x ∈ Br ∩ P , we have
Z 1
0
|(An x)(t) − (An x)(t )| = |
G1 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
0
Z
−
0
1
G1 (t0 , s)Φ(s)fn (s, x(s), p(s)x0 (s))ds|
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
Z
11
1
|G1 (t, s) − G1 (t0 , s)|Φ(s)fn (s, x(s), p(s)x0 (s))ds
≤
0
Z
≤
0
1
1 g(r)
|G1 (t, s) − G1 (t0 , s)|Φ(s)k(s)dsh( )
n h(r)
and
|p(t)(An x)0 (t) − p(t0 )(An x)0 (t0 )|
Z
1 t
v1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
=|−
ρ 0
Z 0
1 t
+
v1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
ρ 0
Z
α 1
+
u1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
ρ t
Z
α 1
−
u1 (s)p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds|
ρ t0
Z t0
K
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))|ds
≤2 |
ρ t
Z t0
1 g(r)
K
p(s)Φ(s)k(s)ds|h( )
.
≤2 |
ρ t
n h(r)
Then, for any ε > 0, we can choose δ > 0 small enough such that
|(An x)(t) − (An x)(t0 )| < ε,
|p(t)(An x)0 (t) − p(t0 )(An x)0 (t0 )| < ε,
for all x ∈ Br ∩ P , |t − t0 | < δ, t, t0 ∈ [0, 1]. Consequently, {(An (Br ∩ P ))(t)} and
{p(t)(An (Br ∩ P ))0 (t)} is equicontinuous on [0, 1].
Consequently, from Arzela-Ascoli theorem, An (Br ∩ P ) is relatively compact.
The proof is complete.
Theorem 3.3. Assume that (H1)–(H4) hold. Then (1.1) has at least two positive
solutions.
Proof. From Lemma 3.2, for each n ∈ {1, 2, . . . }, An : P → P is continuous operator
and for any r > 0, An (Br ∩ P ) is relatively compact. From (H2), choose R0 > 0
such that
R0 h(R0 )
> 1.
(3.3)
R1
u1 (0)v1 (1) 0 p(s)Φ(s)k(s)h(R0 γ1 (s))dsg(R0 )
Without loss of the generality, suppose R0 ≥ 1/n, n ∈ {1, 2, . . . }. Set
Ω1 = {x ∈ Cp1 |kxk1 < R0 }.
Then for any x ∈ ∂Ω1 ∩ P , one has
x 6≤ An x, n ∈ {1, 2, . . . }.
If there exists an x0 ∈ ∂Ω1 ∩ P such that x0 ≤ An x0 , obviously,
x0 (t) ≥ γ1 (t)R0 . Then
R0 = max |x0 (t)|
t∈[0,1]
Z
≤ max
t∈[0,1]
0
1
1
G1 (t, s)Φ(s)f (s, max{ , x0 (s)}, p(s)x0 0 (s))ds
n
(3.4)
max{ n1 , x0 (t)}
≥
12
B. YAN
Z
EJDE-2006/74
1
1
p(s)Φ(s)k(s)g(max{ , x0 (s)})ds
n
0
Z 1
g(max{ n1 , x0 (s)})
1
≤ u1 (0)v1 (1)
p(s)Φ(s)k(s)h(max{ , x0 (s)})
)ds
n
h(max{ n1 , x0 (s)})
0
Z 1
g(R0 )
p(s)Φ(s)k(s)h(R0 γ1 (s))ds
≤ u1 (0)v1 (1)
h(R0 )
0
≤ u1 (0)v1 (1)
which implies
R0 h(R0 )
u1 (0)v1 (1)
R1
0
≤ 1.
Φ(s)k(s)h(R0 γ1 (s))dsg(R0 )
This contradicts (3.3). Then, (3.4) is true. From the proof of Theorem 2.7, the
(2.13) is true, which means
i(An , P ∩ Ω1 , P ) = 1,
n ∈ {1, 2, . . . }.
(3.5)
(1)
(1)
(1)
As a result, for n ∈ {1, 2, . . . }, there exists an xn ∈ P ∩ Ω1 with An xn = xn .
(1)
(1)
(1)
Since kxn k1 ≤ R0 , n ∈ {1, 2, . . . }, it is easy to see that {xn (t)} and {p(t)x0 n (t)}
are uniformly bounded. Moreover, from Lemma 3.1, the condition (H4), there exists
a ψR0 (t) such that
Z 1
1
0
x(1)
(t)
=
G1 (t, s)Φ(s)f (s, max{ , x(1)
(s)}, p(s)(x(1)
n
n ) (s))ds
n n
0
Z 1
(3.6)
≥
G1 (t, s)Φ(s)ψR0 (s)ds
0
≥ γ1 (t)k ∗ ,
R1
where k ∗ = maxt∈[0,1] 0 G1 (t, s)Φ(s)ψR0 (s)ds. Thus, for any t0 , t00 ∈ (0, 1) and
n ∈ {1, 2, . . . },
0
(1) 00
|x(1)
n (t ) − xn (t )|
Z 1
(1) 0
≤
|G1 (t0 , s) − G1 (t00 , s)|fn (s, x(1)
n (s), p(s)(xn ) (s))ds
(3.7)
0
1
Z
|G1 (t0 , s) − G1 (t00 , s)|Φ(s)k(s)h(γ1 (s)k ∗ )ds
≤
0
g(R0 )
,
h(R0 )
and
0 0
00
(1) 0 00
|p(t0 )(x(1)
n ) (t ) − p(t )(xn ) (t )|
00
Z
t
(1) 0
≤ 2
p(s)Φ(s)fn (s, x(1)
n (s), p(s)(xn ) (s))ds
(3.8)
t0
t00
Z
g(R0 )
, n ∈ {1, 2, . . . }.
p(s)Φ(s)k(s)h(γ1 (s)k ∗ )ds
h(R0 )
t0
Consequently, for any ε > 0, we can choose a δ > 0 such that
≤ 2
0
(1) 00
|x(1)
n (t ) − xn (t )| < ε,
0 0
00
(1) 0 00
|p(t0 )(x(1)
n ) (t ) − p(t )(xn ) (t )| < ε,
(1)
for all n ∈ {1, 2, . . . }, |t0 − t00 | < δ, t0 , t00 ∈ [0, 1], which implies that {xn (t)} and
(1)
{p(t)(xn )0 (t)} are equi-continuous on [0, 1].
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
13
(1)
The Arzela-Ascoli theorem guarantees that there is a subsequence {xnj } of
(1)
(1)
with limj→+∞ xnj = x0 . From (3.6), we have
(1)
{xn }
x0 (t) ≥ k ∗ γ1 (t),
∀t ∈ [0, 1].
Then, for t ∈ (0, 1), if j is big enough, we have
(1)
(1)
(1) 0
0
|fnj (t, x(1)
nj (t), p(t)(xnj ) (t)) − f (t, x0 (t), p(t)(x0 ) (t))|
(1)
(1)
(1) 0
0
= |f (t, x(1)
nj (t), p(t)(xnj ) (t)) − f (t, x0 (t), p(t)(x0 ) (t))| → 0,
as j → +∞
and
1 (1)
0
, x (t)}, p(t)(x(1)
nj ) (t))
n j nj
g(R0 )
.
≤ k(t)h(k ∗ γ1 (t))
h(R0 )
(1) 0
fnj (t, x(1)
nj (t), p(t)(xnj ) (t)) = f (t, max{
(3.9)
Then the Lesbegue Dominated Convergence Theorem guarantees that
(1)
x0 (t) = lim x(1)
nj (t)
j→+∞
Z 1
1
0
= lim
G1 (t, s)Φ(s)f (s, max{ , x(1)
(s)}, p(s)(x(1)
nj ) (s))ds
j→+∞ 0
n j nj
Z 1
(1)
(1)
=
G1 (t, s)Φ(s)f (s, x0 (s), p(s)(x0 )0 (s))ds.
(3.10)
0
(1)
kx0 k1
∗
(1)
Obviously
≤ R0 . Thus (3.3) can guarantee kx0 k1 < R0 . Let 0 < a∗ <
b∗ < 1, and 0 < c < mint∈[a∗ ,b∗ ] γ1 (t). Suppose
Z b∗
−1
∗
N∗ =
min
G
(t,
s)Φ(s)k
(s)dsc
+ 1.
1
1
∗ ∗
t∈[a ,b ]
a∗
From the condition (H3), there exists an R0 > R such that
g1 (x) > N ∗ x, ∀x ≥ R0 .
(3.11)
Now we define
R0
Ω2 = {x ∈ kxk1 < ∗ }.
c
R0
0
We might as well suppose that c∗ > 1, R > 1. Then we have
An x 6≤ x for all x ∈ ∂Ω2 ∩ P, n ∈ {1, 2, . . . }.
(3.12)
(3.13)
Otherwise, suppose there exists x0 ∈ ∂Ω2 ∩P with An x0 ≤ x0 . Since x0 ∈ ∂(Ω2 )∩P ,
min
x0 (t) ≥
∗ ∗
t∈[a ,b ]
min
γ1 (t)kxk1 > c∗
∗ ∗
t∈[a ,b ]
R0
= R0 > 1.
c∗
Then, for t ∈ [a∗ , b∗ ], from (3.11) and (3.14), we have
x0 (t) ≥ (An x0 )(t)
Z 1
=
G1 (t, s)Φ(s)fn (s, x0 (s), p(s)x00 (s))ds
0
Z
b∗
≥
a∗
1
G1 (t, s)Φ(s)f (s, max{ , x0 (s)}, p(s)x00 (s))ds
n
(3.14)
14
B. YAN
Z
b∗
≥
a∗
Z
EJDE-2006/74
1
G1 (t, s)Φ(s)k1 (s)g1 (max{ , x0 (s)})ds
n
b∗
>
a∗
Z b∗
>
G1 (t, s)Φ(s)k1 (s)N ∗ x0 (s)ds
G1 (t, s)Φ(s)k1 (s)dsN ∗ c∗
a∗
R0
> ∗,
c
R0
c∗
∀n ∈ {1, 2, . . . }
which implies kx0 k1 > R0 /c∗ . This contradicts to x0 ∈ P ∩ ∂Ω2 .
From (3.4) and (3.13), the Theorem 2.7 guarantees that An has a fixed point
(2)
xn ∈ (Ω2 − Ω1 ) ∩ P , n ∈ {1, 2, . . . }. It is easy to see that
(2)
x(2)
n (t) ≥ γ1 (t)kxn k1 ≥ γ1 (t)R0 ,
n ∈ {1, 2, . . . }.
(3.15)
(2)
By proof similar to (3.6), (3.7), (3.8), we know that {xn } is relatively compact
(2)
(2)
(2)
(2)
in Cp1 . Then there exists a subsequence {xni } of {xn } with limi→+∞ xni = x0 .
(2)
And moreover, by similar proof as (3.10), we get x0 (t) is a positive solution to
0
(2)
equation (1.1) with R
c∗ > kx0 k1 > R0 . Consequently, equation (1.1) has at least
(1)
(2)
two different positive solution x0 (t) and x0 (t). The proof is complete.
Example 3.4. Now we consider
x00 +
1 −1/2
t
(1 − t)−1/4 (x−1/4 + x2 )(1 + cos2 (x0 )) = 0,
16
lim x0 (t) = 0 = x(1).
t ∈ (0, 1)
(3.16)
t→0+
Then (3.16) has at least two positive solutions.
To prove that (3.16) has at least two positive solutions, we apply Theorem 3.3
1 −1/2
with Φ(t) = 16
t
(1 − t)−1/4 , p(t) ≡ 1, f (t, x, z) = (x−1/4 + x2 )(1 + cos2 (z)),
k(t) ≡ 1, g(x) = 2(x−1/4 + x2 ), h(x) = x−1/4 , γ1 (t) = 1 − t, k1 (t) ≡ 1, g1 (x) =
x−1/4 + x2 , Ψc (t) = c−1/4 . It is easy to verify that (H1)–(H4) hold. Hence, (3.16)
has at leat two positive solutions.
Example 3.5. Now we consider
x00 +
1 −1/4
t
(1 − t)−1/4 (x−1/4 + x2 )(π + arctan x0 ) = 0,
12π
x(0) = 0 = x(1).
t ∈ (0, 1)
(3.17)
Then (3.17) has at least two positive solutions.
To prove that (3.17) has at least two positive solutions, we apply Theorem 3.3
1 −1/4
with Φ(t) = 12π
t
(1 − t)−1/4 , p(t) ≡ 1, f (t, x, z) = (x−1/4 + x2 )(π + arctan x0 ),
−1/4
k(t) ≡ 1, g(x) = 3π
+ x2 ), h(x) = x−1/4 , γ1 (t) = t(1 − t), k1 (t) ≡ 1,
2 (x
−1/4
2
g1 (x) = x
+ x , Ψc (t) = c−1/4 . It is easy to verify that (H1)–(H4) hold. Hence,
(3.17) has at leat two positive solutions.
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
15
4. The existence of multiple positive solutions to equation (1.2)
In this section, we consider (1.2) and suppose that f ∈ C(R+ × R0+ × R+ , R+ ),
R +∞ 1
+
+
p ∈ C(R+ , R) ∩ C(R0+ , R0+ ) ∩ C 1 (R0+ , R) with 0
p(r) dr = +∞, Φ ∈ C(R0 , R );
here R+ = [0, +∞), R0+ = (0, +∞), R = (−∞, +∞). Let
(
u2 (t)v2 (s)p(s), a ≤ s ≤ t < +∞
G2 (t, s) =
v2 (t)u2 (s)p(s), 0 ≤ t ≤ s < +∞,
Rt 1
where u2 (t) = 1 and v2 (t) = 0 p(r) dr for all t ∈ R+ .
1
Let C∞
= x : [0, +∞) → R| x(t) is continuous on R+ and p(t)x0 (t) is continuous
x(t)
on R+ also with limt→+∞ 1+v
exists and supt∈[0,+∞) p(t)|x0 (t)| < +∞ . For
2 (t)
1
x ∈ C∞
, let
kxk1 =
sup
t∈[0,+∞)
|x(t)|
1 + v2 (t)
and kxk2 =
sup
p(t)|x0 (t)|.
t∈[0,+∞)
1
1
. Now
and k · k2 is a semi-norm of C∞
It is easy to see that k · k1 is a norm of C∞
1
satisfies (1), (2) and (3) of the Banach
Let kxk = max{kxk1 , kxk2 }. Obviously, C∞
space E in section 2.
1
It is easy to prove that if x(t) ∈ C∞
is a solution to integral equation
Z ∞
x(t) =
G2 (t, s)Φ(s)f (s, x(s), p(s)x0 (s))ds, t ∈ R+ ,
0
then x(t) is a solution to (1.2).
1
|x(t) ≥ γ2 (t)kxk1 , ∀t ∈ R+ }, where
Let P = {x ∈ C∞
(R t
1
dr, t ∈ [0, τ ]
0 p(r)
γ2 (t) =
1,
t ∈ (τ, +∞)
γ
e2 (t) =
γ2 (t)
,
1 + v2 (t)
t ∈ R+ ;
Rτ 1
dr = 1. Suppose that x = (1 + v2 (t))y, t ∈ R+ and F (t, y, z) =
here 0 p(r)
f (t, (1 + v2 (t))y, z) = f (t, x, z).
Now we will list some conditions for convenience:
(H1) There exists a k ∈ C(R+ , R0+ ), a g ∈ C(R0+ , R0+ ) and a decreasing continuous function h ∈ C(R0+ , R0+ ) such that
∀(y, z) ∈ R0+ × R0+ , t ∈ R+ ,
R∞
g(y)
where h(y)
is an increasing function and 0 p(s)Φ(s)k(s)h(cγ̃2 (s))ds < +∞
for each c > 0
F (t, y, z) ≤ k(t)g(y),
(H2)
sup R ∞
c∈R0+
0
ch(c)
>1
p(s)Φ(s)k(s)h(ce
γ2 (s))dsg(c)
(H3) There exists a k1 ∈ C(R+ , R0+ ) and a g1 ∈ C(R0+ , R0+ ) with F (t, y, z) ≥
k1 (t)g1 (y), for all (t, y, z) ∈ [0, +∞) × R0+ × R+ such that
lim
y→+∞
where
R∞
0
g1 (y)
= +∞,
y
p(s)Φ(s)k1 (s)ds < +∞
16
B. YAN
EJDE-2006/74
(H4) for any c > 0, there exists a ψc ∈ C(RR+ , R0+ ) such that F (t, y, z) ≥ ψc (t)
∞
for all (t, y, z) ∈ R+ × (0, c] × R+ with 0 p(s)Φ(s)ψc (s)ds < +∞.
Let Cl = x : R+ → R| x(t) is continuous on R+ and limt→+∞ x(t) exists with
norm kxkl = supt∈[0,+∞) |x(t)|. From [18], we know that Cl is a Banach space and
following theorem is true.
Theorem 4.1 ([18]). Let M ⊆ Cl (R+ , R). Then M is relatively compact in the
space Cl (R+ , R) if the following conditions hold:
(a) M is bounded in Cl
(b) the functions belonging to M are locally equi-continuous on R+ ;
(c) the functions from M are equiconvergent, that is, given ε > 0, there corresponds T (ε) > 0 such that |x(t) − x(+∞)| < ε for any t ≥ T (ε) and
x ∈ M.
1
Theorem 4.2 ([22]). Let M ⊆ C∞
(R+ , R). Then M is relatively compact in
1
+
C∞ (R , R) if the following conditions hold:
1
(a) M is bounded in C∞
;
x(t)
, x ∈ M } and the functions
(b) the functions belonging to {y y(t) = 1+v
2 (t)
0
belonging to {y y(t) = p(t)x (t), x ∈ M } are locally equi-continuous on R+ ;
x(t)
(c) the functions from {y y(t) = 1+v
, x ∈ M } and the functions from
2 (t)
{y y(t) = p(t)x0 (t), x ∈ M } are equi-convergent at +∞.
R +∞
Lemma 4.3 ([22]). Assume that Φ(t) ∈ C(R0+ , R+ ) with 0 p(s)Φ(t)dt < +∞
R∞
and F (t) = 0 G2 (t, s)Φ(s)ds. Then
F (t) ≥ γ2 (t)
F (τ )
,
1 + v2 (τ )
∀t ∈ R+ , τ ∈ R+ ,
and
F (t) ≥ γ2 (t)kF k1 ,
∀t ∈ R+ ,
lim
t→+∞
F (t)
= 0.
1 + v2 (t)
Let fn (t, x, z) = f (t, max{ n1 (1 + v2 (t)), x}, z), n ∈ {1, 2, . . . } and for x ∈ P ,
n ∈ {1, 2, . . . }, t ∈ R+ , define
Z ∞
(An x)(t) =
G2 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds .
(4.1)
0
Lemma 4.4. Assume that the condition (H1) holds. Then for each n ∈ {1, 2, . . . },
1
An : P → P is continuous and for any r > 0 and Br = {x ∈ C∞
|kxk1 ≤ r},
An (P ∩ Br ) is relatively compact for each n ≥ 1.
Proof. First, we show that An P ⊆ P . For any x ∈ P , we have
Z
∞
|(An x)(t)| = G2 (t, s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
Z
0
∞
1
G2 (t, s)Φ(s)f (s, max{ (1 + v2 (s)), x(s)}, p(s)x0 (s))ds
n
Z0 ∞
1
x(s)
=
G2 (t, s)Φ(s)F (s, max{ ,
}, p(s)x0 (s))ds
n
1
+
v2 (s)
0
Z ∞
1
x(s)
≤
G2 (t, s)Φ(s)k(s)g(max{ ,
})ds
n
1
+
v2 (s)
0
≤
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
Z
∞
x(s)
g(max{ n1 , 1+v
})
1
x(s)
2 (s)
G2 (t, s)Φ(s)k(s)h(max{ ,
})
ds
x(s)
n 1 + v2 (s) h(max{ 1 ,
})
∞
1 g(max{ n1 , kxk1 })
G2 (t, s)Φ(s)k(s)dsh( )
n h(max{ n1 , kxk1 })
≤
0
Z
≤
0
17
n 1+v2 (s)
< +∞
and
Z
∞
|p(t)(An x) (t)| =
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
t
Z ∞
1
p(s)Φ(s)f (s, max{ (1 + v2 (s)), x(s)}, p(s)x0 (s))ds
≤
n
Zt ∞
1
x(s)
p(s)Φ(s)F (s, max{ ,
=
}, p(s)x0 (s))ds
n
1
+
v
(s)
2
Zt ∞
x(s)
1
})ds
≤
p(s)Φ(s)k(s)g(max{ ,
n
1
+
v2 (s)
t
x(s)
Z ∞
g(max{ n1 , 1+v
})
1
x(s)
2 (s)
≤
p(s)Φ(s)k(s)h(max{ ,
})
ds
x(s)
n 1 + v2 (s) h(max{ 1 ,
t
n 1+v2 (s) })
Z ∞
1 g(max{ n1 , kxk1 })
≤
p(s)Φ(s)k(s)dsh( )
n h(max{ n1 , kxk1 })
0
< +∞.
0
Since (An x)(t) ≥ 0, it is easy to see that An is well defined. Moreover, from Lemma
4.3, for any x ∈ P , we have
(An x)(t) ≥ γ2 (t)kAn xk1 ,
∀t ∈ R+ .
Consequently, An P ⊆ P .
Second, we show An : P → P is continuous. Assume that limm→+∞ xm =
x0 , which means there exists an M > 1/n such that kxm k ≤ M , for all m ∈
{0, 1, 2, . . . }. Then
1 xm (t)
fn (t, xm (t), p(t)x0 m (t)) = F (t, max{ ,
}, p(t)x0m (t))
n 1 + v2 (t)
1 xm (t)
})
≤ k(t)g(max{ ,
n 1 + v2 (t)
xm (t)
g(max{ n1 , 1+v
})
1 xm (t)
2 (t)
≤ k(t)h(max{ ,
})
n 1 + v2 (t) h(max{ 1 , xm (t) })
n 1+v2 (t)
1 g(M )
≤ k(t)h( )
,
n h(M )
m ∈ {1, 2, . . . }.
Since
fn (t, xm (t), p(t)x0m (t)) → fn (t, x0 (t), p(t)x00 (t)),
as m → +∞,
from (4.2), the Lesbegue Dominated Convergence Theorem guarantees that
|(An xm )(t) − (An x0 )(t)|
m→+∞ t∈[0,+∞)
1 + v2 (t)
lim
sup
(4.2)
18
B. YAN
Z
EJDE-2006/74
∞
G2 (t, s)
Φ(s)(fn (s, xm (s), p(s)x0m (s))
m→+∞ t∈[0,+∞)
1 + v2 (t)
0
− fn (s, x0 (s), p(s)x00 (s)))ds
Z ∞
G2 (t, s)
≤ lim
sup
Φ(s)|fn (s, xm (s), p(s)x0m (s))
m→+∞ t∈[0,+∞) 0
1 + v2 (t)
=
lim
sup
− fn (s, x0 (s), p(s)x00 (s))|ds
Z ∞
p(s)Φ(s)|fn (s, xm (s), p(s)x0m (s))
= lim
m→+∞
0
− fn (s, x0 (s), p(s)x00 (s))|ds = 0
and
lim
sup
m→+∞ t∈[0,+∞)
=
lim
sup
m→+∞ t∈[0,+∞)
Z
−
≤
|p(t)(An xm )0 (t) − p(t)(An x0 )0 (t)|
Z
∞
p(s)Φ(s)fn (s, xm (s), p(s)x0m (s))ds
t
∞
p(s)Φ(s)fn (s, x0 (s), p(s)x00 (s))ds
t
Z ∞
lim
sup
p(s)Φ(s)|fn (s, xm (s), p(s)x0m (s))
m→+∞ t∈[0,+∞)
t
− fn (s, x0 (s), p(s)x00 (s))|ds
Z ∞
= lim
p(s)Φ(s)fn (s, xm (s), p(s)x0m (s)) − fn (s, x0 (s), p(s)x00 (s))ds = 0,
m→+∞
0
which implies
lim kAn xm − An x0 k = 0.
m→+∞
Finally, we show An (Br ∩P ) is relatively compact. Obviously, Br is a unbounded set
1
in C∞
. Without loss of generality, we suppose r > 1/n. Then, for any x ∈ Br ∩ P ,
we have
|(An x)(t)|
t∈[0,+∞) 1 + v2 (t)
Z ∞
G2 (t, s)
= sup |
Φ(s)fn (s, x(s), p(s)x0 (s))ds|
1 + v2 (t)
t∈[0,+∞)
0
Z ∞
G2 (t, s)
= sup
Φ(s)fn (s, x(s), p(s)x0 (s))ds
1
+
v
(t)
2
t∈[0,+∞) 0
x(s)
Z ∞
})
g(max{ n1 , 1+v
G2 (t, s)
1
x(s)
2 (s)
≤ sup
Φ(s)k(s)h(max{ ,
})
ds
x(s)
1
1 + v2 (t)
n 1 + v2 (s) h(max{ ,
t∈[0,+∞) 0
n 1+v2 (s) })
Z ∞
G2 (t, s)
1 g(r)
≤ sup
Φ(s)k(s)dsh( )
1 + v2 (t)
n h(r)
t∈[0,+∞) 0
Z ∞
1 g(r)
≤
p(s)Φ(s)k(s)dsh( )
n
h(r)
0
sup
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
19
and
|p(t)(An x)0 (t)|
sup
t∈[0,+∞)
Z
=
sup
t∈[0,+∞)
Z
=
∞
|
t
∞
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
sup
t∈[0,+∞)
t
Z
≤
∞
x(s)
})
g(max{ n1 , 1+v
1
x(s)
2 (s)
p(s)Φ(s)k(s)h(max{ ,
ds
})
n 1 + v2 (s) h(max{ 1 , x(s) })
∞
1 g(r)
p(s)Φ(s)k(s)dsh( )
n h(r)
sup
t∈[0,+∞)
t
Z
≤
sup
t∈[0,+∞)
Z ∞
=
0
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds|
t
n 1+v2 (s)
1 g(r)
p(s)Φ(s)k(s)dsh( )
,
n h(r)
which implies An (P ∩Br ) is bounded. Assume that t, t0 ∈ R+ . Then, for x ∈ Br ∩P ,
we have
(An x)(t) (An x)(t0 )
−
|
1 + v2 (t) 1 + v2 (t0 )
Z ∞
G2 (t, s)
=|
Φ(s)fn (s, x(s), p(s)x0 (s))ds
1
+ v2 (t)
0
Z ∞
G2 (t0 , s)
−
Φ(s)fn (s, x(s), p(s)x0 (s))ds|
0)
1
+
v
(t
2
Z ∞0
G2 (t0 , s)
G2 (t, s)
≤
−
|Φ(s)fn (s, x(s), p(s)x0 (s))ds
|
0)
1
+
v
(t)
1
+
v
(t
2
2
Z0 ∞
G2 (t0 , s)
1 g(r)
G2 (t, s)
≤
−
|Φ(s)k(s)dsh( )
|
1 + v2 (t) 1 + v2 (t0 )
n h(r)
0
|
and
|p(t)(An x)0 (t) − p(t0 )(An x)0 (t0 )|
Z
Z
1
0
=
p(s)Φ(s)fn (s, x(s), p(s)x (s))ds −
t0
t
=
1
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
t0
Z
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
t
≤
t0
Z
t
1 g(r)
.
p(s)Φ(s)k(s)dsh( )
n h(r)
For any ε > 0, T > 0, we can choose δ > 0 small enough such that
|
(An x)(t) (An x)(t0 )
−
| < ε,
1 + v2 (t) 1 + v2 (t0 )
|p(t)(An x)0 (t) − p(t0 )(An x)0 (t0 )| < ε,
(Br ∩P ))(t)
for all x ∈ Br ∩ P , |t − t0 | < δ, t, t0 ∈ [0, T ]. Consequently, { (An1+v
} and
2 (t)
{p(t)(An (Br ∩ P ))0 (t)} is locally equi-continuous on [0, +∞).
20
B. YAN
EJDE-2006/74
Moreover, Lemma 4.3 guarantees that
(Ax)(t) lim
sup t→+∞ x∈P ∩Br 1 + v2 (t)
Z ∞
G2 (t, s)
≤ lim
Φ(s)fn (s, x(s), p(s)x0 (s))ds
t→+∞ 0
1 + v2 (t)
Z ∞
G2 (t, s)
1
x(s)
≤ lim
sup
Φ(s)k(s)g(max{ ,
})ds
t→+∞ x∈P ∩Br 0
1 + v2 (t)
n 1 + v2 (s)
R∞
G2 (t, s)Φ(s)k(s)ds 1 g(r)
h( )
=0
≤ lim 0
t→+∞
1 + v2 (t)
n h(r)
and
lim
sup |p(t)(Ax)0 (t)| ≤ lim
Z
∞
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
t
Z ∞
1
≤ lim
sup
p(s)Φ(s)k(s)g(max{ , x(s)})ds
t→+∞ x∈P ∩Br t
n
Z ∞
1 g(r)
≤ lim
= 0,
p(s)Φ(s)k(s)dsh( )
t→+∞ t
n h(r)
t→+∞ x∈P ∩Br
t→+∞
∩Br ))(t)
which imply that the functions belonging to { (A(P
} and the functions be1+v2 (t)
0
longing to {p(t)(A(P ∩ Br )) (t)} are equi-convergent.
As a result, from Lemma 4.3, An (Br ∩ P ) is relatively compact. The proof is
complete.
Theorem 4.5. Assume that (H1)–(H4) hold. Then (1.2) has at least two positive
solutions.
Proof. From Lemma 4.4, for each n ∈ {1, 2, . . . }, An : P → P is continuous operator
and for any r > 0, An (Br ∩ P ) is relatively compact. From (H2), choose R0 > 0
such that
R0 h(R0 )
R∞
> 1.
(4.3)
p(s)Φ(s)k(s)h(R
0 γ̃2 (s))dsg(R0 )
0
Without loss of the generality, suppose R0 ≥ 1/n. Set
1
Ω1 = {x ∈ C∞
|kxk1 < R0 }.
(4.4)
Then for any x ∈ ∂Ω1 ∩ P , one has
x 6≤ An x,
n ∈ {1, 2, . . . }.
If there exists x0 ∈ ∂Ω1 ∩ P such that x0 ≤ An x0 , obviously,
x0 (t) ≥ γ2 (t)R0 and
1
max{ n
,x0 (t)}
1+v2 (t)
(4.5)
max{ n1 , x0 (t)}
≥ γ̃2 (t)R0 . Then
|x0 (t)|
1
t∈[0,+∞) + v2 (t)
Z ∞
G2 (t, s)
1
≤ sup
Φ(s)f (s, max{ , x0 (s)}, p(s)x0 0 (s))ds
1 + v2 (t)
n
t∈[0,+∞) 0
x0 (s)
Z ∞
1
max{ n , 1+v2 (s) }
≤
p(s)Φ(s)k(s)g(
)ds
1 + v2 (s)
0
R0 =
sup
≥
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
∞
Z
≤
0
x0 (s)
g(max{ n1 , 1+v
})
1
x0 (s)
2 (s)
p(s)Φ(s)k(s)h(max{ ,
})
ds
x
(s)
n 1 + v2 (s) h(max{ 1 , 0
})
n 1+v2 (s)
∞
Z
≤
21
p(s)Φ(s)k(s)h(R0 γ̃2 (s))ds
0
g(R0 )
,
h(R0 )
which implies
R0 h(R0 )
R +∞
0
p(s)Φ(s)k(s)h(R0 γ̃2 (s))dsg(R0 )
≤ 1.
This contradicts (4.3). Then (4.5) is true. From the proof of Theorem 2.7, the
(2.13) is true, which means
i(An , P ∩ Ω1 , P ) = 1,
n ∈ {1, 2, . . . }.
(1)
(1)
(4.6)
(1)
So for any n ≥ 1, there exists an xn ∈ P ∩ Ω1 with An xn = xn .
(1)
(1)
From {xn } ⊆ Ω1 ∩ P , the {xn } is bounded. From Lemma 4.3, the condition
(H4), there exists a ψR0 (t) such that
Z ∞
1
0
x(1)
(t)
=
G2 (t, s)Φ(s)f (s, max{ , x(1)
(s)}, p(s)(x(1)
n
n ) (s))ds
n n
0
Z ∞
(4.7)
≥
G2 (t, s)Φ(s)ψR0 (s)ds
0
≥ γ2 (t)k ∗ ,
R∞
where k ∗ = supt∈[0,+∞) 0
G2 (t,s)
1+v2 (t) Φ(s)ψR0 (s)ds.
Then, from Lemma 4.3, one has
x(1)
n (t) lim sup t→+∞ n≥1 1 + v2 (t)
Z ∞
G2 (t, s)
≤ lim
Φ(s)fn (s, x(s), p(s)x0 (s))ds
t→+∞ 0
1 + v2 (t)
Z ∞
(1)
G2 (t, s)
1 xn (s)
≤ lim sup
Φ(s)k(s)g(max{ ,
})ds
t→+∞ n≥1 0
1 + v2 (t)
n 1 + v2 (s)
R∞
G2 (t, s)Φ(s)k(s)h(k ∗ γ̃2 (s))ds g(R0 )
≤ lim 0
=0
t→+∞
1 + v2 (t)
h(R0 )
(4.8)
and
0
lim sup |p(t)(x(1)
n ) (t)|
t→+∞ n≥1
Z
∞
p(s)Φ(s)fn (s, x(s), p(s)x0 (s))ds
≤ lim sup
t→+∞ n≥1
t
Z
≤ lim sup
t→+∞ n≥1
Z
≤ lim
t→+∞
t
∞
(1)
1 xn (s)
})ds
p(s)Φ(s)k(s)g(max{ ,
n 1 + v2 (s)
∞
p(s)Φ(s)k(s)h(k ∗ γ̃2 (s))ds
t
(4.9)
g(R0 )
h(R0 )
= 0,
x(1) (t)
n
which imply that the functions belonging to { 1+v
} and the functions belonging
2 (t)
(1)
to {p(t)(xn )0 (t)} are equi-convergent. Moreover, for any t0 , t00 ∈ [0, +∞), n ∈
22
B. YAN
EJDE-2006/74
{1, 2, . . . },
(1)
(1)
xn (t0 )
xn (t00 )
−
|
1 + v2 (t0 ) 1 + v2 (t00 )
Z ∞
G2 (t0 , s)
G2 (t00 , s)
(1) 0
≤
|
−
|f (s, x(1)
n (s), p(s)(xn ) (s))ds
0
00 ) n
1
+
v
(t
)
1
+
v
(t
2
2
Z0 ∞
G2 (t0 , s)
G2 (t00 , s)
g(R0 )
≤
|
−
|Φ(s)k(s)h(γ̃2 (s)k ∗ )ds
,
0)
00 )
1
+
v
(t
1
+
v
(t
h(R
2
2
0)
0
|
(4.10)
and
0 0
00
(1) 0 00
|p(t0 )(x(1)
n ) (t ) − p(t )(xn ) (t )|
Z 00
t
(1) 0
≤
p(s)Φ(s)fn (s, x(1)
n (s), p(s)(xn ) (s))ds
t0
t00
≤
Z
t0
g(R0 )
,
p(s)Φ(s)k(s)h(γ̃2 (s)k ∗ )ds
h(R0 )
(4.11)
n ∈ {1, 2, . . . }.
Consequently, for any ε > 0, T > 0, we can choose a δ > 0 such that if |t0 − t00 | < δ
and t0 , t00 ∈ [0, T ], then
(1)
|
(1)
xn (t0 )
xn (t00 )
−
| < ε,
0
1 + v2 (t ) 1 + v2 (t00 )
0 0
00
(1) 0 00
|p(t0 )(x(1)
n ) (t ) − p(t )(xn ) (t )| < ε,
x(1) (t)
(1)
n
for all n ∈ {1, 2, . . . }, which implies that { 1+v
} and {p(t)(xn )0 (t)} are locally
2 (t)
equi-continuous on [0, +∞). Thus, Theorem 4.2 guarantees that there is a con(1)
(1)
(1)
(1)
vergent subsequence {xnj } of {xn } with limj→+∞ xnj = x0 . From (4.7), we
have
(1)
x0 (t) ≥ k ∗ γ2 (t), ∀t ∈ [0, +∞).
Then, for t ∈ (0, +∞), if j is big enough, we have
(1)
(1)
(1) 0
0
|fnj (t, x(1)
nj (t), p(t)(xnj ) (t)) − f (t, x0 (t), p(t)(x0 ) (t))|
(1)
(1)
(1) 0
0
= |f (t, x(1)
nj (t), p(t)(xnj ) (t)) − f (t, x0 (t), p(t)(x0 ) (t))| → 0,
as j → +∞, and
1
(1) 0
(1 + v2 (t)), x(1)
nj (t)}, p(t)(xnj ) (t))
nj
g(R0 )
.
≤ k(t)h(k ∗ γ̃2 (t))
h(R0 )
(1) 0
fnj (t, x(1)
nj (t), p(t)(xnj ) (t)) = f (t, max{
Then the Lesbegue Dominated Convergence Theorem guarantees that
(1)
x0 (t)
= lim x(1)
nj (t)
j→+∞
Z ∞
1
(1) 0
= lim
G2 (t, s)Φ(s)f (s, max{ (1 + v2 (s)), x(1)
nj (s)}, p(s)(xnj ) (s))ds
j→+∞ 0
nj
Z ∞
(1)
(1)
=
G2 (t, s)Φ(s)f (s, x0 (s), p(s)(x0 )0 (s))ds,
0
(4.12)
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
(1)
23
(1)
which implies x0 (t) is a positive solution to (1.2). Obviously, kx0 k1 ≤ R0 . Then
(1)
(4.3) can guarantee kx0 k1 < R0 .
Let τ < a∗ < b∗ < +∞, and 0 < c∗ < mint∈[a∗ ,b∗ ] γ̃2 (t). Suppose
Z b∗
−1
G2 (t, s)
∗
N∗ =
+ 1.
min
Φ(s)k
(s)dsc
1
t∈[a∗ ,b∗ ] a∗ 1 + v2 (t)
From condition (H2), there exists an R0 > R such that
g1 (y) > N ∗ y,
∀y ≥ R0 .
(4.13)
Now we define
R0
1 kxk1 < ∗ }.
Ω2 = {x ∈ C∞
c
R0
0
We might as well suppose that c∗ > 1, R > 1. Then we have
An x 6≤ x,
(4.14)
n ∈ {1, 2, . . . }
(4.15)
for all x ∈ ∂Ω2 ∩ P . Otherwise, suppose there exists x0 ∈ ∂Ω2 ∩ P with An x0 ≤ x0 .
Since x0 ∈ ∂(Ω2 ) ∩ P ,
min
∗ ∗
t∈[a ,b
0
|x(t)|
x0 (t)
∗R
≥ min
γ̃
(t)
sup
>
c
= R0 > 1.
2
c∗
] 1 + v2 (t)
t∈[a∗ ,b∗ ]
t∈[0,+∞) 1 + v2 (t)
Then for t ∈ [a∗ , b∗ ], from (4.13), we have
x0 (t)
(An x0 )(t)
≥
1 + v2 (t)
1 + v2 (t)
Z +∞
G2 (t, s)
=
Φ(s)fn (s, x0 (s), p(s)x00 (s))ds
1 + v2 (t)
0
Z b∗
G2 (t, s)
1
≥
Φ(s)f (s, max{ (1 + v2 (s)), x0 (s)}, p(s)x00 (s))ds
1
+
v
(t)
n
∗
2
a
Z b∗
1
x0 (s)
G2 (t, s)
Φ(s)k1 (s)g1 (max{ ,
})ds
≥
1
+
v
(t)
n
1
+
v2 (s)
∗
2
a
Z b∗
G2 (t, s)
x0 (s)
>
Φ(s)k1 (s)N ∗
ds
1 + v2 (s)
a∗ 1 + v2 (t)
Z b∗
R0
>
G2 (t, s)Φ(s)k1 (s)dsN ∗ c∗ ∗
c
a∗
0
R
> ∗,
c
which implies kx0 k1 > R0 /c∗ . This contradicts to x0 ∈ P ∩ ∂Ω2 . Then (4.15) is
true.
(2)
From (4.5) and (4.15), Theorem 2.7 guarantees that An has a fixed point xn ∈
(2)
(2)
(Ω2 − Ω1 ) ∩ P . For the set {xn }, since kxn k1 = supt∈[0,+∞)
guarantees that there is a ψR0 /c∗ (t) such that
f (t, x, z) = F (t, y, z) ≥ ψ R∗0 (t),
c
∀(t, y, z) ∈ [0, +∞) × (0,
|x(2)
n (t)|
1+v2 (t)
≤
R0
c∗ ,
(H4)
R0
] × [0, +∞). (4.16)
c∗
(2)
By proof as in (4.7), (4.8), (4.9), (4.10) and (4.11), we can prove that {xn } is
(2)
1
relatively compact in C∞
, which means that there exists a subsequence {xni } of
24
B. YAN
(2)
(2)
EJDE-2006/74
(2)
(2)
{xn } with limi→+∞ xni = x0 . By proof as in (4.12) x0 (t) is a positive solution
0
(2)
to equation (1.2) with R
c∗ > kx0 k1 > R0 .
(1)
Consequently, equation (1.2) has at least two different positive solutions x0 (t)
(2)
and x0 (t). The proof is complete.
Example 4.6. Now we consider
2
x00 +
1
x0
1 −t −1/4
3
x
) = 0, t ∈ (0, +∞)
e t
((1 + t)1/2 x−1/2 +
)(1
+
16
(1 + t)3
1 + x0 2
x(0) = 0,
lim x0 (t) = 0.
t→+∞
(4.17)
Then, equation (4.17) has at least two positive solutions.
To prove that (4.17) has at least two positive solutions, we apply Theorem 4.5
1 −t −1/4
1
x02
3
with Φ(t) = 16
e t
, p(t) ≡ 1, f (t, x, z) = ((1+t)1/2 x−1/2 + (1+t)
3 x )(1+ 1+x0 2 ),
(
t, t ∈ [0, 1]
k(t) ≡ 1, g(y) = 2(y −1/2 + y 3 ), h(x) = y −1/2 , γ1 (t) =
, γ̃2 (t) =
1, t ∈ (0, +∞)
γ2 (t)
1+t ,
k1 (t) ≡ 1, g1 (y) = y −1/4 + y 3 , Ψc (t) = c−1/4 . It is easy to verify that
(H1)–(H4) hold. Hence, (4.17) has at leat two positive solutions.
Acknowledgements. The author wants to thanks Professor Temoney for his guidance, and the anonymous referee for his/her suggestions.
References
[1] R. P. Agarwal, D. O’Regan; Nonlinear superlinear singular and nonsingular second order
boundary value problems, Journal of Differential Equations, 143 (1998), 60-95.
[2] R. P. Agarwal, D. O’Regan, V. Lakshmikantham, S. Leela; Existence of positive solutions
for singular initial and boundary value problems via the classical upper and lower solution
approach, Nonlinear Analysis, 50 (2002), 215-222.
[3] R. P. Agarwal, D. O’Regan; Singular Problems on the Infinite Interval Modelling Phenomena
in Draining Flows, IMA Journal of Applied Mathematics, 66 (2001), 621-635.
[4] J. V. Baxley; Existence and uniqueness for nonlinear boundary value problems on infinite
intervals, J. Math. Anal. Appl., vol. 147 (1990), 127-133.
[5] L. E. Bobisud; Existence of solutions for nonlinear singular boundary value problems, Appl.
Anal., vol. 35 (1990), 43-57.
[6] L. E. Bobisud; Existence of positive solutions to some nonlinear singular boundary value
problems on finite and infinite intervals, J. Math. Anal. Appl., vol. 173 (1993), 69-83.
[7] L. E. Bosbisud, D. O’Regan, W. D. Royalty; Solvability of some nonlinear boundary value
problems, Nanlinear Anal., vol. 12 (1988), 855-869.
[8] Shaozhu Chen, Yong Zhang; Singular boundary value problems on a half-line, J. Math. Anal.
Appl., vol. 195 (1995), 449-468.
[9] K. Deimling; Nonlinear Functional Analysis, Springer-Verlag, New York, 1985.
[10] Dugundji; An extension of Tietze’s theorem, Pacific J. Math., vol. 1 (1951), 353-367.
[11] A. Granas, R. B. Guenther, J. W. Lee and D. O’Regan; Boundary value problems on infinite
intervals and semiconductor devices, J. Math. Anal. Appl., vol. 116 (1986), 335-345.
[12] A. Granas, J. Dugudji, Fixed point Theory, Springer, 2003.
[13] Dajun Guo, Nonlinear Functional Analysis, Shandong Science and Technique Press, Jinan,
1985.
[14] Dajun Guo and V. Lakshmikantham; Nonlinear problems in abstract cones, Academic Press.
Inc. New York, 1988.
[15] J. Henderson; H. B. Thompson Existence of multiple solutions for second order boundary
value problems, Journal of Differential Equations, vol. 166 (2000), 444-454.
EJDE-2006/74
MULTIPLE POSITIVE SOLUTIONS
25
[16] A. G. Kartsatos, On the perturbation theorem of m-accretive operators in Banach spaces,
Proceeding of American Math. Society, vol. 124 no. 6 (1996), 1811-1820.
[17] N. G. Lioyd, Degree theory, Cambridge Univ.Press, Cambridge, 1978.
[18] M. Meehan, D. O’Regan; Existence theory for nonlinear Fredholm and Volterra Integral
Equations on Half-Open Intervals, Nonlinear Anal. , vol. 35 (1999), 355-387.
[19] D. O’Regan, Positive solutions for a class of boundary value problems on infinite intervals,
Nonlinear Diff. Eqns. Appl., vol. 1 (1994), 203-228.
[20] D. O’Regan, Theory of Singular Boundary Value Problems, World Scientific, Singapore, 1994.
[21] D. O’Regan, Existence theory for ordinary differential equations, Kluwer, Dordrecht, 1997.
[22] D. O’Regan, Baoqiang Yan & R.P.Agarwal; Nonlinear boundary value problems on the semiinfinite intervals: an upper and lower solution approach, (to appear)
[23] P. K. Palamides and G. N. Galanis; Positive, unbounded and monotone solutions of the
singular second Painlev equation on the half-line, Nonlinear Analysis, vol. 57 (2004), 401419.
[24] I. Yermachenko, F.Sadyrbaev; Types of solutions and multiplicity results for two-point nonlinear boundary-value problems, Nonlinear Analysis, in press.
[25] G. Zhang, C. Wang, Y. Liu; Fixed point theorems on unbounded sets, Journal of Northeast
University, vol. 22 No. 2 (2001), 226-228. (in Chinese)
Baoqiang Yan
Department of Mathematics, Shandong Normal University, Ji-nan, 250014 China
and School of Mathematics, Trinity College, Dublin University, Dublin 2, Ireland
E-mail address: bqyan819@beelink.com
Download