# Solvability of Nonlinear Langevin Equation Involving Two Fractional Orders with Dirichlet Boundary Conditions

Authors: Bashir Ahmad; Juan J. Nieto
Journal: International Journal of Differential Equations
 (2010)

---

## Abstract

We study a Dirichlet boundary value problem for Langevin equation involving two fractional orders. Langevin equation has been widely used to describe the evolution of physical phenomena in fluctuating environments. However, ordinary Langevin equation does not provide the correct description of the dynamics for systems in complex media. In order to overcome this problem and describe dynamical processes in a fractal medium, numerous generalizations of Langevin equation have been proposed. One such generalization replaces the ordinary derivative by a fractional derivative in the Langevin equation. This gives rise to the fractional Langevin equation with a single index. Recently, a new type of Langevin equation with two different fractional orders has been introduced which provides a more flexible model for fractal processes as compared with the usual one characterized by a single index. The contraction mapping principle and Krasnoselskii's fixed point theorem are applied to prove the existence of solutions of the problem in a Banach space.


---

## Body

## 1. Introduction

Fractional  differential equations have recently gained much importance and attention. The study of fractional differential equations ranges from the theoretical aspects of existence and uniqueness of solutions to the analytic and numerical methods for finding solutions. Fractional differential equations appear naturally in a number of fields such as physics, polymer rheology, regular variation in thermodynamics, biophysics, blood flow phenomena, aerodynamics, electrodynamics of complex medium, viscoelasticity, Bodes analysis of feedback amplifiers, capacitor theory, electrical circuits, electronanalytical chemistry, biology, control theory, fitting of experimental data, etc. An excellent account in the study of fractional differential equations can be found in [1–3]. For more details and examples, see [4–13] and the references therein. Some new and recent aspects on fractional calculus can be seen in [14–16]. In [15], it was shown that fractional Nambu systems can be proposed as a generalization of fractional Hamiltonian systems.Langevin equation is widely used to describe the evolution of physical phenomena in fluctuating environments [17]. However, for the systems in complex media, ordinary Langevin equation does not provide the correct description of the dynamics. One of the possible generalizations of Langevin equation is to replace the ordinary derivative by a fractional derivative in it. This gives rise to fractional Langevin equation, see for instance [18, 19] and the references therein. In [18], the authors 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 [19], the fractional oscillator process with two indices was discussed.In this paper, we study a Dirichlet boundary value problem of Langevin equation with two different fractional orders. This work is motivated by recent work of Lim et al. [18, 19]. Precisely, we consider the problem
(1.1)cDβ(cDα+λ)x(t)=f(t,x(t)),0<t<1,0<α,β≤1,x(0)=γ1,x(1)=γ2,
where cD is the Caputo fractional derivative, f:[0,1]×X→X,λ is a real number and γ1,γ2∈X. Here, (X,∥·∥) is a Banach space and 𝒞=C([0,1],X) denotes the Banach space of all continuous functions from [0,1]→X endowed with a topology of uniform convergence with norm defined by ∥x∥=sup{|x(t)|,t∈[0,1]}.In Section1, we prove a new result for linear differential equations involving two fractional orders. Section 2 deals with the theory of nonlinear differential equations with two fractional orders. We first use the contraction mapping principle to prove the existence and uniqueness of the solution of problem (1.1) in a Banach space. We then employ Krasnoselskii’s fixed point theorem to establish another new existence result for problem (1.1). We also give an example for the illustration of the theory established in this paper.A functionx∈𝒞 with its Caputo derivative of fractional order existing on (0,1) is a solution of (1.1) if it satisfies (1.1).Relative to (1.1), we now introduce the following linear problem:
(1.2)cDβ(cDα+λ)x(t)=σ(t),0<t<1,0<α,β≤1,x(0)=γ1,x(1)=γ2,
where σ∈C[0,1].Lemma 1.1.
The unique solution of the boundary value problem (1.2) is given by
(1.3)x(t)=∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)σ(s)ds-λx(u))du-tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)σ(s)ds-λx(u))du]+(γ2-γ1)tα+γ1.Proof.
As argued in [2, Section 5.4], the general solution of
(1.4)cDβ(cDα+λ)x(t)=σ(t)
can be written as
(1.5)x(t)=∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)σ(s)ds-λx(u))du-c0Γ(α+1)tα-c1.
Using the boundary conditions for (1.2), we find that
(1.6)c1=-γ1,c0Γ(α+1)=∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)σ(s)ds-λx(u))du-γ2+γ1.
Substituting (1.6) in (1.5), we obtain the solution given by (1.3). This completes the proof.Now, we state a known result due to Krasnoselskii (see [20]) which is needed to prove the existence of at least one solution of (1.1).Theorem 1.2.
LetM be a closed convex and nonempty subset of a Banach space X. Let A,B be the operators such that (i)Ax+By∈M whenever x,y∈M;(ii)A is compact and continuous;  (iii)B is a contraction mapping. Then there exists z∈M such that z=Az+Bz.


