Advertisement

Advances in Difference Equations

, 2019:394 | Cite as

Unique solution for a new system of fractional differential equations

  • Chengbo ZhaiEmail author
  • Xiaolin Zhu
Open Access
Research
  • 71 Downloads

Abstract

In this article, we discuss a new system of fractional differential equations
$$ \textstyle\begin{cases} D_{0^{+}}^{s_{1}} u(t) + f(t,u(t),v(t))=z_{1}(t), \quad 0< t< 1, \\ D_{0^{+}}^{s_{2}} v(t) + g(t,u(t),v(t))=z_{2}(t), \quad 0< t< 1, \\ u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta _{1}} u(0)=0, \qquad D_{0^{+}}^{\beta _{1}} u(1)= b_{1} D_{0^{+}}^{\beta _{1}} u(\eta _{1}), \\ v(0)=v(1)=v^{\prime }(0)=v^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta _{2}} v(0)=0, \qquad D_{0^{+}}^{\beta _{2}} v(1)= b_{2} D_{0^{+}}^{\beta _{2}} v(\eta _{2}), \end{cases} $$
where \(s_{i}=\alpha _{i}+\beta _{i}\), \(\alpha _{i} \in (1,2]\), \(\beta _{i} \in (3,4]\), \(z_{i} :[0,1]\rightarrow [0,+\infty )\) is continuous, \(D_{0^{+}}^{\alpha _{i}}\) and \(D_{0^{+}}^{\beta _{i}}\) are the standard Riemann–Liouville derivatives, \(\eta _{i} \in (0,1)\), \(b_{i} \in (0, {\eta _{i}}^{1-\alpha _{i}})\), \(i=1,2\), and \(f,g\in C([0,1]\times \mathbf{R}^{2} , \mathbf{R})\). We establish the existence and uniqueness of solutions for the problem by a recent fixed point theorem of increasing Ψ-\((h,e)\)-concave operators defined on ordered sets. Furthermore, the results obtained are well proven by means of a specific example.

Keywords

Existence and uniqueness Fractional differential system Ψ-\((h,e)\)-concave operator 

MSC

26A33 34B18 34B15 

1 Introduction

In this article, we investigate the following system of fractional differential equations:
$$ \textstyle\begin{cases} D_{0^{+}}^{s_{1}} u(t) + f(t,u(t),v(t))=z_{1}(t), \quad 0< t< 1, \\ D_{0^{+}}^{s_{2}} v(t) + g(t,u(t),v(t))=z_{2}(t), \quad 0< t< 1, \\ u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta _{1}} u(0)=0, \qquad D_{0^{+}}^{\beta _{1}} u(1)= b_{1} D_{0^{+}}^{\beta _{1}} u(\eta _{1}), \\ v(0)=v(1)=v^{\prime }(0)=v^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta _{2}} v(0)=0, \qquad D_{0^{+}}^{\beta _{2}} v(1)= b_{2} D_{0^{+}}^{\beta _{2}} v(\eta _{2}), \end{cases} $$
(1.1)
where \(s_{i}=\alpha _{i} +\beta _{i}\), \(\alpha _{i} \in (1,2]\), \(\beta _{i} \in (3,4]\), \(z_{i} :[0,1]\rightarrow [0,+\infty )\) is continuous, \(D_{0^{+}}^{\alpha _{i}}\) and \(D_{0^{+}}^{\beta _{i}}\) are the standard Riemann–Liouville derivatives, \(\eta _{i} \in (0,1)\), \(b_{i} \in (0, {\eta _{i}}^{1-\alpha _{i}})\), \(i=1,2\), and \(f,g\in C([0,1]\times \mathbf{R}^{2} , \mathbf{R})\). A pair of functions \((u,v)\in C([0,1]) \times C([0,1])\) is called a solution of system (1.1) if it satisfies (1.1). We seek a new method which is a recent fixed point theorem for Ψ-\((h,e)\)-concave operators to discuss system (1.1).
In the last few decades, fractional problems have attracted wide attention by scholars because of their wide applications and important positions in biology, physics, chemistry, and engineering, see [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28] and the references therein. In [16], Xu and Dong considered the following fractional equation:
$$ \textstyle\begin{cases} -D_{0^{+}}^{\alpha }(\varphi _{p} (D_{0^{+}}^{\beta } u(t))) = f(t,u(t)), \quad 0< t< 1, \\ u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta } u(0)=0, \qquad D_{0^{+}}^{\beta } u(1)= b D_{0^{+}}^{\beta } u(\eta ), \end{cases} $$
(1.2)
where \(\alpha \in (1,2]\), \(\beta \in (3,4]\), \(D_{0^{+}}^{\alpha }\) and \(D_{0^{+}}^{\beta }\) are the Riemann–Liouville derivatives, \(b\in (0,{\eta }^{\frac{1-\alpha }{p -1}})\), \(f\in C([0,1]\times [0,+ \infty ) , [0,+\infty ))\). By using Schauder’s fixed point theorem and the upper and lower solutions method, the existence and uniqueness of solutions were established. On the other hand, fractional system have been investigated extensively, see [29, 30, 31, 32, 33, 34, 35, 36, 37, 38]. In [33], the authors considered the existence of positive solutions for the following fractional system with parameters:
$$ \textstyle\begin{cases} -D_{0^{+}}^{\alpha _{1}}(\varphi _{p_{1}} (D_{0^{+}}^{\beta _{1}} u(t))) = \lambda f(t,u(t),v(t)), \quad 0< t< 1, \\ -D_{0^{+}}^{\alpha _{2}}(\varphi _{p_{2}} (D_{0^{+}}^{\beta _{2}} v(t))) =\mu g(t,u(t),v(t))), \quad 0< t< 1, \\ u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta _{1}} u(0)=0, \qquad D_{0^{+}}^{\beta _{1}} u(1)= b_{1} D_{0^{+}}^{\beta _{1}} u(\eta _{1}), \\ v(0)=v(1)=v^{\prime }(0)=v^{\prime }(1)=0, \qquad D_{0^{+}}^{\beta _{2}} v(0)=0, \qquad D_{0^{+}}^{\beta _{2}} v(1)= b_{2} D_{0^{+}}^{\beta _{2}} v(\eta _{2}), \end{cases} $$
(1.3)
where \(\alpha _{i} \in (1,2]\), \(\beta _{i} \in (3,4]\), \(D_{0^{+}}^{\alpha _{i}}\) and \(D_{0^{+}}^{\beta _{i}}\) are the Riemann–Liouville derivatives, \(\eta _{i} \in (0,1)\), \(b_{i} \in (0,{\eta _{i}}^{\frac{1- \alpha _{i}}{p_{i} -1}})\), \(i=1,2\). \(f,g\in C([0,1]\times \mathbf{R} ^{2} , \mathbf{R})\). The authors applied Guo–Krasnosel’skii’s fixed point theorem to get various existence results for positive solutions in terms of different values of λ and μ.
In the existing literature, most of the scholars have studied the existence of solutions, but there is little discussion about the uniqueness. Moreover, the usual methods used are Guo–Krasnosel’skii’s fixed point theorem, the upper and lower solutions method, monotone iterative method, and fixed index theory. In 2017, the authors [29] used a new method to study the existence and uniqueness of solutions for the following fractional system:
$$ \textstyle\begin{cases} D^{\alpha }u(t) + f(t,v(t)) = a, \quad 0< t< 1, \\ D^{\beta }v(t) + g(t,u(t)) = b, \quad 0< t< 1, \\ u(0)= 0, \qquad u(1)= \int _{0}^{1} \phi (t)u(t)\,dt, \\ v(0)= 0, \qquad v(1)= \int _{0}^{1} \psi (t)v(t)\,dt, \end{cases} $$
(1.4)
where \(1< \alpha ,\beta \leq 2\), \(f,g\in C([0,1]\times (-\infty ,+ \infty ), (-\infty ,+\infty ))\), \(\phi , \psi \in L^{1} [0,1]\), a, b are constants and D denotes the usual Riemann–Liouville derivatives. The authors gave the existence and uniqueness of solutions for the coupled system dependent on constants a and b by using a fixed point theorem of increasing Ψ-\((h,e)\)-concave operators. We found that the method can resolve some new differential systems and can obtain some good unique results.

Inspired by the aforementioned works, in this article, based upon a fixed point theorem of increasing Ψ-\((h,e)\)-concave operators, we aim to establish the existence and uniqueness of solutions for system (1.1). Our results show that the unique solution exists in a product set and can be approximated by making an iterative sequence for any initial point in the product set.

The paper is organized as follows. In Sect. 2, we propose not only some definitions and lemmas to be used to prove our main results, but also some useful properties of Green functions. In Sect. 3, we discuss the existence and uniqueness of solutions to system (1.1). Finally, in Sect. 4, a concrete example is given as the application of our main results.

2 Preliminaries and lemmas

We present here some definitions and related properties of Riemann–Liouville fractional derivatives and integrals. Some auxiliary results which will be used to prove our main results are also given.

Definition 2.1

([39, 40])

The Riemann–Liouville fractional integral of order \(\alpha >0\) of a continuous function \(f:(0,+\infty )\rightarrow \mathbf{(-\infty , +\infty )}\) is given by
$$ I_{0^{+}}^{\alpha }f(t)=\frac{1}{\varGamma (\alpha )} \int _{0}^{t}(t-s)^{ \alpha -1}f(s)\,ds, $$
provided the right-hand side is pointwise defined on \((0, +\infty )\).

Definition 2.2

([39, 40])

The Riemann–Liouville fractional derivative of order \(\alpha >0\) of a continuous function \(f:(0,+ \infty )\rightarrow \mathbf{(-\infty , +\infty )}\) is given by
$$ D_{0^{+}}^{\alpha }f(t)=\frac{1}{\varGamma (n-\alpha )} \biggl(\frac{d}{dt} \biggr) ^{n} \int _{0}^{t} (t-s)^{n-\alpha -1} f(s)\,ds, $$
where \(n=[\alpha ]+1\), \([\alpha ]\) denotes the integer part of the number α, provided that the right-hand side is pointwise defined on \((0, +\infty )\).

From Lemmas 2.3, 2.5 in [33], we can easily get the following conclusions.

Lemma 2.1

Let\(s_{1}=\alpha _{1}+\beta _{1}\), \(\alpha _{1} \in (1,2]\), \(\beta _{1} \in (3,4]\), \(\eta _{1}\in (0,1)\), \(b_{1} \in (0, {\eta _{1}}^{1-\alpha _{1}})\). If\(y_{1} \in C[0,1]\), then the following fractional boundary value problem
$$ \textstyle\begin{cases} D_{0^{+}}^{s_{1}} u(t) + y_{1} (t)=0, \quad 0< t< 1, \\ u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0, \\ D_{0^{+}}^{\beta _{1}} u(0)=0, \qquad D_{0^{+}}^{\beta _{1}} u(1)= b_{1} D_{0^{+}}^{\beta _{1}} u(\eta _{1}), \end{cases} $$
(2.1)
has a unique solution
$$ u(t)= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )y_{1} (\tau )\,d \tau \,ds, $$
where
$$ \begin{gathered} G_{1} (t,s)= \frac{1}{\varGamma (\beta _{1})} \textstyle\begin{cases} t^{\beta _{1} -2}(1-s)^{\beta _{1} - 2}[(s-t)+(\beta _{1} - 2)(1-t)s], \\\quad 0 \leqslant t \leqslant s \leqslant 1, \\ t^{\beta _{1} -2}(1-s)^{\beta _{1} - 2}[(s-t)+(\beta _{1} - 2)(1-t)s] + (t-s)^{ \beta _{1} -1}, \\\quad 0 \leqslant s \leqslant t \leqslant 1, \end{cases}\displaystyle \\ H_{1}(t,s)=h_{1}(t,s)+ \frac{b_{1} t^{\alpha _{1} -1}}{1-b_{1} \eta _{1} ^{\alpha _{1} -1} } h_{1}(\eta _{1}, s), \\ h_{1}(t,s)=\frac{1}{\varGamma (\alpha _{1})} \textstyle\begin{cases} [t(1-s)]^{\alpha _{1} -1}, & 0 \leqslant t \leqslant s \leqslant 1, \\ {[t(1-s)]^{\alpha _{1} -1}} - (t-s)^{\alpha _{1} -1}, & 0 \leqslant s \leqslant t \leqslant 1. \end{cases}\displaystyle \end{gathered} $$
(2.2)

