- Research
- Open Access

# Existence of solutions to boundary value problem of a class of nonlinear fractional differential equations

- Yige Zhao
^{1}Email author and - Yuzhen Wang
^{1}

**2014**:174

https://doi.org/10.1186/1687-1847-2014-174

© Zhao and Wang; licensee Springer. 2014

**Received:**28 March 2014**Accepted:**7 June 2014**Published:**18 July 2014

## Abstract

In this paper, we study the existence of solutions for the boundary value problem of the following nonlinear fractional differential equation: ${D}_{{0}^{+}}^{\alpha}[\frac{x(t)}{f(t,x(t))}]+g(t,x(t))=0$, $0<t<1$, $x(0)=x(1)={x}^{\prime}(0)=0$, where $2<\alpha \le 3$ is a real number and ${D}_{{0}^{+}}^{\alpha}$ is the Riemann-Liouville fractional derivative. By a fixed point theorem in Banach algebra, an existence theorem for the boundary value problem of the above fractional differential equation is proved under both Lipschitz and Carathéodory conditions. Two examples are presented to illustrate the main results.

**MSC:**34A08, 34B18.

## Keywords

- fractional differential equation
- boundary value problem
- fractional Green’s function
- fixed point theorem

## 1 Introduction

The theory of fractional derivatives goes back to Leibniz’s note in his list to L’Hospital, dated 30 September 1695, in which the meaning of the derivative of order $1/2$ is discussed. Leibniz’s note led to the appearance of the theory of derivatives and integrals of arbitrary order, which by the end of the 19th century took a more or less final form due primarily to Liouville, Grünwald, Letnikov, and Riemann. Recently, there have been several books on the subject of fractional derivatives and fractional integrals; see [1–4]. For three centuries the theory of fractional derivatives developed mainly as a pure theoretical field of mathematics useful only for mathematicians. However, in the last few decades many authors pointed out that fractional derivatives and fractional integrals are very suitable for the description of properties of various real problems.

Fractional differential equations have been of great interest recently. It is caused both by the intensive development of the theory of fractional calculus itself and by the applications. Apart from diverse areas of mathematics, fractional differential equations arise in rheology, dynamical processes in self-similar and porous structures, fluid flows, electrical networks, viscoelasticity, chemical physics, and many other branches of science. There have appeared lots of works, in which fractional derivatives are used for a better description of considered material properties, mathematical modeling based on enhanced rheological models naturally leads to differential equations of fractional order and to the necessity of the formulation of initial conditions to such equations.

It should be noted that most of papers and books on fractional calculus are devoted to the solvability of linear fractional differential equations. Recently, there are some papers dealing with the existence of solutions (or positive solutions) of nonlinear initial (or boundary) fractional differential equation (or system) by the use of techniques of nonlinear analysis (fixed point theorems, Leray-Schauder theory, Adomian decomposition method, *etc.*); see [5–23]. In fact, there has the same requirements for boundary conditions. However, there exist some papers considered the boundary value problems of fractional differential equations; see [10–22].

where $2<\alpha \le 3$ is a real number and ${D}_{{0}^{+}}^{\alpha}$ is the standard Riemann-Liouville fractional derivative. By the properties of the Green function, they gave some results of multiple positive solutions for singular and nonsingular boundary value problems by means of the Leray-Schauder nonlinear alternative, the fixed-point theorem on cones, and a mixed monotone method.

In recent years, quadratic perturbations of nonlinear differential equations have attracted much attention. There have been many works on the theory of such differential equations, and we refer the readers to the articles [22–27].

*et al.*[23] studied fractional hybrid differential equations involving Riemann-Liouville differential operators of order $0<q<1$,

where $f\in C([0,T]\times \mathbb{R},\mathbb{R}\setminus \{0\})$ and $g\in C([0,T]\times \mathbb{R},\mathbb{R})$. They established the existence and uniqueness results and some fundamental differential inequalities for fractional hybrid differential equations, initiating the study of such systems, and proved, utilizing the theory of inequalities, the existence of extremal solutions and a comparison result.

