Skip to main content

Unique iterative positive solutions for a singular p-Laplacian fractional differential equation system with infinite-point boundary conditions

Abstract

By using the method of mixed monotone operator, a unique positive solution is obtained for a singular p-Laplacian boundary value system with infinite-point boundary conditions in this paper. Green’s function is derived and some useful properties of the Green’s function are obtained. Based upon these new properties and by using mixed monotone operator, the existence results of the positive solutions for the boundary value problem are established. Moreover, the unique positive solution that we obtained in this paper is dependent on \(\lambda ,\mu \), and an iterative sequence and convergence rate, which are important for practical application, are given. An example is given to demonstrate the application of our main results.

1 Introduction

Fractional calculus has been shown to be more accurate and realistic than integer order models, and it also provides an excellent tool to describe the hereditary properties of materials and processes, particularly in viscoelasticity, electrochemistry, porous media, and so on. Fractional differentials arise in a variety of different areas such as physics, chemistry, electrical networks, economics, rheology, biology chemical, image processing, and so on. There has been a significant development in the study of fractional differential equations in recent years, for an extensive collection of such literature, readers can refer to [2, 4, 6,7,8,9,10,11, 13, 16,17,18, 21,22,23, 26, 28, 32,33,34,35,36,37,38,39,40,41,42,43, 45,46,47,48,49], and there are many types of fractional differential equations, such as values at infinite points are involved in the boundary conditions that we refer the reader to [6, 7, 34, 38, 39]. For some differential equations in which fractional derivatives are involved in the nonlinear terms the reader can refer to [6,7,8,9,10, 23]. In order to meet the needs, the p-Laplacian equation is introduced in some boundary value problems, fractional differential equation system of p-Laplacian, and we refer the reader to [3, 9,10,11,12, 15, 17, 22, 24, 28, 30, 31, 35,36,37, 41] for some relevant work. Besides, there are a lot of methods to study fractional differential equations such as mixed monotone operator (see [8, 10, 18, 21, 26, 32]), degree theory (see [20, 48]), spectral analysis (see [2, 20, 29, 41, 42, 49]), bifurcation method (see [19, 20, 29, 31]), and so on. Motivated by the excellent results above, in this paper, we consider the following infinite-point singular p-Laplacian fractional differential equation boundary value system:

$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha } (\varphi _{p_{1}} (D_{0+}^{\gamma }u ) )(t)+ \lambda ^{\frac{1}{q_{1}-1}} f(t,u(t),D^{\mu _{1} }_{0^{+}}u(t),D^{\mu _{2} }_{0^{+}}u(t),\ldots ,D^{\mu _{n-2} }_{0^{+}}u(t),v(t))=0,\\ \quad 0< t< 1, \\ D_{0^{+}}^{\beta } (\varphi _{p_{2}} (D_{0+}^{\delta }v ) )(t)+ \overline{ \lambda }^{\frac{1}{q_{2}-1}} g(t,u(t),D^{\overline{\mu }_{1} }_{0^{+}}u(t),D ^{\overline{\mu }_{2} }_{0^{+}}u(t),\ldots ,D^{\overline{\mu }_{m-2} } _{0^{+}}u(t))=0,\\ \quad 0< t< 1,\\ u^{(j)}(0)=0,\quad j=0,1,2,\ldots ,n-2;\\ D_{0+} ^{\gamma }u(0)=0,\qquad D_{0^{+}}^{r_{1}}u(1)=\sum_{j=1}^{\infty }\eta _{j}D _{0^{+}}^{r_{2}}u(\xi _{j}), \\ v^{(j)}(0)=0,\quad j=0,1,2,\ldots ,m-2;\\ D _{0+}^{\delta }v(0)=0,\qquad D_{0^{+}}^{\overline{r}_{1}}v(1)=\sum_{j=1} ^{\infty }\overline{\eta }_{j} D_{0^{+}}^{\overline{r}_{2}}v(\overline{ \xi }_{j}), \end{cases} $$
(1.1)

where \(\frac{1}{2}<\alpha ,\beta \leq 1\), \(n-1<\gamma \leq n(n\geq 3),m-1< \delta \leq m(m\geq 3),m\leq n\), \(r_{1},r_{2}\in [2,n-2],\overline{r} _{1},\overline{r}_{2}\in [2,m-2]\), \(r_{2}\leq r_{1}, \overline{r}_{2} \leq \overline{r}_{1}\), p-Laplacian operator \(\varphi _{p_{i}}\) is defined as \(\varphi _{p_{i}}(s)=|s|^{p_{i}-2}s, p_{i}, q_{i}>1, \frac{1}{p _{i}}+\frac{1}{q_{i}}=1\ (i=1,2),i-1<\mu _{i}\leq i\ (i=1,2,\ldots ,n-2),k-1<\overline{ \mu }_{i}\leq k(k=1,2,\ldots ,m-2)\), and \(\eta _{j},\overline{\eta } _{j}\geq 0\), \(0<\xi _{1}<\xi _{2}<\cdots <\xi _{j-1}<\xi _{j}<\cdots <1, 0<\overline{ \xi }_{1}<\overline{\xi }_{2}<\cdots <\overline{\xi }_{j-1}<\overline{ \xi }_{j}<\cdots <1\ (j=1,2\cdots )\) are parameters, \(f\in C((0,1) \times (0,+\infty )^{n}, \mathbb{R}^{1}_{+}))(\mathbb{R}^{1}_{+}=[0,+ \infty )\) and \(f(t, x_{1},x_{2},\ldots ,x_{n})\) has singularity at \(x_{i}=0 \ (i=1,2,\ldots ,n)\) and \(t=0, 1\), \(g\in C((0,1)\times (0,+ \infty )^{m-1}, \mathbb{R}^{1}_{+}))\), \(D_{0^{ +}}^{\alpha }u,D_{0^{ +}} ^{\gamma }u\), \(D^{\mu }_{0^{+}}u ,D_{0^{ +}}^{\beta }u,D_{0^{ +}} ^{\delta }u\), \(D^{\overline{\mu }}_{0^{+}}u, D^{r_{i}}_{0^{+}}u,D ^{\overline{r}_{i}}_{0^{+}}u\ (i=1,2)\) are the standard Riemann–Liouville derivatives.

In this paper, we investigate the existence of positive solutions for a singular infinite-point p-Laplacian boundary value system. Compared with our papers [8, 10], values at infinite points are involved in the boundary conditions of BVP (1.1), but integral boundary conditions are involved in the boundary value conditions in [8, 10], \(p_{1}\neq p_{2}\) in the p-Laplacian system of (1.1), but \(p_{1}= p_{2}\) in the p-Laplacian system in [8, 10]. Moreover, the method that we used in [8, 10] is reducing order, but the method that we use in this paper is introducing an order relation without reducing order; and at last we still get an iterative solution for infinite-point fractional differential equation system. Compared with [38], fractional derivatives are involved in the nonlinear terms and boundary conditions for BVP (1.1), and we get a more precise result, that is, the positive solution is obtained by iterative sequences which begin with a simple function. Compared with [6, 39], the equation in this paper is a p-Laplacian boundary value system which is a great extension from the general fractional differential equation, and at the same time we get an iterative solution. Compared with [39], the equation in our paper is an equation system and the uniqueness of an iterative positive solution of equation (1.1) that we obtained is dependent on \(\lambda ,\mu \).

For convenience of presentation, we here list some conditions to be used throughout the paper.

\((S_{1})\) \(f(t,x_{1},x_{2},\ldots ,x_{n})=\phi (t,x_{1},x_{2},\ldots ,x_{n})+\psi (t,x_{1},x_{2},\ldots ,x_{n})\), where \(\phi :(0,1)\times (0, +\infty )^{n}\rightarrow \mathbb{R}^{1}_{+}\) is continuous, \(\phi (t,x_{1},x_{2},\ldots ,x_{n})\) may be singular at \(t=0,1\), and is nondecreasing on \(x_{i}>0 \ (i=1,2,\ldots ,n)\). \(\psi :(0,1)\times (0,+ \infty )^{n}\rightarrow \mathbb{R}^{1}_{+}\) is continuous, \(\psi (t,x _{1},x_{2},\ldots ,x_{n})\) may be singular at \(t=0,1\), \(x_{i}=0\ (i=1,2, \ldots ,n)\) and is nonincreasing on \(x_{i}>0 \ (i=1,2,\ldots ,n)\).

\((S_{2})\) There exists \(0<\sigma <1\) such that, for all \(x_{i}>0\ (i=1,2, \ldots ,n)\) and \(t,l\in (0,1)\),

$$\begin{aligned} &\phi (t,lx_{1},lx_{2},\ldots ,lx_{n})\geq l^{\sigma ^{ \frac{1}{q_{1}-1}}}\phi (t,x_{1},x_{2},\ldots ,x_{n}), \\ &\psi \bigl(t,l^{-1}x_{1},l^{-1}x_{2}, \ldots ,l^{-1}x_{n}\bigr)\geq l^{ \sigma ^{\frac{1}{q_{1}-1}}} \psi (t,x_{1},x_{2},\ldots ,x_{n}), \end{aligned}$$

where \(q_{1}\) is defined by (1.1).

\((S_{3})\) \(g\in C((0,1)\times \mathbb{R}^{m-1}_{+},\mathbb{R}^{1}_{+})\), \(g(t,x_{1},x_{2},\ldots ,x_{m-1})\) is nondecreasing on \(x_{i}>0 \ (i=1,2, \ldots , m-1)\) and \(g(t,1,1,\ldots ,1)\neq 0, t\in (0,1)\). Moreover, there exists \(\varsigma \in (0,1)\) such that, for all \(x_{i}>0\ (i=1,2, \ldots ,m-1)\) and \(t,l\in (0,1)\),

$$ g(t,lx_{1},lx_{2},\ldots ,lx_{m-1})\geq l^{\varsigma ^{ \frac{1}{q_{2}-1}}}g(t,x_{1},x_{2},\ldots ,x_{m-1}), $$

where \(q_{2}\) is defined by (1.1).

\((S_{4})\)

$$\begin{aligned} &0< \int _{0}^{1}\phi ^{2}(\tau ,1,1,\ldots ,1)\,d\tau < +\infty , \\ &0< \int _{0}^{1}\tau ^{-2(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}}\psi ^{2}( \tau ,1,1,\ldots ,1)\,d\tau < +\infty , \\ &0< \int _{0}^{1}g^{2} (\tau ,1,\ldots ,1 ) \,d\tau < +\infty . \end{aligned}$$

Remark 1.1

According to \((S_{2})\) and \((S_{3})\), for all \(x_{i}>0\ (i=1,2,\ldots ,n)\), \(\sigma , t\in (0,1)\), and \(l\geq 1\), we have

$$\begin{aligned} &\phi (t,lx_{1},lx_{2},\ldots ,lx_{n})\leq l^{\sigma ^{ \frac{1}{q_{1}-1}}}\phi (t,x_{1},x_{2},\ldots ,x_{n}), \\ &\psi \bigl(t,l^{-1}x_{1},l^{-1}x_{2}, \ldots ,l^{-1}x_{n}\bigr)\leq l^{ \sigma ^{\frac{1}{q_{1}-1}}} \psi (t,x_{1},x_{2},\ldots ,x_{n}), \\ &g(t,lx_{1},\ldots ,lx_{m-1})\leq l^{\varsigma ^{\frac{1}{q_{2}-1}}}g(t,x _{1},\ldots ,x_{m-1}), \end{aligned}$$

where \(q_{i}\ (i=1,2)\) is defined by (1.1).

2 Preliminaries and lemmas

For some basic definitions and lemmas about the theory of fractional calculus, which are useful for the following research, the reader can refer to the recent literature such as [14, 25, 27], we omit some definitions and properties of fractional calculus here.

Lemma 2.1

Let \(y,\overline{y}\in L^{1}(0,1)\cap C(0,1)\), then the equation of the BVPs

