Skip to main content

n-tuplet fixed point theorems for contractive type mappings in partially ordered metric spaces

An Erratum to this article was published on 07 August 2013

Abstract

In this paper, we study existence and uniquennes of fixed points of operator F: X n X where n is an arbitrary positive integer and X is partially ordered complete metric space.

MSC: 47H10, 54H25, 54E50.

1 Introduction

As it is known, fixed point theory is one of the oldest and most famous theory in mathematics, and it has become an important tool for other areas of science such as approximation theory, statistics, engineering and economics.

Among hundreds of fixed point theorems, the Banach contraction theorem [1] is particularly well known due to its simplicity and usefulness. It states that any contraction mapping of a complete metric space has a unique fixed point.

In 2004, the Banach contraction principle were extended to metric space endowed with partial order by Ran and Reuring [2]. They pointed out that the contractivity condition on the nonlinear and monotone map is only assumed to hold on elements which are comparable in the partial order. Afterward, Nieto and Rodriguez-Lopez [3] extended results of Ran and Reuring for non-decreasing mapping and studied existence and uniqueness of first-order differential equations.

In 2006, by following the above mentioned trend, Bhaskar and Lakshmikantham [4] introduced mixed monotone property and gave their coupled fixed point theorem for mappings with mixed monotone property. Also, they produced some applications related with the existence and uniqueness of solution for a periodic boundary value problem. This work of Bhaskar and Lakshmikantham has attracted the attention of many researchers. The concept of coupled fixed point for various contractive type mappings was studied by several authors [510]. Lakshmikantham and Ciric [11] extended the results of [4] for monotone non-linear contractive mapping and generalized mixed monotone concept. Berinde and Borcut [12] introduced tripled fixed point theorem for non-linear mapping in partially ordered complete metric space as a generalization and extension of the coupled fixed point theorem.

Motivated by these studies, the quadruple fixed point theorem was given for different contractive type mappings [1316].

In this paper, we generalize mentioned trend in the above for an arbitrary positive number n, that is, we introduce the concept of n-tuplet fixed point theorem and prove some results.

2 Main results

Let us give new definitions for our aim.

Definition 1 Let (X,) be partially ordered set and F: X n X. We say that F has the mixed monotone property if F( x 1 , x 2 , x 3 ,, x n ) is monotone non-decreasing in its odd argument and it is monotone non-increasing in its even argument. That is, for any x 1 , x 2 , x 3 ,, x n X

y 1 , z 1 X , y 1 z 1 F ( y 1 , x 2 , x 3 , , x n ) F ( z 1 , x 2 , x 3 , , x n ) , y 2 , z 2 X , y 2 z 2 F ( x 1 , y 2 , x 3 , , x n ) F ( x 1 , z 2 , x 3 , , x n ) , y n , z n X , y n z n F ( x 1 , x 2 , x 3 , , y n ) F ( x 1 , x 2 , x 3 , , z n ) ( if  n  is odd ) , y n , z n X , y n z n F ( x 1 , x 2 , x 3 , , y n ) F ( x 1 , x 2 , x 3 , , z n ) ( if  n  is even ) .
(2.1)

Definition 2 Let X be a nonempty set and F: X n X a given mapping. An element ( x 1 , x 2 , x 3 ,, x n ) X n is called a n-tuplet fixed point of F if

F ( x 1 , x 2 , x 3 , , x n ) = x 1 , F ( x 2 , x 3 , , x n , x 1 ) = x 2 , F ( x n , x 1 , x 2 , , x n 1 ) = x n .
(2.2)

Definition 3 Let (X,) be partially ordered set and F: X n X and g:XX. We say that F has the mixed g-monotone property if F( x 1 , x 2 , x 3 ,, x n ) is monotone g-non-decreasing in its odd argument and it is monotone g-non-increasing in its even argument. That is, for any x 1 , x 2 , x 3 ,, x n X

y 1 , z 1 X , g ( y 1 ) g ( z 1 ) F ( y 1 , x 2 , x 3 , , x n ) F ( z 1 , x 2 , x 3 , , x n ) , y 2 , z 2 X , g ( y 2 ) g ( z 2 ) F ( x 1 , y 2 , x 3 , , x n ) F ( x 1 , z 2 , x 3 , , x n ) , y n , z n X , g ( y n ) g ( z n ) F ( x 1 , x 2 , x 3 , , y n ) F ( x 1 , x 2 , x 3 , , z n ) ( if  n  is odd ) , y n , z n X , g ( x n ) g ( y n ) F ( x 1 , x 2 , x 3 , , y n ) F ( x 1 , x 2 , x 3 , , z n ) ( if  n  is even ) .
(2.3)

Note that if g is the identity mapping, this definition reduces to Definition 1.

Definition 4 Let X be a nonempty set and F: X n X a given mapping. An element ( x 1 , x 2 , x 3 ,, x n ) X n is called a n-tuplet coincidence point of F: X n X and g:XX if

F ( x 1 , x 2 , x 3 , , x n ) = g ( x 1 ) , F ( x 2 , x 3 , , x n , x 1 ) = g ( x 2 ) , F ( x n , x 1 , x 2 , , x n 1 ) = g ( x n ) .
(2.4)

Note that if g is the identity mapping, this definition reduces to Definition 2.

Definition 5 Let (X,) be partially ordered set and F: X n X and g:XX. F and g called commutative if

g ( F ( x 1 , x 2 , x 3 , , x n ) ) =F ( g ( x 1 ) , g ( x 2 ) , g ( x 3 ) , , g ( x n ) )
(2.5)

for all x 1 , x 2 , x 3 ,, x n X.

Let Φ denote the all functions ϕ:[0,)[0,), which are continuous and satisfy that

  1. (i)

    ϕ(t)<t,

  2. (ii)

    lim r t + ϕ(r)<t for each r>0.

