Sudsutad et al. Advances in Difference Equations (2015) 2015:235 DOI 10.1186/s13662-015-0566-8

RESEARCH

Open Access

Systems of fractional Langevin equations of Riemann-Liouville and Hadamard types Weerawat Sudsutad1,2 , Sotiris K Ntouyas3,4 and Jessada Tariboon1,2* *

Correspondence: [email protected] 1 Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, 10800, Thailand 2 Centre of Excellence in Mathematics, CHE, Si Ayutthaya Rd., Bangkok, 10400, Thailand Full list of author information is available at the end of the article

Abstract Fractional differential equations have been shown to be very useful in the study of models of many phenomena in various fields of science and engineering, such as physics, chemistry, biology, signal and image processing, biophysics, blood flow phenomena, control theory, economics, aerodynamics, and fitting of experimental data. Much of the work on the topic deals with the governing equations involving Riemann-Liouville- and Caputo-type fractional derivatives. Another kind of fractional derivative is the Hadamard type, which was introduced in 1892. This derivative differs from the aforementioned derivatives in the sense that the kernel of the integral in the definition of the Hadamard derivative contains a logarithmic function of arbitrary exponent. In the present paper we introduce a new class of boundary value problems for Langevin fractional differential systems. The Langevin equation is widely used to describe the evolution of physical phenomena in fluctuating environments. We combine Riemann-Liouville- and Hadamard-type Langevin fractional differential equations subject to Hadamard and Riemann-Liouville fractional integral boundary conditions, respectively. Some new existence and uniqueness results for coupled and uncoupled systems are obtained by using fixed point theorems. The existence and uniqueness of solutions is established by Banach’s contraction mapping principle, while the existence of solutions is derived by using the Leray-Schauder’s alternative. The obtained results are well illustrated with the aid of examples. MSC: 34A08; 34A12; 34B15 Keywords: Riemann-Liouville fractional derivative; Hadamard fractional derivative; fractional integral boundary conditions; Langevin equation; coupled system; existence; uniqueness; fixed point theorems

1 Introduction In this paper, we concentrate on the study of existence and uniqueness of solutions for a coupled systems of Riemann-Liouville and Hadamard fractional derivatives of Langevin equation with fractional integral conditions of the form ⎧ q p a ≤ t ≤ T, ⎪ RL D (RL D + λ )x(t) = f (t, x(t), y(t)), ⎪ ⎪ ⎨ Dq ( Dp + λ )y(t) = g(t, x(t), y(t)), a ≤ t ≤ T, H H  (.) m ρi ⎪ x(a) = , σ  x(τ ) = ⎪ i= αiH I y(ηi ), ⎪  ⎩ y(a) = , σ y(τ ) = nj= βjRL I γj x(ξj ), where RL Dq , H Dp are the Riemann-Liouville and Hadamard fractional derivative of orders q, p, respectively, when q ∈ {q , p }, and p ∈ {q , p } with  < qk , pk < ,  < qk + pk < , © 2015 Sudsutad et al. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 2 of 24

λk are given constants, k = , , RL I γj , H I ρi are the Riemann-Liouville and Hadamard fractional integral of orders γj , ρi > , respectively, ηi , ξj ∈ (a, T) and αi , βj , σ , σ ∈ R for all i = , , . . . , m, j = , , . . . , n, τ , τ ∈ (a, T], f , g : [a, T] × R → R are continuous functions. Fractional differential equations have been shown to be very useful in the study of models of many phenomena in various fields of science and engineering, such as physics, chemistry, biology, signal and image processing, biophysics, blood flow phenomena, control theory, economics, aerodynamics, and fitting of experimental data. For examples and recent development of the topic, see [–] and references cited therein. Ahmad et al. [–] have studied the existence and uniqueness of solutions of nonlinear fractional differential and integro-differential equations for a variety of boundary conditions using standard fixed point theorems. Agarwal et al. [] discusses the existence of solutions of fractional neutral functional differential equations. Baleanu et al. [] considered Lp -solutions for a class of sequential fractional differential equations. In [], the nonlinear alternative and Vitali convergence theorem were used for studying Caputo fractional boundary value problems with singularities in space variables. In Zhang et al. [], the fixed point theory and monotone iterative technique were used to prove the existence of a unique solution for a class of nonlinear fractional integro-differential equations on semi-infinite domains in a Banach space. Liu et al. [] discussed the existence of at least three solutions of p-Laplacian model involving the Caputo fractional derivative with Dirichlet-Neumann boundary conditions. However, it has been observed that most of the work on the topic involves either the Riemann-Liouville- or the Caputo-type fractional derivative. Besides these derivatives, the Hadamard fractional derivative is another kind of fractional derivatives that was introduced by Hadamard in  []. This fractional derivative differs from the other ones in the sense that the kernel of the integral (in the definition of Hadamard derivative) contains logarithmic function of arbitrary exponent. For background material of Hadamard fractional derivative and integral, we refer to [, –]. It seems that the abstract fractional differential equations involving Hadamard fractional derivatives and Hilfer-Hadamard fractional derivatives have not been fully explored so far. The basic information on various classes of abstract fractional equations and abstract Volterra integro-differential equations the interested reader can be found in [–] and the references cited therein. The Langevin equation (first formulated by Langevin in ) is found to be an effective tool to describe the evolution of physical phenomena in fluctuating environments []. For some new developments on the fractional Langevin equation in physics; see, for example, [–]. Lizana et al. [] have studied a single-particle equation of motion starting with a microscopic description of a tracer particle in a one-dimensional many-particle system with a general two-body interaction potential and they have shown that the resulting dynamical equation belongs to the class of fractional Langevin equations using a harmonization technique. In [], Gambo et al. discussed the Caputo modification of the Hadamard fractional derivative. Ahmad et al. [, ] considered solutions of nonlinear Langevin equation involving two fractional orders. In [], Tariboon et al. studied the existence and uniqueness of solutions of the nonlinear Langevin equation of Hadamard-Caputo-type fractional derivatives with nonlocal fractional integral conditions using a variety of fixed point theorems. In this paper we prove the existence and uniqueness of the solutions by using Banach’s contraction principle, and existence of solutions via Leray-Schauder’s alternative. Exam-

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 3 of 24

ples illustrating our results are also presented. The case of uncoupled systems is also discussed. We emphasize that in this paper we combine Riemann-Liouville- and Hadamardtype fractional differential equations subject to Hadamard and Riemann-Liouville fractional integral boundary conditions, respectively. To the best of the authors’ knowledge this is the first paper dealing with systems with such combinations of equations and boundary conditions.

2 Preliminaries In this section, we introduce some notations and definitions of fractional calculus and present preliminary results needed in our proofs later. To distinguish the different cases of derivatives and integrals we use the notations RL D, RL I, H D, H I to denote RiemannLiouville or Hadamard derivative or integral respectively. Definition . [] The Riemann-Liouville fractional derivative of order q >  of a continuous function f : (a, ∞) → R, a > , is defined by q RL D f (t) =

 n t  d (t – s)n–q– f (s) ds, (n – q) dt a

