Abstract
In this paper, we study the behavior of \(L_{ ( \omega,C ) }\)-contraction mappings and establish some results on common fixed circles and discs. We explain the significance of our main theorems through examples and applications.
Similar content being viewed by others
1 Introduction
The Banach contraction principle [1] and its generalizations have been applied in various disciplines of mathematics, economics, and engineering. One of the interesting applications of Banach contraction principle is to study the graph neural network model [2] (see also [3, 4]). In some cases when we do not have uniqueness of the fixed point, such a map fixes a circle which we call a fixed circle, the fixed-circle problem arises naturally in practice. There exist a lot of examples of self-mappings that map a circle onto themselves and fix all the points of the circle, whereas the circle is not fixed by the self-mapping.
Take \(x _{0}\in \Im \) and given \(\ell \geq 0\) an arbitrary real. A circle and a disc with center \(x _{0}\) and radius ℓ are defined on a metric space \(( \Im,d) \) as follows, respectively:
and
A mapping \(\phi:\Im \rightarrow \Im \) fixes the circle \(C_{(x _{0}, \ell)}\) (resp. the disc \(D_{(x _{0},\ell)}\)) if \(\phi ( x) =x\) for all \(x \in C_{(x _{0},\ell)}\) (resp. \(x \in D_{(x _{0},\ell)}\)).
Denote by \(\mathbb{C}\) the set of all complex numbers with the usual metric \(d(r_{1},r_{2})= \vert r_{1}-r_{2} \vert \) for all \(r_{1},r_{2}\in \mathbb{C} \), and let \(\phi:\mathbb{C} \rightarrow \mathbb{C}\) be defined by
where r̅ is the conjugate of r. Then ϕ fixes all points of the circle \(\mathbb{C} _{0,1}= \{ r\in \mathbb{C} : \vert r \vert \leq 1 \} \). It is worth pointing out that there exist some mappings which map the circle \(\mathbb{C} _{r_{0},\iota }\) to themselves, but do not fix all points of the circle \(\mathbb{C} _{r_{0},\iota }\). For instance, let \(\psi:\mathbb{C} \rightarrow \mathbb{C}\) be defined by
Then \(\psi ( \mathbb{C} _{0,1} ) =\mathbb{C} _{0,1}\), but ψ does not fix all points of \(\mathbb{C} _{0,1}\). In fact, the mapping ψ fixes only two points of the unit circle.
The results on fixed circles and fixed discs have been studied in metric and generalized metric spaces via different contractive conditions (see [5–14]).
The concept of an F-contraction given by Wardowski [15] proved to be another milestone in fixed point theory. Numerous research papers on F -contractions have been published, see for instance [16–32].
Jleli and Samet [33, 34] introduced another generalization of BCP, known as a θ-contraction, and obtained some fixed point theorems for θ-contraction type mappings. Liu [35] introduced the concept of \(( \Upsilon,\Lambda) \)-contraction and established fixed point results for such mappings in metric spaces. Recently, Ameer [36] introduced common fixed point results for generalized multivalued \((\alpha _{K}^{\ast },\Upsilon,\Lambda)\)-contractions in \(\alpha _{K}\)-complete partial b-metric spaces. Moreover, Ameer [37, 38] introduced common fixed point results for generalized multivalued \((\Upsilon,\Lambda)\)-contractions in complete metric and b-metric spaces. Ameer et al. [39] initiated the notion of rational \(( \Lambda, \Upsilon,\Re) \)-contractive pair of mappings (where ℜ is a binary relation) and established new common fixed point results for these mappings in complete metric spaces, see also ([40, 41]).
In this paper, we study mappings that not only fix one element, but also fix a well-defined set of “fixed points” which is either a circle, or a disc. We present some results on fixed circles and discs for some types of contraction self-mappings, namely \(L_{ ( \omega,C ) }\)-contractions [42], Ćirić [43] type \(L_{ ( \omega,C ) }\)-contractions, and Hardy–Rogers [44] type \(L_{ ( \omega,C ) }\)-contractions in the setting of metric spaces. We discuss some results on fixed circles (discs) of integral type contractive single-valued maps. Moreover, we give an application of our obtained results to a discontinuous self-mapping that has a fixed circle.
2 Preliminaries
First, let \(F: ( 0,\infty) \rightarrow ( -\infty,\infty) \) be such that
- (\(F_{1}\)):
-
F is strictly increasing;
- \((F_{2})\):
-
for each sequence \(\{\gamma _{n}\}_{n=1}^{\infty }\subset (0,\infty) \),
$$ \lim_{n\rightarrow \infty }F (\gamma _{n} ) =-\infty \quad \Leftrightarrow\quad \lim_{n\rightarrow \infty }\gamma _{n}=0; $$ - \((F_{3})\):
-
there is \(\kappa \in (0,1)\) such that \(\lim_{t\rightarrow 0^{+}}t^{\kappa }F(t)=0\).
Define \(\mathcal{F}_{1}=\{F: ( 0,\infty) \rightarrow ( - \infty,\infty), F\text{ satisfies }(F_{1})\}\) and \(\mathcal{F}_{2}=\{F: ( 0,\infty) \rightarrow ( - \infty,\infty), F\text{ satisfies }(F_{1})-(F_{3})\}\).
Definition 2.1
([15])
Let \(T:\chi \rightarrow \chi \) be defined on a metric space \((\chi,d)\). Such T is named an F-contraction if there exist \(\tau >0\) and \(F\in \mathcal{F}_{2}\) such that
The related fixed point result is as follows:
Theorem 2.2
([15])
Each F- contraction self-mapping on a complete metric space admits a unique fixed point.
Piri and Kumam [45] replaced assumption \((F_{3})\) of F by:
- (\(\acute{F}_{3}\)):
-
F is continuous.
Take \(\mathcal{F}^{*}=\{F: ( 0,\infty) \rightarrow ( - \infty,\infty), F\text{ verifies } (F_{1}), (F_{2}), \text{ and } (\acute{F}_{3})\}\).
Definition 2.3
([45])
\(T:\chi \rightarrow \chi \) defined on a metric space \((\chi,d)\) is named an F-contraction (with \(F\in \mathcal{F}^{*}\)) if there exist \(\tau >0\) and \(F\in \mathcal{F}^{\ast }\) such that (2.1) holds.
The main result of Piri and Kumam [45] is as follows.
Theorem 2.4
([45])
Each F-contraction self-mapping (with \(F\in \mathcal{F}^{*}\)) on a complete metric space admits a unique fixed point.
Remark 2.5
Mention that the function F given as \(F(\varsigma)=-\frac{1}{{\varsigma }^{q}}\) (with \(q\geq 1\)) is in the set \(\mathcal{F}^{\ast }\), but it does not belong to \(\mathcal{F}_{2}\). Also, the function F defined by
is in \(\mathcal{F}_{2}\), but does not belong to \(\mathcal{F}^{\ast }\). However, there is also at least one function F defined by \(F(\varsigma)=\ln (\varsigma)\) which belongs to both \(\mathcal{F}^{\ast }\) and \(\mathcal{F}_{2}\). Hence, the families \(\mathcal{F}^{\ast }\) and \(\mathcal{F}_{2}\) are overlapping.
In 2014, the concept of θ-contractions was initiated by Jleli and Samet [33].
The self-mapping T defined on the metric space \(( \chi,d) \) is named a θ-contraction, whenever there exist \(\theta \in \Theta \) and \(k\in ( 0,1) \) such that
where \(\Theta =\{\theta: ( 0,\infty) \rightarrow ( 1, \infty) | \theta \text{ verifies }(\Theta _{1})-(\Theta _{3}) \}\)
- (\(\Theta _{1}\)):
-
θ is nondecreasing;
- (\(\Theta _{2}\)):
-
for each sequence \(\{ t_{n} \} \) in \((0,\infty)\),
$$ \lim_{n\rightarrow \infty }\theta (t_{n})=1 \quad \text{{iff}}\quad \lim_{n\rightarrow \infty }t_{n}=0^{+}; $$ - (\(\Theta _{3}\)):
-
there are \(\rho \in ( 0,1) \) and \(\vartheta \in ( 0,\infty ] \) such that \(\lim_{t\longrightarrow 0^{+}} \frac{\theta ( t) -1}{t^{\rho }}=\vartheta \).
Define \(\Psi =\{\Theta: \Theta \text{ satisfies }(\Theta _{1})\}\).
Theorem 2.6
([33])
Each θ-contraction mapping on a complete metric space admits a unique fixed point.
3 Results on fixed circles and discs
Throughout this paper, we denote by Ξ be the set of functions \(L: ( 0,\infty) \rightarrow ( 0,\infty) \) such that L is nondecreasing. We consider \(\Omega ^{\ast }=\{ \omega: ( 0,\infty) \rightarrow ( 0,\infty) | \omega \text{ satisfies }(\omega _{1}) \text{ and }(\omega _{2})\}\):
- \((\omega _{1})\):
-
ω is monotone increasing, that is, \(x <\varsigma \) implies \(\omega ( x) \leq \omega ( \varsigma) \);
- \((\omega _{2})\):
-
\(\omega (t)< t\) for every \(t>0\).
In this section, we initiate the notion of \(L_{ ( \omega,C ) }\)-contractions, Ćirić type \(L_{ ( \omega,C ) }\)-contractions, and \(L_{ ( \omega,C ) }\)-weak contractions and establish some related results on fixed circles (discs).
Definition 3.1
The mapping \(\phi:\chi \rightarrow \chi \) is called an \(L_{ ( \omega,C ) }\)-contraction if there are \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) such that, for all \(x \in \chi \),
Definition 3.2
The mapping \(\phi:\chi \rightarrow \chi \) is said to be a Ćirić type \(L_{ ( \omega,C ) }\)-contraction if there are \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) such that, for all \(x \in \chi \),
where
Definition 3.3
The mapping \(\phi:\chi \rightarrow \chi \) is said to be an \(L_{ ( \omega,C ) }\)-weak contraction if there exist \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) such that, for all \(x \in \chi \),
where
and \(\nu \in [ 0,1) \).
Remark 3.4
Take \(\nu =0\) in Definition 3.3, then Definition 3.3 reduces to Definition 3.2.
Proposition 3.5
Let \(( \chi,d) \) be a metric space and \(\phi:\chi \rightarrow \chi \) be an \(L _{ ( \omega,C ) }\)-weak contraction with \(x _{0}\in \chi \), then \(x _{0}=\phi ( x _{0} ) \).
Proof
Suppose that \(x _{0}\neq \phi ( x _{0} ) \). By Definition 3.2, one gets
where
This implies that
It is a contradiction. Therefore, \(x _{0}=\phi ( x _{0} ) \). □
Now, we introduce our result on fixed circles.
Theorem 3.6
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is an \(L_{ ( \omega,C ) }\)-weak contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\), then ϕ fixes the circle \(C_{(x _{0},\ell)}\).
Proof
Let \(x \in C_{(x _{0},\ell)}\). Suppose that \(x \in C_{(x _{0},\ell)}\), \(x \neq \phi ( x) \). By definition of ℓ, we have \(d ( x,\phi ( x)) \geq \ell \). By Proposition 3.5 and (3.1), we get
where
Now, we have three cases:
(1) \(\max \{ \ell,\nu d ( x,\phi ( x)), ( 1-\nu)\,d ( x,\phi ( x)) \} =\ell \), then from (3.2), the definition of ℓ, and the monotony of L, we get
It is a contradiction.
(2) \(\max \{ \ell,\nu d ( x,\phi ( x)), ( 1-\nu)\,d ( x,\phi ( x)) \} =\nu d ( x,\phi ( x))\), then we have two possibilities, \(\nu =0\) or \(\nu \in ( 0,1) \). If \(\nu =0\), then from (3.2) we have
which contradicts the definition of L. Suppose that \(\nu \in ( 0,1) \). Hence, from (3.2) and the monotony of L, we get
which is a contradiction.
(3) \(\max \{ \ell,\nu d ( x,\phi ( x)), ( 1-\nu)\,d ( x,\phi ( x)) \} = ( 1-\nu)\,d ( x,\phi ( x))\), then from (3.2) and the monotony of L, we get
It is a contradiction. Therefore, \(\phi ( x) =x \) for all \(x \in C_{(x _{0},\ell)}\). Thus, \(C_{(x _{0},\ell)}\) is a fixed circle of ϕ. □
The following is a result on fixed discs.
Theorem 3.7
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is an \(L_{ ( \omega,C ) }\)-weak contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in D_{(x _{0},\ell)}\), then ϕ fixes the disc \(D_{(x _{0},\ell)}\).
Proof
The mapping ϕ fixes the disc \(C_{(x _{0},\ell)}\) (from Theorem 3.6). Now, to show that ϕ fixes the disc \(D_{(x _{0},\ell)} \), it is sufficient to prove that ϕ fixes any circle \(C_{(x _{0},\varrho)}\) with \(\varrho <\ell \). Let \(x \in C_{(x _{0},\varrho)}\). Suppose that \(x \in C_{(x _{0},\ell)}\) with \(x \neq \phi ( x) \). From Proposition 3.5 and (3.1), we get
where
Now, we have three cases:
(1) \(\max \{ \varrho,\nu d ( x,\phi ( x)), ( 1-\nu) d ( x,\phi ( x)),\frac{\varrho +\ell }{2} \} =\nu d ( x,\phi ( x)) \), then we have two possibilities: \(\nu =0\) or \(\nu \in ( 0,1) \). If \(\nu =0\), then from (3.3) we have
which contradicts the definition of L. Suppose that \(\nu \in ( 0,1) \). Hence, from (3.3) and the monotony of L, we get
It is a contradiction.
(2) \(\max \{ \varrho,\nu d ( x,\phi ( x)), ( 1-\nu) d ( x,\phi ( x)),\frac{\varrho +\ell }{2} \} = ( 1-\nu) d ( x,\phi ( x)) \), then from (3.3) and the monotony of L, we get
which is a contradiction.
(3) \(\max \{ \varrho,\nu d ( x,\phi ( x)), ( 1-\nu) d ( x,\phi ( x)),\frac{\varrho +\ell }{2} \} =\frac{\varrho +\ell }{2}\), then from (3.3), the definition of ℓ, and the monotony of L, we get
It is a contradiction. Therefore, \(\phi ( x) =x \) for all \(x \in D_{(x _{0},\ell)}\). Thus, ϕ fixes the disc \(D_{(x _{0},\ell)}\). □
Corollary 3.8
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is an \(L_{ ( \omega,C ) }\)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\) (resp. \(D_{(x _{0},\ell)}\)), then ϕ fixes the circle \(C_{(x _{0},\ell)}\) (resp. the disc \(D_{(x _{0},\ell)}\)).
Corollary 3.9
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is a Ćirić type \(L_{ ( \omega,C ) }\)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\)(resp. the disc \(D_{(x _{0},\ell)}\)), then ϕ fixes the circle \(C_{(x _{0},\ell)}\) (resp. the disc \(D_{(x _{0},\ell)}\)).
Example 3.10
Let \(\chi = [ -3,\infty) \) be a metric space endowed with the usual metric d. Define ϕ: \(\chi \rightarrow \chi \) by
Then ϕ is an \(L_{ ( \omega,C ) }\)-contraction. In fact, let \(L(t)=te^{t}\), \(x _{0}=0\), and \(\omega (t)=\frac{t}{2}\). For all \(x \in \chi \) such that \(x \geq 3\), we have \(d ( x,\phi ( x)) =2>0\) and
The mapping ϕ is an \(L_{ ( \omega,C ) }\)-weak contraction. To show this, let \(L(t)=te^{t}\), \(x _{0}=0\), \(\nu =\frac{1}{2}\), and \(\omega =\frac{t}{2}\). For all \(x \in \chi \) such that \(x \geq 3\), we have \(d ( x,\phi ( x)) =2>0\) and
Also,
We also have \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} =2\). Therefore, all the conditions of Theorem 3.6 and Theorem 3.7 (and also Corollary 3.8) are satisfied. Observe that ϕ fixes the circle \(C_{0,2}= \{ -2,2 \} \) and the disc \(D_{0,2}= [ -2,2 ] \).
Next, we introduce the concepts of Reich type \(L_{ ( \omega,C ) }\)-contractions, Chatterjea type \(L_{ ( \omega,C ) }\)-contractions, and Hardy–Rogers type \(L_{ ( \omega,C ) } \)-contractions.
Definition 3.11
The mapping \(\phi:\chi \rightarrow \chi \) is said to be a Reich type \(L_{ ( \omega,C ) }\)-contraction if there exist \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) so that, for all \(x \in \chi \),
where \(a_{1},a_{2},a_{3}\geq 0\) and \(a_{1}+a_{2}+a_{3}<1\).
Definition 3.12
The mapping \(\phi:\chi \rightarrow \chi \) is said to be a Chatterjea type \(L_{ ( \omega,C ) }\)-contraction if there exist \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) such that, for all \(x \in \chi \),
where b\(\in ( 0,\frac{1}{2} ) \).
Definition 3.13
The mapping \(\phi:\chi \rightarrow \chi \) is said to be a Hardy–Rogers type \(L_{ ( \omega,C ) }\)-contraction if there exist \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) such that, for all \(x \in \chi \),
where \(a_{1},a_{2},a_{3},a_{4},a_{3}\geq 0\) and \(a_{1}+a_{2}+a_{3}+a_{4}+a_{5}<1\).
Proposition 3.14
Let \(( \chi,d) \) be a metric space and \(\phi:\chi \rightarrow \chi \) be a Hardy–Rogers type \(\Lambda _{ ( \Upsilon,C ) }\)- contraction with \(x _{0}\in \chi \), then \(x _{0}=\phi ( x _{0} ) \).
Proof
Suppose that \(x _{0}\neq \phi ( x _{0} ) \). By Definition 3.13, one gets
It implies that
It is a contradiction. Therefore, \(x _{0}=\phi ( x _{0} ) \). □
Now, we introduce our result on fixed circles.
Theorem 3.15
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is a Hardy–Rogers type \(L_{ ( \omega,C ) }\)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\), then ϕ fixes the circle \(C_{(x _{0},\ell)}\).
Proof
Let \(x \in C_{(x _{0},\ell)}\). Suppose that \(x \in C_{(x _{0},\ell)}\), \(x \neq \phi ( x) \). By definition of ℓ, we have \(d ( x,\phi ( x)) \geq \ell \). From Proposition 3.14 and (3.4), we get
It is a contradiction. Therefore, \(\phi ( x) =x \) for all \(x \in C_{(x _{0},\ell)}\). Thus, ϕ fixes the circle \(C_{(x _{0},\ell)}\). □
Theorem 3.16
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is a Hardy–Rogers type \(L_{ ( \omega,C ) } \)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in D_{(x _{0},\ell)}\), then ϕ fixes the disc \(D_{(x _{0},\ell)}\).
Proof
The mapping ϕ fixes the circle \(C_{(x _{0},\ell)}\) (from Theorem 3.15). Now, to show that \(D_{(x _{0},\ell)}\) is a fixed disc of ϕ, it is sufficient to prove that ϕ fixes any circle \(C_{(x _{0},\varrho)}\) with \(\varrho <\ell \). Let \(x \in C_{(x _{0},\varrho)}\). Suppose that \(x \in C_{(x _{0},\ell)}\), \(x \neq \phi ( x) \). From Proposition 3.14 and (3.4), we get
It is a contradiction. Therefore, \(\phi ( x) =x \). Thus, ϕ fixes the circle \(D_{(x _{0},\varrho)}\). □
Example 3.17
Let \(\chi = \{ 2,3,\ln (2e),\ln (2),\ln (\frac{2}{e}) \} \) be endowed with the usual metric d. Define \(\phi:\chi \rightarrow \chi \) as
Let L(t) = \(te^{t}\), \(x _{0}=\ln ( 2) \), \(\omega ( t) =\frac{9t}{10}\), \(a_{1}=a_{2}=a_{3}=a_{4}=\frac{1}{5}\), and \(a_{5}=0 \). Then ϕ is a Hardy–Rogers type \(L_{ ( \omega,C ) }\)-contraction. Indeed, for \(x =2\),
and
Thus,
We also have
Hence, all the conditions of Theorem 3.15 and Theorem 3.16 are satisfied. Observe that ϕ fixes the circle \(C_{\ln ( 2),1}= \{ \ln (2e),\ln (\frac{2}{e}) \} \) and the disc \(D_{\ln ( 2),1}= \{ \ln (2e),\ln 2,\ln ( \frac{2}{e}) \} \).
Corollary 3.18
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is a Reich type \(L_{ ( \omega,C ) }\)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\) (resp. \(x \in D_{(x _{0},\ell)}\)), then ϕ fixes the circle \(C_{(x _{0},\ell)}\) (resp. the disc \(D_{(x _{0},\ell)}\)).
Corollary 3.19
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is a Chatterjea type \(L_{ ( \omega,C ) }\)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\) (resp. \(x \in D_{(x _{0},\ell)}\)), then ϕ fixes the circle \(C_{(x _{0},\ell)}\) (resp. the disc \(D_{(x _{0},\ell)}\)).
4 Some consequences
Next corollaries are generalizations of fixed point results of Jleli and Samet [33] and Wardowski [15].
Corollary 4.1
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If there exist \(F\in \mathcal{F}_{1}\), \(\tau >0\), and \(x _{0}\in \chi \) such that, for all \(x \in \chi \),
where
and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\), then ϕ fixes the circle \(C_{(x _{0},\ell)}\).
Proof
Take \(\omega (t) =e^{-\tau }t\), \(L ( t) =e^{F ( t) }\), and \(\nu =0\) in Theorem 3.6. □
Corollary 4.2
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If there exist \(\theta {\in \Psi }\), \(k\in ( 0,1) \), and \(x _{0}\in \chi \) so that, for all x∈χ,
where
and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\), then ϕ fixes the circle \(C_{(x _{0},\ell)}\).
Proof
Set \(\omega ( t):=kt\) and \(L ( t) =\ln (\theta ( t)) \) in Theorem 3.6. □
Denote by Λ the family of functions \(\beta: [ 0,\infty) \rightarrow [ 0,\infty) \) so that \(\underset{r\rightarrow t^{+}}{\lim }\beta ( r) <1\) for every \(t\in (0,\infty)\)
Corollary 4.3
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). Let there exist a function \(\beta \in \Lambda \) and \(x _{0}\in \chi \) so that, for all \(x \in \chi \),
where
and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\). Then ϕ fixes the circle \(C_{(x _{0},\ell)}\).
Proof
Take \(\psi ( t):=\beta ( t) t\) and \(\phi ( t) =t\) in Theorem 3.6. □
5 Results on fixed circles and discs for integral type \(L_{ ( \omega,C ) }\)-contractions
In this section, we discuss some results on fixed circles and discs for integral type \(L_{ ( \omega,C ) }\)-contractions. Let \(\Omega: [ 0,\infty) \rightarrow [ 0,\infty) \) be a locally integrable function such that, for every \(t>0\),
Definition 5.1
The mapping \(\phi:\chi \rightarrow \chi \) is said to be an integral type \(L_{ ( \omega,C ) }\)-contraction if there exist \(\omega \in \Omega ^{\ast }\), \(L\in {\Xi }\), and \(x _{0}\in \chi \) so that, for all \(x \in \chi \),
.
Proposition 5.2
Let \(( \chi,d) \) be a metric space and \(\phi:\chi \rightarrow \chi \) be an integral type \(\Lambda _{ ( \Upsilon,C ) }\)-contraction with \(x _{0}\in \chi \), then \(x _{0}=\phi ( x _{0} ) \).
Proof
Suppose that \(x _{0}\neq \phi ( x _{0} ) \). By Definition 5.1, one gets
It contradicts \(d ( x _{0},x _{0} ) =0\) and the definition of ω and L. Thus, \(x _{0}=\phi ( x _{0} ) \). □
Now, we introduce our result on fixed circles.
Theorem 5.3
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). If ϕ is an integral type \(L_{ ( \omega,C ) }\)-contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in C_{(x _{0},\ell)}\), then ϕ fixes the circle \(C_{(x _{0},\ell)}\).
Proof
Let \(x \in C_{(x _{0},\ell)}\). Suppose that \(x \in C_{(x _{0},\ell)}\), \(x \neq \phi ( x) \). By definition of ℓ, we have \(d ( x, \phi ( x)) \geq \ell \). Using the monotony of L, we get
hence
From (5.1), one gets
It is a contradiction. Therefore, \(\phi ( x) =x \) for all \(x \in C_{(x _{0},\ell)}\). Thus, ϕ fixed the circle \(C_{(x _{0},\ell)}\). □
The following theorem describes a result on fixed discs.
Theorem 5.4
Let \(( \chi,d) \) be a metric space, \(\phi:\chi \rightarrow \chi \), and \(\ell =\inf \{ d ( x,\phi ( x)):x \neq \phi ( x) \} \). Let ϕ be an integral type \(L_{ ( \omega,C ) }\)- contraction, \(x _{0}\in \chi \), and \(d ( x _{0},\phi ( x)) =\ell \) for all \(x \in D_{(x _{0},\ell)}\), then ϕ fixes the disc \(D_{(x _{0},\ell)}\).
Proof
ϕ fixes the disc \(C_{(x _{0},\ell)}\) (from Theorem 5.3). Now, we show that \(D_{(x _{0},\ell)}\) is a fixed disc of ϕ, it is sufficient to prove that ϕ fixes any circle \(C_{(x _{0},\varrho)}\) with \(\varrho <\ell \). Let \(x \in C_{(x _{0},\varrho)}\). Suppose that \(x \in C_{(x _{0},\ell)}\), \(x \neq \phi ( x) \). From the definition of ℓ and the monotony of L, we get
and
From (5.3), one gets
It is a contradiction. Therefore, \(\phi ( x) =x \) for all \(x \in D_{(x _{0},\ell)}\). Thus, ϕ fixes the disc \(D_{(x _{0},\ell)}\). □
6 Applications to discontinuous functions
In this section, we give some examples of discontinuous functions and obtain a discontinuity result related to fixed circles.
Example 6.1
Let \(\Im = \{ 1,2,e^{4}-1,e^{4},e^{4}+1 \} \) be the metric space with the usual metric. Let us define the self-mapping \(\phi:\Im \rightarrow \Im \) by
for all \(u\in \Im \). As in Example 3.10, it is easily verified that the self-mapping ϕ is a Ćirić \(L_{ ( \omega,C ) }\)-contractive self-mapping and C\(_{e^{4},1}= \{ e^{4}-1,e^{4}+1 \} \) is a fixed circle of ϕ. We note that the self-mapping ϕ is continuous at the point \(e^{4}+1\), while the self-mapping ϕ is discontinuous at the point \(e^{4}-1\).
Example 6.2
Let \(\Im = \{ 1,2,e^{4}-1,e^{4},e^{4}+1 \} \) be the metric space with the usual metric. Let us define the self-mapping \(\phi:\Im \rightarrow \Im \) by
for all \(u\in \Im \). It is easily verified that the self-mapping ϕ is an \(L_{ ( \omega,C ) }\)-weak contractive self-mapping and \(C_{e^{4},1}= \{ e^{4}-1,e^{4}+1 \} \) is a fixed circle of ϕ. We note that the self-mapping ϕ is discontinuous at the center \(e^{4}\) and on the circle C\(_{e^{4},1}\). We note that the self-mapping ϕ is continuous at the point \(e^{4}+1\), while the self-mapping ϕ is discontinuous at the point \(e^{4}-1\) and on the circle \(C_{e^{4},1}\)
From the above examples, we give the following theorem.
Theorem 6.3
Let ϕ be an \(L_{ ( \omega,C ) }\)-weak contraction with \(u_{0}\in \Im \) and ι be defined as in Theorem 3.7. If \(d(u_{0},\phi ( u))=\iota \) for all \(u\in C_{u_{0},\iota }\), then \(C_{u_{0},\iota }\) is a fixed circle of ϕ. Also, ϕ is discontinuous at \(u\in C_{u_{0},\iota }\) if and only if \(\underset{\upsilon \rightarrow u}{\lim }M_{c}(u,v)\neq 0\).
Proof
From Theorem 3.7, we see that \(C_{u_{0},\iota }\) is a fixed circle of ϕ. Using the idea given in Theorem 2.1 in [46] (see also [47]), we see that ϕ is discontinuous at \(u\in C_{u_{0}, \iota }\) if and only if \(\underset{\upsilon \rightarrow u}{\lim }M_{c}(u,v)\neq 0\). □
7 Conclusion
We have introduced new generalized results on fixed circles and discs for \(L_{(}\omega,C)\)-contractive mappings, Ćirić type \(L_{ ( \omega,C ) }\)-contractive mappings, and \(L_{ ( \omega,C ) }\)-weak contractive mappings on metric spaces. We provided some results on fixed circles (discs) of integral type contractive single-valued maps. Furthermore, we applied our main results to discontinuous self-mappings that have a fixed circle. The obtained results are generalizations of variant corresponding results in literature and are applicable to be used in other research areas.
Availability of data and materials
Data sharing is not applicable to this article as no data sets were generated or analysed during the current study.
References
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations itegérales. Fundam. Math. 3, 133–181 (1922)
Scarselli, F., Gori, M., Tsoi, A.C., Hagenbuchner, M., Monfardini, G.: The graph neural network model. IEEE Trans. Neural Netw. 20, 61–80 (2008)
Karapinar, E., Czerwik, S., Aydi, H.: \((\alpha,\psi)\)-Meir-Keeler contraction mappings in generalized b-metric spaces. J. Funct. Spaces 2018, Article ID 3264620 (2018)
Patle, P., Patel, D., Aydi, H., Radenović, S.: On \(H^{+}\)-type multivalued contractions and applications in symmetric and probabilistic spaces. Mathematics 7(2), 144 (2019)
Özdemir, N., İskender, B.B., Özgür, N.Y.: Complex valued neural network with Möbius activation function. Commun. Nonlinear Sci. Numer. Simul. 16, 4698–4703 (2011)
Özgür, N.Y., Taş, N.: Some fixed circle theorems on metric spaces. Bull. Malays. Math. Sci. Soc. 42, 1433–1449 (2019)
Aydi, H., Taş, N., Özgür, N.Y., Mlaiki, N.: Fixed-discs in rectangular metric spaces. Symmetry 11, 294 (2019)
Özgür, N.Y.: Fixed-disc results via simulation functions. Turk. J. Math. 43, 2794–2805 (2019)
Alamgir, N., Kiran, Q., Isik, H., Aydi, H.: Fixed point results via a Hausdorff controlled type metric. Adv. Differ. Equ. 2020, 24 (2020)
Özgür, N.Y., Taş, N., Celik, U.: New fixed circle results on S-metric spaces. Bull. Math. Anal. Appl. 9, 10–23 (2017)
Özgür, N.Y., Taş, N.: Fixed-circle problem on S-metric spaces with a geometric viewpoint. Facta Univ., Ser. Math. Inform. 34, 459–472 (2019)
Özgür, N.Y., Taş, N.: Some fixed circle theorems and discontinuity at fixed circle. AIP Conf. Proc. 2018, 020048 (1926)
Mlaiki, N., Taş, N., Özgür, N.Y.: On the fixed circle problem and Khan type contractions. Axioms 7, 80 (2018)
Saleh, H.N., Sessa, S., Alfaqih, W.M., Imdad, M., Mlaiki, N.: Fixed circle and fixed disc results for new types of \({ \Theta }_{C}\)-contractive mappings in metric spaces. Symmetry 12(11), 1825 (2020)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Ali, M.U., Aydi, H., Alansari, M.: New generalizations of set valued interpolative Hardy–Rogers type contractions in b-metric spaces. J. Funct. Spaces 2021, 6641342 (2021)
Mlaiki, N., Souayah, N., Abdeljawad, T., Aydi, H.: A new extension to the controlled metric type spaces endowed with a graph. Adv. Differ. Equ. 2021, 94 (2021)
Agarwal, R.P., Aksoy, Ü., Karapınar, E., Erhan, İ.M.: F-contraction mappings on metric-like spaces in connection with integral equations on time scales. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 147 (2020). https://doi.org/10.1007/s13398-020-00877-5
Parvaneh, V., Haddadi, M.R., Aydi, H.: On best proximity point results for some type of mappings. J. Funct. Spaces 2020, Article ID 6298138 (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)
Alsulami, H.H., Karapinar, E., Piri, H.: Fixed points of modified F-contractive mappings in complete metric-like spaces. J. Funct. Spaces 2015, Article ID 270971 (2015)
Hammad, H.A., Aydi, H., Gaba, Y.U.: Exciting fixed point results on a novel space with supportive applications. J. Funct. Spaces 2021, Article ID 6613774 (2021)
Aydi, H., Karapinar, E., Roldan, A.F.: Lopez de Hierro, w-interpolative Ciric-Reich-Rus type contractions. Mathematics 7(1), 57 (2019)
Aydi, H., Chen, C.M., Karapinar, E.: Interpolative Ciric-Reich-Rus type contractions via the Branciari distance. Mathematics 7(1), 84 (2019)
Karapinar, E., Agarwal, R.P., Aydi, H.: Interpolative Reich-Rus-Ciric type contractions on partial metric spaces. Mathematics 2018(6), 256 (2018)
Qawaqneh, H., Noorani, M.S., Shatanawi, W., Aydi, H., Alsamir, H.: Fixed point results for multi-valued contractions in b-metric spaces. Mathematics 7(2), 132 (2019)
Alsulami, H.H., Gülyaz, S., Karapinar, E., Erhan, İ.M.: An Ulam stability result on quasi-b-metric-like spaces. Open Math. 14, 1087–1103 (2016)
Aydi, H., Karapinar, E., Shatanawi, W.: Coupled fixed point results for \((\psi,\varphi)\)-weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 62, 4449–4460 (2011)
Karapınar, E.: A Short Survey on Dislocated Metric Spaces via Fixed-Point Theory, Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness (2017). https://doi.org/10.1007/978-981-10-3722-1_13
Aydi, H., Jleli, M., Samet, B.: On positive solutions for a fractional thermostat model with a convex-concave source term via ψ-Caputo fractional derivative. Mediterr. J. Math. 17(1), 16 (2020)
Karapınar, E., Fulga, A., Agarwal, R.P.: A survey: F-contractions with related fixed point results. J. Fixed Point Theory Appl. 22, 69 (2020)
Nazam, M., Hussain, N., Hussain, A., Arshad, M.: Fixed point theorems for weakly admissible pair of F-contractions with application. Nonlinear Anal., Model. Control 24(6), 898–918 (2019)
Jleli, M., Samet, B.: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 38 (2014)
Jleli, M., Karapinar, E., Samet, B.: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014)
Liu, X.D., Chang, S.S., Xiiao, Y., Zhao, L.C.: Some fixed point theorems concerning \(( \psi,\phi) \)-type contraction in complete metric spaces. J. Nonlinear Sci. Appl. 9, 4127–4136 (2016)
Ameer, E., Aydi, H., Arshad, M., Alsamir, H., Noorani, M.S.: Hybrid multivalued type contraction mappings in \(\alpha _{K}\)-complete partial b-metric spaces and applications. Symmetry 11, 86 (2019)
Ameer, E., Arshad, M., Shin, D.Y., Yun, S.: Common fixed point theorems of generalized multivalued \((\psi,phi)\)-contractions in complete metric spaces with application. Mathematics 7, 194 (2019)
Ameer, E., Arshad, M., Hussain, N.: On new common fixed points of multivalued \((\Upsilon,\Lambda)\)-contractions in complete b-metric spaces and related application. Math. Sci. 13(4), 307–316 (2019)
Ameer, E., Nazam, M., Aydi, H., Arshad, M., Mlaiki, N.: On \((\Lambda, \Upsilon,\Re)\)-contractions and applications to nonlinear matrix equations. Mathematics 7, 443 (2019)
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, 467 (2020)
Ameer, E., Aydi, H., Arshad, M.: On fuzzy fixed points and an application to ordinary fuzzy differential equations. J. Funct. Spaces 2020, Article ID 8835751 (2020)
Chatterjea, S.K.: Fixed point theorem. C. R. Acad. Bulgare Sci. 25, 727–730 (1972)
Ćirić, L.B.: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45(2), 267–273 (1974)
Hardy, G.E., Rogers, T.D.: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 16(2), 201–206 (1973)
Piri, H., Kumam, P.: Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 210 (2014)
Bisht, R.K., Pant, R.P.: A remark on discontinuity at fixed point. J. Math. Anal. Appl. 445, 1239–1242 (2017)
Pant, R., Özgür, N.Y., Taş, N.: On discontinuity problem at fixed point. Bull. Malays. Math. Sci. Soc. 43, 499–517 (2020)
Acknowledgements
The authors are grateful to the Spanish Government and the European Commission for Grant IT1207-19.
Funding
This work did not receive any external funding.
Author information
Authors and Affiliations
Contributions
All the authors have equally contributed to the final manuscript. 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
Ameer, E., Aydi, H., Nazam, M. et al. Results on fixed circles and discs for \(L_{ (\omega,C ) }\)-contractions and related applications. Adv Differ Equ 2021, 349 (2021). https://doi.org/10.1186/s13662-021-03510-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03510-w