Since we want to shorten expressions in the following theorem, consider Condition 1 in the following for X an F.

Condition 1 Suppose either

  1. (i)

    F is continuous, or

  2. (ii)

    X has the following property:

  3. (a)

    if non-decreasing sequence x k x, then x k x for all k,

  4. (b)

    if non-increasing sequence y k y, then y k y for all k.

Theorem 1 Let (X,) be partially ordered set and suppose that (X,d) is complete metric space. Assume F: X n X and g:XX are such that F has the mixed g-monotone property and

d ( F ( x 1 , x 2 , x 3 , , x n ) , F ( y 1 , y 2 , y 3 , , y n ) ) ϕ ( d ( g ( x 1 ) , g ( y 1 ) ) + d ( g ( x 2 ) , g ( y 2 ) ) + + d ( g ( x n ) , g ( y n ) ) n )
(2.6)

for all x 1 , x 2 , x 3 ,, x n X for which g( x 1 )g( y 1 ), g( x 2 )g( y 2 ), … , g( x n )g( y n ) (if n is odd), g( x n )g( y n ) (if n is even). Assume that F( X n )g(X) and g commutes with F. Also, suppose that Condition 1 is satisfied. If there exist x 0 1 , x 0 2 , x 0 3 ,, x 0 n X such that

g ( x 0 1 ) F ( x 0 1 , x 0 2 , x 0 3 , , x 0 n ) , g ( x 0 2 ) F ( x 0 2 , x 0 3 , , x 0 n , x 0 1 ) , g ( x 0 n ) F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) ( if n is odd ) , g ( x 0 n ) F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) ( if n is even )
(2.7)

then there exist x 1 , x 2 , x 3 ,, x n X such that

F ( x 1 , x 2 , x 3 , , x n ) = g ( x 1 ) , F ( x 2 , x 3 , , x n , x 1 ) = g ( x 2 ) , F ( x n , x 1 , x 2 , , x n 1 ) = g ( x n ) ,

that is, F and g have a n-tuplet coincidence point.

Proof Let x 0 1 , x 0 2 , x 0 3 ,, x 0 n X be such that (2.7). Since F( X n )g(X), we construct the sequence ( x k 1 ),( x k 2 ),,( x k n ) as follows:

g ( x k 1 ) = F ( x k 1 1 , x k 1 2 , , x k 1 n ) , g ( x k 2 ) = F ( x k 1 2 , , x k 1 n , x k 1 1 ) , g ( x k n ) = F ( x k 1 n , x k 1 1 , , x k 1 n 1 )
(2.8)

for k=1,2,3, . We claim that

g ( x k 1 1 ) g ( x k 1 ) , g ( x k 1 2 ) g ( x k 2 ) , g ( x k 1 n ) g ( x k n ) ( if  n  is odd) , g ( x k 1 n ) g ( x k n ) ( if  n  is even)
(2.9)

for all k1. For this, we will use the mathematical induction. The inequalities in (2.9) hold k=1 because of (2.7), that is, we have

g ( x 0 1 ) F ( x 0 1 , x 0 2 , , x 0 n ) = g ( x 1 1 ) , g ( x 0 2 ) F ( x 0 2 , , x 0 n , x 0 1 ) = g ( x 1 2 ) , g ( x 0 n ) F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) = g ( x 1 n ) ( if  n  is odd ) , g ( x 0 n ) F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) = g ( x 1 n ) ( if  n  is even ) .

Thus, our claim is true for k=1. Now, suppose that the inequalities in (2.9) hold k=m. In this case,

g ( x m 1 1 ) g ( x m 1 ) , g ( x m 1 2 ) g ( x m 2 ) , g ( x m 1 n ) g ( x m n ) ( if  n  is odd ) , g ( x m 1 n ) g ( x m n ) ( if  n  is even ) .
(2.10)

Now, we must show that the inequalities in (2.9) hold k=m+1. If we consider (2.8) and mixed g-monotone property of F together with (2.10), we have

g ( x m 1 ) = F ( x m 1 1 , x m 1 2 , , x m 1 n ) g ( x m 1 ) F ( x m 1 , x m 1 2 , , x m 1 n ) g ( x m 1 ) F ( x m 1 , x m 2 , x m 1 3 , , x m 1 n 1 , x m 1 n ) g ( x m 1 ) 0 g ( x m 1 ) F ( x m 1 , x m 2 , , x m n 1 , x m 1 n ) g ( x m 1 ) F ( x m 1 , x m 2 , , x m n ) = g ( x m + 1 1 ) , g ( x m 2 ) = F ( x m 1 2 , , x m 1 n , x m 1 1 ) g ( x m 2 ) F ( x m 2 , x m 1 3 , , x m 1 n , x m 1 1 ) g ( x m 2 ) F ( x m 2 , x m 3 , , x m 1 n , x m 1 1 ) g ( x m 2 ) 0 g ( x m 2 ) F ( x m 2 , x m 3 , , x m n , x m 1 1 ) g ( x m 2 ) F ( x m 2 , x m 3 , , x m n , x m 1 ) = g ( x m + 1 2 ) , g ( x m n ) = F ( x m 1 n , x m 1 1 , , x m 1 n 1 ) g ( x m n ) F ( x m n , x m 1 1 , , x m 1 n 1 ) g ( x m n ) F ( x m n , x m 1 , x m 1 2 , , x m 1 n 1 ) g ( x m n ) 0 g ( x m n ) F ( x m n , x m 1 , x m 2 , , x m n 2 , x m 1 n 1 ) g ( x m n ) F ( x m n , x m 1 , , x m n 1 ) = g ( x m + 1 n ) ( if  n  is odd ) , g ( x m n ) = F ( x m 1 n , x m 1 1 , , x m 1 n 1 ) g ( x m n ) F ( x m n , x m 1 1 , , x m 1 n 1 ) g ( x m n ) F ( x m n , x m 1 , x m 1 2 , , x m 1 n 1 ) g ( x m n ) 0 g ( x m n ) F ( x m n , x m 1 , x m 2 , , x m n 2 , x m 1 n 1 ) g ( x m n ) F ( x m n , x m 1 , , x m n 1 ) = g ( x m + 1 n ) ( if  n  is even ) .