n –  < q < n,

where n = [q] + , [q] denotes the integer part of a real number q, provided the right-hand side is point-wise defined on (a, ∞), where  is the gamma function defined by (q) =

∞ –s q– ds.  e s Definition . [] The Riemann-Liouville fractional integral of order q >  of a continuous function f : (a, ∞) → R, a > , is defined by q RL I f (t) =

 (q)



t

(t – s)q– f (s) ds, a

provided the right-hand side is point-wise defined on (a, ∞). Definition . [] The Hadamard derivative of a measurable fractional order q for a function f : (a, ∞) → R, a > , is defined as     d n t  t n–q– f (s) t ds, log H D f (t) = (n – q) dt s s a q

n –  < q < n, n = [q] + ,

where log(·) = loge (·), provided the (Lebesgue) integral exists and the operator (td/dt)n can be applied. Definition . [] The Hadamard fractional integral of order q ∈ R+ of a function f (t), for all  < a < t < ∞, is defined as HI

q

f (t) =

 (q)

 t t q– ds log f (s) , s s a

provided the integral exists.

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 4 of 24

Lemma . ([], pp., , ) Let q > , a > , and β > . Then the following properties hold: (β) (x – a)β+q– , (β + q)     t β– x β+q– (β) q log log (x) = , HI a (β + q) a RL I

q

(t – a)β– (x) =

q β q+β f (x) H I H I f (x) = H I

semigroup property.

Lemma . [] Let q >  and x ∈ C(a, T) ∩ L (a, T), a > . Then the fractional differential equation RL Dq x(t) =  has the solutions x(t) =

n 

ci (t – a)q–i ,

i=

and the following formula holds: q q RL I RL D x(t) = x(t) +

n 

ci (t – a)q–i ,

i=

where ci ∈ R, i = , , . . . , n, and n –  < q < n. Lemma . [, ] Let q >  and x ∈ C(a, T) ∩ L (a, T), a > . Then the Hadamard fractional differential equation H Dq x(t) =  has the solutions   n  t q–i ci log , x(t) = a i= and the following formula holds: q q H I H D x(t) = x(t) +

  n  t q–i ci log , a i=

where ci ∈ R, i = , , . . . , n, and n –  < q < n. In the following, for the sake of the convenience, we set  =

m  αi (log ηi )q +p +ρi – (q ) a

i=

 =

(q + p + ρi )

  τ q +p – σ (q ) log , (q + p ) a

,

 =

n  βj (ξj – a)q +p +γj – (q ) j=

 =

(q + p + γj )

,

σ (q ) (τ – a)q +p – (q + p )

and =   –   . Lemma . Let = ,  < qk , pk < ,  < qk + pk < , k = , , ρi , γj > , αi , βj , σ , σ ∈ R, ηi , ξj ∈ (a, T), i = , , . . . , m, j = , , . . . , n, τ , τ ∈ (a, T], and φ, ψ ∈ C([a, T], R), a > . Then

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 5 of 24

the problem ⎧ q p a ≤ t ≤ T, ⎪ RL D (RL D + λ )x(t) = φ(t), ⎪ ⎪ ⎨ Dq ( Dp + λ )y(t) = ψ(t), a ≤ t ≤ T, H H  m ⎪ αiH I ρi y(ηi ), x(a) = , σ  x(τ ) = ⎪ ⎪ i= ⎩ n y(a) = , σ y(τ ) = j= βjRL I γj x(ξj ),

(.)

has a solution if and only if the system

x(t) = RL I

q +p

– λ

+

(t – a)q +p – (q ) φ(t) – λRL I x(t) – (q + p )



p

n 

βjRL I

p +γj

p

x(ξj ) + λ σH I y(τ ) – σH I

n  j=

q +p

βjRL I q +p +γj φ(ξj ) 

ψ(τ ) 

j= m 

αiH I q +p +ρi ψ(ηi ) – λ

i=





m 

αiH I p +ρi y(ηi ) + λ σRL I p x(τ )

i=

– σRL I q +p φ(τ ) 

(.)

and

y(t) = H I

q +p

– λ

(log at )q +p – (q ) ψ(t) – λH I y(t) – (q + p ) p

m 

αiH I

p +ρi

p

m 

y(ηi ) + λ σRL I x(τ ) – σRL I

i= q +p

αiH I q +p +ρi ψ(ηi ) 

φ(τ ) 

i=

+

n  j=

βjRL I q +p +γj φ(ξj ) – λ 



n 

βjRL I p +γj x(ξj ) + λ σH I p y(τ )

j=

– σH I q +p ψ(τ ) 

(.)

has a solution. Proof Using Lemmas . and . and the first two equations in (.) can be expressed as equivalent integral equations 

 + λ x(t) = RL I q φ(t) – c (t – a)q – ,     p t q – q  . H D + λ y(t) = H I ψ(t) – d log a RL D

p

It follows that x(t) = RL I q +p φ(t) – λRL I p x(t) – c

(q )(t – a)q +p – – c (t – a)p – (q + p )

(.)

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 6 of 24

and y(t) = H I q +p ψ(t) – λH I p y(t) – d

  (q )(log at )q +p – t p – – d log , (q + p ) a

(.)

where c , c , d , d ∈ R. The condition x(a) = y(a) =  implies that c = d = . Taking the Riemann-Liouville and Hadamard fractional integrals of order γj , ρi >  for (.) and (.), respectively, and using the property given in Lemma ., we obtain σH I q +p ψ(τ ) – λ σH I p y(τ ) – d  =

n 

βjRL I q +p +γj φ(ξj ) – λ

n 

j=

βjRL I p +γj x(ξj ) – c  ,

j=

σRL I q +p φ(τ ) – λ σRL I p x(τ ) – c  =

m 

m 

αiH I q +p +ρi ψ(ηi ) – λ

i=

αiH I p +ρi y(ηi ) – d  .

i=

Solving the above system of linear equations for constants c and d , we get

n n    βjRL I q +p +γj φ(ξj ) – λ βjRL I p +γj x(ξj ) + λ σH I p y(τ ) c = j= j= 

– σH I

q +p

m m    ψ(τ ) + αiH I q +p +ρi ψ(ηi ) – λ αiH I p +ρi y(ηi ) i= i= 

+ λ σRL I p x(τ ) – σRL I q +p φ(τ ) ,

m m    αiH I q +p +ρi ψ(ηi ) – λ αiH I p +ρi y(ηi ) + λ σRL I p x(τ ) d = i= i=

n  n    βjRL I q +p +γj φ(ξj ) – λ βjRL I p +γj x(ξj ) – σRL I q +p φ(τ ) + j= j= 

p

+ λ σH I y(τ ) – σH I

q +p

ψ(τ ) .

Substituting the values of c , c , d , and d in (.) and (.), we obtain the expressions (.) and (.). 

3 Main results Throughout this paper, for convenience, we use the following expressions:   w RL I h s, x(s), y(s) (v) =

 (w)



