Skip to main content

Theory and Modern Applications

Monotone iterative method for fractional p-Laplacian differential equations with four-point boundary conditions

Abstract

A four-point boundary problem for a fractional p-Laplacian differential equation is studied. The existence of two positive solutions is established by means of the monotone iterative method. An example supporting the abstract result is given.

1 Introduction

Fractional differential equations (FrDEs) are widely used in many fields: physical chemistry, financial mathematics, diffusion theory, transportation theory, chaos and turbulence, viscoelastic mechanics, non-newtonian fluid mechanics, seismic analysis. Therefore, many scholars have studied fractional differential equations, to mention a few (see, for example, [1–15]). The standard approach to study boundary value problems (BVPs) for FrDEs is based on the passage to equivalent integral equations and further application of the methods and techniques of modern nonlinear analysis. In particular, to study (multiple) positive solutions, one can combine the classical Green function methods with fixed point theorems in cones (see, for example, [1–3, 5, 7–9, 11]).

On the other hand, BVPs involving p-Laplacian have attracted a lot of attention during the last decades (see, for example, [16–19]). Also, we refer to [20–28], where BVPs for FrDE involving the p-Laplacian were considered. References [22, 25, 28], where the four-point BVPs were considered, are of our special interest. In [25], Wang et al. considered the BVP of the form

$$ \textstyle\begin{cases} D^{\alpha }_{0+}(\phi _{p}(D^{\beta }_{0+}x))(t)+h(t,x(t))=0, \quad 0< t< 1, \\ x(0)=D_{0+}^{\beta }x(0)=0,\qquad x(1)=ax(\xi ),\qquad D_{0+}^{\beta }x(1)=bD_{0+}^{ \beta }x(\eta ), \end{cases} $$
(1.1)

with \(\alpha ,\beta \in R\); \(1<\alpha ,\beta \leq 2\); \(0\leq a,b\leq 1\); \(0< \xi ,\eta <1\). The authors imposed certain monotonicity conditions and applied the upper and lower solutions method.

In [22] and [28], Tian et al. studied the differential system

$$ D^{\alpha }_{0+}\bigl(\phi _{p} \bigl(D^{\beta }_{0+}x\bigr)\bigr) (t)=h\bigl(t,x(t)\bigr), \quad 0< t< 1, $$

with the boundary conditions

$$ x(0)=D_{0+}^{\beta }x(0)=0,\qquad D_{0+}^{\gamma }x(1)=a x(\xi ),\qquad D_{0+}^{\beta }x(1)=b D_{0+}^{\beta }x( \eta ), $$
(1.2)

and

$$ x(0)=D_{0+}^{\beta }x(0)=0,\qquad D_{0+}^{\gamma }x(1)=a D_{0+}^{ \gamma }x(\xi ),\qquad D_{0+}^{\beta }x(1)=b D_{0+}^{\beta }x(\eta ), $$
(1.3)

respectively (here \(1<\alpha \), \(\beta \leq 2\); \(\gamma >0\); \(1+\gamma \leq \beta \); \(a, b>0\); \(\xi , \eta \in (0,1)\)). To be more specific, in [22], the existence of multiple positive solutions was established by means of the Leggett–Williams fixed-point theorem, while in [28], some existence results were obtained using a monotone iterative method.

In this paper, we study the BVP

$$ \textstyle\begin{cases} D_{0+}^{\alpha }(\phi _{p}(D_{0+}^{\beta }x(t)))=h(t,x(t)), \quad 0< t< 1, \\ x(0)=0,\qquad x(1)=a D_{0+}^{\gamma }x(\xi ),\qquad D_{0+}^{\beta }x(0)=0, \qquad D_{0+}^{\beta }x(1)=b D_{0+}^{\beta }x(\eta ), \end{cases} $$
(1.4)

where \(h\in C([0,1]\times [0,+\infty ),[0,+\infty ))\), \(D_{0+}^{\alpha }\), \(D_{0+}^{\beta }\), and \(D_{0+}^{\gamma }\) stand for the standard Riemann–Liouville differentiations, \(\phi _{p}(z)=|z|^{p-2}z\), \(p>1\); \(1<\alpha ,\beta \leq 2\), and \(\gamma =\frac{\beta -1}{2}\); \(0<\xi \leq \frac{1}{2}\); \(0<\eta < 1\); \(a, b \in [0,+\infty )\) and \(a\Gamma (\beta )\xi ^{\frac{\beta -1}{2}}<\Gamma (\frac{\beta +1}{2})\); \(b^{p-1}\eta ^{\alpha -1}< 1\). By applying a monotone iterative method, we establish the existence of two positive solutions of (1.4) (see Theorem 3.1) and support the general result by an example (see Sect. 4).

Our paper is distinguished from [22, 25, 28] in the following three aspects. Firstly, the boundary condition \(x(1)=a D_{0+}^{\gamma }x(\xi )\) in (1.4) is different from the condition \(x(1)=ax(\xi )\) in (1.1). Next, the condition \(D_{0+}^{\gamma }x(1)=a D_{0+}^{\gamma }x(\xi )\) in (1.3) links the values of derivatives of the same order. At the same time, condition \(x(1)=a D_{0+}^{\gamma }x(\xi )\) in (1.4) links the derivatives of different order (as usual, we regard \(x(1)\) as the derivative of order 0 of x at \(t = 1\)). Finally, in (1.2), the authors imposed the boundary condition \(D_{0+}^{\gamma }x(1)=a x(\xi )\), where \(1+\gamma \leq \beta \), \(\xi \in (0,1)\), and applied the Leggett–Williams fixed-point theorem. This is in a sharp contrast with the boundary condition \(x(1)=a D_{0+}^{\gamma }x(\xi )\), \(\gamma =\frac{\beta -1}{2}\), \(0<\xi \leq \frac{1}{2}\), in (1.4), which allows us to use a monotone iterative method. Summing up: although the methodology that we use rests on the one developed in [28], our setting is different from the ones considered in [22, 25, 28].

