Abstract
The Sturm–Liouville differential equation is one of interesting problems which has been studied by researchers during recent decades. We study the existence of a solution for partial fractional Sturm–Liouville equation by using the α-ψ-contractive mappings. Also, we give an illustrative example. By using the α-ψ-multifunctions, we prove the existence of solutions for inclusion version of the partial fractional Sturm–Liouville problem. Finally by providing another example and some figures, we try to illustrate the related inclusion result.
Similar content being viewed by others
1 Introduction
It can be said that most physical or engineering phenomena can be modeled with some categories such time-dependent (or time-fractional), fractional differential and some variables partial equations. One can find many published papers on delayed time-fractional problems, fractional differential equations [1–30] and some variables partial fractional problems [31–36]. During the history of mathematics, physics and engineering, we can find many equations which have a special role in progress of these sciences. One of the important frameworks of problems is the Sturm–Liouville differential equation (in brief SLDE) have been in the spotlight of the mathematicians of applied mathematics, engineering and scientists of physics, quantum mechanics, classical mechanics (see, [37, 38] and the references therein). In such a manner, it is important that mathematicians and researchers design complicated and more general abstract mathematical models of procedures in the format of applicable fractional SLDE [33, 39–41]. One can find a variety of recent work about this equation, but the aim of this work is studying partial version of the Sturm–Liouville differential equation.
Let \(\hat{k}=(\hat{k}_{1},\hat{k}_{2})\) where \(\hat{k}_{1},\hat{k}_{2}>0\) and \(\mathcal{J}_{a_{0}}=[0,a_{0}]\) and \(\mathcal{J}_{b_{0}}=[0,b_{0}]\) where \(a_{0},b_{0}>0\). For \(\sigma \in \mathcal{L}^{1}(\mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}, \mathbb{R})=\mathcal{L}^{1}(\mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}})\), the partial left-sided mixed Riemann–Liouville integral (of order k̂) is defined by (see [42])
Also the partial derivative in the sense of Caputo (of order k̂) is defined by
Let \((\mathcal{Z}^{\star },d_{\mathcal{Z}^{\star }})\) be a metric space. \(\mathcal{P}_{cl}(\mathcal{Z}^{\star })\) the set of all closed subsets of \(\mathcal{Z}^{\star }\) and \(2^{\mathcal{Z}^{\star }}\) the set of all nonempty subsets of \(\mathcal{Z}^{\star }\). It is well known that the Pompeiu–Hausdorff metric \(PH_{d_{\mathcal{Z}^{\star }}}:\mathcal{P}_{cl}(\mathcal{Z}^{\star }) \times \mathcal{P}_{cl}(\mathcal{Z}^{\star })\to \mathbb{R}\cup \{ \infty \}\) is defined by
for all \(A_{1}^{d_{\mathcal{Z}^{\star }}}, A_{2}^{d_{\mathcal{Z}^{\star }}}\in \mathcal{P}(\mathcal{Z}^{\star })\), where \(d_{\mathcal{Z}^{\star }}(a_{1}^{\star },A_{2}^{d_{\mathcal{Z}^{\star }}})= \inf_{a_{1}^{\star }\in A_{1}^{d_{\mathcal{Z}^{\star }}}} d_{ \mathcal{Z}^{\star }}(a_{1}^{\star },a_{2}^{\star })\) and \(d_{\mathcal{Z}^{\star }}(A_{1}^{d_{\mathcal{Z}^{\star }}}, a_{2}^{\star })= \inf_{a_{2}^{\star }\in A_{2}^{d_{\mathcal{Z}^{\star }}}} d_{ \mathcal{Z}^{\star }}(a_{1}^{\star },a_{2}^{\star })\) [43]. We say that a set-valued mapping \(\Psi: \mathcal{Z}^{\star }\to \mathcal{P}_{cl}(\mathcal{Z}^{\star })\) is called Lipschitzian with Lipschitz constant \(k>0\) whenever \(PH_{d_{\mathcal{Z}^{\star }}}(\Psi (\sigma _{1}),\Psi (\sigma _{1})) \leq kd_{\mathcal{Z}^{\star }}(\sigma _{1},\sigma _{2})\) for all \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\). If \(0< k<1\), then we ay that Ψ is a contraction [43]. An operator \(\Psi: [0,1]\to \mathcal{P}_{cl}(\mathcal{R})\) is called measurable whenever the function \(t\to d_{\mathcal{Z}^{\star }}(\omega _{0},\Psi (t))=\inf \{|\omega _{0}-y|: y\in \Psi (t) \}\) is measurable for all real constant ω [43, 44]. The following notions were introduced in 2012 [45].
-
\(\Psi = \{\psi | \sum_{n=1}^{\infty }\psi ^{n}(t)<\infty, \forall t>0\}\) where \(\psi: [0,\infty )\times [0,\infty )\to [0,\infty )\).
-
Assume that \(\alpha:\mathcal{Z}^{\star }\times \mathcal{Z}^{\star }\to [0,\infty )\) and \(T:\mathcal{Z}^{\star }\to \mathcal{Z}^{\star }\) are two mappings. Now T is α-admissible whenever for each \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\) with \(\alpha (\sigma _{1},\sigma _{2})\geq 1\), we get \(\alpha (T\sigma _{1},T\sigma _{2})\geq 1\).
-
T is α-ψ-contractive mapping whence \(\alpha (\sigma _{1},\sigma _{2})d_{\mathcal{Z}^{\star }}(T\sigma _{1},T \sigma _{2})\leq \psi (d_{\mathcal{Z}^{\star }}(\sigma _{1},\sigma _{2}))\) for all \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\).
Lemma 1
([45])
Assume that the metric space \((\mathcal{Z}^{\star }, d_{\mathcal{Z}^{\star }})\) is complete, T is α-admissible and α-ψ-contractive mapping and there exists \(\sigma _{0}\in \mathcal{Z}^{\star }\) such that \(\alpha (\sigma _{0},T\sigma _{0})\geq 1\). Further, for every convergent sequence \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) with \(\sigma _{n}\to \sigma \) and \(\alpha (\sigma _{n},\sigma _{n+1})\geq 1\) for all \(n\geq 1\), we have \(\alpha (\sigma _{n},\sigma )\geq 1\) for all \(n\geq 1\). Then T has a fixed point.
After this, multifunction version of α-ψ-contractive maps introduced in 2013 as follows [46].
-
A multifunction \(F: \mathcal{Z}^{\star } \to CB(\mathcal{Z}^{\star })\) is α-admissible whenever for each \(\sigma _{1} \in \mathcal{Z}^{\star }\) and \(\sigma _{2} \in F\sigma _{1}\) with \(\alpha (\sigma _{1}, \sigma _{2}) \geq 1\), we have \(\alpha (\sigma _{2},w_{0}) \geq 1\), for all \(w_{0} \in F\sigma _{2}\).
-
The metric space \(\mathcal{Z}^{\star }\) possesses the \(C_{\alpha }\)-property if for every convergent sequence \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) with \(\sigma _{n}\to \sigma \) and \(\alpha (\sigma _{n},\sigma _{n+1})\geq 1\) for all \(n\geq 1\), there exists a subsequence \(\{\sigma _{n_{j}}\}_{j\geq 1}\) of \(\sigma _{n}\) such that \(\alpha (\sigma _{n_{j}},\sigma )\geq 1\) for all \(j\geq 1\).
-
F is α-ψ-contractive multifunction whenever \(\alpha (\sigma _{1},\sigma _{2})PH_{d_{\mathcal{Z}^{\star }}}(T \sigma _{1},T\sigma _{2})\leq \psi (d_{\mathcal{Z}^{\star }}(\sigma _{1}, \sigma _{2}))\) for all \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\).
Lemma 2
([46])
Assume that the metric space \((\mathcal{Z}^{\star }, d_{\mathcal{Z}^{\star }})\) is complete, F is α-admissible and α-ψ-contractive multifunction and there exist \(\sigma _{0}\in \mathcal{Z}^{\star }\) and \(\sigma _{1}\in F\sigma _{0}\) such that \(\alpha (\sigma _{0},\sigma _{1})\geq 1\). If \(\mathcal{Z}^{\star }\) possesses the \(C_{\alpha }\)-property, then F has a fixed point.
In this paper, first we investigate the partial fractional Sturm–Liouville differential equation
where \(\hat{k},\hat{\ell }\in (0,1]\times (0,1]\), \(D^{\hat{k}}_{c_{0}}\) and \(D^{\hat{\ell }}_{c_{0}}\) denote the Caputo partial fractional derivatives, \(l,o,h\) belong to \(\mathcal{C}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\) with \(l(p^{\star },q^{\star })\neq 0\) for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\) and \(f:\mathbb{R}\to \mathbb{R}\) is a function. Here, \(\theta _{1}:\mathcal{J}_{a_{0}}\to \mathbb{R}\), \(\theta _{2}:\mathcal{J}_{b_{0}}\to \mathbb{R}\), \(\kappa:\mathcal{J}_{a_{0}}\to \mathbb{R}\) and \(\omega:\mathcal{J}_{b_{0}}\to \mathbb{R}\) are absolutely continuous with \(\theta _{1}(0)=\theta _{2}(0)=\kappa (0)=\omega (0)\). Also, we investigate the partial fractional Sturm–Liouville differential inclusion problem
where \(\hat{k},\hat{\ell }\in (0,1]\times (0,1]\), \(D^{\hat{k}}_{c_{0}}\) and \(D^{\hat{\ell }}_{c_{0}}\) denote the Caputo partial fractional derivatives, \(l,o,h\) belong to \(\mathcal{C}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\) with \(l(p^{\star },q^{\star })\neq 0\) for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\) and \(f:\mathbb{R}\to \mathbb{R}\) is a function. Here, \(\theta _{1}:\mathcal{J}_{a_{0}}\to \mathbb{R}\), \(\theta _{2}:\mathcal{J}_{b_{0}}\to \mathbb{R}\), \(\kappa:\mathcal{J}_{a_{0}}\to \mathbb{R}\) and \(\omega:\mathcal{J}_{b_{0}}\to \mathbb{R}\) are absolutely continuous with \(\theta _{1}(0)=\theta _{2}(0)=\kappa (0)=\omega (0)\). Also, \(\mathcal{H}:\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\times \mathbb{R}\to \mathcal{P}_{cl}(\mathbb{R})\) is an integrable bounded multifunction so that \(\mathcal{H} (.,.,\sigma )\) is measurable for all \(\sigma \in \mathbb{R}\).
2 Main results
Assume that \(\mathcal{Z}^{\star }=\{\sigma | \sigma \in \mathcal{C}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\}\) and \(\|\sigma \|=\sup_{(p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}}|\sigma (p^{\star },q^{\star })|\), where \(\sigma \in \mathcal{Z}^{\star }\). Then \((\mathcal{Z}^{\star },\|.\|)\) is a Banach space.
Lemma 3
Let \(\hat{k}=(\hat{k}_{1},\hat{k}_{2}),\hat{\ell }=(\hat{\ell }_{1}, \hat{\ell }_{2})\in (0,1]\times (0,1]\) and \(g\in \mathcal{L}^{1}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\). Consider the problem
with boundary conditions
Then the function \(\sigma \in \mathcal{C}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\) is a solution of the problem (3)–(4) whenever
where
Proof
Note that Eq. (3) can be written as
Operating by \(\mathcal{I}^{\hat{k}}_{0}\) on both sides we get
Since
we get \(l(p^{\star },q^{\star })\mathcal{D}^{\hat{\ell }}_{c_{0}}\sigma (p^{ \star },q^{\star })=\theta _{1}(p^{\star })+\theta _{2}(q^{\star })- \theta _{1}(0)+\mathcal{I}^{\hat{k}}_{0}g(p^{\star },q^{\star })\). Hence,
This equation can be written as
Again operating by \(\mathcal{I}^{\hat{\ell }}_{0}\) on both sides, we obtain
Since
we get
On the other hand,
and so
This completes the proof. □
Now we establish and prove our first main theorem.
Theorem 4
Assume that \(\upsilon: \mathbb{R}\times \mathbb{R}\to \mathbb{R}\) is a function and \(\Phi: \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\to [0,\infty )\) is a bounded function such that
for all \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\) with \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\), where \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Suppose that, for all \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\) with \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\), we have \(\upsilon (\mathcal{Q}_{\bar{0}}^{\star }\sigma _{1}(p^{\star },q^{ \star }),\mathcal{Q}_{\bar{0}}^{\star }\sigma _{2}(p^{\star },q^{\star })) \geq 0\), where
\(\Theta (p^{\star },q^{\star })=\kappa (p^{\star })+\omega (q^{\star })- \kappa (0)+\mathcal{I}^{\hat{\ell }}_{0} ( \frac{\theta _{1}(p^{\star })+\theta _{2}(q^{\star })-\theta _{1}(0)}{l(p^{\star },q^{\star })} )\),
and there exists \(\sigma _{0}\) so that \(\upsilon (\sigma _{0}(p^{\star },q^{\star }),\mathcal{Q}_{\bar{0}}^{ \star }\sigma _{0}(p^{\star },q^{\star }))\geq 0\) whenever \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Assume that, for every sequence \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) with \(\sigma _{n}\to \sigma \) and \(\upsilon (\sigma _{n}(p^{\star },q^{\star }),\sigma _{n+1}(p^{\star },q^{ \star }))\geq 0\) for all \(n\geq 1\) and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\), we have \(\upsilon (\sigma _{n}(p^{\star },q^{\star }),\sigma (p^{\star },q^{ \star }))\geq 0\) for all \(n\geq 1\) and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). If \(\frac{a_{0}^{\hat{k}_{1}+\hat{\ell }_{1}}b_{0}^{\hat{k}_{2}+\hat{\ell }_{2}}(\|h\|\Phi ^{*}+\|o\|)}{l\Gamma (\hat{k}_{1}+\hat{\ell }_{1}+1)\Gamma (\hat{k}_{2}+\hat{\ell }_{2}+1)}<1\), then the fractional Sturm–Liouville problem (1) has a solution, where \(\Phi ^{*}=\sup_{(p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}}\Phi (p^{\star },q^{\star })\) and
Proof
By using Lemma 3, \(\sigma _{0}\) is a solution of the partial fractional Sturm–Liouville problem (1) if and only if \(\sigma _{0}=\mathcal{Q}_{\bar{0}}^{\star }\sigma _{0}\). Let \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\) and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\) with
Hence, we get
where \(\mathcal{N}(\wp _{\bar{1}},\zeta _{\bar{2}})=\mathcal{H}(\wp _{ \bar{1}},\zeta _{\bar{2}},\sigma _{1}(\wp _{\bar{1}},\zeta _{\bar{2}}))- \mathcal{H}(\wp _{\bar{1}},\zeta _{\bar{2}},\sigma _{2}(\wp _{\bar{1}}, \zeta _{\bar{2}}))\). Since
we have
where
Put \(s=a_{0}u\) and \(t=b_{0}v\). Thus, we obtain
On the other hand,
and
Hence,
By using (5), we derive
which means \(\|\mathcal{Q}_{\bar{0}}^{\star }\sigma _{1}-\mathcal{Q}_{\bar{0}}^{ \star }\sigma _{2}\|\leq \frac{a_{0}^{\hat{k}_{1}+\hat{\ell }_{1}}b_{0}^{\hat{k}_{2}+\hat{\ell }_{2}}(\|h\|\Phi ^{*}+\|o\|)}{l\Gamma (\hat{k}_{1}+\hat{\ell }_{1}+1)\Gamma (\hat{k}_{2}+\hat{\ell }_{2}+1)} \|\sigma _{1}-\sigma _{2}\|\). Define \(\psi: [0,\infty )\to [0,\infty )\) and \(\alpha: \mathcal{Z}^{\star }\times \mathcal{Z}^{\star }\to [0,\infty )\) by \(\psi (t)= \frac{a_{0}^{\hat{k}_{1}+\hat{\ell }_{1}}b_{0}^{\hat{k}_{2}+\hat{\ell }_{2}}(\|h\|\Phi ^{*} +\|o\|)}{l\Gamma (\hat{k}_{1}+\hat{\ell }_{1}+1)\Gamma (\hat{k}_{2}+\hat{\ell }_{2}+1)}t\) and
It is clear that \(\psi \in \Psi \). If \(\alpha (\sigma _{1},\sigma _{2})\geq 1\), then \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\). From the hypotheses, \(\upsilon (\mathcal{Q}_{\bar{0}}^{\star }\sigma _{1}(p^{\star },q^{ \star }),\mathcal{Q}_{\bar{0}}^{\star }\sigma _{2}(p^{\star },q^{\star })) \geq 0\) and so \(\alpha (\mathcal{Q}_{\bar{0}}^{\star }\sigma _{1},\mathcal{Q}_{ \bar{0}}^{\star }\sigma _{2})\geq 1\). Thus, \(\mathcal{Q}_{\bar{0}}^{\star }\) is an α-admissible mapping. Also, there exists \(\sigma _{0}\in \mathcal{Z}^{\star }\) such that \(\alpha (\sigma _{0},\mathcal{Q}_{\bar{0}}^{\star }\sigma _{0})\geq 1\). For every sequence \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) with \(\sigma _{n}\to \sigma \) and \(\alpha (\sigma _{n},\sigma _{n+1})\geq 1\) for all \(n\geq 1\), we have \(\alpha (\sigma _{n},\sigma )\geq 1\) for all \(n\geq 1\). Assume that \(\alpha (\sigma _{1},\sigma _{2})=0\). Then \(\alpha (\sigma _{1},\sigma _{2})\|\mathcal{Q}_{\bar{0}}^{\star } \sigma _{1}-\mathcal{Q}_{\bar{0}}^{\star }\sigma _{2}\|=0\leq \psi (\| \sigma _{1}-\sigma _{2}\|)\) and so
for all \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\). Thus all conditions of Lemma 1 hold and so \(\mathcal{Q}_{\bar{0}}^{\star }\) has a fixed point which is a solution for the partial fractional Sturm–Liouville problem (1). □
Example 1
Consider the partial fractional Sturm–Liouville equation
Put \(\hat{k}=(\hat{k}_{1},\hat{k}_{2})=(\frac{999}{1000}, \frac{1999}{2000})\), \(\hat{\ell }=(\hat{\ell }_{1},\hat{\ell }_{2})=(\frac{89}{99}, \frac{79}{80})\), \(a_{0}=1\), \(b_{0}=1\), \(\theta _{1}(p^{\star })=\frac{1}{100}p^{\star ^{2}}\), \(\theta _{2}(q^{\star })=\frac{1}{400}q^{\star ^{3}}\), \(\kappa (p^{\star })=\frac{1}{500}p^{\star }\), \(\omega (q^{\star })=\frac{1}{350}q^{\star ^{2}}\), \(l(p^{\star },q^{\star })=100e^{-\sqrt[4]{p^{\star }}}\cosh q^{\star }\), \(o(p^{\star },q^{\star })= \frac{e^{-p^{\star }-q^{\star ^{3}}}}{300(1+p^{\star ^{2}}+q^{\star ^{2}})}\), \(h(p^{\star },q^{\star })=\frac{1}{600}e^{ \frac{p^{\star ^{2}}}{1+q^{\star ^{2}}}}\). The diagrams are plotted in Figs. 1 and 2, and obviously they satisfy the conditions of the partial Sturm–Liouville differential problem. Put \(f(r)=r\), \(\upsilon (r_{1},r_{2})=3\) whenever \(|r_{1}|\leq 1\) and \(|r_{2}|\leq 1\) and \(\upsilon (r_{1},r_{2})=-1\) otherwise, and
where
Note that \(\mathcal{H}(\wp _{\bar{1}},\zeta _{\bar{2}},\sigma (\wp _{\bar{1}}, \zeta _{\bar{2}}))=h(\wp _{\bar{1}},\zeta _{\bar{2}})f(\sigma (\wp _{ \bar{1}},\zeta _{\bar{2}}))-o(\wp _{\bar{1}},\zeta _{\bar{2}})\sigma ( \wp _{\bar{1}},\zeta _{\bar{2}})\). Now, assume that \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\). Then we have \(|\sigma _{1}(p^{\star },q^{\star })|\leq 1\) and \(|\sigma _{2}(p^{\star },q^{\star })|\leq 1\). Suppose that \(|\sigma _{1}(p^{\star },q^{\star })|\leq 1\). Then we get
and so
Also,
Therefore,
Similarly, we obtain \(|\mathcal{Q}_{\bar{0}}^{\star }\sigma _{1}(p^{\star },q^{\star })|\leq 1\) and \(\upsilon (\mathcal{Q}_{\bar{0}}^{\star }\sigma _{1}(p^{\star },q^{ \star }),\mathcal{Q}_{\bar{0}}^{\star }\sigma _{2}(p^{\star },q^{\star })) \geq 0\). Assume that \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) is a sequence such that \(\sigma _{n}\to \sigma \) and
for all \(n\geq 1\) and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Then we have \(|\sigma _{n}(p^{\star },q^{\star })|\leq 1\) and \(|\sigma _{n+1}(p^{\star },q^{\star })|\leq 1\) for all \(n\geq 1\) and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Since \(\sigma _{n}\to \sigma \), \(|\sigma (p^{\star },q^{\star })|=\lim_{n\to \infty } |\sigma _{n}(p^{ \star },q^{\star })|\leq 1\), we obtain \(\upsilon (\mathcal{Q}_{\bar{0}}^{\star }\sigma _{n}(p^{\star },q^{ \star }),\mathcal{Q}_{\bar{0}}^{\star }\sigma (p^{\star },q^{\star })) \geq 0\) for all \(n\geq 1\) and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Since \(|0|\leq 1\) and \(|\mathcal{Q}_{\bar{0}}^{\star } 0|\leq 1\), we get \(\upsilon (0,\mathcal{Q}_{\bar{0}}^{\star } 0)\geq 1\). Note that \(\Phi ^{*}=1\),
and \(\|h\|=\sup_{(p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}}\frac{1}{600}e^{ \frac{p^{\star ^{2}}}{1+q^{\star ^{2}}}}=\frac{e}{600}\). Hence,
Now by using Theorem 4, the problem (6) has a solution.
Definition 5
We say that a function \(\sigma \in \mathcal{C}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\) is a solution for the partial fractional Sturm–Liouville differential inclusion problem problem (2) whenever there is a function v in \(\mathcal{ L}^{1}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}, \mathbb{R})\) such that \(v(p^{\star },q^{\star })\in \mathcal{H} (p^{\star },q^{\star }, \sigma (p^{\star },q^{\star }) )\) for almost all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\),
and
for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\).
For given \(\sigma \in \mathcal{Z}^{\star }\), define the set
Assume that
- \((H1)\):
-
\(\mathcal{H}:\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\times \mathbb{R}\to \mathcal{P}_{cl}(\mathbb{R})\) is an integrable bounded multifunction so that
\(\mathcal{H} (\cdot,\cdot,\sigma )\) is measurable for all \(\sigma \in \mathbb{R}\).
- \((H2)\):
-
There exists \(\rho \in \mathcal{C}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}, \mathbb{R}^{+})\) so that
$$\begin{aligned} PH_{d_{\mathcal{Z}^{\star }}}\bigl(\mathcal{H} \bigl(p^{\star },q^{ \star },r_{1} \bigr),\mathcal{H} \bigl(p^{\star },q^{\star },r_{2} \bigr)\bigr) \leq \rho \bigl(p^{\star },q^{\star }\bigr)\psi \bigl( \vert r_{1}-r_{2} \vert \bigr) \end{aligned}$$for all \(r_{1},r_{2}\in \mathbb{R}\), where \(\psi \in \Psi \), \(\frac{a_{0}^{\hat{k}_{1}+\hat{\ell }_{1}}b_{0}^{\hat{k}_{2}+\hat{\ell }_{2}}\|\rho \|_{\infty }}{l\Gamma (\hat{k}_{1}+\hat{\ell }_{1}+1)\Gamma (\hat{k}_{2}+\hat{\ell }_{2}+1)} \leq 1\) and
$$\begin{aligned} l=\inf_{(p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}} l\bigl(p^{\star },q^{\star }\bigr). \end{aligned}$$ - \((H3)\):
-
Define \(N:\mathcal{Z}^{\star }\to 2^{\mathcal{Z}^{\star }}\) by
$$\begin{aligned} N(\sigma )={}&\bigl\{ h\in \mathcal{Z}^{\star }| \text{ there exists } v \in S_{\mathcal{H},\sigma } \text{ so that } h\bigl(p^{\star },q^{\star }\bigr)=w \bigl(p^{ \star },q^{\star }\bigr) \\ &\text{for all } \bigl(p^{\star },q^{\star } \bigr)\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\bigr\} , \end{aligned}$$where
$$\begin{aligned} &w\bigl(p^{\star },q^{\star }\bigr)\\ &\quad=\Theta \bigl(p^{\star },q^{\star }\bigr) + \int _{0}^{p^{\star }} \int _{0}^{q^{\star }} \int _{0}^{s} \int _{0}^{t} \\ &\qquad\frac{(p^{\star }-s)^{\hat{k}_{1}-1}(q^{\star }-t)^{\hat{k}_{2}-1}(s-\wp _{\bar{1}})^{\hat{\ell }_{1}-1}(t-\zeta _{\bar{2}})^{\hat{\ell }_{2}-1}v(\wp _{\bar{1}},\zeta _{\bar{2}})}{\Gamma (\hat{k}_{1})\Gamma (\hat{k}_{2})\Gamma (\hat{\ell }_{1})\Gamma (\hat{\ell }_{2})l(s,t)}\,dt \,ds \,d\zeta _{\bar{2}} \,d\wp _{\bar{1}}. \end{aligned}$$ - \((H4)\):
-
Suppose that \(\upsilon: \mathbb{R}\times \mathbb{R}\to \mathbb{R}\) be a real valued function and for every convergent sequence \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) with \(\sigma _{n}\to \sigma \) and \(\upsilon (\sigma _{n}(p^{\star },q^{\star }),\sigma (p^{\star },q^{ \star }))\geq 0\) for all n and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\), there exists a subsequence \(\{\sigma _{n_{j}}\}_{j\geq 1}\) of \(\sigma _{n}\) so that \(\upsilon (\sigma _{n_{j}}(p^{\star },q^{\star }),\sigma (p^{\star },q^{ \star }))\geq 0\) for all n and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Assume that, for every \(\sigma \in \mathcal{Z}^{\star }\) and \(h\in N(\sigma )\) with \(\upsilon (\sigma (p^{\star },q^{\star }),h(p^{\star },q^{\star }))\geq 0\) for each \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\), there exists \(w\in N(\sigma )\) so that \(\upsilon (h(p^{\star },q^{\star }),w(p^{\star },q^{\star }))\geq 0\) for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\). Suppose that there exists \(\sigma _{0}\in \mathcal{Z}^{\star }\) and \(h\in N(\sigma _{0})\) so that \(\upsilon (\sigma _{0}(p^{\star },q^{\star }),h(p^{\star },q^{\star })) \geq 0\) for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\).
Theorem 6
Assume that \((H1)\)–\((H4)\) hold. Then the partial fractional Sturm–Liouville problem (2) has a solution.
Proof
We prove that the multifunction \(N:\mathcal{Z}^{\star }\to 2^{\mathcal{Z}^{\star }}\) has a fixed point which provides a solution for the partial fractional Sturm–Liouville problem (2). Note that the multifunction \((p^{\star },q^{\star })\to \mathcal{H} (p^{\star },q^{\star },\sigma (p^{ \star },q^{\star }) )\) has a measurable selection. Since it has closed and has measurable values for aa \(\sigma \in \mathcal{Z}^{\star }\), \(S_{\mathcal{H},\sigma }\) is nonempty for every \(\sigma \in \mathcal{Z}^{\star }\). We prove that \(N(\sigma )\) is closed subset of \(\mathcal{Z}^{\star }\). For this aim assume that \(\sigma \in \mathcal{ Z}^{*}\) and \(\{h_{n}\}\subset N(\sigma )\) is a sequence with \(h_{n}\to h\). For each n, choose \(v_{n}\in S_{\mathcal{H},\sigma }\) such that
for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\). On the other hand, \(\mathcal{H}\) has compact values. Thus, we may assume that \(\{v_{n}\}\) converges to some \(v\in \mathcal{L}^{1}(\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}})\). Hence,
and so \(h\in N(\sigma )\). Since \(\mathcal{H}\) is a compact map, \(N(\sigma )\) is a bounded set for al \(\sigma \in \mathcal{Z}^{\star }\). Now, define the function \(\alpha:\mathcal{Z}^{\star }\times \mathcal{Z}^{\star }\to \mathbb{R}^{+}\) by \(\alpha (\sigma _{1},\sigma _{2})\geq 1\) whenever \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\) for almost all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\) and \(\alpha (\sigma _{1},\sigma _{2})=0\) otherwise. We show that N is α-ψ-contractive. Let \(\sigma _{1},\sigma _{2}\in \mathcal{Z}^{\star }\) and \(h_{1}\in N(\sigma _{2})\). Choose \(v_{1}\in S_{\mathcal{H},\sigma _{2}}\) such that
for almost all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\). Then we get
for almost all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\) with \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\). Now, choose \(w\in \mathcal{H} (p^{\star },q^{\star },\sigma _{1}(p^{\star },q^{ \star }) )\) so that \(|v_{1}(t)-w|\leq \rho (p^{\star },q^{\star })\psi (|\sigma _{1}(p^{ \star },q^{\star })-\sigma _{2}(p^{\star },q^{\star })| )\) for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\). Now, define \(\mathcal{U}:\mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\to \mathcal{P}(\mathbb{R})\) by
Since \(v_{1}\) and \(\omega _{0}^{*}=\rho (p^{\star },q^{\star })\psi (|\sigma _{1}(p^{ \star },q^{\star })-\sigma _{2}(p^{\star },q^{\star })| )\) are measurable, the multifunction \(\mathcal{U}(\cdot,\cdot)\cap \mathcal{H} (\cdot,\cdot,\sigma (\cdot,\cdot) )\) is measurable. Choose \(v_{2}\in \mathcal{H} (p^{\star },q^{\star },\sigma _{1}(p^{\star },q^{ \star }) )\) such that
for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\). Now, choose the element \(h_{2}\in N(\sigma _{1})\) defined by
for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\). By using (7), we get
and so \(\|h_{1}-h_{2}\|\leq \psi (\|\sigma _{1}-\sigma _{2}\|)\). Note that
Thus, N is α-ψ-contraction. Let \(\sigma _{1}\in \mathcal{Z}^{\star }\) and \(\sigma _{2}\in N(\sigma _{1})\) be such that \(\alpha (\sigma _{1},\sigma _{2})\geq 1\). Then \(\upsilon (\sigma _{1}(p^{\star },q^{\star }),\sigma _{2}(p^{\star },q^{ \star }))\geq 0\) for all \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}} \times \mathcal{J}_{b_{0}}\). Hence, there exists \(w\in N(\sigma _{2})\) such that \(\upsilon (\sigma _{1}(p^{\star },q^{\star }), w(p^{\star },q^{\star })) \geq 0\). This implies that \(\alpha (\sigma _{1}, w)\geq 1\). Thus, N is α-admissible. Now by using Lemma 2, N has a fixed point which is a solution of the partial fractional Sturm–Liouville problem (2). □
Example 2
Consider the partial fractional Sturm–Liouville inclusion problem
Put \(\hat{k}=(\hat{k}_{1},\hat{k}_{2})=(\frac{1}{2},\frac{1}{3})\), \(\hat{\ell }=(\hat{\ell }_{1},\hat{\ell }_{2})=(\frac{1}{7},\frac{1}{8})\), \(a=1\), \(b=1\), \(\theta _{1}(p^{\star })=\frac{3}{40}p^{\star ^{2}}\), \(\theta _{2}(q^{\star })=\frac{1}{25}q^{\star ^{3}}\), \(\kappa (p^{\star })=\frac{7}{50}p^{\star ^{2}}\), \(\omega (q^{\star })=\frac{8}{35}q^{\star ^{3}}\) and \(l(p^{\star },q^{\star })=13e^{p^{\star }q^{\star }}\). The plotted diagrams in Figs. 3 and 4 show that the conditions of the partial Sturm–Liouville differential inclusion problem hold. Also, put \(\mathcal{H} (p^{\star },q^{\star },r )= [r,r+ \frac{e^{-p^{\star ^{2}}-q^{\star ^{2}}}|r|}{4(1+|r|)} ]\), \(\upsilon (r_{1},r_{2})=1\) whenever \(r_{1}\geq 0\) and \(r_{2}\geq 0\) and \(\upsilon (r_{1},r_{2})=-1\) otherwise,
where
and \(\Theta (p^{\star },q^{\star })=\frac{7}{50}p^{\star ^{2}}+\frac{8}{35}p^{ \star ^{3}}+\int _{0}^{p^{\star }}\int _{0}^{q^{\star }} \frac{(p^{\star }-s)^{-\frac{1}{90}} (q^{\star }-t)^{-\frac{1}{80}} (\frac{3}{40}s^{2}+\frac{1}{25}t^{3} )}{13e^{st} \Gamma (\frac{89}{90})\Gamma (\frac{79}{80})}\,dt\,ds\). Assume that \(\sigma \in \mathcal{Z}^{\star }\) and \(h\in N(\sigma )\) with \(\upsilon (\sigma (p^{\star },q^{\star }),h(p^{\star },q^{\star }))\geq 0\) for all \((p^{\star },q^{\star })\in [0,1]\times [0,1]\). Then we have \(\sigma (p^{\star },q^{\star })\geq 0\) and \(h(p^{\star },q^{\star })\geq 0\) for all \((p^{\star },q^{\star })\in [0,1]\times [0,1]\). Since \(\sigma (p^{\star },q^{\star })\geq 0\), we get
Choose \(v(p^{\star },q^{\star })\in \mathcal{H} (p^{\star },q^{\star }, \sigma (p^{\star },q^{\star }) )\) so that \(v(p^{\star },q^{\star })\geq 0\) for all \((p^{\star },q^{\star })\) in \([0,1]\times [0,1]\). Since \(\Theta (p^{\star },q^{\star })\geq 0\), we get
and so \(w(p^{\star },q^{\star })\geq 0\). Thus, \(\upsilon (h(p^{\star },q^{\star }),w(p^{\star },q^{\star }))\geq 0\). Note that \(\upsilon (0,h(p^{\star },q^{\star }))\geq 0\) for \(h\in N(\sigma )\) and also for each convergent sequence \(\{\sigma _{n}\}_{n\geq 1}\subseteq \mathcal{Z}^{\star }\) with \(\sigma _{n}\to \sigma \) and \(\upsilon (\sigma _{n}(p^{\star },q^{\star }),\sigma (p^{\star },q^{ \star }))\geq 0\) for all n and \((p^{\star },q^{\star })\in \mathcal{J}_{a_{0}}\times \mathcal{J}_{b_{0}}\), there exists a subsequence \(\{\sigma _{n_{j}}\}_{j\geq 1}\) of \(\{\sigma _{n}\}_{n\geq 1}\) such that \(\upsilon (\sigma _{n_{j}}(p^{\star },q^{\star }),\sigma (p^{\star },q^{ \star }))\geq 0\). Thus,
If \(\rho (p^{\star },q^{\star })=e^{-p^{\star ^{2}}-q^{\star ^{2}}}\) and \(\psi (t)=\frac{1}{4}t\), then
and \(\|\rho \|_{\infty }=1\). Put \(l(p^{\star },q^{\star })=13e^{p^{\star }q^{\star }}\). Then \(l=13\) and so
3 Conclusion
In this work, we studied a partial fractional version of the Sturm–Liouville differential equation by using the Caputo derivative. Also, we reviewed inclusion version of the problem. First, by using the technique of α-ψ-contractive mappings, we investigated the existence of solutions for the partial fractional Sturm–Liouville equation. We presented an illustrated example to clear more the result. Secondly, we have investigated the partial fractional Sturm–Liouville inclusion problem by using the technique of α-ψ-contractive multifunctions. We provided an illustrated an example for explaining the second result. In this way, we provided some related figures for the examples.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 15(286), 1 (2015). http://ejde.math.txstate.edu
Alqahtani, B., Aydi, H., Karapinar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7(8), 694 (2019). https://doi.org/10.3390/math7080694
Baleanu, D., Jajarmi, A., Mohammadi, H., Rezapour, S.: A new study on the mathematical modelling of human liver with Caputo–Fabrizio fractional derivative. Chaos Solitons Fractals 134, 109705 (2020). https://doi.org/10.1016/j.chaos.2020.109705
Rezapour, S., Ntouyas, S.K., Iqbal, M.Q., Hussain, A., Etemad, S., Tariboon, J.: An analytical survey on the solutions of the generalized double-order ϕ-integrodifferential equation. J. Funct. Spaces 2021, Article ID 6667757 (2021). https://doi.org/10.1155/2021/6667757
Abbas, S., Benchohra, M.: Darboux problem for perturbed partial differential equations of fractional order with finite delay. Nonlinear Anal. Hybrid Syst. 3(4), 597–604 (2009). https://doi.org/10.1016/j.nahs.2009.05.001
Rezapour, S., Sakar, F.M., Aydogan, S.M., Ravash, E.: Some results on a system of multiterm fractional integro-differential equations. Turk. J. Math. 44(6), 2004–2020 (2021). https://doi.org/10.3906/mat-1903-51
Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017(1), 145 (2017). https://doi.org/10.1186/s13661-017-0867-9
Baleanu, D., Rezapour, S., Etemad, S., Alsaedi, A.: On a time-fractional partial integro-differential equation via three-point boundary value conditions. Math. Probl. Eng. 2015, Article ID 896871 (2015). https://doi.org/10.1155/2015/785738
Baitiche, Z., Derbazi, C., Benchora, M.: ψ-Caputo fractional differential equations with multi-point boundary conditions by topological degree theory. Results Nonlinear Anal. 3(4), 167–178 (2020)
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential equations. Mathematics 7(5), 444 (2019). https://doi.org/10.3390/math7050444
Mohammadi, H., Kumar, S., Rezapour, S., Etemad, S.: A theoretical study of the Caputo–Fabrizio fractional modeling for hearing loss due to Mumps virus with optimal control. Chaos Solitons Fractals 144, 110668 (2021). https://doi.org/10.1016/j.chaos.2021.110668
Ali, A., Shah, K., Abdeljawad, T., Mahariq, I., Rashdan, M.: Mathematical analysis of nonlinear integral boundary value problem of proportional delay implicit fractional differential equations with impulsive conditions. Bound. Value Probl. 2021, 7 (2021). https://doi.org/10.1186/s13661-021-01484-y
Tuan, N.H., Mohammadi, H., Rezapour, S.: A mathematical model for COVID-19 transmission by using the Caputo fractional derivative. Chaos Solitons Fractals 140, 110107 (2020). https://doi.org/10.1016/j.chaos.2020.110107
Murugusundaramoorthy, G.: Application of Pascal distribution series to Ronning type star-like and convex functions. Adv. Theory Nonlinear Anal. Appl. 4(4), 243–251 (2020). https://doi.org/10.31197/atnaa.743436
Patil, J., Chaudhari, A., Abdo, M., Hardan, B.: Upper and lower solution method for positive solution of generalized Caputo fractional differential equations. Adv. Theory Nonlinear Anal. Appl. 4(4), 279–291 (2020). https://doi.org/10.31197/atnaa.709442
Patil, J., Chaudhari, A., Abdo, M., Hardan, B.: Upper and lower solution method for positive solution of generalized Caputo fractional differential equations. Adv. Theory Nonlinear Anal. Appl. 4(4), 279–291 (2020). https://doi.org/10.31197/atnaa.709442
Muthaiah, S., Murugesan, M., Thangaraj, N.G.: Existence of solutions for nonlocal boundary value problem of Hadamard fractional differential equations. Adv. Theory Nonlinear Anal. Appl 3(3), 162–173 (2019). https://doi.org/10.31197/atnaa.579701
Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018). https://doi.org/10.1186/s13661-018-1008-9
Jarad, F., Abdeljawad, T.: A modified Laplace transform for certain generalized fractional operators. Results Nonlinear Anal. 1(2), 88–98 (2019)
Marino, G., Scardamglia, B., Karapinar, E.: Strong convergence theorem for strict pseudo-contractions in Hilbert spaces. J. Inequal. Appl. 2016, 134 (2016). https://doi.org/10.1186/s13660-016-1072-6
Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo-Fabrizio derivative. Adv. Differ. Equ. 2017, 51 (2017). https://doi.org/10.1186/s13662-017-1088-3
Afshari, H., Marasi, H., Aydi, H.: Existence and uniqueness of positive solutions for boundary value problems of fractional differential equations. Filomat 31(9), 2675–2682 (2017). https://doi.org/10.2298/FIL1709675A
Marasi, H., Afshari, H., Zhai, C.B.: Some existence and uniqueness results for nonlinear fractional partial differential equations. Rocky Mt. J. Math. 47(2), 571–585 (2017). https://doi.org/10.1216/RMJ-2017-47-2-571
Bachir, F.S., Said, A., Benbachir, M., Benchohra, M.: Hilfer–Hadamard fractional differential equations; existence and attractivity. Adv. Theory Nonlinear Anal. Appl 5(1), 49–57 (2021). https://doi.org/10.31197/atnaa.848928
Abdeljawad, T., Al-Mdallal, Q.M., Hammouchc, Z., Jarad, F.: Existence and uniqueness of positive solutions for boundary value problems of fractional differential equations. Adv. Theory Nonlinear Anal. Appl 4(4), 214–215 (2020). https://doi.org/10.31197/atnaa.810371
Tuan, N.H., Huynh, L.N., Baleanu, D., Can, N.H.: On a terminal value problem for a generalization of the fractional diffusion equation with hyper-Bessel operator. Math. Methods Appl. Sci. 43(6), 2858–2882 (2020). https://doi.org/10.1002/mma.6087
Can, N.H., Nikan, O., Rasoulizadeh, M.N., Gasimov, Y.S.: Numerical computation of the time nonlinear fractional generalized equal width model arising in shallow water channel. Therm. Sci. 24(1), 49–58 (2020). https://doi.org/10.2298/TSCI20S1049C
Tuan, N.H., Thuch, T.N., Can, N.H., O’Regan, D.: Regularization of a multidimensional diffusion equation with conformable time derivative and discrete data. Math. Methods Appl. Sci. 44(4), 2879–2891 (2021). https://doi.org/10.1002/mma.6133
Baleanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of HIV-1 infection of \({CD}4^{+}\) T-cell with a new approach of fractional derivative. Adv. Differ. Equ. 2020, Article ID 71 (2020)
Rezapour, S., Mohammadi, H., Jajarmi, A.: A new mathematical model for Zika virus transmission. Adv. Differ. Equ. 2020, 589 (2020). https://doi.org/10.1186/s13662-020-03044-7
Abbas, S., Benchohra, M.: Fractional order partial hyperbolic differential equations involving Caputo derivative. Stud. Univ. Babeş–Bolyai Math. 57(4), 469–479 (2012)
Abbas, S., Benchohra, M.: Partial hyperbolic differential equations with finite delay involving the Caputo fractional derivative. Commun. Math. Anal. 7(2), 62–72 (2009)
Abbas, S., Benchohra, M., N’Guerekata, G.M.: Darboux problem for perturbed partial differential equations of fractional order with finite delay. Nonlinear Anal. Hybrid Syst. 3(4), 597–604 (2009). https://doi.org/10.1016/j.nahs.2009.05.001
Ahmad, B., Ntouyas, S.K., Tariboon, J.: A study of mixed Hadamard and Riemann–Liouville fractional integro-differential inclusions via endpoint theory. Appl. Math. Lett. 52, 9–14 (2016). https://doi.org/10.1016/j.aml.2015.08.002
Benchohra, M., Henderson, J., Mostefai, F.Z.: Weak solutions for hyperbolic partial fractional differential inclusions in Banach spaces. Comput. Math. Appl. 64(10), 3101–3107 (2012). https://doi.org/10.1016/j.camwa.2011.12.055
Etemad, S., Rezapour, S.: On the existence of solution for three variables partial fractional-differential equation and inclusion. J. Adv. Math. Stud. 8(2), 224–233 (2015)
Joannopoulos, J.D., Johnson, S.G., Winnn, J.N., Meade, R.D.: Photonic Crystals: Molding the Flow of Light. Princeton University Press, Princeton (2008)
Teschl, G.: Mathematical Methods in Quantum Mechanics: With Applications to Schrodinger Operators. Am. Math. Soc., New York (2014)
Ashrafyan, Y.: A new kind of uniqueness theorems for inverse Sturm–Liouville problems. Bound. Value Probl. 2017, 79 (2017). https://doi.org/10.1186/s13661-017-0813-x
Adiguzel, R. S., Aksoy, U., Karapinar, E., Erhan, I. M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Method. Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Liu, Y., He, T., Shi, H.: Three positive solutions of Sturm–Liouville boundary value problems for fractional differential equations. Differ. Equ. Appl. 5(1), 127–152 (2013)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Deimling, K.: Multi-Valued Differential Equations. de Gruyter, Berlin (1992)
Aubin, J., Cellina, A.: Differential Inclusions: Set-Valued Maps and Viability Theory. Springer, Berlin (1984). https://doi.org/10.1007/978-3-642-69512-4
Samet, B., Vetro, C., Vetro, P.: Fixed point theorem for α-ψ contractive type mappings. Nonlinear Anal. 75(4), 2154–2165 (2012). https://doi.org/10.1016/j.na.2011.10.014
Mohammadi, B., Rezapour, S., Shahzad, N.: Some results on fixed points of α-ψ-Ciric generalized multifunctions. Fixed Point Theory Appl. 2013, 24 (2013). https://doi.org/10.1186/1687-1812-2013-24
Acknowledgements
The first author was supported by Tabriz Branch, Islamic Azad University. The second author was supported by Miandoab Branch, Islamic Azad University. The third author was supported by Azarbaijan Shahid Madani University. The fourth author was supported by K. N. Toosi University of Technology. The authors express their gratitude to the dear unknown referees for their helpful suggestions, which improved the final version of this paper.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
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
Charandabi, Z.Z., Mohammadi, H., Rezapour, S. et al. On partial fractional Sturm–Liouville equation and inclusion. Adv Differ Equ 2021, 323 (2021). https://doi.org/10.1186/s13662-021-03478-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03478-7