Skip to main content

Theory and Modern Applications

A nonlocal three-point inclusion problem of Langevin equation with two different fractional orders

Abstract

This article studies the existence of solutions for a three-point inclusion problem of Langevin equation with two fractional orders. Our main tools of study include a nonlinear alternative of Leray-Schauder type, selection theorem due to Bressan and Colombo for lower semicontinuous multivalued maps, and a fixed point theorem for multivalued map due to Covitz and Nadler. An illustrative example is also presented.

Mathematical Subject Classification 2000: 26A33; 34A12; 34A40.

1 Introduction

The study of fractional calculus has recently gained a great momentum and has emerged as an interesting and important field of research. The popularity of the subject can easily be witnessed by a huge number of articles and books published in the last few years. It is mainly due to the extensive application of fractional calculus in the mathematical modeling of physical, engineering and biological phenomena. Fractional differential equations appear naturally in a number of fields such as physics, chemistry, biology, economics, control theory, signal and image processing, biophysics, blood flow phenomena, aerodynamics, fitting of experimental data, etc. For recent development in theory and applications of fractional calculus, see the books [14]. Some results concerning the initial and boundary value problems of fractional equations and inclusions can be found in a series of articles [526] and the references therein.

Langevin equation is found to be an effective tool to describe the evolution of physical phenomena in fluctuating environments [2729]. Various generalizations of Langevin equation have been proposed to describe dynamical processes in a fractal medium. One such generalization is the generalized Langevin equation [3035] which incorporates the fractal and memory properties with a dissipative memory kernel into the Langevin equation. In another possible extension, ordinary derivative is replaced by a fractional derivative in the Langevin equation to yield the fractional Langevin equation [3639]. Recently, Lim et al. [40] have studied a new type of Langevin equation with two different fractional orders. The solution to this new version of fractional Langevin equation gives a fractional Gaussian process parameterized by two indices, which provides a more flexible model for fractal processes as compared with the usual one characterized by a single index. In [41], Lim et al. discussed the fractional oscillator process with two indices. Recently, a Dirichlet boundary value problem for Langevin equation involving two fractional orders has been studied in [42]. Some more recent work on Langevin equation can be found in [4346]. In a more recent article [47], the authors studied a nonlinear Langevin equation involving two fractional orders α (0, 1] and β (1, 2] with three-point boundary conditions.

Motivated by recent work on Langevin equation of fractional order, we study the following inclusion problem of Langevin equation of two fractional orders in different intervals with three-point boundary conditions

c D β ( c D α + λ ) x ( t ) F ( t , x ( t ) ) , 0 < t < 1 , 0 < α 1 , 1 < β 2 , x ( 0 ) = 0 , x ( η ) = 0 , x ( 1 ) = 0 , 0 < η < 1 ,
(1.1)

where cD is the Caputo fractional derivative, F: 0 , 1 ×P is a compact valued multivalued map, and P is the family of all subsets of .

We present some existence results for the problem (1.1), when the right hand side is convex as well as nonconvex valued. The first result relies on the nonlinear alternative of Leray-Schauder type. In the second result, we shall combine the nonlinear alternative of Leray-Schauder type for single-valued maps with a selection theorem due to Bressan and Colombo for lower semicontinuous multivalued maps with nonempty closed and decomposable values. The third result, dealing with a nonconvex valued right hand side of the fractional inclusion in (1.1), employs a fixed point theorem for multivalued map due to Covitz and Nadler. Here we remark that the single-valued case of (1.1) was discussed in [47].

2 Background material for multivalued analysis

First of all, we recall some basic definitions on multi-valued maps [48, 49].

For a normed space (X, || · ||), let P cl X = Y P X : Y is closed , P b X = Y P X : Y is bounded , P cp X = Y P X : Y is compact , and P cp , c X = Y P 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 x X. 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 : y G x <). G is called upper semi-continuous (u.s.c.) on X if for each x0 X, the set G(x0) is a nonempty closed subset of X, and if for each open set N of X containing G(x0), there exists an open neighborhood N 0 of x0 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 x X such that x G(x). The fixed point set of the multivalued operator G will be denoted by FixG. A multivalued map G : [0; 1] → Pcl() is said to be measurable if for every y , the function

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

is measurable.

Definition 2.1 A multivalued map F: 0 , 1 ×P is said to be Carathéodory if

(i) t → F (t, x) is measurable for each x ;

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

Further a Carathéodory function F is called L1-Carathéodory if

(iii) for each ρ > 0, there exists φ ρ L1([0, 1], +) such that

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

for all ||x|| ρ and for a.e. t [0, 1].

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

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

