 Research
 Open access
 Published:
A remark on Secelean–Wardowski’s fixed point theorems
Fixed Point Theory and Algorithms for Sciences and Engineering volume 2022, Article number: 7 (2022)
Abstract
In this paper we give a simple proof of three fixed point theorems of Secelean and Wardowski by using the fixed point result of Jachymski et al. Our result is established with weaker assumptions than the three theorems. Furthermore, the recent result of Secelean et al. in the setting of a complete metric space can be also deduced by our theorem.
1 Introduction
Banach’s contraction principle is one of the famous fixed point theorems which play a key role in various branches in mathematical models. Many mathematicians have attempted to generalize this result in many ways.
The fixed point theorem of Jachymski et al. [1] and that of Wardowski [5] were proposed in 1995 and in 2012, respectively. Both of them are generalizations of Banach’s contraction principle. In 2016, Secelean and Wardowski [4] established three fixed point theorems (see Theorems SW1–SW3) which are the generalizations of Wardowski’s fixed point theorem (see Theorem W).
In this paper, our purpose is to show that the results of Secelean and Wardowski can be easily deduced from those of Jachymski et al. We discuss that some conditions of their results can be omitted. Finally, we show that in the setting of complete metric spaces the recent result of Secelean et al. [3] proposed in 2019 can be deduced from our theorem.
We now recall the following three theorems which are known as fixed point theorems of Banach, of Jachymski et al., and of Wardowski, respectively. The definitions of the relevant terms are given in Sect. 2.
Theorem B
Suppose that \((X,d)\) is a complete metric space and \(\gamma \in (0,1)\). Suppose that a mapping \(T:X\to X\) satisfies
Then T has a unique fixed point, that is, there exists a unique element \(p\in X\) such that \(p=Tp\). Moreover, if \(x\in X\), then \(\lim_{n}d(T^{n}x,p)=0\).
Theorem JMS
Suppose that a semimetric space \((X,D)\) is Hausdorff and complete. Suppose that \(\varphi:[0,\infty )\to [0,\infty )\) is nondecreasing and \(\lim_{n} \varphi ^{n}(t)=0\) for all \(t>0\). Suppose that \(T:X\to X\) satisfies the following condition:
Suppose that one of the three conditions in Proposition 5holds (see Sect. 2). Then T has a unique fixed point \(p\in X\) and \(\lim_{n} D(T^{n}x,p)=0\) for all \(x\in X\).
The following theorem of Wardowski is slightly modified to fit the presentation of the more general setting of its generalization proposed by Secelean and Wardowski [4]. Let us recall some notations. For a given metric space \((X,d)\), let \(\operatorname{diam}X:=\sup_{x,y\in X}d(x,y)\). For each \(\nu,\lambda \in (0,\infty ]\), the notation “\(\nu >\lambda \)” means \(\nu >\lambda \) if \(\lambda <\infty \) and \(\nu =\infty \) if \(\lambda =\infty \).
Theorem W
Suppose that \((X,d)\) is a complete metric space and \(\nu >\operatorname{diam}X\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies the following conditions:

(A1)
For each sequence \(\{\alpha _{n}\}\subset (0,\nu )\), it follows that
$$\begin{aligned} \lim_{n} \alpha _{n} =0\quad\Leftrightarrow\quad \lim_{n} F(\alpha _{n})= \infty; \end{aligned}$$ 
(A2)
F is increasing, that is, \(0<\alpha <\beta <\nu \Rightarrow F(\alpha )<F(\beta )\);

(A3)
There exists a real number \(\lambda \in (0,1)\) such that \(\lim_{\alpha \to 0^{+}}\alpha ^{\lambda }F(\alpha )=0\).
Suppose that \(\tau >0\) and \(T:X\to X\) satisfy
Then T has a unique fixed point \(p\in X\) and \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\).
Theorem B is just a special case of Theorem JMS where \(\varphi (t):=\alpha t\). Note that every complete metric space \((X,d)\) is a semimetric space which is Hausdorff and complete and satisfies Condition (C3). In fact, the triangle inequality implies Condition (C3) (see Proposition 5 in Sect. 2).
Theorem B is also a special case of Theorem W. In fact, if \(d(Tx,Ty)\le \gamma d(x,y)\) for all \(x,y\in X\), then \(\tau +F(d(Tx,Ty))\leq F(d(x,y))\) for all \(x,y\in X\) with \(Tx\neq Ty\) where \(F(\alpha ):=\ln \alpha \) and \(\tau:=\ln \gamma \).
Let us recall three fixed point theorems of Secelean and Wardowski [4].
Theorem SW1
Suppose that \((X,d)\) is a complete metric space and \(\nu >\operatorname{diam}X\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies conditions (A1) and

(A2’)
\(\sup_{t\in M}F(t)<\infty \) for every bounded set \(M\subset (0,\nu )\).
Let \(\mu >\sup F:=\sup_{0< t<\nu }F(t)\). Suppose that \(T:X\to X\) and \(\psi:(\infty,\mu )\to (\infty,\mu )\) satisfy the following conditions:

(B1)
\(F(d(Tx,Ty))\leq \psi (F(d(x,y))) \) for each \(x,y\in X\) with \(Tx\neq Ty\);

(B2)
ψ is increasing and \(\lim_{n}\psi ^{n}(t)=\infty \) for all \(t\in (\infty,\mu )\);

(B3)
There exists \(x_{0}\in X\) such that the sequence \(\{T^{n}x_{0}\}\) is bounded.
Then T has a unique fixed point \(p\in X\) and \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\).
Theorem SW2
Suppose that \((X,d)\) is a complete metric space and \(\nu >\operatorname{diam}X\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies Conditions (A1), (A2’), and (A3). Let \(\mu >\sup F\). Suppose that \(T:X\to X\) and \(\psi:(\infty,\mu )\to (\infty,\mu )\) satisfy Conditions (B1), (B2), and

(B4)
there exist \(x_{0}\in X\) and an integer N such that \(x_{0}\neq Tx_{0}\), \(\psi ^{N}(F(d(x_{0},Tx_{0})))<0\), and \(\sum_{k\geq N}\psi ^{k}(F(d(x_{0},Tx_{0})))^{1/\lambda }<\infty \) and λ is given from Condition (A3).
Then T has a unique fixed point \(p\in X\) and \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\).
Theorem SW3
Suppose that \((X,d)\) is a complete metric space and \(\nu >\operatorname{diam}X\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies Condition (A1). Let \(\mu >\sup F\). Suppose that \(T:X\to X\) and \(\psi:(\infty,\mu )\to (\infty,\mu )\) satisfy Conditions (B1), (B2), and

(B5)
ψ is continuous and the set of discontinuities of F is at most countable.
Then T has a unique fixed point \(p\in X\) and \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\).
Remark 1
2 Definitions and preliminaries
Definition 2
Suppose that X is a nonempty set and \(D:X\times X\to [0,\infty )\). We say that \((X,D)\) is a semimetric space if the following conditions are satisfied:

