Remarks on a recent paper titled: “On the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings in Banach spaces”

In a recently published theorem on the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings, Tang et al. (J. Inequal. Appl. 2015:305, 2015) studied a uniformly convex and 2-uniformly smooth real Banach space with the Opial property and best smoothness constant κ satisfying the condition 0<κ<12\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$0<\kappa < \frac{1}{\sqrt{2}}$\end{document}, as a real Banach space more general than Hilbert spaces. A well-known example of a uniformly convex and 2-uniformly smooth real Banach space with the Opial property is E=lp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$E=l_{p}$\end{document}, 2≤p<∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$2\leq p<\infty $\end{document}. It is shown in this paper that, if κ is the best smoothness constant of E and satisfies the condition 0<κ≤12\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$0<\kappa \leq \frac{1}{\sqrt{2}}$\end{document}, then E is necessarily l2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$l_{2}$\end{document}, a real Hilbert space. Furthermore, some important remarks concerning the proof of this theorem are presented.


Introduction
Let H 1 and H 2 be two real Hilbert spaces, C and Q be nonempty closed and convex subsets of H 1 and H 2 , respectively. Let A : H 1 → H 2 be a bounded linear mapping. The split feasibility problem (SFP) is the following: find x * ∈ C such that Ax * ∈ Q.
Let T : C → C and S : Q → Q be two mappings with F(T) := {x ∈ C : Tx = x} = ∅, F(S) := {x ∈ Q : Sx = x} = ∅. Then the split common fixed point problem (SCFPP) for mappings T and S is to find a point q * ∈ F(T) such that Aq * ∈ F(S).
© The Author(s) 2021. 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 http://creativecommons.org/licenses/by/4.0/.
We shall denote the set of solutions of the SCFPP for mappings T and S by , that is, The SFP was first introduced by Censor and Elfving [3] in finite dimensional real Hilbert spaces for modeling inverse problems which arise from phase retrievals and medical image reconstruction [2]. The split common fixed point problem in Hilbert spaces was introduced by Moudafi [9] in 2010. It is now well known that the SFP and SCFPP have applications in very important real life problems. Consequently, these problems have attracted the interest of many researchers.
These problems and their generalizations have been studied in real Hilbert spaces and iterative methods for approximating their solutions, assuming existence, in this setting abound in the literature (see, for example, Tang et al. [12], and the references therein).
Studies of SFP and SCFPP in real Banach spaces more general than Hilbert spaces are very scanty in the literature. Part of the reason for this may be that most of the tools used in real Hilbert spaces for studying them are confined to real Hilbert spaces. Consequently, new tools have to be developed for solving these problems in real Banach spaces more general than Hilbert spaces. Some of the earliest successes in this direction are the results of Takahashi [10] and Takahashi and Yao [11]. In 2015, Tang et al. [12] studied the SFP and SCFPP in real Banach spaces more general than Hilbert spaces and by using hybrid methods and Halpern-type methods, they proved strong and weak convergence of the sequence generated by their algorithm to solutions of these problems. For other results obtained in studying the SFP, the SCFPP and some of their generalizations, in real Banach spaces more general than Hilbert spaces, the reader may see any of the following recent papers [5,6], and the references therein.
In 2014, Cui and Wang [7] studied the SCFPP of τ -quasi-strictly pseudocontractive mappings in the setting of Hilbert space. Motivated and inspired by this study and the research going on in the domain of split feasibility problems and SCFPP, Tang et al. [12] studied the SCFPP for a τ -quasi-strictly pseudocontractive mapping and an asymptotically nonexpansive mapping in the setting of two real Banach space which they assumed are more general than Hilbert spaces. Their setting is the following: 1. E 1 is a uniformly convex and 2-uniformly smooth real Banach space which has the Opial property and the best smoothness constant κ satisfying 0 < κ < 1 is a bounded linear mapping and A * is the adjoint of A. 4. S : E 1 → E 1 is an l n -asymptotically nonexpansive mapping with {l n } ⊂ [1, ∞), and l n → 1, as n → ∞. T : E 2 → E 2 is a τ -quasi-strict pseudocontractive mapping with F(S) = ∅ and F(T) = ∅, and T is demiclosed at zero. They proved the following theorem. Theorem 1.1 (Theorem 3.1 of [12]) Let E 1 , E 2 , A, S, T and {l n } be the same as above. For each x 1 ∈ E 1 , let {x n } be the sequence generated by where {α n } is a sequence in (0, 1) with lim inf n→∞ α n (1α n ) > 0, γ is a positive constant satisfying We first make the following remarks concerning the proof of this theorem in Tang et al. [12].
Remark 1 Definition 2.3(ii) of the τ -strict pseudocontractive mapping for T : C → C, C ⊂ E, where E is a real Banach space, given by inequality (2.2), is an error. This definition is restricted to real Hilbert spaces. The definition for τ -strict pseudocontractive mapping in real Banach spaces, E, more general than Hilbert spaces, in the sense of Browder and Pertishyn, is the following: where J : E → 2 E * is the normalized duality mapping on E. It is easy to show that in a real Hilbert space, inequality (1.1) is equivalent to inequality (2.2) in Tang et al. [12], and it is well known that in real Banach spaces more general than Hilbert spaces, inequality (2.2) in Tang et al. [12] is not equivalent to inequality (1.1). Consequently, the use of inequality (2.2) in the proof of Theorem 3.1 in Tang et al. [12] invalidates the argument of the proof.
Remark 2 The use of Lemma 2.1 by Tang et al. [12] in the proof of Theorem 1.1 is an error. As correctly stated in Lemma 2.1 (see Tang et al. [12] for the statement of Lemma 2.1) the inequality of the lemma can be used provided that the vectors x and y are bounded. They used this inequality in the proof without establishing the boundedness of the vectors (z np) and (S n z np). This erroneous application of the lemma led to inequality (3.5) which showed that lim n→∞ x np exists and consequently that {x n } is bounded, which plays a crucial role in what followed. This use of Lemma 2.1 also invalidates the argument in the proof of Theorem 3.1. The normed space E is called uniformly smooth if and only if lim τ →0 + ρ E (τ ) τ = 0. For α > 1, a normed space E is said to be α-uniformly smooth if there exists a constant c > 0 such that It is well known that L p , l p and the Sobolev spaces W m p ( ), 1 < p < ∞, are all p-uniformly smooth and that the following estimates hold: where τ ≥ 0 (see, e.g., Lindenstrauss and Tzafriri, [8]; see also Chidume [4], page 44). From (1.2), it is clear that, if 1 < p < 2, then E = L p , l p or W m p ( ) is not 2-uniformly smooth. Consider now E = L p , l p or W m p ( ) for p ∈ [2, ∞). From (1.2), these spaces are 2uniformly smooth. Furthermore, for these spaces, the following inequality holds: and (p -1) is the best smoothness constant (see, e.g., Bynun [1], Xu [13]; see also Chidume [4], page 44). Comparing inequality (1.3) with the following inequality in Tang et al. [12]: x + y 2 ≤ x 2 + 2 y, j(x) + 2 κy 2 , ∀x, y ∈ E, we find that 2κ 2 = p -1 so that κ = √ p-1 √ 2 . The condition that 0 < κ ≤ 1 √ 2 now implies that p ≤ 2. But if p < 2, then, from Eq. (1.2), E is not 2-uniformly smooth. So, the only possibility is that p = 2, i.e., E = l 2 , a real Hilbert space.

Conclusion
The space E 1 described in the paper of Tang et al. [12] as a real Banach space more general than real Hilbert space is, in fact, necessarily a real Hilbert space. Furthermore, there are serious errors in the proof of Theorem 3.1 in Tang et al. [12]. Consequently, the following important problem which Tang et al. [12] tried to solve is still open.

Open problem
It is of interest to define a space E 1 that is a real Banach space more general than real Hilbert spaces, E 2 as defined in the paper of Tang et al. [12] and an iterative algorithm for solving split common fixed point problem involving a quasi-strict pseudocontractive mapping and an asymptotically nonexpansive mapping such that the sequence generated by the algorithm converges strongly to a solution of the problem.