Skip to main content
Erschienen in: Journal of Inequalities and Applications 1/2014

Open Access 01.12.2014 | Research

Uniqueness of positive solutions for several classes of sum operator equations and applications

verfasst von: Chen Yang, Chengbo Zhai, Mengru Hao

Erschienen in: Journal of Inequalities and Applications | Ausgabe 1/2014

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this article we study several classes of sum operator equations on ordered Banach spaces and present some new existence and uniqueness results of positive solutions, which extend the existing corresponding results. Moreover, we establish some pleasant properties of nonlinear eigenvalue problems for several classes of sum operator equations. As applications, we utilize the main results obtained in this paper to study two classes nonlinear problems; one is the integral equation u ( t ) = λ a b G ( t , s ) f ( s , u ( s ) ) d s , where f and G are both nonnegative, λ > 0 is a parameter; the other is the elliptic boundary value problem for the Lane-Emden-Fowler equation Δ u = λ f ( x , u ) , u ( x ) > 0 in Ω, u ( x ) = 0 on Ω, where Ω is a bounded domain with smooth boundary in R N ( N 1 ), λ > 0 and f ( x , u ) is allowed to be singular on Ω. The new results on the existence and uniqueness of positive solutions for these problems are given, which complement the existing results of positive solutions for these problems in the literature.
MSC:47H10, 47H07, 45G15, 35J60, 35J65.
Hinweise

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

1 Introduction and preliminaries