where $2<\alpha \le 3$ is a real number and ${D}_{{0}^{+}}^{\alpha}$ is the standard Riemann-Liouville fractional derivative. Using the fixed point theorem, we give an existence theorem for the boundary value problem of the above nonlinear fractional differential equation under both Lipschitz and Carathéodory conditions. We present two examples to demonstrate our results.

- (i)
the map $t\mapsto g(t,x)$ is measurable for each $x\in \mathbb{R}$, and

- (ii)
the map $x\mapsto g(t,x)$ is continuous for each $t\in J$.

The class $Car(J\times \mathbb{R},\mathbb{R})$ is called the Carathéodory class of functions on $J\times \mathbb{R}$ which are Lebesgue integrable when bounded by a Lebesgue integrable function on *J*.

In this paper, we assume $f\in {C}^{1}([0,1]\times \mathbb{R},\mathbb{R}\setminus \{0\})$ and $g\in Car([0,1]\times \mathbb{R},\mathbb{R})$.

The plan of this paper is as follows. In Section 2, we shall give some definitions and lemmas to prove our main results. In Section 3, we establish the existence of solutions for the boundary value problem (1.1) and (1.2) by the fixed point theorem. Two examples are presented to illustrate the main results in Section 4.

## 2 Preliminaries

For the convenience of the reader, we give some background materials from fractional calculus theory to facilitate the analysis of problem (1.1) and (1.2). These materials can be found in the recent literature; see [21, 28, 29].

**Definition 2.1** ([28])

where $n=[\alpha ]+1$, $[\alpha ]$ denotes the integer part of number *α*, provided that the right side is pointwise defined on $(0,+\mathrm{\infty})$.

**Definition 2.2** ([28])

provided that the right side is pointwise defined on $(0,+\mathrm{\infty})$.

From the definition of the Riemann-Liouville derivative, we can obtain the following statement.

**Lemma 2.1** ([28])

*Let*$\alpha >0$.

*If we assume*$x\in C(0,1)\cap L(0,1)$,

*then the fractional differential equation*

*has* $x(t)={c}_{1}{t}^{\alpha -1}+{c}_{2}{t}^{\alpha -2}+\cdots +{c}_{n}{t}^{\alpha -n}$, ${c}_{i}\in \mathbb{R}$, $i=1,2,\dots ,n$, *as unique solutions*, *where* *n* *is the smallest integer greater than or equal to* *α*.

**Lemma 2.2** ([28])

*Assume that*$x\in C(0,1)\cap L(0,1)$

*with a fractional derivative of order*$\alpha >0$

*that belongs to*$C(0,1)\cap L(0,1)$.

*Then*

*for some* ${c}_{i}\in \mathbb{R}$, $i=1,2,\dots ,n$, *where* *n* *is the smallest integer greater than or equal to* *α*.

In the following, we present the Green function of the fractional differential equation boundary value problem.

**Lemma 2.3**

*Let*$y\in C[0,1]$

*and*$2<\alpha \le 3$.

*The unique solution of the problem*

*is*

*where*

*Here* $G(t,s)$ *is called the Green function of the boundary value problem* (2.1) *and* (2.2).

*Proof*We may apply Lemma 2.2 to reduce (2.1) to an equivalent integral equation

The proof is complete. □

**Lemma 2.4** ([21])

*The function*$G(t,s)$

*defined by*(2.3)

*satisfies the following conditions*:

- (1)
$G(t,s)=G(1-s,1-t)$,

*for*$t,s\in (0,1)$; - (2)
${t}^{\alpha -1}(1-t)s{(1-s)}^{\alpha -1}\le \mathrm{\Gamma}(\alpha )G(t,s)\le (\alpha -1)s{(1-s)}^{\alpha -1}$,

*for*$t,s\in (0,1)$; - (3)
$G(t,s)>0$,

*for*$t,s\in (0,1)$; - (4)
${t}^{\alpha -1}(1-t)s{(1-s)}^{\alpha -1}\le \mathrm{\Gamma}(\alpha )G(t,s)\le (\alpha -1)(1-t){t}^{\alpha -1}$,

*for*$t,s\in (0,1)$.

