AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 303484 10.1155/2014/303484 303484 Research Article Caristi Fixed Point Theorem in Metric Spaces with a Graph Alfuraidan M. R. 1 Khamsi M. A. 2 Ansari Qamrul Hasan 1 Department of Mathematics and Statistics King Fahd University of Petroleum and Minerals Dhahran 31261 Saudi Arabia kfupm.edu.sa 2 Department of Mathematical Science The University of Texas at El Paso El Paso TX 79968 USA utep.edu

Dedicated to Rashed Saleh Alfuraidan and Prof. Miodrag Mateljevi’c for his 65th birthday

2014 1332014 2014 27 01 2014 11 02 2014 13 3 2014 2014 Copyright © 2014 M. R. Alfuraidan and M. A. Khamsi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We discuss Caristi’s fixed point theorem for mappings defined on a metric space endowed with a graph. This work should be seen as a generalization of the classical Caristi’s fixed point theorem. It extends some recent works on the extension of Banach contraction principle to metric spaces with graph.

1. Introduction

This work was motivated by some recent works on the extension of Banach contraction principle to metric spaces with a partial order  or a graph . Caristi’s fixed point theorem is maybe one of the most beautiful extensions of Banach contraction principle [3, 4]. Recall that this theorem states the fact that any map T : M M has a fixed point provided that M is a complete metric space and there exists a lower semicontinuous map ϕ : M [ 0 , + ) such that (1) d ( x , T x ) ϕ ( x ) - ϕ ( T x ) , for every x M . Recall that x M is called a fixed point of T if T ( x ) = x . This general fixed point theorem has found many applications in nonlinear analysis. It is shown, for example, that this theorem yields essentially all the known inwardness results  of geometric fixed point theory in Banach spaces. Recall that inwardness conditions are the ones which assert that, in some sense, points from the domain are mapped toward the domain. Possibly, the weakest of the inwardness conditions, the Leray-Schauder boundary condition, is the assumption that a map points x of M anywhere except to the outward part of the ray originating at some interior point of M and passing through x .

The proofs given to Caristi’s result vary and use different techniques (see [3, 68]). It is worth to mention that because of Caristi’s result of close connection to the Ekeland’s  variational principle, many authors refer to it as Caristi-Ekeland fixed point result. For more on Ekeland’s variational principle and the equivalence between Caristi-Ekeland fixed point result and the completeness of metric spaces, the reader is advised to read .

2. Main Results

Maybe one of the most interesting examples of the use of metric fixed point theorems is the proof of the existence of solutions to differential equations. The general approach is to convert such equations to integral equations which describes exactly a fixed point of a mapping. The metric spaces in which such mapping acts are usually a function space. Putting a norm (in the case of a vector space) or a distance gives us a metric structure rich enough to use the Banach contraction principle or other known fixed point theorems. But one structure naturally enjoyed by such function spaces is rarely used. Indeed we have an order on the functions inherited from the order of . In the classical use of Banach contraction principle, the focus is on the metric behavior of the mapping. The connection with the natural order is usually ignored. In [1, 11], the authors gave interesting examples where the order is used combined with the metric conditions.

Example 1 (see [<xref ref-type="bibr" rid="B15">1</xref>]).

