Some Common Fixed Point Theorems Satisfying Meir-Keeler Type Contractive Conditions

In this article, we establish some common fixed point results for two pairs of compatible mappings satisfying Meir-Keeler type contractive conditions in metric space and dislocated metric space which extend and improve some similar fixed point results in the literature.


Introduction
The word metrics plays a dominant role in most of the fields like, geometry, economics, statistics, graph theory, probability theory, coding theory, game theory, pattern recognition, computer graphics, theory of information and computer semantics, molecular biology etc. M Frechet in 1906, first time introduced the notion of metric space which is now a very useful topic in mathematical analysis.In 1912, L. E. J. Brouwer [1] established a topological fixed point theorem.In 1922, S. Banach [2] established a contraction mapping theorem in a complete metric space, is a primary result of functional analysis.After the establishment of contraction mapping theorem, various authors generalized the theorem and established a huge number of fixed point results in the literature.
In 1969, A. Meir and E. Keeler [3] obtained a remarkable generalization of Banach Contraction principle with the notion of weakly uniformly strict contraction which is famous as ( ) δ −  contraction principle.This theorem has also been generalized by various authors for single, pairs and even for sequence of mappings.
There exists a vast literature which generalizes the result of Meir and Keeler.Maiti and Pal [4]  Park-Rhoades [5] and Rao-Rao [6] extended this result for two self mapping S and T in a metric space ( ) In 1986, Jungck [7] and Pant [8] extended the results for four mappings.
The study of common fixed points satisfying contractive type conditions has been a very active field of research activity.The most general common fixed point theorems for four mappings, say A, B, S and T of a metric space ( ) The contractive condition (2) ensures the existence of a fixed point, only when φ satisfies some additional conditions.
The following conditions on the function φ have introduced and employed by various authors for the establishment of fixed point 1) ( ) t φ is non decreasing and ( ) 3) φ is upper semi-continuous [11] [12] [13].4) φ is non decreasing and continuous from the right [14].
In 1985, S. G. Matthwes [15] generalized Banach Contraction Mapping Theorem under metric domains in domain theory.In 2000, P. Hitzeler and A. K.
Seda [16] provided a generalization on the notion of topology and gave a name as dislocated topology.He presented variants of Banach Contraction Principle for various modified forms of metric space including dislocated metric space.
Since then, many authors have established fixed point theorems in dislocated metric space.In the literature one can find many interesting recent articles in the field of dislocated metric space (See for examples [17]  In this paper, we establish some common fixed point theorems for two pairs of compatible and weakly compatible mappings satisfying Meir-Keeler type contractive condition in dislocated metric space.

Preliminaries
We start with the following definitions and theorems.
Definition 1. [16] Let X be a non empty set and let × → ∞ be a function satisfying the following conditions: 1) ( ) d x y d x z d z y ≤ + for all , , x y z X ∈ .If d satisfies the conditions 1 -4 Then d is called the metric on X and the pair (X, d) is called the metric space.If d satisfies the conditions 2 -4, then d is called the d-metric on X and the pair (X, d) is called the dislocated metric space.Definition 2. [3] A self mapping T of a metric space (X, d) is called a weakly uniformly strict contraction or simply an ( ) Theorem 1. [3] Let (X, d) be a complete metric space and : T X X → is weakly uniformly strict contraction then T has a unique common fixed point, say z and for any x X ∈ , lim Definition 3. [7] Two mappings S and T from a metric space (X, d) into itself are called compatible if

Sx Tx x
→∞ →∞ = = for some x X ∈ Definition 4. [22] Let A and S be mappings from a metric space ( ) , X d into itself.Then, A and S are said to be weakly compatible if they commute at their coincident point; that is, Ax Sx = for some x X ∈ implies ASx SAx = .
Definition 5. [23] Two self mappings A and S of a metric space (X, d) are called reciprocally continuous if for some t X ∈ .
If A and S both are continuous they are obviously reciprocally continuous but the converse is not true.