**Remark 2.1**Let $q(t)={t}^{\alpha -1}(1-t)$, $k(s)=s{(1-s)}^{\alpha -1}$. Then we have

*J*equipped with the norm ${\parallel \cdot \parallel}_{{L}^{1}}$ defined by

The following fixed point theorem in Banach algebra due to Dhage [29] is fundamental in the proofs of our main results.

**Lemma 2.5** ([29])

*Let*

*S*

*be a non*-

*empty*,

*closed convex and bounded subset of the Banach algebra*

*X*

*and let*$A:X\to X$

*and*$B:S\to X$

*be two operators such that*

- (a)
*A**is Lipschitzian with a Lipschitz constant**β*, - (b)
*B**is completely continuous*, - (c)
$x=AxBy\Rightarrow x\in S$

*for all*$y\in S$,*and* - (d)
$\beta M<1$,

*where*$M=\parallel B(S)\parallel =sup\{\parallel B(x)\parallel :x\in S\}$.

*Then the operator equation* $AxBx=x$ *has a solution in* *S*.

## 3 Existence result

In this section, we prove the existence results for fractional differential equation (1.1) on the closed and bounded interval $J=[0,1]$ under both Lipschitz and Carathéodory conditions on the nonlinearities involved in it. We place the fractional differential equation (1.1) in the space $C(J,\mathbb{R})$ of continuous real-valued functions defined on *J*.

We consider the following hypotheses in what follows.

_{1}) There exists a constant $\beta >0$ such that

for all $t\in J$ and $x,y\in \mathbb{R}$.

_{2}) There exists a function $h\in {L}^{1}(J,{\mathbb{R}}^{+})$ such that

for all $x\in \mathbb{R}$.

**Theorem 3.1**

*Assume that hypotheses*(H

_{1})

*and*(H

_{2})

*hold*.

*Further*,

*if*

*then the boundary value problem* (1.1) *and* (1.2) *has a solution defined on* *J*.

*Proof*Set $X=C(J,\mathbb{R})$ and define a subset

*S*of

*X*defined by

where $N=\frac{{F}_{0}T{\parallel h\parallel}_{{L}^{1}}}{1-\beta T{\parallel h\parallel}_{{L}^{1}}}$ and ${F}_{0}={sup}_{t\in J}|f(t,0)|$.

*S*is a closed, convex, and bounded subset of the Banach space

*X*. By Lemma 2.3, the boundary value problem (1.1) and (1.2) is equivalent to the equation

We shall show that the operators *A* and *B* satisfy all the conditions of Lemma 2.5.

*A*is a Lipschitz operator on

*X*with the Lipschitz constant

*β*. Let $x,y\in X$. Then by hypothesis (H

_{1}),

*t*, we obtain

for all $x,y\in X$.

*B*is a compact and continuous operator on

*S*into

*X*. First we show that

*B*is continuous on

*S*. Let $\{{x}_{n}\}$ be a sequence in

*S*converging to a point $x\in S$. Then by the Lebesgue dominated convergence theorem,

for all $t\in J$. This shows that *B* is a continuous operator on *S*.

*B*is a compact operator on

*S*. It is enough to show that $B(S)$ is a uniformly bounded and equicontinuous set in

*X*. On the one hand, let $x\in S$ be arbitrary. By Lemma 2.4, we have

*t*,

for all $x\in S$. This shows that *B* is uniformly bounded on *S*.

In order to estimate ${{t}_{2}}^{\alpha -1}-{{t}_{1}}^{\alpha -1}$ and ${{t}_{2}}^{\alpha}-{{t}_{1}}^{\alpha}$, we divide the proof into three cases.

for all ${t}_{1},{t}_{2}\in J$ and for all $x\in S$. This shows that $B(S)$ is an equicontinuous set in *X*. Now the set $B(S)$ is uniformly bounded and equicontinuous set in *X*, so it is compact by the Arzela-Ascoli Theorem. As a result, *B* is a completely continuous operator on *S*.

_{1}), we have

*t*,

