Skip to main content

Positive solutions to fractional boundary value problems with nonlinear boundary conditions

Abstract

We consider the existence of at least one positive solution of the problem D 0 + α u(t)=f(t,u(t)), 0<t<1, under the circumstances that u(0)=0, u(1)= H 1 (φ(u))+ E H 2 (s,u(s))ds, where 1<α<2, D 0 + α is the Riemann-Liouville fractional derivative, and u(1)= H 1 (φ(u))+ E H 2 (s,u(s))ds represents a nonlinear nonlocal boundary condition. By imposing some relatively mild structural conditions on f, H 1 , H 2 , and φ, one positive solution to the problem is ensured. Our results generalize the existing results and an example is given as well.

MSC: 34A08, 34B18.

1 Introduction

In this paper we consider the existence of at least one positive solution of the fractional differential equation

D 0 + α u(t)=f ( t , u ( t ) ) ,0<t<1,
(1)

subject to the boundary conditions

u(0)=0,u(1)= H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) ds,
(2)

here E(0,1) is some measurable set, 1<α<2, D 0 + α is the Riemann-Liouville fractional derivative and φ is a linear functional having the form

φ(u):= 0 1 u(t)dθ(t),
(3)

where the integral appearing in (3) is taken in the Lebesgue-Stieltjes sense, θ is a function of bounded variation.

Let us review briefly some recent results on such problems in order to see our problem (1)-(2) in a more appropriate context.

So far, in view of their various applications in science and engineering, such as fluid mechanics, control system, viscoelasticity, porous media, edge detection, optical systems, electromagnetism and so forth, see [1]–[15], fractional differential equations have attracted great attention of mathematicians.

There are a great number of works on the existence of solutions of various classes of ordinary differential equations and fractional differential equations; readers may refer to [16]–[32].

Some of them discussed two-point boundary value problems. For example, Bai and Lü [6] studied the following two-point boundary value problem of fractional differential equations:

D 0 + α u ( t ) + f ( t , u ( t ) ) = 0 , 0 < t < 1 , u ( 0 ) = u ( 1 ) = 0 ,
(4)

where 1<α2, D 0 + α is the standard Riemann-Liouville fractional derivative. By means of Guo-Krasnosel’skiǐ’s fixed point theorem and the Leggett-Williams fixed point theorem they obtained the existence of positive solutions.

Some authors discussed multi-point boundary value problems, for instance, by using fixed point index theory, the Krein-Rutman theorem and some other methods, Jiang [7] studied the eigenvalue interval of the multi-point boundary value problem

D α u ( t ) M u ( t ) = λ f ( t , u ( t ) ) , t [ 0 , 1 ] , u ( 0 ) = i = 1 n β i u ( ξ i ) ,
(5)

where 0<α<1, D α is the Caputo derivative, M0, 0< ξ 1 < ξ 2 << ξ n 1.

There are also results on fractional boundary value problem with integral boundary conditions, let us refer to Vong [8]. He investigated positive solutions of the nonlocal boundary value problem for a class of singular fractional differential equations with an integral boundary condition,

c D 0 + α u ( t ) + f ( t , u ( t ) ) = 0 , u ( 0 ) = = u ( n 1 ) ( 0 ) = 0 , u ( 1 ) = 0 1 u ( s ) d μ ( s ) ,
(6)

where n2, α(n1,n) and μ is a function of bounded variation.

To proceed, Goodrich [9] considered the existence of at least one positive solution of the ordinary differential equation

y ( t ) = f ( t , y ( t ) ) , 0 < t < 1 , y ( 0 ) = H 1 ( φ ( y ) ) + E H 2 ( s , y ( s ) ) d s , y ( 1 ) = 0 ,
(7)

in which the boundary condition is more general.

Motivated by the above works, we decided to consider the problem (1)-(2). As to the novel contributions of this work, we hold in the first place that the problem discussed in [9] is an ordinary differential equation, while we take a look into the fractional differential equation under the same boundary conditions. Secondly, the boundary conditions are more flexible and general than often. Let us take the condition u(0)= H 1 (φ(u))+ E H 2 (s,u(s))ds into consideration, where H 1 , H 2 , φ(u) are defined in the sequel. If H 1 (φ(u))+ E H 2 (s,u(s))ds=0, the conditions are the standard Dirichlet boundary conditions. Readers might refer to Bai and Lü [6]. As far as we are concerned, φ(u) varies among many sorts of functionals. If H 1 (φ(u))= F u(t)dt (where FE(0,1) is defined in the sequel) or H 1 (φ(u))= [ 0 , 1 ] u(t)dθ(t), our conditions reduce to integral boundary conditions, while if H 1 (φ(u))= i = 1 n | a i |u( ξ i ), we have multi-point boundary conditions. Thirdly, compared to Goodrich [9], we make an adjustment to the Green function and define a function r() instead of a constant which affects the defined cone.

