Skip to main content

Advertisement

Fractional q-difference hybrid equations and inclusions with Dirichlet boundary conditions

Article metrics

  • 660 Accesses

  • 1 Citations

Abstract

We study the existence of solutions for boundary value problems of nonlinear fractional q-difference hybrid equations and inclusions by means of fixed point theorems for single- and multi-valued maps. The main results are illustrated with the aid of examples.

MSC:34A60, 34A08, 34B18.

1 Introduction

Fractional calculus has evolved into an interesting and popular field of research due to its theoretical development and extensive applications in the mathematical modeling of many real world phenomena occurring in several branches of the physical, biological, and technical sciences [18].

Fractional q-difference (q-fractional) equations are regarded as fractional analogs of q-difference equations and have been investigated by many researchers [919]. For some earlier work on the topic, we refer to [20, 21], whereas the preliminary concepts on q-fractional calculus can be found in a recent text [22].

Fractional hybrid differential equations have also received a considerable attention; for instance, see [2325] and the references cited therein. In [26], the authors studied the existence of solutions for a boundary value problem of Riemann-Liouville fractional hybrid differential equations.

In this paper, motivated by [26], we study the existence of solutions for Dirichlet boundary value problems of fractional q-difference hybrid equations and inclusions. As a first problem, we consider

{ D q α ( x ( t ) f ( t , x ( t ) ) ) = g ( t , x ( t ) ) , 0 t 1 , 1 < α 2 , 0 < q < 1 , x ( 0 ) = 0 , x ( 1 ) = 0 ,
(1.1)

where D q α denotes the Caputo fractional q-derivative of order α, fC([0,1]×R,R{0}) and g:C([0,1]×R,R).

Next, we study a boundary value problem of fractional q-difference hybrid inclusions given by

{ D q α ( x ( t ) f ( t , x ( t ) ) ) F ( t , x ( t ) ) , 0 < t < 1 , 1 < α 2 , 0 < q < 1 , x ( 0 ) = x ( 1 ) = 0 ,
(1.2)

where F:[0,1]×RP(R) is a multi-valued map, P(R) is the family of all nonempty subsets of .

The paper is organized as follows: in Section 2 we recall some preliminary facts. The existence of solutions for the problem (1.1) is shown in Section 3 while the multi-valued problem (1.2) is investigated in Section 4. The main tool of our study are fixed point theorems due to Dhage for single-valued [27] and multi-valued [28] maps.

2 Preliminaries

First of all, we recall the notations and terminology for q-fractional calculus [22, 29].

For a real parameter q R + {1}, a q-real number denoted by [ a ] q is defined by

[ a ] q = 1 q a 1 q ,aR.

The q-analog of the Pochhammer symbol (q-shifted factorial) is defined as

( a ; q ) 0 =1, ( a ; q ) k = i = 0 k 1 ( 1 a q i ) ,kN{}.

The q-analog of the exponent ( x y ) k is

( x y ) ( 0 ) =1, ( x y ) ( k ) = j = 0 k 1 ( x y q j ) ,kN,x,yR.

The q-gamma function Γ q (y) is defined as

Γ q (y)= ( 1 q ) ( y 1 ) ( 1 q ) y 1 ,

where yR{0,1,2,}. Observe that Γ q (y+1)= [ y ] q Γ q (y).

Definition 2.1 ([22])

Let f be a function defined on [0,1]. The fractional q-integral of the Riemann-Liouville type of order β0 is ( I q 0 f)(t)=f(t) and

I q β f(t):= 0 t ( t q s ) ( β 1 ) Γ q ( β ) f(s) d q s= t β ( 1 q ) β k = 0 q k ( q β ; q ) n ( q ; q ) n f ( t q k ) ,β>0,t[0,1].

Observe that β=1 in Definition 2.1 yields the q-integral

I q f(t):= 0 t f(s) d q s=t(1q) k = 0 q k f ( t q k ) .

For more details on q-integral and fractional q-integral, see Section 1.3 and Section 4.2, respectively, in [22].

Remark 2.2 The q-fractional integration possesses the semigroup property ([22], Proposition 4.3):

I q γ I q β f(t)= I q β + γ f(t);γ,β R + .

Further, it has been shown in Lemma 6 of [29] that

I q β ( x ) ( σ ) = Γ q ( σ + 1 ) Γ q ( β + σ + 1 ) ( x ) ( β + σ ) ,0<x<a,β R + ,σ(1,).

Before giving the definition of fractional q-derivative, we recall the concept of q-derivative.

The q-derivative of a function f(t) is defined as

( D q f)(t)= f ( t ) f ( q t ) t q t ,t0,( D q f)(0)= lim t 0 ( D q f)(t).

Furthermore,

D q 0 f=f, D q n f= D q ( D q n 1 f ) ,n=1,2,3,.
(2.1)

Definition 2.3 ([22])

The Caputo fractional q-derivative of order β>0 is defined by

D q β c f(t)= I q β β D q β f(t),

where β is the smallest integer greater than or equal to β.

Next we recall some properties involving Riemann-Liouville q-fractional integral and Caputo fractional q-derivative ([22], Theorem 5.2).

I q β c D q β f(t)=f(t) k = 0 β 1 t k Γ q ( k + 1 ) ( D q k f ) ( 0 + ) ,t(0,a],β>0;
(2.2)
D q β c I q β f(t)=f(t),t(0,a],β>0.
(2.3)

3 An existence result for the single-valued problem

This section begins with a basic result, which plays a pivotal role in the forthcoming analysis. Let C([0,1],R) denote a Banach space of continuous functions from [0,1] into with the norm x= sup t [ 0 , 1 ] |x(t)|.

Lemma 3.1 For yC([0,1],R), the unique solution of the problem

{ D q α ( x ( t ) f ( t , x ( t ) ) ) = y ( t ) , 0 < t < 1 , x ( 0 ) = x ( 1 ) = 0 ,
(3.1)

is given by

x(t)=f ( t , x ( t ) ) ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) y ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) y ( s ) d q s ) ,t[0,1].