## 2. Existence of Solutions

Theorem 2.1.
Letf:[0,1]×X→X be a jointly continuous function satisfying the condition
(2.1)|f(t,x)-f(t,y)|≤L|x-y|,∀t∈[0,1],x,y∈X,
Then the boundary value problem (1.1) has a unique solution provided Λ<1, where
(2.2)Λ=2LΓ(α+β+1)+2|λ|Γ(α+1).Proof.
Defineϝ:𝒞→𝒞 by
(2.3)(ϝx)(t)=∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du-tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du]+(γ2-γ1)tα+γ1,t∈[0,1].
Let us set supt∈[0,1]|f(t,0)|=M and choose
(2.4)r≥11-δ(2MΓ(α+β+1)+(|γ2|+2|γ1|)),
where δ is such that Λ≤δ<1. Now we show that ϝBr⊂Br, where Br={x∈𝒞:∥x∥≤r}. For x∈Br, we have
(2.5)∥(ϝx)(t)∥=supt∈[0,1]|∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du-tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du]+(γ2-γ1)tα+γ1∫01|≤supt∈[0,1](∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)(|f(s,x(s))-f(s,0)|+|f(s,0)|)ds+|λx(u)|)du+tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)(|f(s,x(s))-f(s,0)|+|f(s,0)|)ds+|λx(u)|∫01∫0u(u-s)β-1Γ(β))du∫0u(u-s)β-1Γ(β)]+(|γ2|+|γ1|)tα+|γ1|∫0u(u-s)β-1Γ(β)∫0u∫0u)≤supt∈[0,1](∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)(L|x(s)|+|f(s,0)|)ds+|λx(u)|)du+tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)(L|x(s)|+|f(s,0)|)ds+|λx(u)|)du]+(|γ2|+|γ1|)tα+|γ1|∫0u(u-s)β-1Γ(β)∫0u∫0u)≤supt∈[0,1](∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)ds(L|x(u)|+|f(u,0)|)+|λx(u)|)du+tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)ds(L|x(u)|+|f(u,0)|)+|λx(u)|)du]+(|γ2|+|γ1|)tα+|γ1|∫0u(u-s)β-1Γ(β)∫0u)≤supt∈[0,1]∫0t(t-u)α-1Γ(α)∫0u(u-s)β-1Γ(β)dsdu(L∥x∥+|M|)+supt∈[0,1]∫0t(t-u)α-1Γ(α)du|λ|∥x∥+∫01(1-u)α-1Γ(α)∫0u(u-s)β-1Γ(β)dsdu(L∥x∥+M)+∫01(1-u)α-1Γ(α)du|λ|∥x∥+|γ2|+2|γ1|≤2(Lr+M)∫01(1-u)α-1Γ(α)∫0u(u-s)β-1Γ(β)dsdu+2|λ|r∫01(1-u)α-1Γ(α)du+(|γ2|+2|γ1|)=2(Lr+M)Γ(α)Γ(β+1)∫01(1-u)α-1uβdu+2|λ|rΓ(α+1)+(|γ2|+2|γ1|).
Using (2.2), (2.4), and the relation for Beta function B(·,·):
(2.6)B(β+1,α)=∫01(1-u)α-1uβdu=Γ(α)Γ(β+1)Γ(α+β+1),
we find that
(2.7)∥(ϝx)(t)∥≤(Λ+1-δ)r≤r.
Now, for x,y∈𝒞 and for each t∈[0,1], we obtain
(2.8)∥(ϝx)(t)-(ϝy)(t)∥=supt∈[0,1]|(ϝx)(t)-(ϝy)(t)|≤supt∈[0,1](∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)|f(s,x(s))-f(s,y(s))|ds)du+|λ|∫0t(t-u)α-1Γ(α)(|x(u)-y(s)|)du+tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)|f(s,x(s))-f(s,y(s))|ds)du+|λ|∫01(1-u)α-1Γ(α)|x(u)-y(u)|du])≤supt∈[0,1](L∫0t(t-u)α-1Γ(α)∫0u(u-s)β-1Γ(β)dsdu|x(t)-y(t)|+|λ|∫0t(t-u)α-1Γ(α)du|x(t)-y(t)|)+L∫01(1-u)α-1Γ(α)∫0u(u-s)β-1Γ(β)dsdu∥x-y∥+|λ|∫01(1-u)α-1Γ(α)du∥x-y∥≤∥x-y∥[2L∫01(1-u)α-1Γ(α)∫0u(u-s)β-1Γ(β)dsdu+2|λ|∫01(1-u)α-1Γ(α)du]=Λ∥x-y∥,
where
(2.9)Λ=2LΓ(α+β+1)+2|λ|Γ(α+1),
which depends only on the parameters involved in the problem. As Λ<1, then ϝ is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof.Theorem 2.2.
Assume thatf:[0,1]×X→X is a jointly continuous function and maps bounded subsets of [0,1]×X into relatively compact subsets of X. Furthermore, assume that  (H1)
|f(t,x)-f(t,y)|≤L|x-y|,forallt∈[0,1],x,y∈X;(H2)
|f(t,x)|≤μ(t),forall(t,x)∈[0,1]×X,andμ∈L1([0,1],R+).If
(2.10)(LΓ(α+β+1)+|λ|Γ(α+1))<1,
then the boundary value problem (1.1) has at least one solution on [0,1].Proof.
Let us fix(2.11)r≥(2∥μ∥L1/Γ(α+β+1)+|γ2|+2|γ1|1-2|λ|/Γ(α+1))
and consider Br={x∈𝒞:∥x∥≤r}. We define the operators Φ and Ψ on Br as
(2.12)(Φx)(t)=∫0t(t-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du,(Ψx)(t)=-tα[∫01(1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du]+(γ2-γ1)tα+γ1.
For x,y∈Br, we find that
(2.13)∥Φx+Ψy∥≤(2∥μ∥L1Γ(α+β+1)+2|λ|rΓ(α+1)+|γ2|+2|γ1|)≤r.
Thus, Φx+Ψy∈Br. From the assumption
(2.14)(LΓ(α+β+1)+|λ|Γ(α+1))<1,
it follows that Ψ is a contraction mapping. The continuity of f implies that the operator Φ is continuous. Also, Φ is uniformly bounded on Br as
(2.15)∥Φx∥≤∥μ∥L1Γ(α+β+1)+|λ|rΓ(α+1).
Now we prove the compactness of the operator Φ. Setting Ω=[0,1]×Br, we define sup(t,x)∈Ω|f(t,x)|=f¯, and consequently we have
(2.16)∥(Φx)(t1)-(Φx)(t2)∥=∥∫0t1(t1-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du-∫0t2(t2-u)α-1Γ(α)(∫0u(u-s)β-1Γ(β)f(s,x(s))ds-λx(u))du∥≤f¯Γ(α+β+1)|t1α+β-t2α+β|+|λ|rΓ(α+1)|t1α-t2α|,
which is independent of x. Thus, Φ is equicontinuous. Using the fact that f maps bounded subsets into relatively compact subsets, we have that Φ(𝒜)(t) is relatively compact in X for every t, where 𝒜 is a bounded subset of 𝒞. So Φ is relatively compact on Br. Hence, by the Arzela Ascoli theorem, Φ is compact on Br. Thus all the assumptions of Theorem 1.2 are satisfied and the conclusion of Theorem 1.2 implies that the boundary value problem (1.1) has at least one solution on [0,1]. This completes the proof.Example 2.3.
Consider the boundary value problem(2.17)cD1/4(cD1/2+14)x(t)=1(t+3)2|x|1+|x|,0<t<1,x(0)=γ1,x(1)=γ2.
Here, f(t,x)=(1/(t+3)2)(|x|/(1+|x|)),α=1/2,β=1/4 and λ=1/4. Clearly |f(t,x)-f(t,y)|≤(1/9)|x-y| with L=1/9. Further,
(2.18)Λ=827Γ(3/4)+1π<1.
Thus, by Theorem 2.1, the boundary value problem (2.17) has a unique solution on [0,1].


## 3. Conclusions

The existence of solutions for a Dirichlet boundary value problem involving Langevin equation with two different fractional orders has been discussed. We apply the concepts of fractional calculus together with fixed point theorems to establish the existence results. First of all, we find the unique solution for a linear Dirichlet boundary value problem involving Langevin equation with two different fractional orders, which in fact provides the platform to prove the existence of solutions for the associated nonlinear fractional Langevin equation with two different orders. Our approach is simple and is applicable to a variety of real world problems.



---

*Source: 649486-2009-12-10.xml*