This paper is organized as follows. In Section 2, we review some preliminaries and lemmas. In Section 3, a theorem and five corollaries about the existence of at least one positive solution of problem (1)-(2) are obtained. Lastly, we give an example to illustrate the obtained theorem.

2 Preliminaries and lemmas

For the convenience of the readers, we give some background materials from fractional calculus theory to facilitate the analysis of the boundary value problem (1)-(2).

Definition 2.1

([2])

The Riemann-Liouville fractional integral of order α>0 of a function y:(0,+)R is given by

I 0 + α y(t)= 1 Γ ( α ) 0 t ( t s ) α 1 y(s)ds,

provided the right side is pointwise defined on (0,+).

Definition 2.2

([2])

The Riemann-Liouville typed fractional derivative of order α (α>0) of a continuous function f:(0,+)R is given by

D 0 + α f(t)= 1 Γ ( n α ) ( d d t ) n 0 t ( t s ) n α + 1 f(s)ds,

where n=[α]+1, [α] denotes the integer part of number α, provided that the right side is pointwise defined on (0,+).

Lemma 2.1

([2])

Letα>0. If we assumeuC(0,1)L(0,1), then the fractional differential equation

D 0 + α u(t)=0

hasu(t)= c 1 t α 1 + c 2 t α 2 ++ c n t α n , c i R, i=1,2,,n, as a unique solution, where n is the smallest integer greater than or equal to α.

Lemma 2.2

([2])

LetuC(0,1)L(0,1)with a fractional derivative of order α (α>0) that belongs toC(0,1)L(0,1). Then

I 0 + α D 0 + α u(t)=u(t)+ c 1 t α 1 + c 2 t α 2 ++ c n t α n ,for some  c i R,i=1,2,,n,

where n is the smallest integer greater than or equal to α.

Remark 2.1

([2])

The Riemann-Liouville type fractional derivative and integral of order α (α>0) have the following properties:

D 0 + α I 0 + α u(t)=u(t), I 0 + α I 0 + β u(t)= I 0 + α + β u(t),α,β>0,uL(0,1).

Lemma 2.3

LetuC[0,1]and1<α<2. Then the fractional differential equation boundary value problem

D 0 + α u ( t ) + y ( t ) = 0 , 0 < t < 1 , u ( 0 ) = 0 , u ( 1 ) = H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ,

has a unique solution,

u(t)= t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + 0 1 G(t,s)y(s)ds,

where

G(t,s)= 1 Γ ( α ) { t α 1 ( 1 s ) α 1 ( t s ) α 1 , 0 s t 1 , t α 1 ( 1 s ) α 1 , 0 t s 1 .
(8)

Proof

We may apply Lemma 2.2 to reduce (1) to an equivalent integral equation,

u(t)= I 0 + α y(s)+ c 1 t α 1 + c 2 t α 2 , c 1 , c 2 R.

Consequently, the general solution of (1) is

u(t)= 0 t ( t s ) α 1 Γ ( α ) y(s)ds+ c 1 t α 1 + c 2 t α 2 , c 1 , c 2 R.

By (2), we have

c 1 = H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s + 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s , c 2 = 0 .

Therefore, the unique solution of problem (1) and (2) is

u ( t ) = t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] 0 t ( t s ) α 1 Γ ( α ) y ( s ) d s + t α 1 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s = t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + 0 1 G ( t , s ) y ( s ) d s .

The proof is complete. □

Lemma 2.4

([6])

Let(a,b)(0,1)be an arbitrary but fixed interval. Then the functionG(t,s)defined by (8) satisfies the following conditions:

  1. (1)

    G(t,s)>0, for t,s(0,1);

  2. (2)

    there exists a positive function γ()C(0,1) such that

    min a t b G(t,s)γ(s) max 0 t 1 G(t,s)=γ(s)G(s,s),for each 0s1.
    (9)

Lemma 2.5

([4])

Let B be a Banach space, and letKBbe a cone. Assume Ω 1 , Ω 2 are open and bounded subsets of B with0 Ω 1 , Ω ¯ 1 Ω 2 , and letT:K( Ω ¯ 2 Ω 1 )Kbe a completely continuous operator such that

  1. (i)

    Tuu, uK Ω 1 , and Tuu, uK Ω 2 ; or

  2. (ii)

    Tuu, uK Ω 1 , and Tuu, uK Ω 2 .

