Common endpoints of generalized weak contractive ... - Springer Link

3 downloads 0 Views 2MB Size Report
Gyeongsang National University, ... China Medical University, Taichung, ...... 5Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok, ...
Moradi et al. Fixed Point Theory and Applications (2015) 2015:199 DOI 10.1186/s13663-015-0449-4

RESEARCH

Open Access

Common endpoints of generalized weak contractive mappings via separation theorem with applications Sirous Moradi1 , Ali P Farajzadeh2 , Yeol Je Cho3,4* and Somyot Plubtieng5 *

Correspondence: [email protected] Department of Mathematics Education and the RINS, Gyeongsang National University, Jinju, 660-701, Korea 4 Center for General Education, China Medical University, Taichung, 40402, Taiwan Full list of author information is available at the end of the article 3

Abstract In this paper, first, we give the separation theorem which is an extension of the separation theorem due to Jachymski and Jó´z 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 mappings 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ˇcevi´c (Appl. Math. Lett. 25:289-293, 2012). MSC: 47H10; 54C60 Keywords: generalized weak contraction; endpoint; Hausdorff metric; separation theorem

1 Introduction Let (X, d) be a metric space and Pcl,bd (X) be the class of nonempty closed and bounded subsets of X. A point x ∈ X is called a fixed point of a multi-valued mapping T : X −→ Pcl,bd (X) if x ∈ Tx. We denote Fix(T) the set of fixed points of the mapping T, that is, Fix(T) = {x ∈ X : x ∈ Tx}. An element x ∈ X is said to be an endpoint of a multi-valued mapping T if Tx = {x}. We denote the set of all endpoints of T by End(T). Obviously, End(T) ⊆ Fix(T). The investigations on the existence of the endpoints for multi-valued mappings have been studied in recent years by many authors; see for example [–] and the references therein. In , Amini-Harandi [] proved that, under sufficient conditions, the weak contractive mapping T has a unique endpoint if and only if T has the approximate endpoint property. After that, in , Moradi and Khojasteh [] 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ć [] 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. © 2015 Moradi et al. 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.

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 2 of 14

In Section , we give some basic definitions and results which will be needed in the sequel. In Section , we give the separation theorem for upper semi-continuous function ψ : [, +∞) −→ [, +∞) with ψ(t) < t for all t >  satisfying the condition   lim inf t – ψ(t) > . t→∞

In fact, our separation theorem is a generalization of the separation theorem due to Jachymski and Jóźwik []. In Section , we prove that the common approximate strict fixed point property and the usual approximate endpoint property are equivalent for generalized weak contraction multi-valued mappings T, S : X −→ Pcl,bd (X). In Section , we give the main part in this paper. By using the separation theorem obtained in Section  and the results in Section , we prove that two generalized weak contraction multi-valued mappings 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 , we give some applications to integral equations by using the main result, Theorem .. The main results of this paper extend the recent results given by Zhang and Song [], Moradi and Khojasteh [], Daffer and Kaneko [], Rouhani and Moradi [], Ćirić’s theorems [] 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   H(A, B) := max sup d(x, A), sup d(x, B) x∈B

(.)

x∈A

for all A, B ∈ Pcl,bd (X), where Pcl,bd (X) denotes the set of nonempty closed bounded subsets of X. Definition . ([]) Two mappings T, S : X −→ Pcl,bd (X) are said to be generalized weak contractive if there exists a function ψ : [, +∞) −→ [, +∞) with ψ(t) < t for all t >  such that   H(Tx, Sy) ≤ ψ N(x, y)

(.)

for all x, y ∈ X, where   d(x, Sy) + d(y, Tx) . N(x, y) := max d(x, y), d(x, Tx), d(y, Sy), 

(.)

Definition . ([, ]) A mapping T : X −→ Pcl,bd (X) is said to have the approximate endpoint property if    inf H {x}, Tx : x ∈ X = .

(.)

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 3 of 14

Definition . Two mappings T, S : X −→ Pcl,bd (X) said to have the usual approximate endpoint property if       inf min H {x}, Tx , H {x}, Sx : x ∈ X = .

(.)

Note that, if T and S are two single-valued mappings on X, then T and S have the usual approximate fixed point property, i.e.,    inf min d(x, Tx), d(x, Sx) : x ∈ X = .