Consider the periodic boundary value problem (2) u ( t ) = f ( t , u ( t ) ) , t [ 0 , T ] , u ( 0 ) = u ( T ) , where T > 0 and f : [ 0 , T ] × is a continuous function. Clearly any solution to this problem must be continuously differentiable on [ 0 , T ] . So the space to be considered for this problem is C 1 ( [ 0 , T ] , ) . The above problem is equivalent to the integral problem (3) u ( t ) = 0 T G ( t , s ) [ f ( s , u ( s ) ) + λ u ( s ) ] d s , where λ > 0 and the Green function is given by (4) G ( t , s ) = { e λ ( T + s - t ) e λ T - 1 0 s < t T , e λ ( s - t ) e λ T - 1 0 t < s T . Define the mapping 𝒜 : C ( [ 0 , T ] , ) C ( [ 0 , T ] , ) by (5) 𝒜 ( u ) ( t ) = 0 T G ( t , s ) [ f ( s , u ( s ) ) + λ u ( s ) ] d s . Note that if u ( t ) C ( [ 0 , T ] , ) is a fixed point of 𝒜 , then u ( t ) C 1 ( [ 0 , T ] , ) is a solution to the original boundary value problem. Under suitable assumptions, the mapping 𝒜 satisfies the following property:

if u ( t ) v ( t ) , then we have 𝒜 ( u ) 𝒜 ( v ) ;

if u ( t ) v ( t ) , then (6) 𝒜 ( u ) - 𝒜 ( v ) k u - v ,

for a constant k < 1 independent of u and v .

The contractive condition is only valid for comparable functions. It does not hold on the entire space C ( [ 0 , T ] , ) . This condition led the authors in  to use a weaker version of the Banach contraction principle to prove the existence of the solution to the original boundary value problem, a result which was already known  using different techniques.

Let ( X , ) be a partially ordered set and T : X X . We will say that T is monotone increasing if (7) x y T ( x ) T ( y ) , for    any x , y X . The main result of  is the following theorem.

Theorem 2 (see [<xref ref-type="bibr" rid="B15">1</xref>]).

Let ( X , ) be a partially ordered set and suppose that there exists a distance d in X such that ( X , d ) is a complete metric space. Let T : X X be a continuous and monotone increasing mapping such that there exists k < 1 with (8) d ( T ( x ) , T ( y ) ) k d ( x , y ) , w h e n e v e r y x . If there exists x 0 X , with x 0 T ( x 0 ) , then T has a fixed point.

Clearly, from this theorem, one may see that the contractive nature of the mapping T is restricted to the comparable elements of ( X , ) not to the entire set X . The detailed investigation of the example above shows that such mappings may exist which are not contractive on the entire set X . Therefore the classical Banach contraction principle will not work in this situation. The analogue to Caristi’s fixed theorem in this setting is the following result.

Theorem 3.

Let ( X , ) be a partially ordered set and suppose that there exists a distance d in X such that ( X , d ) is a complete metric space. Let T : X X be a continuous and monotone increasing mapping. Assume that there exists a lower semicontinuous function ϕ : X [ 0 , + ) such that (9) d ( x , T ( x ) ) ϕ ( x ) - ϕ ( T ( x ) ) , w h e n e v e r T ( x ) x . Then T has a fixed point if and only if there exists x 0 X , with T ( x 0 ) x 0 .

Proof.

Clearly, if x 0 is a fixed point of T , that is, T ( x 0 ) = x 0 , then we have T ( x 0 ) x 0 . Assume that there exists x 0 X such that T ( x 0 ) x 0 . Since T is monotone increasing, we have T n + 1 ( x 0 ) T n ( x 0 ) , for any n 1 . Hence (10) d ( T n ( x 0 ) , T n + 1 ( x 0 ) ) ϕ ( T n ( x 0 ) ) - ϕ ( T n + 1 ( x 0 ) ) , n = 1,2 , . Hence { ϕ ( T n ( x 0 ) ) } is a decreasing sequence of positive numbers. Let ϕ 0 = lim n ϕ ( T n ( x 0 ) ) . For any n , h 1 , we have (11) d ( T n ( x 0 ) , T n + h ( x 0 ) ) k = 0 h - 1 d ( T n + k ( x 0 ) , T n + k + 1 ( x 0 ) ) ϕ ( T n ( x 0 ) ) - ϕ ( T n + h ( x 0 ) ) . Therefore { T n ( x 0 ) } is a Cauchy sequence in X . Since X is complete, there exists x - X such that lim n T n ( x 0 ) = x - . Since T is continuous, we conclude that T ( x - ) = x - ; that is, x - is a fixed point of T .

The continuity assumption of T may be relaxed if we assume that X satisfies the property (OSC).

Definition 4.

Let ( X , ) be a partially ordered set. Let d be a distance defined on X . One says that X satisfies the property (OSC) if and only if for any convergent decreasing sequence { x n } in X , that is, x n + 1 x n , for any n 1 , one has lim m x m = inf { x n , n 1 } .

One has the following improvement to Theorem 3.

Theorem 5.

Let ( X , ) be a partially ordered set and suppose that there exists a distance d in X such that ( X , d ) is a complete metric space. Assume that X satisfies the property (OSC). Let T : X X be a monotone increasing mapping. Assume that there exists a lower semicontinuous function ϕ : X [ 0 , + ) such that (12) d ( x , T ( x ) ) ϕ ( x ) - ϕ ( T ( x ) ) , w h e n e v e r T ( x ) x . Then T has a fixed point if and only if there exists x 0 X , with T ( x 0 ) x 0 .

Proof.

We proceed as we did in the proof of Theorem 3. Let x 0 X such that T ( x 0 ) x 0 . Write x n = T n ( x 0 ) , n 1 . Then we have the fact that   { x n } is decreasing and lim n x n = x ω exists in X . Since we did not assume T continuous, then x ω may not be a fixed point of T . The idea is to use transfinite induction to build a transfinite orbit to help catch the fixed point. Note that since X satisfies (OSC), then we have x ω = inf { x n , n 1 } . Since T is monotone increasing, then we will have T ( x ω ) x ω . These basic facts so far will help us seek the transfinite orbit { x α } α Γ , where Γ is the set of all ordinals. This transfinite orbit must satisfy the following properties:

T ( x α ) = x α + 1 , for any α Γ ;

x α = inf { x β , β < α } , if α is a limit ordinal;

x α x β , whenever β < α ;

d ( x α , x β ) ϕ ( x β ) - ϕ ( x α ) , whenever β < α .

Clearly the above properties are satisfied for any α { 0,1 , , ω } . Let α be an ordinal number. Assume that the properties ( 1 ) ( 4 ) are satisfied by { x β } β < α . We have two cases as follows.

If α = β + 1 , then set x α = T ( x β ) .

Assume that α is a limit ordinal. Set ϕ 0 = inf { ϕ ( x β ) , β < α } . Then one can easily find an increasing sequence of ordinals { β n } , with β n < α , such that lim n ϕ ( x β n ) = ϕ 0 . Property ( 4 ) will force { x β n } to be Cauchy. Since X is complete, then lim n x β n = x - exists in X . The property (OSC) will then imply x - = inf { x β n , n 1 } . Let us show that x - = inf { x β , β < α } . Let β < α . If β n < β , for all n 1 , then we have (13) d ( x β , x β n ) ϕ ( x β n ) - ϕ ( x β ) , n = 1,2 , .

But ϕ ( x β ) ϕ 0 = lim n ϕ ( x β n ) ϕ ( x β ) . Hence ϕ ( x β ) = ϕ 0 which implies that lim n x β n = x β . Hence x β = x - . Assume otherwise that there exists n 0 1 such that β < β n 0 . Hence x β n 0 x β which implies x - x β . In any case, we have x - x β , for any β < α . Therefore we have (14) x - = inf { x β n , n 1 } inf { x β , β < α } inf { x β n , n 1 } . Hence x - = inf { x β , β < α } . Set x α = x - . Let us prove that { x β , β α } satisfies all properties ( 1 ) ( 4 ) . Clearly ( 1 ) and ( 2 ) are satisfied. Let us focus on ( 3 ) and ( 4 ) . Let β < α . We need to show that x α x β . If α is a limit ordinal, this is obvious. Assume that α - 1 exists. We have two cases; if α - 2 exists, then we have x α - 1 x α - 2 . Since T is monotone increasing, then T ( x α - 1 ) T ( x α - 2 ) ) ; that is, x α x α - 1 . Otherwise, if α - 2 is an ordinal limit, then x α - 2 = inf { x γ , γ < α - 2 } . Since T is monotone increasing, then we have (15) x α - 1 = T ( x α - 2 ) x γ + 1 , for    any γ < α - 2 , which implies x α x γ + 2 , for any γ < α - 2 . Therefore we have x α x β , which completes the proof of ( 3 ) . Let us prove ( 4 ) . Let β < α . First assume that α - 1 exists. Then, in the proof of ( 3 ) , we saw that x α = T ( x α - 1 ) x α - 1 . Our assumption on T will then imply (16) d ( x α - 1 , x α ) ϕ ( x α - 1 ) - ϕ ( x α ) . If β = α - 1 , we are done. Otherwise, if β < α - 1 , then we use the induction assumption to get (17) d ( x β , x α - 1 ) ϕ ( x β ) - ϕ ( x α - 1 ) . The triangle inequality will then imply (18) d ( x β , x α ) ϕ ( x β ) - ϕ ( x α ) . Next we assume that α is a limit ordinal. Then there exists an increasing sequence of ordinals { β n } , with β n < α , such that x α = lim n x β n . Given β < α , assume that we have β n < β , for all n 1 . In this case, we have seen that x α = x β . Otherwise, let us assume that there exists n 0 1 such that β < β n 0 . In this case, from our induction assumption and the triangle inequality, we get (19) d ( x β , x β n ) ϕ ( x β ) - ϕ ( x β n ) , n n 0 . Using the lower semicontinuity of ϕ , we conclude that (20) d ( x β , x α ) ϕ ( x β ) - ϕ ( x α ) , which completes the proof of ( 4 ) . By the transfinite induction we conclude that the transfinite orbit { x α } exists which satisfies the properties ( 1 ) ( 4 ) . Using Proposition A . 6 ([13, page 284]), there exists an ordinal β such that ϕ ( x α ) = ϕ ( x β ) , for any α β . In particular, we have ϕ ( x α ) = ϕ ( x α + 1 ) , for any α β . Property ( 4 ) will then force x α + 1 = x α ; that is, T ( x α ) = x α . Therefore T has a fixed point.

