15

Some coupled xed point theorems in partially ordered S

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Some coupled xed point theorems in partially ordered S

Miskolc Mathematical Notes HU e-ISSN 1787-2413Vol. 16 (2015), No 1, pp. 181-194 DOI: 10.18514/MMN.2015.1135

Some coupled �xed point theorems in

partially ordered S-metric spaces

Vishal Gupta and Raman Deep

Page 2: Some coupled xed point theorems in partially ordered S

Miskolc Mathematical Notes HU e-ISSN 1787-2413Vol. 16 (2015), No. 1, pp. 181–194

SOME COUPLED FIXED POINT THEOREMS IN PARTIALLYORDERED S-METRIC SPACES

VISHAL GUPTA AND RAMAN DEEP

Received 18 February, 2014

Abstract. In this paper, we prove some fixed point results using mixed weakly monotone prop-erty and altering distance function in the setting of S-metric space. Our result generalizes theresult of Lakshmikantham and Ciric [V. Lakshmikantham and L. Ciric, Coupled common fixedpoint theorems for nonlinear contractions in partially ordered metric spaces, Nonlinear Analysis,70, (2009), 4341 - 4349].

2010 Mathematics Subject Classification: 54H25; 47H10

Keywords: fixed point, S-metric space, partially ordered space, mixed weakly monotone prop-erty

1. INTRODUCTION

In functional analysis, the concept of space is very broad and astonishing. A spacewill be a set of unspecified elements satisfying certain axioms, and by choosing dif-ferent set of axioms, we shall obtain different type of spaces. In partially orderedset, as the name indicates, ordering and sequencing is defined between the elementsof a set. Although there are some elements in the set which are not related. A setin which all elements are related is called totally ordered set. In [18] Marr definesthe concept of convergence in partially ordered metric space. Also, he tried to obtaina relation between metric space and partially ordered metric space, and claimed thatthe fixed point theorems in metric spaces are the particular cases of fixed point resultsin partially ordered metric spaces.

Definition 1 ([18]). A partially ordered space is a set X with a binary relation �,which satisfy the three conditions:

(1) x � x for all x 2X ;(2) x � y and y � ´ implies x � ´ for all x;y;´ 2X ;(3) x � y and y � x implies x D y for all x;y 2X .

There is vast literature of obtaining fixed points using different contractive condi-tions. In this direction, Dolbosco [3] took initiation to gave fixed point results usingaltering distance function or control function. Altering distance function measures

c 2015 Miskolc University Press

Page 3: Some coupled xed point theorems in partially ordered S

182 VISHAL GUPTA AND RAMAN DEEP

the distance between two points. Khan et. al. [15] worked on the concept of alteringdistance between points, for pair of self mappings. Also, Altun [1], Aydi [2], Guptaet al [8,9], Iseki [11] established theorems on sequence of self mappings with alteringdistance function.

Definition 2 ([15]). An altering distance function is a function W Œ0;1/ !Œ0;1/; which is

(1) monotone increasing and continuous,(2) .t/D 0 iff t D 0.

In 1963, Gahler [6] introduced the generalization of metric space and called it 2-metric space. Fixed point theorems in 2-metric space has been proved initially byIseki [12]. After that several authors proved fixed point results in the setting of 2-metric space. In 1979, Fisher [5] gave common fixed point results using commutingmapping. Jungck [13] and Kubiak [16] also proved some results using commutingand semi-commuting mappings. In 1992, Murthy [19] used compatible type map-ping to find fixed point, which is more general than commuting and semi-commutingmaps. After that in 1978, Khan [14] proved a result by taking a uniformly convergentsequence of 2-metrics in X. In 1988, Ha et al [10] objected on Gahler theory that2-metric space is not the generalization of metric space. He claimed that the contrac-tion mappings in these spaces are unrelated. These considerations inspired Dhage [4]to introduce a new metric namely D-metric. After that Sedghi and Shobe [22] gaveD� metric space which is more general than D-metric space. Further the topologicalproperties of D-metric space are objected by Mustafa [20] in 2003, and Mustafa [21]gave a more generalized metric called G-metric. He defined many concepts like con-vergence, continuity, completeness, compactness, product of spaces in the setting ofG-metric space and stated that every G-metric space is topologically equivalent to ametric space.

