Abstract
In this article, we first of all convert the boundary value problems for impulsive fractional differential equations to integral equations. Second, we construct a weighted function space and prove the completely continuous property of a nonlinear operator. Finally, we establish existence results for solutions of a boundary value problem for a nonlinear impulsive fractional differential system. Our analysis relies on the well-known Schauder fixed point theorem. An example is given to illustrate main results.
Similar content being viewed by others
1 Introduction
Fractional differential equations have many applications in modeling of physical and chemical processes [1, 2]. In its turn, mathematical aspects of fractional differential equations and methods of their solutions were discussed by many authors; see the text books [3–5]. Existence of solutions or positive solutions of boundary value problems (BVPs for short) of fractional differential equations with or without impulse effects have been studied by many authors; see [6–16] and [17–19].
In recent years, some authors have studied the solvability or existence of positive solutions of BVPs of fractional differential systems [20–28]. In order to show motivations of this paper, we address some of them.
In [29], Su investigated the existence of positive solutions (continuous on \([0,1]\)) of the following boundary value problem of nonlinear multi-term fractional differential system:
where \(\alpha,\beta\in(1,2)\), \(D_{0+}\) is the Riemann-Liouville fractional derivative, \(0< p<\beta-1\), \(0< q<\alpha-1\), \(\gamma\eta ^{\alpha-1}<1\), and \(\gamma\eta^{\beta-1}<1\), \(f,g:[0,1]\times \mathbb {R}^{+}\times \mathbb {R}\to \mathbb {R}\) are continuous functions.
In [30], authors studied the existence of multiple positive solutions (continuous on \([0,1]\)) of the following boundary value problem of N-dimension nonlinear fractional differential system:
where \(\alpha_{i}\in(1,2)\), \(D_{0+}\) is the Riemann-Liouville fractional derivative, \(0<\mu_{i-1}<\alpha_{i}-1\) with \(\mu_{0}=\mu_{N}\), \(f_{i}:[0,1]\times \mathbb {R}^{+}\times \mathbb {R}\to \mathbb {R}\) (\(i=1,2,\ldots,N\)) are continuous functions.
In [31], the authors investigated the existence of positive solutions (continuous on \([0,1]\)) of the following boundary value problem of nonlinear multi-term fractional differential system:
where \(\alpha,\beta\in(1,2)\), \(D_{0+}\) is the Riemann-Liouville fractional derivative, \(0< p\le\beta-1\), \(0< q\le\alpha-1\), \(\gamma\eta ^{\alpha-1}<1\), and \(\gamma\eta^{\beta-1}<1\), \(f,g:[0,1]\times \mathbb {R}^{+}\times \mathbb {R}\to \mathbb {R}\) are continuous functions.
In [32], the authors studied the existence of solutions of the following four-point coupled boundary value problem for nonlinear fractional differential equation:
where \(1 <\alpha,\beta<2\), \(D_{0^{+}}^{*}\), and \(I_{0^{+}}^{*}\) are the standard Riemann-Liouville differentiation and integration, \(f,g:[0,1]\times \mathbb {R}^{4}\to \mathbb {R}\) are continuous functions, \(a,b\in \mathbb {R}\), \(\xi ,\eta\in(0,1)\) with \(ab\xi^{\beta-1}\eta^{\alpha-1}=1\).
In [33], the following four-point boundary value problem of multi-term fractional differential system:
was studied, where \(1 <\alpha,\beta<2\), \(0< m\le\beta-1\), \(0< n\le\alpha -1\), \(\gamma>0\), \(\delta>0\), \(0<\xi<\eta<1\), \(D_{0^{+}}^{*}\) is the standard Riemann-Liouville differentiation, \(f,g:[0,1]\times \mathbb {R}^{4}\to \mathbb {R}\) are continuous functions.
In [34], the authors studied a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations involving Caputo type fractional derivatives. Sufficient conditions for the existence and uniqueness of positive solutions were established by using Banach’s fixed point theorem and Krasnoselskii’s fixed point theorem.
In [35], the authors studied the following 2m-point boundary value problem for a coupled system of impulsive fractional differential equations at resonance:
where \(\alpha,\beta\in(1,2)\), \(\alpha-q\ge1\), \(\beta-p\ge1\), \(0<\xi _{1}<\cdots<\xi_{m}<1\), \(0<\eta_{1}<\cdots<\eta_{m}<1\), \(0<\zeta_{1}<\cdots<\zeta _{m}<1\), and \(0<\theta_{1}<\cdots<\theta_{m}<1\), \(f,g:[0,1]\times \mathbb {R}^{2}\to \mathbb {R}\) satisfy Carathéodory conditions, \(A_{i},B_{i},C_{i},D_{i}:\mathbb {R}\times \mathbb {R}\to \mathbb {R}\), \(\Delta w(t_{i})=w(t_{i}^{+})-w(t_{i}^{-})\), \(\Delta D_{0^{+}}^{r}w(t_{i})=D_{0^{+}}^{r}w(t_{i}^{+})-D_{0^{+}}^{r}w(t_{i}^{-})\) with \(w\in\{u,v\} \) and \(r\in\{p,q\}\), \(w(t^{+}_{i})\) and \(w(t_{i}^{-})\) denote the right and left limits of \(w(t)\) at \(t = t_{i}\), respectively, and the fractional derivative is understood in the Riemann-Liouville sense. k, m, \(a_{i}\), \(b_{i}\), \(c_{i}\), \(d_{i}\) (\(i=1,2,\ldots,m\)) are fixed constants satisfying \(\sum _{i=1}^{m}a_{i}=\sum _{i=1}^{m}b_{i}=\sum _{i=1}^{m}c_{i}=\sum _{i=1}^{m}d_{i}=1\) and \(\sum _{i=1}^{m}b_{i}\eta_{i}=\sum _{i=1}^{m}d_{i}\theta_{i}\). This system happens to be at resonance in the sense that the associated linear homogeneous coupled system
has \((u(t),v(t))=(h_{1}t^{\alpha-1}+h_{2}t^{\alpha-2},h_{3}t^{\beta -1}+h_{4}t^{\beta-2})\) (\(h_{i}\in R\), \(i=1,2,3,4\)) as a nontrivial solution.
We find in the papers mentioned that f in fractional differential equations is supposed to be continuous, the solutions obtained are also continuous on \([0,1]\). So it is interesting to study the solvability of boundary value problems of singular fractional differential equations and to obtain discontinuous solutions of this kind of problems.
In this paper, we study the existence of solutions of the following boundary value problems (BVP for short) for the multi-term impulsive fractional differential system:
where
-
(a)
\(\alpha,\beta\in(1,2)\), \(0<\delta<\alpha-1\), \(0<\theta <\beta-1\), \(D_{a^{+}}^{b}\) is the Riemann-Liouville fractional derivative of order \(b>0\) with the start point \(a\in R\), see Definition 2.2,
-
(b)
m is a positive integer, \(0=t_{0}< t_{1}< t_{2}<\cdots <t_{m}<t_{m+1}=1\), \(\mathbb {N}_{0}^{m}=\{0,1,2,\ldots,m\}\), and \(\mathbb {N}_{1}^{m}=\{1,2,\ldots ,m\}\),
-
(c)
\(p,q\in C^{0}(0,1)\) there exists \(k_{i}>-1\), \(l_{i}\le0\) with \(2+k_{i}+l_{i}>0\), \(\alpha+l_{1}-\delta>0\), \(\beta+l_{2}-\theta>0\) such that \(|p(t)|\le t^{k_{1}}(1-t)^{l_{1}}\) and \(|q(t)|\le t^{k_{2}}(1-t)^{l_{2}}\) for all \(t\in(0,1)\),
-
(d)
\(f:(0,1)\times \mathbb {R}^{3}\to \mathbb {R}\) is a \((\theta,\beta;p)\)-Carathéodory function, \(g:(0,1)\times \mathbb {R}^{3}\to \mathbb {R}\) a \((\delta,\alpha ;q)\)-Carathéodory function, see Definition 2.3, \(I_{1},J_{1}:\{t_{i}\} \times \mathbb {R}^{3}\to \mathbb {R}\) are \((\theta,\beta)\)-Carathéodory functions, \(I_{2},J_{2}:\{t_{i}\}\times \mathbb {R}^{3}\to \mathbb {R}\) \((\delta,\alpha)\)-Carathéodory functions, see Definition 2.4.
A pair of functions \(u,v:(0,1]\to \mathbb {R}\) is called a solution of (6) if
\(D_{0^{+}}^{\alpha}u\) and \(D_{0^{+}}^{\beta}v\) are an α-well integrable function and a β-well integrable function, respectively, and all equations in (6) are satisfied. Here the definitions of an α-well integrable function and a β-well integrable function may be found in Definition 2.5.
The purpose of this paper is to obtain the results on the existence of solutions of BVP (6) by using the Schauder fixed point theorem [16] under some suitable assumptions. The solutions obtained may be discontinuous on \([0,1]\).
The main features of our paper are as follows. First of all, compared with the well-known papers [29–33], we construct a new Banach space and establish the existence results of solutions of (6). Second, boundary conditions are different from the known ones and impulse effects are imposed. Third, boundary conditions and impulse effects in (6) imply that solutions obtained in this paper are continuous on \((t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)) but they may be unbounded on \((0,1)\). Finally, both \(pf:(t,x,y)\mapsto p(t)f(t,x,y)\) and \(qg:(t,x,y)\mapsto q(t)g(t,x,y)\) may be singular at \(t=0,1\) while in the well-known papers mentioned nonlinearities are supposed to be continuous.
The remainder of the paper is organized as follows: In Section 2, we present some preliminary results. In Section 3, the existence results for solutions of BVP (6) are established. Finally, in Section 4, we present an example to illustrate the main theorems.
2 Preliminary results
In this section, we present some necessary definitions from the fractional calculus theory which can be found in the literature [1–5].
Definition 2.1
[1]
The Riemann-Liouville fractional integral of order \(\alpha>0\) of a function \(h:(a,+\infty)\mapsto R\) is given by
provided that the right-hand side exists.
Definition 2.2
[1]
The Riemann-Liouville fractional derivative of order \(\alpha>0\) of a function \(h:(a,+\infty)\mapsto R\) is given by
where \(n-1\le\alpha< n\), provided that the right-hand side exists.
Lemma 2.1
(Schauder fixed point theorem)
Let Ω be a closed convex subset of the Banach space X. Suppose \(T:\Omega\mapsto \Omega\) and T is compact (i.e., bounded sets in Ω are mapped into relatively compact sets). Then T has a fixed point in Ω.
Remark 2.1
Let \(a< b\). From (2.106) in [5], we have \(D_{a^{+}}^{\gamma}I_{a^{+}}^{\gamma}h(t)=h(t)\), \(t\in[a,b]\), \(\gamma>0\) if f satisfies some suitable assumptions. For example we know \((\int _{a}^{t}h(s)\,ds )'=h(t)\) for all continuous function \(h:[a,b]\to \mathbb {R}\). From (2.108), in [5], for a function \(h:[a,b]\mapsto \mathbb {R}\), if \(D_{a^{+}}^{\alpha}h(t)\) (\(D_{a^{+}}^{\delta}h(t)\), \(D_{a^{+}}^{\alpha-1} h(t)\)) is integrable, then we have \(A,B,C,D\in \mathbb {R}\) such that
These results are generalizations of \(\int h'(s)\,ds=h(t)+C\) and \([\int h(t)\,dt ]'=h(t)\) if h is an absolutely continuous function. If h is a piecewise continuous function, what are the results? We give the following lemma.
Lemma 2.2
Let \(\alpha\in(1,2)\). Suppose that \(h:(0,1]\mapsto \mathbb {R}\) satisfies \(h|_{(t_{i},t_{i+1}]}\), \(D_{0^{+}}^{\alpha-1}h\in C^{0}(t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)), \(\lim _{t\to t_{i}^{+}}(t-t_{i})^{2-\alpha}h(t)\), and \(\lim _{t\to t_{i}^{+}}D_{0^{+}}^{\alpha-1}h(t)\) exist for all \(i\in \mathbb {N}_{0}^{m}\). We can prove that there exist constants \(c_{i,j}\in \mathbb {R}\) (\(i\in N_{0}^{m}\), \(j=1,2\)) such that
and
Proof
Step 1. We first of all prove (10). Since \(\lim _{t\to0^{+}}t^{2-\alpha}h(t)=A_{0}\) exists, for any \(\epsilon>0\), we have \(A_{0}-\epsilon< t^{2-\alpha}h(t)< A_{0}+\epsilon\) for sufficiently small \(t\in(0,t_{1}]\). Then there exists \(A>0\) such that \(|h(t)|\le At^{\alpha-2}\) for all \(t\in(t_{0},t_{1}]\). We have for \(t\in(t_{0},t_{1}]\)
Then \(\int_{0}^{t}(t-v)^{\alpha-1}h(v)\,dv\) is convergent for all \(t\in (t_{0},t_{1}]\). So for \(t\in(0,t_{1}]\), we have
Then \(D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha}h(t)=h(t)\), \(t\in(t_{0},t_{1}]\). For \(t\in(t_{i+1},t_{i+2}]\) (\(i\ge0\)), similar to above discussion, use that \(\lim _{t\to t_{j}^{+}}(t-t_{j})^{2-\alpha}h(t)\) exists, we know that \(\int_{t_{j}}^{t_{j+1}}(t-v)^{\alpha-1}h(v)\,dv\) and \(\int _{t_{i+1}}^{t}(t-v)^{\alpha-1}h(v)\,dv\) are convergent. So \(\int _{0}^{t}(t-v)^{\alpha-1}h(v)\,dv\) is convergent. Then similarly to the above discussion \(D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha}h(t)=h(t)\). The proof of (10) is complete.
Step 2. We prove (9). Let \(D_{0^{+}}^{\alpha}h(t)=H(t)\). Since \(\lim _{t\to0^{+}}t^{2-\alpha}h(t)=A_{0}\) exists, for any \(\epsilon >0\), we have \(A_{0}-\epsilon< t^{2-\alpha}h(t)< A_{0}+\epsilon\) for sufficiently small \(t\in(0,t_{1}]\). Then for sufficiently small \(t\in (0,t_{1}]\), we have
Then
Let \(\epsilon\to0\), we get \(\lim _{t\to0^{+}}\int _{0}^{t}(t-s)^{1-\alpha}h(s)\,ds=A_{0}\mathbf{ B}(2-\alpha,\alpha-1)\). Furthermore, since \(\lim _{t\to0^{+}}D_{0^{+}}^{\alpha-1}h(t)=B\) exists, \(\lim _{t\to0^{+}} (\int_{0}^{t}(t-s)^{1-\alpha}h(s)\,ds )'=\Gamma (2-\alpha)B\) exists by Definition 2.2. So
So
It follows from (11) that (9) holds for \(i=0\). Now we suppose that (9) holds for \(i=0,1,2,\ldots,n< m\). We will prove that (9) holds for \(i=n+1\). Then by the method of mathematical induction, we know (9) holds for all \(i\in \mathbb {N}_{0}^{m}\).
In fact, suppose that
Use the assumption, we get for \(t\in(t_{n+1},t_{n+2}]\)
It follows that \(D_{t_{n+1}^{+}}^{\alpha}\Phi(t)=0\) on \((t_{n+1},t_{n+2}]\). Similarly to the proof of (11), there exist constants \(c_{1,n+1},c_{2,n+1}\in R\) such that \(\Phi (t)=c_{1,n+1}(t-t_{n+1})^{\alpha-1}+c_{2,n+1}(t-t_{n+1})^{\alpha-2}\). Substituting \(\Phi(t)\) into (12), we know that (9) holds for \(i=n+1\). This completes the proof of (9). □
Remark 2.2
Let \(\delta\in(0,1)\). Suppose that \(h:(0,1]\to \mathbb {R}\) satisfies \(h|_{(t_{i},t_{i+1}]}\in C^{0}(t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)) and \(\lim _{t\to t_{i}^{+}}(t-t_{i})^{1-\delta}h(t)\) exists for all \(i\in \mathbb {N}_{0}^{m}\). We can prove that there exist constants \(c_{i}\in \mathbb {R}\) (\(i\in \mathbb {N}_{0}^{m}\)) such that
Proof
The proof is similar to that of Lemma 2.2 and is omitted. □
Definition 2.3
Let \(b>0\), \(c,d\in R\) with \(c< d\) be fixed. A function \(h:(c,d)\to \mathbb {R}\) is called a b-well integrable function on \((c,d)\) if both \(\int_{0}^{t}(t-s)^{b-1}|h(s)|\,ds\) and \(\int _{0}^{t}(t-s)^{b-1}h(s)\,ds\) are convergent for all \(t\in[c,d]\).
Definition 2.4
Let \(b\in(1,2)\) and \(a\in(0,b-1)\) and \(\mu :(0,1)\to R\). \(h:(0,1)\times \mathbb {R}^{3}\to \mathbb {R}\) is called a \((a,b;\mu )\)-Carathéodory function if
-
(i)
\(t\mapsto\mu(t)h (t,\frac{x_{1}}{(t-t_{i})^{2-b}},\frac {x_{2}}{(t-t_{i})^{2+a-b}},x_{3} )\) is a b-well integrable function on \((0,1]\) for every \((x_{1},x_{2},x_{3})\in \mathbb {R}^{3}\),
-
(ii)
\((x_{1},x_{2},x_{3})\mapsto h (t,\frac {x_{1}}{(t-t_{i})^{2-b}},\frac{x_{2}}{(t-t_{i})^{2+a-b}},x_{3} )\) is continuous on \(\mathbb {R}^{3}\) for each \(t\in(t_{i},t_{i+1})\) (\(i\in \mathbb {N}_{0}^{m}\)),
-
(iii)
for each \(r>0\), there exists \(M_{r}>0\) such that \(|x_{i}|\le r\) (\(i=1,2,3\)) imply that
$$\biggl\vert h \biggl(t,\frac{x_{1}}{(t-t_{i})^{2-b}},\frac {x_{2}}{(t-t_{i})^{2+a-b}},x_{3} \biggr)\biggr\vert \le M_{r},\quad t\in(t_{i},t_{i+1}),i \in \mathbb {N}_{0}^{m}. $$
Definition 2.5
Let \(b\in(1,2)\) and \(a\in(0,b-1)\). \(I:\{ t_{i}:i\in \mathbb {N}_{1}^{m}\}\times \mathbb {R}^{3}\to \mathbb {R}\) is a \((a,b)\)-Carathéodory function if
-
(i)
\((x_{1},x_{2},x_{3})\mapsto I (t_{i},\frac {x_{1}}{(t_{i}-t_{i-1})^{2-b}},\frac{x_{2}}{(t_{i}-t_{i-1})^{2+a-b}},x_{3} )\) is continuous on \(\mathbb {R}^{3}\) for each \(i\in N_{1}^{m}\),
-
(ii)
for each \(r>0\), there exists \(M_{I,r}>0\) such that \(|x_{i}|\le r\) (\(i=1,2,3\)) imply that
$$\biggl\vert I \biggl(t_{i},\frac{x_{1}}{(t_{i}-t_{i-1})^{2-b}},\frac {x_{2}}{(t_{i}-t_{i-1})^{2+a-b}},x_{3} \biggr)\biggr\vert \le M_{I,r},\quad i\in \mathbb {N}_{1}^{m}. $$Choose
$$\begin{aligned} X_{\delta,\alpha} =& \Bigl\{ u:(0,1]\to R , u, D^{\delta}u, D^{\alpha-1}u \in C^{0}(t_{i},t_{i+1}],i\in \mathbb {N}_{0}^{m},\\ &\hbox{the following limits exist: } \lim _{t\to t_{i}^{+}}(t-t_{i})^{2-\alpha}u(t), i\in \mathbb {N}_{0}^{m},\\ & \lim _{t\to t_{i}^{+}}(t-t_{i})^{2+\delta-\alpha}D_{0^{+}}^{\delta}u(t),i\in \mathbb {N}_{0}^{m}, \lim _{t\to t_{i}^{+}}D_{0^{+}}^{\alpha-1}u(t),i \in \mathbb {N}_{0}^{m} \Bigr\} . \end{aligned}$$For \(u\in X_{\delta,\alpha}\), define
$$\|u\|=:\|u\|_{\delta,\alpha}=\max \left \{ \textstyle\begin{array}{l}\displaystyle\sup _{t\in(t_{i},t_{i+1}]}(t-t_{i})^{2-\alpha }\bigl|u(t)\bigr|\\ \displaystyle\sup _{t\in(t_{i},t_{i+1}]}(t-t_{i})^{2+\delta-\alpha}\bigl|D_{0^{+}}^{\delta}u(t)\bigr|\\ \displaystyle\sup _{t\in(t_{i},t_{i+1}]}\bigl|D_{0^{+}}^{\alpha-1}u(t)\bigr| \end{array}\displaystyle :i\in \mathbb {N}_{0}^{m} \right \}. $$
Lemma 2.3
\(X_{\delta,\alpha}\) is a Banach space with the norm defined.
Proof
In fact, it is easy to see that X is a normed linear space with the norm \(\|\cdot\|\). Let \(\{x_{u}\}\) be a Cauchy sequence in \(X_{\delta,\alpha}\). Then \(\|x_{u}-x_{v}\|\to0\), \(u,v \to+\infty\). It follows that
Denote \(x_{u,i}=x_{u}|_{(t_{i},t_{i+1}]}\). Since
exist, we know that \(t\mapsto(t-t_{i})^{2-\alpha}x_{u,i}(t)\) are continuous on \([t_{i},t_{i+1}]\). Thus \(t\mapsto(t-t_{i})^{2-\alpha}x_{u,i}(t)\) are Cauchy sequences in \(C[t_{i},t_{i+1}]\). So \((t-t_{i})^{2-\alpha }x_{u,i}(t)\) uniformly converges to some \(x_{0,i}\) in \(C[t_{i},t_{i+1}]\) as \(u\to+\infty\). It follows that
That is,
Let \(x_{0}(t)=(t-t_{i})^{\alpha-2}x_{0,i}(t)\) for \(t\in(t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)). It is easy to see that \(x_{0}\in C^{0}(t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)) and the limit \(\lim _{t\to t_{i}^{+}}(t-t_{i})^{2-\alpha}x_{0}(t)\) exists for all \(i\in \mathbb {N}_{0}^{m}\).
Similarly there exist \(y_{0,i},z_{0,i}:(0,1]\to \mathbb {R}\) such that
Let \(y_{0}(t)= (t-t_{i})^{\alpha-\delta-2}y_{0,i}(t)\) and \(z_{0}(t)=z_{0,i}(t)\) for \(t\in(t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)). Then \(y_{0},z_{0}\in C^{0}(t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)) and the limits \(\lim _{t\to t_{i}^{+}}(t-t_{i})^{2+\delta-\alpha}y_{0}(t)\) and \(\lim _{t\to t_{i}^{+}}z_{0}(t)\) exist for all \(i\in \mathbb {N}_{0}^{m}\).
Furthermore, using Lemma 2.2, for \(t\in(t_{i},t_{i+1}]\) there exists \(c_{uj}\in \mathbb {R}\) such that
Then \(\lim _{u\to+\infty} [x_{u}(t)+\sum _{j=0}^{i}c_{uj}(t-t_{j})^{\delta-1} ]=I_{0^{+}}^{\delta}y_{0}(t)\). So \((t-t_{i})^{\alpha-2}x_{0,i}(t)+\sum _{j=0}^{i}c_{0j}(t-t_{j})^{\delta -1}=I_{0^{+}}^{\delta}y_{0}(t)\) (\(i\in \mathbb {N}_{0}^{m}\)). It follows that \(x_{0}(t)+\sum _{j=0}^{i}c_{0j}(t-t_{j})^{\delta-1}=I_{0^{+}}^{\delta}y_{0}(t)\). Thus \(y_{0}(t)=D_{0^{+}}^{\delta}x_{0}(t)\) for \(t\in(t_{i},t_{i+1}]\).
We have similarly for \(t\in(t_{i},t_{i+1}]\)
Then \(\lim _{u\to+\infty} [x_{u}(t)+\sum _{j=0}^{i}c_{uj}(t-t_{j})^{\alpha-2} ]=I_{0^{+}}^{\alpha-1}z_{0}(t)\). So \((t-t_{i})^{\alpha-2}x_{0,i}(t)+\sum _{j=0}^{i}c_{0j}(t-t_{j})^{\alpha -2}=I_{0^{+}}^{\alpha-1}z_{0}(t)\) (\(i\in \mathbb {N}_{0}^{m}\)). It follows that \(x_{0}(t)+\sum _{j=0}^{i}c_{0j}(t-t_{j})^{\alpha-2}=I_{0^{+}}^{\alpha-1}z_{0}(t)\). Thus \(z_{0}(t)=D_{0^{+}}^{\alpha-1} x_{0}(t)\) for \(t\in(t_{i},t_{i+1}]\).
From the above discussion, we know that \(x_{u}\to x_{0}\) as \(u\to+\infty\) in \(X_{\delta,\alpha}\). It follows that \(X_{\delta,\alpha}\) is a Banach space. The proof is complete. □
Denote \(E=X_{\delta,\alpha}\times X_{\theta,\beta}\). Define \(\|(x,y)\| \max\{\|x\|_{\delta,\alpha},\|y\|_{\theta,\beta}\}\). Then E is a Banach space. For \(y\in X_{\theta,\beta}\) and \(x\in X_{\delta,\alpha}\), denote
Lemma 2.4
Suppose that (a)-(d) hold and \((x,y)\in E\). Then \((u,v)\in E\) is a solution of
if and only if
and
Proof
From \(x\in X\) and \(y\in Y\), we see that there exists a constant \(r>0\) such that \(\|x\|=r<+\infty\). Then there exist constants \(M_{r,f},M_{r,g},M_{1,r,I},M_{2,r,I},M_{1,r,J},M_{2,r,J}\ge0\) such that
and similarly
Hence
This means \(F_{y}\) is an α-integral function. Similarly we get
From \(u\in X\) and (9) in Lemma 2.3, we know that there exist constants \(A_{i}\), \(B_{i}\) (\(i\in \mathbb {N}_{0}^{m}\)) such that
So
and
From \(D_{0^{+}}^{\alpha-1}u(0)=0 \) and \(u(1)=0\) imply that \(A_{0}=0\) and
Now we get by using the impulse conditions
Together with (21), we obtain
Substitute \(A_{i}\), \(B_{i}\) into (19), we get (14). Similarly we get (15).
Now we suppose that u satisfies (14) and v satisfies (15). We will prove that \(u\in X\) and \(v\in Y\), u, v is a solution of BVP (13).
It is easy to see that \(u\in X\), \(v\in Y\). Furthermore, by direct computation, we get
Then \((u,v)\) is a solution of BVP (13). The proof is completed. □
For \((x,y)\in E\), define \(T(x,y)\) by \(T(x,y)(t)=((T_{1}y)(t),(T_{2}x)(t))\) with
and
Lemma 2.5
Suppose that (a)-(d) hold. Then \(T:E\to E\) is well defined and is completely continuous, \((x,y)\) is a solution of BVP (6) if and only if \((x,y)=T(x,y)\).
Proof
By Lemma 2.4, we know that \(T_{1}y\in X\) and \(T_{2}x\in Y\). Then \(T:E\to E\) is well defined. It is easy to show from Lemma 2.4 that \((x,y)\) is a solution of BVP (6) if and only if \((x,y)=T(x,y)\).
Now, we prove that T is completely continuous. It suffices to prove that \(T_{1}:Y\to X\) and \(T_{2}:X\to Y\) are completely continuous. We divide the proof of completely continuous property of \(T_{1}\) into four steps. Similarly we can prove the completely continuous property of \(T_{2}\).
Step 1. Prove that \(T_{1}\) is continuous.
Let \(y_{n}\in Y\) (\(n=0,1,2,\ldots\)) with \(y_{n}\to y_{0}\) as \(n\to+\infty\). We will prove that \(T_{1}y_{n}\to T_{1}y_{0}\) as \(n\to+\infty\). It is easy to show that there exists \(r>0\) such that \(\|y_{n}\|\le r\), \(n=0,1,2,\ldots\) , and \(\|y_{n}-y_{0}\|\to0\) as \(n\to+\infty\). Then there exist constants \(M_{r,f}, M_{1,r,I}, M_{1,r,J}\ge0\) such that
Using the definition in (22), one sees for \(t\in(t_{i},t_{i+1}]\) that
Similarly we can prove for \(t\in(t_{i},t_{i+1}]\) that
and
By Lebesgue’s dominated convergence theorem, we can show that
Hence \(\|Tx_{n}-Tx_{0}\|\to0\) as \(n\to\infty\). Then T is continuous.
Let \(\Omega_{1}\subseteq X\) and \(\Omega_{2}\subseteq Y\) be bounded sets of X and Y, respectively. Then there exists \(r>0\) such that \(\|x\|,\|y\|\le r\), \(x\in\Omega_{1}\), \(y\in\Omega_{2}\). So there exist constants \(M_{r,f} , M_{r,g} , M_{1,r,I} , M_{2,r,I} , M_{1,r,J} , M_{2,r,J}\ge0\) such that (16) and (17) hold for all \(x\in\Omega _{1}\), \(y\in\Omega_{2}\).
Step 2. Prove that \(\{T_{1}y:y\in\Omega\}\) is bounded.
We have similarly to Step 1 for \(t\in(t_{i},t_{i+1}]\)
It follows that there exists a constant \(M>0\) such that \(\|T_{1}y\|\le M_{1}\) for all \(y\in\Omega_{2}\). Similarly we see that there exists a constant \(M_{1}>0\) such that \(\|T_{2}x\|\le M_{2}\) for all \(x\in\Omega_{1}\). From the above discussion, we see that \(\{T(x,y):x\in\Omega_{1},y\in\Omega_{2}\}\) is bounded.
Step 3. Prove that
are equi-continuous on each \((t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)).
Since \(T:X\rightarrow X\), we can take
Then
are continuous on \([t_{i},t_{i+1}]\) for each \(x\in\Omega\). So
are uniformly continuous, for any \(\varepsilon>0\), there exists \(\delta _{0}>0\), when \(s_{1}, s_{2}\in[t_{i},t_{i+1}]\), \(|s_{1}-s_{2}|<\delta_{0}\), and \(x\in \Omega\), we can get
This shows us that
are equi-continuous on any closed subinterval of \([t_{i},t_{i+1}]\) (\(i\in \mathbb {N}_{0}^{m}\)).
It follows from Steps 1-3 that T is completely continuous. The proof is ended. □
3 Main results
In this section, we prove the main theorem. Suppose that \(\sigma_{j},\tau _{j}\ge0\) (\(j=1,2,3\)) are constants. We need the following assumptions:
-
(H1)
there exist nonnegative constants \(A_{j}\), \(B_{j}\) (\(j=1,2,3\)) and two functions \(\phi_{0}\), \(\psi_{0}\) such that \(p\psi_{0}\) is an α-well integrable function and \(q\phi_{0}\) a β-well integrable function and
$$\begin{aligned}& \biggl\vert f \biggl(t,\frac{y_{1}}{(t-t_{i})^{2-\beta}},\frac {y_{2}}{(t-t_{i})^{2-\beta+\theta}},y_{3} \biggr)-\psi_{0}(t)\biggr\vert \\& \quad\le \sum _{j=1}^{3}A_{j}|y_{j}|^{\sigma_{j}},\quad t\in(t_{i},t_{i+1}], y_{j}\in R\ (j=1,2,3),i\in \mathbb {N}_{0}^{m}0, \\& \biggl\vert g \biggl(t,\frac{x_{1}}{(t-t_{i})^{2-\alpha}},\frac {x_{2}}{(t-t_{i})^{2-\alpha+\delta}},x_{3} \biggr)-\phi_{0}(t)\biggr\vert \\& \quad\le \sum _{j=1}^{3}B_{j}|x_{j}|^{\tau_{j}},\quad t\in(t_{i},t_{i+1}], x_{j}\in R\ (j=1,2,3),i\in \mathbb {N}_{0}^{m}, \end{aligned}$$ -
(H2)
there exist constants \(I_{1i}\), \(J_{1i}\), \(I_{2i}\), \(J_{2i}\) (\(i\in N\)), \(C_{j},D_{j}\ge0\) (\(j=1,2,3\)) such that
$$\begin{aligned}& \biggl\vert I_{1} \biggl(t_{i},\frac{y_{1}}{(t_{i}-t_{i-1})^{2-\beta }}, \frac{y_{2}}{(t_{i}-t_{i-1})^{2-\beta+\theta}},y_{3} \biggr)-I_{1i}\biggr\vert \le\sum _{j=1}^{3}C_{j}|y_{j}|^{\sigma_{j}},\quad i \in \mathbb {N}_{1}^{m}, \\& \biggl\vert J_{1} \biggl(t,\frac{y_{1}}{(t-t_{i})^{2-\beta}},\frac {y_{2}}{(t-t_{i})^{2-\beta+\theta}},y_{3} \biggr)-J_{1i}\biggr\vert \le\sum _{j=1}^{3}D_{j}|y_{j}|^{\sigma_{j}},\quad i \in \mathbb {N}_{1}^{m}, \\& \biggl\vert I_{2} \biggl(t_{i},\frac{x_{1}}{(t_{i}-t_{i-1})^{2-\alpha}}, \frac {x_{2}}{(t_{i}-t_{i-1})^{2-\alpha+\delta}},x_{3} \biggr)-I_{2i}\biggr\vert \le\sum _{j=1}^{3}E_{j}|x_{j}|^{\tau_{j}},\quad i \in \mathbb {N}_{1}^{m}, \\& \biggl\vert J_{2} \biggl(t,\frac{x_{1}}{(t-t_{i})^{2-\alpha}},\frac {x_{2}}{(t-t_{i})^{2-\alpha+\delta}},x_{3} \biggr)-J_{2i}\biggr\vert \le\sum _{j=1}^{3}F_{j}|x_{j}|^{\tau_{j}},\quad i \in \mathbb {N}_{1}^{m}. \end{aligned}$$
Denote
and
Denote
and
Theorem 3.1
Let \(\sigma=\max\{\sigma_{i}\ (i=1,2,3)\}\) and \(\tau =\max\{\tau_{i}\ (i=1,2,3)\}\). Suppose that (a)-(d) and (H1)-(H2) hold. Then BVP (6) has at least one solution if
-
(i)
\(\sigma\tau\in[0,1)\) or
-
(ii)
\(\sigma\tau=1\) with
$$\sum _{j=1}^{3}Q_{j}\|\Phi \|^{\tau_{j}-\tau}< \biggl(\frac{1}{\sum _{j=1}^{3}P_{j}\|\Psi\|^{\sigma_{j}-\sigma}} \biggr) ^{1/\sigma}\quad\textit{or}\quad\sum _{j=1}^{3}P_{j}\|\Psi\|^{\sigma_{j}-\sigma}< \biggl(\frac{1}{\sum _{j=1}^{3}Q_{j}\|\Phi\|^{\tau_{j}-\tau}} \biggr)^{1/\tau} $$or
-
(iii)
\(\sigma\tau>1\) with
$$\begin{aligned}& \frac{\sigma\tau-1}{\|\Psi\|}\sum _{j=1}^{3}Q_{j} \|\Phi\|^{\tau_{j}-\tau } \Biggl[\|\Phi\|+ \biggl(\frac{\sigma\tau\|\Psi\|}{\sigma\tau-1} \biggr)^{\sigma}\sum _{j=1}^{3}P_{j} \|\Psi\|^{\sigma_{j}-\sigma} \Biggr]^{\tau}\le1,\quad\textit{or } \\& \frac{\sigma\tau-1}{\|\Phi\|}\sum _{j=1}^{3}P_{j} \|\Psi\|^{\sigma _{j}-\sigma} \Biggl[\|\Psi\|+ \biggl(\frac{\tau\sigma\|\Phi\|}{\sigma\tau-1 } \biggr)^{\sigma}\sum _{j=1}^{3}Q_{j} \|\Phi\|^{\tau_{j}-\tau} \Biggr]^{\sigma}\le1. \end{aligned}$$
Proof
It is easy to see that \((\Phi,\Psi)\in E\). For \(r_{1},r_{2}>0\), denote \(\Omega_{r_{1},r_{2}}=\{(x,y)\in E:\|x-\Phi\|\le r_{1},\|y-\Psi\|\le r_{2}\}\). One sees that \(\|x\|\le\|x-\Phi\|+\|\Phi\|\le r_{1}+\|\Phi\|\) and \(\| y\|\le r_{2}+\|\Psi\|\) for all \((x,y)\in\Omega_{r_{1},r_{2}}\).
Use (H1), for \((x,y)\in\Omega_{r_{1},r_{2}}\), we have
It follows that
Similarly using (H1)-(H2), we get for \((x,y)\in\Omega_{r}\)
Use (c) and (22), (25), (26), we get for \(t\in(t_{i},t_{i+1}]\)
One has from (22)
Similarly we have
and
It follows that
Similarly we can get
From (27), (28), we will seek \(r_{1},r_{2}>0\) such that
Then one has \(T\Omega_{r_{1},r_{2}}\subseteq\Omega_{r_{1},r_{2}}\). By Schauder’s fixed point theorem, T has at least one fixed point \((x,y)\in\Omega_{r_{1},r_{2}}\) which is a solution of BVP (6). It suffices to get positive solutions of the following inequality:
or
Case 1. \(\sigma\tau<1\).
It is easy to see that
has a positive solution \(r_{1}>0\) sufficiently large. Choose \(r_{2}\) satisfying
Then (29) has positive solutions \(r_{1}>0\) and \(r_{2}>0\). Then \(T(x,y)\in\Omega_{r_{1},r_{2}}\) for \((x,y)\in\Omega_{r_{1},r_{2}}\). By Schauder’s fixed point theorem, T has at least one fixed point \((x,y)\in\Omega_{r_{1},r_{2}}\). Then \((x,y)\) is a solution of BVP (6).
Case 2.1. \(\sigma\tau=1\) and \(\sum _{j=1}^{3}\overline{Q_{j}}\|\Phi\|^{\tau_{j}-\tau} ({\sum _{j=1}^{3}\overline{P_{j}}\|\Psi\|^{\sigma_{j}-\sigma}} )^{1/\sigma}<1 \).
Since
we know that there exists \(r_{1}>0\) sufficiently large such that
Choose \(r_{2}\) satisfying
Then (29) has a positive solution \(r_{1}\), \(r_{2}\). Then \(T(x,y)\in\Omega_{r_{1},r_{2}}\) for \((x,y)\in\Omega_{r_{1},r_{2}}\). By Schauder’s fixed point theorem, T has at least one fixed point \((x,y)\in\Omega_{r_{1},r_{2}}\). Then \((x,y)\) is a solution of BVP (6).
Case 2.2. \(\sigma\tau=1\) and \(\sum _{j=1}^{3}\overline{P_{j}}\|\Psi\|^{\sigma_{j}-\sigma} ({\sum _{j=1}^{3}\overline{Q_{j}}\|\Phi\|^{\tau_{j}-\tau}} )^{1/\tau}<1 \).
Similarly to Case 2.1, use (31), we get solutions of BVP (6) by using the Schauder fixed point theorem.
Case 3. \(\sigma\tau>1\).
Choose
Since
we know that (32) has a positive solution \(r_{1}>0\). Choose \(r_{2}\) such that (33) holds. Then we have \(T(x,y)\in\Omega_{r_{1},r_{2}}\) for \((x,y)\in\Omega _{r_{1},r_{2}}\). By Schauder’s fixed point theorem, T has at least one fixed point \((x,y)\in\Omega_{r_{1},r_{2}}\). Then \((x,y)\) is a solution of BVP (6).
If
we choose
It is easy to verify that \(r_{2}\) satisfies
Choose \(r_{1}\) such that
Then we have \(T(x,y)\in\Omega_{r_{1},r_{2}}\) for \((x,y)\in\Omega _{r_{1},r_{2}}\). By Schauder’s fixed point theorem, T has at least one fixed point \((x,y)\in\Omega_{r_{1},r_{2}}\). Then \((x,y)\) is a solution of BVP (6).
The proof of Theorem 3.1 is completed. □
Theorem 3.2
Suppose that (a)-(d) hold and there exist constants \(M_{f},M_{g},M_{I1},M_{J1},M_{I2}, M_{J2}\ge0\) such that
Then BVP (6) has at least one solution in \(X\times Y\).
Proof
In Theorem 3.1, choose \(\phi_{0}(t)=\psi_{0}(t)=0\), \(\sigma _{1}=\sigma_{2}=\sigma_{3}=\tau_{1}=\tau_{2}=\tau_{3}=0\), \(A_{1}=M_{f}\), \(B_{1}=M_{g}\), \(C_{1}=M_{I1}\), \(D_{1}=M_{J1}\), \(E_{1}=M_{I2}\), \(F_{1}=M_{J2}\), and \(A_{2}=A_{3}=B_{2}=B_{3}=C_{2}=C_{3}=D_{2}=D_{3}=E_{2}=E_{3}=F_{2}=F_{3}=0\). It is easy to see that (H1) and (H2) hold. We get Theorem 3.2 from Theorem 3.1. The proof is completed. □
4 An example
In this section, we present an example to illustrate main theorems.
Example 4.1
Consider the following boundary value problem for the impulsive multi-term fractional differential equation:
where \(a_{i},b_{i}\in \mathbb {R}\) (\(i=0,1,2,3\)), \(I_{1i},I_{2i},J_{1i},J_{2i}\in \mathbb {R}\) (\(i\in \mathbb {N}_{1}^{m}\)) and \(\sigma\ge0\), \(\tau\ge0\), \(0=t_{0}< t_{1}=\frac {1}{11}<\cdots<t_{10}=\frac{1}{2}<t_{11}=1\), \(\mathbb {N}_{0}^{10}=\{0,1,2,\ldots ,10\}\), and \(\mathbb {N}_{1}^{10}=\{1,2,\ldots,10\}\).
Corresponding to BVP (6), we see that \(\alpha=\frac{3}{2}\), \(\beta=\frac {5}{3}\), \(\delta=\frac{1}{8}\), \(\theta=\frac{1}{3}\), \(p(t)=t^{-\frac {1}{4}}(1-t)^{-\frac{1}{4}}\), \(q(t)= t^{-\frac{1}{6}}(1-t)^{-\frac {1}{6}}\), with \(k_{1}=l_{1}=-\frac{1}{4}\), \(k_{2}=l_{2}=-\frac{1}{6}\). We find that \(2+k_{i}+l_{i}>0\) and
One sees that (a)-(d), (H1), (H2) hold with
It is easy to get
and
By direct computation, using Mathlab 7.0, we have
One sees that
implies
Furthermore
implies
It follows from Theorem 3.1 that BVP (10) has at least one solution if
Remark 4.1
It is easy to see that BVP (34) has at least one solution for any \(a_{i}\), \(b_{i}\) (\(i=0,1,2,3\)), \(I_{1i}\), \(J_{1i}\), \(I_{2i}\), \(J_{2i}\) (\(i=1,2,3\)) if \(\sigma\tau <1\). Since sufficiently small \(|a_{i}|\), \(|b_{i}|\) (\(i=1,2,3\)) and fixed \(a_{0}\), \(b_{0}\), \(I_{1i}\), \(J_{1i}\), \(I_{2i}\), \(J_{2i}\) (\(i=1,2,3\)) imply (35) holds, BVP (34) has at least one solution for any \(a_{0}\), \(b_{0}\), \(I_{1i}\), \(J_{1i}\), \(I_{2i}\), \(J_{2i}\) (\(i=1,2,3\)) and sufficiently small \(|a_{i}|\), \(|b_{i}|\) (\(i=1,2,3\)) if \(\sigma\tau=1\). Since sufficiently small \(|a_{i}|\), \(|b_{i}|\) (\(i=1,2,3\)) and fixed \(a_{0}\), \(b_{0}\), \(I_{1i}\), \(J_{1i}\), \(I_{2i}\), \(J_{2i}\) (\(i=1,2,3\)) imply (37) holds, BVP (34) has at least one solution for any \(a_{0}\), \(b_{0}\), \(I_{1i}\), \(J_{1i}\), \(I_{2i} \), \(J_{2i}\) (\(i=1,2,3\)) and sufficiently small \(|a_{i}|\), \(|b_{i}|\) (\(i=1,2,3\)) if \(\sigma\tau>1\).
References
Podlubny, I: Geometric and physical interpretation of fractional integration and fractional differentiation. Dedicated to the 60th anniversary of Prof. Francesco Mainardi. Fract. Calc. Appl. Anal. 5, 367-386 (2002)
Podlubny, I, Heymans, N: Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives. Rheol. Acta 45, 765-771 (2006)
Kilbas, AA, Marichev, OI, Samko, SG: Fractional Integral and Derivatives: Theory and Applications. Gordon and Breach, London (1993)
Mainardi, F: Fractional calculus: some basic problems in continuum and statistical mechanics. In: Carpinteri, A, Mainardi, F (eds.) Fractals and Fractional Calculus in Continuum Mechanics. Springer, New York (1997)
Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999)
Goodrich, CS: Existence of a positive solution to systems of differential equations of fractional order. Comput. Math. Appl. 62, 1251-1268 (2011)
Kang, S, Chen, H, Guo, J: Existence of positive solutions for a system of Caputo fractional difference equations depending on parameters. Adv. Differ. Equ. 2015, Article ID 138 (2015)
Liu, Y, He, T, Shi, H: Existence of positive solutions for Sturm-Liouville BVPs of singular fractional differential equations. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 74, 93-108 (2012)
Liu, Y, Yang, X: Resonant boundary value problems for singular multi-tern fractional differential equations. Differ. Equ. Appl. 5(3), 409-472 (2013)
Liu, Y: 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)
Liu, Y: Existence of solutions of a class of impulsive periodic type BVPs for singular fractional differential systems. Korean J. Math. 23(1), 205-230 (2015)
Liu, Y: New results on the existence of solutions of boundary value problems for singular fractional differential systems with impulse effects. Tbil. Math. J. 8(2), 1-22 (2015)
Liu, Y, Ahmad, B: A study of impulsive multiterm fractional differential equations with single and multiple base points and applications. Sci. World J. 2014, Article ID 194346 (2014)
Liu, Y, Yang, P: IVPs for singular multi-term fractional differential equations with multiple base points and applications. Appl. Math. 41(4), 361-384 (2014)
Li, Y, Zhang, H: Solvability for system of nonlinear singular differential equations with integral boundary conditions. Bound. Value Probl. 2014, Article ID 158 (2014)
Mawhin, J: Topological Degree Methods in Nonlinear Boundary Value Problems. NSFCBMS Regional Conference Series in Mathematics. Am. Math. Soc., Providence (1979)
Babakhani, A, Baleanu, D: Existence of positive solutions for a class of delay fractional differential equations with generalization to N-term. Abstr. Appl. Anal. 2011, Article ID 391971 (2011)
Nyamoradi, N, Bashiri, T, Vaezpour, SM, Baleanu, D: Uniqueness and existence of positive solutions for singular fractional differential equations. Electron. J. Differ. Equ. 2014, Article ID 130 (2014)
Zhou, W, Chu, Y, Baleanu, D: Uniqueness and existence of positive solutions for a multi-point boundary value problem of singular fractional differential equations. Adv. Differ. Equ. 2013, Article ID 114 (2013)
Jleli, M, Samet, B: Existence of positive solutions to a coupled system of fractional differential equations. Math. Methods Appl. Sci. 38(6), 1014-1031 (2015)
Ntouyas, SK, Obaid, M: A coupled system of fractional differential equations with nonlocal integral boundary conditions. Adv. Differ. Equ. 2012, 130 (2012)
Shah, K, Khan, RA: Existence and uniqueness of positive solutions to a coupled system of nonlinear fractional order differential equations with anti periodic boundary conditions. Differ. Equ. Appl. 7(2), 245-262 (2015)
Sun, J, Liu, Y, Liu, G: Existence of solutions for fractional differential systems with anti-periodic boundary conditions. Comput. Math. Appl. 64, 1557-1566 (2012)
Sun, S, Li, Q, Li, Y: Existence and uniqueness of solutions for a coupled system of multi-term nonlinear fractional differential equations. Comput. Math. Appl. 64, 3310-3320 (2012)
Wang, Y, Liu, L, Wu, Y: Positive solutions for a class of higher-order singular semipositone fractional differential systems with coupled integral boundary conditions and parameters. Adv. Differ. Equ. 2014, Article ID 268 (2014)
Wang, J, Xiang, H, Liu, Z: Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations. Int. J. Differ. Equ. 2010, Article ID 186928 (2010)
Zhai, C, Hao, M: Multi-point boundary value problems for a coupled system of nonlinear fractional differential equations. Adv. Differ. Equ. 2015, Article ID 147 (2015)
Zhao, K, Gong, P: Positive solutions of Riemann-Stieltjes integral boundary problems for the nonlinear coupling system involving fractional-order derivatives. Adv. Differ. Equ. 2014, Article ID 254 (2014)
Su, W: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22(1), 64-69 (2009)
Yang, A, Ge, W: Positive solutions for boundary value problems of N-dimension nonlinear fractional differential systems. Bound. Value Probl. 2008, Article ID 437453 (2008). doi:10.1155/2008/437453
Ahmad, B, Nieto, JJ: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838-1843 (2009)
Zou, Y, Liu, L, Cui, Y: The existence of solutions for four-point coupled boundary value problems of fractional differential equations at resonance. Abstr. Appl. Anal. 2014, Article ID 314083 (2014)
Gaber, M, Brikaa, MG: Existence results for a coupled system of nonlinear fractional differential equation with four-point boundary conditions. ISRN Math. Anal. 2011, Article ID 468346 (2011)
Shah, K, Khalil, H, Khan, RA: Investigation of positive solution to a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations. Chaos Solitons Fractals 77, 240-246 (2015)
Zhang, X, Zhu, C, Wu, Z: Solvability for a coupled system of fractional differential equations with impulses at resonance. Bound. Value Probl. 2013, Article ID 80 (2013)
Acknowledgements
The authors would like to thank the referees and the editors for their careful reading and some useful comments on improving the presentation of this paper.
Supported by the Natural Science Foundation of Guangdong province (No. S2011010001900) and Natural science research project for colleges and universities of Guangdong Province (No: 2014KTSCX126).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors, Yang and Liu contributed to each part of this study equally and read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yang, X., Liu, Y. Solvability of a boundary value problem for singular multi-term fractional differential system with impulse effects. Bound Value Probl 2015, 244 (2015). https://doi.org/10.1186/s13661-015-0504-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0504-4