Thus, (2.9) is satisfied for all k1. So, we have,

g ( x k 1 ) g ( x k 1 1 ) g ( x 1 1 ) g ( x 0 1 ) , g ( x k 2 ) g ( x k 1 2 ) g ( x 1 2 ) g ( x 0 2 ) , g ( x k n ) g ( x k 1 n ) g ( x 1 n ) g ( x 0 n ) ( if  n  is odd ) , g ( x k n ) g ( x k 1 n ) g ( x 1 n ) g ( x 0 n ) ( if  n  is even ) .
(2.11)

For the simplicity, we define

δ k =d ( g ( x k 1 ) , g ( x k + 1 1 ) ) +d ( g ( x k 2 ) , g ( x k + 1 2 ) ) ++d ( g ( x k n ) , g ( x k + 1 n ) ) .

We will show that

δ k + 1 nϕ ( δ k n ) .
(2.12)

By (2.6), (2.8) and (2.11), we get

d ( g ( x k + 1 1 ) , g ( x k + 2 1 ) ) = d ( F ( x k 1 , x k 2 , , x k n ) , F ( x k + 1 1 , x k + 1 2 , , x k + 1 n ) ) ϕ ( d ( g ( ( x k 1 ) , g ( x k + 1 1 ) ) ) + d ( g ( x k 2 ) , g ( x k + 1 2 ) ) + + d ( g ( x k n ) , g ( x k + 1 n ) ) n ) = ϕ ( δ k n ) ,
(2.13)
d ( g ( x k + 1 2 ) , g ( x k + 2 2 ) ) = d ( F ( x k 2 , , x k n , x k 1 ) , F ( x k + 1 2 , , x k + 1 n , x k + 1 1 ) ) ϕ ( d ( g ( x k 2 ) , g ( x k + 1 2 ) ) + + d ( g ( x k n ) , g ( x k + 1 n ) ) + d ( g ( x k 1 ) , g ( x k + 1 1 ) ) n ) = ϕ ( δ k n ) ,
(2.14)
d ( g ( x k n ) , g ( x k + 2 n ) ) = d ( F ( x k n , x k 1 , , x k n 1 ) , F ( x k + 1 n , x k + 1 1 , , x k + 1 n 1 ) ) ϕ ( d ( g ( ( x k n ) , g ( x k + 1 n ) ) ) + d ( g ( x k 1 ) , g ( x k + 1 1 ) ) + + d ( g ( x k n 1 ) , g ( x k + 1 n 1 ) ) n ) = ϕ ( δ k n ) .
(2.15)

Due to (2.13)-(2.15), we conclude that

d ( g ( x k + 1 1 ) , g ( x k + 2 1 ) ) + d ( g ( x k + 1 2 ) , g ( x k + 2 2 ) ) + + d ( g ( x k + 1 n ) , g ( x k + 2 n ) ) n ϕ ( δ k n ) .
(2.16)

Hence, we get (2.12).

Since ϕ(t)<t for all t>0, then δ k + 1 nϕ( δ k n )<n δ k n = δ k for all kN. So, ( δ k ) is monotone decreasing. Since it is bounded below, there is some δ0 such that

lim k δ k =δ+.
(2.17)

We want to show that δ=0. Suppose that δ>0. Then taking the limit as δ k δ+ of both sides of (2.12) and keeping in mind that we assume that lim r t + ϕ(r)<t for all t>0, we have

δ= lim k δ k + 1 lim k nϕ ( δ k n ) =n lim δ k δ + ϕ ( δ k n ) <n δ n =δ
(2.18)

which is a contradiction. Thus, δ=0, that is

lim k ( d ( g ( x k 1 ) , g ( x k + 1 1 ) ) + d ( g ( x k 2 ) , g ( x k + 1 2 ) ) + + d ( g ( x k n ) , g ( x k + 1 n ) ) ) =0.
(2.19)

Now we prove that g( x k 1 ),g( x k 2 ),,g( x k n ) are Cauchy sequences. Suppose that at least one of g( x k 1 ),g( x k 2 ),,g( x k n ) is not Cauchy. So, there exists an ε>0 for which we can find subsequence of integer j(k), l(k) with j(k)>l(k)k such that

t k =d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) +d ( g ( x j ( k ) 2 ) , g ( x l ( k ) 2 ) ) ++d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) ε.
(2.20)

Additionally, corresponding to j(k), we can choose l(k) such that it is the smallest integer satisfying (2.20) and j(k)>l(k)k. Thus,

d ( g ( x j ( k ) 1 1 ) , g ( x l ( k ) 1 ) ) +d ( g ( x j ( k ) 1 2 ) , g ( x l ( k ) 2 ) ) ++d ( g ( x j ( k ) 1 n ) , g ( x l ( k ) n ) ) <ε.
(2.21)

By using triangle inequality and having (2.20) and (2.21) in mind

ε t k = d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) d ( g ( x j ( k ) 1 ) , g ( x j ( k ) 1 1 ) ) + d ( g ( x j ( k ) 1 1 ) , g ( x l ( k ) 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x j ( k ) 1 2 ) ) + d ( g ( x j ( k ) 1 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x j ( k ) 1 n ) ) + d ( g ( x j ( k ) 1 n ) , g ( x l ( k ) n ) ) < d ( g ( x j ( k ) 1 ) , g ( x j ( k ) 1 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x j ( k ) 1 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x j ( k ) 1 n ) ) + ε < δ j ( k ) 1 + ε .
(2.22)