Definition 3 ([21]). Let X be a non-empty set and G W X �X �X ! Œ0;1/ be afunction satisfying the following conditions for all x;y;´;a 2X ,

(1) G .x;y;´/D 0 if x D y D ´;(2) 0 < G .x;x;y/ for all x;y 2X with x ¤ y;(3) G .x;x;y/�G .x;y;´/ for all x;y;´ 2X with x ¤ y;(4) G .x;y;´/DG .x;´;y/DG .y;´;x/ :::;(5) G .x;y;´/�G .x;a;a/CG .a;y;´/ for all x;y;´;a 2X .

Then the function G is called G-metric on X and the pair .X;G/ is called a G-metricspace.

In 2011, Sedghi and Shobe [23] introduced a more general space namely S-metricspace which is generalization of D� metric space and G-metric space.

Page 4: Some coupled xed point theorems in partially ordered S

SOME COUPLED FIXED POINT THEOREMS... 183

Definition 4 ([23]). Let X be a non-empty set. A generalized metric or S-metricon X is a function, S WX �X �X! Œ0;1/ that satisfies the following conditions forall x;y;´;a 2X ,

(1) S .x;y;´/� 0;(2) S .x;y;´/D 0 iff x D y D ´;(3) S .x;y;´/� S .a;y;´/CS .a;x;x/ :

Then the pair .X;S/ is called a S-metric space.

Example 1 ([23]). If X DRn; define(1) S .x;y;´/D kyCx�2´kCky�´k(2) S .x;y;´/D d .x;y/Cd .x;´/, here d is the ordinary metric on X.

Then .X;S/ is S-metric space.

Definition 5 ([23]). Let .X;S/ be a S-metric space and A�X ,(1) If for every x 2 A; there exists r > 0 such that BS .x;r/� A, then subset A

is called open subset of X.(2) Subset A of X is said to be S-bounded if there exists r > 0 such that

S .x;y;y/ < r for all x;y 2 A.(3) A sequence fxng in X converges to x if and only if S .xn;x;x/

D S .x;xn;xn/! 0 as n!1. That is, for each � > 0; there exists n0 2 N

such that S .x;xn;xn/ < � for all n� n0.(4) A sequence fxng in X is called a Cauchy sequence if for each � > 0, there

exists n0 2N such that S .xn;xm;xm/ < � for each n;m� n0.The S-metric space .X;S/ is said to be complete if every Cauchy sequenceis convergent.

(5) Let � be the set of all A�X with x 2A if and only if there exists r > 0 suchthat BS .x;r/� A. Then � is a topology induced by the S-metric S on X.

Also, Sedghi et. al. [24] gave some properties of S-metric space and proved fixedpoint theorems in this space. Nguyen [25] proved coupled fixed point in partiallyordered S-metric space with the help of mixed weakly monotone maps.Lakshmikantham and Ciric [17] introduced the concept of mixed g-monotone map-ping and proved coincidence fixed point theorems in partially ordered metric space.

Definition 6 ([17]). Let .X;�/ be a partially ordered set and F W X �X ! X

and g W X ! X . We say F has mixed g-monotone property if F is monotone g-non-decreasing in its first argument, and is monotone g-non-increasing in its secondargument,that is, for any x;y 2X;

x1;x2 2X;g .x1/� g .x2/ impliesF .x1;y/� F .x2;y/

and y1;y2 2X;g .y1/� g .y2/ impliesF .x;y1/� F .x;y2/ :

Page 5: Some coupled xed point theorems in partially ordered S

184 VISHAL GUPTA AND RAMAN DEEP

Theorem 1 ([17]). Let .X;�/ be a partially ordered set and F WX �X !X andsuppose there is a metric d on X such that .X;d/ is a complete metric space. Assumethat there is a function W Œ0;1/! Œ0;1/ with .t/ < t and

limr!tC

� .r/ < t for each t > 0:

Also suppose F W X �X ! X and g W X ! X are such that F has the mixed g-monotone property satisfying:

d .F .x;y/ ;F .u;v//� �

�d .g .x/ ;g .u//Cd .g .y/ ;g .v//

2

