Open Access

A class of φ-concave operators and applications

Fixed Point Theory and Applications20132013:274

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

Received: 4 August 2013

Accepted: 9 October 2013

Published: 8 November 2013

Abstract

In this paper, by means of the concept of φ-concave operators, which was introduced by Li and Liang (J. Systems Sci. Math. Sci. 14(4):355-360, 1994 (in Chinese)), we obtain some new existence and uniqueness theorems of a fixed point of mixed monotone operators with such concavity. Moreover, we apply the main theorem to a class of Hammerstein integral equations.

Keywords

cone and partial order φ-concave operator mixed monotone operator fixed point

1 Introduction

It is well known that concave operators are a class of important operators that are extensively used in nonlinear differential and integral equations (see [112]). In [13], Krasnoselskii introduced in detail many important ideas and results about concave operators. A problem is that there are various concepts of concave operators, such as u 0 -concave operators [5], ordered concave operators [1] and α-concave operators [7], which is somewhat confusing. We should mention that Liang et al. [14] proved that both ordered concave operators and α-concave operators are u 0 -concave operators and gave necessary and sufficient conditions on which u 0 -concave operators have a unique fixed point. Furthermore, Zhai et al. [11] considered an operator equation with general α-concave or homogeneous operator, their results improved previous results (see Corollary 3.3 in [7]).

We note that Li and Liang [15] introduced the definition of φ-concave operator, which provided a general method to copy with such a class of operators together. Furthermore, [8, 9] extended the concept of φ-concave operator to ϕ-concave ( ψ ) convex operators. In [12], Zhao weakened some conditions and strengthened the conclusions. Mixed monotone operators were introduced by Guo and Lakshmikantham [16] in 1987. Thereafter, many authors have focused on various existence (and uniqueness) theorems of fixed points for mixed monotone operators; for details, see [8, 9, 13, 1633] and references therein. In [20], Bhaskar and Lakshmikantham established some coupled fixed point theorems for mixed monotone operators in partially ordered metric spaces and discussed the existence and uniqueness of a solution for a periodic boundary value problem. Instead of using a direct proof as in [20], Drici et al. [22] employed the notion of reflection operator and investigated fixed point theorems for mixed monotone operators by weakening the requirements in the contractive assumption and strengthening the metric space utilized with a partial order. Sintunavarat and Kumam [34] extended classical coupled fixed point theorems of Bhaskar and Lakshmikantham [20] to the coupled common fixed point theorems for mappings satisfying a new non-commuting condition. These theorems are generalizations of the results of [20]. Furthermore, Harjani et al. [25] improved the main results of [22] using the altering distance functions. Sintunavarat et al. [35] established some coupled fixed point theorems for a contraction mapping induced by the cone ball metric in partially ordered spaces and also discussed the condition claim of the uniqueness of a coupled fixed point. Very recently, Chandok et al. [21] were concerned with some coupled coincidence point theorems for a pair of mappings having a mixed g-monotone property in partially ordered G-metric spaces. Also, they presented a result on the existence and uniqueness of coupled common fixed points. In [19], the authors introduced the concept of W-compatible mappings. Based on this notion, a tripled coincidence point and a common tripled fixed point for mappings F : X × X × X X and g : X X were obtained, where ( X , d ) is a cone metric space. We should point out that their results do not rely on the assumption of normality condition of the cone.

On the other hand, there is much attention paid to mixed monotone operators with certain concavity and convexity; for example, see [8, 9, 23, 24, 27, 28, 3033]. In [32], Zhang and Wang modified the methods in [30, 31] to obtain some new existence and uniqueness results of a positive fixed point of mixed monotone operators. Recently, in [29], Zhai and Zhang presented a new fixed point theorem for a class of general mixed monotone operators, which extends the existing corresponding results. Moreover, they investigated some pleasant results of nonlinear eigenvalue problems with mixed monotone properties. Based on them, the local existence-uniqueness of positive solutions for nonlinear boundary value problems which include Neumann boundary value problems, three-point boundary value problems and elliptic boundary value problems for Lane-Emden-Fowler equations was proved.

In this paper, by means of the concept of φ-concave operator, some new theorems of fixed points of mixed monotone operators with such concavity are obtained. Our theorems unify and extend some previous results, then we apply these results in discussing a class of Hammerstein integral equations and give the new condition for determining the unique solution to this equation.

2 Preliminaries

Some definitions, notations and known results are from Refs. [2, 3, 23]. Let E be a real Banach space. A nonempty convex closed set P is called a cone if it satisfies the following conditions:
  1. (i)

    x P , λ 0 implies λ x P ;

     
  2. (ii)

    x P and x P imply x = θ , where θ denotes the zero element of E.

     
