Strong Convergence of Iterative Algorithm for a New System of Generalized H(·, ·) − η-Cocoercive Operator Inclusions in Banach Spaces
Abstract
We introduce and study a new system of generalized H(·, ·) − η-cocoercive operator inclusions in Banach spaces. Using the resolvent operator technique associated with H(·, ·) − η-cocoercive operators, we suggest and analyze a new generalized algorithm of nonlinear set-valued variational inclusions and establish strong convergence of iterative sequences produced by the method. We highlight the applicability of our results by examples in function spaces.
1. Introduction
The resolvent operator technique is a powerful tool to study the approximation solvability of nonlinear variational inequalities and variational inclusions, which have been applied widely to optimization and control, mechanics and physics, economics and transportation equilibrium, and engineering sciences, see, for example, [1–4] and the references therein.
In a series of papers [5–8], the authors investigated (A, η)-accretive and H(·, ·)-accretive operators for solving variational inclusions in Banach spaces. Convergence and stability of iterative algorithms for the systems of (A, η)-accretive operators have been studied in [9, 10]. The notion of (H, ϕ) − η-monotone operators has been introduced and investigated by the authors in [11]. Generalized mixed variational inclusions involving (H(·, ·), η)-monotone operators have been discussed in [12]. Some results on H((·, ·), η)-accretive operators and application for solving set-valued variational inclusions in Banach spaces have been proved in [7]. Some other related articles on the variational inclusion problems can be found in [13–22].
Very recently, Ahmad et al. [23] introduced a new H(·, ·) − η-cocoercive operator and its resolvent operator in the setting of Banach spaces. The authors proposed concrete examples in support of H(·, ·) − η-cocoercive operators and they also proved the Lipschitz continuity of resolvent operator associated with H(·, ·) − η-cocoercive operator. Motivated and inspired by the research works mentioned above, in this paper, we introduce and study a new system of H(·, ·) − η-cocoercive mapping inclusions in Banach spaces. Using the resolvent operator associated with H(·, ·) − η-cocoercive mapping, we suggest and analyze a new general algorithm and establish the existence and uniqueness of solutions for this system of H(·, ·) − η-cocoercive mappings.
2. Preliminaries
Definition 1 (see [25].)A continuous and strictly increasing function ϕ : [0, +∞)→[0, ∞) such that ϕ(0) = 0 and lim t→∞ϕ(t) = ∞ is called a gauge function.
Definition 2 (see [25].)Let X be a Banach space. Given a gauge function ϕ, the mapping corresponding to ϕ defined by
In particular, if ϕ(t) = t, the duality map J = Jϕ is called the normalized duality mapping.
Lemma 3 (see [26].)Let X be a real Banach space and be the normalized duality mapping. Then, for any x, y ∈ X,
Definition 4. Let X be a Banach space. Let A : X → X and η : X × X → X be two mappings and be the normalized duality mapping. Then, A is called
- (i)
η-cocoercive, if there exists a constant μ1 > 0 such that
() - (ii)
η-accretive, if
() - (iii)
η-strongly accretive, if there exists a constant β1 > 0 such that
() - (iv)
η-relaxed cocoercive, if there exists a constant γ1 > 0 such that
() - (v)
Lipschitz continuous, if there exists a constant λA > 0 such that
() - (vi)
α-expansive, if there exists a constant α > 0 such that
() - (vii)
η is said to be Lipschitz continuous, if there exists a constant τ > 0 such that
()
Definition 5. Let X be a Banach space. Let A, B : X → X, H : X × X → X, η : X × X → X be four single-valued mappings and be the normalized duality mapping. Then,
- (i)
H(A, ·) is said to be η-cocoercive with respect to A, if there exists a constant μ > 0 such that
() - (ii)
H(·, B) is said to be η-relaxed cocoercive with respect to B, if there exists a constant γ > 0 such that
() - (iii)
H(A, ·) is said to be r1-Lipschitz continuous with respect to A, if there exists a constant r1 > 0 such that
() - (iv)
H(·, B) is said to be r2-Lipschitz continuous with respect to B, if there exists a constant r2 > 0 such that
()
Definition 6. Let X be a Banach space. A set-valued mapping M : X → 2X is said to be η-cocoercive, if there exists a constant μ2 > 0 such that
Definition 7. Let X be a Banach space. A mapping T : X → CB(X) is said to be 𝒟-Lipschitz continuous, if there exists a constant λT > 0 such that
Definition 8. Let X be a Banach space. Let T, Q : X → CB(X) be the mappings. A mapping N : X × X → X is said to be
- (i)
Lipschitz continuous in the first argument with respect to T, if there exists a constant t1 > 0 such that
() - (ii)
Lipschitz continuous in the second argument with respect to Q, if there exists a constant t2 > 0 such that
() - (iii)
η-relaxed Lipschitz in the first argument with respect to T, if there exists a constant τ1 > 0 such that
() - (iv)
η-relaxed Lipschitz in the second argument with respect to Q, if there exists a constant τ2 > 0 such that
()
Definition 9. Let X be a Banach space. Let A, B : X → X, H : X × X → X, η : X × X → X be four single-valued mappings. Let M : X → 2X be a set-valued mapping. M is said to be H(·, ·) − η-cocoercive operator with respect to A and B, if M is η-cocoercive and (H(A, B) + λM)(X) = X, for every λ > 0.
Example 10. Let X = ℝ × ℝ and A, B : X → X be defined by
Let M = I, where I is the identity mapping. Then, M is H(·, ·) − η-cocoercive with respect to A and B.
Example 11. Let X = C[0,1], the space of all real valued continuous functions defined on closed interval [0,1] with the norm
Proposition 12 (see [23].)Let H(A, B) be η-cocoercive with respect to A with constant μ > 0 and η-relaxed cocoercive with respect to B with constant γ > 0, A be α-expansive and B be β-Lipschitz continuous μ > γ and α > β. Let M : X → 2X be H(A, B) − η-cocoercive operator. Suppose that
Theorem 13 (see [23].)Let H(A, B) be η-cocoercive with respect to A with constant μ > 0 and η-relaxed cocoercive with respect to B with constant γ > 0, A be α-expansive and B be β-Lipschitz continuous, μ > γ and α > β. Let M be an H(·, ·) − η-cocoercive operator with respect to A and B. Then, for each λ > 0, the operator (H(A, B) + λM) −1 is single-valued.
Definition 14. Let X be a Banach space. Let H(A, B) be η-cocoercive with respect to A with constant μ > 0 and η-relaxed cocoercive with respect to B with constant γ > 0, A be α-expansive B be β-Lipschitz continuous and η be β-Lipschitz continuous, μ > γ, and α > β. Let M be a H(·, ·) − η-cocoercive operator with respect to A and B. Then, the resolvent is defined by
Theorem 15 (see [23].)Let X be a Banach space. Let H(A, B) be η-cocoercive with respect to A with constant μ > 0 and η-relaxed cocoercive with respect to B with constant γ > 0, A be α-expansive B be β-Lipschitz continuous, and η be ρ-Lipschitz continuous; μ > γ and α > β. Let M be H(·, ·) − η-cocoercive operator with respect to A and B. Then, the resolvent operator is ρ/(μα2 − γβ2)-Lipschitz continuous, that is,
3. Strong Convergence Theorem
In this section, using the resolvent operator technique associated with H(·, ·) − η-cocoercive operators, we propose a new generalized algorithm of nonlinear set-valued variational inclusions and establish strong convergence of iterative sequences produced by the method.
For i = 1,2, let Xi be real Banach spaces with the norm ∥·∥i. Let Ai, Bi : Xi → Xi, Hi : Xi × Xi → Xi, ηi : Xi × Xi → Xi, F : X1 × X2 → X1, and G : X1 × X2 → X2 be single-valued mappings, and T : X1 → CB(X1), Q : X2 → CB(X2) be set-valued mappings. Let , be H1(·, ·) − η1-cocoercive and H2(·, ·) − η2-cocoercive operators with respect to (A1, B1) and (A2, B2), respectively. We consider the following problem.
Under the assumptions mentioned above, we have the following key and simple lemma.
Lemma 16. (x, y) ∈ X1 × X2, w ∈ T(x), v ∈ Q(y) is a solution of problem (30) if and only if
Proof . This is an easy and direct consequence of Definition 14.
Algorithm 17. For i = 1,2, let Xi be real Banach spaces with the norm ∥·∥i. Let Ai, Bi : Xi → Xi, Hi : Xi × Xi → Xi, ηi : Xi × Xi → Xi, F : X1 × X2 → X1, and G : X1 × X2 → X2 be single-valued mappings, and T : X1 → CB(X1), Q : X2 → CB(X2) be set-valued mappings. Let , be such that, for each fixed x ∈ X1, y ∈ X2, M(·, x) and N(·, y) are H1(·, ·) − η1-cocoercive and H2(·, ·) − η2-cocoercive operators with respect to (A1, B1) and (A2, B2), respectively. For any given constants λi > 0(i = 1,2), define the mappings S1 : X1 × X2 → X1 and S2 : X1 × X2 → X2 by
Theorem 18. For i = 1,2, let Xi be real Banach spaces with the norm ∥·∥i. Let Ai, Bi : Xi → Xi, Hi : Xi × Xi → Xi, ηi : Xi × Xi → Xi, F : X1 × X2 → X1, and G : X1 × X2 → X2 be single-valued mappings, and T : X1 → CB(X1), Q : X2 → CB(X2) be set-valued mappings. Let and be such that, for each fixed x ∈ X1, y ∈ X2, M(·, x) and N(·, y) are H1(·, ·) − η1-cocoercive and H2(·, ·) − η2-cocoercive operators with respect to (A1, B1) and (A2, B2), respectively. Suppose that the following conditions are satisfied.
- (i)
Hi(Ai, Bi) is ηi-cocoercive with respect to Ai with constant μi and ηi-relaxed cocoercive with respect to Bi with constant γi, i = 1,2.
- (ii)
Ai is αi-expansive and Bi is βi-Lipschitz continuous, i = 1, 2.
- (iii)
Hi(Ai, Bi) is ri-Lipschitz continuous with respect to Ai and si-Lipschitz continuous with respect to Bi, i = 1, 2.
- (iv)
T is D-Lipschitz continuous with constant λT and Q is D-Lipschitz continuous with constant λQ.
- (v)
F is t1-Lipschitz continuous with respect to T in the first argument and t2-Lipschitz continuous with respect to Q in the second argument.
- (vi)
G is l1-Lipschitz continuous with respect to T in the first argument and l2-Lipschitz continuous with respect to Q in the second argument.
- (vii)
ηi is ρi-Lipschitz continuous, i = 1, 2.
- (viii)
F is η1-relaxed Lipschitz continuous with respect to T in the first argument and η1-relaxed Lipschitz continuous with respect to Q in the second argument with constants τ1 and τ2, respectively.
- (ix)
G is η2-relaxed Lipschitz continuous with respect to T in the first argument and η2-relaxed Lipschitz continuous with respect to Q in the second argument with constants ϵ1 and ϵ2, respectively. Furthermore, assume that there exist constants σ1, σ2 > 0 such that
()()
Proof. In view of Theorem 13, the resolvent operator is θ1-Lipschitz continuous. This, together with Algorithm 17 and (36), implies that
Since H1(·, ·) is η1-relaxed Lipschitz continuous with respect to T and η2-relaxed Lipschitz continuous with respect to Q in the first and second arguments with constants τ1 and τ2, respectively, we have
Using s1-Lipschitz continuity of H1(·, ·) with respect to B1, we deduce that
In view of (49) and (50), we obtain
Letting n → ∞, we obtain kn → k, where
Next, we define the norm ∥·∥ on X1 × X2 by
Define an+1 = (xn+1, yn+1). Then, we have
In view of (38), we conclude that 0 < k < 1. This implies that there exist n0 ∈ ℕ and k0 ∈ (0,1) such that kn ≤ k0 for all n ≥ n0. It follows from (52) and (54) that
Next, we prove that wn → w ∈ T(x) and vn → v ∈ Q(y). In view of Lipschitz continuity of T and Q and Algorithm 17, we obtain
Assume now that
A similar argument shows that y0 = y. Therefore,
At the end of this paper, we include the following simple example in support of Theorem 18.
Example 19. Let X = ℝ2 with the usual inner product. We define two mappings A, B : ℝ2 → ℝ2 by
- (1)
H(A, B) is 4/17-cocoercive with respect to A and 1-relaxed cocoercive with respect to B.
- (2)
A is -expansive, for n = 4,5.
- (3)
B is -expansive, for n = 1,2.
- (4)
H(A, B) is -Lipschitz continuous with constant with respect to A and B, for n = 1,2, …, 15,16.
- (5)
Let f, g : ℝ2 → ℝ2 be defined by
() - (6)
Now, we define a mapping M : ℝ2 × ℝ2 → ℝ2 by
()
- (7)
Assume that F, G : ℝ2 → ℝ2 are defined by
()
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
This paper was funded by King Abdulaziz University, under Grant no. 23-130-1433-HiCi. The authors, therefore, acknowledge the technical and financial support of KAU. The authors would like to thank the referees for their sincere evaluation and constructive comments which improved the paper considerably.