Abstract
This paper investigates the existence of solutions for nonlinear fractional differential equations with m-point Erdélyi-Kober fractional integral boundary conditions on an infinite interval via the Leray-Schauder nonlinear alternative and the Banach contraction principle. Some examples illustrating the main results are also presented.
Similar content being viewed by others
1 Introduction
Fractional differential equations arise in many engineering and scientific disciplines as the mathematical models of systems and processes in the fields of physics, chemistry, aerodynamics, electrodynamics of complex medium, polymer rheology, electrical circuits, biology, control theory, fitting of experimental data, and so on, and involves derivatives of fractional order. Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. This is the main advantage of fractional differential equations in comparison with classical integer-order models. The monographs [1–3] are commonly cited for the theory of fractional derivatives and integrals and applications to differential equations of fractional order. For more details and examples, see [4–9] and the references therein.
However, it has been observed that most of the work on the topic involves either Riemann-Liouville or Caputo type fractional derivative. Besides these derivatives, the so-called Erdélyi-Kober fractional derivative, as a generalization of the Riemann-Liouville fractional derivative, is often used, too. An Erdélyi-Kober operator is a fractional integration operation introduced by Arthur Erdélyi and Hermann Kober in 1940. These operators have been used by many authors, in particular, to obtain solutions of the single, dual and triple integral equations possessing special functions of mathematical physics as their kernels. For the theory and applications of the Erdélyi-Kober fractional integrals, see, e.g., [1, 2, 10–14] and the references cited therein.
The fractional anomalous diffusion equations have been studied by many researchers [15, 16]. In fact, the mathematical models of nonlinear fractional diffusion equations have been successfully applied to several phenomena, see [17–19] and the references cited therein. In [20] Pagnini investigated the generalized grey Brownian motion (ggBm) which is an anomalous diffusion process derived by the Erdélyi-Kober fractional integral operator. Some relationships between parameters of the Erdélyi-Kober fractional operators and the valuable family of stochastic processes generated by the ggBm were also shown. For more details on fractional diffusion processes in stochastic models, we refer the reader to [21]. In [22], the author gave a theorem about the series representation of the Erdélyi-Kober fractional integral operator which was used to find approximate solutions of linear and nonlinear fractional anomalous diffusions. Numerical analysis and applications to the real experimental data were also discussed.
Boundary value problems on infinite intervals arise naturally in the study of radially symmetric solutions of nonlinear elliptic equations and various physical phenomena [23]. For boundary value problems of fractional order on infinite intervals, we refer to [24–28].
Zhao and Ge [28] studied the existence of unbounded solutions for the following boundary value problem on the infinite interval:
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, and \(0<\beta, \xi<\infty\).
Zhang et al. [27] studied the existence of nonnegative solutions for the following boundary value problem for fractional differential equations with nonlocal boundary conditions on unbounded domains:
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, \(f\in C([0,\infty)\times{\mathbb{R}}, {\mathbb{R}}^{+})\) and \(0<\beta, \eta<\infty\). The Leray-Schauder nonlinear alternative is used.
Liang and Zhang [25] used a fixed point theorem for operators on a cone and proved the existence of positive solutions to the following fractional boundary value problem:
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, \(f\in C([0,\infty)\times{\mathbb{R}}, {\mathbb{R}}^{+})\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{m-2}<\infty\), \(\beta_{i}\ge0\), \(i=1,2,\ldots, m-2\), with \(0<\sum_{i=1}^{m-2} \beta_{i} \xi_{i}^{\alpha-1}<\Gamma(\alpha)\).
Motivated by the above papers, in this article, we study a new class of boundary value problems on fractional differential equations with m-point Erdélyi-Kober fractional integral boundary conditions on an infinite interval of the form
where \(D^{\alpha}_{0}\) denotes the Riemann-Liouville fractional derivative of order α, \(I^{\gamma_{i},\delta_{i}}_{\eta_{i}}\) is the Erdélyi-Kober fractional integral of order \(\delta_{i}>0\) with \(\eta_{i}>0\), \(\gamma_{i}\in\mathbb{R}\), \(i=1,2,\ldots,m-2\), \(\beta_{i}\in\mathbb{R}\), and \(\xi_{i}\in(0,\infty)\), \(i=1,2,\ldots,m-2\), are given constants. We prove the existence and uniqueness of an unbounded solution of the boundary value problem (1.7)-(1.8) by using the Leray-Schauder nonlinear alternative and the Banach contraction principle.
This paper is organized as follows. In Section 2, we prepare some material needed to prove our main results. In Section 3, we obtain the existence and uniqueness results, while in Section 4 we give some examples to illustrate our results.
2 Preliminaries
In this section, we introduce some notations and definitions of fractional calculus [1] and present preliminary results needed in our proofs later.
Definition 2.1
The Riemann-Liouville fractional derivative of order q for a function \(f: (0,\infty)\rightarrow{\mathbb{R}}\) is defined by
where \([q]\) denotes the integer part of the real number q, provided the right-hand side is pointwise defined on \((0,\infty)\).
Definition 2.2
The Riemann-Liouville fractional integral of order q for a function \(f: (0,\infty)\rightarrow{\mathbb{R}}\) is defined by
provided the right-hand side is pointwise defined on \((0,\infty)\).
Definition 2.3
The Erdélyi-Kober fractional integral of order \(\delta>0\) with \(\eta >0\) and \(\gamma\in\mathbb{R}\) of a continuous function \(f:(0,\infty)\rightarrow\mathbb{R}\) is defined by
provided the right-hand side is pointwise defined on \(\mathbb{R}_{+}\).
Remark 2.4
For \(\eta=1\), the above operator is reduced to the Kober operator
that was introduced for the first time by Kober in [12]. For \(\gamma= 0\), the Kober operator is reduced to the Riemann-Liouville fractional integral with a power weight
From the definition of the Riemann-Liouville fractional derivative and integral, we can obtain the following lemmas.
Lemma 2.5
(See [1])
Let \(q>0\) and \(y\in C(0, T)\cap L(0,T)\). Then the fractional differential equation \(D^{q}_{0}y(t)=0\) has a unique solution
where \(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\), and \(n-1< q< n\).
Lemma 2.6
(See [1])
Let \(q>0\). Then, for \(y\in C(0, T)\cap L(0,T)\), it holds
where \(c_{i}\in\mathbb{R}\), \(i=1,2,\ldots,n\), and \(n-1< q< n\).
The following lemmas will be used in the proof of our main results.
Lemma 2.7
Let \(\delta, \eta>0\) and \(\gamma,q\in\mathbb{R}\). Then we have
Proof
Recall the beta function and its property
for \(x,y>0\). From Definition 2.3, we have
The proof is complete. □
Lemma 2.8
Let \(h\in C[0,\infty)\) with \(0<\int_{0}^{\infty}h(s)\,ds<\infty\), and
Then the unique solution of the following linear Riemann-Liouville fractional differential equation
subject to the Erdélyi-Kober fractional integral boundary condition
is given by
Proof
Applying the Riemann-Liouville fractional integral of order α to both sides of (2.3), we have
where \(c_{1} , c_{2} \in\mathbb{R}\).
The first condition of (2.4) implies \(c_{2}=0\). Therefore, we have
The second condition of (2.4) leads to
where Λ is defined by (2.2). Thus, the unique solution of fractional boundary value problem (2.3)-(2.4) is as the following integral equation:
Now, by uniqueness of constants \(c_{1}\), \(c_{2}\), we conclude that (2.5) is the unique solution of the boundary value problem (2.3)-(2.4). The proof is completed. □
In this paper, we will use the following space E, which is defined by
and is equipped with the norm
It is known from [24] that E with the above norm is a Banach space.
Using Lemma 2.8 with \(h(t)=f(t,u(t))\), we define the operator \(T:E\rightarrow E\) by
Notice that problem (1.7)-(1.8) has a solution if and only if the operator equation \(u=Tu\) has a fixed point, where T is given by (2.9).
We recall the following well-known fixed point theorem which we use in the next section.
Theorem 2.9
(Nonlinear alternative for single-valued maps) ([29])
Let E be a Banach space, C be a closed, convex subset of E, U be an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\rightarrow C\) is a continuous, compact (that is, \(F(\overline{U})\) is a relatively compact subset of C) map. Then either
-
(i)
F has a fixed point in U̅, or
-
(ii)
there is \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) with \(u=\lambda F(u)\).
Lemma 2.10
([26])
Let \(V=\{u\in E : \| u\|_{E}< l, l>0\}\), \(V_{1}=\{u(t)/(1+t^{\alpha-1}) : u\in V\}\). If \(V_{1}\) is equicontinuous on any compact intervals of \([0,\infty)\) and equiconvergent at infinity, then V is relatively compact on E.
Remark 2.11
\(V_{1}\) is called equiconvergent at infinity if and only if for all \(\epsilon>0\) there exists \(\nu(\epsilon)>0\) such that for all \(u\in V_{1}\), \(t_{1},t_{2}\geq\nu\), it holds
Throughout this paper, we assume that the following conditions hold:
- (A1):
-
Let \(|f(t,(1+t^{\alpha-1})u)|\leq\varphi_{1}(t)\omega _{1}(|u|)\) on \([0,\infty)\times\mathbb{R}\) with \(\omega_{1}\in C([0,\infty ),[0,\infty))\) nondecreasing and \(\varphi_{1}\in L^{1}[0,\infty)\).
- (A2):
-
There exists a positive function \(\varphi_{2}(t)\) with \(\varphi_{2}\in L^{1}[0,\infty)\) such that
$$ \bigl\vert f \bigl(t, \bigl(1+t^{\alpha-1}\bigr)u \bigr)-f \bigl(t,\bigl(1+t^{\alpha-1}\bigr)v \bigr)\bigr\vert \leq \varphi_{2}(t)|u-v| $$(2.10)for each \(t\in[0,\infty)\) and \(u,v\in E\).
Remark 2.12
Condition (A2) means a kind of sublinearity. Such a condition is known as Krasnosel’ski’s condition.
For convenience, we set
Lemma 2.13
Let (A1) hold. Then the operator \(T:E\rightarrow E\) is completely continuous.
Proof
We divide the proof into four steps.
Step 1: We show that T is uniformly bounded on E.
Let Φ be any bounded subset of E, then there exists a constant \(L_{1}>0\) such that \(\|u\|_{E}\leq L_{1}\) for all \(u\in\Phi\). It follows that
Therefore TΦ is uniformly bounded.
Step 2: We show that T is equicontinuous on any compact interval of \([0,\infty)\).
For any \(S>0\), \(t_{1},t_{2}\in[0,S]\) and \(u\in\Phi\), without loss of generality, we assume that \(t_{1}< t_{2}\). It follows that
which is independent of u and tends to zero as \(t_{1}\rightarrow t_{2}\). Thus TΦ is equicontinuous on \([0,\infty)\).
Step 3: We show that T is equiconvergent at ∞.
For any \(u\in\Phi\), we have
and
We now consider
and
Then we have
Hence, TΦ is equiconvergent at infinity.
Step 4: We show that T is continuous.
Taking \(u_{n},u\in E\) such that \(\|u_{n}\|_{E}<\infty\), \(\|u\|_{E}<\infty\) and \(u_{n}\rightarrow u\) as \(n\rightarrow\infty\), then by (A1) we have
and
Hence the Lebesgue dominated convergence and the continuity of f guarantee that
and
Therefore, we get
So, T is continuous.
Using Lemma 2.10, we obtain that \(T:E\rightarrow E\) is completely continuous. The proof is completed. □
3 Main results
Theorem 3.1
Assume that (A1) holds. If there exists \(\kappa>0\) such that
where \(\Omega_{1}\) is defined in (2.11), then the boundary value problem (1.7)-(1.8) has at least one solution on \([0,\infty)\).
Proof
Consider the operator \(T: E\to E\) defined by (2.9). This operator is continuous and completely continuous by Lemma 2.13. We will show that there exists an open set \(U\subseteq E\) with \(u\ne\lambda T(u)\) for \(\lambda\in(0,1)\) and \(u\in\partial U\). Let \(u=\lambda T(u)\) for \(\lambda\in(0,1)\). Then we have
This implies that
In view of (3.1), there exists κ such that \(\|u\| _{E}\neq\kappa\). We define \({U} = \{u \in E : \|u\|_{E} < \kappa\}\). Note that the operator \(T :\overline{{U}} \to E\) is continuous and completely continuous. From the choice of U, there is no \(u \in\partial{U}\) such that \(u=\lambda Tu\) for some \(\lambda\in(0,1)\). Consequently, by Lemma 2.9, the boundary value problem (1.7)-(1.8) has at least one solution on \([0,\infty)\). The proof is completed. □
In the next theorem we prove an existence and uniqueness result for the boundary value problem (1.7)-(1.8) by using the Banach fixed point theorem. To simplify its proof, we set
Theorem 3.2
Assume that (A2) holds. If
then the boundary value problem (1.7)-(1.8) has a unique solution on \([0,\infty)\).
Proof
We define the operator T as in (2.9). Then we obtain
which leads to
where \(\rho_{1}\), \(\rho_{2}\), \(\Omega_{2}\) are defined by (3.2), (3.3) and (3.4), respectively. This shows that T maps E into itself.
On the other hand, for any \(u,v\in E\) and any \(t\in[0,\infty)\), we get
Therefore
As \(\Omega_{2}<1\), therefore T is a contraction. Hence, by the Banach fixed point theorem, we get that T has a fixed point which is a unique solution of problem (1.7)-(1.8). The proof is completed. □
4 Examples
In this section we present examples illustrating the obtained results.
Example 4.1
Consider the following nonlinear Riemann-Liouville fractional differential equation with Erdélyi-Kober fractional integral condition:
Here \(\alpha=4/3\), \(m=6\), \(\beta_{1}=2\), \(\beta_{2}=-\sqrt{\pi}\), \(\beta _{3}=e^{2}\), \(\beta_{4}=-9/7\), \(\gamma_{1}=2\), \(\gamma_{2}=-3/4\), \(\gamma_{3}=2/3\), \(\gamma_{4}=3\), \(\delta_{1}=4\), \(\delta_{2}=e\), \(\delta_{3}=6\), \(\delta_{4}=\pi\), \(\eta_{1}=3\), \(\eta_{2}=1/2\), \(\eta_{3}=5\), \(\eta_{4}=5/3\), \(\xi_{1}=3\), \(\xi _{2}=25/4\), \(\xi_{3}=10\), \(\xi_{4}=2\) and \(f(t,u)=u^{2}e^{-2t}/100 (1+t^{1/3} )^{2}\). Clearly,
Choosing \(\varphi_{1}(t)=e^{-2t}\), \(\omega _{1}(|u|)=|u|^{2}/100\), then \(\varphi_{1}\in L^{1}[0,\infty)\) and \(\omega_{1}\in C([0,\infty),[0,\infty))\) is nondecreasing. We can show that
and
which implies that \(0<\kappa<104.7424981\). Hence, by Theorem 3.1, the boundary value problem (4.1) has at least one solution on \([0,\infty)\).
Example 4.2
Consider the following nonlinear Riemann-Liouville fractional differential equation with Erdélyi-Kober fractional integral condition:
Here \(\alpha=9/5\), \(m=7\), \(\beta_{1}=3\), \(\beta_{2}=3/5\), \(\beta_{3}=-22/7\), \(\beta_{4}=11\), \(\beta_{5}=-13/2\), \(\gamma_{1}=-1\), \(\gamma_{2}=4\), \(\gamma _{3}=-2/3\), \(\gamma_{4}=2\), \(\gamma_{5}=3/2\), \(\delta_{1}=4\), \(\delta_{2}=2\), \(\delta_{3}=33/5\), \(\delta_{4}=e\), \(\delta_{5}=6\), \(\eta_{1}=2\), \(\eta_{2}=1\), \(\eta_{3}=\pi\), \(\eta_{4}=7/3\), \(\eta_{5}=4\), \(\xi_{1}=2/7\), \(\xi_{2}=6\), \(\xi _{3}=9/7\), \(\xi_{4}=\pi^{3}\), \(\xi_{5}=12\) and \(f(t,u)=t^{2}e^{-3t}\cos (u/(1+t^{4/5}) )\). Since
then (A2) is satisfied with \(\varphi_{2}(t)=t^{2}e^{-3t}\). We can show that
Hence, by Theorem 3.2, the boundary value problem (4.2) has a unique solution on \([0,\infty)\).
References
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010)
Ahmad, B, Nieto, JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013)
Ahmad, B, Ntouyas, SK, Alsaedi, A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013)
Ahmad, B, Ntouyas, SK: Nonlocal fractional boundary value problems with slit-strips integral boundary conditions. Fract. Calc. Appl. Anal. 18, 261-280 (2015)
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, Agarwal, RP: On \(L^{p}\)-solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 218, 2074-2081 (2011)
Kalla, SL, Kiryakova, VS: An H-function generalized fractional calculus based upon compositions of Erdélyi-Kober operators in \(L_{p}\). Math. Jpn. 35, 1-21 (1990)
Kiryakova, V: Generalized Fractional Calculus and Applications. Pitman Research Notes in Math., vol. 301. Longman, Harlow (1994)
Kober, H: On fractional integrals and derivatives. Q. J. Math. 11, 193-211 (1940)
Sneddon, IN: The use in mathematical analysis of Erdélyi-Kober operators and some of their applications. In: Fractional Calculus and Its Applications, Proc. Internat. Conf. Held in New Haven. Lecture Notes in Math., vol. 457, pp. 37-79. Springer, New York (1975)
Yakubovich, SB, Luchko, YF: The Hypergeometric Approach to Integral Transforms and Convolutions. Mathematics and Its Appl., vol. 287. Kluwer Academic, Dordrecht (1994)
Silva, AT, Lenzi, EK, Evangelista, LR, Lenzi, MK, da Silva, LR: Fractional nonlinear diffusion equation, solutions and anomalous diffusion. Phys. A 375, 65-71 (2007)
Liang, JR, Ren, FY, Qiu, WY, Xiao, JB: Exact solutions for nonlinear fractional anomalous diffusion equations. Phys. A 385, 81-94 (2007)
Sun, HG, Chen, W, Sheng, H, Chen, YQ: On mean square displacement behaviors of anomalous diffusions with variable and random orders. Phys. Lett. A 374, 906-910 (2010)
Sun, HG, Chen, W, Li, C, Chen, YQ: Fractional differential models for anomalous diffusion. Phys. Lett. A 389, 2719-2724 (2010)
D’Ovidio, M: From Sturm-Liouville problems to fractional and anomalous diffusions. Stoch. Process. Appl. 122, 3513-3544 (2012)
Pagnini, G: Erdélyi-Kober fractional diffusion. Fract. Calc. Appl. Anal. 15, 117-127 (2012)
Gorenflo, R, Kilbas, A, Mainardi, F, Rogosin, S: Mittag-Leffler Function, Related Topics and Applications. Springer, Berlin (2014)
Płociniczak, Ł: Approximation of the Erdélyi-Kober operator with application to the time-fractional porous medium equation. SIAM J. Appl. Math. 74, 1219-1237 (2014)
Agarwal, RP, O’Regan, D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (2001)
Liu, Y: Existence and unboundedness of positive solutions for singular boundary value problems on half-line. Appl. Math. Comput. 144, 543-556 (2003)
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)
Liu, YS: Boundary value problem for second order differential equations on unbounded domain. Acta Anal. Funct. Appl. 4, 211-216 (2002)
Zhang, L, Ahmad, B, Wang, G, Agarwal, R, 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)
Zhao, X, Ge, W: Unbounded solutions for a fractional boundary value problems on the infinite interval. Acta Appl. Math. 109, 495-505 (2010)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)
Acknowledgements
We thank the reviewers for their constructive comments that led to the improvement of the original manuscript. This research is partially supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in this article. They 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
Thiramanus, P., Ntouyas, S.K. & Tariboon, J. Existence of solutions for Riemann-Liouville fractional differential equations with nonlocal Erdélyi-Kober integral boundary conditions on the half-line. Bound Value Probl 2015, 196 (2015). https://doi.org/10.1186/s13661-015-0454-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0454-x