With the development of nonlinear sciences, nonlinear functional analysis has been an active area of research over the past several decades. As an important branch of nonlinear functional analysis, nonlinear operator theory has attracted much attention and has been widely studied, especially nonlinear operators which arise in the connection with nonlinear differential and integral equations have been extensively studied (see for instance [112]). It is well known that the existence and uniqueness of positive solutions to nonlinear operator equations is very important in theory and applications. Many authors have studied this problem; for a small sample of such work, we refer the reader to [7, 10, 1323]. The operator equation considered in this papers is always of the following form:
A x = x or A ( x , x ) = x .
In [23], Zhao considered the existence of solutions for the sum operator equation
A x + B x = x ,
(1.1)
where A is increasing e-concave, B is increasing e-convex and A + B is a strict set contraction. Motivated by the works [22, 23], Sang et al. considered the operator equation (1.1), where A is φ 1 -concave, B is φ 2 -convex and A + B is also a strict set contraction. However, we can see that the conditions of the main results in [23, 24] are strong and of utmost convenience.
Recently, we considered successively the operator equation (1.1) and the following operator equation:
A ( x , x ) + B x = x ,
(1.2)
the operators A, B in (1.1) are increasing, α-concave and sub-homogeneous, respectively; the operators A, B in (1.2) are mixed monotone and increasing α-concave (or sub-homogeneous), respectively. In [7], by using the properties of cones and a fixed point theorem for increasing general α-concave operators, we established the existence and uniqueness of positive solutions for the operator equation (1.1), and we utilized the main results to present the existence and uniqueness of positive solutions for the following two problems; one is a fourth-order two-point boundary value problem for elastic beam equations,
{ u ′′′′ ( t ) = f ( t , u ( t ) ) , 0 t 1 , u ( 0 ) = u ( 0 ) = 0 , u ( 1 ) = 0 , u ( 1 ) = g ( u ( 1 ) ) ,
where f C ( [ 0 , 1 ] × R ) and g C ( R ) are real functions; and the other is an elliptic value problem for Lane-Emden-Fowler equations
{ Δ u = f ( x , u ) + g ( x , u ) , x Ω , u ( x ) > 0 , x Ω , u ( x ) = 0 , x Ω ,
where f ( x , u ) , g ( x , u ) are allowed to be singular on Ω. In [21], by using the properties of cones and a fixed point theorem for mixed monotone operators, we established the existence and uniqueness of positive solutions for the operator equation (1.2), and we utilized the results obtained to study the existence and uniqueness of positive solutions for a nonlinear fractional differential equation boundary value problem,
{ D 0 + α u ( t ) = f ( t , u ( t ) , u ( t ) ) + g ( t , u ( t ) ) , 0 < t < 1 , u ( 0 ) = u ( 1 ) = u ( 0 ) = u ( 1 ) = 0 ,
where D 0 + α is the Riemann-Liouville fractional derivative of order α > 0 . These results are useful and interesting. For completeness, in this paper we will further consider the following several classes of sum operators:
(i)
the sum of increasing operators and decreasing operators;
 
(ii)
the sum of increasing operators and mixed monotone operators;
 
(iii)
the sum of decreasing operators and mixed monotone operators;
 
(iv)
the sum of increasing operators, decreasing operators and mixed monotone operators.
 
Motivated by our works [7, 10, 21], we will study the above cases (i)-(iv). So this article is a continuation of our papers [7, 10, 21], and we will present some interesting results on the existence and uniqueness of positive solutions for the above several classes of sum operator equations. To demonstrate the applicability of our abstract results, we give, in the last section of the paper, some applications to nonlinear integral equations and elliptic boundary value problems for the Lane-Emden-Fowler equations.
In the following two subsections, we state some definitions, notations, and known results. For convenience of the readers, we refer to [713, 2022, 2527] for details.

1.1 Some basic definitions and notations

Suppose that E is a real Banach space which is partially ordered by a cone P E , i.e., x y if and only if y x P . If x y and x y , then we denote x < y or y > x . By θ we denote the zero element of E. Recall that a non-empty closed convex set P E is a cone if it satisfies (i) x P , λ 0 λ x P ; (ii) x P , x P x = θ .
Putting P ˚ = { x P | x  is an interior point of  P } , a cone P is said to be solid if P ˚ is non-empty. Moreover, P is called normal if there exists a constant N > 0 such that, for all x , y E , θ x y implies x N y ; in this case N is called the normality constant of P. If x 1 , x 2 E , the set [ x 1 , x 2 ] = { x E | x 1 x x 2 } is called the order interval between x 1 and  x 2 . We say that an operator A : E E is increasing (decreasing) if x y implies A x A y ( A x A y ).
For all x , y E , the notation x y means that there exist λ > 0 and μ > 0 such that λ x y μ x . Clearly, ∼ is an equivalence relation. Given h > θ (i.e., h θ and h θ ), we denote by P h the set P h = { x E | x h } . It is easy to see that P h P .
Definition 1.1 Let D = P or D = P ˚ and α be a real number with 0 α < 1 . An operator A : P P is said to be α-concave if it satisfies
A ( t x ) t α A x , t ( 0 , 1 ) , x D .
Notice that the definition of an α-concave operator mentioned above is different from that in [26], because we need not require the cone to be solid in general.
Definition 1.2 An operator A : P P is said to be sub-homogeneous if it satisfies
A ( t x ) t A x , t ( 0 , 1 ) , x P .
Definition 1.3 (See [10, 21, 27])
A : P × P P is said to be a mixed monotone operator if A ( x , y ) is increasing in x and decreasing in y, i.e., u i , v i ( i = 1 , 2 ) P , u 1 u 2 , v 1 v 2 imply A ( u 1 , v 1 ) A ( u 2 , v 2 ) . An element x P is called a fixed point of A if A ( x , x ) = x .

1.2 Some fixed point theorems and properties

In this subsection, we assume that E is a real Banach space with a partial order introduced by a cone P of E. Take h E , h > θ , P h is given as in Section 1.1.
In the paper [7], we considered the existence and uniqueness of positive solutions to the operator equation (1.1) on ordered Banach spaces and established the following conclusion.
Theorem 1.1 (See Theorem 2.2 in [7])
Let P be a normal cone in E, A : P P be an increasing α-concave operator and B : P P be an increasing sub-homogeneous operator. Assume that
(i)
there is h > θ such that A h P h and B h P h ;
 
(ii)
there exists a constant δ 0 > 0 such that A x δ 0 B x , x P .
 
Then the operator equation (1.1) has a unique solution x in P h . Moreover, constructing successively the sequence y n = A y n 1 + B y n 1 , n = 1 , 2 , for any initial value y 0 P h , we have y n x as n .
In the paper [10], we present the following fixed point theorem for a class of general mixed monotone operators and established some pleasant properties of nonlinear eigenvalue problems for mixed monotone operators.
Theorem 1.2 (See Lemma 2.1 and Theorem 2.1 in [10])
Let P be a normal cone in E. Assume that A : P × P P is a mixed monotone operator and satisfies:
(i)
there exists h P with h θ such that A ( h , h ) P h ;
 
(ii)
for any u , v P and t ( 0 , 1 ) , there exists φ ( t ) ( t , 1 ] such that A ( t u , t 1 v ) φ ( t ) A ( u , v ) .
 
Then:
(1)
T : P h × P h P h ;
 
(2)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that r v 0 u 0 < v 0 , u 0 A ( u 0 , v 0 ) A ( v 0 , u 0 ) v 0 ;
 
(3)
the operator equation (1.2) has a unique solution x in P h ;
 
(4)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A ( x n 1 , y n 1 ) , y n = A ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x and y n x as n .
Theorem 1.3 (See Theorem 2.3 in [10])
Assume that the operator A satisfies the conditions of Theorem  1.2. Let x λ ( λ > 0 ) denote the unique solution of nonlinear eigenvalue equation A ( x , x ) = λ x in P h . Then we have the following conclusions:
(R1) If φ ( t ) > t 1 2 for t ( 0 , 1 ) , then x λ is strictly decreasing in λ, that is, 0 < λ 1 < λ 2 implies x λ 1 > x λ 2 ;
(R2) If there exists β ( 0 , 1 ) such that φ ( t ) t β for t ( 0 , 1 ) , then x λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies x λ x λ 0 0 ;
(R3) If there exists β ( 0 , 1 2 ) such that φ ( t ) t β for t ( 0 , 1 ) , then lim λ x λ = 0 , lim λ 0 + x λ = .
Based on Theorem 1.2, in [21] we considered the operator equation (1.2) and established the following conclusions.
Theorem 1.4 (See Theorem 2.1 in [21])
Let P be a normal cone in E, α ( 0 , 1 ) . A : P × P P is a mixed monotone operator and satisfies
A ( t x , t 1 y ) t α A ( x , y ) , t ( 0 , 1 ) , x , y P .
B : P P is an increasing sub-homogeneous operator. Assume that
(i)
there is h 0 P h such that A ( h 0 , h 0 ) P h and B h 0 P h ;
 
(ii)
there exists a constant δ 0 > 0 such that A ( x , y ) δ 0 B x , x , y P .
 
Then:
(1)
A : P h × P h P h , B : P h P h ;
 
(2)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A ( u 0 , v 0 ) + B u 0 A ( v 0 , u 0 ) + B v 0 v 0 ;
 
(3)
the operator equation (1.2) has a unique solution x in P h ;
 
(4)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A ( x n 1 , y n 1 ) + B x n 1 , y n = A ( y n 1 , x n 1 ) + B y n 1 , n = 1 , 2 , ,
 
we have x n x and y n x as n .
Theorem 1.5 (See Theorem 2.4 in [21])
Let P be a normal cone in E, α ( 0 , 1 ) . A : P × P P is a mixed monotone operator and satisfies
A ( t x , t 1 y ) t A ( x , y ) , t ( 0 , 1 ) , x , y P .
B : P P is an increasing α-concave operator. Assume that
(i)
there is h 0 P h such that A ( h 0 , h 0 ) P h and B h 0 P h ;
 
(ii)
there exists a constant δ 0 > 0 such that A ( x , y ) δ 0 B x , x , y P .
 
Then:
(1)
A : P h × P h P h , B : P h P h ;
 
(2)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A ( u 0 , v 0 ) + B u 0 A ( v 0 , u 0 ) + B v 0 v 0 ;
 
(3)
the operator equation (1.2) has a unique solution x in P h ;
 
(4)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A ( x n 1 , y n 1 ) + B x n 1 , y n = A ( y n 1 , x n 1 ) + B y n 1 , n = 1 , 2 , ,
 
we have x n x and y n x as n .

2 Main results

In this section we consider the existence and uniqueness of positive solutions for several classes of sum operator equations. We always assume that E is a real Banach space with a partial order induced by a cone P of E. Take h E , h > θ and P h as given in the Introduction.

2.1 The sum of increasing operators and decreasing operators

Now we first consider the following sum operator equations:
A x + B x = x ,
(2.1)
A x + B x = λ x , λ > 0 .
(2.2)
Theorem 2.1 Let P be a normal cone, A : P P be an increasing operator and B : P P be a decreasing operator. Assume that:
(H11) for any x P and t ( 0 , 1 ) , there exist φ i ( t ) ( t , 1 ) ( i = 1 , 2 ) such that
A ( t x ) φ 1 ( t ) A x , B ( t x ) 1 φ 2 ( t ) B x ;
(2.3)
(H12) there exists h 0 P h such that A h 0 + B h 0 P h .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B v 0 A v 0 + B u 0 v 0 ;
 
(ii)
the operator equation (2.1) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B y n 1 , y n = A y n 1 + B x n 1 , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof Firstly, from (2.3), we have
A ( 1 t x ) 1 φ 1 ( t ) A x , B ( 1 t x ) φ 2 ( t ) B x , x P , t ( 0 , 1 ) .
(2.4)
Since A h 0 + B h 0 P h , there exist constants λ 1 , λ 2 > 0 such that
λ 1 h A h 0 + B h 0 λ 2 h .
Also from h 0 P h , there exists a constant t 0 ( 0 , 1 ) such that
t 0 h h 0 1 t 0 h .
Let φ ( t ) = min { φ 1 ( t ) , φ 2 ( t ) } , t ( 0 , 1 ) . Then φ ( t ) ( t , 1 ) . From (2.3) and (2.4), we obtain
A h + B h A ( t 0 h 0 ) + B ( 1 t 0 h 0 ) φ 1 ( t 0 ) A h 0 + φ 2 ( t 0 ) B h 0 A h + B h φ ( t 0 ) ( A h 0 + B h 0 ) λ 1 φ ( t 0 ) h , A h + B h A ( 1 t 0 h 0 ) + B ( t 0 h 0 ) 1 φ 1 ( t 0 ) A h 0 + 1 φ 2 ( t 0 ) B h 0 A h + B h 1 φ ( t 0 ) ( A h 0 + B h 0 ) λ 2 φ ( t 0 ) h .
Note that λ 1 φ ( t 0 ) , λ 2 φ ( t 0 ) > 0 , we can get A h + B h P h .
Next we define an operator T = A + B by T ( x , y ) = A x + B y . Then T : P × P P is a mixed monotone operator and T ( h , h ) = A h + B h P h . Moreover, for any x , y P and t ( 0 , 1 ) , we have
T ( t x , t 1 y ) = A ( t x ) + B ( t 1 y ) φ 1 ( t ) A x + φ 2 ( t ) B y φ ( t ) ( A x + B y ) = φ ( t ) T ( x , y ) .
Hence, the operator T satisfies the condition (ii) in Theorem 1.2. An application of Theorem 1.2 implies that: there are u 0 , v 0 P h and r ( 0 , 1 ) such that r v 0 u 0 < v 0 , u 0 T ( u 0 , v 0 ) T ( v 0 , u 0 ) v 0 ; operator equation T ( x ) = x has a unique positive x P h ; for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = T ( x n 1 , y n 1 ) , y n = T ( y n 1 , x n 1 ) , n = 1 , 2 , ,
we have x n x 0 and y n x 0 as n . That is:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B v 0 A v 0 + B u 0 v 0 ;
 
(ii)
the operator equation (2.1) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B y n 1 , y n = A y n 1 + B x n 1 , n = 1 , 2 , ,
 
we have x n x , y n x as n .
 □
Note that h P h , and we can easily obtain the following conclusions.
Corollary 2.2 Let P be a normal cone, A : P h P h be an increasing operator and B : P h P h be a decreasing operator. Assume that:
(H13) for any x P h and t ( 0 , 1 ) , there exist φ i ( t ) ( t , 1 ) ( i = 1 , 2 ) such that
A ( t x ) φ 1 ( t ) A x , B ( t x ) 1 φ 2 ( t ) B x .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B v 0 A v 0 + B u 0 v 0 ;
 
(ii)
the operator equation (2.1) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B y n 1 , y n = A y n 1 + B x n 1 , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Corollary 2.3 Let α 1 , α 2 ( 0 , 1 ) . Let P be a normal cone, A : P P be an increasing α 1 -concave operator and B : P P be a decreasing α 2 -convex operator. Assume that (H12) holds. Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B v 0 A v 0 + B u 0 v 0 ;
 
(ii)
the operator equation (2.1) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B y n 1 , y n = A y n 1 + B x n 1 , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof Let φ 1 ( t ) = t α 1 , φ 2 ( t ) = t α 2 , t ( 0 , 1 ) . Then φ 1 ( t ) , φ 2 ( t ) ( t , 1 ) for t ( 0 , 1 ) and
A ( t x ) t α 1 A x = φ 1 ( t ) A x , B ( t x ) t α 2 B x = 1 φ 2 ( t ) B x , x P .
Hence, the conclusions follow from Theorem 2.1. □
Corollary 2.4 Let α ( 0 , 1 ) and P be a normal cone. Let A 1 : P P be an increasing α-concave operator and A 2 : P P be an increasing sub-homogeneous operator, B : P P be a decreasing operator which satisfies (2.3). Assume that:
(H14) there exists h 0 P h such that A 1 h 0 + A 2 h 0 P h ;
(H15) there exists δ > 0 such that A 1 x δ A 2 x , x P ;
(H16) there exists h 1 P h such that B h 1 P h .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A 1 u 0 + A 2 u 0 + B v 0 A 1 v 0 + A 2 v 0 + B u 0 v 0 ;
 
(ii)
the following operator equation:
A 1 x + A 2 x + B x = x ,
(2.5)
 
has a unique solution x in P h ;
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A 1 x n 1 + A 2 x n 1 + B y n 1 , y n = A 1 y n 1 + A 2 y n 1 + B x n 1 , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof Define an operator A = A 1 + A 2 by A x = A 1 x + A 2 x . Then A : P P is an increasing operator and A h 0 P h . Since h 0 , h 1 P h , there exist t 0 , t 1 ( 0 , 1 ) such that
t 0 h h 0 1 t 0 h , t 1 h h 1 1 t 1 h .
Then h 0 1 t 0 h 1 t 0 t 1 h 1 , h 0 t 0 h t 0 t 1 h 1 , and thus
B h 0 B ( 1 t 0 t 1 h 1 ) φ 2 ( t 0 t 1 ) B h 1 , B h 0 B ( t 0 t 1 h 1 ) 1 φ 2 ( t 0 t 1 ) B h 1 .
Note that φ 2 ( t 0 t 1 ) , 1 φ 2 ( t 0 t 1 ) > 0 and B h 1 P h , we can get B h 0 P h . Hence, A h 0 + B h 0 P h .
From the proof of Theorem 1.1, there exists β 0 ( t ) ( α , 1 ) with respect to t, such that
A ( t x ) t β 0 ( t ) A x , t ( 0 , 1 ) , x P .
Let φ 1 ( t ) = t β 0 ( t ) , t ( 0 , 1 ) . Then φ 1 ( t ) ( t , 1 ) and A ( t x ) φ 1 ( t ) A x , x P .
Therefore, operators A, B satisfy all the conditions of Theorem 2.1. So we easily obtain the following conclusions:
(i)
there exist u 0 , v 0 P h , and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A 1 u 0 + A 2 u 0 + B v 0 A 1 v 0 + A 2 v 0 + B u 0 v 0 ;
 
(ii)
the operator equation (2.5) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A 1 x n 1 + A 2 x n 1 + B y n 1 , y n = A 1 y n 1 + A 2 y n 1 + B x n 1 , n = 1 , 2 , ,
 
we have x n x , y n x as n .
 □
Corollary 2.5 Assume that all the conditions of Theorem  2.1 hold. Let x λ ( λ > 0 ) denote the unique solution of operator equation (2.2). Then we have the following conclusions:
(i)
if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then x λ is strictly decreasing in λ, that is, 0 < λ 1 < λ 2 implies x λ 1 > x λ 2 ;
 
(ii)
if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then x λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies x λ x λ 0 0 ;
 
(iii)
if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ x λ = 0 , lim λ 0 + x λ = .
 
Proof Define an operator T = A + B by T ( x , y ) = A x + B y . Then T : P × P P is a mixed monotone operator. From the proof of Theorem 2.1, we have T ( h , h ) P h , and
T ( t x , t 1 y ) φ ( t ) T ( x , y ) , t ( 0 , 1 ) , x , y P ,
where φ ( t ) = min { φ 1 ( t ) , φ 2 ( t ) } . Evidently, φ ( t ) ( t , 1 ) for t ( 0 , 1 ) . Hence, the conclusions follow from Theorem 1.3. □
Similarly, we can easily obtain the following result.
Corollary 2.6 Assume that all the conditions of Corollary  2.3 hold. Let x λ ( λ > 0 ) denote the unique solution of operator equation (2.2). Then we have the following conclusions:
(i)
if α 1 , α 2 ( 0 , 1 2 ) , then x λ is strictly decreasing in λ, that is, 0 < λ 1 < λ 2 implies x λ 1 > x λ 2 ;
 
(ii)
x λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies x λ x λ 0 0 ;
 
(iii)
if α 1 , α 2 ( 0 , 1 2 ) , then lim λ x λ = 0 , lim λ 0 + x λ = .
 

2.2 The sum of increasing operators and mixed monotone operators

Next, we consider the following sum operator equations:
A x + B ( x , x ) = x ,
(2.6)
A x + B ( x , x ) = λ x , λ > 0 .
(2.7)
Theorem 2.7 Let P be a normal cone, A : P P be an increasing operator and B : P × P P be a mixed monotone operator. Assume that:
(H21) for any x P , t ( 0 , 1 ) , there exists φ 1 ( t ) ( t , 1 ) such that
A ( t x ) φ 1 ( t ) A x ;
(2.8)
(H22) for any x , y P , t ( 0 , 1 ) , there exists φ 2 ( t ) ( t , 1 ) such that
B ( t x , t 1 y ) φ 2 ( t ) B ( x , y ) ;
(2.9)
(H23) there exists h 0 P h such that A h 0 + B ( h 0 , h 0 ) P h .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B ( u 0 , v 0 ) A v 0 + B ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.6) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B ( x n 1 , y n 1 ) , y n = A y n 1 + B ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof From (2.9), we obtain
B ( t 1 x , t y ) 1 φ 2 ( t ) B ( x , y ) , x , y P , t ( 0 , 1 ) .
(2.10)
Since A h 0 + B ( h 0 , h 0 ) P h , there exist constants λ 1 , λ 2 > 0 such that
λ 1 h A h 0 + B ( h 0 , h 0 ) λ 2 h .
Also, from h 0 P h , there exists a small constant t 0 ( 0 , 1 ) such that
t 0 h h 0 1 t 0 h .
Let φ ( t ) = min { φ 1 ( t ) , φ 2 ( t ) } . Then φ ( t ) ( t , 1 ) for t ( 0 , 1 ) . From (2.8)-(2.10),
A h + B ( h , h ) A ( t 0 h 0 ) + B ( t 0 h 0 , t 0 1 h 0 ) φ 1 ( t 0 ) A h 0 + φ 2 ( t 0 ) B ( h 0 , h 0 ) A h + B ( h , h ) φ ( t 0 ) [ A h 0 + B ( h 0 , h 0 ) ] λ 1 φ ( t 0 ) h , A h + B ( h , h ) A ( t 0 1 h 0 ) + B ( t 0 1 h 0 , t 0 h 0 ) 1 φ 1 ( t 0 ) A h 0 + 1 φ 2 ( t 0 ) B ( h 0 , h 0 ) A h + B ( h , h ) 1 φ ( t 0 ) [ A h 0 + B ( h 0 , h 0 ) ] λ 2 φ ( t 0 ) h .
Note that λ 1 φ ( t 0 ) , λ 2 φ ( t 0 ) > 0 , we can get A h + B ( h , h ) P h .
Next, we define an operator T = A + B by T ( x , y ) = A x + B ( x , y ) . Then T : P × P P is a mixed monotone operator and T ( h , h ) = A h + B ( h , h ) P h . Moreover, for any x , y P and t ( 0 , 1 ) , we have
T ( t x , t 1 y ) = A ( t x ) + B ( t x , t 1 y ) φ 1 ( t ) A x + φ 2 ( t ) B ( x , y ) φ ( t ) [ A x + B ( x , y ) ] = φ ( t ) T ( x , y ) .
Hence, all the conditions of Theorem 1.2 are satisfied. An application of Theorem 1.2 implies that: there are u 0 , v 0 P h and r ( 0 , 1 ) such that r v 0 u 0 < v 0 , u 0 T ( u 0 , v 0 ) T ( v 0 , u 0 ) v 0 ; operator equation T ( x , x ) = x has a unique solution x P h ; for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = T ( x n 1 , y n 1 ) , y n = T ( y n 1 , x n 1 ) , n = 1 , 2 , ,
we have x n x 0 and y n x 0 as n . That is:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B ( u 0 , v 0 ) A v 0 + B ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.6) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B ( x n 1 , y n 1 ) , y n = A y n 1 + B ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
 □
Corollary 2.8 Let P be a normal cone, A : P h P h be an increasing operator and B : P h × P h P h be a mixed monotone operator. Assume that:
(H24) for any x P h , t ( 0 , 1 ) , there exists φ 1 ( t ) ( t , 1 ) such that
A ( t x ) φ 1 ( t ) A x ;
(H25) for any x , y P h , t ( 0 , 1 ) , there exists φ 2 ( t ) ( t , 1 ) such that
B ( t x , t 1 y ) φ 2 ( t ) B ( x , y ) .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B ( u 0 , v 0 ) A v 0 + B ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.6) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B ( x n 1 , y n 1 ) , y n = A y n 1 + B ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Corollary 2.9 Let α ( 0 , 1 ) and P be a normal cone. Let A : P P be an increasing operator which satisfies (H21), B 1 : P P be an increasing sub-homogeneous operator and B 2 : P × P P be a mixed monotone operator which satisfies
B 2 ( t x , t 1 y ) t α B 2 ( x , y ) , t ( 0 , 1 ) , x , y P .
(2.11)
Assume that:
(H26) there exist h 0 , h 1 P h such that
A h 0 P h , B 1 h 1 + B 2 ( h 1 , h 1 ) P h ;
(H27) there exists a constant δ 0 > 0 such that
B 2 ( x , y ) δ 0 B 1 x , x , y P .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A v 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the following operator equation:
A x + B 1 x + B 2 ( x , x ) = x
(2.12)
 