Let E be partially ordered by a cone P of E, i.e., x y , if and only if y x P for any x , y E . Recall that the cone P is said to be solid if the interior P is nonempty, and P is said to be normal if there exists a positive constant M such that θ x y ( x , y E ) implies x M y , where M is the normal constant of P. Let D E . An operator A : D × D E is said to be mixed monotone if A ( x , y ) is nondecreasing in x and nonincreasing in y, that is, for any x , y D ,
x 1 , x 2 D , x 1 x 2 A ( x 1 , y ) A ( x 2 , y )
and
y 1 , y 2 D , y 1 y 2 A ( x , y 1 ) A ( x , y 2 ) .
An element x D is called a fixed point of A if it satisfies A ( x , x ) = x . A : D E E is said to be convex if for x , y D with x y and each t [ 0 , 1 ] , we have
A ( t x + ( 1 t ) y ) t A x + ( 1 t ) A y ;

A is said to be concave if −A is convex.

Let h > θ , write P h = { x E λ , μ > 0 ,  such that  λ h x μ h } .

Let e > θ . An operator A : P P is said to be e-concave if it satisfies the following two conditions:
  1. (i)

    A is e-positive, i.e., A ( P { θ } ) P e ;

     
  2. (ii)
    x P e , 0 < t < 1 , η = η ( t , x ) > 0 such that
    A ( t x ) ( 1 + η ) t A x ,
     

where η = η ( t , x ) is called the characteristic function of A.

The operator T : P P is said to be α-concave(−α-convex) ( 0 α < 1 ) if
T ( t x ) t α T ( x ) ( T ( t x ) t α T ( x ) ) , x P , t ( 0 , 1 ] .
Let u 0 , v 0 E with u 0 v 0 . Write
[ u 0 , v 0 ] = { x E u 0 x v 0 } ,

where [ u 0 , v 0 ] is called an ordering interval.

Definition 2.1 (see [25])

Let A : P h P h be a φ-concave operator if there exists a function φ : ( 0 , 1 ] × P h ( 0 , 1 ] such that t ( 0 , 1 ) implies t < φ ( t , x ) , and A satisfies the following condition:
A ( t x ) φ ( t , x ) A x , 0 < t 1 , x P h .

Definition 2.2 (see [2])

Let S be a bounded set of a real Banach space E. Let
α ( S ) = inf { δ > 0 | S = i = 1 m S i  with  diam ( S i ) δ , i = 1 , 2 , , m } .

Clearly, 0 α ( S ) < . α ( S ) is called the Kuratowski measure of noncompactness.

Definition 2.3 (see [36, 37])

Let D E , A : D E be an operator. Then S is said to be a generalized condensing operator if for any S D , α ( S ) 0 implies α ( A ( S ) ) < α ( S ) .

Lemma 2.1 (see [2, 37])

Let S, T be bounded subsets of E. Then
  1. (i)

    α ( S ) = 0 if and only if S is relatively compact;

     
  2. (ii)

    S T implies α ( S ) α ( T ) ;

     
  3. (iii)

    α ( S ¯ ) = α ( S ) ;

     
  4. (iv)

    α ( S T ) = max { α ( S ) , α ( T ) } ;

     
  5. (v)

    α ( co S ) = α ( S ) , where coS denotes the convex hull of S.

     

3 Main results

Theorem 3.1 Let E be a real Banach space and P be a normal cone of E. Let u 0 , v 0 E with u 0 v 0 and A : [ u 0 , v 0 ] × P P be a mixed monotone operator. For fixed v P , A ( , v ) : [ u 0 , v 0 ] P is a φ-concave operator. Suppose that
  1. (i)

    there exists a real positive number r 0 such that u 0 r 0 v 0 ;

     
  2. (ii)
    u 0 and v 0 are such that
    u 0 A ( u 0 , v 0 ) , A ( v 0 , u 0 ) v 0 ;
     
  3. (iii)
    there exists an element w 0 [ u 0 , v 0 ] such that
    φ ( t , x ) φ ( t , w 0 ) , ( t , x ) ( 0 , 1 ) × [ u 0 , v 0 ] ,
     
and
lim s t φ ( s , w 0 ) > t , t ( 0 , 1 ) ;
  1. (iv)
    for fixed u [ u 0 , v 0 ] , N > 0 such that
    A ( u , ) : P P , A ( u , v 1 ) A ( u , v 2 ) N ( v 1 v 2 ) , v 1 v 2 , v 1 , v 2 P .
     

Then A has exactly one fixed point x in [ u 0 , v 0 ] .