Letting k in (2.22) and using (2.20)

lim k t k = lim k [ d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) ] = ε + .
(2.23)

We apply triangle inequality to (2.20) as the following.

t k = d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) d ( g ( x j ( k ) 1 ) , g ( x j ( k ) + 1 1 ) ) + d ( g ( x j ( k ) + 1 1 ) , g ( x l ( k ) + 1 1 ) ) + d ( g ( x l ( k ) + 1 1 ) , g ( x l ( k ) 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x j ( k ) + 1 2 ) ) + d ( g ( x j ( k ) + 1 2 ) , g ( x l ( k ) + 1 2 ) ) + d ( g ( x l ( k ) + 1 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x j ( k ) + 1 n ) ) + d ( g ( x j ( k ) + 1 n ) , g ( x l ( k ) + 1 n ) ) + d ( g ( x l ( k ) + 1 n ) , g ( x l ( k ) n ) ) δ j ( k ) + 1 + δ l ( k ) + 1 + d ( g ( x j ( k ) + 1 1 ) , g ( x l ( k ) + 1 1 ) ) + d ( g ( x j ( k ) + 1 2 ) , g ( x l ( k ) + 1 2 ) ) + + d ( g ( x j ( k ) + 1 n ) , g ( x l ( k ) + 1 n ) ) .
(2.24)

Since j(k)>l(k), then

g ( x j ( k ) 1 ) g ( x l ( k ) 1 ) , g ( x j ( k ) 2 ) g ( x l ( k ) 2 ) , g ( x j ( k ) n ) g ( x l ( k ) n ) ( if  n  is odd ) , g ( x j ( k ) n ) g ( x l ( k ) n ) ( if  n  is even ) .
(2.25)

So, from (2.25), (2.8) and (2.6), we get

d ( g ( x j ( k ) + 1 1 ) , g ( x l ( k ) + 1 1 ) ) = d ( F ( x j ( k ) 1 , x j ( k ) 2 , , x j ( k ) n ) , F ( x l ( k ) 1 , x l ( k ) 2 , , x l ( k ) n ) ) ϕ ( 1 n [ d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) + d ( g ( x j ( k ) 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) ] ) = ϕ ( t k n ) ,
(2.26)
d ( g ( x j ( k ) + 1 2 ) , g ( x l ( k ) + 1 2 ) ) = d ( F ( x j ( k ) 2 , , x j ( k ) n , x j ( k ) 1 ) , F ( x l ( k ) 2 , , x l ( k ) n , x l ( k ) 1 ) ) ϕ ( 1 n [ d ( g ( x j ( k ) 2 ) , g ( x l ( k ) 2 ) ) + + d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) + d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) ] ) = ϕ ( t k n ) ,
(2.27)
d ( g ( x j ( k ) + 1 n ) , g ( x l ( k ) + 1 n ) ) = d ( F ( x j ( k ) n , x j ( k ) 1 , , x j ( k ) n 1 ) , F ( x l ( k ) n , x l ( k ) 1 , , x l ( k ) n 1 ) ) ϕ ( 1 n [ d ( g ( x j ( k ) n ) , g ( x l ( k ) n ) ) + d ( g ( x j ( k ) 1 ) , g ( x l ( k ) 1 ) ) + + d ( g ( x j ( k ) n 1 ) , g ( x l ( k ) n 1 ) ) ] ) = ϕ ( t k n ) .
(2.28)

Combining (2.24) with (2.26)-(2.29), we get

t k δ j ( k ) + 1 + δ l ( k ) + 1 + d ( g ( x j ( k ) + 1 1 ) , g ( x l ( k ) + 1 1 ) ) + d ( g ( x k ( k ) + 1 2 ) , g ( x l ( k ) + 1 2 ) ) + + d ( g ( x j ( k ) + 1 n ) , g ( x l ( k ) + 1 n ) ) δ j ( k ) + 1 + δ l ( k ) + 1 + t k + n ϕ ( t k n ) < δ j ( k ) + 1 + δ l ( k ) + 1 + n t k n .
(2.29)

Letting k, we obtain a contradiction. This show that g( x k 1 ),g( x k 2 ),,g( x k n ) are Cauchy sequences. Since X is complete metric space, there exist x 1 , x 2 ,, x n X such that

lim k g ( x k 1 ) = x 1 , lim k g ( x k 2 ) = x 2 ,, lim k g ( x k n ) = x n .
(2.30)

Since g is continuous, (2.30) implies that

lim k g ( g ( x k 1 ) ) = g ( x 1 ) , lim k g ( g ( x k 2 ) ) = g ( x 2 ) , , lim k g ( g ( x k n ) ) = g ( x n ) .
(2.31)

From (2.10) and by regarding commutativity of F and g

g ( g ( x k + 1 1 ) ) = g ( F ( x k 1 , x k 2 , , x k n ) ) = F ( g ( x k 1 ) , g ( x k 2 ) , , g ( x k n ) ) , g ( g ( x k + 1 2 ) ) = g ( F ( x k 2 , , x k n , x k 1 ) ) = F ( g ( x k 2 ) , , g ( x k n ) , g ( x k 1 ) ) , g ( g ( x k + 1 n ) ) = g ( F ( x k n , x k 1 , , x k n 1 ) ) = F ( g ( x k n ) , g ( x k 1 ) , , g ( x k n 1 ) ) .
(2.32)

We shall show that

F ( x 1 , x 2 , , x n ) = g ( x 1 ) , F ( x 2 , , x n , x 1 ) = g ( x 2 ) , F ( x n , x 1 , , x n 1 ) = g ( x n ) .

