Skip to main content

Strongly relatively nonexpansive sequences generated by firmly nonexpansive-like mappings

Abstract

We show that a strongly relatively nonexpansive sequence of mappings can be constructed from a given sequence of firmly nonexpansive-like mappings in a Banach space. Using this result, we study the problem of approximating common fixed points of such a sequence of mappings.

MSC:47H09, 47H05, 65J15.

1 Introduction

The aim of the present paper is twofold. Firstly, we construct a strongly relatively nonexpansive sequence from a given sequence of firmly nonexpansive-like mappings with a common fixed point in Banach spaces. Secondly, we obtain two convergence theorems for firmly nonexpansive-like mappings in Banach spaces and discuss their applications.

The class of firmly nonexpansive-like mappings (or mappings of type (P)) introduced in [1] plays an important role in nonlinear analysis and optimization. In fact, the fixed point theory for such mappings can be applied to several nonlinear problems such as zero point problems for monotone operators, convex feasibility problems, convex minimization problems, equilibrium problems, and so on; see [13] and Section 5 for more details.

Let C be a nonempty closed convex subset of a smooth, strictly convex, and reflexive Banach space X, J the normalized duality mapping of X into X , and T:CX a firmly nonexpansive-like mapping; see (2.16). The set of all fixed points of T is denoted by F(T). It is known [[1], Theorem 7.4] that if C is bounded, then F(T) is nonempty. Martinet’s theorem [[4], Théorème 1] ensures that if X is a Hilbert space and C is bounded, then the sequence { T n x} converges weakly to an element of F(T) for each xC. However, we do not know whether Martinet’s theorem holds for firmly nonexpansive-like mappings in Banach spaces.

On the other hand, using the metric projections in Banach spaces, Kimura and Nakajo [[5], Theorems 6 and 7] recently obtained generalizations of the results due to Crombez [[6], Theorem 3] and Brègman [[7], Theorem 1].

In this paper, inspired by [5], we investigate the asymptotic behavior of the following sequences { x n } and { y n } in a uniformly smooth and 2-uniformly convex Banach space X:

x n + 1 = Q C J 1 ( J x n ( μ X ) 2 J ( x n T x n ) )
(1.1)

and

y n + 1 = Q C J 1 ( α n J y 1 + ( 1 α n ) ( J y n ( μ X ) 2 J ( y n T y n ) ) )
(1.2)

for all nN, where x 1 , y 1 C, μ X denotes the uniform convexity constant of X, Q C denotes the generalized projection of X onto C, and { α n } is a sequence of [0,1]. If X is a Hilbert space, then (1.1) and (1.2) are reduced to

x n + 1 =T x n and y n + 1 = α n y 1 +(1 α n )T y n
(1.3)

for all nN, respectively.

This paper is organized as follows: In Section 2, we give some definitions and state some known results. In Section 3, we obtain two lemmas for a single firmly nonexpansive-like mapping. In Section 4, we construct strongly relatively nonexpansive sequences of mappings from a given sequence of firmly nonexpansive-like mappings. Using these results, we deduce two convergence theorems. In Section 5, we discuss some applications of our results.

2 Preliminaries

Throughout the present paper, we denote by the set of all positive integers, the set of all real numbers, X a real Banach space with dual X , the norms of X and X , x, x the value of x X at xX, x n x strong convergence of a sequence { x n } of X to xX, x n x weak convergence of a sequence { x n } of X to xX, S X the unit sphere of X, and B X the closed unit ball of X.

The normalized duality mapping of X into X is defined by

Jx= { x X : x , x = x 2 = x 2 }
(2.1)

for all xX. The space X is said to be smooth if

lim t 0 x + t y x t
(2.2)

exists for all x,y S X . The space X is also said to be uniformly smooth if (2.2) converges uniformly in x,y S X . It is said to be strictly convex if (x+y)/2<1 whenever x,y S X and xy. It is said to be uniformly convex if δ X (ε)>0 for all ε(0,2], where δ X is the modulus of convexity of X defined by

δ X (ε)=inf { 1 x + y 2 : x , y B X , x y ε }
(2.3)

