Skip to main content

Theory and Modern Applications

System of fractional boundary value problem with p-Laplacian and advanced arguments

Abstract

In this paper, we discuss the existence and multiplicity of positive solutions for a system of fractional differential equations with boundary condition and advanced arguments. The existence result is proved via Leray–Schauder’s fixed point theorem type in a vector Banach space. Further, by using a new fixed point theorem in order Banach space, we study the multiplicity of positive solutions. Finally, some examples are given to illustrate our results.

1 Introduction

Fractional calculus and differential equations have now proved to be important tools modeling many real world phenomena like chemistry and physics [11, 22, 23, 25]). For the description of hereditary properties of fractional calculus, see [20, 24, 32, 37] and the references therein.

Recently, there have been some papers dealing with the existence and multiplicity of solution (or positive solution) of nonlinear initial fractional differential equation by the use of techniques of nonlinear analysis, see [27, 9, 33, 35, 38].

For example, Chai obtained in [10] the existence of at least one nonnegative solution and two positive solutions by using fixed point theorem on cone for the following problem:

$$\begin{aligned} \textstyle\begin{cases} (\varphi _{p}(u'(t))' + a(t) f(u(t)) = 0, \quad 0 < t < 1, \\ u(0)= u'(1) = 0. \end{cases}\displaystyle \end{aligned}$$
(1.1)

Su et al. [31] studied the existence of one and two positive solutions by using the fixed point index theory of the following boundary values problems:

$$\begin{aligned} \textstyle\begin{cases} (\varphi _{p}(u'(t))' + a(t) f(u(t)) = 0, \quad 0 < t < 1, \\ \alpha \varphi _{p}(u(0))-\beta \varphi _{p}(u'(\xi ))=0, \qquad\gamma \varphi _{p}(u(1))+\delta \varphi _{p}(u'(\eta ))=0. \end{cases}\displaystyle \end{aligned}$$
(1.2)

Tang et al. [34] studied the existence of positive solutions of fractional differential equation with p-Laplacian of the following type (1.3) by using the coincidence degree theory.

$$\begin{aligned} \textstyle\begin{cases} D_{0^{+}}^{\alpha } (\phi (D_{0^{+}}^{\beta }u(t)) )(t)=f(t,u(t), D_{0^{+}}^{\beta } u(t)) , \quad 0< t< 1, \\ D_{0^{+}}^{\alpha }u(0)=0,\qquad D_{0^{+}}^{\beta }u(1)=\gamma D_{0^{+}}^{ \beta }u(1 ). \end{cases}\displaystyle \end{aligned}$$
(1.3)

In this work, we study the existence and multiplicity of positive solutions of the following problem:

$$\begin{aligned} \textstyle\begin{cases} (\varphi _{p}(D_{0^{+}}^{\alpha } u(t)))' + a_{1}(t) f(u(\theta _{1}(t)),v( \theta _{2}(t))) = 0, \quad 0 < t < 1, \\ (\varphi _{\tilde{p}}(D_{0^{+}}^{\alpha } v(t)))' + a_{2}(t) g(u( \theta _{1}(t)),v(\theta _{2}(t))) = 0 ,\quad 0 < t < 1, \\ D_{0^{+}}^{\alpha } u(0) = u(0) = u'(0) = 0,\qquad D_{0^{+}}^{\beta }u(1) = \gamma D_{0^{+}}^{\beta }u(\eta ),\\ D_{0^{+}}^{\alpha } v(0) = v(0) = v'(0) = 0, \qquad D_{0^{+}}^{\beta }v(1) = \gamma D_{0^{+}}^{\beta }v(\eta ), \end{cases}\displaystyle \end{aligned}$$
(1.4)

where \(\eta \in (0,1), \gamma \in (0, \frac{1}{\eta ^{\alpha -\beta -1}} ), D_{0^{+}}^{\alpha }, D_{0^{+}}^{ \beta }\) are the standard Riemann–Liouville fractional derivatives with \(\alpha \in (2,3), \beta \in (1,2)\) such that \(\alpha \geq \beta + 1\), p-Laplacian operator is defined as \(\varphi _{p}(s) = |s|^{p-2}s, p > 1\), and the functions \(f,g \in C({\mathbb{R}}^{2},{\mathbb{R}})\).

In recent years, many authors studied the existence of solutions for systems of difference and differential equations with and without fractional derivative by using the vector version of the fixed point theorem (see [1, 8, 13, 1519, 21, 2628], the monograph of Graef et al. [12], and the references therein).

For establishing the existence and multiplicity of positive solutions of problem (1.4), let us list the following assumptions:

\((H_{1})\):

\(a_{i} \in L^{1}[0,1]\) is nonnegative and \(a_{i}(t) \not \equiv 0\) on any subinterval of \([0,1]\) for \(i =1,2\).

\((H_{2})\):

The advanced argument \(\theta \in C((0,1),(0,1])\) and \(0 \leq \theta (t) \leq 1, \forall t \in (0,1)\).

This work is organized as follows: In Sect. 2, we introduce all the background material used in this paper such as fractional calculus analysis and some results from fixed point theory. In Sects. 3, 4, the existence and multiplicity results of solutions for a system of fractional p-Laplace differential equations (1.4) are discussed by using the fixed point theorems in the generalized Banach space. We end the paper with two examples to illustrate our main results.

2 Preliminaries

In this section, we introduce some preliminary facts which are used throughout this paper.

Definition 2.1

([14])

Let X be a real Banach space. A nonempty closed convex set \(P \subset X\) is called cone if

  1. (1)

    \(x \in P,\lambda \geq 0\), then \(\lambda x \in P\);

  2. (2)

    \(x \in P, -x \in P\), then \(x =0\).

If \(x,y\in \mathbb{R}^{n}\) with \(x=(x_{1},\ldots ,x_{n})\) and \(y=(y_{1},\ldots ,y_{n})\), then by \(x\leq y\) we mean \(x_{i}\leq y_{i}\) for all \(i=1,\ldots ,n\). Also we set \(|x|=(|x_{1}|,\ldots ,|x_{n}|)\), \(\max (x,y)=(\max (x_{1},y_{1}),\ldots ,\max (x_{n},y_{n}))\), and \(\mathbb{R}_{+}^{n}=\{x\in \mathbb{R}^{n}: x_{i}>0\}\). If \(c\in \mathbb{R}\), then \(x\leq c\) means \(x_{i}\leq c\) for each \(i=1,\ldots ,n\).

Definition 2.2

Let X be a nonempty set, and consider the space \(\mathbb{R}^{m}_{+}\) endowed with the usual component-wise partial order. The mapping \(d: X\times X\rightarrow \mathbb{R}^{m}_{+}\), which satisfies all the usual axioms of the metric, is called a generalized metric in Perov’s sense and \((X,d)\) is called a generalized metric space.

Let \((X,d)\) be a generalized metric space in Perov’s sense. For \(r:=(r_{1},\ldots ,r_{m})\in \mathbb{R}_{+}^{m}\), we will denote by

$$\begin{aligned} B(x_{0},r)= \bigl\{ x\in X:d(x_{0},x)< r \bigr\} \end{aligned}$$

the open ball centered in \(x_{0}\) with radius r, and by

$$\begin{aligned} \overline{B(x_{0},r)}= \bigl\{ x\in X:d(x_{0},x)\leq r \bigr\} \end{aligned}$$

the closed ball centered at \(x_{0}\) with radius r.

Theorem 2.1

([12, 36])

Let X be a generalized Banach space, and let \(N: X\to X\) be a completely continuous operator. Then either

  1. (i)

    the equation \(N(x) = x\) has at least one solution, or

  2. (ii)

    the set \(\mathcal{M} =\{x\in X| \mu N(x) = x, \mu \in (0,1)\}\) is unbounded.

Theorem 2.2

([30])

Let \((X, \|\cdot \|)\) be a normed space, \(P_{1},P_{2} \subset X\) be two cones; \(P:= P_{1} \times P_{2};r,R \in {\mathbb{R}}^{2}_{+}, P_{r,R}:= \{u \in P_{i}: r_{i} \leq \|u_{i}\| \leq R_{i}\}\) with \(0 < r < R\); and let \(N:P_{r,R} \rightarrow P, N = (N_{1},N_{2})\) be a compact map. Assume that, for each \(i \in \{1, 2\}\), one of the following conditions is satisfied in \(P_{r,R}\):

  1. (1)

    \(N_{i}(u_{i}) \nprec u_{i}\) if \(\|u_{i}\| = r_{i}\), and \(N_{i}(u_{i}) \nsucc u_{i}\) if \(\|u_{i}\| = R_{i}\);

  2. (2)

    \(N_{i}(u_{i}) \nsucc u_{i}\) if \(\|u_{i}\| = r_{i}\), and \(N_{i}(u_{i}) \nprec u_{i}\) if \(\|u_{i}\| = R_{i}\).

Then N has a fixed point u in P with \(r_{i} \leq \|u_{i}\| \leq R_{i}\) for \(i \in \{1, 2\}\), where , namely \(u \preceq v\) if and only if \(v - u \in P\). We shall say that \(u \prec v\) if \(v - u \in P \setminus \{0\}\).

Remark 2.1

([30])

In Theorem (2.2) four cases are possible for \(u \in p_{r,R}\):

(\(c_{1}\)):

\(N_{1}(u) \nprec u_{1}\) if \(\|u_{1}\| = r_{1}\), and \(N_{1}(u) \nsucc u_{1}\) if \(\|u_{1}\| = R_{1}\), \(N_{2}(u) \nprec u_{2}\) if \(\|u_{2}\| = r_{2}\), and \(N_{2}(u) \nsucc u_{2}\) if \(\|u_{2}\| = R_{2}\);

(\(c_{2}\)):

\(N_{1}(u) \nprec u_{1}\) if \(\|u_{1}\| = r_{1}\), and \(N_{1}(u) \nsucc u_{1}\) if \(\|u_{1}\| = R_{1}\), \(N_{2}(u) \nsucc u_{2}\) if \(\|u_{2}\| = r_{2}\), and \(N_{2}(u) \nprec u_{2}\) if \(\|u_{2}\| = R_{2}\);

(\(c_{3}\)):

\(N_{1}(u) \nsucc u_{1}\) if \(\|u_{1}\| = r_{1}\), and \(N_{1}(u) \nprec u_{1}\) if \(\|u_{1}\| = R_{1}\), \(N_{2}(u) \nprec u_{2}\) if \(\|u_{2}\| = r_{2}\), and \(N_{2}(u) \nsucc u_{2}\) if \(\|u_{2}\| = R_{2}\);

(\(c_{4}\)):

\(N_{1}(u) \nsucc u_{1}\) if \(\|u_{1}\| = r_{1}\), and \(N_{1}(u)\nprec u_{1}\) if \(\|u_{1}\| = R_{1}\), \(N_{2}(u) \nsucc u_{2}\) if \(\|u_{2}\| = r_{2}\), and \(N_{2}(u) \nprec u_{2}\) if \(\|u_{2}\| = R_{2}\).

Theorem 2.3

([29])

Let \((X, \|\cdot \|)\) be a Banach space, \(P_{1},P_{2} \subset X\) be two cones, and \(P:= P_{1} \times P_{2}\) be the corresponding cone of \(X^{2} = X \times X\), and let \(\alpha _{i}, \beta _{i} > 0\). We denote

$$\begin{aligned} U_{\alpha _{i}} = \bigl\{ u \in P_{i}: \Vert u \Vert < \alpha _{i} \bigr\} \quad \textit{and}\quad V_{\beta _{i}} = \bigl\{ u \in P_{i}: \Vert u \Vert < \beta _{i} \bigr\} , \end{aligned}$$

with \(\alpha _{i}\neq \beta _{i} ,r_{i} = \min \{\alpha _{i}, \beta _{i}\}\) and \(R_{i} = \max \{\alpha _{i}, \beta _{i}\}\) for \(i = 1, 2\). Assume that \(N:\overline{ W_{1} \times W_{2}} \rightarrow P, N = (N_{1},N_{2})\) is a compact map (where \(W_{i} = U_{\alpha _{i}}\cup V_{\beta _{i}}\textit{ for }i = 1,2\)) and there exist \(h_{i} \in P_{i} \setminus \{0\}, i = 1, 2\), such that for each \(i \in \{1,2\}\) the following condition is satisfied in \(\overline{ W_{1} \times W_{2}}\):

$$\begin{aligned} & \lambda u_{i} \neq N_{i} u \quad\textit{for } \Vert u_{i} \Vert = \alpha _{i} \textit{ and } \lambda \geq 1; \end{aligned}$$
(2.1)
$$\begin{aligned} &u_{i} \neq N_{i} u + \mu h_{i} \quad\textit{for } \Vert u_{i} \Vert = \beta _{i} \textit{ and } \mu \geq 0. \end{aligned}$$
(2.2)

Then

  1. (1)

    N has at least one fixed point \(u = (u_{1},u_{2})\) in P such that \(u_{i} \in U_{\alpha _{i}} \setminus \overline{V_{\beta _{i}}}\) for \(i=1,2\) if \(\alpha _{i} > \beta _{i}\) for \(i = 1, 2\);

  2. (2)

    N has at least two fixed points located in \((U_{\alpha _{1}} \setminus \overline{V_{\beta _{1}}}) \times U_{ \alpha _{2}}\) and \((U_{\alpha _{1}} \setminus \overline{V_{\beta _{1}}}) \times (V_{ \beta _{2}} \setminus U_{\alpha _{2}})\) if \(\beta _{1} < \alpha _{1}\) and \(\beta _{2} > \alpha _{2}\);

  3. (3)

    N has at least two fixed points located in \(U_{\alpha _{1}}\times (U_{\alpha _{2}} \setminus \overline{V_{\beta _{2}}}) \) and \((V_{\beta _{1}} \setminus \overline{U_{\alpha _{1}}}) \times (U_{ \alpha _{2}} \setminus \overline{V_{\beta _{2}}})\) if \(\beta _{1} > \alpha _{1}\) and \(\beta _{2} < \alpha _{2}\);

  4. (4)

    N has at least four (three nontrivial) fixed points in \(U_{\alpha _{1}} \times U_{\alpha _{2}}, U_{\alpha _{1}}\times (V_{ \beta _{2}} \setminus \overline{U_{\alpha _{2}}}), (V_{\beta _{1}} \setminus \overline{U_{\alpha _{1}}}) \times U_{\alpha _{2}} \), and \((V_{\beta _{1}} \setminus \overline{U_{\alpha _{1}}}) \times (V_{ \beta _{2}} \setminus \overline{U_{\alpha _{2}}})\) if \(\alpha _{i} < \beta _{i}\) for \(i= 1,2\).

Remark 2.2

([29])

Our previous results can be easily generalized to systems of n operator equations.

Definition 2.3

([7])

The fractional integral of Riemann–Liouville of the function \(h \in L^{1}((0,\infty ),{\mathbb{R}})\) of order \(\alpha > 0\) is defined by

$$\begin{aligned} I_{0^{+}}^{\alpha } h(t) = \frac{1}{\Gamma (\alpha )} \int _{0}^{t} (t-s)^{ \alpha -1} h(s) \,ds, \end{aligned}$$

where \(\Gamma (\alpha )\) is the Euler gamma function defined by

$$\begin{aligned} \Gamma (\alpha ) = \int _{0}^{\infty } t^{\alpha -1} e^{-t} \,dt. \end{aligned}$$

Definition 2.4

For a function \(h \in AC^{n}(J)\), the Riemann–Liouville fractional order derivative of order \(\alpha > 0\) of h is defined by

$$\begin{aligned} D_{0^{+}}^{\alpha } h(t) = \frac{1}{\Gamma (n-\alpha )} \frac{d^{n}}{dt^{n}} \int _{0}^{t} \frac{h(s)}{(t-s)^{\alpha - n + 1}} \,ds, \end{aligned}$$

where \(n = [\alpha ] + 1\) and \([\alpha ]\) denotes the integer part of the real number α.

Remark 2.3

([7])

  1. (1)

    If \(\lambda > -1\)

    $$\begin{aligned} D_{0^{+}}^{\alpha } t^{\lambda } = \frac{\Gamma (\lambda +1)}{\Gamma (\lambda -\alpha +1} t^{\lambda - \alpha }, \end{aligned}$$

    and \(D_{0^{+}}^{\alpha } t^{\alpha - m} = 0, m = 1,2,\ldots ,n\), where \(n = [\alpha ] + 1\).

  2. (2)

    \(D_{0^{+}}^{\alpha } I_{0^{+}}^{\alpha } u(t) = u(t) \) for all \(u \in C(0,1)\cap L^{1}(0,1)\).

  3. (3)

    If \(u \in L^{1}(0,1), \alpha > \beta > 0\), then

    $$\begin{aligned} D_{0^{+}}^{\beta }I_{0^{+}}^{\alpha } u(t) = I_{0^{+}}^{\alpha -\beta } u(t). \end{aligned}$$

Lemma 2.1

([7])

If we assume that \(u \in C(0, 1) \cap L^{1}(0, 1)\), then the fractional differential equation

$$\begin{aligned} D_{0^{+}}^{\alpha } u(t) = 0,\quad \alpha > 0 \end{aligned}$$

has \(u(t) = C_{1} t^{\alpha -1} + C_{2} t^{\alpha -2} + \cdots + C_{n} t^{ \alpha -n}, C_{i} \in \mathbb{R}, i = 1,2,\ldots ,n\), as a unique solution, where \(n = [\alpha ] + 1\).

Lemma 2.2

([7])

Suppose that \(u \in C(0, 1) \cap L^{1}(0, 1)\) is such that \(D_{0^{+}}^{\alpha } u \in C(0, 1) \cap L^{1}(0, 1)\). Then

$$\begin{aligned} I_{0^{+}}^{\alpha } D_{0^{+}}^{\alpha } u(t) = u(t) + C_{1} t^{\alpha -1} + C_{2} t^{\alpha -2} + \cdots + C_{n} t^{\alpha -n} \end{aligned}$$

for some \(C_{i} \in \mathbb{R}, i=1,2,\ldots ,n\), where \(n = [\alpha ] + 1\).

Lemma 2.3

([10])

If \(x,y \geq 0,\gamma > 0\), then

$$\begin{aligned} (x + y)^{\gamma } \leq \max \bigl\{ 2^{\gamma -1},1 \bigr\} \bigl(x^{\gamma } + y^{ \gamma } \bigr). \end{aligned}$$

Lemma 2.4

([10])

Let \(c > 0, \gamma > 0\). For any \(x, y \in [0, c]\), we have that

  1. (1)

    if \(\gamma > 1\), then \(|x^{\gamma } - y^{\gamma }| \leq \gamma c^{\gamma -1} |x-y|\);

  2. (2)

    if \(0 < \gamma \leq 1\), then \(|x^{\gamma } - y^{\gamma }| \leq |x-y|^{\gamma }\).

3 Existence result

Denote by \(C([0,1])\) the Banach space of all continuous functions from \([0,1]\) into \({\mathbb{R}}\) with the norm

$$\begin{aligned} \Vert u \Vert = \max \bigl\{ \bigl\vert u(t) \bigr\vert : t \in [0,1] \bigr\} . \end{aligned}$$

Define the cone P in \(C([0,1]^{2})\) as \(P = \{ u \in C([0,1]): u(t) \geq 0, t \in [0,1]\}\). Let \(q > 1\) and \(\tilde{q} > 1\) satisfy the relation \(\frac{1}{p}+\frac{1}{q}=1, \frac{1}{\tilde{p}}+\frac{1}{\tilde{q}}=1\), where \(p,\tilde{p}\) are given by (1.4).

To prove the existence of solutions to (1.4), we need the following auxiliary lemma.

Lemma 3.1

Given \(h_{1} , h_{2} \in C [0,1], \eta \in (0,1), \gamma \in (0, \frac{1}{\eta ^{\alpha -\beta -1}} )\), and \(\alpha \geq \beta + 1\), the unique solution of C boundary value problem for a coupled system

$$\begin{aligned} & \bigl(\varphi _{p} \bigl(D_{0^{+}}^{\alpha } u(t) \bigr) \bigr)' + h_{1}(t) = 0 ,\quad 0 < t < 1, \end{aligned}$$
(3.1)
$$\begin{aligned} &\bigl(\varphi _{\tilde{p}} \bigl(D_{0^{+}}^{\alpha } v(t) \bigr) \bigr)' + h_{2}(t) = 0 , \quad 0 < t < 1, \end{aligned}$$
(3.2)
$$\begin{aligned} &D_{0^{+}}^{\alpha } u(0) = u(0) = u'(0) = 0, \qquad D_{0^{+}}^{\beta }u(1) = \gamma D_{0^{+}}^{\beta }u( \eta ), \end{aligned}$$
(3.3)
$$\begin{aligned} & D_{0^{+}}^{\alpha } v(0) = v(0) = v'(0) = 0,\qquad D_{0^{+}}^{\beta }v(1) = \gamma D_{0^{+}}^{\beta }v( \eta ), \end{aligned}$$
(3.4)

is

$$\begin{aligned} \begin{aligned}[b] u(t) ={}& \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} h_{1}( \tau )\,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} h_{1}( \tau )\,d\tau \biggr) \,ds \end{aligned} \end{aligned}$$
(3.5)

and

$$\begin{aligned} \begin{aligned}[b] v(t) ={}& \int _{0}^{1} G_{1}(t,s) \varphi _{\tilde{q}} \biggl( \int _{0}^{s} h_{2}(\tau )\,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}G_{2}(\eta ,s) \varphi _{\tilde{q}} \biggl( \int _{0}^{s} h_{2}( \tau )\,d\tau \biggr)\,ds, \end{aligned} \end{aligned}$$
(3.6)

where

$$\begin{aligned} &G_{1}(t,s) = \textstyle\begin{cases} \frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}- (t-s)^{\alpha -1}}{\Gamma (\alpha )}, & 0 \leq s \leq t \leq 1 , \\ \frac{t^{\alpha -1}(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )}, & 0 \leq t \leq s \leq 1, \end{cases}\displaystyle \\ &G_{2}(\eta ,s) = \textstyle\begin{cases} \frac{[\eta (1-s)]^{\alpha -\beta -1}- (\eta -s)^{\alpha -\beta -1}}{\Gamma (\alpha )}, & 0 \leq s \leq \eta \leq 1 , \\ \frac{[\eta (1-s)]^{\alpha -\beta -1}}{\Gamma (\alpha )} ,& 0 \leq \eta \leq s \leq 1. \end{cases}\displaystyle \end{aligned}$$

