Volume 2013, Issue 1 167530
Research Article
Open Access

Fixed Points of G-Type Quasi-Contractions on Graphs

R. H. Haghi

R. H. Haghi

Department of Mathematics, Payame Noor University, P.O. Box 19395-3697, Tehran, Iran pnu.ac.ir

Search for more papers by this author
Sh. Rezapour

Sh. Rezapour

Department of Mathematics, Azarbaijan Shahid Madani University, Azarshahr, Tabriz, Iran azaruniv.ac.ir

Search for more papers by this author
N. Shahzad

Corresponding Author

N. Shahzad

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21859, Saudi Arabia kau.edu.sa

Search for more papers by this author
First published: 19 November 2013
Citations: 4
Academic Editor: S. Romaguera

Abstract

Recently, fixed point theory on graphs has been considered by many authors. In this paper, by combining some ideas in some published papers and introducing G-type quasi-contractions, we give some fixed point results for G-type quasi-contractions on graphs. The results improve some old results in the literature.

1. Introduction

In 2009, Ilić and Rakočević proved that quasi-contraction maps on normal cone metric spaces have a unique fixed point [1]. Then, Kadelburg et al. generalized their results by considering an additional assumption [2]. Also, they proved that quasi-contraction maps on cone metric spaces have the property (P) whenever λ ∈ (0, 1/2). Later, the authors proved same results without the additional assumption and for λ ∈ (0,1) by providing a new technical proof [3]. Also, there are some works on quasi-contractive multifunctions (see, e.g., [4, 5]).

In 2008, Suzuki introduced a new type of mappings and a generalization of the Banach contraction principle [6]. Later, his method extended for mappings and multifunctions (see, e.g., [7] and the references therein and [8]). On the other hand, Echenique gave a short constructive proof for Tarski′s fixed point theorem in 2005 by using graphs [9]. In 2006, Espínola and Kirk started combining fixed point theory and graph theory [10]. In 2008, Jachymski provided some fixed point results for Banach contractions on a graph [11]. Recently, fixed point theory on graphs has been considered by many authors (see, e.g., [1216]).

Let (X, d) be a metric space, Δ = {(x, x) : xX}, G a directed graph G such that V(G) = X, and the set E(G) of its edges contains all loops. We denote the conversion of a graph G by G−1; that is, the graph obtained from G by reversing the direction of the edges. Moreover, denotes the undirected graph obtained from G by ignoring the direction of the edges. In this paper, we consider undirected graphs. We say that a self-map T on X preserves the edges of G whenever (x, y) ∈ E(G) which implies that (Tx, Ty) ∈ E for all x, yX. A finite path of length n in G from x to y is a sequence of distinct vertices such that x0 = x, xn = y, and (xi, xi+1) ∈ E(G) for i = 0,1, …, n − 1 (see, e.g., [12]). A graph G is connected if there is a path between any two vertices. G is weakly connected if is connected. We denote by [x] G the set of all vertices in G that there is a path between x and those.

In 2008, Jachymski used the notion of C-graphs for obtaining the main results of [11]. We say that G is a C-graph whenever for each sequence {xn} n≥0 in X with xnx and (xn, xn+1) ∈ E(G) for all n ≥ 0, there is a subsequence such that for all k ≥ 0 [11]. This notion has been used by many authors in the literature, specially on ordered metric spaces and obtaining solutions of some differential equations (see, e.g., [17]).

The condition that the graph is a C-graph looks quite strong and in this reason, Aleomraninejad et al. defined the notion of P-graphs and showed that these notions are independent on infinite graphs (see [12]). We say that G is a P-graph whenever {xn} n≥0 is a convergent sequence to a point x and xn ∈ [x] G for all n ≥ 0, we have r(xn, x) → 0 [12]. Here, r(x, y) is the sum of edges distance between x and y; that is, . They proved the same results for C-graphs and P-graphs (see the results of [12]). We will use only C-graphs in this paper.

In this paper, by combining all of these ideas and introducing G-type quasi-contractions, we give some results about fixed points of G-type quasi-contractions on graphs. The results improve some old results in the literature.

2. Main Results

Now, we are ready to state and prove our main results. In 2008, Suzuki obtained the following interesting fixed point result [6].