Suppose now, (i) holds. Then by (2.8), (2.32) and (2.30), we have

g ( x 1 ) = lim k g ( g ( x k + 1 1 ) ) = lim k g ( F ( x k 1 , x k 2 , , x k n ) ) = lim k F ( g ( x k 1 ) , g ( x k 2 ) , , g ( x k n ) ) = F ( lim k g ( x k 1 ) , lim k g ( x k 2 ) , , lim k g ( x k n ) ) = F ( x 1 , x 2 , , x n ) .
(2.33)

Analogously,

g ( x 2 ) = g ( g ( x k + 1 2 ) ) = lim k g ( F ( x k 2 , , x k n , x k 1 ) ) g ( x 2 ) = lim k F ( g ( x k 2 ) , , g ( x k n ) , g ( x k 1 ) ) g ( x 2 ) = F ( lim k g ( x k 2 ) , , lim k g ( x k n ) , lim k g ( x k 1 ) ) g ( x 2 ) = F ( x 2 , , x n , x 1 ) ,
(2.34)
g ( x n ) = g ( g ( x k + 1 n ) ) = lim k g ( F ( x n , x 1 , , x n 1 ) ) g ( x n ) = lim k F ( g ( x k n ) , g ( x k 1 ) , , g ( x k n 1 ) ) g ( x n ) = F ( lim k g ( x k n ) , lim k g ( x k 1 ) , , lim k g ( x k n 1 ) ) g ( x n ) = F ( x n , x 1 , , x n 1 ) .
(2.35)

Thus, we have

g ( x 1 ) = F ( x 1 , x 2 , , x n ) , g ( x 2 ) = F ( x 2 , , x n , x 1 ) , g ( x n ) = F ( x n , x 1 , , x n 1 ) .

Suppose now the assumption (b) holds. If n is odd since g( x k 1 ),g( x k 3 ),,g( x k n ) are non-decreasing and g( x k 2 ),g( x k 4 ),,g( x k n 1 ) are non-increasing, if n is even since g( x k 1 ),g( x k 3 ),,g( x k n 1 ) are non-decreasing and g( x k 2 ),g( x k 4 ),,g( x k n ) are non-increasing and by considering g( x k 1 ) x 1 , g( x k 2 ) x 2 , … , g( x k n ) x n we have

g ( x k 1 ) x 1 , g ( x k 2 ) x 2 , , g ( x k n ) x n ( if  n  is odd ) , g ( x k n ) x n ( if  n  is even )
(2.36)

for all k. Thus, by triangle inequality and (2.32)

d ( g ( x 1 ) , F ( x 1 , x 2 , , x n ) ) d ( g ( x 1 ) , g ( g ( x k + 1 1 ) ) ) + d ( g ( g ( x k + 1 1 ) , F ( x 1 , x 2 , , x n ) ) ) d ( g ( x 1 ) , g ( g ( x k + 1 1 ) ) ) + ϕ ( 1 n [ d ( g ( g ( x k 1 ) ) , g ( x 1 ) ) + d ( g ( g ( x k 2 ) ) , g ( x 2 ) ) + + d ( g ( g ( x k n ) ) , g ( x n ) ) ] ) .
(2.37)

Letting k implies that d(g( x 1 ),F( x 1 , x 2 ,, x n ))0. Hence, g( x 1 )=F( x 1 , x 2 ,, x n ). Analogously, we can get that

g ( x 2 ) =F ( x 2 , , x n , x 1 ) ,,g ( x n ) =F ( x n , x 1 , , x n 1 ) .

Thus, we proved that F and g have a n-tuplet coincidence point. □

Corollary 1 The above theorem reduces to Theorem 2.1 of [2]for n=1 and g(x)=x if (i) is satisfied and ϕ(t)=ct where c(0,1).

The following corollary is a generalization of Corollary 2.1 in [11] and Theorem 2.1 in [4].

Corollary 2 Let (X,) be a partially ordered set and suppose that (X,d) is complete metric space. Suppose F: X n X and there exist ϕΦ such that F has the mixed g-monotone property and there exist a m[0,1) with

ϕ ( F ( x 1 , x 2 , , x n ) , F ( y 1 , y 2 , , y n ) ) m n [ d ( g ( x 1 ) , g ( y 1 ) ) + d ( g ( x 2 ) , g ( y 2 ) ) + + d ( g ( x n ) , g ( y n ) ) ]
(2.38)

for all x 1 , x 2 ,, x n , y 1 , y 2 ,, y n X for which g( x 1 )g( y 1 ), g( x 2 )g( y 2 ), … , g( x n )g( y n ) (if n is odd), g( x n )g( y n ) (if n is even). Assume also Condition 1 holds, and assume that F( X n )g(X), g is continuous and commutes with F. If there exist z 1 , z 2 ,, z n X such that

g ( z 1 ) F ( z 1 , z 2 , , z n ) , g ( z 2 ) F ( z 2 , , z n , z 1 ) , g ( z n ) F ( z n , z 1 , , z n 1 ) ( if n is odd ) , g ( z n ) F ( z n , z 1 , , z n 1 ) ( if n is even )
(2.39)

then there exist x 1 , x 2 ,, x n X such that

g ( x 1 ) = F ( x 1 , x 2 , , x n ) , g ( x 2 ) = F ( x 2 , , x n , x 1 ) , g ( x n ) = F ( x n , x 1 , , x n 1 ) ,

that is, F and g have a n-tuplet coincidence point.

Proof It is sufficient to take ϕ=mt with m[0,1) in previous theorem. □

3 Uniqueness of n-tuplet fixed point

For all ( x 1 , x 2 ,, x n ),( y 1 , y 2 ,, y n ) X n ,