Proof

Integrating equation (3.1) from 0 to t, we have

$$\begin{aligned} \varphi _{p} \bigl(D_{0^{+}}^{\alpha } u(t) \bigr) - \varphi _{p} \bigl(D_{0^{+}}^{\alpha } u(0) \bigr) = \int _{0}^{t} h_{1}(s) \,ds \end{aligned}$$

and so,

$$\begin{aligned} D_{0^{+}}^{\alpha } u(t) = - \varphi _{q} \biggl( \int _{0}^{t} h_{1}(s) \,ds \biggr). \end{aligned}$$

From Lemma 2.2,

$$\begin{aligned} u(t) &= - I_{0^{+}}^{\alpha } \varphi _{q} \biggl( \int _{0}^{t} h_{1}(s) \,ds \biggr) + A t^{\alpha -1} + B t^{\alpha -2} + C t^{\alpha -3} \\ &= - \frac{1}{\Gamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha -1} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds + A t^{ \alpha -1} + B t^{\alpha -2} + C t^{\alpha -3}. \end{aligned}$$

From (3.3), \(B = C = 0\), and so

$$\begin{aligned} u(t) = - I_{0^{+}}^{\alpha } \varphi _{q} \biggl( \int _{0}^{t} h_{1}(s) \,ds \biggr) + A t^{\alpha -1}. \end{aligned}$$
(3.7)