$$\begin{aligned} &\textstyle\begin{cases} -D_{0+}^{\gamma } u(t)=y(t),\quad 0< t< 1,\\ u^{(j)}(0)=0,\quad j=0,1,2,\ldots ,n-2;\qquad D_{0^{+}}^{r_{1}}u(1)=\sum_{j=1}^{\infty }\eta _{j}D_{0^{+}}^{r _{2}}u(\xi _{j}), \end{cases}\displaystyle \end{aligned}$$
(2.1)
$$\begin{aligned} &\textstyle\begin{cases} -D_{0+}^{\delta } v(t)=\overline{y}(t),\quad 0< t< 1,\\ v^{(j)}(0)=0,\quad j=0,1,2, \ldots ,m-2;\qquad D_{0^{+}}^{\overline{r}_{1}}v(1)=\sum_{j=1}^{\infty }\overline{ \eta }_{j}D_{0^{+}}^{\overline{r}_{2}} v(\overline{\xi }_{j}) \end{cases}\displaystyle \end{aligned}$$
(2.2)

has integral representation

$$\begin{aligned} \begin{aligned} &u(t)= \int _{0}^{1}G(t,s)y(s)\,ds, \\ &v(t)= \int _{0}^{1}H(t,s) \overline{y}(s)\,ds, \end{aligned} \end{aligned}$$
(2.3)

respectively, where

$$\begin{aligned} &G(t,s)=\frac{1}{\Delta \varGamma (\gamma )} \textstyle\begin{cases} \varGamma (\gamma )t^{\gamma -1}P(s)(1-s)^{\gamma -r_{1}-1}-\Delta (t-s)^{ \gamma -1},& 0\leq s \leq t\leq 1,\\ \varGamma (\gamma )t^{\gamma -1}P(s)(1-s)^{ \gamma -r_{1}-1} , & 0\leq t \leq s\leq 1, \end{cases}\displaystyle \end{aligned}$$
(2.4)
$$\begin{aligned} &H(t,s)=\frac{1}{\overline{\Delta }\varGamma (\delta )}\textstyle\begin{cases} \varGamma (\delta )t^{\delta -1}\overline{P}(s)(1-s)^{\delta - \overline{r}_{1}-1}-\overline{\Delta }(t-s)^{\delta -1}, &0\leq s \leq t\leq 1,\\ \varGamma (\delta )t^{\delta -1}\overline{P}(s)(1-s)^{ \delta -\overline{r}_{1}-1} ,& 0\leq t \leq s\leq 1, \end{cases}\displaystyle \end{aligned}$$
(2.5)

in which

$$\begin{aligned} &P(s)=\frac{1}{\varGamma (\gamma -r_{1})}- \frac{1}{\varGamma (\gamma -r_{2})}\sum_{s\leq \xi _{j}} \eta _{j} \biggl(\frac{ \xi _{j}-s}{1-s} \biggr)^{\gamma -r_{2}-1}(1-s)^{r_{1}-r_{2}}, \\ &\overline{P}(s)=\frac{1}{\varGamma (\delta -\overline{r}_{1})}-\frac{1}{ \varGamma (\delta -\overline{r}_{2})}\sum _{s\leq \overline{\xi }_{j}}\overline{ \eta }_{j} \biggl( \frac{\overline{\xi }_{j}-s}{1-s} \biggr)^{\delta - \overline{r}_{1}-1}(1-s)^{\overline{r}_{1}-\overline{r}_{2}}, \\ &\Delta =\frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{1})}-\frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{2})}\sum_{j=1}^{\infty } \eta _{j}\xi _{j} ^{\gamma -r_{2}-1}\neq 0, \\ &\overline{\Delta }=\frac{\varGamma (\delta )}{\varGamma (\delta - \overline{r}_{1})}- \frac{\varGamma (\delta )}{\varGamma (\delta - \overline{r}_{2})}\sum _{j=1}^{\infty }\overline{\eta }_{j} \overline{ \xi }_{j}^{\delta -\overline{r}_{2}-1}\neq 0. \end{aligned}$$

Proof

We only need to prove (2.4), the proof of (2.5) is similar to the proof of (2.4). By means of the definition of fractional differential integral, we can reduce (2.1) to an equivalent integral equation

$$ u(t)=-I_{0^{+}}^{\gamma }y(t)+C_{1}t^{\gamma -1}+C_{2}t^{\gamma -2}+ \cdots +C_{n}t^{\gamma -n} $$

for \(C_{i}\in \mathbb{R}\) (\(i=1,2,\ldots ,n\)). From \(u^{(j)}(0)=0\ (j=0,1,2, \ldots ,n-2)\), we have \(C_{i}=0\ (i=2,3,\ldots ,n)\). Consequently, we get

$$ u(t)=C_{1}t^{\gamma -1}-I_{0^{+}}^{\gamma }y(t). $$

By some properties of the fractional integrals and fractional derivatives, we have

$$\begin{aligned} \begin{aligned} &D_{0^{+}}^{r_{1}}u(t)=C_{1} \frac{\varGamma (\gamma )}{\varGamma (\gamma -r _{1})}t^{\gamma -r_{1}-1}- I_{0^{+}}^{\gamma -r_{1}}y(t), \\ &D_{0^{+}} ^{r_{2}}u(t)=C_{1}\frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{2})}t ^{\gamma -r_{2}-1}- I_{0^{+}}^{\gamma -r_{2}}y(t). \end{aligned} \end{aligned}$$
(2.6)

On the other hand, \(D_{0^{+}}^{r_{1}}u(1)=\sum_{j=1}^{\infty }\eta _{j}D_{0^{+}}^{r_{2}}u(\xi _{j})\) combining with (2.6), we get

$$\begin{aligned} C_{1} &= \int _{0}^{1}\frac{(1-s)^{\gamma -r_{1}-1}}{\varGamma (\gamma -p _{1})\Delta }y(s)\,ds- \sum _{j=1}^{\infty }\eta _{j} \int _{0}^{\xi _{j}} \frac{( \xi _{j}-s)^{\gamma -r_{2}-1}}{\varGamma (\gamma -r_{2})\Delta }y(s)\,ds \\ &= \int _{0}^{1}\frac{(1-s)^{\gamma -r_{1}-1}P(s)}{\Delta }y(s)\,ds, \end{aligned}$$

where

$$\begin{aligned} &P(s)=\frac{1}{\varGamma (\gamma -r_{1})}- \frac{1}{\varGamma (\gamma -r_{2})}\sum_{s\leq \xi _{j}} \eta _{j} \biggl(\frac{ \xi _{j}-s}{1-s} \biggr)^{\gamma -r_{2}-1}(1-s)^{r_{1}-r_{2}}, \\ &\Delta =\frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{1})}- \frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{2})}\sum_{j=1}^{\infty } \eta _{j}\xi _{j} ^{\gamma -r_{2}-1}. \end{aligned}$$

Hence,

$$\begin{aligned} u(t) &=C_{1}t^{\gamma -1}-I_{0^{+}}^{\gamma }y(t) \\ &=- \int _{0}^{t}\frac{ \Delta (t-s)^{\gamma -1}}{\varGamma (\gamma )\Delta }y(s)\,ds+ \int _{0} ^{1}\frac{(1-s)^{\gamma -r_{1}-1}t^{\gamma -1}P(s)}{\Delta }y(s)\,ds. \end{aligned}$$

Therefore, we get (2.4), similarly, we get (2.5).

Moreover, by (2.4), for \(i=1,2,\ldots ,n-2\), we have

$$ D_{0^{+}}^{\mu _{i}}G(t,s)=\frac{1}{\Delta \varGamma (\gamma -\mu _{i})} \textstyle\begin{cases} \varGamma (\gamma )t^{\gamma -\mu _{i}-1}P(s)(1-s)^{\gamma -r_{1}-1}- \Delta (t-s)^{\gamma -\mu _{i}-1},\\ \quad 0\leq s \leq t\leq 1,\\ \varGamma ( \gamma )t^{\gamma -\mu _{i}-1}P(s)(1-s)^{\gamma -r_{1}-1},\\ \quad 0\leq t \leq s\leq 1. \end{cases} $$
()

 □

Lemma 2.2

Let \(\Delta ,\overline{\Delta }>0\), then the Green function defined by (2.3) satisfies:

  1. (1)

    \(G,H:[0,1]\times [0,1]\rightarrow \mathbb{R}^{1}_{+}\) are continuous and \(G(t,s), H(t,s)>0\), for all \(t,s\in (0,1)\);

  2. (2)
    $$\begin{aligned} &\frac{1}{\varGamma (\gamma )}t^{\gamma -1}j(s)\leq G(t,s)\leq a^{\star }t ^{\gamma -1},\quad t,s\in [0,1], \end{aligned}$$
    (2.7)
    $$\begin{aligned} &\frac{1}{\varGamma (\delta )}t^{\delta -1}\overline{j}(s)\leq H(t,s) \leq \overline{a}^{\star }t^{\delta -1},\quad t,s\in [0,1], \end{aligned}$$
    (2.8)

    where

    $$\begin{aligned} &j(s)=(1-s)^{\gamma -r_{1}-1}\bigl[1-(1-s)^{r_{1}}\bigr],\qquad \overline{j}(s)=(1-s)^{\delta -\overline{r}_{1}-1}\bigl[1-(1-s)^{ \overline{r}_{1}}\bigr], \\ &a^{\star }=\frac{1}{\Delta \varGamma (\gamma -r_{1})},\qquad \overline{a}^{ \star }= \frac{1}{\overline{\Delta } \varGamma (\delta -\overline{r}_{1})}, \end{aligned}$$

    in which \(\Delta ,\overline{\Delta }\) are defined as in Lemma 2.1.

Proof

Let

$$ G_{\star }(t,s)=\frac{1}{\varGamma (\gamma )}\textstyle\begin{cases} t^{\gamma -1}(1-s)^{\gamma -r_{1}-1}-(t-s)^{\gamma -1},& 0\leq s \leq t\leq 1,\\ t^{\gamma -1}(1-s)^{\gamma -r_{1}-1} , & 0\leq t \leq s\leq 1. \end{cases} $$

From [13], for \(r_{1}\in [2,n-2]\), we have

$$ 0\leq t^{\gamma -1}(1-s)^{\gamma -r_{1}-1}\bigl[1-(1-s)^{r_{1}}\bigr]\leq \varGamma (\alpha )G_{\star }(t,s)\leq t^{\gamma -1}(1-s)^{\gamma -r_{1}-1}. $$
(2.9)

By direct calculation, we get \(P'(s)\geq 0\), \(s\in [0,1]\), and so \(P(s)\) is nondecreasing with respect to s. For \(r_{2}\leq r_{1}\), \(r_{1},r_{2}\in [2,n-2]\), \(s\in [0,1]\), we get

$$\begin{aligned} \varGamma (\alpha )P(s) &=\frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{1})}- \frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{2})}\sum _{s\leq \xi _{j}} \eta _{j} \biggl( \frac{\xi _{j}-s}{1-s} \biggr)^{\gamma -r_{2}-1}(1-s)^{r _{1}-r_{2}} \\ &\geq \varGamma (\gamma )P(0)=\frac{\varGamma (\gamma )}{ \varGamma (\gamma -r_{1})}- \frac{\varGamma (\gamma )}{\varGamma (\gamma -r _{2})}\sum \eta _{j}\xi _{j}^{\gamma -r_{2}-1}=\Delta . \end{aligned}$$
(2.10)

By (2.4) and (2.10), we have

$$ \Delta \varGamma (\gamma )G(t,s)\geq \textstyle\begin{cases} \Delta t^{\gamma -1}(1-s)^{\gamma -r_{1}-1}-\Delta (t-s)^{\gamma -1},& 0\leq s \leq t\leq 1,\\ \Delta t^{\gamma -1}(1-s)^{\gamma -r_{1}-1} ,& 0\leq t \leq s\leq 1. \end{cases} $$
(2.11)

So, by (2.9) and (2.11), we have

$$\begin{aligned} \Delta \varGamma (\gamma )G(t,s)\geq {}& \Delta \varGamma (\gamma )G_{\star }(t,s) \\ \geq {}& \Delta t^{\gamma -1}(1-s)^{\gamma -r_{1}-1}\bigl[1-(1-s)^{r_{1}} \bigr], \end{aligned}$$
(2.12)

hence,

$$ G(t,s)\geq \frac{1}{\varGamma (\gamma )}t^{\gamma -1}j(s). $$

On the other hand,

$$ P(s)=\frac{1}{\varGamma (\gamma -r_{1})}- \frac{1}{\varGamma (\gamma -r_{2})}\sum_{s\leq \xi _{j}} \eta _{j} \biggl(\frac{ \xi _{j}-s}{1-s} \biggr)^{\gamma -r_{2}-1}(1-s)^{r_{1}-r_{2}} \leq \frac{1}{ \varGamma (\gamma -r_{1})}, $$

