- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 678147, 9 pages

http://dx.doi.org/10.1155/2014/678147

## Strong Convergence of an Iterative Algorithm for Hierarchical Problems

^{1}Department of Mathematics, Faculty of Science, King Mongkut’s University of Technology Thonburi, Bang Mod, Thung Khru, Bangkok 10140, Thailand^{2}Department of Mathematics, Faculty of Science and Agriculture, Rajamangala University of Technology Lanna, Phan, Chiangrai 57120, Thailand

Received 26 April 2014; Revised 17 June 2014; Accepted 27 June 2014; Published 20 July 2014

Academic Editor: Wei-Shih Du

Copyright © 2014 Poom Kumam and Thanyarat Jitpeera. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We introduce the triple hierarchical problem over the solution set of the variational inequality problem and the fixed point set of a nonexpansive mapping. The strong convergence of the algorithm is proved under some mild conditions. Our results extend those of Yao et al., Iiduka, Ceng et al., and other authors.

#### 1. Introduction

Let be a closed convex subset of a real Hilbert space with inner product and norm . We denote weak convergence and strong convergence by notations and , respectively. Let be a nonlinear mapping. The* Hartman-Stampacchia variational inequality* [1] is to find such that . The set of solutions is denoted by . is said to be a -*contraction* if there exists a constant such that . A mapping is said to be* monotone* if . A mapping is said to be -* strongly monotone* if there exists a positive real number such that . A mapping is said to be -*inverse-strongly monotone* if there exists a positive real number such that . A mapping is said to be -*Lipschitz continuous* if there exists a positive real number such that . A linear bounded operator is said to be* strongly positive* on if there exists a constant with the property . A mapping is said to be* nonexpansive* if .

A point is a* fixed point* of provided . Denote by the set of fixed points of ; that is, . If is bounded closed convex and is a nonexpansive mapping of into itself, then is nonempty (see [2]).

We discuss the following variational inequality problem over the fixed point set of a nonexpansive mapping (see [3–16]), which is said to be the* hierarchical problem*. Let a monotone, continuous mapping and a nonexpansive mapping . Find , where . This solution set is denoted by .

We introduce the following variational inequality problem over the solution set of variational inequality problem and the fixed point set of a nonexpansive mapping (see [17, 18]), which is said to be the* triple hierarchical problem*. Let an inverse-strongly monotone , a strongly monotone and Lipschitz continuous , and a nonexpansive mapping . Find , where .

In 2009, Yao et al. [19] considered the following two-step iterative algorithm with the initial guess which is chosen arbitrarily: where satisfies certain assumptions. Let be two nonexpansive mappings and let be a contraction mapping. Then, they proved that the above iterative sequence converges strongly to fixed point.

Next, Iiduka [17] introduced a monotone variational inequality with variational inequality constraint over the fixed point set of a nonexpansive mapping; the sequence defined by the iterative method below, with the initial guess , is chosen arbitrarily: where and satisfy certain conditions, is an inverse-strongly monotone, is a strongly monotone and Lipschitz continuous, and is a nonexpansive mapping; then the strongly convergence analysis of the sequence generated by (2) is proved under some appropriate conditions.

In 2011, Yao et al. [20] studied the hierarchical problem over the fixed point set. Let the sequences be generated by these two following algorithms: implicit algorithm explicit algorithm .They illustrated that these two algorithms converge strongly to the unique solution of the variational inequality which is to find such that where is a strongly positive linear bounded operator, is a -contraction, and is a nonexpansive mapping satisfying some conditions.

Very recently, Ceng et al. [21] studied the following new algorithms. For is chosen arbitrarily, they defined a sequence by where the mappings , are nonexpansive mappings with . Let be a Lipschitzian and strongly monotone operator and let be a contraction mapping satisfying some appropriate conditions. They proved that the proposed algorithms strongly converge to the minimum norm fixed point of .

In this paper, we consider a new iterative algorithm for solving the triple hierarchical problem over the solution set of the variational inequality problem and the fixed point set of a nonexpansive mapping which contain algorithms (1) and (4) as follows: where the mappings , are nonexpansive mappings with . Let be a Lipschitzian and strongly monotone operator, and let be a contraction mapping satisfying some mild conditions. Find a point such that This solution set of (6) is denoted by . The strong convergence for the proposed algorithms to the solution is solved under some appropriate assumptions. Our results improve the results of Ceng et al. [21], Iiduka [17], Yao et al. [19], Yao et al. [20], and some authors.

#### 2. Preliminaries

Let be a nonempty closed convex subset of . There holds the following inequality in an inner product space . For every point , there exists a unique nearest point in , denoted by , such that is called the metric projection of onto . It is well known that is a nonexpansive mapping of onto and satisfies for every . Moreover, is characterized by the following properties: and for all . Let be a monotone mapping of into . In the context of the variational inequality problem the characterization of projection (9) implies the following: It is also known that satisfies the Opial’s condition [22]; that is, for any sequence with , the inequality holds for every with .

Lemma 1 (see [23]). *Let be a closed convex subset of a real Hilbert space and let be a nonexpansive mapping. Then is demiclosed at zero; that is, and imply .*