�;

for all x;y;u;v 2X , for which g .x/�g .u/ and g .y/�g .v/. ConsiderF .X �X/�g .X/, g is continuous and commutes with F and also suppose either

(1) F is continuousor

(2) X has the following property:(a) if a non-decreasing sequence fxng ! x, then xn � x for all n;(b) if a non-increasing sequence fyng ! y, then y � yn for all n.

If there exist x0;y0 2X such that g .x0/� F .x0;y0/ and g .y0/� F .y0;x0/

then there exist x;y 2X such that g .x/D F .x;y/ and g .y/D F .y;x/.

In 2012, Gordji et. al. [7] introduced the concept of the mixed weakly inceasingproperty of mappings and proved a coupled fixed point result.

Definition 7 ([7]). Let .X;�/ be a partially ordered set and f;g W X �X ! X bemappings. We say that a pair .f;g/ has the mixed weakly monotone property on X,if for any x;y 2X

x � f .x;y/ ;y � f .y;x/ ;

this implies

f .x;y/� g .f .x;y/ ;f .y;x// ;f .y;x/� g .f .y;x/ ;f .x;y//

and

x � g .x;y/ ;y � g .y;x/ ;

this implies

) g .x;y/� f .g .x;y/ ;g .y;x// ;g .y;x/� f .g .y;x/ ;g .x;y// :

Theorem 2 ([7]). Let .X;�;d / be a partially ordered complete metric space. Letf;g WX �X!X are mappings such that pair .f;g/ has the mixed weakly monotoneproperty on X. Suppose that there exist p;q;r; s � 0 with pC qC r C 2s < 1 suchthat

Page 6: Some coupled xed point theorems in partially ordered S

SOME COUPLED FIXED POINT THEOREMS... 185

d .f .x;y/ ;g .u;v//�p

2D..x;y/ ; .u;v//

Cq

2D..x;y/ ; .f .x;y/ ;f .y;x///

Cr

2D ..u;v/ ; .g .u;v/ ;g .v;u///

Cs

2D ..x;y/ ; .g .u;v/ ;g .v;u///

Cs

2D ..u;v/ ; .f .x;y/ ;f .y;x/// ;

for all x;y;u;v 2 X with x � u and y � v. Let x0;y0 2 X be such that x0 �

f .x0;y0/ ;y0 � f .y0;x0/ or x0 � g .x0;y0/ ;y0 � g .y0;x0/.If f or g is continuous, then f and g have a coupled common fixed point in X.

This result is generalized by Nguyen [25] to S-metric space as follows:

Theorem 3 ([25]). Let .X;�;S/ be a partially ordered S-metric space and f;g WX �X !X be two maps such that

(1) X is complete;(2) The pair .f;g/ has the mixed weakly monotone property on X, x0�f .x0;y0/ ;

f .y0;x0/� y0 or x0 � g .x0;y0/ ;g .y0;x0/� y0 for some x0;y0 2X ;(3) There exist p;q;r; s � 0 satisfying pCqC rC2s < 1 and

d .f .x;y/ ;f .x;y/ ;g .u;v//�p

2D..x;y/ ; .x;y/ ; .u;v//

Cq

2D..x;y/ ; .x;y/ ; .f .x;y/ ;f .y;x///

Cr

2D ..u;v/ ; .u;v/ ; .g .u;v/ ;g .v;u///

Cs

2D ..x;y/ ; .x;y/ ; .g .u;v/ ;g .v;u///

Cs

2D ..u;v/ ; .u;v/ ; .f .x;y/ ;f .y;x/// ;

for all x;y;u;v 2X with x � u and y � v;where D D ..x;y/ ; .u;v/ ; .´;w//D S .x;u;´/CS .y;v;w/ I

(4) f or g is continuous or X has the following property:(a) If fxng is an increasing sequence with xn ! x, then xn � x for all

n 2N ,(b) If fxng is an decreasing sequence with xn ! x, then x � xn for all

n 2N .

Then f and g have a coupled common fixed point in X.

Page 7: Some coupled xed point theorems in partially ordered S

186 VISHAL GUPTA AND RAMAN DEEP

Now our aim is to prove new common coupled fixed points theorems by usingaltering distance function and mixed weakly monotone maps in partially ordered S-metric space.