has a unique solution x in P h ;
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A y n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof Define an operator B = B 1 + B 2 by B ( x , y ) = B 1 x + B 2 ( x , y ) . Then B : P × P P is a mixed monotone operator and B ( h 1 , h 1 ) = B 1 h 1 + B 2 ( h 1 , h 1 ) P h . Since h 0 , h 1 P h , there exist t 0 , t 1 ( 0 , 1 ) such that
t 0 h h 0 1 t 0 h , t 1 h h 1 1 t 1 h .
Then h 1 1 t 1 h 1 t 0 t 1 h 0 , h 1 t 1 h t 0 t 1 h 0 , and thus
A h 1 A ( t 0 t 1 h 0 ) φ 1 ( t 0 t 1 ) A h 0 , A h 1 A ( 1 t 0 t 1 h 0 ) 1 φ 1 ( t 0 t 1 ) A h 0 .
Note that φ 1 ( t 0 t 1 ) , 1 φ 1 ( t 0 t 1 ) > 0 and A h 0 P h , we can get A h 1 P h . Hence, A h 1 + B ( h 1 , h 1 ) P h .
Note that (H27) and from the proof of Theorem 1.4, there exists β 0 ( t ) ( α , 1 ) with respect to t such that
B ( t x , t 1 y ) t β 0 ( t ) B ( x , y ) , t ( 0 , 1 ) , x , y P .
Let φ 2 ( t ) = t β 0 ( t ) , t ( 0 , 1 ) . Then φ 2 ( t ) ( t , 1 ) and
B ( t x , t 1 y ) φ 2 ( t ) B ( x , y ) , t ( 0 , 1 ) , x , y P .
Therefore, the operators A, B satisfy all the conditions of Theorem 2.7. So we easily obtain the following conclusions:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A v 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.12) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A y n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
 □
Corollary 2.10 Let α ( 0 , 1 ) and P be a normal cone. Let A : P P be an increasing operator which satisfies (H21), B 1 : P P be an increasing α-concave operator and B 2 : P × P P be a mixed monotone operator which satisfies
B 2 ( t x , t 1 y ) t B 2 ( x , y ) , t ( 0 , 1 ) , x , y P .
(2.13)
Assume that (H26) holds and
(H28) there exists a constant δ 0 > 0 such that B 2 ( x , y ) δ 0 B 1 x , x , y P .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A v 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.12) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A y n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof Consider the same operator B defined by the proof of Corollary 2.9, we have B : P × P P is a mixed monotone operator and B ( h 1 , h 1 ) P h . From Definition 1.1, we have A ( t x ) 1 t α A x , t ( 0 , 1 ) , x P . Since h 0 , h 1 P h , there exist t 0 , t 1 ( 0 , 1 ) such that
t 0 h h 0 1 t 0 h , t 1 h h 1 1 t 1 h .
Then t 0 t 1 h 0 h 1 1 t 0 t 1 h 0 , and thus
A h 1 A ( t 0 t 1 h 0 ) ( t 0 t 1 ) α A h 0 , A h 1 A ( 1 t 0 t 1 h 0 ) 1 ( t 0 t 1 ) α A h 0 .
Note that ( t 0 t 1 ) α , 1 ( t 0 t 1 ) α > 0 and A h 0 P h , we can get A h 1 P h . Hence, A h 1 + B ( h 1 , h 1 ) P h .
Note that (H28) and from the proof of Theorem 1.5, we know that there exists β 0 ( t ) ( α , 1 ) with respect to t such that
B ( t x , t 1 y ) t β 0 ( t ) B ( x , y ) , t ( 0 , 1 ) , x , y P .
Let φ 2 ( t ) = t β 0 ( t ) , t ( 0 , 1 ) . Then φ 2 ( t ) ( t , 1 ) and B ( t x , t 1 y ) φ 2 ( t ) B ( x , y ) , x , y P .
Therefore, the operators A, B satisfy all the conditions of Theorem 2.7. So we easily obtain the following conclusions:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A u 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A v 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.12) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A x n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A y n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
 □
Similar to Corollary 2.5, we have the following result.
Corollary 2.11 Assume that all the conditions of Theorem  2.7 hold. Let x λ ( λ > 0 ) denote the unique solution of operator equation (2.7). Then we have the following conclusions:
(i)
if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then x λ is strictly decreasing in λ, that is, 0 < λ 1 < λ 2 implies x λ 1 > x λ 2 ;
 
(ii)
if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then x λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies x λ x λ 0 0 ;
 
(iii)
if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ x λ = 0 , lim λ 0 + x λ = .
 

