Open Access

Fixed point theorems for monotone operators and applications to nonlinear elliptic problems

Fixed Point Theory and Applications20132013:134

https://doi.org/10.1186/1687-1812-2013-134

Received: 12 February 2013

Accepted: 8 May 2013

Published: 27 May 2013

Abstract

In this paper, some fixed point theorems for monotone operators in partially ordered complete metric spaces are proved. Especially, a sufficient and necessary condition for the existence of a fixed point for a class of monotone operators is presented. The main results of this paper are generalizations of the recent results in the literature. Also, the main results can be applied to solve the nonlinear elliptic problems and the delayed hematopoiesis models.

MSC:47H10, 54H25.

Keywords

coupled fixed pointpartially ordered metric spacemixed monotone mappingquadruple fixed point

1 Introduction

In the last decades, the fixed point theorems for the contraction mappings have been improved and generalized in different directions. During the extensive applications to the nonlinear integral equations, there were many researchers to investigate the existence of a fixed point for contraction-type mappings in partially ordered metric spaces. In 2006, Bhaskar and Lakshmikantham [1] introduced the notion of coupled fixed point and proved some coupled fixed point theorems for mixed monotone mappings. Later, Lakshmikantham and Ciric presented a coincidence point theorem for a mapping with g-monotone property in [2]. Also, the concepts of tripled fixed point and quadruple fixed point were introduced by the authors in [3] and [4], respectively. Meanwhile, they proved the corresponding fixed point theorems. More details on the direction of the coupled fixed point theory and its applications can be found in the literature (see, e.g., [527]).

In this manuscript, we give a common method to deal with the existence of a coupled fixed point and the coincidence point for a class of mixed monotone mappings in a partially ordered complete metric space. Indeed, we establish some fixed point theorems for the monotone operators in the partially ordered complete metric space. Especially, we present the sufficient and necessary condition for the existence of a fixed point for a class of monotone operators. Our results improve and generalize the main results in the literature [14, 10].

In the rest of this section, we recall some basic definitions.

Let ( X , ) be a partially ordered set, a subset E X is said to be a totally ordered subset if either x y or y x holds for all x , y E . We say the elements x and y are comparable if either x y or y x holds. It is said that a triple ( X , , d ) is a partially ordered complete metric space if ( X , ) is a partially ordered set and ( X , d ) is a complete metric space. Let Φ denote all the functions ϕ : [ 0 , + ) [ 0 , + ) which satisfy that ϕ ( r ) < r and lim t r + ϕ ( t ) < r for all r > 0 . We should mention that Agarwal et al. [28] considered the non-decreasing functions ϕ : [ 0 , + ) [ 0 , + ) satisfying lim n ϕ n ( r ) = 0 for all r > 0 and established some fixed point theorems.

Definition 1.1 (Bhaskar and Lakshmikantham [1])

Let ( X , ) be a partially ordered set and F : X 2 X . The mapping F is said to have the mixed monotone property if F is monotone non-decreasing in its first argument and is monotone non-increasing in its second argument, that is, for any x , y X ,
x 1 , x 2 X , x 1 x 2 F ( x 1 , y ) F ( x 2 , y ) and y 1 , y 2 X , y 1 y 2 F ( x , y 2 ) F ( x , y 1 ) .

Definition 1.2 (Bhaskar and Lakshmikantham [1])

An element ( x , y ) X 2 is said to be a coupled fixed point of the mapping F : X 2 X if F ( x , y ) = x and F ( y , x ) = y .

2 Fixed points theorems for monotone operators

Theorem 2.1 Let ( X , , ρ ) be a partially ordered complete metric space and let G : X X be a monotone non-decreasing operator with respect to the order on X. Assume that
  1. (i)
    there is a φ Φ such that
    ρ ( G ( x ˜ ) , G ( y ˜ ) ) φ ( ρ ( x ˜ , y ˜ ) ) for each x ˜ , y ˜ X with x ˜ y ˜ ;
    (1)
     
  2. (ii)

    there exists an x ˜ 0 X such that x ˜ 0 G ( x ˜ 0 ) ;

     
  3. (iii)

    either (a) G is a continuous operator, or (b) if a non-decreasing monotone sequence x ˜ n in X tends to x ¯ , then x ˜ n x ¯ for all n.

     

Then the operator G has a fixed point in X.

Proof Definite a sequence { x ˜ n } in X 2 by
x ˜ n = G ( x ˜ n 1 ) for  n = 1 , 2 , .
(2)
Considering the operator F ˜ is non-decreasing monotone for the order and x ˜ 0 G ( x ˜ 0 ) , we have
x ˜ 0 x ˜ 1 x ˜ 2 x ˜ n .

If there exists n 0 such that x ˜ n 0 = x ˜ n 0 + 1 , then x ˜ n 0 = G ( x ˜ n 0 ) and x ˜ n 0 is a fixed point of G. Then the result of Theorem 2.1 trivially holds.

