Skip to main content

Strong convergence theorems of nonlinear operator equations for countable family of multi-valued total quasi-ϕ-asymptotically nonexpansive mappings with applications

Abstract

The purpose of this article is first to introduce the concept of total quasi-ϕ-asymptotically nonexpansive multi-valued mapping which contains many kinds of mappings as its special cases, and then by using the hybrid shrinking technique to propose an iterative algorithm for finding a common element of the set of solutions for a generalized mixed equilibrium problem, the set of solutions for variational inequality problems, and the set of common fixed points for a countable family of multi-valued total quasi-ϕ-asymptotically nonexpansive mappings in a real uniformly smooth and strictly convex Banach space with Kadec-Klee property. The results presented in the article not only generalize some recent results from single-valued mappings to multi-valued mappings, but also improve and extend the main results of Homaeipour and Razani.

2000 AMS Subject Classification: 47J06; 47J25.

1. Introduction

Throughout this article, we always assume that X is a real Banach space with the dual X*, C is a nonempty closed convex subset of X, and J : X → 2 X is the normalized duality mapping defined by

J ( x ) = { f * X * : x , f * = ǁ x ǁ 2 = ǁ f * ǁ 2 } , x E .

In the sequel, we use F(T ) to denote the set of fixed points of a mapping T , and use and R + to denote the set of all real numbers and the set of all nonnegative real numbers, respectively. We denote by x n x and x n x the strong convergence and weak convergence of a sequence {x n }, respectively.

Let Θ:C×CR be a bifunction, ψ:CR be a real valued function, and A : CX* be a nonlinear mapping. The so-called generalized mixed equilibrium problem is to find u C such that

Θ ( u , y ) + A u , y - u + ψ ( y ) - ψ ( u ) 0 , y C .
(1.1)

The set of solutions to (1.1) is denoted by Ω, i.e.,

Ω = { u C : Θ ( u , y ) + A u , y - u + ψ ( y ) - ψ ( u ) 0 , y C } .
(1.2)

Special examples:

  1. (I)

    If A ≡ 0, the problem (1.1) is equivalent to finding u C such that

    Θ ( u , y ) + ψ ( y ) - ψ ( u ) 0 , y C .
    (1.3)

which is called the mixed equilibrium problem (MEP) [1].

  1. (II)

    If Θ ≡ 0, the problem (1.1) is equivalent to finding u C such that

    A u , y - u + ψ ( y ) - ψ ( u ) 0 , y C .
    (1.4)

which is called the mixed variational inequality of Browder type (VI)[2].

A Banach space X is said to be strictly convex, if x + y 2 <1 for all x, y U = {z X : ||z|| = 1} with xy. X is said to be uniformly convex if, for each ϵ (0, 2], there exists δ > 0 such that x + y 2 <1-δ for all x, y U with ||x - y|| ≥ ϵ. X is said to be smooth if the limit

lim t 0 | | x + t y | | - | | x | | t

exists for all x, y U. X is said to be uniformly smooth if the above limit is attained uniformly in x, y U.

Remark 1.1 The following basic properties of a Banach space X can be found in Cioranescu [1].

  1. (i)

    If X is uniformly smooth, then X is reflexive and the normalized duality mapping J is uniformly continuous on each bounded subset of X;

  2. (ii)

    If X is a reflexive and strictly convex Banach space, then J -1 is norm-weak-continuous;

  3. (iii)

    If X is a smooth, strictly convex, and reflexive Banach space, then J is single-valued, one-to-one and onto;

  4. (iv)

    A Banach space X is uniformly smooth if and only if X* is uniformly convex;

  5. (v)

    Each uniformly convex Banach space X has the Kadec-Klee property, i.e., for any sequence {x n } X, if x n x X and ||x n || → ||x||, then x n x.

Let X be a smooth Banach space. In the sequel, we use ϕ : X × X R + to denote the Lyapunov functional which is defined by

ϕ ( x , y ) = ǁ x ǁ 2 - 2 x , J y + ǁ y ǁ 2 , x , y X .
(1.5)

It is obvious from the definition of ϕ that

( | | x | | - | | y | | ) 2 ϕ ( x , y ) ( | | x | | + | | y | | ) 2 , x , y X .
(1.6)

and

ϕ ( x , J - 1 ( λ J y + ( 1 - λ ) J z ) ) λ ϕ ( x , y ) + ( 1 - λ ) ϕ ( x , z ) ,
(1.7)

for all λ [0, 1] and x, y, z X. If X is a smooth, strictly convex, and reflexive Banach space, following Alber [2], the generalized projection C : XC is defined by

Π C ( x ) = arg inf y C ϕ ( y , x ) , x X .

Lemma 1.2[2] Let X be a smooth, strictly convex, and reflexive Banach space and C be a nonempty closed convex subset of X. Then the following conclusions hold:

  1. (a)

    ϕ (x, ∏ C y) + ϕ (∏ C y, y) ≤ ϕ (x, y) for all x C and y X;

  2. (b)

    If x X and z C, then

    z = Π C x z - y , J x - J z 0 , y C ;
  3. (c)

    For x, y X, ϕ(x, y) = 0 if and only if x = y.

In the sequel, we denote by 2 C the family of all nonempty subsets of C.

Definition 1.3 Let T : C → 2 C be a multi-valued mapping.

  1. (1)

    A point p C is said to be an asymptotic fixed point of T, if there exists a sequence {x n } in C such that {x n } converges weakly to p and

    lim n d ( x n , T ( x n ) ) : = lim n inf y T ( x n ) | | x n - y | | = 0 .

In the sequel we use F ^ ( T ) to denote the set of all asymptotic fixed points of T;

  1. (2)

    A multi-valued mapping T : C → 2 C is said to be relatively nonexpansive [3], if

  2. (a)

    F(T ) ≠ Ø;

  3. (b)

    ϕ (p, w) ≤ ϕ (p, x), x C, w Tx, p F(T)

  4. (c)

    F ^ ( T ) =F ( T ) .

Definition 1.4 (1) A multi-valued mapping T : C → 2 C is said to be quasi-ϕ-nonexpansive, if F (T ) ≠ Ø and