clearly,

$$ \Delta \varGamma (\gamma )G(t,s)\leq \varGamma (\gamma )t^{\gamma -1}P(s) (1-s)^{ \gamma -r_{1}-1}, $$

hence,

$$ G(t,s)\leq a^{\star }t^{\gamma -1}. $$

So the proof of (2.7) is completed. Similarly, (2.8) also holds. □

To study PFDE (1.1), in what follows we consider the associated linear PFDEs:

$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha } (\varphi _{p_{1}} (D_{0+}^{\gamma } u ) )(t)+ \rho (t)=0,\quad 0< t< 1,\\ u^{(j)}(0)=0,\quad j=0,1,2,\ldots ,n-2;\\ D_{0+}^{ \gamma }u(0)=0,\qquad D_{0^{+}}^{r_{1}}u(1)=\sum_{j=1}^{\infty }\eta _{j}D _{0^{+}}^{r_{2}}u(\xi _{j}), \end{cases} $$
(2.13)

and

$$ \textstyle\begin{cases} D_{0^{+}}^{\beta } (\varphi _{p_{2}} (D_{0+}^{\delta } v ) )(t)+\overline{ \rho }(t)=0,\quad 0< t< 1,\\ v^{(j)}(0)=0,\quad j=0,1,2,\ldots ,m-2; \qquad D_{0+}^{ \delta }v(0)=0,\\ D_{0^{+}}^{\overline{r}_{1}}v(1)=\sum_{j=1}^{\infty }\overline{ \eta }_{j} D_{0^{+}}^{\overline{r}_{2}}v(\overline{\xi }_{j}), \end{cases} $$
(2.14)

where \(\rho (t),\overline{\rho }(t)\in L^{1}((0,1),\mathbb{R}^{1}_{+}) \cap C((0,1),\mathbb{R}^{1}_{+})\).

Lemma 2.3

PFDEs (2.13), (2.14) have the unique positive solution

$$\begin{aligned} &u(t)= \int _{0}^{1}G(t,s) \biggl( \int _{0}^{s}\overline{a}(s-\tau )^{ \alpha -1} \rho (\tau )\,d\tau \biggr)^{q_{1}-1}\,ds,\quad t\in [0,1], \end{aligned}$$
(2.15)
$$\begin{aligned} &v(t)= \int _{0}^{1}H(t,s) \biggl( \int _{0}^{s}\overline{b}(s-\tau )^{ \beta -1} \overline{\rho }(\tau )\,d\tau \biggr)^{q_{2}-1}\,ds,\quad t\in [0,1], \end{aligned}$$
(2.16)

respectively, in which \(\overline{a}=\frac{1}{\varGamma (\alpha )}, \overline{b}=\frac{1}{\varGamma (\beta )}\).

Proof

Let \(h=D_{0^{+}}^{\gamma }u,k=\varphi _{p_{1}}(h)\), then the solution of the initial value problem

$$ \textstyle\begin{cases} D_{0^{+}}^{\alpha }k(t)+\rho (t)=0,\quad 0< t< 1,\\ k(0)=0, \end{cases} $$
(2.17)

is given by \(k(t)=C_{1}t^{\alpha -1}-I_{0^{+}}^{\alpha }\rho (t), t \in [0,1]\). By the relations \(k(0)=0\), we have \(C_{1}=0\), and hence,

$$ k(t)=-I_{0^{+}}^{\alpha }\rho (t),\quad t\in [0,1]. $$
(2.18)

By \(D_{0^{+}}^{\gamma }u=h,h=\varphi ^{-1}_{p_{1}}(k)\), we have from (2.17) that the solution of (2.13) satisfies

$$ \textstyle\begin{cases} D_{0^{+}}^{\gamma }u(t)=\varphi _{p_{1}}^{-1}(-I_{0^{+}}^{\alpha } \rho (t)),\quad 0< t< 1,\\ u^{(j)}(0)=0,\quad j=0,1,2,\ldots ,n-2;\qquad D_{0^{+}}^{r _{1}}u(1)=\sum_{j=1}^{\infty }\eta _{j}D_{0^{+}}^{r_{2}}u(\xi _{j}). \end{cases} $$
(2.19)

By (2.3), the solution of Eq. (2.19) can be written as

$$ u(t)=- \int _{0}^{1}G(t,s)\varphi _{p_{1}}^{-1} \bigl(-I_{0^{{+}}}^{\alpha } \rho (s)\bigr)\,ds,\quad t\in [0,1]. $$

Since \(\rho (s)\geq 0,s\in [0,1]\), we have \(\varphi _{p_{1}}^{-1}(-I _{0^{+}}^{\alpha }\rho (s))=-(I_{0^{+}}^{\alpha }\rho (s))^{q_{1}-1}, s\in [0,1]\), which implies that the solution of Eq. (2.13) is

$$ u(t)= \int _{0}^{1}G(t,s) \biggl( \int _{0}^{s}\overline{a}(s-\tau )^{ \alpha -1} \rho (\tau )\,d\tau \biggr)^{q_{1}-1}\,ds,\quad t\in [0,1]. $$

Similarly, the solution of Eq. (2.14) is

$$ v(t)= \int _{0}^{1}H(t,s) \biggl( \int _{0}^{s}\overline{b}(s-\tau )^{ \beta -1} \overline{\rho }(\tau )\,d\tau \biggr)^{q_{2}-1}\,ds,\quad t\in [0,1], $$

where \(\overline{a},\overline{b}\) is defined as Lemma 2.3. □

The vector \((u,v)\) is a solution of system (1.1) if and only if \((u,v)\in E\times E\) (E is defined as (2.23)) is a solution of the following nonlinear integral equation system:

$$ \textstyle\begin{cases} u(t)= \lambda \int _{0}^{1}G(t,s) (\int _{0}^{s}\overline{a}(s- \tau )^{\alpha -1} f(\tau ,u(\tau ),D_{0^{+}}^{\mu _{1}}u(\tau ), \ldots ,\\ \phantom{u(t)=}D_{0^{+}}^{\mu _{n-2}}u(\tau ),v(\tau ))\,d\tau )^{q_{1}-1}\,ds, \\ v(\tau )= \overline{\lambda }\int _{0}^{1}H(t,s) (\int _{0} ^{s}\overline{b}(s-\tau )^{\beta -1} g(\tau ,u(\tau ),D_{0^{+}}^{\overline{ \mu }_{1}}u(\tau ),\ldots ,\\ \phantom{v(\tau )=}D_{0^{+}}^{\overline{\mu }_{m-1}} u(\tau ))\,d \tau )^{q_{2}-1}\,ds, \\ \quad t\in [0,1]. \end{cases} $$
(2.20)

By Lemma 2.1, we know that the unique solution for problem (1.1) has the following integral formulation:

$$\begin{aligned} u(t)= {}& \lambda \int _{0}^{1}G(t,s) ( \int _{0}^{s}\overline{a}(s- \tau )^{\alpha -1}f\biggl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ), \biggl[\overline{\lambda } \int _{0}^{1}H(\tau ,s) \\ &{}\times \biggl( \int _{0}^{s}\overline{b}(s-w)^{\beta -1} g\bigl(\tau ,u(\tau ), D_{0^{+}} ^{\overline{\mu }_{1}}u(\tau ),\ldots ,D_{0^{+}}^{\overline{\mu }_{m-1}} u(\tau )\bigr)\,dw \biggr)^{q_{2}-1}\,ds \biggr]\,d\tau \biggr)^{q_{1}-1}\,ds, \\ &t \in [0,1]. \end{aligned}$$
(2.21)

Let P be a normal cone of a Banach space E, and \(e\in P\), \(e>\theta \), where θ is a zero element of E. Define a component of P by \(Q_{e}=\{u\in P|\text{ there exists a constant }C>0\text{ such that }\frac{1}{C}e\preceq u\preceq Ce\}\). \(A:Q_{e}\times Q_{e}\rightarrow P\) is said to be mixed monotone if \(A(u,y)\) is nondecreasing in u and nonincreasing in y, i.e., \(u_{1}\preceq u_{2} (u_{1},u_{2}\in Q _{e} )\) implies \(A(u_{1},y)\preceq A(u_{2},y)\) for any \(y\in Q_{e}\), and \(y_{1}\preceq y_{2} (y_{1},y_{2}\in Q_{e})\) implies \(A(u,y_{1}) \succeq A(u,y_{2})\) for any \(u\in Q_{e}\). The element \(u^{\star } \in Q_{e}\) is called a fixed point of A if \(A(u^{\star },u^{\star })=u ^{\star }\).

Lemma 2.4

([1, 5, 21, 44])

Let E be a Banach space and P be a normal cone of the Banach space E. Suppose that \(A:Q_{e}\times Q_{e}\rightarrow Q_{e}\) is a mixed monotone operator and there exists a constant σ, \(0<\sigma <1\), such that

$$ A \biggl(lx,\frac{1}{l}y \biggr)\succeq l^{\sigma }A(x,y),\quad x, y \in Q_{e}, 0< l< 1, $$
(2.22)

then A has a unique fixed point \(x^{\star }\in Q_{e}\), and for any \(x_{0}\in Q_{e}\), we have

$$ \lim_{k\rightarrow \infty }x_{k}=x^{\star }, $$

where

$$ x_{k}=A(x_{k-1},x_{k-1}),\quad k=1,2,\ldots , $$

and the convergence rate is

$$ \bigl\Vert x_{k}-x^{\star } \bigr\Vert =o \bigl(1-r^{\sigma ^{k}}\bigr), $$

where r is a constant, \(0< r<1\), dependent on \(x_{0}\).

Lemma 2.5

([1, 5, 21, 44])

Let E be a Banach space and P be a normal cone of the Banach space E. Suppose that \(A:Q_{e}\times Q_{e}\rightarrow Q_{e}\) is a mixed monotone operator and there exists a constant \(\sigma \in (0,1)\) such that (2.22) holds. If \(x_{\lambda }^{\star }\) is a unique solution of the equation

$$ \lambda A(x,x)=x,\quad \lambda >0, $$

in \(Q_{e}\), then

  1. (1)

    For any \(\lambda _{0}\in (0,+\infty )\), \(\|x_{\lambda } ^{\star }-x_{\lambda _{0}}^{\star }\|\rightarrow 0, \lambda \rightarrow \lambda _{0}\);

  2. (2)

    If \(0<\sigma <\frac{1}{2}\), then \(0<\lambda _{1}<\lambda _{2}\) implies \(x_{\lambda _{1}}^{\star }\preceq x_{\lambda _{2}}^{ \star }, x_{\lambda _{1}}^{\star }\neq x_{\lambda _{2}}^{\star }\), and

    $$ \lim_{\lambda \rightarrow 0} \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =0,\qquad \lim_{\lambda \rightarrow +\infty } \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =+\infty . $$

Let

$$ E= \bigl\{ u|u\in C[0,1],D_{0^{+}}^{\mu _{i}}u,D_{0^{+}}^{\overline{ \mu }_{j}}u \in C[0,1], i=1,2,\ldots ,n-2; j=1,2,\ldots ,m-2 \bigr\} $$
(2.23)

be a Banach space with the norm

$$\begin{aligned} \Vert u \Vert ={}&\max \Bigl\{ \max_{t\in [0,1]} \bigl\vert u(t) \bigr\vert ,\max_{t\in [0,1]} \bigl\vert D_{0^{+}} ^{\mu _{i}}u(t) \bigr\vert ,\max_{t\in [0,1]} \bigl\vert D_{0^{+}}^{\overline{\mu }_{j}}u(t) \bigr\vert ,\\ &i=1,2, \ldots ,n-2; j=1,2, \ldots ,m-2 \Bigr\} . \end{aligned}$$

Moreover, we define a cone of E by

$$\begin{aligned} P= {}&\bigl\{ u\in E:u(t)\geq 0, D_{0^{+}}^{\mu _{i}}u(t)\geq 0,D_{0^{+}} ^{\overline{\mu }_{j}}u(t)\geq 0, \\ &t\in [0,1],i=1,2,\ldots ,n-2;j=1,2, \ldots ,m-2 \bigr\} . \end{aligned}$$

