Skip to main content

New algorithms designed for the split common fixed point problem of quasi-pseudocontractions

Abstract

In this paper, we study the split common fixed point problem, which is to find a fixed point of a quasi-pseudocontractive mapping in one space whose image under a linear transformation is a fixed point of anther quasi-pseudocontractive mapping in the image space. We design and analyze a new iterative algorithm for solving this split common fixed point problem. A weak convergence theorem is given.

MSC:49J53, 49M37, 65K10, 90C25.

1 Background and motivation

Let C and Q be nonempty closed convex subsets of real Hilbert spaces H 1 and H 2 , respectively. The split feasibility problem is formulated as finding a point x ∗ with the property

x ∗ ∈CandA x ∗ ∈Q,
(1.1)

where A: H 1 → H 2 is a bounded linear operator. The split feasibility problem in finite-dimensional Hilbert spaces was first introduced by Censor and Elfving [1] for modeling inverse problems which arise from phase retrievals and in medical image reconstruction [2].

A special case of the split feasibility problem (1.1) is when Q={b} is singleton and then (1.1) is reduced to the convexly constrained linear inverse problem [3]

x ∗ ∈CandA x ∗ =b,
(1.2)

which has received considerable attention.

The well-known projected Landweber algorithm [4] is widely used to solve (1.2). This algorithm generates a sequence { x n } in such a way that we have

  • initialization: x 0 selected in H 1 arbitrarily, and

  • iteration:

    x n + 1 = P C ( x n + γ A T ( b − A x n ) ) ,
    (1.3)

where P C denotes the nearest point projection from H 1 onto C, γ>0 is a parameter such that 0<γ<2/ ∥ A ∥ 2 , and A T is the transpose of A.

When the system (1.2) is reduced to the unconstrained linear system

A x ∗ =b,
(1.4)

then the projected Landweber algorithm [4] is turned to the Landweber algorithm:

x n + 1 = x n +γ A T (b−A x n ).
(1.5)

The simultaneous algebraic reconstruction technique is a typical example of the Landweber algorithm (1.5) when the system (1.4) is finite-dimensional.

The first iterative algorithm for solving the split feasibility problem (1.1) in the finite-dimensional case is proposed by Censor and Elfving [1] who define a sequence x n by the recursion:

x n + 1 = A − 1 P Q ( P A ( C ) ( A x n ) ) ,n≥0,
(1.6)

where C and Q are closed convex sets of R n , and A is an n×n matrix of full rank. Here A(C)={y∈ R n :y=Ax,x∈C} is the image of C under the matrix A.

Because of the presence of the inverse A − 1 , the algorithm (1.6) has not become popular. A more popular algorithm that solves the split feasibility problem (1.1) is the so-called CQ algorithm introduced by Byrne [2]. This algorithm, which does not involve A − 1 , generates a sequence { x n } as follows:

x n + 1 = P C ( x n − γ A T ( I − P Q ) A x n ) ,n≥0,
(1.7)

where 0<γ<2/ ∥ A ∥ 2 and P Q denotes the nearest point projection from H 2 onto Q. Consequently, Xu [5] extend the above results from the finite-dimensional spaces to the infinite-dimensional spaces.

In the case where C and Q in (1.1) are the intersections of finitely many fixed point sets of nonlinear operators, problem (1.1) is called by Censor and Segal [6] the split common fixed point problem. More precisely, the split common fixed point problem requires one to seek an element x ∗ ∈H satisfying

x ∗ ∈ ⋂ i = 1 m Fix( S i )andA x ∗ ∈ ⋂ j = 1 n Fix( T j ),
(1.8)

where Fix( S i ) and Fix( T j ) denote the fixed point sets of two classes of nonlinear operators S i : H 1 → H 1 and T j : H 2 → H 2 . In this situation, Byrne’s CQ algorithm does not work because the metric projection onto fixed point sets is generally not easy to calculate. To solve the two-set split common fixed point problem, motivated by the algorithms (1.3) and (1.7), Censor and Segal [6] proposed the following iterative method: For any initial guess x 1 ∈ H 1 , define { x n } recursively by

x n + 1 =U ( x n − λ A ∗ ( I − T ) A x n ) ,n≥0,
(1.9)

where U and T are directed operators and λ>0 is known as the step-size. They proved that if λ∈(0, 2 ∥ A ∥ 2 ), then (1.9) converges to a split common fixed point x ∗ ∈Γ={x∈Fix(U);Ax∈Fix(T)}. Consequently, Moudafi [7] extended (1.9) to the following relaxed algorithm:

{ u n = x n − γ A ∗ ( I − T ) A x n , x n + 1 = ( 1 − α n ) u n + α n U ( u n ) , n ∈ N ,

where U and T are demicontractive operators, β∈(0,1), γ∈(0, 1 − μ λ ) with λ being the spectral radius of the operator A ∗ A and α n ∈(0,1) is relaxation parameter. We note that the classes of directed and demicontractive operators are important classes since they include the orthogonal projections and the subgradient projectors. For some other related work, please refer to [8–26] and [27].

In the present paper, our main motivation is to extend the classes of directed and demicontractive operators to the class of quasi-pseudocontractions because the class of quasi-pseudocontractions includes the classes of directed and demicontractive operators as special cases. Interest in pseudocontractive mappings stems mainly from their firm connection with the class of monotone operators. We present a unified framework for the study of this problem and this class of operators. We propose an iterative algorithm and study its convergence.

2 Notations and lemmas

Let H be a real Hilbert space with inner product 〈⋅,⋅〉 and norm ∥⋅∥, respectively. Let C be a nonempty closed convex subset of H.

Recall that a mapping T:C→C is called

  • nonexpansive if ∥Tx−Ty∥≤∥x−y∥ for all x,y∈C;

  • quasi-nonexpansive if ∥Tx− x ∗ ∥≤∥x− x ∗ ∥ for all x∈C and x ∗ ∈Fix(T);

  • firmly nonexpansive if ∥ T x − T y ∥ 2 ≤ ∥ x − y ∥ 2 − ∥ ( I − T ) x − ( I − T ) y ∥ 2 for all x,y∈C;

  • firmly quasi-nonexpansive if ∥ T x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 − ∥ T x − x ∥ 2 for all x∈C and x ∗ ∈Fix(T);

  • strictly pseudocontractive if ∥ T x − T y ∥ 2 ≤ ∥ x − y ∥ 2 +k ∥ ( I − T ) x − ( I − T ) y ∥ 2 for all x,y∈C, where k∈[0,1);

  • directed if 〈Tx− x ∗ ,Tx−x〉≤0 for all x∈C and x ∗ ∈Fix(T);

  • demicontractive if ∥ T x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 +k ∥ T x − x ∥ 2 for all x∈C and x ∗ ∈Fix(T), where k∈[0,1).

The concept of directed operators was introduced by Bauschke and Combettes [28] who proved that T:C→C is directed if and only if

∥ T x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 − ∥ T x − x ∥ 2

for all x∈C and x ∗ ∈Fix(T). It can be seen easily that the class of directed operators coincides with that of firmly quasi-nonexpansive mappings.

From the above definitions, we note that the class of demicontractive operators contains important operators such as the directed operators, the quasi-nonexpansive operators and the strictly pseudocontractive mappings with fixed points. Such a class of operators is fundamental because they include many types of nonlinear operators arising in applied mathematics and optimization; see for example [29] and references therein.

Recall also that a mapping T:C→C is called pseudocontractive if

〈Tx−Ty,x−y〉≤ ∥ x − y ∥ 2

for all x,y∈C. It is well known that T is pseudocontractive if and only if

∥ T x − T y ∥ 2 ≤ ∥ x − y ∥ 2 + ∥ ( I − T ) x − ( I − T ) y ∥ 2

for all x,y∈C and T:C→C is said to be quasi-pseudocontractive if

∥ T x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 + ∥ T x − x ∥ 2
(2.1)

for all x∈C and x ∗ ∈Fix(T).

It is obvious that the class of quasi-pseudocontractive mappings includes the class of demicontractive mappings.

A mapping T:C→C is called L-Lipschitzian if there exists L>0 such that

∥Tx−Ty∥≤L∥x−y∥

for all x,y∈C.

Usually, the convergence of fixed point algorithms requires some additional smoothness properties of the mapping T such as demiclosedness.

Recall that a mapping T is said to be demiclosed if, for any sequence { x n } which weakly converges to x ˜ , and if the sequence {T( x n )} strongly converges to z, we have T( x ˜ )=z.

Observe also that the nonexpansive operators are both quasi-nonexpansive and strictly pseudocontractive maps and are well known for being demiclosed. For the pseudocontractions, the following demiclosedness principle is well known.

Lemma 2.1 ([30])

Let H be a real Hilbert space, C a closed convex subset of H. Let U:C→C be a continuous pseudocontractive mapping. Then

  1. (i)

    Fix(U) is a closed convex subset of C,

  2. (ii)

    (I−U) is demiclosed at zero.

In the next section, we will need to impose the demiclosedness to the quasi-pseudocontractions.

It is well known that in a real Hilbert space H, the following equality holds:

∥ t x + ( 1 − t ) y ∥ 2 =t ∥ x ∥ 2 +(1−t) ∥ y ∥ 2 −t(1−t) ∥ x − y ∥ 2
(2.2)

for all x,y∈H and t∈[0,1].

Lemma 2.2 ([28])

Let H be a Hilbert space and let { u n } be a sequence in H such that there exists a nonempty set Ω⊂H satisfying the following:

  1. (i)

    for every u∈Ω, lim n ∥ u n −u∥ exists,

  2. (ii)

    any weak-cluster point of the sequence { u n } belongs in Ω.

Then there exists x † ∈Ω such that { u n } weakly converges to x † .

In the sequel we shall use the following notations:

  1. 1.

    ω w ( u n )={x:∃ u n j →x weakly} denote the weak ω-limit set of { u n };

  2. 2.

    u n ⇀x stands for the weak convergence of { u n } to x;

  3. 3.

    u n →x stands for the strong convergence of { u n } to x.

3 Main results

In this section, we will focus our attention on the following general two-operator split common fixed point problem:

find  x ∗ ∈C such that A x ∗ ∈Q,
(3.1)

where A: H 1 → H 2 is a bounded linear operator, U: H 1 → H 1 is a quasi-pseudocontractive mapping and T: H 2 → H 2 is a quasi-pseudocontractive mapping with nonempty fixed point sets Fix(U)=C and Fix(T)=Q, and we denote the solution set of the two-operator split common fixed point problem by

Γ={x∈C;Ax∈Q}.

Algorithm 3.1 For u 0 ∈ H 1 , define a sequence { u n } as follows:

{ x n = u n + γ ν A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , y n = ( 1 − ξ n ) x n + ξ n U x n , u n + 1 = [ 1 − ( 1 − δ n ) α n ] x n + ( 1 − δ n ) α n U y n
(3.2)

for all n∈N, where γ, ν, η, and β are four constants, { α n }, { δ n }, and { ξ n } are three sequences in [0,1].

Now, we demonstrate the convergence analysis of the algorithm (3.1).

Theorem 3.2 Let H 1 and H 2 be two real Hilbert spaces. Let A: H 1 → H 2 be a bounded linear operator. Let U: H 1 → H 1 and T: H 2 → H 2 be two L-Lipschitzian quasi-pseudocontractions with nonempty Fix(U)=C and Fix(T)=Q. Assume T−I and U−I are demiclosed at 0 and Γ≠∅. If the parameters γ, ν, η, β, { α n }, { δ n }, and { ξ n } satisfy the following control conditions:

(C1): 0<ν<1 and 0<γ< 1 λ ν , where λ is the spectral radius of the operator A ∗ A;

(C2): 0< lim inf n → ∞ α n ≤ lim sup n → ∞ α n <1;

(C3): 0<1−η≤β< 1 1 + L 2 + 1 and 0<a≤1− δ n ≤ ξ n < 1 1 + L 2 + 1 for all n∈N.

Then the sequence { u n } generated by algorithm (3.2) weakly converges to a split common fixed point μ∈Γ.

Remark 3.3 Without loss of generality, we may assume that the Lipschitz constant L>1. It is obvious that β< 1 1 + L 2 + 1 < 1 L for all n≥1.

Since ξ n < 1 1 + L 2 + 1 , we have

1−2 ξ n − ξ n 2 L 2 >0

for all n∈N.

Proposition 3.4 Let the mapping T: H 2 → H 2 be L-Lipschitzian with L>1. Then

Fix(T)=Fix ( T ( ( 1 − β ) I + β T ) )

for all β∈(0, 1 L ).

Proof As a matter of fact, Fix(T)⊂Fix(T((1−β)I+βT)) is obvious.

Next, we show that Fix(T((1−β)I+βT))⊂Fix(T).

Take any x ∗ ∈Fix(T((1−β)I+βT)). We have T((1−β)I+βT) x ∗ = x ∗ . Set S=(1−β)I+βT. We have TS x ∗ = x ∗ . Write S x ∗ = y ∗ . Then T y ∗ = x ∗ . Now we show x ∗ = y ∗ . In fact,

∥ x ∗ − y ∗ ∥ = ∥ T y ∗ − S x ∗ ∥ = ∥ T y ∗ − ( 1 − β ) x ∗ − β T x ∗ ∥ = β ∥ T y ∗ − T x ∗ ∥ ≤ β L ∥ y ∗ − x ∗ ∥ .

Since β< 1 L , we deduce y ∗ = x ∗ ∈Fix(S)=Fix(T). Thus, x ∗ ∈Fix(T). Hence, Fix(T((1−β)I+βT))⊂Fix(T). Therefore, Fix(T((1−β)I+βT))=Fix(T). □

Proposition 3.5

∥ η x + ( 1 − η ) T ( ( 1 − β ) I + β T ) x − x ∗ ∥ ≤ ∥ x − x ∗ ∥

for all x∈ H 2 and all x∈Fix(T).

Proof Since x ∗ ∈Fix(T), we have from (2.1)

∥ T ( ( 1 − β ) I + β T ) x − x ∗ ∥ 2 ≤ ∥ ( 1 − β ) ( x − x ∗ ) + β ( T x − x ∗ ) ∥ 2 + ∥ ( ( 1 − β ) I + β T ) x − T ( ( 1 − β ) I + β T ) x ∥ 2
(3.3)

and

∥ T x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 + ∥ T x − x ∥ 2
(3.4)

for all x∈ H 2 .

By (3.3), (2.2), and (3.4), we obtain

∥ T ( ( 1 − β ) I + β T ) x − x ∗ ∥ 2 ≤ ∥ ( 1 − β ) ( x − x ∗ ) + β ( T x − x ∗ ) ∥ 2 + ∥ ( ( 1 − β ) I + β T ) x − T ( ( 1 − β ) I + β T ) x ∥ 2 = ∥ ( 1 − β ) ( x − T ( ( 1 − β ) I + β T ) x ) + β ( T x − T ( ( 1 − β ) I + β T ) x ) ∥ 2 + ∥ ( 1 − β ) ( x − x ∗ ) + β ( T x − x ∗ ) ∥ 2 = ( 1 − β ) ∥ x − T ( ( 1 − β ) I + β T ) x ∥ 2 + β ∥ T x − T ( ( 1 − β ) I + β T ) x ∥ 2 − β ( 1 − β ) ∥ x − T x ∥ 2 + ( 1 − β ) ∥ x − x ∗ ∥ 2 + β ∥ T x − x ∗ ∥ 2 − β ( 1 − β ) ∥ x − T x ∥ 2 ≤ ( 1 − β ) ∥ x − x ∗ ∥ 2 + β ( ∥ x − x ∗ ∥ 2 + ∥ x − T x ∥ 2 ) − 2 β ( 1 − β ) ∥ x − T x ∥ 2 + ( 1 − β ) ∥ x − T ( ( 1 − β ) I + β T ) x ∥ 2 + β ∥ T x − T ( ( 1 − β ) I + β T ) x ∥ 2 .

Noting that T is L-Lipschitzian and x−((1−β)I+βT)x=β(x−Tx), we have

∥ T ( ( 1 − β ) I + β T ) x − x ∗ ∥ 2 ≤ ( 1 − β ) ∥ x − x ∗ ∥ 2 + β ( ∥ x − x ∗ ∥ 2 + ∥ x − T x ∥ 2 ) − 2 β ( 1 − β ) ∥ x − T x ∥ 2 + ( 1 − β ) ∥ x − T ( ( 1 − β ) I + β T ) x ∥ 2 + β 3 L 2 ∥ x − T x ∥ 2 = ∥ x − x ∗ ∥ 2 + ( 1 − β ) ∥ x − T ( ( 1 − β ) I + β T ) x ∥ 2 − β ( 1 − 2 β − β 2 L 2 ) ∥ x − T x ∥ 2 .
(3.5)

Since β< 1 1 + L 2 + 1 , we have

1−2β− β 2 L 2 >0.

From (3.5), we can deduce

∥ T ( ( 1 − β ) I + β T ) x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 +(1−β) ∥ x − T ( ( 1 − β ) I + β T ) x ∥ 2
(3.6)

for all x∈ H 2 and x ∗ ∈Fix(T).

Hence,

∥ η x + ( 1 − η ) T ( ( 1 − β ) I + β T ) x − x ∗ ∥ 2 ≤ ∥ η ( x − x ∗ ) + ( 1 − η ) ( T ( ( 1 − β ) I + β T ) x − x ∗ ) ∥ 2 = η ∥ x − x ∗ ∥ 2 + ( 1 − η ) ∥ T ( ( 1 − β ) I + β T ) x − x ∗ ∥ 2 − η ( 1 − η ) ∥ T ( ( 1 − β ) I + β T ) x − x ∥ 2 ≤ η ∥ x − x ∗ ∥ 2 + ( 1 − η ) [ ∥ x − x ∗ ∥ 2 + ( 1 − β ) ∥ x − T ( ( 1 − β ) I + β T ) x ∥ 2 ] − η ( 1 − η ) ∥ T ( ( 1 − β ) I + β T ) x − x ∥ 2 = ∥ x − x ∗ ∥ 2 + ( 1 − η ) ( 1 − β − η ) ∥ T ( ( 1 − β ) I + β T ) x − x ∥ 2 .
(3.7)

By (C3) and (3.7), we deduce

∥ η x + ( 1 − η ) T ( ( 1 − β ) I + β T ) x − x ∗ ∥ ≤ ∥ x − x ∗ ∥ .

 □

Proposition 3.6 Let the mapping T: H 2 → H 2 be L-Lipschitzian with L>1. If T−I is demiclosed at 0, then T((1−β)I+βT)−I is also demiclosed at 0 when β∈(0, 1 L ).

Proof Let the sequence { x n }⊂ H 2 satisfying x n ⇀ x ˜ and x n −T((1−β)I+βT) x n →0. Next, we will show that x ˜ ∈Fix(T((1−β)I+βT)).

From Proposition 3.4, we only need to prove that x Ëœ ∈Fix(T). As a matter of fact, since T is L-Lipschitzian, we have

∥ x n − T x n ∥ ≤ ∥ x n − T ( ( 1 − β ) I + β T ) x n ∥ + ∥ T ( ( 1 − β ) I + β T ) x n − T x n ∥ ≤ ∥ x n − T ( ( 1 − β ) I + β T ) x n ∥ + β L ∥ x n − T x n ∥ .

It follows that

∥ x n −T x n ∥≤ 1 1 − β L ∥ x n − T ( ( 1 − β ) I + β T ) x n ∥ .

Hence,

lim n → ∞ ∥ x n −T x n ∥=0.

Applying the demiclosedness of T, we immediately deduce x ˜ ∈Fix(T). □

Next, we prove Theorem 3.2.

Proof Let x ∗ ∈Γ. Then we get x ∗ ∈Fix(U) and A x ∗ ∈Fix(T). From (2.2) and (3.2), we have

∥ u n + 1 − x ∗ ∥ 2 = ∥ [ 1 − ( 1 − δ n ) α n ] x n + ( 1 − δ n ) α n U y n − x ∗ ∥ 2 = ∥ ( 1 − α n ) ( x n − x ∗ ) + α n [ δ n x n + ( 1 − δ n ) U y n − x ∗ ] ∥ 2 = ( 1 − α n ) ∥ x n − x ∗ ∥ 2 + α n ∥ δ n x n + ( 1 − δ n ) U y n − x ∗ ∥ 2 − α n ( 1 − α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 = α n [ δ n ∥ x n − x ∗ ∥ 2 + ( 1 − δ n ) ∥ U y n − x ∗ ∥ 2 − δ n ( 1 − δ n ) ∥ U y n − x n ∥ 2 ] + ( 1 − α n ) ∥ x n − x ∗ ∥ 2 − α n ( 1 − α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 .
(3.8)

Since x ∗ ∈Fix(U), we have from (2.1)

∥ U x − x ∗ ∥ 2 ≤ ∥ x − x ∗ ∥ 2 + ∥ x − U x ∥ 2
(3.9)

for all x∈C.

By a similar argument to that of (3.6), we obtain

∥ U y n − x ∗ ∥ 2 ≤ ∥ x n − x ∗ ∥ 2 +(1− ξ n ) ∥ x n − U y n ∥ 2 .
(3.10)

Substituting (3.10) to (3.8) and noting that 1− ξ n ≤ δ n , we have

∥ u n + 1 − x ∗ ∥ 2 ≤ ( 1 − α n ) ∥ x n − x ∗ ∥ 2 + α n { δ n ∥ x n − x ∗ ∥ 2 + ( 1 − δ n ) [ ∥ x n − x ∗ ∥ 2 + ( 1 − ξ n ) ∥ x n − U y n ∥ 2 ] − δ n ( 1 − δ n ) ∥ U y n − x n ∥ 2 } − α n ( 1 − α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 = ( 1 − α n ) ∥ x n − x ∗ ∥ 2 + α n { ∥ x n − x ∗ ∥ 2 + ( 1 − δ n ) ( 1 − ξ n − δ n ) ∥ x n − U y n ∥ 2 } − α n ( 1 − α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 ≤ ∥ x n − x ∗ ∥ 2 − α n ( 1 − α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 .
(3.11)

Since λ is the spectral radius of the operator A A ∗ , we deduce

〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , A A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n 〉 ≤ λ ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 .

This together with (3.2) implies that

∥ x n − x ∗ ∥ 2 = ∥ u n − x ∗ + γ ν A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 = ∥ u n − x ∗ ∥ 2 + 2 γ ν 〈 A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , u n − x ∗ 〉 + γ 2 ν 2 ∥ A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 = ∥ u n − x ∗ ∥ 2 + 2 γ ν 〈 A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , u n − x ∗ 〉 + γ 2 ν 2 〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , A A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n 〉 ≤ ∥ u n − x ∗ ∥ 2 + 2 γ ν 〈 A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , u n − x ∗ 〉 + γ 2 ν 2 λ ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 .
(3.12)

By Proposition 3.5 and noting that A x ∗ ∈Fix(T), we have

∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ ∥ ≤ ∥ A u n − A x ∗ ∥ .

At the same time, we have the following equality in Hilbert spaces:

∥ x − y ∥ 2 = ∥ x ∥ 2 + ∥ y ∥ 2 −2〈x,y〉.
(3.13)

In (3.13), picking up x=[ηI+(1−η)T((1−β)I+βT)−I]A u n and y=[ηI+(1−η)T((1−β)I+βT)]A u n −A x ∗ we deduce

∥ A u n − A x ∗ ∥ 2 = ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n − { [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ } ∥ 2 = ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 + ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ ∥ 2 − 2 〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ 〉 ≤ ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 + ∥ A u n − A x ∗ ∥ 2 − 2 〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ 〉 .

It follows that

〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ 〉 ≤ 1 2 ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 .

Thus,

〈 A ∗ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , u n − x ∗ 〉 = 〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , A u n − A x ∗ 〉 = 〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n − A x ∗ 〉 + 〈 [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n , A u n − [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) ] A u n 〉 ≤ 1 2 ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 − ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 = − 1 2 ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 .
(3.14)

From (3.11), (3.12), and (3.14), we get

∥ u n + 1 − x ∗ ∥ 2 ≤ ∥ u n − x ∗ ∥ 2 − γ ν ( 1 − λ γ ν ) ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 − α n ( 1 − α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 .
(3.15)

We deduce immediately that

∥ u n + 1 − x ∗ ∥ ≤ ∥ u n − x ∗ ∥ .

Hence, lim n → ∞ ∥ u n − x ∗ ∥ exists. This implies that { u n } is bounded. Consequently, we have

0 ≤ γ ν ( 1 − λ γ ν ) ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ 2 ≤ ∥ u n − x ∗ ∥ 2 − ∥ u n + 1 − x ∗ ∥ 2 → 0 .

Therefore,

lim n → ∞ ∥ [ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] A u n ∥ =0.
(3.16)

Since { u n } is bounded, ω w ( u n )≠∅. We can take μ∈ ω w ( u n ), that is, there exists { u n j } such that ω− lim j → ∞ u n j =μ. Since T−I is demiclosed at 0, by Proposition 3.6, we see that T((1−β)I+βT)−I is also demiclosed at 0. Then, from (3.16), we obtain

[ η I + ( 1 − η ) T ( ( 1 − β ) I + β T ) − I ] Aμ=0.

Thus, Aμ∈Fix(T((1−β)I+βT))=Fix(T).

From (3.15), we deduce

α n (1− α n ) ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ 2 ≤ ∥ u n − x ∗ ∥ 2 − ∥ u n + 1 − x ∗ ∥ 2 →0.

This together with (C2) implies that

lim n → ∞ ∥ δ n x n + ( 1 − δ n ) U y n − x n ∥ = lim n → ∞ (1− δ n )∥U y n − x n ∥=0.

Noticing that 1− δ n ≥a, we get immediately

lim n → ∞ ∥U y n − x n ∥=0.

Since U is L-Lipschitzian, we have

∥ U x n − x n ∥ ≤ ∥ U x n − U y n ∥ + ∥ U y n − x n ∥ ≤ L ∥ x n − y n ∥ + ∥ U y n − x n ∥ = L ξ n ∥ U x n − x n ∥ + ∥ U y n − x n ∥ .

It follows that

∥U x n − x n ∥≤ 1 1 − L ξ n ∥U y n − x n ∥.

Since ξ n < 1 1 + L 2 + 1 < 1 L , we deduce

lim n → ∞ ∥U x n − x n ∥=0.
(3.17)

From (3.2) and (3.16), we have lim n → ∞ ∥ x n − u n ∥=0. Thus, ω− lim j → ∞ x n j =μ. By the demiclosedness of U−I at 0 and (3.17), we get μ∈Fix(U). Hence, μ∈Fix(U). Therefore, μ∈Γ.

Note that there is no more than one weak-cluster point of { u n }. In fact, if we assume there exists another { u n k } such that ω− lim k → ∞ u n k = μ ˜ ≠μ, then we can deduce μ ˜ ∈Fix(U). Now we show μ ˜ =μ. By the Opial property of Hilbert space, we have

lim inf k → ∞ ∥ u n k − μ ˜ ∥ < lim inf k → ∞ ∥ u n k − μ ∥ = lim n → ∞ ∥ u n − μ ∥ = lim inf j → ∞ ∥ u n j − μ ∥ < lim inf j → ∞ ∥ u n j − μ ˜ ∥ = lim n → ∞ ∥ u n − μ ˜ ∥ = lim inf k → ∞ ∥ u n k − μ ˜ ∥ .

This is a contradiction. Hence, the weak convergence of the whole sequence { u n } follows by applying Lemma 2.2 with Ω=Γ. This completes the proof. □

Remark 3.7 Since the class of quasi-pseudocontractions contains the demicontractive operators, the directed operators, the quasi-nonexpansive operators and the strictly pseudocontractive mappings with fixed points as special cases, our results present a unified framework for the study of this problem and this class of operators.

Corollary 3.8 Let H 1 and H 2 be two real Hilbert spaces. Let A: H 1 → H 2 be a bounded linear operator. Let U: H 1 → H 1 and T: H 2 → H 2 be two L-Lipschitzian demicontractive mappings with nonempty Fix(U)=C and Fix(T)=Q. Assume T−I and U−I are demiclosed at 0 and Γ≠∅. If the parameters γ, ν, η, β, { α n }, { δ n } and { ξ n } satisfy the following control conditions:

(C1): 0<ν<1 and 0<γ< 1 λ ν , where λ is the spectral radius of the operator A ∗ A;

(C2): 0< lim inf n → ∞ α n ≤ lim sup n → ∞ α n <1;

(C3): 0<1−η≤β< 1 1 + L 2 + 1 and 0<a≤1− δ n ≤ ξ n < 1 1 + L 2 + 1 for all n∈N.

Then the sequence { u n } generated by algorithm (3.2) weakly converges to a split common fixed point μ∈Γ.

References

  1. Censor Y, Elfving T: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 1994, 8: 221–239. 10.1007/BF02142692

    Article  MathSciNet  MATH  Google Scholar 

  2. Byrne C: Iterative oblique projection onto convex subsets and the split feasibility problem. Inverse Probl. 2002, 18: 441–453. 10.1088/0266-5611/18/2/310

    Article  MathSciNet  MATH  Google Scholar 

  3. Eicke B: Iteration methods for convexly constrained ill-posed problems in Hilbert spaces. Numer. Funct. Anal. Optim. 1992, 13: 413–429. 10.1080/01630569208816489

    Article  MathSciNet  MATH  Google Scholar 

  4. Landweber L: An iterative formula for Fredholm integral equations of the first kind. Am. J. Math. 1951, 73: 615–624. 10.2307/2372313

    Article  MathSciNet  MATH  Google Scholar 

  5. Xu HK: Iterative methods for the split feasibility problem in infinite-dimensional Hilbert spaces. Inverse Probl. 2010., 26: Article ID 105018

    Google Scholar 

  6. Censor Y, Segal A: The split common fixed point problem for directed operators. J. Convex Anal. 2009, 16: 587–600.

    MathSciNet  MATH  Google Scholar 

  7. Moudafi A: A note on the split common fixed-point problem for quasi-nonexpansive operators. Nonlinear Anal. 2011, 74: 4083–4087. 10.1016/j.na.2011.03.041

    Article  MathSciNet  MATH  Google Scholar 

  8. Ceng LC, Ansari QH, Yao JC: An extragradient method for split feasibility and fixed point problems. Comput. Math. Appl. 2012, 64: 633–642. 10.1016/j.camwa.2011.12.074

    Article  MathSciNet  MATH  Google Scholar 

  9. Ceng LC, Ansari QH, Yao JC: Relaxed extragradient methods for finding minimum-norm solutions of the split feasibility problem. Nonlinear Anal. 2012, 75: 2116–2125. 10.1016/j.na.2011.10.012

    Article  MathSciNet  MATH  Google Scholar 

  10. Ceng LC, Yao JC: Relaxed and hybrid viscosity methods for general system of variational inequalities with split feasibility problem constraint. Fixed Point Theory Appl. 2013., 2013: Article ID 43

    Google Scholar 

  11. Dang Y, Gao Y: The strong convergence of a KM-CQ-like algorithm for a split feasibility problem. Inverse Probl. 2011., 27: Article ID 015007

    Google Scholar 

  12. Wang F, Xu HK: Approximating curve and strong convergence of the CQ algorithm for the split feasibility problem. J. Inequal. Appl. 2010., 2010: Article ID 102085

    Google Scholar 

  13. Wang F, Xu HK: Cyclic algorithms for split feasibility problems in Hilbert spaces. Nonlinear Anal. 2011, 74: 4105–4111. 10.1016/j.na.2011.03.044

    Article  MathSciNet  MATH  Google Scholar 

  14. Yang Q: The relaxed CQ algorithm solving the split feasibility problem. Inverse Probl. 2004, 20: 1261–1266. 10.1088/0266-5611/20/4/014

    Article  MathSciNet  MATH  Google Scholar 

  15. Yao Y, Wu J, Liou YC: Regularized methods for the split feasibility problem. Abstr. Appl. Anal. 2012., 2012: Article ID 140679

    Google Scholar 

  16. Yu X, Shahzad N, Yao Y: Implicit and explicit algorithms for solving the split feasibility problem. Optim. Lett. 2012, 6: 1447–1462. 10.1007/s11590-011-0340-0

    Article  MathSciNet  MATH  Google Scholar 

  17. Yao Y, Kim TH, Chebbi S, Xu HK: A modified extragradient method for the split feasibility and fixed point problems. J. Nonlinear Convex Anal. 2012, 13: 383–396.

    MathSciNet  MATH  Google Scholar 

  18. Zhao J, Yang Q: Several solution methods for the split feasibility problem. Inverse Probl. 2005, 21: 1791–1799. 10.1088/0266-5611/21/5/017

    Article  MathSciNet  MATH  Google Scholar 

  19. He ZH, Du WS: On hybrid split problem and its nonlinear algorithms. Fixed Point Theory Appl. 2013., 2013: Article ID 47

    Google Scholar 

  20. He ZH, Du WS: Nonlinear algorithms approach to split common solution problems. Fixed Point Theory Appl. 2012., 2012: Article ID 130

    Google Scholar 

  21. Chang SS, Wang L, Tang YK, Yang L: The split common fixed point problem for total asymptotically strictly pseudocontractive mappings. J. Appl. Math. 2012., 2012: Article ID 385638

    Google Scholar 

  22. Chang SS, Kim J, Cho YJ, Sim J: Weak and strong convergence theorems of solutions to split feasibility problem for nonspreading type mapping in Hilbert spaces. Fixed Point Theory Appl. 2014., 2014: Article ID 11

    Google Scholar 

  23. Cui H, Su M, Wang F: Damped projection method for split common fixed point problems. J. Inequal. Appl. 2013., 2013: Article ID 123 10.1186/1029-242X-2013-123

    Google Scholar 

  24. Yao Y, Postolache M, Liou YC: Strong convergence of a self-adaptive method for the split feasibility problem. Fixed Point Theory Appl. 2013., 2013: Article ID 201

    Google Scholar 

  25. Zhao J, He S: Alternating Mann iterative algorithms for the split common fixed-point problem of quasi-nonexpansive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 288

    Google Scholar 

  26. Deepho J, Kumam P: Mann’s type extragradient for solving split feasibility and fixed point problems of Lipschitz asymptotically quasi-nonexpansive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 349

    Google Scholar 

  27. Ansari QH, Rehan A: Split feasibility and fixed point problems. In Nonlinear Analysis: Approximation Theory, Optimization and Applications. Edited by: Ansari QH. Springer, Berlin; 2014:271–314.

    Google Scholar 

  28. Bauschke HH, Combettes PL: A weak-to-strong convergence principle for Feje-monotone methods in Hilbert spaces. Math. Oper. Res. 2001, 26: 248–264. 10.1287/moor.26.2.248.10558

    Article  MathSciNet  MATH  Google Scholar 

  29. Maruster S, Popirlan C: On the Mann-type iteration and convex feasibility problem. J. Comput. Appl. Math. 2008, 212: 390–396. 10.1016/j.cam.2006.12.012

    Article  MathSciNet  MATH  Google Scholar 

  30. Zhou H: Strong convergence of an explicit iterative algorithm for continuous pseudo-contractions in Banach spaces. Nonlinear Anal. 2009, 70: 4039–4046. 10.1016/j.na.2008.08.012

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

Li-Jun Zhu was supported in part by NNSF of China (61362033). Yeong-Cheng Liou was supported in part by the Grants NSC 101-2628-E-230-001-MY3 and NSC 103-2923-E-037-001-MY3. Jen-Chih Yao was partially supported by the Grant NSC 103-2923-E-037-001-MY3.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yeong-Cheng Liou.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Rights and permissions

Open Access  This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhu, LJ., Liou, YC., Yao, JC. et al. New algorithms designed for the split common fixed point problem of quasi-pseudocontractions. J Inequal Appl 2014, 304 (2014). https://doi.org/10.1186/1029-242X-2014-304

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-304

Keywords