Proof It is well known that the general solution of the q-fractional differential equation in (3.1) can be written as

x(t)=f ( t , x ( t ) ) ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) y ( s ) d q s + c 0 t + c 1 ) ,t[0,1],
(3.2)

where c 0 , c 1 R are arbitrary unknown constants. Using the boundary conditions given in (3.2), we have

c 1 =0, c 0 = 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) y(s) d q s.

Substituting the values of c 0 and c 1 in (3.2), we get

x(t)=f ( t , x ( t ) ) ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) y ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) y ( s ) d q s ) ,t[0,1].

 □

We use the nonlinear alternative of Schaefer’s type due to Dhage [27].

Lemma 3.2 ([27])

Let B r (0) and B ¯ r (0) respectively denote an open and closed ball in a Banach algebra X centered at origin of radius r, for some real number r>0. Let A:XX and B: B ¯ r (0)X be two operators such that:

  1. (a)

    A is Lipschitzian with a Lipschitz constant k,

  2. (b)

    B is completely continuous,

  3. (c)

    kM<1, where M=B( B ¯ r (0))=sup{Bx:x B ¯ r (0)}.

Then either

  1. (i)

    the equation AxBx=x has a solution in B ¯ r (0), or

  2. (ii)

    there exists an uX with u=r such that λAuBu=u for some 0<λ<1.

Now we are in a position to present the first main result of our paper.

Theorem 3.3 Assume that:

(H1) the function f:[0,1]×RR{0} is continuous and there exists a bounded function ϕ, with bound ϕ, such that ϕ(t)>0 for t[0,1] and

|f(t,x)f(t,y)|ϕ(t)|x(t)y(t)|for t[0,1] and for all x,yR;

(H2) there exist a continuous nondecreasing function Ω:[0,)(0,) and a function γC([0,1], R + ) such that