v

  (v – s)w– h s, x(s), y(s) ds

a

and   u H I h s, x(s), y(s) (v) =

 (u)

 v v u– h(s, x(s), y(s)) ds, log s s a

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 7 of 24

where u ∈ {q , p , γj }, w ∈ {q , p , ρi }, v ∈ {t, τ , τ , ηi , ξj } and h = {f , g}, i = , , . . . , m, j = , , . . . , n. Let C = C([a, T], R) denote the Banach space of all continuous functions from [a, T] to R. Let us introduce the space X = {x(t)|x(t) ∈ C([a, T])} endowed with the norm x = sup{|x(t)|, t ∈ [a, T]}. Obviously (X,  · ) is a Banach space. In addition the product space (X × X, (x, y)) is a Banach space with norm (x, y) = x + y. Definition . A (x, y) ∈ X ×X is said to be a solution of the system (.) if (x, y) satisfies the system RL Dq (RL Dp + λ )x(t) = f (t, x(t), y(t)), H Dq (H Dp + λ )y(t) = g(t, x(t), y(t)), on [a, T],  n γj ρi and the conditions x(a) = , σ x(τ ) = m i= αiH I y(ηi ), y(a) = , σ y(τ ) = j= βjRL I x(ξj ). In view of Lemma ., we define an operator Q : X × X → X × X by

 Q (x, y)(t) Q(x, y)(t) = , Q (x, y)(t) where

Q (x, y)(t)

  = RL I q +p f s, x(s), y(s) (t) – λRL I p x(t) n   (t – a)q +p – (q )  βjRL I q +p +γj f s, x(s), y(s) (ξj ) – (q + p ) j= – λ

+

n 

βjRL I

p +γj

p

x(ξj ) + λ σH I y(τ ) – σH I

q +p

  g s, x(s), y(s) (τ )  

j= m 

m    αiH I q +p +ρi g s, x(s), y(s) (ηi ) – λ αiH I p +ρi y(ηi ) + λ σRL I p x(τ )

i=



  – σRL I q +p f s, x(s), y(s) (τ ) 



i=

and

Q (x, y)(t)

  = H I q +p g s, x(s), y(s) (t) – λH I p y(t) m   (log at )q +p – (q )  αiH I q +p +ρi g s, x(s), y(s) (ηi ) – (q + p ) i= – λ

+

m 

αiH I

p +ρi

p

y(ηi ) + λ σRL I x(τ ) – σRL I

q +p

  f s, x(s), y(s) (τ )  

i= n  j=

n    βjRL I q +p +γj f s, x(s), y(s) (ξj ) – λ βjRL I p +γj x(ξj ) j=

    + λ σH I p y(τ ) – σH I q +p g s, x(s), y(s) (τ )  .

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 8 of 24

For the sake of convenience, we set (log Ta )q +p – (q ) , (q + p )

A =

(T – a)q +p – (q ) , (q + p )

A =

(T – a)p , (p + )

A =

(T – a)q +p , (q + p + )

A =

(τ – a)p , (p + )

A =

(τ – a)q +p , (q + p + )

A =

(log Ta )p , (p + )

A =

(log Ta )q +p , (q + p + )

A =

(log τa )p , (p + )

A =

A =

m  |αi |(log ηi )p +ρi a

i=

A =

(p + ρi + )

n  |βj |(ξj – a)p +γj j=

(p + γj + )

A =

(log τa )q +p , (q + p + )

,

A =

m  |αi |(log ηai )q +p +ρi , (q + p + ρi + ) i=

,

A =

n  |βj |(ξj – a)q +p +γj . (q + p + γj + ) j=

The first result is concerned with the existence and uniqueness of solutions for the problem (.) and is based on Banach’s fixed point theorem. Theorem . Assume that f , g : [a, T] × R → R are continuous functions and there exist constants mi , ni , i = ,  such that for all t ∈ [a, T], a > , and xi , yi ∈ R, i = , ,   f (t, x , y ) – f (t, x , y ) ≤ m |x – x | + m |y – y | and   g(t, x , y ) – g(t, x , y ) ≤ n |x – x | + n |y – y |. In addition, assume that B + C < , where  A  |σ ||  |A + |  |A + A , | |  A  M = |σ ||  |A + |  |A , | |  |λ |A  |σ ||  |A + |  |A + |λ |A , M = | |  |λ |A  |σ ||  |A + |  |A , M = | |  A  |σ ||  |A + |  |A + A , M = | |

M =

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 9 of 24

 A  |σ ||  |A + |  |A , | |  |λ |A  M = |σ ||  |A + |  |A + |λ |A , | |  |λ |A  |σ ||  |A + |  |A M = | | M =

and B = (m + m )M + (n + n )M + M + M , C = (m + m )M + (n + n )M + M + M . Then the boundary value problem (.) has a unique solution on [a, T]. Proof Define supt∈[a,T] f (t, , ) = N < ∞ and supt∈[a,T] g(t, , ) = N < ∞ and choose a positive real number r, such that   M N + M N M N + M N . , r ≥ max  – B  – C First, we show that QBr ⊂ Br , where Br = {(x, y) ∈ X × X : (x, y) ≤ r}. For (x, y) ∈ Br , we have   Q (x, y)(t)  ≤ sup

RL I

     (t – a)q +p – (q ) f s, x(s), y(s) (t) + |λ |RL I p x(s)(t) + | |(q + p )

q +p 

t∈[a,T]

×

n 

n       |βj |RL I q +p +γj f s, x(s), y(s) (ξj ) + |λ | |βj |RL I p +γj x(s)(ξj )

j=

j=

      q +p    g s, x(s), y(s) (τ ) |  | + |λ ||σ |H I y(s) (τ ) + |σ |H I p 

+

m 

m       |αi |H I q +p +ρi g s, x(s), y(s) (ηi ) + |λ | |αi |H I p +ρi y(s)(ηi )

i=

+ |λ ||σ |RL I

i=



p 

      q +p   f s, x(s), y(s) (τ ) |  | x(s)(τ ) + |σ |RL I

        ≤ RL I q +p f s, x(s), y(s) – f (s, , ) + f (s, , ) (T) + |λ |RL I p x(s)(T)

n      (T – a)q +p – (q ) + |βj |RL I q +p +γj f s, x(s), y(s) – f (s, , ) | |(q + p ) j= n        |βj |RL I p +γj x(s)(ξj ) + |λ ||σ |H I p y(s)(τ ) + f (s, , ) (ξj ) + |λ | j=

        + |σ |H I q +p g s, x(s), y(s) – g(s, , ) + g(s, , ) (τ ) |  |

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

+

m 

Page 10 of 24

      |αi |H I q +p +ρi g s, x(s), y(s) – g(s, , ) + g(s, , ) (ηi )

i=

+ |λ |

m 

    |αi |H I p +ρi y(s)(ηi ) + |λ ||σ |RL I p x(s)(τ )

i=

+ |σ |RL I