Then T has a fixed point inK( Ω ¯ 2 Ω 1 ).

In order to get the main results, we first need some structure on H 1 , H 2 , φ, and f appearing in problem (1)-(2).

Let B be the Banach space on C([0,1]) equipped with the usual supremum norm . Then define the cone KB by

K= { u B u ( t ) 0 , min a t b u ( t ) γ u , φ 1 ( u ) , φ 2 ( u ) 0 } ,

where γ =min{ min t [ a , b ] t α 1 , min s [ a , b ] γ(s)}.

Define the operator T:C[0,1]C[0,1] by

Tu(t)= t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + 0 1 G(t,s)f ( s , u ( s ) ) ds.
(10)

Here we come to the nine significant assumptions.

(H1): Let H 1 :[0,+)[0,+) and H 2 :[0,1]×[0,+)[0,+) be real-valued continuous functions.

(H2): The functional φ(u):= [ 0 , 1 ] u(t)dθ(t) can be written in the form

φ(u)= φ 1 (u)+ φ 2 (u):= [ 0 , 1 ] u(t)d θ 1 (t)+ [ 0 , 1 ] u(t)d θ 2 (t),
(11)

where θ, θ 1 , θ 2 :[0,1]R satisfy θ, θ 1 , θ 2 BV([0,1]), and φ 1 , φ 2 are continuous linear functionals.

(H3): There is a constant C 1 [0,1) such that the functional φ in (11) satisfies the inequality

| φ ( u ) | C 1 u
(12)

for all uC([0,1]). Furthermore, there is a constant C 2 >0 such that the functional φ 2 in (11) satisfies | φ 2 (u)| C 2 u whenever uK.

(H4): For each given ε>0, there are C 3 >0 and M ε >0 whenever z M ε and we have

| H 1 ( z ) C 3 z | <ε C 3 z.
(13)

(H5): There exists a function F:[0,+)[0,+) satisfying the growth condition

F(u)< C 4 u
(14)

for some C 4 0, having the property that for each given ε>0, there is M ε >0 such that

| H 2 ( x , u ) F ( u ) | <εF(u)
(15)

for all x[0,1], whenever u M ε .

(H6): Assume that the nonlinearity f(t,u) splits in the sense that f(t,u)=a(t)g(u), for continuous functions a:[0,1][0,+) and g:R[0,+) such that a is not identically zero on any subinterval of [0,1].

(H7): Suppose lim u 0 + g ( u ) u =+.

(H8): Suppose lim u + g ( u ) u =0.

(H9): For each i=1,2 both

[ 0 , 1 ] t α 1 d θ i (t)0
(16)

and

[ 0 , 1 ] G(t,s)d θ i (t)0
(17)

hold, where (17) holds for each s[0,1].

3 Main results

In this section we state and prove the existence theorem of problem (1)-(2).

Lemma 3.1

Let T be the operator defined in (10). Assume conditions (H1)-(H9) hold. ThenT:KK, and the operator T is completely continuous.

Proof

Now we divide the proof into two steps; in the first step we prove that T:KK, then in the next, the conclusion that the operator T is completely continuous is treated.

Step 1. Here we are going to show that T:KK. In fact, since H 1 , H 2 , a, and g are all nonnegative, it is easy to find that whenever uK, it follows that (Tu)(t)0, for each t[0,1], where we use the fact φ(u)0, following H 1 (φ(u))0.

On the other hand, provided uK we get

min t [ a , b ] T u ( t ) min t [ a , b ] t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + min t [ a , b ] 0 1 G ( t , s ) f ( s , u ( s ) ) d s γ 0 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + max t [ 0 , 1 ] 0 1 γ ( s ) G ( t , s ) f ( s , u ( s ) ) d s γ 0 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + max t [ 0 , 1 ] a b γ ( s ) G ( t , s ) f ( s , u ( s ) ) d s γ 0 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + min t [ a , b ] γ ( t ) max t [ 0 , 1 ] a b G ( t , s ) f ( s , u ( s ) ) d s γ T u ,
(18)

where γ 0 = min t [ a , b ] t α 1 .

Consequently, for each i=1,2 we deduce that

φ i ( T u ) = [ 0 , 1 ] t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] d θ i ( t ) + [ 0 , 1 ] ( 0 1 G ( t , s ) a ( s ) g ( u ( s ) ) d s ) d θ i ( t ) = [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] [ 0 , 1 ] t α 1 d θ i ( t ) + 0 1 [ [ 0 , 1 ] G ( t , s ) d θ i ( t ) ] a ( s ) g ( u ( s ) ) d s 0 ,
(19)

where the inequality follows from assumption (H9). Thus, φ i (Tu)0, therefore as desired we conclude T(K)K.

Step 2. In this part we turn to the proof that T(Ω) in the sequel is bounded as well as equicontinuous with the help of the Arzelà-Ascoli theorem.

With the continuity of H 1 , H 2 , a, and g, it is easy to find T is continuous.

Let ΩK be bounded, namely, there exists a number M>0, such that for each uΩ we have uM. By the continuity of H 1 , H 2 , and φ, we find H 1 , H 2 are bounded, so there exist constants P>0 and Q>0 such that | H 1 (φ(Ω))|P and | H 2 (t,u(t))|Q. E(0,1) is a measurable set, take L= max t [ 0 , 1 ] , u [ 0 , M ] |f(t,u)|+1, then

| ( T u ) ( t ) | = | t α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + 0 1 G ( t , s ) f ( s , u ( s ) ) d s | | H 1 ( φ ( u ) ) | + E | H 2 ( s , u ( s ) ) | d s + 0 1 G ( t , s ) | f ( s , u ( s ) ) | d s P + Q m ( E ) + L 0 1 G ( t , s ) d s P + Q m ( E ) + L 0 1 G ( s , s ) d s = P + Q m ( E ) + L Γ ( α + 2 ) .
(20)

Hence T(Ω) is bounded.

For each uΩ, t 1 , t 2 [0,1], t 1 < t 2 , and assuming there is a δ>0, such that t 2 t 1 <δ, for each ε>0 put

δ=min { ε , 1 2 ( ε 2 N ) 1 α 1 , [ ε 2 ( α 1 ) N ] 1 α 1 , ( ε 2 N α ) 1 α } ,
(21)

where N=P+Qm(E)+ L Γ ( α + 1 ) , we find |(Tu)( t 2 )(Tu)( t 1 )|<ε, so that T(Ω) is equicontinuous.

Indeed,

| ( T u ) ( t 2 ) ( T u ) ( t 1 ) | = | t 2 α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + 0 1 G ( t 2 , s ) f ( s , u ( s ) ) d s t 1 α 1 [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] 0 1 G ( t 1 , s ) f ( s , u ( s ) ) d s | = | ( t 2 α 1 t 1 α 1 ) [ H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s ] + 0 1 ( G ( t 2 , s ) G ( t 1 , s ) ) f ( s , u ( s ) ) d s | ( t 2 α 1 t 1 α 1 ) [ | H 1 ( φ ( u ) ) | + E | H 2 ( s , u ( s ) ) | d s ] + | 0 1 ( G ( t 2 , s ) G ( t 1 , s ) ) f ( s , u ( s ) ) d s | .
(22)

By the continuity of H 1 , H 2 , and φ, we find H 1 , H 2 are bounded, so there exist constants P>0 and Q>0 such that | H 1 (φ(Ω))|P and | H 2 (t,u(t))|Q. E(0,1) is a measurable set, take L= max t [ 0 , 1 ] , u [ 0 , M ] |f(t,u)|+1, then

| ( T u ) ( t 2 ) ( T u ) ( t 1 ) | ( t 2 α 1 t 1 α 1 ) [ P + Q m ( E ) ] + 0 1 | ( G ( t 2 , s ) G ( t 1 , s ) ) f ( s , u ( s ) ) | d s ( t 2 α 1 t 1 α 1 ) [ P + Q m ( E ) ] + L Γ ( α ) [ 0 t 1 | t 2 α 1 ( 1 s ) α 1 ( t 2 s ) α 1 t 1 α 1 ( 1 s ) α 1 + ( t 1 s ) α 1 | d s + t 1 t 2 | t 2 α 1 ( 1 s ) α 1 ( t 2 s ) α 1 t 1 α 1 ( 1 s ) α 1 | d s + t 2 1 | t 2 α 1 ( 1 s ) α 1 t 1 α 1 ( 1 s ) α 1 | d s ] ( t 2 α 1 t 1 α 1 ) [ P + Q m ( E ) ] + L Γ ( α ) { | t 2 α 1 t 1 α 1 | 0 t 1 ( 1 s ) α 1 d s + 0 t 1 [ ( t 2 s ) α 1 ( t 1 s ) α 1 ] d s + | t 2 α 1 t 1 α 1 | t 1 t 2 ( 1 s ) α 1 d s + t 1 t 2 ( t 2 s ) α 1 d s + | t 2 α 1 t 1 α 1 | t 2 1 ( 1 s ) α 1 d s } = ( t 2 α 1 t 1 α 1 ) [ P + Q m ( E ) + L Γ ( α + 1 ) ] + L Γ ( α + 1 ) ( t 2 α t 1 α ) .
(23)