Clearly, P is a normal cone, and E is endowed with an order relation \(u\preceq v\) if and only if \(u(t)\leq v(t),D_{0^{+}}^{\mu _{i}}u(t) \leq D_{0^{+}}^{\mu _{i}}v(t),D_{0^{+}}^{\overline{\mu }_{j}}u(t) \leq D_{0^{+}}^{\overline{\mu }_{j}}v(t)\ (i=1,2,\ldots ,n-2;j=1,2, \ldots ,m-2),t\in [0,1]\). Let \(e(t)=t^{\gamma -1}\) for \(t\in [0,1]\), also define a component of P by

$$\begin{aligned} Q_{e}= & \biggl\{ u\in P: \text{ there exists } M\geq 1, \frac{1}{M}e(t)\leq u(t)\leq Me(t), t\in [0,1] \biggr\} . \end{aligned}$$

3 Main results

Theorem 3.1

Suppose that \((S_{1})\)\((S_{4})\) hold. Then PFDE (1.1) has a unique positive solution \((u_{\lambda }^{ \star },v_{\mu }^{\star })\) which satisfies

$$\begin{aligned} &\frac{1}{M}t^{\gamma -1}\leq u_{\lambda }^{\star }(t)\leq M t^{\gamma -1},\quad t\in [0,1], \\ & \frac{\overline{\lambda }}{\varGamma (\delta )} t^{\delta -1} \overline{b}^{q_{2}-1} \biggl(\frac{\overline{\rho }}{M} \biggr)^{ \varsigma } \int _{0}^{1} \overline{j}(s) \biggl[ \int _{0}^{s}(s-w)^{ \beta -1}w^{(\gamma -1)\varsigma ^{\frac{1}{q_{2}-1}}}g (w,1, \ldots ,1 )\,dw \biggr]^{q_{2}-1}\,ds\leq v_{\mu }^{\star }(t) \\ &\quad \leq \overline{\lambda } \overline{a}^{\star }t^{\delta -1} \overline{b}^{q_{2}-1}(M\rho +1)^{\varsigma } \int _{0}^{1} \biggl[ \int _{0}^{s}(s-w)^{\beta -1}g (w,1,\ldots ,1 )\,dw \biggr]^{q _{2}-1}\,ds , \\ &\quad t\in [0,1], \end{aligned}$$
(3.1)

and \(v_{\overline{\lambda }}^{\star }\) is dependent on \(u_{\lambda } ^{\star }\),

$$\begin{aligned} v_{\overline{\lambda }}^{\star }(t)= {}& \overline{\lambda } \int _{0} ^{1}H(t,s) \biggl( \int _{0}^{s}\overline{b}(s-\tau )^{\beta -1}g \bigl(\tau ,u _{\lambda }^{\star }(\tau ),D_{0^{+}}^{\overline{\mu }_{1}}u_{\lambda }^{\star }( \tau ),\ldots , D_{0^{+}}^{\overline{\mu }_{m-2}}u_{\lambda }^{\star }( \tau ) \bigr)\,d\tau \biggr)^{q_{2}-1}\,ds, \\ & t\in [0,1]. \end{aligned}$$
()

Moreover, \(u_{\lambda }^{\star }\) satisfies

  1. (1)

    For \(\lambda _{0}\in (0,\infty )\), \(\|u_{\lambda }^{ \star }-u_{\lambda _{0}}^{\star }\|\rightarrow 0, \lambda \rightarrow \lambda _{0}\);

  2. (2)

    If \(0<\sigma <\frac{1}{2}\), then \(0<\lambda _{1}<\lambda _{2}\) implies \(u_{\lambda _{1}}^{\star }\preceq u_{\lambda _{2}}^{ \star }, u_{\lambda _{1}}^{\star }\neq u_{\lambda _{2}}^{\star } \), and

    $$ \lim_{\lambda \rightarrow 0} \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =0,\qquad \lim_{\lambda \rightarrow +\infty } \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =+\infty . $$

    Moreover, for any \(u_{0}(t)\in Q_{e}\), constructing a successive sequence:

    $$\begin{aligned} u_{k+1}(t)= {}&\lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s- \tau )^{\alpha -1} (\phi \bigl(\tau ,u_{k}(\tau ), D_{0^{+}}^{\mu _{1}}u_{k}( \tau ),\ldots ,\\ &D_{0^{+}}^{\mu _{n-2}}u_{k}(\tau ),Au_{k}( \tau )\bigr) \\ &{}+\psi \bigl(\tau ,u_{k}(\tau ),D _{0^{+}}^{\mu _{1}}u_{k}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}} u_{k}( \tau ),Au_{k}(\tau ) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds, \\ & k=1,2, \ldots , t\in [0,1], \end{aligned}$$

    and we have \(\|u_{k}-u_{\lambda }^{\star }\|\rightarrow 0\) as \(k\rightarrow \infty \), the convergence rate is

    $$ \bigl\Vert u_{k}-u_{\lambda }^{\star } \bigr\Vert =o \bigl(1-r^{\sigma ^{k}}\bigr), $$

    where r is a constant, \(0< r<1\), dependent on \(u_{0}\) (A is defined by (3.2)).

Proof

We now consider the existence of a positive solution to problem (1.1). From the discussion in Sect. 2, we only need to consider the existence of a positive solution to PFDE (2.21). In order to realize this purpose, define the operator \(A:Q_{e}\rightarrow P\) by

$$\begin{aligned} Au(\tau )= &\overline{\lambda } \int _{0}^{1}H(\tau ,s) \biggl[ \int _{0} ^{s}\overline{b}(s-w)^{\beta -1} g \bigl(w,u(w),D_{0^{+}}^{\overline{\mu } _{1}}u(w),\ldots ,D_{0^{+}}^{\overline{\mu }_{m-2}} u(w)\bigr)\,dw \biggr] ^{q_{2}-1}\,ds, \\ &\quad \tau \in [0,1], \end{aligned}$$
(3.2)

define the operator \(T_{\lambda }:Q_{e}\times Q_{e}\rightarrow P\) by

$$\begin{aligned} T_{\lambda }(u,z) (t) = {}& \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}} ^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}}^{\mu _{1}}z( \tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),Au(\tau )\bigr) \bigr)\,d \tau \biggr] ^{q_{1}-1}\,ds, \\ &t\in [0,1]. \end{aligned}$$
(3.3)

Now we prove that \(T_{\lambda }:Q_{e}\times Q_{e}\rightarrow P\) is well defined. For any \(u\in Q_{e}\), that is, there exists \(M\geq 1\) such that \(\frac{1}{M}e(w)\leq u(w)\leq Me(w)\), by (3.2), \((S_{3})\), and Remark 1.1, for all \(\tau \in [0,1]\), we have

