Nonlocal initial value problems for Katugampola-Caputo type fractional differential equations on time scales

Author(s): Alagarsamy Nandhini1, Devaraj Vivek1, Elsayed M. Elsayed2
1Department of Mathematics with Computer Applications, Sri Ramakrishna College of Arts and Science (Formerly SNR sons College), Coimbatore-641 006, India.
2Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt and Department of Mathematics, Faculty of Science, King Abdulaziz University,Jeddah 21589, Saudi Arabia.
Copyright © Alagarsamy Nandhini, Devaraj Vivek, Elsayed M. Elsayed. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we study Katugampola fractional differential equations (FDEs) with nonlocal conditions on time scales. By means of standard fixed point theorems, some new sufficient conditions for the existence of solutions are established.

Keywords: Nonlocal initial value problem, existence, fixed point, time scales.

1. Introduction

The theory of FDEs has attracted attention of many researchers because of its wide applications in biology, medicine and in other applied fields, see for example [1, 2, 3, 4] and references therein. Throughout this paper \(\left(X,\left\|.\right\|\right)\) will be a Banach space, and \(I=[0,T],T>0,\) a compact interval in \(\mathbb{R}\). Let \(C = C\left([0,T],X\right)\) be the Banach space of all continuous functions \([0,T]\rightarrow X\) endowed with the topology of uniform convergence the norm in this space will be denoted by \(\left\|.\right\|_{c})\).

In this work we consider the following Cauchy problem for the FDEs with nonlocal conditions on time scales
\begin{equation}\label{e1} ^{\rho}\Delta_{t_{0}}^{q} x(t) = f(t,x(t)),\quad t \in I, \end{equation}
(1)
\begin{equation} \label{e2} x(0) + g(x) = x_{0}, \end{equation} where \(0< q < 1\).
(2)
The system (1),(2) is equivalent to \begin{eqnarray*} x(t) = x_{0} – g(x)+\frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t} (t^{\rho}-s^{\rho})^{q-1} s^{\rho-1} f(s,x(s)) \Delta s \end{eqnarray*} Recent studies of FDEs on time scales are done by Ahmadkhanlu in his papers [5]. The reader may also consult [6, 7, 8]. As indicated in Bashir’s pioneering paper \cite{BAS}, the nonlocal condition \(x(0)+g(0)=x_{0}\) can be applied in physics with better effect than the classical Cauchy problem with initial condition \(x(0)= x_{0}\). For instance the author used \begin{eqnarray*} g(x)= \sum_{i=1}^{p}c_{i}x(t_{i}), \end{eqnarray*} where \(c_{i}= 1,2,…,p\) are given constants and \(0< t_{1}< t_{2}< … t_{p}\leq T\). To describe the diffusion phenomenon of a small amount in a transparent tube, the Cauchy problem allows the additional measurement at \(t_{i}, i=1,2,…p\). We adopt some ideas from [ 9]. We investigate in our paper the Cauchy problem (1),(2) with the following assumptions:

(H1)\(f :\mathbb{R}\times X \rightarrow X\) is jointly continuous.

(H2)\(\left\| f(t,x) – f(t,y)\right\|\leq L\left\|x – y\right\|\), \(\forall t \in \mathbb{R},x,y \in X\).

(H3)\(g : C \rightarrow X\) is continuous and \(\left\|g(x) – g(y)\right\| \leq b\left\|x – y\right\|\), \(\forall x,y \in C\).

2. Existence results

We are now ready to present our results.

Theorem 1. Under assumptions (H1) and (H2), if \(b < \frac{1}{2}\) and \(L \leq \frac{\Gamma(q+1)}{2T^q}\), then the equations (1) and (2) has a unique solution .

