Skip to main content

Some remarks on ‘Multidimensional fixed point theorems for isotone mappings in partially ordered metric spaces’

Abstract

The main aim of this paper is to advise researchers in the field of Fixed Point Theory against an extended mistake that can be found in some proofs. We illustrate our claim proving that theorems in the very recent paper (Wang in Fixed Point Theory Appl. 2014:137, 2014) are incorrect, and we provide different corrected versions of them.

1 Introduction and preliminaries

Let (X,d) be a metric space, let k be a positive integer number, and let X k =X×X× ( k ) ×X be the Cartesian product of k identical copies of X. The function ρ k : X k × X k [0,) defined, for all ( y 1 , y 2 ,, y k ),( v 1 , v 2 ,, v k ) X k , by

ρ k ( ( y 1 , y 2 , , y k ) , ( v 1 , v 2 , , v k ) ) = 1 k [ d ( y 1 , v 1 ) + d ( y 2 , v 2 ) + + d ( y k , v k ) ]
(1)

is a metric on X k .

Let Φ denote the set of all continuous and strictly increasing functions ϕ:[0,)[0,), and Ψ denote the set of all functions ψ:[0,)[0,) such that lim t r ψ(t)>0, for all r>0.

Inspired by Roldán et al.’s notion of a multidimensional fixed point (see [13]), Wang announced the following results in [4].

Theorem 1 (Wang [[4], Theorem 3.1])

Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T: X k X k be an isotone mapping for which there exist φΦ and ψΨ such that, for all Y,V X k with YV,

φ ( ρ k ( T ( Y ) , T ( V ) ) ) φ ( ρ k ( Y , V ) ) ψ ( ρ k ( Y , V ) ) ,

where ρ k is defined by (1). Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists Z 0 X k such that Z 0 T( Z 0 ), then T has a fixed point.

As a consequence, she deduced the following result.

Theorem 2 (Wang [[4], Corollary 3.2])

Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exist φΦ and ψΨ such that, for all y,vX with yv,

φ ( d ( T ( y ) , T ( v ) ) ) φ ( d ( y , v ) ) ψ ( d ( y , v ) ) .
(2)

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

Remark 3 Theorems 1 and 2 are equivalent: Wang interpreted Theorem 2 as a corollary of Theorem 1 (taking k=1), but is also true that Theorem 1 is a particularization of Theorem 2 taking ( X k , ρ k ,) rather than (X,d,).

We claim that Theorem 2 is false, providing the following counterexample. As a consequence, all results in [4] are not correct.

2 A counterexample

Let X=N={1,2,3,} be the set of all natural numbers endowed with the usual order ≤ of real numbers and the Euclidean metric d(x,y)=|xy|, for all x,yX. Define T:XX and ϕ,ψ:[0,)[0,) by