(1)
\(D(x,y)=0\iff x=y\);

(2)
\(D(x,y)=D(y,x)\) for all \(x,y\in X\).
If a semimetric space \((X,D)\) satisfies the triangle inequality, that is, \(D(x,y)\le D(x,z)+D(z,y)\) for all \(x,y,z\in X\), then we say that \((X,D)\) is a metric space.
Definition 3
Suppose that \(\{x_{n}\}\) is a sequence in a semimetric space \((X,D)\). We say that

\(\{x_{n}\}\) converges to \(x\in X\) if \(\lim_{n}D(x_{n},x)=0\);

\(\{x_{n}\}\) is Cauchy if \(\lim_{n}\sup \{D(x_{l},x_{m}):l>m\geq n\}=0\).
Definition 4
We say that a semimetric space \((X,D)\) is

Hausdorff if \(x=y\) whenever \(\lim_{n} D(x_{n},x)=\lim_{n} D(x_{n},y)=0\);

complete if whenever \(\{x_{n}\}\) is a Cauchy sequence in X it follows that \(\{x_{n}\}\) converges to some element \(x\in X\).
It is clear from the definition that every metric space is Hausdorff. The concept of semimetric spaces requires only few assumptions. It is natural to impose some further condition on the space. The following result was proposed by Jachymski et al. [1].
Proposition 5
([1])
Suppose that \((X,D)\) is a semimetric space. Then the following statements are equivalent.

