Abstract
A common method in solving ill-posed problems is to substitute the original problem by a family of well-posed (i.e., with a unique solution) regularized problems. We will use this idea to define and study a two-step algorithm to solve hierarchical fixed point problems under different conditions on involved parameters.
Similar content being viewed by others
1. Introduction and Preliminar Results
A common method in solving ill-posed problems is to substitute the original problem by a family of well-posed (i.e., with a unique solution) regularized problems. We will use this idea to define and study a two-step algorithm to solve hierarchical fixed point problems under different conditions on involved parameters. We will see that choosing appropriate hypotheses on the parameters, we will obtain convergence to the solution of well-posed problems. Changing these assumptions, we will obtain convergence to one of the solutions of a ill-posed problem. The results are situaded on the lines of research of Byrne [1], Yang and Zhao [2], Moudafi [3], and Yao and Liou [4].
In this paper, we consider variational inequalities of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ1_HTML.gif)
where are nonexpansive mappings such that the fixed points set of
(
) is nonempty and
is a nonempty closed convex subset of a Hilbert space
. If we denote with
the set of solutions of (1.1), it is evident that
.
Variational inequalities of (1.1) cover several topics recently investigated in literature as monotone inclusion ([5] and the references therein), convex optimization [6], quadratic minimization over fixed point set (see, e.g., [5, 7–10] and the references therein).
It is well known that the solutions of (1.1) are the fixed points of the nonexpansive mapping .
There are in literature many papers in which iterative methods are defined in order to solve (1.1).
Recently, in [3] Moudafi defined the following explicit iterative algorithm
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ2_HTML.gif)
where and
are two sequences in
and he proved a weak-convergence's result. In order to obtain a strong-convergence result, Maingé and Moudafi in [11] introduced and studied the following iterative algorithm
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ3_HTML.gif)
where and
are two sequences in
.
Let be a contraction with coefficient
In this paper, under different conditions on involved parameters, we study the algorithm
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ4_HTML.gif)
and give some conditions which assure that the method converges to a solution which solves some variational inequality.
We will confront the two methods (1.3) and (1.4) later.
We recall some general results of the Hilbert spaces theory and of the monotone operators theory.
Lemma 1.1.
For all , there holds the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ5_HTML.gif)
If is closed convex subset of a real Hilbert space
, the metric projection
is the mapping defined as follows: for each
,
is the only point in
with the property
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ6_HTML.gif)
Lemma 1.2.
Let be a nonempty closed convex subset of a real Hilbert space
and let
be the metric projection from
onto
. Given
and
,
if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ7_HTML.gif)
Lemma 1.3 (see [7]).
Let be a contraction with coefficient
and
be a nonexpansive mapping. Then, for all
:
(a)the mapping is strongly monotone with coefficient
, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ8_HTML.gif)
(b)the mapping is monotone, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ9_HTML.gif)
Finally, we conclude this section with a lemma due to Xu on real sequences which has a fundamental role in the sequel.
Lemma 1.4 (see [9]).
Assume is a sequence of nonnegative numbers such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ10_HTML.gif)
where is a sequence in
and
is a sequence in
such that,
(1)
(2) or
Then
2. Convergence of the Two-Step Iterative Algorithm
Let us consider the scheme
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ11_HTML.gif)
As we will see the convergence of the scheme depends on the choice of the parameters and
. We list some possible hypotheses on them:
(H1)there exists such that
;
(H2);
(H3) as
and
;
(H4);
(H5);
(H6);
(H7);
(H8);
(H9)there exists such that
.
Proposition 2.1.
Assume that (H1) holds. Then and
are bounded.
Proof.
Let . Then,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ12_HTML.gif)
So, by induction, one can see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ13_HTML.gif)
Of course is bounded too.
Proposition 2.2.
Suppose that (H1), (H3) hold. Also, assume that either (H4) and (H5) hold, or (H6) and (H7) hold. Then
(1) is asymptotically regular, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ14_HTML.gif)
(2)the weak cluster points set .
Proof.
Observing that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ15_HTML.gif)
then, passing to the norm we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ16_HTML.gif)
By definition of one obtain that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ17_HTML.gif)
so, substituting (2.7) in (2.6) we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ18_HTML.gif)
By Proposition 2.1, we call so we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ19_HTML.gif)
So, if (H4) and (H5) hold, we obtain the asymptotic regularity by Lemma 1.4.
If, instead, (H6) and (H7) hold, from (H1) we can write
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ20_HTML.gif)
so, the asymptotic regularity follows by Lemma 1.4 also.
In order to prove (2), we can observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ21_HTML.gif)
By (H1), and (H3) it follows that , as
, so that
since
is asymptotically regular. By demiclosedness principle we obtain the thesis.
Corollary 2.3.
Suppose that the hypotheses of Proposition 2.2 hold. Then
(i);
(ii);
(iii).
Proof.
To prove we can observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ22_HTML.gif)
The asymptotical regularity of gives the claim.
Moreover, noting that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ23_HTML.gif)
since as
we obtain
. In the end
follows easily by
and
.
Theorem 2.4.
Suppose (H2) with and (H3). Moreover Suppose that either (H4) and (H5) hold, or (H6) and (H7) hold. If one denote by
the unique element in
such that
, then
-
(1)
(2.14)
(2) as
.
Proof.
First of all, is a contraction, so there exists a unique
such that
. Moreover, from Lemma 1.2,
is characterized by the fact that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ25_HTML.gif)
Since (H2) implies (H1), thus is bounded. Let
be a subsequence of
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ26_HTML.gif)
and . Thanks to either ((H4) and (H5)) or ((H6) and (H7)), by Proposition 2.2 it follows that
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ27_HTML.gif)
Now we observe that, by Lemma 1.1
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ28_HTML.gif)
Since then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ29_HTML.gif)
Thus, by Lemma 1.4, as
.
Theorem 2.5.
Suppose that (H2) with , (H3), (H8), (H9) hold. Then
, as
, where
is the unique solution of the variational inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ30_HTML.gif)
Proof.
First of all, we show that (2.20) cannot have more than one solution. Indeed, let and
be two solutions. Then, since
is solution, for
one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ31_HTML.gif)
Analogously
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ32_HTML.gif)
Adding (2.21) and (2.22), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ33_HTML.gif)
so . Also now the condition (H2) with
implies (H1) so the sequence
is bounded. Moreover, since (H8) implies (H6) and (H7), then
is asymptotically regular. Similarly, by Proposition 2.2, the weak cluster points set of
,
, is a subset of
. Now we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ34_HTML.gif)
so that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ35_HTML.gif)
and denoting by we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ36_HTML.gif)
Dividing by in (2.9), one observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ37_HTML.gif)
By Lemma 1.4, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ38_HTML.gif)
so, also is a null sequence as
. Fixing
, by (2.26) it results
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ39_HTML.gif)
By Lemma 1.3, we obtain that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ40_HTML.gif)
Now, we observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ41_HTML.gif)
so, since and
, as
, then every weak cluster point of
is also a strong cluster point.
By Proposition 2.2, is bounded, thus there exists a subsequence
converging to
. For all
by (2.26)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ42_HTML.gif)
Passing to we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ43_HTML.gif)
which (2.20). Thus, since the (2.20) cannot have more than one solution, it follows that and this, of course, ensures that
, as
.
Proposition 2.6.
Suppose that (H2) holds with . Suppose that (H3), (H8) and (H9) hold. Moreover let
be bounded and
be a null sequence. Then every
is solution of the variational inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ44_HTML.gif)
that is, .
Proof.
Since (H8) implies (H6) and (H7), by boundedness of , we can obtain its asymptotical regularity as in proof of Proposition 2.2. Moreover, since
, as in proof of Proposition 2.2,
. With the same notation in proof of Theorem 2.5 we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ45_HTML.gif)
holds for all . So, if
and
, by (H2), the boundedness of
,
and
of Corollary 2.3 we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ46_HTML.gif)
If we change with
,
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ47_HTML.gif)
Letting finally
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ48_HTML.gif)
Remark 2.7.
If we choose and
(with
), since
and
it is not difficult to prove that (H8) is satisfied for
and (H9) is satisfied if
.
Remark 2.8.
It is clear that our algorithm (1.4) is different from (1.3). At the same time, our algorithm (1.4) includes some algorithms in the literature as special cases. For instance, if we take in (1.4), then we get
which is well-known as the viscosity method studied by Moudafi [8] and Xu [10].
Remark 2.9.
We do not know the rate of convergence of our method. Nevertheless, the rates of convergence of our method (1.4) that generates the sequence and the Mainge-Moudafi method (1.3), seem not comparable. To see this, we consider three examples. In such examples we take
,
,
,
,
.
In all three examples all the assumptions (that are the same of the Mainge-Moudafi method) are satisfied and the point at which both the sequences and
converge is
.
Example 2.10.
Take and
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ49_HTML.gif)
while
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ50_HTML.gif)
Now , while, for
, it results
. For instance, we report here some value
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ51_HTML.gif)
However from the 64th iteration onward, becomes quickly very exiguous with respect to
. For instance,
while
.
Example 2.11.
Take . Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ52_HTML.gif)
while
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ53_HTML.gif)
that is the sequences and
are interchanged with respect to the previous example. So this time
for
and
for
.
Example 2.12.
Take ,
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F208692/MediaObjects/13660_2009_Article_1919_Equ54_HTML.gif)
so this time .
Reassuming, we cannot affirm that our method is more convenient or better than the Mainge-Moudafi method, but only that seems to us that it is the first time that it is introduced a two-step iterative approach to the VIP (1.1). In some case, our method approximates the solution more rapidly than Mainge-Moudafi method, in some other case it happens the contrary and in some other cases, both methods give the same sequence.
References
Byrne C: A unified treatment of some iterative algorithms in signal processing and image reconstruction. Inverse Problems 2004,20(1):103–120. 10.1088/0266-5611/20/1/006
Yang Q, Zhao J: Generalized KM theorems and their applications. Inverse Problems 2006,22(3):833–844. 10.1088/0266-5611/22/3/006
Moudafi A: Krasnoselski-Mann iteration for hierarchical fixed-point problems. Inverse Problems 2007,23(4):1635–1640. 10.1088/0266-5611/23/4/015
Yao Y, Liou Y-C: Weak and strong convergence of Krasnoselski-Mann iteration for hierarchical fixed point problems. Inverse Problems 2008,24(1):-8.
Yamada I: The hybrid steepest descent method for the variational inequality problem over the intersection of fixed point sets of nonexpansive mappings. In Inherently Parallel Algorithms in Feasibility and Optimization and Their Applications (Haifa, 2000), Studies in Computational Mathematics. Volume 8. North-Holland, Amsterdam, The Netherlands; 2001:473–504.
Solodov M: An explicit descent method for bilevel convex optimization. Journal of Convex Analysis 2007,14(2):227–237.
Marino G, Xu H-K: A general iterative method for nonexpansive mappings in Hilbert spaces. Journal of Mathematical Analysis and Applications 2006,318(1):43–52. 10.1016/j.jmaa.2005.05.028
Moudafi A: Viscosity approximation methods for fixed-points problems. Journal of Mathematical Analysis and Applications 2000,241(1):46–55. 10.1006/jmaa.1999.6615
Xu H-K: Iterative algorithms for nonlinear operators. Journal of the London Mathematical Society 2002,66(1):240–256. 10.1112/S0024610702003332
Xu H-K: Viscosity approximation methods for nonexpansive mappings. Journal of Mathematical Analysis and Applications 2004,298(1):279–291. 10.1016/j.jmaa.2004.04.059
Maingé P-E, Moudafi A: Strong convergence of an iterative method for hierarchical fixed-point problems. Pacific Journal of Optimization 2007,3(3):529–538.
Acknowledgment
The authors are extremely grateful to the anonymous referees for their useful comments and suggestions. This work was supported in part by Ministero dell'Universitá e della Ricerca of Italy.
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
Cianciaruso, F., Marino, G., Muglia, L. et al. On a Two-Step Algorithm for Hierarchical Fixed Point Problems and Variational Inequalities. J Inequal Appl 2009, 208692 (2009). https://doi.org/10.1155/2009/208692
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/208692