2 Preliminaries

In this section, we present some preliminary results including estimates for Green functions and solvability of non-homogeneous fractional p-Laplacian BVPs. These results constitute key ingredients of the proof of our main result (Theorem 3.1). All the function spaces considered below consist of scalar functions. The two lemmas following below are well known.

Lemma 2.1

([29])

\((1)\) If \(F\in L(0,1)\) and \(\mu > \nu >0\), then

$$ D_{0+}^{\nu }I_{0+}^{\mu }F(x)=I_{0+}^{\mu -\nu }F(x), \qquad D_{0+}^{\nu }I_{0+}^{ \nu }F(x)=F(x). $$

\((2)\) If \(\mu , \nu >0\), then

$$ D_{0+}^{\mu }x^{\nu -1}=\frac{\Gamma (\nu )}{\Gamma (\nu -\mu )}x^{ \nu -\mu -1}. $$

Lemma 2.2

([11])

Let \(A_{i}\in R\), \(i=1,2,\ldots ,N\), and \(N=[\alpha ]+1\). Then

$$ I_{0+}^{\alpha }D_{0+}^{\alpha }F(x)=F(x)+A_{1} x^{\alpha -1}+A_{2} x^{ \alpha -2}+\cdots +A_{N} x^{\alpha -N}, $$

where \(\alpha >0\), \(F \in C(0,1)\cap L(0,1)\), \(D_{0+}^{\alpha }F \in C(0,1)\cap L(0,1)\).

Let \(B_{1}= b^{p-1}\eta ^{\alpha -1}\neq1\), \(B_{2}=a\Gamma (\beta )\xi ^{\frac{\beta -1}{2}}\neq\Gamma (\frac{\beta +1}{2})\), and denote

$$\begin{aligned}& G(t,z)= \textstyle\begin{cases} \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}-(\Gamma (\frac{\beta +1}{2})-B_{2})(t-z)^{\beta -1}-a\Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}} }{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})}, & 0\leq z\leq t\leq 1,z\leq \xi , \\ \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}-(\Gamma (\frac{\beta +1}{2})-B_{2})(t-z)^{\beta -1 }}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})}, & 0< \xi \leq z \leq t\leq 1, \\ \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}-a\Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}} }{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})}, & 0\leq t \leq z\leq \xi \leq 1, \\ \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})}, & 0\leq t\leq z\leq 1,\xi \leq z, \end{cases}\displaystyle \end{aligned}$$
(2.1)
$$\begin{aligned}& M(z,r)= \textstyle\begin{cases} \frac{[z(1-r)]^{\alpha -1}-b^{p-1}z^{\alpha -1}(\eta -r)^{\alpha -1}-(1-B_{1}) (z-r)^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})}, & 0\leq r\leq z\leq 1,r\leq \eta , \\ \frac{[z(1-r)]^{\alpha -1}-(1-B_{1}) (z-r)^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})}, & 0 \leq \eta \leq r\leq z\leq 1, \\ \frac{[z(1-r)]^{\alpha -1}-b^{p-1}z^{\alpha -1}(\eta -r)^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})}, & 0\leq z \leq r\leq \eta \leq 1, \\ \frac{[z(1-r)]^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})},& 0\leq z\leq r\leq 1,\eta \leq r. \end{cases}\displaystyle \end{aligned}$$
(2.2)

The following technical statement plays an important role in studying Green functions relevant to our considerations.

Lemma 2.3

Let G and M be defined by (2.1) and (2.2), respectively. If \(a \Gamma (\beta )\xi ^{\frac{\beta -1}{2}}< \Gamma (\frac{\beta +1}{2})\) and \(b^{p-1}\eta ^{\alpha -1}<1\), then:

(a) \(G, M \in C([0,1]\times [0,1])\);

(b) \(G(t,z)>0\), \(M(t,z)>0\) for all \(t,z\in (0,1)\);

(c) there exist two positive functions \(\mu ,\nu \in C((0,1),(0,+\infty ))\) such that, for all \(z \in (0,1)\), one has

$$ \mu (z) \geq \max_{0\leq t\leq 1}G(t,z), \qquad \nu (z) \geq \max _{0\leq t\leq 1}M(t,z). $$

Proof

(i) This statement follows immediately from (2.1) and (2.2).

(ii) In order to prove that \(G(t,z)>0\) for all \(t,z\in (0,1)\), consider, first, the case

$$ 0\leq z\leq t\leq 1,\quad z\leq \xi . $$

Put

$$ g(t,z)= \frac{t^{\beta -1}(1-z)^{\beta -1}-(t-z)^{\beta -1}}{\Gamma (\beta )}. $$
(2.3)

Obviously, in the considered case, \(g(t,z)> 0\).

On the other hand, \(\forall \xi \in (0,\frac{1}{2}]\), \(z\in [0,\xi ]\), we have

$$ 1-\frac{z}{\xi }\leq (1-z)^{2}. $$

Then

$$ \biggl(1-\frac{z}{\xi }\biggr)^{\frac{\beta -1}{2}}\leq (1-z)^{\beta -1}, $$

which implies that

$$ (\xi -z)^{\frac{\beta -1}{2}}\leq {\xi }^{\frac{\beta -1}{2}}(1-z)^{ \beta -1}. $$

Obviously,

$$ g^{*}(\xi ,z)={\xi }^{\frac{\beta -1}{2}}(1-z)^{\beta -1}-(\xi -z)^{ \frac{\beta -1}{2}}\geq 0. $$

Therefore,