(.)

Obviously, T and S have the usual approximate endpoint property if and only if there exists a sequence {xn } such that   lim H {xn }, Txn =  or

n→∞

  lim H {xn }, Sxn = .

n→∞

(.)

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 . Two mappings T, S : X −→ Pcl,bd (X) are said to have the common approximate strict fixed point property if there exists a sequence {xn } such that     lim H {xn }, Txn = lim H {xn }, Sxn = .

n→∞

n→∞

(.)

It is clear that, if S, T have the common approximate strict fixed point property, then they have the usual approximate endpoint property. Definition . Two multi-valued mappings T, S : X −→ Pcl,bd (X) are said to have the common approximate K -boundary strict fixed point property if there exists a sequence {xn } ⊂ ∂K , where K is a nonempty subset of X and ∂K is boundary of K , such that     lim H {xn }, Txn = lim H {xn }, Sxn = .

n→∞

n→∞

(.)

The concept of the approximate and common approximate K -boundary strict fixed point property were defined by Khojasteh and Rakočević []. 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 . Let X = R with the Euclidian metric. If two mappings T, S : X −→ Pcl,bd (X) defined by Tx = {x} and Sx = [x + , x + ] (the closed interval between x +  and x + ), 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 ψ : [, +∞) −→ [, +∞) with ψ(t) < t,

  lim inf t – ψ(t) >  t→∞

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 4 of 14

for all t > . Also, let  denote the class of all continuous and nondecreasing functions ϕ : [, +∞) −→ [, +∞) with ϕ(t) < t for all t >  such that there exist δ, M >  such that ϕ(t) < t – δ for all t ≥ M. Obviously,  ⊂ .

3 The separation theorem In this section, we establish a separation theorem. In order to prove it, we need the following lemma. Lemma . Let ψ ∈ . Then, for any closed interval [a, b] ⊂ (, +∞), there exists α ∈ (, ) such that ψ(t) < αt for all t ∈ [a, b]. Proof Suppose that the conclusion is not true. Assume that there exists [a, b] ⊂ (, +∞) such that, for all α ∈ (, ), there exists t ∈ [a, b] such that ψ(t) ≥ αt. Let {αn } be a sequence in (, ) with limn→∞ αn = . Then, for all n ∈ N, there exists tn ∈ [a, b] such that ψ(tn ) ≥ αn tn . Since {tn } ⊂ [a, b] and [a, b] is compact, there exist a subsequence {tn(k) } of {tn } and t ∈ [a, b] such that limk→∞ tn(k) = t. Hence we have limk→∞ αn(k) tn(k) = t. Also, from αn(k) tn(k) ≤ ψ(tn(k) ) < tn(k) , it follows that limk→∞ ψ(tn(k) ) = t. Since ψ is upper semi-continuous, it follows that limk→∞ ψ(tn(k) ) ≤ ψ(t) and so t ≤ ψ(t), which is a contradiction (note ψ ∈ ). This completes the proof.  Theorem . Let ψ ∈ . Then there exists ϕ ∈  such that ψ(t) < ϕ(t) for all t > . Proof It follows from lim inft→∞ (t – ψ(t)) >  that there exists δ >  such that   lim inf t – ψ(t) > δ . t→∞

Hence there exists M >  such that t – ψ(t) > δ for all t ≥ M. Therefore, ψ(t) < t – δ for all t ≥ M. Let {xn } ⊂ (, M – δ ) be a decreasing sequence such that limn→∞ xn = . Using Lemma ., there exists α ∈ (, ) such that ψ(t) < α t for all t ∈ [x , M] and x < α x . Also, there exists α ∈ (, ) such that ψ(t) < α t for all t ∈ [x , x ], α < α , and x < α x . Using induction and Lemma ., there exists a sequence {αn } in (, ) such that ψ(t) < αn t for all t ∈ [xn , xn– ], αn– < αn , and xn+ < αn xn . Now, we define a function ϕ : [, +∞) −→ [, +∞) by ⎧ , ⎪ ⎪ ⎪ ⎨α x + (t – x ) αn xn –αn+ xn+ , n n n xn –xn+ ϕ(t) = M–δ –α x ⎪ M – δ + (t – M) ,  ⎪ M–x ⎪ ⎩ t – δ ,