Lemma 2 (see [24]). *Let and be bounded sequences in a Banach space and let be a sequence in with . Suppose for all integers and . Then, .*

Lemma 3 (see [10]). *Let be -strongly monotone and -Lipschitz continuous and let . For , define by for all . Then, for all , hold, where .*

Lemma 4 (see [25]). *Assume that is a sequence of nonnegative real numbers such that
**
where and is a sequence in such that*(i)*;*(ii)* or .**Then .*

#### 3. Strong Convergence Theorem

In this section, we introduce an iterative algorithm of triple hierarchical for solving monotone variational inequality problems for -Lipschitzian and -strongly monotone operators over the solution set of variational inequality problems and the fixed point set of a nonexpansive mapping.

Theorem 5. *Let be a nonempty closed and convex subset of a real Hilbert space . Let be -Lipschitzian and -strongly monotone operators with constant and , respectively, and let be a -contraction with coefficient . Let be a nonexpansive mapping with , and let be a nonexpansive mapping. Let and , where . Suppose that is a sequence generated by the following algorithm where is chosen arbitrarily:
**
where satisfy the following conditions:*(C1):*;*(C2):*, , ;*(C3):*.**Then converges strongly to , which is the unique solution of another variational inequality:
**
where .*

*Proof. *We will divide the proof into four steps.*Step 1*. We will show that is bounded. Indeed, for any , we have
From (13), we deduce that
Substituting (15) into (16), we obtain
By induction, it follows that
Therefore, is bounded and so are , , , , and .*Step 2*. We will show that . Setting , we obtain
which implies that
It follows from (13) that
where is a constant such that
Hence, conditions (C2) and (C3) allow us to apply Lemma 4; then we get
By (21), we get
Using the conditions (C2) and (C3), we can apply Lemma 4 to conclude that
By (13), we compute
From the condition (C2), we note that . At the same time, from (13), we also have
By the conditions (C1) and (C2), we note that . Consider
From (23), (26), and (27), we obtain
We set ; then we get
From (13), we have
By the conditions (C1) and (C2) again, we note that . Consider
From (29), , and , we obtain
*Step 3*. We will show that . Rewrite (13) as
We observe that
Set
We note from (35) that
This yields that, for each ,
In view of (38), is nonnegative due to the monotonicity of . From (38), we derive that
Since (29) implies , as , from (25), then we get . Using (C1) and (30), , as and is bounded. We obtain from (39) that
Since the sequence is bounded, we can take a subsequence of such that
and . From (33), by the demiclosed principle of the nonexpansive mapping, it follows that . Then
*Step 4*. Finally, we will prove . From (13), we note that
Using (43), we compute
Since , , and are all bounded, we can choose a constant such that
It follows that
where
Now, applying Lemma 4 and (35), we conclude that . This completes the proof.

Corollary 6. *Let be a nonempty closed and convex subset of a real Hilbert space . Let be -Lipschitzian and -strongly monotone operators with constant and , respectively. Let be a nonexpansive mapping with , and let be a nonexpansive mapping. Let and , where . Suppose is a sequence generated by the following algorithm arbitrarily:
**
where satisfy the following conditions (C1)–(C3). Then converges strongly to , which is the unique solution of variational inequality:
**
where .*

*Proof. *Putting in Theorem 5, we can obtain the desired conclusion immediately.

Corollary 7. *Let be a nonempty closed and convex subset of a real Hilbert space . Let be a -contraction with coefficient , and let be a nonexpansive mapping with and a nonexpansive mapping. Suppose is a sequence generated by the following algorithm, , arbitrarily:
**
where satisfy the following conditions (C1)–(C3). Then converges strongly to , which is the unique solution of variational inequality:
**
where .*

*Proof. *Putting , , and in Theorem 5, we can obtain the desired conclusion immediately.

Corollary 8. *Let be a nonempty closed and convex subset of a real Hilbert space . Let be a nonexpansive mapping with and let be a nonexpansive mapping. Suppose is a sequence generated by the following algorithm, , arbitrarily:
**
where satisfy the following conditions (C1)–(C3). Then converges strongly to , which is the unique solution of variational inequality:
*

*Proof. *Putting in Corollary 7, we can obtain the desired conclusion immediately.

Corollary 9. *Let be a nonempty closed and convex subset of a real Hilbert space . Let be a -contraction with coefficient , and let be a nonexpansive mapping with and a nonexpansive mapping. Suppose is a sequence generated by the following algorithm, , arbitrarily:
*

*Proof. *Putting in Corollary 7, we can obtain the desired conclusion immediately.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The first author was supported by the Thailand Research Fund and the King Mongkut’s University of Technology Thonburi (Grant no. RSA5780059). The second author was supported by the Commission on Higher Education, the Thailand Research Fund, and Rajamangala University of Technology Lanna Chiangrai under Grant no. MRG5680157 during the preparation of this paper.

#### References

