Skip to main content

On the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings in Banach spaces

Abstract

In this paper, we prove a weak convergence theorem and a strong convergence theorem for split common fixed point problem involving a quasi-strict pseudo contractive mapping and an asymptotical nonexpansive mapping in the setting of two Banach spaces. Our results are new and seem to be the first outside Hilbert spaces.

1 Introduction

Let \(H_{1}\) and \(H_{2}\) be two real Hilbert spaces, C and Q be nonempty closed convex subsets of \(H_{1}\) and \(H_{2}\), respectively, and \(A:H_{1}\to H_{2}\) be a bounded linear operator. The split feasibility problem (SFP) is formulated as to find a point \(q\in H_{1}\) such that

$$ q\in C \quad \mbox{and}\quad Aq \in Q. $$
(1.1)

It is easy to see that \(q\in C\) solves equation (1.1) if and only if it solves the following fixed point equation:

$$ q=P_{C}\bigl(I-\gamma A^{*}(I-P_{Q})A\bigr)q, \quad x\in C, $$
(1.2)

where \(P_{C}\) (resp. \(P_{Q}\)) is the (orthogonal) projection from \(H_{1}\) (resp. \(H_{2}\)) onto C (resp. Q), \(\gamma>0\), and \(A^{*}\) is the adjoint of A.

Let \(S: C \to C \) and \(T: Q \to Q\) be two mappings. The so-called split common fixed point problem (SCFP) for mappings S and T is to find a point \(q\in C\) such that

$$ q\in F(S) \quad \mbox{and} \quad Aq \in F(T), $$
(1.3)

where \(F(S)\) and \(F(T)\) denote the sets of fixed points of S and T, respectively. We use Γ to denote the set of solutions of SCFP for mappings S and T, that is,

$$ \Gamma=\bigl\{ q\in F(S):Aq\in F(T)\bigr\} . $$
(1.4)

The SFP 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]. The split common fixed point problems in Hilbert spaces were introduced by Moudafi [3] in 2010. Since then, various algorithms have been invented to solve SFP and SCFP [4–16]. In 2014, Cui and Wang [17] investigated the split common fixed point problems of τ-quasi-strict pseudocontractive mappings in the setting of two Hilbert spaces.

In 2015, Takahashi [18], Takahashi and Yao [19] first attempted to introduce and consider the split feasibility problem and split common null point problem in the setting of a Banach space. By using hybrid methods and Halpern-type methods and under suitable conditions, some strong and weak convergence theorems for such kinds of problems are obtained. The results presented in [18] and [19] seem to be the first outside Hilbert spaces.

Motivated and inspired by the research going on in the direction of split feasibility problems and split common fixed point problems, we have the purpose in this article to consider and study the split common fixed point problem for a Ï„-quasi-strict pseudocontractive mapping and asymptotical nonexpansive mappings in the setting of two Banach spaces. We construct an iterative scheme to approximate a solution for such kind of split common fixed point problem in the setting of two Banach spaces. Our results are new and seem to be the first outside Hilbert spaces on this problem.

2 Preliminaries

Throughout this paper, we assume that E is a real Banach space with the dual \(E^{*}\) and C is a nonempty closed convex subset of E. Let T be a mapping. We denote by \(F(T)\) the set of fixed points of T. We denote by ‘→’ and ‘⇀’ strong convergence and weak convergence, respectively.

In the sequel, we denote by \(J : E \to2^{E^{*}}\) the normalized duality mapping defined by

$$Jx=\bigl\{ x^{*}\in E^{*}: \bigl\langle x,x^{*}\bigr\rangle =\|x\|^{2}=\bigl\Vert x^{*}\bigr\Vert ^{2}\bigr\} , \quad \forall x\in E, $$

where \(\langle\cdot,\cdot\rangle\) is the generalized duality pairing between E and \(E^{*}\).

A Banach space E is said to be strictly convex if \(\frac{\|x+y\|}{2} < 1\) for all \(x,y\in U=\{z\in E:\|z\|=1\}\) with \(x\neq y\). The modulus of convexity of E is defined by

$$\delta_{E}(\epsilon)=\inf\biggl\{ 1-\biggl\Vert \frac{1}{2}(x+y)\biggr\Vert :\|x\|,\|y\|\leq 1,\|x-y\|\geq\epsilon\biggr\} $$

for all \(\epsilon\in[0,2]\). E is said to be uniformly convex if \(\delta_{E}(0)=0\) and \(\delta_{E}(\epsilon)>0\) for all \(0<\epsilon\le2\).

Let \(\rho_{E}:[0,\infty)\to[0,\infty)\) be the modulus of smoothness of E defined by

$$\rho_{E}(t)=\sup\biggl\{ \frac{1}{2}\bigl(\Vert x+y\Vert + \|x-y\|\bigr)-1:x\in U,\|y\|\leq t\biggr\} . $$

A Banach space E is said to be uniformly smooth if \(\frac{\rho_{E}(t)}{t}\to0\) as \(t\to0\). Let \(q > 1\) be a fixed number. Then a Banach space E is said to be q-uniformly smooth if there exists a constant \(c>0\) such that \(\rho_{E}(t)\leq ct^{q}\) for all \(t>0\). It is well known that every q-uniformly smooth Banach space is uniformly smooth.

Lemma 2.1

Let E be a uniformly convex Banach space. Then, for any given number \(r>0\), there exists a continuous strictly increasing function \(g:[0,\infty)\to[0,\infty)\), \(g(0)=0\) such that

$$\bigl\Vert tx+(1-t)y\bigr\Vert ^{2}\leq t\|x\|^{2}+(1-t) \|y\|^{2}-t(1-t)g\bigl(\Vert x-y\Vert \bigr) $$