for all ε[0,2]. The space X is said to be 2-uniformly convex if there exists c>0 such that δ X (ε)c ε 2 for all ε[0,2]. It is obvious that every 2-uniformly convex Banach space is uniformly convex. It is known that all Hilbert spaces are uniformly smooth and 2-uniformly convex. It is also known that all the Lebesgue spaces L p are uniformly smooth and 2-uniformly convex whenever 1<p2; see [[8], pp.198-203]. For a smooth Banach space, J is said to be weakly sequentially continuous if {J x n } converges weakly to Jx whenever { x n } is a sequence of X such that x n xX. We know the following fundamental result.

Lemma 2.1 ([810])

The space X is 2-uniformly convex if and only if there exists μ1 such that

x + y 2 + x y 2 2 x 2 + μ 1 y 2
(2.4)

for all x,yX.

The minimum value of the set of all μ1 satisfying (2.4) for all x,yX is denoted by μ X and is called the 2-uniform convexity constant of X; see [9]. It is obvious that μ X =1 whenever X is a Hilbert space.

In what follows throughout this section, we assume the following:

  • X is a smooth, strictly convex, and reflexive Banach space;

  • C is a nonempty closed convex subset of X.

In this case, J is single valued, one to one, and onto; see [11, 12] for more details. We denote by ϕ the function of X×X into defined by

ϕ(x,y)= x 2 2x,Jy+ y 2
(2.5)

for all x,yX; see [13, 14]. It is known that

ϕ(x,y)=ϕ(x,z)+ϕ(z,y)+2xz,JzJy
(2.6)

for all x,y,zX. Using Lemma 2.1, we can show the following lemma.

Lemma 2.2 Suppose that X is 2-uniformly convex. Then

( 1 μ X x y ) 2 ϕ(x,y)
(2.7)

for all x,yX.

Proof By (2.4) and the definition of μ X , we have

u + v 2 2 u 2 + v 2 2 ( 1 2 μ X ) 2 u v 2
(2.8)

for all u,vX. Let x,yX be given. By (2.8) and induction, we can easily show that

( 1 1 2 n ) y + 1 2 n x 2 ( 1 1 2 n ) y 2 + 1 2 n x 2 ( 1 μ X ) 2 ( 1 1 2 n ) 1 2 n y x 2
(2.9)

for all nN. Hence we have

2 n ( y + 1 2 n ( x y ) 2 y 2 ) y 2 + x 2 ( 1 μ X ) 2 ( 1 1 2 n ) y x 2
(2.10)

for all nN. The smoothness of X implies that

2xy,Jy= lim t 0 y + t ( x y ) 2 y 2 t .
(2.11)

By (2.10) and (2.11), we have

2 x y , J y = lim n 2 n ( y + 1 2 n ( x y ) 2 y 2 ) y 2 + x 2 ( 1 μ X ) 2 x y 2 .
(2.12)

Therefore, we obtain ( x y / μ X ) 2 ϕ(x,y) as desired. □

The metric projection P C of X onto C and the generalized projection Q C of X onto C are defined by

P C x= argmin y C yxand Q C x= argmin y C ϕ(y,x)
(2.13)

for all xX, respectively. The following holds for xX and zC:

z= P C x y z , J ( x z ) 0(yC);
(2.14)

see [[12], Corollary 6.5.5]. The following also holds for xX and zC:

z= Q C xyz,JxJz0(yC);
(2.15)

see [[13], Remark 7.3] and [[14], Proposition 4].

A mapping T:CX is said to be a firmly nonexpansive-like mapping (or a mapping of type (P)) [1] if

T x T y , J ( x T x ) J ( y T y ) 0
(2.16)

for all x,yC; see also [2, 3]. The set of all fixed points of T is denoted by F(T). If X is a Hilbert space, then T is firmly nonexpansive-like if and only if it is firmly nonexpansive, i.e., T x T y 2 TxTy,xy for all x,yC. It is known [1] that the following hold:

  • the metric projection P C of X onto C is a firmly nonexpansive-like mapping and F( P C )=C;

  • if A:X 2 X is maximal monotone and λ>0, then the resolvent K λ :XX of A defined by K λ = ( I + λ J 1 A ) 1 is a firmly nonexpansive-like mapping and F( K λ )= A 1 0.