( x 1 , x 2 , , x n ) ( y 1 , y 2 , , y n ) x 1 y 1 , x 2 y 2 , , x n y n ( if  n  is odd ) , x n y n ( if  n  is even ) .
(3.1)

We say that ( x 1 , x 2 ,, x n ) is equal to ( y 1 , y 2 ,, y n ) if and only if x 1 = y 1 , x 2 = y 2 , … , x n = y n .

Theorem 2 In addition to hypothesis Theorem 1, assume that for all ( x 1 , x 2 ,, x n ),( y 1 , y 2 ,, y n ) X n there exist ( z 1 , z 2 ,, z n ) X n such that

( F ( z 1 , z 2 , , z n ) , F ( z 2 , , z n , z 1 ) , , F ( z n , z 1 , , z n 1 ) )

is comparable to

( F ( x 1 , x 2 , , x n ) , F ( x 2 , , x n , x 1 ) , , F ( x n , x 1 , , x n 1 ) )

and

( F ( y 1 , y 2 , , y n ) , F ( y 2 , , y n , y 1 ) , , F ( y n , y 1 , , y n 1 ) ) .

Then F and g have a unique n-tuplet common fixed point, that is, there exist ( x 1 , x 2 ,, x n ) X n such that

x 1 = g ( x 1 ) = F ( x 1 , x 2 , , x n ) , x 2 = g ( x 2 ) = F ( x 2 , , x n , x 1 ) , x n = g ( x n ) = F ( x n , x 1 , , x n 1 ) .

Proof From the Theorem 1, the set of n-tuplet coincidences is non-empty. We will show that if ( x 1 , x 2 ,, x n ) and ( y 1 , y 2 ,, y n ) are n-tuplet coincidence points, that is, if

g ( x 1 ) = F ( x 1 , x 2 , , x n ) , g ( x 2 ) = F ( x 2 , , x n , x 1 ) , g ( x n ) = F ( x n , x 1 , , x n 1 )

and

g ( y 1 ) = F ( y 1 , y 2 , , y n ) , g ( y 2 ) = F ( y 2 , , y n , y 1 ) , g ( y n ) = F ( y n , y 1 , , y n 1 ) ,

then

g ( x 1 ) = g ( y 1 ) , g ( x 2 ) = g ( y 2 ) , g ( x n ) = g ( y n ) .
(3.2)

By assumption there is ( z 1 , z 2 ,, z n ) X n such that

( F ( z 1 , z 2 , , z n ) , F ( z 2 , , z n , z 1 ) , , F ( z n , z 1 , , z n 1 ) )
(3.3)

is comparable with

( F ( x 1 , x 2 , , x n ) , F ( x 2 , , x n , x 1 ) , , F ( x n , x 1 , , x n 1 ) )
(3.4)

and

( F ( y 1 , y 2 , , y n ) , F ( y 2 , , y n , y 1 ) , , F ( y n , y 1 , , y n 1 ) ) .
(3.5)

Define sequences (g( z k 1 )),(g( z k 2 )),,(g( z k n )) such that z 1 = z 0 1 , z 2 = z 0 2 , … , z n = z 0 n and

g ( z k 1 ) = F ( z k 1 1 , z k 1 2 , , z k 1 n ) , g ( z k 2 ) = F ( z k 1 2 , , z k 1 n , z k 1 2 ) , g ( z k n ) = F ( z k 1 n , z k 1 1 , , z k 1 n 1 ) .
(3.6)

Since (3.4) and (3.5) comparable with (3.3), we may assume that

( g ( x 1 ) , g ( x 2 ) , , g ( x n ) ) ( g ( z 1 ) , g ( z 2 ) , , g ( z n ) ) = ( g ( z 0 1 ) , g ( z 0 2 ) , , g ( z 0 n ) ) .

By using (2.11), we get that

( g ( x 1 ) , g ( x 2 ) , , g ( x n ) ) ( g ( z k 1 ) , g ( z k 2 ) , , g ( z k n ) )

for all k. From (3.1), we have

g ( x 1 ) g ( z k 1 ) , g ( x 2 ) g ( z k 2 ) , g ( x n ) g ( z k n ) ( if  n  is odd ) , g ( x n ) g ( z k n ) ( if  n  is even ) .
(3.7)

By (3.7) and (2.6), we have

d ( g ( x 1 ) , g ( z k + 1 1 ) ) = d ( F ( x 1 , x 2 , , x n ) , F ( z k 1 , z k 2 , , z k n ) ) ϕ ( 1 n [ d ( g ( x 1 ) , g ( z k 1 ) ) + d ( g ( x 2 ) , g ( z k 2 ) ) + + d ( g ( x n ) , g ( z k n ) ) ] ) ,
(3.8)
d ( g ( x 2 ) , g ( z k + 1 2 ) ) = d ( F ( x 2 , , x n , x 1 ) , F ( z k 2 , , z k n , z k 1 ) ) ϕ ( 1 n [ d ( g ( x 2 ) , g ( z k 2 ) ) + + d ( g ( x n ) , g ( z k n ) ) + d ( g ( x 1 ) , g ( z k 1 ) ) ] ) ,
(3.9)
d ( g ( x n ) , g ( z k + 1 n ) ) = d ( F ( x n , x 1 , , x n 1 ) , F ( z k n , z k 1 , , z k n 1 ) ) ϕ ( 1 n [ d ( g ( x n ) , g ( z k n ) ) + d ( g ( x 1 ) , g ( z k 1 ) ) + + d ( g ( x n 1 ) , g ( z k n 1 ) ) ] ) .
(3.10)

Adding (3.8)-(3.10), we get

d ( g ( x 1 ) , g ( z k + 1 1 ) ) + d ( g ( x 2 ) , g ( z k + 1 2 ) ) + + d ( g ( x n ) , g ( z k + 1 n ) ) n ϕ ( 1 n [ d ( g ( x 2 ) , g ( z k 2 ) ) + + d ( g ( x n ) , g ( z k n ) ) + d ( g ( x 1 ) , g ( z k 1 ) ) ] ) .
(3.11)

