Volume 2013, Issue 1 540108
Research Article
Open Access

Strong Convergence of Iterative Algorithm for a New System of Generalized H(·, ·) − η-Cocoercive Operator Inclusions in Banach Spaces

Saud M. Alsulami

Corresponding Author

Saud M. Alsulami

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author
Eskandar Naraghirad

Eskandar Naraghirad

Department of Mathematics, Yasouj University, Yasouj 75918, Iran yu.ac.ir

Search for more papers by this author
Nawab Hussain

Nawab Hussain

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author
First published: 26 December 2013
Academic Editor: Mohammad Mursaleen

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, [14] and the references therein.

In a series of papers [58], 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 [1322].

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

Throughout this paper, we denote the set of positive integers by . Let X be a Banach space with the norm ∥·∥ and the dual space X*. For any xX, we denote the value of x*X* at x by 〈x, x*〉. When {xn} is a sequence in X, we denote the strong convergence of {xn} to xX by xnx as n. We denote by 2X the family of all nonempty subsets of X. Let CB(X) be the family of all nonempty, closed, and bounded subsets of X. The Hausdörff metric on CB(X) [24] is defined by
()
where d(x, B) = inf bBxb∥ and d(A, y) = inf aAay∥.

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

()
is called the duality mapping with gauge function ϕ.

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, yX,

()
for all j(x + y) ∈ J(x + y).

Definition 4. Let X be a Banach space. Let A : XX and η : X × XX 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 : XX, H : X × XX, η : X × XX 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 : XCB(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 : XCB(X) be the mappings. A mapping N : X × XX 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 : XX, H : X × XX, η : X × XX 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 : XX be defined by

()
Assume now that H(A, B), η : X × XX are 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

()
Let A, B : XX be defined by
()
Let H(A, B) : X × XX be defined by
()
Suppose that M(f) = f2, where f2(t) = f(t)f(t) for all t ∈ [0,1]. Then, for λ = 1, we conclude that
()
This proves that 0 ∉ (H(A, B) + M)(X) and M is not H(A, B) − η-cocoercive with respect to A and B.

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

()
Then, xMu, where Graph(M) = {(u, x) ∈ X × X : xMu}.

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 : XiXi, Hi : Xi × XiXi, ηi : Xi × XiXi, F : X1 × X2X1, and G : X1 × X2X2 be single-valued mappings, and T : X1CB(X1), Q : X2CB(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.

Find (x, y) ∈ X1 × X2, wT(x), and vQ(y) such that
()
We call problem (30) a system of generalized H(·, ·) − η-cocoercive operator inclusions.

Under the assumptions mentioned above, we have the following key and simple lemma.

Lemma 16. (x, y) ∈ X1 × X2, wT(x), vQ(y) is a solution of problem (30) if and only if

()
where , , and λ1, λ2 > 0 are constants.

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 : XiXi, Hi : Xi × XiXi, ηi : Xi × XiXi, F : X1 × X2X1, and G : X1 × X2X2 be single-valued mappings, and T : X1CB(X1), Q : X2CB(X2) be set-valued mappings. Let , be such that, for each fixed xX1, yX2, 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 × X2X1 and S2 : X1 × X2X2 by

()
For any given (x0, y0) ∈ X1 × X2, w0T(x0), v0Q(y0), let
()
Since w0T(x0) ⊂ CB(X1) and v0Q(y0) ⊂ CB(X2), in view of Nadler′s theorem [24], there exist w1T(x1) and v1Q(y1) such that
()
By induction, we define iterative sequences {xn}, {yn}, {wn}, and {vn} as follows:
()
where n = 0,1, 2, …, and λ1, λ2 > 0 are constants.

Theorem 18. For i = 1,2, let Xi be real Banach spaces with the norm ∥·∥i. Let Ai, Bi : XiXi, Hi : Xi × XiXi, ηi : Xi × XiXi, F : X1 × X2X1, and G : X1 × X2X2 be single-valued mappings, and T : X1CB(X1), Q : X2CB(X2) be set-valued mappings. Let and be such that, for each fixed xX1, yX2, 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

    ()
    ()

and λ1, λ2 > 0 are constants satisfying the following conditions:
()
Then, the iterative sequences {xn}, {yn}, {wn}, and {vn} generated by Algorithm 17 converge strongly to x, y, w, and v, respectively, and (x, y, w, v) is a solution of problem (30).

Proof. In view of Theorem 13, the resolvent operator is θ1-Lipschitz continuous. This, together with Algorithm 17 and (36), implies that

()
Since F is t1-Lipschitz continuous with respect to T in the first argument and t2-Lipschitz continuous in the second argument, T is λT-Lipschitz continuous, and Q is λQ-Lipschitz continuous, by Algorithm 17, we get
()
()
As H1(·, ·) is r1-Lipschitz continuous with respect to A1, we obtain
()
Since η1 is ρ1-Lipschitz continuous, we conclude 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

()
Employing Lemma 3 and taking into account (39)–(44), we obtain
()
This implies that
()
where
()

Using s1-Lipschitz continuity of H1(·, ·) with respect to B1, we deduce that

()
In view of (41), (46), (48), (39) becomes
()
Similarly, we have
()
where
()

In view of (49) and (50), we obtain

()
where cn = σ1 + θ1pn + θ1s1 + λ2θ2l1λT(1 + 1/n), dn = σ2 + θ2qn + θ2s2 + λ1θ1t2λQ(1 + 1/n), and kn = max {cn, dn}.

Letting n, we obtain knk, where

()

Next, we define the norm ∥·∥ on X1 × X2 by

()
One can easily check that (X1 × X2, ∥·∥) is a Banach space.

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 knk0 for all nn0. It follows from (52) and (54) that

()
In view of (56), we obtain
()
This implies that for any mnn0,
()
Since 0 < k0 < 1, it follows from (58) that and n. This proves that {xn} is a Cauchy sequence in X1. Similarly, we conclude that {yn} is a Cauchy sequence in X2. Thus, there exist xX1 and yX2 such that xnx and yny as n.

Next, we prove that wnwT(x) and vnvQ(y). In view of Lipschitz continuity of T and Q and Algorithm 17, we obtain

()
From (59), we deduce that {wn}, {vn} are Cauchy sequences in X1 and X2, respectively. Thus, there exist wT(x) and vQ(y) such that wnw and vnv as n. Since T is D-Lipschitz continuous with constant λT, it is obvious that
()
By the closedness of T(x), we conclude that wT(x). Similarly, we have vQ(y).

Assume now that

()
Then, we have
()
Since xnx, wnw, and vnv as n, it follows from (62) that
()
and hence x0 = x.

A similar argument shows that y0 = y. Therefore,

()
In view of Lemma 16, we conclude that (x, y, w, v) is a solution of problem (30), which completes the proof.

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 : 22 by

()
Let a mapping H : 2 × 22 be defined by
()
By similar arguments, as in Example 4.1 of [27], we can prove the following.
  • (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 : 22 be defined by

    ()

  • (6)

    Now, we define a mapping M : 2 × 22 by

    ()

Let R, S, T : 22 be the identity mappings. It is obvious that these mappings are D-Lipschitz continuous.
  • (7)

    Assume that F, G : 22 are defined by

    ()

It could easily be seen that all the aspects of the hypotheses of Theorem 18 are satisfied, so we have the desired conclusion.

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.

        The full text of this article hosted at iucr.org is unavailable due to technical difficulties.