- Research Article
- Open access
- Published:
The Iterative Method of Generalized
-Concave Operators
Fixed Point Theory and Applications volume 2011, Article number: 979261 (2011)
Abstract
We define the concept of the generalized -concave operators, which generalize the definition of the
-concave operators. By using the iterative method and the partial ordering method, we prove the existence and uniqueness of fixed points of this class of the operators. As an example of the application of our results, we show the existence and uniqueness of solutions to a class of the Hammerstein integral equations.
1. Introduction and Preliminary
In [1, 2], Collatz divided the typical problems in computation mathematics into five classes, and the first class is how to solve the operator equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ1_HTML.gif)
by the iterative method, that is, construct successively the sequence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ2_HTML.gif)
for some initial to solve (1.1).
Let be a cone in real Banach space
and the partial ordering ≤ defined by
, that is,
if and only if
. The concept and properties of the cone can be found in [3–5]. People studied how to solve (1.1) by using the iterative method and the partial ordering method (see [1–11]).
In [7], Krasnosel'skiÄ gave the concept of concave operators and studied the existence and uniqueness of the fixed point for the operator by the iterative method. The concept of
concave operators was defined by Krasnosel'skiÄ as follows.
Let operator and
. Suppose that
(i)for any , there exist
and
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ3_HTML.gif)
(ii)for any satisfying
 