Let X be a nonempty closed subset of a Banach space E and G:XP E is a multivalued operator with nonempty closed values. G is lower semi-continuous (l.s.c.) if the set {y X : G(y) ∩ B = } is open for any open set B in E. Let A be a subset of [0, 1] × . A is measurable if A belongs to the σ-algebra generated by all sets of the form J × D , where is Lebesgue measurable in [0, 1] and is Borel measurable in . A subset A of L1([0, 1], ) is decomposable if for all u,vA and measurable J 0 , 1 = J , the function uχJ+v χ J - J A, where χ J stands for the characteristic function of .

Definition 2.2 Let Y be a separable metric space and letN:YP L 1 0 , 1 , be a multivalued operator. We say N has a property (BC) if N is l.s.c. and has nonempty closed and decomposable values.

Let F: 0 , 1 ×P be a multivalued map with nonempty compact values. Define a multivalued operator F : C 0 , 1 × P L 1 0 , 1 , associated with F as

F ( x ) = { w L 1 ( [ 0 , 1 ] , ) : w ( t ) F ( t , x ( t ) ) for a .e . t [ 0 , 1 ] } ,

which is called the Nemytskii operator associated with F.

Definition 2.3 LetF: 0 , 1 ×P be a multivalued function with nonempty compact values. We say F is of l.s.c. type if its associated Nemytskii operator is l.s.c. and has nonempty closed and decomposable values.

Let (X, d) be a metric space induced from the normed space (X, ||·||). Consider H d :P X ×P X given by

H d ( A , B ) =max sup a A d ( a , B ) , sup b B d ( A , b ) ,

where d(A, b) = inf a A d(a; b) and d(a, B) = inf b B d(a; b). Then (P b, cl (X), H d ) is a metric space and (Pcl(X), H d ) is a generalized metric space (see [50]).

Definition 2.4 A multivalued operator N : X → Pcl(X) is called

(a) γ-Lipschitz if and only if there exists γ > 0 such that

H d ( N ( x ) , N ( y ) ) γd ( x , y ) foreachx,yX;

(b) a contraction if and only if it is γ-Lipschitz with γ < 1.

The following lemmas will be used in the sequel.

Lemma 2.1[51]Let X be a Banach space. Let F : [0, 1] × → Pcp,c(X) be an L1-Carathéodory multivalued map and let Θ be a linear continuous mapping from L1([0, 1], X) to C([0, 1], X), then the operator

Θ S F : C ( [ 0 , 1 ] , X ) P cp , c ( 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).

In passing, we remark that if dim X < ∞, then S F (x) ≠ for any x(·) C([0, 1], X) with F (·, ·) as in Lemma 2.1.

Lemma 2.2 (Nonlinear alternative for Kakutani maps[52]) Let E be a Banach space, C a closed convex subset of E, U an open subset of C and 0 U. Suppose that F:Ū P c , cv C is a upper semicontinuous compact map; here P c , cv C denotes the family of nonempty, compact convex subsets of C. Then either

(i) F has a fixed point in Ū, or

(ii) there is a u ∂U and λ (0, 1) with u λF (u).

Lemma 2.3[53]Let Y be a separable metric space and letN:YP L 1 0 , 1 , be a multivalued operator satisfying the property (BC). Then N has a continuous selection, that is, there exists a continuous function (single-valued) g : Y → L1([0, 1], ) such that g(x) N(x) for every x Y.

Lemma 2.4[54]Let (X, d) be a complete metric space. If N : X → Pcl(X) is a contraction, then FixN.

For some recent results on multivalued maps, we refer the reader to the articles [55, 56].

3 Existence results

We are concerned with the existence of solutions for the problem (1.1) when the right hand side has convex as well as nonconvex values. Initially, we assume that F is a compact and convex valued multivalued map.

Definition 3.1[47]A function x C([0, 1], ) is said to be a solution of (1.1), if there exists a function v L1([0, 1], ) with v(t) F (t, x(t)) a.e. t [0, 1] and

x ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u .

Theorem 3.1 Suppose that

(H1) the mapF: 0 , 1 ×P is Carathéodory and has nonempty compact convex values;

(H2) there exist a continuous non-decreasing function ψ : [0, ) (0, ) and a positive continuous function p such that

F ( t , x ) P : = sup { | v | : v F ( t , x ) } p ( t ) ψ ( x )

for each (t, u) [0, T ] × ;

(H3) there exists a number M > 0 such that

[ Γ ( α + 1 ) - | λ | ( 1 + A ( 1 + η α + 1 ) ) ] Γ ( α + β + 1 ) x Γ ( α + 1 ) [ 1 + A ( η α + 1 + η β ) ] p ψ ( x ) > 1 ,

with | λ | < Γ ( α + 1 ) ( 1 + A ( 1 + η α + 1 ) ) and A = ( α ) α ( 1 - η ) ( 1 + α ) 1 + α .

Then the problem (1.1) has at least one solution.