Proof We divide the proof into three steps.

Step 1. We prove that for any fixed u [ u 0 , v 0 ] , A ( u , ) has exactly one fixed point T ( u ) [ A ( u 0 , v 0 ) , A ( v 0 , u 0 ) ] such that A ( u , T ( u ) ) = T ( u ) . Our proof is the same as Theorem 2.1 in [32]. For completeness, we list it as follows.

For fixed u [ u 0 , v 0 ] , there exists N > 0 such that A ( u , v ) + N v is increasing in v. Let
B ( u , v ) = A ( u , v ) + N v N + 1 ,

then B ( u , v ) = v is equivalent to A ( u , v ) = v .

Let x 0 = A ( u 0 , v 0 ) , y 0 = A ( v 0 , u 0 ) and x n + 1 = B ( u , x n ) , y n + 1 = B ( u , y n ) . By u 0 u v 0 , x 0 = A ( u 0 , v 0 ) v 0 , u 0 v 0 and y 0 = A ( v 0 , u 0 ) u 0 , we have
A ( u , x 0 ) A ( u 0 , v 0 ) = x 0 , A ( u , y 0 ) A ( v 0 , u 0 ) = y 0 ,
thus
x 1 = B ( u , x 0 ) = A ( u , x 0 ) + N x 0 N + 1 x 0 + N x 0 N + 1 = x 0 , y 1 = B ( u , y 0 ) = A ( u , y 0 ) + N y 0 N + 1 y 0 + N y 0 N + 1 = y 0 ,
that is, x 0 x 1 y 1 y 0 . By induction, we have x n x n + 1 y n + 1 y n . Thus we get that
θ y n x n = A ( u , y n 1 ) + N y n 1 A ( u , x n 1 ) N x n 1 N + 1 N N + 1 ( y n 1 x n 1 ) .
Since P is a normal cone and by induction, we get that
y n x n C ( N N + 1 ) n y 0 x 0 ,
(3.1)

where C is the normal constant of P.

Moreover (for any natural number p),
x n + p x n y n + p x n y n x n ,
(3.2)
x n + p x n C y n x n C 2 ( N N + 1 ) n y 0 x 0 ,
(3.3)
which implies that x n is a Cauchy sequence. Noticing E is complete, x n converges to some element, we denote it by T ( u ) . Equation (3.1) implies that y n also converges to T ( u ) . By
x n T ( u ) y n ,
(3.4)
x n + 1 = B ( u , x n ) B ( u , T ( u ) ) B ( u , y n ) y n + 1 ,
(3.5)

using the normality of the cone P, we can conclude that x n , y n also converge to B ( u , T ( u ) ) . Thus B ( u , T ( u ) ) = T ( u ) .

If B ( u , x ) = x , then we have for any integer n, x n x y n , which implies by taking the limit that x = T ( u ) , i.e., T ( u ) is the unique fixed point of A ( u , ) in [ A ( u 0 , v 0 ) , A ( v 0 , u 0 ) ] .

Step 2. We prove that T ( u ) is increasing in u.

If u , u [ u 0 , v 0 ] , u u , then we let x 0 = x 0 = A ( u 0 , v 0 ) in Step 1. Since B ( u , v ) is increasing in both variables, we have
x 1 = B ( u , x 0 ) B ( u , x 0 ) = x 1 .

By induction we know x n x n . Taking the limit, we have T ( u ) T ( u ) .

Step 3. We prove that T ( ) has a unique fixed point in [ u 0 , v 0 ] .

Let u n + 1 = T ( u n ) , v n + 1 = T ( v n ) , we have u 0 u 1 , v 1 v 0 . Thus, by conclusion of Step 2, we get u n u n + 1 , v n + 1 v n , and u n v n . By condition (i), we have
u 1 = A ( u 0 , T ( u 0 ) ) A ( r 0 v 0 , T ( u 0 ) ) φ ( r 0 , v 0 ) A ( v 0 , T ( u 0 ) ) φ ( r 0 , v 0 ) A ( v 0 , T ( v 0 ) ) = φ ( r 0 , v 0 ) v 1 ,
that is
u 1 φ ( r 0 , v 0 ) v 1 .
Let r n = φ ( r n 1 , v n 1 ) , n = 1 , 2 ,  . By induction, we know
u n r n v n , n = 1 , 2 , .
Obviously, the sequence { r n } is increasing with { r n } ( 0 , 1 ] . Suppose r n r ( n ), then r = 1 . Otherwise, we have 0 < r < 1 . Thus, by condition (iii), we have
r n = φ ( r n 1 , v n 1 ) φ ( r n 1 , w 0 ) .
(3.6)
Let n in (3.6), we have
r lim s r φ ( s , w 0 ) > r ,