T ( x ) = x + 1 , for all  x X ; φ ( t ) = t , for all  t [ 0 , ) ; ψ ( t ) = { 0 , if  t  is integer , 1 , otherwise .

Clearly, φΦ, ψΨ (in fact, notice that lim t r ψ(t)=1, for all r0). Furthermore, T is a continuous, nondecreasing mapping. Moreover, it verifies condition (2) because if y,vX=N are natural numbers, then d(y,v) is also a nonnegative integer number, so ψ(d(y,v))=0, and this proves that

φ ( d ( T ( y ) , T ( v ) ) ) = d ( y + 1 , v + 1 ) = | ( y + 1 ) ( v + 1 ) | = | y v | = d ( y , v ) = φ ( d ( y , v ) ) = φ ( d ( y , v ) ) ψ ( d ( y , v ) )

(it is not necessary to assume that yv). Any point z 0 X verifies z 0 T( z 0 ). However, T does not have any fixed point.

Remark 4 Notice that Wang’s results are valid if we add the assumption ψ(t)=0t=0 but, in this case, the results are not as attractive.

3 Some considerations of Wang’s paper

We write the following in order to advise researchers against the mistake in Wang’s proofs, which could be found on other papers.

In fixed point theory, given an operator T:XX, it is usual to consider a Picard sequence x n + 1 =T x n , for all nN. In the context of partially ordered metric spaces, this sequence must be monotone (for instance, nondecreasing). Applying the contractivity condition (2), it follows that, for all nN,

φ ( d ( x n + 1 , x n + 2 ) ) = φ ( d ( T x n , T x n + 1 ) ) φ ( d ( x n , x n + 1 ) ) ψ ( d ( x n , x n + 1 ) ) φ ( d ( x n , x n + 1 ) ) .

Using the fact that φ is strictly increasing, we have d( x n + 1 , x n + 2 )d( x n , x n + 1 ), for all nN, which means that { d ( x n , x n + 1 ) } n N is a nonincreasing sequence of nonnegative real numbers. As a consequence, it is convergent. Let L0 be its limit. In order to prove that L=0, we reason by contradiction assuming that L>0. Taking into account that

φ ( d ( x n + 1 , x n + 2 ) ) φ ( d ( x n , x n + 1 ) ) ψ ( d ( x n , x n + 1 ) ) ,for all nN,

it is usual to take the limit in the previous inequality. As φ is continuous and lim t L ψ(t)>0 by hypothesis, the author tried to deduce that

φ ( L ) = lim n φ ( d ( x n + 1 , x n + 2 ) ) lim n [ φ ( d ( x n , x n + 1 ) ) ψ ( d ( x n , x n + 1 ) ) ] = lim n φ ( d ( x n , x n + 1 ) ) lim n ψ ( d ( x n , x n + 1 ) ) = φ ( L ) lim t L ψ ( t ) < φ ( L ) ,

which is a contradiction. However, the equality

lim n ψ ( d ( x n , x n + 1 ) ) = lim t L ψ(t)

can be false: as in the previous counterexample, the sequence { ψ ( d ( x n , x n + 1 ) ) } n N can be identically zero but the limit lim t L ψ(t) must take a positive value.

4 A suggestion to correct Wang’s paper

In this section, inspired by Wang’s paper [4], we suggest a new theorem in the context of partially ordered metric spaces. We also underline that one can easily state the same theorem in the frame of multidimensional fixed points. In fact, they are equivalent as is mentioned in Section 1.

Firstly, we give a modified version of the collection of auxiliary functions Ψ in the following way. Let Ψ denote the set of all lower semi-continuous functions ψ:[0,)[0,) such that ψ(t)=0t=0. The following two lemmas will be useful in the proofs of the upcoming theorems.

Lemma 5 (See, e.g., [5])

Let (X,d) be a metric space and let { x n } be a sequence in X such that

lim n d( x n , x n + 1 )=0.

If { x n } is not a Cauchy sequence in (X,d), then there exist ε>0 and two sequences {n(k)} and {m(k)} of positive integers such that, for all kN,

kn(k)<m(k)andd( x n ( k ) , x m ( k ) 1 )ε<d( x n ( k ) , x m ( k ) ).

Furthermore,

lim k d ( x n ( k ) , x m ( k ) ) = lim k d ( x n ( k ) + 1 , x m ( k ) ) = lim k d ( x n ( k ) , x m ( k ) + 1 ) = lim k d ( x n ( k ) + 1 , x m ( k ) + 1 ) = ε .

Lemma 6 Let φΦ, ψ Ψ , and let { t n },{ s n },{ a n }[0,) be three sequences of nonnegative real numbers such that

φ( t n )φ( s n )ψ( s n )+ a n ,for all nN.

If there exists α[0,) such that { t n }α, { s n }α, { a n }0, and s n >α, for all nN, then α=0.

Proof Notice that

0ψ( s n )φ( s n )φ( t n )+ a n ,for all nN.

As { t n }α, { s n }α, { a n }0, and ψ is continuous, we deduce that

lim n ψ( s n )=0.

As s n >α, for all nN, and ψ is lower semi-continuous, we deduce that

0ψ(α) lim inf t α + ψ(t)= lim inf n ψ( s n )= lim n ψ( s n )=0.

Therefore, ψ(α)=0. As ψ Ψ , we conclude that α=0. □

Theorem 7 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exist φΦ, ψ Ψ and L0 such that

φ ( d ( T x , T y ) ) φ ( M d ( x , y ) ) ψ ( M d ( x , y ) ) +L N d (x,y),
(3)

for all x,yX with xy, where

M d (x,y)=max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , d ( y , T x ) + d ( x , T y ) 2 }

and

N d (x,y)=min { d ( x , T x ) , d ( y , T y ) , d ( x , T y ) , d ( y , T x ) } .

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

