Proximal Point Algorithms for Finding a Zero of a Finite Sum of Monotone Mappings in Banach Spaces
Abstract
We introduce an iterative process which converges strongly to a zero of a finite sum of monotone mappings under certain conditions. Applications to a convex minimization problem are included. Our theorems improve and unify most of the results that have been proved in this direction for this important class of nonlinear mappings.
1. Introduction
Furthermore, many authors (see, e.g., [12, 20–25]) have studied strong convergence of an iterative process of Halpern type or proximal type to a common zero of a finite family of maximal monotone mappings in Hilbert spaces (or in Banach spaces).
A natural question arises whether we can obtain an iterative scheme which converges strongly to a zero of sum of a finite number of monotone mappings in Banach spaces or not?
Motivated and inspired by the work mentioned above, it is our purpose in this paper to introduce an iterative scheme (see (21)) which converges strongly to a zero of a finite sum of monotone mappings under certain conditions. Applications to a convex minimization problem are included. Our theorems improve the results of Lions and Mercier [6] and most of the results that have been proved in this direction.
2. Preliminaries
Lemma 1 (see [27].)Let E be a smooth, strictly convex, and reflexive Banach space. Let C be a nonempty closed convex subset of E, and let A : C ⊂ E → E* be a monotone mapping. Then, A is maximal if and only if R(J + rA) = E*, for all r > 0, where J is the normalized duality mapping from E into defined, for each x ∈ E, by
Lemma 2 (see [27].)Let E be a reflexive with E* as its dual. Let A : D(A)⊆E → E*, and let B : D(B)⊆E → E* be maximal monotone mappings. Suppose that D(A)∩int D(B) ≠ ∅. Then, A + B is a maximal monotone mapping.
Lemma 3 (see [28].)Let E be a reflexive with E* as its dual. Let A : D(A)⊆E → E* be maximal monotone mapping, and let B : D(B)⊆E → E* be monotone mappings such that D(B) = E, B is hemicontinuous (i.e., continuous from the segments in E to the weak star topology in E*) and carries bounded sets into bounded sets. Then, A + B is maximal monotone mapping.
Lemma 4 (see [23].)Let E be a real smooth and uniformly convex Banach space, and let {xn} and {yn} be two sequences of E. If either {xn} or {yn} is bounded and ϕ(xn, yn) → 0, as n → ∞, then xn − yn → 0, as n → ∞.
Lemma 5 (see [29].)Let C be a convex subset of a real smooth Banach space E, and let x ∈ E. Then x0 = ΠCx if and only if
In the sequel, we will make use of the following lemmas.
Lemma 6 (see [29].)Let E be a reflexive strictly convex and smooth Banach space with E* as its dual. Then,
Lemma 7 (see [30].)Let E be a smooth and strictly convex Banach space, C be a nonempty closed convex subset of E, and A ⊂ E × E* be a maximal monotone mapping. Let Qr be the resolvent of A defined by Qr = (J + rA) −1J, for r > 0 and {rn} a sequence of (0, ∞) such that limn→∞rn = ∞. If {xn} is a bounded sequence of C such that , then z ∈ A−1(0).
Lemma 8 (see [31].)Let E be a smooth and strictly convex Banach space, C be a nonempty closed convex subset of E, and A ⊂ E × E* be a maximal monotone mapping, and A−1(0) is nonempty. Let Qr be the resolvent of A defined by Qr = (J + rA) −1J, for r > 0. Then, for each r > 0
Lemma 9 (see [32].)Let {an} be a sequence of nonnegative real numbers satisfying the following relation:
Lemma 10 (see [33].)Let {an} be the sequences of real numbers such that there exists a subsequence {ni} of {n} such that , for all i ∈ N. Then, there exists a nondecreasing sequence {mk} ⊂ N such that mk → ∞, and the following properties are satisfied by all (sufficiently large) numbers k ∈ N:
3. Main Result
Theorem 11. Let C and D be nonempty, closed and convex subsets of a smooth and uniformly convex real Banach space E with E* as its dual. Assume that C∩int (D) ≠ ∅. Let A1 : C → E* and A2, A3, …, AN : D → E* be maximal monotone mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
Proof. Observe that by Lemma 2, we have that A2 + A3 + ⋯+AN is maximal monotone. In addition, since C∩int (D) ≠ ∅, the same lemma implies that A = A1 + A2 + ⋯+AN is maximal monotone. Now, let p = ΠF(w), and let . Then, we have that xn+1 = J−1(αnJw + (1 − αn)Jwn), and since p ∈ A−1(0), from Lemma 8, we get that
Case 1. Suppose that there exists n0 ∈ ℕ such that {ϕ(p, xn)} is nonincreasing for all n ≥ n0. In this situation, {ϕ(p, xn)} is convergent. Since {xn+1} is bounded and E is reflexive, we choose a subsequence of {xn+1} such that and . Then, from (27), we get that
Case 2. Suppose that there exists a subsequence {ni} of {n} such that
Now, inequalities (30) and (32) imply that
Theorem 12. Let C be a nonempty, closed, and convex subset of a smooth and uniformly convex real Banach space E with E* as its dual. Let A1 : C → E* be maximal monotone mapping, and let A2, A3, …, AN : E → E* be bounded and hemicontinuous monotone mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
Proof. By Lemma 3, we have that A = A1 + A2 + ⋯+AN is maximal monotone, and hence following the method of proof of Theorem 11, we obtain the required assertion.
If in Theorem 12, we assume that Ai, for i = 2, …, N, are continuous monotone mappings, then are hemicontinuous, and hence we get the following corollary.
Corollary 13. Let C be a nonempty, closed, and convex subset of a smooth and uniformly convex real Banach space E with E* as its dual. Let A1 : C → E* be a maximal monotone mapping, and let A2, A3, …, AN : E → E* be bounded and continuous monotone mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
If in Theorem 12, we assume that Ai, for i = 2, …, N, are uniformly continuous monotone mapping, then are bounded and hemicontinuous, and hence we get the following corollary.
Corollary 14. Let C be a nonempty, closed, and convex subset of a smooth and uniformly convex real Banach space E with E* as its dual. Let A1 : C → E* be a maximal monotone mapping, and let A2, A3, …, AN : E → E* be monotone uniformly continuous mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
If in Theorem 12 we assume that Ai ≡ 0, for i = 2, …, N, then we get the following corollary.
Corollary 15. Let C be a nonempty, closed, and convex subset of a smooth and uniformly convex real Banach space E. Let A : C → E* be a maximal monotone mapping. Assume that F : = A−1(0) is nonempty. Let {xn} be a sequence generated by
If E = H, a real Hilbert space, then E is smooth and uniformly convex real Banach space. In this case, J = I, identity map on H and ΠC = PC, projection mapping from H onto C. Thus, the following corollaries follow from Theorems 11 and 12.
Corollary 16. Let C and D be nonempty, closed, and convex subsets of a real Hilbert space H. Assume that C∩int (D) ≠ ∅. Let A1 : C → H, and let A2, A3, …, AN : D → H be maximal monotone mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
Corollary 17. Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let A1 : C → H be a maximal monotone mapping, and let A2, A3, …, AN : H → H be bounded, hemicontinuous, and monotone mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
Corollary 18. Let C be a nonempty, closed, and convex subset of a real Hilbert space H. Let A1 : C → H be a maximal monotone mapping, and let A2, A3, …, AN : H → H be uniformly continuous monotone mappings. Assume that F : = (A1 + A2 + ⋯+AN) −1(0) is nonempty. Let {xn} be a sequence generated by
4. Application
In this section, we study the problem of finding a minimizer of a continuously Fréchet differentiable convex functional in Banach spaces. The followings are deduced from Theorems 11 and 12.
Theorem 19. Let C and D be a nonempty, closed, and convex subsets of a smooth and uniformly convex real Banach space E. Let C∩int (D) ≠ ∅. Let f be a continuously Fréchet differentiable convex functional, and let ∇f be maximal monotone on C. Let g be a continuously Fréchet differentiable convex functional, and let ∇g be maximal monotone on D. Assume that F : = (∇f + ∇g) −1(0) = {z ∈ E : f(z) + g(z) = inf y∈E{f(y) + g(y)}} ≠ ∅. Let {xn} be a sequence generated by
Theorem 20. Let C be a nonempty, closed, and convex subset of a smooth and uniformly convex real Banach space. Let f be a continuously Fréchet differentiable convex functional, and let ∇f be maximal monotone on C. Let g be a continuously Fréchet differentiable convex functional, and let ∇g be bounded, hemicontinuous, and monotone on E with F : = (∇f + ∇g) −1(0) = {z ∈ E : f(z) + g(z) = inf y∈E{f(y) + g(y)}} ≠ ∅. Let {xn} be a sequence generated by
Acknowledgments
The authors thank the referee for his comments that considerably improved the paper. The research of N. Shahzad was partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.