$$\begin{aligned} G(t,z) =&\frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}-(\Gamma (\frac{\beta +1}{2})-B_{2})(t-z)^{\beta -1}-a \Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =&\frac{1}{\Gamma (\beta )} \biggl(1+ \frac{B_{2}}{\Gamma (\frac{\beta +1}{2})-B_{2}} \biggr)\bigl[t(1-z) \bigr]^{ \beta -1}-\frac{(t-z)^{\beta -1}}{\Gamma (\beta )}- \frac{a \Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =&\frac{t^{\beta -1}(1-z)^{\beta -1}-(t-z)^{\beta -1}}{\Gamma (\beta )}+ \frac{B_{2}t^{\beta -1}(1-z)^{\beta -1}-a \Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}} }{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =&g(t,z)+\frac{a t^{\beta -1}}{(\Gamma (\frac{\beta +1}{2})-B_{2})}g^{*}( \xi ,z) \\ >& 0. \end{aligned}$$

The remaining three cases \(0< \xi \leq z\leq t < 1 \) or \(0 < t \leq z \leq \xi < 1 \) or \(0 \leq t\leq z <1 \), \(\xi \leq z\), can be treated using the similar method, so that we omit the obvious modifications. Thus, \(G(t,z)>0\) for all \(t,z\in (0,1)\).

Similarly, to prove that \(M(t,z)>0\), for all \(t,z\in (0,1)\), consider, first, the case

$$ 0\leq z\leq t\leq 1,\quad z\leq \eta . $$

Put

$$ m(t,z)= \frac{(1-z)^{\alpha -1}t^{\alpha -1}-(t-z)^{\alpha -1}}{\Gamma (\alpha )}. $$
(2.4)

Obviously, \(m(t,z)> 0 \) for \(0\leq z\leq t\leq 1\) in the considered case. So

$$\begin{aligned} M(t,z) =&\frac{[t(1-z)]^{\alpha -1}-b^{p-1}t^{\alpha -1}(\eta -z)^{\alpha -1}-({1-B_{1}}) (t-z)^{\alpha -1} }{\Gamma (\alpha )({1-B_{1}})} \\ =&\frac{1}{\Gamma (\alpha )} \biggl(1+\frac{B_{1}}{1-B_{1}} \biggr)\bigl[t(1-z) \bigr]^{ \alpha -1}-\frac{(t-z)^{\alpha -1}}{\Gamma (\alpha )}- \frac{b^{p-1}t^{\alpha -1} (\eta -z)^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})} \\ =&\frac{t^{\alpha -1}(1-z)^{\alpha -1}-(t-z)^{\alpha -1}}{\Gamma (\alpha )}+ \frac{b^{p-1}t^{\alpha -1}[\eta ^{\alpha -1}(1-z)^{\alpha -1}- (\eta -z)^{\alpha -1}] }{\Gamma (\alpha )(1-B_{1})} \\ =&m(t,z)+\frac{b^{p-1}t^{\alpha -1} }{1-B_{1}}m(\eta ,z) \\ >&0. \end{aligned}$$

One can apply a similar argument in order to treat the remaining three cases \(0< \eta \leq z\leq t < 1 \) or \(0 < t \leq z \leq \eta < 1 \) or \(0 \leq t\leq z <1 \), \(\eta \leq z\). Thus, \(M(t,z)> 0 \) for \(t,z \in (0,1)\).

(iii) Obviously, for a fixed z, the functions g and m, given by (2.3) and (2.4), respectively, are increasing in t for \(t\leq z\) and decreasing in t for \(t\geq z\). Therefore,

$$\begin{aligned}& \max_{0\leq t\leq 1}g(t,z)=g(z,z)= \frac{z^{\beta -1}(1-z)^{\beta -1}}{\Gamma (\beta )},\quad z\in (0,1); \\& \max_{0\leq t\leq 1}m(t,z)=m(z,z)= \frac{z^{\alpha -1}(1-z)^{\alpha -1}}{\Gamma (\alpha )},\quad z\in (0,1). \end{aligned}$$

Put

$$\begin{aligned}& \mu (z)=g(z,z)+ \frac{B_{2}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})},\quad z \in (0,1); \\& \nu (z)=m(z,z)+ \frac{B_{2}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})},\quad z \in (0,1). \end{aligned}$$

It is clear that \(\mu ,\nu \in C((0,1),(0,+\infty ))\).

Consider four cases.

If \(0\leq z\leq t\leq 1\), \(z\leq \xi \), then

