Abstract
In this paper, we first introduce several new contractions by some auxiliary functions. Then we establish some φ-fixed point results for \((\gamma ,\psi ,\varphi ,\phi )\) contractions, rational-\((\gamma , \psi ,\varphi ,\phi )\) contractions and almost-\((\gamma ,\psi , \varphi ,\phi )\) contractions and φ-fixed disc results for \((\psi ,\varphi ,\phi )_{x_{0}}\) type 1 contractions, \((\psi ,\varphi ,\phi )_{x_{0}}\) type 2 contractions, and \((\psi ,\varphi ,\phi )_{x_{0}}\) type 3 contractions in metric spaces. We generalize some existing φ-fixed point and φ-fixed circle results in the literature. Further, we give some examples to demonstrate the usefulness of our results and investigate the existence and uniqueness of solutions of nonlinear integral equations.
Similar content being viewed by others
1 Introduction
In 2012, Wardowski [1] introduced the family Ϝ and established a fixed point theorem of F-contractions in complete metric spaces, which is an interesting generalization of the Banach contraction principle. Inspired by Wardowski [1], many scholars have obtained many fixed point results by generalizing F-contraction and by changing the conditions on the family Ϝ. In 2014, Wardowski et al. [2] and Cosentino et al. [3] proposed F-weak contractions and F-contractive mappings of Hardy–Rogers-type, respectively, and established some related fixed point results. In 2015, Dung and Hang [4] stated a new generalization of the Wardowski fixed point theorem in [2] by adding four new values \(d(T^{2}x,x)\), \(d(T^{2}x,Tx)\), \(d(T^{2}x,y)\), and \(d(T^{2}x,Ty)\) to the right-hand of contraction inequalities. Piri and Kumam [5] replaced condition \((F3)\) in Theorem 2.1 with the continuity of F and obtained relevant fixed point theorems. Moreover, other researchers also obtained some fixed point results for F-contractions in generalized metric spaces. In 2016, Piri and Kumam [6] introduced two classes of modified generalized F-contractions and extended the results of [2, 4, 5]. In 2018, Haitham et al.[7] established the existence of the fixed point for generalized \((\alpha ,\beta ,F)\)-Geraghty contractions in metric-like spaces by combining Geraghty contractions with α-admissible mappings.
In 2014, Jleli and Samet [8] introduced θ-contractions, which are different from F-contractions proposed by Wardowski [1]. They denoted the family of all functions θ by Θ and established some fixed point theorems for such contractions in the setting of metric spaces. In the follow-up studies, Jleli and Samet [8] and Liu and Chang et al. [9] proposed the notions of θ-type contractions and θ-type Suzuki contractions, obtained some new fixed point theorems in complete metric spaces, and solved the existence problem of solutions of nonlinear Hammerstein integral equations. Parvaneh et al. [10], as a development of [8], introduced the concept of α-HΘ-contraction with respect to a more general family of functions H in ordered metric spaces, . In 2018, Imdad et al. [11] proved that Theorem 2.2 still holds under \((\theta 2)\) and \((\theta 3)\) only, so that more functions can be used in Theorem 2.2. In 2021, Perveen et al. [12] introduced \(\theta ^{*}\)-weak contraction mappings satisfying only \((\theta 1)\), obtained some related fixed point results, and investigated the existence and uniqueness of solutions of nonlinear matrix equations and integral equations of Volterra type.
In 2016, combining F-contractions of Piri and Kumam [5] with θ-contractions of Jleli and Samet [8], Liu et al. [13] introduced \((\psi ,\phi )\)-type contraction and obtained an important fixed point result. Recently, Proinov [14] extended and unified many existing results. These results generalized those of Wardowski [1], Piri and Kumam [5], and Jleli and Samet [8].
In addition, the new concepts of φ-fixed point and φ-Picard mappings were introduced by Jleli et al. [15], who obtained several φ-fixed point results based on the idea of new control functions. Moreover, they also claimed that some fixed point results in partial metric spaces can be derived from these φ-fixed point results in metric spaces. A lot of well-known results have been published since Jleli et al. [15]. In 2017, Kumrod and Sintunavarat [16] developed the results by Jleli et al. [15] by defining \((F,\varphi ,\theta )\)-contractions. Asadi [17] weakened the continuity of the control function γ and proved the fixed point theorem for \((F,\varphi ,\theta )\)-contractions. Kumrod and Sintunavarat [18] extended Theorem 2.1 of Jleli et al. [15] to D-generalized metric spaces. Imdad and Khan et al. [19] introduced \((F,\varphi ,\alpha \text{-}\psi )\)-contractions and \((F,\varphi ,\alpha \text{-}\psi )\)-weak contractions by the control function in [17], which extended the results by Kumrod and Sintunavarat [16], and solved the existence of solutions for boundary value problems of second-order ordinary differential equations. Saleh and Imdad et al. [20] obtained the φ-coincidence point and common φ-fixed point results for two self-mappings via the extended \(C_{g}\)-simulation functions in metric spaces. Samet [21] proved φ-fixed point results via auxiliary functions. Vetro [22] and Özlem [23] combined control functions with F-contractions to establish some φ-fixed point results. Mohammadi et al. [24] obtained some φ-fixed point results for λ-\((\gamma ,\varphi )\)-contractions and studied the existence of solutions of nonlinear integral equations.
Recently, geometric properties of nonunique fixed points have been extensively studied in various aspects, for example, the fixed-circle problem, fixed-disc problem, and so on. Özgür and Taş [25] proposed the notion of a fixed circle and presented the fixed circle problem in a metric space as a new direction of generalization of fixed point theory. We refer some recent studies of fixed circle problem and fixed-disc problem to [26–32]. The concepts of φ-fixed circle (resp., disc) were firstly presented by Özgür and Taş [33]. In 2021, Özgür and Taş [34] established some new results for φ-fixed circles (resp., disc).
Motivated by [14, 15], and [34], in this paper, we establish some φ-fixed point results for \((\gamma ,\psi ,\phi ,\varphi )\) contractions, rational-\((\gamma , \psi ,\phi ,\varphi )\) contractions, and almost-\((\gamma ,\psi ,\phi , \varphi )\) contractions and some fixed disc results for \((\psi ,\varphi ,\phi )_{x_{0}}\) type 1 contractions, \((\psi ,\varphi ,\phi )_{x_{0}}\) type 2 contractions, and \((\psi ,\varphi ,\phi )_{x_{0}}\) type 3 contractions. Our results improve and generalize some existing fixed point results. Further, we give some examples and an application, which show the effectiveness of our results.
2 Preliminaries
In this section, we review some basic concepts and some known results. We denote by the set of all real numbers, by the set of all nonnegative real numbers, by the set of all nonnegative integers, by \(F(T)\) the set of all fixed points of T, and by \(Z_{\varphi}\) the set of all zero points of φ.
Theorem 2.1
([1])
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\) be an F-contraction, that is, there exist \(F\in \digamma \) and \(\tau >0\) such that
where Ϝ denotes the family of all functions satisfying the following conditions:
\((F1)\) F is strictly increasing, i.e., \(x< y\Rightarrow F(x)< F(y)\) for all \(x,y\in (0,+\infty )\);
\((F2)\) for each sequence \(\{\alpha _{m}\}\) of positive numbers, \(\lim_{m\rightarrow \infty} \alpha _{m}=0\) if and only if \(\lim_{m\rightarrow \infty} F(\alpha _{m})=-\infty \);
\((F3)\) there exists \(l\in (0,1)\) such that \(\lim_{\alpha \rightarrow 0^{+}} \alpha ^{l}F(\alpha )=0\).
Then T has a unique fixed point.
Theorem 2.2
([8])
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\) be a θ-contraction, that is, there exist \(\theta \in \Theta \) and \(k\in (0,1)\) such that
where Θ represents the family of all functions \(\theta :(0,+\infty )\rightarrow (1,\infty )\) satisfying the following conditions:
\((\theta 1)\) θ is nondecreasing;
\((\theta 2)\) for each sequence \(\{\alpha _{m}\}\) of positive numbers, \(\lim_{m\rightarrow \infty} \alpha _{m}=0\) if and only if \(\lim_{m\rightarrow \infty} \theta (\alpha _{m})=1\);
\((\theta 3)\) there exist \(k\in (0,1)\) and \(l\in (0,\infty ]\) such that \(\lim_{\alpha \rightarrow 0^{+}} \frac{\theta (\alpha )-1}{\alpha ^{k}}=l\),
Then T has a unique fixed point.
By Ψ we denote the family of all functions \(\psi :(0,\infty )\rightarrow (0,\infty )\) satisfying the following conditions:
\((\psi 1)\) ψ is nondecreasing;
\((\psi 2)\) for all positive sequence \(\{t_{n}\}\), \(\lim_{n\rightarrow \infty} \psi (t_{n})=0\) if and only if \(\lim_{n\rightarrow \infty} t_{n}=0\);
\((\psi 3)\) ψ is continuous.
By Φ we denote the family of all functions \(\phi :(0,\infty )\rightarrow (0,\infty )\) satisfying the following conditions:
\((\phi 1)\) ϕ is nondecreasing;
\((\phi 2)\) \(\lim_{n\rightarrow \infty} \phi ^{n}(t)=0\) for all \(t>0\), where \(\phi ^{n}\) stands for the nth iterate of ϕ.
Remark 2.1
([13])
If \(\phi \in \Phi \), then \(\phi (t)< t\) for all \(t>0\).
Definition 2.1
([13])
Let \((X,d)\) be a metric space. \(T:X\rightarrow X\) is said to be a \((\psi ,\phi )\)-type contraction if there exist \(\psi \in \Psi \), \(\phi \in \Phi \), and a continuous function ϕ such that
Theorem 2.3
([13])
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\phi )\)-type contraction. Then T has a unique fixed point.
Theorem 2.4
([14])
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\) be a mapping such that
for all \(x, y\in X\), where satisfy the following conditions:
(i) ψ is nondecreasing;
(ii) \(\phi (t)<\psi (t)\) for all \(t>0\);
(iii) \(\limsup_{t\rightarrow \varepsilon ^{+}} \phi (t)<\psi ( \varepsilon ^{+})\) for all \(\varepsilon >0\).
Then T has a unique fixed point.
Remark 2.2
Let \(\mu (t)=\kappa (t)\), \(\nu (t)=\iota (\kappa (t))\). If \(\iota \in \Phi \), \(\kappa \in \Psi \), and ι is continuous, then the following conditions clearly hold:
(i) μ is nondecreasing;
(ii) \(\nu (t)<\mu (t)\) for all \(t>0\);
(iii) \(\limsup_{t\rightarrow \varepsilon ^{+}} \nu (t)<\mu ( \varepsilon ^{+})\) for all \(\varepsilon >0\).
Definition 2.2
([15])
Let \(\varphi :X\rightarrow [0,\infty )\) and \(T:X\rightarrow X\). A point \(x\in X\) is called a φ-fixed point of T if \(x=Tx\) and \(\varphi (x)=0\).
Definition 2.3
([15])
Let \(\varphi :X\rightarrow [0,\infty )\). A mapping \(T:X\rightarrow X\) is called a φ-Picard mapping if the following conditions hold:
(i) \(F(T)\cap Z_{\varphi}=\{x\}\);
(ii) \(\lim_{n\rightarrow \infty} T^{n}x_{0}=x\) for all \(x_{0}\in X\).
Jleli et al. [15] proposed a new control function \(\gamma :[0,\infty )^{3}\rightarrow [0,\infty )\) satisfying the following conditions:
\((\gamma 1)\) \(\max \{a,b\}\leqslant \gamma (a,b,c)\);
\((\gamma 2)\) \(\gamma (0,0,0)=0\);
\((\gamma 3)\) γ is continuous.
We denote all control functions γ by ϒ.
Example 2.1
([15])
Let \(\gamma _{1}(a,b,c)=a+b+c\), \(\gamma _{2}(a,b,c)=\max \{a,b\}+c\), and \(\gamma _{3}(a,b,c)=a+a^{2}+b+c\) for \(a,b,c\in [0,\infty )\). Then \(\gamma _{1},\gamma _{2},\gamma _{3}\in \Upsilon \).
Theorem 2.5
([15])
Let \((X,d)\) be a complete metric space, and let a mapping \(T:X\rightarrow X\) satisfy
where φ is a lower semicontinuous function, and \(k\in (0,1)\). Then T is a φ-Picard mapping.
Definition 2.4
([33])
Let \((X,d)\) be a metric space, \(T:X\rightarrow X\), and \(\varphi :X\rightarrow [0,\infty )\). Define
\((1)\) A circle \(C_{x_{0},r}=\{x \in X: d(x,x_{0})=r\}\) in X is said to be a φ-fixed circle of T if \(C_{x_{0},r}\subset F(T)\cap Z_{\varphi}\).
\((2)\) A disc \(D_{x_{0},r}=\{x \in X: d(x,x_{0})\leqslant r\}\) in X is said to be a φ-fixed disc of T if \(D_{x_{0},r}\subset F(T)\cap Z_{\varphi}\).
3 φ-fixed point results
In this section, we present some new contractions and some corresponding results.
Definition 3.1
A mapping \(T:X\rightarrow X\) is called a \((\gamma ,\psi ,\varphi ,\phi )\) contraction in a metric space \((X,d)\), if there exist ψ, ϕ satisfying conditions (i), (ii), and (iii) in Theorem 2.4 and the inequality
for all \(x,y\in X\) such that \(\gamma (d(Tx,Ty),\varphi (Tx),\varphi (Ty))>0\).
Theorem 3.1
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\) be a \((\gamma ,\psi ,\varphi ,\phi )\) contraction. If φ is lower semicontinuous, then T is a φ-Picard mapping.
Proof
Firstly, we show that \(F(T)\subseteq Z_{\varphi}\).
Assume that there exists \(x\in F(T)\) such that \(\varphi (x)\neq 0\). Set \(y=x\) in (1). Then
This is a contradiction, so \(F(T)\subseteq Z_{\varphi}\).
Now we show that \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\) and \(\lim_{n\rightarrow \infty} \varphi (x_{n})=0\). Let \(x_{0}\in X\), and let the sequence \(\{x_{n}\}\) be defined by \(x_{n}=Tx_{n-1}\) for all . If there exists such that \(x_{n_{0}}=x_{n_{0}+1}\), that is, \(x_{n_{0}}=Tx_{n_{0}}\), then \(x_{n_{0}}\) is a fixed point of T. In this case, obviously, \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\), \(\lim_{n\rightarrow \infty} \varphi (x_{n})=0\), and the proof is completed. So we suppose that \(d(x_{n},x_{n+1})>0\), for all . Letting \(x=x_{n}\), \(y=x_{n+1}\) in (1), we get
By (i) we can deduce that
Therefore \(\{\gamma (d(x_{n},x_{n+1}),\varphi (x_{n}),\varphi (x_{n+1}))\}\) is a decreasing sequence with a lower bound. So these exists \(\epsilon \geqslant 0\) such that \(\lim_{n\rightarrow \infty} \gamma _{n}=\epsilon \), where \(\gamma _{n}=\gamma (d(x_{n},x_{n+1}),\varphi (x_{n}),\varphi (x_{n+1}))\). If \(\epsilon >0\), then taking the right upper limits on both sides of (2), by (i) and (iii) we have
This is a contradiction, so \(\epsilon =0\). By \((\gamma 1)\) it easily follows that
Clearly,
and
Taking the limits of these two inequalities, we have
that is,
Next, we claim that \(\{x_{n}\}\) is a Cauchy sequence.
If \(\{x_{n}\}\) were not a Cauchy sequence, then there would exist \(\varepsilon >0\) and two sequences \(\{x_{n(k)}\}\), \(\{x_{m(k)}\}\), where \(n(k)\), \(m(k)\) are two positive integers and \(n(k)>m(k)\), such that \(d(x_{m(k)},x_{n(k)})\geqslant \varepsilon \) and \(d(x_{m(k)},x_{n(k)-1})<\varepsilon \). By the triangle inequality it follows that
Taking the limits on the both sides of (5), we obtain
By the triangle inequality we have
and
Letting \(k\rightarrow \infty \) in (7) and (8), we have
Let \(x=x_{m(k)-1}\) and \(y=x_{n(k)-1}\) in (1). The by (i) it follows that
where \(\gamma _{m,n}=\gamma (d(x_{m(k)},x_{n(k)}),\varphi (x_{m(k)}), \varphi (x_{n(k)}))\). Taking the right upper limits on both sides of (10), by (4), (6), and (iii) we obtain
which leads to a contradiction with \(\varepsilon ^{+}>0\). So \(\{x_{n}\}\) is a Cauchy sequence in the complete metric space \((X,d)\). Thus there exists \(x^{*}\in X\) such that \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow \infty \). Since φ is lower semicontinuous, we have
So \(\varphi (x^{*})=0\).
Now we claim that \(x^{*}=Tx^{*}\). If there exists some \(n_{0}\) such that for \(n\geq n_{0}\), \(x_{n}=Tx^{*}\) still holds, then \(Tx^{*}=\lim_{n\rightarrow \infty} x_{n}=x^{*}\), that is, \(x^{*}=Tx^{*}\). Suppose that \(d(x^{*},Tx^{*})>0\). Set \(x=x_{n}\) and \(y=x^{*}\) in (1). Then
By (i) and (ii) it follows that
Taking the limits on the both sides of (11), we get
which is a contradiction. So \(Tx^{*}=x^{*}\).
Finally, we claim that \(x^{*}=y\) for all \(x^{*},y\in F(T)\). Otherwise, if \(x^{*}\neq y\), then letting \(x=x^{*}\) in (1), by (ii) and \(F(T)\subseteq Z_{\varphi}\) it follows that
This is a contraction, so \(x^{*}=y\). Hence T is a φ-Picard mapping. □
Remark 3.1
\((1)\) Take \(\gamma =\gamma _{1}\) and \(\varphi (x)=0\). Then Theorem 3.1 reduces to Theorem 2.4.
\((2)\) Take \(\phi (t)=kt\) and \(\psi (t)=t\) for , where \(k\in [0,1)\). Then Theorem 3.1 reduces to Theorem 2.5.
\((3)\) Take \(\phi (t)=kt\), \(\psi (t)=t\), \(\varphi (x)=0\), and \(\gamma =\gamma _{1}\) in Theorem 3.1, where , \(x\in X\), \(k\in [0,1)\). Then we get the Banach contraction principle.
Now we give an example to show the validity of Theorem 3.1.
Example 3.1
Let \(X=[0,2]\) be endowed with the usual metric \(d(x,y)=|x-y|\) for \(x,y\in X\). Obviously, \((X,d)\) is a complete metric space. Consider the mapping \(T:X\rightarrow X\) defined by
Let the functions ϕ, φ, ψ, γ be defined by \(\psi (t)=t\), \(\phi (t)=\frac{1}{4}t\), \(\varphi (x)=x\), \(\gamma (a,b,c)=a+b+c\).
Case 1: \(x=y\in X-\{0,2\}\). Then
Case 2: \(x\in [0,2)\), \(y=2\). Then
Case 3: \(x\neq y\in [0,2)\). Then
So T is a \((\gamma ,\psi ,\varphi ,\phi )\) contraction and satisfies all conditions of Theorem 3.1. By Theorem 3.1T has unique fixed point \(x=0\) such that \(T(0)=0\) and \(\varphi (0)=0\). In addition, we claim that the Banach contraction principle is useless in this example. Indeed, letting \(x=\frac{7}{4}\) and \(y=2\), we have \(d(T(\frac{7}{4}),T(2))=\frac{5}{16}>\frac{1}{4}\).
Corollary 3.1
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). Suppose there exists \(k\in [0,1)\) such that
where φ is lower semicontinuous, and is nondecreasing. Then T is a φ-Picard mapping.
Proof
Letting \(\phi (t)=(\psi (t))^{k}\), the result follows by Theorem 3.1. □
Remark 3.2
By Corollary 3.1 it is not difficult to find that the result of Theorem 4 in [24] is still valid if the following conditions are deleted:
(i) for each sequence \(\{\alpha _{m}\}\) of positive numbers, \(\lim_{m\rightarrow \infty} \alpha _{m}=0\) if and only if \(\lim_{m\rightarrow \infty} \psi (\alpha _{m})=1\);
(ii) there exist \(k\in (0,1)\) and \(l\in (0,\infty ]\) such that \(\lim_{\alpha \rightarrow 0^{+}} \frac{\theta (\alpha )-1}{\alpha ^{k}}=l\).
Corollary 3.2
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). Suppose there exists \(\tau >0\) such that
where φ is lower semicontinuous, is nondecreasing. Then T is a φ-Picard mapping.
Proof
Letting \(\phi (t)=\psi (t)-\tau \), the result follows by Theorem 3.1. □
Remark 3.3
Corollary 3.2 improves Theorem 3.4 and Theorem 3.5 in [22].
Corollary 3.3
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). Suppose there exist \((\iota ,\kappa )\in (\Phi ,\Psi )\), with continuous ι, such that for all \(x,y\in X\) with \(\gamma (d(Tx,Ty),\varphi (Tx),\varphi (Ty))>0\),
and φ is lower semi-continuous. Then T is a φ-Picard mapping.
Proof
The result is clearly true by Theorem 3.1 and Remark 2.2. □
Corollary 3.4
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). Let and be functions that satisfy
(a) κ is nondecreasing;
(b) \(\limsup_{t\rightarrow \varepsilon ^{+}} \kappa (t)<\kappa ( \varepsilon ^{+})\) for all \(\varepsilon >0\);
(c) \(\liminf_{t\rightarrow \varepsilon ^{+}} \iota (t) \geqslant 0\) for all \(\varepsilon >0\).
Suppose that for all \(x,y\in X\) with \(\gamma (d(Tx,Ty),\varphi (Tx),\varphi (Ty))>0\), T satisfies
and φ is lower semicontinuous. Then T is a φ-Picard mapping.
Proof
Let \(\psi (t)=\kappa (t)\) and \(\phi (t)=\kappa (t)-\iota (t)\). Then the result follows by Theorem 3.1. □
Corollary 3.5
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). Suppose there exists a continuous function \(\iota \in \Phi \) such that for all \(x,y\in X\), T satisfies
where φ is a lower semicontinuous function. Then T is a φ-Picard mapping.
Proof
The result follows by Corollary 3.3. □
Remark 3.4
Corollary 3.5 shows that the condition \(\sum_{i=0}^{\infty}\iota ^{i}(t)<\infty \) of Theorem 2.5 in [16] is redundant.
Corollary 3.6
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). Suppose there exist a continuous function \(\iota \in \Phi \) and a function \(\kappa \in \Psi \) such that for all \(x,y\in X\) with \(d(Tx,Ty)>0\), T satisfies
Then T has a unique fixed point.
Proof
The result follows by taking \(\gamma =\gamma _{1}\) and \(\varphi (x)=0\) for \(x\in X\) in Corollary 3.3. □
Definition 3.2
A mapping \(T:X\rightarrow X\) is called a rational-\((\gamma ,\psi , \varphi ,\phi )\) contraction in a metric space \((X,d)\) if there exist ψ, ϕ satisfy conditions (i), (ii), and (iii) in Theorem 2.4 such that for all \(x,y\in X\) with \(\gamma (d(Tx,Ty),\varphi (Tx),\varphi (Ty))>0\), T satisfies
where \(N(x,y)=\max \{d(x,y),\frac{d(x,Tx)(1+d(y,Ty))}{1+d(Tx,Ty)}\}\).
Theorem 3.2
Let \((X,d)\) be a complete metric space, and let T be a rational-\(( \gamma ,\psi ,\varphi ,\phi )\) contraction. If φ is lower semicontinuous, then T is a φ-Picard mapping.
Proof
Firstly, we show that \(F(T)\subseteq Z_{\varphi}\).
Assume that there exists \(x\in F(T)\) such that \(\varphi (x)\neq 0\). Letting \(y=x\) in (12), we get
This is a contradiction, and so \(\varphi (x)=0\). Hence \(F(T)\subseteq Z_{\varphi}\).
Now we show that \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\) and \(\lim_{n\rightarrow \infty} \varphi (x_{n})=0\). Let \(x_{0}\in X\). Define the sequence \(\{x_{n}\}\) by \(x_{n}=Tx_{n-1}\) for all . If there exists some such that \(x_{n_{0}}=x_{n_{0}+1}\), that is, \(x_{n_{0}}=Tx_{n_{0}}\), then \(x_{n_{0}}\) is a fixed point of T, and, obviously, \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\), \(\lim_{n\rightarrow \infty} \varphi (x_{n})=0\), and thus the proof is completed. So we suppose that \(d(x_{n},x_{n+1})>0\) for all . Letting \(x=x_{n}\) and \(y=x_{n+1}\) in (12), we get
where \(N(x_{n},x_{n+1})=\max \{d(x_{n},x_{n+1}), \frac{d(x_{n},x_{n+1})(1+d(x_{n+1},x_{n+2})}{1+d(x_{n+1},x_{n+2})}\}=d(x_{n},x_{n+1})\). Similarly to the proof of Theorem 3.1, we obtain (3) and (4). Then we claim that \(\{x_{n}\}\) is a Cauchy sequence. If \(\{x_{n}\}\) were not a Cauchy sequence, similarly to the proof of Theorem 3.1, we would deduce (6) and (9). Letting \(x=x_{m(k)-1}\) and \(y=x_{n(k)-1}\) in (12), it follows that
where
Similarly to the proof of Theorem 3.1, we attain that \(\{x_{n}\}\) is a Cauchy sequence in a complete metric space \((X,d)\), and there exists \(x^{*}\in X\) such that \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow \infty \) and \(\varphi (x^{*})=0\).
We claim that \(x^{*}=Tx^{*}\). If there exists \(n_{0}\) such that for \(n\geq n_{0}\), \(x_{n}=Tx^{*}\) still holds, then \(Tx^{*}=\lim_{n\rightarrow \infty} x_{n}=x^{*}\), that is, \(x^{*}=Tx^{*}\). On the contrary, set \(x=x_{n}\) and \(y=x^{*}\) in (12). Then
By (i) and (ii) it follows that
where \(N(x_{n},x^{*})=\max \{d(x_{n},x^{*}), \frac{d(x_{n},Tx_{n})(1+d(x^{*},Tx^{*}))}{1+d(Tx_{n},Tx^{*})}\}\).
Taking the limits on the both sides of (13), we get
that is, \(Tx^{*}=x^{*}\).
Finally, we claim that \(x^{*}=y\) for all \(x^{*},y\in F(T)\). If \(x^{*}\neq y\), then letting \(x=x^{*}\) in (12), it follows that
This is a contraction, so \(x^{*}=y\). Hence T is a φ-Picard mapping. □
Example 3.2
Let \(X=[0,1]\) be endowed with the usual metric \(d(x,y)=|x-y|\) for \(x,y\in X\). Obviously, \((X,d)\) is a complete metric space. Consider the mapping \(T:X\rightarrow X\) defined by
Let the functions ϕ, φ, ψ, γ be defined by \(\psi (t)=t\), \(\phi (t)=\frac{7}{8}t\), \(\varphi (x)=x\), \(\gamma (a,b,c)= \max \{a,b,c\}\).
Case 1: for all \(x=y\in (0,1]\), it is obvious that
Case 2: for all \(x, y\in [0,1]\) with \(x\neq y\),
So T is a \((\gamma ,\psi ,\varphi ,\phi )\) contraction and satisfies all the conditions of Theorem 3.2. By Theorem 3.2 we get T has a unique fixed point \(x=0\) such that \(T(0)=0\) and \(\varphi (0)=0\).
Corollary 3.7
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). If T satisfies
where \(N(x,y)=\max \{d(x,y),\frac{d(x,Tx)(1+d(y,Ty))}{1+d(Tx,Ty)}\}\), \(\tau >0\), φ is lower semi-continuous, and is nondecreasing, then T is a φ-Picard mapping.
Proof
The result follows by taking \(\phi (t)=\psi (t)-\tau \) in Theorem 3.2. □
Remark 3.5
Corollary 3.7 shows that the result holds even if Theorem 11 (resp., Theorem 12) in [23] uses only the following condition:
(i) is nondecreasing.
Corollary 3.8
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). If there exists \(k\in (0,1)\) such that T satisfies
where \(N(x,y)=\max \{d(x,y),\frac{d(x,Tx)(1+d(y,Ty))}{1+d(Tx,Ty)}\}\), φ is lower semi-continuous, and is nondecreasing, then T is a φ-Picard mapping.
Proof
The result follows by taking \(\phi (t)=\psi (t)^{k}\) in Theorem 3.2. □
Definition 3.3
A mapping \(T:X\rightarrow X\) is called an almost-\((\gamma ,\psi , \varphi ,\phi )\) contraction in a metric space \((X,d)\) if there exist ψ, ϕ satisfying conditions (i), (ii), and (iii) in Theorem 2.4 such that for all \(x,y\in X\) with \(\gamma (d(Tx,Ty),\varphi (Tx),\varphi (Ty))>0\), T satisfies
where \(M(x,y)=\min \{d(y,Ty),d(y,Tx)\}\) and \(L\geqslant 0\).
Theorem 3.3
Let \((X,d)\) be a complete metric space, and let T be an almost-\(( \gamma ,\psi ,\varphi ,\phi )\) contraction. If φ is lower semicontinuous, then T is a φ-Picard mapping.
Proof
Firstly, we show that \(F(T)\subseteq Z_{\varphi}\). Assume that there exists \(x\in F(T)\) such that \(\varphi (x)\neq 0\). Letting \(y=x\) in (14), we get
This is a contradiction, so \(\varphi (x)=0\). Finally, we have \(F(T)\subseteq Z_{\varphi}\).
Now we show that \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\) and \(\lim_{n\rightarrow \infty} \varphi (x_{n})=0\). Letting \(x_{0}\in X\), define the sequence \(\{x_{n}\}\) by \(x_{n}=Tx_{n-1}\) for all . If there exists such that \(x_{n_{0}}=x_{n_{0}+1}\), that is, \(x_{n_{0}}=Tx_{n_{0}}\), then \(x_{n_{0}}\) is a fixed point of T, and, obviously, \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\), \(\lim_{n\rightarrow \infty} \varphi (x_{n})=0\), and thus the proof is completed. So we suppose that \(d(x_{n},x_{n+1})>0\) for all . Letting \(x=x_{n}\) and \(y=x_{n+1}\) in (14), we obtain
Similarly to the proof of Theorem 3.1, we get (3) and (4). We claim that \(\{x_{n}\}\) is a Cauchy sequence. If \(\{x_{n}\}\) were not a Cauchy sequence, then similarly to the proof of Theorem 3.1, we would get (6) and (9). Letting \(x=x_{m(k)-1}\) and \(y=x_{n(k)-1}\) in (14), it follows that
Similarly to the proof of Theorem 3.1, we attain that \(\{x_{n}\}\) is a Cauchy sequence in the complete metric space \((X,d)\) and there exists \(x^{*}\in X\) such that \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow \infty \) and \(\varphi (x^{*})=0\).
Finally, we claim that \(x^{*}=Tx^{*}\). If there exists \(n_{0}\) such that for \(n\geq n_{0}\), \(x_{n}=Tx^{*}\) still holds, then \(Tx^{*}=\lim_{n\rightarrow \infty} x_{n}=x^{*}\), that is, \(x^{*}=Tx^{*}\). On the contrary, set \(x=x_{n}\) and \(y=x^{*}\) in (14). Then
By (i) and (ii) it follows that
Taking the limits on both sides of (15), we get
which is a contradiction. So \(Tx^{*}=x^{*}\).
Finally, we claim that \(x^{*}=y\) for all \(x^{*},y\in F(T)\). If \(x^{*}\neq y\), then letting \(x=x^{*}\) in (2), by (ii) we get that
This is a contraction, so \(x^{*}=y\). Hence T is a φ-Picard mapping. □
Example 3.3
Let \(X=[0,1]\) with the standard metric \(d(x,y)=|x-y|\). It is obvious that \((X,d)\) is complete metric space. Define the mapping \(T:X\rightarrow X\) by \(Tx=\frac{x}{2}\). If \(\gamma (x,y,z)=\max \{x,y,z\}\), \(\varphi (x)=x\), \(\psi (t)=t\), and \(\phi (t)=\frac{t}{2}\), then (14) holds. Indeed, \(\max \{\frac{|x-y|}{2},\frac{x}{2},\frac{y}{2}\}\leqslant \frac{1}{2}\max \{|x-y|,x,y\}\leqslant \frac{1}{2}\max \{|x-y|+LM(x,y),x,y \}\). So by Theorem 3.3T has a unique fixed point \(x=0\), and \(\varphi (0)=0\).
Corollary 3.9
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). If T satisfies
where \(M(x,y)=\min \{d(y,Ty),d(y,Tx)\}\), \(\tau >0\), φ is lower sem-continuous, and is nondecreasing, then T is a φ-Picard mapping.
Proof
The result follows by letting \(\phi (t)=\psi (t)-\tau \) by Theorem 3.3. □
Corollary 3.10
Let \((X,d)\) be a complete metric space, and let \(T:X\rightarrow X\). If there exists \(k\in (0,1)\) such that T satisfies
where \(M(x,y)=\min \{d(y,Ty),d(y,Tx)\}\), φ is lower semicontinuous, and is nondecreasing, then T is a φ-Picard mapping.
Proof
Take \(\phi (t)=\psi (t)^{k}\) in Theorem 3.3. □
4 φ-fixed disc results
In this section, based on the results of Sect. 3, we obtain some new φ-fixed disc results on metric spaces by taking \(\gamma (a,b,c)=a+b+c\), \(\gamma (a,b,c)=\max \{a,b\}+c\), or \(\gamma (a,b,c)=\max \{a,b,c\}\).
Definition 4.1
Let \((X,d)\) be a metric space. A mapping \(T:X\rightarrow X\) is called \((\psi ,\varphi ,\phi )_{x_{0}}\) type 1 contraction if there exist ψ and ϕ satisfying (i) and (ii) of Theorem 2.4 such that for all \(x\in X\) with \(d(x,Tx)+\varphi (x)+\varphi (Tx)>0\), T satisfies
where \(x_{0}\in X\).
Theorem 4.1
Let \((X,d)\) be a metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 1 contraction with the point \(x_{0}\in X\) and the number r defined in Definition 2.4. If \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in D_{x_{0},r}\), then \(D_{x_{0},r}\) is a φ-fixed disc of T.
Proof
Firstly, we show that \(x=Tx\) for all \(x\in D_{x_{0},r}\).
Case 1: if \(r=0\). \(D_{x_{0},r}=\{x_{0}\}\), then it is easy to see that \(D_{x_{0},r}\) is a φ-fixed disc of T.
Case 2: if \(r>0\), then assume that \(x\neq Tx\) for all \(x\in D_{x_{0},r}\). By (16), the definition of r, (ii), \(\varphi (x_{0})=0\), and \(x_{0}=Tx_{0}\) we get
By (i) and this inequality we can deduce that
This is a contradiction. So \(x=Tx\). Since \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in D_{x_{0},r}\), we have
So \(\varphi (x)=0\), that i, \(D_{x_{0},r}\) is a φ-fixed disc of T. □
Corollary 4.1
Let \((X,d)\) be a metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 1 contraction with a point \(x_{0}\in X\) and the number r defined in Definition 2.4. If \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\), then the circle \(C_{x_{0},r}\) is a φ-fixed circle of T.
Proof
Similar to that of Theorem 4.1. □
Remark 4.1
Replace \(d(x,x_{0})\) in Theorem 4.1 and Corollary 4.1 with one of the following:
where \(x\in X, v,\in [0,1]\). If we remove the condition \(d(x_{0},Tx_{0})=0\) and add the condition \(d(x_{0},Tx)\leqslant r\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), then the results still hold.
Example 4.1
Let \(X=\{-6,-2,0,1,2,5\}\) be endowed with the usual metric \(d(x,y)=|x-y|\). Consider the self-mapping \(T:X\rightarrow X\) defined by
and the function \(\varphi :X\rightarrow [0,\infty )\) defined by
Then we have \(r=4\), \(F(T)=X-\{5\}\), \(Z_{\varphi}=X\), and \(F(T)\cap Z_{\varphi}=\{-6,-2,0,1,2\}\). Now we show that T is a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 1 contraction with \(x_{0}=-2\), \(\psi (t)=t\), and \(\phi (t)=\frac{4}{7}t\). Indeed, when \(x=5\), we obtain
Clearly, all conditions of Theorem 4.1 and Corollary 4.1 are satisfied by T. We get that \(C_{-2,4}=\{-6,2\}\) is a φ-fixed circle of T and \(D_{-2,4}=X-\{5\}\) is a φ-fixed disc of T.
Corollary 4.2
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist ψ and ϕ satisfying (i) and (ii) of Theorem 2.4such that T satisfies
and \(d(x_{0},Tx_{0})=0\), where \(x_{0}\in X\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a fixed circle (resp., disc) of T.
Proof
Take \(\varphi (t)=0\) in Theorem 4.1 and Corollary 4.1. □
Corollary 4.3
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist μ with \((\psi 1)\) and with \(\nu (t)< t\) such that T satisfies
and \(d(x_{0},Tx_{0})=0\), where \(x_{0}\in X\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a fixed circle (resp., disc) of T.
Proof
Take \(\psi (t)=\mu (t)\) and \(\phi (t)=\nu (\mu (t))\) in Corollary 4.2. □
Remark 4.2
Corollary 4.3 shows that the monotonic increasing property of ν in Corollary 3.8 in [32] can be removed, and the condition \(d(x_{0},Tx)=r\) for all \(x\in C_{x_{0},r}\) can be weakened to \(d(x_{0},Tx_{0})=0\).
Corollary 4.4
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(\tau >0\) and nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(d(x,Tx)+\varphi (x)+\varphi (Tx)>0\), \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\), and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Take \(\phi (t)=\psi (t)-\tau \) in Corollary 4.2. □
Corollary 4.5
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(\tau >0\) and nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(d(x,Tx)>0\) and \(d(x_{0},Tx_{0})=0\), where \(x_{0}\in X\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a fixed circle (resp., disc) of T.
Proof
Take \(\varphi (t)=0\) in Corollary 4.4. □
Remark 4.3
Corollary 4.5, produced by only the nondecreasing property of ψ, is an improvement of Theorem 3.4 in [28].
Corollary 4.6
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(k\in [0,1)\) and nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(d(x,Tx)+\varphi (x)+\varphi (Tx)>0\), \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\), and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Take \(\phi (t)=\psi (t)^{k}\) in Theorem 4.1. □
Corollary 4.7
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(k\in [0,1)\) and nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(d(x,Tx)>0\) and \(d(x_{0},Tx_{0})=0\), where \(x_{0}\in X\), then the circle \(C_{x_{0},r}\) (resp. the disc \(D(x_{0},r)\)) is a fixed circle (resp. disc) of T.
Proof
Take \(\varphi (t)=0\) in Corollary 4.6. □
Remark 4.4
Corollary 4.7 shows that the condition \(d(x_{0},Tx)=r\) for all \(x\in C_{x_{0},r}\) of Corollary 3.8 in [26] can be weakened to \(d(x_{0},Tx_{0})=0\).
Corollary 4.8
([34])
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exists \(0< k<1\) such that \(T:X\rightarrow X\) satisfies
and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
If \(x_{0}\neq Tx_{0}\), then letting \(x=x_{0}\) in (17), we obtain
that is, \(d(x_{0},Tx_{0})=0\). The result follows by letting \(\psi (t)=t\) and \(\phi (t)=kt\) in Theorem 4.1. □
Definition 4.2
Let \((X,d)\) be a metric space. A mapping \(T:X\rightarrow X\) is called \((\psi ,\varphi ,\phi )_{x_{0}}\) type 2 contraction if there exist ψ and ϕ satisfying (i) and (ii) of Theorem 2.4 such that T satisfies
for all \(x\in X\) with \(\max \{d(x,Tx),\varphi (x)\}+\varphi (Tx)>0\), where \(x_{0}\in X\).
Theorem 4.2
Let \((X,d)\) be a metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 2 contraction with the point \(x_{0}\in X\) and the number r defined in Definition 2.4. If \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in D_{x_{0},r}\), then \(D_{x_{0},r}\) is a φ-fixed disc of T.
Proof
Firstly, we show that \(x=Tx\) for all \(x\in D_{x_{0},r}\).
Case 1: if \(r=0\), then \(D_{x_{0},r}=\{x_{0}\}\), and it is easy to see that \(D_{x_{0},r}\) is a φ-fixed disc of T.
Case 2: if \(r>0\), then assume that \(x\neq Tx\) for all \(x\in D_{x_{0},r}\). By (18), the definition of r, (ii), \(\varphi (x_{0})=0\), and \(x_{0}=Tx_{0}\), we have
By (i) and thus inequality we deduce that
This is a contradiction. So \(x=Tx\). Since \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in D_{x_{0},r}\), we have
So \(\varphi (x)=0\), that is, \(D_{x_{0},r}\) is a φ-fixed disc of T. □
Corollary 4.9
Let \((X,d)\) be a metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 2 contraction with the point \(x_{0}\in X\) and the number r as in Definition 2.4. If \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\), then the circle \(C_{x_{0},r}\) is a φ-fixed circle of T.
Proof
Similar to that of Theorem 4.2. □
Remark 4.5
Replace \(d(x,x_{0})\) in Theorem 4.2 and Corollary 4.9 with one of the following:
where \(x\in X, v,\in [0,1]\). If we remove the condition \(d(x_{0},Tx_{0})=0\) and add the condition \(d(x_{0},Tx)\leqslant r\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), then their results still hold.
Example 4.2
Let \(X=\{-6,-3,-2,0,1,2,3,5\}\) be endowed with the usual metric \(d(x,y)=|x-y|\). Consider the self-mapping \(T:X\rightarrow X\) and the function \(\varphi :X\rightarrow [0,\infty )\) defined by
and
We have \(r=3\), \(F(T)=X-\{5\}\), \(Z_{\varphi}=\{-6,-3,-2,0,1,2,3,5\}\), and \(F(T)\cap Z_{\varphi}=\{-6,-3,-2,0, 1,2,3\}\). Now we show that T is a type 1 \((\gamma ,\psi ,\varphi ,\phi )_{x_{0}}\) contraction with \(x_{0}=0\), \(\psi (t)=t\), and \(\phi (t)=\frac{9}{10}t\). Indeed, when \(x=5\), we obtain that
Clearly, the conditions of Theorem 4.2 and Corollary 4.9 are satisfied by T, so we get that \(C_{0,3}=\{-3,3\}\) is a φ-fixed circle of T and \(D_{0,3}=\{-3,-2,0,1,2,3\}\) is a φ-fixed disc of T.
Corollary 4.10
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(\tau >0\) and nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(\max \{d(x,Tx),\varphi (x)\}+\varphi (Tx)>0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Take \(\phi (t)=\psi (t)-\tau \) in Theorem 4.2 and Corollary 4.9. □
Corollary 4.11
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(k\in [0,1)\) and nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(d(x,Tx)+\varphi (x)+\varphi (Tx)>0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Take \(\phi (t)=\psi (t)^{k}\) in Theorem 4.2 and Corollary 4.9. □
Corollary 4.12
([34])
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(0< k<1\) such that \(T:X\rightarrow X\) satisfies
and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc of T).
Proof
The result follows by Theorem 4.2 and Corollary 4.9 similarly to the proof of Corollary 4.8. □
Definition 4.3
Let \((X,d)\) be a metric space. A mapping \(T:X\rightarrow X\) is called a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 3 contraction if there exist ψ and ϕ satisfying (i) and (ii) of Theorem 2.4 such that
for all \(x\in X\) with \(\max \{d(x,Tx),\varphi (x),\varphi (Tx)\}>0\), where \(x_{0}\in X\).
Theorem 4.3
Let \((X,d)\) be a metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 3 contraction with the point \(x_{0}\in X\) and the number r as in Definition 2.4. If \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in D_{x_{0},r}\), then the circle \(D_{x_{0},r}\) is a φ-fixed disc of T.
Proof
Firstly, we show that \(x=Tx\) for all \(x\in D_{x_{0},r}\).
Case 1: if \(r=0\), then \(D_{x_{0},r}=\{x_{0}\}\), and it is easy to see that \(D_{x_{0},r}\) is a φ-fixed disc of T.
Case 2: if \(r>0\), the assume that \(x\neq Tx\) for all \(x\in D_{x_{0},r}\). By (19), the definition of r, \((\phi 1)\), \(\varphi (x_{0})=0\), and \(x_{0}=Tx_{0}\), we have
By \((\psi 1)\) and this inequality we deduce that
This is a contradiction. So \(x=Tx\). Since \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in D_{x_{0},r}\), we have
So \(\varphi (x)=0\), that is, \(D_{x_{0},r}\) is a φ-fixed disc of T. □
Corollary 4.13
Let \((X,d)\) be a metric space, and let \(T:X\rightarrow X\) be a \((\psi ,\varphi ,\phi )_{x_{0}}\) type 3 contraction with the point \(x_{0}\in X\) and the number r as in Definition 2.4. If \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\), then the circle \(C_{x_{0},r}\) is a φ-fixed circle of T.
Proof
Similar to that of Theorem 4.3. □
Remark 4.6
Replace \(d(x,x_{0})\) in Theorem 4.3 and Corollary 4.13 with one of the following:
where \(x\in X, v,\in [0,1]\). If we remove the condition \(d(x_{0},Tx_{0})=0\) and add the condition \(d(x_{0},Tx)\leqslant r\), for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), then their results still hold.
Example 4.3
In Examples 4.1 and 4.2, clearly, the conditions of Theorem 4.3 and Corollary 4.13 are satisfied by T, the circles \(C_{0,3}\) and \(C_{-2,4}\) are φ-fixed circles of T, and the discs \(D_{0,3}\) and \(D_{-2,4}\) are φ-fixed discs of T.
Remark 4.7
By Example 4.3 note that the φ-fixed circle (disc) of T is not unique.
Corollary 4.14
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(\tau >0\) and a nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(\max \{d(x,Tx),\varphi (x),\varphi (Tx)\}>0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Similar to that of Corollary 4.10. □
Corollary 4.15
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exist \(k\in [0,1)\) and a nondecreasing function such that \(T:X\rightarrow X\) satisfies
for all \(x,y\in X\) with \(\max \{d(x,Tx),\varphi (x),\varphi (Tx)\}>0\) and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=d(x_{0},Tx_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Similar to that of Corollary 4.11. □
Corollary 4.16
([34])
Let \((X,d)\) be a metric space, and let the number r be as in Definition 2.4. If there exists \(0< k<1\) such that \(T:X\rightarrow X\) satisfies
and \(\varphi (x)\leqslant d(x,Tx)\) for all \(x\in C_{x_{0},r}\) (resp., \(D(x_{0},r)\)), where \(x_{0}\in X\) with \(\varphi (x_{0})=0\), then the circle \(C_{x_{0},r}\) (resp., the disc \(D(x_{0},r)\)) is a φ-fixed circle (resp., disc) of T.
Proof
Similar to that of Corollary 4.12. □
5 Applications
In this section, we consider the following nonlinear integral equation:
where with \(\alpha \leqslant \beta \), \(\eta \in C[\alpha ,\beta ]\) (the set of all continuous functions from \([\alpha ,\beta ]\) to ), and and are given continuous functions. Let \(X=C[\alpha ,\beta ]\) be endowed with the standard metric \(d(\eta ,\theta )=\sup_{u\in{\alpha ,\beta}} |\eta (u)- \theta (u)|\). It is obvious that \((X,d)\) is a complete metric space. Define \(T:X\rightarrow X\) by
Clearly, the solution of (20) is equivalent to the fixed point of T in (21). Next, we will prove our result as follows.
Theorem 5.1
If there exists \(\tau >0\) such that
for all \(\eta ,\theta \in X\) and \(u\in [\alpha ,\beta ]\), where is nondecreasing, then the integral equation (20) has a unique solution.
Proof
Define the control functions \(\gamma =\gamma _{1}\), \(\varphi (t)=0\), and \(\phi (t)=\psi (t)-\tau \) for \(t\in X\). Then
This implies that
It is obvious that T satisfies the conditions Theorem 3.1. So T has a unique fixed point, that is, the integral equation (20) has a unique solution. □
6 Conclusions
In this paper, we present six novel contractions and obtain the corresponding results in a metric space. On the other hand, we improve and expand some recent results in a metric space. Next, we use some simple instances and an application to show the validity of our main results. Finally, regarding the main results of this paper, we draw some inferences. Due to the importance of the fixed point theory, we consider possible future research directions.
There are some works in the future:
(i) replace or change some conditions in our main theorems;
(ii) extend our results to another metric space, like fuzzy metric space [35], b-metric space [36], and so on;
(iii) apply our main results and techniques to solve fractional differential equations [37, 38].
Availability of data and materials
The data that support the findings of this study are available from the corresponding author upon reasonable request.
References
Wardowski, D.: Fixed points of new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012(1), 94 (2012)
Wardowski, D., Dung, N.V.: Fixed points of F-weak contractions on complete metric spaces. Demonstr. Math. 47(1), 146–155 (2014)
Cosentino, M., Vetro, P.: Fixed point results for F-contractive mappings of Hardy–Rogers-type. Filomat 28(4), 715–722 (2014)
Dung, N.V., Hang, V.T.L.: A fixed point theorem for generalized F-contractions on complete metric spaces. Vietnam J. Math. 43(4), 743–753 (2015)
Piri, H., Kumam, P.: Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014(1), 210 (2014)
Piri, H., Kumam, P.: Wardowski type fixed point theorems in complete metric spaces. Fixed Point Theory Appl. 2016(1), 45 (2016)
Haitham, Q., Selmi, N.M., Wasfi, S.: Fixed point results for Geraghty type generalized F-contraction for weak α-admissible mappings in metric-like spaces. Eur. J. Pure Appl. Math. 11(3), 702–716 (2018)
Jleli, M., Samet, B.: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014(1), 38 (2014)
Liu, X.D., Chang, S.S., Xiao, Y., Zhao, L.C.: Existence of fixed points for θ-type contraction and θ-type Suzuki contraction in complete metric spaces. J. Fixed Point Theory Appl. 2016(1), 8 (2016)
Parvaneh, V., Golkarmanesh, F., Hussain, N., Salimi, P.: New fixed point theorems for α-HΘ-contractions in ordered metric spaces. J. Fixed Point Theory Appl. 18, 905–925 (2016)
Imdad, M., Alfaqih, W.M., Khan, I.A.: Weak θ-contractions and some fixed point results with applications to fractal theory. Adv. Differ. Equ. 2018, 439 (2018)
Perveen, A., Alfaqih, W.M., Sessa, S., Imdad, M.: \(\theta ^{*}\)-weak contractions and discontinuity at the fixed point with applications to matrix and integral equations. Axioms 10(3), 209 (2021)
Liu, X.D., Chang, S.S., Xiiao, Y., Zhao, L.C.: Some fixed point theorems concerning \((\psi ,\varphi )\)-type contraction in complete metric spaces. J. Nonlinear Sci. Appl. 9(6), 4127–4136 (2016)
Proinov, P.D.: Fixed point theorems for generalized contractive mappings in metric spaces. J. Fixed Point Theory Appl. 22(1), 21 (2020)
Jleli, M., Samet, B., Vetro, C.: Fixed point theory in partial metric spaces via φ-fixed point’s concept in metric spaces. J. Inequal. Appl. 2014(1), 426 (2014)
Kumrod, P., Sintunavarat, W.: A new contractive condition approach to φ-fixed point results in metric spaces and its applications. J. Comput. Appl. Math. 311, 194–204 (2017)
Asadi, M.: Discontinuity of control function in the \((F,\varphi ,\theta )\)-contraction in metric spaces. Filomat 31(17), 5427–5433 (2017)
Kumrod, P., Sintunavarat, W.: On new fixed point results in various distance spaces via φ-fixed point theorems in D-generalized metric spaces with numerical results. J. Fixed Point Theory Appl. 21, 86 (2019)
Imdad, M., Khan, A.R., Saleh, H.N., Alfaqih, W.M.: Some φ-fixed point results for \((F,\varphi ,\alpha \text{-}\psi )\)-contractive type mappings with applications. Mathematics 7(2), 1–16 (2019)
Saleh, H.N., Imdad, M., Karapinar, E.: A study of common fixed points that belong to zeros of a certain given function with applications. Nonlinear Anal., Model. Control 26(5), 781–800 (2021)
Samet, B.: On the admissibility of the fixed points set of a mapping with respect to another mapping. Mathematics 9(16), 1981 (2021)
Vetro, C.: A fixed-point problem with mixed-type contractive condition. Constr. Math. Anal. 3(1), 45–52 (2020)
Özlem, A.: Some fixed-point results via mix-type contractive condition. J. Funct. Spaces 2021, 5512254 (2021)
Mohammadi, B., Sintunavarat, W., Parvaneh, V.: On new χ-fixed point results for \(\lambda -(\gamma ,\chi )\)-contractions in complete metric spaces with applications. J. Math. 2021, 6626660 (2021)
Özgür, N.Y., Taş, N.: Some fixed-circle theorems on metric spaces. Bull. Malays. Math. Soc. 42(4), 1433–1449 (2017)
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)
Taş, N., Özgür, N.Y., Mlaiki, N.: New types of \(F_{c}\)-contractions and the fixed-circle problem. Mathematics 6(10), 188 (2018)
Taş, N., Özgür, N.Y., Mlaiki, N.: New fixed-circle results related to \(F_{c}\)-contractive and \(F_{c}\)-expanding mappings on metric spaces (2021). https://doi.org/10.48550/arXiv.2101.10770
Mlaiki, N., Taş, N., Özgür, N.Y.: On the fixed-circle problem and Khan type contractions. Axioms 7(4), 80 (2018)
Mlaiki, N., Çelik, U., Taş, N., Özgür, N.Y., Mukheimer, A.: Wardowski type contractions and the fixed-circle problem on S metric spaces. J. Math. 2018, 9127486 (2018)
Mlaiki, N., Özgür, N.Y., Taş, N.: New fixed-point theorems on an S-metric space via simulation functions. Mathematics 7(7), 583 (2019)
Ameer, E., Aydi, H., Nazam, M., De la Sen, M.: Results on fixed circles and discs for \(L(\omega ,c)\)-contractions and related applications. Adv. Differ. Equ. 2021, 349 (2021)
Özgür, N., Taş, N.: New discontinuity results at fixed point on metric spaces. J. Fixed Point Theory Appl. 23(2), 28 (2021)
Özgür, N., Taş, N.: φ-fixed points of self-mappings on metric spaces with a geometric viewpoint (2021). Preprint arXiv:2107.11199
George, A., Veeramani, P.: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64(3), 395–399 (1994)
Czerwik, S.: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1993(1), 5–11 (1993)
Samei, M.E.: Existence of solutions for a system of singular sum fractional q-differential equations via quantum calculus. Adv. Differ. Equ. 2020(1), 23 (2020)
Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019(1), 163 (2019)
Acknowledgements
The authors wish to express their sincere thanks to the reviewers for their valuable comments and suggestions, which made this paper more readable.
Funding
This work is partially supported by National Natural Science Foundation of China (Grant No. 11872043), Central Government Funds of Guiding Local Scientific and Technological Development for Sichuan Province (Grant No. 2021ZYD0017), Zigong Science and Technology Program (Grant No. 2020YGJC03), 2021 Innovation and Entrepreneurship Training Program for College Students of Sichuan University of Science and Engineering (Grant No. cx2021150).
Author information
Authors and Affiliations
Contributions
Conceptualization, YS, XL, JD; formal analysis, YS, XL, MZ; investigation, YS, JD, HZ; writing: original draft preparation, YS, XL, MZ; writing: review and editing, YS, XL, JD, MZ, HZ. 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
Sun, Y., Liu, Xl., Deng, J. et al. Some new φ-fixed point and φ-fixed disc results via auxiliary functions. J Inequal Appl 2022, 116 (2022). https://doi.org/10.1186/s13660-022-02852-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02852-7