(C1)
There exists a real number \(r>0\) such that
$$\begin{aligned} \sup \bigl\{ \beta (x;r):x\in X\bigr\} < \infty, \end{aligned}$$where \(\beta (x;r):=\sup \{D(z,y):D(x,z)< r \textit{ and } D(x,y)< r\}\).

(C2)
There are two real numbers \(\delta,\eta >0\) such that \(D(x,y)\leq \eta \) whenever \(x,y,z\in X\) with \(D(x,z)+D(z,y)<\delta \).

(C3)
For all sequences \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) in X, the following implication holds:
$$\begin{aligned} \lim_{n} D(x_{n},z_{n})=\lim _{n} D(z_{n},y_{n})=0\quad \implies\quad \lim_{n} D(x_{n},y_{n})\neq \infty. \end{aligned}$$
3 Main results
In this paper, we show that Theorem SW1, Theorem SW2, and Theorem SW3 are not only a consequence of Theorem JMS but they are also established with weaker assumptions (see Remark 7).
Theorem 6
Suppose that \((X,d)\) is a complete metric space and \(\nu >\operatorname{diam}X\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies Condition (A1). Let \(\mu >\sup F\). Suppose that \(T:X\to X\) and \(\psi:(\infty,\mu )\to (\infty,\mu )\) satisfy Conditions (B1) and (B2). Then T has a unique fixed point \(p\in X\) and \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\).
Remark 7
Our result improves the three theorems of Secelean and Wardowski in the following ways.

(a)
Conditions (A2’) and (B3) are not required as was the case in Theorem SW1.

(b)
Conditions (A2’), (A3), and (B4) are not required as was the case in Theorem SW2.