Proof By assumption, there exists z 0 X such that z 0 T( z 0 ). Without loss of generality, we assume that z 0 T z 0 (the case z 0 T z 0 can be treated analogously). Define an iterative sequence { z n } as z n + 1 =T z n for each n{0,1,2,}. If z n 0 =T z n 0 for some n 0 , then we conclude the assertion of the theorem. So, assume that z n + 1 z n for each n{0,1,2,}. Since T is nondecreasing, z 0 T z 0 = z 1 implies that z 1 =T z 0 T z 1 = z 2 . Recursively, we derive that

z n z n + 1 ,for each n{0,1,2,}.

Letting x= z n and y= z n + 1 in (3) we get, for all nN,

φ ( d ( z n + 1 , z n + 2 ) ) = φ ( d ( T z n , T z n + 1 ) ) φ ( M d ( z n , z n + 1 ) ) ψ ( M d ( z n , z n + 1 ) ) + L N d ( z n , z n + 1 ) .
(4)

By elementary calculation we find that N d ( z n , z n + 1 )=0, and

M d ( z n , z n + 1 )=max { d ( z n , z n + 1 ) , d ( z n + 1 , z n + 2 ) } .

If there exists some n such that M d ( z n , z n + 1 )=d( z n + 1 , z n + 2 ), then (4) turns into

φ ( d ( z n + 1 , z n + 2 ) ) φ ( d ( z n + 1 , z n + 2 ) ) ψ ( d ( z n + 1 , z n + 2 ) ) ,

which is a contradiction because d( z n + 1 , z n + 2 )>0. Hence, (4) is equivalent to

φ ( d ( z n + 1 , z n + 2 ) ) φ ( d ( z n , z n + 1 ) ) ψ ( d ( z n , z n + 1 ) ) < φ ( d ( z n , z n + 1 ) ) ,
(5)

for all nN. Since φ is a strictly increasing function, we have, for all nN,

d( z n + 1 , z n + 2 )<d( z n , z n + 1 ).

Thus, {d( z n , z n + 1 )} is a decreasing sequence that is bounded from below. Thus, there exists δ0 such that lim n d( z n , z n + 1 )=δ. We assert that δ=0. Suppose, on the contrary, that δ>0. Letting n in (5) and regarding the properties of the auxiliary functions φ, ϕ, we derive that

φ(δ)φ(δ)ψ(δ).

Hence, ψ(δ)=0 and, as a result, δ=0. Thus,

lim n d( z n , z n + 1 )=0.

In what follows, we prove that { z n } is a Cauchy sequence. Suppose, on the contrary, that { z n } is not Cauchy. By Lemma 5, there exist ε>0 and two sequences {n(k)} and {m(k)} of positive integers such that, for all kN,

k n ( k ) < m ( k ) , d ( z n ( k ) , z m ( k ) 1 ) ε < d ( z n ( k ) , z m ( k ) )

and

lim k d ( z n ( k ) , z m ( k ) ) = lim k d ( z n ( k ) + 1 , z m ( k ) ) = lim k d ( z n ( k ) , z m ( k ) + 1 ) = lim k d ( z n ( k ) + 1 , z m ( k ) + 1 ) = ε .
(6)

As { z n } is nondecreasing, z n ( k ) z m ( k ) , for all kN. Applying the contractivity condition (3), it follows, for all kN, that

φ ( d ( z n ( k ) + 1 , z m ( k ) + 1 ) ) = φ ( d ( T z n ( k ) , T z m ( k ) ) ) φ ( M d ( z n ( k ) , z m ( k ) ) ) ψ ( M d ( z n ( k ) , z m ( k ) ) ) + L N d ( z n ( k ) , z m ( k ) ) ,

where

M d ( z n ( k ) , z m ( k ) ) = max { d ( z n ( k ) , z m ( k ) ) , d ( z n ( k ) , z n ( k ) + 1 ) , d ( z m ( k ) , z m ( k ) + 1 ) , d ( z m ( k ) , z n ( k ) + 1 ) + d ( z n ( k ) , z m ( k ) + 1 ) 2 }

and

N d ( z n ( k ) , z m ( k ) ) = min { d ( z n ( k ) , z n ( k ) + 1 ) , d ( z m ( k ) , z m ( k ) + 1 ) , d ( z n ( k ) , z m ( k ) + 1 ) , d ( z m ( k ) , z n ( k ) + 1 ) } .

As { d ( z n ( k ) , z n ( k ) + 1 ) } k N 0,

lim k N d ( z n ( k ) , z m ( k ) )=0.

Furthermore, by (6), we have

lim k M d ( z n ( k ) , z m ( k ) )=max{ε,0,0,ε}=ε.