Suppose now that x ˜ n x ˜ n + 1 for all n. Let a n = ρ ( x ˜ n + 1 , x ˜ n ) , noting that the sequence { x ˜ n } is a non-decreasing sequence in X 2 , we conclude that
a n + 1 = ρ ( x ˜ n + 2 , x ˜ n + 1 ) = ρ ( G ( x ˜ n + 1 ) , G ( x ˜ n ) ) φ ( ρ ( x ˜ n + 1 , x ˜ n ) ) = φ ( a n ) < a n for  n = 0 , 1 , .
Thus we obtain that
0 < a n + 2 φ ( a n + 1 ) < a n + 1 φ ( a n ) < a n .
This implies that both sequences { a n } and { φ ( a n ) } are convergent. Set lim n a n = a . If a > 0 , noting lim t r + φ ( t ) < r for all r > 0 , we have
a = lim n a n + 1 lim n φ ( a n ) = lim r a + φ ( r ) < a .

This is a contradiction. Thus lim n ρ ( x ˜ n + 1 , x ˜ n ) = lim n a n = 0 .

Now, we shall prove that { x ˜ n } is a Cauchy sequence in X 2 . In fact, by φ Φ , we can choose a positive sequence { ε m } with lim m ε m = 0 and ε m = sup 0 t ε m φ ( t ) < ε m . For a fixed m, there exists a large enough positive number N satisfying a N ε m ε m . Let x ˜ Ω : = { x ˜ X 2 : ρ ( x ˜ , x ˜ N ) ε m , x ˜ N x ˜ } , then by the triangle inequality
ρ ( G ( x ˜ ) , x ˜ N ) ρ ( G ( x ˜ ) , G ( x ˜ N ) ) + ρ ( G ( x ˜ N ) , x ˜ N ) φ ( ρ ( x ˜ , x ˜ N ) ) + a N < ε m + a N ε m + ε m ε m = ε m .

Also, x ˜ N G ( x ˜ N ) G ( x ˜ ) . This means that the set Ω is invariant for the operator G. Clearly, x ˜ N Ω . Thus x ˜ N + p Ω for all p Z + . So, the sequence { x ˜ n } is a Cauchy sequence in X 2 . Since ( X 2 , ρ ) is a complete metric space, there exists a point x ¯ X 2 such that lim n x ˜ n = x ¯ .

Suppose that G is a continuous operator. Then, by definition of { x ˜ n } , we have
x ¯ = lim n x ˜ n = lim n G ( x ˜ n 1 ) = G ( x ¯ ) .
Let us assume that the assumption (b) holds, then x ˜ n x ¯ for all n Z + . Thus from the assumption (i), we have
ρ ( x ¯ , G ( x ¯ ) ) ρ ( x ¯ , G ( x ˜ n ) ) + ρ ( G ( x ˜ n ) , G ( x ¯ ) ) ρ ( x ¯ , x ˜ n + 1 ) + φ ( ρ ( x ˜ n , x ¯ ) ) 0 as  n .

So, ρ ( x ¯ , G ( x ¯ ) ) = 0 . The proof of Theorem 2.1 is complete. □

Let F : X 2 X be a mapping having the mixed monotone property on X and define the operator G : X 2 X 2 by
G ( x ˜ ) = ( F ( x , y ) , F ( y , x ) ) for all  x ˜ = ( x , y ) X 2 .
It is easy to see that the coupled fixed points of F is the fixed points of G in X 2 . Also, for t ˜ = ( x , y ) , s ˜ = ( u , v ) X 2 , we introduce a partial order in X 2 given by
t ˜ s ˜ x u and v y .

Thus, if F has the mixed monotone property on X, then the operator G is non-decreasing monotone for the order . For t ˜ = ( x , y ) , s ˜ = ( u , v ) X 2 , let ρ ( t ˜ , s ˜ ) : = d ( x , u ) + d ( y , v ) , then ( X 2 , ρ ) is a complete metric space provided ( X , d ) is a complete metric space. Then, as a consequence of Theorem 2.1, we achieve the following corollary.

Corollary 2.1 Let ( X , , d ) be a partially ordered complete metric space and let F : X 2 X be a mapping having the mixed monotone property on X. Assume that
  1. (i)
    there is a φ Φ such that G : X 2 X 2 satisfying
    ρ ( G ( x ˜ ) , G ( y ˜ ) ) φ ( ρ ( x ˜ , y ˜ ) ) for each x ˜ , y ˜ X 2 with x ˜ y ˜ ;
     
  2. (ii)

    there exists an x ˜ 0 X 2 such that x ˜ 0 G ( x ˜ 0 ) ;

     
  3. (iii)

    one of (a) and (b) holds:

     
  4. (a)

    G is a continuous operator;

     
  5. (b)

    if a non-decreasing monotone sequence x ˜ n in X 2 tends to x ¯ , then x ˜ n x ¯ for all n.

     
Then the operator G has a fixed point in X 2 , that is, there exist x , y X such that
x = F ( x , y ) and y = F ( y , x ) .

Let D = { x ˜ X 2 : x ˜  and  G ( x ˜ )  are comparable } , then we have the following theorem.

Theorem 2.2 Let ( X , , d ) be a partially ordered complete metric space and let F : X 2 X be a mapping having the mixed monotone property on X. Assume that (i) in Theorem  2.1 and one of following conditions holds:
  1. (a)

    G is a continuous operator;

     
  2. (b)

    if a monotone sequence x ˜ n in X 2 tends to x ¯ , then x ˜ n and x ¯ are comparable for all n.

     