for all \(x,y\in E\) with \(\|x\|\leq r\) and \(\|y\|\leq r\), \(t\in[0,1]\).

Lemma 2.2

If E is a 2-uniformly smooth Banach space with the best smoothness constants \(k>0\), then the following inequality holds:

$$\|x+y\|^{2}\leq\|x\|^{2}+2\langle y, Jx \rangle+2\|ky \|^{2},\quad \forall x,y\in E. $$

Definition 2.3

Let \(T:C\to C\) be an operator. Then

  1. (i)

    T is said to be \(\{k_{n}\}\)-asymptotically nonexpansive if there exists a sequence \(\{k_{n}\} \subset[1, \infty)\) with \(k_{n} \to1\) such that

    $$\bigl\Vert T^{n} x-T^{n} y\bigr\Vert \leq k_{n} \|x-y\|,\quad \forall n \ge1, x,y\in C; $$
  2. (ii)

    T is said to be Ï„-strict pseudocontractive if there exists a constant \(\tau\in[0,1)\) such that

    $$ \|Tx-Ty\|^{2}\leq\|x-y\|^{2}+\tau\bigl\Vert (I-T)x-(I-T)y \bigr\Vert ^{2}, \quad \forall x,y\in C; $$
    (2.1)
  3. (iii)

    T is said to be Ï„-quasi-strict pseudocontractive if \(F(T)\neq\emptyset\) and there exists a constant \(\tau\in[0,1)\) such that

    $$ \|Tx-p\|^{2}\leq\|x-p\|^{2}+\tau\bigl\Vert (I-T)x\bigr\Vert ^{2},\quad \forall p\in F(T),x\in C. $$
    (2.2)

Example of \(\{k_{n}\}\)-asymptotically nonexpansive mapping

Let C be a unit ball in a real Hilbert \(l^{2}\), and let \(T:C\rightarrow C\) be a mapping defined by

$$ T:(x_{1},x_{2},\ldots)\rightarrow\bigl(0, x_{1}^{2}, a_{2}x_{2},a_{3}x_{3}, \ldots\bigr), $$
(2.3)

where \(\{a_{i}\}\) is a sequence in \((0,1)\) such that \(\prod_{i=2}^{\infty}\alpha_{i}=\frac{1}{2}\).

It is proved in Goebel and Kirk [20] that

  1. (i)

    \(\|Tx-Ty\|\leq2\|x-y\|\), \(\forall x,y \in C\);

  2. (ii)

    \(\|T^{n}x-T^{n} y\|\leq2\prod_{i=2}^{n}a_{j}\|x-y\|\), \(\forall n\geq2\) and \(x,y \in C\).

Denote by \(k_{1}^{\frac{1}{2}}=2\), \(k_{n}^{\frac{1}{2}}=2\prod_{i=2}^{n}a_{i}\), \(n\geq2\), then

$$\lim_{n\rightarrow\infty}k_{n}=\lim _{n\rightarrow\infty }\Biggl(2\prod_{i=2}^{n}a_{i} \Biggr)^{2}=1. $$

Therefore \(\forall x, y \in C\), \(n \ge1\), we have

$$\bigl\Vert T^{n} x - T^{n} y\bigr\Vert ^{2} \le k_{n}\|x-y\|^{2}. $$

This implies that T is a \(\{k_{n}\}\)-asymptotically nonexpansive mapping.

Example of Ï„-strict pseudocontractive mapping

Now, we give an example of a Ï„-strict pseudocontractive mapping.

Let \(X=l^{2}\) with the norm \(\|\cdot\|\) defined by

$$\|x\|=\sqrt{\sum_{i=1}^{\infty}x_{i}^{2}}, \quad \forall x=(x_{1},x_{2},\ldots,x_{n},\ldots) \in X, $$

and \(C=\{x=(x_{1},x_{2},\ldots,x_{n},\ldots) \in l^{2}: x_{i}\in R^{1},i=1,2,\ldots\}\) be an orthogonal subspace of X (i.e., we assume that the set C satisfies the condition that for any \(x, y \in C\), we have \(\langle x,y\rangle=0\)). It is obvious that C is a nonempty closed convex subset of X. For each \(x =(x_{1}, x_{2},\ldots, x_{n},\ldots)\in C\), we define a mapping \(T : C \rightarrow C\) by