t = , t ∈ [xn+ , xn ], t ∈ [x , M], t ∈ [M, +∞).

(.)

Obviously, ϕ is continuous and nondecreasing and ψ(t) < ϕ(t) for all t > . Also, ϕ(t) < t for all t > . Therefore, ϕ ∈ . This completes the proof.  Let be the class of all the functions ψ : [, +∞) −→ [, +∞) such that, for some ϕ ∈ , ψ(t) < ϕ(t) for all t > . Obviously,  ⊂  ⊂ .

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 5 of 14

The following example shows that     . Example . Let ψ , ψ : [, +∞) −→ [, +∞) defined by  ψ (t) =

t ,  t , 

t ∈ [, ), t ∈ [, ∞),

t ,  t , 

t ∈ [, ], t ∈ (, ∞),

and  ψ (t) =

respectively. Obviously, ψ ∈ \ and ψ ∈ \.

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 mappings T, S : X −→ Pcl,bd (X). The following result plays an important role reaching the main goal of this section. Lemma . Let ϕ ∈ . Then the condition limn→∞ (tn – ϕ(tn )) =  implies that limn→∞ tn = . Proof Since ϕ ∈ , {tn } is a bounded sequence. If limn→∞ tn = , then there exist t >  and a subsequence {tn(k) } such that limk→∞ tn(k) = t. Using limk→∞ (tn(k) – ϕ(tn(k) )) =  and the continuity of ϕ, we get ϕ(t) = t, which is a contradiction.  Theorem . Let (X, d) be a complete metric space and T, S : X −→ Pcl,bd (X) be two multivalued mappings such that   H(Tx, Sy) ≤ ψ N(x, y)

(.)

for all x, y ∈ X, i.e., generalized weak contraction, where ψ ∈ and ψ() = . 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 {xn } such that   lim H {xn }, Txn =  or

n→∞

  lim H {xn }, Sxn = .

n→∞

(.)

Suppose that limn→∞ H({xn }, Txn ) = . We need to show that limn→∞ H({xn }, Sxn ) = . Using Theorem ., there exists ϕ ∈  such that ψ(t) < ϕ(t) for all t > . Since ψ() = ,

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 6 of 14

we have ψ ≤ ϕ on [, +∞). Consequently, for all n ∈ N, we have     H {xn }, Sxn ≤ H {xn }, Txn + H(Txn , Sxn )     ≤ H {xn }, Txn + ψ N(xn , xn )     ≤ H {xn }, Txn + ϕ N(xn , xn ) ,

(.)

where   d(xn , Txn ) + d(xn , Sxn ) N(xn , xn ) = max d(xn , xn ), d(xn , Txn ), d(xn , Sxn ),   = max d(xn , Txn ), d(xn , Sxn ) .

(.)

Hence we have        H {xn }, Sxn ≤ H {xn }, Txn + ϕ max d(xn , Txn ), d(xn , Sxn )        ≤ H {xn }, Txn + ϕ H {xn }, Txn + H {xn }, Sxn

(.)

and so     H {xn }, Txn + H {xn }, Sxn        ≤ H {xn }, Txn + ϕ H {xn }, Txn + H {xn }, Sxn .

(.)

Therefore, we have          H {xn }, Txn + H {xn }, Sxn – ϕ H {xn }, Txn + H {xn }, Sxn   ≤ H {xn }, Txn .

(.)

Thus we have           lim H {xn }, Txn + H {xn }, Sxn – ϕ H {xn }, Txn + H {xn }, Sxn = 

n→∞

(.)

and so, by applying Lemma ., we deduce that limn→∞ H({xn }, Txn ) + H({xn }, Sxn ) = .  Therefore limn→∞ H({xn }, Sxn ) = . 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 . ([]) Let (X, d) be a complete metric space and K be a closed subset of X. Suppose that T, S : X −→ Pcl,bd (X) are two multi-valued mappings such that   H(Tx, Sy) ≤ ψ N(x, y)

(.)

for all x, y ∈ X, where   d(x, Sy) + d(y, Tx) N(x, y) := max d(x, y), d(x, Tx), d(y, Sy), 