Hence, it follows

d ( g ( x 1 ) , g ( z k + 1 1 ) ) + d ( g ( x 2 ) , g ( z k + 1 2 ) ) + + d ( g ( x n ) , g ( z k + 1 n ) ) n ϕ k ( 1 n [ d ( g ( x 2 ) , g ( z k 2 ) ) + + d ( g ( x n ) , g ( z k n ) ) + d ( g ( x 1 ) , g ( z k 1 ) ) ] )
(3.12)

for each k1. It is known that ϕ(t)<t and lim r t + ϕ(r)<t imply lim k ϕ k (t)=0 for each t>0. Thus, from (3.12)

lim k d ( g ( x 1 ) , g ( z k + 1 1 ) ) = 0 , lim k d ( g ( x 2 ) , g ( z k + 1 2 ) ) = 0 , lim k d ( g ( x 2 ) , g ( z k + 1 2 ) ) = 0 .
(3.13)

Analogously, we can show that

lim k d ( g ( y 1 ) , g ( z k + 1 1 ) ) = 0 , lim k d ( g ( y 2 ) , g ( z k + 1 2 ) ) = 0 , lim k d ( g ( y 2 ) , g ( z k + 1 2 ) ) = 0 .
(3.14)

Combining (3.13) and (3.14) and by using the triangle inequality

d ( g ( x 1 ) , g ( y 1 ) ) d ( g ( x 1 ) , g ( z k + 1 1 ) ) + d ( g ( y 1 ) , g ( z k + 1 1 ) ) 0 as  k , d ( g ( x 2 ) , g ( y 2 ) ) d ( g ( x 2 ) , g ( z k + 1 2 ) ) + d ( g ( y 2 ) , g ( z k + 1 2 ) ) 0 as  k , d ( g ( x n ) , g ( y n ) ) d ( g ( x n ) , g ( z k + 1 n ) ) + d ( g ( y n ) , g ( z k + 1 n ) ) 0 as  k .
(3.15)

Hence, we get g( x 1 )=g( y 1 ), g( x 2 )=g( y 2 ), … , g( x n )=g( y n ). Thus, we proved claim of theorem.

By commutativity of F and g,

g ( g ( x 1 ) ) = g ( F ( x 1 , x 2 , , x n ) ) = F ( g ( x 1 ) , g ( x 2 ) , , g ( x n ) ) , g ( g ( x 2 ) ) = g ( F ( x 2 , , x n , x 1 ) ) = F ( g ( x 2 ) , , g ( x n ) , g ( x 1 ) ) , g ( g ( x n ) ) = g ( F ( x n , x 1 , , x n 1 ) ) = F ( g ( x n ) , g ( x 1 ) , , g ( x n 1 ) ) .
(3.16)

Denote g( x 1 )= w 1 , g( x 2 )= w 2 , … , g( x n )= w n . Since (3.16), we get

g ( w 1 ) = F ( w 1 , w 2 , , w n ) , g ( w 2 ) = F ( w 2 , , w n , w 1 ) , g ( w n ) = F ( w n , w 1 , , w n 1 ) .
(3.17)

Thus, ( w 1 , w 2 ,, w n ) is a n-tuplet coincidence point. Then from assumption in theorem with y 1 = w 1 , … , y n = w n it follows g( w 1 )=g( x 1 ), g( w 2 )=g( x 2 ), … , g( w n )=g( x n ), that is

g ( w 1 ) = w 1 ,,g ( w n ) = w n .
(3.18)

From (3.18) and (3.17),

w 1 = g ( w 1 ) = F ( w 1 , w 2 , , w n ) , w 2 = g ( w 2 ) = F ( w 2 , , w n , w 1 ) , w n = g ( w n ) = F ( w n , w 1 , , w n 1 ) .

Therefore, ( w 1 , w 2 ,, w n ) is n-tuplet common fixed point of F and g. To prove the uniqueness, assume that ( u 1 , u 2 ,, u n ) is another n-tuplet common fixed point. Then by assumption in theorem we have

u 1 = g ( u 1 ) = g ( w 1 ) , u 2 = g ( u 2 ) = g ( w 2 ) , u n = g ( u n ) = g ( w n ) .

 □

Corollary 3 Let (X,) be partially ordered set and suppose that (X,d) is complete metric space. Suppose F: X n X and there exist ϕΦ such that F has the mixed g-monotone property and

d ( F ( x 1 , x 2 , x 3 , , x n ) , F ( y 1 , y 2 , y 3 , , y n ) ) ϕ ( d ( g ( x 1 ) , g ( y 1 ) ) + d ( g ( x 2 ) , g ( y 2 ) ) + + d ( g ( x n ) , g ( y n ) ) n )
(3.19)

for all x 1 , x 2 , x 3 ,, x n , y 1 , y 2 , y 3 ,, y n X for which x 1 y 1 , x 2 y 2 , … , x n y n (if n is odd), x n y n (if n is even). Suppose there exist x 0 1 , x 0 2 , x 0 3 ,, x 0 n X such that

x 0 1 F ( x 0 1 , x 0 2 , x 0 3 , , x 0 n ) , x 0 2 F ( x 0 2 , x 0 3 , , x 0 n , x 0 1 ) , x 0 n F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) ( if n is odd ) , x 0 n F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) ( if n is even ) .
(3.20)

Assume also that Condition 1 holds. Then there exist x 1 , x 2 , x 3 ,, x n such that

x 1 = F ( x 1 , x 2 , x 3 , , x n ) , x 2 = F ( x 2 , x 3 , , x n , x 1 ) , x n = F ( x n , x 1 , x 2 , , x n 1 ) .
(3.21)