$$\begin{aligned} \max_{0\leq t\leq 1}G(t,z) =&\max_{0\leq t\leq 1} \biggl(g(t,z)+ \frac{B_{2}t^{\beta -1}(1-z)^{\beta -1}-a \Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}} }{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \biggr) \\ \leq &g(z,z)+ \frac{B_{2}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =& \mu (z). \end{aligned}$$

If \(0<\xi \leq z\leq t\leq 1\), then

$$\begin{aligned} \max_{0\leq t\leq 1}G(t,z) =&\max_{0\leq t\leq 1} \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}-(\Gamma (\frac{\beta +1}{2})-B_{2})(t-z)^{\beta -1 }}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =&\max_{0\leq t\leq 1} \biggl( \frac{t^{\beta -1}(1-z)^{\beta -1}}{\Gamma (\beta )}+ \frac{B_{2}t^{\beta -1}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})}- \frac{(t-z)^{\beta -1}}{\Gamma (\beta )} \biggr) \\ \leq &g(z,z)+ \frac{B_{2}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =& \mu (z). \end{aligned}$$

If \(0\leq t\leq z\leq \xi < 1\), then

$$\begin{aligned} \max_{0\leq t\leq 1}G(t,z) =&\max_{0\leq t\leq 1} \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}-a\Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}} }{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =&\max_{0\leq t\leq 1} \biggl( \frac{t^{\beta -1}(1-z)^{\beta -1}}{\Gamma (\beta )}+ \frac{B_{2}t^{\beta -1}(1-z)^{\beta -1}-a\Gamma (\beta )t^{\beta -1}(\xi -z)^{\frac{\beta -1}{2}}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \biggr) \\ \leq &g(z,z)+ \frac{B_{2}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =& \mu (z). \end{aligned}$$

If \(0\leq t\leq z\leq 1\), \(\xi \leq z\), then

$$\begin{aligned} \max_{0\leq t\leq 1}G(t,z) =&\max_{0\leq t\leq 1} \frac{\Gamma (\frac{\beta +1}{2})[t(1-z)]^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =&\max_{0\leq t\leq 1} \biggl( \frac{t^{\beta -1}(1-z)^{\beta -1}}{\Gamma (\beta )}+ \frac{B_{2}t^{\beta -1}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \biggr) \\ \leq &g(z,z)+ \frac{B_{2}(1-z)^{\beta -1}}{\Gamma (\beta )(\Gamma (\frac{\beta +1}{2})-B_{2})} \\ =& \mu (z). \end{aligned}$$

Thus,

$$ \max_{0\leq t\leq 1}G(t,z)\leq \mu (z), z\in (0,1). $$

Similarly, consider four cases for the function ν.

If \(0\leq z\leq t\leq 1\), \(z\leq \eta \), then

$$\begin{aligned} \max_{0\leq t\leq 1}M(t,z) =&\max_{0\leq t\leq 1} \biggl(m(t,z)+ \frac{b^{p-1}t^{\alpha -1}[\eta ^{\alpha -1}(1-z)^{\alpha -1}- (\eta -z)^{\alpha -1}]}{\Gamma (\alpha )(1-B_{1})} \biggr) \\ \leq &m(z,z)+ \frac{B_{1}(1-z)^{\alpha -1}}{\Gamma (\alpha )(1-B_{1})} \\ =& \nu (z). \end{aligned}$$

If \(0<\eta \leq z\leq t\leq 1\), then

$$\begin{aligned} \max_{0\leq t\leq 1}M(t,z) =&\max_{0\leq t\leq 1} \biggl( \frac{[t(1-z)]^{\alpha -1}-(1-B_{1}) (t-z)^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})} \biggr) \\ =&\max_{0\leq t\leq 1} \biggl(h(t,z)+ \frac{B_{1}t^{\alpha -1}(1-z)^{\alpha -1}}{\Gamma (\alpha )(1-B_{1})} \biggr) \\ \leq &m(z,z)+ \frac{B_{1}(1-z)^{\alpha -1}}{\Gamma (\alpha )(1-B_{1})} = \nu (z). \end{aligned}$$

If \(0\leq t\leq z\leq \eta < 1\), then

$$\begin{aligned} \max_{0\leq t\leq 1}M(t,z) =&\max_{0\leq t\leq 1} \biggl( \frac{[t(1-z)]^{\alpha -1}-b^{p-1}z^{\alpha -1}(\eta -z)^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})} \biggr) \\ =&\max_{0\leq t\leq 1} \biggl( \frac{t^{\alpha -1}(1-z)^{\alpha -1}}{\Gamma (\alpha )}+ \frac{b^{p-1}t^{\alpha -1}[\eta ^{\alpha -1}(1-z)^{\alpha -1}- (\eta -z)^{\alpha -1}] }{\Gamma (\alpha )(1-B_{1})} \biggr) \\ \leq &m(z,z)+ \frac{B_{1}(1-z)^{\alpha -1}}{\Gamma (\alpha )(1-B_{1})} \\ =& \nu (z). \end{aligned}$$

If \(0\leq t\leq z\leq 1\), \(\eta \leq z\), then

$$\begin{aligned} \max_{0\leq t\leq 1}M(t,z) =&\max_{0\leq t\leq 1} \frac{[t(1-z)]^{\alpha -1} }{\Gamma (\alpha )(1-B_{1})} \\ =&\max_{0\leq t\leq 1} \biggl( \frac{t^{\alpha -1}(1-z)^{\alpha -1}}{\Gamma (\alpha )}+ \frac{B_{1}[t(1-z)]^{\alpha -1}}{\Gamma (\alpha )(1-B_{1})} \biggr) \\ \leq &m(z,z)+ \frac{B_{1}(1-z)^{\alpha -1}}{\Gamma (\alpha )(1-B_{1})} \\ =& \nu (z). \end{aligned}$$

Thus,

$$ \max_{0\leq t\leq 1}M(t,z)\leq \nu (z), \quad z\in (0,1). $$

The proof of Lemma 2.3 is complete. □

The next statement provides the existence and uniqueness result for the non- homogeneous problems of our interest.

Lemma 2.4

Assume that

(i) \(\phi _{p}(z)=|z|^{p-2}z\), \(p > 1\);

(ii) \(\phi _{q}=(\phi _{p})^{-1}\), \(\frac{1}{p}+\frac{1}{q}=1\);

(iii) \(1<\alpha ,\beta \leq 2\) and \(\gamma =\frac{\beta -1}{2}\);

(iv) \(0<\xi \leq \frac{1}{2}\), \(0<\eta < 1\), \(a,b\in [0,+\infty )\).

Then, for any \(y\in C[0,1]\), the problem

$$ \textstyle\begin{cases} D_{0+}^{\alpha }(\phi _{p}(D_{0+}^{\beta }x(t)))=y(t), \quad 0< t< 1, \\ x(0)=0,\qquad x(1)=aD_{0+}^{\gamma }x(\xi ),\qquad D_{0+}^{\beta }x(0)=0, \qquad D_{0+}^{\beta }x(1)=b D_{0+}^{\beta }x(\eta ), \end{cases} $$
(2.5)

admits the unique solution

$$ x(t)= \int ^{1}_{0}G(t,z)\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz. $$
(2.6)

Proof

By Lemma 2.2, one has

$$ \phi _{p}\bigl(D_{0+}^{\beta }x(t) \bigr)=I_{0+}^{\alpha }y(t)+A_{1}t^{{\alpha }-1}+A_{2}t^{{ \alpha }-2}, $$
(2.7)

where \(A_{1},A_{2}\in R\). Combining (2.7) with \(D_{0+}^{\beta }x(0)=0\) (cf. (2.5)), we have \(A_{2}=0\). Then

$$ \phi _{p}\bigl(D_{0+}^{\beta }x(t) \bigr)=I_{0+}^{\alpha }y(t)+A_{1}t^{{\alpha }-1}, $$
(2.8)

from which it follows that

$$ \phi _{p}\bigl(D_{0+}^{\beta }x(t)\bigr)= \frac{1}{\Gamma (\alpha )} \int ^{t}_{0}(t-r)^{ \alpha -1}y(r)\,dr+A_{1}t^{{\alpha }-1}. $$
(2.9)

Hence,

$$ \phi _{p}\bigl(D_{0+}^{\beta }x(1)\bigr)= \frac{1}{\Gamma (\alpha )} \int ^{1}_{0}(1-r)^{ \alpha -1}y(r)\,dr+A_{1} $$
(2.10)

and

$$ \phi _{p}\bigl(D_{0+}^{\beta }x(\eta )\bigr)= \frac{1}{\Gamma (\alpha )} \int ^{ \eta }_{0}(\eta -r)^{\alpha -1}y(r)\,dr+A_{1} \eta ^{{\alpha }-1}. $$
(2.11)

Next, combining (2.10) and (2.11) with \(D_{0+}^{\beta }x(1)=bD_{0+}^{\beta }x(\eta )\) (cf. once again (2.5)), we obtain

$$ A_{1}=- \int ^{1}_{0} \frac{(1-r)^{\alpha -1}}{\Gamma (\alpha )(1-b^{p-1}\eta ^{\alpha -1})}y(r)\,dr + \int ^{\eta }_{0} \frac{b^{p-1}(\eta -r)^{\alpha -1}}{\Gamma (\alpha )(1-b^{p-1}\eta ^{\alpha -1})}y(r)\,dr. $$

So

$$\begin{aligned} \phi _{p}\bigl(D_{0+}^{\beta }x(t)\bigr) =& \frac{1}{\Gamma (\alpha )} \int ^{t}_{0}(t-r)^{ \alpha -1}y(r)\,dr- \int ^{1}_{0} \frac{t^{\alpha -1}(1-r)^{\alpha -1}}{\Gamma (\alpha )(1-b^{p-1}\eta ^{\alpha -1})} y(r)\,dr \\ &{}+ \int ^{\eta }_{0} \frac{b^{p-1}t^{\alpha -1}(\eta -r)^{\alpha -1}}{\Gamma (\alpha )(1-b^{p-1}\eta ^{\alpha -1})}y(r)\,dr\\ =&- \int ^{1}_{0}M(t,r)y(r)\,dr. \end{aligned}$$

Then

$$ D_{0+}^{\beta }x(t)=-\phi _{q} \biggl( \int ^{1}_{0}M(t,r)y(r)\,dr \biggr). $$
(2.12)

Applying now Lemma 2.2 to (2.12), we have

$$ x(t)=-I_{0+}^{\beta }\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)+C_{1}t^{{ \beta }-1}+C_{2}t^{{\beta }-2}. $$
(2.13)