q +p

        f s, x(s), y(s) – f (s, , ) + f (s, , ) (τ ) |  |

  ≤ m x + m y + N RL I q +p ()(T) + |λ |xRL I p ()(T)

n   (T – a)q +p – (q ) + m x + m y + N |βj |RL I q +p +γj ()(ξj ) | |(q + p ) j= + |λ |x

n 

|βj |RL I p +γj ()(ξj ) + |λ ||σ |yH I p ()(τ )

j=

  q +p  + |σ | n x + n y + N H I   ()(τ ) |  |

+

m m    |αi |H I q +p +ρi ()(ηi ) + |λ |y |αi |H I p +ρi ()(ηi ) n x + n y + N i=

i=

    q +p + |λ ||σ |xRL I ()(τ ) + |σ | m x + m y + N RL I   ()(τ ) |  | p

=

 n (T – a)q +p – (q ) |  ||σ |(τ – a)q +p  |  ||βj |(ξj – a)q +p +γj + | |(q + p ) (q + p + ) (q + p + γj + ) j=

  (T – a)q +p – (q ) (T – a)q +p  m x + m y + N + + (q + p + ) | |(q + p ) 

m  |σ ||  |(log τa )q +p  |  ||αi |(log ηai )q +p +ρi  + n x + n y + N × (q + p + ) (q + p + ρi + ) i=



n (T – a)q +p – (q ) |λ ||  ||σ |(τ – a)p  |λ ||  ||βj |(ξj – a)p +γj + + | |(q + p ) (p + ) (p + γj + ) j=



m η (T – a)q +p – (q )  |λ ||  ||αi |(log ai )p +ρi |λ |(T – a)p x + + (p + ) | |(q + p ) (p + ρi + ) i=  |λ ||  ||σ |(log τa )p y + (p + )      A  |σ ||  |A + |  |A + A m x + m y + N = | |   A  |σ ||  |A + |  |A n x + n y + N | |    |λ |A  + |σ ||  |A + |  |A + |λ |A x | | +

+

 |λ |A  |σ ||  |A + |  |A y | |

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

    = M m x + m y + N + M n x + n y + N + M x + M y = (m M + n M + M )x + (m M + n M + M )y + M N + M N   ≤ (m + m )M + (n + n )M + M + M r + M N + M N = B r + M N + M N ≤ r. In the same way, we obtain   Q (x, y)(t)

 m (log Ta )q +p – (q ) |  ||σ |(log τa )q +p  |  ||αi |(log ηai )q +p +ρi ≤ + | |(q + p ) (q + p + ) (q + p + ρi + ) i=   (log Ta )q +p – (q ) (log Ta )q +p  n x + n y + N + + (q + p + ) | |(q + p ) 

n  |  ||σ |(τ – a)q +p  |  ||βj |(ξj – a)q +p +γj  + m x + m y + N × (q + p + ) (q + p + γj + ) j=

 m |λ ||  ||αi |(log ηai )p +ρi (log Ta )q +p – (q ) |λ ||  ||σ |(log τa )p  + + | |(q + p ) (p + ) (p + ρi + ) i= 

n (log Ta )q +p – (q )  |λ |(log Ta )p |λ ||  ||βj |(ξj – a)p +γj y + + (p + ) | |(q + p ) (p + γj + ) j=

 |λ ||  ||σ |(τ – a)p x + (p + )      A  |  ||σ |A + |  |A + A n x + n y + N = | |   A  |  ||σ |A + |  |A m x + m y + N | |    |λ |A  |  ||σ |A + |  |A y + |λ |A + | | +

 |λ |A  |  ||σ |A + |  |A x | |     = M n x + n y + N + M m x + m y + N + M y + M x +

= (n M + m M + M )x + (n M + m M + M )y + M N + M N   ≤ (m + m )M + (n + n )M + M + M r + M N + M N = C r + M N + M N ≤ r. Now for (x , y ), (x , y ) ∈ X × X, and for any t ∈ [a, T], we get   Q (x , y )(t) – Q (x , y )(t)        ≤ RL I q +p f s, x (s), y (s) – f s, x (s), y (s)  (T) + |λ |RL I p x (s) – x (s) (T) +

(T – a)q +p – (q ) | |(q + p )

Page 11 of 24

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

×

n 

     |βj |RL I q +p +γj f s, x (s), y (s) – f s, x (s), y (s)  (ξj )

j=

+ |λ |

n 

    |βj |RL I p +γj x (s) – x (s) (ξj ) + |λ ||σ |H I p y (s) – y (s) (τ )

j=

       + |σ |H I q +p g s, x (s), y (s) – g s, x (s), y (s)  (τ ) |  |

+

m 

     |αi |H I q +p +ρi g s, x (s), y (s) – g s, x (s), y (s)  (ηi )

i=

+ |λ |

m 

    |αi |H I p +ρi y (s) – y (s) (ηi ) + |λ ||σ |RL I p x (s) – x (s) (τ )

i=

+ |σ |RL I

≤

q +p

       f s, x (s), y (s) – f s, x (s), y (s)  (τ ) |  |

n  (T – a)q +p – (q )  |  ||βj |(ξj – a)q +p +γj |σ ||  |(τ – a)q +p + | |(q + p ) (q + p + γj + ) (q + p + ) j=

  (T – a)q +p – (q ) (T – a)q +p  + m x – x  + m y – y  + (q + p + ) | |(q + p ) 

m |  ||αi |(log ηai )q +p +ρi |σ ||  |(log τa )q +p  + × (q + p + ) (q + p + ρi + ) i=

  × n x – x  + n y – y 



n (T – a)q +p – (q ) |λ ||σ ||  |(τ – a)p  |λ ||  ||βj |(ξj – a)p +γj + + | |(q + p ) (p + ) (p + γj + ) j=



m η (T – a)q +p – (q )  |λ ||  ||αi |(log ai )p +ρi |λ |(T – a)p x – x  + + (p + ) | |(q + p ) (p + ρi + ) i=  |λ ||σ ||  |(log τa )p + y – y  (p + )      A  m x – x  + m y – y  |σ ||  |A + |  |A + A = | |      A  n x – x  + n y – y  |σ ||  |A + |  |A + | |    |λ |A  |σ ||  |A + |  |A + |λ |A x – x  + | |    |λ |A  |σ ||  |A + |  |A y – y  + | |     = M m x – x  + m y – y  + M n x – x  + n y – y  + M x – x  + M y – y  = (m M + n M + M )x – x  + (m M + n M + M )y – y ,

Page 12 of 24

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 13 of 24

and consequently we obtain     Q (x , y )(t) – Q (x , y ) ≤ B x – x  + y – y  .

(.)

Similarly,     Q (x , y )(t) – Q (x , y ) ≤ C x – x  + y – y  .

(.)

