Abstract
The purpose of this paper is to introduce the notions of Θ-type contractions and Θ-type Suzuki contractions and to establish some new fixed point theorems for these two kinds of mappings in the setting of complete metric spaces. The results presented in the paper are an extension of the Banach contraction principle, the Suzuki contraction theorem, and the Jleli and Samet fixed point theorem. As an application, we utilize our results to study the existence problem of solutions of nonlinear Hammerstein integral equations.
Similar content being viewed by others
1 Introduction and preliminaries
Let \((X,d)\) be a complete metric space and \(T : X \to X\) be a mapping. If there exists \(k\in(0,1)\) such that for all \(x,y\in X\), \(d(Tx,Ty)\le kd(x,y)\), then T is said to be a contractive mapping. In 1922, Polish mathematician Banach [1] proved a very important result regarding a contraction mapping, known as the Banach contraction principle. It is one of the fundamental results in fixed point theory. Due to its importance and simplicity, several authors have obtained many interesting extensions of the Banach contraction principle (see [2–8] and the references therein).
In 2009, Suzuki [2] proved the following generalized Banach contraction principle in compact metric spaces.
Theorem 1.1
[2]
Let \((X, d)\) be a compact metric space and \(T : X\to X\) be a mapping. Assume that, for all \(x,y\in X\) with \(x\neq y\),
Then T has a unique fixed point in X.
In 2014, Jleli and Samet [9, 10] introduced the following notion of a θ-contraction.
Definition 1.2
[10]
Let \((X, d)\) be a metric space. A mapping \(T : X \to X\) is said to be a θ-contraction, if there exists \(k \in (0, 1)\) such that
where \(\theta: (0, \infty) \to(1, \infty)\) is a function satisfying the following conditions:
- (\(\Theta_{1}\)):
-
θ is non-decreasing;
- (\(\Theta_{2}\)):
-
for each sequence \(\{t_{n}\} \subset(0, \infty)\), \(\lim_{n \to\infty}\theta(t_{n}) = 1\) iff \(\lim_{n \to\infty} t_{n} = 0\);
- (\(\Theta_{3}\)):
-
there exist \(r \in(0, 1)\) and \(l \in(0, \infty]\) such that \(\lim_{t \to0^{+}}\frac{\theta(t) -1}{t^{r}} = l\);
- (\(\Theta_{4}\)):
-
θ is continuous.
In the sequel we denote by Θ the set of all functions satisfying the conditions (\(\Theta_{1}\))-(\(\Theta_{4}\)).
By using the notion of a θ-contraction, Jleli et al. [10] proved the following fixed point theorem.
Theorem 1.3
(Jleli et al. [10])
Let \((X, d)\) be a complete metric space and \(T : X \to X\) be a θ-contraction, then T has a unique fixed point in X.
Remark 1.4
It is obvious that Theorem 1.3 is a modified version of the Banach contraction principle. In fact, if \(T: X \to X \) is a Banach contractive mapping with a contractive constant \(\lambda \in(0, 1)\), i.e.,
Since \(\theta(t)= e^{\sqrt{t}} \in\Theta\), \(t > 0\), by passing it to the above inequality, we arrive at
where \(k = \sqrt{\lambda}\). It follows from Theorem 1.3 that T has a unique fixed point in X.
From Theorem 1.3 it is natural to put forward the following open question.
Open question
Could we obtain some fixed point theorems for θ-contractive mappings without the conditions (\(\Theta_{2}\)) and (\(\Theta_{3}\))?
In order to give an affirmative answer to this open question, we first analyze the conditions (\(\Theta_{2}\)) and (\(\Theta_{3}\)).
It is easy to see that the condition (\(\Theta_{3}\)) is so strong that there exist a lot of functions which satisfy the conditions (\(\Theta_{1}\)), (\(\Theta_{2}\)), and (\(\Theta_{4}\)) but they not the condition (\(\Theta_{3}\)). For example, we can prove that the function \(\theta(t)=e^{e^{-\frac{1}{t^{p}}}}\), \(p > 0\) satisfies the conditions (\(\Theta_{1}\)), (\(\Theta_{2}\)), and (\(\Theta_{4}\)), but, for any \(r>0\),
i.e., it does not satisfy the condition (\(\Theta_{3}\)).
Furthermore, the condition (\(\Theta_{2}\)) can be replaced by an equivalent but a more simple condition \(\inf_{t \in(0, \infty)}\theta (t) =1\). This fact can be seen from the following lemmas.
Lemma 1.5
[11]
If \(\{t_{k}\}_{k}\) is a bounded sequence of real numbers such that all its convergent subsequences have the same limit l, then \(\{t_{k}\}_{k}\) is convergent and \(\lim_{k\to\infty}t_{k} =l\).
Lemma 1.6
Let \(\theta: (0, \infty) \to(1, \infty)\) be a non-decreasing and continuous function with \(\inf_{t \in(0, \infty )}\theta(t) =1\) and \(\{t_{k}\}_{k}\) be a sequence in \((0, \infty)\). Then the following conclusion holds:
Proof
(1) (Necessity) If \(\lim_{k \to\infty}\theta(t_{k}) = 1\), then we claim that the sequence \(\{t_{k}\}\) is bounded. Indeed, if the sequence is unbounded, we may assume that \(t_{k}\to\infty\), then for every \(M > 0\), there is \(k_{0}\in\mathbb{N}\) such that \(t_{k} > M\) for any \(k > k_{0} \). Hence we have \(\theta(M)\le\theta(t_{k})\), and so
which is a contradiction with \(\theta(M) > 1\). Therefore \(\{t_{k}\}\) is bounded. Hence there exists a subsequence \(\{t_{k_{n}}\} \subset\{t_{k}\}\) such that \(\lim_{n\to \infty} t_{k_{n}} = \alpha\) (some nonnegative number). Clearly \(\alpha\ge0\).
If \(\alpha>0\), then there exists \(n_{0} \in\mathbb{N}\) such that \(t_{k_{n}}\in(\frac{\alpha}{2},\frac{3\alpha}{2})\) for all \(n \ge n_{0}\). As θ is non-decreasing, we deduce that \(\theta(\frac{\alpha}{2})\le\lim_{n\to\infty} \theta(t_{k_{n}})=1 \) which contradicts with \(\theta(\frac{\alpha}{2})>1\). Consequently \(\alpha=0\). By Lemma 1.5, we know that \(\lim_{k \to \infty} t_{k} = 0\).
(2) (Sufficiency) Since \(\inf_{t \in(0, \infty)}\theta(t) =1\), if \(t_{k}\to0\), then for any given \(\epsilon>0\), there is \(\alpha>0\) such that \(\theta(\alpha) \in(1,1+\epsilon)\) and there exists \(k_{1} \in\mathbb{N}\) such that \(t_{k} <\alpha\) for all \(k> k_{1}\). Therefore \(1<\theta(t_{k}) \le\theta(\alpha)<1+\epsilon\), for \(k > k_{1}\). This shows that \(\theta(t_{k})\to1\).
The conclusion of Lemma 1.6 is proved. □
In the sequel, we denote by Θ̃ the set of functions \(\theta: (0, \infty) \to(1, \infty)\) satisfying the following conditions:
- \((\Theta_{1})'\) :
-
θ is non-decreasing and continuous;
- \((\Theta_{2})'\) :
-
\(\inf_{t \in(0, \infty)}\theta(t) =1\).
Examples of functions belonging to Θ̃
It is obvious that the following are examples of the functions belonging to Θ̃:
Based on the above argument, now we are in a position to give the following definition.
Definition 1.7
Let \((X, d)\) be a complete metric space and \(T : X \to X\) be a mapping.
-
(1)
T is said to be a θ-type contraction, if there exist \(k \in(0, 1)\) and \(\theta\in\tilde{\Theta}\) such that
$$ \forall x, y \in X,\quad d(Tx, Ty) > 0\quad \Longrightarrow\quad \theta \bigl(d(Tx,Ty)\bigr) \le\bigl[\theta\bigl(M(x,y)\bigr)\bigr]^{k}. $$(1.3) -
(2)
T is said to be a θ-type Suzuki contraction, if there exist \(k \in(0, 1)\) and \(\theta\in\tilde{\Theta}\) such that for all \(x, y\in X\) with \(Tx \neq Ty\),
$$ \frac{1}{2}d(x, Tx)< d(x,y) \quad \Longrightarrow \quad \theta \bigl(d(Tx,Ty)\bigr) \le\bigl[\theta\bigl(M(x,y)\bigr)\bigr]^{k}, $$(1.4)where
$$ M(x,y)= \max\biggl\{ d(x,y), d(x,Tx), d(y, Ty), \frac{1}{2}d(x,Ty), d(y, Tx)\biggr\} . $$(1.5)
The purpose of this paper is to prove some existence theorems of fixed points for θ-type contraction and θ-type Suzuki contraction in the setting of complete metric spaces. The results presented in the paper improve and extend the corresponding results in Banach [1], Suzuki [2], Jleli and Samet [9, 10]. As an application, we shall utilize our results to study the existence problem of solutions for a class of nonlinear Hammerstein integral equations.
2 Existence theorems of fixed point for θ-type Suzuki contractions and θ-type contractions
In this section, we are going to give some existence theorems of fixed point for θ-type Suzuki contractions and θ-type contractions.
Theorem 2.1
Let \((X, d)\) be a complete metric space and \(T : X \to X\) be a θ-type Suzuki contraction, i.e., there exist \(\theta\in \tilde{\Theta}\) and \(k \in(0, 1)\) such that for all \(x, y \in X\) with \(Tx\neq Ty\),
where
then T has a unique fixed point \(z \in X\) and for each \(x \in X\) the sequence \(\{T^{n} x\}\) converges to z.
Proof
Let x be an arbitrary point in X. If for some positive integer p such that \(T^{p-1} x = T^{p}x\), then \(T^{p-1} x\) will be a fixed point of T. So, without loss of generality, we can assume that \(d(T^{n-1} x,T^{n} x) > 0\) for all \(n \ge1\).
Therefore,
Hence from (2.1), for all \(n \ge 1\), we have
where
If \(M(T^{n-1} x, T^{n} x) = d(T^{n} x, T^{n+1} x)\), then it follows from (2.4) that
This implies that
which is a contradiction with \(k \in(0, 1)\). Hence, from (2.5) we have \(M(T^{n-1} x, T^{n} x)= d(T^{n-1} x, T^{n} x)\). This together with inequality (2.4) yields
Since \(\theta: (0, \infty) \to(1, \infty)\), it follows from (2.6) that
Therefore we have \(\lim_{n \to\infty} \theta(d(T^{n} x, T^{n+1} x)) = 1\). This together with \((\Theta_{2})'\) and Lemma 1.6 gives
Now, we claim that \(\{T^{n}x\}_{n=1}^{\infty}\) is a Cauchy sequence. Arguing by contradiction, we assume that there exist \(\epsilon>0\) and a sequence \(\{p_{n}\}_{n=1}^{\infty}\) and \(\{q_{n}\}_{n=1}^{\infty}\) of natural numbers such that
So, we have
It follows from (2.7) and the above inequality that
From (2.7) and (2.9), we can choose a positive integer \(n_{0} \ge1\) such that
So, from the assumption of the theorem, we get
where
Substituting (2.11) into (2.10), then letting \(n\to\infty\) and by using the condition \((\Theta_{2})'\), (2.7), (2.9), we get
This is a contradiction. Therefore \(\{T^{n} x\}_{n=1}^{\infty}\) is a Cauchy sequence. By the completeness of \((X, d)\), without loss of generality, we can assume that \(\{T^{n}x\}_{n=1}^{\infty}\) converges to some point \(z\in X\), i.e.,
Now, we claim that
Suppose to the contrary that (2.13) is not true. Therefore the following inequality is also not true:
It follows from (2.13) and (2.14) that there exists an \(m\in\mathbb {N}\) such that
Therefore,
This implies that
This together with (2.15) shows that
Since \(\frac{1}{2}d(T^{m}x,T^{m+1}x)< d(T^{m}x,T^{m+1}x)\), by the assumption of the theorem, we get
where
If \(M(T^{m}x, T^{m+1}x) =d(T^{m+1}x, T^{m+2}x)\), then from (2.18) we have
This is a contradiction. Therefore we have
Consequently, from (2.18) we have
Since \(k\in(0,1)\), we have
Hence from condition \((\Theta_{1})'\) and (2.19) we have
This together with (2.17) shows that
which is a contradiction. Therefore the inequality (2.13) is proved.
By the assumption of Theorem 2.1 and (2.13) we have, for every \(n\in \mathbb{N}\),
On the other hand, from (2.12) we know that \(T^{n} x \to z\), hence we have
Now, we claim that \(d(z, Tz)=0\).
In fact, if \(d(z, Tz)>0\). Letting \(n\to\infty\) in (2.22), and by using (2.12), (2.23), and the condition \((\Theta _{1})'\), we obtain
This is a contradiction. Hence, \(z =Tz\), i.e., z is a fixed point of T.
Now we prove that z is the unique fixed point of T in X. In fact, if \(z, u \in X\) are two distinct fixed points of T, that is \(Tz=z\neq u=Tu\), then \(d(z, u) = d(Tz,Tu) > 0\). Since \(0=\frac{1}{2}d(z,Tz)< d(z, u)\), as follows from the assumption of the theorem, we obtain
where
This together with (2.24) shows that
which is a contraction. Hence we have \(u = v\).
This completes the proof of Theorem 2.1. □
Remark 2.2
Theorem 2.1 is a generalization and improvement of the main results in Suzuki [2].
It follows from Definition 1.7 that if \(T: X \to X\) is a θ-type contraction, then \(T: X \to X\) is a θ-type Suzuki contraction. Hence from Theorem 2.1 we can obtain the following existence theorem of fixed point for θ-type contractions.
Theorem 2.3
Let \((X, d)\) be a complete metric space and \(T : X \to X\) be a θ-type contractive mapping, i.e., there exist \(\theta\in \tilde{\Theta}\) and \(k \in(0, 1)\) such that
where
then T has a unique fixed point \(z \in X\), and for each \(x \in X\) the sequence \(\{T^{n} x\}\) converges to z.
Remark 2.4
Theorem 2.3 is a generalization and improvement of the Banach contraction principle [1] and some recent results in Jleli and Samet [9, 10].
3 Some consequences
Corollary 3.1
Let \((X, d)\) be a complete metric space and \(T : X \to X\) be a mapping. If there exists \(\lambda\in(0, 1)\) such that
where
then T has a unique fixed point \(z \in X\) and for any given \(x \in X\), the sequence \(\{T^{n} x\}\) converges to z.
Proof
Denote by \(\theta(t) : = e^{\sqrt{t}}: (0, \infty) \to(1, \infty)\). It is easy to check that \(\theta\in\tilde{\Theta }\). Hence from (3.1) we have
This implies that T is a θ-type contractive mapping with \(k = \sqrt{\lambda}\). Therefore the conclusion of Corollary 3.1 can be obtained from Theorem 2.3 immediately. □
The following corollary can be obtained from Corollary 3.1 immediately.
Corollary 3.2
Let (X, d) be a complete metric space and \(T : X \to X\) be a mapping. Suppose that there exist \(\lambda, \mu, \nu, \xi, \eta\ge0\) with \(\lambda+ \mu+ \nu+ \xi+ \eta< 1\) such that
Then T has a unique fixed point z and, for each \(x \in X\), the sequence \(\{T^{n} x\}\) converges to z.
We note that if \(p>0\), then \(\theta(t)=e^{e^{-\frac{1}{x^{p}}}} \in\tilde{\Theta}\). Hence from Theorem 2.3 we can obtain the following corollary.
Corollary 3.3
Let \((X,d)\) be a complete metric space and \(T : X \to X\) be a mapping. Suppose that there exist \(p>0\), \(k \in(0, 1)\) such that
where \(M(x, y)\) is given by (3.2). Then T has a unique fixed point z and, for each \(x \in X\), the sequence \(\{T^{n} x\}\) converges to z.
4 Application to nonlinear Hammerstein integral equations
As an application, in this section, we shall use the fixed point theorems proved in Section 2 to study the existence and uniqueness problem of solutions for some kind of nonlinear Hammerstein integral equations.
Let us consider the following nonlinear Hammerstein integral equation:
where the unknown function \(x(t)\) takes real values.
Let \(X = C([0, E])\) be the space of all real continuous functions defined on \([0, E]\). It is well known that \(C([0, E])\) endowed with the metric
is a complete metric space. Define a mapping \(T : X \to X \) by
Assumption 4.1
-
(I)
\(f \in C([0, E] \times(-\infty, +\infty))\), \(h\in X\), and \(K \in C([0, E])\times([0, E])\) such that \(K (t, s) \ge0\);
-
(II)
\(f (t, \cdot) : (-\infty, +\infty) \to(-\infty, +\infty)\) is increasing for all \(t \in[0, E]\);
-
(III)
there exists \(\tau\in[1, +\infty)\) such that
$$\bigl\vert f (t, x) - f (t, y) \bigr\vert \le\tau e^{-\tau} Q(x, y), \quad \forall x, y \in X, t \in[0, E], $$where \(Q(x,y): = \max \{|x - y|, |x - Tx|, |y - Ty|, \frac {1}{2}|x - Ty|, |y - Tx|\}\);
-
(IV)
\(\max_{t,s{\in}[0, E]} |K(t, s)| \le1\).
For \(x \in X\), we defined \(\|x\|_{\tau}= \max_{t\in[0, E]} |x(t)|e^{-\tau t}\), where \(\tau\ge1\) is chosen arbitrarily. It is easy to check that \(\|\cdot\|_{\tau}\) is a norm equivalent to the maximum norm \(\|\cdot\|\) in X, and X endowed with the metric \(d_{\tau}\) defined by
is a complete metric space.
Theorem 4.1
Let \(X = C([0, E])\), \((X, d_{\tau})\), T, f, \(K(t,s)\) be the same as above. If Assumption 4.1 is satisfied, then the nonlinear Hammerstein integral equation (4.1) has a unique solution \(x^{*} \in C([0, E])\), and for each \(x \in C([0, E])\) the iterative sequence \(\{x_{n}= T^{n} x\}\) converges to the unique solution \(x^{*} \in X\) of equation (4.1).
Proof
We first show that the mapping \(T: X \to X\) defined by (4.2) is a θ-type contraction. Indeed, from the conditions (III) and (IV), for each \(x, y \in C([0, E])\), \(t \in[0, E]\), we have
where
This implies that \(|Tx(t) - Ty(t)| e^{-\tau t}\le e^{-\tau}M(x,y)\). Hence we have
Since \(\theta(t) = e^{\sqrt{t}} \in\tilde{\Theta}\), \(t > 0\), we have
where \(k = \sqrt{e^{-\tau}}\). Since \(\tau\ge1\), \(k \in(0, 1)\). Therefore the mapping T is a θ-type contraction. By Theorem 2.3, T has a unique fixed point \(x^{*} \in X\), i.e., \(x^{*}\) is the unique solution of the nonlinear Hammerstein integral equation (4.1) and, for each \(x \in X\), the sequence \(\{x_{n} = T^{n} x\}\) converges uniformly to \(x^{*}\). □
References
Banach, B: Sur les opérations dons les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133-181 (1922)
Suzuki, T: A new type of fixed point theorem in metric spaces. Nonlinear Anal. 71, 5313-5317 (2009)
Suzuki, T: Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 253, 440-458 (2001)
Suzuki, T: Several fixed point theorems concerning τ-distance. Fixed Point Theory Appl. 2004, 195-209 (2004)
Tataru, D: Viscosity solutions of Hamilton-Jacobi equations with unbounded nonlinear terms. J. Math. Anal. Appl. 163, 345-392 (1992)
Vályi, I: A general maximality principle and a fixed point theorem in uniform space. Period. Math. Hung. 16, 127-134 (1985)
Edelstein, M: On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 37, 74-79 (1962)
Chang, SS, Tang, YK, Wang, L, Xu, YG, Zhao, YH, Wang, G: Convergence theorems for some multi-valued generalized nonexpansive mappings. Fixed Point Theory Appl. 2014, 33 (2014)
Jleli, M, Samet, B: A new generalization of the Banach contraction principle. J. Inequal. Appl. 2014, 38 (2014)
Jleli, M, Karapınar, E, Samet, B: Further generalizations of the Banach contraction principle. J. Inequal. Appl. 2014, 439 (2014)
Secelean, NA: Iterated function systems consisting of F-contractions. Fixed Point Theory Appl. 2013, 277 (2013)
Acknowledgements
The authors would like to express their thanks to the editor and the referees for their helpful comments and advices. This work was supported by Scientific Research Fund of SiChuan Provincial Education Department (No. 14ZA0272). This work was also supported by the National Natural Science Foundation of China (Grant No. 11361070) and the Natural Science Foundation of China Medical University, Taiwan.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, Xd., Chang, Ss., Xiao, Y. et al. Existence of fixed points for Θ-type contraction and Θ-type Suzuki contraction in complete metric spaces. Fixed Point Theory Appl 2016, 8 (2016). https://doi.org/10.1186/s13663-016-0496-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0496-5