2. MAIN RESULT

Theorem 4. Let .X;�;S/ be a partially ordered complete S-metric space and themappings f;g WX�X!X satisfies the mixed weakly monotone property on X; x0 �

f .x0;y0/ ;f .y0;x0/ � y0 or x0 � g .x0;y0/ ;g .y0;x0/ � y0 for some x0;y0 2 X:

Consider a function � W Œ0;1/! Œ0;1/ with � .t/ < t and

limr!tC

� .r/ < t for each t > 0:

such that

S .f .x;y/ ;f .x;y/ ;g .u;v//� �

�S .x;x;u/CS .y;y;v/

2

�I (2.1)

8x;y;u;v 2X with x � u and y � v.Also, assume that either f or g is continuous or X has the following property:

(1) If fxng is an increasing sequence with xn! x then xn � x for all n 2N ;(2) If fyng is an decreasing sequence with yn! y then y � yn for all n 2N .

Then f and g have a coupled common fixed point in X.

Proof. Consider x0 � f .x0;y0/ and y0 � f .y0;x0/ and let f .x0;y0/D x1 andf .y0;x0/D y1.Now, x1 D f .x0;y0/ � g .f .x0;y0/ ;f .y0;x0//D g .x1;y1/D x2(say) and y1 D

f .y0;x0/� g .f .y0;x0/ ;f .x0;y0//D g .y1;x1/D y2(say).Continuing in this way, we have x2nC1 D f .x2n;y2n/ , y2nC1 D f .y2n;x2n/ andx2nC2 D g .x2nC1;y2nC1/ , y2nC2 D g .y2nC1;x2nC1/ :

Thus, we conclude that fxng is increasing and fyng is decreasing sequence.Similarly, from the condition x0 � g .x0;y0/ and y0 � g .y0;x0/ ; we can say thatthe sequences fxng and fyng are increasing or decreasing.Now from (2.1), we obtain

S .f .x2n;y2n/ ;f .x2n;y2n/ ;g .x2nC1;y2nC1//

� �

�S .x2n;x2n;x2nC1/CS .y2n;y2n;y2nC1/

2

�;

which implies,

S .x2nC1;x2nC1;x2nC2/

� �

�S .x2n;x2n;x2nC1/CS .y2n;y2n;y2nC1/

2

�: (2.2)

Again, using the same step, we have

Page 8: Some coupled xed point theorems in partially ordered S

SOME COUPLED FIXED POINT THEOREMS... 187

S .y2nC1;y2nC1;y2nC2/

� �

�S .y2n;y2n;y2nC1/CS .x2n;x2n;x2nC1/

2

�: (2.3)

Adding (2.2) and (2.3), we get

S .x2nC1;x2nC1;x2nC2/CS .y2nC1;y2nC1;y2nC2/

� 2�

�S .x2n;x2n;x2nC1/CS .y2n;y2n;y2nC1/

2

�:

Thus,

t2n � 2�

�t2n�1

2

�; (2.4)

where t2n D S .x2nC1;x2nC1;x2nC2/CS .y2nC1;y2nC1;y2nC2/ :

Now, using the property that � .t/ < t , t > 0 in (2.4), this gives

t2n � 2

�t2n�1

2

�D t2n�1: (2.5)

Interchanging the role of mappings f and g, and using (2.1), we have

S .g .x2nC1;y2nC1/ ;g .x2nC1;y2nC1/ ;f .x2nC2;y2nC2//

� �

�S .x2nC1;x2nC1;x2nC2/CS .y2nC1;y2nC1;y2nC2/

2

�:

Proceeding as above one can get, t2nC1 � 2��

t2n

2

�.

Again using the fact that � .t/ < t above inequality gives

t2nC1 � t2n: (2.6)

From (2.5) and (2.6), we conclude that ftng is a decreasing sequence. Therefore thereexists some t � 0 such that

limn!1

tn D t:

Also, using the properties of function �

t D limn!1

t2n � 2 limn!1

�t2n�1

2

�< t;

This is a contradiction. Hence t D 0.That is,

limn!1

S .xn;xn;xnC1/CS .yn;yn;ynC1/D 0: (2.7)