(.)

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 7 of 14

and ψ : [, +∞) −→ [, +∞) is upper semi-continuous with ψ(t) < t,

  lim inf t – ψ(t) >  t→∞

for all t > . Then two mappings 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, End(T) = Fix(T) = Fix(S) = End(S). The following example shows that the aforementioned theorem is not correct. Example . Let X = R be endowed with the Euclidian metric, K = [–, +] and T, S : K −→ Pbd,cl (X) defined by Tx = Sx = { x }. Obviously, ∂K = {–, +}. We define the mapping ψ : [, +∞) −→ [, +∞) by ψ(t) = t . One can show that all hypotheses in Theorem . hold. Also T, S have a unique common endpoint x =  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 . Let (X, d) be a complete metric space and let T, S : X −→ Pcl,bd (X) be two multi-valued mappings such that   H(Tx, Sy) ≤ ψ N(x, y) ,

(.)

for all x, y ∈ X (i.e., a generalized weak contraction), where ψ ∈ . Then T and S have a unique common endpoint if and only if at least one of the following holds: () ψ() =  and T and S have the usual approximate endpoint property. () 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 () and () hold. Hence, by Theorem ., there exists a sequence {xn } such that     lim H {xn }, Txn = lim H {xn }, Sxn = .

n→∞

n→∞

(.)

Using Theorem ., there exists ϕ ∈  such that ψ(t) < ϕ(t) for all t > . It follows that, for all m, n ∈ N,       N(xm , xn ) ≤ H {xm }, {xn } + H {xm }, Txm + H {xn }, Sxn     ≤ H(Txm , Sxn ) + H {xm }, Txm + H {xn }, Sxn       ≤ ψ N(xm , xn ) + H {xm }, Txm + H {xn }, Sxn       ≤ ϕ N(xm , xn ) + H {xm }, Txm + H {xn }, Sxn

(.)

and so        ≤ N(xm , xn ) – ϕ N(xm , xn ) ≤ H {xm }, Txm + H {xn }, Sxn .

(.)

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 8 of 14

Obviously, if N(xm , xn ) = , then the inequality (.) is true. Thus it follows from (.) and (.) that lim

n,m→∞



  N(xm , xn ) – ϕ N(xm , xn ) = 

and so, from Lemma ., it follows that lim N(xm , xn ) = 

n,m→∞

and so {xn } is a Cauchy sequence (note d(xm , xn ) ≤ N(xm , xn )) and then there exists x ∈ X such that limn→∞ xn = x. Now, we show that Tx = Sx = {x}. In fact, if there exists a subsequence {xn(k) } of {xn } such that xn(k) = x for all k ∈ N. Then, from (.), it follows that limk→∞ H({xn(k) }, Txn(k) ) = limn→∞ H({xn(k) }, Sxn(k) ) =  implies that     H {x}, Tx = H {x}, Sx =  and hence Tx = Sx = {x}. So, we may assume that, for all n ∈ N, xn = x. Hence, for all n ∈ N, N(xn , x) = . Thus, for all n ∈ N, we have ψ(N(xn , x)) < ϕ(N(xn , x)). Therefore, we have     d(xn , Sx) ≤ H {xn }, Sx ≤ H {xn }, Txn + H(Txn , Sx)     ≤ H {xn }, Txn + ψ N(xn , x)     < H {xn }, Txn + ϕ N(xn , x)

(.)

for all n ∈ N. Since ϕ is continuous and limn→∞ N(xn , x) = d(x, Sx), it follows from (.) that     d(x, Sx) ≤ H {x}, Sx ≤ ϕ d(x, Sx) .

(.)

Since ϕ(t) < t for all t >  and (.) holds, we have d(x, Sx) =  and hence H({x}, Sx) = . Thus Sx = {x}. Similarly, Tx = {x}. Therefore, T and S have a common endpoint. The uniqueness of the common endpoint follows from (.). This completes the proof.  Corollary . Let (X, d) be a complete metric space and T : X −→ Pcl,bd (X) be a multivalued mapping such that   H(Tx, Ty) ≤ ψ N(x, y)

(.)