where \(C_{1},C_{2}\in R\). Since \(x(0)=0\) (see (2.5), we have \(C_{2}=0\). Therefore, (2.13) reduces to

$$ x(t)=-I_{0+}^{\beta }\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)+C_{1}t^{{ \beta }-1}. $$
(2.14)

Applying \(D_{0+}^{\gamma }\) to both sides of (2.14), and by Lemma 2.1, we have

$$\begin{aligned} D_{0+}^{\gamma }x(t) =&-D_{0+}^{\gamma }I_{0+}^{\beta } \phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)+C_{1}D_{0+}^{\gamma }t^{{\beta }-1} \\ =&-I_{0+}^{\beta -\gamma }\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)+C_{1} \frac{\Gamma (\beta )}{\Gamma (\beta -\gamma )}t^{ \beta -\gamma -1}. \\ =&- \int ^{t}_{0} \frac{(t-z)^{\frac{\beta -1}{2}}}{\Gamma (\frac{\beta +1}{2})}\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz+ C_{1} \frac{\Gamma (\beta )}{\Gamma (\frac{\beta +1}{2})}t^{ \frac{\beta -1}{2}}. \end{aligned}$$

So

$$\begin{aligned}& x(1)=- \int ^{1}_{0}\frac{(1-z)^{\beta -1}}{\Gamma (\beta )}\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz+C_{1}, \end{aligned}$$
(2.15)
$$\begin{aligned}& D_{0+}^{\gamma }x(\xi )=- \int ^{\xi }_{0} \frac{(\xi -z)^{\frac{\beta -1}{2}}}{\Gamma (\frac{\beta +1}{2})} \phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz+ C_{1} \frac{\Gamma (\beta )}{\Gamma (\frac{\beta +1}{2})}\xi ^{ \frac{\beta -1}{2}}. \end{aligned}$$
(2.16)

Combining (2.15) and (2.16) with \(x(1)=a D_{0+}^{\gamma }x(\xi )\) (see again (2.5)), we have

$$\begin{aligned} C_{1} =&\frac{\Gamma (\frac{\beta +1}{2})}{\Gamma (\frac{\beta +1}{2})-B_{2}} \biggl\{ \int ^{1}_{0}\frac{(1-z)^{\beta -1}}{\Gamma (\beta )}\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz \\ &{} -a \int ^{\xi }_{0} \frac{(\xi -z)^{\frac{\beta -1}{2}}}{\Gamma (\frac{\beta +1}{2})} \phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz \biggr\} . \end{aligned}$$

Thus, we obtain the unique solution of problem (2.5):