Next we discuss the following three cases.

Case 1. δ t 1 < t 2 <1.

t 2 α 1 t 1 α 1 α 1 δ 2 α ( t 2 t 1 ) ( α 1 ) δ α 1 ε 2 N , t 2 α t 1 α α δ 1 α ( t 2 t 1 ) α δ α ε 2 N .
(24)

Case 2. 0 t 1 <δ< t 2 <2δ.

t 2 α 1 t 1 α 1 t 2 α 1 ( 2 δ ) α 1 ε 2 N , t 2 α t 1 α t 2 α ( 2 δ ) α ε 2 N .
(25)

Case 3. 0 t 1 < t 2 <δ.

t 2 α 1 t 1 α 1 t 2 α 1 δ α 1 ε 2 N , t 2 α t 1 α t 2 α δ α ε 2 N .
(26)

Hence |(Tu)( t 2 )(Tu)( t 1 )|ε.

From the Arzelà-Ascoli theorem, T is completely continuous. The proof is complete. □

With Lemma 3.1 in hand, we are now ready to present the first existence theorem for problem (1) and (2).

Theorem 3.1

Assume that conditions (H1)-(H9) hold. Suppose that

C 1 C 3 + C 4 m(E)<1
(27)

and thatE(0,1). Then problem (1)-(2) has at least one positive solution.

Proof

Begin by selecting a number η 1 such that

η 1 a b γ G ( 1 2 , s ) a(s)ds1.
(28)

From (H7), there exists a number r 1 >0 such that g(u) η 1 u whenever 0<u r 1 . Then set

Ω r 1 := { u B : u < r 1 } ,
(29)

for uK Ω r 1 we find

( T u ) ( 1 2 ) 0 1 G ( 1 2 , s ) a ( s ) g ( u ( s ) ) d s u η 1 a b γ G ( 1 2 , s ) a ( s ) d s u ,
(30)

from the definition of norm , we get Tuu, and so, T is a cone expansion on K Ω r 1 .

From condition (27), we choose a positive number ε small enough, so that we may assume

C 1 C 3 ε+ C 1 C 3 +ε+( C 4 + C 4 ε)m(E)1.
(31)

Since φ 1 (u)0, it follows that φ(u) φ 2 (u) C 2 u, if u M ε C 2 , then φ(u)> M ε , and then by condition (H4), we have

| H 1 ( φ ( u ) ) C 3 φ ( u ) | <ε C 3 φ(u).
(32)

For E(0,1), we may select 0<a<b<1 such that E(a,b). By the definition of the cone, we have

min t E u(t) min t [ a , b ] u(t) r u.
(33)

If u M ε r , then

min t E u(t) min t [ a , b ] u(t) r u r M ε r = M ε .
(34)

Hence, by condition (H5) we get

| H 2 ( x , u ( s ) ) F ( u ( s ) ) | <εF ( u ( s ) ) .
(35)

Provided that

umax { M ε C 2 , M ε r } ,
(36)

both (32) and (35) hold.

Next we are going to discuss these two cases: g is bounded and unbounded on [0,+), respectively.

Now if g is bounded on [0,+), then there exists r 2 >0 sufficiently large such that

g(u) r 2 ,for any u0.
(37)

Indeed, we might assume without loss of generality that

g(u) r 2 ε 0 1 G ( s , s ) a ( s ) d s ,
(38)

where ε is selected sufficiently small such that both (32) and (35) hold. We define a number

r 2 :=max { 2 r 1 r , r 2 , M ε C 2 , M ε r } .

Set

Ω r 2 := { u B : u < r 2 } .
(39)

Then for each uK Ω r 2 we find that

T u H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s + 0 1 G ( s , s ) a ( s ) g ( u ( s ) ) d s | H 1 ( φ ( u ) ) C 3 φ ( u ) | + C 3 | φ ( u ) | + E | H 2 ( s , u ( s ) ) F ( u ( s ) ) | d s + E | F ( u ( s ) ) | d s + 0 1 r 2 ε d s ε C 1 C 3 u + C 1 C 3 u + m ( E ) C 4 ( 1 + ε ) u + ε u = [ C 1 C 3 ε + C 1 C 3 + m ( E ) C 4 ( 1 + ε ) + ε ] u u ,
(40)

whence T is a cone compression on K Ω r 2 .

On the other hand, assume g is unbounded on [0,+). From condition (H8) there is a number r 3 >0 such that g(u) η 2 u whenever u> r 3 , where η 2 is picked with

