Abstract
In this study, we prove the existence and uniqueness of a solution to a g-Caputo fractional differential equation with new boundary value conditions utilizing the combined Wardowski–Mizoguchi–Takahashi contractions via reduction of this equation to a fractional integral equation. We provide an example to demonstrate our findings.
Similar content being viewed by others
1 Introduction
Many academics have recently looked at the mathematical modeling of some physical processes using fractional integro-differential operators (see, for instance, [1–5]). The most well-known and often utilized fractional operators are the Riemann–Liouville and Caputo integro-differential operators. A new fractional integro-differential operator, known as the g-Caputo fractional derivative (g-C.f.d.), which is the fractional derivative with respect to another strictly increasing differentiable function, was introduced in [6] and used in [7] to have a broad scope of investigations of mathematical models. Later, this operator has been employed by various mathematicians in a variety of fields (see, for instance, [8–13]). The following fractional differential inclusion with respect to a strictly increasing function g has been recently studied by Belmor et al. [7]:
with boundary value conditions
where \({}^{c}D^{\eta}_{0^{+};g}\) is the g-C.f.d. introduced by Jarad et al. [6], \(\Upsilon :[0,\ell ]\times \mathbb{R}\to \mathcal{P}(\mathbb{R})\) is a multivalued map, \(\mathcal{P}(\mathbb{R}) \) is the family of nonempty subsets of \(\mathbb{R}\), \(\mathcal{I}^{\kappa}_{0^{+};g} \) stands for the g-Riemann–Liouville fractional integral (g-R-L.f.i.) of order κ on \([0,\ell ]\), \(0< p,q<\ell \), \(k,\chi ,:[0,\ell ]\times \mathbb{R}\to \mathbb{R}\) are continuous functions, \(\delta _{g}=\frac{1}{g'(y)}\frac{d}{dy} \), and a and b are suitably chosen constants. Belmor et al. used the fixed point result via φ-weak contractions provided by Moradi and Khojasteh [14] to evaluate whether the aforementioned problem might be solved. Etemad et al. [15] presented a fractional boundary value inclusion problem and looked for sufficient and necessary criteria for the intended existence results. In fact, they developed a class of inclusions for fractional multiterm Caputo–Hadamard differential inclusions. Our result is more general than those discussed above.
Using Wardowski-type Mizoguchi–Takahashi contractions, we look for the existence and uniqueness of a solution to the g-Caputo fractional differential equation with arbitrary coefficients under new boundary value conditions. We specifically consider the solvability of the following problem:
where \(\Upsilon ,\mathcal{K},\chi ,\Psi :[a,b]\times \mathbb{R}\to \mathbb{R}\) are continuous, \(a< p_{1},p_{2},p_{3}< b\), \(\theta ,\mu ,\lambda >0\), and \(\varsigma _{i}\), \(i=1,2,\dots ,6\), are arbitrary coefficients.
We organize the paper as follows. In Sect. 2, we give some known definitions, notations, and results, which form the background of the remaining sections. Section 3 contains the main results on the existence and uniqueness of a solution to (1.1) supported by an example. Section 4 is the conclusion.
2 Preliminaries and auxiliary notions
Let Θ be a nonempty set endowed with metric \(\mathcal{D}\). Similarly to [16], let \(\mathcal{CB}(\Theta )\) be the set of nonempty bounded closed subsets of Θ. Let \(\mathcal{H}\) be the Hausdorff–Pompieu metric on \(\mathcal{CB}(\Theta )\) generated by the metric \(\mathcal{D}\), that is,
for \(\nabla _{1}, \nabla _{2}\in \mathcal{CB}(\Theta )\).
If \(\theta \in \mathcal{U}\theta \) for some element \(\theta \in \Theta \), then θ is called a fixed point of a multivalued mapping \(\mathcal{U}:\Theta \to \mathcal{P}(\Theta )\).
The theorem established by Mizoguchi and Takahashi [17] is as follows.
Theorem 2.1
([17]) Let Θ be endowed with a complete metric \(\mathcal{D}\). Let
for all \(\hbar ,\hbar ^{\prime}\in \Theta \), where \(\mathcal{U}:\Theta \rightarrow \mathcal{CB}(\Theta )\), and \(\mathcal{G}:[0,\infty )\to [0,1) \) is such that \(\displaystyle \limsup _{t\to r^{+}} \mathcal{G}(t)<1\) for each \(r\geq 0\). Then \(\mathcal{U}\) possesses a fixed point.
We denote by ℧ the set of maps \(\aleph : [0,\infty )\longrightarrow [0,\infty )\) satisfying the following conditions:
-
(1)
\(s = 0 \quad \Leftrightarrow \quad \aleph (s) = 0\);
-
(2)
ℵ is lower semicontinuous and nondecreasing;
-
(3)
\(\displaystyle \limsup _{s\longrightarrow 0^{+}}\frac{s}{\aleph (s)}< \infty \).
Consider the following condition:
(H): If \(\hbar _{n}\rightarrow \hbar \) as \(n\rightarrow \infty \), then \(\hbar _{n}\preceq \hbar \) for each \(n\geq 0\), where \(\{\hbar _{n}\}\subseteq \Theta \) is an increasing sequence.
For single-valued maps, Gordji and Ramezani [18] explored the following variation of Theorem 2.1.
Theorem 2.2
([18])
Let Θ be endowed with complete metric \(\mathcal{D}\) and partially ordered relation ⪯. Suppose that for an increasing mapping \(\mathcal{U} : \Theta \longrightarrow \Theta \), there exists \(\hbar _{0}\in \Theta \) such that \(\hbar _{0}\preceq \mathcal{U}(\hbar _{0})\). Suppose that for some \(\aleph \in \mho \), we have
for all comparable \(\hbar ,\hbar ^{\prime}\in \Theta \), where \(\mathcal{G}:[0,\infty )\longrightarrow [0,1)\) satisfies \(\displaystyle \limsup _{s\longrightarrow t^{+}}\mathcal{G}(s)<1\) for any \(t>0\). There is a fixed point for \(\mathcal{U}\) if either \((H)\) holds or \(\mathcal{U}\) is continuous.
Definition 2.3
([19])
Having a self-mapping \(\mathcal{U}\) on Θ and \(\nu : \Theta ^{2} \to [0,\infty )\) such \(\mathcal{U}\) is triangular ν-admissible if
-
(T1)
\(\nu (\hbar ,\hbar ^{\prime})\geq 1 \quad \textrm{ implies } \quad \nu (\mathcal{U}\hbar ,\mathcal{U}\hbar ^{\prime})\geq 1,\quad \hbar , \hbar ^{\prime}\in \Theta \),
-
(T2)
\(\left\{ \begin{array}{l@{\quad}l} \nu (\hbar ,\zeta )\geq 1 & \\ \nu (\zeta ,\hbar ^{\prime})\geq 1 & \end{array} \right. \text{implies}\quad \nu (\hbar ,\hbar ^{\prime})\geq 1,\quad \hbar ,\hbar ^{\prime},\zeta \in \Theta \).
Recently, Mohammadi et al. discovered the following fixed point theorems for ν-admissible Wardowski type contractions by Mizoguchi-Takahashi approach:
Let \(\mathbb{B}\) be the set of all functions \(\mathcal{B}:(0,\infty )\longrightarrow [0,1)\) such that
for any \(t> 0\).
Let \(\mathbb{Q}\) be the set of all functions \(\mathcal{Q}:(0,\infty )\to \mathbb{R} \) such that
- (\(\delta _{1}\)):
-
\(\mathcal{Q}\) is continuous and strictly increasing,
- (\(\delta _{2}\)):
-
\(s = 1 \quad \Leftrightarrow \quad \mathcal{Q}(s) = 0 \).
Some examples of elements of \(\mathbb{Q}\):
-
(i)
\(\mathcal{Q}_{1}(t)=\ln (t)\),
-
(ii)
\(\mathcal{Q}_{2}(t)=\ln (t)+t\),
-
(iii)
\(\mathcal{Q}_{3}(t)=-\frac{1}{\sqrt{t}}+1\),
-
(iv)
\(\mathcal{Q}_{4}(t)=-\frac{1}{t}+1\).
We denote by \(\mho ^{\prime}\) the set of maps \(\aleph : [0,\infty )\longrightarrow [0,\infty )\) such that
-
(1)
\(s = 0 \quad \Leftrightarrow \quad \aleph (s) = 0 \);
-
(2)
ℵ is continuous and nondecreasing.
For \(\hbar ,\hbar ^{\prime}\in \Theta \), set
Consider the following condition:
(K): If \(\nu (\hbar _{n},\hbar _{n+1})\geq 1\) for each integer \(n\geq 0\) and \(\hbar _{n}\to \hbar \) as \(n\to +\infty \), then \(\nu (\hbar _{n},\hbar )\geq 1\) for each \(n\geq 0\), where \(\{\hbar _{n}\}\) is a sequence in Θ.
Theorem 2.4
([20]) Let \(\mathcal{U}\) be a self-mapping on the complete metric space \((\Theta ,\mathcal{D})\) such that for some function \(\nu : \Theta ^{2} \to [0,\infty )\), we have
for all \(\hbar ,\hbar ^{\prime}\in \Theta \) with \(\mathcal{U}\hbar \neq \mathcal{U}\hbar ^{\prime}\), where \(\mathcal{Q}\in \mathbb{Q}\), \(\mathcal{B}\in \mathbb{B}\mathbbm{,}\) and \(\aleph \in \mho ^{\prime}\). If \(\mathcal{U}\) is triangular ν-admissible and \(\nu (\hbar _{0}, \mathcal{U}\hbar _{0})\geq 1\) for some \(\hbar _{0} \in \Theta \), then \(\mathcal{U}\) possesses a fixed point if either \(\mathcal{U}\) is continuous, or \((K)\) holds.
Furthermore, if \(\nu (\hbar ,\hbar ^{\prime})\geq 1\) for all fixed points ħ, \(\hbar ^{\prime} \) of \(\mathcal{U}\), then we have the uniqueness of fixed point.
Theorem 2.4 can be reduced to the following conclusion if ℵ is the identity function.
Theorem 2.5
Let \(\mathcal{U}\) be a self-mapping on the complete metric space \((\Theta ,\mathcal{D})\) such that
for all \(\hbar ,\hbar ^{\prime}\in \Theta \) with \(\nu (\hbar ,\hbar ^{\prime})\geq 1\) and \(\mathcal{U}\hbar \neq \mathcal{U}\hbar ^{\prime}\), where \(\nu : \Theta ^{2} \to [0,\infty )\), \(\mathcal{Q}\in \mathbb{Q}\), and \(\mathcal{B}\in \mathbb{B}\). Suppose that \(\mathcal{U}\) is triangular ν-admissible and \(\nu (\hbar _{0}, \mathcal{U}\hbar _{0})\geq 1\) for some \(\hbar _{0} \in \Theta \). Then \(\mathcal{U}\) has a fixed point, provided that either \(\mathcal{U}\) is continuous or \((K)\) holds.
Furthermore, if \(\nu (\hbar ,\hbar ^{\prime})\geq 1\) for all fixed points ħ, \(\hbar ^{\prime} \) of \(\mathcal{U}\), then we have the uniqueness of the fixed point.
Let us review the basic definitions of fractional differential equations from the beginning. The R-L.f.i. of order κ for a continuous function \(\mathcal{U}:[0,\infty )\to \mathbb{R}\) is defined as
The definition of the C.f.d. of order κ is
On the other hand, the fractional derivative of order κ in the sense of Reimann–Liouville is
Definition 2.6
Let g be an increasing map such that \(g'(s) > 0 \) for all \(s\in [a, b] \). Then the g-R-L.f.i. of order κ of an integrable function \(\mathcal{U} : [a, b]\to \mathbb{R} \) with respect to g is defined as
if the right-hand side of this equality is finite.
It should be observed that the g-R-L.f.i. (2.6) obviously reduces to the ordinary R-L.f.i. (2.3) if \(g(t) = t \).
Definition 2.7
([6]) Let \(n = [\kappa ] + 1 \). The g-R-L.f.d. of order κ for a real mapping \(\mathcal{U}\in C([a,b],\mathbb{R})\) is written as follows:
if the right-hand side of this equality is finite.
In a similar way, it is evident that the standard R-L.f.d. (2.5) is a particular case of the g-R-L.f.d. of order κ if \(g(t) = t \). Almeida provided a novel g-version of the C.f.d. in the formulation that follows, in which he is motivated by the above operators.
Definition 2.8
([21]) Let \(n = [\kappa ] + 1 \), and let \(\mathcal{U}\in AC^{n}([a,b],\mathbb{R})\) be an increasing map with \(g'(s) > 0\) for all \(s\in [a, b]\). The g-C.f.d. of order κ of \(\mathcal{U} \) with respect to g is
assuming that the right-hand side of this equality is finite.
It can be observed that the g-C.f.d. (2.8) of order κ reduces to the conventional Caputo derivative (2.4) of order κ if \(g(s) = s \). The g-Caputo and g-Riemann–Liouville integro-derivative operators are usefully specified in the sections that follow.
Let \(AC([0, l],\mathbb{R})\) be the set of absolutely continuous functions from \([0, l] \) into \(\mathbb{R} \). Define
Lemma 2.9
([6]) Let \(n = [\kappa ] + 1 \). For a real mapping \(\mathcal{U}\in AC^{n}([a,b],\mathbb{R})\),
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03190-6/MediaObjects/13660_2024_3190_Figa_HTML.png)
where \(\delta _{g}^{k}= \underbrace{\delta _{g}\delta _{g}\cdots \delta _{g}}_{k\textit{ times} } \).
Proposition 2.10
([6, 21]) Let \(n = [\kappa ] + 1 \). For a real mapping \(\mathcal{U}\in AC^{n}([a,b],\mathbb{R})\),
-
(i)
\({}^{c}D^{\kappa}_{a^{+};g}(g(t)-g(a))^{\sigma}= \frac{\Gamma (\sigma +1)}{\Gamma (\sigma -\kappa +1)}(g(t)-g(a))^{ \sigma -\kappa}\), \(\kappa >0\), \(\sigma >-1\),
-
(ii)
\(\mathcal{I}^{\kappa}_{a^{+};g}(g(t)-g(a))^{\sigma}= \frac{\Gamma (\sigma +1)}{\Gamma (\sigma +\kappa +1)}(g(t)-g(a))^{ \sigma +\kappa}\), \(\kappa >0\), \(\sigma >-1\), and
-
(iii)
\({}^{c}D^{\sigma}_{a^{+};g}(\mathcal{I}^{\kappa}_{a,g} \mathcal{U})(t)= \mathcal{I}^{\kappa -\sigma}_{a^{+};g} \mathcal{U}(t)\), \(0<\sigma \leq \kappa \).
3 Main results
We are now prepared to disclose and support the key findings of this investigation. Take it for granted from this point that \(\Theta =C([a,b],\mathbb{R})\) is the Banach space of continuous functions from \([a,b]\) to \(\mathbb{R}\) endowed with the supremum norm
First, let us prove the following auxiliary lemma.
Lemma 3.1
Let ϑ, \(\rho _{1}\), \(\rho _{2}\), \(\rho _{3}\) be real continuous functions on \([a,b] \), \(2< r\leq 3 \), \(\theta ,\mu ,\lambda >0\), \(p_{1},p_{2},p_{3}\in [a,b] \), and let \(\varsigma _{i}\,( i=1,2,\dots ,6 )\) be arbitrary constants. Then \(\hbar \in AC^{3} _{g} ([a, b],R) \) is a solution of the following fractional boundary value problem:
if and only if ω is a solution of the fractional-order integral equation
where
and
Proof
Applying \(\mathcal{I}^{\kappa}_{a^{+};g}\) to both sides of (3.1) and using Lemma 2.9, we obtain
where \(k_{1}\), \(k_{2}\), \(k_{3} \) are unknown constants. Now we will compute these constants in view of boundary value conditions (3.1). Applying \(\delta _{g}\) to both sides of (3.3), we obtain
Applying \(\delta _{g}\) to both sides of (3.4), we obtain
From (3.1), (3.3), (3.4), and (3.5) we get
Therefore
From (3.6) we obtain
and
Substituting (3.7), (3.8), and (3.9) into (3.3), we obtain
Therefore
Thus
where
and
which is (3.2). Conversely, if ω is faitful in (3.2), then equation (3.1) clearly holds. □
Lemma 3.2
Let
and
Then \(\tilde{G}_{g}\leq M_{g}\).
Proof
For arbitrary \(y\in [a,b] \), we have
Taking sup on \(y\in [a,b] \) on both sides of the above inequality, we get the desired result. □
Theorem 3.3
Suppose that
-
(i)
\(\Upsilon ,\mathcal{K},\chi ,\Psi :[a,b]\times \mathbb{R}\to \mathbb{R}\) are continuous functions;
-
(ii)
there are functions \(\mathcal{Q}\in \mathbb{Q}\) and \(\mathcal{B}\in \mathbb{B}\) such that
$$\begin{aligned}& |\Upsilon (y,u)-\Upsilon (y,v)|\leq \frac{\kappa}{M_{g}}\mathcal{Q}^{-1} \Big(\mathcal{Q}(\mathcal{B}(|u-v|))+ \mathcal{Q}(|u-v|)\Big),\\& |\mathcal{K}(y,u)-\mathcal{K}(y,v)|\leq \frac{\sigma \Gamma (\theta +1)|\varsigma _{1}+\varsigma _{2}|}{(g(p_{1})-g(a))^{\theta}} \mathcal{Q}^{-1}\Big(\mathcal{Q}(\mathcal{B}(|u-v|))+ \mathcal{Q}(|u-v|) \Big),\\& |\chi (y,u)-\chi (y,v)| \\& \leq \frac{\gamma \Gamma (\mu +1)|\varsigma _{1}+\varsigma _{2}||\varsigma _{3}+\varsigma _{4}|\mathcal{Q}^{-1}\Big(\mathcal{Q}(\mathcal{B}(|u-v|))+ \mathcal{Q}(|u-v|)\Big)}{(|\varsigma _{1}+\varsigma _{2}|+1)(g(p_{2})-g(a))^{\mu}(g(b)-g(a))},\\& |\Psi (y,u)-\Psi (y,v)|\\& \leq \frac{2\xi \Gamma (\lambda +1)|\varsigma _{1}+\varsigma _{2}||\varsigma _{3}+\varsigma _{4}||\varsigma _{5}+\varsigma _{6}|\mathcal{Q}^{-1}\Big(\mathcal{Q}(\mathcal{B}(|u-v|))+ \mathcal{Q}(|u-v|)\Big)}{ \left \lbrace \textstyle\begin{array}{l@{\quad}l} &|\varsigma _{2}||\varsigma _{4}-\varsigma _{3}|\\ &+2|\varsigma _{4}||\varsigma _{1}+\varsigma _{2}|\\ &+|\varsigma _{1}+\varsigma _{2}||\varsigma _{3}+\varsigma _{4}| \end{array}\displaystyle \right \rbrace (g(p_{3})-g(a))^{\lambda}(g(b)-g(a))^{2}} , \end{aligned}$$for all \(y\in [a,b]\) and \(u,v\in \mathbb{R}\), where \(\kappa ,\sigma ,\gamma ,\xi \geq 0 \) and \(\kappa +\sigma +\gamma +\xi \leq 1 \).
Then problem (1.1) has a unique solution.
Proof
According to Lemma 3.1, we know that (1.1) possesses a unique solution if and only if (3.2) has a unique solution. Define \(T:AC^{3}_{g} (\left [ a, b\right ] ,\mathbb{R})\to AC^{3}_{g} ( \left [ a, b\right ],\mathbb{R})\) by
for \(\omega \in AC^{3}_{g} (\left [ a, b\right ],\mathbb{R})\) and \(y\in \left [ a, b\right ]\).
Therefore the statement that there is a solution for (1.1) is equivalent to the fact that T has a fixed point. Now let \(\omega _{1},\omega _{2}\in AC^{3}_{g} ([a, b],\mathbb{R}) \) be such that \(T\omega _{1}\neq T\omega _{2}\). Then for \(t\in [a,b]\) such that \(T\omega _{1}(y)\neq T\omega _{2}(y)\), we have \(\omega _{1}(y)\neq \omega _{2}(y)\). According to our hypotheses, we have
Therefore
and so
As a result, according to Theorem 2.5, T has a unique fixed point, and therefore problem (1.1) has a unique solution in \(AC^{3}_{g} ([a, b],\mathbb{R}) \). □
Example 3.4
Consider the differential equation of fractional order
Note that
Here \(\kappa =\frac{5}{2}\), \(\varsigma _{1}=1\), \(\varsigma _{2}=2\), \(\varsigma _{3}=2\), \(\varsigma _{4}=-1\), \(\varsigma _{5}=3\), \(\varsigma _{6}=2\). \(a=2\), \(b=3\), \(p_{1}=\frac{7}{3}\), \(p_{2}=\frac{5}{2}\), \(p_{3}= \frac{9}{4}\), \(\theta =\frac{1}{2}\), \(\mu =\frac{3}{2}\), \(\lambda = \frac{5}{2}\);
Take \(\kappa =\frac{2}{5}\), \(\sigma =\frac{1}{5}\), \(\gamma =\frac{1}{5}\), \(\xi = \frac{1}{5}\). Then
and
Now for all \(\xi \in [a,b]=[2,3]\) and \(u,v\in \mathbb{R}\), we have
where \(\mathcal{B}(t)=\frac{2}{3}\) and \(\mathcal{Q}(t)=\frac{-1}{t}+1\).
On the other hand,
and
Also, \(\kappa +\sigma +\gamma +\xi =1\). Thus all the conditions of Theorem 3.3 are satisfied. Thus problem (3.11) has a unique solution according to this theorem.
4 Conclusions
By applying the Wardowsky–Mizoguchi–Takahashi attractive fixed point theorem we investigated the existence of a solution of a fractional differential equation of finite order between 2 and 3 and with new boundary value conditions. To use fixed point theorems to check the solvability of such differential equations, we first transformed them into integral equations. We have also provided an example in support of our findings.
Data availability
No datasets were generated or analysed during the current study.
References
Hamani, S., Benchohra, M., Graef, J.R.: Existence results for boundary value problems with nonlinear fractional inclusions and integral conditions. Electron. J. Differ. Equ. 2010, 20 (2010)
Agarwal, R.P., Benchohra, M., Hamani, S.: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109(3), 973–1033 (2010)
Rezapour, S., Imran, A., Hussain, A., Martinez, F., Etemad, S., Kaabar, M.K.: Condensing functions and approximate endpoint criterion for the existence analysis of quantum integro-difference FBVPs. Symmetry 13(3), 469 (2021)
Benchohra, M., Graef, J.R., Hamani, S.: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87, 851–863 (2008)
Belmor, S., Ravichandran, C., Jarad, F.: Nonlinear generalized fractional differential equations with generalized fractional integral conditions. J. Taibah Univ. Sci. 14(1), 114–123 (2020). https://doi.org/10.1080/16583655.2019.1709265
Jarad, F., Abdeljawad, T.: Generalized fractional derivatives and Laplace transform. Discrete Contin. Dyn. Syst. 13(3), 709–722 (2020)
Belmor, S., Jarad, F., Abdeljawad, T., Alqudah, M.A.: On fractional differential inclusion problems involving fractional order derivative with respect to another function. Fractals 20(8), 2040002 (2020). https://doi.org/10.1142/S0218348X20400022
Abdeljawad, T., Madjidi, F., Jarad, F., Sene, N.: On dynamic systems in the frame of singular function dependent kernel fractional derivatives. Mathematics 7(10), 946 (2019)
Almeida, R.: Fractional differential equations with mixed boundary conditions. Bull. Malays. Math. Sci. Soc. 42(4), 1687–1697 (2019)
Ameen, R., Jarad, F., Abdeljawad, T.: Ulam stability for delay fractional differential equations with a generalized Caputo derivative. Filomat 32(15), 5265–5274 (2018)
Jarad, F., Harikrishnan, S., Shah, K., Kanagarajan, K.: Existence and stability results to a class of fractional random implicit differential equations involving a generalized Hilfer fractional derivative. Discrete Contin. Dyn. Syst. 13(3), 723–739 (2020). https://doi.org/10.3934/dcdss.2020040
Samet, B., Aydi, H.: Lyapunov-type inequalities for an anti-periodic fractional boundary value problem involving ψ-Caputo fractional derivative. J. Inequal. Appl. 2018, 286 (2018). https://doi.org/10.1186/s13660-018-1850-4
Sousa, J., da Vanterler, C., Kucche, K.D., De Oliveira, E.C.: Stability of ψ-Hilfer impulsive fractional differential equations. Appl. Math. Lett. 88, 73–80 (2019)
Moradi, S., Khojasteh, F.: Endpoints of φ-weak and generalized φ-weak contractive mappings. Filomat 26, 725–732 (2012)
Etemad, S., Rezapour, S., Esmael Samei, M.: On a fractional Caputo–Hadamard inclusion problem with sum boundary value conditions by using approximate endpoint property. Math. Methods Appl. Sci. 43(17), 9719–9734 (2020)
Nadler, S.B.: Multivalued contraction mappings. Pac. J. Math. 30, 475–488 (1969)
Mizoguchi, N., Takahashi, W.: Fixed point theorems for multi-valued mappings on complete metric space. J. Math. Anal. Appl. 141, 177–188 (1989)
Gordji, M.E., Ramezani, M.: A generalization of Mizoguchi and Takahashi’s theorem for single-valued mappings in partially ordered metric spaces. Nonlinear Anal. (2011). https://doi.org/10.1016/j.na.2011.04.020
Karapınar, E., Kumam, P., Salimi, P.: On \(\alpha -\psi \)-Meir–Keeler contractive mappings. Fixed Point Theory Appl. 2013, 94 (2013)
Mohammadi, B., Parvaneh, V., Aydi, H., Işik, H.: Extended Mizoguchi–Takahashi type fixed point theorems and an application. Mathematics 7, 575 (2019)
Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)
Acknowledgements
None.
Funding
None.
Author information
Authors and Affiliations
Contributions
B.M. and V.P. wrote the main manuscript text and M.M. prepared the final version. All authors reviewed the manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License, which permits any non-commercial use, sharing, 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 you modified the licensed material. You do not have permission under this licence to share adapted material derived from this article or parts of it. 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-nc-nd/4.0/.
About this article
Cite this article
Mohammadi, B., Parvaneh, V. & Mursaleen, M. Existence of solution for some nonlinear g-Caputo fractional-order differential equations based on Wardowski–Mizoguchi–Takahashi contractions. J Inequal Appl 2024, 105 (2024). https://doi.org/10.1186/s13660-024-03190-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03190-6