Fractional integral problems for fractional differential equations via Caputo derivative
© Tariboon et al.; licensee Springer 2014
Received: 8 April 2014
Accepted: 25 June 2014
Published: 22 July 2014
In this paper, we study the existence and uniqueness of solutions for fractional boundary value problems involving nonlocal fractional integral boundary conditions, by means of standard fixed point theorems. Some illustrative examples are also presented.
MSC:26A33, 34A08, 34B15.
Differential equations with fractional order have recently proved to be valuable tools for the description of hereditary properties of various materials and systems. Many phenomena in engineering, physics, continuum mechanics, signal processing, electro-magnetics, economics, and science describes efficiently by fractional order differential equations. For a reader interested in the systematic development of the topic, we refer the books [1–5]. Many researchers have studied the existence theory for nonlinear fractional differential equations with a variety of boundary conditions; for instance, see the papers [6–21], and the references therein.
where denotes the Caputo fractional derivative of order q, is a continuous function, , , for all , , , , and is the Riemann-Liouville fractional integral of order (, , , ).
Note that the condition (1.2) does not contain the values of the unknown function u at the left side and right side of the boundary points and , respectively.
We develop some existence and uniqueness results for the boundary value problem (1.1) by using standard techniques from fixed point theory. The paper is organized as follows: in Section 2, we recall some preliminary facts that we need in the sequel and Section 3 contains our main results. Finally, Section 4 provides some examples for the illustration of the main results.
where denotes the integer part of the real number q.
provided the integral exists.
where , ().
for some , ().
Substituting constants and into (2.7), we obtain (2.6), as required. □
3 Main results
where and , , , .
It should be noticed that problem (1.1) has solutions if and only if the operator ℱ has fixed points.
In the following subsections we prove existence, as well as existence and uniqueness results, for the boundary value problem (1.1) by using a variety of fixed point theorems.
3.1 Existence and uniqueness result via Banach’s fixed point theorem
Theorem 3.1 Assume that
(H1) there exists a constant such that , for each and .
where Λ is defined by (3.2), then the boundary value problem (1.1) has a unique solution on .
Proof We transform the problem (1.1) into a fixed point problem, , where the operator ℱ is defined as in (3.1). Observe that the fixed points of the operator ℱ are solutions of problem (1.1). Applying Banach’s contraction mapping principle, we shall show that ℱ has a unique fixed point.
where a constant Φ is defined by (3.3).
which implies that .
which implies that . As , ℱ is a contraction. Therefore, we deduce, by Banach’s contraction mapping principle, that ℱ has a fixed point which is the unique solution of problem (1.1). The proof is completed. □
3.2 Existence and uniqueness result via Banach’s fixed point theorem and Hölder inequality
Theorem 3.2 Suppose that is a continuous function satisfying the following assumption:
(H2) , for , and , .
then the boundary value problem (1.1) has a unique solution.
It follows that ℱ is contraction mapping. Hence Banach’s fixed point theorem implies that ℱ has a unique fixed point, which is the unique solution of the problem (1.1). The proof is completed. □
3.3 Existence and uniqueness result via nonlinear contractions
Lemma 3.1 (Boyd and Wong )
Let E be a Banach space and let be a nonlinear contraction. Then F has a unique fixed point in E.
Theorem 3.3 Let be a continuous function satisfying the assumption
Then the boundary value problem (1.1) has a unique solution.
Note that the function Ψ satisfies and for all .
This implies that . Therefore ℱ is a nonlinear contraction. Hence, by Lemma 3.1 the operator ℱ has a unique fixed point which is the unique solution of the boundary value problem (1.1). This completes the proof. □
3.4 Existence result via Krasnoselskii’s fixed point theorem
Lemma 3.2 (Krasnoselskii’s fixed point theorem )
Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that (a) whenever ; (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists such that .
Theorem 3.4 Let be a continuous function satisfying (H1). In addition we assume that
(H4) , , and .
This shows that . It is easy to see using (3.6) that is a contraction mapping.
Now we prove the compactness of the operator .
which is independent of u and tends to zero as . Thus, is equicontinuous. So is relatively compact on . Hence, by the Arzelá-Ascoli theorem, is compact on . Thus all the assumptions of Lemma 3.2 are satisfied. So the conclusion of Lemma 3.2 implies that the boundary value problem (1.1) has at least one solution on . □
3.5 Existence result via Leray-Schauder’s nonlinear alternative
Theorem 3.5 (Nonlinear alternative for single valued maps )
F has a fixed point in , or
there is a (the boundary of U in C) and with .
Theorem 3.6 Assume that
where Λ and Φ are defined by (3.2) and (3.3), respectively.
Then the boundary value problem (1.1) has at least one solution on .
As , the right-hand side of the above inequality tends to zero independently of . Therefore by the Arzelá-Ascoli theorem the operator is completely continuous.
We see that the operator is continuous and completely continuous. From the choice of U, there is no such that for some . Consequently, by the nonlinear alternative of Leray-Schauder type, we deduce that ℱ has a fixed point which is a solution of the boundary value problem (1.1). This completes the proof. □
In this section, we present some examples to illustrate our results.
Thus . Hence, by Theorem 3.1, the boundary value problem (4.1) has a unique solution on .
Hence, by Theorem 3.3, the boundary value problem (4.2) has a unique solution on .
Hence, by Theorem 3.4, the boundary value problem (4.3) has at least one solution on .
which implies that . Hence, by Theorem 3.6, the boundary value problem (4.4) has at least one solution on .
Sotiris K Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM) Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.
The research of J Tariboon is supported by King Mongkut’s University of Technology North Bangkok, Thailand. This research of W Sudsutad is supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.
- Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon; 1993.Google Scholar
- Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.Google Scholar
- Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
- Sabatier J, Agrawal OP, Machado JAT (Eds): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.Google Scholar
- Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge; 2009.Google Scholar
- Ahmad B, Ntouyas SK: Nonlinear fractional differential equations and inclusions of arbitrary order and multi-strip boundary conditions. Electron. J. Differ. Equ. 2012., 2012: Article ID 98Google Scholar
- Nyamoradi N, Javidi M: Existence of multiple positive solutions for fractional differential inclusion with m -point boundary conditions and two fractional orders. Electron. J. Differ. Equ. 2012., 2012: Article ID 187Google Scholar
- Ahmad B, Nieto JJ: Sequential fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2012, 64: 3046-3052. 10.1016/j.camwa.2012.02.036MathSciNetView ArticleGoogle Scholar
- Ubriaco MR: Entropies based on fractional calculus. Phys. Lett. A 2009, 373: 2516-2519. 10.1016/j.physleta.2009.05.026MathSciNetView ArticleGoogle Scholar
- Hamani S, Benchohra M, Graef JR: Existence results for boundary-value problems with nonlinear fractional differential inclusions and integral conditions. Electron. J. Differ. Equ. 2010., 2010: Article ID 20Google Scholar
- Sudsutad W, Tariboon J: Existence results of fractional integro-differential equations with m -point multi-term fractional order integral boundary conditions. Bound. Value Probl. 2012., 2012: Article ID 94Google Scholar
- Sudsutad W, Tariboon J: Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions. Adv. Differ. Equ. 2012., 2012: Article ID 93Google Scholar
- Ntouyas SK: Existence results for nonlocal boundary value problems for fractional differential equations and inclusions with fractional integral boundary conditions. Discuss. Math., Differ. Incl. Control Optim. 2013, 33: 17-39. 10.7151/dmdico.1146MathSciNetView ArticleGoogle Scholar
- Ntouyas SK: Boundary value problems for nonlinear fractional differential equations and inclusions with nonlocal and fractional integral boundary conditions. Opusc. Math. 2013, 33: 117-138. 10.7494/OpMath.2013.33.1.117MathSciNetView ArticleGoogle Scholar
- Guezane-Lakoud A, Khaldi R: Solvability of a fractional boundary value problem with fractional integral condition. Nonlinear Anal. 2012, 75: 2692-2700. 10.1016/j.na.2011.11.014MathSciNetView ArticleGoogle Scholar
- Ahmad B, Ntouyas SK, Assolani A: Caputo type fractional differential equations with nonlocal Riemann-Liouville integral boundary conditions. J. Appl. Math. Comput. 2013, 41: 339-350. 10.1007/s12190-012-0610-8MathSciNetView ArticleGoogle Scholar
- Liu XY, Liu YL: Fractional differential equations with fractional non-separated boundary conditions. Electron. J. Differ. Equ. 2013., 2013: Article ID 25Google Scholar
- Liu XY, Liu ZH, Fu X: Relaxation in nonconvex optimal control problems described by fractional differential equations. J. Math. Anal. Appl. 2014, 409: 446-458. 10.1016/j.jmaa.2013.07.032MathSciNetView ArticleGoogle Scholar
- Alsaedi A, Ntouyas SK, Agarwal RP, Ahmad B: A nonlocal multi-point multi-term fractional boundary value problem with Riemann-Liouville type integral boundary conditions involving two indices. Adv. Differ. Equ. 2013., 2013: Article ID 369Google Scholar
- Ahmad B, Ntouyas SK, Alsaedi A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multi-strip boundary conditions. Math. Probl. Eng. 2013., 2013: Article ID 320415Google Scholar
- Alsaedi A, Ntouyas SK, Ahmad B: Existence results for Langevin fractional differential inclusions involving two fractional orders with four-point multi-term fractional integral boundary conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 869837Google Scholar
- Boyd DW, Wong JSW: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458-464. 10.1090/S0002-9939-1969-0239559-9MathSciNetView ArticleGoogle Scholar
- Krasnoselskii MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 1955, 10: 123-127.MathSciNetGoogle Scholar
- Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2003.View ArticleGoogle Scholar
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.