η 2 0 1 G(s,s)a(s)dsε.
(41)

Since g is unbounded on [0,+), we can find a number r 3 satisfying

r 3 >max { 2 r 1 r , r 3 , M ε C 2 , M ε r } ,

such that g(u)g( r 3 ) for any u[0, r 3 ].

Take

Ω r 3 := { u B : u < r 3 } .
(42)

Then for each uK Ω r 3 we find that

T u H 1 ( φ ( u ) ) + E H 2 ( s , u ( s ) ) d s + 0 1 G ( s , s ) a ( s ) g ( u ( s ) ) d s | H 1 ( φ ( u ) ) C 3 φ ( u ) | + C 3 | φ ( u ) | + E | H 2 ( s , u ( s ) ) F ( u ( s ) ) | d s + E | F ( u ( s ) ) | d s + 0 1 G ( s , s ) a ( s ) g ( r 3 ) d s C 3 ε φ ( u ) + C 1 C 3 u + E ( 1 + ε ) F ( u ( s ) ) d s + 0 1 G ( s , s ) a ( s ) g ( r 3 ) d s ε C 1 C 3 u + C 1 C 3 u + m ( E ) C 4 ( 1 + ε ) u + ε u = [ C 1 C 3 ε + C 1 C 3 + m ( E ) C 4 ( 1 + ε ) + ε ] u u ,
(43)

whence T is a cone compression on K Ω r 3 .

Therefore, in either case, define r 4 =max{ r 2 , r 3 }, we find Tuu whenever uK Ω r 4 . From Lemma 2.5, we claim that problem (1)-(2) has at least one positive solution; the proof is complete. □

Next we are going to give some corollaries since φ(u) admits a wide variety of functionals. First we assume H 1 (φ(u))=0, then, respectively, that H 1 (φ(u))= F u(t)dt, H 1 (φ(u))= i = 1 n | a i |u( ξ i ) and H 1 (φ(u))= [ 0 , 1 ] u(t)dθ(t), where FE(0,1) is not Lebesgue null. In addition, we know u(0)=0 is also well defined and if u(0)=0 the problem as well as the boundary conditions are similar to [6].

Corollary 3.1

Assume that conditions (H1), (H6)-(H9) hold, then the problem with Dirichlet conditions

D 0 + α u ( t ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 0 ) = 0 , u ( 1 ) = 0 ,
(44)

has at least one positive solution.

Corollary 3.2

Assume that conditions (H1)-(H9) hold. Suppose, in addition,

C 1 C 3 + C 4 m(E)<1,

andFE(0,1)is not Lebesgue null, andm(F) C 1 , then the problem with integral conditions

D 0 + α u ( t ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 1 ) = F u ( t ) d t + E H 2 ( s , u ( s ) ) d s , u ( 0 ) = 0 ,
(45)

has at least one positive solution.

Corollary 3.3

Assume that conditions (H1)-(H9) hold. Suppose, in addition,

C 1 C 3 + C 4 m(E)<1,

andE(0,1)is not Lebesgue null, and i = 1 n | a i | C 1 , then the problem with multi-point conditions

D 0 + α u ( t ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 1 ) = i = 1 n | a i | u ( ξ i ) + E H 2 ( s , u ( s ) ) d s , u ( 0 ) = 0 ,
(46)

has at least one positive solution.

Corollary 3.4

Assume that conditions (H1)-(H9) hold. Suppose, in addition,

C 1 C 3 + C 4 m(E)<1,

andE(0,1)is not Lebesgue null, and the total variation of θ over[0,1]satisfies V [ 0 , 1 ] (θ) C 1 , then the problem with the Lebesgue-Stieltjes integral conditions

D 0 + α u ( t ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 1 ) = [ 0 , 1 ] u ( t ) d θ ( t ) + E H 2 ( s , u ( s ) ) d s , u ( 0 ) = 0 ,
(47)

has at least one positive solution.

Specially, take θ(t)= t 2 t, for any x,y[0,1] we have

| θ ( x ) θ ( y ) | = | ( x y ) ( x + y 1 ) | |xy|,

then

V [ 0 , 1 ] (θ)= i = 1 n | θ ( x i ) θ ( x i 1 ) | i = 1 n | x i x i 1 |= i = 1 n ( x i x i 1 )=1,

thus we have the following corollary.

Corollary 3.5

Assume that conditions (H1)-(H4) and (H6)-(H9) hold. Suppose, in addition,

C 1 C 3 <1,

then the problem

D 0 + α u ( t ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 1 ) = [ 0 , 1 ] u ( t ) d ( t 2 t ) , u ( 0 ) = 0 ,
(48)

has at least one positive solution.