That is F has a n-tuplet fixed point.

Proof Take g(x)=x, then the assumption in Theorem 1 are satisfied. Thus, we get the result. □

Corollary 4 Let (X,) be partially ordered set and suppose that (X,d) is complete metric space. Suppose F: X n X and there exist ϕΦ such that F has the mixed g-monotone property and there exist m[0,1) with

ϕ ( F ( x 1 , x 2 , , x n ) , F ( y 1 , y 2 , , y n ) ) m n [ d ( g ( x 1 ) , g ( y 1 ) ) + d ( g ( x 2 ) , g ( y 2 ) ) + + d ( g ( x n ) , g ( y n ) ) ]
(3.22)

for all x 1 , x 2 ,, x n , y 1 , y 2 ,, y n X for which x 1 y 1 , x 2 y 2 , … , x n y n (if n is odd), x n y n (if n is even). Suppose there exist x 0 1 , x 0 2 , x 0 3 ,, x 0 n X such that

x 0 1 F ( x 0 1 , x 0 2 , x 0 3 , , x 0 n ) , x 0 2 F ( x 0 2 , x 0 3 , , x 0 n , x 0 1 ) , x 0 n F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) ( if n is odd ) , x 0 n F ( x 0 n , x 0 1 , x 0 2 , , x 0 n 1 ) ( if n is even ) .

Assume also that Condition 1 holds. Then there exist x 1 , x 2 , x 3 ,, x n such that

x 1 = F ( x 1 , x 2 , x 3 , , x n ) , x 2 = F ( x 0 2 , x 0 3 , , x 0 n , x 0 1 ) , x n = F ( x n , x 1 , x 2 , , x n 1 ) .
(3.23)

That is F and g have n-tuplet coincidence point.

Proof Taking ϕ(t)=mt with m[0,1) in above corollary we obtain this corollary. □

References

  1. Banach S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 1922, 3: 133–181.

    MATH  Google Scholar 

  2. Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2004, 132(5):1435–1443. 10.1090/s0002-9939-03-07220-4

    Article  MathSciNet  MATH  Google Scholar 

  3. Nieto 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

    Article  MathSciNet  MATH  Google Scholar 

  4. Bhaskar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal., Theory Methods Appl. 2006, 65(7):1379–1393. 10.1016/j.na.2005.10.017

    Article  MathSciNet  MATH  Google Scholar 

  5. Abbas M, Khan MA, Radenovic S: Common coupled fixed point theorems in cone metric spaces for w -compatible mappings. Appl. Math. Comput. 2010, 217(1):195–202. 10.1016/j.amc.2010.05.042

    Article  MathSciNet  MATH  Google Scholar 

  6. Abbas M, Damjanovic B, Lazovic R: Fuzzy common fixed point theorems for generalized contractive mappings. Appl. Math. Lett. 2010, 23(11):1326–1330. 10.1016/j.aml.2010.06.023

    Article  MathSciNet  MATH  Google Scholar 

  7. Aydi H, Karapinar E, Shatanawi W:Coupled fixed point results for (ψ,ϕ)-weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 2011, 62(12):4449–4460. 10.1016/j.camwa.2011.10.021

    Article  MathSciNet  MATH  Google Scholar 

  8. Berinde V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 2011, 74(18):7347–7355. 10.1016/j.na.2011.07.053

    Article  MathSciNet  MATH  Google Scholar 

  9. Berinde V: Coupled coincidence point theorems for mixed monotone nonlinear operators. Comput. Math. Appl. 2012, 64(6):1770–1777. 10.1016/j.camwa.2012.02.012

    Article  MathSciNet  MATH  Google Scholar 

  10. Gordji ME, Ghods S, Ghods V, Hadian M: Coupled fixed point theorem for generalized fuzzy Meir-Keeler contraction in fuzzy metric spaces. J. Comput. Anal. Appl. 2012, 14(2):271–277.

    MathSciNet  MATH  Google Scholar 

  11. Lakshmikantham V, Ciric L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 2009, 70(12):4341–4349. 10.1016/j.na.2008.09.020

    Article  MathSciNet  MATH  Google Scholar 

  12. Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 2011, 74(15):4889–4897. 10.1016/j.na.2011.03.032

    Article  MathSciNet  MATH  Google Scholar 

  13. Aydi H, Karapınar E, Yüce IS: Quadruple fixed point theorems in partially ordered metric spaces depending on another function. ISRN Appl. Math. 2012. 10.5402/2012/539125

    Google Scholar 

  14. Karapinar E, Shatanawi W, Mustafa Z: Quadruple fixed point theorems under nonlinear contractive conditions in partially ordered metric spaces. J. Appl. Math. 2012. 10.1155/2012/951912

    Google Scholar 

  15. Mustafa Z, Aydi H, Karapinar E: Mixed g -monotone property and quadruple fixed point theorems in partially ordered metric spaces. Fixed Point Theory Appl. 2012, 2012: 1–19. 10.1186/1687-1812-2012-71

    Article  MathSciNet  MATH  Google Scholar 

  16. Karapinar E, Berinde V: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J. Math. Anal. 2012, 6(1):74–89.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work is supported by Yildiz Technical University Scientific Research Projects Coordination Unit under the project number BAPK 2012-07-03-DOP03.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Müzeyyen Ertürk.

Additional information

Competing interests

The authors declare that they have no competing interests.

An erratum to this article is available at http://dx.doi.org/10.1186/1029-242X-2013-368.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Ertürk, M., Karakaya, V. n-tuplet fixed point theorems for contractive type mappings in partially ordered metric spaces. J Inequal Appl 2013, 196 (2013). https://doi.org/10.1186/1029-242X-2013-196

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-196

Keywords