$$\begin{aligned} &Au(\tau ) \\ &\quad=\overline{\lambda } \int _{0}^{1}H(\tau ,s) \biggl[ \int _{0}^{s}\overline{b}(s-w)^{\beta -1}g \bigl(w,u(w),D_{0^{+}}^{\overline{ \mu }_{1}}u(w),\ldots ,D_{0^{+}}^{\overline{\mu }_{m-2}} u(w) \bigr)\,dw \biggr] ^{q_{2}-1}\,ds \\ &\quad\leq\overline{\lambda } \overline{ a}^{\star } \tau ^{\delta -1} \int _{0}^{1} \biggl[ \int _{0}^{s}\overline{b}(s-w)^{ \beta -1}g \biggl(w,Mw^{\gamma -1},\frac{M\varGamma (\gamma )}{\varGamma ( \gamma -\overline{\mu }_{1})} w^{\gamma -1-\overline{\mu }_{1}}, \ldots , \\ &\qquad\frac{M\varGamma (\gamma )}{ \varGamma (\gamma -\overline{\mu }_{m-2})} w^{\gamma -1-\overline{\mu } _{m-2}} \biggr)\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\leq\overline{\lambda } \overline{ a}^{\star }\tau ^{\delta -1} \int _{0}^{1} \biggl[ \int _{0}^{s} \overline{b}(s-w)^{\beta -1}g \biggl(w,Mw^{\gamma -1}+1, \frac{M\varGamma (\gamma )}{\varGamma (\gamma -\overline{\mu })}w^{\gamma -1-\overline{ \mu }_{1}}+1,\ldots , \\ &\qquad\frac{M\varGamma (\gamma )}{\varGamma (\gamma -\overline{\mu })}w^{\gamma -1-\overline{ \mu }_{m-2}} +1 \biggr)\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\leq\overline{ \lambda } \overline{ a}^{\star }\tau ^{\delta -1} \int _{0}^{1} \biggl[ \int _{0}^{s}\overline{b}(s-w)^{\beta -1}g \biggl(w,M+1, \frac{M\varGamma ( \gamma )}{\varGamma (\gamma -\overline{\mu }_{1})}+1,\ldots , \\ &\qquad\frac{M\varGamma (\gamma )}{\varGamma (\gamma -\overline{ \mu }_{m-2})}+1 \biggr)\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\leq\overline{ \lambda } \overline{a}^{\star }\tau ^{\delta -1} \int _{0}^{1} \biggl[ \int _{0}^{s}\overline{b}(s-w)^{\beta -1}g (w,M\rho +1,\ldots ,M \rho +1, )\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\leq\overline{\lambda } \overline{a}^{\star }\tau ^{\delta -1} \int _{0}^{1} \biggl[ \int _{0}^{s}(M \rho +1)^{\varsigma ^{\frac{1}{q_{2}-1}}} \overline{b}(s-w)^{\beta -1}g (w,1,\ldots ,1 )\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\leq\overline{ \lambda } \overline{a}^{\star }\tau ^{\delta -1} \overline{b}^{q_{2}-1}(M \rho +1)^{\varsigma } \int _{0}^{1} \biggl[ \int _{0}^{s}(s-w)^{\beta -1}g (w,1,\ldots ,1 )\,dw \biggr]^{q_{2}-1}\,ds, \end{aligned}$$
(3.4)

where \(\rho =\max \{1,\frac{\varGamma (\gamma )}{\varGamma (\gamma -\overline{ \mu }_{m-2})} \}\), and

$$\begin{aligned} &Au(\tau ) \\ &\quad=\overline{\lambda } \int _{0}^{1}H(\tau ,s) \biggl[ \int _{0}^{s}\overline{b}(s-w)^{\beta -1}g \bigl(w,u(w),D_{0^{+}}^{\overline{ \mu }_{1}}u(w),\ldots ,D_{0^{+}}^{\overline{\mu }_{m-2}}u(w) \bigr)\,dw \biggr] ^{q_{2}-1}\,ds \\ &\quad\geq\overline{\lambda } \frac{1}{\varGamma (\delta )} \tau ^{\delta -1} \int _{0}^{1}\overline{j}(s) \biggl[ \int _{0}^{s} \overline{b}(s-w)^{\beta -1}g \biggl(w,\frac{1}{M}w^{\gamma -1},\frac{ \varGamma (\gamma )}{M\varGamma (\gamma -\overline{\mu }_{1})}w^{\gamma -1-\overline{ \mu }_{1}}, \ldots , \\ &\qquad\frac{\varGamma ( \gamma )}{M\varGamma (\gamma -\overline{\mu }_{n-2})} w^{\gamma -1-\overline{ \mu }_{n-2}} \biggr)\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\geq\overline{\lambda } \frac{1}{\varGamma (\delta )}\tau ^{\delta -1} \int _{0}^{1}\overline{j}(s) \biggl[ \int _{0}^{s}\overline{b} (s-w)^{\beta -1}g \biggl(w,\frac{\overline{ \rho }}{M}w^{\gamma -1},\ldots ,\frac{\overline{\rho }}{M} w^{\gamma -1} \biggr)\,dw \biggr]^{q_{2}-1}\,ds \\ &\quad\geq\overline{\lambda } \frac{1}{ \varGamma (\delta )}\tau ^{\delta -1} \int _{0}^{1}\overline{j}(s) \biggl[ \int _{0}^{s}\overline{b} (s-w)^{\beta -1}w^{(\gamma -1) \varsigma ^{\frac{1}{q_{2}-1}}} \biggl(\frac{\overline{\rho }}{M} \biggr) ^{\varsigma ^{\frac{1}{q_{2}-1}}}g (w,1,\ldots ,1 )\,dw \biggr] ^{q_{2}-1}\,ds \\ &\quad\geq\overline{\lambda } \frac{1}{\varGamma (\delta )} \tau ^{\delta -1} \overline{b}^{q_{2}-1} \biggl(\frac{\overline{\rho }}{M} \biggr) ^{\varsigma } \\ &\qquad{}\times \int _{0}^{1}\overline{j}(s) \biggl[ \int _{0}^{s}(s-w)^{ \beta -1}w^{(\gamma -1)\varsigma ^{\frac{1}{q_{2}-1}}}g (w,1, \ldots ,1 )\,dw \biggr]^{q_{2}-1}\,ds, \end{aligned}$$
(3.5)

where \(\overline{\rho }=\min \{1,\frac{\varGamma (\gamma )}{\varGamma (\gamma -\overline{\mu }_{1})} \}\). By \((S_{4})\), we get that \(A:P_{e}\rightarrow P\) is well defined. From (3.4), \((S_{1})\), and Remark 1.1, we have

$$\begin{aligned} &\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}} ^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\quad\leq\phi \biggl(\tau ,Me(\tau ),D _{0^{+}}^{\mu _{1}}Me(\tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}Me(\tau ), \mu \overline{a}^{\star } \tau ^{\delta -1}\overline{b}^{q_{2}-1}(M \rho +1)^{\varsigma } \\ &\qquad{}\times \int _{0}^{1} \biggl[ \int _{0}^{s}(s-w)^{\beta -1}g (w,1,1 )\,dw \biggr]^{q_{2}-1}\,ds \biggr) \\ &\quad\leq\phi \bigl(\tau ,\ldots ,Mb+1,Mb+1,M^{\varsigma }b+1\bigr) \\ &\quad\leq(Mb+1)^{ \sigma ^{\frac{1}{q_{2}-1}}}\phi (\tau ,1,\ldots ,1) \\ &\quad \leq2^{ \sigma ^{\frac{1}{q_{1}-1}}}b^{\sigma ^{\frac{1}{q_{1}-1}}}M^{ \sigma ^{\frac{1}{q_{1}-1}}}\phi (\tau ,1,\ldots ,1),\quad \tau \in (0,1), \end{aligned}$$
(3.6)

where

$$\begin{aligned} M> {}&\max \biggl\{ \biggl\{ \lambda a^{\star }\overline{a}^{q_{1}-1} \frac{1}{(2 \alpha -1)^{\frac{q_{1}-1}{2}}} \int _{0}^{1} \biggl[ 2^{ \sigma ^{\frac{1}{q_{1}-1}}}b^{\sigma ^{\frac{1}{q_{1}-1}}} \biggl( \int _{0}^{s}\phi ^{2}(\tau ,1,\ldots ,1) \biggr)^{\frac{1}{2}} +c^{- \sigma ^{\frac{1}{q_{1}-1}}} \\ &{}\times \biggl( \int _{0}^{s}\tau ^{-2(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}}\psi ^{2} (\tau ,1,1,\ldots ,1)\,d\tau \biggr)^{\frac{1}{2}} \biggr]^{q_{1}-1}\,ds \biggr\} ^{\frac{1}{1-\sigma }}, 1,2c,b^{-1}, \\ &{} \biggl\{ \lambda \frac{1}{ \varGamma (\gamma )} \int _{0}^{1}j(s) \biggl[ \int _{0}^{s}\overline{a}(s- \tau )^{\alpha -1} \bigl(c^{-\sigma ^{\frac{1}{q_{1}-1}}} \tau ^{(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}}\phi (\tau ,1,\ldots ,1)+2^{- \sigma ^{\frac{1}{q_{1}-1}}} b^{-\sigma ^{\frac{1}{q_{1}-1}}} \\ &{}\psi (\tau ,1,1,\ldots ,1) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds \biggr\} ^{-\frac{1}{1-\sigma }} \biggr\} , \end{aligned}$$

in which

$$\begin{aligned} b= {}&\max \biggl\{ \frac{\varGamma (\gamma )}{\varGamma (\gamma -\mu _{n-2})},1,\overline{ \lambda } \overline{a}^{\star }\tau ^{\delta -1}\overline{b}^{q_{2}-1}( \rho +1)^{\varsigma } \\ &{}\times\int _{0}^{1} \biggl[ \int _{0}^{s}(s-w)^{\beta -1}g (w,1,\ldots ,1 )\,dw \biggr]^{q_{2}-1}\,ds \biggr\} . \end{aligned}$$

By (3.4), \((S_{1})\), and \((S_{2})\), we also have

$$\begin{aligned} &\psi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ), \ldots ,D_{0^{+}} ^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\quad\leq \psi \biggl(\tau , \frac{1}{M}\tau ^{\gamma -1}, \frac{\varGamma (\gamma )}{M\varGamma (\gamma - \mu _{1})} \tau ^{\gamma -1-\mu _{1}},\ldots , \\ &\qquad\frac{\varGamma (\gamma )}{M \varGamma (\gamma -\mu _{n-2})}\tau ^{\gamma -1-\mu _{n-2}}, \frac{\overline{ \lambda }}{\varGamma (\delta )}\tau ^{\delta -1}\overline{b}^{q_{2}-1} \biggl(\frac{\overline{\rho }}{M} \biggr)^{\varsigma } \\ &\qquad{} \times \int _{0}^{1}\overline{j}(s) \biggl( \int _{0}^{s}(s-w)^{ \beta -1}w^{(\gamma -1) \varsigma ^{\frac{1}{q_{2}-1}}}g (w,1,1 )\,dw \biggr) ^{q_{2}-1}\,ds \biggr) \\ &\quad\leq \psi \biggl(\tau ,\frac{c}{M} \tau ^{\gamma -1},\ldots , \frac{c}{M}\tau ^{\gamma -1} \biggr) \\ &\quad\leq \biggl(\frac{c}{M}\tau ^{\gamma -1} \biggr)^{-\sigma ^{ \frac{1}{q_{1}-1}}}\psi (\tau ,1,\ldots ,1) \\ &\quad =c^{- \sigma ^{\frac{1}{q_{1}-1}}}M^{\sigma ^{\frac{1}{q_{1}-1}}} \tau ^{-(\gamma -1) \sigma ^{\frac{1}{q_{1}-1}}}\psi (\tau ,1,\ldots ,1), \quad \tau \in (0,1), \end{aligned}$$
(3.7)

where

$$\begin{aligned} c= {}&\min \biggl\{ \frac{\varGamma (\gamma )}{\varGamma (\gamma -\mu _{1})},1,\frac{\overline{ \lambda }}{\varGamma (\delta )}\tau ^{\delta -1} \overline{b}^{q_{2}-1}\overline{ \rho }^{\varsigma } \\ &{}\times\int _{0}^{1} \overline{j}(s) \biggl[ \int _{0}^{s}(s-w)^{ \beta -1}w^{(\gamma -1)\varsigma ^{\frac{1}{q_{2}-1}}} g (w,1,1 )\,dw \biggr] ^{q_{2}-1}\,ds \biggr\} . \end{aligned}$$

Noting \(\frac{c}{D}\tau ^{\gamma -1}<1\), and by (3.4), \((S_{1})\), and \((S_{2})\), we have

$$\begin{aligned} &\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}} ^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\quad\geq \phi \biggl(\tau , \frac{1}{M}\tau ^{\gamma -1}, \frac{\varGamma (\gamma )}{M\varGamma (\gamma - \mu _{1})} \tau ^{\gamma -1-\mu _{1}},\ldots , \\ &\qquad\frac{\varGamma (\gamma )}{M \varGamma (\gamma -\mu _{n-2})}\tau ^{\gamma -1-\mu _{n-2}}, \frac{\mu }{ \varGamma (\delta )}\tau ^{\delta -1}\overline{b}^{q_{2}-1} \biggl(\frac{\overline{ \rho }}{M} \biggr)^{\varsigma } \\ &\qquad{}\times \int _{0}^{1} \overline{j}(s) \biggl[ \int _{0}^{s}(s-w)^{\beta -1}w^{(\gamma -1) \varsigma ^{\frac{1}{q_{2}-1}}}g (w,1,1 )\,dw \biggr]^{q_{2}-1}\,ds \biggr) \\ &\quad\geq \phi \biggl(\tau ,\frac{c}{M}\tau ^{\gamma -1},\ldots , \frac{c}{M} \tau ^{\gamma -1}\biggr) \\ &\quad\geq \biggl(\frac{c}{M}\tau ^{\gamma -1}\biggr)^{ \sigma ^{\frac{1}{q_{1}-1}}}\phi ( \tau ,1,\ldots ,1) \\ &\quad=c^{{ \sigma ^{\frac{1}{q_{1}-1}}}}M^{-^{\sigma ^{\frac{1}{q_{1}-1}}}} \tau ^{(\gamma -1) \sigma ^{\frac{1}{q_{1}-1}}}\phi (\tau ,1,\ldots ,1), \quad\tau \in (0,1). \end{aligned}$$
(3.8)

By (3.4), \((S_{1})\), and Remark 1.1, we also get

$$\begin{aligned} &\psi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}} ^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\quad\geq\psi \biggl(\tau ,Me(\tau ),D _{0^{+}}^{\mu _{1}}Me(\tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}Me(\tau ), \\ &\qquad\overline{\lambda } \overline{a}^{\star }\tau ^{\delta -1} \overline{b}^{q_{2}-1}(M\rho +1)^{\varsigma } \int _{0}^{1} \biggl[ \int _{0}^{s}(s-w)^{\beta -1}g (w,1,\ldots ,1 )\,dw \biggr]^{q _{2}-1}\,ds \biggr) \\ &\quad\geq\psi \bigl(\tau ,Mb\tau ^{\gamma -1}+1,Mb \tau ^{\gamma -\mu _{1}-1}+1, \ldots ,Mb\tau ^{\gamma -\mu _{n-2}-1}+1, Mb \tau ^{\delta -1}+1 \bigr) \\ &\quad\geq\psi (\tau ,Mb+1,Mb+1,\ldots ,Mb+1) \\ &\quad\geq (Mb+1)^{-\sigma ^{\frac{1}{q_{1}-1}}}\psi (\tau ,1,\ldots ,1) \\ &\quad\geq 2^{-\sigma ^{\frac{1}{q_{1}-1}}}b^{-\sigma ^{ \frac{1}{q_{1}-1}}}M^{-\sigma ^{\frac{1}{q_{1}-1}}}\psi (\tau ,1, \ldots ,1), \quad\tau \in (0,1). \end{aligned}$$
(3.9)

For \(x,z\in Q_{e}\), by (3.6), (3.7), we have

$$\begin{aligned} &T_{\lambda }(u,z) (t) \\ &\quad= \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0} ^{s}\overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D _{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),v( \tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}} ^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),v(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq\lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{\alpha -1} \bigl(2^{{\sigma ^{\frac{1}{q _{1}-1}}}}b^{{\sigma ^{\frac{1}{q_{1}-1}}}}M^{{\sigma ^{\frac{1}{q _{1}-1}}}}\times \phi (\tau ,1, \ldots ,1) \\ &\qquad{}+c^{- \sigma ^{\frac{1}{q_{1}-1}}}M^{\sigma ^{\frac{1}{q_{1}-1}}} \tau ^{-(\gamma -1) \sigma ^{\frac{1}{q_{1}-1}}}\psi (\tau ,1, \ldots ,1)\bigr)\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda a^{\star }t^{\gamma -1}M ^{\sigma } \overline{a}^{q_{1}-1} \int _{0}^{1} \biggl[ \int _{0}^{s} (s- \tau )^{\alpha -1} \bigl(2^{\sigma ^{\frac{1}{q_{1}-1}}}b^{ \sigma ^{\frac{1}{q_{1}-1}}} \times \phi (\tau ,1,\ldots ,1) \\ &\qquad{}+c^{-\sigma ^{\frac{1}{q_{1}-1}}} \tau ^{-(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}}\psi (\tau ,1,\ldots ,1)\bigr) \,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda a^{\star }t^{\gamma -1}M ^{\sigma } \overline{a}^{q-1} \int _{0}^{1} \biggl[2^{ \sigma ^{\frac{1}{q_{1}-1}}} b^{\sigma ^{\frac{1}{q_{1}-1}}} \int _{0} ^{s}(s-\tau )^{\alpha -1}\phi (\tau ,1,\ldots ,1)\,d\tau \\ & \qquad{}+c^{-\sigma } \int _{0}^{s}(s-\tau )^{\alpha -1} \tau ^{-(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}} \psi (\tau ,1,\ldots ,1))\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda a^{\star }t^{\gamma -1}M ^{\sigma } \overline{a}^{q_{1}-1} \int _{0}^{1} \biggl[2^{ \sigma ^{\frac{1}{q_{1}-1}}} b^{\sigma ^{\frac{1}{q_{1}-1}}}\frac{1}{(2 \alpha -1)^{\frac{1}{2}}}s^{\frac{2\alpha -1}{2}} \biggl( \int _{0}^{s} \phi ^{2}(\tau ,1,\ldots ,1)\,d\tau \biggr)^{\frac{1}{2}} \\ &\qquad{} +c^{-\sigma }\|(s-\tau )^{\alpha -1} \Vert _{2} \Vert ^{-(\gamma -1) \sigma ^{\frac{1}{q_{1}-1}}} \psi (\tau ,1,\ldots ,1)\|_{2} \biggr] ^{q_{1}-1}\,ds \\ & \quad\leq \lambda a^{\star }t^{\gamma -1}M^{\sigma } \overline{a}^{q_{1}-1} \int _{0}^{1} \biggl[2^{\sigma ^{\frac{1}{q_{1}-1}}} b^{\sigma ^{\frac{1}{q_{1}-1}}}\frac{1}{(2\alpha -1)^{\frac{1}{2}}}s ^{\frac{2\alpha -1}{2}} \biggl( \int _{0}^{s}\phi ^{2}(\tau ,1,\ldots ,1)\,d \tau \biggr)^{\frac{1}{2}} \\ &\qquad{}+c^{-\sigma }\frac{1}{(2 \alpha -1)^{\frac{1}{2}}}s^{\frac{2\alpha -1}{2}} \biggl( \int _{0}^{s} \tau ^{-(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}}\psi ^{2}(\tau ,1,\ldots ,1)\,d\tau \biggr)^{\frac{1}{2}} \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda a^{\star }t^{\gamma -1}M^{\sigma } \overline{a}^{q_{1}-1}\frac{1}{(2 \alpha -1)^{\frac{q_{1}-1}{2}}} \int _{0}^{1} \biggl[2^{ \sigma ^{\frac{1}{q-1}}}b^{\sigma ^{\frac{1}{q_{1}-1}}} \biggl( \int _{0} ^{s}\phi ^{2}(\tau ,1, \ldots ,1)\,d\tau \biggr)^{\frac{1}{2}} \\ &\qquad{}+c^{-\sigma } \biggl( \int _{0}^{s} \tau ^{-(\gamma -1)\sigma ^{\frac{1}{q_{1}-1}}}\psi ^{2}(\tau ,1,\ldots ,1)\,d\tau \biggr)^{\frac{1}{2}} \biggr]^{q_{1}-1}\,ds \\ &\quad < +\infty ,\quad t \in [0,1], \end{aligned}$$
(3.10)

where \(\|\cdot \|_{2}\) is the norm in space \(L^{2}[0,1]\). By \((S_{4})\), (3.10), we have that \(T_{\lambda }:Q_{e}\times Q_{e} \rightarrow P\) is well defined. Next, we will prove \(T_{\lambda }:Q _{e}\times Q_{e}\rightarrow Q_{e}\).

Formula (3.10) implies that

$$ T_{\lambda }(u,z) (t)\leq Mt^{\gamma -1}=Me(t),\quad t\in [0,1]. $$
(3.11)

At the same time, by (3.8) and (3.9), we have

$$\begin{aligned} &T_{\lambda }(u,z) (t) \\ &\quad = \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}} ^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}}^{\mu _{1}}z( \tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),Az(\tau )\bigr) \bigr)\,d \tau \biggr] ^{q_{1}-1}\,ds \\ &\quad \geq\lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} \bigl(c^{\sigma ^{\frac{1}{q_{1}-1}}} M ^{-\sigma ^{\frac{1}{q_{1}-1}}} \tau ^{(\alpha -1)\sigma ^{\frac{1}{q_{1}-1}}} \\ &\qquad{}\times\phi ( \tau ,1,\ldots ,1)+2^{-\sigma ^{\frac{1}{q_{1}-1}}}b^{- \sigma ^{\frac{1}{q_{1}-1}}} M^{\sigma ^{\frac{1}{q_{1}-1}}}\psi ( \tau ,1,\ldots ,1)\bigr)\,d\tau \biggr]^{q_{1}-1}\,ds \\ &\quad \geq \frac{\lambda }{\varGamma (\gamma )}t^{\gamma -1}M^{-\sigma }\overline{a}^{q_{1}-1} \int _{0}^{1}j(s) \biggl[ \int _{0}^{s}(s-\tau )^{\alpha -1} \bigl(c^{ \sigma ^{\frac{1}{q_{1}-1}}}\tau ^{(\alpha -1) \sigma ^{ \frac{1}{q_{1}-1}}} \\ &\qquad{}\times \phi (\tau ,1,\ldots ,1)+2^{- \sigma ^{\frac{1}{q_{1}-1}}}b^{-\sigma ^{\frac{1}{q_{1}-1}}} \psi ( \tau ,1,\ldots ,1)\bigr)\,d\tau \biggr]^{q_{1}-1}\,ds,\quad t\in [0,1]. \end{aligned}$$
(3.12)

