Common fixed points for α-ψ-ϕ-contractions in generalized metric spaces

Similar documents
A FIXED POINT THEOREM FOR UNIFORMLY LOCALLY CONTRACTIVE MAPPINGS IN A C-CHAINABLE CONE RECTANGULAR METRIC SPACE

SOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES

Common Fixed Point Theorems for Ćirić-Berinde Type Hybrid Contractions

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

New fixed point results in b-rectangular metric spaces

A fixed point theorem for (µ, ψ)-generalized f-weakly contractive mappings in partially ordered 2-metric spaces

A coincidence-point problem of Perov type on rectangular cone metric spaces

SOLUTION OF AN INITIAL-VALUE PROBLEM FOR PARABOLIC EQUATIONS VIA MONOTONE OPERATOR METHODS

Integral type Fixed point Theorems for α-admissible Mappings Satisfying α-ψ-φ-contractive Inequality

SOME FIXED POINT THEOREMS FOR ORDERED REICH TYPE CONTRACTIONS IN CONE RECTANGULAR METRIC SPACES

BEST PROXIMITY POINT RESULTS VIA SIMULATION FUNCTIONS IN METRIC-LIKE SPACES

A Fixed Point Theorem for G-Monotone Multivalued Mapping with Application to Nonlinear Integral Equations

New extension of some fixed point results in complete metric spaces

Fixed Points for Multivalued Mappings in b-metric Spaces

A Fixed Point Theorem in a Generalized Metric Space for Mappings Satisfying a Contractive Condition of Integral Type

On the effect of α-admissibility and θ-contractivity to the existence of fixed points of multivalued mappings

Best proximity point results in set-valued analysis

Best proximity points for generalized α η ψ-geraghty proximal contraction mappings

Fixed Points Results via Simulation Functions

Fixed Point Theorem for Cyclic (µ, ψ, φ)-weakly Contractions via a New Function

Some notes on a second-order random boundary value problem

Reich Type Contractions on Cone Rectangular Metric Spaces Endowed with a Graph

Common fixed point of -approximative multivalued mapping in partially ordered metric space

COMMON FIXED POINT THEOREMS IN CONE RECTANGULAR METRIC SPACES

A GENERALIZATION OF CONTRACTION PRINCIPLE IN QUASI-METRIC SPACES

FIXED POINT OF α-geraghty CONTRACTION WITH APPLICATIONS

FIXED POINTS AND CYCLIC CONTRACTION MAPPINGS UNDER IMPLICIT RELATIONS AND APPLICATIONS TO INTEGRAL EQUATIONS

COUPLED FIXED POINT THEOREMS FOR MONOTONE MAPPINGS IN PARTIALLY ORDERED METRIC SPACES

Fixed Points of Multivalued Non-Linear F -Contractions with Application to Solution of Matrix Equations

COUPLED FIXED AND COINCIDENCE POINT THEOREMS FOR GENERALIZED CONTRACTIONS IN METRIC SPACES WITH A PARTIAL ORDER

Fixed point results for {α, ξ}-expansive locally contractive mappings

SOME FIXED POINT THEOREMS IN EXTENDED b-metric SPACES

NEW TYPE OF RESULTS INVOLVING CLOSED BALL WITH GRAPHIC CONTRACTION

Fixed Point Theorems for -Monotone Maps on Partially Ordered S-Metric Spaces

Fixed point theorems for Ćirić type generalized contractions defined on cyclic representations

Coincidence point results of multivalued weak C-contractions on metric spaces with a partial order

A UNIQUE COMMON TRIPLE FIXED POINT THEOREM IN PARTIALLY ORDERED CONE METRIC SPACES

A fixed point theorem for weakly Zamfirescu mappings

Some common fixed points of multivalued mappings on complex-valued metric spaces with homotopy result

Some Fixed Point Results for (α, β)-(ψ, φ)-contractive Mappings

Available online at Advances in Fixed Point Theory, 2 (2012), No. 1, ISSN:

Fixed points and functional equation problems via cyclic admissible generalized contractive type mappings

On coupled generalised Banach and Kannan type contractions

Fixed point results and an application to homotopy in modular metric spaces

COINCIDENCE AND COMMON FIXED POINTS OF WEAKLY RECIPROCALLY CONTINUOUS AND COMPATIBLE HYBRID MAPPINGS VIA AN IMPLICIT RELATION AND AN APPLICATION

Double Contraction in S-Metric Spaces

Applicable Analysis and Discrete Mathematics available online at

COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES

Available online at Adv. Fixed Point Theory, 3 (2013), No. 4, ISSN:

A generalization of Banach s contraction principle for nonlinear contraction in a partial metric space

A Fixed Point Theorem for ψ ϕ - Weakly Contractive Mapping in Metric Spaces

Fixed point results for various contractions in parametric and fuzzy b-metric spaces

HARDY-ROGERS-TYPE FIXED POINT THEOREMS FOR α-gf -CONTRACTIONS. Muhammad Arshad, Eskandar Ameer, and Aftab Hussain

SOME NEW FIXED POINT RESULTS IN ULTRA METRIC SPACE

Luljeta Kikina, Kristaq Kikina A FIXED POINT THEOREM IN GENERALIZED METRIC SPACES

Quadruple Coincidence Point Results in Partially Ordered Metric Spaces

Best proximity points of Kannan type cyclic weak ϕ-contractions in ordered metric spaces

F -contractions of Hardy Rogers type and application to multistage decision processes

Mohamed Akkouchi WELL-POSEDNESS OF THE FIXED POINT. 1. Introduction

On Best Proximity Point Theorems for New Cyclic Maps

FIXED POINT THEORY FOR QUASI-CONTRACTION MAPS IN b-metric SPACES

Common Fixed Point Theorems for Multivalued β -ψ-contractive Mappings

Some new fixed point theorems in metric spaces

Istratescu-Suzuki-Ćirić-type fixed points results in the framework of G-metric spaces

On the Existence of Bounded Solutions to a Class of Nonlinear Initial Value Problems with Delay

A Common Fixed Points in Cone and rectangular cone Metric Spaces

Fixed point results for generalized multi-valued contractions

SOME RESULTS ON WEAKLY CONTRACTIVE MAPS. Communicated by Behzad Djafari-Rouhani. 1. Introduction and preliminaries

Someresultsonfixedpointsofα-ψ-Ciric generalized multifunctions

A Fixed Point Theorem Satisfying a Generalized. Weak Contractive Condition of Integral Type

A Generalized Contraction Mapping Principle

Common fixed point theorems on non-complete partial metric spaces

Revisiting of some outstanding metric fixed point theorems via E-contraction

Jordan Journal of Mathematics and Statistics (JJMS) 8(3), 2015, pp SOME RESULTS ON A CONE RECTANGULAR METRIC SPACE

A fixed point problem under two constraint inequalities

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Nonexpansive Mappings in the Framework of Ordered S-Metric Spaces and Their Fixed Points

A Fixed Point Theorem of Caccioppoli - Kannan Type on a Class of Generalized Metric Spaces

MULTIPLICATIVE GENERALIZED METRIC SPACES AND FIXED POINT THEOREMS

FIXED POINT RESULTS FOR GENERALIZED APPLICATIONS

Best proximity problems for Ćirić type multivalued operators satisfying a cyclic condition

Invariant Approximation Results of Generalized Contractive Mappings

(ψ,φ,θ)-weak contraction of continuous and discontinuous functions

Common fixed points for a class of multi-valued mappings and application to functional equations arising in dynamic programming

Fixed Point Theorem for Cyclic Maps on Partial Metric spaces

A COINCIDENCE AND FIXED POINT THEOREMS FOR SEMI-QUASI CONTRACTIONS

The (CLR g )-property for coincidence point theorems and Fredholm integral equations in modular metric spaces

New Coupled Common Fixed Point for Four Mappings satisfying Rational Contractive Expression

Common fixed point theorem for nonexpansive type single valued mappings

Coincidence Points for Mappings under Generalized Contraction

On Fixed Point Results for Matkowski Type of Mappings in G-Metric Spaces

Common Fixed Point Theorems For Weakly Compatible Mappings In Generalisation Of Symmetric Spaces.

COMMON FIXED POINTS IN b-metric SPACES ENDOWED WITH A GRAPH. Sushanta Kumar Mohanta. 1. Introduction

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Fixed Point Theorems for Generalized β φ contractive Pair of Mappings Using Simulation Functions

A fixed point theorem for Meir-Keeler contractions in ordered metric spaces

COMPLEX VALUED DISLOCATED METRIC SPACES. Ozgur Ege and Ismet Karaca

4. Convex Sets and (Quasi-)Concave Functions

Occasionally Weakly Compatible Mapping in Cone Metric Space

Bulletin of the Iranian Mathematical Society Vol. 39 No.6 (2013), pp

Transcription:

Nonlinear Analysis: Modelling and Control, 214, Vol. 19, No. 1, 43 54 43 Common fixed points for α-ψ-ϕ-contractions in generalized metric spaces Vincenzo La Rosa, Pasquale Vetro Università degli Studi di Palermo, Dipartimento di Matematica e Informatica Via Archirafi, 34, 9123 Palermo, Italy vincenzo.larosa@math.unipa.it; vetro@math.unipa.it Received: 22 March 213 / Revised: 7 August 213 / Published online: 25 November 213 Abstract. We establish some common fixed point theorems for mappings satisfying an α-ψ-ϕcontractive condition in generalized metric spaces. Presented theorems extend and generalize many existing results in the literature. Keywords: generalized metric space, α-ψ-ϕ-contractive condition, contraction of integral type, fixed point, common fixed point. 1 Introduction and preliminaries Fixed point theory is an important and actual topic of nonlinear analysis. Moreover, it s well known that the contraction mapping principle, formulated and proved in the PhD dissertation of Banach in 192 which was published in 1922 is one of the most important theorems in classical functional analysis. During the last four decades, this theorem has undergone various generalizations either by relaxing the condition on contractivity or withdrawing the requirement of completeness or sometimes even both. Recently, a very interesting generalization was obtained in [1] by changing the structure of the space itself. In fact, Branciari [1] introduced a concept of generalized metric space by replacing the triangle inequality by a more general inequality. As such, any metric space is a generalized metric space but the converse is not true [1]. He proved the Banach s fixed point theorem in such a space. For more, the reader can refer to [2 11]. It is also known that common fixed point theorems are generalizations of fixed point theorems. Thus, over the past few decades, there have been many researchers who have interested in generalizing fixed point theorems to coincidence point theorems and common fixed point theorems. In this paper, we prove some common fixed point theorems for a larger class of α-ψ- ϕ-contractions in generalized metric spaces and improve the results obtained by Lakzian and Samet [12] and Di Bari and Vetro [13]. This research was supported by Università degli Studi di Palermo, Local University Project R.S. ex 6%. c Vilnius University, 214