for all x, y ∈ X, i.e., a weak contraction, where ψ ∈ . 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 ., T has a unique endpoint. 

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 9 of 14

Corollary . Let (X, d) be a complete metric space and T, S : X −→ Pcl,bd (X) be two mappings such that, for all x, y ∈ X, H(Tx, Sy) ≤ kN(x, y)

(.)

for some  ≤ k < , 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 ψ(t) = kt and apply Theorem ..



The following corollary extends the results given by Nadler [], Daffer and Kaneko [] and Rouhani and Moradi []. Corollary . Let (X, d) be a complete metric space and T, S : X −→ Pcl,bd (X) be two mappings such that, for all x, y ∈ X, H(Tx, Sy) ≤ kN(x, y)

(.)

for some  ≤ k < . Then there exists a point x ∈ X such that x ∈ Tx and x ∈ Sx, i.e., T and S have a common fixed point. Also, if T and S have the usual approximate endpoint property, then Fix(T) = Fix(S) = End(T) = End(S) = {x}, and so the fixed point is unique. Proof Using Theorem . of Rouhani and Moradi [], there exists x ∈ X such that x ∈ Tx and x ∈ Sx. Also, from (.), we conclude that Fix(T) = Fix(S). If T and S have the usual approximate endpoint property, by Corollary ., we conclude that T and S have a unique endpoint x . So End(T) = End(S) = {x }. Now, we need to show that, for all y ∈ Fix(T) = Fix(S), y = x . If y ∈ Fix(T) = Fix(S), then it follows from d(x , y) ≤ H({x }, Sy) that   d(x , y) ≤ H {x }, Sy = H(Tx , Sy) ≤ kN(x , y).

(.)

Since d(x , Sy) ≤ d(x , y), d(y, Tx ) ≤ d(y, x ) and y ∈ Fix(S), we have   d(x , Sy) + d(y, Tx ) N(x , y) = max d(x , y), d(x , Tx ), d(y, Sy),  = d(x , y).

(.)

Thus, from (.), we conclude that d(x , y) ≤ kd(x , y). This shows that d(x , y) = . Therefore, y = x . This completes the proof.  The following corollary is a direct result of Theorem .. Corollary . Let (X, d) be a complete metric space and f , g : X −→ X be two mappings such that, for all x, y ∈ X,     d f (x), g(y) ≤ ψ N(x, y) ,

(.)

where ψ ∈ . Then f and g have a unique common fixed point if and only if they have the usual approximate fixed point property.

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 10 of 14

Proof There exists ϕ ∈  such that ψ(t) < ψ(t) for all t > . 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 {xn } such that limn→∞ d(xn , f (xn )) =  or limn→∞ d(xn , g(xn )) = . Suppose that limn→∞ d(xn , f (xn )) = . Now, we prove that, for some subsequence {xn(k) } of {xn },   lim d xn(k) , g(xn(k) ) = .

k→∞

If there exists a subsequence {xn(k) } such that xn(k) = g(xn(k) ), then limk→∞ d(xn(k) , g(xn(k) )) = . So, we may assume that there exists N ∈ N such that xn = g(xn ) for all n ≥ N . Thus, for all n ≥ N , N(xn , g(xn )) =  and hence ψ(N(xn , xn )) < ϕ(N(xn , xn )). Therefore, it follows that, for all n ≥ N ,       d xn , g(xn ) ≤ d xn , f (xn ) + d f (xn ), g(xn )     ≤ d xn , f (xn ) + ψ N(xn , xn )     < d xn , f (xn ) + ϕ N(xn , xn )        ≤ d xn , f (xn ) + ϕ d xn , f (xn ) + d xn , g(xn ) .

(.)

Hence we have           ≤ d xn , f (xn ) + d xn , g(xn ) – ϕ d xn , f (xn ) + d xn , g(xn )   ≤ d xn , f (xn ) ,

(.)

which shows that           lim d xn , f (xn ) + d xn , g(xn ) – ϕ d xn , f (xn ) + d xn , g(xn ) = .

n→∞

So, it follows from Lemma . that     lim d xn , f (xn ) + d xn , g(xn ) = 

n→∞

