Abstract
In this paper, we study some new class of nonlocal three-point fractional q-integral boundary value problems of a nonlinear fractional q-difference equation and a nonlinear fractional q-integrodifference equation. Our problems contain different numbers of order and q in derivatives and integrals. The existence and uniqueness results are based on Banach’s contraction mapping principle and Krasnoselskii’s fixed point theorem. In addition, some examples are presented to illustrate the importance of these results.
Similar content being viewed by others
1 Introduction
Jackson [1] initiated quantum calculus or q-difference calculus that can describe many phenomena in various fields of science and engineering. Basic definitions and properties of q-difference calculus can be found in the book [2]. For the fractional q-difference calculus originating with Al-Salam [3] and Agarwal [4], we refer to the book of Annaby and Mansour [5].
A class of integral boundary value problems appeared in different areas of applied mathematics and physics. For instance, blood flow problems, population dynamics, heat conduction, underground water flow, thermo-elasticity, plasma physics, chemical engineering and so on can be reduced to nonlocal integral boundary problems. For comments on the importance of integral boundary problems, we refer the reader to the papers by Webb and Infante [6, 7], Gallardo [8], Karakostas and Tsamatos [9], Lomtatidze and Malaguti [10], and the references therein. For information as regards the theory of integral equations and their applications to integral boundary value problems, we refer to the books of Agarwal and O’Regan [11] and Corduneanu [12].
For some recent works on q-integral boundary value problems, we refer to [13–29] and the references cited therein. For example, Ahmad et al. [21] considered the following boundary value problem of nonlinear fractional q-difference equation with nonlocal and sub-strip type boundary conditions:
where \(1<\nu\leq2\), \(0< q<1\), \(0<\xi<\eta<1\), \(^{C}D_{q}^{\nu}\) is the Caputo fractional q-derivative of order ν, \(f\in C([0,1]\times\mathbb {R},\mathbb{R})\), and \(g\in C([0,1],\mathbb{R})\) are given functions. The existence results for the problem (1.1) are shown by applying Banach’s contraction mapping principle and a fixed point theorem due to O’Regan.
Almeida and Martins [26] proposed the following fractional q-difference equation with three-point integral boundary conditions:
where \(2<\alpha<3\), \(0<\eta\leq1\), \(^{C}D_{q}^{\alpha}\) is the Caputo fractional q-derivative of order α, \(g\in C([0, 1]\times \mathbb{R}, \mathbb{R})\). They presented the existence and uniqueness results for the problem (1.2) by employing Banach’s contraction mapping principle, Krasnoselskii fixed point theorem and Leray-Schauder alternative.
Presently, there is a development of boundary value problems for fractional q-difference equations showing an operation of the investigative function. The study may also have another function, related to our interest. These creations are incorporating nonlocal conditions that are both extensive and more complex.
The results mentioned above are the motivation for this research. In this article, we discuss the existence and uniqueness results of solutions to a nonlinear fractional q-difference equation with nonlocal three-point fractional q-integral boundary conditions of the form
and a nonlinear fractional q-integrodifference equation with nonlocal three-point fractional q-integral boundary conditions of the form
where \(p,q,w \in(0,1)\), \(\alpha\in(1,2]\), \(\nu\in(0,1]\), \(\beta,\gamma >0\), and \(\eta\in(0,T)\) are given constants, \(D_{q}^{\alpha}\) and \(D_{w}^{\nu}\) are the Riemann-Liouville fractional q-derivative of order α and w-derivative of order ν, respectively, \(f\in C([0,T]\times \mathbb{R}\times\mathbb{R},\mathbb{R})\) and \(g \in C([0, T],\mathbb {R^{+}})\) are given functions, \(\rho\in C([0,T],{\mathbb{R}})\rightarrow {\mathbb{R}}\) is a given functional, and for \(\varphi\in C([0, T]\times [0, T],[0,\infty))\),
The plan of this paper is as follows. In Section 2, we recall some definitions and basic lemmas. In Sections 3 and 4, we prove the existence and uniqueness results for the boundary value problems (1.3) and (1.4) by employing Banach’s contraction mapping principle and Krasnoselskii’s fixed point theorem. Some illustrative examples are presented in the last section.
2 Preliminaries
In the following, there are notations, definitions, and lemmas which are used in the main results. Let \(q\in(0,1)\) and define
The q-analog of the power function \((a-b)^{(n)}\) with \(n\in\mathbb {N}_{0}:=[0,1,2,\ldots]\) is
More generally, if \(\alpha\in\mathbb{R}\), then
Note that, if \(b = 0\) then \(a^{(\alpha)} = a^{\alpha}\). We also use the notation \(0^{(\alpha)}=0\) for \(\alpha>0\). The q-gamma function is defined by
and satisfies \(\Gamma_{q}(x+1)=[x]_{q}\Gamma_{q}(x)\).
Remark
[13]
We note that if \(\alpha>0\) and \(a\leq b\leq t\), then \((t-a)^{(\alpha)}\geq(t-b)^{(\alpha)}\).
Definition 2.1
[4]
For \(\alpha\geq0\) and f defined on \([0, T]\), the fractional q-integral of the Riemann-Liouville type is defined by
and \((I^{0}_{q} f)(x) = f(x)\).
Definition 2.2
[15]
For \(\alpha\geq0\) and f defined on \([0, T]\), the fractional q-derivative of the Riemann-Liouville type of order α is defined by
and \((D^{0} _{q}f)(x) = f(x)\), where m is the smallest integer that is greater than or equal to α.
Definition 2.3
[2]
For any \(x,s>0\),
is called the q-beta function.
Lemma 2.1
[4]
Let \(\alpha,\beta\geq0\) and f be a function defined on \([0, T]\). Then the next formulas hold:
Lemma 2.2
[15]
Let \(\alpha> 0\) and N be a positive integer. Then the following equality holds:
Lemma 2.3
[16]
Let \(\alpha,\beta\geq0\) and \(0< p,q<1\). Then the following formulas hold:
To define the solution of the boundary value problems (1.3) and (1.4), we need the following lemma, which deals with a linear variant of the boundary value problems (1.3) and (1.4) and gives a representation of the solution.
Lemma 2.4
Let \(p,q\in(0,1)\), \(\alpha\in(1,2 ]\), \(\beta>0\), \(\eta\in(0,T)\), functions \(y \in C([0,T],\mathbb{R})\) and \(g \in C([0,T],\mathbb {R}^{+})\), and a functional \(\rho: C([0,T],\mathbb{R})\rightarrow\mathbb {R}\). Then the boundary value problem
is equivalent to the integral equation
Proof
Consider \(m=2\). By Definition 2.2 and Lemma 2.1, we obtain
and
The first condition of (2.2) implies
Taking the fractional p-integral of order \(\beta>0\) for (2.6) and the second condition of (2.2), we get
Solving the system of linear equations (2.6) and (2.7), for the unknown constants \(C_{1}\) and \(C_{2}\), we have
Substituting the constants \(C_{1}\) and \(C_{2}\) into (2.5), we obtain (2.3).
This completes the proof. □
3 Existence results of the problem (1.3)
Let \(\mathcal{C}_{\mathcal{A}} = C([0,T],\mathbb{R})\) be a Banach space of all continuous functions from \([0,T]\) to \(\mathbb{R}\), endowed with the norm defined by
where \(\|x\|= \sup_{t\in[0,T]} |x(t)|\) and \(\|D_{\omega}^{\nu}x\|= \sup_{t\in[0,T]} |D_{\omega}^{\nu}x(t)|\). Define the operator \(\mathcal{A}:\mathcal{C}_{\mathcal{A}}\rightarrow\mathcal {C}_{\mathcal{A}}\) by
Observe that the problem (1.3) has solutions if and only if the operator \(\mathcal{A}\) has fixed points.
Now, we are in the position to establish the main results. Our first result is based on Banach’s fixed point theorem.
Theorem 3.1
Assume that a functional \(\rho\in C([0,T],\mathbb{R})\rightarrow \mathbb{R}\), \(f:[0,T]\times\mathbb{R}\times\mathbb{R}\rightarrow\mathbb {R}\) and \(g:[0,T]\rightarrow\mathbb{R}\) are continuous functions satisfying the following conditions:
- (H1):
-
There exist positive numbers \(L_{1}\), \(L_{2}\) such that, for each \(t\in[0,T]\) and \(x,y\in{\mathcal{C}}_{\mathcal{A}}\),
$$\bigl|f\bigl(t,x,D_{w}^{\nu}x\bigr)-f\bigl(t,y,D_{w}^{\nu}y\bigr)\bigr|\leq L_{1}|x-y|+L_{2}\bigl|D_{w}^{\nu}x-D_{w}^{\nu}y\bigr|. $$ - (H2):
-
There exists a positive number τ such that, for each \(x,y\in{\mathcal{C}}_{\mathcal{A}}\),
$$\bigl|\rho(x)-\rho(y)\bigr|\leq\tau\|x-y\|_{\mathcal{C_{A}}}. $$ - (H3):
-
For each \(t\in[0,T]\), \(0< n< g(t)< N\).
- (H4):
-
\(\Theta:=\lambda (\Omega+\Lambda )+\frac{\tau\Gamma _{q}(\alpha+1)}{\eta^{2}}\Lambda<1\),
where
Then the boundary value problem (1.3) has a unique solution.
Proof
We transform the boundary value problem (1.3) into a fixed point problem \(x=\mathcal{A}x\), where \(\mathcal{A}:\mathcal{C}_{\mathcal{A}}\rightarrow\mathcal{C}_{\mathcal {A}}\) is defined by (3.1). Assuming that \(\sup_{t\in[0,T]}{|f(t,0,0)|} = M\) and \(\sup_{x\in{\mathcal{C}}_{\mathcal{A}}}{|\rho(x)|} = K\), we choose a constant R satisfied with
Now, we will show that \(\mathcal{A}B_{R}\subset B_{R}\), where \(B_{R} = \{x \in \mathcal{C}_{\mathcal{A}}: \|x\|_{\mathcal{C_{A}}} \leq R\}\). For all \(x, y\in\mathcal{C}_{\mathcal{A}}\) and for each \(t\in[0,T]\), we have
and
Therefore, we obtain \(\|{\mathcal{A}}x\|_{\mathcal{C_{A}}}\leq R\) and hence \(\mathcal{A}B_{R}\subset B_{R}\).
Next, we will show that \(\mathcal{A}\) is a contraction. Denote
For all \(x, y\in\mathcal{C}_{\mathcal{A}}\) and for each \(t\in[0,T]\), we have
and
Thus, \(\|{\mathcal{A}}x-{\mathcal{A}}y\|_{\mathcal{C_{A}}}\leq \Theta\|x-y\|_{\mathcal{C_{A}}}\). From (H4), we see that \(\mathcal{A}\) is a contraction.
Hence, the conclusion of the theorem follows by Banach’s contraction mapping principle. This completes the proof. □
Our second result is based on the following Krasnoselskii fixed point theorem.
Theorem 3.2
(Krasnoselskii fixed point theorem) [30]
Let K be a bounded closed convex and nonempty subset of a Banach space X. Let A, B be operators such that
-
(i)
\(Ax+By \in K\) whenever \(x,y \in K\),
-
(ii)
A is compact and continuous,
-
(iii)
B is a contraction mapping.
Then there exists \(z \in K\) such that \(z = Az+Bz\).
Theorem 3.3
(Arzela-Ascoli theorem) [30]
Let \(D\subseteq\mathbb{R}^{n}\) be a bounded domain, \(K\subseteq C(\overline{D},\mathbb{R})\) be bounded and the following property of equicontinuity holds. For every \(\epsilon>0\), there exists \(\delta>0\), so that
Then K̅ is compact.
Theorem 3.4
Assume that (H2)-(H3) hold. In addition, \(f:[0,T]\times\mathbb {R}\times\mathbb{R}\rightarrow\mathbb{R}\) is a continuous function satisfying the following condition:
- (H5):
-
For all \((t,x,D_{w}^{\nu}x)\in[0,T]\times \mathbb{R}\times \mathbb{R}\), with \(\mu\in C([0,T], \mathbb{R}^{+})\),
$$\bigl|f\bigl(t,x,D_{w}^{\nu}x\bigr)\bigr|\leq\mu(t). $$
If
then the boundary value problem (1.3) has at least one solution on \([0,T]\).
Proof
Set \(\sup_{t\in[0,T]}|\mu(t)|=\| \mu\|\), and choose a constant
In view of Lemma 2.4, we define the operators \(\mathcal{A}_{1}\) and \(\mathcal{A}_{2}\) on the ball \(B_{R}=\{x\in\mathcal {C}_{\mathcal{A}}:\|x\|_{\mathcal{C_{A}}}\leq R\}\) by
For all \(x, y \in B_{R}\), by computing directly, we have
Similarly to the proof above and Theorem 3.1, we obtain \(\|D_{w}^{\nu}\mathcal{A}_{1}x+D_{w}^{\nu}\mathcal{A}_{2}y \|< R\), and hence \(\|\mathcal{A}_{1}x+\mathcal{A}_{2}y\|_{\mathcal{C_{A}}}< R\). Therefore,
The condition (3.3) implies that \(\mathcal{A}_{2}\) is a contraction mapping.
Next, we will show that \(\mathcal{A}_{1}\) is compact and continuous. Continuity of f coupled with the assumption (H4) implies that the operator \(\mathcal{A}_{1}\) is continuous and uniformly bounded on \(B_{R}\). For \(t_{1}, t_{2} \in[0,T]\) with \(t_{1}< t_{2}\), we have
Similarly to the proof above and Theorem 3.1, we obtain
Actually, as \(|t_{2}-t_{1}|\rightarrow0\), the right-hand side of the above inequality tends to be zero. So \(\mathcal{A}_{1}\) is relatively compact on \(B_{R}\). Hence, by the Arzela-Ascoli theorem, \(\mathcal{A}_{1}\) is compact on \(B_{R}\).
Therefore, all the assumptions of Theorem (3.2) are satisfied and the conclusion of Theorem 3.2 implies that the boundary value problem (1.3) has at least one solution on \([0,T]\). This completes the proof. □
4 Existence results of the problem (1.4)
Let \(\mathcal{C} = C([0,T],\mathbb{R})\) be a Banach space of all continuous functions from \([0,T]\) to \(\mathbb{R}\) endowed with the norm \(\|x\|= \sup_{t\in[0,T]} |x(t)|\). Define the operator \(\mathcal{B}:\mathcal{C}\rightarrow\mathcal{C}\) as follows:
Observe that the problem (1.4) has solutions if and only if the operator \(\mathcal{B}\) has fixed points.
Our first result is based on Banach’s fixed point theorem.
Theorem 4.1
Assume that a functional \(\rho: C([0,T],\mathbb{R})\rightarrow\mathbb {R}\) is continuous, \(f:[0,T]\times\mathbb{R}\times\mathbb{R}\rightarrow \mathbb{R}\) is continuous and maps bounded subsets of \([0,T]\times\mathbb{R}\times\mathbb{R}\) into relatively compact subsets of \(\mathbb{R}\), \(g:[0,T]\rightarrow\mathbb{R^{+}}\), and \(\varphi: [0, T]\times[0, T]\rightarrow[0,\infty)\) are continuous functions. Let \(\varphi_{0}=\sup_{(t,s)\in[0, T]\times[0, T]}\{\varphi(t,s)\}\) and (H3) hold. In addition, ρ and f satisfy the following conditions:
- (H6):
-
There exists a positive number τ such that, for all \(x,y\in{\mathcal{C}}\),
$$\bigl|\rho(x)-\rho(y)\bigr|\leq\tau\|x-y\|. $$ - (H7):
-
There exist positive numbers \(l_{1}\), \(l_{2}\) such that, for each \(t\in[0,T]\) and \(x,y\in{\mathcal{C}}\),
$$\bigl|f\bigl(t,x,\Psi_{w}^{\gamma}x\bigr)-f\bigl(t,y, \Psi_{w}^{\gamma}y\bigr)\bigr|\leq l_{1}|x-y|+l_{2}\bigl| \Psi _{w}^{\gamma}x-\Psi_{w}^{\gamma}y\bigr|. $$ - (H8):
-
\(\Upsilon:= (l_{1}+l_{2} \frac{\varphi_{0} T^{\gamma}}{\Gamma_{w}(\gamma+1)} ) \Omega+\frac{\tau\Gamma_{q}(\alpha+1)}{\eta ^{2}}\Lambda<1\), where Ω, Λ are defined as (3.2).
Then the boundary value problem (1.4) has a unique solution.
Proof
We transform the boundary value problem (1.4) into a fixed point problem \(x=\mathcal{B}x\), where \(\mathcal{B}:\mathcal{C}\rightarrow\mathcal{C}\) is defined by (4.1). Assuming that \(\sup_{t\in[0,T]}{|f(t,0,0)|} = M\) and \(\sup_{x\in{\mathcal{C}}}{\rho(x)} = K\), we choose a constant ρ satisfied with
Now, we will show that \(\mathcal{B}B_{\rho}\subset B_{\rho}\), where \(B_{\rho}= \{x \in \mathcal{C}: \|x\| \leq\rho\}\). For all \(x\in B_{\rho}\), we have
Therefore, \({\mathcal{B}}B_{\rho}\subset B_{\rho}\).
Next, we will show that \(\mathcal{B}\) is a contraction. For all \(x, y\in \mathcal{C}\) and for each \(t\in[0,T]\), we have
By (H8), we have \(\mathcal{B}\) is a contraction. Thus, the conclusion of the theorem follows by Banach’s contraction mapping principle. This completes the proof. □
Our second result is based on the following Krasnoselskii’s fixed point theorem.
Theorem 4.2
Assume that (H3) and (H6) hold. In addition, \(f:[0,T]\times\mathbb {R}\times\mathbb{R}\rightarrow\mathbb{R}\) is a continuous function satisfying the following condition:
- (H9):
-
For all \((t,x,\Psi_{w}^{\gamma}x)\in[0,T]\times \mathbb{R}\times\mathbb{R}\), with \(\sigma\in C([0,T], \mathbb{R}^{+})\),
$$\bigl|f\bigl(t,x,\Psi_{w}^{\gamma}x\bigr)\bigr|\leq\sigma(t). $$
If
then the boundary value problem (1.4) has at least one solution on \([0,T]\).
Proof
Set \(\sup_{t\in[0,T]}|\sigma (t)|=\|\sigma\|\) and choose a constant
In view of Lemma 2.4, we define the operators \({\mathcal{B}}_{1}\) and \({\mathcal{B}}_{2}\) on the ball \(B_{\rho}=\{x\in \mathcal{C}:\|x\|\leq\rho\}\) by
For \(x, y \in B_{\rho}\), by computing directly, we have
Therefore \(\mathcal{B}_{1}x+\mathcal{B}_{2}y\in B_{\rho}\). The condition (4.3) implies that \(\mathcal{B}_{2}\) is a contraction mapping.
Next, we will show that \(\mathcal{B}_{1}\) is compact and continuous. Continuity of f coupled with the assumption (H7) implies that the operator \(\mathcal{B}_{1}\) is continuous and uniformly bounded on \(B_{\rho}\). For \(t_{1}, t_{2} \in[0,T]\) with \(t_{1}< t_{2}\), we have
Actually, as \(|t_{2}-t_{1}|\rightarrow0\), the right-hand side of the above inequality tends to be zero. So \(\mathcal{B}_{1}\) is relatively compact on \(B_{\rho}\). Hence, by the Arzela-Ascoli theorem, \(\mathcal{B}_{1}\) is compact on \(B_{\rho}\).
Therefore, all the assumptions of Theorem 4.2 are satisfied and the conclusion of Theorem 4.2 implies that the boundary value problem (1.4) has at least one solution on \([0,T]\). This completes the proof. □
5 Examples
In this section, we give some examples to illustrate our results.
Example 5.1
Consider the following fractional q-integral boundary value problem:
where \(0< t_{1},t_{2},\ldots,t_{n}<1\) and \(C_{i}\) are given positive constants with \(\sum_{i=1}^{n}C_{i}<\frac{1}{400}\).
Here \(\alpha=\frac{4}{3}\), \(\beta=\frac{5}{2}\), \(\eta=\frac{1}{4}\), \(\nu =\frac{2}{3}\), \(q=\frac{1}{2}\), \(p=\frac{1}{3}\), \(w=\frac{1}{4}\), \(T=1\), \(g(t)=e^{\sin(2\pi t)}\), and \(f(t,x)=\frac{e^{-\cos^{2}(2\pi t)}}{20+e^{\sin^{2}(2\pi t)}}\cdot\frac{|x(t)|+|D_{\frac{1}{4}}^{\frac {2}{3}} x(t)|}{1+|x(t)|}\).
Since \(|f(t,x,D_{\frac{1}{2}}^{\frac{4}{3}} x)-f(t,y,D_{\frac {1}{2}}^{\frac{4}{3}} y)|\leq\frac{1}{101}|x-y|+\frac{1}{101}|D_{\frac {1}{2}}^{\frac{4}{3}} x-D_{\frac{1}{2}}^{\frac{4}{3}} y|\), (H1) is satisfied with \(L_{1}=L_{2}=\frac{1}{101}\), so \(\lambda=\frac{2}{101}\).
Also, we get \(|\rho(x)-\rho(y)|=\vert \sum_{i=1}^{n}C_{i}x(t_{i})-\sum_{i=1}^{n}C_{i}y(t_{i})\vert \leq\sum_{i=1}^{n}C_{i}|x-y|\). So, (H2) holds with \(\tau=\sum_{i=1}^{n}C_{i}<\frac{1}{400}\).
Since \(\frac{1}{e}< g(t)< e\), (H3) is satisfied with \(N=e\), \(n=\frac {1}{e}\).
We can show that
Therefore, we get
Hence, by Theorem 3.1, problem (5.1) has a unique solution on \([0,1]\).
Example 5.2
Consider the following fractional q-integral boundary value problem:
where \(0< t_{1},t_{2},\ldots,t_{n}<1\) and \(C_{i}\) are given positive constants with \(\sum_{i=1}^{n}C_{i}<\frac{1}{500}\).
Here \(\alpha=\frac{4}{3}\), \(\beta=\frac{5}{2}\), \(\eta=\frac{1}{4}\), \(\gamma=\frac{8}{3}\), \(q=\frac{1}{2}\), \(p=\frac{1}{3}\), \(w=\frac {1}{4}\), \(T=1\), \(g(t)=e^{\sin(2\pi t)}\), \(f(t,x)=\frac{e^{-\cos^{2}(2\pi t)}}{20+e^{\sin^{2}(2\pi t)}}\cdot\frac {|x(t)|+|\Psi_{\frac{1}{4}}^{\frac{8}{3}} x(t)|}{1+|x(t)|}\), \(\Psi _{\frac{1}{4}}^{\frac{8}{3}} x(t)=\frac{1}{\Gamma_{\frac{1}{4}}(\frac {8}{3})} \int_{0}^{t} (t-\frac{s}{4} )^{(\frac {5}{3})}\frac{e^{-(s-t)}}{10} x(s) \,d_{w}s \) and \(\varphi(t,s)=\frac{e^{-(s-t)}}{10}\).
Also, we get \(|\rho(x)-\rho(y)|=\vert \sum_{i=1}^{n}C_{i}x(t_{i})-\sum_{i=1}^{n}C_{i}y(t_{i})\vert \leq\sum_{i=1}^{n}C_{i}|x-y|\). So, (H2) holds with \(\tau=\sum_{i=1}^{n}C_{i}<\frac{1}{500}\).
Since \(|f(t,x,\Psi_{\frac{1}{4}}^{\frac{8}{3}} x)-f(t,y,\Psi_{\frac {1}{4}}^{\frac{8}{3}} y)|\leq\frac{1}{21}|x-y|+\frac{1}{21}|\Psi _{\frac{1}{4}}^{\frac{8}{3}} x-\Psi_{\frac{1}{4}}^{\frac{8}{3}} y| \) and \(\varphi_{0}=\frac{e}{10}\), (H5) is satisfied with \(l_{1}=l_{2}=\frac {1}{21}\). So \(l_{1}+\frac{e l_{2}}{10 (\frac{8}{3}+1)}=0.0977\).
By Example 5.1, we get \(\Omega\approx 2.2358 \) and \(\Lambda \approx5.0088\). Therefore, we have
Hence, by Theorem 4.1, problem (5.2) has a unique solution on \([0,1]\).
References
Jackson, FH: q-Difference equations. Am. J. Math. 32, 305-314 (1970)
Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2000)
Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135-140 (1966/1967)
Agarwal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969)
Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012)
Webb, JRL: Positive solutions of some higher order nonlocal boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2009, 29 (2009)
Webb, JRL, Infante, G: Nonlocal boundary value problems of arbitrary order. J. Lond. Math. Soc. 79(2), 238-258 (2009)
Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 30, 1265-1292 (2000)
Karakostas, GL, Tsamatos, PC: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron. J. Differ. Equ. 2002, 30 (2002)
Lomtatidze, A, Malaguti, L: On a nonlocal boundary-value problems for second order nonlinear singular differential equations. Georgian Math. J. 7, 133-154 (2000)
Agarwal, RP, O’Regan, D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (2001)
Corduneanu, C: Integral Equations and Applications. Cambridge University Press, Cambridge (1991)
Ferreira, R: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010)
Ferreira, R: Positive solutions for a class of boundary value problems with fractional q-differences. Comput. Math. Appl. 61, 367-373 (2011)
Rajković, P, Marinković, S, Stanković, M: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311-323 (2007)
Pongarm, N, Asawasamrit, S, Tariboon, J, Ntoyas, SK: Multi-strip fractional q-integral boundary value problems for nonlinear fractional q-difference equations. Adv. Differ. Equ. 2014, 13 (2014)
Ma, J, Yang, J: Existence of solutions for multi-point boundary value problem of fractional q-difference equation. Electron. J. Qual. Theory Differ. Equ. 2011, 92 (2011)
Graef, JR, Kong, L: Positive solutions for a class of higher order boundary value problems with fractional q-derivatives. Appl. Math. Comput. 218, 9682-9689 (2012)
Ahmad, B, Ntouyas, SK, Purnaras, IK: Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 140 (2012)
Ahmad, B, Ntouyas, SK: Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin (separated) conditions. Mediterr. J. Math. 10, 1333-1351 (2013)
Ahmad, B, Ntouyas, SK, Alsaedi, A, Al-Hutami, H: Nonlinear q-fractional differential equations with nonlocal and sub-strip type boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2014, 26 (2014)
Ahmad, B, Nieto, JJ, Alsaedi, A, Al-Hutami, H: Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Franklin Inst. 351, 2890-2909 (2014)
Alsaedi, A, Ahmad, B, Al-Hutami, H: A study of nonlinear fractional q-difference equations with nonlocal integral boundary conditions. Abstr. Appl. Anal. 2013, 410505 (2013)
Li, X, Han, Z, Sun, S: Existence of positive solutions of nonlinear fractional q-difference equation with parameter. Adv. Differ. Equ. 2013, 260 (2013)
Zhou, WX, Liu, HZ: Existence solutions for boundary value problem of nonlinear fractional q-difference. Adv. Differ. Equ. 2013, 113 (2013)
Almeida, R, Martins, N: Existence results for fractional q-difference equations of order \(\alpha\in\,]2,3[\) with three-point boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 19, 1675-1685 (2014)
Sitthiwirattham, T, Tariboon, J, Ntouyas, SK: Three-point boundary value problems of nonlinear second-order q-difference equations involving different numbers of q. J. Appl. Math. 2013, 763786 (2013)
Patanarapeelert, N, Sitthiwirattham, T: Existence results of sequential derivatives of nonlinear q-difference equations with a new class of three-point boundary value problems conditions. J. Comput. Anal. Appl. 18(5), 844-856 (2015)
Saengngammongkhol, T, Kaewwisetkul, B, Sitthiwirattham, T: Existence results for nonlinear second-order q-difference equations with q-integral boundary conditions. Differ. Equ. Appl. 7(3), 303-311 (2015)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)
Acknowledgements
The author is highly grateful to the editors and the referees for their valuable suggestions, which improved the article. This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-GEN-58-13.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to have no competing interests.
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
Sitthiwirattham, T. On nonlocal fractional q-integral boundary value problems of fractional q-difference and fractional q-integrodifference equations involving different numbers of order and q . Bound Value Probl 2016, 12 (2016). https://doi.org/10.1186/s13661-016-0522-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0522-x