44 V. La Rosa, P. Vetro 2 Definitions and known theorems Let R + denote the set of all positive real numbers and N denote the set of all positive integers. Definition 1. Let X be a non-empty set and d : X X [, + [ be a mapping such that, for all x, y X and for all distinct points u, v X each of them different from x and y, one has (i) d(x, y) = if and only if x = y, (ii) d(x, y) = d(y, x), (iii) d(x, y) d(x, u) + d(u, v) + d(v, y) (rectangular inequality). Then (X, d) is called a generalized metric space (or shortly GMS). We note that (iii) of Definition 1 does not ensure that d is continuous in each variable, see [1]. Also, in a GMS the notions of convergent sequence and Cauchy sequence are the same as in a standard metric space. Definition 2. Let (X, d) be a GMS, {x n } be a sequence in X and x X. Then (i) We say that {x n } is GMS convergent to x if and only if d(x n, x) as n +. We denote this by x n x. (ii) We say that {x n } is a GMS Cauchy sequence if and only if, for each ε >, there exists a natural number n(ε) such that d(x n, x m ) < ε for all n > m n(ε). (iii) (X, d) is called GMS complete if every GMS Cauchy sequence is GMS convergent in X. We note that a convergent sequence in a GMS is not necessarily a Cauchy sequence, see again [1]. We denote by Ψ the set of functions ψ : [, + [ [, + [ satisfying the following hypotheses: (ψ1) ψ is continuous and nondecreasing, (ψ2) ψ(t) = if and only if t =. We denote by Φ the set of functions ϕ : [, + [ [, + [ satisfying the following hypotheses: (ϕ1) ϕ is lower semi-continuous, (ϕ2) ϕ(t) = if and only if t =. In [12], Lakzian and Samet established the following fixed point theorem involving a pair of altering distance functions in a generalized complete metric space. Theorem 1. Let (X, d) be a Hausdorff and complete GMS and let T : X X be a self-mapping satisfying ψ ( d(t x, T y) ) ψ ( d(x, y) ) ϕ ( d(x, y) ) for all x, y X, where ψ Ψ and ϕ : [, + [ [, + [ is continuous and ϕ(t) = if and only if t =. Then T has a unique fixed point. www.mii.lt/na

Common fixed points for α-ψ-ϕ-contractions 45 Let X be a non-empty set and T, f : X X. The mappings T, f are said to be weakly compatible if they commute at their coincidence points (i.e. T fx = ft x whenever T x = fx). A point y X is called point of coincidence of T and f if there exists a point x X such that y = T x = fx. In [13], Di Bari and Vetro established the following fixed point theorem. Theorem 2. Let (X, d) be a Hausdorff GMS and let T and f be self-mappings on X such that T X fx. Assume that (fx, d) is a complete GMS and that the following condition holds: ψ ( d(t x, T y) ) ψ ( d(fx, fy) ) ϕ ( d(fx, fy) ) for all x, y X, where ψ Ψ and ϕ Φ. Then T and f have a unique point of coincidence in X. Moreover, if T and f are weakly compatible, then T and f have a unique common fixed point. 3 Main results In this section, we prove some common fixed point results for two self-mappings satisfying an α-ψ-ϕ-contractive condition. For the notion of α-ψ-contractive type mappings, see Samet et al. [14]. Following [14], we introduce the notion of f-α-admissible mapping. Definition 3. Let T, f : X X and α : X X [, + [. The mapping T is f-αadmissible if, for all x, y X such that α(fx, fy) 1, we have α(t x, T y) 1. If f is the identity mapping, then T is called α-admissible. Definition 4. Let (X, d) be a GMS and α : X X [, + [. X is α-regular if, for every sequence {x n } X such that α(x n, x n+1 ) 1 for all n N and x n x, then there exists a subsequence {x nk } of {x n } such that α(x nk, x) 1 for all k N. Theorem 3. Let (X, d) be a GMS and let T and f be self-mappings on X such that T X fx and α : X X [, + [. Assume that (fx, d) is a complete GMS and that the following condition holds: ψ ( α(fx, fy)d(t x, T y) ) ψ ( M(x, y) ) ϕ ( M(x, y) ) (1) for all x, y X, where ψ Ψ, ϕ Φ and M(x, y) = max { d(fx, fy), d(fx, T x), d(fy, T y) }. Assume also that the following conditions hold: (i) T is f-α-admissible; (ii) there exists x X such that α(fx, T x ) 1; (iii) X is α-regular and, for every sequence {x n } X such that α(x n, x n+1 ) 1, we have α(x m, x n ) 1 for all m, n N with m < n; (iv) either α(fu, fv) 1 or α(fv, fu) 1 whenever fu = T u and fv = T v. Nonlinear Anal. Model. Control, 214, Vol. 19, No. 1, 43 54

46 V. La Rosa, P. Vetro Then T and f have a unique point of coincidence in X. Moreover, if T and f are weakly compatible, then T and f have a unique common fixed point. Proof. Let x X such that α(fx, T x ) 1. Define the sequences {x n } and {y n } in X by y n = fx n+1 = T x n, n N {}. Moreover, we assume that if y n = T x n = T x n+p = y n+p, then we choose x n+p+1 = x n+1. This can be done, since T X fx. In particular, if y n = y n+1, then y n+1 is a point of coincidence of T and f. Consequently, we can suppose that y n y n+1 for all n N. By condition (ii), we have α(fx, T x ) = α(fx, fx 1 ) 1. Since, by hypothesis, T is f-α-admissible, we obtain α(t x, T x 1 ) = α(fx 1, fx 2 ) 1, α(t x 1, T x 2 ) = α(fx 2, fx 3 ) 1. By induction, we get Now, by (1), we have α(fx n, fx n+1 ) 1 for all n N {}. ψ ( d(t x n, T x n+1 ) ) ψ ( α(fx n, fx n+1 )d(t x n, T x n+1 ) ) ψ ( M(x n, x n+1 ) ) ϕ ( M(x n, x n+1 ) ), where M(x n, x n+1 ) = max { d(fx n, fx n+1 ), d(fx n, T x n ), d(fx n+1, T x n+1 ) } = max { d(y n 1, y n ), d(y n, y n+1 ) }. This implies ψ ( d(t x n, T x n+1 ) ) ψ ( M(x n, x n+1 ) ) ϕ ( M(x n, x n+1 ) ) (2) for all n N. Now, if M(x n, x n+1 ) = d(y n, y n+1 ), from (2) we deduce ψ ( d(y n, y n+1 ) ) ψ ( d(y n, y n+1 ) ) ϕ ( d(y n, y n+1 ) ) (3) and, hence, d(y n, y n+1 ) =, which is a contradiction. Thus M(x n, x n+1 ) = d(y n 1, y n ) >, then from (2) we get ψ ( d(y n, y n+1 ) ) ψ ( d(y n 1, y n ) ) ϕ ( d(y n 1, y n ) ) < ψ ( d(y n 1, y n ) ). Since ψ is nondecreasing, then d(y n, y n+1 ) < d(y n 1, y n ) for all n N, that is, the sequence of nonnegative numbers {d(y n, y n+1 )} is decreasing. Hence, it converges to a nonnegative number, say s. If s >, then letting n + in (3), we obtain ψ(s) ψ(s) ϕ(s) which implies s =, that is lim d(y n, y n+1 ) =. (4) n + www.mii.lt/na

Common fixed points for α-ψ-ϕ-contractions 47 Suppose that y n y m for all m n and prove that {y n } is a GMS Cauchy sequence. First, we show that the sequence {d(y n, y n+2 )} is bounded. Since d(y n, y n+1 ), there exists L > such that d(y n, y n+1 ) L for all n N. If d(y n, y n+2 ) > L for all n N, from M(x n, x n+2 ) = max { d(fx n, fx n+2 ), d(fx n, T x n ), d(fx n+2, T x n+2 ) } and (iii) follows = d(y n 1, y n+1 ) ψ ( d(y n, y n+2 ) ) = ψ ( d(t x n, T x n+2 ) ) ψ ( α(fx n, fx n+2 )d(t x n, T x n+2 ) ) ψ ( M(x n, x n+2 ) ) ϕ ( M(x n, x n+2 ) ) < ψ ( d(y n 1, y n+1 ) ). Thus the sequence {d(y n, y n+2 )} is decreasing and, hence, is bounded. If, for some n N, we have d(y n 1, y n+1 ) L and d(y n, y n+2 ) > L, then from ψ ( d(y n, y n+2 ) ) = ψ ( d(t x n, T x n+2 ) ) ψ ( α(fx n, fx n+2 )d(t x n, T x n+2 ) ) ψ ( M(x n, x n+2 ) ) ϕ ( M(x n, x n+2 ) ) < ψ ( M(x n, x n+2 ) ) ψ(l), we get d(y n, y n+2 ) < L, a contradiction. Then d(y n, y n+2 ) > L or d(y n, y n+2 ) L for all n N and in both cases the sequence {d(y n, y n+2 )} is bounded. Now, if lim d(y n, y n+2 ) = (5) n + does not hold, then there exists a subsequence {y nk } of {y n } such that d(y nk, y nk +2) s >. From and d(y nk 1, y nk +1) d(y nk 1, y nk ) + d(y nk, y nk +2) + d(y nk +1, y nk +2) d(y nk, y nk +2) d(y nk 1, y nk ) + d(y nk 1, y nk +1) + d(y nk +1, y nk +2) we deduce that lim d(y n k 1, y nk +1) = s. k + Now, by (1) with x = x nk and y = x nk +2, we have ψ ( d(t x nk, T x nk +2) ) ψ ( α(fx nk, fx nk +2)d(T x nk, T x nk +2) ) ψ ( M(x nk, x nk +2) ) ϕ ( M(x nk, x nk +2) ), (6) Nonlinear Anal. Model. Control, 214, Vol. 19, No. 1, 43 54

48 V. La Rosa, P. Vetro where M(x nk, x nk +2) = max { d(fx nk, fx nk +2), d(fx nk, T x nk ), d(fx nk +2, T x nk +2) } This implies = max { d(y nk 1, y nk +1), d(y nk 1, y nk ), d(y nk +1, y nk +2) }. lim M(x n k, x nk +2) = s. k + From (6) as k +, we get ψ(s) ψ(s) ϕ(s) which implies s =. Now, if possible, let {y n } be not a Cauchy sequence. Then there exists ε > for which we can find subsequences {y mk } and {y nk } of {y n } with n k > m k k such that d(y mk, y nk ) ε. (7) Further, corresponding to m k, we can choose n k in such a way that it is the smallest integer with n k m k 3 and satisfying (7). Then Now, using (7), (8) and the rectangular inequality, we get ε d(y mk, y nk ) d(y mk, y nk 1) < ε. (8) d(y nk, y nk 2) + d(y nk 2, y nk 1) + d(y nk 1, y mk ) < d(y nk, y nk 2) + d(y nk 2, y nk 1) + ε. Letting k + in the above inequality, using (4) and (5), we obtain From d(y mk, y nk ) d(y mk 1, y mk ) d(y nk 1, y nk ) d(y mk, y nk ) ε +. (9) d(y nk 1, y mk 1) d(y nk 1, y nk ) + d(y mk, y nk ) + d(y mk 1, y mk ), letting k +, we obtain From (1) with x = x nk and y = x mk, we get where d(y mk 1, y nk 1) ε. (1) ψ ( d(t x mk, T x nk ) ) ψ ( α(fx mk, fx nk )d(t x mk, T x nk ) ) ψ ( M(fx mk, fx nk ) ) ϕ ( M(fx mk, fx nk ) ), M(fx mk, fx nk ) = max { d(fx mk, fx nk ), d(fx nk, T x nk ), d(fx mk, T x mk ) } = max { d(y nk 1, y mk 1), d(y nk 1, y nk ), d(y mk 1, y mk ) }. www.mii.lt/na

Common fixed points for α-ψ-ϕ-contractions 49 Now, using the continuity of ψ and the lower semi-continuity of ϕ as k +, we obtain ψ(ε) ψ(ε) ϕ(ε), which implies that ε =, a contradiction with ε >. Hence, {y n } is a GMS Cauchy sequence. Since (fx, d) is GMS complete, there exists z fx such that y n z. Let y X be such that fy = z. Since X is α-regular there exists a subsequence {y nk } of {y n } such that α(y nk 1, fy) 1 for all k N. If fy T y, applying inequality (1) with x = x nk, we obtain ψ ( d(t x nk, T y) ) ψ ( α(fx nk, fy)d(t x nk, T y) ) ψ ( M(fx nk, fy) ) ϕ ( M(fx nk, fy) ), where M(fx nk, fy) = max { d(fx nk, fy), d(fx nk, T x nk ), d(fy, T y) } = max { d(y nk 1, fy), d(y nk 1, y nk ), d(fy, T y) }. Now, from d(y nk 1, fy), d(y nk 1, y nk ) as k +, for k great enough, we deduce M(fx nk, fy) = d(fy, T y). On the other hand, implies d(fy, T y) d(fy, y nk 1) + d(y nk 1, y nk ) + d(t x nk, T y) d(fy, T y) lim inf k + d(t x n k, T y). Since ψ is continuous and nondecreasing, for k great enough, we get ψ ( d(fy, T y) ) lim inf k + ψ( d(t x nk, T y) ) ψ ( d(fy, T y) ) ϕ ( d(fy, T y) ) which implies d(fy, T y) =, that is, z = fy = T y and so z is a point of coincidence for T and f. Suppose that there exist n, p N such that y n = y n+p. We prove that p = 1, then fx n+1 = T x n = T x n+1 = y n+1 and so y n+1 is a point of coincidence of T and f. Assume p > 1, this implies that d(y n+p 1, y n+p ) >. Using (3), we obtain ψ ( d(y n, y n+1 ) ) = ψ ( d(y n+p, y n+p+1 ) ) ψ ( d(y n+p 1, y n+p ) ) ϕ ( d(y n+p 1, y n+p ) ) < ψ ( d(y n+p 1, y n+p ) ). Since the sequence d(y n, y n+1 ) is decreasing, we deduce ψ ( d(y n, y n+1 ) ) < ψ ( d(y n, y n+1 ) ), Nonlinear Anal. Model. Control, 214, Vol. 19, No. 1, 43 54

5 V. La Rosa, P. Vetro a contradiction and, hence, p = 1. We deduce that T and f have a point of coincidence. The uniqueness of the point of coincidence is a consequence of the conditions (1) and (iv), and so we omit the details. Now, if z is the point of coincidence of T and f as T and f are weakly compatible, we deduce that fz = T z and so z = fz = T z. Consequently, z is the unique common fixed point of T and f. From Theorem 3, if we choose f = I X the identity mapping on X, we deduce the following corollary. Corollary 1. Let (X, d) be a complete GMS, let T be a self-mapping on X and α : X X [, + [. Assume that the following condition holds: ψ ( α(x, y)d(t x, T y) ) ψ ( M(x, y) ) ϕ ( M(x, y) ) (11) for all x, y X, where ψ Ψ, ϕ Φ and M(x, y) = max { d(x, y), d(x, T x), d(y, T y) }. Assume also that the following conditions hold: (i) T is α-admissible; (ii) there exists x X such that α(x, T x ) 1; (iii) X is α-regular and, for every sequence {x n } X such that α(x n, x n+1 ) 1, we have α(x m, x n ) 1 for all m, n N with m < n; (iv) either α(u, v) 1 or α(v, u) 1 whenever u = T u and v = T v. Then T has a unique fixed point. From Theorem 3, if the function α : X X [, + [ is such that α(x, y) = 1 for all x, y X, we deduce the following theorem. Theorem 4. Let (X, d) be a GMS and let T and f be self-mappings on X such that T X fx. Assume that (fx, d) is a complete GMS and that the following condition holds: ψ ( d(t x, T y) ) ψ ( M(x, y) ) ϕ ( M(x, y) ) (12) for all x, y X, where ψ Ψ, ϕ Φ and M(x, y) = max { d(fx, fy), d(fx, T x), d(fy, T y) }. Then T and f have a unique point of coincidence in X. Moreover, if T and f are weakly compatible, then T and f have a unique common fixed point. Let X be a non-empty set. If (X, d) is a GMS and (X, ) is a partially ordered set, then (X, d, ) is called a partially ordered GMS. Then x, y X are called comparable if x y or y x holds. Let (X, ) be a partially ordered set and T, f : X X be two mappings. T is called an f-nondecreasing mapping if T x T y whenever fx fy for all x, y X. From Theorem 3, in the setting of partially ordered GMS spaces, we obtain the following theorem. www.mii.lt/na

Common fixed points for α-ψ-ϕ-contractions 51 Theorem 5. Let (X, d, ) be a partially ordered GMS and let T and f be self-mappings on X such that T X fx. Assume that (fx, d) is a complete GMS and that the following condition holds: ψ ( d(t x, T y) ) ψ ( M(x, y) ) ϕ ( M(x, y) ) (13) for all x, y X such that fx fy, where ψ Ψ and ϕ Φ with ψ(t) ϕ(t) for all t, and M(x, y) = max { d(fx, fy), d(fx, T x), d(fy, T y) }. Assume also that the following conditions hold: (i) T is f-nondecreasing; (ii) there exists x X such that fx T x ; (iii) if {x n } X is such that x n x n+1 for all n N and x n x, then there exists a subsequence {x nk } of {x n } such that x nk x for all k N; (iv) for all u, v X such that fu = T u and fv = T v, then fu and fv are comparable. Then T and f have a unique point of coincidence in X. Moreover, if T and f are weakly compatible, then T and f have a unique common fixed point. Proof. Define the mapping α : X X [, + [ by { 1 if x, y fx and x y, α(x, y) = otherwise. The reader can show easily that T is an f-α-admissible mapping. Now, let {x n } be a sequence in X such that α(x n, x n+1 ) 1 for all n N and x n x X as n +. By the definition of α, we have x n, x n+1 fx and x n x n+1 for all n N. Since fx is complete, we deduce that x fx. By (iii), there exists a subsequence {x nk } of {x n } such that x nk x for all k N and so α(x nk, x) 1 for all k N and so X is α-regular. Moreover, α(x m, x n ) 1 for all m, n N with m < n. Hence, (iii) of Theorem 3 holds. The same considerations show that (ii) and (iv) of this theorem imply (ii) and (iv) of Theorem 3. Thus the hypotheses (i) (iv) of Theorem 3 are satisfied. Also the contractive condition (1) is satisfied, since α(fx, fy) = 1 for all x, y X such that fx fy. Otherwise ψ(α(fx, fy)d(t x, T y)) = and so condition (1) holds. By Theorem 3, T and f have a unique common fixed point. Now, from Theorem 3, we can derive many interesting fixed point results in generalized metric spaces. Denote by Λ the set of functions γ : [, + [ [, + [ Lebesgue integrable on each compact subset of [, + [ such that, for every ε >, we have ε γ(s) ds >. Nonlinear Anal. Model. Control, 214, Vol. 19, No. 1, 43 54

52 V. La Rosa, P. Vetro As the function ψ : [, + [ [, + [ defined by ψ(t) = t γ(s) ds belongs to Ψ, we obtain the following theorem. Theorem 6. Let (X, d) be a GMS and let T and f be self-mappings on X such that T X fx and α : X X [, + [. Assume that (fx, d) is a complete GMS and that the following condition holds: α(fx,fy)d(t x,t y) γ(s) ds for all x, y X, where γ, δ Λ and M(x,y) γ(s) ds M(x,y) δ(s) ds M(x, y) = max { d(fx, fy), d(fx, T x), d(fy, T y) }. Assume also that the following conditions hold: (i) T is f-α-admissible; (ii) there exists x X such that α(fx, T x ) 1; (iii) X is α-regular and, for every sequence {x n } X such that α(x n, x n+1 ) 1, we have α(x m, x n ) 1 for all m, n N with m < n; (iv) either α(fu, fv) 1 or α(fv, fu) 1 whenever fu = T u and fv = T v. Then T and f have a unique point of coincidence in X. Moreover, if T and f are weakly compatible, then T and f have a unique common fixed point. Taking δ(s) = (1 k)γ(s) for k [, 1[ in Theorem 6, we obtain the following result. Theorem 7. Let (X, d) be a GMS and let T and f be self-mappings on X such that T X fx and α : X X [, + [. Assume that (fx, d) is a complete GMS and that the following condition holds: α(fx,fy)d(t x,t y) γ(s) ds k M(x,y) γ(s) ds for all x, y X, where k [, 1[. Assume also that the following conditions hold: (i) T is f-α-admissible; (ii) there exists x X such that α(fx, T x ) 1; (iii) X is α-regular and, for every sequence {x n } X such that α(x n, x n+1 ) 1, we have α(x m, x n ) 1 for all m, n N with m < n; (iv) either α(fu, fv) 1 or α(fv, fu) 1 whenever fu = T u and fv = T v. Then T and f have a unique point of coincidence in X. Moreover, if T and f are weakly compatible, then T and f have a unique common fixed point. www.mii.lt/na

Common fixed points for α-ψ-ϕ-contractions 53 Example 1. Let X = [, 1] and A = {1/2, 1/3, 1/4}. Define the generalized metric d on X as follows: ( 1 d 2, 1 ) ( 1 = d 3 4, 1 ) = 3 ( 1 5 5, d 2, 1 ) ( 1 = d 5 3, 1 ) = 2 4 5, ( 1 d 2, 1 ) ( 1 = d 4 5, 1 ) = 6, d(x, y) = x y otherwise. 3 5 Clearly, (X, d) is a complete GMS. Let T : X X and ψ, ϕ : [, + [ [, + [ be defined by T x = { 1 4 if x A, 1 x if x [, 1] \ A, ψ(t) = t and ϕ(t) = t 5. Finally, consider α : X X [, + [ given by { 1 if x, y A or x = y, α(x, y) = otherwise. Then T and α satisfy all the conditions of Corollary 1 and, hence, T has a unique fixed point on X, that is, x = 1/4. We note that if X is endowed with the standard metric d(x, y) = x y for all x, y X, then there do not exist ψ, ϕ : [, + [ [, + [, where ψ Ψ and ϕ Φ, such that ψ ( d(t x, T y) ) ψ ( M(x, y) ) ϕ ( M(x, y) ) for all x, y X. Acknowledgment. helpful comments. The authors would like to thank the editor and reviewers for their References 1. A. Branciari, A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces, Publ. Math. Debrecen, 57:31 37, 2. 2. J. Ahmad, M. Arshad, C. Vetro, On a theorem of Khan in a generalized metric space, International Journal of Analysis, 213, Article ID 852727, 6 pp., 213. 3. A. Azam, M. Arshad, Kannan fixed point theorem on generalized metric spaces, J. Nonlinear Sci. Appl., 1:45 48, 28. 4. P. Das, A fixed point theorem in a generalized metric space, Soochow J. Math., 33:33 39, 27. 5. P. Das, B.K. Lahiri, Fixed point of contractive mappings in generalized metric spaces, Math. Slovaca, 59:499 54, 29. Nonlinear Anal. Model. Control, 214, Vol. 19, No. 1, 43 54

54 V. La Rosa, P. Vetro 6. A. Fora, A. Bellour, A. Al-Bsoul, Some results in fixed point theory concerning generalized metric spaces, Mat. Vesnik, 61:23 28, 29. 7. B.K. Lahiri, P. Das, Fixed point of a Ljubomir Ćirić s quasi-contraction mapping in a generalized metric space, Publ. Math. Debrecen, 61:589 594, 22. 8. D. Miheţ, On Kannan fixed point principle in generalized metric spaces, J. Nonlinear Sci. Appl., 2:92 96, 29. 9. B. Samet, A fixed point theorem in a generalized metric space for mappings satisfying a contractive condition of integral type, Int. J. Math. Anal., 3:1265 1271, 29. 1. B. Samet, Discussion on: A fixed point theorem of Banach Caccioppoli-type on a class of generalized metric spaces by A. Branciari, Publ. Math. Debrecen, 76:493 494, 21. 11. I.R. Sarma, J.M. Rao, S.S. Rao, Contractions over generalized metric spaces, J. Nonlinear Sci. Appl., 2:18 182, 29. 12. H. Lakzian, B. Samet, Fixed point for (ψ, ϕ)-weakly contractive mappings in generalized metric spaces, Appl. Math. Lett., 25:92 96, 212. 13. C. Di Bari, P. Vetro, Common fixed points in generalized metric spaces, Appl. Math. Comput., 218:7322 7325, 212. 14. B. Samet, C. Vetro, P. Vetro, Fixed point theorems for α-ψ-contractive type mappings, Nonlinear Anal., 75:2154 2165, 212. www.mii.lt/na