and hence limn→∞ d(xn , g(xn )) = . Therefore, f and g have the common approximate strict fixed point property. Using Theorem ., f and g have a unique common fixed point. This completes the proof.  Theorem . Let (X, d) be a complete metric space and f , g : X −→ X be two mappings such that, for all x, y ∈ X,     d f (x), g(y) ≤ ψ N(x, y) , where ψ ∈ . Then f and g have the usual approximate fixed point property.

(.)

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 11 of 14

Proof There exists ϕ ∈  such that ψ(t) < ϕ(t) for all t >  and so, for all x = y,     d f (x), g(y) ≤ ϕ N(x, y) .

(.)

Now, if N(x, y) = , then it follows from (.) and ψ() =  that x = y = f (x) = g(y) and hence the inequality (.) is valid for all x, y ∈ X. Let x ∈ X,

x = f (x ),

xn+ = f (xn ),

x = g(x ),

xn+ = g(xn+ ),

..., ....

It follows from (.) that, for all n ∈ N,   d(xn+ , xn ) ≤ ϕ N(xn , xn– ) ,

(.)

where N(xn , xn– )   d(xn , xn ) + d(xn– , xn+ ) = max d(xn , xn– ), d(xn , xn+ ), d(xn– , xn ),    d(xn– , xn ) + d(xn , xn+ ) ≤ max d(xn , xn– ), d(xn , xn+ ),   (.) = max d(xn , xn– ), d(xn , xn+ ) . If d(xn , xn– ) < d(xn , xn+ ), then it follows from (.) and (.) that   d(xn+ , xn ) ≤ ϕ d(xn , xn+ ) , which is a contradiction. So, we have d(xn , xn– ) ≥ d(xn , xn+ ). Therefore, it follows from (.) and (.) that   d(xn+ , xn ) ≤ ϕ d(xn , xn– ) .

(.)

Similarly, we have   d(xn+ , xn+ ) ≤ ϕ d(xn , xn+ ) .

(.)

Hence it follows that, for all n ∈ N,   d(xn+ , xn ) ≤ ϕ d(xn , xn– ) .

(.)

Since ϕ(t) < t for all t > , from (.), we deduce that {d(xn+ , xn )} is monotone nonincreasing and bounded. So, there exists r ≥  such that limn→∞ d(xn+ , xn ) = r. It follows from ϕ ∈  and the inequality (.) that r = . Hence we have   lim d xn , f (xn ) = lim d(xn , xn+ ) = .

n→∞

n→∞

(.)

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 12 of 14

Therefore, f and g have the common usual approximate fixed point property. This completes the proof.  As an application of Corollary . and Theorem ., we obtain the following fixed point result, which extends the Ćirić theorem [], Theorem .. Theorem . Let (X, d) be a complete metric space and f , g : X −→ X be two mappings such that, for all x, y ∈ X,     d f (x), g(y) ≤ ψ N(x, y) ,

(.)

where ψ ∈ . Then f and g have a unique common fixed point. Using Theorem ., we can conclude to the corresponding theorem given by Zhang and Song []. Theorem . Let (X, d) be a complete metric space and f , g : X −→ X be two mappings such that, for all x, y ∈ X,     d f (x), g(y) ≤ N(x, y) – ϕ N(x, y) ,

(.)

i.e. generalized ϕ-weak contractions, where ϕ : [, +∞) −→ [, +∞) is a nondecreasing and lower semi-continuous function with ϕ() =  and ϕ(t) >  for all t > . Then there exists a unique point x ∈ X such that x = fx = gx. Proof Let ψ(t) = t – ϕ(t) and apply Theorem ..



Example . Let X = C be endowed with the Euclidian metric and f , g : X −→ X defined by x f (x + iy) = , 

y g(x + iy) = i . 

For every x + iy, u + iv ∈ X         x v f (x + iy) – g(u + iv) =  – i  = x + v      √     √  √   x +v ≤ x + v ≤    |(x + iy) – g(u + iv)| + |(u + iv) – f (x + iy)| ≤    ≤ N(x, y).  Hence, by using Theorem ., f and g have a unique common fixed point.