Now, from Remark 2.3

$$\begin{aligned} D_{0^{+}}^{\beta } u(t) &= - I_{0^{+}}^{\alpha -\beta } \varphi _{q} \biggl( \int _{0}^{t} h_{1}(s) \,ds \biggr) + A \frac{\Gamma (\alpha )}{\Gamma (\alpha -\beta )} t^{\alpha -\beta -1} \\ &= - \frac{1}{\Gamma (\alpha -\beta )} \int _{0}^{t} (t-s)^{\alpha - \beta -1} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds + A \frac{\Gamma (\alpha )}{\Gamma (\alpha -\beta )} t^{ \alpha -\beta -1}. \end{aligned}$$

Therefore

$$\begin{aligned} &D_{0^{+}}^{\beta } u(1) =- \frac{1}{\Gamma (\alpha -\beta )} \int _{0}^{1} (1-s)^{\alpha -\beta -1} \varphi _{q} \biggl( \int _{0}^{s} h_{1}( \tau ) \,d\tau \biggr) \,ds + A \frac{\Gamma (\alpha )}{\Gamma (\alpha -\beta )}, \\ &\gamma D_{0^{+}}^{\beta } u(\eta ) = - \frac{\gamma }{\Gamma (\alpha -\beta )} \int _{0}^{\eta } (\eta -s)^{ \alpha -\beta -1} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d \tau \biggr) \,ds + A \frac{\Gamma (\alpha )\gamma }{\Gamma (\alpha -\beta )} t^{ \alpha -\beta -1} \eta ^{\alpha - \beta -1}. \end{aligned}$$

By boundary condition (3.3), we have