$$\begin{aligned} x(t) =&- \int ^{t}_{0}\frac{(t-z)^{\beta -1}}{\Gamma (\beta )}\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz \\ &{}+ \frac{t^{\beta -1}\Gamma (\frac{\beta +1}{2})}{\Gamma (\frac{\beta +1}{2})-B_{2}} \biggl\{ \int ^{1}_{0}\frac{(1-z)^{\beta -1}}{\Gamma (\beta )}\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz \\ &{}- a \int ^{\xi }_{0} \frac{(\xi -z)^{\frac{\beta -1}{2}}}{\Gamma (\frac{\beta +1}{2})} \phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz \biggr\} \\ =& \int ^{1}_{0} G(t,z)\phi _{q} \biggl( \int ^{1}_{0}M(z,r)y(r)\,dr \biggr)\,dz. \end{aligned}$$

The proof of Lemma 2.4 is complete. □

We complete this section with the following simple observation.

Lemma 2.5

Let \(E=C[0,1]\) be the space of continuous functions equipped with the standard sup-norm \(\|x\|=\max_{0\leq t\leq 1}|x(t)|\) and denote by \(P=\{x\in E\mid x(t)\geq 0,0\leq t\leq 1\}\) the corresponding cone. Let \(T : P\rightarrow E\) be given by

$$ Tx(t)= \int ^{1}_{0}G(t,z)\phi _{q} \biggl( \int ^{1}_{0}M(z,r)h\bigl(r,x(r)\bigr)\,dr \biggr)\,dz, $$

where \(h\in C([0,1]\times [0,+\infty ),[0,+\infty ))\) and G and M are defined by (2.1) and (2.2), respectively. Then T takes P into itself, and as such is completely continuous.

Proof

Since G, M and h are nonnegative and continuous, one has \(T(P) \subset P\) and T is continuous. To prove the complete continuity of T, one needs to use the standard argument based on the Arzela–Ascoli theorem and Lebesgue dominated convergence theorem (see, for example, [23]). □

3 Main result

We are now in a position to formulate our main result. To this end, denote

$$ J^{-1}= \int ^{1}_{0}\mu (z)\phi _{q} \biggl( \int ^{1}_{0}\nu (r)\,dr \biggr)\,dz, $$

where μ and ν are provided by Lemma 2.3(iii).

Theorem 3.1

Let \(h\in C([0,1]\times [0,+\infty ),[0,+\infty ))\) and assume that there exists a positive constant k satisfying the following conditions:

\((S_{1})\) if \(0\leq t\leq 1\) and \(0\leq s_{1}\leq s_{2}\leq k\), then \(h(t, s_{1})\leq h(t, s_{2})\);

\((S_{2})\) \(\max_{0\leq t\leq 1}h(t, k)\leq \phi _{p}(kJ)\);

\((S_{3})\) \(h(t,0)\neq0\) for all \(0\leq t\leq 1\).

Then problem (1.4) admits two positive solutions \(x^{*}\) and \(y^{*}\) such that:

(i) \(0<\|x^{*}\|\leq k\) and \(\lim_{n\rightarrow \infty }T^{n} x_{0}=x^{*}\), where \(x_{0}(t)=k\) for all \(0\leq t\leq 1\);

(ii) \(0<\|y^{*}\|\leq k\) and \(\lim_{n\rightarrow \infty }T^{n} y_{0}=y^{*}\), where \(y_{0}(t)=0\) for all \(0\leq t\leq 1\).

Proof

Let \(\Omega =\{x\in P\mid \|x\|\leq k\}\). Assume \(x\in \Omega \). Obviously, \(0\leq x(t)\leq \|x\|\leq k\). From \((S_{1})\) and \((S_{2})\) it follows immediately that

$$ 0\leq h\bigl(t, x(t)\bigr)\leq h(t, k)\leq \max_{0\leq t\leq 1}h(t, k) \leq \phi _{p}(kJ). $$

We claim that \(T(\Omega )\subseteq \Omega \). In fact, for any \(x\in \Omega \), we have \(Tx\in P\), and by Lemma 2.3, one has

$$\begin{aligned} \Vert Tx \Vert =&\max_{0\leq t\leq 1} \biggl\vert \int ^{1}_{0}G(t,z)\phi _{q} \biggl( \int ^{1}_{0}M(s,r)h\bigl(r,x(r)\bigr)\,dr \biggr)\,dz \biggr\vert \\ \leq & \int ^{1}_{0}\mu (z)\phi _{q} \biggl( \int ^{1}_{0}\nu (r)\phi _{p}(kJ)\,dr \biggr)\,dz \\ =&kJ \int ^{1}_{0}\mu (z)\phi _{q} \biggl( \int ^{1}_{0}\nu (r)\,dr \biggr)\,dz \\ =&k. \end{aligned}$$

Hence, \(Tx\in \Omega \) and the claim follows.

Let us show the existence of the required \(x^{*}\). Take the function \(x_{0}\) equal to k identically on \(0\leq t\leq 1\). Clearly, \(\|x_{0}\|=k\) (in particular, \(x_{0}\in \Omega \)). Also, \(x_{1}(t)=Tx_{0}(t) \in \Omega \). Define

$$ x_{n+1}=Tx_{n}=T^{n+1} x_{0},\quad ( n=0,1,2,\ldots). $$

Then, for all \(n=0,1,2,\ldots \) , one has \(x_{n}\in \Omega \).

Also, using \((S_{2})\) and the formula for T, and Lemma 2.3, one obtains for any \(t \in [0, 1]\):