Using property of S-metric space, for n�m, we have

S .xn;xn;xm/CS .yn;yn;ym/� 2S .xn;xn;xnC1/CS .xnC1;xnC1;xm/

C2S .yn;yn;ynC1/CS .ynC1;ynC1;ym/ :

Page 9: Some coupled xed point theorems in partially ordered S

188 VISHAL GUPTA AND RAMAN DEEP

on taking limit as n;m!1 and using (2.7), we obtain

limn;m!1

hS .xn;xn;xm/CS .yn;yn;ym/

i� lim

n;m!1

hS .xnC1;xnC1;xm/CS .ynC1;ynC1;ym/

i� lim

n;m!1

h2S .xnC1;xnC1;xnC2/CS .xnC2;xnC2;xm/

C2S .ynC1;ynC1;ynC2/CS .ynC2;ynC2;ym/i

D limn;m!1

hS .xnC2;xnC2;xm/CS .ynC2;ynC2;ym/

i:

By repeatedly use of property of S-metric space, we get

limn;m!1

hS .xn;xn;xm/CS .yn;yn;ym/

i� lim

n;m!1

h2S .xm�1;xm�1;xm/CS .xm;xm;xmC1/

C2S .ym�1;ym�1;ym/CS .ym;ym;ymC1/i;

which gives,lim

n;m!1

hS .xn;xn;xm/CS .yn;yn;ym/

iD 0:

This shows that fxng and fyng are two Cauchy sequences in X. Since X is complete,9 x;y 2X such that

xn! x and yn! y as n!1:

As f is supposed to be continuous, therefore

x D limn!1

x2nC1 D limn!1

f .x2n;y2n/

D f�

limn!1

x2n; limn!1

y2n

�D f .x;y/

and

y D limn!1

y2nC1 D limn!1

f .y2n;x2n/

D f�

limn!1

y2n; limn!1

x2n

�D f .y;x/ :

From (2.1),

S .f .x;y/ ;f .x;y/ ;g .x;y//CS .f .y;x/ ;f .y;x/ ;g .y;x//

� �

�S .x;x;x/CS .y;y;y/

2

�C�

�S .y;y;y/CS .x;x;x/

2

�;

S .x;x;g .x;y//CS .y;y;g .y;x//D 0:

Page 10: Some coupled xed point theorems in partially ordered S

SOME COUPLED FIXED POINT THEOREMS... 189

Thus we have, g .x;y/D x and g .y;x/D y:Hence .x;y/ is coupled common fixed point of f and g.Similarly, the result follows, when g is assumed to be continuous.

Now, consider the other assumption that for an increasing sequencefxng withxn ! x we have xn � x and for decreasing sequence fyng with yn ! y we havey � yn for all n 2N .Consider,

S .x;x;f .x;y//� 2S .x;x;xn/CS .f .x;y/ ;f .x;y/ ;xn/

D 2S .x;x;xn/CS .f .x;y/ ;f .x;y/ ;g .xn�1;yn�1//

� 2S .x;x;xn/C�

�S .x;x;xn�1/CS .y;y;yn�1/

2

�:

Similarly,

S .y;y;f .y;x//� 2S .y;y;yn/CS .f .y;x/ ;f .y;x/ ;yn/

D 2S .y;y;yn/CS .f .y;x/ ;f .y;x/ ;g .yn�1;xn�1//

� 2S .y;y;yn/C�

�S .y;y;yn�1/CS .x;x;xn�1/

2

�:

Adding the above inequalities, one can get

S .x;x;f .x;y//CS .y;y;f .y;x//

� 2S .x;x;xn/C2S .y;y;yn/C2�

�S .x;x;xn�1/CS .y;y;yn�1/

2

�;

on taking n!1, we get S .x;x;f .x;y//CS .y;y;f .y;x// < 0;which shows thatf .x;y/D x and f .y;x/D y. By interchanging the role of functions f and g, we getthe same result for g. Thus .x;y/ is the common coupled fixed point of f and g. �

Corollary 1. Let .X;�;S/ be a partially ordered complete S-metric space andthe mappings f;g W X �X ! X satisfies the mixed weakly monotone property on X.Consider a function � W Œ0;1/! Œ0;1/ with � .t/ < t and