Formula (3.12) implies that

$$ T_{\lambda }(u,z) (t)\geq \frac{1}{M}t^{\gamma -1}= \frac{1}{M}e(t),\quad t \in [0,1]. $$
(3.13)

Hence, \(T_{\lambda }:Q_{e}\times Q_{e}\rightarrow Q_{e}\). Next, we shall prove that \(T_{\lambda }:Q_{e}\times Q_{e}\rightarrow Q_{e}\) is a mixed monotone operator. In fact, for any \(u_{1},u_{2},z\in Q_{e}\) and \(u_{1}\preceq u_{2}\), that is, \(u_{1}(t)\leq u_{2}(t),D_{0^{+}}^{\mu _{i}}u_{1}(t)\leq D_{0^{+}}^{\mu _{i}}u_{2}(t)\ (i=1,2,\ldots ,n-2),D _{0^{+}}^{\overline{\mu }_{j}}u_{1}(t)\leq D_{0^{+}}^{\overline{ \mu }_{j}}u_{2}(t)\ (j=1,2,\ldots ,m-2),t\in [0,1]\), by the monotonicity of A and ϕ, and from \((S_{1})\), for all \(t\in [0,1]\), we have

$$\begin{aligned} & \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{ \alpha -1} (\phi \bigl(\tau ,u_{1}(\tau ), D_{0^{+}}^{\mu _{1}}u_{1}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u_{1}(\tau ),Au_{1}(\tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}}^{\mu _{1}}z( \tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),Az(\tau ) \bigr)\,d\tau \biggr] ^{q_{1}-1}\,ds \\ &\quad\leq \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} (\phi \bigl(\tau ,u_{2}(\tau ), D _{0^{+}}^{\mu _{1}}u_{2}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u_{2}( \tau ),Au_{2}(\tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z( \tau ), D_{0^{+}}^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z( \tau ),Az(\tau ) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds, \end{aligned}$$
(3.14)
$$\begin{aligned} & \lambda \int _{0}^{1}D_{0^{+}}^{\mu _{i}}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} (\phi \bigl(\tau ,u_{1}(\tau ), D _{0^{+}}^{\mu _{1}}u_{1}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u_{1}( \tau ),Au_{1}(\tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z( \tau ), D_{0^{+}}^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z( \tau ),Az(\tau ) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda \int _{0}^{1}D_{0^{+}}^{\mu _{i}}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s- \tau )^{\alpha -1} (\phi \bigl(\tau ,u_{2}(\tau ), D_{0^{+}}^{\mu _{1}}u_{2}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u_{2}(\tau ),Au_{2}( \tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}} ^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ), Az(\tau ) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds, \\ &\qquad i=1,2,\ldots ,m-2. \end{aligned}$$
(3.15)

Hence, by (3.14),(3.15), we have

$$ T_{\lambda }(u_{1},z)\preceq T_{\lambda }(u_{2},z),\quad z\in Q_{e}, $$
(3.16)

that is, \(T_{\lambda }(u,z)\) is nondecreasing on u for any \(z\in Q_{e}\). Similarly, for all \(u, z_{1}, z_{2}\in Q_{e}\), \(z_{1}\succeq z_{2}\), that is, \(z_{1}(t)\geq z_{2}(t),D_{0^{+}}^{\mu _{i}}z_{1}(t)\geq D_{0^{+}}^{\mu _{i}}z_{2}(t)\ (i=1,2,\ldots ,n-2),D _{0^{+}}^{\overline{\mu }_{j}}z_{1}(t)\geq D_{0^{+}}^{\overline{ \mu }_{j}}z_{2}(t)\ (j=1,2,\ldots ,m-2),t\in [0,1]\), from \((S_{1})\), for all \(t\in [0,1]\), we have

$$\begin{aligned} & \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{ \alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\qquad{} +\psi \bigl(\tau ,z_{1}(\tau ), D_{0^{+}}^{\mu _{1}}z_{1}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z_{1}(\tau ),Az_{1}(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au( \tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z_{2}(\tau ), D _{0^{+}}^{\mu _{1}}z_{2}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z_{2}( \tau ), Az_{2}(\tau )\bigr) \bigr)\,d\tau \biggr]^{q_{1}-1} \,ds, \end{aligned}$$
(3.17)
$$\begin{aligned} & \lambda \int _{0}^{1}D_{0^{+}}^{\mu _{i}}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}} ^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z_{1}(\tau ), D_{0^{+}}^{\mu _{1}}z_{1}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z_{1}(\tau ), Az_{1}(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\leq \lambda \int _{0}^{1}D_{0^{+}}^{\mu _{1}}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl( \tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au(\tau )\bigr) \\ &\qquad{}+\psi \bigl( \tau ,z_{2}(\tau ), D_{0^{+}}^{\mu _{1}}z_{2}( \tau ),\ldots ,D_{0^{+}} ^{\mu _{n-2}}z_{2}(\tau ),Az_{2}(\tau )\bigr) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds, \\ &\qquad i=1,2, \ldots ,m-2. \end{aligned}$$
(3.18)

Hence, by (3.17), (3.18), we have

$$ T_{\lambda }(u,z_{1})\preceq T_{\lambda }(u,z_{2}),\quad u\in Q_{e}, $$
(3.19)

i.e., \(T_{\lambda }(u,z)\) is nonincreasing on z for any \(u\in Q_{e}\). Hence, by (3.16) and (3.19), we have that \(T_{\lambda }:Q_{e}\times Q _{e}\rightarrow Q_{e}\) is a mixed monotone operator.

Finally, we show that the operator \(T_{\lambda }\) satisfies (2.22). For any \(u,z\in Q_{e}\) and \(l\in (0,1)\), by \((S_{2})\) and Remark 1.1, for all \(t\in [0,1]\), we have

$$\begin{aligned} &\lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{ \alpha -1} \biggl(\phi \bigl(\tau ,lu(\tau ), D_{0^{+}}^{\mu _{1}}lu(\tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}lu(\tau ),Alu(\tau )\bigr) \\ &\qquad{} +\psi \biggl(\tau ,\frac{1}{l}z(\tau ), D_{0^{+}}^{\mu _{1}} \frac{1}{l}z(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}\frac{1}{l}z(\tau ), A \frac{1}{l}z(\tau )\biggr) \biggr)\,d\tau \biggr]^{q_{1}-1}\,ds \\ &\quad\geq \lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a} (s-\tau )^{ \alpha -1}l^{\sigma ^{\frac{1}{q_{1}-1}}} \bigl(\phi \bigl(\tau ,u(\tau ), D _{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u( \tau ),Au( \tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}} ^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),Az(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\geq l^{\sigma } \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au( \tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}} ^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),Az(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds, \end{aligned}$$
(3.20)
$$\begin{aligned} &\lambda \int _{0}^{1}D_{0^{+}}^{\mu _{i}}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} \biggl(\phi \bigl(\tau ,lu(\tau ), D_{0^{+}} ^{\mu _{1}}lu(\tau ), \ldots ,D_{0^{+}}^{\mu _{n-2}}lu(\tau ),Alu(\tau )\bigr) \\ &\qquad{}+\psi \biggl(\tau ,\frac{1}{l}z(\tau ), D_{0^{+}}^{\mu _{1}}\frac{1}{l}z(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}\frac{1}{l}z( \tau ), A \frac{1}{l}z(\tau )\biggr) \biggr)\,d\tau \biggr]^{q_{1}-1}\,ds \\ &\quad\geq \lambda \int _{0}^{1}D_{0^{+}}^{\mu _{i}}G(t,s) \biggl[ \int _{0} ^{s} \overline{a}(s-\tau )^{\alpha -1}l^{\sigma ^{\frac{1}{q_{1}-1}}} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D _{0^{+}}^{\mu _{n-2}}u( \tau ),Au(\tau )\bigr) \\ &\qquad{}+ \psi \bigl(\tau ,z(\tau ), D_{0^{+}}^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}} ^{\mu _{n-2}}z(\tau ),Az(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds \\ &\quad\geq l^{\sigma } \int _{0}^{1}D_{0^{+}}^{\mu _{i}}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} \bigl(\phi \bigl(\tau ,u(\tau ), D_{0^{+}}^{\mu _{1}}u(\tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u(\tau ),Au( \tau )\bigr) \\ &\qquad{}+\psi \bigl(\tau ,z(\tau ), D_{0^{+}} ^{\mu _{1}}z( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}z(\tau ),Az(\tau )\bigr) \bigr)\,d \tau \biggr]^{q_{1}-1}\,ds. \end{aligned}$$
(3.21)