$$\begin{aligned} x_{1}(t)=Tx_{0}(t) =& \int ^{1}_{0}G(t,z)\phi _{q} \biggl( \int ^{1}_{0}M(z,r)h\bigl(r,x_{0}(r) \bigr)\,dr \biggr)\,dz \\ \leq & \int ^{1}_{0}\mu (z)\phi _{q} \biggl( \int ^{1}_{0}\nu (r)\phi _{p}(kJ)\,dr \biggr)\,dz \\ \leq &kJ \int ^{1}_{0}\mu (z)\phi _{q} \biggl( \int ^{1}_{0}\nu (r)\,dr \biggr)\,dz \\ =&k=x_{0}(t). \end{aligned}$$

Hence,

$$ x_{2}(t) = Tx_{1}(t) \leq Tx_{0}(t) = x_{1}(t),\quad 0 \leq t \leq 1. $$

By induction, one has

$$ x_{n+1}(t) \leq x_{n}(t),\quad 0\leq t \leq 1, n = 0, 1, 2, \ldots $$

Moreover, by Lemma 2.5, T is completely continuous, we know that \(\overline{T(\Omega )}\) is a compact set.

Hence, there exists a subsequence \(\{{x_{n_{i}}}\}_{i=1}^{\infty }\) of \(\{{x_{n}}\}_{n=1}^{\infty }\) convergent to \(x^{*} \in \Omega \). Since \(\{{x_{n}}\}_{n=1}^{\infty }\) is monotone, one has \(x_{n} \to x^{*}\). Combining the continuity of T with \(Tx_{n}=x_{n+1}\rightarrow x^{*}\) yields \(Tx^{*}=x^{*}\).

Below, using a similar approach, we prove \(Ty^{*} = y^{*}\). Take the function \(y_{0}\) equal to 0 identically on \(0\leq t\leq 1\). Clearly, \(\|y_{0}\|=0\), and \(y_{0} \in \Omega \). Also, \(y_{1} = Ty_{0} \in \Omega \). Define

$$ y_{n+1} = Ty_{n} = T^{n+1}y_{0},\quad n = 0, 1, 2, \ldots $$

Then, for all \(n=0,1,2,\ldots\) , one has \(y_{n}\in \Omega \). By the same computation as above,

$$ y_{n+1}(t)\geq y_{n}(t),\quad 0\leq t \leq 1, n = 0, 1, 2,\ldots $$

Hence, there exists a subsequence \(\{{y_{n_{i}}}\}_{i=1}^{\infty }\) of \(\{{y_{n}}\}_{n=1}^{\infty }\) convergent to \(y^{*} \in \Omega \). Since \(\{{y_{n}}\}_{n=1}^{\infty }\) is monotone, one has \(y_{n} \to x^{*}\). Combining the continuity of T with \(Ty_{n}=y_{n+1}\rightarrow y^{*}\) yields \(Ty^{*}=y^{*}\). It remains to observe that, by assumption \((S_{3})\), the zero function is not a solution of problem (1.4). So \(\|x^{*}\|> 0\), and \(\|y^{*}\|> 0\). The proof is completed. □

4 Example

Consider the following BVP:

$$ \textstyle\begin{cases} D_{0+}^{\frac{3}{2}}(\phi _{\frac{3}{2}}(D_{0+}^{\frac{3}{2}}x(t)))= \frac{x^{2}}{15}+\frac{tx}{12}+\frac{1}{20}, \quad 0< t< 1, \\ x(0)=0,\qquad x(1)=\frac{1}{4} D_{0+}^{\frac{1}{4}}x(\frac{1}{2}), \qquad D_{0+}^{\frac{3}{2}}x(0)=0,\qquad D_{0+}^{\frac{3}{2}}x(1)= \frac{1}{2}D_{0+}^{\frac{3}{2}}x(\frac{1}{2}). \end{cases} $$
(4.1)

A simple computation gives

$$\begin{aligned}& J \approx 3.2218, \\& \Gamma \biggl(\frac{\beta +1}{2}\biggr)- a\Gamma (\beta )\xi ^{\frac{\beta -1}{2}}= \Gamma \biggl(\frac{5}{4}\biggr)- \biggl( \frac{1}{4}\biggr)\Gamma \biggl(\biggl(\frac{3}{2}\biggr) \biggr) \biggl(\frac{1}{2}\biggr)^{ \frac{1}{4}}>0, \\& 1-b^{p-1}\eta ^{\alpha -1}=1-\biggl(\frac{1}{2} \biggr)^{\frac{1}{2}}\biggl({\frac{1}{2}}\biggr)^{ \frac{1}{2}}=0.5> 0. \end{aligned}$$

Take \(k=8\). Then:

\((1)\) For any \(0\leq t\leq 1\), \(0\leq s_{1}\leq s_{2}\leq 8\), \(h(t, s_{1})\leq h(t, s_{2})\);

\((2)\) \(\max_{0\leq t\leq 1}h(t, k)=h(1, 8)\approx 4.9834< \phi _{p}(kJ) \approx 5.0768\);

\((3)\) \(h(t,0)=0.05\neq0\), for \(0\leq t\leq 1\).

Then problem (1.4) has two positive solutions, \(x^{*}\) and \(y^{*}\), such that

\(0<\|x^{*}\|\leq 8\) and \(\lim_{n\rightarrow \infty }T^{n} x_{0}=x^{*}\), where \(x_{0}(t)=8\),

\(0<\|y^{*}\|\leq 8\) and \(\lim_{n\rightarrow \infty }T^{n} y_{0}=y^{*}\), where \(y_{0}(t)=0\).

Availability of data and materials

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