$$\begin{aligned} A ={}& \frac{1}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \frac{(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr)\,ds \\ &{} - \frac{\gamma }{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{ \eta } \frac{(\eta -s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds, \end{aligned}$$

and replacing in (3.7), we obtain

$$\begin{aligned} u(t) ={}&{ -}\frac{1}{\Gamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha -1} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ \frac{t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \frac{(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \frac{(\eta -s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds. \end{aligned}$$

Splitting the second integral in two parts of the form

$$\begin{aligned} t^{\alpha -1} + \frac{k}{1 - \gamma \eta ^{\alpha -\beta -1}} = \frac{t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}}, \end{aligned}$$

we have \(k = \gamma \eta ^{\alpha -\beta -1} t^{\alpha -1}\), and thus

$$\begin{aligned} u(t) = {}&{-}\frac{1}{\Gamma (\alpha )} \int _{0}^{t} (t-s)^{\alpha -1} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ t^{\alpha -1} \int _{0}^{1} \frac{(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma \eta ^{\alpha -\beta -1}t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \frac{(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}- \frac{\gamma t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{\eta } \frac{(\eta -s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ ={}& \int _{0}^{t} \frac{t^{\alpha -1} (1-s)^{\alpha -\beta -1} - (t-s)^{\alpha -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ \int _{t}^{1} \frac{t^{\alpha -1} (1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{\eta } \frac{[\eta (1-s)]^{\alpha -\beta -1}-(\eta -s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \times \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \int _{0}^{\eta } \frac{[\eta (1-s)]^{\alpha -\beta -1}}{\Gamma (\alpha )} \times \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds \\ ={}& \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} h_{1}( \tau ) \,d\tau \biggr) \,ds + \frac{\gamma t^{\alpha -1}}{1 - \gamma \eta ^{\alpha -\beta -1}} \\ &{}\times \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} h_{1}(\tau ) \,d\tau \biggr) \,ds. \end{aligned}$$

This completes the proof. □

Lemma 3.2

([35])

Let \(\rho \in (0, 1)\) be fixed. The kernel \(G_{1}(t, s)\) satisfies the following properties:

  1. (1)

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

  2. (2)

    \(G_{1}(t,s) \leq G_{1}(1,s)\) for all \(s\in (0,1)\);

  3. (3)

    \(\min_{\rho \leq t \leq 1} G_{1}(t,s) \geq \rho ^{\alpha -1} G_{1}(1,s) \) for all \(s \in [0,1]\).

We are now ready to present our main result. In this section we give an existence result based on the nonlinear alternative of Leray–Schauder type.

Theorem 3.1

Assume (\(H_{1}\))(\(H_{2}\)) and that the following condition holds:

(\(H_{3}\)):

There exist functions \(p, q, h, \breve{p}, \breve{q}\), and \(\bar{h} \in L^{1}([0,1],{\mathbb{R}}_{+})\) and constants \(\alpha _{1}, \alpha _{2}, \alpha _{3}\), and \(\alpha _{4} \in [0, 1)\) such that

$$\begin{aligned} \bigl\vert f(u,v) \bigr\vert \leq p(t) \vert u \vert ^{\alpha _{1}} + q(t) \vert v \vert ^{\alpha _{2}} + h(t)\quad \textit{for each } t \in [0,1] \textit{ and } u,v \in {\mathbb{R}} \end{aligned}$$

and

$$\begin{aligned} \bigl\vert g(u,v) \bigr\vert \leq \breve{p}(t) \vert u \vert ^{\alpha _{3}} + \breve{q}(t) \vert v \vert ^{ \alpha _{4}} + \breve{h}(t)\quad \textit{for each } t \in [0,1] \textit{ and } u,v \in {\mathbb{R}}. \end{aligned}$$

If \(\alpha _{1}p, \alpha _{2}p, \alpha _{3}q\), and \(\alpha _{4}q \in [0, 1)\), then system (1.4) has at least one solution.

Proof

Let N be the operator

$$\begin{aligned} N: C(0,1) \times C(0,1) \rightarrow C(0,1) \times C(0,1) \end{aligned}$$

defined by

$$\begin{aligned} N(u,v) = \bigl(N_{1}(u,v), N_{2}(u,v) \bigr), \end{aligned}$$

where

$$\begin{aligned} \begin{aligned}[b]& N_{1}(u,v) (t) \\ &\quad= \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d\tau \biggr)\,ds \\ &\qquad{} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d\tau \biggr) \,ds, \end{aligned} \end{aligned}$$
(3.8)

and

$$\begin{aligned} \begin{aligned}[b] N_{2}(u,v) ={}& \int _{0}^{1} G_{1}(t,s) \varphi _{\tilde{q}} \biggl( \int _{0}^{s} a_{2}(\tau )g \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d \tau \biggr)\,ds \\ &{} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}G_{2}(\eta ,s) \varphi _{\tilde{q}} \biggl( \int _{0}^{s} a_{2}( \tau )g \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d\tau \biggr) \,ds. \end{aligned} \end{aligned}$$
(3.9)

We shall use the Leray–Schauder fixed point theorem to prove that N has a fixed point. The proof will be given in several steps.

Step 1. To show that N is continuous, let \((u_{n},v_{n})\) be a sequence such that \((u_{n},v_{n}) \rightarrow (u,v) \in C[0,1] \times C[0,1]\) as \(n\rightarrow \infty \). Then we have

$$\begin{aligned} &\bigl\vert N_{1}(u_{n},v_{n}) (t)-N_{1}(u,v) (t) \bigr\vert \\ &\quad= \biggl\vert \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f \bigl(u_{n} \bigl(\theta _{1}(\tau ) \bigr),v_{n} \bigl( \theta _{2}(\tau ) \bigr) \bigr)\,d\tau \biggr) \,ds \\ &\qquad{} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )f \bigl(u_{n} \bigl(\theta _{1}(\tau ) \bigr),v_{n} \bigl(\theta _{2}(\tau ) \bigr) \bigr)\,d\tau \biggr) \,ds \\ &\qquad{}- \biggl[ \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d\tau \biggr) \,ds \\ &\qquad{}+ \int _{0}^{1} \frac{\gamma t^{\alpha -1}G_{2}(\eta ,s)}{1-\gamma \eta ^{\alpha -\beta -1}} \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d\tau \biggr)\,ds \biggr] \biggr\vert . \end{aligned}$$

By Lemma 3.2 and \(t \in [0,1]\),

$$\begin{aligned} &\bigl\vert N_{1}(u_{n},v_{n}) (t)-N_{1}(u,v) (t) \bigr\vert \\ &\quad\leq \int _{0}^{1}G_{1}(1,s) \biggl( \int _{0}^{s} \bigl\vert a_{1}(\tau )f \bigl(u_{n} \bigl(\theta _{1}(\tau ) \bigr),v_{n} \bigl( \theta _{2}(\tau ) \bigr) \bigr) \bigr\vert ^{q-1} \\ &\qquad{}- \bigl\vert a_{1}(\tau )f \bigl(u \bigl(\theta _{1}( \tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \bigr\vert ^{q-1}\,d \tau \biggr)\,ds \\ &\qquad{}+ \frac{\gamma }{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}G_{2}( \eta ,s) \biggl( \int _{0}^{s} \bigl\vert a_{1}(\tau )f \bigl(u_{n} \bigl(\theta _{1}(\tau ) \bigr),v_{n} \bigl( \theta _{2}(\tau ) \bigr) \bigr)\,d\tau \bigr\vert ^{q-1} \\ &\qquad{}- \bigl\vert a_{1}(\tau ) f \bigl(u \bigl(\theta _{1}( \tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \bigr\vert ^{q-1}\,d\tau \biggr)\,ds. \end{aligned}$$

On the other hand, since f is a continuous function combined with the fact that

$$\begin{aligned} \Vert u_{n} - u \Vert \rightarrow 0, \quad\text{as } n\to \infty , \end{aligned}$$

then there exists \(N \geq 1\) such that for all \(\tau \in [0,1]\) the following estimate

$$\begin{aligned} \bigl|f \bigl(u_{n} \bigl(\theta _{1}(\tau ) \bigr),v_{n} \bigl(\theta _{2}(\tau ) \bigr) \bigr)\,d\tau ) - f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr)\bigr| < \epsilon , \end{aligned}$$

holds for \(n \geq N\). By the Lebesgue dominated convergence theorem, we have

$$\begin{aligned} \bigl\Vert N_{1}(u_{n},v_{n})-N_{1}(u,v) \bigr\Vert \rightarrow 0, \quad\text{as } n \rightarrow \infty. \end{aligned}$$

Similarly,

$$\begin{aligned} \bigl\Vert N_{2}(u_{n},v_{n})-N_{2}(u,v) \bigr\Vert \rightarrow 0, \quad\text{as } n \rightarrow \infty. \end{aligned}$$

Consequently, N is continuous.

Step 2. N maps bounded sets into bounded sets in \(C[0,1] \times C[0,1]\), it suffices to show that for any \(r> 0\) there exists a positive constant vector \(l = (l_{1}, l_{2})\) such that, for each \((u,v) \in B_{r}= \{(u,v) \in C[0,1] \times C[0,1]: \|u\| \leq r, \|v \| \leq r\}\), we have

$$\begin{aligned} \bigl\Vert N(u,v) \bigr\Vert \leq l. \end{aligned}$$

For each \(t\in [0,1]\), we have

$$\begin{aligned} &\bigl\vert N_{1}(u,v) (t) \bigr\vert \\ &\quad \leq \int _{0}^{1} \bigl\vert G_{1}(t,s) \bigr\vert \varphi _{q} \biggl( \int _{0}^{s} \bigl\vert a_{1}(\tau )f \bigl(u \bigl(\theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}( \tau ) \bigr) \bigr)\,d\tau \bigr\vert \biggr) \,ds \\ &\qquad{} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \bigl\vert G_{2}(\eta ,s) \bigr\vert \varphi _{q} \biggl( \int _{0}^{s} \bigl\vert a_{1}( \tau )f \bigl(u \bigl(\theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}( \tau ) \bigr) \bigr)\,d\tau \bigr\vert \biggr) \,ds \\ &\quad \leq \max \bigl\{ 2^{q-1},1 \bigr\} \int _{0}^{1} G_{1}(1,s) \int _{0}^{s} \bigl\vert a_{1}( \tau ) \bigr\vert ^{q-1} \bigl\vert p(\tau ) \bigr\vert ^{q-1} \bigl\vert u \bigl(\theta _{1}(\tau ) \bigr) \bigr\vert ^{\alpha _{1}(q-1)} \\ &\qquad{} + \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert q(\tau ) \bigr\vert ^{q-1} \bigl\vert v \bigl(\theta _{2}(\tau ) \bigr) \bigr\vert ^{ \alpha _{2}(q-1)} + \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert h(\tau ) \bigr\vert ^{q-1}\,d\tau\, ds \\ &\qquad{} + \max \bigl\{ 2^{q-1},1 \bigr\} \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \bigl\vert G_{2}(\eta ,s) \bigr\vert \int _{0}^{s} \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert p(\tau ) \bigr\vert ^{q-1} \bigl\vert u \bigl( \theta _{1}(\tau ) \bigr) \bigr\vert ^{\alpha _{1}(q-1)} \\ & \qquad{} + \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert q(\tau ) \bigr\vert ^{q-1} \bigl\vert v \bigl(\theta _{2}(\tau ) \bigr) \bigr\vert ^{ \alpha _{2}(q-1)} + \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert h(\tau ) \bigr\vert ^{q-1}\,d\tau\, ds \\ & \quad\leq \max \bigl\{ 2^{q-1},1 \bigr\} \bigl( \Vert u \Vert ^{\alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert p \Vert _{L_{1}}^{q-1} + \Vert v \Vert ^{\alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert q \Vert _{L_{1}}^{q-1} \\ &\qquad{} + \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr) \int _{0}^{1} \frac{(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )}+ \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \bigl( \Vert u \Vert ^{ \alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert p \Vert _{L_{1}}^{q-1} \\ &\qquad{} + \Vert v \Vert ^{\alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert q \Vert _{L_{1}}^{q-1} + \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr) \int _{0}^{1} \frac{\eta ^{\alpha -\beta -1} (1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \\ &\quad \leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )\Gamma (\alpha )} \bigl(r^{ \alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert p \Vert _{L_{1}}^{q-1} + r^{ \alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert q \Vert _{L_{1}}^{q-1} + \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr) \\ &\qquad{}+ \frac{\max \{2^{q-1},1\}\eta ^{\alpha -\beta -1}\gamma }{(1-\gamma \eta ^{\alpha -\beta -1})(\alpha -\beta )\Gamma (\alpha )} \bigl(r^{\alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert p \Vert _{L_{1}}^{q-1} + r^{ \alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert q \Vert _{L_{1}}^{q-1} \\ & \qquad{} + \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr). \end{aligned}$$

Hence

$$\begin{aligned} &\bigl\Vert N_{1}(u,v) \bigr\Vert \\ &\quad\leq \frac{\max \{2^{q-1},1\} }{(\alpha -\beta )\Gamma (\alpha )} \bigl(r^{ \alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert p \Vert _{L_{1}}^{q-1} + r^{ \alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert q \Vert _{L_{1}}^{q-1} + \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr) \\ &\qquad{} + \frac{\max \{2^{q-1},1\}\eta ^{\alpha -\beta -1}\gamma }{(1-\gamma \eta ^{\alpha -\beta -1})(\alpha -\beta )\Gamma (\alpha )} \bigl(r^{\alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert p \Vert _{L_{1}}^{q-1} + r^{ \alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert q \Vert _{L_{1}}^{q-1} \\ &\qquad{}+ \Vert a_{1} \Vert _{L_{1}}^{q-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr):=l_{1}. \end{aligned}$$

Similarly, we have

$$\begin{aligned} &\bigl\Vert N_{2}(u,v) \bigr\Vert \\ &\quad \leq \frac{\max \{2^{\tilde{q}-1},1\}}{(\alpha -\beta )\Gamma (\alpha )} \bigl(r^{\alpha _{3}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{\tilde{q}-1} \Vert \breve{p} \Vert _{L_{1}}^{\tilde{q}-1} + r^{\alpha _{4}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{\tilde{q}-1} \Vert \breve{q} \Vert _{L_{1}}^{\tilde{q}-1} + \Vert a_{2} \Vert _{L_{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L_{1}}^{\tilde{q}-1} \bigr) \\ &\qquad{}+ \frac{\max \{2^{\tilde{q}-1},1\}\eta ^{\alpha -\beta -1}\gamma }{(1-\gamma \eta ^{\alpha -\beta -1})(\alpha -\beta )\Gamma (\alpha )} \bigl(r^{\alpha _{3}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{\tilde{q}-1} \Vert \breve{p} \Vert _{L_{1}}^{\tilde{q}-1}+ r^{\alpha _{4}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{\tilde{q}-1} \Vert \breve{q} \Vert _{L_{1}}^{\tilde{q}-1} \\ &\qquad{}+ \Vert a_{2} \Vert _{L_{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L_{1}}^{ \tilde{q}-1} \bigr):=l_{2}. \end{aligned}$$

Step 3. N maps bounded sets into equicontinuous. Let \(u \in B_{r}\) be a bounded set as in Step 2, \(t_{1},t_{2} \in [0, 1]\) with \(t_{1} < t_{2}\), from (3.5) and Lemma 2.3, we have

$$\begin{aligned} &\bigl\vert N_{1}(u,v) (t_{2}) - N_{1}(u,v) (t_{1}) \bigr\vert \\ &\quad\leq \int _{0}^{1} \bigl\vert G_{1}(t_{2},s) - G_{1}(t_{1},s) \bigr\vert \varphi _{q} \biggl( \int _{0}^{s} |a_{1}(\tau )f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr)\,d\tau \biggr) | \,ds \\ &\qquad{} + \frac{\gamma \vert t_{2}-t_{1} \vert ^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \bigl\vert G_{2}(\eta ,s) \bigr\vert \\ &\qquad{}\times \varphi _{q} \biggl( \int _{0}^{s} \vert a_{1} \vert (\tau )f \bigl(u \bigl(\theta _{1}( \tau ) \bigr),v \bigl(\theta _{2}( \tau ) \bigr) \bigr)\,d\tau \biggr) \vert \,ds \\ &\quad\leq \int _{0}^{1} \bigl\vert G_{1}(t_{2},s) - G_{1}(t_{1},s) \bigr\vert \int _{0}^{s} |a_{1}( \tau ) \bigl[p(\tau ) \bigl\vert u(\theta _{1} \bigl\vert ^{\alpha _{1}} + q(\tau ) \bigr\vert v \bigl(\theta _{2}( \tau ) \bigr) \bigr\vert ^{\alpha _{2}} \\ &\qquad{} + h(\tau )\,d\tau \,ds \bigr] \vert ^{q-1} + \frac{\gamma \vert t_{2}-t_{1} \vert ^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \bigl\vert G_{2}(\eta ,s) \bigr\vert \\ &\qquad{}\times \int _{0}^{s} \bigl|a_{1}(\tau ) \bigl[p(\tau ) \bigl\vert u(\theta _{1} \bigl\vert ^{\alpha _{1}} + q(\tau ) \bigr\vert v \bigl(\theta _{2}(\tau ) \bigr) \bigr\vert ^{\alpha _{2}} + h(\tau )\,d\tau \,ds \bigr] \bigr\vert ^{q-1} \\ & \quad\leq \max \bigl\{ 2^{q-1},1 \bigr\} \int _{0}^{1} \bigl\vert G_{1}(t_{2},s) - G_{1}(t_{1},s) \bigr\vert \int _{0}^{s} \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert p(\tau ) \bigr\vert ^{q-1} \\ &\qquad{}\times \bigl\vert u \bigl(\theta _{1}(\tau ) \bigr) \bigr\vert ^{\alpha _{1}(q-1)}+ \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert q( \tau ) \bigr\vert ^{q-1} \bigl\vert v \bigl(\theta _{2}(\tau ) \bigr) \bigr\vert ^{\alpha _{2}(q-1)} + \bigl\vert a_{1}( \tau ) \bigr\vert ^{q-1} \\ &\qquad{}\times \bigl\vert h(\tau ) \bigr\vert ^{q-1}\,d\tau \,ds + \max \bigl\{ 2^{q-1},1 \bigr\} \frac{\gamma \vert t_{2}-t_{1} \vert ^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}\bigl|G_{2}(\eta ,s) \bigr\vert \\ &\qquad{}\times \int _{0}^{s} \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert p(\tau ) \bigr\vert ^{q-1} u \bigl(\theta _{1}( \tau ) \bigr) \vert ^{\alpha _{1}(q-1)} \\ &\qquad{} + \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert q(\tau ) \bigr\vert ^{q-1} \bigl\vert v \bigl(\theta _{2}(\tau ) \bigr) \bigr\vert ^{ \alpha _{2}(q-1)} + \bigl\vert a_{1}(\tau ) \bigr\vert ^{q-1} \bigl\vert h(\tau ) \bigr\vert ^{q-1}\,d\tau \,ds. \end{aligned}$$

By Lemma 2.4 we obtain

$$\begin{aligned} \leq {}& \max \bigl\{ 2^{q-1},1 \bigr\} \bigl(r^{\alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{{q}-1} \Vert p \Vert _{L_{1}}^{q-1} + r^{\alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{{q}-1} \Vert q \Vert _{L_{1}}^{q-1} \\ & {} + \Vert a_{1} \Vert _{L_{1}}^{{q}-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr) \int _{0}^{1} \bigl\vert G_{1}(t_{1},s) - G_{1}(t_{2},s) \bigr\vert \,ds \\ & {} + \frac{\max \{2^{q-1},1\}\gamma (\alpha -1) \vert t_{2}-t_{1} \vert }{(1-\gamma \eta ^{\alpha -\beta -1})} \bigl(r^{\alpha _{1}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{{q}-1} \Vert p \Vert _{L_{1}}^{q-1} \\ & {} + r^{\alpha _{2}(q-1)} \Vert a_{1} \Vert _{L_{1}}^{{q}-1} \Vert q \Vert _{L_{1}}^{q-1} + \Vert a_{1} \Vert _{L_{1}}^{{q}-1} \Vert h \Vert _{L_{1}}^{q-1} \bigr) \int _{0}^{1} \bigl\vert G_{2}( \eta ,s) \bigr\vert \,ds. \end{aligned}$$

Similarly, we have

$$\begin{aligned} &\bigl\vert N_{2}(u,v) (t_{1}) - N_{2}(u,v) (t_{2}) \bigr\vert \\ &\quad\leq \max \bigl\{ 2^{\tilde{q}-1},1 \bigr\} \bigl(r^{\alpha _{3}(q-1)} \Vert a_{2} \Vert _{L_{1}}^{{\tilde{q}}-1} \Vert \breve{p} \Vert _{L_{1}}^{\tilde{q}-1} + r^{\alpha _{4}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{{ \tilde{q}}-1} \Vert \breve{q} \Vert _{L_{1}}^{\tilde{q}-1} \\ &\qquad{} + \Vert a_{2} \Vert _{L_{1}}^{{\tilde{q}}-1} \Vert \breve{h} \Vert _{L_{1}}^{ \tilde{q}-1} \bigr) \int _{0}^{1} \bigl\vert G_{1}(t_{1},s) - G_{1}(t_{2},s) \bigr\vert \,ds \\ &\qquad{} + \frac{\max \{2^{\tilde{q}-1},1\}\gamma (\alpha -1) \vert t_{2}-t_{1} \vert }{(1-\gamma \eta ^{\alpha -\beta -1})} \bigl(r^{\alpha _{3}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{{\tilde{q}}-1} \Vert \breve{p} \Vert _{L_{1}}^{\tilde{q}-1} \\ &\qquad{} + r^{\alpha _{4}(\tilde{q}-1)} \Vert a_{2} \Vert _{L_{1}}^{{\tilde{q}}-1} \Vert \breve{q} \Vert _{L_{1}}^{\tilde{q}-1} + \Vert a_{2} \Vert _{L_{1}}^{{\tilde{q}}-1} \Vert \breve{h} \Vert _{L_{1}}^{\tilde{q}-1} \bigr) \int _{0}^{1} \bigl\vert G_{2}(\eta ,s) \bigr\vert \,ds. \end{aligned}$$

The continuity of \(G_{1}\) implies that the right-hand side of the above inequality tends to zero if \(t_{2}\rightarrow t_{1}\). Therefore, by Arzela–Ascoli N is completely continuous.

Step 4. A priori bounds. Now it remains to show that the set

$$\begin{aligned} {\mathcal{M}}= \bigl\{ (u,v)C \bigl([0,1],{\mathbb{R}} \bigr) \times C \bigl([0,1],{\mathbb{R}} \bigr): (u, v) = \lambda N(u, v) < \lambda < 1 \bigr\} \end{aligned}$$

is bounded. Let \((u, v) \in {\mathcal{M}}\), then there exists \(0 < \lambda < 1\) such that \(u = \lambda N_{1}(u,v)\) and \(v= \lambda N_{2}(u, v)\). Thus, for \(t \in [0, 1]\), we have

$$\begin{aligned} &\bigl\vert u(t) \bigr\vert \leq \int _{0}^{1} \bigl\vert G_{1}(t,s) \bigl\vert \varphi _{q} \biggl( \int _{0}^{s} |a_{1}(\tau )f \bigl(u \bigl( \theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr) \,d\tau \biggr) \vert \,ds \\ &\phantom{\bigl\vert u(t) \bigr\vert \leq}{} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} \bigl\vert G_{2}(\eta ,s) \bigr\vert \varphi _{q} \biggl( \int _{0}^{s} |a_{1}( \tau )f \bigl(u \bigl(\theta _{1}(\tau ) \bigr),v \bigl(\theta _{2}(\tau ) \bigr) \bigr)\,d\tau \biggr) \vert \,ds \\ &\phantom{\bigl\vert u(t) \bigr\vert } \leq \max \bigl\{ 2^{q-1},1 \bigr\} \bigl[ \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert u \Vert ^{\alpha _{1}(q-1)} + \Vert q \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert v \Vert ^{\alpha _{2}(q-1)} \\ &\phantom{\bigl\vert u(t) \bigr\vert \leq}{}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} \bigr] \\ &\phantom{\bigl\vert u(t) \bigr\vert \leq}{}\times \int _{0}^{1} G_{1}(1,s) \,ds + \frac{\gamma }{1-\gamma \eta ^{\alpha -\beta -1}} \bigl[ \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert u \Vert ^{\alpha _{1}(q-1)}\\ &\phantom{\bigl\vert u(t) \bigr\vert \leq}{} + \Vert q \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert v \Vert ^{\alpha _{2}(q-1)} \\ &\phantom{\bigl\vert u(t) \bigr\vert \leq}{} + \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} \bigr] \int _{0}^{1} \bigl\vert G_{2}( \eta ,s) \bigr\vert \,ds, \\ &\Vert u \Vert \leq \max \bigl\{ 2^{q-1},1 \bigr\} \bigl[ \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert u \Vert ^{\alpha _{1}(q-1)}+ \Vert q \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert v \Vert ^{\alpha _{2}(q-1)} \\ &\phantom{\Vert u \Vert \leq}{} + \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} \bigr] \biggl[ \int _{0}^{1} \frac{(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} + \frac{\gamma }{1-\gamma \eta ^{\alpha -\beta -1}} \frac{\eta ^{\alpha -\beta -1}(1-s)^{\alpha -\beta -1}}{\Gamma (\alpha )} \,ds \biggr], \\ &\Vert u \Vert \leq \max \bigl\{ 2^{q-1},1 \bigr\} \bigl[ \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert u \Vert ^{\alpha _{1}(q-1)} + \Vert q \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert v \Vert ^{\alpha _{2}(q-1)} \\ &\phantom{\Vert u \Vert \leq}{}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} \bigr] \frac{1}{(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \int _{0}^{1}(1-s)^{ \alpha -\beta -1} \,ds. \end{aligned}$$

Hence,

$$\begin{aligned} \Vert u \Vert \leq {}& \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl[ \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert u \Vert ^{\alpha _{1}(q-1)} + \Vert q \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert v \Vert ^{\alpha _{2}(q-1)} \\ & {} + \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} \bigr]. \end{aligned}$$

Similarly, we obtain

$$\begin{aligned} \Vert v \Vert \leq {}& \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl[ \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1} \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert u \Vert ^{\alpha _{3}(\tilde{q}-1)}+ \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1} \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert v \Vert ^{\alpha _{4}(\tilde{q}-1)} \\ & {}+ \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1} \bigr]. \end{aligned}$$

Notice that if \(\epsilon \leq \delta \) and \(\|u\| > 1\), then \(\|u\|^{\epsilon } \leq \|u\|^{\delta }\) Thus, \(\|u\|^{\epsilon } \leq 1+ \|u\|^{\delta }\) for all u. We then have

$$\begin{aligned} &\Vert u \Vert + \Vert v \Vert \\ &\quad \leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl[ \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert u \Vert ^{\alpha _{1}(q-1)}+ \Vert q \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert v \Vert ^{\alpha _{2}(q-1)} \\ &\qquad{} + \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} \bigr]+ \frac{\max \{2^{q-1},1\}\varphi _{q} (\int _{0}^{1} a_{1}(\tau )\,d\tau )}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl[ \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1} \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert u \Vert ^{\alpha _{3}(\tilde{q}-1)} \\ &\qquad{}+ \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1} \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert v \Vert ^{\alpha _{4}(\tilde{q}-1)}+ \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1} \bigr] \\ &\quad \leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl( \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1} \bigr)\\ &\qquad{}\times \bigl( \Vert u \Vert ^{\alpha _{1}(q-1)}+ \Vert v \Vert ^{\alpha _{4}(\tilde{q}-1)} \bigr) \\ &\qquad{} + \bigl( \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{p} \Vert _{L^{1}}^{ \tilde{q}-1}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \bigr) \bigl( \Vert u \Vert ^{ \alpha _{3}(\tilde{q}-1)}+ \Vert v \Vert ^{\alpha _{2}(q-1)} \bigr) \\ & \qquad{} + \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1} \bigr) \\ & \quad\leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert p \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1} \\ &\qquad{}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \bigr) \bigl( \Vert u \Vert ^{ \alpha _{\star }} + \Vert v \Vert ^{\alpha _{\star }} \bigr) + \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1}+ \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{ \tilde{q}-1} \bigr) \\ & \quad\leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \\ &\qquad{}\times \bigl( \Vert p \Vert _{L^{1}}^{q-1} \Vert a_{1} \Vert _{L^{1}}^{q-1}+ \Vert \breve{q} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert \breve{p} \Vert _{L^{1}}^{ \tilde{q}-1}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \bigr) \\ &\qquad{}\times \bigl( \Vert u \Vert + \Vert v \Vert \bigr)^{\alpha _{\star }}+ \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1} \bigr), \end{aligned}$$

where

$$\begin{aligned} \alpha _{\star } = \max \bigl\{ \alpha _{1}(q-1) , \alpha _{2}(q-1) , \alpha _{3}(\tilde{q}-1) ,\alpha _{4}(\tilde{q}-1) \bigr\} . \end{aligned}$$

If \(\|u\| + \|v\| > 1\), then

$$\begin{aligned} &\frac{ \Vert u \Vert + \Vert v \Vert }{( \Vert u \Vert + \Vert v \Vert )^{\alpha _{\star }}}\\ & \quad\leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert p \Vert _{L^{1}}^{q-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1} \\ &\qquad{}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \bigr) + \frac{( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1})}{( \Vert u \Vert + \Vert v \Vert )^{\alpha _{\star }}} \end{aligned}$$

or

$$\begin{aligned} &\bigl( \Vert u \Vert + \Vert v \Vert \bigr)^{1-\alpha _{\star }}\\ &\quad \leq \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert p \Vert _{L^{1}}^{q-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1} \\ &\qquad{}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \bigr)+ \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{ \tilde{q}-1} \bigr). \end{aligned}$$

This implies that

$$\begin{aligned} \Vert u \Vert + \Vert v \Vert \leq{}& \bigl[A \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert p \Vert _{L^{1}}^{q-1}+ \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1} + \Vert a_{2} \Vert _{L^{1}}^{\tilde{q}-1} \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \bigr) \\ &{}+ \bigl( \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1} \bigr) \bigr]^{1-\alpha _{\star }}, \end{aligned}$$

then

$$\begin{aligned} \Vert u \Vert + \Vert v \Vert \leq [AB+C]^{1-\alpha _{\star }}:= M_{2}, \end{aligned}$$

where

$$\begin{aligned} &A = \frac{\max \{2^{q-1},1\}}{(\alpha -\beta )(1-\gamma \eta ^{\alpha -\beta -1})\Gamma (\alpha )} , \\ &B = \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert p \Vert _{L^{1}}^{q-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{q} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{p} \Vert _{L^{1}}^{\tilde{q}-1}+ \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert q \Vert _{L^{1}}^{q-1} \end{aligned}$$

and

$$\begin{aligned} C = \Vert a_{1} \Vert _{L^{1}}^{q-1} \Vert h \Vert _{L^{1}}^{q-1} + \Vert a_{2} \Vert _{L^{1}}^{ \tilde{q}-1} \Vert \breve{h} \Vert _{L^{1}}^{\tilde{q}-1}. \end{aligned}$$

As a consequence of Theorem 2.1, the operator N has a fixed point that is a solution of system (1.4). This completes the proof of the theorem. □

4 Multiplicity of positive solutions

In this section, our goal is to establish positive solutions and multiplicity of solutions for the problem to system (1.4). To this end, first in this section we assume the functions \(f,g \in C({\mathbb{R}}^{2},{\mathbb{R}_{+}})\) and define the operator on P as \(N: P^{2} \rightarrow P^{2}\) to be the completely continuous map \(N = (N_{1},N_{2})\) given in the proof of Theorem 3.1. Then (3.5) and (3.6) are equivalent to the fixed point problem

$$\begin{aligned} u = N(u), \quad u \in P^{2}. \end{aligned}$$

If \(v \in P\) and

$$\begin{aligned} u_{i}(t) ={}& \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v(\tau )\,d\tau \biggr)\,ds \\ &{}+ \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )v (\tau ) \,d \tau \biggr) \,ds, \quad i = 1,2, \end{aligned}$$

and \(u_{i}(t_{i}) = \|u_{i}\|\), by Lemma 3.2 this implies that, for any \(t \in [\rho , 1]\),

$$\begin{aligned} u_{i}(t) ={}& \int _{0}^{1}G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )v(\tau )\,d \tau \biggr) \,ds \\ & {} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )v (\tau ) \,d \tau \biggr) \,ds \\ u_{i}(t) \geq {}& \int _{0}^{1} \min G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v(\tau )\,d\tau \biggr)\,ds \\ & {}+ \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )v (\tau ) \,d \tau \biggr) \,ds \\ \geq {}& \int _{0}^{1} \rho ^{\alpha -1} G_{1}(1,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v(\tau )\,d\tau \biggr) \,ds \\ & {} + \frac{\gamma \rho ^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}( \tau )v (\tau ) \,d \tau \biggr) \,ds \\ \geq{} & \rho ^{\alpha -1} \biggl[ \int _{0}^{1} G_{1}(1,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v(\tau )\,d\tau \biggr)\,ds \\ &{}+\frac{\gamma }{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v (\tau ) \,d \tau \biggr) \,ds \biggr] \\ \geq {}& \rho ^{\alpha -1} \biggl[ \int _{0}^{1} G_{1}(t,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v(\tau )\,d\tau \biggr) \,ds \\ &{}+ \frac{\gamma }{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1} G_{2}(\eta ,s) \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )v (\tau ) \,d \tau \biggr) \,ds \biggr]. \end{aligned}$$

Hence

$$\begin{aligned} u_{i}(t) \geq \rho ^{\alpha -1} \Vert u_{i} \Vert , \quad i=1,2. \end{aligned}$$

Define the cone \(P_{i}\) for \(i = 1, 2\) in P by

$$\begin{aligned} P_{i} = \bigl\{ u_{i} \in P: u_{i}(t) \geq \rho ^{\alpha -1} \Vert u_{i} \Vert \text{ for all } t \in [\rho , 1] \bigr\} , \end{aligned}$$

and the product cone \(P = P_{1} \times P_{2}\) in \(P^{2}\), then \(N(P) \subset P\). Before we state our main result, we introduce the following notations: \(\alpha _{i}, \beta _{i} > 0\) with \(\alpha _{i} \neq \beta _{i}\), we let \(r_{i} = \min \{\alpha _{i}, \beta _{i}\}\), \(R_{i} = \max \{\alpha _{i}, \beta _{i}\} i =1,2\).

$$\begin{aligned} &\gamma _{1} = \min \bigl\{ f \bigl(u_{1} \bigl(\theta _{1}(t) \bigr),u_{2} \bigl(\theta _{1}(t) \bigr) \bigr): \rho \leq t \leq 1, \rho ^{\alpha -1} \beta _{1} \leq u_{1} \leq \beta _{1}, \rho ^{\alpha -1} r_{2} \leq u_{2} \leq R_{2} \bigr\} , \\ &\gamma _{2} = \min \bigl\{ g \bigl(u_{1} \bigl(\theta _{1}(t) \bigr),u_{2} \bigl(\theta _{1}(t) \bigr) \bigr): \rho \leq t \leq 1, \rho ^{\alpha -1} r_{1} \leq u_{1} \leq R_{1}, \rho ^{\alpha -1} \beta _{2} \leq u_{2} \leq \beta _{2} \bigr\} , \\ &\Gamma _{1} = \max \bigl\{ f \bigl(u_{1} \bigl(\theta _{1}(t) \bigr),u_{2} \bigl(\theta _{1}(t) \bigr) \bigr): \rho \leq t \leq 1, \rho ^{\alpha -1} \alpha _{1} \leq u_{1} \leq \alpha _{1}, \rho ^{\alpha -1} r_{2} \leq u_{2} \leq R_{2} \bigr\} , \\ &\Gamma _{2} = \max \bigl\{ g \bigl(u_{1} \bigl(\theta _{1}(t) \bigr),u_{2} \bigl(\theta _{1}(t) \bigr) \bigr): \rho \leq t \leq 1, \rho ^{\alpha -1} r_{1} \leq u_{1} \leq R_{1}, \rho ^{\alpha -1} \alpha _{2} \leq u_{2} \leq \alpha _{2} \bigr\} . \end{aligned}$$

Also, let

$$\begin{aligned} A = \min \bigl\{ G_{1}(t,s): \rho \leq t \leq 1 , 0 \leq s \leq 1 \bigr\} \end{aligned}$$

and

$$\begin{aligned} B = \max \bigl\{ G_{1}(t,s): \rho \leq t \leq 1 , 0 \leq s \leq 1 \bigr\} . \end{aligned}$$

Theorem 4.1

Assume that there exist \(\alpha _{i}, \beta _{i} > 0\) with \(\alpha _{i} \neq \beta _{i}, i = 1, 2\), such that

$$\begin{aligned} \begin{aligned}& B\Gamma _{1}^{q-1} \leq \alpha _{1},\qquad A \gamma _{1}^{q-1} \geq \beta _{1}, \\ &B \Gamma _{2}^{q-1} \leq \alpha _{2}, \qquad A \gamma _{2}^{q-1} \geq \beta _{2}. \end{aligned} \end{aligned}$$
(4.1)

Then (1.4) has a positive solution \(u = (u_{1},u_{2})\) with \(r_{i} \leq \|u_{i}\| \leq R_{i},i = 1, 2\), where \(r_{i} = \min \{\alpha _{i}, \beta _{i}\}\), \(R_{i} = \max \{\alpha _{i}, \beta _{i}\}\). Moreover, the corresponding orbit of u is included in the rectangle \([\rho r_{1},R_{1}] \times [\rho r_{2},R_{2}]\).

Proof

First note that if \(u \in P_{r,R}\), then \(r_{1} \leq \||u_{1}\| \leq R_{1}\) and \(r_{2} \leq \|u_{2}\| \leq R_{2}\), and by the definition of P,

$$\begin{aligned} \bigl\{ \rho ^{\alpha -1} r_{1} \leq u_{1}(t) \leq R_{1} \text{ and } \rho ^{\alpha -1} r_{2} \leq u_{2}(t) \leq R_{2} \bigr\} \end{aligned}$$

for all t, showing that the orbit of u for \(t \in [\rho ,1]\) is included in the rectangle \([\rho r_{1},R_{1}] \times [\rho r_{2},R_{2}]\).

Also, if we know for example that \(\|u_{1}\| = \alpha _{1}\), then

$$\begin{aligned} \rho ^{\alpha -1} \alpha _{1} \leq u_{1}(t) \leq \alpha _{1}. \end{aligned}$$

We now prove that, for every \(u \in P_{r,R}\) and \(i \in \{1,2\}\), the following properties hold:

$$\begin{aligned} \begin{aligned}& \Vert u_{i} \Vert = \alpha _{i}\quad \text{implies } u_{i} \nprec N_{i}(u), \\ &\Vert u_{i} \Vert = \beta _{i}\quad \text{implies } u_{i} \nsucc N_{i}(u), \end{aligned} \end{aligned}$$
(4.2)

guaranteeing the applicability of Theorem 2.2. Indeed, if \(\|u_{1}\|= \alpha _{1}\) and we would have \(u_{1}\prec N_{1}(u)\), then

$$\begin{aligned} u_{1}(t) < {}& N_{1}(u) (t) \\ \leq {}& \int _{0}^{1} \max G_{1}(t,s)\max \bigl\vert a_{1}(t)f \bigl(u \bigl(\theta _{1}(t) \bigr),v \bigl( \theta _{2}(t) \bigr) \bigr) \bigr\vert ^{q-1} \,dt \\ & {} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}G_{2}(\eta ,s)\max \bigl\vert a_{1}(t)f \bigl(u \bigl(\theta _{1}(t) \bigr),v \bigl( \theta _{2}(t) \bigr) \bigr) \bigr\vert ^{q-1} \,dt \\ \leq {}& B \Gamma _{1}^{q-1} + \Gamma _{1}^{q-1} \frac{\gamma }{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}G_{2}( \eta ,s) \\ \leq {}& B \Gamma _{1}^{q-1} \\ \leq {}& \alpha _{1} \end{aligned}$$