Proof. In view of Definition 3.1, the existence of solutions to (1.1) is equivalent to the existence of solutions to the integral inclusion

x ( t ) 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) F ( s , u ( s ) ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) F ( s , u ( s ) ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) F ( s , u ( s ) ) d s - λ x ( u ) d u , t [ 0 , 1 ] .

Let us introduce the operator N : C 0 , 1 , P C 0 , 1 , as

N ( x ) = h C ( [ 0 , 1 ] , ) : h ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u ,
(3.1)

for v S F, x . We will show that the operator N satisfies the assumptions of the nonlinear alternative of Leray-Schauder type. The proof consists of several steps. As a first step, we show that N(x) is convex for each x C([0, 1], ). For that, let h1, h2 N(x). Then there exist v1, v2 S F, x such that for each t [0, 1], we have

h i ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v i ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v i ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v i ( s ) d s - λ x ( u ) d u , i = 1 , 2 .

Let 0 ≤ ω ≤ 1. Then, for each t [0, 1], we have

ω h 1 + ( 1 - ω ) h 2 ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) [ ω v 1 ( s ) + ( 1 - ω ) v 2 ( s ) ] d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) [ ω v 1 ( s ) + ( 1 - ω ) v 2 ( s ) ] d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) [ ω v 1 ( s ) + ( 1 - ω ) v 2 ( s ) ] d s - λ x ( u ) d u .

Since S F, x is convex (F has convex values), therefore it follows that ωh1 + (1 - ω)h2 N(x).

Next, we show that N(x) maps bounded sets into bounded sets in C([0, 1], ). For a positive number r, let B r = {x C([0, 1], ): ||x|| r} be a bounded set in C([0, 1], ). Then, for each h N(x), x B r , there exists v S F, x such that

h ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u ,

and

| h ( t ) | sup t [ 0 , 1 ] 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + | λ | x ( u ) d u + sup t [ 0 , 1 ] t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + | λ | x ( u ) d u + sup t [ 0 , 1 ] t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + | λ | x ( u ) d u p ψ ( x ) 1 + η ( α η ) α ( 1 - η ) ( 1 + α ) 1 + α 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) d s d u + | λ | x 1 + η ( α η ) α ( 1 - η ) ( 1 + α ) 1 + α 0 1 ( 1 - u ) α - 1 Γ ( α ) d u + | | p ψ ( x ) ( α ) α ( 1 - η ) η α ( 1 + α ) 1 + α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) d s d u + | λ | | | x ( α ) α ( 1 - η ) η α ( 1 + α ) 1 + α 0 η ( η - u ) α - 1 Γ ( α ) d u ,

where ||p|| = supt [0, 1]p(t). Using the relations for Beta function B(., .):

B ( β + 1 , α ) = 0 1 ( 1 - u ) α - 1 u β d u = Γ ( α ) Γ ( β + 1 ) Γ ( α + β + 1 ) , 0 η ( η - u ) α - 1 u β d u = Γ ( α ) Γ ( β + 1 ) Γ ( α + β + 1 ) η α + β ,

we find that

h ( t ) [ 1 + A ( η α + 1 + η β ) ] p ψ ( r ) Γ ( α + β + 1 ) + | λ | [ 1 + A ( 1 + η α + 1 ) ] r Γ ( α + 1 )

where

A = ( α ) α ( 1 - η ) ( 1 + α ) 1 + α .

Now we show that N maps bounded sets into equicontinuous sets of C([0, 1], ). Let t', t'' [0, 1] with t' < t'' and x B r , where B r is a bounded set of C([0, 1], ). For each h N(x), we obtain