$$ Tx= \left \{ \textstyle\begin{array}{l@{\quad}l} (x_{1},x_{2},\ldots,x_{n},\ldots)& \mbox{if } \prod_{i=1}^{\infty}x_{i} < 0, \\ (-x_{1},-x_{2},\ldots,-x_{n},\ldots)& \mbox{if } \prod_{i=1}^{\infty}x_{i} \geq0. \end{array}\displaystyle \right . $$
(2.4)

Next we prove that T is a Ï„-strict pseudocontractive mapping and \(F(T)\neq\emptyset\), therefore it is a Ï„-quasi-strict pseudocontractive mapping.

In fact, for any \(x, y \in C\), we have the following.

Case 1. If \(\prod_{i=1}^{\infty}x_{i}< 0\) and \(\prod_{i=1}^{\infty}y_{i}< 0\), then we have \(T x=x\), \(T y=y\), and so inequality (2.1) holds.

Case 2. If \(\prod_{i=1}^{\infty}x_{i}< 0\) and \(\prod_{i=1}^{\infty }y_{i}\geq 0\), then we have that \(T x = x\), \(Ty= -y\). This implies that

$$\left \{ \textstyle\begin{array}{l} \|Tx - Ty\|^{2} =\|x - (-1)y\|^{2} =\|x\|^{2} + \|y\|^{2}, \\ \|x-y\|^{2} = (\|x\|^{2}+\|y\|^{2}), \\ \|x-T x-(y-T y)\|^{2}=[1-(-1)]^{2}\|y\|^{2}. \end{array}\displaystyle \right . $$

Therefore inequality (2.1) holds.

Case 3. If \(\prod_{i=1}^{\infty}x_{i}\geq0\) and \(\prod_{i=1}^{\infty }y_{i}\geq 0\), then we have \(T x=(-1)x\), \(Ty=(-1)y\). Hence we have

$$\left \{ \textstyle\begin{array}{l} \|T x-T y\|^{2}=\|(-1)x - (-1)y\|^{2}=\|x-y\|^{2}=\|x\|^{2}+\|y\|^{2}, \\ \|x-y\|^{2}= (\|x\|^{2}+\|y\|^{2}), \\ \|x-T x-(y-T y)\|^{2}=[1-(-1)]^{2}\|x-y\|^{2}=[1-(-1)]^{2}(\|x\|^{2}+\|y\|^{2}). \end{array}\displaystyle \right . $$

Thus inequality (2.1) still holds. Therefore the mapping defined by (2.4) is a Ï„-strict pseudocontractive mapping. Since \(\theta= (0, 0, 0,\ldots, 0, 0, \ldots) \in C\) and \(T(\theta) = \theta\), the set \(F(T)\) of fixed points of T in C is nonempty. Therefore T is also a Ï„-quasi-strict pseudocontractive mapping.

Definition 2.4

  1. (1)

    Let \(T: C\to C\) be a mapping with \(F(T)\neq\emptyset\). Then T is said to be demiclosed at zero if for any \(\{x_{n}\}\subset C\) with \(x_{n}\rightharpoonup x\) and \(\|x_{n} - Tx_{n}\| \to0\), \(x=Tx\).

  2. (2)

    Let E be a Banach space. E is said to have the Opial property if for any sequence \(\{x_{n}\}\) in E with \(x_{n} \rightharpoonup x^{*}\), for any \(y\in E\) with \(y \neq x^{*}\), we have

    $$\liminf_{n \to\infty}\bigl\Vert x_{n} - x^{*}\bigr\Vert < \liminf_{n \to\infty}\|x_{n} - y\|. $$

Definition 2.5

A mapping \(T:C\to C\) is said to be semi-compact if for any bounded sequence \(\{x_{n}\}\subset C\) such that \(\|x_{n}-Tx_{n}\|\to0\) (\(n\to\infty\)), there exists a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) such that \(\{x_{n_{j}}\}\) converges strongly to \(x^{*}\in C\).

Lemma 2.6

Let \(\{a_{n}\}\), \(\{b_{n}\}\) and \(\{\delta_{n}\}\) be sequences of nonnegative real numbers satisfying

$$a_{n+1}\leq(1+\delta_{n})a_{n}+b_{n}, \quad \forall n\geq1. $$

If \(\sum_{n=1}^{\infty}\delta_{n}<\infty\) and \(\sum_{n=1}^{\infty}b_{n}<\infty\), then the limit \(\lim_{n\to\infty}a_{n}\) exists.

3 Main results

Throughout this section, we assume that:

  1. (1)

    \(E_{1}\) is a real uniformly convex and 2-uniformly smooth Banach space having the Opial property and the best smoothness constant k satisfying \(0< k<\frac{1}{\sqrt{2}}\).

  2. (2)

    \(E_{2}\) is a real Banach space.

  3. (3)

    \(A:E_{1} \to E_{2}\) is a bounded linear operator and \(A^{*}\) is the adjoint of A.

  4. (4)

    \(S: E_{1}\to E_{1}\) is an \(\{l_{n}\}\)-asymptotical nonexpansive mapping with \(\{l_{n}\} \subset(1, \infty)\) and \(l_{n} \to1\). \(T: E_{2}\to E_{2}\) is a Ï„-quasi-strict pseudocontractive mapping with \(F(S)\neq\emptyset \) and \(F(T)\neq\emptyset\), and T is demiclosed at zero.

Remark

It follows from condition (1) that \(E_{1}\) is a real smooth, strictly convex and reflexive Banach space. Therefore, as is well known, the normalized duality mapping \(J_{1}: E_{1} \to2^{E_{1}^{*}}\) is single-valued, one-to-one and onto. And \(J_{1}^{-1}: E_{1}^{*} \to2^{E_{1}}\) is also single-valued, one-to-one and onto.

We are now in a position to introduce and study the following split common fixed point problem (SCFP) for an asymptotical nonexpansive mapping S and a Ï„-quasi-pseudocontractive mapping T in the setting of two Banach spaces, i.e., to find

$$ p\in F(S) \quad \mbox{such that}\quad Ap \in F(T), $$
(3.1)

where \(F(S)\) and \(F(T)\) are the sets of fixed points of S and T, respectively. In the sequel we use Γ to denote the set of solutions of (SCFP) (3.1) for mappings S and T, that is,

$$ \Gamma=\bigl\{ p\in F(S): Ap \in F(T)\bigr\} . $$
(3.2)

Theorem 3.1

Let \(E_{1}\), \(E_{2}\), A, S, T and \(\{l_{n}\}\) be the same as above. For each \(x_{1}\in E_{1}\), let \(\{x_{n}\}\) be the sequence generated by

$$ \left \{ \textstyle\begin{array}{l} z_{n}=x_{n}+\gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n}, \\ x_{n+1}=(1-\alpha_{n})z_{n}+\alpha_{n}S^{n}z_{n}, \quad \forall n \ge1, \end{array}\displaystyle \right . $$
(3.3)

where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\) with \(\liminf_{n\to\infty}\alpha_{n}(1-\alpha_{n})>0\), γ is a positive constant satisfying \(0<\gamma<\min\{\frac{1-2k^{2}}{\|A\|^{2}},\frac{1-\tau}{\|A\|^{2}}\}\), \(\{l_{n}\}\) is a sequence in \([1,+\infty)\) with \(L=\sup_{n\geq1}\{l_{n}\}\) and \(\sum_{n=1}^{\infty}(l_{n}-1)<\infty\).

  1. (I)

    If \(\Gamma=\{p\in F(S):Ap\in F(T)\}\neq\emptyset\) (the set of solutions of (SCFP) (3.1)), then the sequence \(\{x_{n}\}\) converges weakly to a point \(x^{*}\in\Gamma\).

  2. (II)

    In addition, if \(\Gamma=\{p\in F(S):Ap\in F(T)\}\neq\emptyset\) and S is semi-compact, then \(\{x_{n}\}\) converges strongly to a point \(x^{*}\in\Gamma\).

Proof

Now we prove conclusion (I).

We divide the proof into four steps.

Step 1. We first show that the limit \(\lim_{n\to\infty}\|x_{n}-p\|\) exists for each \(p\in\Gamma\).

For any given \(p\in\Gamma\), we have \(p\in F(S)\) and \(Ap\in F(T)\). It follows from (3.3) and Lemma 2.2 that

$$\begin{aligned}& \Vert z_{n}-p\Vert ^{2} \\& \quad = \bigl\Vert (x_{n}-p)+\gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n} \bigr\Vert ^{2} \\& \quad \leq \bigl\Vert \gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n} \bigr\Vert ^{2}+2\gamma\bigl\langle x_{n}-p,A^{*}J_{2}(T-I)Ax_{n} \bigr\rangle + 2k^{2}\Vert x_{n}-p\Vert ^{2} \\& \quad \leq \gamma^{2}\Vert A\Vert ^{2}\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}+2\gamma \bigl\langle Ax_{n}-Ap,J_{2}(T-I)Ax_{n} \bigr\rangle + 2k^{2}\Vert x_{n}-p\Vert ^{2} \\& \quad = \gamma^{2}\Vert A\Vert ^{2}\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}+2k^{2}\Vert x_{n}-p\Vert ^{2} \\& \qquad {} +2\gamma \bigl\langle Ax_{n}-TAx_{n}+TAx_{n}-Ap,J_{2}(T-I)Ax_{n} \bigr\rangle \\& \quad = \gamma^{2}\Vert A\Vert ^{2}\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}+2k^{2}\Vert x_{n}-p\Vert ^{2} \\& \qquad {} -2\gamma\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}+2\gamma \bigl\langle TAx_{n}-Ap,J_{2}(T-I)Ax_{n} \bigr\rangle \\& \quad \leq \bigl(\gamma^{2}\Vert A\Vert ^{2}-2\gamma \bigr)\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}+2k^{2} \Vert x_{n}-p\Vert ^{2} \\& \qquad {} +\gamma\bigl(\Vert TAx_{n}-Ap\Vert ^{2}+\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}\bigr) \\& \quad \leq 2k^{2}\Vert x_{n}-p\Vert ^{2}- \gamma\bigl(1-\gamma \Vert A\Vert ^{2}\bigr)\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2} \\& \qquad {} +\gamma \Vert Ax_{n}-Ap\Vert ^{2}+\gamma\tau \bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2} \quad (\mbox{by (2.2)}) \\& \quad \leq \bigl(2k^{2}+\gamma \Vert A\Vert ^{2}\bigr) \Vert x_{n}-p\Vert ^{2}-\gamma\bigl(1-\tau-\gamma \Vert A\Vert ^{2}\bigr)\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2} \\& \quad \leq \Vert x_{n}-p\Vert ^{2}-\gamma\bigl(1-\tau- \gamma \Vert A\Vert ^{2}\bigr)\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}. \end{aligned}$$
(3.4)

