- Research
- Open Access
- Published:
Solutions of two fractional q-integro-differential equations under sum and integral boundary value conditions on a time scale
Advances in Difference Equations volume 2020, Article number: 304 (2020)
Abstract
In this manuscript, by using the Caputo and Riemann–Liouville type fractional q-derivatives, we consider two fractional q-integro-differential equations of the forms \({}^{c}\mathcal{D}_{q}^{\alpha }[x](t) + w_{1} (t, x(t), \varphi (x(t)) )=0\) and
for \(t \in [0,l]\) under sum and integral boundary value conditions on a time scale \(\mathbb{T}_{t_{0}}= \{ t: t =t_{0}q^{n}\}\cup \{0\}\) for \(n\in \mathbb{N}\) where \(t_{0} \in \mathbb{R}\) and q in \((0,1)\). By employing the Banach contraction principle, sufficient conditions are established to ensure the existence of solutions for the addressed equations. Examples involving algorithms and illustrated graphs are presented to demonstrate the validity of our theoretical findings.
1 Introduction
It has been recognized that fractional calculus provides a meaningful generalization for the classical integration and differentiation to any order. On the other hand, quantum calculus is equivalent to traditional infinitesimal calculus without the notion of limits. It defines q-calculus where q stands for quantum. Despite the old history of these two theories, the investigation of their properties remains untouched until recent time. Fractional q-calculus, initially proposed by Jackson [1–3], was regarded as the fractional analogue of q-calculus. Soon afterwards, it was further promoted by Al-Salam in [4] and then continued by Agarwal in [5] where many outstanding theoretical results were given. Its emergence and development extended the application of interdisciplinarity and aroused widespread attention of scholars; see [6–28] and the references therein. The existence of solutions for q-fractional boundary value problems has been under consideration by many researchers; see for instance [29–40].
In [41], Ntouyas et al. studied the boundary value problem of first-order fractional differential equations given by
with Riemann–Liouville integral boundary conditions of different order \(f_{1}(0) = c_{1} I^{\alpha _{1}} [f_{1}](a_{1})\) and \(f_{2}(0) = c_{2} I^{\alpha _{2}} [f_{2}](a_{2})\) for \(0 < a_{1}, a_{2} <1\), \(\beta _{i}\in (0, 1]\), \(\alpha _{i}, c_{i} \in \mathbb{R}\) where \(i=1,2\). In 2015, Zhang et al. through the spectral analysis and fixed point index theorem obtained the existence of positive solutions of the singular nonlinear fractional differential equation \(-\mathcal{D}_{t}^{\alpha }u(t) = w(t, u(t), \mathcal{D}_{t}^{\beta }u(t))\) for \(0 < t < 1\), with integral boundary value conditions \(\mathcal{D}_{t}^{\beta }u(0) =0\) and \(\mathcal{D}_{t}^{\beta }u(1) = \int _{0}^{1} \mathcal{D}_{t}^{\beta }u(r) {\,\mathrm{d}}N(r)\), where \(\alpha \in (1, 2]\), \(\beta \in (0, 1]\), \(w(t, u, v)\) may be singular at both \(t=0\), 1 and \(u=v =0\), \(\int _{0}^{1} u(r) {\,\mathrm{d}}N(r)\) denotes the Riemann–Stieltjes integral with a signed measure, in which \(N:[0,1] \to \mathbb{R}\) is a function of bounded variation [42]. In 2016, Ahmad et al. investigated the existence of solutions for a q-antiperiodic boundary value problem of fractional q-difference inclusions given by
for \(t \in [0,1]\), \(q \in (0,1)\), \(2 < \alpha \leq 3\), \(0 < \beta \leq 3\), and \(k(0) + k(1) =0\), \(\mathcal{D}_{q} k(0) + \mathcal{D}_{q} k(1) =0\), \(\mathcal{D}_{q}^{2} k(0) + \mathcal{D}_{q}^{2} k(1) =0\), where \({}^{c}\mathcal{D}_{q}^{\alpha }\) denotes Caputo fractional q-derivative of order α and \(F: [0,1] \times \mathbb{R}\times \mathbb{R} \times \mathbb{R} \to \mathcal{P}(\mathbb{R})\) is a multivalued map with \(\mathcal{P}(\mathbb{R})\) a class of all subsets of \(\mathbb{R}\) [15]. In 2019, Ren and Zhai discussed the existence of unique solution and multiple positive solutions for the fractional q-differential equation \(\mathcal{D}_{q}^{\alpha }x(t) + w(t, x(t))=0\) for each \(t \in [0,1]\) with nonlocal boundary conditions \(x(0) = \mathcal{D}_{q}^{\alpha -2} x(0) =0 \) and \(\mathcal{D}_{q}^{\alpha -1} x(1) = \mu [x] + \int _{0}^{\eta }\phi (r) \mathcal{D}_{q}^{\beta } x(t) {\,\mathrm{d}}_{q}r\), where \(\mathcal{D}_{q}^{\alpha }\) is the standard Riemann–Liouville fractional q-derivative of order α, \(2 < \alpha \leq 3\), such that \(\alpha - 1-\beta >0\), \(q \in (0,1)\), \(\phi \in L^{1}[0,1]\) is nonnegative, \(\mu [x]\) is a linear functional given by \(\mu [x] = \int _{0}^{1} x(t) {\,\mathrm{d}}N(t)\) involving the Stieltjes integral with respect to the function \(N: [0,1] \to \mathbb{R}\) such that \(N(t)\) is right-continuous on \([0,1)\), left-continuous at \(t=1\) and, particularly, N is a nondecreasing function with \(N(0)=0\) and \({\,\mathrm{d}}N\) is positive Stieltjes measure [40]. The authors in [43] investigated a multi-term nonlinear fractional q-integro-differential equation
under some boundary conditions. The existence of solutions for the multi-term nonlinear fractional q-integro-differential \({}^{c}D_{q}^{\alpha } [u](t)\) equations in two modes and inclusions of order \(\alpha \in (n -1, n]\) with non-separated boundary and initial boundary conditions where natural number n is more than or equal to five was considered in [20]. Recently, some researchers discussed the existence of solutions for some singular fractional differential equations; see the papers [44–47].
Benefiting from the main ideas of the above said papers, we investigate the following two nonlinear fractional q-integro-differential equations in the spaces \(\mathcal{A} = C(\overline{J} \times \mathbb{R}^{2}, \mathbb{R})\) and \(\mathcal{B}= \{ x: x,{}^{c}\mathcal{D}_{q}^{\beta }[x]\in C^{2}( \overline{J},\mathbb{R}), \overline{J}=[0,l] \} \) with the norms defined by \(\|x\| = \sup_{t\in \overline{J}} |x(t)|\) and
respectively.
- (P1)
First we investigate the nonlinear fractional q-integro-differential equation
$$ {}^{c}\mathcal{D}_{q}^{\alpha }[x](t) + w_{1} \bigl(t, x(t), \varphi \bigl(x(t)\bigr) \bigr)=0 $$(1)for \(t\in \overline{J}\) under sum and integral boundary value conditions
$$ x'(a) = -\eta \int _{0}^{1} x( r ) \,\mathrm{d}r,\qquad x'(1) + x(0) = \sum_{i=1}^{m} c_{i} x'(b), $$(2)where \(m \geq 1\), \(1 \leq \alpha < 2\), \(0 \leq a < b \leq 1\), \(\eta \geq 0\), \(c_{i} \geq 0\) for each \(i=1,2,\ldots, m\) such that \(2\varXi > -1\), here \(\varXi = \sum_{i=1}^{m} c_{i}\), \(\varphi ( x(t)) =\int _{0}^{t} g(r) x(r) \,\mathrm{d}r\) and \(w_{1}: \overline{J} \times \mathcal{A}^{2} \to \mathcal{A}\) is a continuous function.
- (P2)
Second we consider the nonlinear fractional q-integro-differential equation
$$ {}^{c}\mathcal{D}_{q}^{\alpha }[x](t) = w_{2} \biggl( t, x(t), \int _{0}^{t} x(r ) \,\mathrm{d}r, {}^{c} \mathcal{D}_{q}^{\zeta }[x](t) \biggr) $$(3)for \(t\in \overline{J}\) under the sum boundary conditions
$$ x(0)=0,\qquad x'(1)=\sum_{i=1}^{m} c_{i} x''(b), $$(4)where \(1 \leq \alpha < 2\), \(0 \leq \zeta < 1\), \(0< b<1\), \(m\geq 1\), \(c_{i} \geq 0\) for all \(i=1,\dots, m\) and \(w_{2}: \overline{J}\times \mathcal{B}^{3} \to \mathcal{B}\) is a continuous function.
This paper is organized as follows: In Sect. 2, we state some useful definitions and lemmas on the fundamental concepts of q-fractional calculus and fixed point theory. In Sect. 3, some main theorems on the solutions of fractional q-integro-differential equations (1)–(2) and (3)–(4) are stated. Section 4 contains some illustrative examples to show the validity and applicability of our results. The paper concludes with some interesting observations.
2 Essential preliminaries
This section is devoted to some notations and essential preliminaries that are acting as necessary prerequisites for the results of the subsequent sections. Throughout this article, we apply the time scales calculus notation [9]. In fact, we consider the fractional q-calculus on the specific time scale \(\mathbb{T}= \mathbb{R}\) where \(\mathbb{T}_{t_{0}} = \{0 \} \cup \{ t: t=t_{0}q^{n} \}\) for nonnegative integer n, \(t_{0} \in \mathbb{R}\) and \(q \in (0,1)\). Let \(a \in \mathbb{R}\). Define \([a]_{q}=\frac{1-q^{a}}{1-q}\) [2]. The power function \((x-y)_{q}^{n}\) with \(n \in \mathbb{N}_{0} \) is defined by
for \(n\geq 1\) and \((x-y)_{q}^{(0)}=1\), where x and y are real numbers and \(\mathbb{N}_{0}:= \{ 0\} \cup \mathbb{N}\) [6]. Also, for \(\alpha \in \mathbb{R}\) and \(a \neq 0\), we have
If \(y=0\), then it is clear that \(x^{(\alpha )}= x^{\alpha }\) [8] (Algorithm 1). The q-gamma function is given by \(\varGamma _{q}(z) = (1-q)^{(z-1)} / (1-q)^{z -1}\), where \(z \in \mathbb{R} \backslash \{0, -1, -2, \ldots \}\) [2]. Note that \(\varGamma _{q} (z+1) = [z]_{q} \varGamma _{q} (z)\). Algorithm 2 shows a pseudo-code description of the technique for estimating q-gamma function of order n. The q-derivative of function f is defined by \(\mathcal{D}_{q} [f](x) = \frac{f(x) - f(qx)}{(1- q)x}\) and \(\mathcal{D}_{q} [f](0) = \lim_{x \to 0} \mathcal{D}_{q} [f](x)\), which is shown in Algorithm 3 [6, 7]. Furthermore, the higher order q-derivative of a function f is defined by \(\mathcal{D}_{q}^{n} [f](x) = \mathcal{D}_{q}[\mathcal{D}_{q}^{n-1} [f]](x)\) for \(n \geq 1\), where \(\mathcal{D}_{q}^{0} [f](x) = f(x)\) [6, 7]. Tables 1, 2, and 3 show the values \(\varGamma _{q} (z)\) for some z and \(q \in (0,1)\). The q-integral of a function f is defined on \([0,b]\) by
for \(0 \leq x \leq b\), provided the series absolutely converges [6, 7]. If x in \([0, T]\), then
whenever the series exists. The operator \(I_{q}^{n}\) is given by \(I_{q}^{0} [h](x) = h(x) \) and \(I_{q}^{n} [h](x) = I_{q} [I_{q}^{n-1} [h]] (x)\) for \(n \geq 1\) and \(h \in C([0,T])\) [6, 7]. It has been proved that \(D_{q} [I_{q} [h]](x) = h(x)\) and \(I_{q} [D_{q} [h]](x) = h(x) - h(0)\) whenever h is continuous at \(x =0\) [6, 7]. The fractional Riemann–Liouville type q-integral of the function h on \(J=(0,1)\) for \(\alpha \geq 0\) is defined by \(\mathcal{I}_{q}^{0} [h](t) = h(t) \) and
for \(t \in J\) [11, 18]. One can use Algorithm 5 for calculating \(\mathcal{I}_{q}^{\alpha }[h](t)\) according to Eq. (5). Also, the Caputo fractional q-derivative of a function h is defined by
where \(t \in J\) and \(\alpha >0\) [18]. It has been proved that \(\mathcal{I}_{q}^{\beta } [\mathcal{I}_{q}^{\alpha } [h]] (x) = \mathcal{I}_{q}^{\alpha + \beta } [h] (x)\) and \(\mathcal{D}_{q}^{\alpha } [\mathcal{I}_{q}^{\alpha } [h]] (x)= h(x)\), where \(\alpha, \beta \geq 0\) [18]. Algorithm 5 shows pseudo-code \(\mathcal{I}_{q}^{\alpha }[h](x)\).
We use \(\Vert y \Vert = \max_{t \in \overline{J}} | y(t)| \) as the norm of \(A=B= C^{1}(\overline{J})\). Clearly, \((A, \|.\|)\) and \((B, \|.\|)\) are Banach spaces. Also, the product space \((A\times B, \|(y, z)\|)\) is a Banach space where \(\|(y, z)\|= \|y\| + \|z\|\). An operator \(\mathcal{O}: A \to A\) is called completely continuous if restricted to any bounded set in A is compact.
Lemma 1
(Leray–Schauder alternative [48, p.4])
Let\(\mathcal{O}: \mathcal{Y} \to \mathcal{Y}\)be completely continuous and\(\varOmega (\mathcal{O}) = \{ x \in \mathcal{Y} | x = \lambda \mathcal{O}(x) \}\), where\(\lambda \in (0,1)\). Then either the set\(\varOmega (\mathcal{O})\)is unbounded or\(\mathcal{O}\)has at least one fixed point.
3 Main results
The main results are presented in this section. To facilitate exposition, we will provide our analysis in two separate folds.
3.1 The nonlinear sum and integral boundary value problem (1)–(2)
First, we provide our key lemma.
Lemma 2
The function\(x_{0} \in \mathcal{A}\)is a solution for problem (1) under the sum and integral boundary value conditions (2) if and only if\(x_{0}\)is a solution for the fractionalq-integral equation
where
whenever\(r \leq a\)and\(0\leq r \leq t\leq 1\),
whenever\(r \leq b\)and\(0\leq a \leq r \leq t \leq 1\),
whenever\(0\leq a \leq b \leq r \leq t \leq 1\),
whenever\(0\leq t \leq r \leq a \leq b \leq 1\),
whenever\(a \leq r\)and\(0\leq t\leq r \leq b \leq 1\), and
whenever\(b \leq r\)and\(0\leq t\leq r \leq 1\).
Proof
Let \(x_{0}\) be a solution for Eq. (1)–(2). Take \(v_{0}(t)=w_{1} (t,x_{0}(t), \varphi (x_{0}(t)) ) \). Choose \(d_{0}, d_{1}\in \mathbb{R}\) such that
Thus, we obtain \(x'_{0}( t) = - \mathcal{I}_{q}^{\alpha -1} [v_{0}](t ) + d_{1}\). At present, by using the boundary conditions (2), we conclude that \(d_{1}= \mathcal{I}_{q}^{\alpha -1} [v_{0}]( a ) - \eta \int _{0}^{1} x_{0}( r ) \,\mathrm{d}r\) and
Hence, by substituting \(d_{0}\) in Eq. (7), we get
Put \(\delta =\int _{0}^{1} x_{0}( r ) \,\mathrm{d}r\). By computing the value of δ and substituting it in (8), we get
Thus, \(x_{0}\) is a solution for the fractional q-integral equation (7). It is obvious that \(x_{0}\) is a solution for the fractional q-integro-differential equation (1) whenever \(x_{0}\) is a solution for the fractional q-integral equation. This completes the proof. □
Theorem 3
Let\(g\in C(\overline{J}, \mathbb{R})\)be a bounded function with upper bound\(L >0 \). Assume that for each\(t\in \overline{J}\)there exist positive continuous functions\(m_{1}(t)\)and\(m_{2}(t)\)such that
for\(x, y\in \mathcal{A}\). Also, put
and
for\(s=1\), \(s=a\), \(s=b\), and
If\(\Delta <1\), then the nonlinear fractionalq-integro-differential equation (1)–(2) has a unique solution.
Proof
We define the operator \(\varTheta: C (\overline{J}) \to C (\overline{J})\) by
Take \(\ell = \sup_{t\in \overline{J}} | w_{1}( t, 0, 0)| \) and choose \(r_{0}>0\) such that
Put \(B_{r_{0}} = \{ x\in \mathcal{A}: \| x \| \leq r_{0} \} \). Let \(x \in B_{r_{0}}\). Then we have
Hence, \(\varTheta (B_{r_{0}})\subset B_{r_{0}}\). On the other hand, one can write
Since \(\Delta < 1\), Θ is a contraction. Thus, by using the Banach contraction principle, Θ has a unique fixed point \(x_{0}\) in \(\mathcal{A}\). At present, by using Lemma 2, one can get that \({}^{c}\mathcal{D}_{q}^{\alpha }[x_{0}] \in \mathcal{A}\) and \(x_{0}\) is the unique solution for the fractional q-integro-differential equation (1)–(2). □
3.2 The nonlinear boundary value problem (3)–(4)
Lemma 4
Let\(w_{2}: \overline{J}\times \mathcal{B}^{3} \to \mathcal{B}\)be a continuous function. An element\(x_{0}\in \mathcal{B}\)is a solution for the fractionalq-integro-differential equation (3) under the sum boundary conditions (4) if and only if\(x_{0}\)is a solution for the fractional integral equation
Proof
Put
Let \(x_{0}\) be a solution for the fractional q-integro-differential equation (3). Choose \(d_{0}, d_{1}\in \mathbb{R}\) such that \(x_{0}( t)= \mathcal{I}_{q}^{\alpha } [v_{0}](t) + d_{0}+d_{1} t\) for all \(t\in \overline{J}\). Hence, \(x'_{0}(t) = \mathcal{I}_{q}^{\alpha -1} [y_{0}](t) + d_{1}\) and \(x''_{0}(t)= \mathcal{I}_{q}^{\alpha -2} [v_{0}](t)\). By using the sum boundary conditions (4), we get \(d_{0}=0\) and \(d_{1}=-\mathcal{I}_{q}^{\alpha -1} [v_{0}](1) + \varXi \mathcal{I}_{q}^{ \alpha -2} [v_{0}](b)\). By substituting \(d_{0}\) and \(d_{1}\), we obtain
Thus, \(x_{0}\) is a solution for the fractional q-integral equation. It is obvious that \(x_{0}\) is a solution for the fractional q-integro-differential equation (3) whenever \(x_{0}\) is a solution for the fractional q-integral equation. This completes the proof. □
Theorem 5
Suppose that\(w_{2}: \overline{J}\times \mathcal{B}^{3}\to \mathcal{B}\)is a continuous map and there exist positive continuous functions\(m_{1}\), \(m_{2}\), and\(m_{3}\)such that
for all\(x,y\in \mathcal{B}\)and\(t\in \overline{J}\). Let
and
Put
If\(\Delta < 1\), then the nonlinear fractionalq-integro-differential equation (3)–(4) has a unique solution.
Proof
Define the operator \(\varTheta: \mathcal{B} \to \mathcal{B}\) by
where
Choose \(r>0\) such that
where \(\ell = \sup_{t\in \overline{J} } | w_{2}( t, 0, 0, 0 ) |\). We show that \(\varTheta B_{r_{0}} \subset B_{r_{0}}\), where
Let \(x \in B_{r_{0}}\). Then
On the other hand, we have
Hence,
and so \(\varTheta (B_{r_{0}}) \subseteq B_{r_{0}}\). Let \(u, v\in X\) and \(t\in J\). Then we have
On the other hand,
Hence,
Since \(\Delta < 1\), Θ is a contraction and so, by using the Banach contraction principle, Θ has a unique fixed point. By using Lemma 4, it is clear that the unique fixed point of Θ is the unique solution for the nonlinear fractional integro-differential problem (3)–(4). □
4 Examples, numerical results, and algorithms
Herein, we give an example to show the validity of the main results. In this way, we give a computational technique for checking problems (1)–(2) and (3)–(4). We need to present a simplified analysis that is able to execute the values of the q-gamma function. For this purpose, we provided a pseudo-code description of the method for calculation of the q-gamma function of order n in Algorithms 2, 3, 4, and 5; for more details, follow these addresses https://en.wikipedia.org/wiki/Q-gamma_function and https://www.dm.uniba.it/members/garrappa/software. Tables 1, 2, and 3 show the values \(\varGamma _{q} (z)\) for some z and \(q \in (0,1)\).
For problems for which the analytical solution is not known, we will use, as reference solution, the numerical approximation obtained with a tiny step h by the implicit trapezoidal PI rule, which, as we will see, usually shows an excellent accuracy [49]. All the experiments are carried out in MATLAB Ver. 8.5.0.197613 (R2015a) on a computer equipped with a CPU AMD Athlon(tm) II X2 245 at 2.90 GHz running under the operating system Windows 7.
Example 1
Consider the fractional q-integro-differential equation similar to problem (1) as follows:
under sum and integral boundary value conditions \(x' ( \frac{1}{4} ) = - \frac{1}{6} \int _{0}^{1} x(r) \,\mathrm{d}r\) and
Note that \(x' ( \frac{3}{4} )= \frac{\partial }{\partial t} x(t)|_{ \frac{3}{4}}\). Clearly, \(\alpha =\frac{3}{2}\), \(a = \frac{1}{4}\), \(\eta = \frac{1}{6}\), \(m=5\), \(b = \frac{3}{4}\). Let \(c_{1}=\frac{1}{8} \), \(c_{2}=\frac{-1}{5}\), \(c_{3}=\frac{3}{7}\), \(c_{4}= \frac{1}{3}\), and \(c_{5}= \frac{1}{6}\). Note that \(\varXi = \sum_{i=1}^{5} c_{i} =\frac{239}{280}\) and so \(2\varXi > -1\). We define the maps \(w_{1}: \overline{J} \times \mathcal{A}^{2} \to \mathcal{A}\) and \(g: \overline{J} \to [0,\infty ) \) by
and \(g (r) = \frac{1}{40}\) for all \(t\in \overline{J}\), respectively. It is obvious that \(g(t) \leq 0.025=L\) for \(t \in \overline{J}\). Now, we obtain
Thus
for all \(t\in J\), \(x, y \in \mathcal{A}\). We define the positive continuous maps \(m_{1}(t) = \frac{1}{7 (t^{2} + \frac{7}{4})^{2}}\) and \(m_{2}(t) = \frac{t}{40}\). At present, by using Eqs. (9)–(10) and applying Algorithm 5, we calculate \(\sup \mathcal{I}_{q}^{\alpha }[m_{1}] (t)\), \(\sup L \mathcal{I}_{q}^{\alpha }[m_{2}] (t)\), \(\sup \mathcal{I}_{q}^{\alpha +1} [m_{1}] (t)\), \(\sup L \mathcal{I}_{q}^{\alpha +1 } [m_{2}] (t)\), \(\sup \mathcal{I}_{q}^{\alpha -1} [m_{1}] (t)\), and \(\sup L \mathcal{I}_{q}^{\alpha -1} [m_{2}] (t)\) for \(t \in (0,1)\) and \(q=\frac{1}{8}\), \(\frac{1}{2}\), \(\frac{6}{7}\). Tables 4 and 5 show these results. Also, Figures 1, 2 and 3 illustrate the numerical results of the tables. Therefore
for \(q=\frac{1}{8}, \frac{1}{2}, \frac{6}{7}\), respectively, and
for \(q=\frac{1}{8}, \frac{1}{2}, \frac{6}{7}\), respectively. Hence, from Eqs. (9)–(10) and the above results in Tables 4 and 5, we obtain \(M_{0} = \max \{ 0.0529, 0.0005 \} = 0.0529\), \(M_{1} = \max \{ 0.0466, 0.0005 \} = 0.0466\), \(M(1) = \max \{ 0.0566, 0.0006 \} = 0.0566\),
whenever \(q =\frac{1}{8}\), \(M_{0} = \max \{ 0.0552, 0.0003 \} = 0.0552\), \(M_{1} = \max \{ 0.0346, 0.0002 \} = 0.0346\), \(M(1) = \max \{ 0.0652, 0.0005 \} = 0.0652\),
whenever \(q=\frac{1}{2}\), \(M_{0} = \max \{ 0.0553, 0.0002 \} =0.0553\), \(M_{1} = \max \{ 0.0258, 0.0001 \} =0.0258\), \(M(1) = \max \{ 0.0706, 0.0005 \} = 0.0706\),
whenever \(q=\frac{6}{7}\). Also, by using Eq. (11), we can calculate values of Δ. Table 6 shows these results. Thus, by using Eq. (11) we have
whenever \(q=\frac{1}{8}\),
whenever \(q=\frac{1}{2}\), and
whenever \(q=\frac{6}{7}\). Figures 4, 5, and 6 show these results (Algorithm 6). Now, by using Theorem 3, the fractional q-integro-differential equation under sum and integral boundary value conditions (15) has a unique solution.
2D graph of \(\mathcal{I}_{q}^{\alpha }[m_{1}] (t)\) and \(L\mathcal{I}_{q}^{\alpha }[m_{2}] (t)\) for \(t \in \overline{J}\) with \(q=\frac{1}{8}\), \(\frac{1}{2}\), \(\frac{6}{7}\) in Example 1
2D graph of \(\mathcal{I}_{q}^{\alpha +1} [m_{1}] (1)\) and \(L\mathcal{I}_{q}^{\alpha +1} [m_{2}] (1)\) for \(t \in \overline{J}\) with \(q=\frac{1}{8}\), \(\frac{1}{2}\), \(\frac{6}{7}\) in Example 1
2D graph of \(\mathcal{I}_{q}^{\alpha -1} [m_{1}] (s)\) and \(L\mathcal{I}_{q}^{\alpha -1} [m_{2}] (s)\) for \(t \in \overline{J}\) and \(s=1, a, b\) with \(q=\frac{1}{8}\), \(\frac{1}{2}\), \(\frac{6}{7}\) in Example 1
2D graphs \(M_{0}\), \(M_{1}\), \(M(1)\), \(M(b)\), \(M(t)\) on \(t \in \overline{J}\) for \(q=\frac{1}{8}\) in Example 1
2D graphs \(M_{0}\), \(M_{1}\), \(M(1)\), \(M(b)\), \(M(t)\) on \(t \in \overline{J}\) for \(q=\frac{1}{2}\) in Example 1
2D graphs \(M_{0}\), \(M_{1}\), \(M(1)\), \(M(b)\), \(M(t)\) on \(t \in \overline{J}\) for \(q=\frac{1}{8}\) in Example 1
The MATLAB lines for calculation of all parameters in Example 1
Example 2
Consider the fractional q-integro-differential equation similar to problem (3) as follows:
under the sum boundary value conditions \(x' ( 0 ) = 0\) and \(x'(1) = \sum_{i=1}^{6} c_{i} x'' ( \frac{7}{9} )\). Clearly, \(\alpha =\frac{9}{5}\), \(\zeta =\frac{1}{8}\), \(b = \frac{7}{9}\), and \(m=6\). Let \(c_{1} = \frac{7}{12}\), \(c_{2}=\frac{9}{8}\), \(c_{3}=\frac{9}{5}\), \(c_{4}= \frac{2}{3}\), \(c_{5}= \frac{5}{6}\), \(c_{6}= \frac{11}{10}\), and so \(\varXi = \sum_{i=1}^{5} c_{i} =\frac{733}{120}= 6.1083\). We define the map \(w_{2}: \overline{J} \times \mathcal{B}^{2} \to \mathcal{B}\) by
for all \(t\in \overline{J}\). Now, we get
Thus
for all \(t\in J\), \(x, y \in \mathcal{B}\). We define the positive continuous maps \(m_{1}(t) = \frac{2}{35(4+\sqrt{t})}\), \(m_{2}(t)= \frac{3t}{ 70}\), and \(m_{3}(t)= \frac{3t}{35(t^{3}+2)}\). At present, by using Eqs. (12)–(13) and applying Algorithm 5, we calculate \(\sup \mathcal{I}_{q}^{\alpha }[m_{i}] (t)\), \(\sup \mathcal{I}_{q}^{\alpha -1} [m_{i}] (1)\), \(\sup \mathcal{I}_{q}^{\alpha -2} [m_{i}] (b)\), \(\sup \mathcal{I}_{q}^{\alpha -\zeta } [m_{i}] (t)\) for \(i=1,2,3\). Tables 7, 8, and 9 show these results. Therefore
for \(q=\frac{1}{8}, \frac{1}{2}, \frac{6}{7}\), respectively,
for \(q=\frac{1}{8}, \frac{1}{2}, \frac{6}{7}\), respectively, and
for \(q=\frac{1}{8}, \frac{1}{2}, \frac{6}{7}\), respectively. Hence, from Eqs. (12)–(13) and the above results in Tables 7, 8, and 9, we obtain \(M_{0} = 0.0343\), \(M(1)= 0.0391\), \(M(b) = 0.0357\), \(M(t) = 0.0349\) whenever \(q =\frac{1}{8}\), \(M_{0} = 0.0184\), \(M(1) = 0.0315\), \(M(b) = 0.0367\), \(M(t) = 0.0198\) whenever \(q=\frac{1}{2}\), \(M_{0} = 0.0110\), \(M(1) =0.0270\), \(M(b) = 0.0374\), \(M(t) = 0.0125\) whenever \(q=\frac{6}{7}\). Also, by using Eq. (14), we can calculate values of Δ. Table 10 shows these results. Thus, by using Eq. (14), we have
whenever \(q=\frac{1}{8}\),
whenever \(q=\frac{1}{2}\), and
whenever \(q=\frac{6}{7}\). Figures 7, 8, and 9 show these results (Algorithm 7). Now, by using Theorem 5, the fractional q-integro-differential equation under sum boundary value conditions (16) has a unique solution.
2D graphs of \(M_{0}\), \(M(1)\), \(M(b)\), \(M(t)\) on \(t \in \overline{J}\) for \(q=\frac{1}{8}\) in Example 2
2D graphs of \(M_{0}\), \(M(1)\), \(M(b)\), \(M(t)\) on \(t \in \overline{J}\) for \(q=\frac{1}{2}\) in Example 2
2D graphs of \(M_{0}\), \(M(1)\), \(M(b)\), \(M(t)\) on \(t \in \overline{J}\) for \(q=\frac{6}{7}\) in Example 2
The MATLAB lines for calculation of all parameters in Example 2
5 Conclusion
The q-integro-differential boundary equations and their applications represent a matter of high interest in the area of fractional q-calculus and its applications in various areas of science and technology. q-integro-differential boundary value problems occur in the mathematical modeling of a variety of physical operations. The end of this article is to investigate a complicated case by utilizing an appropriate basic theory. In this manner, we prove the existence of a solution for two new q-integro-differential equations under sum and integral boundary conditions (1)–(2) and (3)–(4) on a time scale and show the perfect numerical effects for the problem which confirmed our results.
References
Jackson, F.H.: On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46(2), 253–281 (1909). https://doi.org/10.1017/S0080456800002751
Jackson, F.H.: q-difference equations. Am. J. Math. 32, 305–314 (1910). https://doi.org/10.2307/2370183
Jackson, F.H.: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910). https://doi.org/10.1017/S0080456800002751
Al-Salam, W.A.: q-analogues of Cauchy’s formula. Proc. Am. Math. Soc. 17, 182–184 (1952)
Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365–370 (1969). https://doi.org/10.1017/S0305004100045060
Adams, C.R.: The general theory of a class of linear partial q-difference equations. Trans. Am. Math. Soc. 26, 283–312 (1924)
Adams, C.R.: Note on the integro-q-difference equations. Trans. Am. Math. Soc. 31(4), 861–867 (1929)
Atici, F., Eloe, P.W.: Fractional q-calculus on a time scale. J. Nonlinear Math. Phys. 14(3), 341–352 (2007). https://doi.org/10.2991/jnmp.2007.14.3.4
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales. Birkhäuser, Boston (2001)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Springer, Cambridge (2012). https://doi.org/10.1007/978-3-642-30898-7
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Switzerland (1993)
Abdeljawad, T., Alzabut, J., Baleanu, D.: A generalized q-fractional Gronwall inequality and its applications to non-linear delay q-fractional difference systems. J. Inequal. Appl. 2016, 240 (2016). https://doi.org/10.1186/s13660-016-1181-2
Abdeljawad, T., Alzabut, J.: The q-fractional analogue for Gronwall-type inequality. J. Funct. Spaces Appl. 2013, 7 (2013). https://doi.org/10.1155/2013/543839
Ahmad, B., Etemad, S., Ettefagh, M., Rezapour, S.: On the existence of solutions for fractional q-difference inclusions with q-antiperiodic boundary conditions. Bull. Math. Soc. Sci. Math. Roum. 59(107), 119–134 (2016). https://doi.org/10.1016/0003-4916(63)90068-X
Ahmad, B., Ntouyas, S.K., Purnaras, I.K.: Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 140 (2012). https://doi.org/10.1186/1687-1847-2012-140
Balkani, N., Rezapour, S., Haghi, R.H.: Approximate solutions for a fractional q-integro-difference equation. J. Math. Ext. 13(3), 201–214 (2019)
Ferreira, R.A.C.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010)
Kalvandi, V., Samei, M.E.: New stability results for a sum-type fractional q-integro-differential equation. J. Adv. Math. Stud. 12(2), 201–209 (2019)
Samei, M.E., Ranjbar, G.K., Hedayati, V.: Existence of solutions for equations and inclusions of multi-term fractional q-integro-differential with non-separated and initial boundary conditions. J. Inequal. Appl. 2019, 273 (2019). https://doi.org/10.1186/s13660-019-2224-2
Samei, M.E., Khalilzadeh Ranjbar, G.: Some theorems of existence of solutions for fractional hybrid q-difference inclusion. J. Adv. Math. Stud. 12(1), 63–76 (2019)
Kac, V., Cheung, P.: Quantum Calculus. Universitext. Springer, New York (2002)
Samei, M.E., Khalilzadeh Ranjbar, G., Hedayati, V.: Existence of solutions for a class of Caputo fractional q-difference inclusion on multifunctions by computational results. Kragujev. J. Math. 45(4), 543–570 (2021)
Zhao, Y., Chen, H., Zhang, Q.: Existence results for fractional q-difference equations with nonlocal q-integral boundary conditions. Adv. Differ. Equ. 2013, 48 (2013). https://doi.org/10.1186/1687-1847-2013-48
Goodrich, C., Peterson, A.C.: Discrete Fractional Calculus. Springer, Switzerland (2015). https://doi.org/10.1007/978-3-319-25562-0
Abdeljawad, T., Baleanu, D.: Caputo q-fractional initial value problems and a q-analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16(12), 4682–4688 (2011). https://doi.org/10.1016/j.cnsns.2011.01.026
Jarad, F., Abdeljawad, T., Baleanu, D.: Stability of q-fractional non-autonomous systems. Nonlinear Anal., Real World Appl. 14(1), 780–784 (2013). https://doi.org/10.1016/j.nonrwa.2012.08.001
Samei, M.E., Hedayati, V., Ranjbar, G.K.: The existence of solution for k-dimensional system of Langevin Hadamard-type fractional differential inclusions with 2k different fractional orders. Mediterr. J. Math. 17, 37 (2020). https://doi.org/10.1007/s00009-019-1471-2
Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, 135 (2018)
Baleanu, D., Mohammadi, H., Rezapour, S.: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013). https://doi.org/10.1186/1687-1847-2013-359
Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017(1), 145 (2017). https://doi.org/10.1186/s13661-017-0867-9
Hedayati, V., Samei, M.E.: Positive solutions of fractional differential equation with two pieces in chain interval and simultaneous Dirichlet boundary conditions. Bound. Value Probl. 2019, 141 (2019). https://doi.org/10.1186/s13661-019-1251-8
Rezapour, S., Hedayati, V.: On a Caputo fractional differential inclusion with integral boundary condition for convex-compact and nonconvex-compact valued multifunctions. Kragujev. J. Math. 41(1), 143–158 (2017). https://doi.org/10.5937/KgJMath1701143R
Guo, C., Guo, J., Kang, S., Li, H.: Existence and uniqueness of positive solution for nonlinear fractional q-difference equation with integral boundary conditions. J. Appl. Anal. Comput. 10(1), 153–164 (2020). https://doi.org/10.11948/20190055
Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, 163 (2019). https://doi.org/10.1186/s13662-019-2090-8
Shabibi, M., Postolache, M., Rezapour, S., Vaezpour, S.M.: Investigation of a multisingular pointwise defined fractional integro-differential equation. J. Math. Anal. 7(5), 61–77 (2016)
Kang, S., Chen, H., Li, L., Cui, Y., Ma, S.: Existence of three positive solutions for a class of Riemann–Liouville fractional q-difference equation. J. Appl. Anal. Comput. 9(2), 590–600 (2019). https://doi.org/10.11948/2156-907X.20180118
Shabibi, M., Postolache, M., Rezapour, S.: A positive solutions for a singular sum fractional differential system. Int. J. Anal. Appl. 13, 108–118 (2016)
Stanek, S.: The existence of positive solutions of singular fractional boundary value problems. Comput. Math. Appl. 62, 1379–1388 (2011)
Ren, J., Zhai, C.: Nonlocal q-fractional boundary value problem with Stieltjes integral conditions. Nonlinear Anal., Model. Control 24(4), 582–602 (2019). https://doi.org/10.15388/NA.2019.4.6
Ntouyas, S.K., Obaid, M.: A coupled system of fractional differential equations with nonlocal integral boundary conditions. Adv. Differ. Equ. 2012, 130 (2012)
Zhang, X., Liu, L., Wu, Y., Wiwatanapataphee, B.: The spectral analysis for a singular fractional differential equation with a signed measure. Appl. Math. Comput. 257, 252–263 (2015). https://doi.org/10.1016/j.amc.2014.12.068
Ntouyas, S.K., Samei, M.E.: Existence and uniqueness of solutions for multi-term fractional q-integro-differential equations via quantum calculus. Adv. Differ. Equ. 2019, 475 (2019). https://doi.org/10.1186/s13662-019-2414-8
Liu, Y., Wong, P.: Global existence of solutions for a system of singular fractional differential equations with impulse effects. J. Appl. Math. Inform. 33(3–4), 327–342 (2015). https://doi.org/10.14317/jami.2015.327
Shabibi, M., Rezapour, S., Vaezpour, S.M.: A singular fractional integro-differential equation. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 79(1), 109–118 (2017)
Shabibi, M., Rezapour, S.: A singular fractional differential equation with Riemann–Liouville integral boundary condition. J. Adv. Math. Stud. 8(1), 80–88 (2015)
Liang, S., Samei, M.E.: New approach to solutions of a class of singular fractional q-differential problem via quantum calculus. Adv. Differ. Equ. 2020, 14 (2020). https://doi.org/10.1186/s13662-019-2489-2
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003). https://doi.org/10.1007/978-0-387-21593-8
Garrappa, R.: Numerical solution of fractional differential equations: a survey and a software tutorial. Mathematics 6(16), 1–23 (2018). https://doi.org/10.3390/math6020016
Acknowledgements
Not applicable.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alzabut, J., Mohammadaliee, B. & Samei, M.E. Solutions of two fractional q-integro-differential equations under sum and integral boundary value conditions on a time scale. Adv Differ Equ 2020, 304 (2020). https://doi.org/10.1186/s13662-020-02766-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02766-y
MSC
- 34A08
- 34B16
- 39A13
Keywords
- Sum boundary value conditions
- Caputo q-derivative
- Riemann–Liouville q-derivative
- Integral boundary value conditions