| h ( t ) - h ( t ) | = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + λ | x ( u ) | d u - 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + λ | x ( u ) | d u + [ ( ( t ) α - ( t ) α ) η - ( ( t ) α + 1 - ( t ) α + 1 ) ] ( 1 - η ) × 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u - [ ( ( t ) α - ( t ) α ) - ( ( t ) α + 1 - ( t ) α + 1 ) ] ( 1 - η ) η α × 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u 0 t [ ( t - u ) α - 1 - ( t - u ) α - 1 ] Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + λ | x ( u ) | d u + t t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v ( s ) | d s + λ | x ( u ) | d u + [ ( ( t ) α - ( t ) α ) η - ( ( t ) α + 1 - ( t ) α + 1 ) ] ( 1 - η ) × 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u + [ ( ( t ) α - ( t ) α ) - ( ( t ) α + 1 - ( t ) α + 1 ) ] ( 1 - η ) η α × 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u 0 t [ ( t - u ) α - 1 - ( t - u ) α - 1 ] Γ ( α ) ( p ψ ( x ) 0 u ( u - s ) β - 1 Γ ( β ) d s + λ | x ( u ) | d u + t t ( t - u ) α - 1 Γ ( α ) ( p ψ ( x ) 0 u ( u - s ) β - 1 Γ ( β ) d s + λ | x ( u ) | d u + [ ( ( t ) α - ( t ) α ) η - ( ( t ) α + 1 - ( t ) α + 1 ) ] ( 1 - η ) × 0 1 ( 1 - u ) α - 1 Γ ( α ) ( p ψ ( x ) 0 u ( u - s ) β - 1 Γ ( β ) d s - λ x ( u ) d u + [ ( ( t ) α - ( t ) α ) - ( ( t ) α + 1 - ( t ) α + 1 ) ] ( 1 - η ) η α × 0 η ( η - u ) α - 1 Γ ( α ) ( p ψ ( x ) 0 u ( u - s ) β - 1 Γ ( β ) d s - λ x ( u ) d u .

Obviously the right hand side of the above inequality tends to zero independently of x B r as t'' -t' → 0. As N satisfies the above three assumptions, therefore it follows by Ascoli-Arzelá theorem that N : C 0 , 1 , P C 0 , 1 , is completely continuous.

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

h n ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v n ( s ) d s - λ x n ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v n ( s ) d s - λ x n ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v n ( s ) d s - λ x n ( u ) d u .

Thus we have to show that there exists v * S F , x * such that for each t [0,1],

h * ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v * ( s ) d s - λ x * ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v * ( s ) d s - λ x * ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v * ( s ) d s - λ x * ( u ) d u .

Let us consider the continuous linear operator Θ: L1([0, 1], ) → C([0, 1], ) so that

v Θ ( v ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u .

Observe that

h n ( t ) - h * ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) ( v n ( s ) - v * ( s ) ) d s - λ ( x n ( u ) - x * ( u ) ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) ( v n ( s ) - v * ( s ) ) d s - λ ( x n ( u ) - x * ( u ) ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) ( v n ( s ) - v * ( s ) ) d s - λ ( x n ( u ) - x * ( u ) ) d u 0 as n .

Thus, it follows by Lemma 2.1 that Θ S F is a closed graph operator. Further, we have h n t Θ S F , x n . Since x n → x*, it follows that

h * ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v * ( s ) d s - λ x * ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v * ( s ) d s - λ x * ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v * ( s ) d s - λ x * ( u ) d u ,

for some v * S F , x * .

Finally, we discuss a priori bounds on solutions. Let x be a solution of (1.1). Then there exists v L1([0, 1], ) with v S F, x such that, for t [0, 1], we have

x ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) f ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) f ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) f ( s ) d s - λ x ( u ) d u .

In view of (H2) together with the condition |λ|< Γ ( α + 1 ) ( 1 + A ( 1 + η α + 1 ) ) , for each t [0, 1], we find that

x Γ ( α + 1 ) [ 1 + A ( η α + 1 + η β ) ] | | p | | ψ ( x ) [ Γ ( α + 1 ) - | λ | ( 1 + A ( 1 + η α + 1 ) ) ] Γ ( α + β + 1 )

which can alternatively be written as

[ Γ ( α + 1 ) - | λ | ( 1 + A ( 1 + η α + 1 ) ) ] Γ ( α + β + 1 ) x Γ ( α + 1 ) [ 1 + A ( η α + 1 + η β ) ] p ψ ( x ) 1 ,

In view of (H3), there exists M such that ||x|| M. Let us set

U = { x C ( [ 0 , 1 ] , ) : x < M + 1 } .

Note that the operator is N:ŪP ( C ( [ 0 , 1 ] , ) ) is upper semicontinuous and completely continuous. From the choice of U, there is no x ∂U such that x μN(x) for some μ (0, 1). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 2.2), we deduce that N has a fixed point x Ū which is a solution of the problem (1.1). This completes the proof. □

Next, we study the case where F is not necessarily convex valued. Our approach here is based on the nonlinear alternative of Leray-Schauder type combined with the selection theorem of Bressan and Colombo for l.s.c. maps with decomposable values.

Theorem 3.2 Assume that (H2)-(H3) and the following conditions hold:

(H4) F: 0 , 1 ×P is a nonempty compact-valued multivalued map such that

(a) (t, x) F(t, x) is measurable,

(b) x F(t, x) is lower semicontinuous for each t [0, 1];

(H5) for each σ > 0, there exists φ σ C([0, 1], +) such that

F ( t , x ) = sup { | y | : y F ( t , x ) } φ σ ( t ) f o r a l l x σ a n d f o r a . e . t [ 0 , 1 ] .

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

Proof. It follows from (H4) and (H5) that F is of l.s.c. type. Then from Lemma 2.3, there exists a continuous function f : C([0, 1], ) → L1([0, 1], ) such that f (x) (x) for all x C([0, 1], ).