for all t. This yields the contradiction \(\alpha _{1} < \alpha _{1}\).

Now, if \(\|u_{1}\|= \beta _{1}\) and \(u_{1} \succ N_{1}(u)\), then for \(t\in [\rho ,1]\) we obtain

$$\begin{aligned} u_{1}(t) >{}& N_{1}(u) (t) \\ \geq {}& \int _{0}^{1} \min G_{1}(t,s)\min \bigl\vert a_{1}(t)f \bigl(u \bigl(\theta _{1}(t) \bigr),v \bigl( \theta _{2}(t) \bigr) \bigr) \bigr\vert ^{q-1} \,dt \\ &{} + \frac{\gamma t^{\alpha -1}}{1-\gamma \eta ^{\alpha -\beta -1}} \int _{0}^{1}G_{2}(\eta ,s)\min \bigl\vert a_{1}(t)f \bigl(u \bigl(\theta _{1}(t) \bigr),v \bigl( \theta _{2}(t) \bigr) \bigr) \bigr\vert ^{q-1} \,dt \\ \geq{} & A \gamma _{1}^{q-1} \\ \geq {}& \beta _{1}. \end{aligned}$$

Then we deduce that \(\beta _{1} > \beta _{1}\), which is a contradiction. Hence (4.2) holds for \(i = 1\). Similarly, (4.2) is true for \(i = 2\). By Theorem 2.2, we see that N has at least one fixed point in P. Therefore, system (1.4) has at least one positive solution. □