Theorem 1. Let (X, d) be a complete metric space and let T be a self-map on X. Define the nonincreasing function θ from [0,1) onto (1/2, 1] by

()
Assume that there exists r ∈ [0,1), such that
()
for all x, yX. Then, there exists a unique fixed point z of T. Moreover, lim nTnx = z for all xX.

Throughout this paper, suppose that E = E(G) and G is a C-graph.

Definition 2. Let (X, d) be a metric space, T a self map on X, and G a graph with V(G) = X. We say that T is a G-type quasi-contraction whenever T preserves the edges of G and there exists r ∈ [0,1), such that

()
for all (x, y) ∈ E, where
()

Theorem 3. Let (X, d) be a complete metric space, T a G-type quasi-contraction map with r2 + r < 1 such that (x, Tx), (x, T2x) ∈ E(G) for all xX. Then, T has a unique fixed point.

Proof. Take x0X. Since θ(r)d(x0, Tx0) ≤ d(x0, Tx0), we have

()
Since (1/2)d(x0, T2x0)≤(1/2)[d(x0, Tx0) + d(Tx0, T2x0)], we obtain d(T2x0, Tx0) ≤ rd(x0, Tx0). Hence,
()
for all natural number n and so {Tnx0} n≥1 is a Cauchy sequence. Since X is complete, {Tnx0} n≥1 converges to some x*X. Since G is a C-Graph, there is a subsequence such that for all k ≥ 1. Hence, for all j ≥ 1. We claim that for some natural number j0. Arguing by contradiction, we assume that Tjx*x* for all j. Fix a natural number j and put xn+1 = Tnx0 for all n ≥ 1. Choose a natural number n0 such that d(xn, x*) ≤ d(x*, Tjx*)/3 for all nn0. If nkn0, then
()
It follows that
()
and so d(x*, Tj+1x*) ≤ rmax {d(x*, Tjx*), d(Tjx*, Tj+1x*)}. Since d(Tjx*, Tj+1x*) ≤ rjd(x*, Tx*), we obtain
()
for all j. Now, we assume that d(x*, T2x*) < d(T2x*, T3x*); then by (6), we have
()
This is a contradiction, since r2 + r < 1. So, we have
()
and by (3), we obtain
()
By considering the above inequality and (9), we deduce that
()
that is a contradiction. Therefore, there exists j0 such that . Since {Tnx*} n≥1 is a Cauchy sequence, we obtain x* = Tx*. In fact, if x*Tx*, from for all n ≥ 1, it follows that {Tnx*} n≥1 is not a Cauchy sequence. Thus, x* is a fixed point of T. The uniqueness of the fixed point follows easily.

Question 1. Does Theorem 3 hold for each r ∈ [0,1)?

Theorem 4. Let (X, d) be a complete metric space. Then, the following statements are equivalent

  • (i)

    G  is weakly connected,

  • (ii)

    for each G-type quasi-contraction map T : XTXT and x, yX, the sequences {Tnx} n≥1 and {Tny} n≥1 are Cauchy equivalent, where XT = {xX : (x, Tx) ∈ E},

  • (iii)

    for each G-type quasi-contraction map T : XX, card(FixT) ≤ 1.

Proof. (i)⇒(ii) Let T : XX be a G-type quasi-contraction map and x, yX. Since , there is a path {x0 = x, …, xN = y} in from x to y. Since , for all n and i = 1, …, N. Let 1 ≤ iN. Put xi−1 = a and xi = b. If one of the following inequalities holds

()
Then, we have
()
If un ∈ {d(Tn−1a, Tna), d(Tn−1b, Tnb)}, then
()
If un = (1/2)[d(Tn−1a, Tnb) + d(Tn−1b, Tna)], then
()
Without loss of generality, suppose that d(Tna, Tnb) ≤ rd(Tn−1a, Tnb). Then,
()
and so d(Tna, Tnb)≤(r/(1 − r))d(Tn−1a, Tna)≤(rn/(1 − r))d(a, Ta). Hence,
()
Now, suppose that both of the inequalities (14) do not hold. If
()
then
()
and so
()
If un = d(Tn−1a, Tn−1b), then we can continue in a similar process for n − 1. In the general case, we get d(Tna, Tnb)≤(3rn−1/(1 − r))max {d(a, Ta), d(b, Tb)} and so d(Tna, Tnb) → 0. Thus,
()
Therefore, {Tnx} n≥1 and {Tny} n≥1 are Cauchy equivalent.

