- Research Article
- Open access
- Published:
Existence of Solutions to Nonlinear Langevin Equation Involving Two Fractional Orders with Boundary Value Conditions
Boundary Value Problems volume 2011, Article number: 516481 (2011)
Abstract
We study a boundary value problem to Langevin equation involving two fractional orders. The Banach fixed point theorem and Krasnoselskii's fixed point theorem are applied to establish the existence results.
1. Introduction
Recently, the subject of fractional differential equations has emerged as an important area of investigation. Indeed, we can find numerous applications in viscoelasticity, electrochemistry, control, electromagnetic, porous media, and so forth. In consequence, the subject of fractional differential equations is gaining much importance and attention. For some recent developments on the subject, see [1–8] and the references therein.
Langevin equation is widely used to describe the evolution of physical phenomena in fluctuating environments. However, for 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 [9–12] and the references therein.
In this paper, we consider the following boundary value problem of Langevin equation with two different fractional orders:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ1_HTML.gif)
where is a positive constant,
,
,
, and
are the Caputo fractional derivatives,
is continuous, and
is a real number.
The organization of this paper is as follows. In Section 2, we recall some definitions of fractional integral and derivative and preliminary results which will be used in this paper. In Section 3, we will consider the existence results for problem (1.1). In Section 4, we will give an example to ensure our main results.
2. Preliminaries
In this section, we present some basic notations, definitions, and preliminary results which will be used throughout this paper.
Definition 2.1.
The Caputo fractional derivative of order of a function
, is defined as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ2_HTML.gif)
where denotes the integer part of the real number
.
Definition 2.2.
The Riemann-Liouville fractional integral of order of a function
,
, is defined as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ3_HTML.gif)
provided that the right side is pointwise defined on .
Definition 2.3.
The Riemann-Liouville fractional derivative of order of a continuous function
is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ4_HTML.gif)
where and
denotes the integer part of real number
, provided that the right side is pointwise defined on
.
Lemma 2.4 (see [8]).
Let , then the fractional differential equation
has solution
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ5_HTML.gif)
where ,
,
.
Lemma 2.5 (see [8]).
Let , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ6_HTML.gif)
for some ,
,
.
Lemma 2.6.
The unique solution of the following boundary value problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ7_HTML.gif)
is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ8_HTML.gif)
Proof.
Similar to the discussion of [9, equation (1.5)], the general solution of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ9_HTML.gif)
can be written as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ10_HTML.gif)
By the boundary conditions and
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ11_HTML.gif)
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ12_HTML.gif)
Lemma 2.7 (Krasnoselskiis fixed point theorem).
Let be a bounded closed convex subset of a Banach space
, and let
,
be the operators such that
-
(i)
whenever
,
-
(ii)
is completely continuous,
-
(iii)
is a contraction mapping.
Then there exists such that
.
Lemma 2.8 (Hölder inequality).
Let ,
,
,
, then the following inequality holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ13_HTML.gif)
3. Main Result
In this section, our aim is to discuss the existence and uniqueness of solutions to the problem (1.1).
Let be a Banach space of all continuous functions from
with the norm
.
Theorem 3.1.
Assume that
(H1) there exists a real-valued function for some
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ14_HTML.gif)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ15_HTML.gif)
where ,
,
,
, then problem (1.1) has a unique solution.
Proof.
Define an operator by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ16_HTML.gif)
Let and choose
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ17_HTML.gif)
where is such that
.
Now we show that , where
. For
, by Hölder inequality, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ18_HTML.gif)
Take notice of Beta functions:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ19_HTML.gif)
We can get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ20_HTML.gif)
Therefore, .
For and for each
, based on Hölder inequality, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ21_HTML.gif)
Since , consequently
is a contraction. As a consequence of Banach fixed point theorem, we deduce that
has a fixed point which is a solution of problem (1.1).
Corollary 3.2.
Assume that
(H1)′ There exists a constant such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ22_HTML.gif)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ23_HTML.gif)
then problem (1.1) has a unique solution.
Theorem 3.3.
Suppose that (H1) and the following condition hold:
(H2) There exists a constant and a real-valued function
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ24_HTML.gif)
Then the problem (1.1) has at least one solution on if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ25_HTML.gif)
Proof.
Let us fix
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ26_HTML.gif)
here, ; consider
, then
is a closed, bounded, and convex subset of Banach space
. We define the operators
and
on
as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ27_HTML.gif)
For , based on Hölder inequality, we find that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ28_HTML.gif)
Thus, , so
.
For and for each
, by the analogous argument to the proof of Theorem 3.1, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ29_HTML.gif)
From the assumption
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ30_HTML.gif)
it follows that is a contraction mapping.
The continuity of implies that the operator
is continuous. Also,
is uniformly bounded on
as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ31_HTML.gif)
On the other hand, let , for all
, setting
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ32_HTML.gif)
For each , we will prove that if
and
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ33_HTML.gif)
In fact, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ34_HTML.gif)
In the following, the proof is divided into two cases.
Case 1.
For , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ35_HTML.gif)
Case 2.
for ,
, we have.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ36_HTML.gif)
Therefore, is equicontinuous and the Arzela-Ascoli theorem implies that
is compact on
, so the operator
is completely continuous.
Thus, all the assumptions of Lemma 2.7 are satisfied and the conclusion of Lemma 2.7 implies that the boundary value problem (1.1) has at least one solution on .
Corollary 3.4.
Suppose that the condition (H1)′ hold and, assume that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ37_HTML.gif)
Further assume that
(H2)′ there exists a constant such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ38_HTML.gif)
then problem (1.1) has at least one solution on .
4. Example
Let ,
,
,
. We consider the following boundary value problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ39_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ40_HTML.gif)
Because of , let
, then
, we have
and
. Further,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ41_HTML.gif)
Then BVP (4.1) has a unique solution on according to Theorem 3.1.
On the other hand, we find that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F516481/MediaObjects/13661_2010_Article_43_Equ42_HTML.gif)
Then BVP (4.1) has at least one solution on according to Theorem 3.3.
References
Alsaedi A: Existence of solutions for integrodifferential equations of fractional order with antiperiodic boundary conditions. International Journal of Differential Equations 2009, 2009:-9.
Ahmad B:Existence of solutions for fractional differential equations of order
with anti-periodic boundary conditions. Journal of Applied Mathematics and Computing 2010, 34(1-2):385-391. 10.1007/s12190-009-0328-4
Ahmad B, Otero-Espinar V: Existence of solutions for fractional differential inclusions with antiperiodic boundary conditions. Boundary Value Problems 2009, 2009:-11.
Bai Z, Lü H: Positive solutions for boundary value problem of nonlinear fractional differential equation. Journal of Mathematical Analysis and Applications 2005, 311(2):495-505. 10.1016/j.jmaa.2005.02.052
Li CF, Luo XN, Zhou Y: Existence of positive solutions of the boundary value problem for nonlinear fractional differential equations. Computers & Mathematics with Applications 2010, 59(3):1363-1375.
Lakshmikantham V, Leela S, Devi JV: Theory of Fractional Dynamic Systems. Cambridge Academic, Cambridge, UK; 2009.
Tian Y, Chen A: The existence of positive solution to three-point singular boundary value problem of fractional differential equation. Abstract and Applied Analysis 2009, 2009:-18.
Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electronic Journal of Differential Equations 2006, 2006: 1-12.
Ahmad B, Nieto JJ: Solvability of nonlinear Langevin equation involving two fractional orders with Dirichlet boundary conditions. International Journal of Differential Equations 2010, 2010:-10.
Ahmad B, Eloe P: A nonlocal boundary value problem for a nonlinear fractional differential equation with two indices. Communications on Applied Nonlinear Analysis 2010, 17(3):69-80.
Lim SC, Li M, Teo LP: Langevin equation with two fractional orders. Physics Letters A 2008, 372(42):6309-6320. 10.1016/j.physleta.2008.08.045
Lim SC, Teo LP: The fractional oscillator process with two indices. Journal of Physics A 2009, 42:-34.
Acknowledgments
This work was supported by the Natural Science Foundation of China (10971173), the Natural Science Foundation of Hunan Province (10JJ3096), the Aid Program for Science and Technology Innovative Research Team in Higher Educational Institutions of Hunan Province, and the Construct Program of the Key Discipline in Hunan Province.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
Cite this article
Chen, A., Chen, Y. Existence of Solutions to Nonlinear Langevin Equation Involving Two Fractional Orders with Boundary Value Conditions. Bound Value Probl 2011, 516481 (2011). https://doi.org/10.1155/2011/516481
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/516481