Thus, all the conditions of Lemma 2.5 are satisfied and hence the operator equation $AxBx=x$ has a solution in *S*. As a result, the boundary value problem (1.1) and (1.2) has a solution defined on *J*. This completes the proof. □

**Remark 3.1** For the special case $f(t,x)\equiv 1$, we can find the corresponding existence results in Yu and Jiang (see [21]).

## 4 Examples

In this section, we will present two examples to illustrate the main results.

**Example 4.1**Consider the boundary value problem

where $\alpha =\frac{5}{2}$.

_{1}) and (H

_{2}) hold. Since

choosing $\beta =1$, then $\beta T{\parallel h\parallel}_{{L}^{1}}=8/35\sqrt{\pi}<1$. Therefore, the boundary value problem (4.1) and (4.2) has a solution.

**Example 4.2**Consider the boundary value problem

where $\alpha =\frac{5}{2}$.

Let $f(t,x)=cosx+2$, $g(t,x)=sinx$, $h(t)\equiv 1$. Then hypotheses (H_{1}) and (H_{2}) hold. Since $T=8/35\sqrt{\pi}$, choosing $\beta =1$, then $\beta T{\parallel h\parallel}_{{L}^{1}}=8/35\sqrt{\pi}<1$. Therefore, the boundary value problem (4.3) and (4.4) has a solution.

## Declarations

### Acknowledgements

The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript. This research is supported by the National Natural Science Foundation of China (G61374065, G61374002) and the Research Fund for the Taishan Scholar Project of Shandong Province of China.

## Authors’ Affiliations

## References