(ii)⇒(iii) Let x, y ∈ Fix T. By using (ii) and the above process, we obtain easily that x = y.

(iii)⇒(i) If G is not weakly connected, then there exists x0 such that is not empty. Take and define

()
Clearly, Fix T = {x0, y0}. Now, we show that T is a G-type quasi-contraction. For this reason, let (x, y) ∈ E. Since , either or . In both cases, we get Tx = Ty. Thus, T is a G-type quasi-contraction which has two fixed points. This contradiction completes the proof.

Theorem 5. Let (X, d) be a complete metric space and let T be a G-type quasi-contraction and orbitally G-continuous self-map on X. Then,

  • (i)

    for each xXT, is a Picard operator,

  • (ii)

    .

Proof. Let xXT. Then, . It is easy to check that {Tn} n≥1 is a Cauchy sequence. Let lim nTnx = x*. Since G is a C-Graph, there exists a subsequence such that for all k. Thus, for all k. Since , . Since T is orbitally G-continuous, which yields x* = Tx*. To prove (ii), define the mapping π by for all x ∈ Fix T. It is sufficient to show that π is a bijection from Fix T onto . Since Δ⊆E(G), we get Fix TXT which yields π(Fix T)⊆𝒞. On the other hand, if xXT, then which implies that . Thus, π is a surjection from Fix T onto 𝒞. Now, if x1, x2 ∈ Fix T with π(x1) = π(x2), then and so by using (i) we obtain

()
which implies that x2 = x1. Therefore, T is an injective and this completes the proof.

We need the following results for our last result.

Lemma 6 (see [18].)Let X be a nonempty set and let T : XX be a mapping. Then, there exists a subset YX such that TY = TX and T : YX is one-to-one.

Lemma 7 (see [8].)Let X be a nonempty set and that the mappings f, T : XX have a unique point of coincidence v in X. If T and f are weakly compatible, then T and f have a unique common fixed point.

Theorem 8. Let (X, d) be a metric space, and let f and T be two self-maps on X such that TXfX and fX is complete. Suppose that f and T satisfy the following conditions:

  • (i)

    (fx, fy) ∈ E(G) implies that (Tx, Ty) ∈ E(G),

  • (ii)

    if (fx, Tx) ∈ E(G) and Tx = fy for some yX, then (fx, Ty) ∈ E(G),

  • (iii)

    there exists r ∈ [0,1) such that r2 + r < 1 and θ(r)d(fx, Tx) ≤ d(fx, fy) implies that

    ()

Then, T and f have a unique coincidence point. Moreover, if T and f are weakly compatible, then T and f have a unique fixed point.

Proof. By using Lemma 6, there exists YX such that f : YX is one-to-one and fY = fX. Define the self-map h : fYfY by h(fx) = Tx. Clearly, h is well defined and h preserves the edges of G. In fact, (fx, fy) ∈ E(G) implies that (hfx, hfy) ∈ E(G). Note that θ(r)d(fx, hfx) ≤ d(fx, fy) implies that

()
Also, (fx, hfx) and (fx, h2fx) lie in E(G) for all xY. To see this, take hfx = Tx. Then, Tx = fy for some yY and so h2fx = Ty. By using (ii), (fx, Ty) ∈ E(G). Since fY is complete, by using Theorem 3, h has a unique fixed point in fY, namely, hfx* = fx*. Thus, x* is a coincidence point of f and T. Note that the assumption (iii) shows the uniqueness of the coincidence point of f and T. Now, by using Lemma 7, it is easy to see that if f and T are weakly compatible, then f and T have a unique fixed point.

Acknowledgment

The authors would like to thank the anonymous referee for his helpful comments on an earlier version. This article was funded by the Deanship of Scientic Research (DSR), King Abdulaziz University, Jeddah. N. Shahzad acknowledges with thanks DSR for financial support.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.