 Research
 Open Access
 Published:
Remarks on a recent paper titled: “On the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings in Banach spaces”
Journal of Inequalities and Applications volume 2021, Article number: 47 (2021)
Abstract
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 2uniformly smooth real Banach space with the Opial property and best smoothness constant κ satisfying the condition \(0<\kappa < \frac{1}{\sqrt{2}}\), as a real Banach space more general than Hilbert spaces. A wellknown example of a uniformly convex and 2uniformly smooth real Banach space with the Opial property is \(E=l_{p}\), \(2\leq p<\infty \). It is shown in this paper that, if κ is the best smoothness constant of E and satisfies the condition \(0<\kappa \leq \frac{1}{\sqrt{2}}\), then E is necessarily \(l_{2}\), 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} \to H_{2}\) be a bounded linear mapping. The split feasibility problem (SFP) is the following:
Let \(T:C \to C\) and \(S: Q \to Q\) be two mappings with \(F(T):=\{x\in C: Tx=x\}\neq \emptyset \), \(F(S):=\{x\in Q: Sx=x\}\neq \emptyset \). Then the split common fixed point problem (SCFPP) for mappings T and S is to find a point
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 Halperntype 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 τquasistrictly 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 τquasistrictly 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 2uniformly smooth real Banach space which has the Opial property and the best smoothness constant κ satisfying \(0<\kappa <\frac{1}{\sqrt{2}}\).

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

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

4.
\(S: E_{1}\to E_{1}\) is an \(l_{n}\)asymptotically nonexpansive mapping with \(\{l_{n}\}\subset [1,\infty )\), and \(l_{n} \to 1\), as \(n \to \infty \). \(T:E_{2} \to E_{2}\) is a τquasistrict pseudocontractive mapping with \(F(S)\neq \emptyset \) and \(F(T)\neq \emptyset \), 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}\in E_{1}\), let \(\{x_{n}\}\) be the sequence generated by
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
\(\{l_{n}\}\) is a sequence in \([1,\infty )\) with \(L:=\sup_{n\geq 1}\{l_{n}\}\) and \(\sum_{n=1}^{\infty }(l_{n}1)<\infty \).

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

(II)
In addition, if \(\Gamma \neq \emptyset \), and S is semicompact, then \(\{x_{n}\}\) converges strongly to a point \(x^{*}\in \Gamma \).
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 \to C\), \(C\subset 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: \(T:C\to C\), \(C\subset E\), is said to be τstrict pseudocontractive if, \(\forall x, y\in C\), there exist \(j(xy)\in J(xy)\) and \(\tau \in (0,1)\) such that
where \(J: E \to 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_{n}p)\) and \((S^{n}z_{n}p)\). This erroneous application of the lemma led to inequality (3.5) which showed that \(\lim_{n\to \infty }\ x_{n}p\\) 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.
Remark 3
We begin by recalling the following definition.
Definition 1.2
Let E be a normed space with \(\dim (E)\geq 2\). The modulus of smoothness of E is the function \(\rho _{E}:[0,\infty )\to [0,\infty )\) defined by
The normed space E is called uniformly smooth if and only if \(\lim_{\tau \to 0^{+}} \frac{\rho _{E}(\tau )}{\tau }=0 \). For \(\alpha >1\), a normed space E is said to be αuniformly smooth if there exists a constant \(c>0\) such that \(\rho _{E}(\tau )\leq c\tau ^{\alpha }\), \(\tau >0\).
It is well known that \(L_{p}\), \(l_{p}\) and the Sobolev spaces \(W_{p}^{m}(\Omega )\), \(1< p<\infty \), are all puniformly smooth and that the following estimates hold:
where \(\tau \geq 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_{p}^{m}(\Omega )\) is not 2uniformly smooth.
Consider now \(E=L_{p},l_{p}\) or \(W_{p}^{m}(\Omega )\) for \(p\in [2, \infty )\). From (1.2), these spaces are 2uniformly smooth. Furthermore, for these spaces, the following inequality holds:
and \((p1)\) 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]:
we find that \(2\kappa ^{2}=p1\) so that \(\kappa =\frac{\sqrt{p1}}{\sqrt{2}}\). The condition that \(0<\kappa \leq \frac{1}{\sqrt{2}}\) now implies that \(p\leq 2\). But if \(p<2\), then, from Eq. (1.2), E is not 2uniformly 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 quasistrict pseudocontractive mapping and an asymptotically nonexpansive mapping such that the sequence generated by the algorithm converges strongly to a solution of the problem.
Availability of data and materials
Not applicable.
References
Bynum, W.L.: Weak parallelogram laws for Banach spaces. Can. Math. Bull. 19(3), 269–275 (1976)
Byrne, C.: Iterative oblique projection onto convex sets and the split feasibility problem. Inverse Probl. 18, 441–453 (2002)
Censor, Y., Elfving, T.: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 8, 221–239 (1994)
Chidume, C.E.: Geometric Properties of Banach Spaces and Nonlinear Iterations. Lectures Notes in Mathematics, vol. 1965. Springer, London (2009)
Chidume, C.E., Adamu, A.: On split generalized mixed equality equilibrium and split equality fixed point problems. Appl. SetValued Anal. Optim. 2(3), 273–283 (2020). https://doi.org/10.23952/asvao.2.2020.3.02
Chidume, C.E., Romanus, O.M., Nnyaba, U.V.: An iterative algorithm for solving split equality fixed point problems for a class of nonexpansivetype mappings in Banach spaces. Numer. Algorithms 82(3), 987–1007 (2019). https://doi.org/10.1007/s1107501806384
Cui, H.H., Wang, F.H.: Iterative methods for the split common fixed point problem in Hilbert spaces. Fixed Point Theory Appl. 2014, 78 (2014). https://doi.org/10.1186/16871812201478
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces II: Function Spaces. Ergebnisse Math. Grenzgebiete Bd., vol. 97. Springer, Berlin (1979)
Moudafi, A.: The split common fixed point problem for demicontractive mappings. Inverse Probl. 26, 055007 (2010)
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, pp. 21–25 (2015)
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)
Tang, J., Chang, S.S., Wang, L., Wang, X.: 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/s136600150832z
Xu, H.K.: Inequalities in Banach spaces with applications. Nonlinear Anal. 16(12), 1127–1138 (1991)
Acknowledgements
The author acknowledges the African Development Bank (AfDB) and the Pan African Material Institute (PAMI), AUST for their financial support.
Funding
This work is supported from the African Development Bank (AfDB) research grant funds to AUST.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that there is no competing interests.
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chidume, C.E. Remarks on a recent paper titled: “On the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings in Banach spaces”. J Inequal Appl 2021, 47 (2021). https://doi.org/10.1186/s13660021025760
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660021025760
MSC
 47H09
 47H05
 47J25
 47J05
Keywords
 Fixed point
 Accretive
 Uniformly smooth