Abstract
In this manuscript, the existence theorem for a unique solution to a coupled system of impulsive fractional differential equations in complex-valued fuzzy metric spaces is studied and the fuzzy version of some fixed point results by using the definition and properties of a complex-valued fuzzy metric space is presented. Ultimately, some appropriate examples are constructed to illustrate our theoretical results.
Similar content being viewed by others
1 Introduction
Fuzzy sets theory plays an important role in our real life problems facing indeterminacy and vague situation. They allow us to model a very hard and uncertain situation in an easy way. This fact initiated an interesting research activity which led to the improvement of fuzzy set theory. The concept of fuzzy set was introduced by Zadeh where the association of an element to a set is expressed as a number from the interval \([0, 1]\) [1]. Afterward, Heilpern gave the concept of fuzzy mapping and obtained fixed point results in metric spaces, which signifies the fuzzy generalization of Banach contraction principle [2]. Several researchers studied fixed point theorems for fuzzy mappings via different types of contraction in several spaces, for example, see [3–6]. Furthermore, Kaleva and Seikkala realized that when the distance between the elements is not an exact number, then the imprecision is involved in the metric, and they introduced the concept of fuzzy metric spaces [7]. The concept of fuzzy metric was developed by Kramosil and Michalek [8] and further by George and Veeramani [9]. A variety of works have been done by many authors in regard of the existence results of fixed point (FP) in the fuzzy metric spaces (FMSs), for instance, we refer to [10–15].
In addition to the FMS, there are still several extensions of metric space terms in metric FP theory. Azam et al. [16] established a new approach by replacing the set of real numbers with the set of complex numbers endowed with an ordered structure. In this regard, they introduced the notion of complex-valued metric spaces (CVMSs). In recent years, Shukla et al. [17] extended the setting of FMSs to complex-valued fuzzy metric spaces (CVFMSs). They also obtained FP theorems of contractive mappings on CVFMSs.
FP theory has a wide range of applications in advanced mathematics. Banach contraction principle is a well-celebrated result in the analysis which is a widely used technique in mathematical analysis. Due to the simplicity of the Banach technique, it is the most valuable tool to solve several existing problems in mathematics. Several researchers generalized it in many directions satisfying different types of contractive conditions and discussed various applications in mathematical disciplines [18–25].
Fractional order derivative is an extension of integer order derivative that has been considered as a strong tool for modeling different mathematical problems. That is why fractional differential equations are considered as a significant and advanced area of applied mathematics, which has wide ranging application in different scientific disciplines like chemistry, physics, biology, and engineering. Thus, it has become an interesting and motivating area of research in the last few decades [26–32].
In the meanwhile, researchers claim that a complicated system and process cannot be described by a single differential equation. Therefore, the coupled systems containing fractional differential equations have also achieved farfetched attention, and thus many results are dedicated to them [33–39].
In the other direction impulsive fractional differential equations have had a rapid progress over the year. They perform a significant role to provide a natural framework for modeling of different real processes arising in phenomena discussed in various scientific fields, especially those problems which are subject to abrupt changes and discontinuous jumps and cannot be defined by the integer order differential equations. Thus, there is a variety of manuscripts available in the background literature in which several authors discussed impulsive fractional differential equations with different boundary conditions(BC); for instance, we refer to [40–42] and the references cited therein.
Motivated by the above discussion, in this manuscript, some coupled fixed point consequences in the framework of complex-valued fuzzy metric spaces are proved. Thereafter, the theoretical results are involved to find the existence and uniqueness of a coupled system of nonlinear fractional differential equations with impulses in the form of
where \(\mathrm{t}\in \mathrm{J}=[0, 1]\), \(2<\mu \), \(\gamma \leq 3\), \(0<\varrho \), \(\rho ,\varsigma , \tau , \kappa , \epsilon <1\). cD stands for the Caputo fractional derivative and \(\mathrm{h},\mathrm{g}:\mathrm{J}\times \mathbb{R}^{3}\rightarrow \mathbb{R}\) are continuous functions. \(\mathcal{M}_{1\mathrm{m}}, \mathcal{M}_{2\mathrm{m}}, \mathcal{N}_{1 \mathrm{m}}, \mathcal{N}_{2\mathrm{m}}, \mathcal{O}_{1\mathrm{m}}, \mathcal{O}_{2\mathrm{m}}\in \mathrm{C}(\mathbb{R},\mathbb{R})\) and \(\mathrm{t}_{\mathrm{m}}\) satisfies \(0= \mathrm{t}_{0}<\mathrm{t}<1<\cdots<\mathrm{t}_{\mathrm{n}}<\mathrm{t}_{\mathrm{n+1}}=1\), \(\Delta \mathrm{x}|_{\mathrm{t}=\mathrm{t}_{\mathrm{m}}}= \mathrm{x}(\mathrm{t}_{\mathrm{m}}^{+})-\mathrm{x}(\mathrm{t}_{\mathrm{m}}^{-})\), \(\Delta \mathrm{x}'|_{\mathrm{t}=\mathrm{t}_{ \mathrm{m}}}= \mathrm{x}'(\mathrm{t}_{\mathrm{m}}^{+})-\mathrm{x}'( \mathrm{t}_{\mathrm{m}}^{-})\), \(\Delta \mathrm{x}''|_{\mathrm{t}= \mathrm{t}_{\mathrm{m}}}= \mathrm{x}''(\mathrm{t}_{\mathrm{m}}^{+})- \mathrm{x}''(\mathrm{t}_{\mathrm{m}}^{-})\), \(\Delta \mathrm{y}|_{ \mathrm{t}=\mathrm{t}_{\mathrm{m}}}= \mathrm{y}(\mathrm{t}_{\mathrm{m}}^{+})- \mathrm{y}(\mathrm{t}_{\mathrm{m}}^{-})\), \(\Delta \mathrm{y}'|_{ \mathrm{t}=\mathrm{t}_{\mathrm{m}}}= \mathrm{y}'(\mathrm{t}_{\mathrm{m}}^{+})-\mathrm{y}'(\mathrm{t}_{\mathrm{m}}^{-})\), \(\Delta \mathrm{y}''|_{\mathrm{t}=\mathrm{t}_{\mathrm{m}}}= \mathrm{y}''( \mathrm{t}_{\mathrm{m}}^{+})-\mathrm{y}''(\mathrm{t}_{\mathrm{m}}^{-})\) represent the right and left limits of \(\mathrm{x}(\mathrm{t})\), \(\mathrm{y}(\mathrm{t})\), respectively, at \(\mathrm{t}=\mathrm{t}_{\mathrm{m}}\). Finally, nontrivial examples are presented to support our results.
2 Preliminaries
Throughout the paper, we denote the set of complex numbers by \(\mathbb{C} \). Let \(A= \{ (x,y):0\leq x\leq \infty ,0\leq y\leq \infty \} \subset \mathbb{C} \). The elements \((0,0),(1,1)\in \mathbb{C} \) are denoted by ϑ and ν, respectively. Let the unit closed complex interval be denoted by \(\Xi = \{ (z,y):0\leq z\leq 1,0\leq y\leq 1 \} \), the open unit complex interval be denoted by \(\Xi _{0}= \{ (z,y):0\leq z<1,0\leq y<1 \} \), and the set \(\{ (z,y):0< z<\infty ,0<y<\infty \} \) be denoted by \(A_{\vartheta }\).
Let \(\Omega \subset \mathbb{C}\). If there exists infΩ so that the lower bound of Ω is \(\inf \Omega \preceq c\), ∀ \(c\in \Omega \) and \(\mathbf{v}\preceq \inf \Omega \) for every lower bound v of Ω, then infΩ is called the greatest lower bound of Ω. In the same way we define supΩ, (lub) the least upper bound of Ω.
Definition 2.1
([17])
Let ⅁ be a nonempty set. A complex fuzzy set ∇ is characterized by a mapping with domain ⅁ and values in the closed complex unit interval Ξ.
Definition 2.2
([17])
A binary relation \(\star :\Re \times \Re \rightarrow \Re \) is called a complex-valued t-norm if, for all \(\xi ,\xi ^{1},\xi ^{2},\xi ^{3},\xi ^{3}\in \Re \), the stipulations below hold.
- (\(\mathrm{t}_{1}\)):
-
\(\xi ^{1}\star \xi ^{2}=\xi ^{2}\star \xi ^{1}\);
- (\(\mathrm{t}_{2}\)):
-
if \(\xi ^{1}\prec \xi ^{3}\) and \(\xi ^{2}\prec \xi ^{4}\), then \(\xi ^{1}\star \xi ^{2}\prec \xi ^{3}\star \xi ^{4}\);
- (\(\mathrm{t}_{3}\)):
-
\(\xi ^{1}\star ( \xi ^{2}\star \xi ^{3} ) = ( \xi ^{1} \star \xi ^{2} ) \star \xi ^{3}\);
- (\(\mathrm{t}_{3}\)):
-
\(\xi \star \vartheta =\vartheta \) and \(\xi \star \nu =\nu \).
Definition 2.3
([17])
Assume that ⅁ is a nonempty set, ⋆ is a continuous complex-valued ω-norm, ∇ is a complex fuzzy set on \(\Game \times \Game \times A_{\vartheta }\rightarrow O\) verifying the stipulations below: For each \(\xi ^{1},\xi ^{2},\xi ^{3}\in \Game \), \(\omega ,\varpi >A_{\vartheta }\),
- \((CbMF_{1})\):
-
\(\nabla (\xi ^{1},\xi ^{2},\omega )\succ 0\);
- \((CbMF_{2})\):
-
\(\nabla (\xi ^{1},\xi ^{2},\omega )=\nu \) iff \(\xi ^{1}=\xi ^{2}\);
- \((CbMF_{3})\):
-
\(\nabla (\xi ^{1},\xi ^{2},\omega )=\nabla (\xi ^{2},\xi ^{1},\omega )\);
- \((CbMF_{4})\):
-
\(\nabla (\xi ^{1},\xi ^{2},\omega )\star \nabla (\xi ^{2},\xi ^{3}, \varpi )\preceq \nabla (\xi ^{1},\xi ^{3},\omega +\varpi )\);
- \((CbMF_{5})\):
-
\(\nabla (\xi ^{1},\xi ^{2},\star ):A_{\vartheta }\rightarrow O\) is continuous.
We say that a trio \(( \Game ,\nabla ,\star ) \) is a CVFMS and ∇ is called a CVFM on ⅁.
The function \(\nabla (\xi ^{1},\xi ^{2},\omega )\) stands for the degree of nearness and the degree of non-nearness between \(\xi ^{1}\) and \(\xi ^{2}\) with respect to (w.r.t.) the complex parameter ω, respectively.
Example 2.1
Consider an arbitrary metric space \((\Game , \sigma )\). Define ⋆ by \(\xi ^{1}\star \xi ^{2}=(e_{1}e_{2}, c_{1},c_{2})\) for all \(\xi ^{1}=(e_{1}, c_{1}), \xi ^{2}=(e_{2}, c_{2} )\in \Xi \). Let the complex fuzzy set ∇ be defined by
for all \(\mathrm{z}, \mathrm{y}\in A_{\vartheta }\), \(\omega =(e, c)\). Then \((\Game , \nabla , \star )\) is a CVFMS.
Indeed, in the above example, if \(g:A_{\vartheta }\rightarrow (0, \infty )\) is a continuous and nondecreasing function, that is, \(\xi ^{1}\preceq \xi ^{2}\) implies that \(g(\xi ^{1})\leq g(\xi ^{2})\), then \((\Game , \nabla , \star )\) is a CVFMS, where
Similarly it is obvious that, for the fuzzy set defined by
\((\Game , \nabla , \star )\) is a CVFMS.
Definition 2.4
([17])
Let \((\Game , \nabla , \star )\) be a CVFMS. A sequence \(\{\theta _{m}\}\in \Game \) converges to \(\theta \in \Game \) if for each \(\mathrm{r}\in \Xi _{0}\) and \(\omega \in A_{\vartheta }\) there exists \(k_{0}\in \mathbb{N}\) with
Definition 2.5
([17])
Let \((\Game , \nabla ,\star )\) be a CVFMS. A sequence \(\{\theta _{m}\}\) in ⅁ is known as a Cauchy sequence if
The CVFMS \((\Game , \nabla , \star )\) is called complete if every Cauchy sequence is convergent in ⅁.
Lemma 2.6
([17])
Let \((\Game , \nabla , \star )\) be a CVFMS. If \(\omega , \omega '\in A_{\vartheta }\) and \(\omega \preceq \omega '\), then \(\nabla (\mathrm{z}, \mathrm{y}, \omega )\preceq \nabla (\mathrm{z}, \mathrm{y}, \omega ')\) ∀ \(\mathrm{z}, \mathrm{y}\in \Game \).
Remark 2.7
([17])
Assume that \(\theta _{m}\in A\) for each \(m\in \mathbb{N} \).
-
(1)
If there exist \(\alpha ,\beta \in A\) with \(\alpha \prec \theta _{m}\prec \beta \) and the sequence \(\{\theta _{m}\}\) is monotonic with respect to ≺ for each \(m\in \mathbb{N} \), then there is \(\theta \in A\) so that \(\lim_{m\rightarrow \infty }\theta _{m}=\theta \)
-
(2)
The pair \(( \mathbb{C} ,\prec ) \) is a lattice in spite of ≺ being not a linear order on \(\mathbb{C} \).
Remark 2.8
([17])
Assume that \(\theta _{m},\theta _{m}^{\ast },u\in A\), \(\forall m\in \mathbb{N} \).
-
If \(\theta _{m}\prec \theta _{m}^{\ast }\prec \nu \), \(\forall m\in \mathbb{N} \) and \(\lim_{m\rightarrow \infty }\theta _{m}=\nu \), then \(\lim_{m\rightarrow \infty }\theta _{m}^{\ast }=\nu \).
-
If \(\theta _{m}\prec u\), \(\forall m\in \mathbb{N} \) and \(\lim_{m\rightarrow \infty }\theta _{m}=\theta \), then \(\theta \prec u \).
-
If \(u\prec \theta _{m}\), \(\forall m\in \mathbb{N} \) and \(\lim_{m\rightarrow \infty }\theta _{m}=\theta \), then \(u\prec \theta \).
Lemma 2.9
([17])
Assume that \(( \Game ,\nabla ,\star ) \) is a CVFMS. A sequence \(\{\theta _{m}\}\in \Game \) converges to \(j\in \Game \) if \(\lim_{m\rightarrow \infty }\nabla (\theta _{m},j,\omega )=\nu \) holds for all \(\omega \in A_{\vartheta }\).
Definition 2.10
([43])
Assume that \(\Game \neq \emptyset \). We say the two mappings \(\Lambda :\Game \times \Game \rightarrow \Game \) and \(\eta :\Game \rightarrow \Game \) are commutative if \(\eta ( \Lambda ( c^{1},c^{2} ) ) =\Lambda ( \eta c^{1},\eta c^{2} ) \).
3 Coupled fixed point results
Let Φ denote the class of all functions \(\phi :[0,1]\rightarrow {}[ 0,1]\) such that ϕ is increasing, continuous, and let \(\phi (t)>t \) for all \(t\in (0,1)\). Note that if \(\phi (0)=0\) and \(\phi (1)=1\) additionally hold, then \(\phi (t)\geq t\), \(t\in {}[ 0,1]\) for all functions in Φ.
Now we shall discuss the existence and uniqueness of a coupled common fixed point (CCFP) for two-self mappings in the setting of CVFMSs by introducing the two theorems below.
Theorem 3.1
Let \(( \Game ,\nabla ,\star ) \) be a complete CVFMS, \(\Lambda :\Game \times \Game \rightarrow \Game \) and \(\eta :\Game \rightarrow \Game \) be self-mappings so that
for each \(c^{1},c^{2},b^{1},b^{2}\in \nabla \), \(\omega \in A_{\vartheta }\), where \(\mu \in (0,1]\). If the pair mapping \((\Lambda ,\eta )\) satisfies the stipulations below:
-
(i)
\(\Lambda (\Game \times \Game )\subseteq \eta ( \Game ) \);
-
(ii)
\(\eta ( \Game ) \) is complete;
-
(iii)
η is continuous and commutes with Λ.
Then Λ and η have a unique CCFP.
Proof
Let \(c_{\circ }^{1},c_{\circ }^{2}\in \Game \). Because \(\Lambda (\Game \times \Game )\subseteq \eta ( \Game ) \), one can select \(c_{1}^{1},c_{1}^{2}\in \Game \) such that \(\eta ( c_{\circ }^{1} ) =\Lambda (c_{\circ }^{1},c_{ \circ }^{2})\) and \(\eta ( c_{\circ }^{2} ) =\Lambda (c_{\circ }^{2},c_{ \circ }^{1})\). Again by stipulation (i), we can choose \(c_{2}^{1},c_{2}^{2}\in \Game \) such that \(\eta ( c_{2}^{1} ) =\Lambda (c_{1}^{1},c_{1}^{2})\) and \(\eta ( c_{2}^{2} ) =\Lambda (c_{1}^{2},c_{1}^{1})\). By continuing the same logic reasoning, we can build two sequences \(\{c_{m}^{1}\},\{c_{m}^{2}\}\in \Game \) so that
According to (3.1), we have
this leads to
similarly,
which leads to
for each \(m\in \mathbb{N} \). Now, we want to show that \(\theta _{m}=\nu \). Hence, by the definition, we have
Thus, \(\{\theta _{m}(\omega )\}\) is a monotonic sequence in A. By (3.5) and Remark 2.7, there is \(\nu ^{\ast }\in A\) so that
Inequality (3.2) suggests that
or
similarly, inequality (3.4) leads to
It follows from (3.8) and (3.9) that
this yields \(( 1-\mu ) \nu \preceq \theta _{m}-\mu \theta _{m-1}\). By (3.7), we can write
Because \(\mu \in (0,1]\) and utilizing Remark 2.8, we obtain that \(\nu =\nu ^{\ast }\). Thus
Next, we show that \(\{\eta c_{m}^{1}\}\) and \(\{\eta c_{m}^{2}\}\) are Cauchy sequences in \(\eta ( \Game ) \) for \(m\in \mathbb{N} \). First we prove that, for each ν, there are two numbers \(n,m\in \mathbb{N} \) so that
Assume the contrary. Thus, for each ν and integer σ, there exist integers \(n(\sigma )\) and \(m(\sigma )\) with \(m(\sigma )>n(\sigma )\geq \sigma \) so that
Consider
Assume that \(n(\sigma )\) is the smallest number exceeding \(m(\sigma )\) so that (3.10) holds. Let
By (3.10), and using the fact for each \(z_{1},z_{2},z_{3},z_{4}\in \Xi \), \(z_{1}\star z_{2}\preceq \max \{z_{1},z_{3}\}\star \max \{z_{2},z_{4} \}\), we can write
Taking \(\sigma \rightarrow \infty \) in the above inequality, we get
Thus,
On the other hand, we get
Applying stipulation (3.1), we have
Applying the limit as \(\sigma \rightarrow \infty \) in (3.10), and by Definition 2.2, we can write
this is a contradiction. Thus \(\{\eta c_{m}^{1}\}\) and \(\{\eta c_{m}^{2}\}\) are Cauchy sequences in \(\eta ( \Game ) \). The completeness of \(\eta ( \Game ) \) and Lemma 2.9 leads to there are two elements \(c^{1},c^{2}\in \Game \) such that
Also, the continuity of η implies that \(\{\eta \eta c_{m}^{1}\}\) and \(\{\eta \eta c_{m}^{2}\}\) are convergent to \(\eta c^{1}\) and \(\eta c^{2}\) respectively. Moreover, since Λ and η commute, then one can write
and
Thus, by (3.1), we get
This leads to
Applying the limit as \(m\rightarrow \infty \), we have
Hence \(\eta c^{1}=\Lambda ( c^{1},c^{2} ) \), similarly, one can show that \(\eta c^{2}=\Lambda ( c^{2},c^{1} ) \). Thus the pair \(( c^{1},c^{2} ) \) is a coupled FP of the mappings η and Λ. Again, by (3.1), we get
this implies that
similarly, one can write
Thus
Hence \(\nabla ( c^{1},\eta c^{1},\omega ) =\nu \) and \(\nabla ( c^{2},\eta c^{2},\omega ) =\nu \). Thus \(c^{1}=\eta c^{1}\) and \(c^{2}=\eta c^{2}\) or, equivalently, \(c^{1}=\eta c^{1}=\Lambda ( c^{1},c^{2} ) \) and \(c^{2}=\eta c^{2}=\Lambda ( c^{2},c^{1} ) \).
For the uniqueness, assume that \(c^{\ast 1}\in \Game \) with \(c^{\ast 1}\neq c^{1}\) so that
Then, by (3.1), we have
which leads to \(c^{1}=c^{\ast 1}\). So Λ and η have a unique CCFP. □
Theorem 3.2
Assume that \(( \Game ,\nabla ,\star ) \) is a complete CVFMS, and let \(\Lambda :\Game \times \Game \rightarrow \Game \) and \(\eta :\Game \rightarrow \Game \) be self-mappings so that
for all \(c^{1},c^{2},b^{1},b^{2}\in \Game \), \(\omega \in A_{\vartheta }\). Assume that Λ and η satisfy the same stipulations of Theorem 3.1with \(\varphi \in \Phi \). Then Λ and η have a unique CCFP provided that \(\lim_{m\rightarrow \infty }\nabla ( c_{m}^{1},c_{m-1}^{1}, \omega ) =\nu \).
Proof
Assume that \(\{c_{m}^{1}\}\) and \(\{c_{m}^{2}\}\) are two sequences built in the proof of Theorem 3.1 so that
It follows from (3.1) that
with the same manner, we have
This yields
Thus, we have
Thus, \(\{\theta _{m}(\omega )\}\) is a monotonic sequence in A. By (3.14) and Remark 2.7, there is \(\nu ^{\ast }\in A\) such that
Inequality (3.13) suggests that
Taking the limit as \(m\rightarrow \infty \) in the above inequality and using \(\lim_{m\rightarrow \infty }\nabla ( c_{m}^{1},c_{m-1}^{1}, \omega ) =\nu \), we have
Remark 2.8 leads to \(\nu =\nu ^{\ast }\). Thus
We show that \(\{\eta c_{m}^{1}\}\) and \(\{\eta c_{m}^{2}\}\) are Cauchy sequences in \(\eta ( \Game ) \) for \(m\in \mathbb{N} \). First we prove that, for each ν, there are two numbers \(n,m\in \mathbb{N} \) such that
Assume the contrary. Thus, for each ν and integer σ, there exist integers \(n(\sigma )\) and \(m(\sigma )\) with \(m(\sigma )>n(\sigma )\geq \sigma \) so that
Consider
Assume that \(n(\sigma )\) the smallest number exceeding \(m(\sigma )\) so that (3.15) holds. Let
By (3.10), and using the fact for each \(z_{1},z_{2},z_{3},z_{4}\in \Xi \), \(z_{1}\star z_{2}\succeq \min \{z_{1},z_{3}\}\star \min \{z_{2},z_{4} \}\), we can write
Taking \(\sigma \rightarrow \infty \) in the above inequality, we get
Thus,
On the other hand, we get
By (3.12), we have
Applying the limit as \(\sigma \rightarrow \infty \) in (3.16), and by Definition 2.2, we can write
which is a contradiction. Thus \(\{\eta c_{m}^{1}\}\) and \(\{\eta c_{m}^{2}\}\) are Cauchy sequences in \(\eta ( \Game ) \). The completeness of \(\eta ( \Game ) \) and Lemma 2.9 leads to the existence of two elements \(c^{1},c^{2}\in \Game \) so that
Also, the continuity of η implies that \(\{\eta \eta c_{m}^{1}\}\) and \(\{\eta \eta c_{m}^{2}\}\) are convergent to \(\eta c^{1}\) and \(\eta c^{2}\) respectively. Moreover, since Λ and η commute, then we can write
and
Thus, by (3.12), we have
Passing \(m\rightarrow \infty \) in the above inequality, we get
Hence \(\eta c^{1}=\Lambda ( c^{1},c^{2} ) \), similarly, one can prove that \(\eta c^{2}=\Lambda ( c^{2},c^{1} ) \). Thus the pair \(( c^{1},c^{2} ) \) is a coupled FP of the mappings η and Λ. Again, by (3.12), we get
this implies that
similarly, one can write
Thus
The last inequality holds only if \(\nabla ( c^{1},\eta c^{1},\omega ) =\nu \) and \(\nabla ( c^{2},\eta c^{2},\omega ) =\nu \). Hence \(c^{1}=\eta c^{1}\) and \(c^{2}=\eta c^{2}\) or, equivalently, \(c^{1}=\eta c^{1}=\Lambda ( c^{1},c^{2} ) \) and \(c^{2}=\eta c^{2}=\Lambda ( c^{2},c^{1} ) \).
For the uniqueness, assume that \(c^{\ast 1}\in \Game \) with \(c^{\ast 1}\neq c^{1}\) so that
Then, by (3.12), we have
which is a contradiction. Thus \(c^{1}=c^{\ast 1}\), similarly, one can prove that \(c^{2}=c^{\ast 2}\). Hence Λ and η have a unique CCFP. □
Corollary 3.3
Let \(( \Game ,\nabla ,\star ) \) be a complete CVFMS and \(\Lambda :\Game \times \Game \rightarrow \Game \), \(\eta :\Game \rightarrow \Game \) be self-mappings so that
for all \(c^{1},c^{2},b^{1},b^{2}\in \Game \), \(\omega \in A_{\vartheta }\). Assume that Λ and η satisfy the same stipulations of Theorem 3.1with \(\varphi \in \Phi \). Then Λ and η have a unique (CCFP), whenever \(\lim_{m\rightarrow \infty }\nabla ( c_{m}^{1},c_{m-1}^{1}, \omega ) =\nu \).
Corollary 3.4
Let \(( \Game ,\nabla ,\star ) \) be a complete CVFMS and \(\Lambda :\Game \times \Game \rightarrow \Game \), \(\eta :\Game \rightarrow \Game \) be self-mappings so that
for all \(c^{1},c^{2},b^{1},b^{2}\in \Game \), \(\omega \in A_{\vartheta }\). Assume that Λ and η satisfy the same stipulations of Theorem 3.1with \(\varphi \in \Phi \). Then Λ and η have a unique CCFP, whenever \(\lim_{m\rightarrow \infty }\nabla ( c_{m}^{1},c_{m-1}^{1}, \omega ) =\nu \).
Examples below support our theoretical results.
Example 3.1
Let \(\Game =\{0\}\cup \{\frac{1}{m}:m\in \mathbb{N} \}\) with the metric Θ defined by
Define a t-norm “⋆” by \(p\star q=\min \{p,q\}\), \(p,q\in \Xi \). Assume that ∇ is the complex-valued fuzzy set defined by
for \(\omega \in A_{0}\). It is obvious that \(( \Game ,\nabla ,\star ) \) is a CVFMS. Define two mappings \(\Lambda :\Game \times \Game \rightarrow \Game \) and \(\eta :\Game \rightarrow \Game \) by
It is evident that \(\Lambda (\Game \times \Game )\subseteq \eta ( \Game ) \) and η is continuous. Since
Then we can write
Thus, all the requirements of Theorem 3.1 hold with \(\mu =1\) and \((0,0)\) is a unique coupled FP.
Example 3.2
Assume that all hypotheses of Example 3.1 hold. Let ∇ be the complex-valued fuzzy set defined by
for \(\omega \in A_{0}\). It is obvious that \(( \Game ,\nabla ,\star ) \) is a CVFMS. Define two mappings \(\Lambda :\Game \times \Game \rightarrow \Game \) and \(\eta :\Game \rightarrow \Game \) by
and \(\varphi (l)=\sqrt{l}\), \(l>0\). It is evident that \(\Lambda (\Game \times \Game )\subseteq \eta ( \Game ) \) and η is continuous. Since
it follows that
for all \(c^{1},c^{2},b^{1},b^{2}\in \Game \), \(\omega \in A_{0}\). Also, for any sequence \(\{c_{m}^{1}\}_{m\in \mathbb{N} }=\frac{1}{m}\), we can write
Thus the assumptions of Theorem 3.2 hold and (0,0) is a unique CCFP of the mappings Λ and η.
4 Existence solution for a coupled system of impulsive fractional differential equations
In this section, we study the existence and uniqueness of a coupled system of nonlinear fractional differential equation with impulses (1.1)
If necessary, the reader can refer to [36] for a more detailed explanation of the background of the problem. Here we use our derived fixed point theorems to prove the existence of solutions to problem (1.1). Let \(\mathcal{X}'=\mathrm{X}\times \mathrm{Y}\) with the norms \(\|(\mathrm{x}, \mathrm{y})\|=\|\mathrm{x}\|_{0}+\|\mathrm{y}\|_{0}\) and \(\|(\mathrm{x}, \mathrm{y})\|= \max \{\|\mathrm{x}\|_{0}, \| \mathrm{y}\|_{0}\}\). Define the operator \(\mathcal{T}: \mathcal{X}'\rightarrow \mathcal{X}'\) by
where
and
with
and
where \(\mathcal{Z}_{\mu }= \frac{\Gamma (3-\omega )}{2\Gamma (3-\omega )-\tau ^{2-\omega }}\) and \(\mathcal{Z}_{\gamma }= \frac{\Gamma (3-\xi )}{2\Gamma (3-\xi )-\tau ^{2-\xi }}\). Thus, solving problem (1.1) is equivalent to obtaining a fixed point of the operator \(\mathcal{T}\). Next, we have to prove the uniqueness of solutions of problem (1.1).
Theorem 4.1
Let the following conditions \((\mathbb{H}_{1})-(\mathbb{H}_{4})\) hold, and then the boundary value problem (1.1) has a unique solution.
- \((\mathbb{H}_{1})\)::
-
For all \(\mathrm{t}\in \mathrm{J}\) and \(\mathrm{x}_{\mathrm{j}}, \mathrm{y}_{\mathrm{j}}\in \mathbb{R}\), \(\mathrm{j}=1,2\), there exist some positive constants \(\mathrm{A}_{\mathrm{j}}, \mathrm{B}_{\mathrm{j}}, (\mathrm{j}=1,2,)\) such that
$$\begin{aligned}& \bigl\vert \mathrm{h}(\mathrm{t}, \mathrm{x}_{1}, \mathrm{y}_{1})-\mathrm{h}( \mathrm{t}, \mathrm{x}_{2}, \mathrm{y}_{2}) \bigr\vert \leq \mathrm{A}_{1} \vert \mathrm{x}_{1}-\mathrm{x}_{2} \vert + \mathrm{A}_{2} \vert \mathrm{y}_{1}- \mathrm{y}_{2} \vert , \\& \bigl\vert \mathrm{g}(\mathrm{t}, \mathrm{x}_{1}, \mathrm{y}_{1})-\mathrm{g}( \mathrm{t}, \mathrm{x}_{2}, \mathrm{y}_{2}) \bigr\vert \leq \mathrm{B}_{1} \vert \mathrm{x}_{1}-\mathrm{x}_{2} \vert + \mathrm{B}_{2} \vert \mathrm{y}_{1}- \mathrm{y}_{2} \vert . \end{aligned}$$ - \((\mathbb{H}_{2})\)::
-
\(\mathrm{x}_{\mathrm{j}}, \mathrm{y}_{\mathrm{j}}\in \mathbb{R}\), there exist some positive constants \(\mathrm{L}_{\mathrm{j}\mathrm{m}},\hat{\mathrm{L}}_{\mathrm{j} \mathrm{m}}, \check{\mathrm{L}}_{\mathrm{j}\mathrm{m}}, (\mathrm{j}=1, 2; \mathrm{m}=1, 2, \ldots, \mathrm{n})\) such that
$$\begin{aligned}& \bigl\vert \mathcal{M}_{\mathrm{j}\mathrm{m}}(\mathrm{x})-\mathcal{M}_{ \mathrm{j}\mathrm{m}}( \mathrm{y}) \bigr\vert \leq \mathrm{L}_{\mathrm{j} \mathrm{m}} \vert \mathrm{x}- \mathrm{y} \vert , \\& \bigl\vert \mathcal{N}_{\mathrm{j}\mathrm{m}}(\mathrm{x})-\mathcal{N}_{ \mathrm{j}\mathrm{m}}( \mathrm{y}) \bigr\vert \leq \hat{\mathrm{L}}_{\mathrm{j} \mathrm{m}} \vert \mathrm{x}-\mathrm{y} \vert , \\& \bigl\vert \mathcal{O}_{\mathrm{j}\mathrm{m}}(\mathrm{x})-\mathcal{O}_{ \mathrm{j}\mathrm{m}}( \mathrm{y}) \bigr\vert \leq \check{\mathrm{L}}_{\mathrm{j} \mathrm{m}} \vert \mathrm{x}-\mathrm{y} \vert . \end{aligned}$$ - \((\mathbb{H}_{3})\)::
-
\([(\mathrm{A}_{1}+\mathrm{A}_{2}) (\frac{2}{\Gamma (\mu +1)}+ \frac{1}{\Gamma (\mu )}+\frac{1}{2\Gamma (\mu -1)}+ \frac{\mathcal{Z}_{\mu }}{\Gamma (\mu -\omega +1)} + \frac{\mathcal{Z}_{\mu }\tau ^{1-\omega }}{\Gamma (\mu )\Gamma (2-\omega )}+ \frac{\mathcal{Z}_{\mu }\tau ^{2-\omega }}{\Gamma (\mu -1)\Gamma (3-\omega )} + \frac{\mathcal{Z}_{\mu }\tau ^{1-\omega }}{\Gamma (\mu -1)\Gamma (2-\omega )}+ \frac{2\mathcal{Z}_{\mu }}{\Gamma (\mu -1)} )+ \sum_{\mathrm{j}=1}^{\mathrm{m}}\mathrm{L}_{1\mathrm{j}}+\sum_{\mathrm{j}=1}^{\mathrm{m}} \hat{\mathrm{L}}_{1\mathrm{j}}+ \sum_{\mathrm{j}=1}^{\mathrm{m}} \frac{\mathcal{Z}_{\mu }\tau ^{1-\omega }}{\Gamma (2-\omega )} \hat{\mathrm{L}}_{1\mathrm{j}}+ \frac{\mathcal{Z}_{\mu }\tau ^{2-\omega }}{\Gamma (3-\omega )}\sum_{ \mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{1\mathrm{j}}+ \frac{\mathcal{Z}_{\mu }\tau ^{1-\omega }}{\Gamma (2-\omega )}\sum_{ \mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{1\mathrm{j}}+ \mathcal{Z}_{ \mu }\sum_{\mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{1\mathrm{j}}+ \frac{1}{2}\sum_{\mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{1 \mathrm{j}} ]<1\) and \([(\mathrm{B}_{1}+\mathrm{B}_{2}) ( \frac{2}{\Gamma (\gamma +1)}+\frac{1}{\Gamma (\gamma )}+ \frac{1}{2\Gamma (\gamma -1)}+ \frac{\mathcal{Z}_{\gamma }}{\Gamma (\gamma -\xi +1)} + \frac{\mathcal{Z}_{\gamma }\epsilon ^{1-\xi }}{\Gamma (\gamma )\Gamma (2-\xi )}+ \frac{\mathcal{Z}_{\gamma }\epsilon ^{2-\xi }}{\Gamma (\gamma -1)\Gamma (3-\xi )} + \frac{\mathcal{Z}_{\gamma }\epsilon ^{1-\xi }}{\Gamma (\gamma -1)\Gamma (2-\xi )}+ \frac{2\mathcal{Z}_{\gamma }}{\Gamma (\gamma -1)} )+ \sum_{ \mathrm{j}=1}^{\mathrm{m}}\mathrm{L}_{2\mathrm{j}}+\sum_{\mathrm{j}=1}^{\mathrm{m}}\hat{\mathrm{L}}_{2\mathrm{j}}+ \sum_{\mathrm{j}=1}^{\mathrm{m}} \frac{\mathcal{Z}_{\gamma }\epsilon ^{1-\xi }}{\Gamma (2-\xi )} \hat{\mathrm{L}}_{2\mathrm{j}}+ \frac{\mathcal{Z}_{\gamma }\epsilon ^{2-\xi }}{\Gamma (3-\xi )}\sum_{ \mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{2\mathrm{j}}+ \frac{\mathcal{Z}_{\gamma }\epsilon ^{1-\xi }}{\Gamma (2-\xi )}\sum_{ \mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{2\mathrm{j}}+ \mathcal{Z}_{ \gamma }\sum_{\mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{1\mathrm{j}}+ \frac{1}{2}\sum_{\mathrm{j}=1}^{\mathrm{m}}\check{\mathrm{L}}_{1 \mathrm{j}} ]<1\),
- \((\mathbb{H}_{4})\)::
-
\(\frac{\omega }{\omega +\|(\eta \mathrm{x}_{1}, \eta \mathrm{x}_{2})\|} \nu =\min \{ \frac{\omega }{\omega +\|(\eta \mathrm{x}_{1}, \eta \mathrm{x}_{2})\|} \nu , \frac{\omega }{\omega +\|(\eta \mathrm{y}_{1}, \eta \mathrm{y}_{2})\|} \nu )\}\) and
$$ \bigl\Vert (\mathrm{x}_{1}-\mathrm{x}_{2}, \mathrm{y}_{1}-\mathrm{y}_{2}) \bigr\Vert \preceq \bigl\Vert (\eta \mathrm{x}_{1}, \eta \mathrm{x}_{2}) \bigr\Vert . $$
Proof
It is easy to check that \((\mathcal{X}', \nabla , \star )\) is a CVFMS with the CVFM defined by
If \(\mathrm{t}\in \mathrm{J}\), from (1.1) and conditions \((\mathbb{H}_{1})-(\mathbb{H}_{2})\), for all \((\mathrm{x}_{1}, \mathrm{y}_{1}), (\mathrm{x}_{2}, \mathrm{y}_{2}) \in \mathrm{Y}'\), we have
When \(\mathrm{t}\in [\mathrm{t}_{\mathrm{m}}, \mathrm{t}_{\mathrm{m}+1}]\), then
By taking maximum and using \((\mathbb{H}_{3})\), \((\mathbb{H}_{4})\) in (4.4), we obtain
Now
In the same fashion, we can obtain
and
Similarly, one can show that
Thus, from (4.2)–(4.9), we infer that all conditions of Corollary 3.3 are satisfied. Hence \(\mathcal{T}\) has a fixed point \((\mathrm{x}^{*}(\mathrm{t}), \mathrm{y}^{*}(\mathrm{t}))\in \mathcal{X}'\), which is unique. Therefore, problem (1.1) has a unique solution \((\mathrm{x}^{*}(\mathrm{t}), \mathrm{y}^{*}(\mathrm{t}))\). □
5 Conclusion
Due to the many applications in which the fixed point method is involved, this is an important pillar and a good tool in nonlinear analysis. This technique mainly participates in the complex analysis in terms of studying the existence and uniqueness of the FP within the various spaces that include complex numbers such as complex-valued metric space, complex-valued b-metric space, etc. In the setting of the fuzzy set framework, this formalism is devoted to obtaining the FP for single and multivalued mappings via suitable conditions. Nonlinear analysis and fixed point theory play a prominent role in many fields of mathematics, and by the technique of FP, we can solve several existing problems in mathematics. Blood flow systems, aerodynamics, the nonlinear oscillation of earthquake, the fluid-dynamic traffic model, and control theory both can be studied mathematically by fractional calculus. Because of that, this discipline has turned around many researchers and readers especially when we deal with these problems in a fixed point fashion. One of the important branches of fractional calculus is impulsive fractional differential equations since the pulse effect is significant in many processes and phenomena. For example, in biological systems such as heartbeats, blood flows, mechanical systems with impact, population dynamical systems, and so on. By successful applications of our derived results, we have studied the existence and uniqueness solutions for a coupled system of impulsive fractional differential equations via coupled FP techniques in the setting of CVFMSs. In addition, some theoretical results and nontrivial examples have been also presented.
Availability of data and materials
Not applicable.
References
Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338–353 (1965)
Heilpern, S.: Fuzzy mappings and fixed point theorem. J. Math. Anal. Appl. 83(2), 566–569 (1981)
Choudhury, B.S., Das, K., Das, P.: Coupled coincidence point results for compatible mappings in partially ordered fuzzy metric spaces. Fuzzy Sets Syst. 222(1), 84–97 (2013)
Ćirić, L.: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces. Chaos Solitons Fractals 42(1), 146–154 (2009)
Mihet, D.: On fuzzy contractive mappings in fuzzy metric spaces. Fuzzy Sets Syst. 158, 915–921 (2007)
Saha, P., Choudhury, B.S., Das, P.: A new contractive mapping principle in fuzzy metric spaces. Bull dell’Uni Math Ital. 8(4), 287–296 (2016)
Kaleva, O., Seikkala, S.: On fuzzy metric spaces. Fuzzy Sets Syst. 12, 215–229 (1984)
Kramosil, I., Michalek, J.: Fuzzy metric and statistical metric spaces. Kybernetica 11, 336–344 (1975)
George, A., Veeremani, P.: On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 90, 365–368 (1994)
Došenović, T., Rakić, D., Brdar, M.: Fixed point theorem in fuzzy metric spaces using altering distance. Filomat 28(7), 1517–1524 (2014)
Gregori, V., Sapena, A.: On fixed-point theorem in fuzzy metric spaces. Fuzzy Sets Syst. 125, 245–252 (2002)
Mihet́, D.: A Banach contraction theorem in fuzzy metric spaces. Fuzzy Sets Syst. 144, 431–439 (2004)
Sedghi, S., Shobe, N., Selahshoor, M.A.: A common fixed point theorem for four mappings in two complete fuzzy metric spaces. Adv. Fuzzy Math. 1(1) (2006)
Sedghi, S., Shobkolaei, N., Došenović, T., Radenović, S.: Suzuki-type of common fixed point theorems in fuzzy metric spaces. Math. Slovaca 68(2), 451–462 (2018)
Wairojjana, N., Došenović, T., Rakić, D., Gopal, D., Kumam, P.: An altering distance function in fuzzy metric fixed point theorems. Fixed Point Theory Appl. 2015, 69 (2015)
Azam, A., Fisher, B., Khan, M.: Common fixed point theorems in complex-valued metric spaces. Numer. Funct. Anal. Optim. 32, 243–253 (2011)
Shukla, S., Rodríguez-Lopez, R., Abbas, M.: Fixed point results for contractive mappings in complex-valued fuzzy metric spaces. Fixed Point Theory 19(2), 1–22 (2018)
Chandok, S., Mukheimer, A., Hussain, A., Paunovic, L.: Picard-Jungck operator for a pair of mappings and simulation type functions. Mathematics 7, 5 (2019)
Hussain, A., Adeel, M.: Remarks on new fixed point theorems for contractions in ordered metric spaces. Fixed Point Theory Appl. 21(2) (2019)
Hassan, S., De la Sen, M., Agarwal, P., Ali, Q., Hussain, A.: A new faster iterative scheme for numerical fixed points estimation of Suzuki’s generalized nonexpansive mappings. Math. Probl. Eng. 2020, Article ID 3863819 (2020). https://doi.org/10.1155/2020/3863819
Agarwal, P., Jleli, M., Samet, B.: Fixed Point Theory in Metric Spaces, Recent Advances and Applications. Springer, Berlin (2018)
Joshi, V., Jain, S.: G-Metric Spaces: From the Perspective of F-Contractions and Best Proximity Points, Page 103, Metric Structures and Fixed Point Theory. CRC Press, Boca Raton (2022)
Gopal, D., Jain, S.: Fixed Point Theory in Partial Metric Spaces, Pages 282, Metric Structures and Fixed Point Theory. CRC Press, Boca Raton (2022)
Gopal, D., Budhia, L.M., Jain, S.: A relation theoretic approach for ϕ-fixed point result in metric space with an application to an integral equation. Commun. Appl. Nonlinear Anal. 6(1), 89–95 (2019)
Hammad, H.A., De la Sen, M.: A coupled fixed point technique for solving coupled systems of functional and nonlinear integral equations. Mathematics 7, 634 (2019)
Brikaa, M.: Existence results for a couple system of nonlinear fractional differential equation with three point boundary conditions. J. Fract. Calc. Appl. 3, 1–10 (2015)
Henderson, J., Luca, R.: Positive solutions for a system of fractional differential equations with coupled integral boundary conditions. Appl. Math. Comput. 249, 182–197 (2014)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Baleanu, D., Etemad, S., Rezapour, S.: A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound. Value Probl. 2020, 64 (2020)
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)
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)
Thabet, S.T.M., Etemad, S., Rezapour, S.: On a new structure of the pantograph inclusion problem in the Caputo conformable setting. Bound. Value Probl. 2020, 171 (2020)
Qi, T., Liu, Y., Zou, Y.: Existence result for a class of coupled fractional differential systems with integral boundary value conditions. J. Nonlinear Sci. Appl. 10, 4034–4045 (2017)
Zhang, Y.: Existence results for a coupled system of nonlinear fractional multi-point boundary value problems at resonance. J. Inequal. Appl. 2018, 198 (2018)
Zhang, Y., Bai, Z., Feng, T.: Existence results for a coupled system of nonlinear fractional three-point boundary value problems at resonance. Comput. Math. Appl. 61, 1032–1047 (2011)
Zada, A., Ali, Z., Xu, J., Cul, Y.: Stability results for a coupled system of impulsive fractional differential equations. Mathematics 7, 927 (2019)
Hammad, H.A., Aydi, H., De la Sen, M.: Solutions of fractional differential type equations by fixed point techniques for multi-valued contractions. Complixty 2021, Article ID 5730853 (2021). https://doi.org/10.1155/2021/5730853
Hammad, H.A., De la Sen, M.: Tripled fixed point techniques for solving system of tripled-fractional differential equations. AIMS Math. 6(3), 2330–2343 (2020)
Hammad, H.A., Aydi, H., Mlaiki, N.: Contributions of the fixed point technique to solve the 2D Volterra integral equations, Riemann-Liouville fractional integrals, and Atangana-Baleanu integral operators. Adv. Differ. Equ. 2021, 97 (2021)
Fu, X., Bao, X.: Some existence results for nonlinear fractional differential equations with impulsive and fractional integral boundary conditions. Adv. Differ. Equ. 2014, 129 (2014)
Yukunthorn, W., Ahmad, B., Ntouyas, S., Tariboon, J.: On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. 19, 77–92 (2016)
Zhao, K., Liang, J.: Solvability of triple-point integral boundary value problems for a class of impulsive fractional differential equations. Adv. Differ. Equ. 2017, 50 (2017)
Lakshmikantham, V., Cirić, Lj.B.: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 4341–4349 (2009)
Acknowledgements
The authors are grateful to the Spanish Government and the European Commission for Grant IT1207-19.
Funding
This work was supported in part by the Basque Government under Grant IT1207-19.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Humaira, Hammad, H.A., Sarwar, M. et al. Existence theorem for a unique solution to a coupled system of impulsive fractional differential equations in complex-valued fuzzy metric spaces. Adv Differ Equ 2021, 242 (2021). https://doi.org/10.1186/s13662-021-03401-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03401-0