Lemma 2.2

Let\(s_{2}=\alpha _{2}+\beta _{2}\), \(\alpha _{2} \in (1,2]\), \(\beta _{2} \in (3,4]\), \(\eta _{2}\in (0,1)\), \(b_{2} \in (0, {\eta _{2}}^{1-\alpha _{2}})\). If\(y_{2} \in C[0,1]\), then the following fractional boundary value problem
$$ \textstyle\begin{cases} D_{0^{+}}^{s_{2}} v(t) + y_{2} (t)=0, \quad 0< t< 1, \\ v(0)=v(1)=v^{\prime }(0)=v^{\prime }(1)=0, \\ D_{0^{+}}^{\beta _{2}} v(0)=0, \qquad D_{0^{+}}^{\beta _{2}} v(1)= b_{2} D_{0^{+}}^{\beta _{2}} v(\eta _{2}), \end{cases} $$
(2.3)
has a unique solution
$$ v(t)= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )y_{2} (\tau )\,d \tau \,ds, $$
where
$$ \begin{gathered} G_{2} (t,s)= \frac{1}{\varGamma (\beta _{2})} \textstyle\begin{cases} t^{\beta _{2} -2}(1-s)^{\beta _{2} - 2}[(s-t)+(\beta _{2} - 2)(1-t)s], \\\quad 0 \leqslant t \leqslant s \leqslant 1, \\ t^{\beta _{2} -2}(1-s)^{\beta _{2} - 2}[(s-t)+(\beta _{2} - 2)(1-t)s] + (t-s)^{ \beta _{2} -1}, \\\quad 0 \leqslant s \leqslant t \leqslant 1, \end{cases}\displaystyle \\ H_{2}(t,s)=h_{2}(t,s)+ \frac{b_{2} t^{\alpha _{2} -1}}{1-b_{2} \eta _{2} ^{\alpha _{2} -1} } h_{2}(\eta _{2}, s), \\ h_{2}(t,s)=\frac{1}{\varGamma (\alpha _{2})} \textstyle\begin{cases} [t(1-s)]^{\alpha _{2} -1}, & 0 \leqslant t \leqslant s \leqslant 1, \\ {[t(1-s)]^{\alpha _{2} -1}} - (t-s)^{\alpha _{2} -1}, & 0 \leqslant s \leqslant t \leqslant 1. \end{cases}\displaystyle \end{gathered} $$
(2.4)

From Lemmas 2.4, 2.6 in [33], we can easily get the following lemma.

Lemma 2.3

The functions\(G_{i} (t,s)\), \(i=1,2\), defined by (2.2) and (2.4) have the following properties:
  1. (i)

    \(G_{i} (t,s)\)is continuous on\([0,1]\times [0,1]\)and\(G_{i} (t,s)>0\)for all\((t,s)\in (0,1)\times (0,1)\);

     
  2. (ii)

    \((\beta _{i} - 2)k_{i}(t)r_{i}(s) \leqslant \varGamma (\beta _{i})G _{i} (t,s)\leqslant M_{i} r_{i} (s)\), \((t,s)\in [0,1]\times [0,1] \);

     
  3. (iii)

    \((\beta _{i} - 2)k_{i}(t)r_{i}(s) \leqslant \varGamma (\beta _{i})G _{i} (t,s)\leqslant M_{i} k_{i} (s)\), \((t,s)\in [0,1]\times [0,1] \);

     
where
$$\begin{aligned}& k_{i}(t)=t^{\beta _{i} - 2} (1-t)^{2}, \qquad r_{i}(s)=s^{2} (1-s)^{\beta _{i} -2}, \\& M_{i}= \max \bigl\{ \beta _{i} -1, (\beta _{i} -2)^{2}\bigr\} . \end{aligned}$$

Let \((X,\|\cdot \|)\) be a real Banach space with a partial order induced by a cone \(P\subset X\). For any \(x,y\in X\), the notation \(x\sim y\) denotes that there are \(\lambda >0\) and \(\mu >0\) such that \(\lambda x \leqslant y \leqslant \mu x\). Given \(h>\theta \) (i.e., \(h\geq \theta \) and \(h\neq \theta \)), we consider a set \(P_{h}=\{x\in X|x\sim h\}\). It is clear that \(P_{h}\subset P\). Let \(e\in P\) with \(\theta \leqslant e \leqslant h\), we define \(P_{h,e}=\{x\in X\mid x+e\in P_{h}\}\).

Now, we present the definition of Ψ-\((h,e)\)-concave operator and a fixed point theorem which can be easily used to study some systems of differential equations.

Definition 2.3

([4])

Suppose that \(T:P_{h,e}\rightarrow X\) is a given operator which satisfies: for any \(x\in P_{h,e}\) and \(\xi \in (0,1)\), there exists \(\varPsi (\xi )>\xi \) such that
$$ T\bigl(\xi x+(\xi -1)e\bigr)\geqslant \varPsi (\xi )Tx+\bigl(\varPsi (\xi )-1\bigr)e. $$
Then T is called a Ψ-\((h,e)\)-concave operator.

Lemma 2.4

([4])

Assume thatTis an increasingΨ-\((h,e)\)-concave operator satisfying\(Th\in P_{h,e}\)andPis normal. ThenThas a unique fixed point\(x^{\ast }\)in\(P_{h,e}\). For any\(w_{0}\in P_{h,e}\), constructing the sequence\(w_{n}=Tw_{n-1}\), \(n = 1,2,\ldots \) , then\(\| w_{n}-x^{\ast }\| \rightarrow 0\)as\(n\rightarrow \infty \).

For\(h_{1}, h_{2} \in P\)with\(h_{1} , h_{2} \neq \theta \). Suppose\(h=(h_{1},h_{2})\), then\(h\in \bar{P} := P\times P\). Take\(\theta \leqslant e_{1} \leqslant h_{1}\), \(\theta \leqslant e_{2} \leqslant h _{2}\), and write\(\bar{\theta } = (\theta ,\theta )\), \(e=(e_{1},e_{2})\). Then\(\bar{\theta } = (\theta ,\theta ) \leqslant (e_{1},e_{2})\leqslant (h_{1}, h_{2})=h\). That is, \(\bar{\theta } \leqslant e \leqslant h\). IfPis normal, then\(\bar{P} = (P,P)\)is normal.

Lemma 2.5

([31])

\(\bar{P}_{h} = P_{h_{1}} \times P_{h_{2}}\).

Lemma 2.6

([31])

\(\bar{P}_{h,e} = P_{h_{1},e_{1}} \times P_{h _{2},e_{2}}\).

3 Main results

In this section, let \(X = \{ u \mid u\in C[0,1]\}\), a Banach space with the norm \(\|u\| = \sup \{|u(t)|:t\in [0,1]\}\). We will consider (1.1) in \(X\times X\). For \((u,v)\in X\times X\), let \(\|(u,v)\|= \max \{\|u\|,\|v\|\}\). Then \((X\times X, \|(u,v)\|)\) is a Banach space. Let \(\bar{P}= \{(u,v)\in X\times X \mid u(t)\geqslant 0, v(t)\geqslant 0, t\in [0,1] \}\), \(P=\{u\in X \mid u(t)\geqslant 0, t\in [0,1]\}\), then the cone \(\bar{P} \subset X\times X\) and \(\bar{P} = P\times P\) is normal, and the space \(X\times X\) has a partial order: \((u_{1},v_{1}) \leqslant (u_{2},v_{2})\) if and only if \(u_{1}(t) \leqslant u_{2}(t)\), \(v_{1}(t) \leqslant v_{2}(t)\), \(t\in [0,1]\).

Lemma 3.1

Suppose that\(f(t,u,v)\), \(g(t,u,v)\)are continuous. By Lemmas2.1, 2.2and the result of [33], we can claim that\((u,v)\in X\times X\)is a solution of problem (1.1) if and only if\((u,v)\in X\times X\)is a solution of the following equations:
$$ \textstyle\begin{cases} u(t)=\int _{0}^{1}G_{1} (t,s)\int _{0}^{1}H_{1}(s,\tau )f(\tau , u( \tau ), v(\tau ))\,d\tau \,ds - \int _{0}^{1}G_{1} (t,s)\int _{0}^{1}H_{1}(s, \tau )z_{1} (\tau )\,d\tau \,ds, \\ v(t)=\int _{0}^{1}G_{2} (t,s)\int _{0}^{1}H_{2}(s,\tau )g(\tau , u( \tau ), v(\tau ))\,d\tau \,ds - \int _{0}^{1}G_{2} (t,s)\int _{0}^{1}H_{2}(s, \tau )z_{2} (\tau )\,d\tau \,ds. \end{cases} $$
For\((u,v)\in X\times X\), we consider three operators\(A_{1} , A_{2}: X\times X \rightarrow X\)and\(T: X\times X\rightarrow X\times X\)by
$$\begin{aligned}& \begin{aligned} A_{1} (u,v) (t) &= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )f\bigl( \tau , u(\tau ), v(\tau )\bigr)\,d\tau \,ds \\ &\quad {}- \int _{0}^{1}G_{1} (t,s) \int _{0} ^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds, \end{aligned} \\& \begin{aligned} A_{2} (u,v) (t) &= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )g\bigl( \tau , u(\tau ), v(\tau )\bigr)\,d\tau \,ds \\ &\quad {}- \int _{0}^{1}G_{2} (t,s) \int _{0} ^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds, \end{aligned} \\& T(u,v) (t)= \bigl(A_{1} (u,v) (t),A_{2} (u,v) (t) \bigr). \end{aligned}$$
According to the above results, we can easily get that\((u,v)\in X \times X\)is a solution of system (1.1) if and only if\((u,v)\in X \times X\)is a fixed point of operatorT. Let
$$ \begin{gathered} e_{1} (t)= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )z_{1} ( \tau )\,d\tau \,ds, \\ e_{2} (t)= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )z_{2} ( \tau )\,d\tau \,ds, \\ h_{1}(t)= N_{1} t^{\beta _{1} -2} (1-t)^{2}, \qquad h_{2}(t)= N_{2} t^{\beta _{2} -2} (1-t)^{2}, \quad t\in [0,1], \end{gathered} $$
(3.1)
where
$$\begin{aligned}& N_{1} \geqslant {\frac{M_{1}}{\varGamma (\beta _{1})}} \int _{0}^{1} \int _{0}^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds, \\& N_{2} \geqslant {\frac{M_{2}}{\varGamma (\beta _{2})}} \int _{0}^{1} \int _{0}^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds, \end{aligned}$$
with\(M_{i}\), \(i=1,2\), given as in Lemma 2.3.

Theorem 3.1

Let\(\alpha _{i}\in (1,2]\), \(\beta _{i}\in (3,4]\), \(z_{i}:[0,1]\rightarrow (0,+\infty )\)be continuous and\(e_{1}\), \(e_{2}\), \(h_{1}\), \(h_{2}\)be given as in (3.1). Assume that\(f,g\in C([0,1]\times \mathbf{R}^{2} , \mathbf{R})\)and\(z_{1}, z_{2} \in C([0,1],[0,+ \infty ])\). Moreover,
\((H_{1})\)