It follows from (.) and (.) that     Q(x , y )(t) – Q(x , y )(t) ≤ (B + C ) x – x  + y – y  . Since (B + C ) < , therefore, Q is a contraction operator. So, by Banach’s fixed point theorem, the operator Q has a unique fixed point, which is the unique solution of the problem (.). This completes the proof.  In the next result, we prove the existence of solutions for the problem (.) by applying the Leray-Schauder alternative. Lemma . (Leray-Schauder alternative [], p.) Let G be a normed linear space and F : G → G be a completely continuous operator (i.e., a map that restricted to any bounded set in G is compact). Let   E (F) = x ∈ G : x = κF(x) for some  < κ <  . Then either the set E (F) is unbounded, or F has at least one fixed point. For convenience, we set the constants E = (M + M )P + (M + M )R + M + M , E = (M + M )P + (M + M )R + M + M and E∗ = min{ – E ,  – E }.

(.)

Theorem . Assume that the functions f , g : [a, T] × R → R are continuous functions and there exist real constants Pi , Ri ≥  (i = , ) and P > , R >  such that ∀xi ∈ R (i = , ) we have   f (t, x , x ) ≤ P + P |x | + P |x |,   g(t, x , x ) ≤ R + R |x | + R |x |. In addition it is assumed that E <  and

E < .

Then there exists at least one solution for the boundary value problem (.).

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 14 of 24

Proof First we show that the operator Q : X × X → X × X is completely continuous. Note that Q is continuous, since the functions f and g are continuous. Let U ⊂ X × X be bounded. Then there exist positive constants L and L such that    f t, x(t), y(t)  ≤ L ,

   g t, x(t), y(t)  ≤ L ,

∀(x, y) ∈ U,

and a positive real number r such that   M L + M L M L + M L r ≥ max , .  – (M + M )  – (M + M )

Then, for any (x, y) ∈ U where Br = {(x, y) ∈ X × X : (x, y) ≤ r } and using Lemma ., we have   Q (x, y)(t)      (T – a)q +p – (q ) ≤ RL I q +p f s, x(s), y(s) (T) + |λ |RL I p x(s)(T) + | |(q + p )

n n        |βj |RL I q +p +γj f s, x(s), y(s) (ξj ) + |λ | |βj |RL I p +γj x(s)(ξj ) × j=

j=

      + |λ ||σ |H I p y(s)(τ ) + |σ |H I q +p g s, x(s), y(s) (τ ) |  |

+

m 

m       |αi |H I q +p +ρi g s, x(s), y(s) (ηi ) + |λ | |αi |H I p +ρi y(s)(ηi )

i=

+ |λ ||σ |RL I

i=



p 

      q +p    x(s) (τ ) + |σ |RL I f s, x(s), y(s) (τ ) |  |

     A  A  |σ ||  |A + |  |A + A L + |σ ||  |A + |  |A L | | | |     |λ |A  |λ |A  |σ ||  |A + |  |A + |λ |A + |σ ||  |A + |  |A r + | | | |

 ≤

= M L + M L + (M + M )r . In the same way, we deduce that   Q (x, y)       A  A  |σ ||  |A + |  |A + A L + |σ ||  |A + |  |A L ≤ | | | |     |λ |A  |λ |A  |σ ||  |A + |  |A + |λ |A + |σ ||  |A + |  |A r + | | | | = M L + M L + (M + M )r . Thus, it follows from the above inequalities that the operator Q is uniformly bounded.

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 15 of 24

Next, we show that Q is equicontinuous. Let t , t ∈ [a, T] with t < t . Then we have   Q (x, y)(t ) – Q (x, y)(t )       ≤ RL I q +p f s, x(s), y(s) (t ) – RL I q +p f s, x(s), y(s) (t )   |(t – a)q +p – – (t – a)q +p – |(q ) + |λ |RL I p x(t ) – RL I p x(t ) + | |(q + p )

n n        × |βj |RL I q +p +γj f s, x(s), y(s) (ξj ) + |λ | |βj |RL I p +γj x(s)(ξj ) j=

+ |σ |H I

+

m 

j=

      p    g s, x(s), y(s) (τ ) + |λ ||σ |H I y(s) (τ ) |  |

q +p 

m       |αi |H I q +p +ρi g s, x(s), y(s) (ηi ) + |λ | |αi |H I p +ρi y(s)(ηi )

i=

i=

+ |σ |RL I

       p f s, x(s), y(s) (τ ) + |λ ||σ |RL I  x(s)(τ ) |  |

q +p 

 t  t   L q +p – q +p – q +p – (t – a) ds + – (t – a) (t – a) ds ≤ (q + p ) a t  t  t   |λ |r p – p – p – (t – a) ds + – (t – a) (t – a) ds + (p ) a t  |(t – a)q +p – – (t – a)q +p – |(q )  |  |A + |σ ||  |A L | |(q + p )    + |σ ||  |A + |  |A L + |λ ||  |A + |λ ||σ ||  |A + |λ ||  |A   + |λ ||σ ||  |A r .

+

Analogously, we can obtain   Q (x, y)(t ) – Q (x, y)(t )       ≤ H I q +p g s, x(s), y(s) (t ) – H I q +p g s, x(s), y(s) (t )   |(log ta )q +p – – (log ta )q +p – |(q ) + |λ |H I p y(t ) – H I p y(t ) + | |(q + p )

m m        × |αi |H I q +p +ρi g s, x(s), y(s) (ηi ) + |λ | |αi |H I p +ρi y(s)(ηi ) i=

+ |σ |RL I

+

n 

      p    f s, x(s), y(s) (τ ) + |λ ||σ |RL I x(s) (τ ) |  |

q +p 

n       |βj |RL I q +p +γj f s, x(s), y(s) (ξj ) + |λ | |βj |RL I p +γj x(s)(ξj )

j=

+ |σ |H I ≤

i=

j=

       p g s, x(s), y(s) (τ ) + |λ ||σ |H I  y(s)(τ ) |  |

q +p 

L (q + p )



t 

log a

t a

q +p –

   t q +p – ds – log a

Sudsutad et al. Advances in Difference Equations (2015) 2015:235



t 

+ t

+

t a

log |λ |r (p )



q +p –

Page 16 of 24

 ds

t 

log a

t a

q +p –

     t  t q +p – t q +p – – log ds ds + log a a t

 – (log ta )q +p – |(q )  |σ ||  |A + |  |A L | |(q + p )    + |  |A + |σ ||  |A L + |λ ||σ ||  |A + |λ ||  |A + |λ ||σ ||  |A   + |λ ||  |A r .

+

|(log

t q +p – ) a

Therefore, the operator Q(x, y) is equicontinuous, and thus the operator Q(x, y) is completely continuous, by Arzelá-Ascoli theorem. Finally, it will be verified that the set E = {(x, y) ∈ X × X|(x, y) = κ Q(x, y),  < κ < } is bounded. Let (x, y) ∈ E , then (x, y) = κ Q(x, y). For any t ∈ [a, T], we have x(t) = κ Q (x, y)(t),

y(t) = κ Q (x, y)(t).

Then   x(t)   = κ Q (x, y)(t)   ≤ P + P x + P y RL I q +p ()(T) + x|λ |RL I p ()(T)