|g(t,x)|γ(t)Ω ( x ) ,t[0,1] and for all xR;

(H3) there exists a real number r>0 such that

r> 2 F 0 Γ q ( α + 1 ) γ Ω ( r ) 1 2 ϕ Γ q ( α + 1 ) γ Ω ( r ) ,
(3.3)

where

2 ϕ Γ q ( α + 1 ) γΩ(r)<1, F 0 = sup t [ 0 , 1 ] |f(t,0)|.

Then the problem (1.1) has at least one solution on [0,1].

Proof Let us set X=C([0,1],R) and consider a closed ball B ¯ r (0) in X, where r satisfies the inequality (3.3). By Lemma 3.1, the problem (1.1) is equivalent to the integral equation

x ( t ) = f ( t , x ( t ) ) ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s ) , t [ 0 , 1 ] .
(3.4)

Define two operators A,B: B ¯ r (0)X by

Ax(t)=f ( t , x ( t ) ) ,t[0,1]
(3.5)

and

Bx(t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s.
(3.6)

Observe that x=AxBx. We shall show that the operators A and satisfy all the conditions of Lemma 3.2. The proof is constructed in several steps.

Step 1. A is Lipschitz on X, that is, the assumption (a) of Lemma 3.2 holds.

Let x,yX. Then by (H1), we have

| A x ( t ) A y ( t ) | = | f ( t , x ( t ) ) f ( t , y ( t ) ) | ϕ ( t ) | x ( t ) y ( t ) | ϕ x y

for all t[0,1]. Taking the supremum over the interval [0,1], we get

AxAyϕxy

for all x,y B ¯ r (0). So A is Lipschitz on B ¯ r (0) with Lipschitz constant ϕ.

Step 2. The operator is completely continuous on B ¯ r (0), that is, (b) of Lemma 3.2 holds.

First we show that is continuous on B ¯ r (0). Let { x n } be a sequence in B ¯ r (0) converging to a point x B ¯ r (0). Then, by Lebesgue’s dominated convergence theorem, we have

lim n B x n ( t ) = lim n 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x n ( s ) ) d q s lim n t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x n ( s ) ) d q s = 0 t ( t q s ) ( α 1 ) Γ q ( α ) lim n g ( s , x n ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) lim n g ( s , x n ( s ) ) d q s = 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s = B x ( t )

for all t[0,1]. This shows that is continuous on B ¯ r (0). It is enough to show that B( B ¯ r (0)) is a uniformly bounded and equicontinuous set in X. First we note that

| B x ( t ) | = | 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s | 0 t ( t q s ) ( α 1 ) Γ q ( α ) | g ( s , x ( s ) ) | d q s + 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) | g ( s , x ( s ) ) | d q s 2 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) γ ( s ) Ω ( x ) d q s = 2 Γ q ( α + 1 ) γ Ω ( r )

for all t[0,1]. Taking supremum over the interval [0,1] yields

Bx 2 Γ q ( α + 1 ) γΩ(r)

for all x B ¯ r (0). This shows that is uniformly bounded on B ¯ r (0).

Next we show that is an equicontinuous set in X. Let t 1 , t 2 [0,1] with t 1 < t 2 . Then we have