\(f:{[0,1]\times [{-{e_{1}}^{\ast }} , +\infty ) \times [ {-{e_{2}}^{\ast }} , +\infty )} \rightarrow {(-\infty ,+\infty )}\)and\(g:[0,1]\times [-{e_{1}}^{\ast }, +\infty )\times [-{e_{2}}^{\ast }, + \infty ) \rightarrow (-\infty ,+\infty )\)are both increasing with respect to the second and third variables, where\({e_{1}}^{\ast }= \max \{e_{1}(t): t\in [0,1]\}\)and\({e_{2}}^{\ast }= \max \{e_{2}(t): t\in [0,1]\}\);

\((H_{2})\)
for\(\xi \in (0,1)\), there exists\(\psi (\xi )> \xi \)such that
$$\begin{aligned}& f \bigl(t,\xi x_{1}+ (\xi -1)y_{1}, \xi x_{2} +(\xi -1)y_{2} \bigr)\geqslant \psi (\xi )f(t,x_{1},x_{2}), \\& g \bigl(t,\xi x_{1}+ (\xi -1)y_{1}, \xi x_{2} +(\xi -1)y_{2} \bigr)\geqslant \psi (\xi )g(t,x_{1},x_{2}), \end{aligned}$$
where\(t\in [0,1]\), \(x_{1},x_{2} \in (-\infty ,+\infty )\), \(y_{1} \in [0, {e_{1}}^{\ast }]\)and\(y_{2} \in [0, {e_{2}}^{\ast }]\);
\((H_{3})\)

\(f(t,0,0)\geqslant 0\), \(g(t,0,0)\geqslant 0\), with\(f(t,0,0)\not \equiv 0\), \(g(t,0,0)\not \equiv 0\)for\(t\in [0,1]\).

Then:
  1. (1)
    system (1.1) has a unique solution\((u^{\ast },v^{\ast })\)in\(\bar{P}_{h,e}\), where
    $$ e(t)= \bigl(e_{1}(t), e_{2}(t) \bigr), \qquad h(t)= \bigl(h_{1}(t),h_{2}(t) \bigr), \quad t\in [0,1]; $$
     
  2. (2)
    for a given point\((u_{0},v_{0})\in \bar{P}_{h,e}\), construct the following sequences:
    $$\begin{aligned}& \begin{aligned} u_{n+1}(t) &= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )f\bigl( \tau , u_{n} (\tau ), v_{n} (\tau )\bigr)\,d\tau \,ds\\ &\quad {} - \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds, \end{aligned} \\& \begin{aligned} v_{n+1}(t) &= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )g\bigl( \tau , u_{n} (\tau ), v_{n} (\tau )\bigr)\,d\tau \,ds \\ &\quad {}- \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds, \end{aligned} \end{aligned}$$
    \(n=0,1,2,\ldots \) , we have\(u_{n+1}(t) \rightarrow u^{\ast }(t)\), \(v_{n+1}(t) \rightarrow v^{\ast }(t)\)as\(n\rightarrow \infty \).
     

Proof

According to the properties of \(G_{i} (t,s)\), since \(H_{i}(t,s)\geqslant 0\), \(i=1,2\), we can get
$$\begin{aligned}& e_{1} (t)= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )z_{1} ( \tau )\,d\tau \,ds\geqslant 0,\quad t\in [0,1], \\& e_{2} (t)= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )z_{2} ( \tau )\,d\tau \,ds\geqslant 0,\quad t\in [0,1]. \end{aligned}$$
From Lemma 2.3, one can obtain that, for \(t\in [0,1]\),
$$\begin{aligned}& \begin{aligned} e_{1}(t) &= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )z_{1} ( \tau )\,d\tau \,ds \\ &\leqslant \int _{0}^{1} \frac{M_{1} k_{1}(t)}{\varGamma (\beta _{1})} \int _{0}^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds \\ &= {\frac{M_{1}}{\varGamma (\beta _{1})}} t^{\beta _{1} -2} (1-t)^{2} \int _{0}^{1} \int _{0}^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds \\ &\leqslant N_{1} t^{\beta _{1} -2} (1-t)^{2} = h_{1}(t); \end{aligned} \\& \begin{aligned} e_{2}(t) &= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )z_{1} ( \tau )\,d\tau \,ds \\ &\leqslant \int _{0}^{1} \frac{M_{2} k_{2}(t)}{\varGamma (\beta _{2})} \int _{0}^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds \\ &= {\frac{M_{2}}{\varGamma (\beta _{2})}} t^{\beta _{2} -2} (1-t)^{2} \int _{0}^{1} \int _{0}^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds \\ &\leqslant N_{2} t^{\beta _{2} -2} (1-t)^{2}=h_{2}(t). \end{aligned} \end{aligned}$$
That is, \(0\leqslant e_{1}\leqslant h_{1}\) and \(0\leqslant e_{2} \leqslant h_{2}\).
In the following, we prove that \(T:\bar{P}_{h,e}\rightarrow X\times X\) is a Ψ-\((h,e)\)-concave operator. For \((u,v)\in \bar{P}_{h,e}\), \(\xi \in (0,1)\), \(t\in [0,1]\), one can obtain
$$\begin{aligned}& T \bigl(\xi (u,v)+(\xi -1)e \bigr) (t) \\& \quad = T \bigl(\xi (u,v)+(\xi -1) (e_{1},e_{2}) \bigr) (t) \\& \quad = T \bigl(\xi u +(\xi -1)e_{1}, \xi v +(\xi -1)e_{2} \bigr) (t) \\& \quad = \bigl(A_{1} \bigl(\xi u +(\xi -1)e_{1}, \xi v +( \xi -1)e_{2}\bigr) , A_{2} \bigl( \xi u +(\xi -1)e_{1}, \xi v +(\xi -1)e_{2}\bigr) \bigr) (t). \end{aligned}$$
We consider \(A_{1} (\xi u +(\xi -1)e_{1}, \xi v +(\xi -1)e_{2})(t)\) and \(A_{2} (\xi u +(\xi -1)e_{1}, \xi v +(\xi -1)e_{2})(t)\), respectively. From \((H_{2})\),
$$\begin{aligned}& A_{1} \bigl(\xi u +(\xi -1)e_{1}, \xi v +(\xi -1)e_{2}\bigr) (t) \\& \quad = \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau ) f\bigl(\tau ,\bigl(\xi u +( \xi -1)e_{1}\bigr) (\tau ), \bigl(\xi v +(\xi -1)e_{2}\bigr) (\tau )\bigr) \,d\tau \,ds-e_{1}(t) \\& \quad \geqslant \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau ) \psi ( \xi )f\bigl(\tau ,u(\tau ),v(\tau )\bigr)\,d\tau \,ds-e_{1}(t) \\& \quad = \psi (\xi ) \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )f\bigl( \tau ,u(\tau ),v(\tau )\bigr)\,d\tau \,ds-e_{1}(t) \\& \quad = \psi (\xi ) \biggl[ \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s, \tau )f\bigl(\tau ,u(\tau ),v(\tau )\bigr)\,d\tau \,ds-e_{1}(t) \biggr] +\bigl(\psi ( \xi )-1\bigr)e_{1}(t) \\& \quad = \psi (\xi )A_{1}(u,v) (t) + \bigl(\psi (\xi )-1 \bigr)e_{1} (t). \end{aligned}$$
Similarly,
$$\begin{aligned}& A_{2} \bigl(\xi u +(\xi -1)e_{1}, \xi v +(\xi -1)e_{2}\bigr) (t) \\& \quad = \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau ) f\bigl(\tau ,\bigl(\xi u +( \xi -1)e_{1}\bigr) (\tau ), \bigl(\xi v +(\xi -1)e_{2}\bigr) (\tau )\bigr)\,d\tau \,ds-e_{2}(t) \\& \quad \geqslant \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau ) \psi ( \xi )f\bigl(\tau ,u(\tau ),v(\tau )\bigr)\,d\tau \,ds-e_{2}(t) \\& \quad = \psi (\xi ) \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )f\bigl( \tau ,u(\tau ),v(\tau )\bigr)\,d\tau \,ds-e_{2}(t) \\& \quad = \psi (\xi ) \biggl[ \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s, \tau )f\bigl(\tau ,u(\tau ),v(\tau )\bigr)\,d\tau \,ds-e_{2}(t) \biggr] +\bigl(\psi ( \xi )-1\bigr)e_{2}(t) \\& \quad = \psi (\xi )A_{2}(u,v) (t) + \bigl(\psi (\xi )-1 \bigr)e_{2} (t). \end{aligned}$$
So we have
$$\begin{aligned}& T\bigl(\xi (u,v)+(\xi -1)e\bigr) (t) \\& \quad \geqslant \bigl(\psi (\xi )A_{1}(u,v) (t) + \bigl(\psi (\xi )-1 \bigr)e_{1} (t), \psi (\xi )A_{2}(u,v) (t) + \bigl(\psi (\xi )-1\bigr)e_{2} (t) \bigr) \\& \quad = \bigl(\psi (\xi )A_{1}(u,v) (t), \psi (\xi )A_{2}(u,v) (t) \bigr) + \bigl(\bigl(\psi (\xi )-1 \bigr)e_{1} (t), \bigl(\psi (\xi )-1\bigr)e_{2} (t) \bigr) \\& \quad = \psi (\xi ) \bigl(A_{1}(u,v) (t),A_{2}(u,v) (t) \bigr) + \bigl(\psi (\xi )-1\bigr) \bigl(e_{1} (t),e _{2}(t) \bigr) \\& \quad = \psi (\xi )T(u,v) (t)+ \bigl(\psi (\xi )-1\bigr)e(t). \end{aligned}$$
That is,
$$ T\bigl(\xi (u,v)+(\xi -1)e\bigr) \geqslant \psi (\xi )T(u,v)+ \bigl(\psi (\xi )-1\bigr)e, \quad (u,v)\in \bar{P}_{h,e}, \xi \in (0,1). $$
Therefore, T is a Ψ-\((h,e)\)-concave operator.
Next we show that \(T: \bar{P}_{h,e} \rightarrow X\times X\) is increasing. For \((u,v)\in {\bar{P}_{h,e}}\), we have \((u,v)+e\in \bar{P}_{h}\). From Lemma 2.5, \((u+e_{1}, v+e_{2}) \in P_{h_{1}}\times P_{h_{2}} \). So there are \(\lambda _{1}, \lambda _{2} > 0\) such that
$$ u(t)+e_{1}(t)\geqslant \lambda _{1} h_{1}(t), \qquad v(t)+e_{2}(t)\geqslant \lambda _{2} h_{2}(t), \quad t\in [0,1]. $$
Therefore, \(u(t)\geqslant \lambda _{1} h_{1}(t) - e_{1}(t)\geqslant -e _{1}(t)\geqslant -{e_{1}}^{\ast }\), \(v(t)\geqslant \lambda _{2} h_{2}(t) - e_{2}(t)\geqslant -e_{2}(t)\geqslant -{e_{2}}^{\ast }\). This fact and \((H_{1})\) imply that \(T:{\bar{P}_{h,e}} \rightarrow {X\times X}\) is increasing.
Now we show \(Th\in \bar{P}_{h,e}\), which needs to prove \(Th+e\in \bar{P}_{h}\). For \(t\in [0,1]\),
$$\begin{aligned} Th(t)+e(t) =& T(h_{1},h_{2}) (t)+e(t) \\ =& \bigl(A_{1}(h_{1}, h_{2}) (t), A_{2}(h_{1}, h_{2}) (t) \bigr)+ \bigl(e _{1}(t),e_{2}(t) \bigr) \\ =& \bigl(A_{1}(h_{1}, h_{2}) (t)+e_{1}(t), A_{2}(h_{1}, h_{2}) (t)+e _{2}(t) \bigr). \end{aligned}$$
We consider \(A_{1}(h_{1}, h_{2})(t)+e_{1}(t)\) and \(A_{2}(h_{1}, h_{2})(t)+e _{2}(t)\), respectively. By Lemmas 2.2, 2.3 and \((H_{1})\), \((H_{3})\), we can get
$$\begin{aligned}& A_{1}(h_{1}, h_{2}) (t)+e_{1}(t) \\& \quad = \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau ) f\bigl(\tau , h_{1}( \tau ), h_{2}(\tau )\bigr)\,d\tau \,ds \\& \quad \geqslant \int _{0}^{1} {\frac{(\beta _{1} - 2)k_{1}(t)r_{1}(s)}{ \varGamma (\beta _{1})}} \int _{0}^{1}H_{1}(s,\tau ) f\bigl(\tau , N_{1} \tau ^{\beta _{1} -2}(1-\tau )^{2}, N_{2} \tau ^{\beta _{2} -2}(1-\tau )^{2}\bigr)\,d \tau \,ds \\& \quad \geqslant {\frac{(\beta _{1} - 2)k_{1}(t)}{\varGamma (\beta _{1})}} \int _{0}^{1}r_{1}(s) \int _{0}^{1}H_{1}(s,\tau ) f(\tau , 0, 0)\,d\tau \,ds \\& \quad = {\frac{\beta _{1} - 2}{N_{1} \varGamma (\beta _{1})}} h_{1}(t) \int _{0}^{1}r_{1}(s) \int _{0}^{1}H_{1}(s,\tau ) f(\tau , 0, 0)\,d\tau \,ds \end{aligned}$$
and
$$\begin{aligned}& A_{1}(h_{1}, h_{2}) (t)+e_{1}(t) \\& \quad = \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau ) f\bigl(\tau , h_{1}( \tau ), h_{2}(\tau )\bigr)\,d\tau \,ds \\& \quad \leqslant \int _{0}^{1} {\frac{M_{1} k_{1}(t)}{\varGamma (\beta _{1})}} \int _{0}^{1}H_{1}(s,\tau ) f(\tau , N_{1} , N_{2} )\,d\tau \,ds \\& \quad = {\frac{M_{1}}{N_{1} \varGamma (\beta _{1})}} h_{1}(t) \int _{0}^{1} \int _{0}^{1}H_{1}(s,\tau ) f(\tau , N_{1} , N_{2})\,d\tau \,ds. \end{aligned}$$
According to \((H_{1})\), \((H_{3})\), since \(r_{1}(s)= s^{2}(1-s)^{\beta _{1} -2} \leqslant 1\), \(s\in [0,1]\), then
$$ \int _{0}^{1} \int _{0}^{1}H_{1}(s,\tau ) f(\tau , N_{1} , N_{2})\,d \tau \,ds \geqslant \int _{0}^{1}r_{1}(s) \int _{0}^{1}H_{1}(s,\tau ) f( \tau , 0, 0)\,d\tau \,ds \geqslant 0. $$
By the definition of \(M_{1}\), it is clear that \(M_{1} \geqslant \beta _{1} -2\), then one can get
$$\begin{aligned} l_{1} :=& {\frac{\beta _{1} - 2}{N_{1} \varGamma (\beta _{1})}} \int _{0} ^{1}r_{1}(s) \int _{0}^{1}H_{1}(s,\tau ) f(\tau , 0, 0)\,d\tau \,ds \\ \leqslant & l_{2} := {\frac{M_{1}}{N_{1} \varGamma (\beta _{1})}} \int _{0}^{1} \int _{0}^{1}H_{1}(s,\tau ) f(\tau , N_{1} , N_{2})\,d\tau \,ds. \end{aligned}$$
Thus we obtain that \(l_{1} h_{1}(t)\leqslant A_{1}(h_{1}, h_{2})(t) + e_{1}(t) \leqslant l_{2} h_{1}(t)\). That is, \(A_{1}(h_{1}, h_{2}) + e _{1} \in P_{h_{1}}\). Similarly, by using Lemma 2.3 and \((H_{1})\), \((H _{3})\), we also can get \(A_{2}(h_{1}, h_{2}) + e_{2} \in P_{h_{2}}\). Consequently, according to Lemma 2.5,
$$ Th+e=\bigl(A_{1}(h_{1}, h_{2}) + e_{1}, A_{2}(h_{1}, h_{2}) + e_{2}\bigr) \in {P_{h_{1}} \times P_{h_{2}}} = \bar{P}_{h}. $$
Finally, by using Lemma 2.4, T has a unique fixed point \((u^{\ast }, v^{\ast }) \in \bar{P}_{h,e}\). In addition, for any given \((u_{0}, v _{0}) \in \bar{P}_{h,e}\), the sequence
$$ (u_{n}, v_{n})= \bigl(A_{1} (u_{n-1}, v_{n-1}), A_{2} (u_{n-1}, v_{n-1})\bigr), \quad n=1,2,\ldots , $$
converges to \((u^{\ast }, v^{\ast })\) as \(n\rightarrow \infty \). Therefore, system (1.1) has a unique solution \((u^{\ast }, v^{\ast }) \in \bar{P}_{h,e}\); taking any point \((u_{0}, v_{0}) \in \bar{P}_{h,e}\), construct the following sequences:
$$\begin{aligned}& \begin{aligned} u_{n+1}(t)&= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )f\bigl(\tau , u_{n} (\tau ), v_{n} (\tau )\bigr)\,d\tau \,ds\\ &\quad {} - \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds, \end{aligned} \\& \begin{aligned} v_{n+1}(t)&= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )g\bigl(\tau , u_{n} (\tau ), v_{n} (\tau )\bigr)\,d\tau \,ds \\ &\quad {}- \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds, \end{aligned} \end{aligned}$$
\(n=0,1,2,\ldots \) , we have \(u_{n+1}(t) \rightarrow u^{\ast }(t)\), \(v_{n+1}(t) \rightarrow v^{\ast }(t)\) as \(n\rightarrow \infty \). □