Let T:CX be a mapping. A point pC is said to be an asymptotic fixed point of T if there exists a sequence { x n } of C such that x n p and x n T x n 0; see [15, 16]. The set of all asymptotic fixed points of T is denoted by F ˆ (T). The mapping T is said to be of type (r) if F(T) is nonempty and ϕ(u,Tx)ϕ(u,x) for all uF(T) and xC. It is known that if T is of type (r), then F(T) is closed and convex; see [[16], Proposition 2.4]. The mapping T is said to be of type (sr) if T is of type (r) and ϕ(T z n , z n )0 whenever { z n } is a bounded sequence of C such that ϕ(u, z n )ϕ(u,T z n )0 for some uF(T); see [17]. We know the following results:

Lemma 2.3 ([[3], Lemma 2.2])

If T:CX is a firmly nonexpansive-like mapping, then F(T) is a closed convex subset of X and F ˆ (T)=F(T).

Lemma 2.4 ([[17], Lemmas 3.2 and 3.3])

Suppose that X is uniformly convex. If S:XX and T:CX are mappings of type (r) such that F(S)F(T) is nonempty and S or T is of type (sr), then ST:CX is of type (r) and F(ST)=F(S)F(T). Further, if both S and T are of type (sr), then so is ST.

Let { T n } be a sequence of mappings of C into X. The set of all common fixed points of { T n } is denoted by F({ T n }). The sequence { T n } is said to be of type (sr) (or strongly relatively nonexpansive) if F({ T n }) is nonempty, each T n is of type (r), and ϕ( T n z n , z n )0 whenever { z n } is a bounded sequence of C such that ϕ(u, z n )ϕ(u, T n z n )0 for some uF({ T n }); see [18]. The sequence { T n } is said to satisfy the condition (Z) if every weak subsequential limit of { x n } belongs to F({ T n }) whenever { x n } is a bounded sequence of C such that x n T n x n 0; see [18].

Remark 2.5 For a mapping T of C into X, the following hold: T is of type (sr) if and only if {T,T,} is of type (sr); F ˆ (T)=F(T) if and only if {T,T,} satisfies the condition (Z).

We know the following fundamental results; see [[18], Theorem 3.4] for (i) and [[19], Propositions 3 and 6] for (ii).

Lemma 2.6 Suppose that X is uniformly convex. Let { S n } be a sequence of mappings of X into itself and { T n } a sequence of mappings of C into X such that F({ S n })F({ T n }) is nonempty, both { S n } and { T n } are of type (sr), and S n or T n is of type (sr) for all nN. Then the following hold:

  1. (i)

    { S n T n } is of type (sr);

  2. (ii)

    if X is uniformly smooth and both { S n } and { T n } satisfy the condition (Z), then so does { S n T n }.

We know the following result; see [[18], Theorem 4.1] for (i) and [[20], Theorem 4.1] for (ii).

Theorem 2.7 Let X be a smooth and uniformly convex Banach space, C a nonempty closed convex subset of X, and { T n } a sequence of mappings of C into X such that { T n } is of type (sr) and { T n } satisfies the condition (Z). Then the following hold:

  1. (i)

    if T n (C)C for all nN and J is weakly sequentially continuous, then the sequence { x n } defined by x 1 C and x n + 1 = T n x n for all nN converges weakly to the strong limit of { Q F x n };

  2. (ii)

    if u is an element of X and { α n } is a sequence of [0,1] such that α n >0 for all nN, α n 0, and n = 1 α n =, then the sequence { y n } defined by y 1 C and y n + 1 = Q C J 1 ( α n Ju+(1 α n )J T n y n ) for all nN converges strongly to Q F u.

3 Lemmas

Throughout this section, we assume the following:

  • C is a nonempty closed convex subset of a smooth, strictly convex, and reflexive Banach space X;

  • T is a firmly nonexpansive-like mapping of C into X;

  • S is a mapping of C into X defined by S= J 1 (JβJ(IT)), where β>0 and I denotes the identity mapping on C.

Lemma 3.1 The following hold:

  1. (i)

    F(S)=F(T) and F( Q C S)=F( P C T);

  2. (ii)

    if F(T) is nonempty, then F( P C T)=F(T).

Proof We can easily see that F(S)=F(T). We first show that F( Q C S)=F( P C T). Let uC be given. Then it follows from (2.14) and (2.15) that

Q C ( S u ) = u y u , J S u J u 0 ( y C ) y u , β J ( u T u ) 0 ( y C ) y u , J ( T u u ) 0 ( y C ) P C ( T u ) = u .
(3.1)

Thus we have F( Q C S)=F( P C T).

We next show (ii). Suppose that F(T) is nonempty. It is sufficient to show that F( P C T)F(T). Let vF( P C T) be given and fix pF(T). Then it follows from (2.14) that

p v , J ( T v v ) 0.
(3.2)

On the other hand, since T is firmly nonexpansive-like and pF(T), we know that

T v p , J ( T v v ) 0.
(3.3)

By (3.2) and (3.3), we obtain T v v 2 0. Thus we know that vF(T). □

Lemma 3.2 Suppose that X is 2-uniformly convex and F(T) is nonempty. Then

ϕ(u,Sx)+ 1 2 ( 2 μ X 2 β ) S x x 2 ϕ(u,x)
(3.4)

for all uF(S) and xC.

Proof Let uF(S) and xC be given. Then it follows from (2.6) and the definition of S that

ϕ ( u , S x ) + ϕ ( S x , x ) ϕ ( u , x ) = 2 u S x , J x J S x = 2 β u S x , J ( x T x ) .
(3.5)

Since T is firmly nonexpansive-like and uF(T) by (i) of Lemma 3.1, we know that

u S x , J ( x T x ) = u T x , J ( x T x ) + T x S x , J ( x T x ) T x S x , J ( x T x ) .
(3.6)

On the other hand, we have

T x S x , J ( x T x ) = T x x 2 + x S x , J ( x T x ) ( T x x 2 x S x x T x ) = ( T x x 1 2 S x x ) 2 + 1 4 S x x 2 1 4 S x x 2 .
(3.7)

Since β>0, it follows from (3.5), (3.6), and (3.7) that

ϕ(u,Sx)+ϕ(Sx,x)ϕ(u,x) β 2 S x x 2 .
(3.8)

Since X is 2-uniformly convex, Lemma 2.2 implies that

( μ X ) 2 S x x 2 ϕ(Sx,x).
(3.9)

By (3.8) and (3.9), we obtain the desired inequality. □

4 Construction of strongly relatively nonexpansive sequences

Throughout this section, we assume the following:

  • C is a nonempty closed convex subset of a smooth and 2-uniformly convex Banach space X;

  • { T n } is a sequence of firmly nonexpansive-like mappings of C into X such that F=F({ T n }) is nonempty;

  • { S n } is a sequence of mappings of C into X defined by

    S n = J 1 ( J β n J ( I T n ) )
    (4.1)

for all nN, where { β n } is a sequence of real numbers such that 0< inf n β n and sup n β n <2 ( μ X ) 2 and I denotes the identity mapping on C.

Theorem 4.1 The following hold:

  1. (i)

    F({ S n })=F and { S n } is of type (sr);

  2. (ii)

    if X is uniformly smooth and { T n } satisfies the condition (Z), then so does { S n }.

Proof By (i) of Lemma 3.1, we know that F({ S n })=F. We first show that { S n } is of type (sr). Note that F({ S n }) is nonempty. By Lemma 3.2, we also know that each S n is a mapping of type (r) of C into X. Suppose that { z n } is a bounded sequence of C such that

ϕ(u, z n )ϕ(u, S n z n )0
(4.2)

for some uF({ S n }). Then it follows from Lemma 3.2 that

0 1 2 ( 2 μ X 2 β n ) S n z n z n 2 ϕ(u, z n )ϕ(u, S n z n )0.
(4.3)

Thus it follows from sup n β n <2 ( μ X ) 2 that S n z n z n 0. Consequently, we have ϕ( S n z n , z n )0 and hence { S n } is of type (sr).

We next show (ii). Suppose that X is uniformly smooth and { T n } satisfies the condition (Z). Let p be a weak subsequential limit of a bounded sequence { x n } of C such that x n S n x n 0. By the definition of S n , we have

J( x n T n x n )= 1 β n (J x n J S n x n )
(4.4)

for all nN. Since J is uniformly norm-to-norm continuous on each nonempty bounded subset of X and sup n 1/ β n <, it follows from (4.4) that

x n T n x n = 1 β n J x n J S n x n 0.
(4.5)