Formulas (3.20),(3.21) imply that

$$ T_{\lambda } \biggl(lu,\frac{1}{l}z \biggr)\succeq l^{\sigma }T_{ \lambda }(u,z),\quad u,z\in Q_{e}. $$
(3.22)

Hence, Lemma 2.4 assumes that there exists a unique positive solution \(u_{\lambda }^{\star }\in Q_{e}\) such that \(T_{\lambda }(u_{\lambda } ^{\star },u_{\lambda }^{\star })=u_{\lambda }^{\star }\). It is easy to check that \(u_{\lambda }^{\star }\) is a unique positive solution of (2.10) for any given \(\lambda >0\). Moreover, by Lemma 2.5, we have

  1. (1)

    For any \(\lambda _{0}\in (0,+\infty )\), \(\|u_{\lambda }^{\star }-u _{\lambda _{0}}^{\star }\|\rightarrow 0, \lambda \rightarrow \lambda _{0}\);

  2. (2)

    If \(0<\sigma <\frac{1}{2}\), then \(0<\lambda _{1}<\lambda _{2}\) implies \(u_{\lambda _{1}}^{\star }\preceq u_{\lambda _{2}}^{\star }, u _{\lambda _{1}}^{\star }\neq u_{\lambda _{2}}^{\star }\), and

    $$ \lim_{\lambda \rightarrow 0} \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =0,\qquad \lim_{\lambda \rightarrow +\infty } \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =+\infty . $$

Moreover, for any \(u_{0}(t)\in Q_{e}\), by Lemma 2.4, for any \(t\in [0,1]\), constructing a successive sequence

$$\begin{aligned} u_{k+1}(t)={} &\lambda \int _{0}^{1}G(t,s) \biggl[ \int _{0}^{s} \overline{a}(s-\tau )^{\alpha -1} (\phi \bigl(\tau ,u_{k}(\tau ), D _{0^{+}}^{\mu _{1}}u_{k}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}}u_{k}( \tau ),Au_{k}(\tau )\bigr) \\ &{}+\psi \bigl(\tau ,u _{k}(\tau ),D_{0^{+}}^{\mu _{1}}u_{k}( \tau ),\ldots ,D_{0^{+}}^{\mu _{n-2}} u_{k}(\tau ),Au_{k}(\tau ) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds, \\ & k=1,2,\ldots , t\in [0,1], \end{aligned}$$

and we have \(\|u_{k}-u_{\lambda }^{\star }\|\rightarrow 0\) as \(k\rightarrow \infty \), the convergence rate is

$$ \bigl\Vert u_{k}-u_{\lambda }^{\star } \bigr\Vert =o \bigl(1-r^{\sigma ^{m}}\bigr), $$

where r is a constant, \(0< r<1\), dependent on \(u_{0}\). By (2.20), we easily get ().

By (3.4), (3.5), and \(u_{\lambda }^{\star }\in Q_{e}\), we get (3.1). Therefore, the proof of Theorem 3.1 is completed. □

4 Example

Example 4.1

Consider the following boundary value problem:

$$ \textstyle\begin{cases} D_{0^{+}}^{\frac{3}{4}} (\varphi _{3} (D_{0+}^{\frac{5}{2}} u ) )(t)+ \lambda ^{2}f(t,u(t), D_{0^{+}}^{\frac{1}{2}}u(t),v(t))=0,\quad 0< t< 1,\\ D_{0^{+}}^{\frac{3}{4}} (\varphi _{2} (D_{0+} ^{\frac{3}{2}} v ) )(t)+ \mu g(t,u(t))=0,\quad 0< t< 1,\\ u(0)=u'(0)=0,\qquad D_{0+}^{\gamma }u(0)=0,\qquad D_{0^{+}}^{r_{1}}u(1)=\sum_{j=1}^{\infty } \eta _{j}D_{0^{+}}^{r_{2}}u(\xi _{j}), \\ v(0)=v'(0)=0, \qquad D_{0+}^{ \delta }v(0)=0,\qquad D_{0^{+}}^{\overline{r}_{1}}v(1)=\sum_{j=1}^{\infty }\overline{ \eta }_{j}D_{0^{+}}^{\overline{r}_{2}} u(\overline{\xi }_{j}), \end{cases} $$
(4.1)

where \(\gamma =\frac{5}{2},\delta =\frac{3}{2},\alpha =\beta = \frac{3}{4}\), \(r_{1}=r_{2}=\frac{1}{2},\overline{r}_{1}=\overline{r} _{2}=\frac{1}{2}\), \(\eta _{j}=\overline{\eta }_{j}=\frac{1}{2j^{5}}\), \(\xi _{j}=\overline{\xi }_{j}=\frac{1}{j^{2}}\), \(p_{1}=3,q_{1}= \frac{3}{2},p_{2}=2,q_{2}=2\), and

$$\begin{aligned} &\phi (t,x_{1},x_{2},x_{3})= \bigl(t^{-\frac{1}{4}}+\text{cost}\bigr)x_{1}^{ \frac{1}{9}} +2tx_{2}^{\frac{1}{8}}+2x_{3}^{\frac{1}{16}}, \\ &\psi (t,x_{1},x_{2},x_{3})=t^{-\frac{1}{16}}x_{1}^{-\frac{1}{8}} +x _{2}^{-\frac{1}{16}} +(2-t)x_{3}^{-\frac{1}{15}}, \\ &g(t,u)=\bigl(3t+t^{2}\bigr)u^{\frac{3}{5}}+(t\text{sint}+t)u^{\frac{2}{3}}. \end{aligned}$$

Hence,

$$\begin{aligned} &\frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{2})}\sum_{j=1}^{\infty } \eta _{j}\xi _{j}^{\gamma -r_{2}-1}= \frac{\varGamma (\frac{5}{2})}{\varGamma (\frac{3}{2})}\sum _{j=1}^{\infty }\eta _{j}(\xi _{j})^{-\frac{1}{2}}=0.5412< \frac{\varGamma (\gamma )}{\varGamma (\gamma -r_{1})}=\frac{\varGamma ( \frac{5}{2})}{\varGamma (\frac{3}{2})}, \\ &\frac{\varGamma (\delta )}{\varGamma (\delta -\overline{r}_{2})}\sum_{j=1} ^{\infty } \overline{\eta }_{j}\overline{\xi }_{j}^{\alpha - \overline{r}_{2}-1}= \frac{\varGamma (\frac{3}{2})}{\varGamma (\frac{1}{2})}\sum_{j=1}^{\infty } \overline{ \eta }_{j}(\overline{\xi }_{j})^{-\frac{1}{2}}=0.5412< \frac{ \varGamma (\delta )}{\varGamma (\delta -\overline{r}_{1})}= \frac{\varGamma ( \frac{3}{2})}{\varGamma (\frac{1}{2})}. \end{aligned}$$

Moreover, for any \((t,x_{1},x_{2},x_{3})\in (0,1)\times (0,\infty )^{3}\) and \(0< l<1\), we have

$$\begin{aligned} &\phi (t, lx_{1},lx_{2},lx_{3})\\ &\quad= \bigl(t^{-\frac{1}{4}}+\text{cost}\bigr) (lx _{1})^{\frac{1}{9}} +2t(lx_{2})^{\frac{1}{8}}+2(lx_{3})^{\frac{1}{16}} \\ &\quad\geq l^{\frac{1}{8}} \bigl(\bigl(t^{-\frac{1}{4}}+\text{cost} \bigr)x_{1} ^{\frac{1}{9}}+2tx_{2}^{\frac{1}{8}} +2x_{3}^{\frac{1}{16}} \bigr) \\ &\quad=l^{\frac{1}{8}}\phi (t,x_{1},x_{2},x_{3})=l^{\sigma ^{ \frac{1}{q_{1}-1}}} \phi (t,x_{1},x_{2},x_{3}), \\ &\psi \bigl(t,l^{-1}x_{1},l^{-1}x_{2},l^{-1}x_{3} \bigr)\\ &\quad=t^{-\frac{1}{16}}\bigl(l^{-1}x _{1} \bigr)^{-\frac{1}{8}} +\bigl(l^{-1}x_{2} \bigr)^{-\frac{1}{16}} +(2-t) \bigl(l^{-1}x _{3} \bigr)^{-\frac{1}{15}} \\ &\quad\geq l^{\frac{1}{8}} \bigl(t^{-\frac{1}{16}}x _{1}^{-\frac{1}{8}}+x_{2}^{-\frac{1}{16}} +(2-t)x_{3}^{-\frac{1}{15}} \bigr) \\ &\quad=l^{\frac{1}{8}}\psi (t,x_{1},x_{2},x_{3})=l^{ \sigma ^{\frac{1}{q_{1}-1}}} \psi (t,x_{1},x_{2},x_{3}), \\ &g(t,lu)\\ &\quad=\bigl(3t+t^{2}\bigr) (lu)^{\frac{3}{5}}+(t \text{sint}+t) (lu)^{ \frac{2}{3}} \\ &\quad\geq l^{\frac{2}{3}} \bigl(\bigl(3t+t^{2}\bigr)u^{\frac{3}{5}}+(t \text{sint}+t)u^{\frac{2}{3}} \bigr) \\ &\quad=l^{\frac{2}{3}}g(t,u)=l^{ \varsigma ^{\frac{1}{q_{2}-1}}}g(t,u). \end{aligned}$$

Noting \(\sigma =\frac{1}{2\sqrt{2}}<1,\varsigma =\frac{2}{3}, \psi (\tau ,1,1,1)=\tau ^{-\frac{1}{16}}+3-\tau \), \(\phi (\tau ,1,1,1)= \tau ^{-\frac{1}{4}}+\text{cos} \tau +2\tau +2\), \(g(\tau ,1)=3\tau + \tau ^{2}+\tau \sin \tau +\tau \), we have

$$\begin{aligned} 0< {}& \int _{0}^{1}\phi ^{2}(\tau ,1,1,1)\,d \tau \\ ={}& \int _{0}^{1}\bigl( \tau ^{-\frac{1}{4}}+\cos \tau +2\tau +\tau \bigr)^{2}\,d\tau \\ \leq {}& 19+8+ \frac{16}{7}< +\infty , \\ 0< {}& \int _{0}^{1}\tau ^{-2(\gamma -1)\sigma ^{\frac{1}{q-1}}}\psi ^{2}( \tau ,1,1,1)\,d\tau \\ ={}& \int _{0}^{1}\tau ^{-\frac{3}{8}}\bigl( \tau ^{-\frac{1}{16}}+3-\tau \bigr)^{2}\,d\tau \\ \leq{} & \int _{0}^{1} \tau ^{-\frac{3}{8}}\bigl(\tau ^{-\frac{1}{16}}+3\bigr)^{2}\,d\tau \\ = {}&2+ \frac{96}{9}+9< +\infty , \\ 0< {}& \int _{0}^{1}g^{2} (\tau ,1,1,1 )\,d \tau \\ \leq {}& \int _{0} ^{1}\bigl(3\tau +\tau ^{2}+ \tau \sin \tau +\tau \bigr)^{2}\,d\tau \\ \leq{} &17 \times \frac{1}{3}+6\times \frac{1}{4}+ \frac{1}{5}+12+16< +\infty . \end{aligned}$$