,
) and any
, there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ4_HTML.gif)
Then is called an
concave operator.
In many papers, the authors studied concave operators and obtained some results (see [3–5, 8–15]). In this paper, we generalize the concept of
concave operators, give a concept of the generalized
concave operators, and study the existence and uniqueness of fixed points for this class of operators by the iterative method. Our results generalize the results in [3, 4, 7, 15].
2. Main Result
In this paper, we always let be a cone in real Banach space
and the partial ordering ≤ defined by
. Given
, let
.
Definition 2.1.
Let operator and
. Suppose that
(i)for any , there exist
and
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ5_HTML.gif)
(ii)for any satisfying
(
,
) and any
, there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ6_HTML.gif)
Then is called a generalized
concave operator.
Remark 2.2.
In Definition 2.1, let , we get the definition of the
concave operator.
Theorem 2.3.
Let operator be generalized
-concave and increasing (i.e.,
), then
has at most one fixed point in
.
Proof.
Let , 
be two different fixed points of
, that is,
,
, and
. By Definition 2.1, there exist real numbers
,
,
,
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ7_HTML.gif)
Hence .
Let ,
, we get that
, that is,
. Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ8_HTML.gif)
hence , that is,
, then
.
Next we will show that . Assume that
; by (2.2) and (2.4), there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ9_HTML.gif)
By (2.2), there exists , such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ10_HTML.gif)
hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ11_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ12_HTML.gif)
Obviously, by (2.5) and (2.8), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ13_HTML.gif)
Let , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ14_HTML.gif)
in contradiction to the definition of . Therefore,
.
By (2.4), . The proof is completed.
To prove the following Theorem 2.4, we will use the definition of the -norm as follows.
Given , set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ15_HTML.gif)
It is easy to see that becomes a normed linear space under the norm
.
is called the
norm of the element
(see [3, 4]).
Theorem 2.4.
Let operator be increasing and generalized
concave. Suppose that
has a fixed point
in
, then, constructing successively the sequence
for any initial
, we have
.
Proof.
Suppose that is generated from
. Take
, such that
. Let
, and constructing successively the sequences
,
. Since
is a generalized
concave operator, we know that there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ16_HTML.gif)
hence, , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ17_HTML.gif)
By (2.2), we can easily get . So it is easy to show that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ18_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ19_HTML.gif)
then,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ20_HTML.gif)
which implies that the limit of exists. Let
, then
.
Next we will show that . Suppose that
. Since
is a generalized
concave operator, then there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ21_HTML.gif)
Moreover,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ22_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ23_HTML.gif)
By (2.17) and (2.19), for any , there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ24_HTML.gif)
Particularly, for any , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ25_HTML.gif)
where .
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ26_HTML.gif)
By (2.15), and (2.22), we get therefore,
, in contradiction to
. Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ27_HTML.gif)
Since is a generalized
-concave operator, thus there exist real numbers
,
, such that
, and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ28_HTML.gif)
Moreover
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ29_HTML.gif)
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ30_HTML.gif)
Consequently, by (2.23), we get .
To prove the following Theorem 2.5, we will use the definition of the normal cone as follows.
Let be a cone in
. Suppose that there exist constants
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ31_HTML.gif)
then is said to be normal, and the smallest
is called the normal constant of
(see [3–5]).
Theorem 2.5.
Let be a normal cone of
. If operator
is increasing and generalized
-concave, and
is irrelevant to
in (2.2), then
has the only one fixed point
. Moreover, constructing successively the sequence
for any initial
, we have
.
Proof.
Since is a generalized
concave operator, hence there exist real numbers
, such that
. Take
small enough, then
.
Therefore, , that is,
is an increasing sequence and
, hence, the limit of
exists. Set
, then
.
Let , where
which is irrelevant to
is
in (2.2), and
is increasing, so
. By
, we can choose a natural number
big enough, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ32_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ33_HTML.gif)
Obviously, . Since
is increasing, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ34_HTML.gif)
Since , we get
. Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ35_HTML.gif)
then . It is easy to see
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ36_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ37_HTML.gif)
Obviously, . So
.
Therefore, , that is,
is an increasing sequence and
, hence, the limit of
exists. Set
, then
.
Next we will show that . Suppose that
, we have the following.
-
(i)
If for any natural number n,
, then
(2.34)
hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ39_HTML.gif)
Taking limits, we have , a contradiction.
-
(ii)
Suppose that there exists a natural number
, such that
.
When , so we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ40_HTML.gif)
then , a contradiction.
Therefore, .
For any natural numbers , we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ41_HTML.gif)
Similarly, . By the normality of
and
, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ42_HTML.gif)
where is the normal constant of
. Hence the limits of
and
exist. Let
, then
, hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ43_HTML.gif)
That is, . Let
, then
.
Taking limits, we get . Hence
, that is,
is a fixed point of
. By Theorem 2.4, the conclusions of Theorem 2.5 hold. The proof is completed.
3. Examples
Example 3.1.
Let , let
is continuous}, let
, let
,
, then
is a real Banach space and
is a normal and solid cone in
(
is called solid if it contains interior points, i.e.,
). Take
, let
,
,
, and
.
Considering the Hammerstein integral equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ44_HTML.gif)
where is continuous,
is increasing for
. Suppose that
(1)there exist real numbers , such that
,
, and
,
,
(2)for any and
, there exists
, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ45_HTML.gif)
Then (3.1) has the only one solution . Moreover, constructing successively the sequence:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ46_HTML.gif)
for any initial , we have
.
Proof.
Considering the operator
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ47_HTML.gif)
Obviously, is increasing. Therefore, (i) of Definition 2.1 is satisfied. For any
, by (3.2), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F979261/MediaObjects/13663_2010_Article_1450_Equ48_HTML.gif)
Therefore, (ii) of Definition 2.1 is satisfied. Hence the operator is generalized
-concave. Consequently, operator
satisfies all conditions of Theorem 2.5, thus the conclusion of Example 3.1 holds.
Example 3.2.
Let be a real numbers set, and let
,
, then
is a real Banach space and
is a normal and solid cone in
. Let
. Considering the equation:
. Obviously,
is a generalized
-concave operator and satisfies all the conditions of Theorem 2.5. Hence
has the only one fixed point
. Moreover, we know
by computing.
In Example 3.2, we know that operator doesn't satisfy the definition of
-concave operators. Therefore, we can't obtain the fixed point of
by the fixed point theorem of
-concave operators. The
-concave operators' fixed points are all positive, but here
's fixed point is negative.
References
Collatz L: The theoretical basis of numerical mathematics. Mathematics Asian Studies 1966, 4: 1–17.
Collatz L: Function analysis as the assistant tool for Numerical Mathematics. Mathematics Asian Studies 1966, 4: 53–60.
Guo DJ, Lakshmikantham V: Nonlinear Problems in Abstract Cones, Notes and Reports in Mathematics in Science and Engineering. Volume 5. Academic Press, Boston, Mass, USA; 1988:viii+275.
Guo D: Nonlinear Functional Analysis. Science and Technology Press, Shandong, China; 1985.
Sun Jingxian: Nonlinear Functional Analysis and Applications. Science Press, Beijing, China; 2007.
Krasnosel'skii MA, et al.: Approximate Solution of Operator Equations. Wolters-Noordhoff; 1972.
Krasnosel'skiÄ MA, ZabreÄko PP: Geometrical Methods of Nonlinear Analysis, Fundamental Principles of Mathematical Sciences. Volume 263. Springer, Berlin, Germany; 1984:xix+409.
Guo D: The partial order in non-linear analysis. Shandong Science and Technology Press, Ji'nan, China; 2000.
Zhao Z: Uniqueness and existence of fixed point on some mixed monotone mappings in ordered linear spaces. Journal of Systems Science and Complexity 1999,19(4):217–224.
Sun JX, Liu LS: An iterative solution method for nonlinear operator equations and its applications. Acta Mathematica Scientia. Series A 1993,13(2):141–145.
Sun JX: Some new fixed point theorems of increasing operators and applications. Applicable Analysis 1991,42(3–4):263–273.
Wang WX, Liang ZD: Fixed point theorems for a class of nonlinear operators and their applications. Acta Mathematica Sinica. Chinese Series 2005,48(4):789–800.
Liang ZD, Wang WX, Li SJ: On concave operators. Acta Mathematica Sinica (English Series) 2006,22(2):577–582. 10.1007/s10114-005-0687-1
Krasnosel'skii MA: Positive Solution of Operators Equations. Noordoff, Groningen, The Netherlands; 1964.
Zhai CB, Li YJ: Fixed point theorems for u 0 -concave operators and their applications. Acta Mathematica Scientia. Series A 2008,28(6):1023–1028.
Acknowledgment
The project is supported by the National Science Foundation of China (10971179), the College Graduate Research and Innovation Plan Project of Jiangsu (CX10S−037Z), the Graduate Research and Innovation Programs of Xuzhou Normal University Innovation Plan (2010YLA001).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhou, Y., Sun, J. & Sun, J. The Iterative Method of Generalized -Concave Operators.
Fixed Point Theory Appl 2011, 979261 (2011). https://doi.org/10.1155/2011/979261
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/979261