| B x ( t 2 ) B x ( t 1 ) | | 0 t 2 ( t 2 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s 0 t 1 ( t 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s | + ( t 2 t 1 ) 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s γ Ω ( r ) 0 t 1 [ ( t 2 q s ) ( α 1 ) Γ q ( α ) ( t 1 q s ) ( α 1 ) Γ q ( α ) ] d q s + γ Ω ( r ) t 1 t 2 ( t 2 q s ) ( α 1 ) Γ q ( α ) d q s + γ Ω ( r ) ( t 2 t 1 ) 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) d q s .

Obviously the right-hand side of the above inequality tends to zero independently of x B ¯ r (0) as t 2 t 1 0. Therefore, it follows by the Arzelá-Ascoli theorem that is a completely continuous operator on B ¯ r (0).

Step 3. Mk<1, that is, (c) of Lemma 3.2 holds.

This is obvious by (H3) since we have M=B( B ¯ r (0))=sup{Bx:x B ¯ r (0)}= 2 Γ q ( α + 1 ) γΩ(r) and k=ϕ.

Thus the conditions (a), (b), and (c) of Lemma 3.2 are satisfied. Hence, either the conclusion (i) or the conclusion (ii) of Lemma 3.2 holds. We show that the conclusion (ii) is not possible. Let x be a solution of the operator equation x=AxBx with x=r for some λ, 0<λ<1. Then we have

| x ( t ) | = | A x ( t ) | | B x ( t ) | = | f ( t , x ( t ) ) | | 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s | [ | f ( t , x ( t ) ) f ( t , 0 ) | + | f ( t , 0 ) | ] × | 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s , x ( s ) ) d q s | [ ϕ ( t ) | x ( t ) | + F 0 ] 2 Ω ( x ) 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) γ ( s ) d q s [ ϕ x + F 0 ] 2 Γ q ( α + 1 ) γ Ω ( x ) .

Thus

r 2 F 0 Γ q ( α + 1 ) γ Ω ( r ) 1 2 ϕ Γ q ( α + 1 ) γ Ω ( r ) ,

which is a contradiction to (3.3), and hence the conclusion (ii) is not valid. Consequently, the conclusion (i) is valid, and hence the problem (1.1) has a solution on B ¯ r (0). This completes the proof. □

Example 3.4 Consider the boundary value problem

{ D 1 / 2 3 / 2 ( x ( t ) sin x + 2 ) = 1 4 cos x ( t ) , 0 < t < 1 , x ( 0 ) = x ( 1 ) = 0 .
(3.7)

Here f(t,x)=sinx+2, g(t,x)= 1 4 cosx. Observe that (H1) and (H2) hold with ϕ(t)=1 and γ(t)= 1 4 , Ω(r)=1, respectively. With the given data,

2 ϕ Γ q ( α + 1 ) γΩ(r)= 1 2 Γ q ( 5 / 2 ) 0.419959<1

and we can choose r such that r>1.448031. Hence the conclusion of Theorem 3.3 applies to the problem (3.7).

4 Multi-valued case

Let L 1 ([0,1],R) be the Banach space of measurable functions x:[0,1]R which are Lebesgue integrable and normed by x L 1 = 0 1 |x(t)|dt.

Now, we recall some basic concepts for multi-valued maps [30, 31].

For a normed space (X,), let P c l (X)={YP(X):Y is closed}, P b (X)={YP(X):Y is bounded}, P c p (X)={YP(X):Y is compact}, and P c p , c v (X)={YP(X):Y is compact and convex}. A multi-valued map G:XP(X) is convex (closed) valued if G(x) is convex (closed) for all xX. The map G is bounded on bounded sets if G(B)= x B G(x) is bounded in X for all B P b (X) (i.e. sup x B {sup{|y|:yG(x)}}<). G is called upper semicontinuous (u.s.c.) on X if for each x 0 X, the set G( x 0 ) is a nonempty closed subset of X, and if for each open set N of X containing G( x 0 ), there exists an open neighborhood N 0 of x 0 such that G( N 0 )N. G is said to be completely continuous if G(B) is relatively compact for every B P b (X). If the multi-valued map G is completely continuous with nonempty compact values, then G is u.s.c. if and only if G has a closed graph, i.e., x n x , y n y , y n G( x n ) imply y G( x ). G has a fixed point if there is xX such that xG(x). The fixed point set of the multi-valued operator G will be denoted by FixG. A multi-valued map G:[0;1] P c l (R) is said to be measurable if for every yR, the function

td ( y , G ( t ) ) =inf { | y z | : z G ( t ) }

is measurable.

Definition 4.1 A multi-valued map F:[0,1]×RP(R) is said to be Carathéodory if

  1. (i)

    tF(t,x) is measurable for each xR;

  2. (ii)

    xF(t,x) is upper semicontinuous for almost all t[0,1].

Further a Carathéodory function F is called L 1 -Carathéodory if

  1. (iii)

    there exists a function g L 1 ([0,1], R + ) such that

    F ( t , x ) =sup { | v | : v F ( t , x ) } g(t)

for all xR and for a.e. t[0,1].

For each yC([0,1],R), define the set of selections of F by

S F , y := { v L 1 ( [ 0 , 1 ] , R ) : v ( t ) F ( t , y ( t ) )  for a.e.  t [ 0 , 1 ] } .

The following lemma is used in the sequel.

Lemma 4.2 ([32])

Let X be a Banach space. Let F:[0,1]×R P c p , c v (X) be an L 1 -Carathéodory multi-valued map and let Θ be a linear continuous mapping from L 1 ([0,1],X) to C([0,T],X). Then the operator

Θ S F :C ( [ 0 , 1 ] , X ) P c p , c v ( C ( [ 0 , 1 ] , X ) ) ,x(Θ S F )(x)=Θ( S F , x )

is a closed graph operator in C([0,1],X)×C([0,1],X).

Our second main result for the multi-valued problem (1.2) is based on the following fixed point theorem due to Dhage [28].

Lemma 4.3 Let X be a Banach algebra and let A:XX be a single-valued and B:X P c p , c v (X) be a multi-valued operator satisfying:

  1. (a)

    A is a single-valued Lipschitz operator with a Lipschitz constant k,

  2. (b)

    B is compact and upper semicontinuous,

  3. (c)

    2Mk<1, where M=B(X).

Then either

  1. (i)

    the operator inclusion xAxBx has a solution, or

  2. (ii)

    the set E={uX|μuAuBu,μ>1} is unbounded.

Definition 4.4 A function xA C 1 ([0,1],R) is called a solution of the problem (1.2) if there exists a function v L 1 ([0,1],R) with v(t)F(t,x(t)), a.e. on [0,1] such that D q α ( x ( t ) f ( t , x ( t ) ) )=v(t), a.e. on [0,1] and x(0)=x(1)=0.

Theorem 4.5 Assume that (H1) holds. In addition we suppose that:

(A1) F:[0,1]×RP(R) is L 1 -Carathéodory and has nonempty compact and convex values;

(A2) there exists a positive real number r ˜ such that

r ˜ > 2 F 0 Γ q ( α ) g L q 1 1 2 ϕ Γ q ( α ) g L q 1 ,
(4.1)

where 2 g L q 1 Γ q ( α ) ϕ< 1 2 , F 0 = sup t [ 0 , 1 ] |f(t,0)|, g L q 1 = 0 1 |g(t)| d q t.

Then the boundary value problem (1.2) has at least one solution on [0,1].

Proof To transform the problem (1.2) into a fixed point problem, we define an operator N:XP(X) as

B ( x ) = { h X : h ( t ) = f ( t , x ( t ) ) ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s ) , v S F , x } ,

where X=C([0,1],R). Next we introduce two operators A 1 :XX by

A 1 x(t)=f ( t , x ( t ) ) ,t[0,1],
(4.2)

and B 1 :XP(X) by

B 1 ( x ) = { h X : h ( t ) = 0 t ( t q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s , v S F , x } .
(4.3)

Obviously N(x)= A 1 x B 1 x. We shall show that the operators A 1 and B 1 satisfy all the conditions of Lemma 4.3. The proof is structured into a sequence of steps.

Step 1. We first show that A 1 is Lipschitz on X, i.e., (a) of Lemma 4.3 holds.

The proof is similar to the one for the operator A in Step 1 of Theorem 3.3.

Step 2. Now we show that the multi-valued operator B 1 is compact and upper semicontinuous on X, i.e. (b) of Lemma 4.3 holds.

Let us first show that B 1 has convex values.

Let u 1 , u 2 B 1 x. Then there are v 1 , v 2 S F , x such that

u i (t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v i (s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v i (s) d q s,t[0,1],i=1,2.

For any θ[0,1], we have

θ u 1 ( t ) + ( 1 θ ) u 2 ( t ) = 0 t ( t q s ) ( α 1 ) Γ q ( α ) [ θ u 1 ( s ) + ( 1 θ ) u 2 ( s ) ] d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) [ θ u 1 ( s ) + ( 1 θ ) u 2 ( s ) ] d q s = 0 t ( t q s ) ( α 1 ) Γ q ( α ) v ¯ ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v ¯ ( s ) d q s ,

where v ¯ (t)=θ v 1 (t)+(1θ) v 2 (t)F(t,x(t)) for all t[0,1]. Hence θ u 1 (t)+(1θ) u 2 (t) B 1 x and consequently B 1 x is convex for each xX. As a result B 1 defines a multi-valued operator B 1 :X P c v (X).

Next we show that B 1 maps bounded sets into bounded sets in X. To do this, let Q be a bounded set in X. Then there exists a real number σ>0 such that xσ, xQ.

Now for each h B 1 x, there exists a v S F , x such that

h(t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v(s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v(s) d q s.

Then for each t[0,1],

| h ( t ) | = | 0 t ( t q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s | 0 t ( t q s ) ( α 1 ) Γ q ( α ) g ( s ) d q s + 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s ) d q s 2 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s ) d q s = 2 Γ q ( α ) g L q 1 .

This further implies that

h 2 Γ q ( α ) g L q 1 ,

and so B 1 (X) is uniformly bounded.

Next we show that B 1 maps bounded sets into equicontinuous sets. Let Q be, as above, a bounded set and h B 1 x for some xQ. Then there exists a v S F , x such that

h(t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v(s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v(s) d q s.

Then for any t 1 , t 2 [0,1] with t 1 t 2 we have

| h ( t 2 ) h ( t 1 ) | | 0 t 2 ( t 2 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s 0 t 1 ( t 1 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s | + ( t 2 t 1 ) 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s 0 t 1 [ ( t 2 q s ) ( α 1 ) Γ q ( α ) ( t 1 q s ) ( α 1 ) Γ q ( α ) ] g ( s ) d q s + t 1 t 2 ( t 2 q s ) ( α 1 ) Γ q ( α ) g ( s ) d q s + ( t 2 t 1 ) 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s ) d q s ,

which tends to zero independently of xQ as t 2 t 1 0.

Therefore it follows by the Arzelá-Ascoli theorem that B 1 :C([0,1],R)P(C([0,1],R)) is completely continuous.

In our next step, we show that B 1 has a closed graph. Let x n x , h n B 1 ( x n ) and h n h . Then we need to show that h B 1 . Associated with h n B 1 ( x n ), there exists v n S F , x n such that, for each t[0,1],

h n (t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v n (s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v n (s) d q s.

Thus it suffices to show that there exists v S F , x such that, for each t[0,1],

h (t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v (s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v (s) d q s.

Let us consider the linear operator Θ: L 1 ([0,1],R)C([0,1],R) given by

fΘ(v)(t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v(s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v(s) d q s.

Notice that

h n ( t ) h ( t ) = 0 t ( t q s ) ( α 1 ) Γ q ( α ) ( v n ( s ) v ( s ) ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) ( v n ( s ) v ( s ) ) d q s 0 , as  n .

Thus, it follows by Lemma 4.2 that Θ S F is a closed graph operator. Further, we have h n (t)Θ( S F , x n ). Since x n x , therefore, we have

h (t)= 0 t ( t q s ) ( α 1 ) Γ q ( α ) v (s) d q st 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v (s) d q s

for some v S F , x .

As a result we find that the operator B 1 is a compact and upper semicontinuous operator on X.

Step 3. Now we show that 2Mk<1, i.e. (c) of Lemma 4.3 holds.

It is obvious in view of (H3) with M=B(X)=sup{|Bx|:xX} 2 Γ q ( α ) g L q 1 and k=ϕ.

Thus all the conditions of Lemma 4.3 are satisfied and, in consequence, it follows that either the conclusion (i) or the conclusion (ii) holds. We show that the conclusion (ii) is not possible.

Let uE be arbitrary. Then we have λu(t) A 1 u(t) B 1 u(t) for λ>1 and there exists v S F , x such that, for any λ>1,

u(t)= λ 1 [ f ( t , u ( t ) ) ] ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s t 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) v ( s ) d q s )

for all t[0,1]. Thus we have

| u ( t ) | λ 1 | f ( t , u ( t ) ) | ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) | v ( s ) | d q s + 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) | v ( s ) | d q s ) [ | f ( t , u ( t ) ) f ( t , 0 ) | + | f ( t , 0 ) | ] × ( 0 t ( t q s ) ( α 1 ) Γ q ( α ) | v ( s ) | d q s + 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) | v ( s ) | d q s ) 2 [ ϕ u + F 0 ] 0 1 ( 1 q s ) ( α 1 ) Γ q ( α ) g ( s ) d q s [ ϕ u + F 0 ] 2 Γ q ( α ) g L q 1 ,

where F 0 = sup t [ 0 , 1 ] |f(t,0)|.

Consequently, with u= r ˜ , we have

r ˜ 2 F 0 Γ q ( α ) g L q 1 1 2 ϕ Γ q ( α ) g L q 1 .

Thus the condition (ii) of Theorem 4.3 does not hold in view of the condition (4.1). Therefore, the operator inclusion x A 1 x B 1 x has a solution, and, in turn, the problem (1.2) has a solution on [0,1]. This completes the proof. □

Example 4.6 Consider the problem

{ D 1 / 2 3 / 2 [ x ( t ) t sin x / 6 + 2 ] F ( t , x ( t ) ) , 0 < t < 1 , x ( 0 ) = x ( 1 ) = 0 ,
(4.4)

where F:[0,1]×RP(R) is a multi-valued map given by

tF(t,x)= [ | x | 3 10 ( | x | 3 + 3 ) , | sin x | 9 ( | sin x | + 1 ) + 8 9 ] .

For fF we have

|f|max ( | x | 3 10 ( | x | 3 + 3 ) , | sin x | 9 ( | sin x | + 1 ) + 8 9 ) 1,xR.

Thus

F ( t , x ) =sup { | y | : y F ( t , x ) } 1=g(t),xR.

Further, ϕ=1/6, Γ 1 2 (3/2)0.920875, r ˜ >12/[3 1 2 (3/2)1] and

2 ϕ g L q 1 Γ q ( α ) = 1 3 Γ 1 2 ( 3 / 2 ) 0.361975< 1 2 .

Thus all the conditions of Theorem 4.5 are satisfied and consequently, the problem (4.4) has a solution on [0,1].

Authors’ information

Sotiris K Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM) - Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.

References

  1. 1.

    Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.

  2. 2.

    Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

  3. 3.

    Sabatier J, Agrawal OP, Machado JAT (Eds): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.

  4. 4.

    Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge; 2009.

  5. 5.

    Mainardi F: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London; 2010.

  6. 6.

    Diethelm K Lecture Notes in Mathematics 2004. In The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Springer, Berlin; 2010.

  7. 7.

    Klafter J, Lim SC, Metzler R (Eds): Fractional Dynamics in Physics. World Scientific, Singapore; 2011.

  8. 8.

    Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.

  9. 9.

    Ferreira RAC: Nontrivial solutions for fractional q -difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010., 2010: Article ID 70

  10. 10.

    Goodrich CS: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 2011, 61: 191-202. 10.1016/j.camwa.2010.10.041

  11. 11.

    Atici FM, Eloe PW: Two-point boundary value problems for finite fractional difference equations. J. Differ. Equ. Appl. 2011, 17: 445-456. 10.1080/10236190903029241

  12. 12.

    Abdeljawad T, Baleanu D: Caputo q -fractional initial value problems and a q -analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 4682-4688. 10.1016/j.cnsns.2011.01.026

  13. 13.

    Ma J, Yang J: Existence of solutions for multi-point boundary value problem of fractional q -difference equation. Electron. J. Qual. Theory Differ. Equ. 2011., 2011: Article ID 92

  14. 14.

    Graef JR, Kong L: Positive solutions for a class of higher order boundary value problems with fractional q -derivatives. Appl. Math. Comput. 2012, 218: 9682-9689. 10.1016/j.amc.2012.03.006

  15. 15.

    Ahmad B, Ntouyas SK, Purnaras IK: Existence results for nonlocal boundary value problems of nonlinear fractional q -difference equations. Adv. Differ. Equ. 2012., 2012: Article ID 140

  16. 16.

    Ferreira RAC: Positive solutions for a class of boundary value problems with fractional q -differences. Comput. Math. Appl. 2011, 61: 367-373. 10.1016/j.camwa.2010.11.012

  17. 17.

    Wu GC, Baleanu D: New applications of the variational iteration method - from differential equations to q -fractional difference equations. Adv. Differ. Equ. 2013., 2013: Article ID 21

  18. 18.

    Alsaedi A, Ahmad B, Al-Hutami H: A study of nonlinear fractional q -difference equations with nonlocal integral boundary conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 410505

  19. 19.

    Ahmad B, Nieto JJ, Alsaedi A, Al-Hutami H: Existence of solutions for nonlinear fractional q -difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Franklin Inst. 2014, 351: 2890-2909. 10.1016/j.jfranklin.2014.01.020

  20. 20.

    Al-Salam WA: Some fractional q -integrals and q -derivatives. Proc. Edinb. Math. Soc. 1966-1967, 15: 135-140. 10.1017/S0013091500011469

  21. 21.

    Agarwal RP: Certain fractional q -integrals and q -derivatives. Proc. Camb. Philos. Soc. 1969, 66: 365-370. 10.1017/S0305004100045060

  22. 22.

    Annaby MH, Mansour ZS Lecture Notes in Mathematics 2056. In q-Fractional Calculus and Equations. Springer, Berlin; 2012.

  23. 23.

    Ammi M, El Kinani E, Torres D: Existence and uniqueness of solutions to functional integro-differential fractional equations. Electron. J. Differ. Equ. 2012., 2012: Article ID 103

  24. 24.

    El Borai M, Abbas M: On some integro-differential equations of fractional orders involving Carathéodory nonlinearities. Int. J. Mod. Math. 2007, 2: 41-52.

  25. 25.

    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

  26. 26.

    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

  27. 27.

    Dhage BC: Nonlinear functional boundary value problems involving Carathéodory. Kyungpook Math. J. 2006, 46: 427-441.

  28. 28.

    Dhage BC: Existence results for neutral functional differential inclusions in Banach algebras. Nonlinear Anal. 2006, 64: 1290-1306. 10.1016/j.na.2005.06.036

  29. 29.

    Rajkovic PM, Marinkovic SD, Stankovic MS: On q -analogues of Caputo derivative and Mittag-Leffler function. Fract. Calc. Appl. Anal. 2007, 10: 359-373.

  30. 30.

    Hu S, Papageorgiou N: Handbook of Multivalued Analysis, Volume I: Theory. Kluwer Academic, Dordrecht; 1997.

  31. 31.

    Deimling K: Multivalued Differential Equations. de Gruyter, Berlin; 1992.

  32. 32.

    Lasota A, Opial Z: An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 1965, 13: 781-786.

Download references

Acknowledgements

This paper was funded by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. Therefore, the authors acknowledge with thanks DSR for the financial support.

Author information

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each of the authors, BA and SKN, contributed to each part of this work equally and read and approved the final version of the manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Keywords

  • fractional derivative
  • q-difference
  • boundary conditions
  • fixed point
  • existence