Abstract

The aim of this paper is to show the strong convergence theorems of the algorithm for -monotone operators in Hilbert spaces by hybrid method in the mathematical programming. The main results extend and improve the corresponding results. Moreover, the assumption conditions of our results are weaker than those of the corresponding results.

1. Introduction

In this paper, we show a algorithm for solving the inclusion problem in Hilbert space . The inclusion problem is finding the zero solutions of ; that is, This problem is closely related to many problems, such as variational inequalities, fixed points problem, and complementarity problem of mathematical programming, and it plays an important role in convex analysis and some partial differential equations. The inclusion problem (1) on monotone operator and maximal monotone operators is extensively investigated by so many researchers. See Tseng [1], Kamimura et al. [219], and so on.

In 2003, Fang and Huang [20] firstly introduced -monotone operators and discussed some properties of this class of operators.

Motivated by Fang and Huang [20], very recently, we firstly consider the inclusion problem of -monotone operator for finding the solutions of it in a Hilbert space [21].

In [21], we mainly presented strong and weak convergence theorems for Halpern type and Mann type algorithms, respectively, and the relations between maximal monotone operators and -monotone operators are analyzed in detail. Simultaneously, we apply these results to the minimization problem for and provide some numerical examples to support the theoretical findings. These results start a new branch of research for the inclusion problem , and we do further extending study for this subject.

Motivated by the main results of Nakajo and Takahashi [22], we propose a so-called iteration algorithm as follows: where and .

The aim of this paper is to establish the strong convergence theorems to approximate the zero point of -monotone operator, namely, finding the such that .

2. Preliminaries

Definition 1. A multivalued operator is said to be(i)monotone if (ii)maximal monotone if is monotone and for all , where denotes the identity mapping on .

We note that the is maximal monotone if and only if is monotone and the graph is not properly contained in the graph of any other monotone operator .

Definition 2 (see [20]). Let be a single mapping and a multivalued mapping. is said to be(i)-monotone if is monotone and holds for every ;(ii)strongly -monotone if is strongly monotone and holds for every .

Definition 3. Let be a single-valued operator. is said to be(i)strictly monotone if is monotone and (ii)strongly monotone if there exists some constant such that (iii)Lipschitz continuous if there exists some constant such that

Remark 4. We note that if is strongly monotone, then is strictly monotone, but vice is not. If is strongly monotone with constant and Lipschitz continuous with constant , then we have . As , then satisfies

Let be a single-valued operator and let be a strongly monotone and Lipschitz continuous operator with constant . Let be an -monotone operator and the resolvent operator is defined by for each . We can define the following operators which are called Yosida approximations: We give some elementary properties of and .

Lemma 5 (Proposition  4.1 in [21]). Let be a strongly monotone and Lipschitz continuous operator with constant and let be an -monotone operator. Then the following properties hold:(i), for  all ;(ii), for  all , or     , for  all ;(iii) is monotone and (iv), for  all .

Lemma 6 (Proposition  4.2 in [21]). Consider if and only if satisfies the relation where is a constant and is the resolvent operator defined by (9).

Lemma 7 (Proposition  2.1 in [20]). Let be a strictly monotone single-valued operator and an -monotone operator. Then is maximal monotone.

Lemma 8 (see [23]). Let be a real Banach space. Then for all

3. Strong Convergence Theorems for Algorithm

We consider the following algorithm, and the sequence is generated by where and . Motivated by Nakajo and Takahashi [22] and Fang et al. [12, 13, 20], we get the following results.

Theorem 9. Let be a strongly monotone and Lipschitz continuous operator with constant . Let be an -monotone operator; let and be a sequence defined by (14), where and satisfy , , , and . If , then converges strongly to , where is the metric projection of onto .

Proof. The proofs can be divided into three steps.
Step  1 ( is well defined and ). Based on the definitions of and , we can get that is a closed and convex set of for every .
And since the inequality is equivalent to hence, is closed and convex, so is for every .
From Lemma 6, there exists such that for all , and based on Lemma 5, we know is a nonexpansive mapping from into itself.
For all , it follows that Then for each . Therefore, for every .
Next, we show that is well defined and by mathematical induction.
For , we have and . Hence, , because .
For , suppose that is given and for all . Then, there exists a unique such that , because is closed and convex.
Based on the property of the projection operators, we can get that is equivalent to for all . By the assumption , we have .
Hence,
Step  2 ( is bounded and ). By Lemma 5, we get that is nonexpansive. And from Lemma 6, we have that is equivalent to . So, is a closed and convex subset of .
The rest of the proofs of this step can follow Lemmas 3.2 and 3.3 of [22].
Step  3 (). From , we get that is bounded. So, is bounded.
Now, we suppose a subsequence of converges weakly to . Since , we have From Step  2 and the assumption , we obtain Hence, And similarly, it follows from and Step  2 that Therefore, This implies that Thus, Next, we show that . Since is monotone and due to for all , we obtain for all . Due to the assumption and inequality (24), we have So, and By Lemma 5, we know is a maximal monotone operator; from the maximality property of ; we have If , by the lower semicontinuity of the norm, we get Therefore, we obtain Adding , we can get that .
Thus, .

Remark 10. In the main results, Theorem 9 of this paper, the assumption condition is , and we can obtain the conclusion . However, the conclusion is obtained by assuming the condition that appeared in [2, 20].
It is worth noting that condition is weaker than condition
by observing

Conflict of Interests

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

Acknowledgments

This work was supported by the Fundamental Research Funds for the Central Universities, no. K5051370004, and the National Science Foundation for Young Scientists of China, nos. 11101320, 61202178, and 61373174.