Main Results
Now we establish the following lemma in dislocated metric space.
Lemma 1.Let (X, d) be a dislocated metric space.Let , , , : Assume further that given for each 0 ε > there exists 0 δ > such that for all , x y X ∈ ( ) ( ) and     Now, we establish a common fixed point theorem for two pairs of compatible mappings in metric space.Theorem 2. Let (X, d) be a complete metric space.Let , , , : such that the pairs (A, S) and (B, T) be compatible mappings which satisfy the following conditions Given, 0, 0

x y d Sx Ty d Ax Sx d By Ty d Ax Ty d By Sx
then by Jachymski's lemma [11] This implies that ( ) Since, ( ) ( )

A X T X ⊂
there exists a point w X ∈ such that Az Tw = .We claim that Bw Tw = .If Bw Tw ≠ , then by using condition (8) we get, which is a contradictions, so ( ) . Thus Az is the common fixed point of the mappings A and S.
Similarly we obtain ( )

Bw Az
= is the common fixed point of the mappings B and T.

Uniqueness:
If possible, let u and v ( ) are two common fixed points of the maps A, B, S and T. Now by virtu of ( 8) which is a contradiction.This shows that ( ) The proof is similar when the mappings B and T are assumed compatible and reciprocally continuous.This completes the proof of the theorem.Now, on the light of above theorem, one can establish the following corollaries easily.
Corrollary 1.Let (X, d) be a complete metric space.Let , , : such that the pairs (A, S) and (B, S) be compatible mappings which satisfy the following conditions

x y d Sx Sy d Ax Sx d By Sy d Ax Sy d By Sx
suppose that the mappings in one of the pairs (A, S) or (B, S) are reciprocally continuous, then A, B and S have a unique common fixed point.
Corrollary 2. Let (X, d) be a complete metric space.Let , , : such that the pairs (A, S) and (A, T) be compatible mappings which satisfy the following conditions

x y d Sx Ty d Ax Sx d Ay Ty d Ax Ty d Ay Sx
Suppose that the mappings in one of the pairs (A, S) or (A, T) are reciprocally continuous, then A, S and T have a unique common fixed point.
Corrollary 3. Let (X, d) be a complete metric space.Let , : A S X X → such that the pair (A, S) be compatible mappings which satisfy the following conditions ( ) ( ) Suppose that the mappings in one of the pairs ( ) , X B I are reciprocally continuous, then A, B, I X have a unique common fixed point.Now, we establish a common fixed point theorem for two pais of compatible mappings in dislocated metric space.Theorem 3. Let (X, d) be a complete dislocated metric space.Let , , , : A B S T X X → such that the pairs (A, S) and (B, T) be compatible mappings which satisfy the following conditions Given,  Since, ( ) ( )

A X T X ⊂
there exists a point w X ∈ such that Az Tw = .We

ε
established a fixed point theorem for a self map T of a metric D. Panthi DOI: 10.4236/ojdm.2018.8200436 Open Journal of Discrete Mathematicsspace satisfying the following condition which is the generalization of weakly uniformly strict contraction(1).For every 0 [18] [19] [20] [21]).The D. Panthi DOI: 10.4236/ojdm.2018.8200437 Open Journal of Discrete Mathematics study of dislocated metric plays very important role in Topology, semantics of logic programming and in electronics engineering.
Suppose that the mappings in one of the pairs (A, S) or (B, T) are reciprocally continuous, then A, B, S and T have a unique common fixed point.
y d x Ax d Ax By k d x y d Ax x d By y d x By d By y d Ax y d Ax y d By x d x By Suppose that the pair (A, S) is reciprocally continuous, then A, and S have a unique common fixed point.Corrollary 4. Let (X, d) be a complete metric space.Let , , : Moreover, by virtu of (14) for large m we obtain, be any point in X. Define sequences { } n x and { } 2 , m d Bz Sz r ≥ )