2.3 The sum of decreasing operators and mixed monotone operators

In the following we also consider the operator equations (2.6) and (2.7).
Theorem 2.12 Let P be a normal cone, A : P P be a decreasing operator and B : P × P P be a mixed monotone operator. Assume that (H22) and (H23) hold and
(H31) for any x P and t ( 0 , 1 ) , there exists φ 1 ( t ) ( t , 1 ) such that
A ( t x ) 1 φ 1 ( t ) A x .
(2.14)
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A v 0 + B ( u 0 , v 0 ) A u 0 + B ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.6) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A y n 1 + B ( x n 1 , y n 1 ) , y n = A x n 1 + B ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Proof From (2.14), we have
A ( 1 t x ) φ 1 ( t ) A x , t ( 0 , 1 ) , x P .
(2.15)
Since A h 0 + B ( h 0 , h 0 ) P h , there exist constants λ 1 , λ 2 > 0 such that
λ 1 h A h 0 + B ( h 0 , h 0 ) λ 2 h .
Also from h 0 P h , there exists a small constant t 0 ( 0 , 1 ) such that
t 0 h h 0 1 t 0 h .
Let φ ( t ) = min { φ 1 ( t ) , φ 2 ( t ) } . Then φ ( t ) ( t , 1 ) for t ( 0 , 1 ) . From (H22) and (2.14), (2.15),
A h + B ( h , h ) A ( 1 t 0 h 0 ) + B ( t 0 h 0 , t 0 1 h 0 ) φ 1 ( t 0 ) A h 0 + φ 2 ( t 0 ) B ( h 0 , h 0 ) A h + B ( h , h ) φ ( t 0 ) [ A h 0 + B ( h 0 , h 0 ) ] λ 1 φ ( t 0 ) h , A h + B ( h , h ) A ( t 0 h 0 ) + B ( t 0 1 h 0 , t 0 h 0 ) 1 φ 1 ( t 0 ) A h 0 + 1 φ 2 ( t 0 ) B ( h 0 , h 0 ) A h + B ( h , h ) 1 φ ( t 0 ) [ A h 0 + B ( h 0 , h 0 ) ] λ 2 φ ( t 0 ) h .
Note that λ 1 φ ( t 0 ) , λ 2 φ ( t 0 ) > 0 , we can get A h + B ( h , h ) P h .
Next, we define an operator T = A + B by T ( x , y ) = A y + B ( x , y ) . Then T : P × P P is a mixed monotone operator and T ( h , h ) = A h + B ( h , h ) P h .
Moreover, for any x , y P and t ( 0 , 1 ) , we have
T ( t x , t 1 y ) = A ( t 1 y ) + B ( t x , t 1 y ) φ 1 ( t ) A y + φ 2 ( t ) B ( x , y ) φ ( t ) [ A y + B ( x , y ) ] = φ ( t ) T ( x , y ) .
Hence, all the conditions of Theorem 1.2 are satisfied. Application of Theorem 1.2 implies that: there are u 0 , v 0 P h and r ( 0 , 1 ) such that r v 0 u 0 < v 0 , u 0 T ( u 0 , v 0 ) T ( v 0 , u 0 ) v 0 ; operator equation T ( x , x ) = x has a unique solution x P h ; for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = T ( x n 1 , y n 1 ) , y n = T ( y n 1 , x n 1 ) , n = 1 , 2 , ,
we have x n x 0 and y n x 0 as n . That is,
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A v 0 + B ( u 0 , v 0 ) A u 0 + B ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.6) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A y n 1 + B ( x n 1 , y n 1 ) , y n = A x n 1 + B ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
 □
Corollary 2.13 Let P be a normal cone, A : P h P h be a decreasing operator and B : P h × P h P h be a mixed monotone operator. Assume that:
(H32) for any x P h and t ( 0 , 1 ) , there exists φ 1 ( t ) ( t , 1 ) such that
A ( t x ) 1 φ 1 ( t ) A x ;
(H33) for any x , y P h , t ( 0 , 1 ) , there exists φ 2 ( t ) ( t , 1 ) such that
B ( t x , t 1 y ) φ 2 ( t ) B ( x , y ) .
Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A v 0 + B ( u 0 , v 0 ) A u 0 + B ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.6) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A y n 1 + B ( x n 1 , y n 1 ) , y n = A x n 1 + B ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Corollary 2.14 Assume that all the conditions of Theorem  2.12 hold. Let x λ ( λ > 0 ) denote the unique solution of operator equation (2.7). Then we have the following conclusions:
(i)
if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then x λ is strictly decreasing in λ, that is, 0 < λ 1 < λ 2 implies x λ 1 > x λ 2 ;
 
(ii)
if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then x λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies x λ x λ 0 0 ;
 
(iii)
if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ x λ = 0 , lim λ 0 + x λ = .
 

2.4 The sum of increasing operators, decreasing operators, and mixed monotone operators

From the above results, we can easily obtain the following results on operator equations:
A x + B 1 x + B 2 ( x , x ) = x ,
(2.16)
A 1 x + A 2 x + B 1 x + B 2 ( x , x ) = x .
(2.17)
By Theorem 2.12 and Corollary 2.9, Corollary 2.10, we have the following conclusions.
Theorem 2.15 Let α ( 0 , 1 ) and P be a normal cone. Let A : P P be a decreasing operator which satisfies (H31), operators B 1 , B 2 be the same as for Corollary  2.9. Assume that (H26), (H27) hold. Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A v 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A u 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.16) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A y n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A x n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
Theorem 2.16 Let α ( 0 , 1 ) and P be a normal cone. Let A : P P be a decreasing operator which satisfies (H31), operators B 1 , B 2 be the same as for Corollary  2.10. Assume that (H26), (H28) hold. Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A v 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A u 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.16) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A y n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A x n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) , n = 1 , 2 , ,
 
we have x n x , y n x as n .
From Corollary 2.9, Corollary 2.10, and Corollary 2.4, we can easily obtain the following results.
Theorem 2.17 Let α 1 , α 2 ( 0 , 1 ) and P be a normal cone, operators A 1 , A 2 satisfy the conditions of Corollary  2.4, where A 1 is α 1 -concave, operators B 1 , B 2 satisfy the conditions of Corollary  2.9, where B 2 satisfies (2.11) with α replaced by α 2 . Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A 1 u 0 + A 2 u 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A 1 v 0 + A 2 v 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.17) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A 1 x n 1 + A 2 x n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A 1 y n 1 + A 2 y n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) ,
 
where n = 1 , 2 ,  , we have x n x , y n x as n .
Theorem 2.18 Let α 1 , α 2 ( 0 , 1 ) and P be a normal cone, operator A : P P is α 1 -concave, operators B 1 , B 2 satisfy the conditions of Corollary  2.10, where B 1 is α 2 -concave. Then:
(i)
there exist u 0 , v 0 P h and r ( 0 , 1 ) such that
r v 0 u 0 < v 0 , u 0 A 1 u 0 + A 2 u 0 + B 1 u 0 + B 2 ( u 0 , v 0 ) A 1 v 0 + A 2 v 0 + B 1 v 0 + B 2 ( v 0 , u 0 ) v 0 ;
 
(ii)
the operator equation (2.17) has a unique solution x in P h ;
 
(iii)
for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A 1 x n 1 + A 2 x n 1 + B 1 x n 1 + B 2 ( x n 1 , y n 1 ) , y n = A 1 y n 1 + A 2 y n 1 + B 1 y n 1 + B 2 ( y n 1 , x n 1 ) ,
 
where n = 1 , 2 ,  , we have x n x , y n x as n .

3 Some applications

In this section, we will apply the main results to study nonlinear problems which include nonlinear integral equations and nonlinear elliptic boundary value problems for the Lane-Emden-Fowler equations. And then we will obtain new results on the existence and uniqueness of positive solutions for these problems, which are not consequences of the corresponding fixed point theorems in the literature.

3.1 Applications to nonlinear integral equations