Using the sequences

{ t k = d ( z n ( k ) + 1 , z m ( k ) + 1 ) } k N , { s k = M d ( z n ( k ) , z m ( k ) ) } k N and { a k = L N d ( z n ( k ) , z m ( k ) ) } k N ,

Lemma 6 guarantees that ε=α=0, which is a contradiction. As a consequence, we must admit that { z n } is a Cauchy sequence in (X,d). As it is complete, there exists zX such that

lim n z n =z.

If T is continuous, it is clear that z is a fixed point of T.

Suppose that condition (b) holds. Hence, as { z n } is nondecreasing and converges to z, we have z n z, for all n={0,1,2,}. Due to (3), we have, for all nN,

φ ( d ( z n + 1 , T z ) ) φ ( M d ( z n , z ) ) ψ ( M d ( z n , z ) ) +L N d ( z n ,z),
(7)

where

M d ( z n ,z)=max { d ( z n , z ) , d ( z n , z n + 1 ) , d ( z , T z ) , d ( z , z n + 1 ) + d ( z n , T z ) 2 }

and

N d ( z n ,z)=min { d ( z n , z n + 1 ) , d ( z , T z ) , d ( z , z n + 1 ) , d ( z n , T z ) } .

Letting n in (7), we get

φ ( d ( z , T z ) ) φ ( d ( z , T z ) ) ψ ( d ( z , T z ) ) φ ( d ( z , T z ) ) ,

so ψ(d(z,Tz))=0 and d(z,Tz)=0. As a consequence, Tz=z, which completes the proof. □

The following corollary follows from Theorem 7 using L=0.

Corollary 8 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exist φΦ, ψ Ψ such that

φ ( d ( T x , T y ) ) φ ( M d ( x , y ) ) ψ ( M d ( x , y ) ) ,

for all x,yX with xy, where

M d (x,y)=max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , d ( y , T x ) + d ( x , T y ) 2 } .

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

In the next result, we take φ as the identity mapping on [0,), which clearly belongs to Φ.

Corollary 9 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exists ψ Ψ such that

d(Tx,Ty) M d (x,y)ψ ( M d ( x , y ) ) ,

for all x,yX with xy, where

M d (x,y)=max { d ( x , y ) , d ( x , T x ) , d ( y , T y ) , d ( y , T x ) + d ( x , T y ) 2 } .

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

The following result is not a direct consequence of Theorem 7, but its proof is verbatim the proof of Theorem 7. Thus, we skip it.

Theorem 10 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exist φΦ, ψ Ψ , and L0 such that

φ ( d ( T x , T y ) ) φ ( d ( x , y ) ) ψ ( d ( x , y ) ) +L N d (x,y),

for all x,yX with xy, where

N d (x,y)=min { d ( x , T x ) , d ( y , T y ) , d ( x , T y ) , d ( y , T x ) } .

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

If L=0 in the previous theorem, we obtain the following result.

Corollary 11 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exist φΦ, ψ Ψ such that

φ ( d ( T x , T y ) ) φ ( d ( x , y ) ) ψ ( d ( x , y ) ) ,

for all x,yX with xy. Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

If we take φ as the identity mapping on [0,), we derive the following result.

Corollary 12 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exists ψ Ψ such that

d(Tx,Ty)d(x,y)ψ ( d ( x , y ) ) ,

for all x,yX with xy. Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

In the sequel we suggest another theorem by changing the properties of the auxiliary functions in the following way.

Let Ψ denote the set of all functions ψ:[0,)[0,) such that

  1. 1.

    ψ(t)=0t=0 and lim inf n ψ( t n )>0 whenever lim n t n =t>0.

  2. 2.

    ψ(t)>φ(t)φ(t) for any t>0, where φ(t) is the left limit of φ at t, where φΦ.

Theorem 13 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T:XX be a nondecreasing mapping for which there exist φΦ and ψ Ψ , L0 such that

φ ( d ( T y , T v ) ) φ ( M d ( y , v ) ) ψ ( M d ( y , v ) ) +L N d (y,v),

for all y,vX with yv, where

M d (y,v)=max { d ( y , v ) , d ( y , T y ) , d ( v , T v ) , d ( y , T v ) + d ( v , T y ) 2 }

and

N d (y,v)=min { d ( y , T y ) , d ( v , T v ) , d ( v , T y ) , d ( y , T v ) } .

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists z 0 X such that z 0 T( z 0 ), then T has a fixed point.