(c)
Condition (B5) is not required as was the case in Theorem SW3.
We start with the following easy lemma.
Lemma 8
Let \(\nu \in (0,\infty ]\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies Condition (A1). Suppose that \(\{\alpha _{n}\}\) is a sequence in \((0,\nu )\). Then
Lemma 9
Suppose that \((X,d)\) is a metric space. Let \(\nu >{\operatorname{diam} X}\). Suppose that \(F:(0,\nu )\to (\infty,\infty )\) satisfies Condition (A1). Define \(D:X\times X\to [0,\infty )\) by
Then the following statements hold:

(1)
\((X,D)\) is a Hausdorff semimetric space satisfying Condition (C3).

(2)
If \((X,d)\) is complete, then \((X,D)\) is complete.
Proof
It is clear that \((X,D)\) is a semimetric space.
(1) We show that \((X,D)\) is Hausdorff. To see this, let \(\{x_{n}\}\) be a sequence in X and \(x,y\in X\) such that \(\lim_{n} D(x_{n},x)=\lim_{n} D(x_{n},y)=0\). By Lemma 8, we have \(\lim_{n} d(x_{n},x)=\lim_{n} d(x_{n},y)=0\). It follows from the triangle inequality of d that \(x=y\). To see that \((X,D)\) satisfies Condition (C3), let \(\{x_{n}\}\), \(\{y_{n}\}\), and \(\{z_{n}\}\) be sequences in X such that \(\lim_{n} D(x_{n},z_{n})=\lim_{n} D(z_{n},y_{n})=0\). It follows from Lemma 8 that \(\lim_{n} d(x_{n},z_{n})=\lim_{n} d(z_{n},y_{n})=0\). This implies that \(\lim_{n}d(x_{n},y_{n})=0\) and hence \(\lim_{n}D(x_{n},y_{n})=0\neq \infty \).
(2) Suppose that \((X,d)\) is complete. To see that \((X,D)\) is complete, let \(\{x_{n}\}\) be a Cauchy sequence in the semimetric space \((X,D)\), that is,
We show that \(\lim_{n}\gamma _{n}=0\) where \(\gamma _{n}:=\sup \{d(x_{l},x_{m}):l>m\geq n\}\). Note that \(\gamma _{n+1}\leq \gamma _{n}\) for all \(n\geq 1\). Suppose \(\lim_{n} \gamma _{n}\neq 0\). Then there exists \(\varepsilon _{0}>0\) such that \(\gamma _{n}>\varepsilon _{0}\) for all \(n\ge 1\). In particular, for each \(n\ge 1\), there exist two integers \(l(n)>m(n)\geq n\) such that \(d(x_{l(n)},x_{m(n)})>\varepsilon _{0}\) which implies that \(\lim_{n}d(x_{l(n)},x_{m(n)})\neq 0\). It follows from Lemma 8 that
which is a contradiction. Therefore, \(\lim_{n}\gamma _{n}=0\), that is, the sequence \(\{x_{n}\}\) is Cauchy in \((X,d)\). Since \((X,d)\) is complete, there is an element \(x\in X\) such that \(\lim_{n} d(x_{n},x)=0\) and hence \(\lim_{n} D(x_{n},x)=0\). This completes the proof. □
Lemma 10
Let \(\mu \in (0,\infty ]\). Suppose that \(\psi:(\infty,\mu )\to (\infty,\mu )\) is increasing and \(\lim_{n}\psi ^{n}(t)=\infty \) for all \(t\in (\infty,\mu )\). Define \(\varphi:[0,\mu )\to [0,\mu )\) by
Then φ is nondecreasing and \(\lim_{n} \varphi ^{n}(t)=0\) for all \(t\in (0,\mu )\).
Proof
It is clear that φ is increasing. Let \(t\in (0,\mu )\). It is easy to see that \(\varphi ^{n}(t)=e^{\psi ^{n}(\ln t)}\) for all \(n\geq 1\). In particular, since \(\lim_{n}\psi ^{n}(\ln t)=\infty \), we have \(\lim_{n} \varphi ^{n}(t)=0\). □
We are now ready to prove our main result.
Proof of Theorem 6
Suppose that \(X,d,F\), T, and ψ are as the prerequisite of our Theorem 6. We define \(D:X\times X\to [0,\infty )\) and \(\varphi:[0,\mu )\to [0,\mu )\) as in our Lemma 9 and Lemma 10, respectively. In particular, \((X,D)\) is a semimetric space which is Hausdorff and complete and satisfies Condition (C3). We now prove that
The inequality holds trivially if \(Tx=Ty\). Now, suppose that \(x,y\in X\) with \(d(Tx,Ty)>0\). This implies that
Hence
By Theorem JMS, the mapping T has a unique fixed point \(p\in X\) and \(\lim_{n} D(T^{n}x,p)=0\) for all \(x\in X\). In particular, \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\). This completes the proof. □
In 2019, Secelean et al. [3] established some fixed point theorems which generalize Theorem W by considering it in quasimetric spaces and the function F satisfying only Condition (W1). The notion of quasimetric spaces is more general than that of metric spaces. However, in the setting of metric spaces, we can show that some result in [3] can deduced by our Theorem 6. Let us recall their result in the setting of complete metric spaces.
Theorem SMW
Suppose that \((X,d)\) is a complete metric space. Suppose that \(F:(0,\infty )\to (\infty,\infty )\) satisfies Condition (A2). Let \(\mu >\sup F\). Suppose that \(T:X\to X\) and \(\psi:(\infty,\mu )\to (\infty,\mu )\) satisfy Conditions (B1) and