One may wonder if Theorem 5 is truly an extension of the main results of [1, 2, 11]. The following example shows that it is the case.

Example  6. Let X = L 1 ( [ 0,1 ] , d x ) be the classical Banach space with the natural pointwise order generated by . Let C = { f X , f ( t ) 0 a . e . } be the positive cone of X . Define T : C C by (21) T ( f ) ( t ) = { f ( t ) if f ( t ) > 1 2 , 0 if f ( t ) 1 2 .

First note that C is a closed subset of X . Hence C is complete for the norm-1 distance. Also it is easy to check that the property (OSC) holds in this case. Note that, for any f C , we have 0 T ( f ) f . Also we have T 2 ( f ) = T ( T ( f ) ) = T ( f ) ) ; that is, T ( f ) is a fixed point of T for any f C . Note that for any f C we have (22) d ( f , T ( f ) ) = 0 1 | f ( t ) - T ( f ) ( t ) | d t = 0 1 f ( t ) d t - 0 1 T ( f ) ( t ) d t = f - T ( f ) .

Therefore all the assumptions of Theorem 5 are satisfied. But T fails to satisfy the assumptions of [1, 2, 11]. Indeed if we take (23) f ( t ) = 1 2 , f n ( t ) = 1 2 + 1 n , n 1 ,