Now we study the existence of multiple positive solutions for the systems of fractional boundary value problem with p-Laplacian boundary conditions.

\((H_{4})\):

\(f,g \) are positive and increasing, i.e.,

$$\begin{aligned} 0 \leq u \leq x , 0 \leq v \leq y\quad \text{imply } 0 \leq f(u,v) \leq f(x,y), 0 \leq g(u,v) \leq g(x,y). \end{aligned}$$

We present the following general existence, multiplicity, and localization result.

Theorem 4.2

Let conditions \((H_{1})-(H_{2})-(H_{4})\) hold, and assume that the norm \(\|\cdot \|\) is monotone with respect to each cone \(P_{i} (i = 1, 2)\). Moreover, suppose that there exist \(\alpha _{i}, \beta _{i} > 0\), with \(\alpha _{i} \neq \beta _{i}, i = 1, 2\), such that

$$\begin{aligned} & \bigl\Vert N_{1} \bigl(\alpha _{1}\rho ^{\alpha -1}, R_{2} \rho ^{\alpha -1} \bigr) \bigr\Vert < \alpha _{1}, \qquad \bigl\Vert N_{2} \bigl(R_{1}\rho ^{\alpha -1}, \alpha _{2} \rho ^{ \alpha -1} \bigr) \bigr\Vert < \alpha _{2}, \end{aligned}$$
(4.3)
$$\begin{aligned} &\bigl\Vert N_{1} \bigl(\beta _{1}\rho ^{\alpha -1}, 0 \bigr) \bigr\Vert > \beta _{1},\qquad \bigl\Vert N_{2} \bigl(0, \beta _{2} \rho ^{\alpha -1} \bigr) \bigr\Vert < \beta _{2}, \end{aligned}$$
(4.4)

where \(R_{i} = \max \{\alpha _{i}, \beta _{i}\} (i = 1, 2)\).