It follows from (3.3), (3.4) and Lemma 2.1 that

$$\begin{aligned}& \Vert x_{n+1}-p\Vert ^{2} \\& \quad = \bigl\Vert (1-\alpha_{n}) (z_{n}-p)+ \alpha_{n}\bigl(S^{n}z_{n}-p\bigr)\bigr\Vert ^{2} \\& \quad \leq (1-\alpha_{n})\Vert z_{n}-p\Vert ^{2}+\alpha_{n}\bigl\Vert S^{n}z_{n}-p \bigr\Vert ^{2}-\alpha _{n}(1-\alpha_{n})g\bigl( \bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert \bigr) \\& \quad \leq (1-\alpha_{n})\Vert z_{n}-p\Vert ^{2}+\alpha_{n}l_{n}\Vert z_{n}-p \Vert ^{2}-\alpha _{n}(1-\alpha_{n})g\bigl(\bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert \bigr) \\& \quad = \bigl[1+\alpha_{n}(l_{n}-1)\bigr]\Vert z_{n}-p\Vert ^{2}-\alpha_{n}(1-\alpha _{n})g\bigl(\bigl\Vert z_{n}-S^{n}z_{n} \bigr\Vert \bigr) \\& \quad \leq \bigl[1+\alpha_{n}(l_{n}-1)\bigr]\Vert x_{n}-p\Vert ^{2}-\gamma\bigl(1-\tau-\gamma \Vert A \Vert ^{2}\bigr)\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2} \\& \qquad {} -\alpha_{n}(1-\alpha_{n})g\bigl(\bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert \bigr) \\& \quad \leq \bigl[1+\alpha_{n}(l_{n}-1)\bigr]\Vert x_{n}-p\Vert ^{2}. \end{aligned}$$
(3.5)