4 An example

We consider the following fractional system:
$$ \textstyle\begin{cases} D_{0^{+}}^{{\frac{3}{2}} + {\frac{10}{3}}} u(t) + { ({\frac{18 \sqrt{2}-9}{16\sqrt{2}-2}} \varGamma (\frac{29}{6})u + 1 )}^{ \frac{1}{5}} { [{\frac{1}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } (A_{1} + B_{1} t + C_{1} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}) ]}^{\frac{1}{5}} t^{\frac{4}{15}} \\ \quad {}+ { ({\frac{27-3\sqrt{3}}{88}} \varGamma (\frac{29}{6})v + 1 )} ^{\frac{1}{5}} { [{\frac{3}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } (A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}) ]}^{\frac{1}{5}} t^{\frac{4}{15}}=t, \quad 0< t< 1, \\ D_{0^{+}}^{{\frac{3}{2}}+{\frac{10}{3}}} v(t) + { ({\frac{18 \sqrt{2}-9}{16\sqrt{2}-2}} \varGamma (\frac{29}{6})u + 1 )}^{ \frac{1}{3}} { [{\frac{1}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } (A_{1} + B_{1} t + C_{1} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}) ]}^{\frac{1}{3}} t^{\frac{4}{9}} \\ \quad {}+ { ({\frac{27-3\sqrt{3}}{88}} \varGamma (\frac{29}{6})v + 1 )} ^{\frac{1}{3}} { [{\frac{3}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } (A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}) ]}^{\frac{1}{3}} t^{\frac{4}{9}}=3t, \quad 0< t< 1, \\ u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0, \qquad D_{0^{+}}^{\frac{10}{3}} u(0)=0, \qquad D_{0^{+}}^{\frac{10}{3}} u(1)= {\frac{1}{2}} D_{0^{+}}^{\frac{10}{3}} u(\frac{1}{2}), \\ v(0)=v(1)=v^{\prime }(0)=v^{\prime }(1)=0, \qquad D_{0^{+}}^{\frac{10}{3}} v(0)=0, \qquad D_{0^{+}}^{\frac{10}{3}} v(1)= {\frac{1}{3}} D_{0^{+}}^{\frac{10}{3}} v(\frac{1}{3}), \end{cases} $$
(4.1)
where \(\alpha _{1}=\alpha _{2}= \frac{3}{2}\), \(\beta _{1}=\beta _{2} = \frac{10}{3}\), \(z_{1}(t)=t\), \(z_{2}(t)=3t\), \(\eta _{1}= \frac{1}{2}\), \(\eta _{2}=\frac{1}{3}\), \(b_{1}=\frac{1}{2}\), \(b_{2}=\frac{1}{3}\), and
$$\begin{aligned}& A_{1} = {\frac{7}{3}} \biggl(\frac{4}{15} + \frac{1}{10\sqrt{2} -5} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma (\frac{7}{3})}{\varGamma ( \frac{29}{6})}} - {\frac{7}{3}} { \frac{4}{15}} {\frac{\varGamma ( \frac{9}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{41}{6})}}, \\& \begin{aligned} B_{1} &= -{\frac{4}{3}} \biggl(\frac{4}{15} + \frac{1}{10\sqrt{2} -5} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma (\frac{7}{3})}{\varGamma ( \frac{29}{6})}} + {\frac{4}{3}} { \frac{4}{15}} {\frac{\varGamma ( \frac{9}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{41}{6})}} \\ &\quad {}- \biggl( \frac{4}{15} + \frac{1}{10\sqrt{2} -5} \biggr) {\frac{\varGamma ( \frac{3}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{23}{6})}} + {\frac{4}{15}} { \frac{\varGamma (\frac{7}{2})\varGamma (\frac{7}{3})}{ \varGamma (\frac{35}{6})}}, \end{aligned} \\& C_{1} = \biggl(\frac{4}{15} + \frac{1}{10\sqrt{2} -5} \biggr){ \frac{ \varGamma (\frac{3}{2})\varGamma (\frac{10}{3})}{\varGamma (\frac{29}{6})}}, \\& D= - {\frac{4}{15}} {\frac{\varGamma (\frac{7}{2})\varGamma (\frac{10}{3})}{ \varGamma (\frac{41}{6})}}, \\& A_{2} = {\frac{7}{3}} \biggl(\frac{4}{15} + \frac{12+8\sqrt{3}}{135 \sqrt{3} -45} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma (\frac{7}{3})}{ \varGamma (\frac{29}{6})}} - {\frac{7}{3}} { \frac{4}{15}} {\frac{\varGamma ( \frac{9}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{41}{6})}}, \\& \begin{aligned} B_{2} &= -{\frac{4}{3}} \biggl(\frac{4}{15} + \frac{12+8\sqrt{3}}{135 \sqrt{3} -45} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma (\frac{7}{3})}{ \varGamma (\frac{26}{9})}} + {\frac{4}{3}} { \frac{4}{15}} {\frac{\varGamma ( \frac{9}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{41}{6})}} \\ &\quad {}- \biggl( \frac{4}{15} + \frac{12+8\sqrt{3}}{135\sqrt{3} -45} \biggr) {\frac{ \varGamma (\frac{3}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{23}{6})}} + {\frac{4}{15}} { \frac{\varGamma (\frac{7}{2})\varGamma (\frac{7}{3})}{ \varGamma (\frac{35}{6})}}, \end{aligned} \\& C_{2} = \biggl(\frac{4}{15} + \frac{12+8\sqrt{3}}{135\sqrt{3} -45} \biggr){ \frac{\varGamma (\frac{3}{2})\varGamma (\frac{10}{3})}{\varGamma ( \frac{29}{6})}}, \\& \begin{aligned} f(t,u,v) &={ \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr)u + 1 \biggr)}^{\frac{1}{5}} { \biggl[{ \frac{1}{\varGamma ( \frac{3}{2})\varGamma (\frac{10}{3})} } \bigl(A_{1} + B_{1} t + C_{1} t^{ \frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]}^{\frac{1}{5}} t^{\frac{4}{15}} \\ & \quad {} +{ \biggl({\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6} \biggr)v + 1 \biggr)}^{\frac{1}{5}} { \biggl[{\frac{3}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } \bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}\bigr) \biggr]}^{\frac{1}{5}} t^{\frac{4}{15}}, \end{aligned} \\& \begin{aligned} g(t,u,v) &={ \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr)u + 1 \biggr)}^{\frac{1}{3}} { \biggl[{ \frac{1}{\varGamma ( \frac{3}{2})\varGamma (\frac{10}{3})} } \bigl(A_{1} + B_{1} t + C_{1} t^{ \frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]}^{\frac{1}{3}} t^{\frac{4}{9}} \\ & \quad {} +{ \biggl({\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6} \biggr)v + 1 \biggr)}^{\frac{1}{3}} { \biggl[{\frac{3}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } \bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}\bigr) \biggr]}^{\frac{1}{3}} t^{\frac{4}{9}}. \end{aligned} \end{aligned}$$
So
$$\begin{aligned}& \begin{aligned} f(t,0,0)&= { \biggl[{\frac{1}{\varGamma (\frac{3}{2})\varGamma (\frac{10}{3})} } \bigl(A_{1} + B_{1} t + C_{1} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]} ^{\frac{1}{5}} t^{\frac{4}{15}}\\ &\quad {}+{ \biggl[{\frac{3}{\varGamma (\frac{3}{2}) \varGamma (\frac{10}{3})} } \bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}}+ D t ^{\frac{9}{2}}\bigr) \biggr]}^{\frac{1}{5}} t^{\frac{4}{15}}, \end{aligned} \\& \begin{aligned} g(t,0,0)&={ \biggl[{\frac{1}{\varGamma (\frac{3}{2})\varGamma (\frac{10}{3})} } \bigl(A_{1} + B_{1} t + C_{1} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]} ^{\frac{1}{3}} t^{\frac{4}{9}}\\ &\quad {} + { \biggl[{\frac{3}{\varGamma (\frac{3}{2}) \varGamma (\frac{10}{3})} } \bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]}^{\frac{1}{3}} t^{\frac{4}{9}}. \end{aligned} \end{aligned}$$
We can obviously get \(f(t,0,0)\geqslant 0\), \(g(t,0,0)\geqslant 0\) from Figs. 1, 2. And \(f(t,0,0)\not \equiv 0\), \(g(t,0,0)\not \equiv 0\). Moreover,
$$\begin{aligned}& G_{1} (t,s)=\frac{1}{\varGamma (\frac{10}{3} )} \textstyle\begin{cases} t^{\frac{4}{3}}(1-s)^{\frac{4}{3}}[(s-t)+{\frac{4}{3}}(1-t)s], & 0 \leqslant t \leqslant s \leqslant 1, \\ t^{\frac{4}{3}}(1-s)^{\frac{4}{3}}[(s-t)+{\frac{4}{3}}(1-t)s] + (t-s)^{ \frac{7}{3}}, & 0 \leqslant s \leqslant t \leqslant 1, \end{cases}\displaystyle \end{aligned}$$
(4.2)
$$\begin{aligned}& H_{1}(t,s)=h_{1}(t,s)+ \frac{{\frac{1}{2}}t^{\frac{1}{2}}}{1- {\frac{1}{2}} ^{\frac{3}{2}} } h_{1} \biggl(\frac{1}{2}, s\biggr), \\& h_{1}(t,s)=\frac{1}{\varGamma (\frac{3}{2})} \textstyle\begin{cases} [t(1-s)]^{\frac{1}{2}}, & 0 \leqslant t \leqslant s \leqslant 1, \\ {[t(1-s)]^{\frac{1}{2}}} - (t-s)^{\frac{1}{2}}, & 0 \leqslant s \leqslant t \leqslant 1. \end{cases}\displaystyle \\& G_{2} (t,s)=\frac{1}{\varGamma (\frac{10}{3} )} \textstyle\begin{cases} t^{\frac{4}{3}}(1-s)^{\frac{4}{3}}[(s-t)+{\frac{4}{3}}(1-t)s], & 0 \leqslant t \leqslant s \leqslant 1, \\ t^{\frac{4}{3}}(1-s)^{\frac{4}{3}}[(s-t)+{\frac{4}{3}}(1-t)s] + (t-s)^{ \frac{7}{3}}, & 0 \leqslant s \leqslant t \leqslant 1, \end{cases}\displaystyle \\& H_{2}(t,s)=h_{2}(t,s)+ \frac{{\frac{1}{3}}t^{\frac{1}{2}}}{1- {\frac{1}{3}} ^{\frac{3}{2}} } h_{1} \biggl(\frac{1}{3}, s\biggr), \\& h_{2}(t,s)=\frac{1}{\varGamma (\frac{3}{2})} \textstyle\begin{cases} [t(1-s)]^{\frac{1}{2}}, & 0 \leqslant t \leqslant s \leqslant 1, \\ {[t(1-s)]^{\frac{1}{2}}} - (t-s)^{\frac{1}{2}}, & 0 \leqslant s \leqslant t \leqslant 1. \end{cases}\displaystyle \end{aligned}$$
(4.3)
Further,
$$\begin{aligned}& \begin{aligned} e_{1}(t) &= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau ) z_{1}( \tau )\,d\tau \,ds \\ &= \int _{0}^{1}G_{1} (t,s) \biggl[ \int _{0}^{1}\tau h_{1}(s,\tau ) \,d \tau + \int _{0}^{1}\tau {\frac{{\frac{1}{2}}s^{\frac{1}{2}}}{1-{\frac{1}{2}} ^{\frac{3}{2}}}} h_{1}\biggl({\frac{1}{2}},\tau \biggr)\,d\tau \biggr]\,ds \\ &= \frac{1}{\varGamma (\frac{3}{2})} \int _{0}^{1}G_{1} (t,s) \biggl[ \int _{0}^{1}\tau \bigl(s(1-\tau ) \bigr)^{\frac{1}{2}}\,d\tau - \int _{0}^{s}\tau (s- \tau )^{\frac{1}{2}}\,d\tau \\ & \quad {} + \int _{0}^{1}\tau {\frac{{\frac{1}{2}}s ^{\frac{1}{2}}}{1-{\frac{1}{2}} ^{\frac{3}{2}}}} \biggl({ \frac{1}{2}}(1- \tau )\biggr)^{\frac{1}{2}}\,d\tau- \int _{0}^{\frac{1}{2}}\tau {\frac{{\frac{1}{2}}s^{\frac{1}{2}}}{1- {\frac{1}{2}} ^{\frac{3}{2}}}} \biggl({ \frac{1}{2}}-\tau \biggr)^{\frac{1}{2}}\,d \tau \biggr]\,ds \\ &= \frac{1}{\varGamma (\frac{3}{2})} \int _{0}^{1}G_{1} (t,s) \biggl[ \biggl( {\frac{4}{15}} + {\frac{1}{10\sqrt{2}-5}} \biggr)s^{\frac{1}{2}} - { \frac{4}{15}}s^{\frac{5}{2}} \biggr]\,ds \\ &= \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} \biggl\{ \int _{0}^{1} \biggl[t^{\frac{4}{3}} (1-s)^{\frac{4}{3}} \biggl((s-t) + {\frac{4}{3}}(1-t)s \biggr) \biggr] \\ &\quad {}\times\biggl[ \biggl({\frac{4}{15}} + {\frac{1}{10 \sqrt{2}-5}} \biggr)s^{\frac{1}{2}} - {\frac{4}{15}}s^{\frac{5}{2}} \biggr]\,ds \\ & \quad {}+ \int _{0}^{t} (t-s)^{\frac{7}{3}} \biggl[ \biggl({ \frac{4}{15}} + {\frac{1}{10 \sqrt{2}-5}} \biggr)s^{\frac{1}{2}} - { \frac{4}{15}}s^{\frac{5}{2}} \biggr]\,ds \biggr\} \\ &= \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} \biggl\{ t^{\frac{4}{3}} \biggl({ \frac{7}{3}} - {\frac{4}{3}}t \biggr) \biggl({\frac{4}{15}} + {\frac{1}{10\sqrt{2}-5}} \biggr) \int _{0}^{1} s ^{\frac{3}{2}}(1-s)^{\frac{4}{3}}\,ds\\ &\quad {}- t^{\frac{4}{3}}{\frac{4}{15}} \biggl({\frac{7}{3}} - { \frac{4}{3}}t \biggr)\int _{0}^{1} s^{\frac{7}{2}}(1-s)^{\frac{4}{3}}\,ds \\ & \quad - t^{ \frac{7}{3}} \biggl({\frac{4}{15}} + {\frac{1}{10\sqrt{2}-5}} \biggr) \int _{0}^{1} s^{\frac{1}{2}}(1-s)^{\frac{4}{3}}\,ds + t^{\frac{7}{3}}{\frac{4}{15}} \int _{0}^{1} s^{\frac{5}{2}}(1-s)^{ \frac{4}{3}}\,ds \\ & \quad {}+ \int _{0}^{t}(t-s)^{\frac{7}{3}} \biggl[ \biggl({ \frac{4}{15}} + {\frac{1}{10 \sqrt{2}-5}} \biggr)^{\frac{1}{2}} - { \frac{4}{15}}s^{\frac{5}{2}} \biggr]\,ds \biggr\} \\ &= \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} \biggl\{ t^{\frac{4}{3}} \biggl({ \frac{7}{3}} - {\frac{4}{3}}t \biggr) \biggl({\frac{4}{15}} + {\frac{1}{10\sqrt{2}-5}} \biggr) {\frac{\varGamma ( \frac{5}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{29}{6})}} \\ &\quad {}- t^{ \frac{4}{3}}{ \frac{4}{15}} \biggl({\frac{7}{3}} - {\frac{4}{3}}t \biggr) { \frac{\varGamma (\frac{9}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{41}{6})}}- t^{\frac{7}{3}} \biggl({\frac{4}{15}} + {\frac{1}{10\sqrt{2}-5}} \biggr) {\frac{\varGamma (\frac{3}{2})\varGamma (\frac{7}{3})}{\varGamma ( \frac{23}{6})}} \\ & \quad{} + t^{\frac{7}{3}}{\frac{4}{15}} { \frac{\varGamma ( \frac{7}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{35}{6})}} + t^{ \frac{23}{6}} \biggl({\frac{4}{15}} + { \frac{1}{10\sqrt{2}-5}} \biggr) {\frac{\varGamma (\frac{3}{2})\varGamma (\frac{10}{3})}{\varGamma ( \frac{29}{6})}} \\ & \quad {} - t^{\frac{35}{6}}{\frac{4}{15}} {\frac{\varGamma (\frac{7}{2}) \varGamma (\frac{10}{3})}{\varGamma (\frac{41}{6})}} \biggr\} \\ &= \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} t ^{\frac{4}{3}}\bigl(A_{1} + B_{1} t + C_{1} t^{\frac{5}{2}} + D t^{ \frac{9}{2}} \bigr), \end{aligned} \\& e_{2}(t) = \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau ) z_{2}( \tau )\,d\tau \,ds \\& \hphantom{ e_{2}(t)}= \int _{0}^{1}G_{2} (t,s) \biggl[ \int _{0}^{1}3\tau h_{2}(s,\tau ) \,d \tau + \int _{0}^{1}3\tau {\frac{{\frac{1}{3}}s^{\frac{1}{2}}}{1-{\frac{1}{3}} ^{\frac{3}{2}}}} h_{2}\biggl({\frac{1}{3}},\tau \biggr)\,d\tau \biggr]\,ds \\& \hphantom{ e_{2}(t)}= \frac{3}{\varGamma (\frac{3}{2})} \int _{0}^{1}G_{2} (t,s) \biggl[ \int _{0}^{1}\tau \bigl(s(1-\tau ) \bigr)^{\frac{1}{2}}\,d\tau - \int _{0}^{s}\tau (s- \tau )^{\frac{1}{2}}\,d\tau \\& \hphantom{ e_{2}(t)} \quad {} + \int _{0}^{1}\tau {\frac{{\frac{1}{3}}s ^{\frac{1}{2}}}{1-{\frac{1}{3}} ^{\frac{3}{2}}}} \biggl({ \frac{1}{3}}(1- \tau ) \biggr)^{\frac{1}{2}}\,d\tau- \int _{0}^{\frac{1}{3}}\tau {\frac{{\frac{1}{3}}s^{\frac{1}{2}}}{1- {\frac{1}{3}} ^{\frac{3}{2}}}} \biggl({ \frac{1}{3}}-\tau \biggr)^{ \frac{1}{2}}\,d\tau \biggr]\,ds \\& \hphantom{ e_{2}(t)}= \frac{3}{\varGamma (\frac{3}{2})} \int _{0}^{1}G_{2} (t,s) \biggl[ \biggl( {\frac{4}{15}} + {\frac{12+8\sqrt{3}}{135\sqrt{3}-45}} \biggr)s^{ \frac{1}{2}} - { \frac{4}{15}}s^{\frac{5}{2}} \biggr]\,ds \\& \hphantom{ e_{2}(t)}= \frac{3}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} \biggl\{ \int _{0}^{1} \biggl[t^{\frac{4}{3}} (1-s)^{\frac{4}{3}}\biggl((s-t) + {\frac{4}{3}}(1-t)s\biggr) \biggr]\\& \hphantom{ e_{2}(t)}\quad {}\times \biggl[ \biggl({\frac{4}{15}} + {\frac{12+8 \sqrt{3}}{135\sqrt{3}-45}} \biggr)s^{\frac{1}{2}} - {\frac{4}{15}}s ^{\frac{5}{2}} \biggr]\,ds \\& \hphantom{ e_{2}(t)} \quad {}+ \int _{0}^{t} (t-s)^{\frac{7}{3}} \biggl[ \biggl({ \frac{4}{15}} + {\frac{12+8 \sqrt{3}}{135\sqrt{3}-45}} \biggr)s^{\frac{1}{2}} - { \frac{4}{15}}s ^{\frac{5}{2}} \biggr]\,ds \biggr\} \\& \hphantom{ e_{2}(t)}= \frac{3}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} \biggl\{ t^{\frac{4}{3}} \biggl({ \frac{7}{3}} - {\frac{4}{3}}t \biggr) \biggl({\frac{4}{15}} + {\frac{12+8\sqrt{3}}{135\sqrt{3}-45}} \biggr) \int _{0}^{1} s^{\frac{3}{2}}(1-s)^{\frac{4}{3}}\,ds \\& \hphantom{ e_{2}(t)}\quad {}- t^{\frac{4}{3}} {\frac{4}{15}} \biggl({\frac{7}{3}} - { \frac{4}{3}}t \biggr)\int _{0}^{1} s^{\frac{7}{2}}(1-s)^{\frac{4}{3}}\,ds \\& \hphantom{ e_{2}(t)} \quad - t^{ \frac{7}{3}} \biggl({\frac{4}{15}} + {\frac{12+8\sqrt{3}}{135 \sqrt{3}-45}} \biggr) \int _{0}^{1} s^{\frac{1}{2}}(1-s)^{\frac{4}{3}}\,ds + t^{\frac{7}{3}}{\frac{4}{15}} \int _{0}^{1} s^{\frac{5}{2}}(1-s)^{ \frac{4}{3}}\,ds \\& \hphantom{ e_{2}(t)} \quad {}+ \int _{0}^{t}(t-s)^{\frac{7}{3}} \biggl[ \biggl({ \frac{4}{15}} + {\frac{12+8 \sqrt{3}}{135\sqrt{3}-45}} \biggr)^{\frac{1}{2}} - { \frac{4}{15}}s^{ \frac{5}{2}} \biggr]\,ds \biggr\} \\& \hphantom{ e_{2}(t)}= \frac{3}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} \biggl\{ t^{\frac{4}{3}} \biggl({ \frac{7}{3}} - {\frac{4}{3}}t \biggr) \biggl({\frac{4}{15}} + {\frac{12+8\sqrt{3}}{135\sqrt{3}-45}} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{29}{6})}} \\& \hphantom{ e_{2}(t)}\quad {}- t^{\frac{4}{3}}{ \frac{4}{15}} \biggl({\frac{7}{3}} - {\frac{4}{3}}t \biggr) { \frac{\varGamma (\frac{9}{2})\varGamma (\frac{7}{3})}{\varGamma ( \frac{41}{6})}}- t^{\frac{7}{3}} \biggl({\frac{4}{15}} + {\frac{12+8\sqrt{3}}{135 \sqrt{3}-45}} \biggr) {\frac{\varGamma (\frac{3}{2})\varGamma (\frac{7}{3})}{ \varGamma (\frac{23}{6})}} \\& \hphantom{ e_{2}(t)} \quad {} + t^{\frac{7}{3}}{\frac{4}{15}} { \frac{\varGamma (\frac{7}{2})\varGamma (\frac{7}{3})}{\varGamma (\frac{35}{6})}} + t^{ \frac{23}{6}} \biggl({\frac{4}{15}} + { \frac{12+8\sqrt{3}}{135 \sqrt{3}-45}} \biggr) {\frac{\varGamma (\frac{3}{2})\varGamma (\frac{10}{3})}{ \varGamma (\frac{29}{6})}} \\& \hphantom{ e_{2}(t)} \quad {} - t^{\frac{35}{6}}{\frac{4}{15}} {\frac{\varGamma (\frac{7}{2}) \varGamma (\frac{10}{3})}{\varGamma (\frac{41}{6})}} \biggr\} \\& \hphantom{ e_{2}(t)}= \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} t ^{\frac{4}{3}}\bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}} \bigr). \end{aligned}$$
Therefore,
$$\begin{aligned}& \begin{aligned} e^{\ast } _{1} &= \max \bigl\{ e_{1}(t):t\in [0,1]\bigr\} \\ &\leqslant {\frac{1}{\varGamma (\frac{3}{2})}} {\frac{1}{\varGamma ( \frac{10}{3})}} \biggl[{\frac{7}{3}} \biggl({\frac{4}{15}} + {\frac{1}{10 \sqrt{2} -5}} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma (\frac{7}{3})}{ \varGamma (\frac{29}{6})}} + \biggl(\frac{4}{15} + \frac{1}{10\sqrt{2} -5} \biggr){\frac{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})}{\varGamma (\frac{29}{6})}} \biggr] \\ &\leqslant {\frac{1}{\varGamma (\frac{3}{2})}} {\frac{1}{\varGamma ( \frac{10}{3})}} \biggl[{\frac{10}{3}} \biggl({\frac{4}{15}}+\frac{1}{10 \sqrt{2} -5} \biggr) {\frac{\varGamma (\frac{3}{2})\varGamma (\frac{10}{3})}{ \varGamma (\frac{29}{6})}} \biggr] \\ &= {\frac{1}{\varGamma (\frac{29}{6})}} {\frac{2}{3}} \biggl({\frac{4}{3}}+ \frac{1}{2 \sqrt{2} -1} \biggr), \end{aligned} \\& \begin{aligned} e^{\ast } _{2} &= \max \bigl\{ e_{2}(t):t\in [0,1]\bigr\} \\ &\leqslant {\frac{3}{\varGamma (\frac{3}{2})}} {\frac{1}{\varGamma ( \frac{10}{3})}} \biggl[{\frac{7}{3}} \biggl(\frac{4}{15} + \frac{12+8 \sqrt{3}}{135\sqrt{3} -45} \biggr) {\frac{\varGamma (\frac{5}{2})\varGamma ( \frac{7}{3})}{\varGamma (\frac{29}{6})}} \\ &\quad {}+ \biggl(\frac{4}{15} + \frac{12+8 \sqrt{3}}{135\sqrt{3} -45} \biggr){\frac{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})}{\varGamma (\frac{29}{6})}} \biggr] \\ &\leqslant {\frac{3}{\varGamma (\frac{3}{2})}} {\frac{1}{\varGamma ( \frac{10}{3})}} \biggl[{\frac{10}{3}} \biggl(\frac{4}{15} + \frac{12+8 \sqrt{3}}{135\sqrt{3} -45} \biggr) {\frac{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})}{\varGamma (\frac{29}{6})}} \biggr] \\ &= {\frac{2}{\varGamma (\frac{29}{6})}} {\frac{2}{3}} \biggl(\frac{4}{3} + \frac{12+8 \sqrt{3}}{27\sqrt{3} -9} \biggr). \end{aligned} \end{aligned}$$
Take \(h_{1}(t)=N_{1} t^{\frac{4}{3}}(1-t)^{2}\), \(h_{2}(t)=N_{2}t^{ \frac{4}{3}}(1-t)^{2}\), where
$$\begin{aligned}& \begin{aligned} N_{1} &\geqslant {\frac{M_{1}}{\varGamma (\beta _{1})}} \int _{0}^{1} \int _{0}^{1}H_{1}(s,\tau )z_{1} (\tau )\,d\tau \,ds \\ &= {\frac{7}{3\varGamma (\frac{10}{3})}} { \int _{0}^{1} \int _{0}^{1} \tau H_{1}(s,\tau )\,d\tau \,ds} \\ &= {\frac{7}{3\varGamma (\frac{10}{3})\varGamma (\frac{3}{2})}} { \int _{0} ^{1} \biggl({\frac{4}{15}} + { \frac{1}{10\sqrt{2}-5}} \biggr)s^{ \frac{1}{2}} - {\frac{4}{15}}s^{\frac{5}{2}}\,ds} \\ &= {\frac{7}{3\varGamma (\frac{10}{3})\varGamma (\frac{3}{2})}} \biggl({\frac{32}{315}}+ {\frac{2}{30\sqrt{2} - 15}} \biggr), \end{aligned} \\& \begin{aligned} N_{2} &\geqslant {\frac{M_{2}}{\varGamma (\beta _{2})}} \int _{0}^{1} \int _{0}^{1}H_{2}(s,\tau )z_{2} (\tau )\,d\tau \,ds \\ &= {\frac{7}{3\varGamma (\frac{10}{3})}} { \int _{0}^{1} \int _{0}^{1} 3 \tau H_{2}(s,\tau )\,d\tau \,ds} \\ &= {\frac{7}{\varGamma (\frac{10}{3})\varGamma (\frac{3}{2})}} { \int _{0} ^{1} \biggl({\frac{4}{15}} + { \frac{20\sqrt{3} -12}{135\sqrt{3}-45}} \biggr)s^{\frac{1}{2}} - {\frac{4}{15}}s^{\frac{5}{2}}\,ds} \\ &= {\frac{7}{\varGamma (\frac{10}{3})\varGamma (\frac{3}{2})}} \biggl({\frac{32}{315}}+ {\frac{24+16\sqrt{3}}{405\sqrt{3} - 135}} \biggr). \end{aligned} \end{aligned}$$
Then
$$\begin{aligned}& \begin{aligned} e_{1}(t) &= \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma ( \frac{10}{3})} t^{\frac{4}{3}}\bigl(A_{1} + B_{1} t + C_{1} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \\ &\leqslant {\frac{7}{3}} {\frac{1}{\varGamma (\frac{10}{3})}} t^{ \frac{4}{3}}(1-t)^{2} \int _{0}^{1}{\frac{1}{\varGamma (\frac{3}{2})}} \biggl({ \frac{4}{15}}+ {\frac{1}{10\sqrt{2}-5}} \biggr)s^{\frac{1}{2}} - { \frac{4}{15}}s^{\frac{5}{2}}\,ds \\ &= {\frac{7}{3}} {\frac{1}{\varGamma (\frac{10}{3})}} t^{\frac{4}{3}}(1-t)^{2} {\frac{1}{\varGamma (\frac{3}{2})}} \biggl({\frac{32}{315}}+ {\frac{2}{30 \sqrt{2} - 15}} \biggr) \\ & \leqslant N_{1} t^{\frac{4}{3}}(1-t)^{2} = h_{1}(t), \end{aligned} \\& e_{2}(t) = \frac{1}{\varGamma (\frac{3}{2})}\frac{1}{\varGamma ( \frac{10}{3})} t^{\frac{4}{3}}\bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \\& \hphantom{e_{2}(t)}\leqslant {\frac{7}{3}} {\frac{1}{\varGamma (\frac{10}{3})}} t^{ \frac{4}{3}}(1-t)^{2} \int _{0}^{1}{\frac{3}{\varGamma (\frac{3}{2})}} \biggl({ \frac{4}{15}}+ {\frac{20\sqrt{3} -12}{135\sqrt{3}-45}} \biggr)s^{\frac{1}{2}} - { \frac{4}{15}}s^{\frac{5}{2}}\,ds \\& \hphantom{e_{2}(t)}= {\frac{7}{\varGamma (\frac{10}{3})}} t^{\frac{4}{3}}(1-t)^{2} { \frac{1}{ \varGamma (\frac{3}{2})}} \biggl({\frac{32}{315}}+ {\frac{24+16\sqrt{3}}{405 \sqrt{3} - 135}} \biggr) \\& \hphantom{e_{2}(t)}\leqslant N_{2} t^{\frac{4}{3}}(1-t)^{2} = h_{2}(t). \end{aligned}$$
In addition,
$$\begin{aligned}& \begin{aligned} f(t,u,v) &= { \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr)u + 1 \biggr)}^{\frac{1}{5}} { \biggl[{ \frac{1}{\varGamma ( \frac{3}{2})\varGamma (\frac{10}{3})} } \bigl(A_{1} + B_{1} t + C_{1} t^{ \frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]}^{\frac{1}{5}} t^{\frac{4}{15}} \\ & \quad {}+ { \biggl({\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6} \biggr)v + 1 \biggr)}^{\frac{1}{5}} { \biggl[{\frac{3}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } \bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}\bigr) \biggr]}^{\frac{1}{5}} t^{\frac{4}{15}} \\ & = { \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr)u + 1 \biggr)}^{\frac{1}{5}}\bigl(e_{1}(t)\bigr)^{\frac{1}{5}} + { \biggl({ \frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr)v + 1 \biggr)} ^{\frac{1}{5}}\bigl(e_{2}(t)\bigr)^{\frac{1}{5}} \\ &= \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl(\frac{29}{6}\biggr)u e_{1}(t)+e_{1}(t) \biggr)^{\frac{1}{5}} + \biggl({ \frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr)ve_{2}(t) + e_{2}(t) \biggr)^{\frac{1}{5}}, \end{aligned} \\& \begin{aligned} g(t,u,v) &={ \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr)u + 1 \biggr)}^{\frac{1}{3}} { \biggl[{ \frac{1}{\varGamma ( \frac{3}{2})\varGamma (\frac{10}{3})} } \bigl(A_{1} + B_{1} t + C_{1} t^{ \frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr]}^{\frac{1}{3}} t^{\frac{4}{9}} \\ & \quad {}+ { \biggl({\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6} \biggr)v + 1 \biggr)}^{\frac{1}{3}} { \biggl[{\frac{3}{\varGamma (\frac{3}{2})\varGamma ( \frac{10}{3})} } \bigl(A_{2} + B_{2} t + C_{2} t^{\frac{5}{2}} + D t^{ \frac{9}{2}}\bigr) \biggr]}^{\frac{1}{3}} t^{\frac{4}{9}} \\ &= { \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr)u + 1 \biggr)}^{\frac{1}{3}}\bigl(e_{1}(t)\bigr)^{\frac{1}{3}} + { \biggl({ \frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr)v + 1 \biggr)} ^{\frac{1}{3}}\bigl(e_{2}(t)\bigr)^{\frac{1}{3}} \\ &= \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl(\frac{29}{6}\biggr)u e_{1}(t)+e_{1}(t) \biggr)^{\frac{1}{3}} + \biggl({ \frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr)ve_{2}(t) + e_{2}(t) \biggr)^{\frac{1}{3}}. \end{aligned} \end{aligned}$$
For \(\xi \in (0,1)\), \(x_{1}, x_{2} \in (-\infty ,+\infty )\), \(y_{1}\in [0,e^{\ast }_{1}]\), \(y_{2}\in [0,e^{\ast }_{2}]\),
$$\begin{aligned}& f\bigl(t,\xi x_{1}+ (\xi -1)y_{1}, \xi x_{2} +( \xi -1)y_{2}\bigr) \\ & \quad = \biggl[ {\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)\bigl[\xi x_{1}+ (\xi -1)y_{1}\bigr] + e_{1}(t) \biggr]^{ \frac{1}{5}} \\ & \qquad {}+ \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr) e_{2}(t)\bigl[ \xi x_{2}+(\xi -1)y_{2}\bigr] + e_{2}(t) \biggr]^{\frac{1}{5}} \\ & \quad = \xi ^{\frac{1}{5}} \biggl[ {\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t) \biggl[x_{1}+\biggl(1 - { \frac{1}{\xi }}\biggr)y_{1}\biggr] + {\frac{1}{\xi }} e_{1}(t) \biggr]^{\frac{1}{5}} \\ & \qquad {}+ \xi ^{\frac{1}{5}} \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl( \frac{29}{6}\biggr) e_{2}(t)\biggl[x_{2}+\biggl(1 - { \frac{1}{\xi }}\biggr)y_{2}\biggr]+ {\frac{1}{ \xi }} e_{2}(t) \biggr]^{\frac{1}{5}} \\ & \quad = \xi ^{\frac{1}{5}} \biggl[ {\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)x_{1} + \biggl(1 - { \frac{1}{\xi }}\biggr){\frac{18 \sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl(\frac{29}{6} \biggr)e_{1}(t)y_{1} + {\frac{1}{\xi }} e_{1}(t) \biggr]^{\frac{1}{5}} \\ & \qquad {}+ \xi ^{\frac{1}{5}} \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl( \frac{29}{6}\biggr) e_{2}(t)x_{2} + \biggl(1 - { \frac{1}{\xi }}\biggr){\frac{27-3 \sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6} \biggr)e_{2}(t)y_{2} + {\frac{1}{\xi }} e _{2}(t) \biggr]^{\frac{1}{5}} \\ & \quad \geqslant \xi ^{\frac{1}{5}} \biggl[ {\frac{18\sqrt{2}-9}{16 \sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)x_{1} + \biggl(1 - { \frac{1}{ \xi }}\biggr)e_{1}(t) + {\frac{1}{\xi }} e_{1}(t) \biggr]^{\frac{1}{5}} \\ & \qquad {}+ \xi ^{\frac{1}{5}} \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl( \frac{29}{6}\biggr) e_{2}(t)x_{2} + \biggl(1 - { \frac{1}{\xi }}\biggr)e_{2}(t) + {\frac{1}{ \xi }} e_{2}(t) \biggr]^{\frac{1}{5}} \\ & \quad = \xi ^{\frac{1}{5}} \biggl[ \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)x_{1} + e_{1}(t) \biggr)^{\frac{1}{5}} \\ & \qquad {}+ \biggl({\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr) e_{2}(t)x_{2} + e_{2}(t) \biggr)^{\frac{1}{5}} \biggr] \\ & \quad = \xi ^{\frac{1}{5}}f(t,x_{1},x_{2}) \geqslant \psi (\xi )f(t,x_{1},x _{2}), \\ & g\bigl(t,\xi x_{1}+ (\xi -1)y_{1}, \xi x_{2} +( \xi -1)y_{2}\bigr) \\ & \quad = \biggl[ {\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)\bigl[\xi x_{1}+ (\xi -1)y_{1}\bigr] + e_{1}(t) \biggr]^{ \frac{1}{3}} \\ & \qquad {}+ \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr) e_{2}(t)\bigl[ \xi x_{2} +(\xi -1)y_{2}\bigr] + e_{2}(t) \biggr]^{\frac{1}{3}} \\ & \quad = \xi ^{\frac{1}{3}} \biggl[ {\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t) \biggl[x_{1}+\biggl(1 - { \frac{1}{\xi }}\biggr)y_{1}\biggr] + {\frac{1}{\xi }} e_{1}(t) \biggr]^{\frac{1}{3}} \\ & \qquad {}+ \xi ^{\frac{1}{3}} \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl( \frac{29}{6}\biggr) e_{2}(t)\biggl[x_{2}+\biggl(1 - { \frac{1}{\xi }}\biggr)y_{2}\biggr] + {\frac{1}{ \xi }} e_{2}(t) \biggr]^{\frac{1}{3}} \\ & \quad = \xi ^{\frac{1}{3}} \biggl[ {\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)x_{1} + \biggl(1 - { \frac{1}{\xi }}\biggr){\frac{18 \sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl(\frac{29}{6} \biggr)e_{1}(t)y_{1} + {\frac{1}{\xi }} e_{1}(t) \biggr]^{\frac{1}{3}} \\ & \qquad {}+ \xi ^{\frac{1}{3}} \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl( \frac{29}{6}\biggr) e_{2}(t)x_{2} + \biggl(1 - { \frac{1}{\xi }}\biggr){\frac{27-3 \sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6} \biggr)e_{2}(t)y_{2} + {\frac{1}{\xi }} e _{2}(t) \biggr]^{\frac{1}{3}} \\ & \quad \geqslant \xi ^{\frac{1}{3}} \biggl[ {\frac{18\sqrt{2}-9}{16 \sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e_{1}(t)x_{1} + \biggl(1 - { \frac{1}{ \xi }}\biggr)e_{1}(t) + {\frac{1}{\xi }} e_{1}(t) \biggr]^{\frac{1}{3}} \\ & \qquad {}+ \xi ^{\frac{1}{3}} \biggl[ {\frac{27-3\sqrt{3}}{88}} \varGamma \biggl( \frac{29}{6}\biggr) e_{2}(t)x_{2} + \biggl(1 - { \frac{1}{\xi }}\biggr)e_{2}(t) + {\frac{1}{ \xi }} e_{2}(t) \biggr]^{\frac{1}{3}} \\ & \quad = \xi ^{\frac{1}{3}} \biggl[ \biggl({\frac{18\sqrt{2}-9}{16\sqrt{2}-2}} \varGamma \biggl( \frac{29}{6}\biggr) e _{1}(t)x_{1} + e_{1}(t) \biggr)^{\frac{1}{3}} \\ & \qquad {}+ \biggl({\frac{27-3 \sqrt{3}}{88}} \varGamma \biggl(\frac{29}{6}\biggr) e_{2}(t)x_{2} + e_{2}(t) \biggr)^{ \frac{1}{3}} \biggr] \\ & \quad = \xi ^{\frac{1}{3}}f(t,x_{1},x_{2}) = \psi (\xi )f(t,x_{1},x_{2}), \end{aligned}$$
here \(\psi (\xi )= \xi ^{\frac{1}{3}}> \xi \). By Theorem 3.1, system (4.1) has a unique solution \((u^{\ast }, v^{\ast })\) in \(\bar{P}_{h,e}\), where
$$\begin{aligned}& \begin{aligned} e(t) &=\bigl(e_{1}(t), e_{2}(t)\bigr) \\ &= \biggl(\frac{1}{\varGamma (\frac{3}{2})} \frac{1}{\varGamma (\frac{10}{3})} t^{\frac{4}{3}} \bigl(A_{1} + B_{1} t + C _{1} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr),\\ &\quad \frac{1}{\varGamma ( \frac{3}{2})}\frac{1}{\varGamma (\frac{10}{3})} t^{\frac{4}{3}} \bigl(A_{2} + B _{2} t + C_{2} t^{\frac{5}{2}} + D t^{\frac{9}{2}}\bigr) \biggr), \end{aligned} \\ & \begin{aligned} h(t) &=\bigl(h_{1}(t),h_{2}(t)\bigr) = \bigl(N_{1} t^{\frac{4}{3}}(1-t)^{2}, N_{2} t ^{\frac{4}{3}}(1-t)^{2}\bigr), \quad t\in [0,1]. \end{aligned} \end{aligned}$$
Taking any point \((u_{0},v_{0}) \in \bar{P}_{h,e}\), we construct the following sequences:
$$\begin{aligned}& \begin{aligned} u_{n+1}(t)&= \int _{0}^{1}G_{1} (t,s) \int _{0}^{1}H_{1}(s,\tau )f\bigl(\tau , u_{n} (\tau ), v_{n} (\tau )\bigr)\,d\tau \,ds \\ &\quad {}- \frac{1}{\varGamma (\frac{3}{2}) \varGamma (\frac{10}{3})} t^{\frac{4}{3}}\bigl(A_{1} + B_{1} t + C_{1} t^{ \frac{5}{2}}+ D t^{\frac{9}{2}}\bigr), \end{aligned} \\& \begin{aligned} v_{n+1}(t)&= \int _{0}^{1}G_{2} (t,s) \int _{0}^{1}H_{2}(s,\tau )g\bigl(\tau , u_{n} (\tau ), v_{n} (\tau )\bigr)\,d\tau \,ds \\ &\quad {}- \frac{1}{\varGamma (\frac{3}{2}) \varGamma (\frac{10}{3})} t^{\frac{4}{3}}\bigl(A_{2} + B_{2} t + C_{2} t^{ \frac{5}{2}} + D t^{\frac{9}{2}}\bigr), \end{aligned} \end{aligned}$$
\(n=0,1,2,\ldots \) , then we have \(u_{n+1}(t) \rightarrow u^{\ast }(t)\), \(v_{n+1}(t) \rightarrow v^{\ast }(t)\) as \(n\rightarrow \infty \).
Figure 1

Image of function \(f(t,0,0)\) on \(t\in [0,1]\)

Figure 2

Image of function \(g(t,0,0)\) on \(t\in [0,1]\)

5 Conclusion

Recently, fractional differential systems have been increasingly used to describe problems in optical and thermal systems, rheology and materials and mechanics systems, signal processing and system identification, control, robotics, and other applications. Because of their deep realistic background and important role, people are paying more and more attention. For nonlinear fractional differential systems subject to different boundary conditions, there are many articles studying the existence or multiplicity of solutions or positive solutions. But the unique results are very rare. In this paper, we study a system of fractional differential Eqs. (1.1). By constructing two functions e and h and using fixed point theorem of increasing Ψ-\((h,e)\)-concave operators defined on ordered set \(P_{h,e}\), we establish some new existence and uniqueness criteria for system (1.1). Our result shows that the unique solution exists in a product set \({\bar{P}}_{h,e} = P_{h_{1},e_{1}} \times P_{h_{2},e_{2}}\) and can be approximated by making an iterative sequence for any initial point in \({\bar{P}}_{h,e}\). Finally, an interesting example is given to illustrate the application of our main results.

Notes

Acknowledgements

The authors wish to thank the anonymous referees for their valuable suggestions.

Availability of data and materials

Not applicable.

Authors’ contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Funding

This paper was supported financially by the Youth Science Foundation of China (11201272) and Shanxi Province Science Foundation (2015011005).

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403–411 (2012) MathSciNetCrossRefGoogle Scholar
  2. 2.
    Cabada, A., Wang, G.: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251–257 (2014) MathSciNetzbMATHGoogle Scholar
  3. 3.
    Zhai, C., Wang, F.: Properties of positive solutions for the operator equation \(Ax =\lambda x\) and applications to fractional differential equations with integral boundary conditions. Adv. Differ. Equ. 2015, 366 (2015) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Zhai, C., Wang, L.: \(\varphi - (h,e)\)-Concave operators and applications. J. Math. Anal. Appl. 454, 571–584 (2017) MathSciNetCrossRefGoogle Scholar
  5. 5.
    El-Shahed, M., Shammakh, W.M.: Existence of positive solutions of the boundary value problem for nonlinear fractional differential equations. Abstr. Appl. Anal. 2011(25), 1363 (2011) MathSciNetzbMATHGoogle Scholar
  6. 6.
    Weitzner, H., Zaslavsky, G.M.: Some applications of fractional equations. Commun. Nonlinear Sci. Numer. Simul. 8(3–4), 273–281 (2003) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Zhai, C., Hao, M.: Fixed point theorems for mixed monotone operators with perturbation and applications fractional differential equation boundary value problems. Nonlinear Anal. 75, 2542–2551 (2012) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Zhai, C., Ren, J.: Positive and negative solutions of a boundary value problem for a fractional q-difference equation. Adv. Differ. Equ. 2017, 82 (2017) MathSciNetCrossRefGoogle Scholar
  9. 9.
    Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Wang, Y., Liu, L.: Positive properties of the Green function for two-term fractional differential equations and its application. J. Nonlinear Sci. Appl. 10, 2094–2102 (2017) MathSciNetCrossRefGoogle Scholar
  11. 11.
    Leibenson, L.S.: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk SSSR 9, 7–10 (1945) MathSciNetGoogle Scholar
  12. 12.
    Liu, Z., Lu, L.: A class of BVPs for nonlinear fractional differential equations with p-Laplacian operator. Electron. J. Qual. Theory Differ. Equ. 2012(70), 1 (2012) MathSciNetCrossRefGoogle Scholar
  13. 13.
    Lu, H., Han, Z., Sun, S.: Existence on positive solutions for boundary value problems of nonlinear fractional differential equations with p-Laplacian. Adv. Differ. Equ. 2013(1), 30 (2013) MathSciNetCrossRefGoogle Scholar
  14. 14.
    Wang, J., Xiang, H., Liu, Z.: Positive solutions for three-point boundary value problems of nonlinear fractional differential equations with p-Laplacian. Far East J. Appl. Math. 37(1), 33–47 (2009) MathSciNetzbMATHGoogle Scholar
  15. 15.
    Jafari, H., Baleanu, D., Khan, H., Akhan, R., Khan, A.: Existence criterion for the solutions of fractional order p-Laplacian boundary value problems. Bound. Value Probl. 2015, 164 (2015) MathSciNetCrossRefGoogle Scholar
  16. 16.
    Xu, J., Dong, W.: Existence and uniqueness of positive solutions for a fractional boundary value problem with p-Laplacian operator. Acta Math. Sinica (Chin. Ser.) 59, 385–396 (2016) MathSciNetzbMATHGoogle Scholar
  17. 17.
    Dong, X., Bai, Z., Zhang, S.: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2017, 5 (2017) MathSciNetCrossRefGoogle Scholar
  18. 18.
    Lv, Z.: Existence results for m-point boundary value problems of nonlinear fractional differential equations with p-Laplacian operator. Adv. Differ. Equ. 2014, 69 (2014) MathSciNetCrossRefGoogle Scholar
  19. 19.
    Zhang, X., Liu, L., Wiwatanapataphee, B., Wu, Y.: The eigenvalue for a class of singular p-Laplacian fractional differential equations involving the Riemann–Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412–422 (2014) MathSciNetzbMATHGoogle Scholar
  20. 20.
    Liu, X., Jia, M., Ge, W.: The method of lower and upper solutions for mixed fractional four-point boundary value problem with p-Laplacian operator. Appl. Math. Lett. 65, 56–62 (2017) MathSciNetCrossRefGoogle Scholar
  21. 21.
    Liu, X., Jia, M., Xiang, X.: On the solvability of a fractional differential equation model involving the p-Laplacian operator. Comput. Math. Appl. 64, 3267–3275 (2012) MathSciNetCrossRefGoogle Scholar
  22. 22.
    Wang, Y., Liu, L., Wu, Y.: Extremal solutions for p-Laplacian fractional integro-differential equation with integral conditions on infinite integrals via iterative computation. Adv. Differ. Equ. 2015, 24 (2015) CrossRefGoogle Scholar
  23. 23.
    Guo, X.: Existence of unique solution to switched fractional differential equations with p-Laplacian operator. Turk. J. Math. 39, 864–871 (2015) MathSciNetCrossRefGoogle Scholar
  24. 24.
    Zhang, X., Liu, L., Wu, Y., Wiwatanapataphee, B.: Nontrivial solutions for a fractional advection dispersion equation in anomalous diffusion. Appl. Math. Lett. 66, 1–8 (2017) MathSciNetCrossRefGoogle Scholar
  25. 25.
    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) MathSciNetzbMATHGoogle Scholar
  26. 26.
    Zhang, X., Wu, Y., Caccetta, L.: Nonlocal fractional order differential equations with changing-sign singular perturbation. Appl. Math. Model. 39, 6543–6552 (2015) MathSciNetCrossRefGoogle Scholar
  27. 27.
    Zhang, X., Liu, L., Wu, Y.: Variational structure and multiple solutions for a fractional advection-dispersion equation. Comput. Math. Appl. 68, 1794–1805 (2014) MathSciNetCrossRefGoogle Scholar
  28. 28.
    Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26–33 (2014) MathSciNetCrossRefGoogle Scholar
  29. 29.
    Li, S., Zhang, X., Wu, Y., Caccetta, L.: Extremal solutions for p-Laplacian differential systems via iterative computation. Appl. Math. Lett. 26, 1151–1158 (2013) MathSciNetCrossRefGoogle Scholar
  30. 30.
    Ren, T., Li, S., Zhang, X., Liu, L.: Maximum and minimum solutions for a nonlocal p-Laplacian fractional differential system from eco-economical processes. Bound. Value Probl. 2017, 118 (2017) MathSciNetCrossRefGoogle Scholar
  31. 31.
    Zhai, C., Jiang, R.: Unique solutions for a new coupled system of fractional differential equations. Adv. Differ. Equ. 2018(1), 1 (2018) MathSciNetCrossRefGoogle Scholar
  32. 32.
    Hu, L., Zhang, S.: Existence results for a coupled system of fractional differential equations with p-Laplacian operator and infinite-point boundary conditions. Bound. Value Probl. 2017, 88 (2017) MathSciNetCrossRefGoogle Scholar
  33. 33.
    Hao, X., Wang, H., Liu, L., Cui, Y.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, 182 (2017) MathSciNetCrossRefGoogle Scholar
  34. 34.
    Cheng, L., Liu, W., Ye, Q.: Boundary value problem for a coupled system of fractional differential equations with p-Laplacian operator at resonance. Electron. J. Differ. Equ. 2014, 60 (2014) MathSciNetCrossRefGoogle Scholar
  35. 35.
    Wang, H.: On the number of positive solutions of nonlinear systems. J. Math. Anal. Appl. 281, 287–306 (2003) MathSciNetCrossRefGoogle Scholar
  36. 36.
    Ahmad, B., Ntouyas, S., Alsaedi, A.: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234–241 (2016) MathSciNetCrossRefGoogle Scholar
  37. 37.
    Yang, W.: Positive solutions for a coupled system of nonlinear fractional differential equations with integral boundary conditions. Eur. Phys. J. Spec. Top. 226, 3551–3566 (2017) CrossRefGoogle Scholar
  38. 38.
    Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 1400–1409 (2013) MathSciNetCrossRefGoogle Scholar
  39. 39.
    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) zbMATHGoogle Scholar
  40. 40.
    Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, New York (1999) zbMATHGoogle Scholar

Copyright information

© The Author(s) 2019

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.

Authors and Affiliations

  1. 1.School of Mathematical SciencesShanxi UniversityTaiyuanP.R. China

Personalised recommendations