Then problem (1.4) has at least

  1. (1)

    one solution \(u = (u_{1}, u_{2})\) such that \(\beta _{i} < \|u_{i}\| < \alpha _{i}\) for \(i = 1, 2\), if \(\alpha _{i} > \beta _{i}\) for \(i = 1, 2\);

  2. (2)

    two solutions \((u_{1}, u_{2})\) and \((v_{1}, v_{2})\) such that \(\beta _{1} < \|u_{1}\| < \alpha _{1}\), \(\beta _{2} < \|u_{2}\| < \alpha _{2}\), \(\beta _{1} < \|v_{1}\| < \alpha _{1}\), and \(\|v_{2}\| < \alpha _{2}\) if \(\alpha _{1} > \beta _{1}\) and \(\alpha _{2} < \beta _{2}\);

  3. (3)

    two solutions \((u_{1}, u_{2})\) and \((v_{1}, v_{2})\) such that \(\alpha _{1} < \|u_{1}\| < \beta _{1}\), \(\alpha _{2} < \|u_{2}\| < \beta _{2}\), \(\|v_{1}\| < \alpha _{1}\), and \(\beta _{2} < \|v_{2}\| < \alpha _{2}\) if \(\alpha _{1} < \beta _{1}\) and \(\alpha _{2} > \beta _{2}\);

  4. (4)

    four solutions \((u_{1}, u_{2}),(v_{1}, v_{2}),(w_{1}, w_{2})\), and \((z_{1}, z_{2})\) such that \(\beta _{i} < \|u_{i}\| < \alpha _{i}, \alpha _{1}< \|v_{1}\| <\beta _{1}\), and \(\|v_{2}\| < \alpha _{2} , \|w_{1}\| < \alpha _{1}, \alpha _{2}< \|w_{1} \| <\beta _{2}\), and \(\|z_{i}\| < \alpha _{i}\), if \(\alpha _{i} < \beta _{i}\) for \(i = 1, 2\).

Proof

We shall apply Theorem 2.3 to the operator \(N = (N_{1},N_{2})\) defined as in (3.8) and (3.9). Let us see that it satisfies conditions (2.1)(2.2).

First we prove that

$$\begin{aligned} \lambda u_{1} \neq N_{1}(u) \quad\text{for every } u \in k \text{ with } \Vert u_{1} \Vert = \alpha _{1}, \Vert u_{2} \Vert \leq R_{2} \text{ and all } \lambda \geq 1. \end{aligned}$$
(4.5)

Indeed, if not,

$$\begin{aligned} \lambda \Vert u_{1} \Vert = \lambda \alpha _{1} = \bigl\Vert N_{1}(u) \bigr\Vert . \end{aligned}$$

From \(0 \leq u_{1} \leq \alpha _{1} \rho ^{\alpha -1}\) and \(0 \leq u_{2} \leq R_{2} \rho ^{\alpha -1}\), by \((H_{1}),(H_{4})\) it follows that

$$\begin{aligned} &0 \leq f(u_{1},u_{2}) \leq f \bigl(\alpha _{1} \rho ^{\alpha -1}, R_{2} \rho ^{\alpha -1} \bigr), \\ &0 \leq \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f(u_{1},u_{2}) \,d \tau \biggr) \leq \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f \bigl( \alpha _{1} \rho ^{\alpha -1}, R_{2} \rho ^{\alpha -1} \bigr) \,d\tau \,ds \biggr). \end{aligned}$$

By Lemma (3.2) we obtain

$$\begin{aligned} 0 \leq N_{1}(u_{1},u_{2}) \leq N_{1} \bigl(\alpha _{1} \rho ^{\alpha -1}, R_{2} \rho ^{\alpha -1} \bigr), \end{aligned}$$

and the norm of X being monotone,

$$\begin{aligned} \bigl\Vert N_{1}(u_{1},u_{2}) \bigr\Vert \leq \bigl\Vert N_{1} \bigl(\alpha _{1} \rho ^{\alpha -1}, R_{2} \rho ^{\alpha -1} \bigr) \bigr\Vert . \end{aligned}$$

By assumption (4.3),

$$\begin{aligned} \bigl\Vert N_{1} \bigl(\alpha _{1} \rho ^{\alpha -1}, R_{2} \rho ^{\alpha -1} \bigr) \bigr\Vert < \alpha _{1}, \end{aligned}$$

so we obtain the contradiction

$$\begin{aligned} \lambda \alpha _{1} < \alpha _{1} \quad\text{for some } \lambda \geq 1. \end{aligned}$$

Hence (4.5) holds.

Now, we prove that \(u_{1} \neq N_{1}(u) + \mu \rho ^{\alpha -1} \) for every \(u \in P\) with \(\|u_{1}\|=\beta _{1}, \|u_{2}\| \leq R_{2}\) and all \(\mu \geq 0\).

Assume the contrary, i.e., \(u_{1} = N_{1}(u) + \mu \rho ^{\alpha -1}\) for some \(u \in P\) with \(\|u_{1}\|=\beta _{1}, \|u_{2}\| \leq R_{2}\) and some \(\mu \geq 0\). Then \(u_{1} - N_{1}(u)\in P_{1}\), so \(0 \leq N_{1}(u) \leq u_{1}\), and the norm of X being monotone

$$\begin{aligned} \bigl\Vert N_{1}(u) \bigr\Vert \leq \Vert u_{1} \Vert = \beta _{1}. \end{aligned}$$
(4.6)

Also, from condition \((H_{4})\), \(0 \leq \beta _{1}\rho ^{\alpha -1} \leq u_{1}\) and \(0 \leq u_{2}\), so we obtain

$$\begin{aligned} 0 \leq f_{1} \bigl(\beta _{1}\rho ^{\alpha -1},0 \bigr) \leq f(u_{1},u_{2}), \end{aligned}$$

then by \((H_{1})\) we obtain

$$\begin{aligned} 0 \leq \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f_{1} \bigl(\beta _{1} \rho ^{\alpha -1},0 \bigr)\,d\tau \biggr) \leq \varphi _{q} \biggl( \int _{0}^{s} a_{1}(\tau )f(u_{1},u_{2})\,d\tau \biggr), \end{aligned}$$

and by Lemma 3.2 we conclude \(0 \leq N_{1}(\beta _{1}\rho ^{\alpha -1},0) \leq N_{1}(u_{1},u_{2})\). Hence, by monotonicity of the norm,

$$\begin{aligned} \bigl\Vert N_{1} \bigl(\beta _{1}\rho ^{\alpha -1},0 \bigr) \bigr\Vert \leq \bigl\Vert N_{1}(u_{1},u_{2}) \bigr\Vert . \end{aligned}$$

Now, from (4.6) we have

$$\begin{aligned} \bigl\Vert N_{1 } \bigl(\beta _{1}\rho ^{\alpha -1},0 \bigr) \bigr\Vert \leq \beta _{1}, \end{aligned}$$

which contradicts assumption (4.4). Therefore, conditions (2.1)–(2.2) hold for i = 1. Similarly, they can be verified for \(i = 2\). □

5 Applications

Example 5.1

Consider the fractional differential equation with advanced argument for p-Laplacian:

$$\begin{aligned} \textstyle\begin{cases} \varphi _{3/2}(D_{0^{+}}^{5/2} u(t))' + \frac{t^{-1/2}}{4} \frac{t}{1+t} ( \vert u(\theta (t)) \vert ^{\frac{1}{4}}+ \vert v(\theta (t)) \vert ^{ \frac{1}{5}}) = 0 , \quad 0< t< 1, \\ \varphi _{3/2}(D_{0^{+}}^{5/2} v(t))' + \frac{7t^{-1/2}}{2} \frac{t^{2}}{1+t^{2}} ( 13 + \vert v(\theta (t)) \vert ^{1/4}+ \vert u(\theta (t)) \vert ^{ \frac{1}{6}}) = 0, \quad 0< t< 1, \\ D_{0^{+}}^{5/2} u(0) = u(0) = u'(0) = 0,\qquad D_{0^{+}}^{7/6} u(1) = \frac{7}{10} D_{0^{+}}^{7/6} u(\frac{1}{2}), \\ D_{0^{+}}^{5/2} v(0) = v(0) = v'(0) = 0, \qquad D_{0^{+}}^{7/6} v(1) = \frac{7}{10} D_{0^{+}}^{7/6} v(\frac{1}{2}), \end{cases}\displaystyle \end{aligned}$$
(5.1)

where \(\alpha =\frac{5}{2}, \beta =\frac{7}{6}, \eta =\frac{7}{10}, p= \tilde{p}=\frac{3}{2}, q=\tilde{q}= 3 , a_{1}(t) =\frac{t^{-1/2}}{4}, a_{2}(t)= \frac{{7t^{-1/2}}}{2}, \varphi _{3} (\int _{0}^{1} a_{1}(t) \,dt )= \frac{1}{4}, \varphi _{3} (\int _{0}^{1} a_{2}(t) \,dt )=\frac{\sqrt{7}}{2}, \alpha _{1}p=\alpha _{3}\tilde{p}= \frac{3}{8}\in (0,1)\), \(\alpha _{2}p=\frac{3}{10}\in (0,1), \alpha _{4} \tilde{p}=\frac{3}{12}\in (0,1)\)

$$\begin{aligned} f \bigl(u \bigl(\theta (t) \bigr),v \bigl(\theta (t) \bigr) \bigr) = \frac{t}{1+t} \bigl( \bigl\vert u \bigl(\theta (t) \bigr) \bigr\vert ^{ \frac{1}{4}}+ \bigl\vert v \bigl(\theta (t) \bigr) \bigr\vert ^{\frac{1}{5}} \bigr),\quad \theta (t)=t^{\gamma }, \gamma \in (0,1), \end{aligned}$$

and

$$\begin{aligned} g \bigl(u \bigl(\theta (t) \bigr),v \bigl(\theta (t) \bigr) \bigr) = \frac{t^{2}}{1+t^{2}} \bigl( 13 + \bigl\vert v \bigl( \theta (t) \bigr) \bigr\vert ^{1/4}+ \bigl\vert u \bigl(\theta (t) \bigr) \bigr\vert ^{\frac{1}{6}} \bigr), \quad\theta (t)=t^{\gamma }, \gamma \in (0,1). \end{aligned}$$

It is clear that, for all \((t,u,v)\in [0,1]\times \mathbb{R}^{2}\),

$$\begin{aligned} \textstyle\begin{cases} \vert f(u,v) \vert \leq t( \vert u \vert ^{\frac{1}{4}}+ \vert v \vert ^{\frac{1}{5}}), \\ \vert g(u,v) \vert \leq t^{2}(13 + \vert v \vert ^{1/4}+ \vert u \vert ^{\frac{1}{6}}). \end{cases}\displaystyle \end{aligned}$$

Hence all the conditions of Theorem 3.1 hold, this implies that problem (5.1) has at least one solution.

Example 5.2

Consider the fractional differential equation with advanced argument for p-Laplacian:

$$\begin{aligned} \textstyle\begin{cases} \varphi _{3/2}(D_{0^{+}}^{5/2} u(t))'+ \frac{t^{-1/2}}{4} f(u(\theta (t)),v( \theta (t))) = 0 , & 0< t< 1, \\ \varphi _{3/2}(D_{0^{+}}^{5/2} v(t))' + \frac{7t^{-1/2}}{2}g(u( \theta (t)),v(\theta (t))) = 0, & 0< t< 1, \\ D_{0^{+}}^{5/2} u(0) = u(0) = u'(0) = 0,\qquad D_{0^{+}}^{7/6} u(1) = \frac{7}{10} D_{0^{+}}^{7/6} u(\frac{1}{2}), \\ D_{0^{+}}^{5/2} v(0) = v(0) = v'(0) = 0, \qquad D_{0^{+}}^{7/6} v(1) = \frac{7}{10} D_{0^{+}}^{7/6} v(\frac{1}{2}), \end{cases}\displaystyle \end{aligned}$$
(5.2)

where \(f,g\in C(\mathbb{R}^{2},\mathbb{R}_{+})\) are nondecreasing in u and v, \(\theta (t)=t^{\gamma }, \gamma \in (0,1)\). Assume that

