Abstract
In this paper, we are concerned with a kind of tempered fractional differential equation Riemann–Stieltjes integral boundary value problems with p-Laplacian operators. By means of the sum-type mixed monotone operators fixed point theorem based on the cone \(P_{h}\), we obtain not only the local existence with a unique positive solution, but also construct two successively monotone iterative sequences for approximating the unique positive solution. Finally, we present an example to illustrate our main results.
Similar content being viewed by others
1 Introduction
In this paper, we are concerned with local existence–uniqueness of the following nonlinear tempered fractional differential equation involving p-Laplacian operator:
where \(2<\alpha \leq 3\), \(0<\beta _{2}<\beta _{1}<\alpha -1\), \(1<\alpha -\gamma < 2\), \(a\in C(0,1)\), \(\varphi _{p}\) is the p-Laplacian operator with \(p=2\), and \({{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda } u\), \({{}_{0}^{R}\mathbb{D}}_{t}^{\gamma ,\lambda } u\), and \({{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{i},\lambda } u\) (\(i=1,2\)) are the empered fractional derivatives defined by
Here \({{}_{0}^{R}}D_{t}^{\alpha }\) is the standard Riemann–Liouville fractional derivative defined by
where \({}_{0}I_{t}^{\beta }\) is the β-order fractional integral operator defined by
A is a function of bounded variation, and \(\int _{0}^{1}a(s){{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{2}} u(s)\,dA(s)\) is the Riemann–Stieltjes integral with respect to A. By using the sum-type mixed monotone fixed point theorem based on cone \(P_{h}\) we investigate the existence–uniqueness and monotone iteration of positive solutions for p-Laplacian differential systems with tempered fractional derivatives (1.1).
In the past decades, fractional calculus and all kinds of fractional differential equations have been proved to be powerful tools in the modeling of various phenomena in a great deal of fields of science and engineering, such as chemical physics, fluid mechanics, heat conduction, control theory, economics, and so on; see, for example, [1–4]. Abdullah and Zeynep [5] investigated the generalized fractional integral inequalities for continuous random variables and obtained new generalized integral inequalities for the generalized dispersion and the generalized fractional variance functions of a continuous random variable having the probability density function. Muhammad et al. [6] considered one of the important classes of Caputo fractional-order evolution equations by using fixed point theorems of Banach and Krasnoselskii type, obtained the existence and uniqueness of the solution, and studied Ulam–Hyer-type stability of the numerical solution.
In fact, a standard Riemann–Liouville (or Caputo) fractional derivative is a convolution with power law, so does fractional integration, and the difference between the two fractional derivatives only lies in the order of derivation and integration. Based on the definition of classical fractional derivative, the tempered fractional derivative multiplies the power law kernel by exponential factor, and various differential equation models based on tempered fractional derivative open up a new possibility for robust mathematical modeling of anomalous phenomena and complex multiscale problems; we refer the readers to [7–10]. In [11], we studied two kinds of tempered fractional differential systems involving the following Riemann–Stieltjes integral boundary value conditions:
and
where \({{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda } u\), \({{}_{0}^{R}\mathbb{D}}_{t}^{\gamma _{k},\lambda } u\) (\(k=1,2,\ldots ,n-2\)), and \({{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{i},\lambda } u\) (\(i=1,2,3\)) are the tempered fractional derivatives. By using a class of sum-type mixed monotone operators fixed point theorems and increasing φ-\((h,\sigma )\)-concave operators fixed point theorems, respectively, we constructed sufficient conditions to guarantee the existence–uniqueness of positive solutions for Riemann–Stieltjes integral boundary value problems (1.2) and (1.3), respectively.
It is well known that the p-Laplacian operator is used in analyzing various complex problems in physics, mechanics, and the related fields of mathematical modeling; see [12–14]. In [12], for studying the turbulent flow in a kind of porous media, Leibenson introduced the p-Laplacian differential equation
where \(\varphi _{p}(s)=|s|^{p-2}s\), \(p>1\). Motivated by Leibenson’s work, Ren, Li, and Zhang [15] studied the existence of maximum and minimum solutions for the nonlocal p-Laplacian fractional differential system
where \(\varphi _{p_{i}}\) denotes the p-Laplacian operator, \(D_{t}^{\alpha _{i}}\), \(D_{t}^{\beta _{i}}\) are the standard Riemann–Liouville derivatives with \(1<\alpha _{i}\), \(\beta _{i}<2\), \(\int _{0}^{1}x_{i}(t)\,dA_{i}(t)\) denotes the Riemann–Stieltjes integral, and \(A_{i}\) is a function of bounded variation. By employing the cone theory and monotone iterative technique, some new existence results on maximal and minimal solutions were established. Furthermore, the estimation of the bounds of maximum and minimum solutions was derived.
In [16], we investigated the existence of multiple positive solutions for the following p-Laplacian fractional differential equations with two-point boundary values:
where \(n-1<\alpha \leq n\), \({{}_{0}^{R}D}_{t}^{\alpha }\) is the standard Riemann–Liouville fractional derivative, and \(\varphi _{p}\) is the p-Laplacian operator. By employing the functional-type cone expansion–compression fixed point theorem and Leggett–Williams fixed point theorem, we obtained the existence of multiple positive solutions for p-Laplacian differential systems (1.6).
To study more boundary value problems for complex fractional differential equations, we combine the Riemann–Stieltjes integral boundary value conditions with p-Laplacian operators, where the nonlinear terms are sum-type nonlinear terms in (1.1). Comparing with the previous references, this paper has the following characteristics. Firstly, the tempered fractional derivative \({{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda }\) is more general than the standard Riemann–Liouville fractional derivative \({{}_{0}^{R}D}_{t}^{\alpha }\), for instance, for \(\lambda =0\), it is clear that \({{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda }\) is equivalent to \({{}_{0}^{R}D}_{t}^{\alpha }\). Secondly, Riemann–Stieltjes integral boundary conditions are more general and cover the common integral boundary conditions as particular cases. Finally, comparing with p-Laplacian differential systems (1.6), the integral operator in this paper need not be completely continuous or compact. Furthermore, we not only obtain the local existence with a unique positive solution, but also construct a Cauchy sequence to approximate the unique positive solution.
The organization of the paper is as follows. In Sect. 2, we list some concepts, symbols, definitions, and lemmas in abstract Banach spaces, which need to be used in the subsequent proof process. In Sect. 3, by employing the sum-type mixed monotone operators fixed point theorem based on cone \(P_{h}\) we show that the existence–uniqueness and monotone iteration of positive solutions of the two-point boundary value problems for the p-Laplacian differential equation (1.1). In Sect. 4, we present an example to demonstrate our main results.
2 Preliminaries
A nonempty closed convex set \(P\subset E\) is called a cone if it satisfies the following conditions:
- \((I_{1})\):
-
\(x\in P\), \(\lambda \geq 0 \Rightarrow \lambda x \in P\);
- \((I_{2})\):
-
\(x\in P\), \(-x\in P \Rightarrow x=\theta \).
In addition, let \((E,\| \cdot \| )\) be a real Banach space that is partially ordered by a cone \(P\subset E\), that is, \(y-x\in P\) implies that \(x\leq y\). If \(x\leq y\) and \(x\neq y\), then we write \(x< y\) or \(y>x\). We denote the zero element of E by θ. If for all \(x,y\in E\), there exists \(M>0\) such that \(\theta \leq x\leq y\) implies \(\|x\|\leq \|y\|\), then the cone P is called normal; in this case, M is the infimum of such constants and is called the normality constant of P.
Furthermore, for \(h>\theta \), denote \(P_{h}=\{x\in E\mid x\sim h\}\), where ∼ is an equivalence relation, that is, for all \(x,y\in E\), \(x\sim y\) means that there exist \(\lambda >0\) and \(\mu >0\) such that \(\lambda x\geq y\geq \mu x\).
Definition 2.1
([17])
\(A:P\rightarrow P\) is said to be subhomogeneous if
Definition 2.2
([18])
An operator \(A:P\times P\rightarrow P\) is said to be a mixed monotone operator if \(A(x,y)\) is increasing in x and decreasing in y, that is, \(u_{i}, v_{i}\ (i=1,2)\in P\), \(u_{1}< u_{2}\), \(v_{1}>v_{2}\) imply \(A(u_{1},v_{1})\leq A(u_{2},v_{2})\). An element \(x\in P\) is called a fixed point of A if \(A(x,x)=x\).
Definition 2.3
([12])
For \(p>1\), the p-Laplacian operator is given by
Lemma 2.1
([11])
Let \(h(t)\in C[0,1]\cap L^{1}[0,1]\), \(\alpha >0\). Then
where \(c_{i}\in R\), \(i=1,2,3,\ldots,n\) (\(n=[\alpha ]+1\)).
Lemma 2.2
([16])
- \((1)\) :
-
If \(u\in L^{1}(0,1)\), \(\alpha >\beta >0\), then
$$ {{}_{0}I}_{t}^{\alpha }{{}_{0}I}_{t}^{\beta }u(t)={{} {}_{0}I}_{t}^{\alpha +\beta }u(t), \qquad {{}_{0}^{R}D}_{t}^{\beta }{{} {}_{0}I}_{t}^{\alpha }u(t)={}_{0}I_{t}^{\alpha -\beta }u(t), \qquad {{}_{0}^{R}D}_{t}^{\beta }{{}_{0}I}_{t}^{\beta }u(t)=u(t); $$ - \((2)\) :
-
If \(\rho >0\), \(\mu >0\), then
$$ {{}_{0}^{R}D}_{t}^{\rho }t^{\mu -1}= \frac{\Gamma (\mu )}{\Gamma (\mu -\rho )}t^{\mu -\rho -1}. $$
Lemma 2.3
Given \(g\in C(0,1)\), the unique solution of
is
where
with
Proof
For system (2.1), by means of Lemma 2.1 we have
From \(u(0)=0\) we get \(c_{3}=0\), and hence
By using the tempered fractional-order derivative operator \({{}_{0}^{R}\mathbb{D}}_{t}^{\gamma ,\lambda }\) on both sides of (2.5), we obtain
From \({{}_{0}^{R}\mathbb{D}}_{t}^{\gamma ,\lambda } u(0)=0\) and \(1<\alpha -\gamma \leq 2\) we know that \(c_{2}=0\). Hence equation (2.5) can be reduced to
Once again, applying the tempered fractional derivative operator \({{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{i},\lambda }\) on the both sides of (2.6), we have
From (2.7) it is clear that
Substituting (2.8) into \({{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{1},\lambda } u(1)=\int _{0}^{\eta }a(s){{}_{0}^{R} \mathbb{D}}_{t}^{\beta _{2},\lambda } u(s)\,dA(s)\), we obtain
Finally, combining (2.9) with (2.6), we obtain
where \(G(t,s)\) is the Green function of system (2.1). The proof is complete. □
Lemma 2.4
Suppose that
Then for all \((t,s)\in [0,1]\times [0,1]\), \(G(t,s)\), \(G_{1}(t,s)\), and \(G_{2}(t,s)\) satisfy
- \((A_{1})\):
-
\(G(t,s)\), \(G_{1}(t,s)\), and \(G_{2}(t,s)\) are all continuous in \((t,s)\in [0,1]\times [0,1]\);
- \((A_{2})\):
-
\(G_{i}(t,s)\geq 0\) (\(i=1,2\)), and \(G(t,s)\geq 0\);
- \((A_{3})\):
-
\(\frac{e^{\lambda s}[(1-s)^{\alpha -\beta _{1}-1}-(1-s)^{\alpha -1}]}{\Gamma (\alpha )}e^{- \lambda t}t^{\alpha -1}\leq G_{1}(t,s)\leq \frac{e^{\lambda s}(1-s)^{\alpha -\beta _{1}-1}}{\Gamma (\alpha )}e^{- \lambda t}t^{\alpha -1}\);
- \((A_{4})\):
-
\(\frac{e^{\lambda s}[(1-s)^{\alpha -\beta _{1}-1}-(1-s)^{\alpha -\beta _{2}-1}]}{\Gamma (\alpha )}e^{- \lambda t}t^{\alpha -\beta _{2}-1}\leq G_{2}(t,s)\leq \frac{e^{\lambda s}(1-s)^{\alpha -\beta _{1}-1}}{\Gamma (\alpha )}e^{- \lambda t}t^{\alpha -\beta _{2}-1}\);
- \((A_{5})\):
-
\(m(s)e^{-\lambda t}t^{\alpha -1}\leq G(t,s)\leq M(s)e^{-\lambda t}t^{ \alpha -1}\), where
$$ \begin{aligned} M(s)&=\biggl[\frac{1}{\Gamma (\alpha )}+ \frac{\delta }{\Delta \Gamma (\alpha )\Gamma (\alpha -\beta _{2})} \biggr]e^{ \lambda s}(1-s)^{\alpha -\beta _{1}-1} \end{aligned} $$and
$$ \begin{aligned} m(s)&= \frac{e^{\lambda s}[(1-s)^{\alpha -\beta _{1}-1}-(1-s)^{\alpha -1}]}{\Gamma (\alpha )} + \frac{\delta e^{\lambda s}[(1-s)^{\alpha -\beta _{1}-1}-(1-s)^{\alpha -\beta _{2}-1}]}{\Delta \Gamma (\alpha )\Gamma (\alpha -\beta _{2})}. \end{aligned} $$
Proof
Firstly, for \((t,s)\in [0,1]\times [0,1]\), it is obvious that \(G(t,s)\) and \(G_{i}(t,s)\) (\(i=1,2\)) are continuous.
Secondly, for \(G_{i}(t,s)\) (\(i=1,2\)) in \((A_{3})\) and \((A_{4})\), it is evident that the right sides of the inequalities hold, so we only need to prove the left sides of the inequalities. If \(0\leq s\leq t\leq 1\), then we easily see that \(0\leq t-s\leq t-ts=(1-s)t\), and thus \((t-s)^{\alpha -1}\leq (1-s)^{\alpha -1}t^{\alpha -1}\). So we get
If \(0\leq t\leq s\leq 1\), then, evidently, \(G_{1}(t,s)\geq \frac{e^{\lambda s}[(1-s)^{\alpha -\beta _{1}-1}-(1-s)^{\alpha -1}]}{\Gamma (\alpha )}e^{- \lambda t}t^{\alpha -1}\).
Furthermore, from \((1-s)^{\alpha -\beta _{1}-1}>(1-s)^{\alpha -1}\) we get \(G_{1}(t,s)\geq 0\) for all \((t,s)\in [0,1]\times [0,1]\). In the same way, we can get that \(G_{2}(t,s)\geq 0\) and inequality \((A_{4})\) holds.
Finally, from \((A_{3})\) and \((A_{4})\) we can get that \(m(s)e^{-\lambda t}t^{\alpha -1}\leq G(t,s)\leq M(s)e^{-\lambda t}t^{ \alpha -1}\). In addition, from condition \((H)\) we can deduce that \(\Delta >0\). Combining \((1-s)^{\alpha -\beta _{1}-1}>(1-s)^{\alpha -1}\) with \(\Delta >0\), we obtain \(m(s)\geq 0\), that is, \(G(s,t)\geq 0\) for all \((t,s)\in [0,1]\times [0,1]\). The proof is complete. □
Lemma 2.5
([17])
Let \(\xi \in (0,1)\), let \(A:P\times P\rightarrow P\) be a mixed monotone operator satisfying
Let \(B:P\rightarrow P\) be an increasing subhomogeneous operator. Assume that
- \((I)\):
-
there exists \(h_{0}\in P_{h}\) such that \(A(h_{0},h_{0})\in P_{h}\) and \(Bh_{0}\in P_{h}\);
- \((II)\):
-
there exists a constant \(\delta _{0}>0\) such that \(A(x,y)\geq \delta _{0} Bx\), \(\forall x,y\in P\);
Then
- \((1)\):
-
\(A:P_{h}\times P_{h}\rightarrow P_{h}\), \(B:P_{h}\rightarrow P_{h}\);
- \((2)\):
-
there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in (0,1)\) such that
$$ rv_{0}\leq u_{0}< v_{0}, \qquad u_{0} \leq A(u_{0},v_{0})+Bu_{0}\leq A(v_{0},u_{0})+B(v_{0}) \leq v_{0}; $$ - \((3)\):
-
the operator equation \(A(x,x)+Bx=x\) has a unique solution \(x^{*}\) in \(P_{h}\);
- \((4)\):
-
for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences
$$ x_{n}=A(x_{n-1},y_{n-1})+Bx_{n-1}, \qquad y_{n}=A(y_{n-1},x_{n-1})+By_{n-1}, \quad n=1,2, \ldots , $$we have \(x_{n}\rightarrow x^{*}\) and \(y_{n}\rightarrow x^{*}\) as \(n\rightarrow \infty \).
3 Main results
Lemma 3.1
For \(\widetilde{g}\in C[0,1]\), the p-Laplacian tempered fractional differential system
has a unique integral formal solution
where \(G(t,s)\) is given in (2.3).
Proof
Firstly, applying the fractional integral operator \({}_{0}I_{t}^{\alpha }\) on both sides of the first equation of integral boundary value problems (3.1), we have
From \(\varphi _{p}({{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda } u)(0)=0\) we can deduce that \(d_{3}=0\). So
Furthermore, applying the tempered fractional derivative operator \({{}_{0}^{R}\mathbb{D}}_{t}^{\gamma ,\lambda }\) on both sides of (3.3), we have
From \({{}_{0}^{R}\mathbb{D}}_{t}^{\gamma ,\lambda } (\varphi _{p}({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u) )(0) =0\) and \(1<\alpha -\gamma < 2\) we deduce that \(d_{2}=0\), that is,
Secondly, applying the tempered fractional derivative operator \({{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{i},\lambda }\) (\(i=1,2\)) on both sides of (3.4), we get
From (3.5) it is clear that
Combining (3.6) with the Riemann–Stieltjes integral boundary value condition \({{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{1},\lambda } (\varphi _{p}({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u) )(1)=\int _{0}^{\eta }a(s){{}_{0}^{R} \mathbb{D}}_{t}^{\beta _{2},\lambda } [\varphi _{p} ({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u(s) ) ]\,dA(s)\), we obtain
Substituting (3.7) into (3.4), we obtain
Furthermore, applying the p-Laplacian operator \(\varphi _{q}\) on both sides of (3.8), we get
Finally, setting \({g}(t):\triangleq \varphi _{q} (\int _{0}^{1}G(t,s)\widetilde{g}(s)\,ds )\), we easily see that p-Laplacian fractional differential system (3.1) is equivalent to the following fraction differential equation integral boundary value problem:
By means of Lemma 2.3 we get that the tempered fractional differential system with p-Laplacian operator (3.10) has a unique integral solution
This completes the proof. □
From Lemma 3.1 we can deduce that Riemann–Stieltjes integral boundary value problem with p-Laplacian operator (1.1) is equivalent to the integral formulation
For the convenience of further research, we define the operator T by
Theorem 3.1
Suppose that condition \((H)\) holds, \(a(t):[0,1]\rightarrow R^{+}\), \(f(t,u,v):[0,1]\times [0,+\infty )\times [0,+\infty )\rightarrow [0,+ \infty )\), and \(g(t,u):[0,1]\times [0,+\infty )\rightarrow [0,+\infty )\) are all continuous functions with \(g(t,u)\not \equiv 0\), and the following conditions are satisfied:
- \((H_{1})\):
-
for fixed \(t\in [0,1]\), \(f(t,u,v)\) is increasing in \(u\in [0,+\infty )\) and decreasing in \(v\in [0,+\infty )\). In addition, for all \(\gamma \in (0,1)\) and \(u,v\in [0,+\infty )\), there exists a constant \(\xi \in (0,1)\) such that
$$ f\bigl(t,\gamma u,\gamma ^{-1} v\bigr)\geq \varphi _{p}^{\xi }(\gamma ) f(t,u,v); $$(3.13) - \((H_{2})\):
-
for fixed \(t\in [0,1]\), \(g(t,u)\) is increasing in \(u\in [0,+\infty )\), and for all \(t\in [0,1]\), \(u\in [0,+\infty )\), and \(\gamma \in (0,1)\),
$$ g(t,\gamma u)\geq \varphi _{p}(\gamma ) g(t,u); $$(3.14) - \((H_{3})\):
-
for all \(u,v\in [0,+\infty )\), there exists a constant \(\delta _{0}>0\) such that
$$ f(t,u,v)\geq \varphi _{p} (\delta _{0}) g(t,u), \quad t\in [0,1]. $$(3.15)
Then we have:
- \((I)\):
-
the tempered fractional differential equation Riemann–Stieltjes integral boundary value problem involving the p-Laplacian operator (1.1) has a unique positive solution \(u^{*}\in P_{h}\), where \(h(t)=e^{-\lambda t}t^{\alpha -1}\);
- \((II)\):
-
for all \(t\in [0,1]\), there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in (0,1)\) such that \(rv_{0}\leq u_{0}< v_{0}\) and
$$\begin{aligned}& u_{0}(t)\leq \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s, \tau ) \bigl[f \bigl(\tau ,u_{0}(\tau ),v_{0}(\tau ) \bigr)+g \bigl(\tau ,u_{0}( \tau ) \bigr) \bigr]\,d\tau \biggr) \,ds, \\& v_{0}(t)\geq \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s, \tau ) \bigl[f \bigl(\tau ,v_{0}(\tau ),u_{0}(\tau ) \bigr)+g \bigl(\tau ,v_{0}( \tau ) \bigr) \bigr]\,d\tau \biggr) \,ds; \end{aligned}$$ - \((III)\):
-
for any initial values \(x_{0},y_{0}\in P_{h}\), making the successive sequences
$$\begin{aligned}& x_{n}= \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s,\tau ) \bigl[f \bigl(\tau ,x_{n-1}(\tau ),y_{n-1}(\tau ) \bigr)+g \bigl(\tau ,x_{n-1}( \tau ) \bigr) \bigr]\,d\tau \biggr) \,ds, \\& y_{n}= \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s,\tau ) \bigl[f \bigl(\tau ,y_{n-1}(\tau ),x_{n-1}(\tau ) \bigr)+g \bigl(\tau ,y_{n-1}( \tau ) \bigr) \bigr]\,d\tau \biggr) \,ds, \\& n=0,1,2,\ldots, \end{aligned}$$we obtain \(x_{n} \rightarrow u^{*}\) and \(y_{n}\rightarrow u^{*}\) as \(n\rightarrow \infty \).
Proof
To begin with, we define two operators \(A:P\times P\rightarrow E\) and \(B:P\rightarrow E\) by
From \(p=2\) and \(\frac{1}{p}+\frac{1}{q}=1\) we easily see that \(q=2\). Evidently, we have \(T(u,v)=A(u,v)+B(u)\). In addition, \(u^{*}\) is a solution of the Riemann–Stieltjes integral boundary value problem (1.1) if and only if \(T(u^{*},u^{*})=u^{*}\). From Lemma 2.4 we get \(A:P\times P\rightarrow P\) and \(B:P\rightarrow P\). Furthermore, it follows from \((H_{1})\) and \((H_{2})\) that A is a mixed monotone operator and B is an increasing operator. For all \(\gamma \in (0,1)\) and \(u,v\in P\), from (3.13) we obtain
Hence the mixed monotone operator A satisfies condition (2.10) in Lemma 2.5. In addition, for all \(\gamma \in (0,1)\) and \(u\in P\), from (3.14) we have
So B is a subhomogeneous operator.
Next, we show that \(A(h,h)\in P_{h}\) and \(Bh\in P_{h}\). From Lemma 2.4 we have
and
where \(h_{\max }=\max \{h(t):t\in [0,1]\}\). Letting
It is clear that \(L_{1}>l_{1}>0\). Hence \(l_{1}h(t)\leq A(h,h)\leq L_{1}h(t)\), that is, \(A(h,h)\in P_{h}\). Similarly, for the subhomogeneous operator B, from Lemma 2.4 we get
and
Letting
From \(L_{2}>l_{2}>0\) and \(l_{2}h(t)\leq B(h)\leq L_{2}h(t)\) we get \(Bh\in P_{h}\). Since \(h\in P_{h}\), letting \(h_{0}=h\), we get that condition \((I_{1})\) in Lemma 2.5 holds.
Finally, for all \(u,v\in P\), from (3.15) we have
that is, \(A(u,v)\geq \delta _{0}Bu\). All the conditions in Lemma 2.5 are satisfied. So the conclusion in Theorem 3.1 follows from Lemma 2.5. □
Corollary 3.1
Assume that condition \((H)\) holds and
- \((H_{1}')\):
-
\(a(t):[0,1]\rightarrow R^{+}\) and \(f(t,u,v):[0,1]\times [0,+\infty )\times [0,+\infty )\rightarrow [0,+ \infty )\) are all continuous functions;
- \((H_{2}')\):
-
for fixed \(t\in [0,1]\), \(f(t,u,v)\) is increasing in \(u\in [0,+\infty )\) and decreasing in \(v\in [0,+\infty )\);
- \((H_{3}')\):
-
for all \(u,v\in [0,+\infty )\) and \(\gamma \in (0,1)\), there exists a constant \(\xi \in (0,1)\) such that
$$ f\bigl(t,\gamma u,\gamma ^{-1} v\bigr)\geq \varphi _{p}^{\xi }(\gamma ) f(t,u,v),\quad t \in [0,1]. $$(3.21)
Then we have:
- \((I)\):
-
the p-Laplacian differential equation Riemann–Stieltjes integral boundary value problem
$$ \textstyle\begin{cases} {{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda } (\varphi _{p} ({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u(t) ) )=f (t,u(t),u(t) ), \quad 0\leq t\leq 1, \\ u(0)={{}_{0}^{R}\mathbb{D}}_{t}^{\gamma ,\lambda } u(0)=0, \\ {{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{1},\lambda } u(1)=\int _{0}^{\eta }a(s){{}_{0}^{R} \mathbb{D}}_{t}^{\beta _{2},\lambda } u(s)\,dA(s), \\ \varphi _{p} ({{}_{0}^{R}\mathbb{D}}_{t}^{\alpha ,\lambda } u(0) )={{}_{0}^{R} \mathbb{D}}_{t}^{\gamma ,\lambda } (\varphi _{p} ({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u(0) ) ) =0, \\ {{}_{0}^{R}\mathbb{D}}_{t}^{\beta _{1},\lambda } (\varphi _{p} ({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u(1) ) )=\int _{0}^{\eta }a(s){{}_{0}^{R} \mathbb{D}}_{t}^{\beta _{2},\lambda } [\varphi _{p} ({{}_{0}^{R} \mathbb{D}}_{t}^{\alpha ,\lambda } u(s) ) ]\,dA(s), \end{cases} $$has a unique positive solution \(u^{*}\in P_{h}\), where \(h(t)=e^{-\lambda t}t^{\alpha -1}\);
- \((II)\):
-
there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in (0,1)\) such that \(rv_{0}\leq u_{0}< v_{0}\) and
$$\begin{aligned}& u_{0}(t)\leq \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s, \tau )f \bigl(\tau ,u_{0}(\tau ),v_{0}(\tau ) \bigr)\,d\tau \biggr) \,ds, \\& v_{0}(t)\geq \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s, \tau )f \bigl(\tau ,v_{0}(\tau ),u_{0}(\tau ) \bigr)\,d\tau \biggr) \,ds; \end{aligned}$$ - \((III)\):
-
for any initial values \(x_{0},y_{0}\in P_{h}\), making the successive sequences
$$\begin{aligned}& x_{n}= \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s,\tau )f \bigl(\tau ,x_{n-1}(\tau ),y_{n-1}(\tau ) \bigr)\,d\tau \biggr) \,ds, \\& y_{n}= \int _{0}^{1}G(t,s)\varphi _{q} \biggl( \int _{0}^{1}G(s,\tau )f \bigl(\tau ,y_{n-1}(\tau ),x_{n-1}(\tau ) \bigr)\,d\tau \biggr) \,ds, \\& n=0,1,2,\ldots, \end{aligned}$$we obtain \(x_{n} \rightarrow u^{*}\) and \(y_{n}\rightarrow u^{*}\) as \(n\rightarrow \infty \).
Proof
Setting \(g(t,u(t))\equiv 0\), by means of Theorem 3.1 we get the conclusions. □
4 Applications
Example 1
We consider the following tempered fractional differential systems involving the p-Laplacian operator:
where \(F(t,u(t))=f (t,u(t),u(t) )+g (t,u(t) )\), \(A(t)=\frac{t}{2}\), and \(p=2\), in which \(f(t,u,v)=(1-t)^{-\frac{1}{3}}t^{-\frac{2}{3}}u^{\frac{1}{3}}+v^{- \frac{1}{5}}\), \(g(t,u)=(1-t)^{-\frac{1}{8}}t^{-\frac{1}{6}}u^{\frac{1}{3}}\). In addition, for any \(t\in (0,1)\), \(u>0\) and \(v>0\).
Let us check that all the conditions in Theorem 3.1 are satisfied. Evidently, \(\alpha =\frac{5}{2}\), \(\beta _{1}=1\), \(\beta _{2}=\frac{5}{8}\), \(\gamma = \frac{3}{4}\), \(a(t)\equiv 1\), \(\lambda =1>0\), and \(\eta =1\) in system (4.1).
- \((1)\):
-
From \(\delta =\int _{0}^{\eta }e^{-\lambda s}s^{\alpha -\beta _{2}-1}a(s)\,dA(s)=0.1432\) we can get \(\Gamma (\alpha -\beta _{1})e^{\lambda }\delta =0.345<0.9534=\Gamma ( \alpha -\beta _{2})\); clearly, condition \((H)\) is satisfied.
- \((2)\):
-
From the expressions of f and g it is evident that \(f(t,u,v):(0,1)\times R^{+}\times R^{+}\rightarrow R^{+}\) and \(g(t,u):(0,1)\times R^{+}\rightarrow R^{+}\) are continuous. Furthermore, \(f(t,u,v)\) is increasing in u for fixed \(t\in (0,1)\) and \(v\in R^{+}\), decreasing in v for fixed \(t\in (0,1)\) and \(u\in R^{+}\), and, in addition, for fixed \(t\in (0,1)\), \(g(t,u)\) is increasing in u.
- \((3)\):
-
For any \(\gamma \in (0,1)\), \(t\in (0,1)\), and \(u,v>0\), taking \(\xi =\frac{1}{2}\in (0,1)\), we have
$$ \begin{aligned} f\bigl(t,\gamma u,\gamma ^{-1} v \bigr)&=(1-t)^{-\frac{1}{3}}t^{- \frac{2}{3}}(\gamma u)^{\frac{1}{3}}+\bigl(\gamma ^{-1}v\bigr)^{-\frac{1}{5}} \\ &\geq \gamma ^{\frac{1}{2}}\bigl[(1-t)^{-\frac{1}{3}}t^{-\frac{2}{3}}u^{ \frac{1}{3}}+v^{-\frac{1}{5}} \bigr] \\ &\geq \gamma \bigl[(1-t)^{-\frac{1}{3}}t^{-\frac{2}{3}}u^{\frac{1}{3}}+v^{- \frac{1}{5}} \bigr] \\ &=\varphi _{p}^{\xi }(\gamma )f(t,u,v) \end{aligned} $$and
$$ \begin{aligned} g(t,\gamma u)&=(1-t)^{-\frac{1}{8}}t^{-\frac{1}{6}}( \gamma u)^{\frac{1}{3}} \\ &\geq \gamma ^{2} \bigl[(1-t)^{-\frac{1}{8}}t^{-\frac{1}{6}}u^{\frac{1}{3}} \bigr] \\ &=\varphi _{p}(\gamma ) g(t,u). \end{aligned} $$ - \((4)\):
-
Taking \(\delta _{0}=\frac{1}{2}\), for all \(t\in (0,1)\) and \(u,v\in [0,+\infty )\), we have
$$ \begin{aligned} f(t,u,v)&=(1-t)^{-\frac{1}{3}}t^{-\frac{2}{3}} u^{ \frac{1}{3}}+v^{-\frac{1}{5}} \\ &\geq \frac{1}{4}\bigl[(1-t)^{-\frac{1}{8}}t^{-\frac{1}{6}}u^{\frac{1}{3}} \bigr] \\ &=\varphi _{p}(\delta _{0})g(t,u). \end{aligned} $$
From the above conclusions, obviously, Theorem 3.1 implies that the tempered fractional differential equation integral boundary value problem (4.1) has a unique positive solution \(u^{*}\in P_{h}\), where \(h(t)=e^{-t}t^{\frac{3}{2}}\).
Availability of data and materials
Data sharing is not applicable to this paper as no datasets were generated or analyzed during the current study.
References
Weitzner, H., Zaslavsky, G.M.: Some applications of fractional equations. Commun. Nonlinear Sci. Numer. Simul. 8(3–4), 273–281 (2003)
Khurshid, Y., Khan, M.A., Chu, Y.M.: Hermite–Hadamard–Fejer inequalities for conformal fractional integrals via preinvex functions. J. Funct. Spaces 2019, 3146210 (2019)
Goodrich, C.S.: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 23(9), 1050–1055 (2010)
Khan, M.A., Hanif, M., Khan, Z.A.H., Ahmad, K., Chu, Y.M.: Association of Jensen’s inequality for s-convex function with Csiszár divergence. J. Inequal. Appl. 2019, 162, 1–14 (2019)
Akkurt, A., Kacar, Z., Yildirim, H.: Generalized fractional integrals inequalities for continuous random variables. J. Probab. Stat. 2015, 958980 (2015)
Sher, M., Shah, K., Khan, Z.: Study of time fractional order problems with proportional delay and controllability term via fixed point approach. AIMS Math. 6(5), 5387–5396 (2021)
Dehghan, M., Abbaszadeh, M., Deng, W.: Fourth-order numerical method for the space-time tempered fractional diffusion-wave equation. Appl. Math. Lett. 73, 120–127 (2017)
Chen, S., Shen, J., Wang, L.-L.: Laguerre functions and their applications to tempered fractional differential equations on infinite intervals. J. Sci. Comput. 74(3), 1286–1313 (2018)
Wu, X., Deng, W., Barkai, E.: Tempered fractional Feynman–Kac equation: theory and examples. Phys. Rev. E 93, 032151 (2016)
Zaky, M.A.: Existence, uniqueness and numerical analysis of solutions of tempered fractional boundary value problems. Appl. Numer. Math. 3537, 1–29 (2019)
Zhou, B., Zhang, L.: Existence and monotone iteration of unique solution for tempered fractional differential equations Riemann–Stieltjes integral boundary value problems. Adv. Differ. Equ. 208, 1–19 (2020)
Leibenson, L.S.: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk SSSR 9, 7–10 (1945)
Guo, Y., Ji, Y., Liu, X.: Multiple positive solutions for some multi-point boundary value problems with p-Laplacian. J. Comput. Appl. Math. 216, 144–156 (2008)
Ullah, S.Z., Khan, M.A., Khan, Z.A., Chu, Y.M.: Coordinate strongly s-convex functions and related results. J. Math. Inequal. 14(3), 829–843 (2020)
Ren, T., Li, S., Zhang, X., Liu, L.: Maximum and minimum solutions for a nonlocal p-Laplacian fractional differential system from eco-economical processes. Bound. Value Probl. 118, 1–15 (2017)
Zhou, B., Zhang, L.: Multiple positive solutions for nonlinear high-order Riemann–Liouville fractional differential equations boundary value problems with p-Laplacian operator. Bound. Value Probl. 26, 1–17 (2020)
Zhai, C., Yan, W., Yang, C.: A sum operator method for the existence and uniqueness of positive solutions to Riemann–Liouville fractional differential equation boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 18, 858–866 (2013)
Zhai, C., Hao, M.: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 75, 2542–2551 (2012)
Acknowledgements
We are thankful to the editor and the anonymous reviewers for many valuable suggestions to improve this paper.
Funding
This paper is supported by the opening project of State Key Laboratory of Explosion Science and Technology (Beijing Institute of Technology). The opening project number is KFJJ19-06M. It is also supported by the Key R&D Program of Shanxi Province (International Cooperation, 201903D421042).
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to the manuscript and typed, read, and approved the final manuscript.
Corresponding author
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/.
About this article
Cite this article
Zhou, B., Zhang, L. Local existence–uniqueness and monotone iterative approximation of positive solutions for p-Laplacian differential equations involving tempered fractional derivatives. J Inequal Appl 2021, 159 (2021). https://doi.org/10.1186/s13660-021-02693-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02693-w