By assumption, we know that pF=F({ S n }). Therefore, { S n } satisfies the condition (Z). □

By Lemma 2.3, Remark 2.5, and Theorem 4.1, we obtain the following.

Corollary 4.2 Let T be a firmly nonexpansive-like mapping of C into X such that F(T) is nonempty and S a mapping of C into X defined by

S= J 1 ( J β J ( I T ) ) ,
(4.6)

where 0<β<2 ( μ X ) 2 . Then the following hold:

  1. (i)

    F(S)=F(T) and S is of type (sr);

  2. (ii)

    if X is uniformly smooth, then F ˆ (S)=F(S).

We next show one of our main results in the present paper.

Theorem 4.3 Let { U n } be a sequence of mappings of C into itself defined by

U n = Q C S n
(4.7)

for all nN. Then the following hold:

  1. (i)

    F({ U n })=F and { U n } is of type (sr);

  2. (ii)

    if X is uniformly smooth and { T n } satisfies the condition (Z), then so does { U n }.

Proof By Lemma 3.1, we know that F( S n )=F( T n )=F( U n ) for all nN and hence F({ U n })=F. We first show that { U n } is of type (sr). By (i) of Corollary 4.2, we know that each S n is of type (sr). Since Q C is of type (sr) of X into itself and

F( Q C )F( S n )=F( T n )F,
(4.8)

Lemma 2.4 implies that each U n = Q C S n is also of type (sr). Since { Q C , Q C ,} is of type (sr) by Remark 2.5, { S n } is of type (sr) by (i) of Theorem 4.1, and

F( Q C )F ( { S n } ) =F,
(4.9)

the part (i) of Lemma 2.6 implies that { U n } is of type (sr).

We finally show (ii). Suppose that X is uniformly smooth and { T n } satisfies the condition (Z). Since C is weakly closed, we can easily see that F ˆ ( Q C )=F( Q C )=C. This implies that { Q C , Q C ,} satisfies the condition (Z). By (ii) of Theorem 4.1, we know that { S n } satisfies the condition (Z). Thus (ii) of Lemma 2.6 implies the conclusion. □

By Lemma 2.3, Remark 2.5, and Theorem 4.3, we obtain the following.

Corollary 4.4 Let T be a firmly nonexpansive-like mapping of C into X such that F(T) is nonempty and U a mapping of C into itself defined by

U= Q C J 1 ( J β J ( I T ) ) ,
(4.10)

where 0<β<2 ( μ X ) 2 . Then the following hold:

  1. (i)

    F(U)=F(T) and U is of type (sr);

  2. (ii)

    if X is uniformly smooth, then F ˆ (U)=F(U).

As a direct consequence of (i) of Theorem 2.7 and Theorem 4.3, we obtain the following result.

Theorem 4.5 Let X be a uniformly smooth and 2-uniformly convex Banach space, C a nonempty closed convex subset of X, { T n } a sequence of firmly nonexpansive-like mappings of C into X such that F=F({ T n }) is nonempty and { T n } satisfies the condition (Z), { β n } a sequence of real numbers such that

0< inf n β n and sup n β n < 2 ( μ X ) 2 ,
(4.11)

and { x n } a sequence defined by x 1 C and

x n + 1 = Q C J 1 ( J x n β n J ( x n T n x n ) )
(4.12)

for all nN. If J is weakly sequentially continuous, then { x n } converges weakly to the strong limit of { Q F x n }.

As a direct consequence of (ii) of Theorem 2.7 and Theorem 4.1, we obtain the following result.

Theorem 4.6 Let X, C, { T n }, F, { β n } be the same as in Theorem  4.5, { α n } a sequence of [0,1] such that α n >0 for all nN, α n 0, and n = 1 α n =, u an element of X, and { y n } a sequence defined by y 1 C and

y n + 1 = Q C J 1 ( α n J u + ( 1 α n ) ( J y n β n J ( y n T n y n ) ) )
(4.13)

for all nN. Then { y n } converges strongly to Q F u.

By Lemma 2.3, Theorem 4.5, and Theorem 4.6, we obtain the following corollary for a single firmly nonexpansive-like mapping.