$$\begin{aligned} \lim_{z\to \infty }\frac{f(z,z)}{z}=\lim _{z\to \infty } \frac{g(z,z)}{z}=0 \end{aligned}$$
(5.3)

and

$$\begin{aligned} \lim_{z\to 0}\frac{f(z,z)}{z}=\lim _{z\to \infty }\frac{g(z,z)}{z}= \infty. \end{aligned}$$
(5.4)

From conditions (5.3) and (5.4), we can prove that there exist \(\alpha _{1},\alpha _{2},\beta _{1},\beta _{2}>0 , \alpha _{1} < \beta _{1}, \alpha _{2}= \beta _{1}\), and \(\beta _{2}=\alpha _{1}\) such that

$$\begin{aligned} \begin{aligned} \frac{f(\rho ^{\alpha -1}\beta _{1},\rho ^{\alpha -1}\alpha _{1})}{\rho ^{\alpha -1}\beta _{1}} \geq \frac{1}{\rho ^{\alpha -1} A}, \\ \frac{g(\rho ^{\alpha -1}\alpha _{1},\rho ^{\alpha -1}\alpha _{1})}{\rho ^{\alpha -1}\beta _{2}} \geq \frac{1}{\rho ^{\alpha -1} A} \end{aligned} \end{aligned}$$
(5.5)

and

$$\begin{aligned} \frac{f(\alpha _{1},\beta _{1})}{\alpha _{1}} \leq \frac{1}{B}, \qquad \frac{g(\beta _{1},\beta _{1})}{\alpha _{2}} \leq \frac{1}{B}. \end{aligned}$$
(5.6)

Then we set

$$\begin{aligned} &r_{i} = \alpha _{1},\qquad R_{i}=\beta _{1} \quad\text{for } i\in \{1,2\}, \\ &\Gamma _{1}=f(\alpha _{1}, \beta _{1}), \qquad \Gamma _{2}=g(\beta _{1}, \beta _{1}), \end{aligned}$$

and

$$\begin{aligned} \gamma _{1} = f \bigl(\rho ^{\alpha -1}\beta _{1},\rho ^{\alpha -1}\alpha _{1} \bigr), \qquad\gamma _{2} = g \bigl(\rho ^{\alpha -1}\alpha _{1},\rho ^{\alpha -1} \alpha _{1} \bigr). \end{aligned}$$

We concluded that (5.5) and (5.6) guarantee (4.1). Hence, by Theorem 4.2, problem (5.2) has a positive solution.

Since \(f,g\) are positive and increasing, we can easily show that

$$\begin{aligned} &\frac{f(\rho ^{\alpha -1} \beta _{1},0)}{\beta _{1}} \geq \frac{1}{A}, \qquad\frac{f(\rho ^{\alpha -1}\alpha _{1},\rho ^{\alpha -1}R_{2})}{\alpha _{1}} < \frac{1}{ B}, \\ &\frac{g(,0,\rho ^{\alpha -1} \beta _{2})}{\beta _{2}} \leq \frac{1}{A}, \qquad\frac{g(\rho ^{\alpha -1}R_{1},\alpha _{2}\rho ^{\alpha -1})}{\alpha _{2}} < \frac{1}{ B}. \end{aligned}$$

Thus conditions (4.3) and (4.4) hold. Then, by Theorem 4.2, problem (5.2) has multiplicity of solutions.

6 Conclusions

In this present work, we discussed some existence multiplicity results for system of fractional differential equations, under various assumptions on the right-hand side nonlinearity. The main assumptions on the nonlinearity are the continuity and some Nagumo–Bernstein type growth conditions. We have used fixed point theory in vector metric spaces with general properties from functional analysis. Also the positivity result for a fractional system of differential equations was considered. We hope that this paper can provide contributions to the questions of existence, positivity, and multiplicity of solutions for fractional differential equations on bounded domains.

Availability of data and materials

All data generated or analysed during this study are included in this published article.

References

  1. Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11(5, 686 (2019)

    Article  Google Scholar 

  2. Adigzel, R.S., Aksoy, Ü., Karapinar, E., Erhan, I.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652

    Article  Google Scholar 

  3. Adguzel, R.S., Aksoy, Ü., Karapinar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)

    Google Scholar 

  4. Adguzel, R.S., Aksoy, Ü., Karapinar, E., Erhan, I.M.: Uniqueness of solution for higher-order nonlinear fractional differential equations with multi-point and integral boundary conditions. RACSAM 115, 155 (2021). https://doi.org/10.1007/s13398-021-01095-3

    Article  MathSciNet  Google Scholar 

  5. Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 2015, 286 (2015)

    Article  MathSciNet  Google Scholar 

  6. Alqahtani, B., Aydi, H., Karapinar, E., Rakočević, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)

    Article  Google Scholar 

  7. Bai, Z., Lü, H.: Positive solutions for a boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495–505 (2005)

    Article  MathSciNet  Google Scholar 

  8. Bolojan-Nica, O., Infante, G., Precup, R.: Existence results for systems with coupled nonlocal initial conditions. Nonlinear Anal. 4, 231–242 (2014)

    Article  MathSciNet  Google Scholar 

  9. Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403–411 (2012)

    Article  MathSciNet  Google Scholar 

  10. Chai, G.: Positive solutions for boundary value problems of fractional differential equation with p-Laplacian. Bound. Value Probl. (2012)

  11. Gaul, L., Klein, P., Kempfle, S.: Damping description involving fractional operators. Mech. Syst. Signal Process. 5, 81–88 (1991)

    Article  Google Scholar 

  12. Graef, J.R., Henderson, J., Ouahab, A.: Topological Methods for Differential Equations and Inclusions. Monographs and Research Notes in Mathematics Series Profile. CRC Press, Boca Raton (2019)

    MATH  Google Scholar 

  13. Graef, J.R., Kadari, H., Ouahab, A., Oumansour, A.: Existence results for systems of second-order impulsive differential equations. Acta Math. Univ. Comen. 88, 51–66 (2019)

    MathSciNet  MATH  Google Scholar 

  14. Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)

    MATH  Google Scholar 

  15. Guendouz, C., Lazreg, J.E., Nieto, J.J., Ouahab, A.: Existence and compactness results for a system of fractional differential equations. J. Funct. Spaces 2020, Article ID 5735140 (2020)

    MathSciNet  MATH  Google Scholar 

  16. Henderson, J., Ouahab, A., Slimani, M.: Existence results of system of semilinear discrete equations. Int. J. Difference Equ. 12, 235–253 (2017)

    MathSciNet  Google Scholar 

  17. Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential equations. Mathematics 7(4), 444 (2019)

    Article  Google Scholar 

  18. Kadari, H., Nieto, J.J., Ouahab, A., Oumansour, A.: Implicit first order impulsive differential systems. Int. J. Difference Equ. 15, 429–451 (2020)

    MATH  Google Scholar 

  19. Lazreg, J.E., Abbas, S., Benchohra, M., Karapinar, E.: Impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces. Open Math. 19, 363–372 (2021)

    Article  MathSciNet  Google Scholar 

  20. Liang, R., Peng, J., Shen, J.: Double positive solutions for a nonlinear four-point boundary value problem with a p-Laplacian operator. Nonlinear Anal. 68, 1881–1889 (2008)

    Article  MathSciNet  Google Scholar 

  21. Malki, Z., Berhoun, F., Ouahab, A.: System of boundary random fractional differential equations via Hadamard derivative. Ann. Univ. Paedagog. Crac. Stud. Math. 20, 17–41 (2021)

    Google Scholar 

  22. Malinowska, A.B., Torres, D.F.M.: Towards a combined fractional mechanics and quantization. Fract. Calc. Appl. Anal. 15, 407–417 (2012)

    Article  MathSciNet  Google Scholar 

  23. Metzler, F., Schick, W., Kilian, H.G., Nonnenmacher, T.F.: Relaxation in filled polymers: a fractional calculus approach. J. Chem. Phys. 103, 7180–7186 (1995)

    Article  Google Scholar 

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

    MATH  Google Scholar 

  25. Nasholm, S.P., Holm, S.: On a fractional Zener elastic wave equation. Fract. Calc. Appl. Anal. 16, 26–50 (2013)

    Article  MathSciNet  Google Scholar 

  26. Nica, O.: Initial-value problems for first-order differential systems with general nonlocal conditions. Electron. J. Differ. Equ. 2012, 74 (2012)

    Article  MathSciNet  Google Scholar 

  27. Nica, O., Precup, R.: On the nonlocal initial value problem for first order differential systems. Stud. Univ. Babeş–Bolyai, Math. 56(3), 125–137 (2011)

    MathSciNet  MATH  Google Scholar 

  28. Nieto, J.J., Ouahab, A., Slimani, M.A.: Existence and boundedness of solutions for systems of difference equations with infinite delay. Glas. Mat. 53(73), 123–141 (2018)

    Article  MathSciNet  Google Scholar 

  29. Precup, R., Rodríguez-López, J.: Multiplicity results for operator systems via fixed point index. Results Math. 74, 25 (2019)

    Article  MathSciNet  Google Scholar 

  30. Precup, R.: A vector version of Krasnosel’skiĭ’s fixed point theorem in cones and positive periodic solutions of nonlinear systems. J. Fixed Point Theory Appl. 2, 141–151 (2007)

    Article  MathSciNet  Google Scholar 

  31. Su, H., Wei, Z., Wang, B.: The existence of positive solutions for a nonlinear four-point singular boundary value problem with a p-Laplacian operator. Nonlinear Anal. 66, 2204–2217 (2007)

    Article  MathSciNet  Google Scholar 

  32. El-Sayed, A.M.A.: Nonlinear functional differential equations of arbitrary orders. Nonlinear Anal. 33, 181–186 (1998)

    Article  MathSciNet  Google Scholar 

  33. Su, Y., Feng, Z.: Existence theory for an arbitrary order fractional differential equation with deviating argument. Acta Appl. Math. 118, 81–105 (2012)

    Article  MathSciNet  Google Scholar 

  34. Tang, X., Yan, C., Liu, Q.: Existence of solutions of two point boundary value problems for fractional p-Laplace differential equations at resonance. J. Appl. Math. Comput. 41, 119–131 (2013)

    Article  MathSciNet  Google Scholar 

  35. Torres, F.: Positive solutions for fractional boundary value problem with p-Laplacian. Int. J. Math. Anal. 10, 469–484 (2018)

    Article  Google Scholar 

  36. Viorel, A.: Contributions to the Study of Nonlinear Evolution Equations. Ph.D. thesis, Babeş-Bolyai University Cluj-Napoca, Department of Mathematics (2011)

  37. Kilbas, A.A., Trujillo, J.J.: Differential equations of fractional order: methods, results and problems II. Appl. Anal. 81, 435–493 (2002)

    Article  MathSciNet  Google Scholar 

  38. Zhao, D., Wang, H., Ge, W.: Existence of triple positive solutions to a class of p-Laplacian boundary value problems. J. Math. Anal. Appl. 328, 972–983 (2007)

    Article  MathSciNet  Google Scholar 

Download references

Funding

The research of J.J. Nieto has been partially supported by the Agencia Estatal de Investigación (AEI) of Spain under Grant MTM2016-75140-P, co-financed by the European Community fund FEDER, and by Xunta de Galicia under grant ED431C 2019/02.

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 author

Correspondence to Juan J. Nieto.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mahdjouba, A., Nieto, J.J. & Ouahab, A. System of fractional boundary value problem with p-Laplacian and advanced arguments. Adv Differ Equ 2021, 352 (2021). https://doi.org/10.1186/s13662-021-03508-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03508-4

MSC

Keywords