Thus, assumptions \((S_{1})\)\((S_{4})\) of Theorem 3.1 hold. Then Theorem 3.1 implies that problem (4.1) has a unique solution. Furthermore, when \(\lambda \rightarrow \lambda _{0}\), \(\lambda _{0}\in (0,+\infty )\), we have

$$ \bigl\Vert u_{\lambda }^{\star }-u_{\lambda _{0}}^{\star } \bigr\Vert \rightarrow 0, $$

and \(0<\lambda _{1}<\lambda _{2}\) implies

$$ u_{\lambda _{1}}^{\star }(t)\leq u_{\lambda _{2}}^{\star }(t),\qquad u_{ \lambda _{1}}^{\star }(t)\neq u_{\lambda _{2}}^{\star }(t),\quad t\in [0,1]. $$

Since \(\sigma =\frac{1}{2\sqrt{2}}\in (0,\frac{1}{2})\), then

$$ \lim_{\lambda \rightarrow 0} \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =0, \qquad\lim_{\lambda \rightarrow +\infty } \bigl\Vert u_{\lambda }^{\star } \bigr\Vert =+\infty . $$

In addition, for any initial \(u_{0}\in Q_{e}\), we construct a successive sequence:

$$\begin{aligned} u_{k+1}(t)= {}& \int _{0}^{1}\lambda G(t,s) \biggl[ \int _{0}^{s}\overline{a}(s- \tau )^{\alpha -1} \bigl(\phi \bigl(t,u_{ k}(t),D^{\frac{1}{2}}_{0^{+}} u_{ k}(t),Au'_{ k}(t) \bigr) \\ &{}+ \psi \bigl(t,u_{ k}(t),D^{\frac{1}{2}}_{0^{+}} u_{ k}(t),Au'_{ k}(t) \bigr) \bigr)\,d\tau \biggr]^{q_{1}-1}\,ds,\quad t\in [0,1], k=1,2, \ldots , \end{aligned}$$

and we have \(\|u_{k}-u_{\lambda }^{\star }\|\rightarrow 0\) as \(k\rightarrow \infty \), the convergence rate is

$$ \bigl\Vert u_{k}-u_{\lambda }^{\star } \bigr\Vert =o \bigl(1-r^{\sigma ^{k}}\bigr), $$

where r is a constant, \(0< r<1\), dependent on \(u_{0}\).

5 Conclusions

In this paper, we study the existence of positive solutions for a singular p-Laplacian fractional order differential equation boundary value system. By using the method of mixed monotone operator, some existence results are obtained for the case where the nonlinearity is allowed to be singular in regard to not only time variable but also space variable and the fractional orders are involved in the nonlinearity of the boundary value problem (1.1). Moreover, our equation system contains many types of equation system because there are many parameters in our p-Laplacian equation system, and also the uniqueness of positive solution of equation (1.1) is dependent on \(\lambda ,\mu \). An iterative sequence and convergence rate, which are important for practical application, are given.

References

  1. Cao, Z., Jiang, D., Yuan, C., O’Regan, D.: Existence and uniqueness of solutions for singular integral equation. Positivity 12(4), 725–732 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  3. Du, Y., Guo, Z.: Liouville type results and eventual flatness of positive solutions for p-Laplacian equations. Adv. Differ. Equ. 7, 12 (2002)

    MathSciNet  MATH  Google Scholar 

  4. Goodrich, C.S.: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 61(2), 191–202 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  5. Guo, D., Cho, Y.J., Zhu, J.: Partial Ordering Methods in Nonlinear Problems. Nova Science Publishers, New York (2004)

    MATH  Google Scholar 

  6. Guo, L., Liu, L., Wu, Y.: Existence of positive solutions for singular fractional differential equations with infinite-point boundary conditions. Nonlinear Anal., Model. Control 21(5), 635–650 (2016)

    Article  MathSciNet  Google Scholar 

  7. Guo, L., Liu, L., Wu, Y.: Existence of positive solutions for singular higher-order fractional differential equations with infinite-point boundary conditions. Bound. Value Probl. 2016, 114 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  8. Guo, L., Liu, L., Wu, Y.: Uniqueness of iterative positive solutions for the singular fractional differential equations with integral boundary conditions. Bound. Value Probl. 2016, 147 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  9. Guo, L., Liu, L., Wu, Y.: Maximal and minimal iterative positive solutions for singular infinite-point p-Laplacian fractional differential equations. Nonlinear Anal., Model. Control 23(6), 851–865 (2018)

    Article  MathSciNet  Google Scholar 

  10. Guo, L., Liu, L., Wu, Y.: Iterative unique positive solutions for singular p-Laplacian fractional differential equation system with several parameters. Nonlinear Anal., Model. Control 23(2), 182–203 (2018)

    Article  MathSciNet  Google Scholar 

  11. 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Jiang, J., Liu, L., Wu, Y.: Positive solutions for p-Laplacian fourth-order differential system with integral boundary conditions. Discrete Dyn. Nat. Soc. 2012, 19 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Jleli, M., Samet, B.: Existence of positive solutions to an arbitrary order fractional differential equation via a mixed monotone operator method. Nonlinear Anal., Model. Control 20, 367–376 (2015)

    Article  MathSciNet  Google Scholar 

  14. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Netherlands (2006)

    MATH  Google Scholar 

  15. Kong, D., Liu, L., Wu, Y.: Triple positive solutions of a boundary value problem for nonlinear singular second order differential equations of mixed type with P-Laplacian. Comput. Math. Appl. 58(7), 1425–1432 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Li, H., Liu, L., Wu, Y.: Positive solutions for singular nonlinear fractional differential equation with integral boundary conditions. Bound. Value Probl. 2015, 232 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  17. Li, Y., Lin, S.: Positive solution for the nonlinear Hadamard type fractional differential equation with p-Laplacian. J. Funct. Spaces Appl. 2013, 10 (2013)

    MathSciNet  MATH  Google Scholar 

  18. Liu, L., Li, H., Liu, C., Wu, Y.: Existence and uniqueness of positive solutions for singular fractional differential systems with coupled integral boundary value problems. J. Nonlinear Sci. Appl. 10(1), 243–262 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  19. Liu, L., Sun, F., Wu, Y.: Blow-up of solutions for a nonlinear Petrovsky type equation with initial data at arbitrary high energy level. Bound. Value Probl. 2019, 15 (2019)

    Article  MathSciNet  Google Scholar 

  20. Liu, L., Sun, F., Zhang, X., Wu, Y.: Bifurcation analysis for a singular differential system with two parameters via to topological degree theory. Nonlinear Anal., Model. Control 22(1), 31–50 (2017)

    MathSciNet  Google Scholar 

  21. Liu, L., Zhang, X., Jiang, J., Wu, Y.: The unique solution of a class of sum mixed monotone operator equations and its application to fractional boundary value problems. J. Nonlinear Sci. Appl. 9(5), 2943–2958 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  22. Liu, X., Jia, M.: The method of lower and upper solutions for the general boundary value problems of fractional differential equations with p-Laplacian. Adv. Differ. Equ. 2018(1), 28 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  23. Liu, X., Liu, L., Wu, Y.: Existence of positive solutions for a singular nonlinear fractional differential equation with integral boundary conditions involving fractional derivatives. Bound. Value Probl. 2018, 24 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  24. Liu, Y.: New existence results on nonhomogeneous Sturm–Liouville type BVPs for higher-order p-Laplacian differential equations. Appl. Math. 38(3), 295–314 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  25. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  26. Min, D., Liu, L., Wu, Y.: Uniqueness of positive solution for the singular fractional differential equations involving integral boundary value conditions. Bound. Value Probl. 2018, 23 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  27. Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  28. 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(6), 118 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  29. Sun, F., Liu, L., Zhang, X., Wu, Y.: Spectral analysis for a singular differential system with integral boundary conditions. Mediterr. J. Math. 13(6), 4763–4782 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  30. Sun, F., Liu, L., Zhang, X., Wu, Y.: Infinitely many sign-changing solutions for a class of biharmonic equation with p-Laplacian and Neumann boundary condition. Appl. Math. Lett. 73, 128–135 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  31. Tersian, S.: On symmetric positive homoclinic solutions of semilinear p-Laplacian differential equations. Bound. Value Probl. 2012, 121 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  32. Wang, F., Liu, L., Kong, D., Wu, Y.: Existence and uniqueness of positive solutions for a class of nonlinear fractional differential equations with mixed-type boundary value conditions. Nonlinear Anal., Model. Control 24, 73–94 (2019)

    Article  MathSciNet  Google Scholar 

  33. Wang, Y., Liu, L.: Positive properties of the Green function for two-term fractional differential equations and its application. J. Nonlinear Sci. Appl. 10(4), 2094–2102 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  34. Wang, Y., Liu, L.: Positive solutions for a class of fractional infinite-point boundary value problems. Bound. Value Probl. 2018, 118 (2018)

    Article  MathSciNet  Google Scholar 

  35. Wang, Y., Liu, L., Wu, Y.: Extremal solutions for p-Laplacian fractional integro-differential equation with integral conditions on infinite intervals via iterative computation. Adv. Differ. Equ. 2015, 24 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  36. Wu, J., Zhang, X., Liu, L., Wu, Y., Cui, Y.: The convergence analysis and error estimation for unique solution of a p-Laplacian fractional differential equation with singular decreasing nonlinearity. Bound. Value Probl. 2018, 82 (2018)

    Article  MathSciNet  Google Scholar 

  37. Yan, F., Zuo, M., Hao, X.: Positive solution for a fractional singular boundary value problem with p-Laplacian operator. Bound. Value Probl. 2018, 51 (2018)

    Article  MathSciNet  Google Scholar 

  38. Zhai, C., Wang, L.: Some existence, uniqueness results on positive solutions for a fractional differential equation with infinite-point boundary conditions. Nonlinear Anal., Model. Control 22(4), 566–577 (2017)

    Article  MathSciNet  Google Scholar 

  39. Zhang, X.: Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions. Appl. Math. Lett. 39, 22–27 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  40. Zhang, X.: Positive solutions for singular semipositone fractional differential equation subject to multipoint boundary conditions. J. Funct. Spaces 2017, 1–7 (2017)

    MathSciNet  Google Scholar 

  41. 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)

    MathSciNet  MATH  Google Scholar 

  42. Zhang, X., Liu, L., Wu, Y.: The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives. Appl. Math. Comput. 218(17), 8526–8536 (2012)

    MathSciNet  MATH  Google Scholar 

  43. 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(6), 1400–1409 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  44. Zhang, X., Liu, L., Wu, Y.: Existence and uniqueness of iterative positive solutions for singular Hammerstein integral equations. J. Nonlinear Sci. Appl. 10(7), 3364–3380 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  45. 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)

    MathSciNet  MATH  Google Scholar 

  46. Zhang, X., Liu, L., Wu, Y., Zou, Y.: Existence and uniqueness of solutions for systems of fractional differential equations with Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, 204 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  47. Zhang, X., Liu, L., Zou, Y.: Fixed-point theorems for systems of operator equations and their applications to the fractional differential equations. J. Funct. Spaces 2018, 9 (2018)

    MathSciNet  MATH  Google Scholar 

  48. Zhang, X., Wang, L., Sun, Q.: Existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 226, 708–718 (2014)

    MathSciNet  MATH  Google Scholar 

  49. Zhang, X., Zhong, Q.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20(6), 1471–1484 (2017)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for their useful suggestions which have significantly improved the paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Funding

This research was supported by the National Natural Science Foundation of China (11871302, 11801045), Changzhou Institute of Technology Research Fund (YN1775), and the Project of Shandong Province Higher Educational Science and Technology Program (J18KA217), the Natural Science Foundation of Shandong Province of China (ZR2014AM034).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Limin Guo or Lishan Liu.

Ethics declarations

Competing interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Guo, L., Liu, L. Unique iterative positive solutions for a singular p-Laplacian fractional differential equation system with infinite-point boundary conditions. Bound Value Probl 2019, 113 (2019). https://doi.org/10.1186/s13661-019-1227-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-019-1227-8

MSC

Keywords