4 Example

In this part we give an example of Theorem 3.1.

Define φ(u) in the first place by

φ(u)= 1 5 u ( 3 4 ) 1 4 u ( 2 5 ) + [ 3 10 , 2 5 ] u(t)dt,
(49)

where

φ 1 (u)= 1 5 u ( 3 4 ) 1 4 u ( 2 5 ) , φ 2 (u)= [ 3 10 , 2 5 ] u(t)dt.
(50)

Then define H 1 , H 2 by

H 1 (z)=ln(z+1)+z
(51)

and

H 2 (x,u)=3u+2 x 2 + e x u .
(52)

It is clear that

lim z | ( ln ( z + 1 ) + z ) z | =0,
(53)

and moreover

lim u | ( 3 u + 2 x 2 + e x u ) 3 u | 3 u =0,
(54)

so conditions (H4) and (H5) hold, and we see C 3 =1, C 4 =3, and F(u)=3u.

Now we consider the boundary value problem

D 0 + α u ( t ) = f ( t , u ( t ) ) , 0 < t < 1 , u ( 1 ) = ln ( φ ( u ) + 1 ) + φ ( u ) + 7 20 2 5 [ 3 u ( s ) + 2 s 2 + e s u ( s ) ] d s , u ( 0 ) = 0 ,
(55)

where f(t,u(t)) is a given function with conditions (H7) and (H8) satisfied. Here E=[ 7 20 , 2 5 ] is chosen such that m(E)= 1 20 and E(0,1).

What is more, for each uK

| φ ( u ) | 1 5 u+ 1 4 u+ ( 2 5 3 10 ) u= 11 20 u
(56)

and

| φ 2 ( u ) | 1 10 r u.
(57)

Then we find that C 1 = 11 20 [0,1] and C 2 = 1 10 r >0, so condition (H3) is met as well. Finally, after straightforward numerical calculations, condition (H9) can also be achieved, since

C 1 C 3 + C 4 m(E)= 11 20 1+3 1 20 <1.

As a consequence, each of conditions (H1)-(H9) is satisfied. From Theorem 3.1, problem (55) has at least one positive solution.