which is a contradiction. Hence, we have r = 1 .

Therefore, n , p 1 , we get
θ v n u n v n r n v n = ( 1 r n ) v n ( 1 r n ) v 0 ,
and
θ u n + p u n v n + p u n v n u n , θ v n v n + p v n u n + p v n u n .

Thus, by the normality of P, it is easy to see that v n u n 0 ( n ), and hence { u n } , { v n } are Cauchy sequences. Therefore, there exist u , v such that u n u , v n v ( n ) and u = v . Write x = u = v .

Now we show that T ( x ) = x . It is easy to see that
T ( x ) T ( u n ) = u n + 1 x ,
and so T ( x ) x . On the other hand, we have
T ( x ) T ( v n ) = v n + 1 x ,

so we obtain T ( x ) x . Hence T ( x ) = x .

The proof of the uniqueness is the same as above in Step 1. Finally, from Step 1 we get that x is the fixed point of A in [ u 0 , v 0 ] such that T ( x ) = x and A ( x , x ) = x .

By the construction we can see that it is unique. If x ¯ satisfies A ( x ¯ , x ¯ ) = x ¯ . By Step 1, T ( x ¯ ) is the unique fixed point of A ( x ¯ , ) , thus T ( x ¯ ) = x ¯ . By the uniqueness of the fixed point of T ( ) , we get x ¯ = x . This ends the proof of Theorem 3.1. □

Remark 3.1 In fact, by Theorem 2.3 in [30] and Theorem 1.1 in [29], we can know that condition lim s t φ ( s , w 0 ) > t in Theorem 3.1 can be deleted, while the conclusions remain the same.

Theorem 3.2 Let E be a real Banach space and P be a cone of E. Let u 0 , v 0 E with u 0 v 0 and A : [ u 0 , v 0 ] × P P be a generalized condensing and mixed monotone operator. For fixed v P , A ( , v ) : [ u 0 , v 0 ] P is a φ-concave operator. Suppose that conditions (i)-(iv) of Theorem  3.1 hold. Then A has exactly one fixed point x in [ u 0 , v 0 ] .

Proof For fixed u [ u 0 , v 0 ] , let S = { x n n = 0 , 1 , 2 , } . We show that S co { x 0 , A ( S ) } . It is easy to see that x 0 co { x 0 , A ( S ) } . If x k co { x 0 , A ( S ) } ( k 0 ), then for fixed u [ u 0 , v 0 ] ,
x k + 1 = A ( u , x k ) + N x k N + 1 = A ( u , x k ) N + 1 + ( 1 1 N + 1 ) x k .
Noticing that A ( u , x k ) , x k co { x 0 , A ( S ) } , we have that x k + 1 co { x 0 , A ( S ) } . By induction, we have that S co { x 0 , A ( S ) } . It follows from Lemma 2.1 that
α ( S ) α ( co { x 0 , A ( S ) } ) = α ( A ( S ) ) < α ( S ) .

This is a contradiction. Consequently, we find that α ( S ) = 0 . In view of Lemma 2.1, we have that S ¯ is a compact set in E. This implies that there exists a subsequence { x n i } of { x n } , which converges to x in E.

Now, we prove that { x n } itself also converges to x . If not, there exists another subsequence { x n j } of { x n } , which converges to another point x x ( x E ). Thus, for any fixed { x n i 0 } , and if n j is large enough, then x n i 0 x n j . Let n j , we get that x n i 0 x . Since x n i 0 is any fixed element of { x n i } , then for any element x n i of { x n i } , we have that x n i x . Let n i , we get that x x . Similarly, we can prove that x x . Thus, x = x . This is a contradiction. Therefore, x n x . In the same method, we can know that there exists y E such that y n y .

Since θ y n x n ( N N + 1 ) n ( y 0 x 0 ) , n = 1 , 2 , 3 ,  . Let n , we have that y = x .

In the following, we show that x is the fixed point of A. In fact, if m 1 , for any fixed integer n, x n x n + m y n . Let m , we have that x n x y n . Thus,
A ( u , x ) = A ( u , x ) A ( u , x n 1 ) + A ( u , x n 1 ) N ( x x n 1 ) + A ( u , x n 1 ) = N x + N x n 1 + A ( u , x n 1 ) = N x + ( N + 1 ) x n x ( n ) .
On the other hand,
A ( u , x ) = A ( u , x ) A ( u , y n 1 ) + A ( u , y n 1 ) N ( x y n 1 ) + A ( u , y n 1 ) = N x + N y n 1 + A ( u , y n 1 ) = N x + ( N + 1 ) y n x ( n ) .