References

  1. Bai, Z., Qiu, T.: Existence of positive solution for singular fractional differential equation. Appl. Math. Comput. 215, 2761–2767 (2009)

    MathSciNet  MATH  Google Scholar 

  2. Zhao, Y., Sun, S., Han, Z., Zhang, M.: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 217, 6950–6958 (2011). https://doi.org/10.1016/j.amc.2011.01.103

    Article  MathSciNet  MATH  Google Scholar 

  3. Zhang, S.: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 36 (2006)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  5. Wang, X.: Impulsive boundary value problem for nonlinear differential equations of fractional order. Comput. Math. Appl. 62, 2383–2391 (2011). https://doi.org/10.1016/j.camwa.2011.07.026

    Article  MathSciNet  MATH  Google Scholar 

  6. Tian, Y., Zhou, Y.: Positive solutions for multipoint boundary value problem of fractional differential equations. J. Appl. Math. Comput. 38, 417–427 (2012)

    Article  MathSciNet  Google Scholar 

  7. Benchohra, M., Hamani, S., Ntouyas, S.K.: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal., Theory Methods Appl. 71, 2391–2396 (2009)

    Article  MathSciNet  Google Scholar 

  8. Chen, A., Tian, Y.: Existence of positive solutions to three-point boundary value problem of nonlinear fractional differential equations. Differ. Equ. Dyn. Syst. 18, 327–339 (2010)

    Article  MathSciNet  Google Scholar 

  9. Zhou, W., Chu, Y.: Existence of solutions for fractional differential equations with multipoint boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 17, 1142–1148 (2012). https://doi.org/10.1016/j.cnsns.2011.07.019

    Article  MathSciNet  MATH  Google Scholar 

  10. Liang, S., Zhang, J.: Positive solutions for boundary value problems of nonlinear fractional differential equation. Nonlinear Anal., Theory Methods Appl. 71, 5545–5550 (2009)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  12. Kaufmann, E., Mboumi, E.: Positive solutions of a boundary value problem for a nonlinear fractional differential equation. Electron. J. Qual. Theory Differ. Equ. 2008, 3 (2008)

    MathSciNet  MATH  Google Scholar 

  13. Bai, Z., Dong, X., Yin, C.: Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. (2016). https://doi.org/10.1186/s13661-016-0573-z

    Article  MathSciNet  MATH  Google Scholar 

  14. Tian, Y.: Positive solutions to m-point boundary value problem of fractional differential equation. Acta Math. Appl. Sin. 29, 661–672 (2013)

    Article  MathSciNet  Google Scholar 

  15. Sun, Q., Ji, H., Cui, Y.: Positive solutions for boundary value problems of fractional differential equation with integral boundary conditions. J. Funct. Spaces 2018, Article ID 6461930 (2018)

    MathSciNet  MATH  Google Scholar 

  16. Wang, Y., Hou, C.: Existence of multiple positive solutions for one dimensional p-Laplacian. J. Math. Anal. Appl. 315, 144–153 (2006)

    Article  MathSciNet  Google Scholar 

  17. Tian, Y., Chen, A., Ge, W.: Multiple positive solutions to multipoint one-dimensional p-Laplacian boundary value problem with impulsive effects. Czechoslov. Math. J. 61, 127–144 (2011)

    Article  MathSciNet  Google Scholar 

  18. Zhang, X., Ge, W.: Impulsive boundary value problems involving the one-dimensional p-Laplacian. Nonlinear Anal. 70, 1692–1701 (2009)

    Article  MathSciNet  Google Scholar 

  19. 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 

  20. Wang, J., Xiang, H., Liu, Z.: Positive solutions for three-point boundary value problems of nonlinear fractional differential equations with p-Laplacian. Far East J. Appl. Math. 37, 33–47 (2009)

    MathSciNet  MATH  Google Scholar 

  21. Tian, Y., Wei, Y., Sun, S.: Multiplicity for fractional differential equations with p-Laplacian. Bound. Value Probl. 2018, 127 (2018)

    Article  MathSciNet  Google Scholar 

  22. Tian, Y., Sun, S., Bai, Z.: Positive solution of fractional differential equations with p-Laplacian. J. Funct. Spaces 2017, Article ID 3187492 (2017). https://doi.org/10.1155/2017/3187492

    Article  MathSciNet  MATH  Google Scholar 

  23. 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 

  24. Liu, X., Jia, M., Ge, W.: The method of lower and upper solutions for mixed fractional four-point boundary value problem with p-Laplacian operator. Appl. Math. Lett. 65, 56–62 (2017)

    Article  MathSciNet  Google Scholar 

  25. Wang, J., Xiang, H., Liu, Z.: Upper and lower solutions method for a class of singular fractional boundary value problems with p-Laplacian operator. Abstr. Appl. Anal. 2010, Article ID 971824 (2010). https://doi.org/10.1155/2010/971824

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  27. Tian, Y., Li, X.: Existence of positive solution to boundary value problem of fractional differential equations with p-Laplacian operator. J. Appl. Math. Comput. (2015). https://doi.org/10.1007/s12190-014-0772-7

    Article  MathSciNet  MATH  Google Scholar 

  28. Tian, Y., Bai, Z., Sun, S.: Positive solutions for a boundary value problem of fractional differential equation with p-Laplacian operator. Adv. Differ. Equ. (2019). https://doi.org/10.1186/s13662-019-2280-4

    Article  MathSciNet  Google Scholar 

  29. Kilbas, A., Srivastava, H., Trujillo, J.: Theory and applications of fractional differential equations. In: North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank Professor Zalman Balanov and Y. Tian for their help with this research.

Authors’ information

Xiaoping Li, Associate professor, Her main research field is fractional differential equations and boundary value problems. Minyuan He, Lecturer, Her main research field is Probabilistic statistics.

Funding

Project was supported by Hunan Provincial Natural Science Foundation of China(2018JJ2370), supported by the Scientific Research Foundation of Hunan Provincial Education Department (16A198, 18C1019), was also supported by Hunan Province of Chenzhou Science and Technology Planning Project.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Minyuan He.

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

Li, X., He, M. Monotone iterative method for fractional p-Laplacian differential equations with four-point boundary conditions. Adv Differ Equ 2020, 686 (2020). https://doi.org/10.1186/s13662-020-03066-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-03066-1

Keywords