Consider the problem

c D β ( c D α + λ ) x ( t ) = f ( x ( t ) ) , 0 < t < 1 , 0 < α 1 , 1 < β 2 , x ( 0 ) = 0 , x ( η ) = 0 , x ( 1 ) = 0 , 0 < η < 1 ,
(3.2)

Observe that if x C3([0, 1]) is a solution of (3.2), then x is a solution to the problem (1.1). In order to transform the problem (3.2) into a fixed point problem, we define the operator N ̄ as

( N ̄ x ) ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) f ( x ( s ) ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) f ( x ( s ) ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) f ( x ( s ) ) d s - λ x ( u ) ) d u .

It can easily be shown that N ̄ is continuous and completely continuous. The remaining part of the proof is similar to that of Theorem 3.1. So we omit it. This completes the proof.

Now we prove the existence of solutions for the problem (1.1) with a nonconvex valued right hand side by applying a fixed point theorem for multivalued map due to Covitz and Nadler (Lemma 2.4).

Theorem 3.3 Assume that the following conditions hold:

(H6) F : [0, 1] × → Pcp() is such that F (·, x): [0, 1] → Pcp() is measurable for each x ;

(H7) H d ( F ( t , x ) , F ( t , x ̄ ) ) m ( t ) |x- x ̄ |for almost all t [0, 1] and x, x ̄ with m C([0, 1], +) and d(0, F (t, 0)) ≤ m(t) for almost all t [0, 1].

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

m Γ ( α + β + 1 ) 1 + a ( η α + 1 + η β ) + | λ | Γ ( α + 1 ) 1 + a ( 1 + η α + 1 ) < 1 .

Proof. Observe that the set S F, x is nonempty for each x C([0, 1], ) by the assumption (H6), so F has a measurable selection (see [[57], Theorem III.6]). Now we show that the operator N defined by (3.1) satisfies the assumptions of Lemma 11.2.4. To show that N(x) Pcl((C[0, 1], )) for each x C([0, 1], ), let {u n }n ≥ 0 N(x) be such that u n → u (n → ∞) in C([0, 1], ). Then u C([0, 1], ) and there exists v n S F, x such that, for each t [0, 1],

u n ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v n ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v n ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v n ( s ) d s - λ x ( u ) d u .

As F has compact values, we pass onto a subsequence to obtain that v n converges to v in L1([0, 1], ). Thus, v S F, x and for each t [0, 1],

u n ( t ) u ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v ( s ) d s - λ x ( u ) d u .

Hence, u N(x).

Next we show that there exists γ < 1 such that

H d ( N ( x ) , N ( x ̄ ) ) γ x - x ̄ for each x , x ̄ C ( [ 0 , 1 ] , ) .

Let x, x ̄ C ( [ 0 , 1 ] , ) and h1 N(x). Then there exists v1(t) F (t, x(t)) such that, for each t [0, 1],

h 1 ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v 1 ( s ) d s - λ x ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v 1 ( s ) d s - λ x ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v 1 ( s ) d s - λ x ( u ) d u .

By (H7), we have

H d ( F ( t , x ) , F ( t , x ̄ ) ) m ( t ) | x ( t ) - x ̄ ( t ) | .

So, there exists wF ( t , x ̄ ( t ) ) such that

| v 1 ( t ) - w | m ( t ) | x ( t ) - x ̄ ( t ) | , t [ 0 , 1 ] .

Define U: 0 , 1 P by

U ( t ) = { w : | v 1 ( t ) - w | m ( t ) | x ( t ) - x ̄ ( t ) | } .

Since the multivalued operator U ( t ) F ( t , x ̄ ( t ) ) is measurable ([[57], Proposition III.4])), there exists a function v2(t) which is a measurable selection for V . So v 2 ( t ) F ( t , x ̄ ( t ) ) and for each t [0, 1], we have | v 1 ( t ) - v 2 ( t ) |m ( t ) |x ( t ) - x ̄ ( t ) |.

For each t [0, 1], let us define

h 2 ( t ) = 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v 2 ( s ) d s - λ x ̄ ( u ) d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v 2 ( s ) d s - λ x ̄ ( u ) d u - t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) v 2 ( s ) d s - λ x ̄ ( u ) d u .

Thus,