Then the operator G has a fixed point in X 2 if and only if D ϕ . Furthermore, if D is a totally ordered nonempty subset, then the operator G has a unique fixed point in X 2 .

Proof It is easy to see that all the fixed points of G fall in the set D. Thus if the operator G has a fixed point in X 2 , then D ϕ .

We suppose D ϕ . If the condition (a) holds and x ˜ 0 D , then there are two cases: x ˜ 0 G ( x ˜ 0 ) or G ( x ˜ 0 ) x ˜ 0 . For the first case, following Theorem 2.1, we claim that the operator G has a fixed point in X 2 . For the other case: G ( x ˜ 0 ) x ˜ 0 , noting the symmetry of the metric, we see that the formula (1) holds for y ˜ x ˜ . Thus
ρ ( G ( x ˜ ) , G ( y ˜ ) ) φ ( ρ ( x ˜ , y ˜ ) ) for each  x ˜ , y ˜ X 2  satisfying  x ˜  is comparable with  y ˜ .
Constructing the same sequence { x ˜ n } in X 2 by x ˜ n = G ( x ˜ n 1 ) , for n = 1 , 2 ,  , we have
x ˜ n x ˜ 2 x ˜ 1 x ˜ 0 .

For a mini-revise to the proof of Theorem 2.1 and resetting Ω : = { x ˜ X 2 : ρ ( x ˜ , x ˜ N ) ε m , x ˜ x ˜ N } , we conclude that the sequence { x ˜ n } tends to a fixed point of G.

Now we assume the condition (b) holds. Similar to the case (a), we see that the monotone sequence { x ˜ n } is a Cauchy sequence and denote x ¯ as the limit point. Thus x ¯ is comparable with x ˜ n for all n Z + . Then we have
ρ ( x ¯ , G ( x ¯ ) ) ρ ( x ¯ , G ( x ˜ n ) ) + ρ ( G ( x ˜ n ) , G ( x ¯ ) ) ρ ( x ¯ , x ˜ n + 1 ) + φ ( ρ ( x ˜ n , x ¯ ) ) 0 as  n .

Thus the operator G has a fixed point x ¯ in X 2 .

Next, we suppose that D is a totally ordered nonempty subset. It is sufficient to prove the uniqueness of a fixed point of G. Let x ˜ and y ˜ be two fixed points of G, then x ˜ is comparable with y ˜ , G ( x ˜ ) = x ˜ and G ( y ˜ ) = y ˜ . Following the assumption (i), we have
ρ ( x ˜ , y ˜ ) = ρ ( G ( x ˜ ) , G ( y ˜ ) ) φ ( ρ ( x ˜ , y ˜ ) ) < ρ ( x ˜ , y ˜ ) .

Thus ρ ( x ˜ , y ˜ ) = 0 , that is, x ˜ = y ˜ . The proof of Theorem 2.2 is complete. □

Following Theorem 2.1, we have the next two corollaries.

Corollary 2.2 ([1], Theorem 2.1)

Let ( X , ) be a partially ordered set and suppose there is a metric d on X such that ( X , d ) is a complete metric space. Let F : X 2 X be a continuous mapping having the mixed monotone property on X. Assume that there exists a k [ 0 , 1 ) with
d ( F ( x , y ) , F ( u , v ) ) k 2 [ d ( x , u ) + d ( y , v ) ] for each x u and v y .
If there exist ( x 0 , y 0 ) X such that x 0 F ( x 0 , y 0 ) and F ( y 0 , x 0 ) y 0 , then there exist ( x , y ) X such that
x = F ( x , y ) and y = F ( y , x ) .
Proof Taking φ ( r ) = k r for r 0 , t ˜ = ( x , y ) , s ˜ = ( u , v ) , if t ˜ s ˜ then
ρ ( G ( t ˜ ) , G ( s ˜ ) ) = d ( F ( x , y ) , F ( u , v ) ) + d ( F ( y , x ) , F ( v , u ) ) k [ d ( x , u ) + d ( y , v ) ] = φ ( ρ ( s ˜ , t ˜ ) ) .

Thus Corollary 2.1 is an immediate consequence of Theorem 2.1. □

Corollary 2.3 ([1], Theorem 2.2)

Let ( X , ) be a partially ordered set and suppose there is a metric d on X such that ( X , d ) is a complete metric space. Assume that X has the following property:
  1. (i)

    if a non-decreasing sequence x n x , then x n x for all n;

     
  2. (ii)

    if a non-increasing sequence y n y , then y y n for all n.

     
Let F : X 2 X be a mapping having the mixed monotone property on X. Assume that there exists a k [ 0 , 1 ) with
d ( F ( x , y ) , F ( u , v ) ) k 2 [ d ( x , u ) + d ( y , v ) ] for each x u and v y .
If there exist ( x 0 , y 0 ) X such that x 0 F ( x 0 , y 0 ) and F ( y 0 , x 0 ) y 0 , then there exist ( x , y ) X such that
x = F ( x , y ) and y = F ( y , x ) .

Proof It follows from Theorem 2.1 immediately. □