ϕ ( p , w ) ϕ ( p , x ) , x C , w T x , p F ( T ) .
  1. (2)

    A multi-valued mapping T : C → 2 C is said to be quasi-ϕ-asymptotically nonexpansive if F(T ) ≠ Ø and there exists a real sequence {k n } [1, ∞) with k n → 1 such that

    ϕ ( p , w n ) k n ϕ ( p , x ) , n 1 , x C , w n T n x , p F ( T ) .
    (1.8)
  2. (3)

    A multi-valued mapping T : C → 2 C is said to be ({ν n }, {μ n },ζ)-total quasi-ϕ-asymptotically nonexpansive, if F(T) ≠ Ø and there exist nonnegative real sequences {ν n }, {μ n } with ν n → 0, μ n → 0 (as n → ∞) and a strictly increasing continuous function ζ: R + R + with ζ (0) = 0 such that for all x C, p F(T )

    ϕ ( p , w n ) ϕ ( p , x ) + ν n ζ ( ϕ ( p , x ) ) + μ n , n 1 , w n T n x .
    (1.9)
  3. (4)

    A total quasi-ϕ-asymptotically nonexpansive multi-valued mapping T : C → 2 C is said to be uniformly L-Lipschitz continuous if there exists a constant L > 0 such that

    | | w n - s n | | L | | x - y | | , x , y C , w n T n x , s n T n y , n 1 .
  4. (5)

    A multi-valued mapping T : C → 2 C is said to be closed if, for any sequences {x n } and {w n } in C with w n T (x n ), if x n x and w n y, then y Tx.

  5. (6)

    A countable family of multi-valued mappings { T i } i = 1 :C 2 C is said to be uniformly ({ν n }, {μ n }, ζ)-total quasi-ϕ-asymptotically nonexpansive, if F:= i = 1 F ( T i ) and there exist nonnegative real sequences ({ν n }, {μ n } with ν n → 0, μ n → 0 and a strictly increasing continuous function ζ: R + R + with ζ(0) = 0 such that for all x C, pF

    ϕ ( p , w n , i ) ϕ ( p , x ) + ν n ζ ( ϕ ( p , x ) ) + μ n , n 1 , w n , i T i n x , i = 1 , 2 , .
    (1.10)

Remark 1.5 From the definitions, it is easy to know that

  1. (1)

    Every quasi-ϕ-asymptotically nonexpansive multi-valued mapping must be a total quasi-ϕ-asymptotically nonexpansive multi-valued mapping. In fact, taking ζ(t) = t, t ≥ 0, k n = ν n + 1 and μ n = 0, then (1.6) can be rewritten as

    ϕ ( p , w n ) ϕ ( p , x ) + ν n ζ ( ϕ ( p , x ) ) + μ n , n 1 , x C , w n T n x , p F ( T ) ,

where ν n → 0 (as n → ∞).

  1. (2)

    The class of quasi-ϕ-asymptotically nonexpansive multi-valued mappings contains properly the class of quasi-ϕ-nonexpansive multi-valued mappings as a subclass, but the converse is not true.

  2. (3)

    The class of quasi-ϕ-nonexpansive multi-valued mappings contains properly the class of relatively nonexpansive multi-valued mappings as a subclass, but the converse is not true.

Example 1.6 Now we give some examples of single-valued and multi-valued total quasi-ϕ-asymptotically nonexpansive mappings.

(1) Single-valued total quasi- ϕ -asymptotically nonexpansive mapping.

Let C be a unit ball in a real Hilbert space l2 and let T : CC be a mapping defined by

T : ( x 1 , x 2 , , ) ( 0 , x 1 2 , a 2 x 2 , a 3 x 3 , ) , ( x 1 , x 2 , , ) l 2 ,
(1.11)

where {a i } is a sequence in (0, 1) such that i = 2 a i = 1 2 . It is proved in [4] that T is total quasi-ϕ-asymptotically nonexpansive.

(2) Multi-valued total quasi- ϕ -asymptotically nonexpansive mappings.

Let I = 0[1], X = C(I) (the Banach space of continuous functions defined on I with the uniform convergence norm || f || C = sup tI |f(t)|), D = {f X : f (x) ≥ 0, x I} and a, b be two constants in (0, 1) with a < b. Let T : D → 2 D be a multi-valued mapping defined by

T ( f ) = { g D : a f ( x ) - g ( x ) b , x I } , i f f ( x ) > 1 , x I ; { 0 } , o t h e r w i s e .
(1.12)

It is easy to see that F (T ) = {0}, therefore F(T) is nonempty.

Next, we prove that T : D → 2 D is a closed total quasi-ϕ-asymptotically nonexpansive multi-valued mapping. In fact, for any given f D:

  1. (I)

    if f(x) > 1, x I, then for any g T(f), we have af(x) - g(x) ≤ b. Hence for any p F(T ) = {0} we have

    ϕ ( p , g ) = ϕ ( 0 , g ) = ǁ g ǁ C 2 ǁ f ǁ C 2 = ϕ ( 0 , f ) = ϕ ( p , f ) .

If there exists some point x0 I such that 0 ≤ f (x0) ≤ 1, then from the definition of mapping T, we have T(f) = {0}. Hence for any p F(T) and g T(f) = {0}, we have

ϕ ( p , g ) = ϕ ( 0 , 0 ) = 0 ǁ f ǁ C 2 = ϕ ( 0 , f ) = ϕ ( p , f ) .

Summing up the above arguments we have that for any given f D

ϕ ( p , g ) ϕ ( p , f ) , p F ( T ) , g T ( f ) ,
(1.13)
  1. (II)

    For any g T 2 ( f ) =T ( T ( f ) ) = g 1 T ( f ) T ( g 1 ) , there exists some g 1 * T ( f ) such that g T ( g 1 * ) .

  2. (1)

    If g 1 * >1,xI, then we have a g 1 * -g<b. By (1.13), for any p F(T) = {0}, we have

    ϕ ( p , g ) = ϕ ( 0 , g ) = ǁ g ǁ C 2 ǁ g 1 * ǁ C 2 = ϕ ( 0 , g 1 * ) = ϕ ( p , g 1 * ) ϕ ( p , f ) .
  3. (2)

    If there exists x 1 I such that 0 g 1 * ( x 1 ) 1, then by the definition of T , we have T g 1 * = { 0 } . Since gT g 1 * = { 0 } , and so g = 0. Hence for any p F(T), by (1.13) we have

    ϕ ( p , g ) = ϕ ( 0 , 0 ) = 0 ǁ g 1 * ǁ 2 = ϕ ( 0 , g 1 * ) = ϕ ( p , g 1 * ) ϕ ( p , f ) .

From (1) and (2) we have that for any given f D

ϕ ( p , g ) ϕ ( p , f ) , p F ( T ) , g T 2 ( f ) ,
(1.14)

By induction, we can prove that for any given f D, g Tn (f), n ≥ 1, p F(T),

ϕ ( p , g ) ϕ ( p , f ) .
(1.15)

Letting {μ n } and {ν n } be two any nonnegative sequences with μ n → 0 and ν n → 0 and ζ(t) = t, t ≥ 0, then (1.15) can be rewritten as

ϕ ( p , g ) ϕ ( p , f ) + ν n ζ ( ϕ ( p , f ) ) + μ n

for any f D, g Tn (f), n ≥ 1, p F(T). This shows that T : C → 2 C is a total quasi-ϕ-asymptotically nonexpansive multi-valued mapping.

Next, we prove that T is a closed mapping. In fact, let {f n } and {g n } be two sequences in D with g n T(f n ) such that || f n - f || C → 0, ||g n - g|| C → 0 as n → ∞.

  1. (1)

    If f(x) > 1, x I, since {f n } converges uniformly to f, then there exists n 0 ≥ 1 such that f n (x) > 1, x I, nn 0. By the definition of T, we have

    a f n ( x ) - g n ( x ) b,n1andxI.
    (1.16)

Letting n → ∞ in (1.16), we have

af ( x ) -g ( x ) b,n1.

This implies that g T (f).

  1. (2)

    If there exists some point x 2 I such that 0 ≤ f (x 2) ≤ 1, then T(f) = {0}. Since {f n } converges uniformly to f, then there exists a positive integer n 2 such that 0 ≤ f n (x 2) ≤ 1, nn 2. By the definition of T, this implies that T(f n ) = 0, nn 2. Since g n T(f n ), this implies that g n = 0, nn 2. Since g n g, g = 0. Therefore g T(f).

These show that T is a closed mapping.

Concerning the weak and strong convergence of iterative sequences to approximate a common element of the set of solutions for a generalized MEP, the set of solutions for variational inequality problems, and the set of common fixed points for single-valued relatively non-expansive mappings, single-valued quasi-ϕ-nonexpansive mappings, single-valued quasi-ϕ-asymptotically nonexpansive mappings and single-valued total quasi-ϕ-asymptotically non-expansive mappings have been studied by many authors in the setting of Hilbert or Banach spaces (see, for example, [421] and the references therein). Very recently, in 2011, Homaeipour and Razani [3] introduced the concept of multi-valued relatively nonexpansive mappings and proved some weak and strong convergence theorems to approximation a fixed point for a single relatively nonexpansive multi-valued mapping in a uniformly convex and uniformly smooth Banach space X which improve and extend the corresponding results of Matsushita and Takahashi [5].

Motivated and inspired by the researches going on in this direction, the purpose of this article is first to introduce the concept of total quasi-ϕ-asymptotically nonexpansive multi-valued mapping which contains multi-valued relatively nonexpansive mappings and many other kinds of mappings as its special cases, and then by using the hybrid shirking iterative algorithm for finding a common element of the set of solutions for a generalized MEP, the set of solutions for variational inequality problems, and the set of common fixed points for a countable family of multi-valued total quasi-ϕ-asymptotically nonexpansive mappings in a real uniformly smooth and strictly convex Banach space with Kadec-Klee property. The results presented in the article not only generalize the corresponding results of [421] from single-valued mappings to multi-valued mappings, but also improve and extend the main results of Homaeipour and Razani [3]. The method given in this article is quite different from that one adopted in [3].

2. Preliminaries

In order to prove our main results, the following conclusions and notations will be needed.

Lemma 2.1[8] Let X be a real uniformly smooth and strictly convex Banach space with Kadec-Klee property, and C be a nonempty closed convex set of X. Let {x n } and {y n } be two sequences in C such that x n p and ϕ(x n , y n ) → 0, where ϕ is the function defined by (1.1), then y n p.

Lemma 2.2 Let X and C be as in Lemma 2.1. Let T : C → 2 C be a closed and ({ν n }, {μ n }, ζ)-total quasi-ϕ-asymptotically nonexpansive multi-valued mapping. If μ1 = 0, then the fixed point set F (T) of T is a closed and convex subset of C.

Proof Let {x n } be a sequence in F(T) with x n p(as n → ∞), we prove that p F(T). In fact, by the assumption that T is a ({ν n }, {μ n }, ζ)-total quasi-ϕ-asymptotically nonexpansive multi-valued mapping with μ1 = 0, hence we have

ϕ ( x n , u ) ϕ ( x n , p ) + ν 1 ζ ( ϕ ( x n , p ) ) ,uTp,

and

ϕ ( p , u ) = lim n ϕ ( x n , u ) lim n ( ϕ ( x n , p ) + ν 1 ζ ( ϕ ( x n , p ) ) ) = 0 , u T p .

By Lemma 1.2(c), p = u. Hence, p Tp. This implies that F (T ) is a closed set in C.

Next, we prove that F (T) is convex. For any x, y F(T), t (0, 1), putting q = tx + (1 - t)y, we prove that q F (T ). Indeed, let {u n } be a sequence generated by

u 1 T q , u 2 T u 1 T 2 q , u 3 T u 2 T 3 q , u n T u n - 1 T n q ,
(2.1)

Therefore for each u n Tun- 1 Tnq, we have

ϕ ( q , u n ) = | | q | | 2 - 2 q , J u n + | | u n | | 2 = | | q | | 2 - 2 t x , J u n - 2 ( 1 - t ) y , J u n + | | u n | | 2 = | | q | | 2 + t ϕ ( x , u n ) + ( 1 - t ) ϕ ( y , u n ) - t | | x | | 2 - ( 1 - t ) | | y | | 2
(2.2)

Since

t ϕ ( x , u n ) + ( 1 - t ) ϕ ( y , u n ) t ( ϕ ( x , q ) + ν n ζ ( ϕ ( x , q ) ) + μ n ) + ( 1 - t ) ( ϕ ( y , q ) + ν n ζ ( ϕ ( y , q ) ) + μ n ) = t ( ǁ x ǁ 2 - 2 x , J q + ǁ q ǁ 2 + ν n ζ ( ϕ ( x , q ) ) + μ n ) + ( 1 - t ) ( ǁ y ǁ 2 - 2 y , J q + ǁ q ǁ 2 + ν n ζ ( ϕ ( y , q ) ) + μ n ) = t ǁ x ǁ 2 + ( 1 - t ) ǁ y ǁ 2 - ǁ q ǁ 2 + t ν n ζ ( ϕ ( x , q ) ) + ( 1 - t ) ν n ζ ( ϕ ( y , q ) ) + μ n
(2.3)

Substituting (2.3) into (2.2) and simplifying we have

ϕ ( q , u n ) t ν n ζ ( ϕ ( x , q ) ) + ( 1 - t ) ν n ζ ( ϕ ( y , q ) ) + μ n 0 ( n ) .

By Lemma 2.1, we have u n q (as n → ∞). This implies that un+1q (as n → ∞). Since un+1 Tu n and T is closed, we have q Tq, i.e., q F(T).

This completes the proof of Lemma 2.2.

Lemma 2.3[8] Let X be a uniformly convex Banach space, r > 0 be a positive number and B r (0) be a closed ball of X. Then for any sequence { x i } i = 1 ω B r ( 0 ) (where ω is any positive integer or +∞) and for any sequence { λ i } i = 1 ω of positive numbers with n = 1 ω λ n =1, there exists a continuous, strictly increasing, and convex function g : [0, 2r) → [0, ∞), g(0) = 0 such that for any positive integer i ≠ 1, the following hold:

|| n = 1 ω λ n x n | | 2 n = 1 ω λ n || x n | | 2 - λ 1 λ i g ( | | x 1 - x i | | ) ,
(2.4)

and for all x X

ϕ(x, J - 1 ( i = 1 ω λ i J x i ) i = 1 ω λ i ϕ ( x , x i ) - λ 1 λ i g ( | | J x 1 - J x i | | ) .
(2.5)

For solving the generalized MEP, let us assume that the function ψ:CR is convex and lower semi-continuous, the nonlinear mapping A : CX* is continuous and monotone, and the bifunction Θ:C×CR satisfies the following conditions:

(A1) Θ(x, x) = 0, x C.

(A2) Θ is monotone, i.e., Θ(x, y) + Θ(y, x) ≤ 0, x, y C.

(A3) lim sup t ↓0 Θ(x + t(z - x), y) ≤ Θ(x, y), x, y, z C.

(A4) The function y Θ (x, y) is convex and lower semicontinuous.

Lemma 2.4 Let X be a smooth, strictly convex, and reflexive Banach space, and C be a nonempty closed convex subset of X. Let Θ:C×CR be a bifunction satisfying the conditions (A1)-(A4). Let r > 0 and x X. Then, the following hold:

  1. (i)

    [12] There exists z C such that

    Θ ( z , y ) + 1 r y - z , J z - J x 0,yC.
  2. (ii)

    [13] Define a mapping T r : XC by

    T r x = z C : Θ z , y + 1 r y - z , J z - J x 0 , y C , x X .

Then, the following conclusions hold:

  1. (a)

    T r is single-valued;

  2. (b)

    T r is a firmly nonexpansive-type mapping, i.e., z, y X,

    T r z - T r y , J T r z - J T r y T r z - T r y , J z - J y ;
  3. (c)

    F(T r ) = EP(Θ) = F(T r );

  4. (d)

    EP(Θ) is closed and convex;

  5. (e)

    ϕ(q, T r (x)) + ϕ(T r (x), x) ≤ ϕ(q, x), q F(T r ).

Lemma 2.5[18] Let X be a smooth, strictly convex, and reflexive Banach space, and C be a nonempty closed convex subset of X. Let A : CX* be a continuous and monotone mapping, ψ:CR be a lower semi-continuous and convex function, and Θ:C×CR be a bifunction satisfying the conditions (A1)-(A4). Let r > 0 be any given number and x X be any given point. Then, the following conclusions hold:

  1. (i)

    There exists u C such that y C

    Θ u , y + A u , y - u + ψ y - ψ u + 1 r y - u , J u - J x 0 .
    (2.6)
  2. (ii)

    If we define a mapping K r : CC by

    K r x = u C : Θ u , y + A u , y - u + ψ y - ψ u + 1 r y - u , J u - J x 0 , y C , x C ,
    (2.7)

then, the mapping K r has the following properties:

  1. (a)

    K r is single-valued;

  2. (b)

    K r is a firmly nonexpansive-type mapping, i.e., z, y X

    K r z - K r y , J K r z - J K r y K r z - K r y , J z - J y ;
  3. (c)

    F(K r ) = Ω = F(K r );

  4. (d)

    Ω is a closed convex set of C;

  5. (e)

    ϕ (p, K r (z)) + ϕ (K r (z), z) ≤ ϕ (p, z), p F(K r ), z X.

Remark 2.6 It follows from Lemma 2.4 that the mapping K r : CC defined by (2.6) is a relatively nonexpansive mapping. Thus, it is quasi-ϕ-nonexpansive.

3. Main results

In this section, we shall use the hybrid iterative algorithm to find a common element of the set of solutions of a generalized MEP, the set of solutions for variational inequality problems, and the set of fixed points of a infinite family of total quasi-ϕ-asymptotically nonexpansive multi-valued mappings. For the purpose we give the following hypotheses:

(H1) X is a uniformly smooth and strictly convex Banach space with Kadec-Klee property and C is a nonempty closed convex subset of X;

(H2) Θ:C×CR is a bifunction satisfying the conditions (A1)-(A4), A : CX* is a continuous and monotone mapping, and ψ:CR is a lower semi-continuous and convex function.

(H3) T i i = 1 :C 2 C is a countable family of closed and uniformly ({ν n }, {μ n }, ζ)-total quasi-ϕ-asymptotically nonexpansive multi-valued mappings and for each i = 1, 2, . . . , T i is uniformly L i -Lipschitzian with μ1 = 0.

We have the following

Theorem 3.1. Let X, C, Θ, A, ψ, T i i = 1 satisfy the above conditions (H1)-(H3). Let {x n } be the sequence generated by

x 0 C  chosen arbitrary, C 0 = C , y n = J - 1 α n J x n + 1 - α n J z n , n 1, z n = J - 1 ( β n , 0 J x n + i = 1 β n , i J w n , i ) , ( w n , i T i n x n , i 1 ) , n 1, u n C s u c h t h a t y C , n 1, Θ u n , y + A u n , y - u n + ψ y - ψ u n + 1 r n y - u n , J u n - J y n 0 , C n + 1 = { ν C n : ϕ ν , u n ϕ ν , x n + ξ n } , n 0 , x n + 1 = Π C n + 1 x 0 , n 0 ,
(3.1)

where C n + 1 is the generalized projection of X onto Cn+1, F:= i = 1 F T i , ξ n = ν n sup p F ζ ( ϕ ( p , x n ) ) + μ n , { α n } and {βn,0,βn,i} are sequences in 0[1] satisfying the following conditions:

  1. (i)

    for each n ≥ 0, i = 0 β n , i =1;

  2. (ii)

    lim infn→∞ β n ,0, β ni > 0 for any i ≥ 1;

  3. (iii)

    0 ≤ α n α < 1 for some α (0, 1).

If G:=FΩ= i = 1 F T i Ω is nonempty and is a bounded subset of C, then the sequence {x n } converges strongly to ∏ G x0.

Proof. First, we define two functions H:C×CR and K r : CC by

H x , y = Θ x , y + A x , y - x + ψ y - ψ x , x , y C , K r x = u C : H u , y + 1 r y - u , J u - J x 0 , y C } , x C .

By Lemma 2.5, we know that the function H satisfies the conditions (A1)-(A4) and K r has the property (a)-(e). Therefore, (3.1) can be rewritten as

x 0 C  chosen arbitrary, C 0 = C , y n = J - 1 α n J x n + 1 - α n J z n , n 1, z n = J - 1 β n , 0 J x n + i = 1 β n , i J w n , i ( w n , i T i n x n , i 1 ) , n 1, u n C  such that H u n , y + 1 r n y - u n , J u n - J y n 0 , y C , n 1 , C n + 1 = { ν C n : ϕ ν , u n ϕ ν , x n + ξ n } , n 0 , x n + 1 = Π C n + 1 x 0 n 0 .
(3.2)

Now we divide the proof of Theorem 3.1 into six steps.

(I)and C n are closed and convex for each n ≥ 0.

In fact, it follows from Lemma 2.2 that F(T i ), i ≥ 1 is closed and convex subsets of C. Therefore is a closed and convex subsets in C.

Again by the assumption, C0 = C is closed and convex. Suppose that C n is closed and convex for some n ≥ 1. Since the condition ϕ(ν, y n ) ≤ ϕ (ν, x n ) + ξ n is equivalent to

2 ν , J x n - J y n x n 2 - y n 2  +  ξ n , n = 1,2, ,

hence the set

C n + 1 = { ν C n : 2 ν , J x n - J y n x n 2 - y n 2 + ξ n }

is closed and convex. Therefore C n is closed and convex for each n ≥ 0.

(II) {x n } is bounded and {ϕ (x n , x0)} is a convergent sequence.

Indeed, it follows from (3.1) and Lemma 1.2(a) that for all n ≥ 0, u F(T )

ϕ x n , x 0 = ϕ ( Π C n x 0 , x 0 ) ϕ u , x 0 - ϕ ( u , Π C n x 0 ) ϕ u , x 0 .

This implies that {ϕ (x n , x0)} is bounded. By virtue of (1.6), we know that {x n } is bounded.

In view of structure of {C n }, we have C n + 1 C n , x n = C n x 0 and x n + 1 = C n + 1 x 0 . This implies that xn+1 C n and

ϕ x n , x 0 ϕ x n + 1 , x 0 , n 0 .

Therefore {ϕ(x n , x0)} is a convergent sequence.

(III)G:=FΩ C n for all n ≥ 0.

Indeed, it is obvious that G C 0 =C. Suppose that G C n for some n N . Since u n = K r n y n , by Lemma 2.5 and Remark 2.6, K r n is quasi-ϕ-nonexpansive. Hence, for any given uG C n and n ≥ 1, it follows from (1.7) that

ϕ u , u n = ϕ u , K r n y n ϕ u , y n = ϕ u , J - 1 α n J x n + 1 - α n J z n α n ϕ u , x n + 1 - α n ϕ u , z n .
(3.3)

Furthermore, it follows from Lemma 2.3 that for any u G C n , w n , i T i n x n and i ≥ 1 we have

ϕ u , z n = ϕ u , J - 1 β n , 0 J x n + i = 1 β n , i J w n , i β n , 0 ϕ u , x n + i = 1 β n , i ϕ ( u , w n , i ) - β n , 0 β n , l g | | J x n - J w n , l | | β n , 0 ϕ u , x n + i = 1 β n , i ( ϕ ( u , w n , i ) + ν n ζ ( ϕ ( u , w n , i ) ) + μ n ) - β n , 0 β n , l g | | J x n - J w n , l | | ϕ u , x n + ν n sup p F ζ ( ϕ ( p , x n ) ) + μ n - β n , 0 β n , l g J x n - J w n , l = ϕ u , x n + ξ n - β n , 0 β n , l g J x n - J w n , l ,
(3.4)

where ξ n = ν n sup p F ζ ( ϕ ( p , x n ) ) . Substituting (3.4) into (3.3) and simplifying, uG we have

ϕ u , u n ϕ u , y n ϕ u , x n + 1 - α n ξ n - 1 - α n β n , 0 β n , l g | | J x n - J w n , l | | ϕ u , x n + ξ n - 1 - α n β n , 0 β n , l g | | J x n - J w n , l | | ϕ u , x n + ξ n ,
(3.5)

i.e., u Cn+1and so G C n + 1 for all n ≥ 0.

By the way, in view of the assumption on {ν n }, {μ n } we have

ξ n = ν n sup p F ζ ϕ p , x n + μ n 0 n .

(IV) {x n } converges strongly to some point p* C.

In fact, since {x n } is bounded and X is reflexive, there exists a subsequence { x n i } { x n } such that x n i p * (some point in C). Since C n is closed and convex and Cn+1 C n , this implies that C n is weakly closed and p* C n for each n ≥ 0. In view of x n i = Π C n i x 0 , we have

ϕ x n i , x 0 ϕ p * , x 0 , n i 0 .

Since the norm || · || is weakly lower semi-continuous, we have

lim inf n i ϕ ( x n i , x 0 ) = lim inf n i ( | | x n i | | 2 - 2 x n i , J x 0 + | | x 0 | | 2 ) | | p * | | 2 - 2 p * , J x 0 + | | x 0 | | 2 = ϕ ( p * , x 0 ) ,

and so

ϕ ( p * , x 0 ) lim inf n i ϕ ( x n i , x 0 ) lim sup n i ϕ ( x n i , x 0 ) ϕ ( p * , x 0 ) .

This implies that lim n i ϕ ( x n i , x 0 ) =ϕ ( p * , x 0 ) , and so || x n i |||| p * ||. Since x n i p * , by virtue of Kadec-Klee property of X, we obtain that

lim n i x n i = p * .

Since {ϕ(x n , x0)} is convergent, this together with lim n i ϕ ( x n i , x 0 ) =ϕ ( p * , x 0 ) , which shows that limn→∞ϕ(x n , x0) = ϕ(p*, x0). If there exists some sequence { x n i } { x n } such that x n j q, then from Lemma 1.2(a) we have that

ϕ ( p * , q ) = lim n i , n j ϕ ( x n i , x n j ) = lim n i , n j ϕ ( x n i , Π C n j x 0 ) lim n i , n j ( ϕ ( x n i , x 0 ) - ϕ ( Π C n j x 0 , x 0 ) ) = lim n i , n j ( ϕ ( x n i , x 0 ) - ϕ ( x n j , x 0 ) ) = ϕ ( p * , x 0 ) - ϕ ( p * , x 0 ) = 0 .

This implies that p* = q and

lim n x n = p * .
(3.6)

(V) Now we prove that p * G=FΩ.

First, we prove that p * F. In fact, since xn+1 Cn+1 C n , it follows from (3.1) and (3.6) that

ϕ x n + 1 , y n ϕ x n + 1 , x n + ξ n 0 n .

By the virtue of Lemma 2.1, we have

lim n y n = p * .
(3.7)

From (3.5), for any uF and w n , i T i n x n , we have

ϕ u , y n ϕ u , x n + ξ n - 1 - α n β n , 0 β n , l g | | J x n - J w n , l | | ,

i.e.,

1 - α n β n , 0 β n , l g | | J x n - J w n , l | | ϕ u , x n  +  ξ n - ϕ u , y n 0 n .

By conditions (ii) and (iii) it shows that limn→∞g(||Jx n - Jwn,l||) = 0. In view of property of g, we have

| | J x n - J w n , l | | 0 ( n ) , l 1 .

Since Jx n Jp*, this implies that Jwn,lJp*. From Remark 1.1 (ii) it yields

w n , l p * ( n ) , l 1 .
(3.8)

Again since

| | | w n , l | | - | | p * | | | = | | | J w n , l | | - | | J p * | | | | | J w n , l - J p * | | 0 ( n ) ,

this together with (3.8) and the Kadec-Klee property of X shows that

lim n w n , l = p * , l 1 .
(3.9)

Let {sn,l} be a sequence generated by

s 2 , l T l w 1 , l T l 2 x 1 , s 3 , l T l w 2 , l T l 3 x 2 , , s n + 1 , l T l w n , l T l n + 1 x n , , l 1

By the assumption that each T i is uniformly L i -Lipschitz continuous, hence for any w n , l T l n x n and s n + 1 , l T l w n T l n + 1 x n we have

| | s n + 1 , l - w n , l | | | | s n + 1 , l - w n + 1 , l | | + | | w n + 1 , l - x n + 1 | | + | | x n + 1 - x n | | + | | x n - w n , l | | ( L l + 1 ) | | x n + 1 - x n | | + | | w n + 1 , l - x n + 1 | | + | | x n - w n , l | | .
(3.10)

This together with (3.6) and (3.10) shows that

lim n | | s n + 1 , l - w n , l | | = 0 , a n d lim n s n + 1 , l = p * .

In view of the closeness of T l , it yields that p* Tp*, i.e., p* F (T l ). By the arbitrariness of l ≥ 1, we have

p * F = i = 1 F ( T i ) .

Next, we prove that p* Ω. Since x n + 1 = Π C n + 1 x 0 C n , it follows from (3.1) and (3.6) that

ϕ ( x n + 1 , u n ) ϕ ( x n + 1 , x n ) + ξ n 0 ( n ) .

Since x n p*, by virtue of Lemma 2.1 we have

lim n u n = p * .
(3.11)

This together with (3.7) shows that ||u n - y n || → 0 and lim n →∞ ||Ju n - Jy n || → 0. By the assumption that r n a, n ≥ 0, we have

lim n | | J u n - J y n | | r n = 0 .
(3.12)

Since H ( u n , y ) + 1 r n y - u n , J u n - J y n 0 , y C , by condition (A1), we have

1 r n y - u n , J u n - J y n - H ( u n , y ) H ( y , u n ) , y C .
(3.13)

By the assumption that y H(x, y) is convex and lower semi-continuous, letting n → ∞ in (3.13), from (3.11) and (3.12), we have H(y, p*) ≤ 0, y C.

For t (0, 1] and y C, letting y t = ty + (1 - t)p*, therefore y t C and H(y t , p*) ≤ 0. By condition (A1) and (A4), we have

0 = H ( y t , y t ) t H ( y t , y ) + ( 1 - t ) H ( y t , p * ) t H ( y t , y ) .

Dividing both sides of the above equation by t, we have H(y t , y) ≤ 0, y C. Letting t ↓ 0, from condition (A3), we have H(p*, y) ≤ 0, y C, i.e., p* Ω, and p * G=FΩ.

(VI) we prove that x n p * = Π G x 0 .

Let q = ∏ G x0. Since qG C n and x n = ∏ Cn x0, we have

ϕ ( x n , x 0 ) ϕ ( q , x 0 ) , n 0 .

This implies that

ϕ ( p * , x 0 ) = lim n ϕ ( x n , x 0 ) ϕ ( q , x 0 ) .
(3.14)

In view of the definition of Π G x 0 , from (3.14) we have p* = q. Therefore, x n p * = Π G x 0 . This completes the proof of Theorem 3.1.

Definition 3.2 A finite family of multi-valued mappings { T i } i = 1 :C 2 C is said to be uniformly quasi-ϕ-asymptotically nonexpansive, if F = i = 1 F ( T i ) and there exists a real sequence {k n } [1, ∞), k n → 1 such that for each i = 1, 2, . . . , N

ϕ ( p , w n , i ) k n ϕ ( p , x ) , x C , p i = 1 F ( T i ) , w n , i T i n x
(3.15)

The following theorems can be obtained from Theorem 3.1 immediately.

Theorem 3.3 Let X, C, Θ, A, ψ be as in Theorem 3.1. Let T i i = 1 be a countable family of closed and uniformly quasi-ϕ-asymptotically nonexpansive multi-valued mappings with a real sequence {k n } [1, ∞), k n → 1 and for each i = 1, 2, . . . , T i be uniformly L i -Lipschitzian. Let {x n } be the sequence generated by

x 0 C chosen arbitrary , C 0 = C , y n = J - 1 ( α n J x n + ( 1 - α n ) J z n ) , n 1 , z n = J - 1 β n , 0 J x n + i = 1 β n , i J w n , i , ( w n , i T i n x n , i 1 ) , n 1 , u n C s u c h t h a t y C Θ ( u n , y ) + A u n , y - u n + ψ ( y ) - ψ ( u n ) + 1 r n y - u n , J u n - J y n 0 , C n + 1 = { ν C n : ϕ ( ν , u n ) ϕ ( ν , x n ) + ξ n } , n 0 , x n + 1 = Π C n + 1 x 0 , n 0 ,
(3.16)

where F:= i = 1 F ( T i ) , ξ n = ( k n - 1 ) sup p F ζ ( ϕ ( p , x n ) ) , { β n , 0 , β n , i } i = 1 ,and {α n } are sequences in 0[1] satisfying the conditions (i), (ii), (iii) in Theorem 3.1. If F:= i = 1 F ( T i ) is a bounded subset of C, then {x n } converges strongly to Π G x 0 .

Proof. Since T i i = 1 is a countable family of closed and uniformly quasi-ϕ-asymptotically nonexpansive multi-valued mappings, by Remark 1.5(2), it is a countable family of closed and uniformly total quasi-ϕ-asymptotically nonexpansive multi-valued mappings with non-negative sequences {ν n = (k n - 1)}, {μ n = 0} and a strictly increasing and continuous function ζ(t) = t, t ≥ 0. Hence ξ n = ( k n - 1 ) sup p F ϕ ( p , x n ) 0 (as n → ∞). Therefore all conditions in Theorem 3.1 are satisfied. The conclusion of Theorem 3.3 can be obtained from Theorem 3.1 immediately.

Theorem 3.4 Let X, C, Θ, A, ψ be as in Theorem 3.1. Let T i i = 1 be a countable family of closed and quasi-ϕ-nonexpansive multi-valued mappings. Let {x n } be the sequence generated by

x 0 C chosen arbitrary , C 0 = C , y n = J - 1 ( α n J x n + ( 1 - α n ) J z n ) , n 1 , z n = J - 1 β n , 0 J x n + i = 1 β n , i J w n , i , ( w n , i T i n x n , i 1 ) , n 1 , u n C s u c h t h a t y C , n 1 , Θ ( u n , y ) + A u n , y - u n + ψ ( y ) - ψ ( u n ) + 1 r n y - u n , J u n - J y n 0 , C n + 1 = { ν C n : ϕ ( ν , u n ) ϕ ( ν , x n ) } , n 0 , x n + 1 = Π C n + 1 x 0 , n 0 ,
(3.17)

where { β n , 0 , β n , i } i = 1 and {α n } are sequences in 0[1] satisfying the conditions (i), (ii), (iii) in Theorem 3.1. If F : = i = 1 F ( T i ) , then {x n } converges strongly to Π G x 0 .

Proof. Since T i i = 1 is a countable family of closed quasi-ϕ-nonexpansive multi-valued mappings, by Remark 1.5(3), it is a countable of closed and uniformly quasi-ϕ- asymptotically nonexpansive multi-valued mappings with sequence {k n = 1}. Hence ξ n = ( k n - 1 ) sup u F ϕ ( u , x n ) = 0 Therefore, the conditions appearing in Theorem 3.3: " is a bounded subset in C" and "for each i ≥ 1, T i is uniformly L i -Lipschitz" is no use here. Therefore all conditions in Theorem 3.3 are satisfied. The conclusion of Theorem 3.4 can be obtained from Theorem 3.3 immediately.

Remark 3.5 Theorems 3.1, 3.3, and 3.4 not only generalize the corresponding results of Matsushita and Takahashi [5], Plubtieng and Ungchittrakool [6], Ceng et al. [9], Su et al. [10], Ofoedu and Malonza [11], Wang et al. [12], Chang et al. [4, 7, 8, 13, 17, 19, 20], Yao et al. [14], Zegeye et al. [15] and Nilsrakoo and Saejung [16] from single-valued mappings to multi-valued mappings, but also improve and extend the main results of Homaeipour and Razani [3] and the method adopted in this article is also different from that one adopted in [3].

4. Applications

In this section, we shall utilize the results presented in Section 3 to study some problems.

(I) Application to convex feasibility problem.

The "so called" convex feasibility problem for a family of mappings { T i } i = 1 ω (where ω is a finite positive integer or +∞) is to finding a point in the nonempty intersection i = 1 ω C i , where C i is a fixed point set of T i , i = 1, 2, . . . , ω.

In Theorem 3.4 if Θ = 0, A = 0, ψ = 0, then by Lemma 1.2(c), the condition "u n C such that y C, 〈y - u n , Ju n - Jy n 〉 ≥ 0" is equivalent to u n = Π C (y n ). Hence from Theorem 3.4, the iterative sequence {x n } defined by

x 0 C chosen arbitrary , C 0 = C , y n = J - 1 ( α n J x n + ( 1 - α n ) J z n ) , n 1 , z n = J - 1 β n , 0 J x n + i = 1 β n , i J w n , i , ( w n , i T i n x n , i 1 ) , n 1 , C n + 1 = { ν C n : ϕ ( ν , u n ) ϕ ( ν , x n ) } , u n = Π C y n , n 1 , x n + 1 = Π C n + 1 x 0 , n 0 ,
(4.1)

converges strongly to a point p * = F x 0 , which is a solution of the convex feasibility problem for a countable family of closed and quasi-ϕ-nonexpansive multi-valued mappings T i i = 1 where F= i = 1 F ( T i ) .

(II) Application to generalized MEP

In Theorem 3.4 taking T i = I, i ≥ 1, (the identity mapping on C), then z n = y n = x n ,n1,F=C,G=Ω. By Theorem 3.4 the sequence {x n } defined by

x 0 C chosen arbitrary , C 0 = C , u n C s u c h t h a t y C , n 1 , Θ ( u n , y ) + A u n , y - u n + ψ ( y ) - ψ ( u n ) + 1 r n y - u n , J u n - J x n 0 , C n + 1 = { ν C n : ϕ ( ν , u n ) ϕ ( ν , x n ) } , n 0 , x n + 1 = Π C n + 1 x 0 , n 0 .
(4.2)

converges strongly to a point p* = ∏Ωx0, which is a solution of the generalized MEP (1.1).

(III) Application to optimization problem

In (4.2), if Θ = 0, A = 0, then from Theorem 3.4 the sequence {x n } defined by

x 0 C chosen arbitrary , C 0 = C , u n C s u c h t h a t y C ψ ( y ) - ψ ( u n ) + 1 r n y - u n , J u n - J x n 0 , C n + 1 = { ν C n : ϕ ( ν , u n ) ϕ ( ν , x n ) } , n 0 , x n + 1 = Π C n + 1 x 0 .
(4.3)

converges strongly to a point p* = ∏ K x0 which is a solution of the optimization problem min xC ψ(x), where K C is the set of solutions to this optimization problem.

(IV) Application to the mixed variational inequality problem of Browder type

In (4.2), if Θ = 0, then the iterative sequence {x n } defined by

x 0 C chosen arbitrary , C 0 = C , u n C s u c h t h a t y C A u n , y - u n + ψ ( y ) - ψ ( u n ) + 1 r n y - u n , J u n - J x n 0 , C n + 1 = { ν C n : ϕ ( ν , u n ) ϕ ( ν , x n ) } , n 0 , x n + 1 = Π C n + 1 x 0 .
(4.4)

converges strongly to a point p* = ∏ Q x0 which is a solution of the mixed variational inequality of Browder type (1.4), where Q is the set of solutions to equation (1.4).

References

  1. Cioranescu I: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems. Kluwer Academic Publishers, Dordrecht 1990.

    Google Scholar 

  2. Alber YI: Metric and generalized projection operators in Banach space: properties and application. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Edited by: Kartosator AG. Marcel Dekker, New York; 1996:15–50.

    Google Scholar 

  3. Homaeipour S, Razani A: Weak and strong convergence theorems for relatively nonexpansive multi-valued mappings in Banach spaces. Fixed Point Theorem Appl 2011., 73: doi:10.1186/1687–1812–2011–73

    Google Scholar 

  4. Chang S-s, Joseph Lee HW, Chi Kin Chan, Zhang WB: A modified Halpern-type iterative algorithm for totally quasi- ϕ -asymptotically nonexpansive mappings with applications. Appl Math Comput 2012, 218: 6489–6497. 10.1016/j.amc.2011.12.019

    Article  MathSciNet  MATH  Google Scholar 

  5. Matsushita S, Takahashi W: A strong convergence theorem for relatively nonexpansive mappings in Banach spaces. J Approx Theory 2005, 134: 257–266. 10.1016/j.jat.2005.02.007

    Article  MathSciNet  MATH  Google Scholar 

  6. Plubtieng S, Ungchittrakool K: Hybrid iterative method for convex feasibility problems and fixed point problems of relatively nonexpansive mappings in Banach spaces. Fixed Point Theor Appl 2008, 2008: 19. Article ID 583082, doi:10.1155/2008/58308

    Article  MathSciNet  MATH  Google Scholar 

  7. Chang S-s, Joseph Lee HW, Chan CK: A block hybrid method for solving generalized equilibrium problems and convex feasibility problem. Adv Comput Math 2011. doi:10.1007/s10444–011–9249–5

    Google Scholar 

  8. Chang S-s, Joseph Lee HW, Chan CK, Yang L: Approximation theorems for total quasi- ϕ -asymptotically nonexpansive mappings with applications. Appl Math Comput 2011, 218: 2921–2931. 10.1016/j.amc.2011.08.036

    Article  MathSciNet  MATH  Google Scholar 

  9. Ceng L-C, Guu S-M, Hu H-Y, Yao J-C: Hybrid shrinking projection method for a generalized equilibrium problem, a maximal monotone operator and a countable family of relatively nonexpansive mappings. Comput Math Appl 2011, 61: 2468–2479. 10.1016/j.camwa.2011.02.028

    Article  MathSciNet  MATH  Google Scholar 

  10. Su YF, Xu HK, Zhang X: Strong convergence theorems for two countable families of weak relatively nonexpansive mappings and applications. Nonlinear Anal 2010, 73: 3890–3906. 10.1016/j.na.2010.08.021

    Article  MathSciNet  MATH  Google Scholar 

  11. Ofoedu EU, Malonza DM: Hybrid approximation of solutions of nonlinear operator equations and application to equation of Hammerstein-type. Appl Math Comput 2011, 217: 6019–6030. 10.1016/j.amc.2010.12.073

    Article  MathSciNet  MATH  Google Scholar 

  12. Wang ZM, Su YF, Wang DX, Dong YC: A modified Halpern-type iteration algorithm for a family of hemi-relative nonexpansive mappings and systems of equilibrium problems in Banach spaces. J Comput Appl Math 2011, 235: 2364–2371. 10.1016/j.cam.2010.10.036

    Article  MathSciNet  MATH  Google Scholar 

  13. Chang SS, Chan CK, Joseph Lee HW: Modified block iterative algorithm for quasi- ϕ -asymptotically nonexpansive mappings and equilibrium problem in Banach spaces. Appl Math Comput 2011, 217: 7520–7530. 10.1016/j.amc.2011.02.060

    Article  MathSciNet  MATH  Google Scholar 

  14. Yao YH, Liou YC, Kang SM: Strong convergence of an iterative algorithm on an infinite countable family of nonexpansive mappings. Appl Math Comput 2009, 208: 211–218. 10.1016/j.amc.2008.11.038

    Article  MathSciNet  MATH  Google Scholar 

  15. Zegeye H, Ofoedu EU, Shahzad N: Convergence theorems for equilibrium problem, variational inequality problem and countably infinite relatively quasi-nonexpansive mappings. Appl Math Comput 2010, 216: 3439–3449. 10.1016/j.amc.2010.02.054

    Article  MathSciNet  MATH  Google Scholar 

  16. Nilsrakoo W, Saejung S: Strong convergence theorems by Halpern-Mann iterations for relatively non-expansive mappings in Banach spaces. Appl Math Comput 2011, 217: 6577–6586. 10.1016/j.amc.2011.01.040

    Article  MathSciNet  MATH  Google Scholar 

  17. Chang S-s, Joseph Lee HW, Chan CK, Liu Ja: Strong convergence theorems for countable families of asymptotically relatively nonexpansive mappings with applications. Appl Math Comput 2011, 218: 3187–3198. 10.1016/j.amc.2011.08.055

    Article  MathSciNet  MATH  Google Scholar 

  18. Zhang S-s: The generalized mixed equilibrium problem in Banach space. Appl Math Mech 2009, 30: 1105–1112. 10.1007/s10483-009-0904-6

    Article  MathSciNet  MATH  Google Scholar 

  19. Chang S-s, Kim JK, Wang XR: Modified block iterative algorithm for solving convex feasibility problems in Banach spaces. J Inequal Appl 2010, 2010: V. Article ID 869684 (2010) 14 pages, doi: 1155/2010/869684. doi:10.1155/2010/869684

    MathSciNet  Google Scholar 

  20. Chang S-s, Joseph Lee HW, Chan CK, Yang L: Approximation theorems for total quasi- ϕ -asymptotically nonexpansive mappings with applications. Appl Math Comput 2011, 218: 2921–2931. 10.1016/j.amc.2011.08.036

    Article  MathSciNet  MATH  Google Scholar 

  21. Luchuan C, Jenchih Y: A hybrid iterative scheme for mixed equilibrium problems and fixed point problems. J Comput Appl Math 2008, 214: 186–201. 10.1016/j.cam.2007.02.022

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This study was supported by the Natural Science Foundation of Yunnan Province (Grant No. 2011FB074).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shih-Sen Chang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

All the authors contributed equally to the writing of the present article. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Chang, SS., Wang, L., Tang, YK. et al. Strong convergence theorems of nonlinear operator equations for countable family of multi-valued total quasi-ϕ-asymptotically nonexpansive mappings with applications. Fixed Point Theory Appl 2012, 69 (2012). https://doi.org/10.1186/1687-1812-2012-69

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1812-2012-69

Keywords