- Research
- Open access
- Published:
Kuratowski MNC method on a generalized fractional Caputo Sturm–Liouville–Langevin q-difference problem with generalized Ulam–Hyers stability
Advances in Difference Equations volume 2021, Article number: 454 (2021)
Abstract
In this work, we consider a generalized quantum fractional Sturm–Liouville–Langevin difference problem with terminal boundary conditions. The relevant results rely on Mönch’s fixed point theorem along with a theoretical method by terms of Kuratowski measure of noncompactness (MNC) and the Banach contraction principle (BCP). Furthermore, two dynamical notions of Ulam–Hyers (UH) and generalized Ulam–Hyers (GUH) stability are addressed for solutions of the supposed Sturm–Liouville–Langevin quantum boundary value problem (q-FBVP). Two examples are presented to show the validity and also the effectiveness of theoretical results. In the last part of the paper, we conclude our exposition with some final remarks and observations.
1 Introduction
The topics of fractional calculus and (quantum) q-calculus in general and fractional differential equations, especially, have appeared extensively, and they are one of the applied branches in mathematical analysis which have enormous impact in exact description of existing real phenomena. In the meantime, in 1910, q-difference equations were introduced by Jackson [1]. Next, the research on such q-difference equations was implemented in most of the works, more specifically, by Carmichael and Al-Salam in [2, 3]. Regarding several earlier manuscripts on this topic, we cite [4, 5], while the initial ideas on q-FC can be observed in [6]. To review other applications on this field, see for instance [7–9]. Also, some new papers in this regard are [10, 11].
By making use of techniques of nonlinear analysis, many researchers have turned to the existence and uniqueness of solutions to nonlinear fractional differential equations equipped with a variety of boundary conditions as special cases, since they are considered as accurate procedures to describe the actual processes [12–34]. On the other hand, some other imperative and extra extremely good studies, which have these days attracted greater interest, have been dedicated to the qualitative investigation of differential equations of non-integer orders [35–39]. The primary effort was made by Ulam in 1940 and later by Hyers [40], and the notion of stability was developed by Rassias. Finally, in comparison to other works, Obloza [41] was the first researcher who investigated the U–H stability for a given differential equation in 1993.
The Langevin equation (designed in 1908 by Langevin for elaborate interpretation of Brownian motions) is introduced to be an applied mathematical model to describe the cases of the evolution of every physical phenomenon in the environments having fluctuations [42]. On the other side, the Sturm–Liouville problems involve various applications in some fields of engineering and science [43]. Recently, Kiataramkul along with a group of mathematicians presented a new structure of Hadamard FBVP in the fractional settings by combining the Langevin and Sturm–Liouville equations [44]. This combination would be an appropriate description in relation to each dynamical process defined in a fractal medium in which both properties of the fractal and memory via a dissipative memory kernel are incorporated.
Regarding the novelty of the present manuscript, no contributions exist, as far as we know, concerning the existence theory on the Caputo q-difference equations with the help of the technique of Kuratowski measure on noncompactness (KMNC-method) combined with Mönch’s fixed point theorem. As a result, the goal of this paper is to enrich this academic area via new techniques based on a special notion of Kuratowski measure. Our proposed method is essentially based on the result given by Banas̀ et al. [45]. Some authors utilized similar methods via the KMNC technique to different types of FBVPs, including [46–54]. Therefore, it is emphasized that the KMNC technique is implemented for the first time on the generalized fractional q-Caputo Sturm–Liouville–Langevin q-difference problems.
To be more precise, in this paper, we propose the following problem of the generalized fractional q-Caputo Sturm–Liouville–Langevin q-difference equations:
where \(\mathbb{I}:=[0,T]\), \(0<\alpha \), \(\beta \leq 1\), and \({}_{c}\mathcal{D}^{\varepsilon }_{q}\) is a q-derivative of q-Caputo type of order \(\varepsilon \in \{\alpha ,\beta \}\), \(\sigma :\mathbb{I}\times \mathbb{R}\rightarrow \mathbb{R}\) is continuous, \(\rho \in C(\mathbb{I}, \mathbb{R} \backslash \{0\})\) and \(r \in C(\mathbb{I}, \mathbb{R})\).
Our suggested model in the context of quantum operators is not only new in the existing structure but also is equivalent to some known physical models pertinent to the specific values of the functions and parameters involved in q-FBVP (1). In spite of some similar research implemented by Berhail et al. [55] based on Hadamard operators and also by Kiataramkul et al. [44] based on anti-periodic boundary conditions, more precisely, our q-FBVP (1) is formulated in a generalized form which combines both Langevin equations and Sturm–Liouville problems in the context of q-operators for the first time. Indeed, we have:
-
By choosing \(r(t) \equiv 0\) and \(q\to 1\), the nonlinear generalized fractional q-Caputo Sturm–Liouville–Langevin q-difference BVP (1) is converted to the standard nonlinear Sturm–Liouville equation
$$ {}_{c}\mathcal{D}^{\alpha } \bigl[\rho (t) {}_{c} \mathcal{D}^{\beta } \bigr] \mathrm{w}(t)=\sigma \bigl(t, \mathrm{w}(t) \bigr). $$ -
By choosing \(\rho (t) \equiv 1\) and \(r(t)=-\mu \), \(\mu \in \mathbb{R}\) and \(q\to 1\), the nonlinear generalized fractional q-Caputo Sturm–Liouville–Langevin q-difference BVP (1) is converted to the standard nonlinear Langevin equation
$$ {}_{c}\mathcal{D}^{\alpha } \bigl[ {}_{c} \mathcal{D}^{\beta } - \mu \bigr] \mathrm{w}(t)=\sigma \bigl(t, \mathrm{w}(t) \bigr). $$
In fact, in this paper, we aim to show that one can model some known equations with respect to q-operators, because these operators have discrete structures and give accurate numerical results in different simulations. Here is a brief outline of the arrangement of the paper. The next section provides definitions and preliminary lemmas that will be needed to prove the main theorems. In Sect. 3, we establish existence and uniqueness of solutions to the given problem of the generalized Sturm–Liouville–Langevin q-difference equation by following the KMNC-method. In Sect. 4, we discuss some types of fractional Ulam stability. In Sect. 5, we give an example to illustrate numerical findings. In the last part of the paper, we conclude our exposition with some final remarks and observations.
2 Preliminary notions
We follow the present section by recalling and assembling some required notions for further arguments and developments.
Consider the Banach space of all real-valued continuous functions \(\mathcal{U}=C(\mathbb{I}, E)\) (here E is assumed to be the space of real numbers) with the supremum norm
and \(\mathfrak{M}_{\mathcal{U}}\) represents the class of all bounded mappings in \(\mathcal{U}\).
Consider \(L^{1}(\mathbb{I}, E)\) as a Banach space of all measurable Bochner integrable mappings like \(\mathrm{w}: \mathbb{I} \rightarrow E\) which are furnished with the integral norm
In what follows, we recollect some elementary definitions and properties related to fractional q-calculus. Refer to [1, 2]. Let \(q\in (0,1)\) be a real number. For each \(c\in \mathbb{R}\), we define
The q-power function \((c-d)^{m}\) is defined by
and
Definition 1
The q-gamma function is given by
and
Definition 2
Let \(\sigma : \mathbb{I}\to {\mathbb{R}}\) be a suitable mapping. We define the q-derivative of integer–order \(m\in {\mathbb{N}}\) for σ by \(\mathcal{D}_{q}^{0} \sigma (t)=\sigma (t)\),
and
Definition 3
For a given mapping \(\sigma :\mathbb{I}_{t}\to {\mathbb{R}}\), the expression defined by
is called q-integral if the series is convergent, in which \(\mathbb{I}_{t}:=\{tq^{m}:n\in {\mathbb{N}}\}\cup \{0\}\).
Definition 4
The integral of a function \(\sigma : \mathbb{I}\to {\mathbb{R}}\) given as
and
is named the Riemann–Liouville q-integral of order \(\delta \in {\mathbb{R}}_{+}\), if the integral exists.
Lemma 5
Let \(\delta \in {\mathbb{R}}_{+}\) and \(\beta \in (-1,\infty )\). One has
In particular, if \(\sigma \equiv 1\), then
Definition 6
The Riemann–Liouville q-derivative of order \(\delta \in \mathbb{R}_{+}\) of the mapping \(\sigma : \mathbb{I}\to {\mathbb{R}}\) is defined by
where \([\delta ]\) is the integer part of δ.
Definition 7
([56])
The \(\delta ^{\mathrm{th}}\)-q-Caputo derivative for an absolutely continuous mapping σ is given by
where \([\delta ]\) is the integer part of δ and the integral exists.
Remark 1
Note that if \(q\to 1\), then both Definition 6 and Definition 7 are converted to the standard Riemann–Liouville and Caputo fractional derivatives.
Lemma 8
Let \(m -1 < \delta < m\). Then
Lemma 9
([57])
Let σ be a function defined on \(\mathbb{I}\) and suppose that δ, β are two real nonnegative numbers. Then the following hold:
Now we review some properties of the concept of Kuratowski measure of noncompactness (KMNC).
Definition 10
The mapping \(\kappa : \mathfrak{M}_{\mathcal{U}} \rightarrow [0, \infty )\) denoted by \(\kappa (C)\) for \(C\in M_{\mathcal{U}}\) is named the Kuratowski MNC if
where \(D(C_{i}) = \sup \{ \vert \mathrm{w}-\hat{\mathrm{w}} \vert : \mathrm{w}, \hat{\mathrm{w}} \in C_{i} \}\).
Proposition 11
The Kuratowski MNC satisfies the following:
-
1
\(C \subset G \Rightarrow \kappa (C) \leq \kappa (G)\),
-
2
\(\kappa (C) = 0\) if and only if A is relatively compact,
-
3
\(\kappa (C) =\kappa (\overline{C}) =\kappa (\operatorname{conv}(C)) \), where C̅ and \(\operatorname{conv} (C)\) are the closure and the convex hull of C, respectively,
-
4
\(\kappa (C + G) \leq \kappa (C) +\kappa (G)\),
-
5
\(\kappa (p C) = \vert p \vert \kappa (C)\), \(p \in \mathbb{R}\).
Notation 12
Let Σ be the set of functions \(\mathrm{w}: \mathbb{I}\rightarrow E\). Set
Theorem 13
Let the subset \(W \neq \emptyset \) be convex and bounded, and in the Banach space \(\mathcal{U}\) with \(0\in W\), \(\sigma : W \to W\) be continuous. If \(\forall \Sigma \subset W\),
then σ has a fixed point.
Lemma 14
([48])
Let the subset W be convex, bounded, and closed in the Banach space \(\mathcal{U}\), \(G\in C(\mathbb{I} \times \mathbb{I})\), \(\sigma : \mathbb{I}\times W \to \mathcal{U}\) be Caratheodory, and there exists \(p\in L^{1}(\mathbb{I},\mathbb{R}^{+})\) such that, for each \(t\in \mathbb{I}\) and every bounded set \(B \subset W\),
By assuming Σ as an equicontinuous set of mappings \(\mathbb{I} \to W\), we have
3 Main theorems
In this section, we are concerned with the existence of solutions of the given generalized Sturm–Liouville–Langevin q-difference FBVP (1).
Definition 15
By a solution of the generalized Sturm–Liouville–Langevin q-difference FBVP (1), we mean a measurable function \({\mathrm{w}\in \mathcal{U}}\) such that \(\mathrm{w}(0)=0\), \({}_{c}\mathcal{D}^{\beta }_{q} \mathrm{w}(T)+ \frac{r(T)}{\rho (T)} \mathrm{w}(T)=0\), and the FDEq
is satisfied on \(\mathbb{I}\).
In what follows, we present the characterization of solutions in relation to suggested generalized Sturm–Liouville–Langevin q-difference FBVP (1).
Lemma 16
Let \(K(t) \in \mathcal{U}\), \(0<\alpha , \beta \leq 1\), \(\rho \in C(\mathbb{I}, \mathbb{R} \backslash \{0\})\), and \(r \in C(\mathbb{I}, \mathbb{R})\). Then the solution of the following linear generalized Sturm–Liouville–Langevin q-difference FBVP
is given by
Proof
Taking the \(\alpha ^{th}\)-q-Riemann–Liouville integral to the FDEq of (3), we get
where \(c_{0} \in \mathbb{R}\). The second BCs of system (3) gives
Taking the \(\beta ^{th}\)-q-Riemann–Liouville integral to (5), we obtain
where \(c_{1} \in \mathbb{R} \). Using the condition \(\mathrm{w}(0)=0\) of (3), we have
Substituting the obtained value for \(c_{1}\), we derive the q-integral equation (4), and the proof is completed. □
Note that, on the other side, if we apply the Caputo \(\beta ^{th}\)-q-derivative and \(\alpha ^{th}\)-q-derivative to both sides of (4) and use Lemma 9, then the given system (3) immediately is established.
Now, consider the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1). On the basis of Lemma 16, the solutions of (1) correspond to q-integral equation in the following form:
3.1 Existence result via the KMNC-method
We further will use the following hypotheses.
-
(H1)
\(\sigma : \mathbb{I} \times \mathcal{U}\rightarrow \mathcal{U}\) is Caratheodory;
-
(H2)
There exists \(p\in C( \mathbb{I}, \mathbb{R}^{+})\) such that
$$\begin{aligned}& \bigl\Vert \sigma \bigl(t,\mathrm{w}(t) \bigr) \bigr\Vert \leq p(t) \Vert \mathrm{w} \Vert , \quad \forall t\in \mathbb{I}, \forall \mathrm{w}\in \mathcal{U}; \end{aligned}$$ -
(H3)
For each \(t\in \mathbb{I}\) and each bounded measurable set \(B\subset \mathcal{U}\),
$$ \lim_{h\rightarrow 0^{+}}\kappa \bigl(\sigma ( \mathbb{I}_{t,h} \times B),0 \bigr) \leq p(t)\kappa (B), $$where κ is the Kuratowski MNC and \(\mathbb{I}_{t,h}=[t-h, t]\cap \mathbb{I}\).
Set
Theorem 17
Suppose that conditions (H1)–(H3) hold. If
with
where
then the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) has a solution on \(\mathbb{I}\).
Proof
Firstly, for \(\mathrm{w} \in \mathcal{U}\), we consider the operator \(\mathcal{G}:\mathcal{U}\rightarrow \mathcal{U}\) defined by
Evidently, the fixed points of \(\mathcal{G}\) are solutions of the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1). We take
\(D_{R}\) is convex, closed, and bounded. We shall follow the proof in three steps.
STEP 1: \(\mathcal{G}\) is sequentially continuous:
Let \(\{ \mathrm{w}_{n} \}_{n}\) be a sequence with \(\mathrm{w}_{n} \rightarrow \mathrm{w}\) in \(\mathcal{U}\). Then, for each \(t \in \mathbb{I}\), one may write
Since the function σ is continuous and satisfies (H1), so \(\sigma (t,\mathrm{w}_{n}(t))\) tends uniformly to \(\sigma (t,\mathrm{w}(t))\). In accordance with Lebesgue’s dominated convergence theorem, \(\{\mathcal{G}(\mathrm{w}_{n})(t)\}\) tends uniformly to \(\mathcal{G}(\mathrm{w})(t)\), that is, \(\mathcal{G}\mathrm{w}_{n}\rightarrow \mathcal{G}\mathrm{w}\). Hence \(\mathcal{G}:D_{R}\rightarrow D_{R}\) is sequentially continuous.
STEP 2: \(\mathcal{G}(D_{R}) \subseteq D_{R}\):
Take \(\mathrm{w} \in \mathcal{D}_{R}\). By (H2) and for each \(t \in \mathbb{I}\), let \(\mathcal{G}(\mathrm{w})(t)\neq 0\). Then
Hence we get
STEP 3: \(\mathcal{G}(D_{R})\) is equicontinuous:
By considering STEP 2, it is known that \(\mathcal{G}(D_{R})\subset \mathcal{U}\) is bounded uniformly. In relation to the equicontinuity of \(\mathcal{G}(D_{R})\), we take \(t_{1}, t_{2}\in \mathbb{I}\), \(t_{1}< t_{2}\), and \(\mathrm{w}\in D_{R}\). Then
As \(t_{1}\rightarrow t_{2}\), the right-hand side of (14) goes to 0 independent of w, and thus \(\vert \mathcal{G}\mathrm{w}(t_{2})-\mathcal{G}\mathrm{w}(t_{1}) \vert \to 0\). The equicontinuity of \(\mathcal{G}\) is confirmed.
The implication (2) is proved in the last step:
Let \(\Sigma \subset D_{R}\) be such that \(\Sigma =\overline{\operatorname{conv}}(\mathcal{G}(\Sigma )\cup \{0\})\). Since Σ is equicontinuous and bounded, the mapping \(t\mapsto \mathrm{w}(t)=\kappa (\Sigma (t))\) has the continuity property on \(\mathbb{I}\). From (H2) and some given properties of the Kuratowski MNC κ, for any \(t\in \mathbb{I}\), we get
This means that
By (9) it follows that \(\Vert \mathrm{w} \Vert =0\), that is, \(\mathrm{w}(t)=0\) for any \(t\in \mathbb{I}\), so \(\kappa (\Sigma )=0\), and then \(\Sigma (t)\) is relatively compact in \(\mathcal{U}\). From the Ascoli–Arzela theorem, Σ has the relative compactness in \(D_{R}\). By Theorem 13, we find out that \(\mathcal{G}\) has a fixed point, which is the same solution of the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1). □
3.2 Uniqueness criterion
Theorem 18
Let:
-
(G1)
\(\sigma : \mathbb{I}\times \mathcal{U}\rightarrow \mathcal{U}\) be continuous.
-
(G2)
There exists the constant \(M>0\) such that
$$ \bigl\vert \sigma (t, \mathrm{w} )-\sigma (t, \mathrm{v} ) \bigr\vert \leq M \Vert \mathrm{w}-\mathrm{v} \Vert , \quad \forall t \in \mathbb{I}, \forall \mathrm{w}, \mathrm{v} \in \mathcal{U}. $$(15)
Then the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) has a unique solution on \(\mathbb{I}\) such that
where μ and ν are given by Equations (10) and (11), respectively.
Proof
In the first place, we show \(\mathcal{G}B_{\omega }\subset B_{\omega }\), where the operator \(\mathcal{G}:\mathcal{U}\rightarrow \mathcal{U}\) is defined by Equation (7), and for \(\omega >0\), \(B_{\omega }= \{ \mathrm{w} \in \mathcal{U}, \Vert \mathrm{w} \Vert \leq \omega \} \) such that
and \(\sigma _{0}=\sup_{0\leq t\leq T} \vert \sigma (t, 0) \vert \). For any \(\mathrm{w} \in B_{\omega }\), using (G2), we write
which implies \(\Vert \mathcal{G}(\mathrm{w}) \Vert \leq \omega \) after taking the supremum on \(\mathbb{I}\). Thus, \(\mathcal{G}\) corresponds \(B_{\omega }\) to itself.
Next, we investigate that \(\mathcal{G}(\mathrm{w})\) is a contraction. For \(\mathrm{w}, \mathrm{v} \in \mathcal{U}\), and by utilizing the notations of (10) and (11), we have
Consequently, we get
which states that \(\mathcal{G}\) is a contraction by (16). By the Banach contraction principle, \(\mathcal{G}\) has a unique fixed point, which is the unique solution of the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) on \(\mathbb{I}\). □
4 Stability results
In the recent section, we are interested in studying UH and GHR stability of the given nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1).
Definition 19
The nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) is UH stable if there is \(c_{\sigma } \in \mathbb{R}^{+}\) such that, for each \(\epsilon \in \mathbb{R}^{+}\) and for each \(\mathrm{w} \in \mathcal{U}\) satisfying
a unique solution \(\widetilde{\mathrm{w}} \in \mathcal{U}\) of (1) exists with
Definition 20
The nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) is generalized UH stable (GUH) if there exists \(C_{\sigma } \in C (\mathbb{R}^{+}, \mathbb{R}^{+} )\), \(C_{ \sigma }(0)=0\) such that, for each \(\epsilon \in \mathbb{R}^{+}\) and for each \(\mathrm{w} \in \mathcal{U}\) satisfying (17), a unique solution \(\widetilde{\mathrm{w}} \in \mathcal{U}\) of (1) exists with
Remark 2
A function \(\widetilde{\mathrm{w}} \in C({\mathbb{I}}, \mathbb{R})\) is a solution of (19) if and only if there exists \(\psi \in C(\mathbb{I}, \mathbb{R})\) (which depends on w̃) such that
-
1.
\(\vert \psi (t) \vert \leq \varepsilon \), \(t \in \mathbb{I}\).
-
2.
\({}_{c}\mathcal{D}^{\alpha }_{q} ( [\rho (t) {}_{c} \mathcal{D}_{q}^{\beta }+r(t) ] ) \mathrm{w}(t) =\sigma (t, \mathrm{w}(t))+ \psi (t)\), \(t \in \mathbb{I}\).
Here we review the UH and GUH stability of solutions to the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1).
Theorem 21
Let (G2) and (16) be fulfilled. Then the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) is UH and GUH stable.
Proof
Let \(\varepsilon >0\), let \(\widetilde{\mathrm{w}} \in C(\mathbb{I},\mathbb{R})\) satisfy (17), and let \(\mathrm{w} \in C(\mathbb{I}, \mathbb{R})\) be the unique solution of the generalized Sturm–Liouville–Langevin q-difference FBVP
By Lemma 16, we have
Since we have supposed that w̃ satisfies (19), hence, by Remark 2, we get
Again by Lemma 16, we have
For each \(t\in \mathbb{I}\),
In view of part 1 of Remark 2 and (G2), we obtain
in which ℓ is illustrated in (16). In accordance with the above, it gives
If we set \(c_{\sigma }=\frac{\mu }{1- {\ell } }>0\), then the UH stability of the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) is fulfilled. In addition, for \(C_{\sigma }(\varepsilon )=\frac{\mu }{1- {\ell } }\epsilon \), \(C_{\sigma }(0)=0\), the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1) is GUH stable. This completes the proof. □
5 Example
In this part, two examples are presented to show the validity and also the effectiveness of theoretical results.
Example 1
Based on the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1), we fix \(\rho (t)\equiv 1\) and \(r(t)=-\lambda \), \(\lambda \in \mathbb{R}\). In this case, (1) is reduced to Langevin q-difference FBVP
where
and
The function σ is continuous on \(\mathbb{I}\). On the other hand, \(\forall \mathrm{w}\in \mathbb{R}\) and \(t\in \mathbb{I}\), we get
Accordingly, (H2) is satisfied for \(p^{*}=\frac{\sqrt{3}}{81}\). To check condition (9), we simply obtain
All of the above results confirm that Theorem 17 is fulfilled, and it gives that the Langevin q-difference FBVP (22) possesses at least a solution formulated on \(\mathbb{I}\).
Example 2
Consider the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP
where
and
Using the given data, we find that
for any \(t \in [0, 1]\). Then σ satisfies (H1) and (H2) with \(M= \frac{1}{16}\). Now, we find that
Hence
All conditions of Theorem 18 are satisfied. Then there exists a unique solution to the nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (23) in \(\mathbb{I}\). Moreover, Theorem 21 guarantees the UH and GUH stability for mentioned q-FBVP (23).
6 Conclusion
In this paper, we provided required criteria for the existence/uniqueness of solutions to a new category of nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1). To arrive at such an aim, we dealt with a technique involving the Kuratowski measure of noncompactness (KMNC) along with a fixed point theorem of Mönch type. Although the used method based on KMNC-Mönch is considered as a standard method, its application in the current context is new yet, while the uniqueness property was derived with the help of BCP. Subsequently, the Ulam–Hyers (UH) and generalized Ulam–Hyers (GUH) stability were established for the proposed nonlinear generalized Sturm–Liouville–Langevin q-difference FBVP (1). Moreover, two examples were presented for the illustration of the obtained theory. Regarding next research projects, we are going to continue the analysis of such combined structures of physical and mathematical models by using nonsingular fractional operators which give more accurate numerical results. In particular, the Caputo–Fabrizio derivative is clearly well known in the field of fractional differential equations. The appearance of this derivative helps us to deal with some complicated phenomena. We will follow this study on the Caputo–Fabrizio derivative.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Jackson, F.H.: q-difference equations. Comput. Math. Appl. 32(4), 305–314 (1910). https://doi.org/10.2307/2370183
Adams, C.R.: On the linear ordinary q-difference equation. Ann. Math. 30(1), 195–205 (1910). https://doi.org/10.2307/1968274
Carmichael, R.D.: The general theory of linear q-difference equations. Am. J. Math. 34(2), 147–168 (1912). https://doi.org/10.2307/2369887
Al-Salam, W.A.: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135–140 (1966). https://doi.org/10.1017/S0013091500011469
Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Math. Proc. Camb. Philos. Soc. 66(2), 365–370 (1969). https://doi.org/10.1017/S0305004100045060
Annaby, M.H., Mansour, Z.S.: Q-Fractional Calculus and Equations. Springer, Berlin (2012)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Rajkovic, P.M., Marinkovic, S.D., Stankovic, M.S.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311–323 (2007). https://doi.org/10.2298/AADM0701311R
Younus, A., Asif, M., Farhad, K.: Interval-valued fractional q-calculus and applications. Inf. Sci. 569, 241–263 (2021). https://doi.org/10.1016/j.ins.2021.04.010
Tariboon, J., Ntouyas, S.K., Agarwal, P.: Some generalized Riemann–Liouville k-fractional integral inequalities. J. Inequal. Appl. 2016, 122 (2016). https://doi.org/10.1186/s13660-016-1067-3
Thabet, S.T.M., Etemad, S., Rezapour, S.: On a coupled Caputo conformable system of pantograph problems. Turk. J. Math. 45(1), 496–519 (2021). https://doi.org/10.3906/mat-2010-70
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
Baleanu, D., Etemad, S., Rezapour, S.: On a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions by using three operators. Alex. Eng. J. 59(5), 3019–3027 (2020). https://doi.org/10.1016/j.aej.2020.04.053
Neshati, J., Masiha, H.P., Mahjani, M.G., Jafarian, M.: Electrochemical noise analysis for estimation of corrosion rate of carbon steel in crude oil. Corros. Eng. Sci. Technol. 42(4), 371–376 (2007). https://doi.org/10.1179/174327807X214879
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
Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11(5), 686 (2019). https://doi.org/10.3390/sym11050686
Lazreg, J.E., Abbas, S., Benchohra, M., Karapinar, E.: Impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces. Open Math. 19(1), 363–372 (2021). https://doi.org/10.1515/math-2021-0040
Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contraction. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Bota, M.F., Karapinar, E., Mlesnite, O.: Ulam–Hyers stability results for fixed point problems via α-ψ-contractive mapping in b-metric space. Abstr. Appl. Anal. 2013, Article ID 825293 (2013). https://doi.org/10.1155/2013/825293
Karapinar, E., Fulga, A.: An admissible hybrid contraction with an Ulam type stability. Demonstr. Math. 52, 428–436 (2019). https://doi.org/10.1515/dema-2019-0037
Alqahtani, B., Fulga, A., Karapinar, E.: Fixed point results on δ-symmetric quasi-metric space via simulation function with an application to Ulam stability. Mathematics 6(10), 208 (2018). https://doi.org/10.3390/math6100208
Rezapour, S., Ntouyas, S.K., Amara, A., Etemad, S., Tariboon, J.: Some existence and dependence criteria of solutions to a fractional integro-differential boundary value problem via the generalized Gronwall inequality. Mathematics 9(11), 1165 (2021). https://doi.org/10.3390/math9111165
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., Azzaoui, B., Tellab, B., Etemad, S., Masiha, H.P.: An analysis on the positivesSolutions for a fractional configuration of the Caputo multiterm semilinear differential equation. J. Funct. Spaces 2021, Article ID 6022941 (2021). https://doi.org/10.1155/2021/6022941
Baleanu, D., Etemad, S., Rezapour, S.: A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound. Value Probl. 2020, 64 (2020). https://doi.org/10.1186/s13661-020-01361-0
Jafari, H., Haghbin, A., Johnston, S.J., Baleanu, D.: A new algorithm for solving dynamic equations on a time scale. J. Comput. Appl. Math. 312, 167–173 (2017). https://doi.org/10.1016/j.cam.2016.02.047
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
Sabetghadam, F., Masiha, H.P.: Fixed-point results for multi-valued operators in quasi-ordered metric spaces. Appl. Math. Lett. 25(11), 1856–1861 (2012). https://doi.org/10.1016/j.aml.2012.02.046
Masiha, H.P., Sabetghadam, F., Shahzad, N.: Fixed point theorems in partial metric spaces with an application. Filomat 27(4), 617–624 (2013)
Sabetghadam, F., Masiha, H.P., Altun, I.: Fixed-point theorems for integral-type contractions on partial metric spaces. Ukr. Math. J. 68, 940–949 (2016). https://doi.org/10.1007/s11253-016-1267-5
Aydogan, S.M., 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
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, 145 (2017). https://doi.org/10.1186/s13661-017-0867-9
Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019). https://doi.org/10.1186/s13661-019-1194-0
Boutiara, A., Etemad, S., Hussain, A., Rezapour, S.: The generalized U–H and U–H stability and existence analysis of a coupled hybrid system of integro-differential IVPs involving ϕ-Caputo fractional operators. Adv. Differ. Equ. 2021, 95 (2021). https://doi.org/10.1186/s13662-021-03253-8
Alrabaiah, H., Ahmad, I., Shah, K., Ur Rahman, G.: Qualitative analysis of nonlinear coupled pantograph differential equations of fractional order with integral boundary conditions. Bound. Value Probl. 2020, 138 (2020). https://doi.org/10.1186/s13661-020-01432-2
Sousa, J.V.d.C., de Oliveira, E.C.: On the Ulam–Hyers–Rassias stability for nonlinear fractional differential equations using the ψ-Hilfer operator. J. Fixed Point Theory Appl. 20, 96 (2018). https://doi.org/10.1007/s11784-018-0587-5
Shah, K., Hussain, W.: Investigating a class of nonlinear fractional differential equations and its Hyers–Ulam stability by means of topological degree theory. Numer. Funct. Anal. Optim. 40(12), 1355–1372 (2019). https://doi.org/10.1080/01630563.2019.1604545
Alzabut, J., Selvam, G.M., El-Nabulsi, R.A., Vignesh, D., Samei, M.E.: Asymptotic stability of nonlinear discrete fractional pantograph equations with non-local initial conditions. Symmetry 13(3), 473 (2021). https://doi.org/10.3390/sym13030473
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. 27(4), 222–224 (1941). https://doi.org/10.1073/pnas.27.4.222
Obloza, M.: Hyers stability of the linear differential equation. Rocznik Nauk.-Dydakt. Prace Mat. 13, 259–270 (1993)
Langevin, P.: Sur la theorie du mouvement brownien. C. R. Acad. Sci. 146, 530–533 (1908)
Rivero, M., Trujillo, J.J., Velasco, M.P.: A fractional approach to the Sturm–Liouville problem. Open Phys. 11(10), 1246–1254 (2013). https://doi.org/10.2478/s11534-013-0216-2
Kiataramkul, C., Ntouyas, S.K., Tariboon, J., Kijjathanakorn, A.: Generalized Sturm–Liouville and Langevin equations via Hadamard fractional derivatives with anti-periodic boundary conditions. Bound. Value Probl. 2016, 217 (2016). https://doi.org/10.1186/s13661-016-0725-1
Banas, J., Goebel, G.: Measures of Noncompactness in Banach Spaces. Lecture Notes in Pure and Applied Mathematics. Dekker, New York (1980)
Akhmerov, R.R., Kamenskii, M.I., Patapov, A.S., Rodkina, A., Sadovskii, B.N.: Measures of Noncompactness and Condensing Operators. Birkhäuser, Basel (1992)
Alvarez, J.C.: Measure of noncompactness and fixed points of nonexpansive condensing mappings in locally convex spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat. Madr. 79, 53–66 (1985)
Szufla, S.: On the application of measure of noncompactness to existence theorems. Rend. Semin. Mat. Univ. Padova 75, 1–14 (1986)
Boutiara, A., Guerbati, K., Benbachir, M.: Caputo–Hadamard fractional differential equation with three-point boundary conditions in Banach spaces. AIMS Math. 5(1), 259–272 (2019). https://doi.org/10.3934/math.2020017
Boutiara, A., Guerbati, K., Benbachir, M.: Caputo type fractional differential equation with nonlocal Erdelyi–Kober type integral boundary conditions in Banach spaces. Surv. Math. Appl. 15, 399–418 (2020)
Boutiara, A., Henderson, J., Seba, D.: Measure of noncompactness and fractional differential equations in Banach spaces. Commun. Appl. Anal. 12(4), 419–428 (2008)
Boutiara, A., Benbachir, M., Guerbati, K.: Measure of noncompactness for nonlinear Hilfer fractional differential equation in Banach spaces. Ikonion J. Math. 1(2), 55–67 (2019)
Kiataramkul, C., Ntouyas, S.K., Tariboon, J., Kijjathanakorn, A.: Measure of noncompactness and fixed points of nonexpansive condensing mappings in locally convex spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat. 79, 53–66 (1985)
Monch, H.: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal., Theory Methods Appl. 4(5), 985–999 (1980). https://doi.org/10.1016/0362-546X(80)90010-3
Berhail, A., Tabouache, N., Matar, M.M., Alzabut, J.: Boundary value problem defined by system of generalized Sturm–Liouville and Langevin Hadamard fractional differential equations. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6507
Ferreira, R.A.C.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010)
Abdeljawad, T., Baleanu, D.: Caputo q-fractional initial value problems and a q-analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16(12), 4682–4688 (2011). https://doi.org/10.1016/j.cnsns.2011.01.026
Acknowledgements
The third and fourth authors were supported by Azarbaijan Shahid Madani University. The authors express their gratitude to 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.
Consent for publication
Not applicable.
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
Boutiara, A., Benbachir, M., Etemad, S. et al. Kuratowski MNC method on a generalized fractional Caputo Sturm–Liouville–Langevin q-difference problem with generalized Ulam–Hyers stability. Adv Differ Equ 2021, 454 (2021). https://doi.org/10.1186/s13662-021-03619-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03619-y