From the condition \(\sum_{n=1}^{\infty}(l_{n}-1)<\infty\) and Lemma 2.6 we know that \(\lim_{n\to\infty}\|x_{n}-p\|\) exists. This implies that the sequence \(\{x_{n}\}\) is bounded.

Step 2. We prove that \(\lim_{n\to\infty}\|x_{n+1}-x_{n}\|=0\) and \(\lim_{n\to\infty}\|z_{n+1}-z_{n}\|=0\).

From (3.5) we have

$$\begin{aligned}& \gamma\bigl(1-\tau-\gamma \Vert A\Vert ^{2}\bigr)\bigl\Vert (T-I)Ax_{n}\bigr\Vert ^{2}+\alpha _{n}(1- \alpha_{n})g\bigl(\bigl\Vert z_{n}-S^{n}z_{n} \bigr\Vert \bigr) \\& \quad \leq\bigl[1+\alpha_{n}(l_{n}-1)\bigr]\Vert x_{n}-p\Vert ^{2}-\Vert x_{n+1}-p\Vert ^{2}. \end{aligned}$$
(3.6)

Letting \(n\to\infty\) in the above inequality, we obtain

$$ \lim_{n\to\infty}\bigl\Vert (T-I)Ax_{n}\bigr\Vert =0 $$
(3.7)

and

$$\lim_{n\to\infty}g\bigl(\bigl\Vert z_{n}-S^{n}z_{n} \bigr\Vert \bigr)=0. $$

By virtue of Lemma 2.1 and the property of g, we know that the sequences \(\{z_{n}\}\) and \(\{S^{n} z_{n}\}\) are bounded and

$$ \lim_{n\to\infty}\bigl\Vert z_{n}-S^{n}z_{n} \bigr\Vert =0. $$
(3.8)

It follows from (3.3) that

$$\begin{aligned} \Vert x_{n+1}-x_{n}\Vert &= \bigl\Vert (1- \alpha_{n})z_{n}+\alpha_{n}S^{n}z_{n}-x_{n} \bigr\Vert \\ &= \bigl\Vert (z_{n}-x_{n})+\alpha_{n} \bigl(S^{n}z_{n}-z_{n}\bigr)\bigr\Vert \\ &\leq \bigl\Vert \gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n} \bigr\Vert +\alpha_{n}\bigl\Vert S^{n}z_{n}-z_{n} \bigr\Vert \\ &\leq \gamma \Vert A\Vert \bigl\Vert (T-I)Ax_{n}\bigr\Vert + \alpha_{n}\bigl\Vert S^{n}z_{n}-z_{n} \bigr\Vert . \end{aligned}$$
(3.9)

From (3.7) and (3.8) we have that

$$ \lim_{n\to\infty}\|x_{n+1}-x_{n} \|=0. $$
(3.10)

Similarly,

$$\begin{aligned} \Vert z_{n+1}-z_{n}\Vert &=\bigl\Vert x_{n+1}+ \gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n+1}-x_{n}- \gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n}\bigr\Vert \\ &\leq \Vert x_{n+1}-x_{n}\Vert +\bigl\Vert \gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n+1}\bigr\Vert +\bigl\Vert \gamma J_{1}^{-1}A^{*}J_{2}(T-I)Ax_{n} \bigr\Vert \\ &\leq \Vert x_{n+1}-x_{n}\Vert +\gamma \Vert A\Vert \bigl\Vert (T-I)Ax_{n+1}\bigr\Vert +\gamma \Vert A\Vert \bigl\Vert (T-I)Ax_{n}\bigr\Vert . \end{aligned}$$
(3.11)

In view of (3.7), (3.10) and (3.11), we get

$$ \lim_{n\to\infty}\|z_{n+1}-z_{n} \|=0. $$
(3.12)

In addition, since

$$\begin{aligned} \begin{aligned}[b] \|x_{n}-z_{n}\|&=\bigl\Vert J_{1}(x_{n}-z_{n}) \bigr\Vert =\bigl\Vert \gamma A^{*}J_{2}(T-I)Ax_{n}\bigr\Vert \\ &\leq\gamma\|A\|\bigl\Vert (T-I)Ax_{n}\bigr\Vert , \end{aligned} \end{aligned}$$
(3.13)

from (3.7) we obtain

$$ \lim_{n\to\infty}\|x_{n}-z_{n}\|=0. $$
(3.14)

Step 3. We prove that \(\lim_{n\to\infty}\|z_{n}-Sz_{n}\|=0\).

By the assumption that S is an asymptotical nonexpansive mapping and \(L=\sup_{n\geq1}\{l_{n}\}\), it follows from (3.8) and (3.12) that

$$\begin{aligned}& \Vert z_{n}-Sz_{n}\Vert \\& \quad \leq \bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert +\bigl\Vert S^{n}z_{n}-Sz_{n}\bigr\Vert \\& \quad \leq \bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert +L\bigl\Vert S^{n-1}z_{n}-z_{n}\bigr\Vert \\& \quad \leq \bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert +L\bigl(\bigl\Vert S^{n-1}z_{n}-S^{n-1}z_{n-1} \bigr\Vert +\bigl\Vert S^{n-1}z_{n-1}-z_{n-1}\bigr\Vert +\Vert z_{n-1}-z_{n}\Vert \bigr) \\& \quad \leq \bigl\Vert z_{n}-S^{n}z_{n}\bigr\Vert +L(L+1)\Vert z_{n}-z_{n-1}\Vert +L\bigl\Vert S^{n-1}z_{n-1}-z_{n-1}\bigr\Vert \\& \quad \to0\quad (n\to\infty), \end{aligned}$$