Corollary 4.7 Let X be a uniformly smooth and 2-uniformly convex Banach space, C a nonempty closed convex subset of X, and T a firmly nonexpansive-like mapping of C into X such that F(T) is nonempty. Then the following hold:

  1. (i)

    if J is weakly sequentially continuous, then the sequence { x n } defined by x 1 C and (1.1) for all nN converges weakly to the strong limit of { Q F ( T ) x n };

  2. (ii)

    if { α n } is a sequence of [0,1] such that α n >0 for all nN, α n 0, and n = 1 α n =, then the sequence { y n } defined by y 1 C and (1.2) for all nN converges strongly to Q F ( T ) u.

Remark 4.8 Since μ X =1 and J is the identity mapping on C in the case when X is a Hilbert space, the part (i) of Corollary 4.7 is a generalization of Martinet’s theorem [[4], Théorème 1].

5 Applications

Using Theorem 4.5, we first study the problem of approximating zero points of maximal monotone operators.

Corollary 5.1 Let X be a uniformly smooth and 2-uniformly convex Banach space, A:X 2 X a maximal monotone operator such that F= A 1 0 is nonempty, { λ n } and { β n } sequences real numbers such that 0< inf n λ n , 0< inf n β n , and sup n β n <2 ( μ X ) 2 , { K λ n } a sequence of mappings defined by K λ n = ( I + λ n J 1 A ) 1 for all nN, where I denotes the identity mapping on X, and { x n } a sequence defined by x 1 X and

x n + 1 = J 1 ( J x n β n J ( x n K λ n x n ) )
(5.1)

for all nN. If J is weakly sequentially continuous, then { x n } converges weakly to the strong limit of { Q F x n }.

Proof It is well known that each K λ n is a single valued mapping of X into itself and F( K λ n )=F; see [21, 22]. We also know that each K λ n is firmly nonexpansive-like and { K λ n } satisfies the condition (Z); see [1, 3]. Therefore, Theorem 4.5 implies the conclusion. □

Remark 5.2 Corollary 5.1 is a generalization of Rockafellar’s weak convergence theorem [23] for the proximal point algorithm in Hilbert spaces.

Using Corollary 5.1, we next study the problem of minimizing a convex function. For a Banach space X and a function f:X(,], we denote by ∂f the subdifferential of f defined by

f(x)= { x X : ( f x ) ( x ) = inf ( f x ) ( X ) }
(5.2)

for all xX.

Corollary 5.3 Let X, { λ n }, and { β n } be the same as in Corollary  5.1, f:X(,] a proper lower semicontinuous convex function such that F=argminf is nonempty, and { x n } a sequence defined by x 1 X and

