Abstract
This paper aims to consider the solvability for Erdélyi–Kober fractional integral boundary value problems with \(p ( t )\)-Laplacian operator at resonance. By employing the coincidence degree method, some new results on the existence of solutions are acquired.
Similar content being viewed by others
1 Introduction
In this paper, we consider the following fractional integral boundary value problem:
where \(D_{0 {+} }^{\beta}\) and \(D_{0 {+} }^{\alpha}\) are Riemann–Liouville fractional derivatives with \(0 < \beta \le1\) and \(2 < \alpha \le3\), \(I_{0+,\eta_{i}}^{\gamma_{i},\delta_{i}}\) is Erdélyi–Kober fractional integral of order \(\delta_{i} > 0\) with \(\eta _{i} > 0\) and \(\gamma_{i} >0 \) in which \(i=1,2\), \(f: [ {0,1} ] \times{\mathbb{R}^{3}} \to{\mathbb{R}}\) is continuous, \(a_{i}\), \(b_{i}\), \(\nu_{i}\) are real numbers in which \(i=1,2\), \(0<\xi_{1}<\xi_{2}<1\), \({\phi_{p ( t )}} ( s ) = { \vert s \vert ^{p ( t ) - 2}} s \) is \(p ( t )\)-Laplacian operator with \(p ( t ) \in{C^{1}} [ {0,1} ]\) and \(p ( t ) > 1\) for \(s \in\mathbb{R}\). We always assume that the following condition holds:
Fractional differential equations have a wide application background on many research fields such as physics, biology, electrical circuits, material, etc. (see [1–7]). For instance, Leszczynski and Blaszczyk [2] took advantage of a fractional differential model to show the height of granular material falling over time in a silo:
where \({}^{C} D_{T{-}}^{\alpha}\) represents left Caputo fractional derivative, \(D_{a{+}}^{\alpha}\) means right Caputo fractional derivative with \(\alpha\in(0,1)\), \(h^{*}(t)=h_{\mathrm{bed}}-h(t)\) in which \(h(t)\) acts as dropping height for silo emptying and \(h_{\mathrm{bed}}\) stands for the initial bed height. In recent years, more and more scholars have focused on investigating the existence and multiplicity of solutions to boundary value problems of fractional differential equations by various methods such as fixed point theory (see [8–10]), coincidence degree method (see [11–14]), critical point theory (see [15, 16]), etc. For example, by the fixed point theorem for multivalued operators, Ahmad and Ntouyas [9] considered the existence of solutions to the following fractional differential inclusions with nonlocal multi-point Erdélyi–Kober fractional integral boundary value conditions:
where \(\alpha,\beta_{i} \in\mathbb{R}\), \(\xi_{i} \in(0,T)\), \(i = 1,2,\ldots ,m\), \(D_{0 + }^{q}\) is Riemann–Liouville fractional derivative of order q that \(1 < q \le2 \), \(I_{\eta_{i} }^{\gamma_{i} ,\delta_{i} }\) is the Erdélyi–Kober fractional integral of order \(\delta_{i} > 0\) with \(\eta_{i} > 0\), and \(\gamma_{i} \in\mathbb{R}\), \(i = 1,2,\ldots,m\), \(F,G:[0,T] \times\mathbb{R} \to\mathcal{P}(\mathbb{R})\) are multivalued maps, where \(\mathcal{P}(\mathbb{R})\) is the family of all nonempty subsets of \(\mathbb{R}\).
As is known to all, the boundary value problem with p-Laplacian operator is a classical problem in differential equations of integer order (see [17–19] and the references therein). Recently, a growing number of scholars have devoted their attention to studying fractional boundary value problems with p-Laplacian operator (see [20–23]). For example, by constructing Green’s functions and using some fixed point theorems, Mahmudov and Unul [20] considered the existence and uniqueness of solutions to integral boundary value problem of the following fractional differential equations with p-Laplacian operator:
where \(D_{0 + }^{\alpha}\), \(D_{0 + }^{\beta}\), \(D_{0 + }^{\gamma}\) are Caputo fractional derivatives, \(1 <\alpha\leq2\), \(0<\beta,\gamma\leq1\), \(0<\eta<1\), \(\nu, \mu_{i}, \sigma_{i}>0\) (\(i=1,2\)), \(\phi_{p} (\cdot) \) is a p-Laplacian operator, f, g, h are continuous. After that, Shen and Liu [24] studied the following integral boundary value problem of fractional differential equations with \(p(t)\)-Laplacian operator at non-resonance or resonance:
where \(1< \alpha\leq2\), \(0<\beta\leq1\), \(D_{0 + }^{\alpha}\) and \(D_{0 + }^{\beta}\) are Riemann–Liouville fractional derivatives, \(\gamma>0\), \(0<\eta<1\), \(f:[0,1]\times\mathbb{R}\to\mathbb{R}\) is continuous. \(\phi_{p(t)} (\cdot) \) is a \(p(t)\)-Laplacian operator with \(p(t)\in C^{1}[0,1]\) and \(p(t)>1\). Note that the dimension of the kernel of operator \(D_{0 + }^{\beta}\phi_{p(t)} (D_{0 + }^{\alpha}x)\) is equal to 1 when \(\gamma\eta^{2\alpha - 2}=\Gamma(2\alpha - 1)\) that is called the resonant case. By the coincidence degree method, the existence of solutions to problem (1.4) was obtained. It should be mentioned that the \(p(t)\)-Laplacian operator acts as the generalized operator which occurs in many research fields such as elasticity theory, image restoration, and nonlinear electrorheological fluids (see [25–27]). Moreover, for boundary value problems of differential equations of integer order with \(p(t)\)-Laplacian operator, please refer to [28, 29] and the references therein. Note that it is a nonstandard growth operator and can turn into the p-Laplacian operator when \(p(t)=p\).
Motivated by the above work, in our paper we aim to study the existence of solutions to problem (1.1). It should be emphasized that the Erdélyi–Kober fractional integral operator is a generalization of the integral of integer order and can convert into Riemann–Liouville fractional integral with a power weight when \(\eta=1\) and \(\gamma=0\). So, a problem of this type becomes more interesting and challenging. Moreover, noting that the dimension of the kernel of operator \(D_{0^{+} }^{\beta}\varphi_{p(t)} (D_{0^{+} }^{\alpha}x)\) is equal to 2 in (1.1), it will cause a lot of difficulties when we use the coincidence degree method such as constructing continuous linear projections. Thus, our results extend and enrich some existing papers. Furthermore, there are few papers studying fractional integral boundary value problem with \(p(t)\)-Laplacian operator.
2 Preliminaries
For the convenience of readers, some basic knowledge will be presented.
Definition 2.1
([30])
Let X and Y be real Banach spaces, and let \(L:\operatorname {dom}L\subset X\rightarrow Y\) be a linear operator. If \(\dim \operatorname{Ker}L = \operatorname{codim} \operatorname{Im} L < + \infty\) and ImL is a closed subset in Y, then L is a Fredholm operator with index zero. Define the continuous linear projections \(P:X\rightarrow X\) and \(Q:Y\rightarrow Y\) that satisfy \(\operatorname{Im} P =\operatorname{Ker}L\) and \(\operatorname {Ker}Q=\operatorname{Im}L\); it follows that \(L |_{\operatorname {dom}L\cap\operatorname{Ker}P}:\operatorname{dom}L\cap\operatorname {Ker}P\rightarrow\operatorname{Im}L\) is reversible. Denote its inverse map by \(K_{P}\), and let \({K_{P,Q}} = {K_{P}} ( {I - Q} )\). If Ω is an open bounded subset of X and \(\operatorname{dom}L \cap\Omega \ne\varnothing\), the map N is L-compact on Ω̅ when \(QN:\overline{\Omega}\to Y\) is bounded and \({K_{P}} ( {I - Q} )N:\overline{\Omega}\to X\) is compact.
Lemma 2.2
([30])
Let \(L : \operatorname{dom} L\subset X\rightarrow Y\) be a Fredholm operator of index zero and \(N:X\rightarrow Y\) be L-compact on Ω̅. Assume that the following conditions are satisfied:
-
(i)
\(Lx\neq\lambda Nx\) for every \((x,\lambda)\in[(\operatorname {dom} L \setminus\operatorname{Ker}L)]\cap\partial\Omega\times(0,1)\);
-
(ii)
\(Nx \notin\operatorname{Im} L\) for every \(x\in \operatorname{Ker} L\cap\partial\Omega\);
-
(iii)
\(\operatorname{deg}(QN|_{\operatorname{Ker} L }, \operatorname{Ker} L \cap\Omega, 0)\neq0\), where \(Q:Y\rightarrow Y\) is a projection such that \(\operatorname{Im} L= \operatorname{Ker} Q\).
Then the equation \(Lx=Nx\) has at least one solution in \(\operatorname {dom} L\cap\overline{\Omega}\).
Definition 2.3
([1])
The Riemann–Liouville fractional integral of order \(\alpha > 0\) for the function \(x:(0, + \infty) \to \mathbb{R}\) is defined by
provided the right-hand side is pointwise defined on \((0,+\infty)\), where \(\Gamma(\alpha)\) is the standard gamma function.
Definition 2.4
([1])
The Riemann–Liouville fractional derivative of order \(\alpha>0\) of \(x:(0, + \infty) \to\mathbb{R}\) is defined by
provided the right-hand side integral is pointwise defined on \((0,+\infty)\), where \(n=[\alpha]+1\).
Definition 2.5
([1])
The Erdlyi–Kober fractional integral of order \(\delta> 0\) with \(\eta> 0\) and \(\gamma \in\mathbb{R}\) of a continuous function \(x:(0,\infty) \to\mathbb{ R}\) is defined by
provided the right-hand side is pointwise defined on \((0,+\infty)\).
Remark 2.6
If \(\eta = 1\), \(\gamma>0\), and \(\delta>0\), the above operator changes into the Kober operator (see [31]). Moreover, if \(\gamma=0\), the Kober operator turns into the following Riemann–Liouville fractional integral with a power weight:
Lemma 2.7
([1])
If \(x(t) \in L_{p} (0,1)\) (\(1 \le p \le\infty\)), then
-
(i)
\(D_{0 + }^{\alpha}I_{0 + }^{\alpha}x(t) = x(t)\) with \(\alpha> 0\) holds almost everywhere on \([0,1]\);
-
(ii)
\(D_{0 + }^{\beta}I_{0 + }^{\alpha}x(t) = I_{0 + }^{\alpha - \beta} x(t)\) with \(\alpha> \beta> 0\) holds almost everywhere on \([0,1]\).
Lemma 2.8
([1])
Let \(\alpha \ge0\), \(m \in\mathbb{N}\), and \(D = {d / {dt}}\). If the fractional derivatives \(D_{0 + }^{\alpha}x(t)\) and \(D_{0 + }^{\alpha + m} x(t)\) exist, then
Lemma 2.9
([1])
The following equalities hold for fractional integral and derivative:
-
(i)
If \(\alpha\geq0\), \(\lambda> - 1\), \(\lambda\neq\alpha-i\), \(i=1,2,\ldots,[\alpha]+1\), we have
$$D_{0 + }^{\alpha}t^{\lambda}= \frac{{\Gamma(\lambda+ 1)}}{{\Gamma (\lambda- \alpha+ 1)}}t^{ \lambda- \alpha} . $$Moreover, \(D_{0+ }^{\alpha}t^{\alpha - i} = 0\), \(i = 1,2,\ldots,[\alpha]+1\).
-
(ii)
If \(\alpha> 0\), \(\lambda> - 1\), we have
$$I_{0+ }^{\alpha}t^{\lambda}= \frac{{\Gamma(\lambda + 1)}}{{\Gamma (\lambda + \alpha + 1)}}t^{\lambda + \alpha}. $$ -
(iii)
If \(\delta,\eta,\alpha> 0\), \(\gamma\geq0\), we have
$$I_{0+,\eta} ^{\gamma,\delta} t^{\alpha}= \frac{{t^{\alpha}\Gamma (\gamma + ({\alpha/ \eta}) + 1)}}{{\Gamma(\gamma + ({\alpha/ \eta}) + \delta + 1)}}. $$
Lemma 2.10
([1])
Assume that \(x\in C(0,1)\cap L^{1}(0,1)\) with a fractional derivative of order \(\alpha>0\) which belongs to \(C(0,1)\cap L^{1}(0,1)\). Then
for some \(c_{i}\in\mathbb{R}\), \(i=1,2,\dots,\mathbb{N}\), where \(\mathbb {N}=[\alpha]+1\).
Lemma 2.11
([29])
For any \(( {t,x} ) \in [ {0,1} ] \times\mathbb {R}\), \({\phi_{p ( t )}} ( x ) = { \vert x \vert ^{p ( t ) - 2}} x \) is a homeomorphism from \(\mathbb{R}\) to \(\mathbb{R}\). Moreover, it is strictly monotone increasing for any fixed t. Furthermore, for any \(t\in[0,1]\), its inverse operator \(\phi_{p ( t )}^{ - 1} ( \cdot )\) is defined by
that is continuous and sends bounded sets into bounded sets.
In order to make the continuation theorem of Mawhin applicable, the following lemma needs to be established.
Lemma 2.12
Problem (1.1) is equivalent to the following fractional integral boundary value problem:
Proof
Firstly, since \(D_{0 + }^{\alpha}x(0)=0\), it is clear that problem (1.1) implies (2.1). On the other hand, taking \(t = 0\) into the following equality
we have \(D_{0 + }^{\alpha}x(0)=0\). Additionally, making the operators \(\phi_{p(t)}\) and \(D_{0 + }^{\beta}\) act on both sides of the above equality, it follows that \(D_{0 + }^{\beta}\phi_{p ( t )} ( D_{0 + }^{\alpha} x(t) ) = f ( t,x( t ),D_{0 + }^{\alpha-2} x( t ) ,D_{0 + }^{\alpha-1} x( t ) )\). Thus, problem (2.1) implies (1.1). □
3 Main result
Let \(Y = C [ {0,1} ]\) with the norm \({ \Vert y \Vert _{\infty}} =\max_{t \in [ {0,1} ]} \vert {y ( t )} \vert \), \(X=\{x| x, {D_{0 + }^{\alpha-2} x},{D_{0 + }^{\alpha-1} x}\in C[0,1] \}\) with the norm \(\|x\|_{X}=\max\{\|x\|_{\infty},\|D_{0 + }^{\alpha-2} x\|_{\infty},\|D_{0 + }^{\alpha-1} x\|_{\infty}\}\). Clearly, X and Y are Banach spaces. Based on Lemma 2.12, we just need to consider the existence of solutions to problem (2.1). Define the operator \(L:\operatorname{dom}L \subset X \to Y\) by
where
Moreover, define \(N:X \to Y\) by
Then problem (1.1) is equivalent to the following operator equation:
Define the operators \({\Phi_{1}}, {\Phi_{2}}:Y \to Y \) by
Next, some important lemmas will be presented before establishing main conclusions.
Lemma 3.1
Let L be given by (3.1), then
Proof
It is clear that (3.2) is satisfied, which is linearly homeomorphic to \(\mathbb{R}^{2}\). If \(y\in\operatorname {Im}L\), we can find a function \(x\in\operatorname{dom}L\) such that \(y(t)=D_{0^{+} }^{\alpha}x(t)\). Based on Lemma 2.2 and Lemma 2.9, it follows
which together with the boundary conditions
yields that
and
By \((H)\), one has \(\Phi_{j}y(t)=0\), \(j=1,2\).
On the other hand, if y belongs to Y and satisfies \(\Phi_{j}y(t)=0\), \(j=1,2\), setting \(x(t) = I_{0^{+} }^{\alpha}y(t)\), one has \(x\in\operatorname{dom}L\) and \(Lx(t)=D_{0^{+} }^{\alpha}x(t)=y(t)\). Thus, \(y\in\operatorname{Im}L\) and (3.3) holds. □
For convenience, the following notations are given:
Lemma 3.2
If \(\Delta\neq0\), the continuous linear projection operators \(P:X \to X\) and \(Q:Y \to Y\) can be written as
where
Moreover, L is a Fredholm operator of index zero and \({K_{P}}:\operatorname{Im} L \to\operatorname{dom}L \cap\operatorname {Ker}P\) can be presented as follows:
Proof
For the operator P, it is clear that for \(x\in X\), \({P^{2}}x = Px\), \(\operatorname{Im} P = \operatorname{Ker}L\), and \(X = \operatorname {Ker}L \oplus\operatorname{Ker}P\). For the operator Q, if \(y\in Y\), then
Thus, \({Q^{2}}y = Qy\). Next, we will show \(\operatorname{Ker} Q = \operatorname{Im} L\). In fact, if \(y \in\operatorname{Ker} Q \subset Y\), we can get \({\Upsilon _{1}}y = {\Upsilon_{2}}y = 0\), i.e.,
which together with \(\Delta\neq0\) yields \(\Phi_{1} y(t)=\Phi_{2} y(t)=0\) and \(\operatorname{Ker} Q \subset\operatorname{Im} L\). If \(y \in \operatorname{Im} L \subset Y\), from (3.2), it is clear that \(\operatorname{Im} L \subset\operatorname{Ker} Q \). Thus, \(\operatorname{Im} L = \operatorname{Ker} Q \), which together with \({Q^{2}}y = Qy\) implies \(Y = \operatorname{Im} L \oplus\operatorname{Im} Q\). Thus, the operators P and Q are well defined. Moreover,
which means that L is a Fredholm operator of index zero.
Finally, \({K_{P}} x= { ( {L \vert {_{\operatorname{dom}L \cap \operatorname{Ker} P}} } )^{ - 1}}(x)\) will be proved. On the one hand, if \(x \in\operatorname{dom}L \cap\operatorname{Ker} P\), one has
which together with \(x(0)=0\) yields \({K_{P}}Lx ( t ) = I_{0 + }^{\alpha}D_{0 + }^{\alpha}x ( t ) = x ( t )\). On the other hand, if \(y \in\operatorname{Im} L\), it is clear that \(L{K_{P}}y = D_{0 + }^{\alpha}I_{0 + }^{\alpha}y = y\). The proof is complete. □
Theorem 3.3
Assume \(\Delta\neq0\) and the following conditions hold:
- \(({H}1)\):
-
There exist nonnegative functions \(h_{i}\in C[0,1]\), \(i=1,2,3,4\), such that, for any \(t \in [ {0,1} ]\), \(( {x,y,z} ) \in{\mathbb{R}^{3}}\),
$$\bigl\vert {f ( {t,x,y,z} )} \bigr\vert \le h_{1} ( t ) + h_{2} ( t ){ \vert x \vert ^{\theta - 1}} +h_{3} ( t ){ \vert y \vert ^{\theta - 1}}+ h_{4} ( t ){ \vert z \vert ^{\theta - 1}},\quad 1 < \theta \le{P_{m}}, $$where \({P_{m}} = \min_{t \in [ {0,1} ]} p ( t )\).
- \((H2)\):
-
For \(x\in\operatorname{dom}L\), there exists a constant \(B_{1}>0\) such that if \(|D_{0 + }^{\alpha-2} x(t)|>B_{1}\) for any \(t\in [\xi_{2},1]\), either
$$\operatorname{sgn}\bigl\{ D_{0 + }^{\alpha-2} x(t)\bigr\} \Phi_{2}Nx(t)>0\quad \textit{or}\quad \operatorname{sgn}\bigl\{ D_{0 + }^{\alpha-2} x(t)\bigr\} \Phi_{2}Nx(t)< 0. $$ - \((H3)\):
-
For \(x\in\operatorname{dom}L\), there exists a constant \(B_{2}>0\) such that if \(|D_{0 + }^{\alpha-1} x(t)|>B_{2}\) for any \(t\in [0,\xi_{1}]\), either
$$\operatorname{sgn}\bigl\{ D_{0 + }^{\alpha-1} x(t)\bigr\} \Phi_{1}Nx(t)>0 \quad\textit{or} \quad\operatorname{sgn}\bigl\{ D_{0 + }^{\alpha-1} x(t)\bigr\} \Phi_{1}Nx(t)< 0. $$
Then problem (1.1) admits at least one solution, provided that
Proof
Let
where \(J^{-1}: \operatorname{Ker}L \rightarrow\operatorname{Im}Q\) is defined by \(J ( {{c_{1}} t^{\alpha-1} + {c_{2}}t^{\alpha-2} } ) = \frac{1}{\Delta} ( {{\Delta_{4}}{c_{1}} - {\Delta_{3}}{c_{2}}} )t^{\alpha-1} + \frac{1}{\Delta} ( { - {\Delta_{2}}{c_{1}} + {\Delta _{1}}{c_{2}}} )t^{\alpha-2}\), \({c_{1}},{c_{2}} \in{\mathbb{R}}\).
For any \(x\in\Omega_{1}\), clearly, \(Nx \in\operatorname{Im} L = \operatorname{Ker} Q\) and \(QNx = 0\), which implies \(\Phi_{1}Nx=\Phi_{2} Nx=0\). In view of \((H2)\) and \((H3)\), we can find two constants \(\mu _{1}, \mu_{2}\in[0,1]\) such that \(\vert {D_{0^{+} }^{\alpha - 2} x(\mu _{1} )} \vert \le B_{1} \), \(\vert {D_{0^{+} }^{\alpha - 1} x(\mu_{2} )} \vert \le B_{2}\). Thus, from Lemma 2.8, one has
which leads to \(\Vert {D_{0 + }^{\alpha - 1} x} \Vert _{\infty}\le B_{2} + \Vert {D_{0 + }^{\alpha}x} \Vert _{\infty}\) and \(\Vert {D_{0 + }^{\alpha - 2} x} \Vert _{\infty}\le B_{2} +B_{1}+ \Vert {D_{0 + }^{\alpha}x} \Vert _{\infty}\). Moreover, based on \(x(0)=0\), it follows that
which yields
Thus, \(\|x\|_{\infty} \leq\frac{B_{1} +B_{2}}{\Gamma(\alpha-1)}+\frac {\|D_{0 + }^{\alpha} x\|_{\infty}}{\Gamma(\alpha-1)}\). From \(Lu =\lambda Nu\), we know that
Taking the operator \(\phi_{p(t)}\) act on both sides of the above equality, we have
In view of \((H1)\) and \(\lambda\in(0,1)\), one has
which together with the basic inequality \((x+y)^{p}\leq 2^{p}(x^{p}+y^{p})\), \(x,y,p>0\) yields
where
Thus, it follows that
Clearly, \(\frac{\theta-1}{p(t)-1}\in(0,1]\), based on the basic inequality \(x^{l}\leq x+1\), for \(x>0\), \(l\in(0,1]\), we can obtain that
which together with (3.4) implies that there exists a positive constant \(M_{1}\) such that \(\Vert D_{0 + }^{\alpha}x \Vert _{\infty }\leq M_{1}\), \(\Vert {D_{0 + }^{\alpha - 1} x} \Vert _{\infty}\le B_{2} + M_{1}\), \(\Vert {D_{0 + }^{\alpha - 2} x} \Vert _{\infty}\le B_{2} +B_{1}+ M_{1} \), and \(\|x\|_{\infty} \leq\frac{B_{1} +B_{2}+M_{1}}{\Gamma(\alpha-1)}\). Thus, \(\|x\|_{X}\leq M\), where \(M=\max\{B_{2} + M_{1}, B_{2} +B_{1}+ M_{1}, \frac{B_{1} +B_{2}+M_{1}}{\Gamma(\alpha-1)}\}\).
If \(x\in\Omega_{2}\), then \(x(t)=c_{1}t^{\alpha-1}+c_{2}t^{\alpha-2}\), \(c_{1},c_{2}\in\mathbb{R}\) and \(Nx \in\operatorname{Im} L\). Therefore, one has \(QN(c_{1}t^{\alpha-1}+c_{2}t^{\alpha-2})=0\) and
which together with \((H2)\) and \((H3)\) yields \(|c_{1}|\leq\frac {B_{2}}{\Gamma(\alpha)}\) and \(|c_{2}|\leq\frac{B_{1}+B_{2}}{\Gamma (\alpha-1)}\). Thus, \(\Omega_{2}\) is bounded.
If \(x\in\Omega_{3}\), we can obtain that \(x(t)=c_{1}t^{\alpha -1}+c_{2}t^{\alpha-2}\), \(c_{1},c_{2}\in\mathbb{R}\) and
which implies
Based on \(\Delta\neq0\), we have
For \(\lambda=1\), one has \(c_{1}=c_{2}=0\), which means \(\Omega_{3}\) is bounded. For \(\lambda=0\), in view of the first inequality of \((H2)\) and \((H3)\), it follows that \(\Omega_{3}\) is bounded. For \(\lambda\in(0, 1)\), one has
From (3.7) and the first inequality of \((H3)\), it follows that \(|c_{1}|\leq\frac{B_{2}}{\Gamma(\alpha)}\). Since (3.8) holds for all \(t\in[0,\xi_{1}]\), by choosing \(t=0\), we can obtain that
which together with the first inequality of \((H2)\) yields \(|c_{2}|\leq \frac{B_{1}+B_{2}}{\Gamma(\alpha-1)}\). Hence, \(\Omega_{3}\) is bounded. Similarly, based on the second inequality of \((H2)\) and \((H3)\), we can get that
is bounded.
Set \(\Omega=\{x\in X| \|x\|_{X} < \max\{M,B_{1}+2B_{2}, \frac {B_{2}}{\Gamma(\alpha)}+\frac{B_{1}+B_{2}}{\Gamma(\alpha-1)}\}+1\}\). By the continuity of f, it is clear that \(QN:\overline{\Omega}\to Y\) is bounded and \({K_{P}} ( {I - Q} )N:\overline{\Omega}\to X\) is compact, i.e., N is L-compact on Ω̅. Moreover, from Lemma 3.1, L is a Fredholm operator of index zero. Furthermore, based on the definition of Ω, one has:
-
(i)
\(Lx\neq\lambda Nx\) for every \((x,\lambda)\in[(\operatorname {dom}L\setminus\operatorname{Ker}L)\cap\partial\Omega]\times(0,1)\);
-
(ii)
\(Nx\notin\operatorname{Im}L\) for every \(x\in\operatorname {Ker}L\cap\partial\Omega\).
Define
Clearly, \(H(x,\lambda)\neq0\) for every \(x\in\operatorname{Ker} L\cap \partial\Omega\). Hence, in view of the homotopic property of degree, it follows that
Therefore, from Lemma 2.2, we can get that \(Lx=Nx\) admits at least one solution in \(\operatorname{dom} L\cap\overline{\Omega}\). Then problem (1.1) possesses at least one solution. □
Corollary 3.4
Let \(p(t)=p\), \(\Delta\neq0\), \((H2)\), \((H3)\), and the following condition hold.
- \(({H}1)'\):
-
There exist nonnegative functions \(h_{i}\in C[0,1]\), \(i=1,2,3,4\), such that, for any \(t \in [ {0,1} ]\), \(( {x,y,z} ) \in{\mathbb{R}^{3}}\),
$$\bigl\vert {f ( {t,x,y,z} )} \bigr\vert \le h_{1} ( t ) + h_{2} ( t ){ \vert x \vert ^{p - 1}} +h_{3} ( t ){ \vert y \vert ^{p - 1}}+ h_{4} ( t ){ \vert z \vert ^{p - 1}}. $$
Then problem (1.1) admits at least one solution, provided that
Corollary 3.5
Let \(\gamma_{1} = \gamma_{2}\), \(\delta_{1} = \delta_{2}\), \(\eta_{1} = \eta _{2} = 1\), and \(0 < \xi_{1} < \xi_{2} \le\frac{{\alpha + \beta - 1}}{{1 + \alpha}} < 1\), \(\nu_{1}>0\), \(\alpha b_{1}+ a_{1}>0\). Assume that \((H1)\), \((H2)\), and \((H3)\) hold. Then problem (1.1) has at least one solution, provided that (3.4) holds.
Proof
From Theorem 3.3, we just need to prove \(\Delta\neq0\). In fact,
where
Since \(0 < \xi_{1} < \xi_{2} < 1\) and \(\nu_{1} > 0\), we have \(A_{4} > A_{2}\). Next, we will prove \(A_{1} > A_{3}\). Based on \(\Gamma(x + 1) = x\Gamma(x)\) for \(x > 0\) and \(\delta_{1} > 0\), it follows
which together with \(2 < \alpha \le3\), \(0 < \beta \le1\), and \(0 < \xi_{1} < \xi_{2} \le\frac{{\alpha + \beta - 1}}{{1 + \alpha}} < 1\) yields that
Thus, we have \(\Delta>0\). The proof is complete. □
Example 3.6
Consider the following example:
where \(\beta=\frac{1}{2}\), \(\alpha=\frac{5}{2}\), \(p(t)=3\), \(\gamma _{1}=0\), \(\gamma_{2}=\frac{1}{2}\), \(\eta_{1}=\eta_{2}=1\), \(\delta _{1}=\frac{1}{2}\), \(\delta_{2}=1\), \(\xi_{1}=\frac{2}{3}\), \(\xi_{2}=\frac {3}{4}\), \(\nu_{1}=(\frac{2}{3})^{\frac{1}{2}}\), \(\nu_{2}=(\frac {3}{4})^{\frac{1}{2}}\), \(a_{1}=\frac{2}{3}\), \(a_{2}=\frac{3}{4\Gamma (\frac{1}{2})}\), \(b_{1}=-\frac{4}{9}\), \(b_{2}= \frac{1}{4\Gamma(\frac{1}{2})}\),
By simple calculation, it is clear that \(\Delta\neq0\) and \((H)\) is satisfied. Moreover,
where \(h_{1} ( t )=\frac{t^{2}}{32}+1\), \(h_{2} ( t )=\frac{t^{2}}{32}\),
which implies that (3.4) and \((H1)\) hold. Let \(D_{0 + }^{\frac {1}{2}} x(t)>1\) for any \(t\in[\frac{3}{4},1]\). Since \(f(t,x,y,z)>0\), we have \(\operatorname{sgn}\{D_{0 + }^{\frac{1}{2}} x(t)\}\Phi_{2}Nx(t)>0\). Similarly, if \(D_{0 + }^{\frac{1}{2}} x(t)<-1\) for any \(t\in[\frac {3}{4},1]\), it follows \(\operatorname{sgn}\{D_{0 + }^{\frac{1}{2}} x(t)\}\Phi_{2}Nx(t)<0\). Hence, \((H2)\) is satisfied. If \(D_{0 + }^{\frac {3}{2}} x(t)>1\) for any \(t\in[0,\frac{2}{3}]\), we have \(1< f(t,x,y,z)<\frac{75}{72}\) and
Since
and \(- (\frac{2}{3})^{\frac{1}{2}} I_{0 + ,1 }^{0 ,\frac{1}{2}} I_{0 + }^{\frac{5}{2}} Nx(\frac{2}{3} )<0\), we can obtain \(\operatorname{sgn}\{ D_{0 + }^{\frac{3}{2}} x(t)\}\Phi_{1}Nx(t)<0\). Similarly, if \(D_{0 + }^{\frac{3}{2}} x(t)<-1\) for any \(t\in[0,\frac{2}{3}]\), one has \(\operatorname{sgn}\{D_{0 + }^{\frac{1}{2}} x(t)\}\Phi_{1}Nx(t)>0\). Therefore, \((H3)\) is verified. Based on the above facts, problem (3.10) has at least one solution.
4 Conclusions
This paper is concerned with the solvability for Erdélyi–Kober fractional integral boundary value problems with \(p ( t )\)-Laplacian operator at resonance. By employing the coincidence degree method of Mawhin, some new results on the existence of solutions are acquired. It should be emphasized that the Erdélyi–Kober fractional integral operator is a generalization of the integral of integer order and can convert into Riemann–Liouville fractional integral with a power weight when \(\eta=1\) and \(\gamma=0\). So, a problem of this type becomes more interesting and challenging. Moreover, we consider the Erdélyi–Kober fractional integral boundary value problems with \(p ( t )\)-Laplacian operator at resonance when the dimension of the kernel of operator \(D_{0^{+} }^{\beta}\varphi_{p(t)} (D_{0^{+} }^{\alpha}x)\) is equal to 2, which causes a lot of difficulties such as constructing continuous linear projections. Thus, our results extend and enrich some existing papers. Furthermore, there are few papers studying fractional integral boundary value problem with \(p(t)\)-Laplacian operator.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Leszczynski, J., Blaszczyk, T.: Modeling the transition between stable and unstable operation while emptying a silo. Granul. Matter 13, 429–438 (2011)
Bai, J., Feng, X.: Fractional-order anisotropic diffusion for image denoising. IEEE Trans. Image Process. 16, 2492–2502 (2007)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Magin, R.: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586–1593 (2010)
Chen, Y., Levine, S., Rao, M.: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 66, 1383–1406 (2006)
Szymanek, E.: The application of fractional order differential calculus for the description of temperature profiles in a granular layer. In: Mitkowski, W., Kacprzyk, J., Baranowski, J. (eds.) Advances in the Theory and Applications of Non-integer Order Systems. LNEE, vol. 275. Springer, Cham (2013)
Ahmad, B., Nieto, J.J.: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray–Schauder degree theory. Topol. Methods Nonlinear Anal. 35(2), 295–304 (2010)
Ahmad, B., Ntouyas, S.K.: On perturbed fractional differential inclusions with nonlocal multi-point Erdélyi–Kober fractional integral boundary conditions. Mediterr. J. Math. 14(1), Article ID 27 (2017)
Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403–411 (2012)
Hu, Z., Liu, W.: Solvability for fractional order boundary value problem at resonance. Bound. Value Probl. 2011, Article ID 20 (2011)
Bai, Z.: Solvability for a class of fractional m-point boundary value problem at resonance. Comput. Math. Appl. 62, 1292–1302 (2011)
Kosmatov, N.: A boundary value problem of fractional order at resonance. Electron. J. Differ. Equ. 2010, Article ID 135 (2010)
Jiang, W.: The existence of solutions to boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 74, 1987–1994 (2011)
Nyamoradi, N., Tayyebi, E.: Existence of solutions for a class of fractional boundary value equations with impulsive effects via critical point theory. Mediterr. J. Math. 15, Article ID 79 (2018)
Jiao, F., Zhou, Y.: Existence results for fractional boundary value problem via critical point theory. Int. J. Bifurc. Chaos 22(4), Article ID 1250086 (2012)
Ge, W., Ren, J.: An extension of Mawhin’s continuation theorem and its application to boundary value problems with a p-Laplacian. Nonlinear Anal. 58, 477–488 (2004)
Lu, S., Gui, Z.: On the existence of periodic solutions to p-Laplacian Rayleigh differential equation with a delay. J. Math. Anal. Appl. 325(1), 685–702 (2007)
Pang, H., Ge, W., Tian, M.: Solvability of nonlocal boundary value problems for ordinary differential equation of higher order with a p-Laplacian. Comput. Math. Appl. 56, 127–142 (2008)
Mahmudov, N.I., Unul, S.: Existence of solutions of fractional boundary value problems with p-Laplacian operator. Bound. Value Probl. 2015, Article ID 99 (2015)
Chen, T., Liu, W., Hu, Z.: A boundary value problem for fractional differential equation with p-Laplacian operator at resonance. Nonlinear Anal. 75, 3210–3217 (2012)
Chen, T., Liu, W.: An anti-periodic boundary value problem for the fractional differential equation with a p-Laplacian operator. Appl. Math. Lett. 25, 1671–1675 (2012)
Chai, G.: Positive solutions for boundary value problem of fractional differential equation with p-Laplacian operator. Bound. Value Probl. 2012, Article ID 18 (2012)
Shen, T., Liu, W.: Existence of solutions for fractional integral boundary value problems with \(p(t)\)-Laplacian operator. J. Nonlinear Sci. Appl. 9, 5000–5010 (2016)
Pélissier, M.C., Reynaud, M.L.: Etude d’un modèle mathématique d’écoulement de glacier. C. R. Acad. Sci. Paris, Ser. I 279, 531–534 (1974)
Kawohl, B.: On a family of torsional creep problems. J. Reine Angew. Math. 410, 1–22 (1990)
Leibenson, L.: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk Kirg. SSR Geogr. Geophys. 9, 7–10 (1983)
Fan, X., Zhang, Q., Zhao, D.: Eigenvalues of \(p(x)\)-Laplacian Dirichlet problem. J. Math. Anal. Appl. 302, 306–317 (2005)
Zhang, Q., Wang, Y., Qiu, Z.: Existence of solutions and boundary asymptotic behavior of \(p(r)\)-Laplacian equation multi-point boundary value problems. Nonlinear Anal. 72, 2950–2973 (2010)
Mawhin, J.: Topological degree and boundary value problems for nonlinear differential equations in topological methods for ordinary differential equations. In: Topological Methods for Ordinary Differential Equations. Lecture Notes in Math., vol. 1537, pp. 74–142. Springer, Berlin (1993)
Kober, H.: On fractional integrals and derivatives. Q. J. Math. Oxf. Ser. (2) 1, 193–211 (1940)
Acknowledgements
The authors wish to express their sincere appreciation to the editor and referees for their useful suggestions which have significantly improved the paper.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analysed during the current study.
Funding
This work is supported by the Research Initiation Foundation of Xuzhou Medical University (N0. D2019003) and the Natural Science Foundation of Jiangsu Province (No. BK20190620).
Author information
Authors and Affiliations
Contributions
The authors contributed equally in this article. They have all 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
Shen, X., Shen, T. Existence of solutions for Erdélyi–Kober fractional integral boundary value problems with \(p ( t )\)-Laplacian operator. Adv Differ Equ 2020, 565 (2020). https://doi.org/10.1186/s13662-020-03015-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03015-y