Therefore, for fixed u [ u 0 , v 0 ] , A ( u , x ) = x . The rest of the proof is the same as that of Theorem 3.1. □

Corollary 3.1 (see Theorem 2.1 in [32])

Let P be a normal cone of E, and let A : P × P P be a mixed monotone operator. Suppose that
  1. 1.

    For fixed v P , A ( , v ) : P P is concave; for fixed u P , N > 0 such that A ( u , ) : P P , A ( u , v 1 ) A ( u , v 2 ) N ( v 1 v 2 ) , v 1 v 2 , v 1 , v 2 P .

     
  2. 2.
    v ¯ > θ , 0 < c 1 such that θ < A ( v ¯ , θ ) v ¯ and
    A ( θ , v ¯ ) c A ( v ¯ , θ ) .
     

Then A has exactly one fixed point u in [ θ , v ¯ ] and A ( θ , v ¯ ) u A ( v ¯ , θ ) .

Proof Set
u n = A ( u n 1 , v n 1 ) , v n = A ( v n 1 , u n 1 ) , n = 1 , 2 , ,
u 0 = θ , v 0 = v ¯ , it is easy to show that
u 0 < A ( v 0 , u 0 ) v 0 , A ( u 0 , v 0 ) c A ( v 0 , u 0 ) , u 1 c v 1 , u 1 = A ( u 0 , v 0 ) A ( u 1 , v 1 ) , A ( v 1 , u 1 ) v 1 = A ( v 0 , u 0 ) .

Now let us prove that A ( , v ) : [ u 1 , v 1 ] P is a φ-concave operator for fixed v [ u 1 , v 1 ] . It suffices to show A ( , v ) : [ u 0 , v 0 ] P is a φ-concave operator for fixed v [ u 0 , v 0 ] .

For each u [ u 0 , v 0 ] , t ( 0 , 1 ) , we see
A ( t u , v ) = A ( t u + ( 1 t ) θ , v ) t A ( u , v ) + ( 1 t ) A ( θ , v ) t A ( u , v ) + ( 1 t ) A ( θ , v 0 ) t A ( u , v ) + c ( 1 t ) A ( v 0 , u 0 ) t A ( u , v ) + c ( 1 t ) A ( u , v ) .

Set φ ( t , x ) = t + c ( 1 t ) , then φ : ( 0 , 1 ] × [ u 0 , v 0 ] ( 0 , 1 ] , φ ( t , x ) > t , t ( 0 , 1 ) , lim s t φ ( s , w 0 ) = t + c ( 1 t ) > t . □

So, by Theorem 3.1, we see that A has exactly one fixed point x in [ u 1 , v 1 ] .

Similarly, if P is a solid cone, we have the following corollary.

Corollary 3.2 (see Theorem 2.3 in [32])

Let P be a normal solid cone of E, and let A : P × P P be a mixed monotone operator. Suppose that
  1. 1.

    For fixed v P , A ( , v ) : P P is concave; for fixed u P , N > 0 such that A ( u , ) : P P , A ( u , v 1 ) A ( u , v 2 ) N ( v 1 v 2 ) , v 1 v 2 , v 1 , v 2 P .

     
  2. 2.

    u 0 P , v 0 P such that u 0 v 0 , u 0 A ( u 0 , v 0 ) , A ( v 0 , u 0 ) v 0 .

     

Then A has exactly one fixed point in [ u 0 , v 0 ] .

Proof It is easy to show that there exists a real number r 0 > 0 such that u 0 r 0 v 0 since u 0 , v 0 P , which completes the proof of Corollary 3.2 by means of Corollary 3.1. □

Corollary 3.3 (see Remark 2.4 in [32])

Let P be a normal solid cone of E, and let A : P × P P be a mixed monotone operator. Suppose that
  1. 1.

    For fixed v P , A ( , v ) : P P is α-concave; for fixed u P , N > 0 such that A ( u , ) : P P , A ( u , v 1 ) A ( u , v 2 ) N ( v 1 v 2 ) , v 1 v 2 , v 1 , v 2 P .

     
  2. 2.

    u 0 P , v 0 P such that u 0 v 0 , u 0 A ( u 0 , v 0 ) , A ( v 0 , u 0 ) v 0 .

     

Then A has exactly one fixed point in [ u 0 , v 0 ] .

Proof Take φ ( t , x ) = t α , t ( 0 , 1 ) . Thus, by Corollary 3.2, we easily see that the conclusions of Corollary 3.3 hold. □