{ y n = argmin y X { f ( y ) + ( 2 λ n ) 1 y x n 2 } ; x n + 1 = J 1 ( J x n β n J ( x n y n ) )
(5.3)

for all nN. If J is weakly sequentially continuous, then { x n } converges weakly to the strong limit of { Q F x n }.

Proof We know that f:X 2 X is maximal monotone [24, 25] and ( f ) 1 (0)=argminf. We also know that

( I + λ J 1 f ) 1 x= argmin y X { f ( y ) + ( 2 λ ) 1 y x 2 }
(5.4)

for all λ>0 and xX, where I denotes the identity mapping on X. Therefore, the result follows from Corollary 5.1. □

Using Theorem 4.6, we can similarly show the following corollary.

Corollary 5.4 Let X, A, F, { λ n }, { β n }, and { K λ n } be the same as in Corollary  5.1, u an element of X, and { y n } a sequence defined by y 1 X and

y n + 1 = J 1 ( α n J u + ( 1 α n ) ( J y n β n J ( y n K λ n y n ) ) )
(5.5)

for all nN, where { α n } is a sequence of [0,1] such that α n >0 for all nN, α n 0, and n = 1 α n =. Then { y n } converges strongly to Q F u.

Using the results obtained in Section 4 and (i) of Theorem 2.7, we next study the problem of approximating common points of a given family of closed convex sets.

Corollary 5.5 Let X be a uniformly smooth and 2-uniformly convex Banach space, the set {1,2,,m}, where m is a positive integer, { C k } k I a finite family of closed convex subsets of X such that F= k I C k is nonempty, { β n , k } n N , k I a sequence of real numbers such that 0< inf n β n , k and sup n β n , k <2 ( μ X ) 2 for all kI, { S n , k } n N , k I a sequence of mappings defined by

S n , k = J 1 ( J β n , k J ( I P C k ) )
(5.6)

for all nN and kI, and { x n } a sequence defined by x 1 X and

x n + 1 = S n , 1 S n , 2 S n , m x n
(5.7)

for all nN. If J is weakly sequentially continuous, then { x n } converges weakly to the strong limit of { Q F x n }.

Proof For the sake of simplicity, we give the proof in the case when I={1,2,3}. Set

U n = S n , 1 , V n = S n , 2 and W n = S n , 3
(5.8)

for all nN. Note that x n + 1 = U n V n W n x n for all nN, P C k is firmly nonexpansive-like, and F ˆ ( P C k )=F( P C k )= C k for all k{1,2,3}. By Theorem 4.1 and Corollary 4.2, we know that the following hold:

  • F({ U n })= C 1 , F({ V n })= C 2 , and F({ W n })= C 3 ;

  • U n , V n , and W n are of type (sr) for all nN;

  • { U n }, { V n }, and { W n } are of type (sr);

  • { U n }, { V n }, and { W n } satisfy the condition (Z).

Since

F ( { U n } ) F ( { V n } ) = C 1 C 2 F,
(5.9)

Lemmas 2.4 and 2.6 ensure that the following hold:

  • F({ U n V n })=F({ U n })F({ V n })= C 1 C 2 ;

  • each U n V n is of type (sr);

  • { U n V n } is of type (sr) and satisfies the condition (Z).

Since

F ( { U n V n } ) F ( { W n } ) =( C 1 C 2 ) C 3 =F,
(5.10)

Lemmas 2.4 and 2.6 also ensure that F({ U n V n W n })=F({ U n V n })F({ W n })=F, { U n V n W n } is of type (sr), and { U n V n W n } satisfies the condition (Z). Therefore, (i) of Theorem 2.7 implies the conclusion. □

Using the results obtained in Section 4 and (ii) of Theorem 2.7, we can similarly show the following result.

Corollary 5.6 Let X, , { C k } k = 1 m , F, { β n , k } n N , k I , { S n , k } n N , k I be the same as in Corollary  5.5, u an element of X, and { y n } a sequence defined by y 1 X and

y n + 1 = J 1 ( α n J u + ( 1 α n ) J S n , 1 S n , 2 S n , m y n )
(5.11)

for all nN, where { α n } is a sequence of [0,1] such that α n >0 for all nN, α n 0, and n = 1 α n =. Then { y n } converges strongly to Q F u.

References

  1. 1.

    Aoyama K, Kohsaka F, Takahashi W: Three generalizations of firmly nonexpansive mappings: their relations and continuity properties. J. Nonlinear Convex Anal. 2009, 10: 131–147.

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Aoyama K, Kohsaka F: Existence of fixed points of firmly nonexpansive-like mappings in Banach spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 512751

    Google Scholar 

  3. 3.

    Aoyama K, Kohsaka F, Takahashi W: Strong convergence theorems for a family of mappings of type (P) and applications. In Nonlinear Analysis and Optimization. Yokohama Publishers, Yokohama; 2009:1–17.

    Google Scholar 

  4. 4.

    Martinet B: Détermination approchée d’un point fixe d’une application pseudo-contractante. Cas de l’application prox. C. R. Acad. Sci. Paris, Sér. A-B 1972, 274: A163-A165.

    MathSciNet  Google Scholar 

  5. 5.

    Kimura Y, Nakajo K: The problem of image recovery by the metric projections in Banach spaces. Abstr. Appl. Anal. 2013., 2013: Article ID 817392

    Google Scholar 

  6. 6.

    Crombez G: Image recovery by convex combinations of projections. J. Math. Anal. Appl. 1991, 155: 413–419. 10.1016/0022-247X(91)90010-W

    Article  MathSciNet  MATH  Google Scholar 

  7. 7.

    Brègman LM: The method of successive projection for finding a common point of convex sets. Sov. Math. Dokl. 1965, 6: 688–692.

    MATH  Google Scholar 

  8. 8.

    Beauzamy B: Introduction to Banach Spaces and Their Geometry. North-Holland, Amsterdam; 1985.

    Google Scholar 

  9. 9.

    Ball K, Carlen EA, Lieb EH: Sharp uniform convexity and smoothness inequalities for trace norms. Invent. Math. 1994, 115: 463–482. 10.1007/BF01231769

    Article  MathSciNet  MATH  Google Scholar 

  10. 10.

    Takahashi Y, Hashimoto K, Kato M: On sharp uniform convexity, smoothness, and strong type, cotype inequalities. J. Nonlinear Convex Anal. 2002, 3: 267–281.

    MathSciNet  MATH  Google Scholar 

  11. 11.

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

    Google Scholar 

  12. 12.

    Takahashi W: Nonlinear Functional Analysis. Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama; 2000.

    Google Scholar 

  13. 13.

    Alber YI: Metric and generalized projection operators in Banach spaces: properties and applications. 178. In Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. Dekker, New York; 1996.

    Google Scholar 

  14. 14.

    Kamimura S, Takahashi W: Strong convergence of a proximal-type algorithm in a Banach space. SIAM J. Optim. 2002, 13: 938–945. 10.1137/S105262340139611X

    Article  MathSciNet  Google Scholar 

  15. 15.

    Matsushita S, Takahashi W: Weak and strong convergence theorems for relatively nonexpansive mappings in Banach spaces. Fixed Point Theory Appl. 2004, 2004: 37–47.

    Article  MathSciNet  MATH  Google Scholar 

  16. 16.

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

    Article  MathSciNet  MATH  Google Scholar 

  17. 17.

    Aoyama K, Kohsaka F, Takahashi W: Strong convergence theorems by shrinking and hybrid projection methods for relatively nonexpansive mappings in Banach spaces. In Nonlinear Analysis and Convex Analysis. Yokohama Publishers, Yokohama; 2009:7–26.

    Google Scholar 

  18. 18.

    Aoyama K, Kohsaka F, Takahashi W: Strongly relatively nonexpansive sequences in Banach spaces and applications. J. Fixed Point Theory Appl. 2009, 5: 201–224. 10.1007/s11784-009-0108-7

    Article  MathSciNet  MATH  Google Scholar 

  19. 19.

    Aoyama K: Asymptotic fixed points of sequences of quasi-nonexpansive type mappings. In Banach and Function Spaces III. Yokohama Publishers, Yokohama; 2011:343–350.

    Google Scholar 

  20. 20.

    Aoyama K, Kimura Y, Kohsaka F: Strong convergence theorems for strongly relatively nonexpansive sequences and applications. J. Nonlinear Anal. Optim. 2012, 3: 67–77.

    MathSciNet  Google Scholar 

  21. 21.

    Barbu V: Nonlinear Semigroups and Differential Equations in Banach Spaces. Editura Academiei Republicii Socialiste România, Bucharest; 1976.

    Google Scholar 

  22. 22.

    Rockafellar RT: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 1970, 149: 75–88. 10.1090/S0002-9947-1970-0282272-5

    Article  MathSciNet  MATH  Google Scholar 

  23. 23.

    Rockafellar RT: Monotone operators and the proximal point algorithm. SIAM J. Control Optim. 1976, 14: 877–898. 10.1137/0314056

    Article  MathSciNet  MATH  Google Scholar 

  24. 24.

    Rockafellar RT: Characterization of the subdifferentials of convex functions. Pac. J. Math. 1966, 17: 497–510. 10.2140/pjm.1966.17.497

    Article  MathSciNet  MATH  Google Scholar 

  25. 25.

    Rockafellar RT: On the maximal monotonicity of subdifferential mappings. Pac. J. Math. 1970, 33: 209–216. 10.2140/pjm.1970.33.209

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to express their sincere appreciation to the anonymous referees for their helpful comments on the original version of the manuscript.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Koji Aoyama.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. 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

Aoyama, K., Kohsaka, F. Strongly relatively nonexpansive sequences generated by firmly nonexpansive-like mappings. Fixed Point Theory Appl 2014, 95 (2014). https://doi.org/10.1186/1687-1812-2014-95

Download citation

Keywords

  • Banach space
  • firmly nonexpansive-like mapping
  • firmly nonexpansive mapping
  • fixed point
  • mapping of type (P)
  • proximal point algorithm
  • uniform convexity constant