limr!tC

� .r/ < t for each t > 0

such that

S .f .x;y/ ;f .x;y/ ;g .u;v//�a

2ŒS .x;x;u/CS .y;y;v/� ; (2.8)

8x;y;u;v 2X with x � u and y � v.Also, assume that either f or g is continuous or X has the following property:

(1) If fxng is an increasing sequence with xn! x then xn � x for all n 2N ;(2) If fyng is an decreasing sequence with yn! y then y � yn for all n 2N .

Proof. Taking � .t/D at with a 2 .0;1/ in Theorem 4, we obtain the result. �

Page 11: Some coupled xed point theorems in partially ordered S

190 VISHAL GUPTA AND RAMAN DEEP

Corollary 2. Let .X;�;S/ be a partially ordered complete S-metric space andthe mapping f W X �X ! X satisfies the mixed monotone property on X. Considera function � W Œ0;1/! Œ0;1/ with � .t/ < t

limr!tC

� .r/ < t for each t > 0

such that

S .f .x;y/ ;f .x;y/ ;f .u;v//�a

2ŒS .x;x;u/CS .y;y;v/� ; (2.9)

8x;y;u;v 2X with x � u and y � v.Also assume that either f is continuous or X has the following property:-

(1) If fxng is an increasing sequence with xn! x then xn � x for all n 2N ;(2) If fyng is an decreasing sequence with yn! y then y � yn for all n 2N .

Proof. Taking � .t/D at with a 2 .0;1/ and f D g in Theorem 4, we obtain thecorollary or result. �

Corollary 3. Assume that X is totally ordered set in addition to the hypothesis ofTheorem 4. Then f and g have unique common fixed point.

Proof. From Theorem 4, f and g have a coupled common fixed point .x;y/. Let.l;m/ be another coupled common fixed point of f and g. Without loss of generalitywe may assume that .x;y/� .l;m/. Then from (2.1) we have,

S .f .x;y/ ;f .x;y/ ;g .l;m//� �

�S .x;x; l/CS .y;y;m/

2

�;

S .x;x; l/� �

�S .x;x; l/CS .y;y;m/

2

�:

Similarly,

S .y;y;m/� �

�S .y;y;m/CS .x;x; l/

2

�:

On adding the above inequalities, we have

S .x;x; l/CS .y;y;m/� 2�

�S .x;x; l/CS .y;y;m/

2

�:

Using the definition of function �, we get

S .x;x; l/CS .y;y;m/ < S .x;x; l/CS .y;y;m/;

which is a contradiction. Hence x D l and y D m. This proves that the coupledcommon fixed point of f and g is unique.Again from (2.1), we have

S .f .x;y/ ;f .x;y/ ;g .y;x//� �

�S .x;x;y/CS .y;y;x/

2

�;

Page 12: Some coupled xed point theorems in partially ordered S

SOME COUPLED FIXED POINT THEOREMS... 191

S .x;x;y/� �

�S .x;x;y/CS .y;y;x/

2

�:

Similarly,

S .y;y;x/� �

�S .y;y;x/CS .x;x;y/

2

�:

On adding the above inequalities, we have

S .x;x;y/CS .y;y;x/� 2�

�S .x;x; l/CS .y;y;m/

2

�:

Thus we get x D y: �

Theorem 5. Let .X;�;S/ be a partially ordered complete S-metric space andthe mappings f;g W X �X ! X satisfies the mixed weakly monotone property on X.Consider a function � W Œ0;1/! Œ0;1/ with � .t/ < t and

limr!tC

� .r/ < t for each t > 0

such thatZ S.f .x;y/;f .x;y/;g.u;v//

0

' .t/dt � �

Z S.x;x;u/CS.y;y;v/2

0

' .t/dt; (2.10)

8x;y;u;v 2 X with x � u and y � v. Here ' W Œ0;1/! Œ0;1/ is a Lebesgueintegrable function as a summable for each compact RC, non-negative and such thatfor each � > 0,

R' .t/dt > 0.

Also, assume that either f or g is continuous or X has the following property:

(1) If fxng is an increasing sequence with xn! x then xn � x for all n 2N ;(2) If fyng is an decreasing sequence with yn! y then y � yn for all n 2N .