Proof. Define \(F : C\rightarrow C\) by \begin{eqnarray*} (Fx)(t) = x_{0}-g(x)+ \frac{\rho^{(1-q)}}{\Gamma(q)} \int_0^t (t^{\rho}-s^{\rho})^{(q-1)} f(s,x(s))\Delta s \end{eqnarray*} choose \(r \geq 2(\left\|x_{0}\right\| + G + \frac{MT^q}{\Gamma(q+1)})\) ,and let \(sup_{t \in I}\left\|f(t,0)\right\| = M\). Then it is easy to see that \(FB_{r}\) \(\subset\) \(B_{r}\) where \(B_{r} = \{x \in C :\left\|x\right\| \leq r\}\). So let \(x \in B_{r}\) and set \(G= sup_{x \in C} \left\|g(x)\right\|\). Then we get \begin{align*} \left\|Fx(t)\right\| &\leq \left\|x_{0}\right\| + G + \frac{\rho^{(1-q)}}{\Gamma(q)} \int_{0}^{t}(t^{\rho}-s^{\rho})^{q-1}s^{\rho-1}\left\|f(s,x(s))\right\|\Delta s\\ &\leq \left\|x_{0}\right\| + G + \frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t}(t^{\rho}-s^{\rho})^{q-1} s^{\rho-1}(\left\|f(s,x(s))-f(s,o)\right\| + \left\|f(s,0)\right\|)\Delta s\\ &\leq \left\|x_{0}\right\| + G + (Lr + M)\frac{1}{\Gamma(q)} \int_{0}^{t}(t^{\rho}-s^{\rho})^{q-1}\Delta s\\ &\leq \left\|x_{0}\right\| + G + (Lr + M)\frac{T^{q}}{\Gamma(q+1)} \leq r \end{align*} by the choice of \(L\) and \(r\). Now take \(x,y \in C\), then we get \begin{align*} \left\|(Fx)(t)-(Fx)(t)\right\| &\leq \left\|g(x)-g(y)\right\| + \frac{\rho^{1-q}}{\Gamma(q)}\int_{0}^{t}(t^{\rho}-s^{\rho})^{q-1}s^{\rho-1}\left\|f(s,x(s))-f(s,y(s))\right\|\Delta s\\ &\leq \Omega_{b,L,T,q,\rho}\left\|x-y\right\|, \end{align*} where \(\Omega_{b,L,T,q,\rho}= (b + \frac{LT^{\rho q}}{\rho^{q}\Gamma(q+1)})\) depends only on the parameters of the problem and since \(\Omega_{b,L,T,q,\rho} \leq 1\), the result follows in view of the contraction mapping principle.

Theorem 2. Let \(M\) be a nonempty convex subset of the Banach space \(X.\) Let \(A,B\) be two operators such that

  1. \(Ax + By \in M\) whenever \(x,y \in M\),
  2. \(A\) is compact and continuous,
  3. \(B\) is a contraction mapping,
then there exists \(Z \in M\) such that \(Z=Ax + Bz\).

Theorem 3. Assume the conditions (H1)and (H3) holds, \(b < 1\) and

  1. [(H4)] \(\left\|f(t,x)\right\|\leq\mu(t),\quad \forall(t,x)\in I\times X,\) where \(\mu \in L^{1}(I,\mathbb{R}^{+})\),
then the equations (1) and (2) has at least one solution on \(I\).