Corollary 3.4 (see Theorem 2.2 in [11] or Theorem 2.1 in [10])

Assume that the operator A satisfies the following conditions:

(H1) A : P h P h is increasing in P h ;

(H2) for x P h and t ( 0 , 1 ) , there exists α ( t ) ( 0 , 1 ) such that
A ( t x ) t α ( t ) A x .

Then A has a unique solution in P h .

Proof If A ( u , v ) is independent of v, then take φ ( t , x ) = t α ( t ) , t ( 0 , 1 ) . It is easy to check that conditions (i), (iii) in Theorem 3.1 hold. By Lemma 2.1 in [8], assume that the operator A satisfies conditions (H1) and (H2), we can know that there are u 0 , v 0 P h such that u 0 < v 0 , u 0 A u 0 A v 0 v 0 . Thus, condition (ii) in Theorem 3.1 holds. Therefore, it follows from Theorem 3.1 that the conclusions of Corollary 3.4 hold. □

Corollary 3.5 (see Theorem 2.6 in [10])

Assume that the operator A satisfies the following conditions:

(H3) A : P h P h is increasing in P h ;

(H4)
A ( t x ) t α ( t , x ) A x , x P h , t ( 0 , 1 ) ,

where α : ( 0 , 1 ) × P h ( 0 , 1 ) is increasing in x for fixed t ( 0 , 1 ) ;

(H5) there exists t 0 ( 0 , 1 ) such that
t 0 h A h 1 t 0 1 α ( t 0 , 1 t 0 h ) h .

Then A has a unique solution in P h .

Proof By Corollary 3.4, we only need to check condition (ii) in Theorem 3.1. By the proof of Theorem 2.6 in [10], choose k R such that k > 1 1 α ( t 0 ) . Put u 0 = t 0 k h , v 0 = 1 t 0 k h , set
u n = A u n 1 , v n = A v n 1 , n = 1 , 2 , ,

we have u 0 , v 0 P h , u 0 < v 0 , and u 0 A u 0 A v 0 v 0 . □

Furthermore, we can easily obtain the following new result.

Theorem 3.3 Let P be a normal cone of the real Banach space E, e > θ and u 0 , v 0 P with u 0 v 0 , and let A : P × P P be a mixed monotone operator. Suppose that
  1. (i)

    there exists a real positive number r 0 such that u 0 r 0 v 0 ;

     
  2. (ii)

    u 0 A ( u 0 , v 0 ) , A ( v 0 , u 0 ) v 0 ;

     
  3. (iii)

    for fixed v, A ( , v ) : P P is e-concave with its characteristic function, η ( t , x ) is monotone in x and continuous in t from left;

     
  4. (iv)
    for fixed u P , N > 0 such that
    A ( u , ) : P P , A ( u , v 1 ) A ( u , v 2 ) N ( v 1 v 2 ) , v 1 v 2 , v 1 , v 2 P .
     

Then A has exactly one fixed point x in [ u 0 , v 0 ] .

Corollary 3.6 (see Theorem 2.5 in [11])

Assume that the operator A satisfies the following conditions:

(H6) A : P h P h is increasing in P h ;

(H7) for each x P h and t ( 0 , 1 ) , there exists η ( t ) ( 0 , 1 ) such that
A ( t x ) t ( 1 + η ( t ) ) A x .

Then A has a unique solution in P h .

Proof Set η ( t , x ) = η ( t ) , by Corollary 3.4 and Theorem 3.3, we can know that the conclusions of Corollary 3.6 hold. □

4 Application

In this section, we present an example to explain our results.

Example 4.1 Consider the following nonlinear integral equation:
x ( t ) = ( A x ) ( t ) = R N K ( t , s ) [ x 1 2 ( s ) + x ( s ) + x 1 3 ( s ) ] d s .
(4.1)
Conclusion 4.1 Suppose that K : R N × R N R 1 is nonnegative and continuous with
1 111 R N K ( t , s ) d s 1 6 .
(4.2)

Then Eq. (4.1) has a unique positive solution x ( t ) satisfying 10 2 x ( t ) 1 .

