Abstrsact

The main aim of these paper is to present some fixed point theorems for self mappings satisfying
certain contraction which is involving an auxiliary function. Also ,the results is obtained for the existence
of a comman fixed point and coincidence point for generalize and ordered complete b- metric
space ,Our results generalizes and exntds some well known results existing in the literature.

Introduction

Metric fixed point theory has been the centre of expansive research for several researchers fixed
point theory has become an important tool for solving many non-Linear problems related to
science and engineering because of its applications. The Banach contraction Principle is one of
the most versitile result in fixed point theory and approximation theory. It plays an important role
in solving many existing problems in pure and applied mathematics. There is a vast liturature
dealing with teachnical extentions and generalization of Banach contraction Principle ,see,for
ex[].In recent times, fixed point of mappings in ordered metric spaces are of great use in many
branches of mathematical analysis for solving non linear equations .The first result in direction
was initiated direction was initiated by Walk [11] and later monjardet [12] in partially ordered
sets. Ram and Reurings [13] Studied the existence of fixed points for certain mappings in
partially ordered metric spaces and applied their results to matrix equations. The result of[13]
were extended by Nieto et al. [2,3] for non-decreasing mappings and obtained the solutions of
certain Partial differential equations with periodic boundary conditions. At the same time , the
results regarded to genralized contractions in ordered space were studied by Agarwal et al.[4]
and O’ Regan et al.[5]. There have been a lot of generalizations and improvments of the results
for single valued and multivalued operators in various ordered spaces with topological properties
, Some of which are in [18-32,48] in[32] , Dass and Gupta proved the following fixed point
result for rational contraction in a complete metric space.

Theorem 1.1: [32] Suppose (X,d) is a complete metric space ,Let S : X → X be a mapping such
that there exist α , βϵ [0 , 1] with α + β< 1 satifying

d ( y , Sy ) [ 1+d ( x , Sx ) ]
d ( Sx , Sy ) ≤ α + β d (x , y )
1+d ( x , y )

For any distinct x , y ∈ X . Then S has a unique fixed point in X.

The generalization of above result in partially ordered metric space was given by Cabrera et al.
[33] in 2013. Later,Chandok et al. [34] generalized the result of [33] by use of control functions
in the space, again ,Theorem 1.1 was generalized by Jaggi [35] in 1977 and proved the following
Theorem 1.2 [35]. Suppose (X,d) is a complete metric space. A Self maps on X such that

d ( y , Sy ) d ( x , Sx )
d ( Sx , Sy ) ≤ α + βd (x , y )
d (x, y)
For all x , y ∈ X with x ≠ y , where α , β ∈¿ with α + β< 1. Then S has a unique fixed point in X.

This result was again proved by Harjani et al. [36] in a complete metric space endwed with
partially ordered metric space.

On the otherhand , in 1989 , Bakhtin[18] introduced the concept of b- metric space which is a
generalization of metric space. Using the idea Many researcher like Czerwik [19,20] , Mehmat
kir [M. kir ,H. Kiziltunk, on Some well known fixed point theorems in b-metric spaces, Turkish
Journal of Analysis and Number theory, 1(2013),13-16]. Therefore , lot of improvements have
been done in finding fixed points for single valued and multivalued operators in that space ,the
reader may refer to [21-29].

In these paper, We prove some results for fixed point and uniqueness for self mappings using
generalized ( ∅ , φ ) weak contraction in orderd complete b- metric space .Our results extends and
generalizes the result of [38],[39],[*] and several comparable results existing in the literature.

Example (1) ( b- Metric space ) – let X = N ∪ { ∞ } . We define a mapping