then we have T ( f ) = 0 and T ( f n ) = f n , for any n 1 . Therefore T is not continuous since { f n } converges uniformly (and in norm-1 as well) to f . Note also that f f n , for n 1 . So any Lipschitz condition on the partial order of C will not be satisfied by T in this case.

3. Caristi’s Theorem in Metric Spaces with Graph

It seems that the terminology of graph theory instead of partial ordering sets can give more clear pictures and yield to generalize the theorems above. In this section, we give the graph versions of our two main results.

Throughout this section we assume that ( X , d ) is a metric space and G is a directed graph (digraph) with set of vertices V ( G ) = X and set of edges E ( G ) containing all the loops; that    is , ( x , x ) E ( G ) for any x X . We also assume that G has no parallel edges (arcs) and so we can identify G with the pair ( V ( G ) , E ( G ) ) . Our graph theory notations and terminology are standard and can be found in all graph theory books, like [14, 15]. A digraph G is called an oriented graph; if whenever ( u , v ) E ( G ) , then ( v , u ) E ( G ) .

Let ( X , ) be a partially ordered set. We define the oriented graph G on X as follows. The vertices of G are the elements of X , and two vertices x , y X are connected by a directed edge (arc) if x y . Therefore, G has no parallel arcs as x y & y x x = y .

If x , y are vertices of the digraph G , then a directed path from x to y of length N is a sequence { x i } i = 0 N of N + 1 vertices such that (24) x 0 = x , x N = y , ( x i , x i + 1 ) E ( G ) , i = 0,1 , , N .

A closed directed path of length N > 1 from x to y , that is, x = y , is called a directed cycle. An acyclic digraph is a digraph that has no directed cycle.

Given an acyclic digraph, G , we can always define a partially order G on the set of vertices of G by defining that x    G    y whenever there is a directed path from x to y .

Definition 7.

One says that a mapping T : X X is G -edge preserving if (25) x , y X , ( x , y ) E ( G ) ( T x , T y ) E ( G ) . T is said to be a Caristi G -mapping if there exists a lower semicontinuous function ϕ : X [ 0 , + ) such that (26) d ( x , T x ) ϕ ( x ) - ϕ ( T x ) , whenever ( T ( x ) , x ) E ( G ) .

One can now give the graph theory versions of our two mean Theorems 3 and 5 as follows.

Theorem 8.

Let G be an oriented graph on the set X with E ( G ) containing all loops and suppose that there exists a distance d in X such that ( X , d ) is a complete metric space. Let T : X X be continuous, G -edge preserving, and a G -Caristi mapping. Then T has a fixed point if and only if there exists x 0 X , with ( T ( x 0 ) , x 0 ) E ( G ) .

Proof.