A standard approach, in studying the existence of positive solutions of boundary value problems (BVPs for short) for ordinary differential equations, is to rewrite the problem as an equivalent positive-solution problem for a Hammerstein integral equation of the form
u ( t ) = λ a b G ( t , s ) f ( s , u ( s ) ) d s ,
(3.1)
in the space E = C [ a , b ] , where the nonlinearity f and the kernel G (the Green function of the problem) are both nonnegative, λ > 0 is a parameter. One seeks fixed points of a Hammerstein integral operator in a suitable cone of positive functions.
Set P = { u C [ a , b ] | u ( t ) 0 , t [ a , b ] } , the standard cone. It is easy to see that P is a normal cone of which the normality constant is 1. Then P h = { x P | there are  λ 2 ( x ) λ 1 ( x ) > 0  such that  λ 1 ( x ) h ( t ) x ( t ) λ 2 ( x ) h ( t ) , t [ a , b ] } . Assume that G ( t , s ) : [ a , b ] × [ a , b ] [ 0 , + ) is continuous with G ( t , s ) 0 and there exist h , m , n C ( [ a , b ] , [ 0 , + ) ) with h ( t ) , m ( t ) , n ( t ) 0 , such that
m ( s ) h ( t ) G ( t , s ) n ( s ) h ( t ) for all  t , s [ a , b ] .
(3.2)
Theorem 3.1 Assume that f ( t , x ) = f 1 ( t , x ) + f 2 ( t , x ) 0 and
(H31) f i : [ a , b ] × [ 0 , + ) [ 0 , + ) is continuous ( i = 1 , 2 ), f 1 ( t , x ) is increasing in x [ 0 , + ) for fixed t [ a , b ] and f 2 ( t , x ) is decreasing in x [ 0 , + ) for fixed t [ a , b ] ;
(H32) for η ( 0 , 1 ) , there exist φ i ( η ) ( η , 1 ) ( i = 1 , 2 ) such that
f 1 ( t , η x ) φ 1 ( η ) f 1 ( t , x ) , f 2 ( t , η x ) 1 φ 2 ( η ) f 2 ( t , x ) , t [ a , b ] , x [ 0 , + ) .
Then, for any given λ > 0 , the integral equation (3.1) has a unique positive solution u λ in  P h . Moreover, for any initial values x 0 , y 0 P h , constructing successively the sequences:
x n = λ a b G ( t , s ) [ f 1 ( s , x n 1 ( s ) ) + f 2 ( s , y n 1 ( s ) ) ] d s , y n = λ a b G ( t , s ) [ f 1 ( s , y n 1 ( s ) ) + f 2 ( s , x n 1 ( s ) ) ] d s , n = 1 , 2 , ,
we have x n u λ , y n u λ as n + . Further, (i) if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is strictly increasing in λ, that is, 0 < λ 1 < λ 2 implies u λ 1 < u λ 2 ; (ii) if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies u λ u λ 0 0 ; (iii) if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ 0 + u λ = 0 , lim λ + u λ = + .
Proof Define two operators A : P E and B : P E by
A u ( t ) = a b G ( t , s ) f 1 ( s , u ( s ) ) d s , B u ( t ) = a b G ( t , s ) f 2 ( s , u ( s ) ) d s .
It is easy to see that u is the solution of (3.1) if and only if u = λ ( A u + B u ) . From (H31), we know that A : P P is increasing and B : P P is decreasing. Further, from (H32), we can prove that A, B satisfy (H11). Next we prove that A h + B h P h . Set h max = max t [ a , b ] h ( t ) , h min = min t [ a , b ] h ( t ) . Then h max h min > 0 .
For any t [ a , b ] , from (H31) and (3.2), we have
A h ( t ) + B h ( t ) = a b G ( t , s ) [ f 1 ( s , h ( s ) ) + f 2 ( s , h ( s ) ) ] d s A h ( t ) + B h ( t ) a b h ( t ) m ( s ) [ f 1 ( s , h min ) + f 2 ( s , h max ) ] d s A h ( t ) + B h ( t ) = h ( t ) a b m ( s ) [ f 1 ( s , h min ) + f 2 ( s , h max ) ] d s , A h ( t ) + B h ( t ) a b h ( t ) n ( s ) [ f 1 ( s , h max ) + f 2 ( s , h min ) ] d s A h ( t ) + B h ( t ) = h ( t ) a b n ( s ) [ f 1 ( s , h max ) + f 2 ( s , h min ) ] d s .
Let r 1 = a b m ( s ) [ f 1 ( s , h min ) + f 2 ( s , h max ) ] d s , r 2 = a b n ( s ) [ f 1 ( s , h max ) + f 2 ( s , h min ) ] d s . Note that f = f 1 + f 2 0 is continuous with f 0 and from (3.2), we get 0 < r 1 r 2 and in consequence, r 1 h A h + B h r 2 h . That is, A h + B h P h . Hence, all the conditions of Theorem 2.1 are satisfied. It follows from Theorem 2.1 and Corollary 2.5 that the operator equation A u + B u = 1 λ u has a unique solution u λ in P h , that is, λ ( A u λ + B u λ ) = u λ . So u λ is a unique positive solution of the integral equation (3.1) in P h for given λ > 0 . From Corollary 2.5, we have (i) if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is strictly increasing in λ, that is, 0 < λ 1 < λ 2 implies u λ 1 < u λ 2 ; (ii) if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies u λ u λ 0 0 ; (iii) if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ 0 + u λ = 0 , lim λ + u λ = + .
Let A λ = λ A , B λ = λ B . Then A λ , B λ also satisfy the conditions of Theorem 2.1. By Theorem 2.1, for any initial values x 0 , y 0 P h , constructing successively the sequences
x n = A λ x n 1 + B λ y n 1 , y n = A λ y n 1 + B λ x n 1 , n = 1 , 2 , ,
we have x n u λ , y n u λ as n + . That is,
x n = λ a b G ( t , s ) [ f 1 ( s , x n 1 ( s ) ) + f 2 ( s , y n 1 ( s ) ) ] d s u λ ( t ) , y n = λ a b G ( t , s ) [ f 1 ( s , y n 1 ( s ) ) + f 2 ( s , x n 1 ( s ) ) ] d s u λ ( t )
as n + . □
Theorem 3.2 Assume that f ( t , x ) = f 1 ( t , x ) + f 2 ( t , x , x ) 0 with f 1 ( t , x ) satisfies (H31) and
(H33) f 2 ( t , x , y ) : [ a , b ] × [ 0 , + ) × [ 0 , + ) [ 0 , + ) is continuous, increasing in x [ 0 , + ) for fixed t [ a , b ] , y [ 0 , + ) , decreasing in y [ 0 , + ) for fixed t [ a , b ] , x [ 0 , + ) ;
(H34) for η ( 0 , 1 ) , there exist φ i ( η ) ( η , 1 ) ( i = 1 , 2 ) such that
f 1 ( t , η x ) φ 1 ( η ) f 1 ( t , x ) , f 2 ( t , η x , η 1 y ) φ 2 ( η ) f 2 ( t , x , y ) , t [ a , b ] , x , y [ 0 , + ) .
Then, for any given λ > 0 , the integral equation (3.1) has a unique positive solution u λ in  P h . Moreover, for any initial values x 0 , y 0 P h , constructing successively the sequences:
x n = λ a b G ( t , s ) [ f 1 ( s , x n 1 ( s ) ) + f 2 ( s , x n 1 ( s ) , y n 1 ( s ) ) ] d s , y n = λ a b G ( t , s ) [ f 1 ( s , y n 1 ( s ) ) + f 2 ( s , y n 1 ( s ) , x n 1 ( s ) ) ] d s , n = 1 , 2 , ,
we have x n u λ , y n u λ as n + . Further, the conclusions (i), (ii), and (iii) in Theorem  3.1 also hold.
Proof Define two operators A : P E and B : P × P E by
A u ( t ) = a b G ( t , s ) f 1 ( s , u ( s ) ) d s , B ( u , v ) ( t ) = a b G ( t , s ) f 2 ( s , u ( s ) , v ( s ) ) d s .
It is easy to see that u is the solution of (3.1) if and only if u = λ [ A u + B ( u , u ) ] . From (H31) and (H33), we know that A : P P is increasing and B : P × P P is mixed monotone. Further, from (H34), we can prove that A, B satisfy (H21) and (H22). Next we prove that A h + B ( h , h ) P h .
For any t [ a , b ] , from (H31), (H33), and (3.2), we have
A h ( t ) + B ( h , h ) ( t ) = a b G ( t , s ) [ f 1 ( s , h ( s ) ) + f 2 ( s , h ( s ) , h ( s ) ) ] d s A h ( t ) + B ( h , h ) ( t ) a b h ( t ) m ( s ) [ f 1 ( s , h min ) + f 2 ( s , h min , h max ) ] d s A h ( t ) + B ( h , h ) ( t ) = h ( t ) a b m ( s ) [ f 1 ( s , h min ) + f 2 ( s , h min , h max ) ] d s , A h ( t ) + B ( h , h ) ( t ) a b h ( t ) n ( s ) [ f 1 ( s , h max ) + f 2 ( s , h max , h min ) ] d s A h ( t ) + B ( h , h ) ( t ) = h ( t ) a b n ( s ) [ f 1 ( s , h max ) + f 2 ( s , h max , h min ) ] d s .
Let r 1 = a b m ( s ) [ f 1 ( s , h min ) + f 2 ( s , h min , h max ) ] d s , r 2 = a b n ( s ) [ f 1 ( s , h max ) + f 2 ( s , h max , h min ) ] d s . Note that f = f 1 + f 2 is nonnegative and continuous with f 0 and from (3.2), we get 0 < r 1 r 2 and in consequence, r 1 h A h + B ( h , h ) r 2 h . That is, A h + B ( h , h ) P h . Hence, all the conditions of Theorem 2.7 are satisfied. It follows from Theorem 2.7 and Corollary 2.11 that the operator equation A u + B ( u , u ) = 1 λ u has a unique solution u λ in P h , that is, λ [ A u λ + B ( u λ , u λ ) ] = u λ . So u λ is a unique positive solution of the integral equation (3.1) in P h for given λ > 0 . From Corollary 2.11, we have (i) if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is strictly increasing in λ, that is, 0 < λ 1 < λ 2 implies u λ 1 < u λ 2 ; (ii) if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies u λ u λ 0 0 ; (iii) if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ 0 + u λ = 0 , lim λ + u λ = + .
Let A λ = λ A , B λ = λ B . Then A λ , B λ also satisfy the conditions of Theorem 2.7. By Theorem 2.7, for any initial values x 0 , y 0 P h , constructing successively the sequences x n = A λ x n 1 + B λ ( x n 1 , y n 1 ) , y n = A λ y n 1 + B λ ( y n 1 , x n 1 ) , n = 1 , 2 ,  , we have x n u λ , y n u λ as n + . That is,
x n = λ a b G ( t , s ) [ f 1 ( s , x n 1 ( s ) ) + f 2 ( s , x n 1 ( s ) , y n 1 ( s ) ) ] d s u λ ( t ) , y n = λ a b G ( t , s ) [ f 1 ( s , y n 1 ( s ) ) + f 2 ( s , y n 1 ( s ) , x n 1 ( s ) ) ] d s u λ ( t )
as n + . □
Theorem 3.3 Assume that f ( t , x ) = f 1 ( t , x ) + f 2 ( t , x , x ) 0 with f 1 ( t , x ) satisfies all the conditions of f 2 ( t , x ) in Theorem  3.1 and f 2 ( t , x , y ) satisfies (H33) and (H34). Then, for any given λ > 0 , the integral equation (3.1) has a unique positive solution u λ in P h . Moreover, for any initial values x 0 , y 0 P h , constructing successively the sequences:
x n = λ a b G ( t , s ) [ f 1 ( s , y n 1 ( s ) ) + f 2 ( s , x n 1 ( s ) , y n 1 ( s ) ) ] d s , y n = λ a b G ( t , s ) [ f 1 ( s , x n 1 ( s ) ) + f 2 ( s , y n 1 ( s ) , x n 1 ( s ) ) ] d s , n = 1 , 2 , ,
we have x n u λ , y n u λ as n + . Further, the conclusions (i), (ii), and (iii) in Theorem  3.1 also hold.
Proof Similar to the proofs of Theorem 3.1 and Theorem 3.2, the conclusions follow from Theorem 2.12 and Corollary 2.14. □

3.2 Applications to nonlinear elliptic BVPs for the Lane-Emden-Fowler equations