Then f and g have a coupled common fixed point in X.

Proof. As in Theorem 4, we can construct two sequences fxng and fyng and using(2.10), we haveZ S.f .x2n;y2n/;f .x2n;y2n/;g.x2nC1;y2nC1//

0

' .t/dt

� �

Z S.x2n;x2n;x2nC1/CS.y2n;y2n;y2nC1/

2

!0

' .t/dt;

Z S.x2nC1;x2nC1;x2nC2/

0

' .t/dt <

Z S.x2n;x2n;x2nC1/CS.y2n;y2n;y2nC1/

2

!0

' .t/dt;

Page 13: Some coupled xed point theorems in partially ordered S

192 VISHAL GUPTA AND RAMAN DEEP

This gives,

S .x2nC1;x2nC1;x2nC2/ <

�S .x2n;x2n;x2nC1/CS .y2n;y2n;y2nC1/

2

�: (2.11)

In the same way, we get

S .y2nC1;y2nC1;y2nC2/ <

�S .y2n;y2n;y2nC1/CS .x2n;x2n;x2nC1/

2

�: (2.12)

On adding the above inequalities and using the properties of function �, we get ftngbe a decreasing sequence and limn!1tn D 0.Again, by using the properties of S-metric space we observe that fxng and fyng arethe Cauchy sequences in X. By continuity of function f, we have x D f .x;y/ andy D f .y;x/.Now from (2.10), we getZ S.f .x;y/;f .x;y/;g.x;y//

0

' .t/dt � �

Z �S.x;x;x/CS.y;y;y/

2

�0

' .t/dt;

which implies S .x;x;g .x;y//D 0 or g .x;y/D x. Similarly g .y;x/D y.Thus .x;y/ is the coupled common fixed point of f and g.

Now, assuming the condition that for increasing sequence fxng with xn! x thenxn � x and for decreasing sequence fyng with yn! y then yn � y for all n 2N;Z S.x;x;f .x;y//

0

' .t/dt �

Z 2S.x;x;xn/

0

' .t/dtC

Z S.f .x;y/;f .x;y/;xn/

0

' .t/dt

D

Z 2S.x;x;xn/

0

' .t/dtC

Z S.f .x;y/;f .x;y/;g.xn�1;yn�1//

0

' .t/dt

Z 2S.x;x;xn/

0

' .t/dtC�

Z �S.x;x;xn�1/CS.y;y;yn�1/

2

�0

' .t/dt:

(2.13)

Taking limit as n!1, we obtainZ S.x;x;f .x;y//

0

' .t/dt �

Z 2S.x;x;/

0

' .t/dtC�

Z �S.x;x;x/CS.y;y;y/

2

�0

' .t/dt;

This shows that f has coupled fixed point. By interchanging the role of mappings fand g, we get the coupled fixed point of g.

Hence, we conclude that in both cases f and g have coupled fixed point.�

Page 14: Some coupled xed point theorems in partially ordered S

SOME COUPLED FIXED POINT THEOREMS... 193

REFERENCES

[1] I. Altun, “Common fixed point theorems for weakly increasing mappings on ordered uniformspaces,” Miskolc Math. Notes, vol. 12, no. 1, pp. 3–10, 2011.

[2] H. Aydi, “On common fixed point theorems for generalized weakly contractive mappings,”Miskolc Math. Notes, vol. 14, no. 1, pp. 19–30, 2013.

[3] D. Delbosco, “Un’estensione di un teorema sul punto di S. Reich,” Rend. Sem. Mat. Univers.Politecn. Torino, vol. 35, pp. 233–238, 1967.

[4] B. C. Dhage, “Generalized metric spaces and mapping with fixed point,” Bull. Calcutta Math.Soc., vol. 84, pp. 329–336, 1992.

[5] B. Fisher, “Mappings with a common fixed point,” Math. Sem. Notes Kobe Univ., vol. 7, pp. 115–148, 1979.

[6] S. Gahler, “2-metricsche raume und ihre topologische structure,” Math. Nachr., vol. 26, pp. 115–148, 1963.

