Abstract
This paper is concerned with the existence of solutions for nonlinear fractional differential equations of Volterra type with nonlocal fractional integro-differential boundary conditions on an infinite interval. The results are obtained by using the Altman fixed point theorem. An example is presented in order to illustrate the main results.
Similar content being viewed by others
1 Introduction
The study of fractional calculus is gaining more and more attention. Compared with classical integer-order models, fractional-order models can describe reality more accurately, which has been shown recently in a variety of fields such as physics, chemistry, biology, economics, signal and image processing, control, porous media, aerodynamics, and so on [1–12].
In addition, scientists have found that many mathematics models can be reduced to the nonlocal problems with integral boundary conditions, such as the models on underground water flow, chemical engineering, plasma physics, and thermo-elasticity. For more information, see the excellent surveys by Corduneanu [13] and Agarwal and O’Regan [14] and some recent papers [15–28].
In the past decades, nonlocal boundary value problems of fractional differential equations on finite/infinite interval have been extensively investigated; see, for instance, [29–45]. However, to the best of our knowledge, very little is known regarding integro-differential fractional boundary value problem on an infinite interval.
Based on the reason mentioned, in this paper, we consider the following integro-differential fractional boundary value problem for nonlinear fractional differential equations of Volterra type on an infinite interval
where \(t\in J=[0,+\infty)\), \(f\in C[J\times\mathbb{R}\times \mathbb{R},\mathbb{R}]\), \(\xi\in\mathbb{R}\), \(\eta\in J\), \(D^{\alpha}\) is the Riemann-Liouville fractional derivative of order α, \(I^{\beta}\) is the Riemann-Liouville fractional integral of order β, and \((T u)(t)=\int_{0}^{t} k(t,s)u(s)\,ds\) with \(k(t,s)\in C[D,\mathbb{R}]\), \(D=\{(t,s)\in\mathbb{R}^{2} \mid 0\leq s\leq t\}\).
Define the space
equipped with the norm
It is obvious that X is a Banach space.
2 Preliminaries
For the convenience of the reader, in this section, we first present some useful definitions and theorems.
Definition 2.1
[4]
The Riemann-Liouville fractional derivative of order δ for a continuous function f is defined by
provided that the right-hand side is pointwise defined on \((0,\infty)\).
Definition 2.2
[4]
The Riemann-Liouville fractional integral of order δ for a function f is defined as
provided that such an integral exists.
Theorem 2.1
Altman theorem [46]
Let Ω be an open bounded subset of a Banach space E with \(0\in\Omega\), and \(T:\overline{\Omega}\rightarrow E\) be a completely continuous operator. Then T has a fixed point in Ω̅, provided that
Theorem 2.2
[47]
Let \(U\subset X\) be a bounded set. Then U is relatively compact in X if the following conditions hold:
-
(i)
for any \(u(t)\in U\), \(\frac{u(t)}{1+t^{\alpha-1}}\) is equicontinuous on any compact interval of J;
-
(ii)
for any \(\varepsilon>0\), there exists a constant \(T=T(\varepsilon)>0\) such that
$$\biggl\vert \frac{u(t_{1})}{1+t_{1}^{\alpha-1}}-\frac{u(t_{2})}{1+t_{2}^{\alpha -1}}\biggr\vert < \varepsilon $$for any \(t_{1},t_{2}\ge T\) and \(u\in U\).
Before proving our main result, we list the following assumptions:
- (H1):
-
\(\xi\ge0\), \(\Gamma(\alpha+\beta)>\xi\eta^{\alpha+\beta-1}\).
- (H2):
-
There exists a constant \(k^{*}\) such that
$$k^{*}=\sup_{t\in J} \int_{0}^{t} \bigl\vert k(t,s)\bigr\vert \bigl(1+s^{\alpha-1}\bigr)\,ds< \infty. $$ - (H3):
-
There exist nonnegative functions \(a(t)\), \(b(t)\), \(c(t)\) defined on \([0, \infty)\) and constants \(p,q\ge0\) such that
$$\bigl\vert f(t,u,v)\bigr\vert \le a(t)+b(t)|u|^{p}+c(t)|v|^{q} $$and
$$\begin{aligned}& \int_{0}^{+\infty}a(t)\,dt=a^{*}< +\infty, \\& \int_{0}^{+\infty }b(t) \bigl(1+t^{\alpha-1} \bigr)^{p} \,dt=b^{*}< +\infty, \\& \int_{0}^{+\infty}c(t)\,dt=c^{*}< +\infty. \end{aligned}$$
3 Related lemmas
Firstly, we give an explicit expression of the Green’s function related to the associated linear problem.
Lemma 3.1
Let \(h\in C([0,{+\infty}))\) with \(\int_{0}^{\infty}h(s)\,ds<\infty\). If \(\Gamma(\alpha+\beta)\neq\xi\eta^{\alpha+\beta-1}\), then the fractional integral boundary value problem
has a unique solution
where
and
Proof
By (3.2) we have
Then, it is easy to get that \(u(0)=u'(0)=u''(0)=0\).
By (3.3) we have
and
Thus, we can get the relation \(D^{\alpha-1}u(\infty) = \xi I^{\beta}u(\eta)\).
Finally, applying (3.3), by a simple deduction it follows
Thus, the proof is complete. □
Through a careful computation, it is easy to obtain the following remark, so we omit its proof.
Remark 3.1
For \((s, t)\in J\times J\), if condition (H1) holds, then we have
Lemma 3.2
If conditions (H2) and (H3) are satisfied, then we have
Proof
For all \(u\in X\), by conditions (H2) and (H3) we have
□
4 Main results
Define the operator Q by
Applying Lemma 3.1 with \(h(t) = f (t, u(t),Tu(t))\), problem (1.1) reduces to a fixed point problem \(u = Qu\), where Q is given by (4.1). Thus, problem (1.1) has a solution if and only if the operator Q has a fixed point.
Lemma 4.1
Assume that conditions (H1)-(H3) are satisfied. Then \(Q:X\rightarrow X\) is completely continuous.
Proof
Firstly, the operator \(Q:X\rightarrow X\) is relatively compact.
(1) Let Ω be any bounded subset of X. Then there exists a constant \(M>0\) such that \(\|u\|_{X}\le M\). By Lemma 3.2 and Remark 3.1 we have
which implies that TΩ is uniformly bounded.
(2) We prove that Q is equicontinuous.
(I) Let \(I\subset J\) be any compact interval. Let Ω be any bounded subset of X. For all \(t_{1},t_{2}\in I\), \(t_{2}>t_{1}\), and \(u\in\Omega\), we have
Since \(G(t,s)\in C(J \times J)\), \(\frac{G(t,s)}{1+t^{\alpha-1}}\) is uniformly continuous on any compact set \(I \times I\). Note that this function only depends on t for \(s \ge t\), so it is uniformly continuous on \(I \times(J \backslash I)\). Thus, for all \(s \in J\) and \(t_{1}, t_{2} \in I\), we have
By Lemma 3.2, for all \(u\in\Omega\), we have
This, together with (4.3) and (4.4), implies that QΩ is equicontinuous on I.
(II) We have
From this it is easy to verify that, for any \(\varepsilon>0\), there exists a constant \(T'=T'(\varepsilon)>0\) such that
for any \(t_{1},t_{2}\ge T'\) and \(s \in J\). Combining this with Lemma 3.2 and (4.3), we get that the same property holds for QΩ, uniformly on \(u\in\Omega\). Hence, Q is equiconvergent at ∞.
Therefore, by Theorem 2.2 we know that Q is relatively compact on J.
Next, we show that \(Q:X\rightarrow X\) is continuous.
Let \(u_{n},u\in X\) be such that \(u_{n}\rightarrow u\) (\(n\rightarrow \infty\)). Then, \(\|u_{n}\|_{X}<\infty\) and \(\|u\|_{X}<\infty\). By Lemma 3.2 we have
where L is defined in (3.7).
By the Lebesgue dominated convergence theorem and continuity of f we get
Hence, we have
which shows that Q is continuous. Therefore, \(Q:X\rightarrow X\) is completely continuous. This completes the proof. □
Next, we give several existence results for integro-differential fractional boundary value problem (1.1).
According to the range of p and q, we have the following theorems.
Theorem 4.1
Assume that conditions (H1)-(H3) are satisfied. If \(0\le p,q<1\), then problem (1.1) has at least one solution.
Proof
Let us choose
and define \(U=\{u\in X,\|u\|_{X}< R\}\). In view of Theorem 2.1, we just need to show that
For any \(u\in\partial U\), by Lemma 3.2 and Remark 3.1 we have
Thus, \(QU\subset U\) and \(\|Qu\|_{X}\le\|u\|_{X}\) for all \(u\in \partial U\), which completes the proof. □
Theorem 4.2
Assume that conditions (H1)-(H3) are satisfied. Then problem (1.1) has at least one solution, provided that one of the following eight conditions holds:
- Case 1.:
-
\(p=q=1\), \(L(b^{*}+c^{*}k^{*})<1\);
- Case 2.:
-
\(0\le p<1\), \(q=1\), \(2Lc^{*}k^{*}<1\);
- Case 3.:
-
\(p>1\), \(q=1\), \(2La^{*}(1-2Lc^{*}k^{*})^{-1}\le(2Lb^{*})^{\frac{1}{1-p}}\), \(2Lc^{*}k^{*}<1\);
- Case 4.:
-
\(p=1\), \(0\le q<1\), \(2Lb^{*}<1\);
- Case 5.:
-
\(p=1\), \(q>1\), \(2La^{*}(1-2Lb^{*})^{-1}\le(2Lc^{*}(k^{*})^{q})^{\frac{1}{1-q}}\), \(2Lb^{*}<1\);
- Case 6.:
-
\(p,q>1\), \(3La^{*}\le\min \{(3Lb^{*})^{\frac{1}{1-p}}, (3Lc^{*}(k^{*})^{q})^{\frac{1}{1-q}} \}\);
- Case 7.:
-
\(0\le p<1\), \(q>1\), \(\max \{3La^{*}, (3Lb^{*})^{\frac{1}{1-p}} \} \le (3Lc^{*}(k^{*})^{q})^{\frac{1}{1-q}}\);
- Case 8.:
-
\(p>1\), \(0\le q<1\), \(\max \{3La^{*}, (3Lc^{*}(k^{*})^{q})^{\frac {1}{1-q}} \}\le(3Lb^{*})^{\frac{1}{1-p}}\);
here L is defined in (3.7).
Proof
The proofs of Cases 1-5 are similar, so we only give the proof of Case 1.
For \(p=q=1\), let us take
and define \(U=\{u\in X,\|u\|_{X}< R\}\).
For any \(u\in\partial U\), by Lemma 3.2 and Remark 3.1 we have
Thus, \(QU\subset U\) and \(\|Qu\|_{X}\le\|u\|_{X}\) for all \(u\in \partial U\). In view of Theorem 2.1, we get that problem (1.1) has at least one solution \(u(t)\) satisfying
The proofs of Cases 6-8 are similar to that of Theorem 4.1, so we omit it. This completes the proof. □
5 Example
Example 5.1
Take \(\alpha=3.5\) and \(\beta=1.5\). We consider the following integro-differential fractional boundary value problem for nonlinear fractional differential equations of Volterra type on an unbounded domain:
where \(f(t,u,v)=\frac{\ln(1+t)}{(1+t^{2})^{2}}+\frac{e^{-t}|u|^{p}}{(1+t^{2.5})^{p}} +\frac{1}{(3+t)^{2}}|v|^{q}\), \(0\le p,q\le1\), and ξ, η satisfy \(0\le\xi\eta^{4}<24\). For example, we take \(\xi=8\), \(\eta=1\).
Firstly, it is obvious that \(\Gamma(\alpha+\beta)=24\) and \(\xi\eta^{\alpha+\beta-1}=\xi\eta^{4}=8\). Then (H1) holds.
Secondly, we have
Take \(a(t)=\frac{t}{(1+t^{2})^{2}}\), \(b(t)=\frac{e^{-t}}{(1+t^{2.5})^{p}}\), \(c(t)=\frac {1}{(3+t)^{2}}\). By a direct computation we can obtain
which implies that (H3) holds.
Noting that \(k(t,s)=\frac{e^{-t}\cos(t^{2}-s)}{(1+s^{2.5})}\), we have
Thus, conditions (H1)-(H3) hold.
Therefore, for the case \(0\le p,q<1\), by Theorem 4.1 the nonlinear fractional differential equation (5.1) has at least one solution.
In addition, since \(L=\frac{\Gamma(\alpha+\beta)}{ \Gamma(\alpha)[\Gamma(\alpha+\beta)-\xi\eta^{\alpha+\beta -1}]}=\frac {4}{5\sqrt{\pi}}\), Cases 1, 2, and 4 of Theorem 4.2 hold, Thus, all conditions of Theorem 4.2 are satisfied.
To sum up our arguments, for \(0\le p,q\le1\), the integro-differential fractional boundary value problem (5.1) has at least one solution.
References
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Zaslavsky, GM: Hamiltonian Chaos and Fractional Dynamics. Oxford University Press, Oxford (2005)
Magin, RL: Fractional Calculus in Bioengineering. Begell House Publisher, Danbury (2006)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)
Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012)
Baleanu, D, Mustafa, OG: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 59(5), 1835-1841 (2010)
Purohit, SD, Kalla, SL: On fractional partial differential equations related to quantum mechanics. J. Phys. A, Math. Theor. 44(4), 1-8 (2011)
Purohit, SD: Solutions of fractional partial differential equations of quantum mechanics. Adv. Appl. Math. Mech. 5(5), 639-651 (2013)
Chouhan, A, Purohit, SD, Saraswat, S: An alternative method for solving generalized differential equations of fractional order. Kragujev. J. Math. 37(2), 299-306 (2013)
Nisar, KS, Purohit, SD, Saiful, R: Mondal generalized fractional kinetic equations involving generalized Struve function of the first kind. J. King Saud Univ., Sci. 28(2), 167-171 (2016)
Lazarevic, MP, Spasic, AM: Finite-time stability analysis of fractional order time delay systems: Gronwall’s approach. Math. Comput. Model. 49, 475-481 (2009)
Corduneanu, C: Integral Equations and Applications. Cambridge University Press, Cambridge (1991)
Agarwal, RP, O’Regan, D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (2001)
Feng, M, Zhang, X, Ge, W: New existence results for higher-order nonlinear fractional differential equation with integral boundary conditions. Bound. Value Probl. 2011, Article ID 720702 (2011)
Salem, HAH: Fractional order boundary value problem with integral boundary conditions involving Pettis integral. Acta Math. Sci. Ser. B 31, 661-672 (2011)
Ahmad, B, Nieto, JJ, Alsaedi, A: Existence and uniqueness of solutions for nonlinear fractional differential equations with non-separated type integral boundary conditions. Acta Math. Sci. Ser. B 31, 2122-2130 (2011)
Ahmad, B, Nieto, JJ: Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions. Bound. Value Probl. 2009, Article ID 708576 (2009)
Ahmad, B, Ntouyas, SK: A four-point nonlocal integral boundary value problem for fractional differential equations of arbitrary order. Electron. J. Qual. Theory Differ. Equ. 2011, 22 (2011)
Benchohra, M, Graef, JR, Hamani, S: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87, 851-863 (2008)
Hamani, S, Benchohra, M, Graef, JR: Existence results for boundary value problems with nonlinear fractional inclusions and integral conditions. Electron. J. Differ. Equ. 2010, 20 (2010)
Liu, X, Jia, M, Wu, B: Existence and uniqueness of solution for fractional differential equations with integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2009, 69 (2009)
Wang, G, Liu, S, Zhang, L: Neutral fractional integro-differential equation with nonlinear term depending on lower order derivative. J. Comput. Appl. Math. 260, 167-172 (2014)
Liu, S, Wang, G, Zhang, L: Existence results for a coupled system of nonlinear neutral fractional differential equations. Appl. Math. Lett. 26, 1120-1124 (2013)
Zhang, L, Ahmad, B, Wang, G: The existence of an extremal solution to a nonlinear system with the right-handed Riemann-Liouville fractional derivative. Appl. Math. Lett. 31, 1-6 (2014)
Zhang, L, Ahmad, B, Wang, G: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half-line. Bull. Aust. Math. Soc. 91, 116-128 (2015)
Cabada, A, Wang, G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403-411 (2012)
Wang, G, Cabada, A, Zhang, L: Integral boundary value problem for nonlinear differential equations of fractional order on an unbounded domain. J. Integral Equ. Appl. 26, 117-129 (2014)
Ramirez, JD, Vatsala, AS: Monotone iterative technique for fractional differential equations with periodic boundary conditions. Opusc. Math. 29, 289-304 (2009)
Zhang, S: Existence results of positive solutions to boundary value problem for fractional differential equation. Positivity 13(3), 583-599 (2009)
Jankowski, T: Fractional equations of Volterra type involving a Riemann-Liouville derivative. Appl. Math. Lett. 26, 344-350 (2013)
Zhao, Y, Sun, S, Han, Z, Zhang, M: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 217(16), 6950-6958 (2011)
Wang, G: Monotone iterative technique for boundary value problems of a nonlinear fractional differential equations with deviating arguments. J. Comput. Appl. Math. 236, 2425-2430 (2012)
Wang, G, Baleanu, D, Zhang, L: Monotone iterative method for a class of nonlinear fractional differential equations. Fract. Calc. Appl. Anal. 15, 244-252 (2012)
Wang, G: Explicit iteration and unbounded solutions for fractional integral boundary value problem on an infinite interval. Appl. Math. Lett. 47, 1-7 (2015)
Babakhani, A: Positive solutions for system of nonlinear fractional differential equations in two dimensions with delay. Abstr. Appl. Anal. 2010, Article ID 536317 (2010)
Gafiychuk, V, Datsko, B, Meleshko, V, Blackmore, D: Analysis of the solutions of coupled nonlinear fractional reaction-diffusion equations. Chaos Solitons Fractals 41, 1095-1104 (2009)
Arara, A, Benchohra, M, Hamidia, N, Nieto, JJ: Fractional order differential equations on an unbounded domain. Nonlinear Anal. 72, 580-586 (2010)
Zhao, XK, Ge, WG: Unbounded solutions for a fractional boundary value problem on the infinite interval. Acta Appl. Math. 109, 495-505 (2010)
Liang, S, Zhang, J: Existence of three positive solutions for m-point boundary value problems for some nonlinear fractional differential equations on an infinite interval. Comput. Math. Appl. 61, 3343-3354 (2011)
Su, X: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 74, 2844-2852 (2011)
Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011)
Wang, G, Ahmad, B, Zhang, L: A coupled system of nonlinear fractional differential equations with multi-point fractional boundary conditions on an unbounded domain. Abstr. Appl. Anal. 2012, Article ID 248709 (2012)
Zhang, L, Ahmad, B, Wang, G, Agarwal, RP, Al-Yami, M, Shammakh, W: Nonlocal integrodifferential boundary value problem for nonlinear fractional differential equations on an unbounded domain. Abstr. Appl. Anal. 2013, Article ID 813903 (2013)
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)
Altman, M: A fixed point theorem in Banach space. Bull. Acad. Polon. Sci. Cl. III 5, 19-22 (1957)
Liu, YS: Existence and unboundedness of positive solutions for singular boundary value problems on half-line. Appl. Math. Comput. 144, 543-556 (2003)
Acknowledgements
This work was supported by the NNSF of China (No. 61373174), Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi (Nos. 2014135 and 2014136) and Natural Science Foundation for Young Scientists of Shanxi Province, China (No. 2012021002-3).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors have equal contributions. Both authors read and approved the final manuscript.
Rights and permissions
Open Access 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.
About this article
Cite this article
Wang, D., Wang, G. Integro-differential fractional boundary value problem on an unbounded domain. Adv Differ Equ 2016, 325 (2016). https://doi.org/10.1186/s13662-016-1051-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-1051-8