The proof is analog to the proof of Theorem 7 and, hence, we skip it.

Remark 14 As in Theorem 13, by changing the property of the auxiliary function, we get various results (see, e.g., [69] and related references therein).

5 Fixed point theorems from (one dimensional) fixed point to multidimensional fixed point

As discussed in Remark 3, multidimensional fixed point theorems are equivalent to (one dimensional) fixed point theorems. Thus, Theorem 7 can be translated in a multidimensional case as follows.

Theorem 15 Let (X,) be a partially ordered set and suppose that there is a metric d on X such that (X,d) is a complete metric space. Let T: X k X k be a nondecreasing mapping for which there exist φΦ, ψ Ψ , and L0 such that

φ ( ρ k ( T V , T Y ) ) φ ( M ρ k ( V , Y ) ) ψ ( M ρ k ( V , Y ) ) +L N ρ k (V,Y),

for all V,YX with VY, where

M ρ k (V,Y)=max { ρ k ( V , Y ) , ρ k ( V , T V ) , ρ k ( Y , T Y ) , ρ k ( Y , T V ) + ρ k ( V , T Y ) 2 }

and

N ρ k (V,Y)=min { ρ k ( V , T V ) , ρ k ( Y , T Y ) , ρ k ( V , T Y ) , ρ k ( Y , T V ) } .

Suppose either

  1. (a)

    T is continuous or

  2. (b)

    (X,d,) is regular.

If there exists Z 0 X k such that Z 0 T( Z 0 ), then T has a fixed point.

In similar way, we may state the analog of Corollary 8, Corollary 9, Theorem 10, Corollary 11, Corollary 12.

6 Applications

In this section, based on the results in [10], we propose an application to our results. Consider the integral equation

u(t)= 0 T K ( t , s , u ( s ) ) ds+g(t),t[0,T],
(8)

where T>0. We introduce the following space:

C[0,T]= { u : [ 0 , T ] R : u  is continuous on  [ 0 , T ] }

equipped with the metric

d(u,v)= sup t [ 0 , T ] |u(t)v(t)|,for each u,vC[0,T].

It is clear that (C[0,T],d) is a complete metric space. Furthermore, C[0,T] can be equipped with the partial order as follows:

u,vC[0,T],uvu(t)v(t),for each t[0,T].

Due to [11], we know that (C[0,T],d,) is regular.

In what follows we state the main result of this section.

Theorem 16 We assume that the following hypotheses hold:

  1. (i)

    K:[0,T]×[0,T]×RR and g:RR are continuous,

  2. (ii)

    for all s,t[0,T] and u,vC[0,T] with vu, we have

    K ( t , s , v ( s ) ) K ( t , s , u ( s ) ) ,
  3. (iii)

    there exists a continuous function G:[0,T]×[0,T][0,) such that

    |K(t,s,x)K(t,s,y)|G(t,s) ( x y ) 4 1 + ( x y ) 2 ,

for all s,t[0,T] and x,yR with xy,

  1. (iv)

    sup t [ 0 , T ] 0 T G ( t , s ) 2 ds 1 T .

Then the integral (8) has a solution u C[0,T].

Proof We, first, define T:C[0,T]C[0,T] by

Tu(t)= 0 T K ( t , s , u ( s ) ) ds+g(t),t[0,T],uC[0,T].

We first prove that T is nondecreasing. Assume that vu. From (ii), for all s,t[0,T], we have K(t,s,v(s))K(t,s,u(s)). Thus, we get

T v ( t ) = 0 T K ( t , s , v ( s ) ) d s + g ( t ) 0 T K ( t , s , u ( s ) ) d s + g ( t ) = T u ( t ) .

Now, for all u,vC[0,T] with vu, due to (iii), we derive that

| T u ( t ) T v ( t ) | 0 T | K ( t , s , u ( s ) ) K ( t , s , v ( s ) ) | d s 0 T G ( t , s ) ( u ( s ) v ( s ) ) 4 ( u ( s ) v ( s ) ) 2 + 1 d s .

On account of the Cauchy-Schwarz inequality in the last integral above, we find that

0 T G ( t , s ) ( u ( s ) v ( s ) ) 4 ( u ( s ) v ( s ) ) 2 + 1 d s ( 0 T G ( t , s ) 2 d s ) 1 2 ( 0 T ( ( u ( s ) v ( s ) ) 4 ( u ( s ) v ( s ) ) 2 + 1 ) 2 d s ) 1 2 .
(9)