(.)

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 13 of 14

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 [], we study the existence of solutions for a system of nonlinear integral equations using the results proved in the previous section. Theorem . Let X = C([a, b], R) and d : X × X −→ R be a mapping defined by   d(x, y) := sup x(t) – y(t) : t ∈ [a, b] . Consider the Urysohn integral equations ⎧ ⎨x(t) =  b K (t, s, x(s)) ds + g(t), a  ⎩x(t) =  b K (t, s, x(s)) ds + h(t), a

(.)

where t ∈ [a, b] and x, g, h ∈ X. Suppose that K , K : [a, b] × [a, b] × R −→ R are two functions such that F(x), G(x) ∈ X for all x ∈ X, where 

b





K t, s, x(s) ds + g(t),

F(x)(t) =

 G(x)(t) =

a

b

  K t, s, x(s) ds + h(t)

a

for all t ∈ [a, b]. If there exists  < α <  such that, for all x, y ∈ X and t ∈ [a, b],   F(x)(t) – G(y)(t) ≤ αM(x, y)(t),

(.)

where M(x, y)(t)     |x(t) – G(y)(t)| + |y(t) – F(x)(t)|         . ∈ x(t) – y(t) , x(t) – F(x)(t) , y(t) – G(y)(t) ,  Then the system of equations (.) has a unique common solution. Proof It is clear that (X, d) is a complete metric space. For all x, y ∈ X,     d F(x), G(y) = sup F(x)(t) – G(y)(t) ≤ α sup M(x, y)(t) ≤ αN(x, y). t∈[a,b]

t∈[a,b]

Hence, by Theorem ., F and G have a common fixed point. Therefore, the Urysohn integral equations (.) have a unique common solution. This completes the proof.  Competing interests The authors declare that they have no competing interest. Authors’ contributions All authors read and approved the final manuscript. Author details 1 Department of Mathematics, Faculty of Science, Arak University, Arak, 38156-8-8349, Iran. 2 Department of Mathematics, Faculty of Science, Razi University, Kermanshah, 67149-67346, Iran. 3 Department of Mathematics Education and the RINS, Gyeongsang National University, Jinju, 660-701, Korea. 4 Center for General Education, China Medical University, Taichung, 40402, Taiwan. 5 Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok, 65000, Thailand.

Moradi et al. Fixed Point Theory and Applications (2015) 2015:199

Page 14 of 14

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). Received: 30 April 2015 Accepted: 27 October 2015 References 1. Amini-Harandi, A: Endpoints of set-valued contractions in metric spaces. Nonlinear Anal. 72, 132-134 (2010) 2. 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) 3. Fakhar, M: Endpoints of set-valued asymptotic contractions in metric spaces. Appl. Math. Lett. 24, 428-431 (2011) 4. Hussain, N, Amini-Harandi, A, Cho, YJ: Approximate endpoints for set-valued contractions in metric spaces. Fixed Point Theory Appl. 2010, 614867 (2010) 5. Khojasteh, F, Rakoˇcevi´c, V: Some new common fixed point results for generalized contractive multi-valued non-self-mappings. Appl. Math. Lett. 25, 287-293 (2012) 6. Moradi, S, Khojasteh, F: Endpoints of multi-valued generalized weak contraction mappings. Nonlinear Anal. 74, 2170-2174 (2011) 7. Wardowski, D: Endpoints and fixed points of a set-valued contractions in cone metric spaces. Nonlinear Anal. 71, 512-516 (2009) 8. 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) 9. 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) 10. Jachymski, J, Jó´z wik, I: On Kirk’s asymptotic contraction. J. Math. Anal. Appl. 300, 147-159 (2004) 11. Zhang, Q, Song, Y: Fixed point theory for generalized ϕ -weak contractions. Appl. Math. Lett. 22, 75-78 (2009) 12. Daffer, PZ, Kaneko, H: Fixed points of generalized contractive multi-valued mappings. J. Math. Anal. Appl. 192, 655-666 (1995) 13. Rouhani, BD, Moradi, S: Common fixed point of multivalued generalized φ -weak contractive mappings. Fixed Point Theory Appl. 2010, 708984 (2010) ´ c, LB: Generalized contraction and fixed point theorems. Publ. Inst. Math. (Belgr.) 12, 19-26 (1971) 14. Ciri´ 15. Nadler, SB: Multi-valued contraction mappings. Pac. J. Math. 30, 475-488 (1969) 16. 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)