| h 1 ( t ) - h 2 ( t ) | 0 t ( t - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v 1 ( s ) - v 2 ( s ) | d s + | λ | | x ( u ) - x ̄ ( u ) | d u + t α ( η - t ) ( 1 - η ) 0 1 ( 1 - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v 1 ( s ) - v 2 ( s ) | d s | + λ | | x ( u ) - x ̄ ( u ) | d u + t α ( 1 - t ) ( 1 - η ) η α 0 η ( η - u ) α - 1 Γ ( α ) 0 u ( u - s ) β - 1 Γ ( β ) | v 1 ( s ) - v 2 ( s ) d | s + λ | | x ( u ) - x ̄ ( u ) | d u .

Hence,

h 1 - h 2 m Γ ( α + β + 1 ) 1 + A ( η α + 1 + η β ) + | λ | Γ ( α + 1 ) 1 + A ( 1 + η α + 1 ) x - x ̄ .

Analogously, interchanging the roles of x and x ̄ , we obtain

H d ( N ( x ) , N ( x ̄ ) ) γ x - x ̄ m Γ ( α + β + 1 ) 1 + A ( η α + 1 + η β ) + | λ | Γ ( α + 1 ) 1 + A ( 1 + η α + 1 ) x - x ̄ .

Since N is a contraction, it follows by Lemma 11.2.4 that N has a fixed point x which is a solution of (1.1). This completes the proof. □

Example 3.1 Consider the problem

c D 3 / 2 c D 1 / 2 + 1 3 x ( t ) F ( t , x ( t ) ) , 0 < t < 1 , x ( 0 ) = 0 , x 1 3 = 0 , x ( 1 ) = 0 ,
(3.3)

where F: 0 , 1 ×P is a multivalued map given by

x F ( t , x ) = 1 4 x 5 x 5 + 3 + 1 8 ( t + 1 ) , 1 4 sin x + 1 4 ( t + 1 ) .

For f F, we have

| f | max 1 4 x 5 x 5 + 3 + 1 8 ( t + 1 ) , 1 4 sin x + 1 4 ( t + 1 ) 3 4 .

Thus,

F ( t , x ) P : = sup { | y | : y F ( t , x ) } p ( t ) ψ ( x ) , x ,

with p(t) = 1, ψ(||x|| ) = 3/4. Further, using the condition

[ Γ ( α + 1 ) - | λ | ( 1 + A ( 1 + η α + 1 ) ) ] Γ ( α + β + 1 ) x Γ ( α + 1 ) [ 1 + A ( η α + 1 + η β ) ] p ψ ( x ) > 1 ,

we find that

M > M 1 1 . 255966 .

Clearly, all the conditions of Theorem 3.1 are satisfied. So there exists at least one solution of the problem (3.3) on [0, 1].

References

  1. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. In North-Holland Mathematics Studies. Volume vol. 204. Elsevier Science B.V., Amsterdam; 2006.

    Google Scholar 

  2. Lakshmikantham V, Leela S, Devi JV: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge; 2009.

    Google Scholar 

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

    MATH  Google Scholar 

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

    Google Scholar 

  5. Ahmad B, Otero-Espinar V: Existence of solutions for fractional differential inclusions with anti-periodic boundary conditions. Bound Value Probl 2009, 2009: 11. (Article ID 625347)

    MathSciNet  MATH  Google Scholar 

  6. Agarwal RP, Belmekki M, Benchohra M: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv Diff Equ 2009, 2009: 47. (Article ID 981728)

    MathSciNet  MATH  Google Scholar 

  7. Chang YK, Nieto JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math Comput Model 2009, 49: 605–609. 10.1016/j.mcm.2008.03.014

    Article  MathSciNet  MATH  Google Scholar 

  8. Agarwal RP, Andrade B, Cuevas C: On type of peri-odicity and ergodicity to a class of fractional order differential equations. Adv Diff Equ 2010, 2010: 25. (Article ID 179750)

    Article  MATH  Google Scholar 

  9. Bai B: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal 2010, 72: 916–924. 10.1016/j.na.2009.07.033

    Article  MathSciNet  MATH  Google Scholar 

  10. Zhang S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput Math Appl 2010, 59: 1300–1309. 10.1016/j.camwa.2009.06.034

    Article  MathSciNet  MATH  Google Scholar 

  11. Balachandran K, Trujillo JJ: The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces. Nonlinear Anal 2010, 72: 4587–4593. 10.1016/j.na.2010.02.035

    Article  MathSciNet  MATH  Google Scholar 

  12. Agarwal RP, Andrade B, Cuevas C: Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations. Nonlinear Anal Real World Appl 2010, 11: 3532–3554. 10.1016/j.nonrwa.2010.01.002

    Article  MathSciNet  MATH  Google Scholar 

  13. Ahmad B, Sivasundaram S: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl Math Comput 2010, 217: 480–487. 10.1016/j.amc.2010.05.080

    Article  MathSciNet  MATH  Google Scholar 

  14. Baleanu D, Mustafa OG, Agarwal RP: An existence result for a superlinear fractional differential equation. Appl Math Lett 2010, 23: 1129–1132. 10.1016/j.aml.2010.04.049

    Article  MathSciNet  MATH  Google Scholar 

  15. Baleanu D, Mustafa OG, Agarwal RP: On the solution set for a class of sequential fractional differential equations. J Phys A 2010, 43(38):7. (Article ID 385209)

    Article  MathSciNet  MATH  Google Scholar 

  16. Cernea A: On the existence of solutions for nonconvex fractional hyperbolic differential inclusions. Commun Math Anal 2010, 9(1):109–120.

    MathSciNet  MATH  Google Scholar 

  17. Ahmad B: Existence results for fractional differential inclusions with separated boundary conditions. Bull Kor Math Soc 2010, 47: 805–813. 10.4134/BKMS.2010.47.4.805

    Article  MathSciNet  MATH  Google Scholar 

  18. Ahmad B, Ntouyas SK: Some existence results for boundary value problems fractional differential inclusions with non-separated boundary conditions. Electron J Qual Theory Diff Equ 2010, 71: 1–17.

    MathSciNet  MATH  Google Scholar 

  19. Ahmad B, Ntouyas SK: A four-point nonlocal integral boundary value problem for fractional differential equations of arbitrary order. Electron J Qual Theory Diff Equ 2011, 22: 1–15.

    MathSciNet  MATH  Google Scholar 

  20. Ahmad B, Agarwal RP: On nonlocal fractional boundary value problems. Dyn Contin Discr Impuls Syst Ser A Math Anal 2011, 18(2011):535–544.

    MathSciNet  MATH  Google Scholar 

  21. Ahmad B, Ntouyas SK: Boundary value problems for q -difference inclusions. Abstr Appl Anal 2011, 2011: 15. (Article ID 292860)

    MathSciNet  MATH  Google Scholar 

  22. Agarwal RP, Ahmad B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput Math Appl 2011, 62: 1200–1214. 10.1016/j.camwa.2011.03.001

    Article  MathSciNet  MATH  Google Scholar 

  23. Ahmad B, Nieto JJ, Pimentel J: Some boundary value problems of fractional differential equations and inclusions. Comput Math Appl 2011, 62: 1238–1250. 10.1016/j.camwa.2011.02.035

    Article  MathSciNet  MATH  Google Scholar 

  24. Ahmad B, Nieto JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound Value Probl 2011, 2011(36):9.

    MathSciNet  MATH  Google Scholar 

  25. Ahmad B, Alsaedi A: Existence and uniqueness of solutions for coupled systems of higher-order nonlinear fractional differential equations. Fixed Point Theory Appl 2011, 2010: 17. (Article ID 364560)

    MathSciNet  MATH  Google Scholar 

  26. Santos JPC, Cuevas C, Arjunan M: Existence results for a fractional neutral integro-differential equations with state-dependent delay. Comput Math Appl 2011, 62: 275–1283.

    MathSciNet  MATH  Google Scholar 

  27. Wax N (Ed): Selected Papers on Noise and Stochastic Processes Dover, New York; 1954.

    Google Scholar 

  28. Mazo R: Brownian Motion: Fluctuations, Dynamics and Applications. Oxford University Press, Oxford; 2002.

    Google Scholar 

  29. Coffey WT, Kalmykov YP, Waldron JT: The Langevin Equation. 2nd edition. World Scientific, Singapore; 2004.

    Google Scholar 

  30. Wang KG: Long-time-correlation effects and biased anomalous diffusion. Phys Rev A 1992, 45: 833–837. 10.1103/PhysRevA.45.833

    Article  Google Scholar 

  31. Porra JM, Wang KG, Masoliver J: Generalized Langevin equations: anomalous diffusion and probability distributions. Phys Rev E 1996, 53: 5872–5881. 10.1103/PhysRevE.53.5872

    Article  Google Scholar 

  32. Wang KG, Tokuyama M: Nonequilibrium statistical description of anomalous diffusion. Phys A 1999, 265: 341–351. 10.1016/S0378-4371(98)00644-X

    Article  Google Scholar 

  33. Lutz E: Fractional Langevin equation. Phys Rev E 2001, 64: 051106.

    Article  Google Scholar 

  34. Fa KS: Generalized Langevin equation with fractional derivative and long-time correlation function. Phys Rev 2006, 73: 061104.

    Article  Google Scholar 

  35. Fa KS: Fractional Langevin equation and Riemann-Liouville fractional derivative. Eur Phys J E 2007, 24: 139–143. 10.1140/epje/i2007-10224-2

    Article  Google Scholar 

  36. Kobolev V, Romanov E: Fractional Langevin equation to describe anomalous diffusion. Prog Theo Phys Suppl 2000, 139: 470–476.

    Article  Google Scholar 

  37. Lim SC, Muniandy SV: Self-similar Gaussian processes for modeling anomalous diffusion. Phys Rev E 2002, 66: 021114.

    Article  Google Scholar 

  38. Picozzi S, West B: Fractional Langevin model of memory in financial markets. Phys Rev E 2002, 66: 046118.

    Article  MathSciNet  Google Scholar 

  39. Lim SC, Li M, Teo LP: Locally self-similar fractional oscillator processes. Fluc Noise Lett 2007, 7: 169–179. 10.1142/S0219477507003817

    Article  Google Scholar 

  40. Lim SC, Li M, Teo LP: Langevin equation with two fractional orders. Phys Lett A 2008, 372: 6309–6320. 10.1016/j.physleta.2008.08.045

    Article  MathSciNet  MATH  Google Scholar 

  41. Lim SC, Teo LP: The fractional oscillator process with two indices. J Phys A Math Theory 2009, 42: 065208. 10.1088/1751-8113/42/6/065208

    Article  MathSciNet  MATH  Google Scholar 

  42. Ahmad B, Nieto JJ: Solvability of nonlinear Langevin equation involving two fractional orders with Dirichlet boundary conditions. Int J Diff Equ 2010, 2010: 2. (Article ID 649486)

    MathSciNet  MATH  Google Scholar 

  43. Uranagase M, Munakata T: Generalized Langevin equation revisited: mechanical random force and self-consistent structure. J Phys A Math Theor 2010, 43: 11. (Article ID 455003)

    Article  MathSciNet  MATH  Google Scholar 

  44. Denisov SI, Kantz H, Hänggi P: Langevin equation with super-heavy-tailed noise. J Phys A: Math Theor 2010, 43: 10. (Article ID 285004)

    Article  MathSciNet  MATH  Google Scholar 

  45. Lozinski A, Owens RG, Phillips TN: The Langevin and Fokker-Planck Equations in Polymer Rheology. In Handbook of Numerical Analysis. Volume vol. 16. Elsevier, Amsterdam; 2011:211–303.

    Google Scholar 

  46. Lizana L, Ambjörnsson T, Taloni A, Barkai E, Lomholt MA: Foundation of fractional Langevin equation: harmonization of a many-body problem. Phys Rev E 2010, 81: 8. (Article ID 051118)

    Article  Google Scholar 

  47. Ahmad B, Nieto JJ, Alsaedi A, El-Shahed M: A study of nonlinear Langevin equation involving two fractional orders in different intervals. Nonlinear Anal Real World Appl 2012, 13: 599–606. 10.1016/j.nonrwa.2011.07.052

    Article  MathSciNet  MATH  Google Scholar 

  48. Deimling K: Multivalued Differential Equations. Walter De Gruyter, Berlin/New York; 1992.

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  50. Kisielewicz M: Differential Inclusions and Optimal Control. Kluwer, Dordrecht; 1991.

    Google Scholar 

  51. Lasota A, Opial Z: An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations. Bull Acad Polon Sci Ser Sci Math Astronom Phys 1965, 13: 781–786.

    MathSciNet  MATH  Google Scholar 

  52. Granas A, Dugundji J: Fixed Point Theory. Springer-Verlag, New York; 2005.

    Google Scholar 

  53. Bressan A, Colombo G: Extensions and selections of maps with decomposable values. Studia Math 1988, 90: 69–86.

    MathSciNet  MATH  Google Scholar 

  54. Covitz H, SNadler SB Jr: Multivalued contraction mappings in generalized metric spaces. Israel J Math 1970, 8: 5–11. 10.1007/BF02771543

    Article  MathSciNet  MATH  Google Scholar 

  55. Yu L, Liang M: Convergence of iterative sequences for fixed point and variational inclusion problems. Fixed Point Theory Appl 2011, 2011: 15. (Article ID 368137) 10.1186/1687-1812-2011-15

    Article  MathSciNet  MATH  Google Scholar 

  56. He Z, Du WS, Lin IJ: The existence of fixed points for new nonlinear multivalued maps and their applications. Fixed Point Theory Appl 2011, 2011: 84. 10.1186/1687-1812-2011-84

    Article  MathSciNet  MATH  Google Scholar 

  57. Castaing C, Valadier M: Convex Analysis and Measurable Multifunctions. In Lecture Notes in Mathematics 580. Springer-Verlag, Berlin/Heidelberg/New York; 1977.

    Google Scholar 

Download references

Acknowledgements

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant no. 07/31/Gr. The authors, therefore, acknowledge with thanks DSR technical and financial support. The authors also thank the referees for their useful comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

Each of the authors, BA, JJN, and AA 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 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

Cite this article

Ahmad, B., Nieto, J.J. & Alsaedi, A. A nonlocal three-point inclusion problem of Langevin equation with two different fractional orders. Adv Differ Equ 2012, 54 (2012). https://doi.org/10.1186/1687-1847-2012-54

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-54

Keywords