Taking (iv) into account, we estimate the first integral in (9) as follows:

( 0 T G ( t , s ) 2 d s ) 1 2 1 T .

For the second integral in (9) we proceed in the following way:

( 0 T ( u ( s ) v ( s ) ) 4 ( u ( s ) v ( s ) ) 2 + 1 d s ) 1 2 T ( d ( u , v ) ) 4 ( d ( u , v ) ) 2 + 1 .

By combining the above estimation, we conclude that

|Tu(t)Tv(t)| ( d ( u , v ) ) 4 ( d ( u , v ) ) 2 + 1 .

It yields

d(Tu,Tv) ( d ( u , v ) ) 4 ( d ( u , v ) ) 2 + 1 ,

or equivalently,

( d ( T u , T v ) ) 2 ( d ( u , v ) ) 4 ( d ( u , v ) ) 2 + 1 .

Now, if choose φ(t)= t 2 and ψ(t)= t 2 t 2 1 + t 2 , then we get

φ ( d ( T u , T v ) ) φ ( d ( u , v ) ) ψ ( d ( u , v ) ) ,

for all u,vC[0,T] with vu. Hence, all hypotheses of Corollary 11 are satisfied. Thus, T has a fixed point u C[0,T] which is a solution of (8). □

References

  1. Roldán A, Martínez-Moreno J, Roldán C: Multidimensional fixed point theorems in partially ordered metric spaces. J. Math. Anal. Appl. 2012, 396: 536–545. 10.1016/j.jmaa.2012.06.049

    Article  MathSciNet  Google Scholar 

  2. Karapınar E, Roldán A, Martínez-Moreno J, Roldán C: Meir-Keeler type multidimensional fixed point theorems in partially ordered metric spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 406026

    Google Scholar 

  3. Roldán A, Martínez-Moreno J, Roldán C, Karapınar E:Multidimensional fixed-point theorems in partially ordered complete partial metric spaces under (ψ,φ)-contractivity conditions. Abstr. Appl. Anal. 2013., 2013: Article ID 634371

    Google Scholar 

  4. Wang S: Multidimensional fixed point theorems for isotone mappings in partially ordered metric spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 137

    Google Scholar 

  5. Radenović S, Kadelburg Z, Jandrlić D, Jandrlić A: Some results on weakly contractive maps. Bull. Iran. Math. Soc. 2012, 38(3):625–645.

    Google Scholar 

  6. Karapınar E: Fixed point theory for cyclic weak ϕ -contraction. Appl. Math. Lett. 2011, 24(6):822–825. 10.1016/j.aml.2010.12.016

    Article  MathSciNet  Google Scholar 

  7. Popescu O:Fixed points for (ψ,ϕ)-weak contractions. Appl. Math. Lett. 2011, 24(1):1–4. 10.1016/j.aml.2010.06.024

    Article  MathSciNet  Google Scholar 

  8. Zhang Q, Song Y: Fixed point theory for generalized ϕ -weak contractions. Appl. Math. Lett. 2009, 22: 75–78. 10.1016/j.aml.2008.02.007

    Article  MathSciNet  Google Scholar 

  9. Rouhani BD, Moradi S:Common fixed point of multivalued generalized (ψ,ϕ)-weak contractive mappings. Fixed Point Theory Appl. 2010., 2010: Article ID 708984

    Google Scholar 

  10. Harjani J, Sadarangani K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72(3–4):1188–1197. 10.1016/j.na.2009.08.003

    Article  MathSciNet  Google Scholar 

  11. Nieto JJ, Pouso RL, Rodríguez-Lopez R: Fixed point theorems in partially ordered sets. Proc. Am. Math. Soc. 2007, 132(8):2505–2517.

    Article  Google Scholar 

Download references

Acknowledgements

Antonio-Francisco Roldán-López-de-Hierro has been partially supported by Junta de Andalucía by project FQM-268 of the Andalusian CICYE.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antonio-Francisco Roldán-López-de-Hierro.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Rights and permissions

Open Access  This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Agarwal, R.P., Karapınar, E. & Roldán-López-de-Hierro, AF. Some remarks on ‘Multidimensional fixed point theorems for isotone mappings in partially ordered metric spaces’. Fixed Point Theory Appl 2014, 245 (2014). https://doi.org/10.1186/1687-1812-2014-245

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2014-245

Keywords