Abstract
In this paper, we propose some new type of weak cyclic multivalued contraction mappings by generalizing the cyclic contraction using the δ-distance function. Several novel fixed point results are deduced for such class of weak cyclic multivalued mappings in the framework of metric spaces. Also, we construct some examples to validate the usability of the results. Various existing results of the literature are generalized.
Similar content being viewed by others
1 Introduction
In 2003, Kirk et al. [19] introduced the cyclic contraction and established some interesting results for such contractions in the setting of metric spaces. Thereafter many researchers worked in this arena and obtained astounding results, which have a lot of applications in various fields. Some well-known references consisting of similar type of work may be noted (see [7, 9–11, 22, 29]). Cyclic contractions are contractions useful to obtain fixed point and optimality results for non-self-mappings. Some coupling over the study of fixed points can be obtained through cyclic contractions; for details see [13]. The other utility of cyclic contractions is related to optimality problems; for details see [14].
Alber et al. [3] proposed weak contractions in Hilbert spaces and subsequently Rhoades [25] extended it. Several references to the literature are available with generalized weak contractions in metric and allied spaces with partially ordered metric spaces through [2–6, 8, 15, 16, 20, 21, 23, 26–28, 30]. An important contribution towards a generalized weak contraction was established by Choudhury et al. [12].
In this paper, we define multivalued \(\mathscr{C}_{S}\)-contractions and \(C_{\Gamma }\)-contractions mappings by generalizing cyclic contraction using δ-distance functions. Using the concept of Kirk et al. [19] with a blending of Geraghty contractions, we obtain some new fixed point results for such a class of weak cyclic mappings in the setting of metric spaces. Also, we provide some examples to show the usability of the results.
2 Main results
Throughout the paper, we suppose that \((\Delta , \wp )\) is a metric space and \(\mathfrak{CB}(\Delta )\) denotes the family of nonempty closed and bounded subsets of Δ. Acar and Altun [1] define \(\mathscr{D}(\sigma , \mathfrak{A})\) and \(\delta (\mathfrak{A}, \mathfrak{B})\), for \(\mathfrak{A}, \mathfrak{B}\in \mathfrak{CB}(\Delta )\), and \(\sigma \in \Delta \), by
and
Following Rakotch [24], Geraghty [17] introduced the following class of function:
Suppose that \(\mathscr{S}\) is the class of functions \(\varrho :R^{+}\rightarrow [0,1)\) with
-
(i)
\(R^{+} = \{t\in R:t> 0\}\),
-
(ii)
\(\varrho (t_{\beta })\rightarrow 1\) implies \(t_{\beta }\rightarrow 0\).
Definition 1
([18])
An element \(\sigma \in \Delta \) is said to be a fixed point of a multi-valued mapping \(\mathfrak{O}:\Delta \rightarrow \mathfrak{CB}(\Delta )\), such that \(\sigma \in \mathfrak{O}(\sigma )\).
Now, we derive a fixed point theorem by applying Geraghty’s contraction to \(\mathfrak{O}\) to show that \(\bigcap_{i=1}^{k} \mathfrak{CB}(A_{i})\) is nonempty.
Simply put, if \(j> k\) define \(\mathfrak{A}_{j} = \mathfrak{A}_{i}\) where \(i\equiv j (\mod k)\) and \(1\leq i\leq k\).
Definition 2
Suppose that \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) are nonempty closed subsets of a metric space \((\Delta , \wp )\) and \(\mathfrak{O}:\bigcup_{i=1}^{k} \mathfrak{A}_{i}\rightarrow \bigcup_{i=1}^{k}\mathfrak{CB}(\mathfrak{A}_{i})\) such that \(\mathfrak{O}(\mathfrak{A}_{i}) \subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\) (where \(\mathfrak{A}_{k+1} = \mathfrak{A}_{1}\)). A mapping \(\mathfrak{O}\) is called \(\mathscr{C}_{S}\)-contraction if for all \(\sigma \in \mathfrak{A}_{i}\), \(\varpi \in \mathfrak{A}_{i+1}\), \(1\leq i\leq k\), and a \(\varrho \in \mathscr{S}\), we have
where
Theorem 1
Every \(\mathscr{C}_{S}\)-contraction mapping on a complete metric space \((\Delta , \wp )\) has at least a fixed point in \(\bigcap_{i=1}^{k} \mathfrak{CB}(A_{i})\).
Proof
We present the proof of this theorem in the following steps.
First Step: Assume \(\sigma _{0}\in \mathfrak{A}_{1}\) and \(\sigma _{\beta }\in \mathfrak{O}^{\beta }\sigma _{0}\), \(\beta = 1,2,\ldots\) , such that \(\sigma _{1}\in \mathfrak{O}\sigma _{0}, \sigma _{2}\in \mathfrak{O} \sigma _{1},\ldots \) . If possible, for some \(\beta \in \mathbb{N}\), let \(\wp (\sigma _{\beta }, \sigma _{\beta +1}) > \wp (\sigma _{\beta - 1}, \sigma _{\beta })\). Consider
It implies that \(\varrho (\wp (\sigma _{\beta -1}, \sigma _{\beta }))\geq 1\), which is a contradiction since \(\varrho \in \mathscr{S}\). Therefore, for all \(\beta \geq 1\), \(\wp (\sigma _{\beta }, \sigma _{\beta +1}) \leq \wp (\sigma _{ \beta -1}, \sigma _{\beta })\). Hence \(\{(\wp (\sigma _{\beta }, \sigma _{\beta +1}))\}\) is a decreasing sequence.
Furthermore, using (2.1), we have
It implies that \(\frac{\wp (\sigma _{\beta +1}, \sigma _{\beta +2})}{\wp (\sigma _{\beta }, \sigma _{\beta +1})} \leq \varrho (\wp (\sigma _{\beta }, \sigma _{\beta +1})) < 1\), for \(\beta = 1,2,3,\ldots \) . Now, take \(\beta \rightarrow +\infty \), and we get \(\varrho (\wp (\sigma _{\beta }, \sigma _{\beta +1}))\rightarrow 1\), and since \(\varrho \in \mathscr{S}\), we have \(\wp (\sigma _{\beta }, \sigma _{\beta +1})\rightarrow 0\).
Second Step: Suppose that there is \(\rho >0\) such that, for any \(\beta _{1}\in \mathbb{N}\), there exists \(\beta > \alpha \geq \beta _{1}\) with \(\beta - \alpha \equiv 1 (\mod k)\) such that \(\wp (\sigma _{\beta }, \sigma _{\alpha })\geq \rho >0\). Utilizing the triangle inequality, we get
and
which implies \(-\wp (\sigma _{\beta -1}, \sigma _{\beta }) \leq -\mathscr{M}( \sigma _{\beta -1}, \sigma _{\beta })\).
Since \(\beta - \alpha \equiv 1(\mod k)\), \(\sigma _{\alpha }\) and \(\sigma _{\beta }\) lie in different but consecutive sets \(\mathfrak{A}_{i}\) and \(\mathfrak{A}_{i+1}\) for some \(1\leq i\leq k\), by the contractive condition we get
Taking \(\beta , \alpha \rightarrow +\infty \) with \(\beta - \alpha \equiv 1(\mod k)\), we have \(\varrho (\wp (\sigma _{\beta }, \sigma _{\alpha }))\rightarrow 1\). But, since \(\varrho \in \mathscr{S}\), we have \(\wp (\sigma _{\beta }, \sigma _{\alpha })\rightarrow 0\), which leads to a contradiction. Therefore, for given any \(\epsilon > 0\) there exists \(\beta _{1}\in \mathbb{N}\) such that, for \(\beta , \alpha \geq \beta _{1}\) and \(\beta - \alpha \equiv 1(\mod k)\), we have \(\wp (\sigma _{\beta }, \sigma _{\alpha })<\epsilon /\rho \). By the first step, we choose \(\beta _{2}\in \mathbb{N}\) so that \(\wp (\sigma _{\beta }, \sigma _{\alpha })<\epsilon /\rho \) if \(\beta \geq \beta _{2}\). Considering \(\beta , \alpha \geq \max \{\beta _{1},\beta _{2}\}\) with \(\beta > \alpha \). Then there exists \(p\in \{1,2,3,\ldots ,k\}\) such that \(\beta - \alpha \equiv p(\mod k)\). Thus \(\beta - \alpha +j \equiv 1(\mod k)\), where \(j = k-p+1\) and hence
that is, \(\wp (\sigma _{\beta }, \sigma _{\alpha }) < \epsilon \). This proves that \(\{\sigma _{\beta }\}\) is a Cauchy sequence, and consequently that \(\bigcap_{i=1}^{k} \mathfrak{CB}(A_{i})\neq \emptyset \).
Third Step: Next we prove that there is a point \(z \in \mathfrak{O}z\) which will be the fixed point of \(\mathfrak{O}\). On the contrary assume that \(z\notin \mathfrak{O}z\). Then there exist \(n_{0}\in \mathbb{N}\) and a subsequence \(\{\sigma _{\beta _{d}}\}\) of \(\{\sigma _{\beta }\}\) such that \(\mathscr{D}(\sigma _{\beta _{d}+1}, \mathfrak{O}z)>0\) for all \(\beta _{d}\geq \beta _{0}\) else, there exists \(\beta _{1}\in \mathbb{N}\) such that \(\sigma _{\beta }\in \mathfrak{O}z\) for all \(\beta \geq \beta _{1}\), which implies that \(z\in \mathfrak{O}z\), a contradiction to our assumption that \(z\notin \mathfrak{O}z \). Since \(\mathscr{D}(\sigma _{\beta _{d}+1}, \mathfrak{O}z)>0\), for all \(\beta _{d}\geq \beta _{0}\), we have
Taking the limit \(d\rightarrow +\infty \), we get \(\mathscr{D}(z, \mathfrak{O}z)\leq \frac{1}{2}\mathscr{D}(z, \mathfrak{O}z)\), which is a contradiction. Thus, we get \(z\in \overline{\mathfrak{O}z} = \mathfrak{O}z\). Hence the result. □
By putting \(\mathscr{M}(\sigma , \varpi )=\wp (\sigma , \varpi )\) in Theorem 1, we have the following result.
Corollary 1
Let \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) be nonempty closed subsets of a complete metric space \((\Delta , \wp )\). Suppose that \(\mathfrak{O}:\bigcup_{i=1}^{k} \mathfrak{A}_{i}\rightarrow \bigcup_{i=1}^{k} \mathfrak{CB}(\mathfrak{A}_{i})\) satisfies the following conditions:
-
(i)
\(\mathfrak{O}(\mathfrak{A}_{i}) \subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), (where \(\mathfrak{A}_{k+1} = \mathfrak{A}_{1}\));
-
(ii)
\(\delta (\mathfrak{O}\sigma , \mathfrak{O}\varpi )\leq \varrho (\wp ( \sigma , \varpi ))\wp (\sigma , \varpi )\) for all \(\sigma \in \mathfrak{A}_{i}\), \(\varpi \in \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), \(\varrho \in \mathscr{S}\).
Then \(\mathfrak{O}\) has at least a fixed point in \(\cap _{i} \mathfrak{CB}(\mathfrak{A}_{i})\).
The next corollary follows by imposing \(\mathscr{M}(\sigma , \varpi )=\wp (\sigma , \varpi )\) and \(\delta (\sigma , \varpi ) =\wp (\sigma , \varpi )\) in Theorem 1.
Corollary 2
Assume that \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) is a nonempty closed subsets of a complete metric space \((\Delta , \wp )\). Suppose that \(\mathfrak{O}:\bigcup_{i=1}^{k} \mathfrak{A}_{i}\rightarrow \bigcup_{i=1}^{k} \mathfrak{CB}(\mathfrak{A}_{i})\) satisfies the conditions as follows:
-
(i)
\(\mathfrak{O}(\mathfrak{A}_{i})\subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), (where \(\mathfrak{A}_{k+1} = \mathfrak{A}_{1}\));
-
(ii)
\(\wp (\mathfrak{O}\sigma , \mathfrak{O}\varpi )\leq \varrho (\wp ( \sigma , \varpi ))\wp (\sigma , \varpi )\) for all \(\sigma \in \mathfrak{A}_{i}\), \(\varpi \in \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), \(\varrho \in \mathscr{S}\).
Then \(\mathfrak{O}\) has at least a fixed point in \(\cap _{i} \mathfrak{CB}(\mathfrak{A}_{i})\).
By treating multivalued mapping \(\mathfrak{O}\) as a singleton set, we have the following result.
Corollary 3
Assume that \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) is a nonempty closed subset of a complete metric space \((\Delta , \wp )\). Suppose that \(\mathfrak{O}:\bigcup_{i=1}^{k} \mathfrak{A}_{i}\rightarrow \bigcup_{i=1}^{k} \mathfrak{A}_{i}\) satisfies the conditions as follows:
-
(i)
\(\mathfrak{O}(\mathfrak{A}_{i})\subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), (where \(\mathfrak{A}_{k+1} = \mathfrak{A}_{1}\));
-
(ii)
\(\wp (\mathfrak{O}\sigma , \mathfrak{O}\varpi )\leq \varrho (\wp ( \sigma , \varpi ))\wp (\sigma , \varpi )\) for all \(\sigma \in \mathfrak{A}_{i}\), \(\varpi \in \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), \(\varrho \in \mathscr{S}\).
Then \(\mathfrak{O}\) has a fixed point in \(\cap _{i} \mathfrak{A}_{i}\).
Example 1
Let \(\Delta =[0, 1]\) with usual metric, \(\mathfrak{A}_{1}=[0,1]\), \(\mathfrak{A}_{2}=[0, 1]\) such that \(\Delta =\cup _{i=1}^{2}\mathfrak{A}_{i}\). Assume that \(\mathfrak{O}x=\ln (1+\frac{x}{6})\). Here \(\mathfrak{O}\mathfrak{A}_{1}\subseteq \mathfrak{A}_{2}\) and \(\mathfrak{O}\mathfrak{A}_{2}\subseteq \mathfrak{A}_{1}\). Consider \(\varrho (t)=\frac{1}{1+t}\), when \(t\in (0,+\infty )\) and \(\varrho (t)=1\), when \(t=0\), so it satisfies the Geraghty condition. Here all the hypotheses of Corollary 3 are satisfied and 0 is a fixed point.
We denote by Γ the collection of all functions \(\Psi :R^{+}\rightarrow [0,+\infty )\) satisfying the following conditions:
-
(a)
Ψ is upper semi-continuous from the right;
-
(b)
\(0\leq \Psi (t) < t\) for \(t > 0\).
Definition 3
Suppose that \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) are nonempty closed subsets of a metric space \((\Delta , \wp )\) and \(\mathfrak{O}:\bigcup_{i=1}^{k} \mathfrak{A}_{i}\rightarrow \bigcup_{i=1}^{k} \mathfrak{CB}(\mathfrak{A}_{i})\) such that \(\mathfrak{O}(\mathfrak{A}_{i}) \subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\) (where \(\mathfrak{A}_{p+1} = \mathfrak{A}_{1}\)). A mapping \(\mathfrak{O}\) is called a \(C_{\Gamma }\)-contraction if there exists \(\Psi \in \Gamma \) and, for all \(\sigma \in A_{i}\), \(\varpi \in A_{i+1}\), \(1\leq i\leq k\), we have
where \(M(\sigma , \varpi ) = \max \{\wp (\sigma , \varpi ), \frac{1}{2} [ \mathscr{D}(\sigma ,\mathfrak{O}\sigma )+ \mathscr{D}(\varpi ,\mathfrak{O}\varpi ) ],\frac{1}{2} [ \mathscr{D}(\sigma ,\mathfrak{O}\varpi )+\mathscr{D}(\varpi , \mathfrak{O}x) ] \}\).
Theorem 2
Every \(C_{\Gamma }\)-contraction mapping on a complete metric space \((\Delta , \wp )\) has at least a fixed point in \(\bigcap_{i=1}^{k} \mathfrak{CB}(A_{i})\).
Proof
Let \(\sigma _{0}\in A_{1}\) and \(\sigma _{\beta }\in \mathfrak{O}^{\beta }\sigma _{0}\), \(\beta = 1,2,\ldots\) , such that \(\sigma _{1}\in \mathfrak{O}\sigma _{0},\ldots \) .
First Step:
If possible, for some β, let \(\wp (\sigma _{\beta }, \sigma _{\beta +1}) > \wp (\sigma _{\beta -1}, \sigma _{\beta })\). Now, utilizing the triangular property, we have
which implies \(\wp (\sigma _{\beta }, \sigma _{\beta +1}) < \wp (\sigma _{\beta }, \sigma _{\beta +1})\), which leads to a contradiction. Therefore, for all \(\beta \geq 1\), \(\wp (\sigma _{\beta }, \sigma _{\beta +1}) \leq \wp (\sigma _{\beta -1}, \sigma _{\beta })\). Hence \(\{(\wp (\sigma _{\beta }, \sigma _{\beta +1}))\}\) is a decreasing sequence.
Again assume that \(\lim_{\beta \rightarrow +\infty } \wp (\sigma _{\beta }, \sigma _{\beta +1})= \gamma \geq 0\). Say \(\gamma >0\). Using (2.2), we have
Taking \(\beta \rightarrow +\infty \), we see that \(\gamma \leq \Psi (\gamma )\) which is possible only when \(\gamma = 0\).
Therefore, \(\lim_{\beta \rightarrow +\infty }\wp (\sigma _{\beta }, \sigma _{\beta +1}) = 0 \).
Second Step: In this step we prove that the sequence \(\{\sigma _{\beta }\}\) is a Cauchy sequence. If possible let there exists \(\epsilon >0\) such that, for any \(d\in \mathbb{N}\), there exist \(\alpha _{d}>\beta _{d}\geq d\) such that \(\wp (\sigma _{\alpha _{d}},\sigma _{\beta _{d}})\geq \epsilon \). Again, we say that, for each d, \(\alpha _{d}\) is chosen to be the smallest number greater that \(\beta _{d}\) then the above is true. So,
Furthermore, we have
Therefore,
Also
Therefore, we get
So, there is j, with \(0\leq j\leq k-1\), such that \(\alpha _{d}-\beta _{d}+j\equiv 1 (\mod k)\) for infinitely many d.
If \(j=0\), then, for some d, we have
Taking \(d \rightarrow +\infty \), we have \(\epsilon \leq \Psi (\epsilon )\), which is again a contradiction to our assumption \(\Psi (t) < t\) for \(t>0\). Hence,
Similarly, we can prove for \(j\neq 0\). This proves that \(\{\sigma _{\beta }\}\) is a Cauchy sequence, and consequently \(\bigcap_{i=1}^{k} \mathfrak{CB}(A_{i})\neq \emptyset \).
Now, it is easy to prove the existence of fixed points along similar lines to Theorem 1. □
Assuming \(\mathscr{M}(\sigma , \varpi )=\wp (\sigma , \varpi )\) and \(\delta (\sigma , \varpi ) =\wp (\sigma , \varpi )\) in Theorem 2, we have the following result.
Corollary 4
Let \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) be nonempty closed subsets of a complete metric space \((\Delta , \wp )\). Suppose that \(\mathfrak{O}:\bigcup_{i=1}^{k} \mathfrak{A}_{i}\rightarrow \bigcup_{i=1}^{k} \mathfrak{CB}(\mathfrak{A}_{i})\) satisfies the conditions as follows:
-
(i)
\(\mathfrak{O}(\mathfrak{A}_{i})\subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\); (where \(\mathfrak{A}_{k+1} = \mathfrak{A}_{1}\));
-
(ii)
\(\wp (\mathfrak{O}\sigma ,\mathfrak{O} \varpi )\leq \Psi (\wp ( \sigma , \varpi ))\) for all \(\sigma \in \mathfrak{A}_{i}\), \(\varpi \in \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), where \(\Psi :R^{+}\rightarrow [0,+\infty )\) is upper semi-continuous from the right and satisfies \(0\leq \Psi (t)< t\) for \(t>0\).
Then \(\mathfrak{O}\) has at least a fixed point in \(\cap _{i} \mathfrak{CB}(\mathfrak{A}_{i})\).
Example 2
Let \(\Delta =\{-1,0,1\}\), \(\mathfrak{A}_{1}=\{-1,0\}\), \(\mathfrak{A}_{2}=\{0,1 \}\) such that \(\Delta =\cup _{i=1}^{2}\mathfrak{A}_{i}\) with usual metric ℘. Assume that
Here \(\mathfrak{O}\mathfrak{A}_{1}\subseteq \mathfrak{A}_{2}\) and \(\mathfrak{O}\mathfrak{A}_{2}\subseteq \mathfrak{A}_{1}\). Consider \(\psi (t)= \bigl\{\scriptsize{\begin{array}{ll} 0,&t=0, \\ t,& t> 0. \end{array}} \)
Here all the hypotheses of Theorem 2 are satisfied and 0 is a fixed point.
Example 3
Let \(\Delta =\{-\frac{1}{2},-\frac{1}{2^{2}},\ldots ,-\frac{1}{2^{n}}, \ldots \}\cup \{ 0\}\cup \{ \frac{1}{2},\frac{1}{2^{2}},\ldots , \frac{1}{2^{n}},\ldots \}\), \(\mathfrak{A}_{1}=\{\frac{-1}{2},\frac{-1}{2^{2}},\ldots \}\cup \{ 0 \}\), \(\mathfrak{A}_{2}=\{ \frac{1}{2},\frac{1}{2^{2}},\ldots \}\cup \{ 0\}\) such that \(\Delta =\cup _{i=1}^{2}\mathfrak{A}_{i}\) with usual metric ℘. Assume that
Here \(\mathfrak{O}\mathfrak{A}_{1}\subseteq \mathfrak{A}_{2}\) and \(\mathfrak{O}\mathfrak{A}_{2}\subseteq \mathfrak{A}_{1}\). Consider \(\psi (t)= \bigl\{\scriptsize{\begin{array}{ll} \frac{t}{2}, &t>0, \\ 0,& t=0. \end{array}} \)
Here all the hypotheses of Theorem 2 are satisfied and \(\mathfrak{O}\) has a fixed point.
Theorem 3
Let \(\{\mathfrak{A}_{i} \}^{k}_{i=1}\) be nonempty closed subsets of a complete metric space \((\Delta , \wp )\). Suppose that \(\Psi _{i} :\mathfrak{A}_{i}\rightarrow R \) is lower semi-continuous and bounded below for \(i=1,2,\ldots ,k\) and \(\mathfrak{O}:\bigcup_{i=1}^{k}A_{i} \rightarrow \bigcup_{i=1}^{k}\mathfrak{CB}(A_{i}) \) satisfies the following conditions:
-
(i)
\(\mathfrak{O}(\mathfrak{A}_{i}) \subseteq \mathfrak{A}_{i+1}\) for \(1\leq i\leq k\), (where \(\mathfrak{A}_{k+1} = \mathfrak{A}_{1}\));
-
(ii)
\(\delta (\sigma ,\mathfrak{O}\sigma )\leq \Psi _{i}(\sigma )-\Psi _{i+1}( \mathfrak{O}(\sigma )) \) for all \(\sigma \in \mathfrak{A}_{i}\), \(1\leq i\leq k\).
Then \(\mathfrak{O}\) has at least a fixed point in \(\bigcap_{i=1}^{k}\mathfrak{CB}(A_{i}) \).
Proof
Let \(\sigma _{1}\in \mathfrak{A}_{1}\) and \(\sigma _{\beta }\in \mathfrak{O}^{\beta -1}(\sigma _{1})\). From condition \((ii)\), we get
that is, \(\Psi _{1}(\sigma _{1}) \geq \Psi _{2}(\sigma _{2})\). Iterating in the same way, we get
where \(\Psi _{i}=\Psi _{j}\) if \(i\equiv j (\mod k)\).
Therefore \(\lim_{i\rightarrow +\infty } \Psi _{i}(\sigma _{i})=\gamma \).
Now we fix \(\sigma _{\beta }\in \mathfrak{A}_{\beta }\), and \(\alpha >\beta \). Consider
Therefore, \(\{\sigma _{\beta }\}\) is a Cauchy sequence, and in turn \(\bigcap_{i=1}^{k} \mathfrak{CB}(\mathfrak{A}_{i})\neq \emptyset \).
Now, we have a particular situation when \(\mathfrak{O}:\mathfrak{A_{i}}\rightarrow \mathfrak{A_{i}}\) and
for all \(\sigma \in \mathfrak{A}_{i}\). Thus,
Now define \(\Xi :\mathfrak{A}\rightarrow R\) by \(\Xi (\sigma )=k^{-1}\sum_{i=1}^{k}\Psi _{i}(\sigma )\), \(\sigma \in \mathfrak{A}\), where Φ is lower semi-continuous and bounded below and, moreover,
for each \(\sigma \in \mathfrak{A}_{i}\).
Following the similar methodology as in the Caristi type result [9], the proof of the remaining part of the theorem is obvious. □
Remark 1
(i) In this paper, we have not assumed the continuity of ϱ in any sense.
(ii) The concept of δ-distance is different from other distances in metric spaces. Many generalized contractions and cyclic contractions are used to obtain fixed point results with the help of multivalued mappings.
(iii) Existence and uniqueness of fixed point with this kind of multivalued cyclic δ-Meir–Keeler type contractions may be one of the challenging issues.
Availability of data and materials
All materials and data are available.
References
Acar, Ö., Altun, I.: A fixed point theorem for multivalued mappings with δ-distance. Abstr. Appl. Anal. 2014, Article ID 497092 (2014)
Alamgir, N., Kiran, Q., Isık, H., Aydi, H.: Fixed point results via a Hausdorff controlled type metric. Adv. Differ. Equ. 2020, 24 (2020)
Alber, Ya.I., Guerre-Delabriere, S.: Principle of weakly contractive maps in Hilbert spaces. New Res. Oper. Theory Appl. 98, 7–22 (1997)
Ali, A., Isik, H., Aydi, H., Ameer, E., Lee, J.R., Arshad, M.: On multivalued Suzuki-type θ-contractions and related applications. Open Math. 18, 386–399 (2020)
Ameer, E., Aydi, H., Arshad, M., De la Sen, M.: Hybrid Ćirić type graphic \(( \Upsilon ,\Lambda ) \)-contraction mappings with applications to electric circuit and fractional differential equations. Symmetry 12(3), 467 (2020)
Aydi, H., Lakzian, H., Mitrović, Z.D., Radenović, S.: Best proximity points of MT-cyclic contractions with property UC. Numer. Funct. Anal. Optim. 41(7), 871–882 (2020)
Boyd, D.W., Wong, J.S.W.: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458–464 (1969)
Budhia, L., Aydi, H., Ansari, A.H., Gopal, D.: Some new fixed point results in rectangular metric spaces with an application to fractional-order functional differential equations. Nonlinear Anal., Model. Control 25(4), 580–597 (2020)
Caristi, J.: Fixed point theorems for mappings satisfying inwardness conditions. Transl. Am. Math. Soc. 215, 241–251 (1976)
Chandok, S., Ansari, A.H., Narang, T.D.: A fixed point result for c-Kannan type cyclic weakly contractions. J. Nonlinear Funct. Anal. 2016, 39 (2016)
Chandok, S., Postolache, M.: Fixed point theorem for weakly Chatterjea-type cyclic contractions. Fixed Point Theory Appl. 2013, 28 (2013)
Choudhury, B.S., Konar, P., Rhoades, B.E., Metiya, N.: Fixed point theorems for generalized weakly contractive mappings. Nonlinear Anal. 74(6), 2116–2126 (2011)
Choudhury, B.S., Maity, P., Konar, P.: A global optimality result using Geraghty type contraction. Int. J. Optim. Control Theor. Appl. 4, 99–104 (2014)
Choudhury, B.S., Maity, P., Konar, P.: Fixed point results for couplings on metric spaces. Bull. Fac. Sci. Ibaraki Univ., Ser. A., Math. 79(1), 80–88 (2017)
Ćirić, L.: Some Recent Results in Metrical Fixed Point Theory. University of Belgrade, Beograd (2003)
Doric, D.: Common fixed point for generalized \(\psi ,\phi \)-weak contractions. Appl. Math. Lett. 22, 1896–1900 (2009)
Geraghty, M.A.: On contractive mappings. Proc. Am. Math. Soc. 40, 604–608 (1973)
Gordji, M.E., Baghani, H., Khodaei, H., Ramezani, M.: A generalization of Nadler’s fixed point theorem. J. Nonlinear Sci. Appl. 3, 148–151 (2010)
Kirk, W.A., Srinivasan, P.S., Veeramani, P.: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory 4, 79–89 (2003)
Popescu, O.: Fixed points for \((\psi , \phi )\)-weak contractions. Appl. Math. Lett. 24, 1–4 (2011)
Radenović, S.: Some remarks on mappings satisfying cyclical contractive conditions. Afr. Math. 27(1–2), 291–295 (2016)
Radenovic, S., Chandok, S., Shatanawi, W.: Some cyclic fixed point results for contractive mappings. Univ. Thought, Publ. Nat. Sci. 6, 38–40 (2016)
Radenović, S., Došenović, T., Aleksić-Lampert, T., Golubović, Z.: A note on some recent fixed point results for cyclic contractions in b-metric spaces and an application to integral equations. Appl. Math. Comput. 273, 155–164 (2016)
Rakotch, E.: A note on contractive mappings. Proc. Am. Math. Soc. 13, 459–465 (1962)
Rhoades, B.E.: Some theorems on weakly contractive maps. Nonlinear Anal. 47(4), 2683–2693 (2001)
Shatanawi, W., Karapinar, E., Aydi, H., Fulga, A.: Wardowski type contractions with applications on Caputo type nonlinear fractional differential equations. University Politechnica of Bucharest Scientific Bulletin-Series A-Applied 82(2), 157–170 (2020)
Shatanawi, W., Samet, B.: On \((\psi ,\phi )\)-weakly contractive condition in partially ordered metric spaces. Comput. Math. Appl. 62(8), 3204–3214 (2011)
Todorcević, V.: Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics. Springer, Switzerland (2019)
Wong, J.S.W.: Mappings of contractive type on abstract spaces. J. Math. Anal. Appl. 37, 331–340 (1972)
Zhang, Q., Song, Y.: Fixed point theory for generalized ψ-weak contractions. Appl. Math. Lett. 22, 75–78 (2009)
Acknowledgements
The authors are thankful to anonymous referees for valuable suggestions. The third author is thankful to NBHM-DAE grant 02011/11/2020/NBHM(RP)/R&D-II/7830. The fourth author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Funding
The fourth author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Author information
Authors and Affiliations
Contributions
All authors contributed equally. All authors read and approved the final manuscript.
Corresponding authors
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
Konar, P., Bhandari, S.K., Chandok, S. et al. Multivalued weak cyclic δ-contraction mappings. J Inequal Appl 2020, 250 (2020). https://doi.org/10.1186/s13660-020-02519-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02519-1