Let Ω be a bounded domain with smooth boundary in R N ( N 1 ). Consider the following singular Dirichlet problem for the Lane-Emden-Fowler equation:
{ Δ u = λ f ( x , u ) , x Ω , u ( x ) > 0 , x Ω , u ( x ) = 0 , x Ω ,
(3.3)
where λ > 0 and the nonlinear term f ( x , u ) is allowed to be singular on Ω.
The problem (3.3) arises in the study of non-Newtonian fluids, boundary layer phenomena for viscous fluids, chemical heterogeneous catalysts, as well as in the theory of heat conduction in electrically materials (see [2832]). The theory of singular elliptic boundary value problems for partial differential equations has become an important area of investigation in the past three decades, see [2840] and references therein. By means of sub-supersolutions and various techniques related to the maximum principle for elliptic equations, some existence and nonexistence results, a unique positive solution are established. In [3, 7], we investigated the existence and uniqueness of positive solutions to the singular Dirichlet problem for the Lane-Emden-Fowler equation (3.3), where f ( x , u ) is increasing in u ( 0 , + ) for each x Ω in [3]; f ( t , u ) = f 1 ( t , u ) + f 2 ( t , u ) with f i ( t , u ) is increasing in u ( 0 , + ) for each x Ω , i = 1 , 2 in [7] and λ = 1 . However, to our knowledge, the results on the existence-uniqueness of positive solutions for singular elliptic equation are still few. The purpose here is to establish the existence-uniqueness of positive solutions to the singular Dirichlet problem for the Lane-Emden-Fowler equation (3.3) by using some fixed point results in Section 2.
Throughout this subsection, denote W k , l ( Ω ) the Sobolev space (see [41]), where l > 1 and k is a nonnegative integer. And denote h 1 the eigenfunction corresponding to the smallest eigenvalue λ 1 of the problem Δ φ = λ φ in Ω, and φ | Ω = 0 . For convenience, we can assume that h 1 ( x ) 0 in Ω ¯ . Moreover, it is well known that (see for instance [42]) there exist two positive constants C 2 , C 3 such that the first eigenvalue function satisfies
0 < C 2 h 1 ( x ) [ d ( x ) ] 1 C 3 , x Ω ,
(3.4)
where d ( x ) = dist ( x , Ω ) .
Lemma 3.4 (See [[43], Theorem 3, p.468])
Let Ω be a bounded domain in R N with smooth boundary Ω. Let u L loc 1 ( Ω ) and assume that, for some k 0 , u satisfies
{ Δ u + k u 0 in  Ω , u 0 on  Ω .
Then either u = 0 , or there exists ε > 0 such that u ( x ) ε dist ( x , Ω ) in Ω.
The proof of this result is due to Brezis and Nirenberg and the result is inspired by the work of Stampachia. Brezis and Nirenberg obtained this result in order to solve a similar eigenvalue problem as considered here. Actually, the result was extended to more general operators, such as Δ p , under some suitable restrictions in order to solve a large class of problems (see for example the problems considered recently in the work of Covei [44]). Here we recall the result since can be used to prove the following simple but useful lemma.
Lemma 3.5 (See [[3], Theorem 3.1, p.1278])
Let Ω be a bounded domain with smooth boundary in R N ( N 1 ). If w W 2 , l ( Ω ) and w ( x ) = 0 for x Ω , then there exists a constant M 1 > 0 such that
| w ( x ) | M 1 h 1 ( x ) , x Ω ,
where M 1 depends only upon N and Ω.
Theorem 3.6 Assume that f ( x , u ) = f 1 ( x , u ) + f 2 ( x , u ) and
(H35) f i ( x , u ) , i = 1 , 2 is nonnegative on Ω × ( 0 , + ) , Hölder continuous in the variable x with the Hölder exponent γ ( 0 , 1 ) for each u ( 0 , + ) and continuous in the variable u for each x Ω ;
(H36) f 1 ( x , u ) is increasing in u for each x and f 2 ( x , u ) is decreasing in u for each x, and for any t ( 0 , 1 ) , there exists a constant φ i ( t ) ( t , 1 ) , i = 1 , 2 , such that
f 1 ( x , t u ) φ 1 ( t ) f 1 ( x , u ) , f 2 ( x , t u ) 1 φ 2 ( t ) f 2 ( x , u ) for any  u ( 0 , + ) ;
(H37) f 1 ( x , u ) , f 2 ( x , u ) satisfy the conditions of integrability, i.e.,
Ω f i ( x , h 1 ( x ) ) l d x < + , i = 1 , 2  for some  l > N .
Then the problem (3.3) has a unique positive solution u λ C 1 , τ ( Ω ¯ ) with respect to λ > 0 , where τ = 1 N l . Moreover, (i) if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is strictly increasing in λ, that is, 0 < λ 1 < λ 2 implies u λ 1 < u λ 2 ; (ii) if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies u λ u λ 0 0 ; (iii) if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ 0 + u λ = 0 , lim λ + u λ = + .
Proof For the sake of convenience, set E = C ( Ω ¯ ) , the Banach space of continuous functions on Ω ¯ with the norm u = max { | u ( x ) | : x Ω ¯ } . Set P = { u C ( Ω ¯ ) | u ( x ) 0 , x Ω ¯ } , the standard cone. It is clear that P is a normal cone in E and the normality constant is 1, P h 1 is given as in the Section 1.1. We divide the proof into several steps.
Step 1. We consider the following linear elliptic boundary value problem:
{ Δ w = f 1 ( x , u ) , x Ω , w ( x ) > 0 , x Ω , w ( x ) = 0 , x Ω ,
(3.5)
where u P h 1 . Since u P h 1 , we can choose a sufficiently small number r 0 ( 0 , 1 ) such that
r 0 h 1 ( x ) u ( x ) 1 r 0 h 1 ( x ) , x Ω ¯ .
Then from (H36),
f 1 ( x , u ( x ) ) f 1 ( x , r 0 h 1 ( x ) ) φ 1 ( r 0 ) f 1 ( x , h 1 ( x ) ) , x Ω ,
(3.6)
f 1 ( x , u ( x ) ) f 1 ( x , 1 r 0 h 1 ( x ) ) 1 φ 1 ( r 0 ) f 1 ( x , h 1 ( x ) ) , x Ω .
(3.7)
Thus we get by applying the integrability condition (H37) that says that
Ω [ f 1 ( x , u ( x ) ) ] l d x < + ,
namely, f 1 ( x , u ) L l ( Ω ) . By the classical theory of linear elliptic equations (see [45]), the problem (3.5) admits a unique strong solution w u W 2 , l ( Ω ) W 0 1 , l ( Ω ) . Recall that l > N . Using the Sobolev imbedding theory, w u C 1 , τ ( Ω ¯ ) with τ = 1 N l . Now we define an operator A : P h 1 E by
A u ( x ) = w u ( x ) , u P h 1 ,
where w u is the unique strong solution of (3.5) for u P h 1 . Evidently, A : P h 1 P . Suppose that ϕ is the solution of (3.5) with u = h 1 , then A h 1 = ϕ C 1 , τ ( Ω ¯ ) . Then from Lemma 3.5, there exists a positive constant C ϕ such that
ϕ ( x ) C ϕ h 1 ( x ) , x Ω ¯ .
(3.8)
Note that f ( x , h 1 ( x ) ) 0 . By the maximal principle, ϕ ( x ) 0 . Since ϕ ( x ) > 0 for x Ω , an application of Lemma 3.4 implies that
ϕ ( x ) ε d ( x ) , x Ω ¯ .
(3.9)
Combining (3.4) and (3.9), there exists a positive constant c ϕ such that
ϕ ( x ) c ϕ h 1 ( x ) , x Ω ¯ .
(3.10)
Let w u is the unique strong solution of (3.5) for u P h 1 . From (3.6) and (3.7), and applying the comparison principle, we conclude that
φ 1 ( r 0 ) ϕ ( x ) w u ( x ) 1 φ 1 ( r 0 ) ϕ ( x ) , x Ω ¯ ,
and, from (3.8) and (3.10), we get A u = w u P h 1 for any u P h 1 . So we find that A : P h 1 P h 1 is well defined. Further, from (H36) and the comparison principle, we can easily prove that A : P h 1 P h 1 is increasing. In the following we prove that A ( t u ) φ 1 ( t ) A u for any u P h 1 and t ( 0 , 1 ) . For any u P h 1 and t ( 0 , 1 ) , we have
{ Δ A ( t u ) = f 1 ( x , t u ) , x Ω , A ( t u ) ( x ) = 0 , x Ω
and
{ Δ φ 1 ( t ) A u = φ 1 ( t ) f 1 ( x , u ) , x Ω , φ 1 ( t ) A u ( x ) = 0 , x Ω .
From (H36) we also get f 1 ( x , t u ( x ) ) φ 1 ( t ) f 2 ( x , u ( x ) ) 0 for any x Ω ¯ . Therefore,
{ Δ ( A ( t u ) φ 1 ( t ) A u ) 0 , x Ω , A ( t u ) ( x ) φ 1 ( t ) A u ( x ) = 0 , x Ω .
Using the comparison principle again, we can obtain A ( t u ) φ 1 ( t ) A u immediately. So we have A ( t u ) φ 1 ( t ) A u for t ( 0 , 1 ) , u P h 1 .
Step 2. We consider the following linear elliptic boundary value problem:
{ Δ w = f 2 ( x , u ) , x Ω , w ( x ) > 0 , x Ω , w ( x ) = 0 , x Ω ,
(3.11)
where u P h 1 . Since u P h 1 , we can choose a sufficiently small number r 0 ( 0 , 1 ) such that
r 0 h 1 ( x ) u ( x ) 1 r 0 h 1 ( x ) , x Ω ¯ .
Then from (H36),
f 2 ( x , u ( x ) ) f 2 ( x , r 0 h 1 ( x ) ) 1 φ 2 ( r 0 ) f 2 ( x , h 1 ( x ) ) , x Ω , f 2 ( x , u ( x ) ) f 2 ( x , 1 r 0 h 1 ( x ) ) φ 2 ( r 0 ) f 2 ( x , h 1 ( x ) ) , x Ω .
Thus we get by applying the integrability condition (H37) that says that Ω [ f 2 ( x , u ( x ) ) ] l d x < + , namely, f 2 ( x , u ) L l ( Ω ) . By the classical theory of linear elliptic equations, the problem (3.11) admits a unique strong solution w u W 2 , l ( Ω ) W 0 1 , l ( Ω ) . Recall that l > N . Using the Sobolev imbedding theory, w u C 1 , τ ( Ω ¯ ) with τ = 1 N l . Now we define an operator B : P h 1 E by B u ( x ) = w u ( x ) , u P h 1 , where w u is the unique strong solution of (3.11) for u P h 1 . Similar to Step 1,we can prove that B : P h 1 P h 1 is well defined. Using the comparison principle again, we can easily see that B : P h 1 P h 1 is decreasing and B ( t u ) 1 φ 2 ( t ) B u for any u P h 1 and t ( 0 , 1 ) .
Step 3. Now all the conditions of Corollary 2.2 are satisfied. It follows from Corollary 2.2 and Corollary 2.5 that the operator equation A u + B u = 1 λ u has a unique solution u λ in P h 1 , that is, λ ( A u λ + B u λ ) = u λ . So u λ is a unique positive solution of the problem (3.3) in P h 1 for given λ > 0 . By the theory of the linear elliptic equation, the problem
{ Δ w = λ [ f 1 ( x , u λ ) + f 2 ( x , u λ ) ] , x Ω , w ( x ) > 0 , x Ω , w ( x ) = 0 , x Ω ,
admits a unique solution u λ ¯ W 2 , l ( Ω ) W 0 1 , l ( Ω ) , and hence u λ ¯ C 1 , τ ( Ω ) . Recalling the uniqueness of the solution of (3.3), one can see easily that u λ ¯ = u λ . Thus the problem (3.3) has a unique classical solution u λ C 1 , τ ( Ω ¯ ) . Moreover, by using Corollary 2.5 and the theory of the linear elliptic equation, we can easily prove that (i) if φ i ( t ) > t 1 2 ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is strictly increasing in λ, that is, 0 < λ 1 < λ 2 implies u λ 1 < u λ 2 ; (ii) if there exists β ( 0 , 1 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then u λ is continuous in λ, that is, λ λ 0 ( λ 0 > 0 ) implies u λ u λ 0 0 ; (iii) if there exists β ( 0 , 1 2 ) such that φ i ( t ) t β ( i = 1 , 2 ) for t ( 0 , 1 ) , then lim λ 0 + u λ = 0 , lim λ + u λ = + . □
Similar to the proofs of Theorem 3.6 and Theorems 3.2, 3.3, we can easily obtain the following conclusions.
Theorem 3.7 Assume that f ( x , u ) = f 1 ( x , u ) + f 2 ( x , u , u ) and f 1 ( x , u ) satisfies all the conditions of Theorem  3.6, f 2 satisfies
(H38) f 2 ( x , u , v ) is nonnegative on Ω × ( 0 , + ) × ( 0 , + ) , Hölder continuous in the variable x with the Hölder exponent γ ( 0 , 1 ) for each u , v ( 0 , + ) and is continuous in the variables u, v for each x Ω ;
(H39) for any t ( 0 , 1 ) , there exists a constant φ 2 ( t ) ( t , 1 ) such that
f 2 ( x , t u , t 1 v ) φ 2 ( t ) f 2 ( x , u , v ) for any  u , v ( 0 , + ) ;
(H310) f 2 ( x , u , v ) satisfies the condition of integrability, i.e.,
Ω f 2 ( x , h 1 ( x ) , h 1 ( x ) ) l d x < + for some  l > N .
Then the problem (3.3) has a unique positive solution u λ C 1 , τ ( Ω ¯ ) with respect to λ > 0 , where τ = 1 N l . Further, the conclusions (i), (ii), and (iii) in Theorem  3.6 also hold.
Theorem 3.8 Assume that f ( x , u ) = f 1 ( x , u ) + f 2 ( x , u , u ) with f 1 satisfying all the conditions of f 2 in Theorem  3.6 and f 2 satisfying (H38), (H39), and (H310). Then the problem (3.3) has a unique positive solution u λ C 1 , τ ( Ω ¯ ) with respect to λ > 0 , where τ = 1 N l . Further, the conclusions (i), (ii), and (iii) in Theorem  3.6 also hold.

Acknowledgements

The research was supported by the Youth Science Foundation of China (11201272), the Science Foundations of Shanxi Province (2010021002-1; 2013011003-3) and the Science Foundation of Business College of Shanxi University (2012050).
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.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Literatur
1.
Zurück zum Zitat Agarwal RP, O’Regan D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 2005, 161: 433–439. 10.1016/j.amc.2003.12.096MathSciNetCrossRefMATH Agarwal RP, O’Regan D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 2005, 161: 433–439. 10.1016/j.amc.2003.12.096MathSciNetCrossRefMATH
2.
Zurück zum Zitat Avery RI, Henderson J: Three symmetric positive solutions for a second order boundary value problem. Appl. Math. Lett. 2000,13(3):1–7. 10.1016/S0893-9659(99)00177-9MathSciNetCrossRefMATH Avery RI, Henderson J: Three symmetric positive solutions for a second order boundary value problem. Appl. Math. Lett. 2000,13(3):1–7. 10.1016/S0893-9659(99)00177-9MathSciNetCrossRefMATH
3.
Zurück zum Zitat Guo CM, Zhai CB, Song RP: An existence and uniqueness result for the singular Lane-Emden-Fowler equation. Nonlinear Anal. 2010, 72: 1275–1279. 10.1016/j.na.2009.08.016MathSciNetCrossRefMATH Guo CM, Zhai CB, Song RP: An existence and uniqueness result for the singular Lane-Emden-Fowler equation. Nonlinear Anal. 2010, 72: 1275–1279. 10.1016/j.na.2009.08.016MathSciNetCrossRefMATH
5.
Zurück zum Zitat Yang C, Zhai CB, Yan JR: Positive solutions of three-point boundary value problem for second order differential equations with an advanced argument. Nonlinear Anal. 2006, 65: 2013–2023. 10.1016/j.na.2005.11.003MathSciNetCrossRefMATH Yang C, Zhai CB, Yan JR: Positive solutions of three-point boundary value problem for second order differential equations with an advanced argument. Nonlinear Anal. 2006, 65: 2013–2023. 10.1016/j.na.2005.11.003MathSciNetCrossRefMATH
6.
Zurück zum Zitat Yang C, Zhai CB: Uniqueness of positive solutions for a fractional differential equation via a fixed point theorem of a sum operator. Electron. J. Differ. Equ. 2012, 70: 1–8.MathSciNetCrossRefMATH Yang C, Zhai CB: Uniqueness of positive solutions for a fractional differential equation via a fixed point theorem of a sum operator. Electron. J. Differ. Equ. 2012, 70: 1–8.MathSciNetCrossRefMATH
7.
Zurück zum Zitat Zhai CB, Anderson DR: A sum operator equation and applications to nonlinear elastic beam equations and Lane-Emden-Fowler equations. J. Math. Anal. Appl. 2011, 375: 388–400. 10.1016/j.jmaa.2010.09.017MathSciNetCrossRefMATH Zhai CB, Anderson DR: A sum operator equation and applications to nonlinear elastic beam equations and Lane-Emden-Fowler equations. J. Math. Anal. Appl. 2011, 375: 388–400. 10.1016/j.jmaa.2010.09.017MathSciNetCrossRefMATH
8.
Zurück zum Zitat Zhai CB, Song RP, Han QQ: The existence and the uniqueness of symmetric positive solutions for a fourth-order boundary value problem. Comput. Math. Appl. 2011, 62: 2639–2647. 10.1016/j.camwa.2011.08.003MathSciNetCrossRefMATH Zhai CB, Song RP, Han QQ: The existence and the uniqueness of symmetric positive solutions for a fourth-order boundary value problem. Comput. Math. Appl. 2011, 62: 2639–2647. 10.1016/j.camwa.2011.08.003MathSciNetCrossRefMATH
9.
Zurück zum Zitat Zhai CB, Yan WP, Yang C: A sum operator method for the existence and uniqueness of positive solutions to Riemann-Liouville fractional differential equation boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 2013, 18: 858–866. 10.1016/j.cnsns.2012.08.037MathSciNetCrossRefMATH Zhai CB, Yan WP, Yang C: A sum operator method for the existence and uniqueness of positive solutions to Riemann-Liouville fractional differential equation boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 2013, 18: 858–866. 10.1016/j.cnsns.2012.08.037MathSciNetCrossRefMATH
10.
Zurück zum Zitat 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.066MathSciNetCrossRefMATH 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.066MathSciNetCrossRefMATH
11.
Zurück zum Zitat Zhang JM, Zhai CB: Existence and uniqueness results for perturbed Neumann boundary value problems. Bound. Value Probl. 2010., 2010: Article ID 494210 Zhang JM, Zhai CB: Existence and uniqueness results for perturbed Neumann boundary value problems. Bound. Value Probl. 2010., 2010: Article ID 494210
12.
Zurück zum Zitat Zhang LL, Zhai CB: Existence and uniqueness results for three-point boundary value problems. In: Proceedings of the 30th Chinese Control Conference, Yantai, China, pp. 460-463 (2011) Zhang LL, Zhai CB: Existence and uniqueness results for three-point boundary value problems. In: Proceedings of the 30th Chinese Control Conference, Yantai, China, pp. 460-463 (2011)
13.
Zurück zum Zitat Amann H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 1976,18(4):620–709. 10.1137/1018114MathSciNetCrossRefMATH Amann H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 1976,18(4):620–709. 10.1137/1018114MathSciNetCrossRefMATH
14.
Zurück zum Zitat Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 2001, 42: 313–322. 10.1016/S0898-1221(01)00156-0MathSciNetCrossRefMATH Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 2001, 42: 313–322. 10.1016/S0898-1221(01)00156-0MathSciNetCrossRefMATH
15.
16.
Zurück zum Zitat Ilic D, Rakocevic V: Common fixed points for maps on cone metric space. J. Math. Anal. Appl. 2008, 341: 876–882. 10.1016/j.jmaa.2007.10.065MathSciNetCrossRefMATH Ilic D, Rakocevic V: Common fixed points for maps on cone metric space. J. Math. Anal. Appl. 2008, 341: 876–882. 10.1016/j.jmaa.2007.10.065MathSciNetCrossRefMATH
17.
Zurück zum Zitat Jachymski J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 136: 1359–1373.MathSciNetCrossRefMATH Jachymski J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 136: 1359–1373.MathSciNetCrossRefMATH
18.
Zurück zum Zitat Li K, Liang J, Xiao TJ: A fixed point theorem for convex and decreasing operators. Nonlinear Anal. 2005, 63: e209-e206. 10.1016/j.na.2004.12.014CrossRefMATH Li K, Liang J, Xiao TJ: A fixed point theorem for convex and decreasing operators. Nonlinear Anal. 2005, 63: e209-e206. 10.1016/j.na.2004.12.014CrossRefMATH
19.
Zurück zum Zitat Nieto JJ, Pouso RL, Rodriguez-Lopez R: Fixed point theorems in ordered abstract spaces. Proc. Am. Math. Soc. 2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1MathSciNetCrossRefMATH Nieto JJ, Pouso RL, Rodriguez-Lopez R: Fixed point theorems in ordered abstract spaces. Proc. Am. Math. Soc. 2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1MathSciNetCrossRefMATH
21.
Zurück zum Zitat Zhai CB, Hao MR: 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.048MathSciNetCrossRefMATH Zhai CB, Hao MR: 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.048MathSciNetCrossRefMATH
22.
Zurück zum Zitat Zhai CB, Cao XM: Fixed point theorems for τ - φ -concave operators and applications. Comput. Math. Appl. 2010, 59: 532–538. 10.1016/j.camwa.2009.06.016MathSciNetCrossRefMATH Zhai CB, Cao XM: Fixed point theorems for τ - φ -concave operators and applications. Comput. Math. Appl. 2010, 59: 532–538. 10.1016/j.camwa.2009.06.016MathSciNetCrossRefMATH
23.
Zurück zum Zitat Zhao Z: Multiple fixed points of a sum operator and applications. J. Math. Anal. Appl. 2009, 360: 1–6. 10.1016/j.jmaa.2009.06.016MathSciNetCrossRefMATH Zhao Z: Multiple fixed points of a sum operator and applications. J. Math. Anal. Appl. 2009, 360: 1–6. 10.1016/j.jmaa.2009.06.016MathSciNetCrossRefMATH
24.
Zurück zum Zitat Sang YB, Wei ZL, Dong W: The existence of multiple fixed points for the sum of two operators and applications. Fixed Point Theory 2012,13(1):193–204.MathSciNetMATH Sang YB, Wei ZL, Dong W: The existence of multiple fixed points for the sum of two operators and applications. Fixed Point Theory 2012,13(1):193–204.MathSciNetMATH
26.
Zurück zum Zitat Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, Boston; 1988.MATH Guo D, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, Boston; 1988.MATH
27.
Zurück zum Zitat Guo D: Existence and uniqueness of positive fixed points for mixed monotone operators and applications. Appl. Anal. 1992, 46: 91–100. 10.1080/00036819208840113MathSciNetCrossRefMATH Guo D: Existence and uniqueness of positive fixed points for mixed monotone operators and applications. Appl. Anal. 1992, 46: 91–100. 10.1080/00036819208840113MathSciNetCrossRefMATH
28.
Zurück zum Zitat Crandall MG, Rabinowitz PH, Tartar L: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 1977,2(2):193–222. 10.1080/03605307708820029MathSciNetCrossRefMATH Crandall MG, Rabinowitz PH, Tartar L: On a Dirichlet problem with a singular nonlinearity. Commun. Partial Differ. Equ. 1977,2(2):193–222. 10.1080/03605307708820029MathSciNetCrossRefMATH
29.
30.
Zurück zum Zitat Ghergu M, Rădulescu V: Sublinear singular elliptic problems with two parameters. J. Differ. Equ. 2003, 195: 520–536. 10.1016/S0022-0396(03)00105-0CrossRefMathSciNetMATH Ghergu M, Rădulescu V: Sublinear singular elliptic problems with two parameters. J. Differ. Equ. 2003, 195: 520–536. 10.1016/S0022-0396(03)00105-0CrossRefMathSciNetMATH
31.
Zurück zum Zitat Ghergu M, Rădulescu V: Ground state solutions for the singular Lane-Emden-Fowler equation with sublinear convection term. J. Math. Anal. Appl. 2007, 333: 265–273. 10.1016/j.jmaa.2006.09.074MathSciNetCrossRefMATH Ghergu M, Rădulescu V: Ground state solutions for the singular Lane-Emden-Fowler equation with sublinear convection term. J. Math. Anal. Appl. 2007, 333: 265–273. 10.1016/j.jmaa.2006.09.074MathSciNetCrossRefMATH
32.
Zurück zum Zitat Stuart CA: Existence and approximation of solutions of nonlinear elliptic equations. Math. Z. 1976, 147: 53–63. 10.1007/BF01214274MathSciNetCrossRefMATH Stuart CA: Existence and approximation of solutions of nonlinear elliptic equations. Math. Z. 1976, 147: 53–63. 10.1007/BF01214274MathSciNetCrossRefMATH
33.
Zurück zum Zitat Coclite MM, Palmieri G: On a singular nonlinear Dirichlet problem. Commun. Partial Differ. Equ. 1989, 14: 1315–1327. 10.1080/03605308908820656MathSciNetCrossRefMATH Coclite MM, Palmieri G: On a singular nonlinear Dirichlet problem. Commun. Partial Differ. Equ. 1989, 14: 1315–1327. 10.1080/03605308908820656MathSciNetCrossRefMATH
34.
Zurück zum Zitat Dupaigne L, Ghergu M, Rădulescu V: Lane-Emden-Fowler equations with convection and singular potential. J. Math. Pures Appl. 2007, 87: 563–581. 10.1016/j.matpur.2007.03.002MathSciNetCrossRefMATH Dupaigne L, Ghergu M, Rădulescu V: Lane-Emden-Fowler equations with convection and singular potential. J. Math. Pures Appl. 2007, 87: 563–581. 10.1016/j.matpur.2007.03.002MathSciNetCrossRefMATH
35.
Zurück zum Zitat Ghergu M, Rădulescu V Oxford Lecture Series in Mathematics and Its Applications 37. In Singular Elliptic Problems. Bifurcation and Asymptotic Analysis. Oxford University Press, London; 2008. Ghergu M, Rădulescu V Oxford Lecture Series in Mathematics and Its Applications 37. In Singular Elliptic Problems. Bifurcation and Asymptotic Analysis. Oxford University Press, London; 2008.
36.
Zurück zum Zitat Hernández J, Mancebo F, Vega JM: Positive solutions for singular nonlinear elliptic equations. Proc. R. Soc. Edinb. A 2007, 137: 41–62.CrossRefMathSciNetMATH Hernández J, Mancebo F, Vega JM: Positive solutions for singular nonlinear elliptic equations. Proc. R. Soc. Edinb. A 2007, 137: 41–62.CrossRefMathSciNetMATH
37.
Zurück zum Zitat Kristály A, Rădulescu V, Varga C Encyclopedia of Mathematics and Its Applications 136. In Variational Principles in Mathematical Physics, Geometry, and Economics: Qualitative Analysis of Nonlinear Equations and Unilateral Problems. Cambridge University Press, Cambridge; 2010.CrossRef Kristály A, Rădulescu V, Varga C Encyclopedia of Mathematics and Its Applications 136. In Variational Principles in Mathematical Physics, Geometry, and Economics: Qualitative Analysis of Nonlinear Equations and Unilateral Problems. Cambridge University Press, Cambridge; 2010.CrossRef
38.
Zurück zum Zitat Lazer AC, Mckenna PJ: On a singular nonlinear elliptic boundary value problem. Proc. Am. Math. Soc. 1991, 111: 721–730. 10.1090/S0002-9939-1991-1037213-9MathSciNetCrossRefMATH Lazer AC, Mckenna PJ: On a singular nonlinear elliptic boundary value problem. Proc. Am. Math. Soc. 1991, 111: 721–730. 10.1090/S0002-9939-1991-1037213-9MathSciNetCrossRefMATH
39.
Zurück zum Zitat Shi J, Yao M: On a singular nonlinear semilinear elliptic problem. Proc. R. Soc. Edinb., Sect. A, Math. 1998, 128: 1389–1401. 10.1017/S0308210500027384MathSciNetCrossRefMATH Shi J, Yao M: On a singular nonlinear semilinear elliptic problem. Proc. R. Soc. Edinb., Sect. A, Math. 1998, 128: 1389–1401. 10.1017/S0308210500027384MathSciNetCrossRefMATH
40.
Zurück zum Zitat Zhang ZJ: The asymptotic behaviour of the unique solution for the singular Lane-Emden-Fowler equation. J. Math. Anal. Appl. 2005, 312: 33–43. 10.1016/j.jmaa.2005.03.023MathSciNetCrossRefMATH Zhang ZJ: The asymptotic behaviour of the unique solution for the singular Lane-Emden-Fowler equation. J. Math. Anal. Appl. 2005, 312: 33–43. 10.1016/j.jmaa.2005.03.023MathSciNetCrossRefMATH
41.
Zurück zum Zitat Adams RA: Sobolev Spaces. Academic Press, New York; 1975.MATH Adams RA: Sobolev Spaces. Academic Press, New York; 1975.MATH
42.
Zurück zum Zitat Wiegner M: A degenerate diffusion equation with a nonlinear source term. Nonlinear Anal. 1997,28(12):1977–1995. 10.1016/S0362-546X(96)00027-2MathSciNetCrossRefMATH Wiegner M: A degenerate diffusion equation with a nonlinear source term. Nonlinear Anal. 1997,28(12):1977–1995. 10.1016/S0362-546X(96)00027-2MathSciNetCrossRefMATH
43.
Zurück zum Zitat Brezis H, Nirenberg L:Minima locaux relatifs a C 1 et H 1 . C. R. Acad. Sci. Paris 1993, 317: 465–472.MathSciNetMATH Brezis H, Nirenberg L:Minima locaux relatifs a C 1 et H 1 . C. R. Acad. Sci. Paris 1993, 317: 465–472.MathSciNetMATH
44.
Zurück zum Zitat Covei DP: Quasilinear problems with the competition between convex and concave nonlinearities and variable potentials. Int. J. Math. 2013.,24(1): Article ID 1350005 Covei DP: Quasilinear problems with the competition between convex and concave nonlinearities and variable potentials. Int. J. Math. 2013.,24(1): Article ID 1350005
45.
Zurück zum Zitat Ladyzhenskaya OA, Ural’ceva NN: Linear and Quasilinear Elliptic Equations. Academic Press, New York; 1968. (English transl.) Ladyzhenskaya OA, Ural’ceva NN: Linear and Quasilinear Elliptic Equations. Academic Press, New York; 1968. (English transl.)
Metadaten
Titel
Uniqueness of positive solutions for several classes of sum operator equations and applications
verfasst von
Chen Yang
Chengbo Zhai
Mengru Hao
Publikationsdatum
01.12.2014
Verlag
Springer International Publishing
Erschienen in
Journal of Inequalities and Applications / Ausgabe 1/2014
Elektronische ISSN: 1029-242X
DOI
https://doi.org/10.1186/1029-242X-2014-58

Weitere Artikel der Ausgabe 1/2014

Journal of Inequalities and Applications 1/2014 Zur Ausgabe

Premium Partner