i.e.,

$$ \lim_{n\to\infty}\|z_{n}-Sz_{n}\|=0. $$
(3.15)

Step 4. We prove that \(\{x_{n}\}\) converges weakly to \(x^{*}\in\Gamma\).

Since \(E_{1}\) is uniformly convex, it is reflexive. By the boundedness of \(\{x_{n}\}\), there exists a subsequence \(\{x_{n_{i}}\}\) of \(\{x_{n}\}\) such that \(x_{n_{i}}\rightharpoonup x^{*}\). By virtue of (3.14), this implies that the subsequence \(\{z_{n_{i}}\}\) of \(\{z_{n}\}\) converges weakly to \(x^{*}\), too. From (3.15) we obtain

$$ \|z_{n_{i}}-Sz_{n_{i}}\|\to0 \quad (n_{i}\to \infty). $$
(3.16)

S is an asymptotical nonexpansive mapping, it is demiclosed at zero. Hence \(x^{*}\in F(S)\).

On the other hand, since A is a bounded linear operator, we know that \(\{Ax_{n_{i}}\}\) converges weakly to \(Ax^{*}\). From (3.7) we have

$$ \|Ax_{n_{i}}-TAx_{n_{i}}\|\to0 \quad (n_{i}\to \infty). $$
(3.17)

Since T is demiclosed at zero, we have \(Ax^{*}\in F(T)\). This together with \(x^{*}\in F(S)\) shows that \(x^{*}\in\Gamma\).

Now we prove that \(\{x_{n}\}\) converges weakly to \(x^{*}\in\Gamma\).

In fact, if there exists another subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) such that \(\{x_{n_{j}}\}\) converges weakly to \(y^{*}\in\Gamma\), by virtue of Step 1 and the assumption that \(E_{1}\) has the Opial property, we have

$$\begin{aligned} \liminf_{n_{i}\to\infty}\bigl\Vert x_{n_{i}}-x^{*}\bigr\Vert &< \liminf_{n_{i}\to \infty}\bigl\Vert x_{n_{i}}-y^{*}\bigr\Vert =\lim _{n\to\infty}\bigl\Vert x_{n}-y^{*}\bigr\Vert \\ &=\liminf_{n_{j}\to\infty}\bigl\Vert x_{n_{j}}-y^{*}\bigr\Vert < \liminf_{n_{j}\to\infty }\bigl\Vert x_{n_{j}}-x^{*}\bigr\Vert \\ &=\lim_{n\to\infty}\bigl\Vert x_{n}-x^{*}\bigr\Vert = \liminf_{n_{i}\to\infty }\bigl\Vert x_{n_{i}}-x^{*}\bigr\Vert . \end{aligned}$$

This is a contradiction. Therefore \(\{x_{n}\}\) converges weakly to \(x^{*}\in\Gamma\). The proof of conclusion (I) is completed.

Next, we prove conclusion (II).

Since \(\lim_{n\to\infty}\|z_{n}-Sz_{n}\|=0\) and S is semi-compact, there exists a subsequence \(\{z_{n_{k}}\}\) of \(\{z_{n}\}\) such that \(\{z_{n_{k}}\}\) converges strongly to \(\mu^{*}\in E_{1}\). By using (3.14), we know that the subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) converges strongly to \(\mu^{*}\), too. Due to \(\{x_{n}\}\) converging weakly to \(x^{*}\), we have \(\mu^{*}=x^{*}\). Since \(\lim_{n\to\infty}\|x_{n}-x^{*}\|\) exists and \(\lim_{n_{k}\to\infty}\|x_{n_{k}}-x^{*}\|=0\), we know that \(\{x_{n}\}\) converges strongly to \(x^{*}\in\Gamma\). This completes the proof of conclusion (II). □

4 Application to hierarchical variational inequality problem in Banach spaces

In this section we shall utilize the results presented in Section 3 to study the hierarchical variational inequality problem in Banach spaces.

Let E be a strictly convex and real reflexive Banach space and K be a nonempty closed and convex subset of E. Then, for any \(x \in E\), there exists a unique element \(z \in K\) such that \(\|x - z\| \le\|x - y\|\), \(\forall y \in K\). Putting \(z = P_{K} x\), we call \(P_{K}\) the metric projection of E onto K.

Lemma 4.1

[21]

Let E be a smooth, strictly convex and reflexive Banach space, and K be a nonempty, closed and convex subset of E. Let \(x \in E\) and \(z \in K\). Then the following conditions are equivalent:

  1. (i)

    \(z = P_{K} x\);

  2. (ii)

    \(\langle z - y, J(x - z)\rangle\ge0\), \(\forall y \in K\),

where J is the normalized duality mapping on E.

Definition 4.2

Let E be a smooth, strictly convex and reflexive Banach space, and K be a nonempty, closed and convex subset of E. Let \(S: K \to K\) be a nonlinear mapping with \(F(S)\) being a nonempty closed and convex subset of K and \(V: K \to K\) be a nonlinear mapping. The so-called hierarchical variational inequality problem for a mapping S with respect to a mapping V in Banach spaces is to find \(x^{*} \in F(S)\) such that

$$ \bigl\langle x^{*} - x, J\bigl(Vx^{*} - x^{*}\bigr) \bigr\rangle \ge0, \quad \forall x \in F(S). $$
(4.1)

By Lemma 4.1, the hierarchical variational inequality problem in Banach space (4.1) is equivalent to the following fixed point equation:

$$ x^{*} = P_{F(S)}V\bigl(x^{*}\bigr). $$
(4.2)

Letting \(C = F(S)\) and \(Q = F(P_{F(S)}V)\) (the fixed point set of \(P_{F(S)} V\)) and \(A = I\) (the identity mapping on E), then the hierarchical variational inequality problem (4.1) for a mapping S with respect to a mapping V in Banach space is equivalent to the following split common fixed point problem in Banach space:

$$ \mbox{to find}\quad x^{*} \in C\quad \mbox{such that} \quad x^{*} \in Q. $$
(4.3)

Therefore the set of solutions \(\Gamma_{1}\) of hierarchical variational inequality problem (4.1) is just the set of solutions of split common fixed point problem (4.3).

Hence from Theorem 3.1 we have the following.

Theorem 4.3

Let E be a real uniformly convex and 2-uniformly smooth Banach space having the Opial property and the best smoothness constant k satisfying \(0< k<\frac{1}{\sqrt{2}}\). Let \(S: E\to E\) be an \(\{l_{n}\}\)-asymptotical nonexpansive mapping with \(F(S)\neq\emptyset\). Let \(V: E \to E\) be a mapping such that the mapping \(T: = P_{F(S)}V\) is a Ï„-quasi-strict pseudocontractive mapping with \(F(T) \neq \emptyset\) and T is demiclosed at zero. For each \(x_{1}\in E\), let \(\{x_{n}\}\) be the sequence generated by