{
0 if m=n

| |
1 1
d ( m ,n )= m − n if one of m, n is even∧theotherwise is even∨odd
5if one of m , n iseven∧the otherwise is even∨odd
2 otherwise m=n

5
Then ( x , d ) is a b – metric space with cofficient s= .
2

Example (2¿ X {4 , 5 , 6 }∧d (4 , 5)=d ¿

4
and d(x,z) =
3
[ d ( x , y ) +d ( y , z)] for all x , y , zϵX .

4
Then (X , d ) is a b-metric space (s= ) but (X,d) is not a metric space because it lacks the
3
tringular property.

4= λ ( 4 ,6 )> d ( 4 , 5 ) +d ( 5 , 6 )=1+2=3
[Main Results]

We begin this Section with the following theorem

Theorem : Let (X , d , s ,≤) be a complete partially ordered b-metric space with parametor s ≥1 , let
s : X → X be a continous non decreasing mapping with regards to ≤ such that there exists x 0 ϵX
with x 0 ϵs x 0 . Suppose that

∅ ( sd ( sx , sy ) ) ≤ ∅ ¿

Where ϕϵ Φ ,ωϵ Ψ for only x , y ϵ X with x ≤ y∧¿

d ( y , sy ) [ 1+d ( x , sx ) ]
M ( x , y )=max ⁡{d ( x , y ) , d ( x , Sx ) , d ( y , Sy ) , ,
1+ d (x , y )
d ( y , Sx ) [1+d ( x , sy ) ] d ( x , y ) [1+ d ( x , sx ) + d ( y , sx ) ]
, }
1+d (x , y ) 1+d (x , y)

Then s has a fixed point in X .

Proof : If for some x 0 ϵX such that S x 0=x 0 then there is nothing to prove that .So we may assume
that x 0 <s x 0 , then construct a sequnce { x n } ⊂ X by x n+1=s x n for n≥ 0

But s is non deacreasing then , by mathematical induction , We get the following

x 0 <s x 0=x 1 ≤ s x 1=x 2 ≤ …≤ s x n+1=x n ≤ s x n=x n+ 1 ≤ … 3

If for some n 0 ϵN such that x n 0=x n 0+1 then from 3 x n 0+1 then from 3 x n 0 is a fixed point of S and
We hsve nothing to prove . Suppose that x n ≠ x n+1 i.e. d (x n , xn +1)>0 for all n ≥ 1.

Since x n > x n+1 for any n ≥ 1 and then by 1 , we have

∅¿

≤ ∅ ( M ( x n−1 , x n ) ) −φ ¿

Where,

M ( x n−1 , x n )=max ⁡{d ( x n−1 , x n ) , d ( x n−1 , s x n−1 ) , d( xn , s xn )

d ( x n , s xn ) [1+ d ( x n−1 , s x n−1 ) ]

,
1+ d (x n−1 , x n)

d ( x n , s xn −1 ) [1+d ( x n−1 , s x n ) ]
,
1+ d (x n−1 , x n)

d ( x n−1 , x n ) ¿ ¿

¿ max {d ( x n−1 , x n ) , d (x n−1 ¿ , x n), d ( x n , x n+1 ) , ¿

d ( x n+1 , x n ) , d (x n , x n +1) }

¿ max ⁡{d ( x n , x n+1 ) , d ( x n−1 , x n ) 5

Which implies that ,

∅ ( x n , x n+1 ) ≤ ∅ ( d ( x n , x n+1 ) ) −φ (d ( xn , x n+1 ) )

¿ ∅ ( x n , x n+1 ) 7

Which is contradiction,

This max{d ( x n , x n+ 1) , d ( x n , x n+1 ) }=d ( x n , x n +1 ) forn ≥ 1

Hence from 6 ,We have

∅¿

Therefore , the sequnce {d ( x n , xn −1 ) , d ( x n−1 , x n )forn ≥ 1 is a monotone nondeacreasing and

bounded from a result ,We have

lim d ( x n , x n+1 )= p ≥ 0 9
n →+∞
Now taking the upper limit on both side of 4 ,we obtain

∅ ()≤

Which is again a contraction. Thus p=0

Hence d ( x n , x n+ 1) → 0asn →+∞

We now claim that { x n } is a cauchy sequnce in X, that is for every ϵ >0 there exist kϵN such that
d ( x m , x n ) < ϵ for allm , n≥ k . Assume to the contrary that there exist ϵ >0 for which we can find
subsequnce {x m ( k ) }, x n (k ) } of {x n } such that n ( k )> m ( k ) ≥ k , m ( k )is even andn ( k )is odd.

d ( x m (k ) , x n(k) ) ≥ ϵ 11

And n(k) is the smallest number such that (11) holds,

From (11), we get d ( x m (k ) , x n(k) ) < ϵ 12

Using tringular inequality in (11),we get

ϵ ≤ d ( x m (k) , x n (k) ) ≤ s d ( x m (k ) , x n (k )−1) +s ( x m(k) , x n (k )−1 )

s2 d ( x m (k ) , x m (k )−1 ) + s 2 d ( x m ( k )−1 , x n (k )−1 ) + sd ( x n (k )−1 , x n (k )) 13

Furthermore,

d (x ¿ ¿ m ( k )−1 , x n (k )−1 )≤ s d (x ¿ ¿ m ( k )−1 , x m (k ))+sd ( x m (k ) , x n( k )−1 )¿ ¿

≤ sd ( x m ( k )−1 , x m (k ) ) + sε

Letting k →+∞ in eq.(13) and (14) and combaining together ,we obtain the following inequality

ε
2
≤ lim ¿ d (x ¿ ¿ m ( k )−1 , x n (k )−1 )≤ sε15 ¿
s k→+ ∞

Similarly, we can get the following inequality by ,using triangular inequality

ε
2
≤ lim inf d (x ¿ ¿ m ( k ) −1, x n (k )−1)≤ sε 16 ¿
s k→+ ∞
 and
ε 2
≤ lim ¿ d ( x ¿ ¿ m ( k )−1 , x n ( k ))≤ s ε 17 ¿
s k →+∞

Let M (x ¿ ¿ m ( k )−1 , x n (k )−1 )¿

¿ max ¿ ¿

d ( x n (k )−1 , s x n ( k )−1 ) [1+d ( x m (k )−1 , s xm (k)−1 ) ]

( dx n( k )−1 , sx n ( k )−1 ) , 1+d (x m (k)−1 , x n (k )−1)

d ( x n( k )−1 , s x m ( k )−1 ) [1+ d ( x m (k )−1 , s x n (k)−1 ) ]

1+d (x m (k )−1 , x n (k )−1 )

d ( x m (k )−1 , x n (k )−1 ) ¿ ¿

¿ max ¿ d (x ¿ ¿ m ( k )−1, x n (k )−1 ), d (x ¿ ¿ m ( k )−1 , x n (k )) , d (x ¿ ¿ n ( k ) −1, x n (k ))¿ ¿ ¿ ¿

d ( x n( k )−1 , x n ( k ) ) [1+d ( x m (k )−1 , x m(k) ) ]

1+ d( xm (k)−1 , x n ( k )−1)

d ( x n( k )−1 , s x m ( k ) ) [1+d ( x m (k )−1 , x n(k) ) ]

1+ d (x m(k )−1 , x n (k )−1 )

d ( x m (k )−1 , x n (k )−1 ) ¿ ¿ 18

From 18 we obtain the following inequalities

ε
2
≤ lim ¿ M ( x ¿ ¿ m ( k )−1 , x n ( k )−1)≤ sε 19 ¿
s k→+ ∞

And
ε
2
≤ lim inf M (x ¿ ¿ m ( k )−1 , x n (k )−1 )≤ sε 20 ¿
s k→+ ∞

From 3 ,we have x m (k )−1< x n ( k )−1, then

∅¿

≤ ∅ ( M ( x m (k )−1 , x n (k)−1 ) )−φ ¿

Now letting K →+∞ and using19 , 20 ,we obtain

∅ ( sε ) ≤ ∅ ¿

≤ ∅ lim ¿ M (x ¿ ¿ m ( k )−1 , x n ( k )−1)− lim φ inf (x ¿ ¿ m ( k )−1 , xn ( k )−1)¿ ¿

k→+ ∞ k →+∞

≤ ∅ ( sε ) −φ lim inf M (x ¿ ¿ m ( k ) −1, x n (k )−1)¿

k →+∞

≤ ∅ ( sε )

Which is a contraction .Hence { x n } is a Cauchy sequence and converge to some x ¿ ∈ X as X is

complete.

Also,the continuity of s implies that

¿
sx =s ¿

Therefore x ¿ is a fixed point of s in X.This completes the proof of the theorem,//