- Miller KS, Ross B:
*An Introduction to the Fractional Calculus and Fractional Differential Equations*. Wiley, New York; 1993.MATHGoogle Scholar - Oldham KB, Spanier J:
*The Fractional Calculus*. Academic Press, New York; 1974.MATHGoogle Scholar - Podlubny I Mathematics in Science and Engineering. In
*Fractional Differential Equations*. Academic Press, New York; 1999.Google Scholar - Samko SG, Kilbas AA, Marichev OI:
*Fractional Integral and Derivative. Theory and Applications*. Gordon & Breach, New York; 1993.MATHGoogle Scholar - Delbosco D, Rodino L: Existence and uniqueness for a nonlinear fractional differential equation.
*J. Math. Anal. Appl.*1996, 204: 609–625. 10.1006/jmaa.1996.0456MathSciNetView ArticleMATHGoogle Scholar - Jafari H, Gejji VD: Positive solutions of nonlinear fractional boundary value problems using Adomian decomposition method.
*Appl. Math. Comput.*2006, 180: 700–706. 10.1016/j.amc.2006.01.007MathSciNetView ArticleMATHGoogle Scholar - Li Q, Sun S, Zhao P, Han Z: Existence and uniqueness of solutions for initial value problem of nonlinear fractional differential equations.
*Abstr. Appl. Anal.*2012., 2012: Article ID 615230Google Scholar - Zhao Y, Sun S, Han Z, Zhang M: Positive solutions for boundary value problems of nonlinear fractional differential equations.
*Appl. Math. Comput.*2011, 217: 6950–6958. 10.1016/j.amc.2011.01.103MathSciNetView ArticleMATHGoogle Scholar - Zhao Y, Sun S, Han Z, Feng W: Positive solutions for a coupled system of nonlinear differential equations of mixed fractional orders.
*Adv. Differ. Equ.*2011., 2011: Article ID 10Google Scholar - Zhao Y, Sun S, Han Z, Li Q: Positive solutions to boundary value problems of nonlinear fractional differential equations.
*Abstr. Appl. Anal.*2011., 2011: Article ID 390543Google Scholar - Zhao Y, Sun S, Han Z, Li Q: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations.
*Commun. Nonlinear Sci. Numer. Simul.*2011, 16: 2086–2097. 10.1016/j.cnsns.2010.08.017MathSciNetView ArticleMATHGoogle Scholar - Qiu T, Bai Z: Existence of positive solutions for singular fractional equations.
*Electron. J. Differ. Equ.*2008., 2008: Article ID 146Google Scholar - Liang S, Song Y: Existence and uniqueness of positive solutions to nonlinear fractional differential equation with integral boundary conditions.
*Lith. Math. J.*2012, 52: 62–76. 10.1007/s10986-012-9156-6MathSciNetView ArticleMATHGoogle Scholar - Xu J, Wei Z, Wei D: Uniqueness of positive solutions for a class of fractional boundary value problems.
*Appl. Math. Lett.*2012, 25: 590–593. 10.1016/j.aml.2011.09.065MathSciNetView ArticleMATHGoogle Scholar - Xu J, Wei Z, Ding Y: Positive solutions for a boundary-value problem with Riemann-Liouville fractional derivative.
*Lith. Math. J.*2012, 52: 462–476. 10.1007/s10986-012-9187-zMathSciNetView ArticleMATHGoogle Scholar - Ding Y, Wei Z, Xu J: Positive solutions for a fractional boundary value problem with
*p*-Laplacian operator.*J. Appl. Math. Comput.*2013, 41: 257–268. 10.1007/s12190-012-0594-4MathSciNetView ArticleMATHGoogle Scholar - Zhou Y, Jiao F: Nonlocal Cauchy problem for fractional evolution equations.
*Nonlinear Anal., Real World Appl.*2010, 11: 4465–4475. 10.1016/j.nonrwa.2010.05.029MathSciNetView ArticleMATHGoogle Scholar - Wang J, Zhou Y: A class of fractional evolution equations and optimal controls.
*Nonlinear Anal., Real World Appl.*2011, 12: 262–272. 10.1016/j.nonrwa.2010.06.013MathSciNetView ArticleMATHGoogle Scholar - Agarwal RP, Zhou Y, He Y: Existence of fractional neutral functional differential equations.
*Comput. Math. Appl.*2010, 59(3):1095–1100. 10.1016/j.camwa.2009.05.010MathSciNetView ArticleMATHGoogle Scholar - Sun S, Zhao Y, Han Z, Xu M: Uniqueness of positive solutions for boundary value problems of singular fractional differential equations.
*Inverse Probl. Sci. Eng.*2012, 20: 299–309. 10.1080/17415977.2011.603726MathSciNetView ArticleMATHGoogle Scholar - Yu, Y, Jiang, D: Multiple Positive Solutions for the Boundary Value Problem of A Nonlinear Fractional Differential Equation, Northeast Normal University (2009)Google Scholar
- Sun S, Zhao Y, Han Z, Li Y: The existence of solutions for boundary value problem of fractional hybrid differential equations.
*Commun. Nonlinear Sci. Numer. Simul.*2012, 17: 4961–4967. 10.1016/j.cnsns.2012.06.001MathSciNetView ArticleMATHGoogle Scholar - Zhao Y, Sun S, Han Z, Li Q: Theory of fractional hybrid differential equations.
*Comput. Math. Appl.*2011, 62: 1312–1324. 10.1016/j.camwa.2011.03.041MathSciNetView ArticleMATHGoogle Scholar - Dhage BC: On
*α*-condensing mappings in Banach algebras.*Math. Stud.*1994, 63: 146–152.MathSciNetMATHGoogle Scholar - Dhage BC, Lakshmikantham V: Basic results on hybrid differential equations.
*Nonlinear Anal.*2010, 4: 414–424.MathSciNetMATHGoogle Scholar - Dhage BC: A nonlinear alternative in Banach algebras with applications to functional differential equations.
*Nonlinear Funct. Anal. Appl.*2004, 8: 563–575.MathSciNetMATHGoogle Scholar - Dhage BC: Fixed point theorems in ordered Banach algebras and applications.
*Panam. Math. J.*1999, 9: 93–102.MathSciNetMATHGoogle Scholar - Kilbas AA, Srivastava HH, Trujillo JJ:
*Theory and Applications of Fractional Differential Equations*. Elsevier, Amsterdam; 2006.MATHGoogle Scholar - Dhage BC: On a fixed point theorem in Banach algebras with applications.
*Appl. Math. Lett.*2005, 18: 273–280. 10.1016/j.aml.2003.10.014MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.