Proof We use Theorem 3.3 to prove Conclusion 4.1. Let E = C B ( R N ) denote the set of all bounded continuous functions on R N ; we define x = sup t R N | x ( t ) | , and then E is a real Banach space. Let P = C B + ( R N ) denote the set of all nonnegative functions of C B ( R N ) . Then P is a normal cone of E. Obviously, Eq. (4.1) can be written in the form x = A ( x , x ) , where
A ( x , y ) = A 1 ( x ) + A 2 ( y ) , A 1 ( x ) = R N K ( t , s ) [ x 1 2 ( s ) + x ( s ) ] d s , A 2 ( y ) = R N K ( t , s ) y 1 3 ( s ) d s .
Now, let us show that the operator A satisfies all the conditions in Theorem 3.3. In fact, set u 0 = 10 2 , v 0 = 1 . It is easy to see that A : P × P P is a mixed monotone operator. It is obvious that u 0 , v 0 P , u 0 < v 0 and there exists a real number ϵ 0 > 0 such that u 0 ϵ 0 v 0 . By (4.2) we can easily get
A ( u 0 , v 0 ) = R N K ( t , s ) ( 10 1 + 10 2 + 1 ) d s 10 2 = u 0 ,
and
A ( v 0 , u 0 ) = R N K ( t , s ) ( 1 + 1 + 10 2 3 ) d s 1 = v 0 .
For fixed y, t ( 0 , 1 ) , η = η ( t , x ) = ( t t ) x t ( x + x ) > 0 such that
A ( t x , y ) ( 1 + η ) t A ( x , y ) ,

where η ( t , x ) is decreasing in x and continuous in t from left.

For fixed x, N = 500 9 such that
A ( x , v 1 ) A ( x , v 2 ) 500 9 ( v 1 v 2 ) , v 1 v 2 , v 1 , v 2 [ 10 2 , 1 ] .

Therefore, we see Conclusion 4.1 holds by means of Theorem 3.3. □

Declarations

Acknowledgements

The author was supported financially by the National Natural Science Foundation of China, Tianyuan Foundation (11226119), the Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi, the Youth Science Foundation of Shanxi Province (2013021002-1), and Shandong Provincial Natural Science Foundation, China (ZR2012AQ024).

Authors’ Affiliations

(1)
Department of Mathematics, North University of China