$$ \left \{ \textstyle\begin{array}{l} z_{n} = x_{n} + \gamma(T - I) x_{n}, \\ x_{n+1}=(1-\alpha_{n})z_{n} + \alpha_{n} S^{n} z_{n}, \quad \forall n \ge1, \end{array}\displaystyle \right . $$
(4.4)

where \(\{\alpha_{n}\}\) is a sequence in \((0,1)\) with \(\liminf_{n\to\infty}\alpha_{n}(1-\alpha_{n})>0\), γ is a positive constant satisfying \(0<\gamma<\min\{(1-2k^{2}), (1-\tau)\}\), \(\{l_{n}\}\) is a sequence in \([1,+\infty)\) with \(L=\sup_{n\geq1}\{l_{n}\}\) and \(\sum_{n=1}^{\infty}(l_{n}-1)<\infty\).

  1. (I)

    If \(\Gamma_{1}\) (the set of solutions of hierarchical variational inequality problem (4.1)) is nonempty, then the sequence \(\{ x_{n}\}\) converges weakly to a point \(x^{*}\in\Gamma_{1}\).

  2. (II)

    In addition, if \(\Gamma_{1}\) is nonempty and S is semi-compact, then \(\{x_{n}\}\) converges strongly to a point \(x^{*}\in\Gamma_{1}\).

Proof

Taking \(E_{1} = E_{2} = E\), \(A = I\), \(T = P_{F}(S)\circ V \) in Theorem 3.1, and noting that in this case \(J_{1}= J_{2} = J\) (where J is the normalized duality mapping on E), therefore the conclusion of Theorem 4.3 can be obtained from Theorem 3.1 immediately. □

5 A numerical example

Throughout this section we assume that \(E_{1} = E_{2}\) is a real Hilbert space \(l^{2}\), B is the unit ball in \(l^{2}\), and \(D =\{x=(x_{1},x_{2},\ldots ,x_{n},\ldots) \in l^{2}: x_{i}\in R^{1},i=1,2,\ldots\}\) is an orthogonal subspace of \(l^{2}\) (i.e., \(\forall x, y \in C\), we have \(\langle x,y\rangle=0\)). Define \(C : = B \cap D\). It is easy to know that C is a nonempty closed and convex subset of \(l^{2}\). Let \(S:C\rightarrow C\) be a mapping defined by

$$ S:(x_{1},x_{2},\ldots)\rightarrow\bigl(0, x_{1}^{2}, a_{2}x_{2},a_{3}x_{3}, \ldots\bigr),\quad (x_{1},x_{2},\ldots) \in C, $$
(5.1)

where \(\{a_{i}\}\) is a sequence in \((0,1)\) such that \(\prod_{i=2}^{\infty}\alpha_{i}=\frac{1}{2}\). Let \(T: C \to C\) be a mapping defined by

$$ Tx= \left \{ \textstyle\begin{array}{l@{\quad}l} (x_{1},x_{2},\ldots,x_{n},\ldots) & \mbox{if } \prod_{i=1}^{\infty}x_{i} < 0, \\ (-x_{1},-x_{2},\ldots,-x_{n},\ldots) & \mbox{if } \prod_{i=1}^{\infty}x_{i} \geq0 \end{array}\displaystyle \right . $$
(5.2)

for each \(x =(x_{1}, x_{2},\ldots, x_{n},\ldots)\in C\). In (2.3) and (2.4), we have proved that \(S: C \to C\) is \(\{l_{n}\}\)-asymptotically nonexpansive with \(l_{1} =2\), \(l_{n} = 2\prod_{i=2}^{n}a_{i}\), \(n\geq2\) and \(F(S) = \{0\}\), while \(T: C\to C\) is a Ï„-quasi-strict pseudocontractive mapping with \(F(T) = \{0\}\). Hence from Theorem 3.1 we can obtain the following.

Theorem 5.1

Let \(E_{1} = E_{2} = l^{2}\), \(C= B \cap D\) be the same as above. Let \(S: C \to C\) be the \(\{l_{n}\}\)-asymptotically nonexpansive mapping and \(T: C \to C \) be the Ï„-quasi-strict pseudocontractive mapping defined by (5.1) and (5.2), respectively. Let \(A: C \to C\) be a bounded linear operator and \(A^{*}\) be the adjoint of A. For each \(x_{1}\in C\), let \(\{x_{n}\}\) be the sequence generated by

$$ \left \{ \textstyle\begin{array}{l} z_{n}= P_{C} (x_{n}+\gamma A^{*}(T-I)Ax_{n}), \\ x_{n+1}=(1-\alpha_{n})z_{n}+\alpha_{n}S^{n} z_{n}, \quad \forall n \ge1, \end{array}\displaystyle \right . $$
(5.3)

where \(P_{C}\) is the projection from \(l^{2}\) onto C, \(\{\alpha_{n}\}\) is a sequence in \((0,1)\) with \(\liminf_{n\to\infty}\alpha_{n}(1-\alpha_{n})>0\), and γ is a positive constant satisfying \(0<\gamma<\frac{1-\tau}{\|A\|^{2}}\). If \(\sum_{n=1}^{\infty}(l_{n}-1)<\infty\), then the conclusions of Theorem  3.1 hold.

References

  1. Censor, Y, Elfving, T: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 8, 221-239 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  2. Byrne, C: Iterative oblique projection onto convex sets and the split feasibility problem. Inverse Probl. 18, 441-453 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  3. Moudafi, A: The split common fixed point problem for demi-contractive mappings. Inverse Probl. 26, 055007 (2010)

    Article  MathSciNet  Google Scholar 

  4. Zhao, J, Yang, Q: Several solution methods for the split feasibility problem. Inverse Probl. 21(5), 1791-1799 (2005)

    Article  MATH  Google Scholar 

  5. Qu, B, Xiu, N: A note on the CQ algorithm for the split feasibility problem. Inverse Probl. 21(5), 1655-1665 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  6. Censor, Y, Elfving, T, Kopf, N, Bortfeld, T: The multiple-sets split feasibility problem and its applications. Inverse Probl. 21, 2071-2084 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  7. Xu, H-K: Iterative methods for the split feasibility problem in infinite-dimensional Hilbert spaces. Inverse Probl. 26(10), 105018 (2010)

    Article  Google Scholar 

  8. Yang, L, Chang, SS, Cho, YJ, Kim, JK: Multiple-set split feasibility problems for total asymptotically strict pseudocontractions mappings. Fixed Point Theory Appl. 2011, 77 (2011)

    Article  MathSciNet  Google Scholar 

  9. Moudafi, A: A note on the split common fixed point problem for quasi-nonexpansive operators. Nonlinear Anal. 74, 4083-4087 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  10. Chang, SS, Cho, YJ, Kim, JK, Zhang, W, Yang, L: Multiple-set split feasibility problems for asymptotically strict pseudocontractions. Abstr. Appl. Anal. 2012, Article ID 491760 (2012). doi:10.1155/2012/491760

    MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

  12. Quan, J, Chang, SS, Zhang, X: Multiple-set split feasibility problems for k-strictly pseudononspreading mapping in Hilbert spaces. Abstr. Appl. Anal. 2013, Article ID 342545 (2013). doi:10.1155/2013/342545

    Article  MathSciNet  Google Scholar 

  13. Kim, JK, Chang, SS, Cho, YJ, Sim, JY: Weak and strong convergence theorems of solution to split feasibility problem for nonspreading type mapping in Hilbert spaces. Fixed Point Theory Appl. 2014, 11 (2014). doi:10.1186/1687-1812-2014-11

    Article  MathSciNet  Google Scholar 

  14. Tang, JF, Chang, SS: Strong convergence theorem of two-step iterative algorithm for split feasibility problems. J. Inequal. Appl. 2014, 280 (2014)

    Article  Google Scholar 

  15. Tang, JF, Chang, SS, Yuan, F: A strong convergence theorem for equilibrium problems and split feasibility problems in Hilbert space. Fixed Point Theory Appl. 2014, 36 (2014)

    Article  MathSciNet  Google Scholar 

  16. Zhang, XF, Wang, L, Ma, ZL, Duan, W: The strong convergence theorems for split common fixed point problems of asymptotically nonexpansive mappings in Hilbert spaces. J. Inequal. Appl. 2015, 1 (2015)

    Article  Google Scholar 

  17. Cui, HH, Wang, FH: Iterative methods for the split common fixed point problem in Hilbert spaces. Fixed Point Theory Appl. 2014, 78 (2014). doi:10.1186/1687-1812-2014-78

    Article  MathSciNet  Google Scholar 

  18. Takahashi, W: Iterative methods for split feasibility problems and split common null point problems in Banach spaces. In: The 9th International Conference on Nonlinear Analysis and Convex Analysis, Chiang Rai, Thailand, 21-25 January (2015)

    Google Scholar 

  19. Takahashi, W, Yao, J-C: Strong convergence theorems by hybrid methods for the split common null point problem in Banach spaces. Fixed Point Theory Appl. 2015, 87 (2015)

    Article  Google Scholar 

  20. Goebel, K, Kirk, WA: A fixed point theorem for asymptotically nonexpansive mappings. Proc. Am. Math. Soc. 35, 171-174 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  21. Takahashi, W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama (2000)

    MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by the Scientific Research Fund of Sichuan Provincial Department of Science and Technology (No. 2015JY0165) and the Scientific Research Project of Yibin University (No. 2013YY06) and the National Natural Science Foundation of China (No. 11361070).

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 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 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Tang, J., Chang, Ss., Wang, L. et al. On the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings in Banach spaces. J Inequal Appl 2015, 305 (2015). https://doi.org/10.1186/s13660-015-0832-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0832-z

MSC

Keywords