References

  1. Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.

    Google Scholar 

  2. Kilbas AA, Srivastava HH, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    Google Scholar 

  3. Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge; 1988.

    Google Scholar 

  4. Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, Orlando; 1988.

    Google Scholar 

  5. Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.

    Google Scholar 

  6. Bai Z, Lü H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311: 495-505. 10.1016/j.jmaa.2005.02.052

    Article  MathSciNet  Google Scholar 

  7. Jiang W: Eigenvalue interval for multi-point boundary value problems of fractional differential equations. Appl. Math. Comput. 2013, 219: 4570-4575. 10.1016/j.amc.2012.10.068

    Article  MathSciNet  Google Scholar 

  8. Vong S: Positive solutions of singular fractional differential equations with integral boundary conditions. Math. Comput. Model. 2013, 57: 1053-1059. 10.1016/j.mcm.2012.06.024

    Article  MathSciNet  Google Scholar 

  9. Goodrich CS: On a nonlocal BVP with nonlinear boundary conditions. Results Math. 2013, 63: 1351-1364. 10.1007/s00025-012-0272-8

    Article  MathSciNet  Google Scholar 

  10. Anguraj A, Karthikeyan P, Rivero M, Trujillo JJ: On new existence results for fractional integro-differential equations with impulsive and integral conditions. Comput. Math. Appl. 2014, 66: 2587-2594. 10.1016/j.camwa.2013.01.034

    Article  MathSciNet  Google Scholar 

  11. Cabada A, Wang G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 2012, 389: 403-411. 10.1016/j.jmaa.2011.11.065

    Article  MathSciNet  Google Scholar 

  12. Chalishajar DN, Karthikeyan K: Existence and uniqueness results for boundary value problems of higher order fractional integro-differential equations involving Gronwall’s inequality in Banach spaces. Acta Math. Sci. 2013, 33: 758-772. 10.1016/S0252-9602(13)60036-3

    Article  MathSciNet  Google Scholar 

  13. Zhang L, Ahmad B, Wang G, Agarwal R: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 2013, 249: 51-56. 10.1016/j.cam.2013.02.010

    Article  MathSciNet  Google Scholar 

  14. Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006., 2006:

    Google Scholar 

  15. Sun S, Li Q, Li Y: Existence and uniqueness of solutions for a coupled system of multi-term nonlinear fractional differential equations. Comput. Math. Appl. 2012, 64: 3310-3320. 10.1016/j.camwa.2012.01.065

    Article  MathSciNet  Google Scholar 

  16. Liang S, Zhang J: Positive solutions for boundary value problems of nonlinear fractional differential equation. Nonlinear Anal. 2009, 71: 5545-5550. 10.1016/j.na.2009.04.045

    Article  MathSciNet  Google Scholar 

  17. Li N, Wang C: New existence results of positive solution for a class of nonlinear fractional differential equations. Acta Math. Sci. 2013, 33(3):847-854. 10.1016/S0252-9602(13)60044-2

    Article  MathSciNet  Google Scholar 

  18. Shi A, Zhang S: Upper and lower solutions method and a fractional differential equation boundary value problem. Electron. J. Qual. Theory Differ. Equ. 2009., 2009:

    Google Scholar 

  19. Su X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 2009, 22: 64-69. 10.1016/j.aml.2008.03.001

    Article  MathSciNet  Google Scholar 

  20. Benchohra M, Hamani S, Ntouyas SK: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 2009, 71: 2391-2396. 10.1016/j.na.2009.01.073

    Article  MathSciNet  Google Scholar 

  21. Feng W, Sun S, Han Z, Zhao Y: Existence of solutions for a singular system of nonlinear fractional differential equations. Comput. Math. Appl. 2011, 62: 1370-1378. 10.1016/j.camwa.2011.03.076

    Article  MathSciNet  Google Scholar 

  22. Sun S, Zhao Y, Han Z, Xu M: Uniqueness of positive solutions for boundary value problems of singular fractional differential equations. Inverse Probl. Sci. Eng. 2012, 20: 299-309. 10.1080/17415977.2011.603726

    Article  MathSciNet  Google Scholar 

  23. Stanĕk S: The existence of positive solutions of singular fractional boundary value problems. Comput. Math. Appl. 2011, 62: 1379-1388. 10.1016/j.camwa.2011.04.048

    Article  MathSciNet  Google Scholar 

  24. Bai C, Fang J: The existence of a positive solution for a singular coupled system of nonlinear fractional differential equations. Appl. Math. Comput. 2004, 150: 611-621. 10.1016/S0096-3003(03)00294-7

    Article  MathSciNet  Google Scholar 

  25. Zhang Q, Jiang D: Upper and lower solutions method and a second order three-point singular boundary value problem. Comput. Math. Appl. 2008, 56: 1059-1070. 10.1016/j.camwa.2008.01.033

    Article  MathSciNet  Google Scholar 

  26. Jiang D: Upper and lower solutions method and a superlinear singular boundary value problem. Comput. Math. Appl. 2002, 44: 323-337. 10.1016/S0898-1221(02)00151-7

    Article  MathSciNet  Google Scholar 

  27. Zhao Y, Sun S, Han Z, Li Q: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 2086-2097. 10.1016/j.cnsns.2010.08.017

    Article  MathSciNet  Google Scholar 

  28. Zhao Y, Sun S, Han Z, Li Q: Theory of fractional hybrid differential equations. Comput. Math. Appl. 2011, 62: 1312-1324. 10.1016/j.camwa.2011.03.041

    Article  MathSciNet  Google Scholar 

  29. Sun S, Zhao Y, Han Z, Li Y: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 4961-4967. 10.1016/j.cnsns.2012.06.001

    Article  MathSciNet  Google Scholar 

  30. Ding X, Feng Y, Bu R: Existence nonexistence and multiplicity of positive solutions for nonlinear fractional differential equations. J. Appl. Math. Comput. 2012, 40: 371-381. 10.1007/s12190-012-0564-x

    Article  MathSciNet  Google Scholar 

  31. Yan R, Sun S, Sun Y, Han Z: Boundary value problems for fractional differential equations with nonlocal boundary conditions. Adv. Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-176

    Google Scholar 

  32. Li X, Han Z, Sun S: Existence of positive solutions of nonlinear fractional q -difference equation with parameter. Adv. Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-260

    Google Scholar 

Download references

Acknowledgements

The authors sincerely thank the reviewers for their valuable suggestions and useful comments, which have led to the present improved version of the original manuscript. This research is supported by the Natural Science Foundation of China (61374074), Natural Science Outstanding Youth Foundation of Shandong Province (JQ201119) and supported by Shandong Provincial Natural Science Foundation (ZR2012AM009, ZR2013AL003), also supported by Graduate Innovation Foundation of University of Jinan (YCX13013).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shurong Sun.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Feng, W., Sun, S., Li, X. et al. Positive solutions to fractional boundary value problems with nonlinear boundary conditions. Bound Value Probl 2014, 225 (2014). https://doi.org/10.1186/s13661-014-0225-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-014-0225-0

Keywords