n   (T – a)q +p – (q ) + |βj |RL I q +p +γj ()(ξj ) P + P x + P y | |(q + p ) j= + x|λ |

n 

  |βj |RL I p +γj ()(ξj ) + R + R x + R y |σ |H I q +p ()(τ )

j=



+ y|λ ||σ |H I ()(τ ) |  | + p



m  R + R x + R y |αi |H I q +p +ρi ()(ηi ) i=

+ y|λ |

m 

  |αi |H I p +ρi ()(ηi ) + P + P x + P y |σ |RL I q +p ()(τ )

i=





+ x|λ ||σ |RL I ()(τ ) |  | p

    = P + P x + P y M + R + R x + R y M + xM + yM and   y(t)   = κ Q (x, y)(t)   ≤ R + R x + R y H I q +p ()(T) + y|λ |H I p ()(T)

m   (log Ta )q +p – (q ) + R + R x + R y |αi |H I q +p +ρi ()(ηi ) | |(q + p ) i=

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

+ y|λ |

m 

Page 17 of 24

  |αi |H I p +ρi ()(ηi ) + P + P x + P y |σ |RL I q +p ()(τ )

i=



n   + x|λ ||σ |RL I ()(τ ) |  | + P + P x + P y |βj |RL I q +p +γj ()(ξj ) p

j=

+ x|λ |

n 

  |βj |RL I p +γj ()(ξj ) + R + R x + R y |σ |H I q +p ()(τ )

j=





+ y|λ ||σ |H I p ()(τ ) |  |     = P + P x + P y M + R + R x + R y M + xM + yM . Hence we have     x ≤ P + P x + P y M + R + R x + R y M + xM + yM and     y ≤ P + P x + P y M + R + R x + R y M + xM + yM , which implies x + y ≤ (M + M )P + (M + M )R   + (M + M )P + (M + M )R + M + M x   + (M + M )P + (M + M )R + M + M y. Consequently,   (x, y) ≤ (M + M )P + (M + M )R E∗ for any t ∈ [a, T], where E∗ is defined by (.), which proves that E is bounded. Thus, by Lemma ., the operator Q has at least one fixed point. Hence the boundary value problem (.) has at least one solution on [a, T]. The proof is complete. 