[7] M. E. Gordji, E. Akbartabar, Y. J. Cho, and M. Remezani, “Coupled common fixed point theoremsfor mixed weakly monotone mappings in partially ordered metric spaces,” Fixed Point Theory andApplications, vol. 95, 2012.

[8] V. Gupta and N. Mani, “Existence and uniqueness of fixed point for contractive mapping of integ-ral type,” International Journal of Computing Science and Mathematics, vol. 4, no. 1, pp. 72 – 83,2013.

[9] V. Gupta, N. Mani, and A. K. Tripathi, “A fixed point theorem satisfying a generalized weakcontractive condition of integral type,” International Journal of Mathematical Analysis, vol. 6, pp.1883 – 1889, 2012.

[10] K. S. Ha, Y. J. Cho, and A. White, “Strictly convex and 2-convex 2-normed spaces,” Math. Japon-ica, vol. 33(3), pp. 375–384, 1988.

[11] K. Iseki, “On common fixed point of mappings,” Mathematics Seminar notes, vol. 2(14), 1974.[12] K. Iseki, “Fixed point theorems in 2-metric spaces,” Math. semin. Notes, Kobe Univ., vol. 3, pp.

133–136, 1975.[13] G. Jungck, “Commuting mappings and fixed points,” American Mathematical Monthly, vol. 3, pp.

261–263, 1978.[14] M. S. Khan, “On the convergence of sequences of fixed points in 2-metric spaces,” Indian Journal

of Pure and Applied Mathematics, vol. 10(9), pp. 1062–1067, 1979.[15] M. S. Khan, M. Swalesh, and S. Sessa, “Fixed point theorems by altering distances between the

points,” Bull. Austral. Math. Soc., vol. 30, pp. 323–326, 1984.[16] T. Kubiak, “Common fixed points of pairwise commuting mappings,” Math. Nachr., vol. 118, pp.

123–127, 1984.[17] V. Lakshmikantham and L. Ciric, “Coupled common fixed point theorems for nonlinear contrac-

tions inpartially orederd metric spaces,” Nonlinear Analysis, vol. 70, pp. 4341–4349, 2009.[18] R. D. Marr, “Partially ordered space and metric spaces,” American Mathematical Monthly, vol.

72(6), pp. 628–631, 1965.[19] P. Murthy, S. Chang, Y. J. Cho, and B. K. Sharma, “Compatible mappings of type A and common

fixed point theorem,” Kyungpook Math., vol. 32, pp. 203–216, 1992.[20] Z. Mustafa and B. Sims, “Some remarks concerning D-metric spaces,” Proceedings of the In-

ternational Conferences on Fixed Point Theory and Applications, Valencia(Spain), pp. 189–198,2003.

[21] Z. Mustafa and B. Sims, “A new approach to generalized metric spaces,,” J. Nonlinear and ConvexAnal., vol. 7(2), pp. 289–297, 2006.

[22] S. Sedghi, N. Shobe, and H. Zhou, “A common fixed point theorem in D� metric spaces,” FixedPoint theory and Application, vol. Article ID 27906, p. 13 pages, 2007.

Page 15: Some coupled xed point theorems in partially ordered S

194 VISHAL GUPTA AND RAMAN DEEP

[23] S. Sedghi and N. Shobe, “A common unique random fixed point theorems in S-metric spaces,”Journal of Prime Research in Mathematics, vol. 7, pp. 25–34, 2011.

[24] S. Sedghi, N. Shobe, and A. Aliouche, “A generalizations of fixed point theorems in S-metricspaces,” Matematnhpn Bechnk, vol. 64, no. 3, pp. 258–266, 2012.

[25] N. Van Dung, “On coupled common fixed points for mixed weakly monotone maps in partiallyordered S-metric spaces,” Fixed Point Theory and Applications, vol. 48, p. 17 pages, 2013.

Authors’ addresses

Vishal GuptaDepartment of Mathematics, Maharishi Markandeshwar University, 1317/1, Hargolal Tower Street,

Hargolal Road, Ambala Cantt., Haryana, IndiaE-mail address: [email protected]

Raman DeepDepartment of Mathematics, Maharishi Markandeshwar University, Mullana, Ambala, Haryana,

IndiaE-mail address: [email protected]