Let ( X , ) be a real Banach space and let K be a cone. The relation x y holds if and only if y x K . Denote K + = K { θ } and K f = { x K + : λ f x μ f  for some positive real numbers  λ  and  μ } for a given f K + . Let M ( x , y ) = inf { λ : x λ y } and d ( x , y ) = log ( max { M ( x , y ) , M ( y , x ) } ) for x , y K f . Then d defines a metric on K f which is known as the Thompson metric [15]. More details about the Thompson metric can be found in the references [2932]

At this stage, we state our main results in the real Banach space.

Theorem 2.3 Let ( X , ) be a real Banach space, let K X a cone and f K + . Suppose that A i : K f × K f K f are two mixed monotone maps satisfying A i ( t x , t 1 y ) t i A i ( x , y ) and A i ( f , f ) K f for t ( 0 , 1 ) , i = 1 , p with 0 < p < 1 . Let A = A 1 + A p and assume that there exists a point ( x 0 , y 0 ) K f × K f such that
x 0 A ( x 0 , y 0 ) A ( y 0 , x 0 ) y 0 .

Then A has a unique fixed point in K f , that is, there exists a unique point x K f such that A ( x , x ) = x .

In order to prove this result, we need some technique lemmas.

Lemma 2.1 ([10], Lemma 3.1)

Under the assumptions of Theorem  2.3, there exists δ x , y ( p , 1 ) such that
A ( t x , t 1 y ) t δ x , y A ( x , y ) for all t ( 0 , 1 ) and x , y K f ,
where
δ x , y = Δ x , y + p Δ x , y + 1 and Δ x , y = M ( A 1 ( x , y ) , A p ( x , y ) ) .
Lemma 2.2 Under the assumptions of Theorem  2.3, then
d ( A ( x , y ) , A ( u , v ) ) δ u , v max { d ( x , u ) , d ( y , v ) } .
Proof Noting that e d ( x , y ) y x e d ( x , y ) y for all x , y K f , we have
A ( x , y ) A ( e d ( x , u ) u , e d ( y , v ) v ) A ( e max { d ( x , u ) , d ( y , v ) } u , e max { d ( x , u ) , d ( y , v ) } v ) e δ u , v max { d ( x , u ) , d ( y , v ) } A ( u , v ) .
On the other hand, since A ( t x , t 1 y ) t δ x , y A ( x , y ) for t > 1 , then we have
A ( x , y ) A ( e d ( x , u ) u , e d ( y , v ) v ) A ( e max { d ( x , u ) , d ( y , v ) } u , e max { d ( x , u ) , d ( y , v ) } v ) e δ u , v max { d ( x , u ) , d ( y , v ) } A ( u , v ) .

Thus d ( A ( x , y ) , A ( u , v ) ) δ u , v max { d ( x , u ) , d ( y , v ) } . □

Lemma 2.3 Under the assumptions of Theorem  2.3, the successive sequences { x n } and { y n } are Cauchy sequences, where
x n + 1 = A ( x n , y n ) , y n + 1 = A ( y n , x n ) , n = 0 , 1 , .
Proof Since x 0 A ( x 0 , y 0 ) A ( y 0 , x 0 ) y 0 , it follows by an induction argument that
x 0 x 1 x n y n y 1 y 0 .
Noting that
A 1 ( y n , x n ) A 1 ( y 0 , x 0 ) M ( A 1 ( y 0 , x 0 ) , A p ( x 0 , y 0 ) ) A p ( x 0 , y 0 ) M ( A 1 ( y 0 , x 0 ) , A p ( x 0 , y 0 ) ) A p ( y n , x n ) ,
we have, for all n,
Δ y n , x n = M ( A 1 ( y n , x n ) , A p ( y n , x n ) ) M ( A 1 ( y 0 , x 0 ) , A p ( x 0 , y 0 ) ) : = Δ 0 .
Thus
δ y n , x n = Δ y n , x n + p Δ y n , x n + 1 Δ 0 + p Δ 0 + 1 : = δ 0 .
Next, we claim that
x n e d ( x 0 , y 0 ) δ 0 n y n , n = 0 , 1 , 2 , .
(3)
In fact, it holds for n = 0 . For arbitrary n, by induction argument, we have
x n + 1 = A ( x n , y n ) A ( e d ( x 0 , y 0 ) δ 0 n y n , e d ( x 0 , y 0 ) δ 0 n x n ) ( e d ( x 0 , y 0 ) δ 0 n ) δ y n , x n A ( y n , x n ) e d ( x 0 , y 0 ) δ 0 n + 1 y n + 1 .

Thus (3) holds for all n.