- P. Hartman and G. Stampacchia, “On some non-linear elliptic differential-functional equations,”
*Acta Mathematica*, vol. 115, pp. 271–310, 1966. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - W. A. Kirk, “A fixed point theorem for mappings which do not increase distances,”
*The American Mathematical Monthly*, vol. 72, pp. 1004–1006, 1965. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. L. Combettes, “A block-iterative surrogate constraint splitting method for quadratic signal recovery,”
*IEEE Transactions on Signal Processing*, vol. 51, no. 7, pp. 1771–1782, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - G. Gu, S. Wang, and Y. J. Cho, “Strong convergence algorithms for hierarchical fixed points problems and variational inequalities,”
*Journal of Applied Mathematics*, vol. 2011, Article ID 164978, 17 pages, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - S. A. Hirstoaga, “Iterative selection methods for common fixed point problems,”
*Journal of Mathematical Analysis and Applications*, vol. 324, no. 2, pp. 1020–1035, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - H. Iiduka and I. Yamada, “A subgradient-type method for the equilibrium problem over the fixed point set and its applications,”
*Optimization*, vol. 58, no. 2, pp. 251–261, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - G. Marino and H. K. Xu, “Explicit hierarchical fixed point approach to variational inequalities,”
*Journal of Optimization Theory and Applications*, vol. 149, no. 1, pp. 61–78, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - K. Slavakis and I. Yamada, “Robust wideband beamforming by the hybrid steepest descent method,”
*IEEE Transactions on Signal Processing*, vol. 55, no. 9, pp. 4511–4522, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - K. Slavakis, I. Yamada, and K. Sakaniwa, “Computation of symmetric positive definite Toeplitz matrices by the hybrid steepest descent method,”
*Signal Processing*, vol. 83, no. 5, pp. 1135–1140, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - I. Yamada, “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*, D. Butnariu, Y. Censor, and S. Reich, Eds., vol. 8, pp. 473–504, Elsevier, Amsterdam, Netherlands, 2001. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Yao, Y. J. Cho, and Y. Liou, “Iterative algorithms for hierarchical fixed points problems and variational inequalities,”
*Mathematical and Computer Modelling*, vol. 52, no. 9-10, pp. 1697–1705, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Y. Yao, Y. J. Cho, and Y.-C. Liou, “Hierarchical convergence of an implicit double-net algorithm for nonexpansive semigroups and variational inequality problems,”
*Fixed Point Theory and Applications*, vol. 2011, article 101, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Yao, Y. J. Cho, and P.-X. Yang, “An iterative algorithm for a hierarchical problem,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 320421, 13 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Yao, Y.-C. Liou, and C.-P. Chen, “Hierarchical convergence of a double-net algorithm for equilibrium problems and variational inequality problems,”
*Fixed Point Theory and Applications*, vol. 2010, Article ID 642584, 16 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - I. Yamada, N. Ogura, and N. Shirakawa, “A numerically robust hybrid steepest descent method for the convexly constrained generalized inverse problems,” in
*Inverse Problems, Image Analysis, and Medical Imaging*, Z. Nashed and O. Scherzer, Eds., vol. 313 of*Contemporary Mathematics*, pp. 269–305, 2002. View at Google Scholar - I. Yamada and N. Ogura, “Hybrid steepest descent method for variational inequality problem over the fixed point set of certain quasi-nonexpansive mappings,”
*Numerical Functional Analysis and Optimization*, vol. 25, no. 7-8, pp. 619–655, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - H. Iiduka, “Strong convergence for an iterative method for the triple-hierarchical constrained optimization problem,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 12, pp. e1292–e1297, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - H. Iiduka, “Iterative algorithm for solving triple-hierarchical constrained optimization problem,”
*Journal of Optimization Theory and Applications*, vol. 148, no. 3, pp. 580–592, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Y. Yao, Y.-C. Liou, and G. Marino, “Two-step iterative algorithms for hierarchical fixed point problems and variational inequality problems,”
*Journal of Applied Mathematics and Computing*, vol. 31, no. 1-2, pp. 433–445, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Yao, Y.-C. Liou, and S. M. Kang, “Algorithms construction for variational inequalities,”
*Fixed Point Theory and Applications*, vol. 2011, Article ID 794203, 12 pages, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - L.-C. Ceng, Q. H. Ansari, and J.-C. Yao, “Iterative methods for triple hierarchical variational inequalities in Hilbert spaces,”
*Journal of Optimization Theory and Applications*, vol. 151, no. 3, pp. 489–512, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Z. Opial, “Weak convergence of the sequence of successive approximations for nonexpansive mappings,”
*Bulletin of the American Mathematical Society*, vol. 73, pp. 591–597, 1967. View at Publisher · View at Google Scholar · View at MathSciNet - F. E. Browder, “Nonlinear operators and nonlinear equations of evolution in Banach spaces,”
*Proceedings of Symposia in Pure Mathematics*, vol. 18, pp. 78–81, 1976. View at Google Scholar - T. Suzuki, “Strong convergence of Krasnoselskii and Mann's type sequences for one-parameter nonexpansive semigroups without Bochner integrals,”
*Journal of Mathematical Analysis and Applications*, vol. 305, no. 1, pp. 227–239, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - H. K. Xu, “Iterative algorithms for nonlinear operators,”
*Journal of the London Mathematical Society*, vol. 66, no. 1, pp. 240–256, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus