Abstract
In this paper, first, we give the separation theorem which is an extension of the separation theorem due to Jachymski and Jóźwik (J. Math. Anal. Appl. 300:147-159, 2004). Then, by using this and the related results, we prove that two generalized weak contraction multi-valued map**s have a unique common endpoint if and only if either they have the usual approximate endpoint property or they have the common approximate strict fixed point property. This result is an extension and correct version of the main result given by Khojasteh and Rakočević (Appl. Math. Lett. 25:289-293, 2012).
Similar content being viewed by others
1 Introduction
Let \((X,d)\) be a metric space and \(P_{cl,bd}(X)\) be the class of nonempty closed and bounded subsets of X. A point \(x\in X\) is called a fixed point of a multi-valued map** \(T:X\longrightarrow P_{cl,bd}(X)\) if \(x \in Tx\). We denote \(\operatorname{Fix}(T)\) the set of fixed points of the map** T, that is, \(\operatorname{Fix}(T)=\{x\in X:x\in Tx\}\).
An element \(x\in X\) is said to be an endpoint of a multi-valued map** T if \(Tx=\{x\}\). We denote the set of all endpoints of T by \(\operatorname{End}(T)\).
Obviously, \(\operatorname{End}(T) \subseteq\operatorname{Fix}(T)\). The investigations on the existence of the endpoints for multi-valued map**s have been studied in recent years by many authors; see for example [1–9] and the references therein.
In 2010, Amini-Harandi [1] proved that, under sufficient conditions, the weak contractive map** T has a unique endpoint if and only if T has the approximate endpoint property. After that, in 2011, Moradi and Khojasteh [6] could improve the result by replacing the weak contraction by a general form of weak contractive and, subsequently, this result was extended by Khojasteh and Rakočević [5] by introducing the concept of the approximate and common approximate K-boundary strict fixed point property. By an example, however, we show that their result is not correct and so we give the correct form of it applying a new method for its proof, by establishing a separation theorem
The paper is organized as follows.
In Section 2, we give some basic definitions and results which will be needed in the sequel.
In Section 3, we give the separation theorem for upper semi-continuous function \(\psi:[0,+\infty) \longrightarrow [0,+\infty)\) with \(\psi(t)< t\) for all \(t>0\) satisfying the condition
In fact, our separation theorem is a generalization of the separation theorem due to Jachymski and Jóźwik [10].
In Section 4, we prove that the common approximate strict fixed point property and the usual approximate endpoint property are equivalent for generalized weak contraction multi-valued map**s \(T,S:X\longrightarrow P_{cl,bd}(X)\).
In Section 5, we give the main part in this paper. By using the separation theorem obtained in Section 3 and the results in Section 4, we prove that two generalized weak contraction multi-valued map**s have a unique common endpoint if and only if either they have the usual approximate endpoint property or they have the common approximate strict fixed point property.
Finally, in Section 6, we give some applications to integral equations by using the main result, Theorem 5.9.
The main results of this paper extend the recent results given by Zhang and Song [11], Moradi and Khojasteh [6], Daffer and Kaneko [12], Rouhani and Moradi [13], Ćirić’s theorems [14] and others.
2 Preliminaries
In this section, we give some definitions which are used in the sequel.
Let \((X,d)\) denote a complete metric space and H be the Hausdorff metric defined by
for all \(A,B\in P_{cl,bd}(X)\), where \(P_{cl,bd}(X)\) denotes the set of nonempty closed bounded subsets of X.
Definition 2.1
([14])
Two map**s \(T,S:X \longrightarrow P_{cl,bd}(X)\) are said to be generalized weak contractive if there exists a function \(\psi: [0,+\infty)\longrightarrow[0,+\infty)\) with \(\psi(t) < t\) for all \(t>0\) such that
for all \(x,y \in X\), where
Definition 2.2
A map** \(T:X \longrightarrow P_{cl,bd}(X)\) is said to have the approximate endpoint property if
Definition 2.3
Two map**s \(T,S:X \longrightarrow P_{cl,bd}(X)\) said to have the usual approximate endpoint property if
Note that, if T and S are two single-valued map**s on X, then T and S have the usual approximate fixed point property, i.e.,
Obviously, T and S have the usual approximate endpoint property if and only if there exists a sequence \(\{ x_{n}\}\) such that
Also, if at least one of T or S has the approximate endpoint property, then T and S have the usual approximate endpoint property.
Definition 2.4
Two map**s \(T,S:X \longrightarrow P_{cl,bd}(X)\) are said to have the common approximate strict fixed point property if there exists a sequence \(\{ x_{n} \}\) such that
It is clear that, if S, T have the common approximate strict fixed point property, then they have the usual approximate endpoint property.
Definition 2.5
Two multi-valued map**s \(T,S:X \longrightarrow P_{cl,bd}(X)\) are said to have the common approximate K-boundary strict fixed point property if there exists a sequence \(\{ x_{n} \} \subset\partial K\), where K is a nonempty subset of X and ∂K is boundary of K, such that
The concept of the approximate and common approximate K-boundary strict fixed point property were defined by Khojasteh and Rakočević [5].
We note that, if T and S have the common approximate strict fixed point property, then have the usual approximate endpoint property. But the converse is not true.
Example 2.6
Let \(X=\Bbb{R}\) with the Euclidian metric. If two map**s \(T,S:X \longrightarrow P_{cl,bd}(X)\) defined by \(Tx=\{ x \}\) and \(Sx=[x+1,x+2]\) (the closed interval between \(x+1\) and \(x+2\)), respectively, then T and S have the usual approximate endpoint property, while they do not have the common approximate strict fixed point property.
Let Ψ be the class of all upper semi-continuous functions \(\psi: [0,+\infty)\longrightarrow[0,+\infty)\) with
for all \(t>0\). Also, let Φ denote the class of all continuous and nondecreasing functions \(\varphi: [0,+\infty)\longrightarrow [0,+\infty)\) with \(\varphi(t) < t\) for all \(t>0\) such that there exist \(\delta,M > 0\) such that
for all \(t \geq M\). Obviously, \(\Phi\subset\Psi\).
3 The separation theorem
In this section, we establish a separation theorem. In order to prove it, we need the following lemma.
Lemma 3.1
Let \(\psi\in\Psi\). Then, for any closed interval \([a,b] \subset(0,+\infty)\), there exists \(\alpha\in(0,1)\) such that \(\psi(t) < \alpha t\) for all \(t \in[a,b]\).
Proof
Suppose that the conclusion is not true. Assume that there exists \([a,b] \subset (0,+\infty)\) such that, for all \(\alpha\in(0,1)\), there exists \(t \in [a,b]\) such that \(\psi(t) \geq\alpha t\). Let \(\{ \alpha_{n} \}\) be a sequence in \((0,1)\) with \(\lim_{n \rightarrow\infty} \alpha _{n}=1\). Then, for all \(n \in\Bbb{N}\), there exists \(t_{n} \in[a,b]\) such that \(\psi(t_{n}) \geq\alpha_{n} t_{n}\). Since \(\{ t_{n} \} \subset[a,b]\) and \([a,b]\) is compact, there exist a subsequence \(\{t_{n(k)} \}\) of \(\{ t_{n} \}\) and \(t \in [a,b]\) such that \(\lim_{k \rightarrow\infty} t_{n(k)}=t\). Hence we have \(\lim_{k \rightarrow\infty}\alpha _{n(k)} t_{n(k)}=t\). Also, from \(\alpha_{n(k)} t_{n(k)} \leq\psi(t_{n(k)}) < t_{n(k)}\), it follows that \(\lim_{k \rightarrow\infty}\psi(t_{n(k)})=t\). Since ψ is upper semi-continuous, it follows that \(\lim_{k \rightarrow\infty}\psi(t_{n(k)}) \leq\psi(t)\) and so \(t \leq\psi(t)\), which is a contradiction (note \(\psi\in\Psi\)). This completes the proof. □
Theorem 3.2
Let \(\psi\in\Psi\). Then there exists \(\varphi\in\Phi\) such that \(\psi(t)< \varphi(t)\) for all \(t > 0\).
Proof
It follows from \(\liminf_{t \rightarrow\infty}(t-\psi(t))> 0\) that there exists \(\delta_{0} > 0\) such that
Hence there exists \(M > 0\) such that \(t-\psi(t) > \delta_{0}\) for all \(t \geq M\). Therefore, \(\psi(t) < t-\delta_{0}\) for all \(t \geq M\). Let \(\{ x_{n} \} \subset(0,M-\delta_{0})\) be a decreasing sequence such that \(\lim_{n \rightarrow\infty}x_{n}=0\). Using Lemma 3.1, there exists \(\alpha_{1} \in(0,1)\) such that \(\psi(t) < \alpha_{1} t\) for all \(t \in[x_{1},M]\) and \(x_{2} < \alpha_{1} x_{1}\). Also, there exists \(\alpha_{2} \in(0,1)\) such that \(\psi(t) < \alpha_{2} t\) for all \(t \in[x_{2},x_{1}]\), \(\alpha_{1} < \alpha_{2}\), and \(x_{3} < \alpha_{2} x_{2}\). Using induction and Lemma 3.1, there exists a sequence \(\{\alpha_{n} \}\) in \((0,1)\) such that \(\psi(t) < \alpha_{n} t\) for all \(t \in[x_{n},x_{n-1}]\), \(\alpha_{n-1} < \alpha_{n}\), and \(x_{n+1} < \alpha_{n} x_{n}\).
Now, we define a function \(\varphi: [0,+\infty) \longrightarrow [0,+\infty)\) by
Obviously, φ is continuous and nondecreasing and \(\psi(t) < \varphi(t)\) for all \(t >0\). Also, \(\varphi(t) < t\) for all \(t>0\). Therefore, \(\varphi\in\Phi\). This completes the proof. □
Let Ω be the class of all the functions \(\psi: [0,+\infty) \longrightarrow[0,+\infty)\) such that, for some \(\varphi\in \Phi\), \(\psi(t) < \varphi(t)\) for all \(t >0\). Obviously, \(\Phi \subset\Psi\subset\Omega\).
The following example shows that \(\Phi\subsetneq\Psi\subsetneq \Omega\).
Example 3.3
Let \(\psi_{1},\psi_{2}: [0,+\infty) \longrightarrow[0,+\infty)\) defined by
and
respectively. Obviously, \(\psi_{1} \in\Psi\backslash\Phi\) and \(\psi _{2} \in\Omega\backslash\Psi\).
4 The approximate endpoint property
In this section, we prove that the common approximate strict fixed point property and the usual approximate endpoint property are equivalent for generalized weak contraction map**s \(T,S:X\longrightarrow P_{cl,bd}(X)\).
The following result plays an important role reaching the main goal of this section.
Lemma 4.1
Let \(\varphi\in\Phi\). Then the condition \(\lim_{n \rightarrow \infty}(t_{n} -\varphi(t_{n}))=0\) implies that \(\lim_{n \rightarrow\infty}t_{n}=0\).
Proof
Since \(\varphi\in\Phi\), \(\{t_{n} \}\) is a bounded sequence. If \(\lim_{n \rightarrow\infty}t_{n} \neq0\), then there exist \(t > 0\) and a subsequence \(\{t_{n(k)}\}\) such that \(\lim_{k \rightarrow\infty}t_{n(k)}=t\). Using \(\lim_{k \rightarrow\infty}(t_{n(k)} -\varphi(t_{n(k)}))=0\) and the continuity of φ, we get \(\varphi(t)=t\), which is a contradiction. □
Theorem 4.2
Let \((X,d)\) be a complete metric space and \(T,S: X \longrightarrow P_{cl,bd}(X)\) be two multi-valued map**s such that
for all \(x,y \in X\), i.e., generalized weak contraction, where \(\psi\in\Omega\) and \(\psi(0)=0\). Then T and S have the common approximate strict fixed point property if and only if they have the usual approximate endpoint property.
Proof
It is clear that, if T and S have the common approximate strict fixed point property, then they have the usual approximate endpoint property.
Conversely, let T and S have the usual approximate endpoint property. Thus there exists a sequence \(\{x_{n} \}\) such that
Suppose that \(\lim_{n \rightarrow\infty}H(\{x_{n} \}, Tx_{n})=0\). We need to show that \(\lim_{n \rightarrow\infty}H(\{x_{n} \} , Sx_{n})=0\). Using Theorem 3.2, there exists \(\varphi \in\Phi\) such that \(\psi(t) < \varphi(t)\) for all \(t >0\). Since \(\psi(0)=0\), we have \(\psi\leq\varphi\) on \([0,+\infty)\). Consequently, for all \(n \in\Bbb{N}\), we have
where
Hence we have
and so
Therefore, we have
Thus we have
and so, by applying Lemma 4.1, we deduce that \(\lim_{n \rightarrow\infty} H(\{x_{n}\},Tx_{n})+H(\{x_{n}\},Sx_{n})=0\). Therefore \(\lim_{n \rightarrow\infty} H(\{x_{n}\},Sx_{n})=0\). This completes the proof. □
5 The endpoint and fixed point results
The main motivation for this section is to present an exact version and correct proof for the following theorem.
Theorem 5.1
([5])
Let \((X,d)\) be a complete metric space and K be a closed subset of X. Suppose that \(T,S:X\longrightarrow P_{cl,bd}(X)\) are two multi-valued map**s such that
for all \(x,y\in X\), where
and \(\psi:[0,+\infty)\longrightarrow [0,+\infty)\) is upper semi-continuous with
for all \(t>0\). Then two map**s T, S have a unique common strict fixed point in K if and only if they have the common approximate K-boundary strict fixed point property. Also, \(\operatorname{End}(T ) = \operatorname{Fix}(T ) = \operatorname{Fix}(S) = \operatorname{End}(S)\).
The following example shows that the aforementioned theorem is not correct.
Example 5.2
Let \(X= \Bbb{R}\) be endowed with the Euclidian metric, \(K=[-1,+1]\) and \(T,S:K \longrightarrow P_{bd,cl}(X)\) defined by \(Tx=Sx=\{ \frac{x}{2} \}\). Obviously, \(\partial K= \{-1,+1 \}\). We define the map** \(\psi:[0,+\infty)\longrightarrow [0,+\infty)\) by \(\psi(t)=\frac{t}{2}\). One can show that all hypotheses in Theorem 5.1 hold. Also T, S have a unique common endpoint \(x=0\) in K. But T and S do not have the common approximate K-boundary strict fixed point property.
The following theorem is a modification and generalization form of the above theorem which is the most important consequence of this article.
Theorem 5.3
Let \((X,d)\) be a complete metric space and let \(T,S: X \longrightarrow P_{cl,bd}(X)\) be two multi-valued map**s such that
for all \(x,y \in X\) (i.e., a generalized weak contraction), where \(\psi\in\Omega\). Then T and S have a unique common endpoint if and only if at least one of the following holds:
-
(1)
\(\psi(0)=0\) and T and S have the usual approximate endpoint property.
-
(2)
T and S have the common approximate strict fixed point property.
Proof
It is clear that, if T and S have a common endpoint, then they have the common approximate strict fixed point property.
Conversely, let one of the conditions (1) and (2) hold. Hence, by Theorem 4.2, there exists a sequence \(\{x_{n} \}\) such that
Using Theorem 3.2, there exists \(\varphi\in\Phi\) such that \(\psi (t)< \varphi(t)\) for all \(t > 0\). It follows that, for all \(m,n \in\Bbb{N}\),
and so
Obviously, if \(N(x_{m},x_{n})=0\), then the inequality (5.6) is true. Thus it follows from (5.6) and (5.4) that
and so, from Lemma 4.1, it follows that
and so \(\{x_{n} \}\) is a Cauchy sequence (note \(d(x_{m},x_{n})\leq N(x_{m},x_{n})\)) and then there exists \(x \in X\) such that \(\lim_{n \rightarrow\infty} x_{n}=x\).
Now, we show that \(Tx=Sx=\{x\}\). In fact, if there exists a subsequence \(\{x_{n(k)}\}\) of \(\{ x_{n} \}\) such that \(x_{n(k)}=x\) for all \(k \in\Bbb{N}\). Then, from (5.4), it follows that \(\lim_{k \rightarrow\infty}H(\{x_{n(k)} \}, Tx_{n(k)})= \lim_{n \rightarrow\infty}H(\{x_{n(k)} \}, Sx_{n(k)})=0\) implies that
and hence \(Tx=Sx=\{x\}\). So, we may assume that, for all \(n \in\Bbb {N}\), \(x_{n} \neq x\). Hence, for all \(n \in\Bbb{N}\), \(N(x_{n},x)\neq0\). Thus, for all \(n \in \Bbb{N}\), we have \(\psi(N(x_{n},x)) < \varphi(N(x_{n},x))\). Therefore, we have
for all \(n \in\Bbb{N}\). Since φ is continuous and \(\lim_{n \rightarrow\infty}N(x_{n},x)=d(x,Sx)\), it follows from (5.7) that
Since \(\varphi(t) < t\) for all \(t>0\) and (5.8) holds, we have \(d(x,Sx)=0\) and hence \(H(\{x \},Sx)=0\). Thus \(Sx=\{x\}\).
Similarly, \(Tx=\{x\}\). Therefore, T and S have a common endpoint.
The uniqueness of the common endpoint follows from (5.3). This completes the proof. □
Corollary 5.4
Let \((X,d)\) be a complete metric space and \(T:X\longrightarrow P_{cl,bd}(X)\) be a multi-valued map** such that
for all \(x,y\in X\), i.e., a weak contraction, where \(\psi\in \Omega\). Then T has a unique endpoint if and only if T has the approximate endpoint property.
Proof
If T has a unique endpoint, then T has the approximate endpoint property.
Conversely, let T have the approximate endpoint property. Define \(S=T\). Then T and S have the common approximate strict fixed point property. Hence, using Theorem 5.3, T has a unique endpoint. □
Corollary 5.5
Let \((X,d)\) be a complete metric space and \(T,S:X\longrightarrow P_{cl,bd}(X)\) be two map**s such that, for all \(x,y\in X\),
for some \(0\leq k<1\), i.e., weak contraction. Then T and S have a unique common endpoint if and only if they have the common approximate strict fixed point property.
Proof
Let \(\psi(t)=kt\) and apply Theorem 5.3. □
The following corollary extends the results given by Nadler [15], Daffer and Kaneko [12] and Rouhani and Moradi [13].
Corollary 5.6
Let \((X,d)\) be a complete metric space and \(T,S:X\longrightarrow P_{cl,bd}(X)\) be two map**s such that, for all \(x,y\in X\),
for some \(0\leq k<1\). Then there exists a point \(x\in X\) such that \(x\in Tx\) and \(x \in Sx\), i.e., T and S have a common fixed point. Also, if T and S have the usual approximate endpoint property, then \(\operatorname{Fix}(T)=\operatorname {Fix}(S)=\operatorname{End}(T)=\operatorname{End}(S)=\{x\}\), and so the fixed point is unique.
Proof
Using Theorem 3.1 of Rouhani and Moradi [13], there exists \(x\in X\) such that \(x\in Tx\) and \(x \in Sx\). Also, from (5.11), we conclude that \(\operatorname{Fix}(T)=\operatorname{Fix}(S)\). If T and S have the usual approximate endpoint property, by Corollary 5.5, we conclude that T and S have a unique endpoint \(x_{0}\). So \(\operatorname{End}(T)=\operatorname{End}(S)=\{x_{0}\}\).
Now, we need to show that, for all \(y \in \operatorname{Fix}(T)=\operatorname{Fix}(S)\), \(y=x_{0}\). If \(y\in \operatorname{Fix}(T)=\operatorname{Fix}(S)\), then it follows from \(d(x_{0},y)\leq H(\{x_{0}\},Sy)\) that
Since \(d(x_{0},Sy)\leq d(x_{0},y)\), \(d(y,Tx_{0})\leq d(y,x_{0})\) and \(y \in\operatorname{Fix}(S)\), we have
Thus, from (5.13), we conclude that \(d(x_{0},y)\leq k d(x_{0},y)\). This shows that \(d(x_{0},y)=0\). Therefore, \(y=x_{0}\). This completes the proof. □
The following corollary is a direct result of Theorem 5.3.
Corollary 5.7
Let \((X,d)\) be a complete metric space and \(f,g:X\longrightarrow X\) be two map**s such that, for all \(x,y\in X\),
where \(\psi\in\Omega\). Then f and g have a unique common fixed point if and only if they have the usual approximate fixed point property.
Proof
There exists \(\varphi\in\Phi\) such that \(\psi(t) < \psi(t)\) for all \(t>0\). It is clear that, if f and g have a unique fixed point, then f and g have the usual approximate endpoint property.
Conversely, let f and g have the usual approximate fixed point property. Hence there exists a sequence \(\{x_{n} \}\) such that \(\lim_{n \rightarrow\infty}d(x_{n},f(x_{n}))=0\) or \(\lim_{n \rightarrow\infty}d(x_{n},g(x_{n}))=0\). Suppose that \(\lim_{n \rightarrow\infty}d(x_{n},f(x_{n}))=0\).
Now, we prove that, for some subsequence \(\{x_{n(k)} \}\) of \(\{x_{n} \}\),
If there exists a subsequence \(\{x_{n(k)} \}\) such that \(x_{n(k)}=g(x_{n(k)})\), then \(\lim_{k \rightarrow\infty}d(x_{n(k)}, g(x_{n(k)}))=0\). So, we may assume that there exists \(N_{0} \in\Bbb{N}\) such that \(x_{n} \neq g(x_{n})\) for all \(n \geq N_{0}\). Thus, for all \(n \geq N_{0}\), \(N(x_{n},g(x_{n})) \neq0\) and hence \(\psi(N(x_{n},x_{n})) < \varphi(N(x_{n},x_{n}))\). Therefore, it follows that, for all \(n \geq N_{0}\),
Hence we have
which shows that
So, it follows from Lemma 4.1 that
and hence \(\lim_{n \rightarrow\infty} d(x_{n},g(x_{n}))=0\). Therefore, f and g have the common approximate strict fixed point property.
Using Theorem 5.3, f and g have a unique common fixed point. This completes the proof. □
Theorem 5.8
Let \((X,d)\) be a complete metric space and \(f,g:X\longrightarrow X\) be two map**s such that, for all \(x,y\in X\),
where \(\psi\in\Omega\). Then f and g have the usual approximate fixed point property.
Proof
There exists \(\varphi\in\Phi\) such that \(\psi(t) < \varphi(t)\) for all \(t>0\) and so, for all \(x\neq y \),
Now, if \(N(x,y)=0\), then it follows from (5.17) and \(\psi(0)=0\) that \(x=y=f(x)=g(y)\) and hence the inequality (5.18) is valid for all \(x,y \in X\). Let
It follows from (5.18) that, for all \(n \in\Bbb{N}\),
where
If \(d(x_{2n},x_{2n-1})< d(x_{2n},x_{2n+1})\), then it follows from (5.19) and (5.20) that
which is a contradiction. So, we have \(d(x_{2n},x_{2n-1}) \geq d(x_{2n},x_{2n+1})\). Therefore, it follows from (5.19) and (5.20) that
Similarly, we have
Hence it follows that, for all \(n \in\Bbb{N}\),
Since \(\varphi(t) < t\) for all \(t>0\), from (5.23), we deduce that \(\{d(x_{n+1},x_{n}) \}\) is monotone non-increasing and bounded. So, there exists \(r \geq0\) such that \(\lim_{n \rightarrow \infty} d(x_{n+1},x_{n})=r\). It follows from \(\varphi\in\Phi\) and the inequality (5.23) that \(r=0\). Hence we have
Therefore, f and g have the common usual approximate fixed point property. This completes the proof. □
As an application of Corollary 5.7 and Theorem 5.8, we obtain the following fixed point result, which extends the Ćirić theorem [14], Theorem 2.5.
Theorem 5.9
Let \((X,d)\) be a complete metric space and \(f,g:X\longrightarrow X\) be two map**s such that, for all \(x,y\in X\),
where \(\psi\in\Omega\). Then f and g have a unique common fixed point.
Using Theorem 5.9, we can conclude to the corresponding theorem given by Zhang and Song [11].
Theorem 5.10
Let \((X,d)\) be a complete metric space and \(f,g:X \longrightarrow X\) be two map**s such that, for all \(x,y \in X\),
i.e. generalized φ-weak contractions, where \(\varphi: [0,+\infty)\longrightarrow[0,+\infty)\) is a nondecreasing and lower semi-continuous function with \(\varphi(0)=0\) and \(\varphi(t) >0\) for all \(t>0\). Then there exists a unique point \(x \in X\) such that \(x=fx=gx\).
Proof
Let \(\psi(t)=t-\varphi(t)\) and apply Theorem 5.9. □
Example 5.11
Let \(X=\Bbb{C}\) be endowed with the Euclidian metric and \(f,g:X \longrightarrow X\) defined by
For every \(x+iy,u+iv \in X\)
Hence, by using Theorem 5.9, f and g have a unique common fixed point.
6 Applications to integral equations
Fixed point theorems in complete metric spaces are widely investigated and have found various applications in differential and integral equations. Motivated by [16], we study the existence of solutions for a system of nonlinear integral equations using the results proved in the previous section.
Theorem 6.1
Let \(X=C([a,b],\Bbb{R})\) and \(d:X \times X \longrightarrow \Bbb{R}\) be a map** defined by
Consider the Urysohn integral equations
where \(t \in[a,b]\) and \(x,g,h \in X\). Suppose that \(K_{1},K_{2}:[a,b]\times[a,b]\times\Bbb{R} \longrightarrow\Bbb{R}\) are two functions such that \(F(x),G(x) \in X\) for all \(x \in X\), where
for all \(t \in[a,b]\). If there exists \(0< \alpha<1\) such that, for all \(x,y \in X\) and \(t \in[a,b]\),
where
Then the system of equations (6.1) has a unique common solution.
Proof
It is clear that \((X,d)\) is a complete metric space. For all \(x,y \in X\),
Hence, by Theorem 5.9, F and G have a common fixed point. Therefore, the Urysohn integral equations (6.1) have a unique common solution. This completes the proof. □
References
Amini-Harandi, A: Endpoints of set-valued contractions in metric spaces. Nonlinear Anal. 72, 132-134 (2010)
Chifu, C, Petrusel, G: Existence and data dependence of fixed points and strict fixed points for contractive-type multivalued operators. Fixed Point Theory Appl. 2007, 034248 (2007)
Fakhar, M: Endpoints of set-valued asymptotic contractions in metric spaces. Appl. Math. Lett. 24, 428-431 (2011)
Hussain, N, Amini-Harandi, A, Cho, YJ: Approximate endpoints for set-valued contractions in metric spaces. Fixed Point Theory Appl. 2010, 614867 (2010)
Khojasteh, F, Rakočević, V: Some new common fixed point results for generalized contractive multi-valued non-self-map**s. Appl. Math. Lett. 25, 287-293 (2012)
Moradi, S, Khojasteh, F: Endpoints of multi-valued generalized weak contraction map**s. Nonlinear Anal. 74, 2170-2174 (2011)
Wardowski, D: Endpoints and fixed points of a set-valued contractions in cone metric spaces. Nonlinear Anal. 71, 512-516 (2009)
Lodarczyk, KW, Klim, D, Plebaniak, R: Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces. J. Math. Anal. Appl. 328, 46-57 (2007)
Lodarczyk, KW, Klim, D, Plebaniak, R: Endpoint theory for set-valued nonlinear asymptotic contractions with respect to generalized pseudodistances in uniform spaces. J. Math. Anal. Appl. 339, 344-358 (2008)
Jachymski, J, Jóźwik, I: On Kirk’s asymptotic contraction. J. Math. Anal. Appl. 300, 147-159 (2004)
Zhang, Q, Song, Y: Fixed point theory for generalized φ-weak contractions. Appl. Math. Lett. 22, 75-78 (2009)
Daffer, PZ, Kaneko, H: Fixed points of generalized contractive multi-valued map**s. J. Math. Anal. Appl. 192, 655-666 (1995)
Rouhani, BD, Moradi, S: Common fixed point of multivalued generalized ϕ-weak contractive map**s. Fixed Point Theory Appl. 2010, 708984 (2010)
Ćirić, LB: Generalized contraction and fixed point theorems. Publ. Inst. Math. (Belgr.) 12, 19-26 (1971)
Nadler, SB: Multi-valued contraction map**s. Pac. J. Math. 30, 475-488 (1969)
Hussain, N, Azamb, A, Ahmadb, J, Arshadc, M: Common fixed point results in complex valued metric spaces with application to integral equations. Filomat 28, 1363-1380 (2014)
Acknowledgements
The third author was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT and future Planning (2014R1A2A2A01002100).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interest.
Authors’ contributions
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
Moradi, S., Farajzadeh, A.P., Cho, Y.J. et al. Common endpoints of generalized weak contractive map**s via separation theorem with applications. Fixed Point Theory Appl 2015, 199 (2015). https://doi.org/10.1186/s13663-015-0449-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0449-4