On the other hand, since
A 1 ( x n , y n ) A 1 ( y n , x n ) Δ y n , x n A p ( y n , x n ) Δ 0 A p ( y n , x n ) Δ 0 A p ( e d ( x 0 , y 0 ) δ 0 n x n , e d ( x 0 , y 0 ) δ 0 n y n ) Δ 0 e p d ( x 0 , y 0 ) δ 0 n A p ( x n , y n ) Δ 0 e p d ( x 0 , y 0 ) A p ( x n , y n ) ,
we obtain that, for all n,
Δ x n , y n = M ( A 1 ( x n , y n ) , A p ( x n , y n ) ) Δ 0 e p d ( x 0 , y 0 ) : = Δ 1 .
Thus
δ x n , y n = Δ x n , y n + p Δ x n , y n + 1 Δ 1 + p Δ 1 + 1 : = δ 1 .
Then following Lemma 2.2, we have
d ( x n + 1 , x n ) = d ( A ( x n , y n ) , A ( x n 1 , y n 1 ) ) δ x n 1 , y n 1 max { d ( x n , x n 1 ) , d ( y n , y n 1 ) } δ 1 max { d ( x n , x n 1 ) , d ( y n , y n 1 ) } .
Similarly, we have
d ( y n + 1 , y n ) = d ( A ( y n , x n ) , A ( y n 1 , x n 1 ) ) δ y n 1 , x n 1 max { d ( y n , y n 1 ) , d ( x n , x n 1 ) } δ 0 max { d ( x n , x n 1 ) , d ( y n , y n 1 ) } .
Let δ = max { δ 0 , δ 1 } , then δ < 1 and
max { d ( x n + 1 , x n ) , d ( y n + 1 , y n ) } δ max { d ( x n , x n 1 ) , d ( y n , y n 1 ) } .
Thus, for all n,
max { d ( x n + 1 , x n ) , d ( y n + 1 , y n ) } δ n max { d ( x 1 , x 0 ) , d ( y 1 , y 0 ) } .
Furthermore, for any k Z + , we have
max { d ( x n + k , x n ) , d ( y n + k , y n ) } δ n 1 δ max { d ( x 1 , x 0 ) , d ( y 1 , y 0 ) } .

This shows that both successive sequences { x n } and { y n } are Cauchy sequences. □

Proof of Theorem 2.3 By Lemma 2.3, there are a , b K such that lim n x n = a and lim n y n = b . Obviously, x n a and b y n for all n Z + . Thus a , b K f . Next, noting that
d ( x n + 1 , A ( a , b ) ) = d ( A ( x n , y n ) , A ( a , b ) ) δ a , b max { d ( x n , a ) , d ( y n , b ) }
and
d ( y n + 1 , A ( b , a ) ) = d ( A ( y n , x n ) , A ( b , a ) ) δ b , a max { d ( x n , a ) , d ( y n , b ) } ,
and letting n go to infinity, we get that a = A ( a , b ) and b = A ( b , a ) . It follows from
d ( a , b ) = d ( A ( a , b ) , A ( b , a ) ) δ b , a max { d ( b , a ) , d ( a , b ) } = δ b , a d ( a , b )

that d ( a , b ) = 0 and a = b . The uniqueness is obvious. Thus A has a unique fixed point in K f , that is, there exists a unique point a K f such that A ( a , a ) = a . The proof is complete. □

Remark 2.1 Our result in Theorem 2.3 improved the corresponding result in [10] (Theorem 3.4) and removed some restriction conditions: the successive sequences have convergent subsequences.

3 Application to the nonlinear elliptic problems