3.1 Examples In this section we present examples to illustrate our results. Example . Consider the system of Langevin equations via the Riemann-Liouville and Hadamard fractional derivatives and fractional integral conditions: ⎧  (π t) |y| |x|  / / ⎪ +  )x(t) = |x| sin ( |x|+ + ) + (–t) ⎪ RL D (RL D   – , ⎪ (–t) ⎪ ⎪ ⎨ D/ ( D/ –  )y(t) = |x| + cos (π t) ( |y| + )|y| + , H H (+t)√ (–t) |y|+ √    ⎪ x(  ) = , x() = I y( ) –  H I / y(  ), ⎪ ⎪  H  ⎪ √ ⎪ ⎩ y(  ) = ,   y( ) =  I π / x(  ) +  I  x(  ),  ≤ t ≤ . 





 RL



 RL





(.)

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 18 of 24

Here q = /, q = /, p = /, p = /, λ = /, λ = –/, n = , m = , a = /, √ T = , σ = , σ = /, τ = , τ = /, η = /, η = /, ξ = /, ξ = /, α = √ √ /, α = –/, β = /, β = /, ρ = , ρ = /, γ = π/, γ = , and f (t, x, y) = ((sin (πt))/(( – t) ))(|x|/(|x| + ) + )|x| + (|y|/(( – t) )) – (/) and g(t, x, y) = (|x|/(( + t) )) + (cos (πt))/(( – t) )(|y|/(|y| + ) + )|y| + . Since   f (t, x , y ) – f (t, x , y ) ≤  |x – x | +  |y – y | , , and   g(t, x , y ) – g(t, x , y ) ≤  |x – x | +  |y – y |. , , By using the Maple program, we can find that =   –    –. = . Then the assumptions of Theorem . are satisfied with m = /,, m = /,, n = /,, n = /,, M  ., M  ., M  ., M  ., M  ., M  ., M  ., M  ., and B = (m + m )M + (n + n )M + M + M ≈ ., C = (m + m )M + (n + n )M + M + M ≈ .. Therefore, we get B + C  . < . Hence, by Theorem ., the problem (.) has a unique solution on [/, ]. Example . Consider the system of Langevin equations via the Riemann-Liouville and Hadamard fractional derivatives and fractional integral conditions: ⎧ √  cos (π t) π  |y| / / ⎪ –  )x(t) =  + |x|π(π + (π ( |y| + ), ⎪ RL D (RL D  –t) –t) |y|+ ⎪ ⎪ √ ⎪ ⎨ D/ ( D/ –  )y(t) =  + π  |x| ( |x| + ) + π  sin y(t) , H H   –t) √  /(π –t) |x|+/ π (π π   / ⎪ ⎪ x( ) = , x(π) = I y(π) – I y( ) + I y(π),  H ⎪   H  H ⎪ √ ⎪ ⎩ y( π ) = ,  π y(  ) = RL I / x( π ) – RL I / x(π), π ≤ t ≤ π.   

(.)

Here q = /, q = /, p = /, p = /, λ = –/, λ = –/, n = , m = , a = π/, √ T = π , σ = /, σ = /, τ = π , τ = π/, η = π , η = π/, η = π , ξ = π/, ξ = π , √ α = , α = –/, α = /, β = , β = –, ρ = /, ρ = /, ρ = /, γ = /, γ = /, √ and f (t, x, y) = ( /) + (|x|π  cos (πt))/((π – t) ) + (π  |y|/((π – t) ))(|y|/(|y| + ) + ) √ and g(t, x, y) = ( /) + (π  |x|/((π – t) ))(|x|/(|x| + ) + ) + (π  sin y(t))/((π – t) ). We have   f (t, x , x ) ≤

√

   + |x | + |x |   

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 19 of 24

and   g(t, x , x ) ≤

√    + |x | + |x |.   

By using the Maple program, we can find that =   –    . = . √ Then the assumptions of Theorem . are satisfied with P = /, P = /, P = √ /, R = /, R = /, R = /, M  ., M  ., M  ., M  ., M  ., M  ., M  ., M  ., and E = (M + M )P + (M + M )R + M + M  . < , E = (M + M )P + (M + M )R + M + M  . <  and E∗ = min{ – E ,  – E } = min{., .} = .. Thus all the conditions of Theorem . hold true and consequently as regards the conclusion of Theorem ., for the problem (.) there exists at least one solution on [π/, π].

4 Uncoupled integral boundary conditions case In this section we consider the following system: ⎧ q p a ≤ t ≤ T, ⎪ RL D (RL D + λ )x(t) = f (t, x(t), y(t)), ⎪ ⎪ ⎨ Dq ( Dp + λ )y(t) = g(t, x(t), y(t)), a ≤ t ≤ T, H H   ⎪ αiRL I ρi x(ηi ), x(a) = , σ x(τ ) = m ⎪ ⎪ i= ⎩ n y(a) = , σ y(τ ) = j= βjH I γj y(ξj ).

(.)

Definition . A (x, y) ∈ X × X is said to be a solution of the system (.) if (x, y) satisfies the system RL Dq (RL Dp + λ )x(t) = f (t, x(t), y(t)), H Dq (H Dp + λ )y(t) = g(t, x(t), y(t)),  ρi on [a, T], and the conditions x(a) = , σ x(τ ) = m i= αiRL I x(ηi ), y(a) = , σ y(τ ) = n γj j= βjH I y(ξj ). Lemma . (Auxiliary lemma) For h ∈ C([a, T], R), the problem 

(RL Dp + λ )x(t) = h(t),  < q , p ≤ ,  < q + p ≤ ,  ρi t ∈ [a, T], x(a) = , σ x(τ ) = m i= αiRL I x(ηi ),

RL D

q

(.)

has a solution if and only if the equation

m (t – a)q +p – (q )  x(t) = RL I h(t) – λRL I x(t) – αiRL I q +p +ρi h(ηi )  (q + p ) i=  m  p +ρi p q +p αiRL I x(ηi ) + λ σRL I x(τ ) – σRL I h(τ ) – λ q +p

i=

p

(.)

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 20 of 24

has a solution, where  :=

m  αi (ηi – a)q +p +ρi – (q )

(q + p + ρi )

i=

–

σ (q )(τ – a)q +p – = . (q + p )

(.)

4.1 Existence results for uncoupled case In view of Lemma ., we define an operator K : X × X → X × X by

 K (x, y)(t) K(x, y)(t) = , K (x, y)(t) where   (t – a)q +p – (q ) K (x, y)(t) = RL I q +p f s, x(s), y(s) (t) – λRL I p x(t) –  (q + p )

m m     αiRL I q +p +ρi f s, x(s), y(s) (ηi ) – λ αiRL I p +ρi x(ηi ) × i=

i= p

+ λ σRL I x(τ ) – σRL I

q +p



 f s, x(s), y(s) (τ )



and   (log at )q +p – (q ) K (x, y)(t) = H I q +p g s, x(s), y(s) (t) – λH I p y(t) –  (q + p )

n n     × βjH I q +p +γj g s, x(s), y(s) (ξj ) – λ βjH I p +γj y(ξj ) j=

j=

  + λ σH I p y(τ ) – σH I q +p g s, x(s), y(s) (τ ) , 

where  :=

ξ n  βj (log j )q +p +γj – (q ) a

j=

(q + p + γj )

–

σ (q )(log τa )q +p – = . (q + p )

For the sake of convenience, we set A =

m  |αi |(ηi – a)p +ρi i=

A =

(p + ρi + )

ξ n  |βj |(log j )p +γj a

j=

(p + γj + )

,

A =

m  |αi |(ηi – a)q +p +ρi i=

,

(q + p + ρi + )

,

ξ n  |βj |(log aj )q +p +γj A = (q + p + γj + ) j=

and  A  |σ |A + A + A , | |  A  |σ |A + A + A , M = | | M =

 |λ |A  |σ |A + A + |λ |A , | |  |λ |A  |σ |A + A + |λ |A . M = | |

M =

(.)

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 21 of 24

Now we state the existence and uniqueness result for the problem (.). We do not provide the proof of this result because it is similar to that of Theorem .. Theorem . Assume that f , g : [, T] × R → R are continuous functions and there exist ¯ i , n¯ i , i = ,  such that for all t ∈ [a, T] and xi , yi ∈ R, i = , , constants m   f (t, x , y ) – f (t, x , y ) ≤ m ¯  |x – x | + m ¯  |y – y | and   g(t, x , y ) – g(t, x , y ) ≤ n¯  |x – x | + n¯  |y – y |. Assume, in addition δ + δ < , where ¯  M + m ¯  M + M , δ = m δ = n¯  M + n¯  M + M . Then the boundary value problem (.) has a unique solution. Example . Consider the system of Langevin equations via the Riemann-Liouville and Hadamard fractional derivatives and fractional integral conditions: ⎧ sin y(t) |x| |x|  / / ⎪ –  )x(t) = (t+) RL D (RL D ⎪  ( |x|+ + ) + (t+) – , ⎪ ⎪ ⎪ ⎨ D/ ( D/ +  )y(t) = |x| sin (π t) + |y| sin (π t) ( |y| + ) +  , H H   |y|+  (+t) (+t) √      /  /  ⎪ x( ) = , x( ) = I x( ) – I y( ), ⎪ RL RL ⎪        ⎪ √ √ ⎪ ⎩ y(  ) = ,     /  /  y( ) = I y( ) – I y( ),  ≤ t ≤  . H H       

(.)

Here q = /, q = /, p = /, p = /, λ = –/, λ = /, n = , m = , a = /, T = /, σ = /, σ = /, τ = /, τ = /, η = /, η = /, ξ = /, ξ = /, α = /, √ √ √ α = – /, β = /, β = –/, ρ = /, ρ = /, γ = /, γ = /, and f (t, x, y) = (|x|/(t + ) )(|x|/(|x| + ) + ) + ((sin y(t))/(t + ) ) –  and g(t, x, y) = (|x| sin (πt))/(( + t) ) + (|y| sin (πt))/(( + t) )(|y|/(|y| + ) + ) + (/). We have   f (t, x , x ) – f (t, y , y ) ≤  |x – x | +  |y – y |   and   g(t, x , x ) – g(t, y , y ) ≤  |x – x | +  |y – y |.   ¯  = /, m ¯  = /, n¯  = /, Then the assumptions of Theorem . are satisfied with m and n¯  = /. By using the Maple program, we can find that  =

m  αi (q )(ηi – a)q +p +ρi – i=

(q + p + ρi )

–

σ (q )(τ – a)q +p –  –. = , (q + p )

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 22 of 24

and M  ., M  ., M  ., M  . with ¯  M + m ¯  M + M  ., δ = m δ = n¯  M + n¯  M + M  .. Therefore, we get δ + δ  . < . Hence, by Theorem ., the problem (.) has a unique solution on [/, /]. The second result, dealing with the existence of solutions for the problem (.), is analogous to Theorem . and is given below. Theorem . Assume that there exist real constants ui , vi ≥  (i = , ) and u > , v >  such that ∀xi ∈ R (i = , ) we have   f (t, x , x ) ≤ u + u |x | + u |x |,   g(t, x , x ) ≤ v + v |x | + v |x |. In addition it is assumed that l <  and

l < ,

where l = u M + v M + M

and l = u M + v M + M .

Then the boundary value problem (.) has at least one solution. Proof Setting l = min{ – l ,  – l }, 

the proof is similar to that of Theorem .. So we omit it.

Example . Consider the system of Langevin equations via the Riemann-Liouville and Hadamard fractional derivatives and fractional integral conditions: ⎧ |y| |y| sin( π t) / ⎪ (RL D/ +  )x(t) =  + |x|(+t) + (+t) RL D ⎪   ( |y|+ + ), ⎪ ⎪  ⎪ ⎨ D/ ( D/ +  )y(t) =  + |x| · ( |x| + ) + cos y(t) , H

√

H

⎪ x(  ) = , ⎪ ⎪ ⎪ √ ⎪ ⎩ y(  ) = , 

 √  √ x(  ) =  √ √ y(  ) =  

 |x|+ (+t)√ (+t) √ √    / I x( ) –  RL I / y(  ),  RL √  √ √  I / y(  ) –  H I / y(  ),  H

(.) ≤t≤

√

.

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 23 of 24

√ Here q = /, q = /, p = /, p = /, λ = /, λ = /, n = , m = , a = /, √ √ √ √ √ √ √ √ T = , σ = / , σ = / , τ = /, τ = /, η = /, η = /, ξ = /, √ √ ξ = /, α = /, α = –/, β = /, β = –/, ρ = /, ρ = /, γ = /, γ = /, and (/) + (|x| sin(πt))/(( + t) ) + (|y|/(( + t) ))(|y|/(|y| + ) + ) and (/) + (|x|/(( + t) ))(|x|/(|x| + ) + ) + (cos y(t))/(( + t) ). We have     f (t, x , x ) ≤  + √ |x | + √ |x |   ( + ) ( + ) and     g(t, x , x ) ≤  + √ |x | + √ |x |.  ( + ) ( + ) By using the Maple program, we can find that

 =

ξ n  βj (q )(log j )q +p +γj – a

j=

(q + p + γj )

–

σ (q )(log τa )q +p –  –. = . (q + p )

√ Then the assumptions of Theorem . are satisfied with u = /, u = /( + ) , u = √  √  √  /( + ) , v = /, v = /( + ) , v = /(( + ) ), M  ., M  ., M  ., M  ., and l = u M + v M + M  . < , l = u M + v M + M  . <  and l = max{ – l ,  – l } = max{., .} = .. Thus all the conditions of Theorem . hold true and consequently by the conclusion of √ √ Theorem ., the problem (.) has at least one solution on [ /, ].

Competing interests The authors declare that they have no competing interests. Authors’ contributions All authors contributed equally in this article. They read and approved the final manuscript. Author details 1 Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, 10800, Thailand. 2 Centre of Excellence in Mathematics, CHE, Si Ayutthaya Rd., Bangkok, 10400, Thailand. 3 Department of Mathematics, University of Ioannina, Ioannina, 451 10, Greece. 4 Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia. Acknowledgements This research is partially supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand. We thank the reviewers for their constructive comments, which led to the improvement of the original manuscript. Received: 8 May 2015 Accepted: 6 July 2015

Sudsutad et al. Advances in Difference Equations (2015) 2015:235

Page 24 of 24

References 1. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993) 2. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999) 3. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) 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) 5. Ahmad, B, Nieto, JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011) 6. Ahmad, B, Ntouyas, SK, Alsaedi, A: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011, Article ID 107384 (2011) 7. Ahmad, B, Ntouyas, SK, Alsaedi, A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013) 8. Ahmad, B, Nieto, JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013) 9. Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010) 10. Baleanu, D, Mustafa, OG, Agarwal, RP: On Lp -solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 218, 2074-2081 (2011) 11. O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013) 12. Zhang, L, Ahmad, B, Wang, G, Agarwal, RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51-56 (2013) 13. Liu, X, Jia, M, Ge, W: Multiple solutions of a p-Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013, 126 (2013) 14. Hadamard, J: Essai sur l’etude des fonctions donnees par leur developpment de Taylor. J. Math. Pures Appl. 8, 101-186 (1892) 15. Butzer, PL, Kilbas, AA, Trujillo, JJ: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 269, 387-400 (2002) 16. Butzer, PL, Kilbas, AA, Trujillo, JJ: Fractional calculus in the Mellin setting and Hadamard-type fractional integrals. J. Math. Anal. Appl. 269, 1-27 (2002) 17. Butzer, PL, Kilbas, AA, Trujillo, JJ: Mellin transform analysis and integration by parts for Hadamard-type fractional integrals. J. Math. Anal. Appl. 270, 1-15 (2002) 18. Kilbas, AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 38, 1191-1204 (2001) 19. Kilbas, AA, Trujillo, JJ: Hadamard-type integrals as G-transforms. Integral Transforms Spec. Funct. 14, 413-427 (2003) 20. Glushak, AV, Manaenkova, TA: Direct and inverse problems for an abstract differential equation containing Hadamard fractional derivatives. Differ. Equ. 47, 1307-1317 (2011) 21. Kassim, MDA: Well-posedness for a Cauchy fractional differential problem with Hilfer type fractional derivative. PhD thesis, King Fahd University of Petroleum and Minerals, Saudi Arabia (2011) 22. Bazhlekova, E: Fractional evolution equations in Banach spaces. PhD thesis, Eindhoven University of Technology, Eindhoven (2001) 23. Kostic, M: Abstract Volterra Integro-Differential Equations. CRC Press, Boca Raton (2015) 24. Prüss, J: Evolutionary Integral Equations and Applications. Birkhäuser, Basel (1993) 25. Coffey, WT, Kalmykov, YP, Waldron, JT: The Langevin Equation, 2nd edn. World Scientific, Singapore (2004) 26. Lim, SC, Li, M, Teo, LP: Langevin equation with two fractional orders. Phys. Lett. A 372, 6309-6320 (2008) 27. Lim, SC, Teo, LP: The fractional oscillator process with two indices. J. Phys. A, Math. Theor. 42, Article ID 065208 (2009) 28. Uranagase, M, Munakata, T: Generalized Langevin equation revisited: mechanical random force and self-consistent structure. J. Phys. A, Math. Theor. 43, Article ID 455003 (2010) 29. Denisov, SI, Kantz, H, Hänggi, P: Langevin equation with super-heavy-tailed noise. J. Phys. A, Math. Theor. 43, Article ID 285004 (2010) 30. Lozinski, A, Owens, RG, Phillips, TN: The Langevin and Fokker-Planck equations in polymer rheology. In: Handbook of Numerical Analysis, vol. 16 pp. 211-303 (2011) 31. 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 81, Article ID 051118 (2010) 32. Gambo, YY, Jarad, F, Baleanu, D, Abdeljawad, T: On Caputo modification of the Hadamard fractional derivative. Adv. Differ. Equ. 2014, 10 (2014) 33. Ahmad, B, Eloe, PW: A nonlocal boundary value problem for a nonlinear fractional differential equation with two indices. Commun. Appl. Nonlinear Anal. 17, 69-80 (2010) 34. 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. 13, 599-606 (2012) 35. Tariboon, J, Ntouyas, SK, Thaiprayoon, C: Nonlinear Langevin equation of Hadamard-Caputo type fractional derivatives with nonlocal fractional integral conditions. Adv. Math. Phys. 2014, Article ID 372749 (2014) 36. Diethelm, K: The Analysis of Fractional Differential Equations. Springer, Berlin (2010) 37. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)