(B2’)
ψ is continuous and increasing and \(\psi (t)< t\) for all \(t\in (\infty,\mu )\).
Then T has a unique fixed point \(p\in X\) and \(\lim_{n} d(T^{n}x,p)=0\) for all \(x\in X\).
To deduce Theorem SMW from our result, we need the following two lemmas.
Lemma 11
([2])
Let \(F:(0,\infty )\to (\infty,\infty )\) be an increasing function and \(\{t_{n}\}\) be a sequence in \((0,\infty )\). Then the following hold:

(a)
If \(\lim_{n}F(t_{n})=\infty \), then \(\lim_{n}t_{n}=0\);

(b)
If \(\inf F=\infty \) and \(\lim_{n}t_{n}=0\), then \(\lim_{n}F(t_{n})=\infty \).
Lemma 12
([3])
Let \(\mu >\sup F\). Suppose that \(\psi:(\infty,\mu )\to (\infty,\mu )\) is continuous, increasing, and \(\psi (t)< t\) for all \(t\in (\infty,\mu )\). Then \(\lim_{n}\psi ^{n}(t)=\infty \) for all \(t\in (\infty,\mu )\).
A proof of Theorem SMW via our Theorem 6 where \(\nu =\infty \)
We consider the following two cases.
 Case 1::

For each \(x_{0}\in X\), there exists a nonnegative integer n such that \(T^{n+1}x_{0}=T^{n}x_{0}\). This implies that \(p:=T^{n}x_{0}\) is a fixed point of T. Note that T cannot have more than one fixed point. The conclusion follows.
 Case 2::

There exists \(x_{0}\in X\) such that \(T^{n+1}x_{0}\neq T^{n}x_{0}\) for all \(n\ge 0\). This implies that
$$\begin{aligned} F\bigl(d\bigl(T^{n+2}x_{0},T^{n+1}x_{0} \bigr)\bigr)&\leq \psi \bigl(F\bigl(d\bigl(T^{n+1}x_{0},T^{n}x_{0} \bigr)\bigr)\bigr) \\ &\le \psi ^{2}\bigl(F\bigl(d\bigl(T^{n}x_{0},T^{n1}x_{0} \bigr)\bigr)\bigr) \\ & \vdots \\ &\leq \psi ^{n+1}\bigl(F\bigl(d(Tx_{0},x_{0}) \bigr)\bigr). \end{aligned}$$
It follows from Lemma 12 that \(\lim_{n}\psi ^{n}(F(d(Tx_{0},x_{0})))=\infty \), and hence \(\lim_{n}F(d(T^{n+2}x_{0}, T^{n+1}x_{0}))=\infty \). In particular, \(\inf F=\infty \). It follows from Lemma 11 that F satisfies Condition (A1). Note that ψ satisfies Condition (B2) by Lemma 12. Hence the conclusion follows from our Theorem 6. □
Availability of data and materials
Not applicable.
References
Jachymski, J., Matkowski, J., Swiatkowski, T.: Nonlinear contractions on semimetric spaces. J. Appl. Anal. 1(2), 125–134 (1995)
Secelean, N.A.: Iterated function systems consisting of Fcontractions. Fixed Point Theory Appl. 2013, Article ID 277 (2013)
Secelean, N.A., Mathew, S., Wardowski, D.: New fixed point results in quasimetric spaces and applications in fractals theory. Adv. Differ. Equ. 2019, Article ID 177 (2019). https://doi.org/10.1186/s136620192119z
Secelean, N.A., Wardowski, D.: ψFcontractions: not necessarily nonexpansive Picard operators. Results Math. 70, 415–431 (2016)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, Article ID 94 (2012). https://doi.org/10.1186/16871812201294
Acknowledgements
We would like to thank all reviewers for their comments and suggestions which enhanced the presentation of the paper.
Funding
SS was supported by the Thailand Research Fund and Khon Kaen University under grant RSA6280002 and PA was supported by Mahasarakham University.
Author information
Authors and Affiliations
Contributions
SS and PA contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Saejung, S., Ardsalee, P. A remark on Secelean–Wardowski’s fixed point theorems. Fixed Point Theory Algorithms Sci Eng 2022, 7 (2022). https://doi.org/10.1186/s13663022007178
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663022007178