Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
RESEARCH Open Access
Positive solutions of higher-order nonlinear fractional differential equations with changing-sign measure
Jianwu Wu1, Xinguang Zhang2*, Lishan Liu3,4 and Yonghong Wu4
* Correspondence: mailto:[email protected]
Web End [email protected]
2School of Mathematical and Informational Sciences, Yantai University, Yantai 264005, Shandong, Peoples Republic of ChinaFull list of author information is available at the end of the article
Abstract
In this article, we consider the existence of positive solutions of the (n - 1, 1) conjugate-type nonlocal fractional differential equation
D0+x(t) + f (t, x(t)) = 0, 0 < t < 1, n 1 < n, x(k)(0) = 0, 0 k n 2, x(1) =
10 x(s)dA(s),
where a 2, D0+ is the standard Riemann-Liouville derivative,
1
0 x(s)d A(s) is a linear functional given by the Stieltjes integral, A is a function of bounded variation, and dA may be a changing-sign measure, namely the value of the linear functional is not assumed to be positive for all positive x. By constructing upper and lower solutions, some sufficient conditions for the existence of positive solutions to the problem are established utilizing Schauders fixed point theorem in the case in which the nonlinearities f(t, x) are allowed to have the singularities at t = 0 and (or) 1 and also at x = 0.
AMS (MOS) Subject Classification: 34B15; 34B25.
Keywords: upper and lower solutions, fractional differential equation, Schauders fixed point theorem, positive solution.
1 Introduction
In this article, we are studying the existence of positive solutions for the following singular nonlinear (n-1, 1) conjugate-type fractional differential equations with a nonlocal term
D0+x(t) + f (t, x(t)) = 0, 0 < t < 1, n 1 < n, x(k)(0) = 0, 0 k n 2, x(1) =
(1:1)
where a 2, D0+ is the standard Riemann-Liouville derivative, f: (0, 1) (0, +) [0, +) is continuous and f may be singular at x = 0 and t = 0, 1.
In the BVP (1.1),
1
10 x(s)dA(s),
0 x(s)d A(s) denotes the Riemann-Stieltijes integral, where A is a function of bounded variation, that is dA can be a signed measure. In this work we do
not suppose that
1
0 x(s)dA(s) 0 for all x
0, and hence the BVP (1.1) has a wider
2012 Wu et al; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0
Web End =http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 2 of 14
range of applications as positive or negative values of the linear functional
1
0 x(s)d A(s) are viable in some cases. But in most previous works of nonlocal bound
ary value problems, some kind of positivity on the functional
1
0 x(s)d A(s) is often required in order to obtain positive solutions of the problem, and in particular the study of m-point boundary value problems with the boundary condition
1
0 x(s)dA(s) =
m2i=1 iu(i), i > 0 is often required (see [1-4]). So from this point
of view, the BVP (1.1) not only includes the multi-point boundary value problem and the integral boundary value problem (A(s) = s or dA(s) = h(s)ds) as special cases, but also generalizes the multi-point boundary value problem and integral boundary value problem for more general cases.
The nonlocal BVPs have been studied extensively. The methods used therein mainly depend on the fixed-point theorems, the degree theory, the upper and lower solution techniques, and the monotone iterations. Particularly, when a is an integer and
1
0 x(s)dA(s) = x(), where 0 < h <1 and 0 < hn-1 <1, the authors of [5-8] established the existence and multiplicity of positive solutions for the nth-order three-point BVP (1.1)
by applying the fixed-point theorems on cones. If
1
0 x(s)dA(s) =
m2i=1 iu(i), where
m2i=1 in1i < 1, the nth-order m-point
BVP (1.1) has been studied in [1-3]. A more general equation with f depending on derivatives and the boundary conditions with two nonlocal terms was studied by Zhang [4], where f can be singular at t = 0 and/or t = 1 and be allowed to change sign. In addition, the nonlocal integral boundary value problems also represent a very interesting and important class of problems arising in physical, biological and chemical processes and have attracted the attention of Khan [9], Gallardo [10], Karakostas and Tsamatos [11], Ahmad et al. [12], Feng et al. [13] and the references therein. For more information about the general theory of integral equations and their relation with boundary value problems, we refer the readers to Corduneanu [14] and Agarwal and ORegan [15].
The nonlocal condition given by a Riemann-Stieltjes integral with a signed measure is due to Webb and Infante [16,17] and the articles contain several new ideas, and gave a unified approach to many BVPs. Motivated by the studies of [16-18], Hao et al.[19] studied the existence of positive solutions for the following nth-order singular nonlocal boundary value problem
x(n)(t) + a(t)f (t, x(t)) = 0, 0 < t < 1, n 1 < n, x(k)(0) = 0, 0 k n 2, x(1) =
10 x(s)dA(s),
0 < h1 < h2 < <hn-2 < 1, i > 0 with 0 <
(1:2)
where a may be singular at t = 0, 1, f may be singular at x = 0 but has no singularity at t = 0, 1. The existence of positive solutions of the BVP (1.2) is obtained by means of the fixed point index theory in cones. In [19], in order to overcome the singularity of f at x = 0, the authors adopted the condition below :
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 3 of 14
(H) f: [0, 1] (0, ) [0, ) is continuous and for any 0 <r <R < +,
lim
m
sup
x KR\Kr
H(m) q(s)f (s, x(s))ds = 0,
where H(m) =
0, 1 m
m 1
m , 1
. This condition was also adopted by Wang et
al. [20] to study the existence and multiplicity of positive solutions for more general fractional order BVP (1.1) by using fixed point theorem when f(t, x) has singularity at x = 0. But we notice that the condition (H) used in [19,20] is a mixed condition involving integrability condition and supremum and limit condition, and is quite difficult to verify. Thus, in this article, by finding a simple integrability condition, we establish the existence of positive solutions for the BVP (1.1) when the nonlinearity f may be singular at both t = 0, 1 and x = 0 by utilizing different techniques [19,20], through establishing a maximal principle and constructing upper and lower solutions, instead of using a fixed point theorem on cone, some sufficient conditions for the existence of positive solutions are established via Schauders fixed point theorem.
2 Preliminaries and lemmas
For the convenience of the reader, we present here some definitions in fractional calculus which are to be used in the later sections.
Definition 2.1. The fractional integral of order a >0 of a function x: (0, +) is given by
D0+x(t) =
1 ()
t0(t s)1x(s)ds
provided that the right-hand side is pointwise defined on (0, +).
Definition 2.2. The fractional derivative of order a >0 of a continuous function x: (0, +) is given by
D0+x(t) =
1 (n )
d dt
(n)
t0(t s)n1x(s)ds,
where n = [a] + 1, [a] denotes the integer part of the number a, provided that the right-hand side is pointwisely defined on (0, +).
Proposition 2.1 (see [21]). Let a >0, and f(x) is integrable, then
D0+D0+f (x) = f (x) + c1x1 + c2x2 + + cnxn,
where ci (i = 1, 2,..., n), and n is the smallest integer greater than or equal to a. Proposition 2.2. The equality
D0+D0+f (x) = f (x), > 0
holds for f L1(a, b).
Definition 2.3. A continuous function (t) is called a lower solution of the BVP(1.1), if it satisfies
D0+(t) f (t, (t)), 0 < t < 1, n 1 < n, (k)(0) 0, 0 k n 2, (1)
10 (s)dA(s).
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 4 of 14
Definition 2.4. A continuous function (t) is called a upper solution of the BVP(1.1), if it satisfies
D0+(t) f (t, (t)), 0 < t < 1, n 1 < n, (k)(0) 0, 0 k n 2, (1)
10 (s)dA(s).
Lemma 2.1 (see [22]). Given y L1(0, 1) and a >2, the problem
D0+x(t) + y(t) = 0, 0 < t < 1,
x(0) = x (0) = = x(n2) = 0, x(1) = 0,
(2:1)
has the unique solution
x(t) =
1
0
G(t, s)y(s)ds, (2:2)
where G(t, s) is the Green function of the BVP (2.1) and is given by
G(t, s) = 1
()
[t(1 s)]1, 0 t s 1,
[t(1 s)]1 (t s)1, 0 s t 1.
(2:3)
Lemma 2.2 (see [22]). The: function G(t, s) has the following properties:
(1)G (t, s) > 0, for t, s (0, 1).(2)
t1(1 t)s(1 s)1 ()G(t, s) ( 1)s(1 s)1, for t, s [0, 1], ()G(t, s) ( 1)t1(1 t), for t, s [0, 1].
(2:4)
By Lemma 2.1, the unique solution of the problem
D0+x(t) = 0, 0 < t < 1,x(0) = x (0) = = x(n2) = 0, x(1) = 1,
(2:5)
is ta-1. Defining GA(s) =
1
0 G(t, s)dA(t) , as in [18,20], we can get that the Green function for the nonlocal BVP (1.1) is given by
H(t, s) = t1
1 CGA
(s) + G(t, s), (2:6)
where C =
1
0 t1dA(t).
Lemma 2.3 Let 0 C <1 and GA(s) 0for s [0, 1], then the Green function
defined by (2.6) satisfies:
(1) H(t, s) > 0, \forall t, s (0, 1).
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 5 of 14
(2) There exists two constants c, d such that
ct1(1 t)B(s) H(t, s) B(s), (2:7)
and
H(t, s) dt1, t, s [0, 1], (2:8)
where
B(s) = s(1 s)1 ( 1)+ GA(s)1 C, c = 1 1, d = 1 ( 1)+ F1 C, F = max0s1 GA (s).
Proof. (1) is obvious. For (2.7), see [20]; we only prove (2.8) here. First, notice that A
is a function of bounded variation and GA(s) 0 for s [0, 1], G(t, s) is continuous
on s, t [0, 1] and
G(t, s)
( 1)(1 t)t1 ()
( 1)t1 () =
t1
( 1)
.
it is then easy to get that there exists a constant F = max0s1GA(s) > 0 such that
GA(s) F , consequently, there exists a constant d such that
H(t, s) dt1, t, s [0, 1],
where
d = 1
( 1)
+ F
1 C
.
Lemma 2.4 If x C([0, 1], ) is such that
x(k)(0) = 0, 0 k n 2, x(1) =
10 x(s)dA(s),
and D0+x(t) 0for any t (0, 1), Then
x(t) 0, t [0, 1].
Proof. The conclusion is obvious from Lemma 2.3, we omit the proof.
3 Main results
We make the following assumptions throughout the rest of this article:
(B0) A is a function of bounded variation, and GA(s) 0 for s [0,1],
0 C < 1, where C =
1
0 t1dA(t).(B1) f C((0, 1) (0, ), [0, +)), and f(t, x) is decreasing in x. (B2) For any l > 0, f(t, l) 0, and
0 <
10 f (s, s1(1 s))ds < +.
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 6 of 14
From (B1) (B2) and
B(s) = s(1 s)1 ( 1)+ GA(s)1 C d, s1(1 s) s1,
for any l >0, we get that
1 0
B(s)f (s, s1(1 s))ds < +,
and
1 0
10 f (s, s1(1 s))ds < +,
which imply that they are well defined.
In what follows, we define two constants:
m = min
1, c
B(s)f (s, s1)ds d
1 B(s)f (s, s1(1 s))ds
, M = max
1, d
1 f (s, s1(1 s))ds
,
where c and d are defined in Lemma 2.3.
Theorem 3.1 Suppose (B0), (B1), (B2) and the (B3) below hold
B3
s, Mm s1 ds 1.
Then the BVP (1.1) has at least one positive solution w(t), which satisfies
t1(1 t) w(t)
Mm t1.
Proof. Let E = C[0, 1], and
P =
x E : there exists positive number lx such that x (t) lxt1 (1 t) , t [0, 1]
1 B(s)f
0
. (3:1)
Then P is nonempty since ta-1 (1-t) P. Now let us denote an operator T by
(Tx)(t) =
1
0
H(t, s)f (s, x(s))ds, for any x P. (3:2)
Then T is well defined and T (P) P.
In fact, for any r P, by the Definition of P, there exists a positive number lr such that r(t) lrta-1 (1-t) for any t [0, 1]. It follows from Lemmas 2.2-2.3 and (B1)-(B2)
that
(T)(t) =
1
0 H(t, s)f (s, (s))ds
1 B(s)f (s, (s))ds
(3:3)
Let B = maxt[0,1] r(t), then from (B2) and the continuity of f(t, x), we have
0
1 B(s)f (s, ls1(1 s))ds < +.
0
1 B(s)f (s, B)ds > 0 . Consequently,
0
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 7 of 14
1 0
B(s)f (s, (s))ds
1 0
B(s)f (s, B)ds > 0.
Thus, by (2.7), we have
(T)(t) ct1(1 t)
1 B(s)f (s, (s))ds = l t1(1 t), (3:4)
where
l = c
0
1 0
B(s)f (s, (s))ds.
It follows from (3.3) and (3.4) that T is well defined and T (P) P:Next, we determine the upper and lower solutions of the BVP (1.1). In fact, by (B1)-(B2) and (3.2), we know that the operator T is decreasing and continuous. Thus by direct computations, we obtain
D0+(Tx)(t) = f (t, x(t)), 0 < t < 1,
(Tx)(k)(0) = 0, 0 k n 2, (Tx)(1) =
1
0 (Tx)(s)dA(s).
(3:5)
By (2.7) and:(2.8), we have
mt1(1 t) ct1(1 t)
1 B(s)f (s, s1(1 s))ds
0
1
0 H(t, s)f (s, s1(1 s))ds
dt1
1
0 f (s, s1(1 s))ds
Mt1.
Let
a(t) = 1
m
10 H(t, s)f (s, s1(1 s))ds,
then
Mm t1. (3:6)
Since the operator T is noncreasing relative to x, (3.6) and (B3) imply
(Ta) (t) T(t1(1 t))
1mT(t1(1 t)) = a(t),
and
t1(1 t) a(t) =
1mT(t1(1 t))
(Ta) (t) T
Mm t1 =
1
0 H(t, s)f
s, M
m s1
ds
ct1(1 t)
1 B(s)f
s, Mm s1 ds
= t1(1 t)
1
0
1 B(s)f
s, Mm s1 ds
t1(1 t),
0
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 8 of 14
i.e.,
Mm t1. (3:7)
Since ta-1(1-t) P, from (3.7), we obtain a(t), (Ta)(t) P. Thus, by (3.6), (3.7) and the result that the operator T is nonincreasing with respect to x, we have
D0+a(t) + f (t, a(t)) =
1mf (t, t1(1 t)) + f (t, a(t))
t1(1 t) (Ta)(t) a(t)
1mf (t, t1(1 t)) + f (t, t1(1 t)) 0, t [0, 1].
(3:8)
D0+(Ta) (t) + f (t, (Ta) (t)) = f (t, a(t)) + f (t, (Ta) (t))
f (t, a(t)) + f (t, a(t)) = 0, t [0, 1].
(3:9)
Notice that (3.5) implies that a(t) = 1mTt1(1 t), (Ta)(t) satisfy the boundary conditions in the BVP (1.1). Thus by (3.8) and (3.9),
(t) = (Ta)(t), (t) = 1mTt1(1 t) = a(t) are the lower and upper solutions of the BVP (1.1), respectively, and (t), j(t) P.
Define the function F and the operator T_0 in E by
F(t, x) =
f (t, (t)), x < (t),f (t, x), (t) x (t),
f (t, (t)), x > (t),
(3:10)
and
(T0x)(t) =
10 H(t, s)F(s, x(s))ds, x E.
It follows from the assumption that F: (0, 1) [0, +) [0, +) is continuous. Consider the following boundary value problem
D0+x(t) = F(t, x), 0 < t < 1,
x(k)(0) = 0, 0 k n 2, x(1) =
1
0 x(s)dA(s).
(3:11)
Obviously, a fixed point of the operator T0 is a solution of the BVP (3.11). For all x E, it follows from Lemma 2.3 and (3.10) and (t) ta-1 (1-t) that
(T0x)(t)
1
0 f (s, (s))ds
d
1 B(s)F(s, x(s))ds d
1
0
0 f (s, s1(1 s))ds < +.
So T0 is bounded. It is easy to see T0: E E is continuous from the continuity of H and (B2).
Let E be bounded, and given >0 by setting
=
2( 1)
1 1
2 1 () + F1 C 10 f (s, s1(1 s))ds 1,
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 9 of 14
then, for each x , t1, t2 [0, 1], t1 < t2, and t2 - t1 < , one has
|(T0x)(t1) (T0x)(t2)| < .
That is to say, T0() is equicontinuous.
In fact,
(T
0x)(t1) (T0x)(t2)
= 0 H(t2, s)F(s, x(s))ds
1
1 0 H(t1, s)F(s, x(s))ds
1
0
H(t
2, s) H(t1, s)
F(s, x(s))ds +
t1
H(t
2, s) H(t1, s)
F(s, x(s))ds
H(t
2, s) H(t1, s)
F(s, x(s))ds
+
t2
t1
<
1 () + F
1 C
t1
(t12 t11) + (1 s)1(t12 t11)
f (s, s1(1 s))ds
t2
t1
0
+ (t12 t11) + (1 s)1(t12 t11)
f (s, s1(1 s))ds
+ 1 (t12 t11) + (1 s)1(t12 t11) f (s, s1(1 s))ds]
< 2
1 () +
F1 C
(t12 t11)
1
0 f (s, s1(1 s))ds.
In the following, we divide the proof into two cases. Case 1. t1 <t2 < 1.
(T
0x)(t1) (T0x)(t2)
< 2
1 () + F
1 C
10 f (s, s1(1 s))ds(t12 t11)
2
1 () + F
1 C
10 f (s, s1(1 s))ds
1
2 (t2 t1)
2
1 () + F
1 C
10 f (s, s1(1 s))ds( 1)1
< .
Case 2.0 t1 <, t2 < 2.
(T
0x)(t1) (T0x)(t2)
< 2
1 () + F
1 C
10 f (s, s1(1 s))ds(t12 t11)
2
1 () + F
1 C
10 f (s, s1(1 s))dst12
2
1 () + F
1 C
10 f (s, s1(1 s))ds(2)1 < .
This implies that T0() is equicontinuous.
From the Arzela-Ascoli theorem, we get that T0: E E is completely continuous. Thus, by using the Schauder fixed point theorem, T0 has at least one fixed point w such that w = T0w.
Now we prove
(t) w(t) (t), t [0, 1].
Let z(t) = j(t) - w(t), t [0, 1]. As j(t) is the upper solution of the BVP (1.1) and w is a fixed point of T0, we have
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 10 of 14
w(k)(0) = 0, 0 k n 2, w(1) =
1
0 w(s)dA(s). (3:12)
From the Definition of F and (3.6), (3.7), we obtain
f (t, (t)) F(t, x(t)) f (t, (t)), x E, f (t, t1(1t)) f (t, (t)), t [0, 1].
So
f (t, (t)) F(t, x(t)) f (t, t1(1 t)), x E. (3:13)
Thus (3.7) and (3.13) imply
D0+z(t) = D0+(t) D0+w(t)=
1mf (t, t1(1 t)) + F(t, w(t)) 0, t [0, 1].
(3:14)
By (3.11)-(3.14) and Lemma 2.4, we know z(t) 0 which implies w(t) j(t) on [0, 1]. By the same way, it is easy to prove w(t) (t) on [0, 1]. So we obtain
(t) w(t) (t), t [0, 1]. (3:15)
Consequently, F (t, w(t)) = f(t, w(t)), t [0, 1]. Then w(t) is a positive solution of the BVP (1.1).
Finally, by (3.6), (3.7) and (3.15), we have
t1(1 t) (t) w(t) (t)
Mm t1.
Corollary 3.1. Suppose the following conditions hold:(C1) f C((0, 1) [0, ), [0, +)), and f(t, x) is decreasing in x. (C2) f(t, 0) 0 for any t (0, 1), and
0 <
1 0
B(s)f (s, 0)ds < +.
Then the BVP (1.1) has at least one positive solution w(t), and there exists a constant > 0 such that
0 w(t) .
Proof. In fact, in the proof of Theorem 3.1, we replace the set P by
P1 = {x E : x(t) 0, t [0, 1]}
and (3.6), (3.7) by
0 (t) = T0, 0 (t) = (T)(t) T0 = (t).
Clearly j(t), (t) P1, and
D0+(t) + f (t, (t)) = f (t, 0) + f (t, T0) 0,D0+)(t) + f (t, (t)) = f (t, (t)) + f (t, (t)) 0, t [0, 1].
On the other hand, by Lemma 2.3,
(t) = T0 =
10 H(t, s)f (s, 0)ds
1 0
B(s)f (s, 0)ds = .
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 11 of 14
Thus the rest of proof is similar to those of Theorem 3.1.
Corollary 3.2. If f(t, x): [0, 1] [0, ) [0, +) is continuous and decreasing in x, and f(t, 0) 0 for any t [0, 1], then the BVP (1.1) has at least one positive solution w (t), and there exists a constant > 0 such that
0 w(t) .
Example 3.1. (A 4-Point BVP with Coefficients of Both Signs) Consider the BVP
(1.1) with = 52, f (t, x) = 36
8t3
4
(1t)x, and
0, t
0, 12 ,
2, t
A(t) =
12,3 4
,
1, t
3 4, 1
.
From the given conditions, 0 C =
1
0 t
32 dA(t) = 2
2
33
8 0.0575 < 1
, and the
BVP (1.1) is a fourth-order four-point BVP with coefficients of both signs
D
5 2
0+x(t) +
36
t3
4
8
= 0, 0 < t < 1,
x(0) = x (0) = 0, x(1) = 2x
1 2
x
(1 t)x(t)
(3:16)
3 4
.
Conclusion: The BVP (3.16) has at least one positive solution w(t) such that
(1 t)t
3 2 w(t) 472t
3
2 .
Proof. We have
G(t, s) =
G1(t, s) =
t(1 s) 3 2
5 2
, 0 t s 1,
G2(t, s) =
t(1 s) 32 (t s)3 2
, 0 s t 1.
5 2
and
2G2
1 2, s
G2
3 4, s
, 0 s <1 2,
2G1
GA(s) =
1 2, s
G2
3 4, s
, 12 s <3 4,
2G1
1 2, s
G1
3 4, s
, 34 s 1.
Thus 0 GA(s) < 1, and (B0) holds.
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 12 of 14
On the other hand, we know
B(s) = s(1 s)
3 2
3 2
+ GA(s)1
2
2 + 3
3
8
, c = 23, d =
1
3 2
+ 11
2
2 +
33 8
.
and
f (t, x) = 36
t3
4
8
(1 t)x,
thus (B1) holds. For any l > 0, clearly,
f (t, ) = 36
8
t3
4
(1 t) 0,
and
0 <
10 f (s, s1(1 s))ds =
36
4
1 0
1 1 s
ds = 72
4
< +,
which implies that (B2) holds.
On the other hand, since
3 2
=
2 , we have
3
36
8
s3
c
1 0
B(s)f (s, s1(1 s))ds =
2
3
1 0
s(1 s)
3
2
2 + GA(s)1
2
2 + 3
3
8
4 (1 s)2s
3
2
ds
2
3
1 0
s(1 s)
3
2 36
8
s3
10 s(1 s)ds = 8,
3
2
4 (1 s)2s
3
2
ds = 48
d
10 f (s, s1(1 s))ds = (
1
3
2
+ 1
1
2
2 + 3
3
8
)
1 0
36 1 s
ds
6
1 0
36 1 s
ds = 472.
Consequently,
m = 1, M 472,
Mm 472,
and
1 B(s)f
s, Mm s1(1 s) ds
1 B(s)f
s, 472s32 (1 s)
ds
0
0
1 s(1 s)
3 2
f
s, 472s32 (1 s)
ds 724472 10 s(1 s)ds
= 12
4
0
3 2
472
12
5 1 =
3 2,
i.e., (B3) also holds.
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Page 13 of 14
So, by Theorem 3.1, the BVP (3.16) has at least one positive solution w(t) such that
(1 t)t
3
2 .
Remark 3.1. In Example 3.1, for any 0 <r <R < +, clearly
lim
m
sup
x KR\Kr
3 2 w(t) 472t
H(m) q(s)f (s, x(s))ds
= lim
m
1 m
36
8
s3
4
s3
4
8
sup
x KR\Kr
0 (1 s)x(s)ds +
1
m 1
m
36
.
(1 s)x(s) ds
Since x(t) is a unknown function, it is difficult for us to verify whether it is equal to0. But we see that the integrability condition (B2)-(B3) are easier to be checked than (H) by a simple calculation.
Remark 3.2. In Example 3.1, the boundary condition x(1) = 2x
1
2
x
3
4
reveals
that positive or negative values of the linear functional, in the condition
x(1) =
1
0 x(s)dA(s), are viable in some cases. This implies that we here removed the nonnegative requirements of i used in most of the literature, for example [1-4] and other related literature on multi-point boundary-value problems.
Example 3.2. Consider the existence of positive solutions for the nonlinear fractional differential equation
D
52 0+x(t) +
t(1 t)
3 2
(3:17)
where A is a function of bounded variation, and GA(s) 0 for s [0, 1], 0 C < 1,
where C =
1
0 t1dA(t) .
Proof. Let
f (t, x) = t(1 t)
3 2
x2 + 1 = 0, 0
< t < 1,
3
x(0) = x (0) = 0, x(1) =
10 x(s)dA(s),
x2 + 1 ,
then f(t, x): [0, 1] [0, ) [0, +) is continuous and decreasing in x, and
f (t, 0) = t(1 t)
3
2
3
0
for any t [0, 1],
and =
1
0 s2(1 s)3ds+ F
1 B(s)f (s, 0)ds = 2
1 C
1
0 s(1 s)
32 ds = 7
10 +
4F
35(1 C)
.
0
Then by Corollary 3.2, the BVP (3.17) has at least one positive solution w(t) such that
0 w(t)
7 10 +
4F
35(1 C)
.
Wu et al. Advances in Difference Equations 2012, 2012:71 http://www.advancesindifferenceequations.com/content/2012/1/71
Acknowledgements
The authors thank the referees for helpful comments and suggestions, which led to improvement of the article. The authors were supported financially by the National Natural Science Foundation of China (11071141, 11126231) and the Natural Science Foundation of Shandong Province of China (ZR2010AM017).
Author details
1School of Politics Law and Public Administration, Hubei University, Wuhan 430062, Hubei, Peoples Republic of China
2School of Mathematical and Informational Sciences, Yantai University, Yantai 264005, Shandong, Peoples Republic of China 3School of Mathematical Sciences, Qufu Normal University, Qufu 273165, Shandong, Peoples Republic of China
4Department of Mathematics and Statistics, Curtin University of Technology, Perth, WA 6845, Australia
Authors contributions
The study was carried out in collaboration between all authors. XZ and JW completed the main part of this article and gave two examples; LL and YW corrected the main theorems and polished the manuscript. All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
Received: 26 November 2011 Accepted: 30 May 2012 Published: 30 May 2012
References1. Pang, C, Dong, W, Wei, Z: Greens function and positive solutions of nth-order m-point boundary value problem. Appl Math Comput. 182, 12311239 (2006). doi:10.1016/j.amc.2006.05.010
2. Yang, J, Wei, Z: Positive solutions of nth-order m-point boundary value problem. Appl Math Comput. 202, 715720 (2008). doi:10.1016/j.amc.2008.03.009
3. Guo, Y, Ji, Y, Zhang, J: Three positive solutions for a nonlinear nth-order m-point boundary value problem. Nonlinear Anal. 68, 34853492 (2008). doi:10.1016/j.na.2007.03.041
4. Zhang, X: Eigenvalue of higher-order semipositone multi-point boundary value problems with derivatives. Appl Math Comput. 201, 361370 (2008). doi:10.1016/j.amc.2007.12.031
5. Eloe, PW, Ahmad, B: Positive solutions of a nonlinear nth-order boundary value problem with nonlocal conditions. Appl Math Lett. 18, 521527 (2005). doi:10.1016/j.aml.2004.05.009
6. Hao, X, Liu, L, Wu, Y: Positive solutions for nonlinear nth-order singular nonlocal boundary value problems. Bound Value Probl. 10, 74517 (2007)
7. Du, X, Jiang, J, Zou, H, Zhang, X: Positive solutions of singular nth-order boundary value problems with nonlocal conditions. J Fixed Point Theory Appl. 1, 4351 (2006)
8. Graef, JR, Moussaoui, T: A class of nth-order BVPs with nonlocal conditions. Comput Math Appl. 58, 16621671 (2009). doi:10.1016/j.camwa.2009.07.009
9. Khan, RA: The generalized method of quasilinearization and nonlinear boundary value problems with integral boundary conditions. Electron J Qual Theory Differ Equ. 19, 115 (2003)
10. Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mountain J Math. 30, 12651292 (2000). doi:10.1216/rmjm/1021477351
11. Karakostas, GL, Tsamatos, PCh: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron J Differ Equ. 30, 117 (2002)
12. Ahmad, B, Ntouyas, SK, Alsaedi, A: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv Differ Equ 2011, 11 (2011). Article ID 107384. doi:10.1186/1687-1847-2011-11
13. Feng, M, Liu, X, Feng, H: The existence of positive solution to a nonlinear fractional differential equation with integral boundary conditions. Adv Differ Equ 2011, 14 (2011). Article ID 546038. doi:10.1186/1687-1847-2011-14
14. Corduneanu, C: Integral Equations and Applications. Cambridge University Press, Cambridge (1991)15. Agarwal, RP, ORegan, D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic Publishers, Dordrecht (2001)
16. Webb, JRL, Infante, G: Positive solutions of nonlocal boundary value problems involving integral conditions. Nonlinear Differ Equ Appl. 15, 4567 (2008). doi:10.1007/s00030-007-4067-7
17. Webb, JRL, Infante, G: Positive solutions of nonlocal boundary value problems: a unified approach. J Lond Math Soc. 74, 673693 (2006). doi:10.1112/S0024610706023179
18. Webb, JRL: Nonlocal conjugate type boundary value problems of higher order. Nonlinear Anal. 71, 19331940 (2009). doi:10.1016/j.na.2009.01.033
19. Hao, X, Liu, L, Wu, Y, Sun, Q: Positive solutions for nonlinear nth-order singular eigenvalue problem with nonlocal conditions. Nonlinear Anal. 73, 16531662 (2010). doi:10.1016/j.na.2010.04.074
20. Wang, Y, Liu, L, Wu, Y: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 74, 35993605 (2011). doi:10.1016/j.na.2011.02.043
21. Kilbas, AA, Srivastava, HM, Nieto, JJ: Theory and Applicational Differential Equations. Elsevier, Amsterdam (2006)22. Yuan, C: Multiple positive solutions for (n - 1, 1)-type semipositone conjugate boundary value problems of nonlinear fractional differential equations. Electron J Qual Theory Diff Equ. 2010(36), 12 (2010)
doi:10.1186/1687-1847-2012-71Cite this article as: Wu et al.: Positive solutions of higher-order nonlinear fractional differential equations with changing-sign measure. Advances in Difference Equations 2012 2012:71.
Page 14 of 14
You have requested "on-the-fly" machine translation of selected content from our databases. This functionality is provided solely for your convenience and is in no way intended to replace human translation. Show full disclaimer
Neither ProQuest nor its licensors make any representations or warranties with respect to the translations. The translations are automatically generated "AS IS" and "AS AVAILABLE" and are not retained in our systems. PROQUEST AND ITS LICENSORS SPECIFICALLY DISCLAIM ANY AND ALL EXPRESS OR IMPLIED WARRANTIES, INCLUDING WITHOUT LIMITATION, ANY WARRANTIES FOR AVAILABILITY, ACCURACY, TIMELINESS, COMPLETENESS, NON-INFRINGMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Your use of the translations is subject to all use restrictions contained in your Electronic Products License Agreement and by using the translation functionality you agree to forgo any and all claims against ProQuest or its licensors for your use of the translation functionality and any output derived there from. Hide full disclaimer
Springer International Publishing AG 2012
Abstract
In this article, we consider the existence of positive solutions of the (n - 1, 1) conjugate-type nonlocal fractional differential equation
[Equation not available: see fulltext.]
where α â[per thousand]¥ 2, [InlineEquation not available: see fulltext.] is the standard Riemann-Liouville derivative, [InlineEquation not available: see fulltext.] is a linear functional given by the Stieltjes integral, A is a function of bounded variation, and dA may be a changing-sign measure, namely the value of the linear functional is not assumed to be positive for all positive x. By constructing upper and lower solutions, some sufficient conditions for the existence of positive solutions to the problem are established utilizing Schauder's fixed point theorem in the case in which the nonlinearities f(t, x) are allowed to have the singularities at t = 0 and (or) 1 and also at x = 0.
AMS (MOS) Subject Classification: 34B15; 34B25.[PUBLICATION ABSTRACT]
You have requested "on-the-fly" machine translation of selected content from our databases. This functionality is provided solely for your convenience and is in no way intended to replace human translation. Show full disclaimer
Neither ProQuest nor its licensors make any representations or warranties with respect to the translations. The translations are automatically generated "AS IS" and "AS AVAILABLE" and are not retained in our systems. PROQUEST AND ITS LICENSORS SPECIFICALLY DISCLAIM ANY AND ALL EXPRESS OR IMPLIED WARRANTIES, INCLUDING WITHOUT LIMITATION, ANY WARRANTIES FOR AVAILABILITY, ACCURACY, TIMELINESS, COMPLETENESS, NON-INFRINGMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Your use of the translations is subject to all use restrictions contained in your Electronic Products License Agreement and by using the translation functionality you agree to forgo any and all claims against ProQuest or its licensors for your use of the translation functionality and any output derived there from. Hide full disclaimer