Abstract
In this paper, we consider the boundary value problem of a class of nonlinear fractional q-difference equations involving the Riemann–Liouville fractional q-derivative on the half-line. By means of Schauder fixed point theorem and Leggett–Williams fixed point theorem, some results on existence and multiplicity of solutions are obtained.
Similar content being viewed by others
1 Introduction
Quantum calculus, roughly speaking, is ordinary calculus without limits. There are several types of quantum calculus: h-calculus (also known as the calculus of finite differences), q-calculus, and Hahn’s calculus. In this paper we are concerned with the q-calculus. The q-derivative and the q-integral were first defined by Jackson [1, 2] and had proven to have important applications in many subjects, like in hypergeometric series, complex analysis, particle physics, and quantum mechanics. For a general introduction to the q-calculus, we refer the reader to the book [3].
The origin of the fractional q-difference calculus can be traced back to the works in [4] by Al-salam and Agarwal. Perhaps due to the development of the fractional differential equations, an interest has been observed in studying boundary value problems of fractional q-difference equations, especially, about the existence of the solutions for the boundary value problems [5,6,7,8,9,10].
Boundary value problems on a half-line arise quite naturally in the study of radially symmetric solutions of nonlinear elliptic equations and models of gas pressure in a semi-infinite porous medium. Though much of the work on fractional calculus deals with finite domain, there is a considerable development on the topic involving unbounded domain [11,12,13,14,15,16,17,18,19,20,21,22,23,24].
In 2010, Zhao and Ge considered the following fractional boundary value problem [11]:
where \(0<\xi <\infty \), \(D^{a}_{0+}\) is the standard Riemann–Liouville fractional derivative. By means of fixed point theorems, sufficient conditions are obtained that guarantee the existence of solutions to the above boundary value problem.
In 2011, Zhao et al. studied the fractional multi-point boundary value problem [14]
where \(1< a\leq 2\), \(0<\xi _{1}<\xi _{2}<\cdots<\xi _{m}<\infty \), \(D^{a}_{0+}\) is the standard Riemann–Liouville fractional derivative. By Leggett–Williams fixed point theorem, sufficient conditions that guarantee the existence of three positive solutions are obtained.
To the best of our knowledge, there is no paper considering fractional q-difference equations on the half-line. Theories and applications seem to be just being initiated. In this paper we will fill in the gap to investigate the existence of solutions for the following boundary value problem of nonlinear fractional q-difference equations on the half-line:
subject to the boundary conditions
where \(0< q<1\), \(1<\alpha <2\), \(0\leq \sum_{i=1} ^{m}a_{i}{\xi }_{i}^{\alpha -1}<\varGamma _{q}(\alpha )\), \(f:([0,\infty ),\mathbb{R})\rightarrow [0,\infty )\) is a continuous function. Most results on the solution of boundary value problem of fractional q-difference equations that have been obtained concern the finite interval. In this paper, the range of variables is considered on the half-line. Since the Arzela–Ascoli theorem fails to work in the space \(C_{\infty }\), we use a modified compactness criterion to prove T is compact. We prove the existence and multiplicity results on positive solutions for boundary value problem (1.1)–(1.2) by utilizing Schauder fixed point theorem and Leggett–Williams fixed point theorem. Several existence results for solutions on the half-line are obtained. This work is motivated by papers [11, 14].
The paper is organized as follows. In Sect. 2, we introduce some definitions of q-fractional integral and differential operator together with some basic properties and lemmas to prove our main results. In Sect. 3, we investigate the existence of solutions for boundary value problem (1.1)–(1.2) by Schaefer fixed point theorem and Leggett–Williams fixed point theorem. In Sect. 4, we give an example to illustrate our main results.
2 Preliminaries
In the following section, we collect some definitions and lemmas about fractional q-integral and fractional q-derivative for the integrity of the theory, for which we refer to [25,26,27].
Definition 2.1
([4])
Let \(\alpha \geq 0\) and f be a function defined on \([0,b]\). The fractional q-integral of the Riemann–Liouville type is defined by \((I^{0}_{q}f)(x)=f(x)\) and
Definition 2.2
([26])
The fractional q-derivative of the Riemann–Liouville type of order \(\alpha \geq 0\) is defined by \((D_{q}^{0} f)(x)=f(x)\) and
where p is the smallest integer greater than or equal to α.
As a particular case, it is easily seen that
Next, we list some properties about q-derivative and q-integral that are already known in the literature.
Lemma 2.1
Let \(\alpha , \beta \geq 0\) and f be a function defined on \([0,1]\). Then the following formulas hold:
-
(i)
\((I^{\beta }_{q}I^{\alpha }_{q}f)(x)=(I^{\alpha +\beta }_{q}f)(x)\),
-
(ii)
\((D^{\alpha }_{q}I^{\alpha }_{q}f)=f(x)\).
Lemma 2.2
([4])
Let \(\alpha > 0\) and p be a positive integer. Then the following equality holds:
Lemma 2.3
([25])
Let I and J be intervals containing zero such that \(J\subseteq I\). Let \(f_{n}\) and f be functions defined in I, \(n\in \mathbb{N}\) such that
Then
Lemma 2.4
([28], Schauder fixed point theorem)
Let B be a Banach space with \(C\subseteq B\) closed and convex. Assume that U is a relatively open subset of C with \(0\in U\) and \(F:\overline{U}\rightarrow C\) is a continuous, compact map. Then either
-
(1)
F has a fixed point in U̅, or
-
(2)
there exists \(u\in \partial U\) and \(\lambda \in (0,1)\) with \(u=\lambda Fu\).
Let \(E=(E,\|\cdot \|)\) be a Banach space, \(P\subset E\) be a cone, κ be a nonnegative continuous concave functional on P, and \(a,b,c>0\) be constants. Define \(P_{c}=\{x\in P:\|x\|< c\}\), \(P(\kappa ,a,b)=\{x\in P:a\leq \kappa (x),\|x\|< b\}\).
Lemma 2.5
(Leggett–Williams fixed point theorem)
Let \(T:\overline{P_{c}}\rightarrow \overline{P_{c}}\) be a completely continuous operator, and let κ be a nonnegative continuous concave functional on K such that \(\kappa (x)\leq \|x\|\) for all \(x\in \overline{P_{c}}\). Suppose that there exist \(0< a< b< d\leq c\) such that
- (A1):
-
\(\{x\in P(\kappa ,b,d)|\kappa (x)>b\}\neq \emptyset \) and \(\kappa (x)>b\) for \(x\in P(\kappa ,b,d)\);
- (A2):
-
\(\|Tx\|< a\) for \(\|x\|\leq a\);
- (A3):
-
\(\kappa (Tx)>b\) for \(x\in P(\kappa ,b,c)\) with \(\|Tx\|>d\).
Then T has at least three fixed points \(x_{1}\), \(x_{2}\), and \(x_{3}\) such that \(\|x_{1}\|< a\), \(b<\kappa (x_{2})\), and \(\|x_{3}\|>a\), with \(\kappa (x_{3})< b\).
Remark 2.1
If there holds \(d = c\), then condition (A1) implies condition (A3) in Lemma 2.5.
The next result is important in the sequel.
Lemma 2.6
Let \(h\in C(\mathbb{R}^{+})\) be a given function. Then the boundary value problem
has a unique solution
where
and
is the Green function of boundary value problem (2.2)–(2.3).
Proof
Let us begin with integrating on both sides of (2.2)
In view of Definition 2.2 and Lemma 2.2, we deduce
Applying the boundary condition \(u(0)=0\), thus \(c_{2}=0\), we have
So,
and
Differentiating on both sides of (2.4) and combining (2.1), we get
Therefore,
Using the boundary condition \(D_{q}^{\alpha -1}u(+\infty ) =\sum^{\infty }_{i=1}a_{i}u(\xi _{i})\), hence
It is easy to show that
For convenience, we denote
Utilizing (2.4) and (2.5), we get
Define
The proof is completed. □
The following properties of the Green function play important roles in this paper.
Lemma 2.7
Function G defined in Lemma 2.6 satisfies the following properties:
- (P1):
-
\(G(t,qs)\geq 0\) and \(G(t,qs)\leq G(qs,qs)\) for all \(0\leq s\), \(t < \infty \).
- (P2):
-
There exists a function \(\gamma \in C(\mathbb{R}^{+})\) such that
$$ \min_{k\leq t\leq l}G(t,qs)\geq \gamma (qs)\sup_{0\leq t< \infty }G(t,qs) =\gamma (qs)G(qs,qs), \quad s\in (0,+\infty ), $$where \(0< k< l<\infty \) are constants.
Proof
It is clear that \(G(t,qs)\geq 0\) for \(s,t\in [0,+\infty )\). The monotonicity of \(G(t,qs)\) implies
Now we consider the existence of γ. Setting \(g_{1}(t,qs)=\frac{t^{\alpha -1}-(t-qs)^{(\alpha -1)}}{\varGamma _{q}(\alpha )}\) and \(g_{2}(t,qs)=\frac{t^{\alpha -1}}{\varGamma _{q}(\alpha )}\), we have
where \(0< r<\infty \) is the unique solution of the equation
Hence
This completes the proof of Lemma 2.7. □
3 Main results
We are now in a position to state and prove our main results in this paper.
Consider the space \(C_{\infty }([0,\infty ),\mathbb{R})\) defined by \(C_{\infty }([0,\infty ),\mathbb{R}) =\{u\in C([0,\infty ),\mathbb{R}): [4] \lim_{t\rightarrow +\infty }\frac{u(t)}{1+t^{\alpha -1}}\text{ exists}\}\) with the norm
Lemma 3.1
([29])
\(C_{\infty }\) is a Banach space.
For \(u\in C_{\infty }\), we define the operator T by
We list some conditions in this section for convenience:
- (H1):
-
Let \(F(t,u)=f(t,(1+t^{\alpha -1})u)\), \(\vert F(t,u) \vert \leq \varphi (t)\omega ( \vert u \vert )\) on \([0,\infty )\) with \(\omega \in C([0,\infty ),\mathbb{R})\) nondecreasing and \(\varphi \in C([0,\infty ))\), \(\int ^{\infty }_{0}\varphi (s)\,d_{q}s<+\infty \).
- (H2):
-
There exists a constant ρ such that, for any \(t\in [0,\infty )\), \(v_{1},v_{2}\in \mathbb{R}\),
$$ \bigl\vert F\bigl(s,v_{2}(s)\bigr)-F\bigl(s,v_{1}(s) \bigr) \bigr\vert \leq \rho \vert v_{2}-v_{1} \vert . $$
Since the Arzela–Ascoli theorem fails to work in the space \(C_{\infty }\), we need a modified compactness criterion to prove T is compact.
Lemma 3.2
([29])
Let \(V=\{u\in C_{\infty }:\|u\|< l\}\) (\(l>0\)), \(V_{1}=\{\frac{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 \(C_{\infty }\).
Remark 3.1
\(V_{1}\) is called equiconvergent at infinity if and only if, for any given \(\varepsilon >0\), there exists \(N=N(\varepsilon )>0\) such that
Define the cone \(P\subset C_{\infty }\) by
Lemma 3.3
If (H1)–(H2) hold, then \(T:P\rightarrow P\) is completely continuous.
Proof
We divide the proof into three steps.
Step 1: We show that \(T:P\rightarrow P\) is continuous.
In view of the continuity and nonnegativity of G and f, we have \(Tu(t)\geq 0\) for \(t\in [0,\infty )\).
For any \(u\in \varOmega \), by (H1) we obtain
and
So, \(\lim_{t\rightarrow +\infty }\frac{(Tu)(t)}{1+t^{\alpha -1}}\) exists. Thus, \(T(P)\subset P\).
Let \(v(t)=\frac{u(t)}{1+t^{\alpha -1}}\). Then by (H1), we have \(f(s,u(s))=F(s,\frac{u_{n}(s)}{1+s^{\alpha -1}})=F(s,v(s))\). Taking \(u_{n}\rightarrow u\) as \(n\rightarrow +\infty \) in \(C_{\infty }\), by (H2) we deduce
So \(f(t,u_{n}(t))\rightarrow f(t,u(t))\) uniformly on \([0,\infty )\). By Lemma 2.3 we have
Then, combining (3.1), we have
Hence
So, T is continuous.
Step 2: We show that T is uniformly bounded.
Let Ω be any bounded subset of P, i.e., there exists \(L>0\) such that \(\|u\|\leq L\) for each \(u\in \varOmega \). It suffices to show that \(T(u)\) is bounded in P. In fact, for \(u\in \varOmega \), we have
Hence, \(T(\varOmega )\) is uniformly bounded.
Now, we show that \(T(\varOmega )\) is equicontinuous on any compact interval.
First, for any given \(Q>0\), \(t_{1},t_{2}\in [0,Q]\), and \(u\in \varOmega \), without loss of generality, we assume that \(t_{2}>t_{1}\), we deduce
On the other hand, for all \(u\in \varOmega \), \(t_{1}\rightarrow t_{2}\), we have that
Similar to (3.2), for all \(u\in \varOmega \), \(t_{1}\rightarrow t_{2}\), we have
and
Hence \(T(\varOmega )\) is equicontinuous on any compact intervals of \([0,\infty )\).
Step 3: We show that T is equiconvergent at ∞. For any \(u\in \varOmega \), by (H1)
On the other hand, since \(\lim_{t\rightarrow \infty }\frac{t^{\alpha -1}}{1+t^{\alpha -1}}=1\), there exists \(T_{1}>0\) such that, for any \(t_{2}>t_{1}>T_{1}\),
Similarly, there exists a constant \(M>0\) such that \(\lim_{t\rightarrow \infty }\frac{(t-M)^{(\alpha -1)}}{1+t^{\alpha -1}}=1\) and there exists \(T_{2}\) such that, for any \(t_{2}>t_{1}>T_{2}\) and \(0\leq s\leq M\),
Choose \(N>\max \{T_{1},T_{2}\}\), then for any \(u\in \varOmega \), \(t_{2}>t_{1}>N\) and \(t_{1}\rightarrow t_{2}\), by (3.4)–(3.5), we have
and
It can be easily seen from (3.6) and (3.7) that, for any \(\varepsilon >0\), there exists a sufficiently large \(N>0\) such that, for any \(u\in \varOmega \),
This implies that \(T:P\rightarrow P\) is equiconvergent at ∞.
By using Lemma 3.2, we obtain that \(T:P\rightarrow P\) is completely continuous. This completes the proof. □
Theorem 3.1
Assume that (H1)–(H2) hold. There exists a constant \(\nu >0\) such that ω and φ satisfy the following condition:
Then boundary value problem (1.1)–(1.2) has an unbounded solution \(u(t)\) such that
Proof
Let
We claim that \(u\neq \lambda Tu\) for \(u\in \partial U\) and \(\lambda \in (0,1)\). The claim is immediate, since if there exists \(u\in \partial U\) with \(u=\lambda Tu\), then for \(\lambda \in (0,1)\), we have
So, for \(u\in \partial U\), we obtain
that is,
which contradicts with (3.8). By Lemma 2.4, boundary value problem (1.1)–(1.2) has an unbounded solution \(u=u(t)\) such that
The proof is completed. □
We define a nonnegative continuous concave functional \(\kappa (u)=\min_{t\in [k,l]}\frac{ \vert u(t) \vert }{1+t^{\alpha -1}}\) for \(u\in P\), k, and l is defined by (2.8). Denote
Theorem 3.2
Assume that there exist constants a, b, c with \(0< a< b< c\) such that \(f(t,u)\) satisfies (H1)–(H2) and the following conditions:
- (H3):
-
\(\omega (u)< N_{1}a\) for all \(u\in [0,a]\); \(\omega (u)\leq N_{1}c\) for all \(u\in [0,c]\).
- (H4):
-
\(F(t,\frac{u}{1+t^{\alpha -1}})>N_{2} b\) for all \((t,\frac{u}{1+t^{\alpha -1}})\in [k,l]\times [b,c]\).
Then the boundary value problem (1.1)–(1.2) has at least three solutions \(u_{1}\), \(u_{2}\), \(u_{3}\) such that \(\|u_{1}\|< a\), \(b<\kappa (u_{2}(t))\) and \(\|u_{3}\|>a\) with \(\kappa (u_{3}(t))< b\) for \(t\in [0,\infty )\).
Proof
Firstly, we show that \(T:\overline{P_{c}}\rightarrow \overline{P_{c}}\) is a completely continuous operator.
In fact, for \(u\in \overline{P_{c}}\), then \(\|u\|\leq c\), by (H1) and (H3), we get
Hence, \(\|Tu\|\leq c\), that is, \(T:\overline{P_{c}}\rightarrow \overline{P_{c}}\). In view of Lemma 3.3, \(T:\overline{P_{c}}\rightarrow \overline{P_{c}}\) is completely continuous.
In an analogous way, condition (H3) implies that condition (A2) of Lemma 2.5 is satisfied. Let \(u(t)=\frac{(b+c)(1+t^{\alpha -1})}{2}\), \(0\leq t<\infty \). Then it is easy to see \(\|u\|=\frac{(b+c)}{2}\), \(u(\frac{(b+c)(1+t^{\alpha -1})}{2})=\frac{(b+c)}{2}\in P(\kappa ,b,c)\), \(\kappa (\frac{(b+c)(1+t^{\alpha -1})}{2})=\frac{(b+c)}{2}>b\), so \(\{u\in P(\kappa ,b,c)|\kappa (u)>b\}\neq \emptyset \). If \(u\in P(\kappa ,b,c)\), then \(b\leq \frac{u(t)}{1+t^{\alpha -1}}\leq c\) for \(t\in [k,l]\). By (H4) and Lemma 2.7, we get
So condition (A1) of Lemma 2.5 is satisfied.
By Lemma 2.5 and Remark 2.1, there exist three solutions \(u_{1}\), \(u_{2}\), \(u_{3}\) such that \(\|u_{1}\|< a\), \(b<\kappa (u_{2}(t))\), and \(\|u_{3}\|>a\) with \(\kappa (u_{3}(t))< b\), which completes the proof. □
4 Example
In this section, we will give an example to expound our main results.
Example 4.1
Consider the following boundary value problem:
here \(\alpha =\frac{3}{2}\), \(0\leq \Delta =\sum_{i=1} ^{m}a_{i}{\xi }_{i}^{\alpha -1}<\varGamma _{q}(\frac{3}{2})\), \(f(t,u)=\sqrt{|\frac{u}{1+t^{\frac{1}{2}}}|}e^{-t}\), \(F(t,u)=\sqrt{|u|}e^{-t}\).
Choose \(\omega (u)=\sqrt{u}\), \(\varphi (t)=e^{-t}\), \(k>(\frac{1}{\varGamma _{q}(\frac{3}{2})-\Delta })^{2}\), we have:
-
(i)
\(0\leq \sum_{i=1} ^{m}a_{i}{\xi }_{i}^{\alpha -1}<\varGamma _{q}(\alpha )\);
-
(ii)
\(f:[0,+\infty )\times \mathbb{R}\rightarrow [0,+\infty )\) is continuous;
-
(iii)
\(|F(t,u)|=\varphi (t)\omega (|u|)\) on \([0,\infty )\times \mathbb{R}\) with \(\omega \in C([0,\infty ),\mathbb{R})\) nondecreasing and \(\int ^{\infty }_{0}\varphi (s)\,d_{q}s<+\infty \);
-
(iv)
\(\frac{k(\varGamma _{q}(\alpha )-\Delta )}{\omega (k)\int ^{\infty }_{0}\varphi (s)\,d_{q}s}=\sqrt{k}(\varGamma _{q}(\frac{3}{2})-\Delta )>1\).
Thus, from Theorem 3.1, problem (4.1)–(4.2) has a positive solution u such that
References
Jackson, F.: On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46, 253–281 (1908)
Jackson, F.: On q-definite integrals. Pure Appl. Math. Q. 41, 193–203 (1910)
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
Agarwal, R.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365–370 (1969)
Miao, F., Liang, S.: Uniqueness of positive solutions for fractional q-difference boundary value problems with p-Laplacian operator. Electron. J. Differ. Equ. 2013, 174, 1–11 (2013)
Graef, J., 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., Nietoa, J., 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)
Han, Z.L., Pan, Y.Y., Yang, D.W.: The existence and nonexistence of positive solutions to a discrete fractional boundary value problem with a parameter. Appl. Math. Lett. 36, 1–6 (2014)
Li, X.H., Han, Z.L., Li, X.C.: Boundary value problems of fractional q-difference Schrodinger equations. Appl. Math. Lett. 46, 100–105 (2015)
Chidouh, A., Torres, D.: Existence of positive solutions to a discrete fractional boundary value problem and corresponding Lyapunov-type inequalities. Opusc. Math. 38(1), 31–40 (2018)
Zhao, X., Ge, W.: Unbounded solutions for a fractional boundary value problems on infinite interval. Acta Appl. Math. 109, 495–505 (2010)
He, L., Dong, X., Bai, Z., Chen, B.: Solvability of some two-point fractional boundary value problems under barrier strip conditions. J. Funct. Spaces 2017, Article ID 1465623 (2017)
Liang, S., Zhang, J.: Existence of three positive solutions of m-point boundary value problems for some nonlinear fractional differential equations on an infinite interval. Comput. Math. Appl. 61, 3343–3354 (2011)
Zhao, X., Zhao, D., Ge, W.: Solvability for fractional multi-point boundary value problems on half line. Ann. Differ. Equ. 27(3), 395–400 (2011)
Liu, X., Jia, M.: Multiple solutions for fractional differential equations with nonlinear boundary conditions. Comput. Math. Appl. 59, 2880–2886 (2010)
Cui, Y., Ma, W., Sun, Q., Su, X.: New uniqueness results for boundary value problem of fractional differential equation. Nonlinear Anal., Model. Control 23, 31–39 (2018)
Cui, Y., Sun, Q., Su, X.: Monotone iterative technique for nonlinear boundary value problems of fractional order \(p\in (2,3]\). Adv. Differ. Equ. 2017, 248, 1–15 (2017)
Zhang, X., Zhong, Q.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20(6), 1471–1484 (2017)
Zhang, X., Zhong, Q.: Triple positive solutions for nonlocal fractional differential equations with singularities both on time and space variables. Appl. Math. Lett. 80, 12–19 (2018)
Xu, M., Han, Z.: Positive solutions for integral boundary value problem of two-term fractional differential equations. Bound. Value Probl. 2018, 100, 1–13 (2018)
Song, Q., Bai, Z.: Positive solutions of fractional differential equations involving the Riemann-Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, 183 (2018)
Gamze Düzgün, F., Iannizzotto, A.: Three nontrivial solutions for nonlinear fractional Laplacian equations. Adv. Nonlinear Anal. 7(2), 211–226 (2018)
Giacomoni, J., Mukherjee, T., Sreenadh, K.: Positive solutions of fractional elliptic equation with critical and singular nonlinearity. Adv. Nonlinear Anal. 6(3), 327–354 (2017)
Lyons, J., Neugebauer, J.: Positive solutions of a singular fractional boundary value problem with a fractional boundary condition. Opusc. Math. 37(3), 421–434 (2017)
Annaby, M., Mansour, Z.: q-Fractional Calculus and Equations. Springer, New York (2012)
Rajković, P., Marinković, S., Stanković, M.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311–323 (2007)
Li, X., Han, Z., Sun, S.: Existence of positive solutions of nonlinear fractional q-difference equation with parameter. Adv. Differ. Equ. 2013, 260 (2013)
Granans, A., Guenther, P., Lee, J.: Some general existence principle in Carathéodory theory of nonlinear systems. J. Math. Pures Appl. 70, 153–196 (1991)
Su, X., Zhang, S.: Unbounded solutions to a boundary value problem of fractional order on the half-line. Comput. Math. Appl. 61, 1079–1087 (2011)
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript.
Availability of data and materials
The authors declare that all data and materials in the article are available and veritable.
Funding
This research is supported by the Natural Science Foundation of China (61703180) and by the Shandong Provincial Natural Science Foundation (ZR2016AM17, ZR2017MA043).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ma, K., Li, X. & Sun, S. Boundary value problems of fractional q-difference equations on the half-line. Bound Value Probl 2019, 46 (2019). https://doi.org/10.1186/s13661-019-1159-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1159-3