Let Ω be the open unit ball in R n , n 1 , with center at the origin. We consider positive solutions of the Dirichlet problem
{ ( a ( | x | ) ( u ) ) + b ( | x | ) ( u p + c 10 + u q ) = 0 in  Ω , u = 0 on  Ω .
(4)

When a ( | x | ) = b ( | x | ) = 1 , n 3 and c = 0 , it is well known that (4) has no positive solution if p > n + 2 n 2 , and that the positive solution of (4) is unique if p > 1 , see [22] and [23]. Also, in this case when 0 < p < 1 , (4) has a unique positive radial solution [24].

In this section, we assume that p ( 0 , 1 ] , q ( 0 , 1 ) and c > 0 are constants, a ( r ) and b ( r ) are positive and continuous for 0 r 1 . Our result is as follows.

Theorem 3.1 Problem (4) has a unique positive radial solution if b max 2 n a min < 1 , where a min : = min { a ( r ) : r [ 0 , 1 ] } and b max : = max { b ( r ) : r [ 0 , 1 ] } .

To this end, we should establish a technique lemma.

Lemma 3.1 The function u is a positive radial solution of problem (4) if and only if u is a positive solution of the integral equation
u ( r ) = 0 1 G ( r , t ) b ( t ) [ u p ( t ) + c 10 + u q ( t ) ] d t ,
where
G ( r , t ) = { t 1 1 a ( s ) ( t s ) n 1 d s , 0 r < t 1 , r 1 1 a ( s ) ( t s ) n 1 d s , 0 t r 1 .
Proof Assuming solutions to be functions of r, the radial distance from the origin, (4) reduces to
{ ( a ( r ) u ( r ) ) + n 1 r a ( r ) u ( r ) + b ( r ) [ u p ( r ) + c 10 + u q ( r ) ] = 0 , 0 < r < 1 , u ( 1 ) = 0 ,
(5)
where u ( r ) = d d r u ( r ) . Then the Green function for problem (5) is
G ( r , t ) = { t 1 1 a ( s ) ( t s ) n 1 d s , 0 r < t 1 , r 1 1 a ( s ) ( t s ) n 1 d s , 0 t r 1 ,
which is positive on [ 0 , 1 ) × [ 0 , 1 ) . Thus the function u is a positive radial solution of problem (4) if and only if u is a positive solution of the integral equation
u ( r ) = 0 1 G ( r , t ) b ( t ) [ u p ( t ) + c 10 + u q ( t ) ] d t .

 □

Proof of Theorem 3.1 Let K denote the cone of nonnegative functions in C [ 0 , 1 ] , the relation x y holds if and only if x ( t ) y ( t ) for all t [ 0 , 1 ] , K + = K { 0 } and f ( r ) = 1 r 2 for r [ 0 , 1 ] , then f K + and 0 f ( r ) f max = 1 . Denote K f = { x K + : λ f x μ f  for some positive numbers  λ , μ R } .

Now we introduce the maps A 1 , A q : K f × K f K f defined by
A 1 ( x , y ) ( r ) = 0 1 G ( r , t ) b ( t ) x p ( t ) d t , A q ( x , y ) ( r ) = 0 1 G ( r , t ) b ( t ) c 10 + y q ( t ) d t .
For g , h K f , then there exist λ g , λ h , μ g , μ h such that μ g f g λ g f and μ h f h λ h f . By direct computation, we have
b min μ g p n ( n + 2 ) a max f ( r ) A 1 ( g , h ) ( r ) 0 1 G ( r , t ) b ( t ) λ g p d t b max λ g p 2 n a min f ( r ) , c b min 2 n a max ( 10 + h max q ) f ( r ) A q ( g , h ) ( r ) 0 1 G ( r , t ) b ( t ) c 10 d t c b max 20 n a min f ( r ) .

Thus the map A i is well defined and A i ( f , f ) K f for i = 1 , q . Also, A 1 ( f , f ) + A q ( f , f ) K f . Obviously, A i is a mixed monotone map in K f and A 1 ( t x , t 1 y ) t A 1 ( x , y ) and A q ( t x , t 1 y ) t q A q ( x , y ) .

Since b max 2 n a min < 1 , we choose a positive number k (large enough) satisfying
b max 2 n a min ( k + c 10 ) k and b min 2 n a max c 10 + k 1 .
Let A = A 1 + A q , x 0 ( r ) = b min 2 n a max c 10 + k ( 1 r 2 ) , y 0 ( r ) = k ( 1 r 2 ) , then x 0 , y 0 K f and
A ( x 0 , y 0 ) ( r ) = 0 1 G ( r , t ) b ( t ) [ x 0 p ( t ) + c 10 + y 0 q ( t ) ] d t c b min 10 + k 0 1 G ( r , t ) d t c b min 2 n a max ( 10 + k ) ( 1 r 2 ) = x 0 ( r )
and
A ( y 0 , x 0 ) ( r ) = 0 1 G ( r , t ) b ( t ) [ y 0 p ( t ) + c 10 + x 0 q ( t ) ] d t 0 1 G ( r , t ) b max [ c 10 + k f ( t ) ] d t ( c 10 + k ) b max 2 n a min f ( r ) k f ( r ) = y 0 ( r ) .
Thus
x 0 A ( x 0 , y 0 ) A ( y 0 , x 0 ) y 0 .
Applying Theorem 2.3 to the operator A, we conclude that there is a unique point u in K f such that u ( r ) = A ( u , u ) ( r ) . On the other hand, for all g , h K + , we have
f ( r ) ( g max p + c 10 ) b max 2 n a min 0 1 G ( r , t ) b ( t ) [ g p ( t ) + c 10 + h q ( t ) ] d t c b min 2 n a max ( 10 + h max q ) f ( r ) .

This means that A ( g , h ) K f . Thus problem (4) has a unique positive radial solution. □

4 Application to the delayed hematopoiesis models

In this section, we consider the positive periodic solution of the following hematopoiesis model with delays:
x ( t ) = a ( t ) x ( t ) + i = 1 n b i ( t ) 1 + x q ( t τ i ( t ) ) ,
(6)

where a , b i , τ i C ( R , R ) are positive T-periodic functions and 0 τ i ( t ) t for all t [ 0 , T ] , q is a nonnegative constant ( i = 1 , 2 , , n ). In the case when q 1 , Wu [26] proved that (6) had a unique positive T-periodic solution.

Here we assume that q ( 0 , 1 ) and our result is as follows.

Theorem 4.1 Problem (6) has a unique positive T-periodic solution.

Proof Let K denote the cone of nonnegative T-periodic functions in C ( R , R ) , the relation x y holds if and only if x ( t ) y ( t ) for all t [ 0 , T ] , K + = K { 0 } and f ( r ) 1 for r [ 0 , T ] . Denote K f = { x K + : λ f x μ f  for some positive numbers  λ , μ R } . It is easy to show that the function x is a positive T-periodic solution of problem (6) if and only if x is a positive solution of the integral equation
x ( r ) = e β T e β T 1 r T r e β ( r s ) [ ( β a ( s ) ) x ( s ) + i = 1 n b i ( s ) 1 + x q ( s τ i ( s ) ) ] d s ,
where β > a max is a constant. Define the maps A 1 , A q : K f × K f K f by
A 1 ( x , y ) ( t ) = e β T e β T 1 t T t e β ( t s ) ( β a ( s ) ) x ( s ) d s , A q ( x , y ) ( t ) = e β T e β T 1 t T t e β ( t s ) i = 1 n b i ( s ) 1 + y q ( s τ i ( s ) ) d s .
For arbitrary x , y K f , there are positive numbers λ x , λ y , μ x , μ y such that λ x x ( t ) μ x and λ y y ( t ) μ y for all t [ 0 , T ] . Furthermore, we deduce that
A 1 ( x , y ) ( t ) = e β T e β T 1 t T t e β ( t s ) ( β a ( s ) ) x ( s ) d s e β T e β T 1 t T t e β ( t s ) d s ( β a max ) λ x = ( 1 a max β ) λ x
and
A 1 ( x , y ) ( t ) ( 1 a min β ) μ x .
Similarly, we have
1 β i = 1 n b i min 1 + μ y q A q ( x , y ) ( t ) 1 β i = 1 n b i max 1 + λ y q for all  t [ 0 , T ] .

This means A 1 ( x , y ) K f and A q ( x , y ) K f . Thus A 1 and A q are well defined and A 1 ( f , f ) , A q ( f , f ) K f . Also, A 1 ( f , f ) + A q ( f , f ) K f . Obviously, A 1 and A q are mixed monotone maps in K f and A 1 ( t x , t 1 y ) t A 1 ( x , y ) and A q ( t x , t 1 y ) t q A q ( x , y ) .

Since β > a max , we can choose a constant k > 1 satisfying
( 1 a min β ) k + 1 β i = 1 n b i max k and 1 β i = 1 n b i min 1 + k q < 1 .
Let A = A 1 + A q , x 0 ( t ) 1 β i = 1 n b i min 1 + k q and y 0 ( t ) k for all t [ 0 , T ] , then we have
A ( x 0 , y 0 ) ( t ) = e β T e β T 1 t T t e β ( t s ) [ ( β a ( s ) ) x 0 ( s ) + i = 1 n b i ( s ) 1 + y 0 q ( s τ i ( s ) ) ] d s e β T e β T 1 t T t e β ( t s ) i = 1 n b i min 1 + k q d s = 1 β i = 1 n b i min 1 + k q = x 0 ( t )
and
A ( y 0 , x 0 ) ( t ) = e β T e β T 1 t T t e β ( t s ) [ ( β a ( s ) ) y 0 ( s ) + i = 1 n b i ( s ) 1 + x 0 q ( s τ i ( s ) ) ] d s e β T e β T 1 t T t e β ( t s ) [ ( β a min ) k + i = 1 n b i max ] d s = 1 β [ ( β a min ) k + i = 1 n b i max ] k = y 0 ( t ) .
Thus
x 0 A ( x 0 , y 0 ) A ( y 0 , x 0 ) y 0 .
Applying Theorem 2.3 to the operator A, we conclude that there is a unique point x in K f such that x ( t ) = A ( x , x ) ( t ) . On the other hand, for all g , h K + , we have
f ( t ) [ i = 1 n b i max β + ( 1 a min β ) g max ] A ( g , h ) ( t ) 1 β i = 1 n b i min 1 + h max q f ( t ) .

This means that A ( g , h ) K f . Thus problem (6) has a unique positive T-periodic solution. □

Remark 4.1 Using similar ideas, it is possible to extend our results to investigate the existence and uniqueness of nonlinear singular boundary value problems and fractional differential equation boundary value problems, which are mentioned extensively in the literature [10, 11, 25].

Declarations

Acknowledgements

The authors are grateful to the reviewers for their valuable comments and suggestions. This work was partly supported by the National Natural Science Foundation of China (11201481) and Hunan Provincial Education Department Foundation (12B007).

Authors’ Affiliations

(1)
College of Mathematics and Computer Science, Changsha University of Science Technology
(2)
Department of Mathematics and Systems Science, College of Science, National University of Defense Technology

References

  1. Bhaskar TG, Lakshmikantham V: Fixed point theory in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
  2. Lakshmikantham V, Ciric L: Couple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020MathSciNetView ArticleGoogle Scholar
  3. Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74(15):4889–4897. 10.1016/j.na.2011.03.032MathSciNetView ArticleGoogle Scholar
  4. Karapinar E, Luong NV: Quadruple fixed point theorems for nonlinear contractions. Comput. Math. Appl. 2012. doi:10.1016/j.camwa.2012.02.061Google Scholar
  5. Abbas M, Khan MA, Radenovic S: Common coupled fixed point theorems in cone metric space for w -compatible mappings. Appl. Math. Comput. 2010, 217: 195–203. 10.1016/j.amc.2010.05.042MathSciNetView ArticleGoogle Scholar
  6. Amini-Harandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations. Nonlinear Anal. 2010, 72: 2238–2242. 10.1016/j.na.2009.10.023MathSciNetView ArticleGoogle Scholar
  7. Chen YZ: Existence theorems of coupled fixed points. J. Math. Anal. Appl. 1991, 154: 142–150. 10.1016/0022-247X(91)90076-CMathSciNetView ArticleGoogle Scholar
  8. Choudhury BS, Kundu A: A coupled coincidence point result in partially ordered metric spaces for compatible mappings. Nonlinear Anal. 2010, 73: 2524–2531. 10.1016/j.na.2010.06.025MathSciNetView ArticleGoogle Scholar
  9. Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleGoogle Scholar
  10. Huang C-Y: Fixed point theorems for a class of positive mixed monotone operators. Math. Nachr. 2012, 285: 659–669. 10.1002/mana.200910277MathSciNetView ArticleGoogle Scholar
  11. Huang MJ, Huang CY, Tsai TM: Hilbert’s projective metric and nonlinear elliptic problems. Nonlinear Anal. 2009, 71: 2576–2584. 10.1016/j.na.2009.01.093MathSciNetView ArticleGoogle Scholar
  12. Figueroa R, López Pouso R: Coupled fixed points of multivalued operators and first-order ODEs with state-dependent deviating arguments. Nonlinear Anal. 2011, 74: 6876–6889. 10.1016/j.na.2011.07.010MathSciNetView ArticleGoogle Scholar
  13. Karapinar E, Berinde V: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J. Math. Anal. 2012, 6: 74–79.MathSciNetView ArticleGoogle Scholar
  14. Karapinar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59: 3656–3668. 10.1016/j.camwa.2010.03.062MathSciNetView ArticleGoogle Scholar
  15. Thompson AC: On certain contraction mappings in a partially ordered vector space. Proc. Am. Math. Soc. 1963, 14: 438–443.Google Scholar
  16. Samet B, Vetro C, Vetro P: Fixed point theorems for φ -contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165. 10.1016/j.na.2011.10.014MathSciNetView ArticleGoogle Scholar
  17. Shatanawi W: Partially ordered cone metric spaces and coupled fixed point results. Comput. Math. Appl. 2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074MathSciNetView ArticleGoogle Scholar
  18. Shatanawi W, Samet B:On ( ψ , ϕ ) -weakly contractive condition in partially ordered metric spaces. Comput. Math. Appl. 2011, 62: 3204–3214. 10.1016/j.camwa.2011.08.033MathSciNetView ArticleGoogle Scholar
  19. Shatanawi W: On w -compatible mappings and common coupled coincidence point in cone metric spaces. Appl. Math. Lett. 2012, 25: 925–931. 10.1016/j.aml.2011.10.037MathSciNetView ArticleGoogle Scholar
  20. Xiao JZ, Zhu XH, Cao YF: Common coupled fixed point results for probabilistic φ -contractions in Menger spaces. Nonlinear Anal. 2011, 74: 4589–4600. 10.1016/j.na.2011.04.030MathSciNetView ArticleGoogle Scholar
  21. Liu YC, Li ZX: Krasnoselskii type fixed point theorems and applications. Proc. Am. Math. Soc. 2008, 136: 1213–1220.View ArticleGoogle Scholar
  22. Gidas B, Ni W-M, Nirenberg L: Symmetry and related properties via the maximum principle. Commun. Math. Phys. 1979, 68: 209–243. 10.1007/BF01221125MathSciNetView ArticleGoogle Scholar
  23. Ni W-M, Nussbaum RD:Uniqueness and nonuniqueness for positive radial solutions of u + f ( u , r ) = 0 . Commun. Pure Appl. Math. 1985, 38: 67–108. 10.1002/cpa.3160380105MathSciNetView ArticleGoogle Scholar
  24. Bushell PJ: The Cayley-Hilbert metric and positive operators. Linear Algebra Appl. 1986, 84: 271–280.MathSciNetView ArticleGoogle Scholar
  25. Zhai C, Hao M: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 2012, 75: 2542–2551. 10.1016/j.na.2011.10.048MathSciNetView ArticleGoogle Scholar
  26. Wu J, Liu Y: Fixed point theorems and uniqueness of the periodic solution for the hematopoiesis models. Abstr. Appl. Anal. 2012., 2012: Article ID 387193. doi:10.1155/2012/387193Google Scholar
  27. Yang XT: Existence and global attractivity of unique positive almost periodic solution for a model of hematopoiesis. Appl. Math. J. Chin. Univ. Ser. A 2010, 25: 25–34. 10.1007/s11766-010-2111-6View ArticleGoogle Scholar
  28. Agarwal RP, El-Gebelly MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 109–116. 10.1080/00036810701556151MathSciNetView ArticleGoogle Scholar
  29. Guo DJ, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 1987, 11: 623–632. 10.1016/0362-546X(87)90077-0MathSciNetView ArticleGoogle Scholar
  30. Guo DJ: Fixed points of mixed monotone operators with applications. Appl. Anal. 1988, 31: 215–224. 10.1080/00036818808839825MathSciNetView ArticleGoogle Scholar
  31. Guo DJ: Existence and uniqueness of positive fixed points for mixed monotone operators and applications. Appl. Anal. 1992, 46: 91–100. 10.1080/00036819208840113MathSciNetView ArticleGoogle Scholar
  32. Guo DJ, Cho YJ, Zhu J: Partial Ordering Methods in Nonlinear Problems. Nova Science Publishers, Hauppauge; 2004.Google Scholar

Copyright

© Wu and Liu; licensee Springer 2013

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