Proof. Choose \(r \geq \left\|x_{0}\right\| + G + \frac{T^{\rho q}\left\|\mu\right\|_{L^{1}}}{\rho^{q}\Gamma(q+1)}\) and consider \(B_{r}:{x \in C :\left\|x\right\| \leq r}\). Now define on \(B_{r}\) the operators \(A\) and \(B\) as \begin{align*} (Ax)(t) &= \frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t}(t^{\rho}-s^{\rho})^{q-1}s^{\rho-1}f(s,x(s))\Delta s, and \\ (Bx)(t) &= x_{0} – g(x) \end{align*} If \(x,y \in B_{r}\) then \(Ax + By \in B_{r}\). Indeed \begin{eqnarray*} \left\|Ax + By\right\| \leq \left\|x_{0}\right\| + G + \frac{T^{\rho q}\left\|\mu\right\|_{L^{1}}}{\rho^{q}\Gamma(q+1)} \leq r. \end{eqnarray*} By \((H3)\), it is also clear that \(B\) is a contraction mapping for \(b< 1\). Since \(x\) is continuous, then \((Ax)(t)\) is continuous in view of (H1). Note that \(A\) is uniformly bounded on \(B_{r}\). Hence we have \begin{eqnarray*} \left\|(Ax)(t)\right\| \leq \frac{T^{\rho q}\left\|\mu\right\|_{L^{1}}}{\rho^{q}\Gamma{(q+1)}}. \end{eqnarray*} Now, we prove that \((Ax)(t)\) is equicontinuous. Let \(t_{1},t_{2} \in I\) and \(x \in B_{r}\). Using the fact that \(f\) is bounded on the compact set \(I \times B_{r}\) (thus \(sup_{(t,x)\in I\times B_{r}}\left\|f(t,x)\right\| = c_{0} < \infty)\), we get \begin{align*} &\left\|Ax(t_{1})-Ax(t_{2})\right\|\\ &= \left\|\frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t_{1}}(t_{1}^{\rho}-s^{\rho})^{q-1}s^{\rho-1}f(s,x(s))\Delta s – \frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t_{2}}(t_{2}^{\rho}-s^{\rho})^{q-1}s^{\rho-1}f(s,x(s))\Delta s\right\|\\ &\leq \frac{\rho^{1-q}}{\Gamma(q)}\left\|\int_{0}^{t_{1}}[(t_{1}^{\rho}-s^{\rho})^{q-1}-(t_{2}^{\rho}-s^{\rho})^{q-1}]s^{\rho-1}f(s,x(s))\Delta s + \int_{t_{1}}^{t_{2}}(t_{2}^{\rho}-s^{\rho})^{q-1}s^{\rho-1}f(s,x(s))\Delta s\right\|\\ &\leq \frac{C_{0}\rho^{1-q}}{\Gamma(q)}\left(\int_{0}^{t_{1}}\left|(t_{1}^{\rho}-s^{\rho})^{q-1}-(t_{2}^{\rho}-s^{\rho})^{q-1}\right|s^{\rho-1}\Delta s + \int_{t_{1}}^{t_{2}}(t_{2}^{\rho}-s^{\rho})^{q-1}s^{\rho-1}\Delta s\right). \end{align*} For \(q 1\), \((t_{1}^{\rho}-s^{\rho})^{q-1}\) \(\leq\) \((t_{2}^{\rho}-s^{\rho})^{q-1}\), we have \begin{align*} \int_{t_{0}}^{t_{1}}\left|(t_{1}^{\rho}-s^{\rho})^{q-1} – (t_{2}^{\rho}-s^{\rho})^{q-1}\right|s^{\rho-1}\Delta s &= \int_{t_{0}}^{t_{1}}[(t_{1}^{\rho}-s^{\rho})^{q-1}-(t_{1}^{\rho}-s^{\rho})^{q-1}]s^{\rho-1}\Delta s\\ &= \frac{1}{\rho q}(t_{2}^{\rho} q – t_{1}^{\rho} q) – \frac{1}{\rho q}(t_{2}^{\rho}-t_{1}^{\rho})^{q}\\ &= \frac{1}{\rho q}(t_{2}^{\rho} q – t_{1}^{\rho} q) \end{align*} \begin{align*} \left\|(Ax)(t_{1}) – (Ax)(t_{2})\right\| &\leq \frac{2C_{0}}{\rho^{q}\Gamma(q+1)}(t_{2}^{\rho}-t_{1}^{\rho})^{q} , \quad q \leq 1 \\ &\leq \frac{C_{0}}{\rho^{q}\Gamma(q+1)}\left[(t_{2}^{\rho}-t_{1}^{\rho})^{q} + (t_{2}^{\rho q}-t_{1}^{\rho q})\right] , \quad q > 1, \end{align*} which does not depend on \(x\), so \(A(B_{r})\) is relatively compact. By the Arzela-Ascoli Theorem, \(A\) is compact. We now conclude the result of the theorem based on the Krasnoselkii’s theorem above.

Competing Interests

The author(s) do not have any competing interests in the manuscript.

References:

  1. Balachandran, K., & Trujillo, J. J. (2010). The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications, 72(12), 4587-4593. [Google Scholor]
  2. Ahmad, B., & Sivasundaram, S. (2008). Some existence results for fractional integro-differential equations with nonlinear conditions. Communications in Applied Analysis, 12(2), 107.-112. [Google Scholor]
  3. N’Guérékata, G. M. (2009). A Cauchy problem for some fractional abstract differential equation with non local conditions. Nonlinear Analysis: Theory, Methods & Applications, 70(5), 1873-1876. [Google Scholor]
  4. Hilfer, R. (1999). Application of fractional Calculus in Physics. World Scientific, Singapore.
  5. Ahmadkhanlu, A., & Jahanshahi, M. (2012). On the existence and uniqueness of solution of initial value problem for fractional order differential equations on time scales. Bulletin of the Iranian Mathematical Society, 38(1), 241-252. [Google Scholor]
  6. Katugampola, U. N. (2014). A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl, 6(4), 1-15. [Google Scholor]
  7. Katugampola, U. N. (2011). New approach to a generalized fractional integral. Applied Mathematics and Computation, 218(3), 860-865. [Google Scholor]
  8. Katugampola, U. N. (2014). Existence and uniqueness results for a class of generalized fractional differential equations. Bull. Math. Anal. Appl.,(2014), 1-9. [Google Scholor]
  9. Vivek, D., Kanagarajan, K., & Harikrishnan, S. (2007). Existence and uniqueness results for pantograph equations with generalized fractional derivative. Journal of Nonlinear Analysis and Applications (ISPACS).[Google Scholor]