G has all the loops. In particular, if x 0 is a fixed point of T , that    is , T ( x 0 ) = x 0 , then we have ( T ( x 0 ) , x 0 ) E ( G ) . Assume that there exists x 0 X such that ( T ( x 0 ) , x 0 ) E ( G ) . Since T is G -edge preserving, we have ( T n + 1 ( x 0 ) , T n ( x 0 ) ) E ( G ) , for any n 1 . Hence (27) d ( T n ( x 0 ) , T n + 1 ( x 0 ) ) ϕ ( T n ( x 0 ) ) - ϕ ( T n + 1 ( x 0 ) ) , n = 1,2 , . Hence { ϕ ( T n ( x 0 ) ) } is a decreasing sequence of positive numbers. Let ϕ 0 = lim n ϕ ( T n ( x 0 ) ) . For any n , h 1 , we have (28) d ( T n ( x 0 ) , T n + h ( x 0 ) ) k = 0 h - 1 d ( T n + k ( x 0 ) , T n + k + 1 ( x 0 ) ) ϕ ( T n ( x 0 ) ) - ϕ ( T n + h ( x 0 ) ) . Therefore { T n ( x 0 ) } is a Cauchy sequence in X . Since X is complete, there exists x - X such that lim n T n ( x 0 ) = x - . Since T is continuous, we conclude that T ( x - ) = x - ; that is, x - is a fixed point of T .

The following definition is needed to prove the analogue to Theorem 5.

Definition 9.

Let G be an acyclic oriented graph on the set X with E ( G ) containing all loops. One says that G satisfies the property (OSC) if and only if ( X , G ) satisfies (OSC).

The analogue to Theorem 5 may be stated as follows.

Theorem 10.

Let G be an oriented graph on the set X with E ( G ) containing all loops and suppose that there exists a metric d in X such that ( X , d ) is a complete metric space. Assume that G satisfies the property (OSC). Let T : X X be a G -edge preserving and a Caristi G -mapping. Then T has a fixed point if and only if there exists x 0 X , with ( T ( x 0 ) , x 0 ) E ( G ) .

The proof of Theorem 10 is similar to the proof of Theorem 5. In fact it is easy to check that these two theorems are equivalent.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Nieto J. J. Rodríguez-López R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations Order 2005 22 3 223 239 10.1007/s11083-005-9018-5 MR2212687 ZBL1095.47013 Jachymski J. The contraction principle for mappings on a metric space with a graph Proceedings of the American Mathematical Society 2008 136 4 1359 1373 10.1090/S0002-9939-07-09110-1 MR2367109 ZBL1139.47040 Brøndsted A. Fixed points and partial orders Proceedings of the American Mathematical Society 1976 60 365 366 MR0417867 Caristi J. Fixed point theory and inwardness conditions Applied Nonlinear Analysis 1979 New York, NY, USA Academic Press 479 483 MR537557 ZBL0462.47039 Halpern B. R. Bergman G. M. A fixed-point theorem for inward and outward maps Transactions of the American Mathematical Society 1968 130 353 358 MR0221345 10.1090/S0002-9947-1968-0221345-0 ZBL0153.45602 Browder F. E. On a theorem of Caristi and Kirk Proceedings of the Seminar on Fixed Point Theory and Its Applications June 1975 Dalhousie University, Academic Press 23 27 10.1090/S0002-9939-1979-0539623-7 Caristi J. Fixed point theorems for mappings satisfying inwardness conditions Transactions of the American Mathematical Society 1976 215 241 251 MR0394329 10.1090/S0002-9947-1976-0394329-4 ZBL0305.47029 Kirk W. A. Caristi J. Mappings theorems in metric and Banach spaces Bulletin de l'Académie Polonaise des Sciences 1975 23 8 891 894 MR0385654 Ekeland I. Sur les problèmes variationnels Comptes Rendus de l'Académie des Sciences 1972 275 A1057 A1059 MR0310670 ZBL0249.49004 Sullivan F. A characterization of complete metric spaces Proceedings of the American Mathematical Society 1981 83 2 345 346 10.2307/2043524 MR624927 ZBL0468.54021 Ran A. C. M. Reurings M. C. B. A fixed point theorem in partially ordered sets and some applications to matrix equations Proceedings of the American Mathematical Society 2004 132 5 1435 1443 10.1090/S0002-9939-03-07220-4 MR2053350 ZBL1060.47056 Ladde G. S. Lakshmikantham V. Vatsala A. S. Monotone Iterative Techniques for Non-Linear di Erential Equations 1985 Boston, Mass, USA Pitman Khamsi M. A. Kirk W. A. An Introduction to Metric Spaces and Fixed Point Theory 2001 New York, NY, USA Wiley-Interscience Pure and Applied Mathematics 10.1002/9781118033074 MR1818603 Chartrand G. Lesniak L. Zhang P. Graphs & Digraphs 2011 New York, NY, USA CRC Press MR2766107 Gross J. L. Yellen J. Graph Theory and Its Applications 1999 New York, NY, USA CRC Press MR2181153