References

  1. Amann H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 1976, 18: 620–709. 10.1137/1018114MathSciNetView ArticleGoogle Scholar
  2. Guo DJ: Nonlinear Functional Analysis. Shandong Science and Technology Press, Jinan; 2001. (in Chinese)Google Scholar
  3. Guo DJ, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego; 1988.Google Scholar
  4. Krasnoselskii MA: Positive Solutions of Operator Equations. Noordhoff, Groningen; 1964.Google Scholar
  5. Krasnoselskii MA, Zabreiko PP: Geometrical Methods of Nonlinear Analysis. Springer, Berlin; 1984.View ArticleGoogle Scholar
  6. Liang Z, Lian X, Zhang M: A class of concave operators with applications. Nonlinear Anal. 2008, 68: 2507–2515. 10.1016/j.na.2007.02.003MathSciNetView ArticleGoogle Scholar
  7. Potter AJB: Applications of Hilbert projective metric to certain class of nonhomogeneous operators. Q. J. Math. 1977, 28: 93–99. 10.1093/qmath/28.1.93MathSciNetView ArticleGoogle Scholar
  8. Xu SY, Jia BG: Fixed-point theorems of ϕ -concave(− ψ )convex mixed monotone operators and applications. J. Math. Anal. Appl. 2004, 295: 645–657. 10.1016/j.jmaa.2004.03.049MathSciNetView ArticleGoogle Scholar
  9. Xu SY, Zeng CY, Zhu CX: Existence and uniqueness for the fixed points of ϕ -concave(− ψ )convex mixed monotone operators and applications. Acta Math. Sin. 2005, 48: 1055–1064. (in Chinese)MathSciNetGoogle Scholar
  10. Zhai CB, Wang WX, Zhang LL: Generalizations for a class of concave and convex operators. Acta Math. Sin. 2008, 51: 529–540. (in Chinese)MathSciNetGoogle Scholar
  11. Zhai CB, Yang C, Guo CM: Positive solutions of operator equations on ordered Banach spaces and applications. Comput. Math. Appl. 2008, 56: 3150–3156. 10.1016/j.camwa.2008.09.005MathSciNetView ArticleGoogle Scholar
  12. Zhao ZQ, Du X: Fixed points of generalized e -concave (generalized e -convex) operators and their applications. J. Math. Anal. Appl. 2007, 334: 1426–1438. 10.1016/j.jmaa.2006.09.082MathSciNetView ArticleGoogle Scholar
  13. Karapinar E, Luong NV, Thuan NX: Coupled coincidence points for mixed monotone operators in partially ordered metric spaces. Arab. J. Math. 2012, 1: 329–339. 10.1007/s40065-012-0027-0View ArticleGoogle Scholar
  14. Liang Z, Wang W, Li S: On concave operators. Acta Math. Sin. New Ser. 2006, 22: 577–582. 10.1007/s10114-005-0687-1MathSciNetView ArticleGoogle Scholar
  15. Li FY, Liang ZD: Fixed point of φ -concave(− φ -convex) operator and application. J. Syst. Sci. Math. Sci. 1994, 14(4):355–360.MathSciNetGoogle Scholar
  16. Guo DJ, Lakshmikantham V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. TMA 1987, 11(5):623–632. 10.1016/0362-546X(87)90077-0MathSciNetView ArticleGoogle Scholar
  17. Abbas M, Ali B, Sintunavarat W, Kumam P: Tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 187Google Scholar
  18. Abbas M, Sintunavarat W, Kumam P: Coupled fixed point of generalized contractive mappings on partially ordered G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 31Google Scholar
  19. Aydi H, Abbas M, Sintunavarat W, Kumam P: Tripled fixed point of W -compatible mappings in abstract metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 134Google Scholar
  20. Gnana Bhaskar T, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. TMA 2006, 65(7):1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleGoogle Scholar
  21. Chandok S, Sintunavarat W, Kumam P: Some coupled common fixed points for a pair of mappings in partially ordered G -metric spaces. Math. Sci. 2013., 7: Article ID 24Google Scholar
  22. Drici Z, McRae FA, Vasundhara Devi J: Fixed point theorems for mixed monotone operators with PPF dependence. Nonlinear Anal. TMA 2008, 69: 632–636. 10.1016/j.na.2007.05.044MathSciNetView ArticleGoogle Scholar
  23. Guo DJ: Existence and uniqueness of positive fixed point for mixed monotone operators and applications. Appl. Anal. 1992, 46: 91–100. 10.1080/00036819208840113MathSciNetView ArticleGoogle Scholar
  24. Guo DJ: Fixed points for mixed monotone operators with application. Appl. Anal. 1988, 34: 215–224.View ArticleGoogle Scholar
  25. Harjani J, López B, Sadarangani K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. TMA 2011, 74: 1749–1760. 10.1016/j.na.2010.10.047View ArticleGoogle Scholar
  26. Karapinar E, Kumam P, Sintunavarat W: Coupled fixed point theorems in cone metric spaces with a c -distance and applications. Fixed Point Theory Appl. 2012., 2012: Article ID 194Google Scholar
  27. Wu YS, Li GZ: Existence and uniqueness theorems of fixed points for mixed monotone operators and their applications. Acta Math. Sin. (Chin. Ser.) 2003, 46(1):161–166. (in Chinese)Google Scholar
  28. Zhai CB: Fixed point theorems for a class of mixed monotone operators with convexity. Fixed Point Theory Appl. 2013., 2013: Article ID 119Google Scholar
  29. Zhai CB, Zhang LL: New fixed point theorems for mixed monotone operators and local existence-uniqueness of positive solutions for nonlinear boundary value problems. J. Math. Anal. Appl. 2011, 382: 594–614. 10.1016/j.jmaa.2011.04.066MathSciNetView ArticleGoogle Scholar
  30. Zhang ZT: Fixed point theorems of mixed monotone operators and its applications. Acta Math. Sin. 1998, 41(6):1121–1126. (in Chinese)Google Scholar
  31. Zhang ZT: New fixed point theorems of mixed monotone operators and applications. J. Math. Anal. Appl. 1996, 204(1):307–319. 10.1006/jmaa.1996.0439MathSciNetView ArticleGoogle Scholar
  32. Zhang ZT, Wang K: On fixed point theorems of mixed monotone operators and applications. Nonlinear Anal. TMA 2009, 70: 3279–3284. 10.1016/j.na.2008.04.032View ArticleGoogle Scholar
  33. Zhao ZQ: Uniqueness and existence of fixed points on some mixed monotone mappings in ordered linear spaces. J. Syst. Sci. Math. Sci. 1999, 19(2):217–224.Google Scholar
  34. Sintunavarat W, Kumam P: Coupled coincidence and coupled common fixed point theorems in partially ordered metric spaces. Thai J. Math. 2012, 10(3):551–563.MathSciNetGoogle Scholar
  35. Sintunavarat W, Cho YJ, Kumam P: Coupled fixed-point theorems for contraction mapping induced by cone ball-metric in partially ordered spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 128Google Scholar
  36. Guo YX: Iterative solution on a class of nonlinear operator equation. Acta Anal. Funct. Appl. 1999, 1: 45–50.MathSciNetView ArticleGoogle Scholar
  37. Sun JX: Iterative solution of nonlinear operator equation (II). J. Shandong Univ. 1992, 3: 281–288. (in Chinese)Google Scholar

Copyright

© Sang; 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.