Abstract
In this paper, we study the approximation of solution (assuming existence) for the split inclusion problem in uniformly convex Banach spaces which are also uniformly smooth. We introduce an iterative algorithm in which the stepsizes are selected without the need for any prior information about the bounded linear operator norm and strong convergence obtained. The novelty of our algorithm is that the bounded linear operator norm is not given a priori and stepsizes are constructed step by step in a natural way. Our results extend and improve many recent and important results obtained in the literature on the split inclusion problem and its variations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathcal {H}_1\) and \(\mathcal {H}_2\) be two real Hilbert spaces, \(T_1:\mathcal {H}_1\rightrightarrows \mathcal {H}_1\) and \(T_2:\mathcal {H}_2\rightrightarrows \mathcal {H}_2\) be two set-valued maximal monotone mappings, \(A:\mathcal {H}_1\rightarrow \mathcal {H}_2\) be a bounded linear operator, and \(A^*\) be the adjoint of A. Many authors [5, 10, 15, 17, 37, 38] have studied the following split inclusion problem (SIP) in Hilbert spaces:
The split inclusion problem has studied extensively by many authors and applied to solving many real life problems, such as in modelling intensity-modulated radiation therapy treatment planning [7, 8], modelling of inverse problems arising from phase retrieval, and in sensor networks in computerized tomography and data compression [4, 12].
Next, we give some examples which serve as motivations for studying the split inclusion problem and to understand its relationship with other problems in the literature. Byrne et al. [6] studied a split inverse problem (SInvP) formulated in Sect. 2 of [9] which concerns a model in which there are two given vector spaces \(\mathcal {X}_1\) and \(\mathcal {X}_2\) and a linear operator \(A:\mathcal {X}_1\rightarrow \mathcal {X}_2\). In this model, two Inverse Problems (IP) are involved. The first one, denoted by (IP1), is formulated in the space \(\mathcal {X}_1\), and the second one, denoted by (IP2), is in \(\mathcal {X}_2\). Given these data, the Split Inverse Problem (SInvP) is formulated as follows:
Now, recall the split variational inequality problem (SVIP) introduced in [9], which is an SIP with a variational inequality problem (VIP) in each one of the two spaces. Let \(\mathcal {H}_1\) and \(\mathcal {H}_2\) be two real Hilbert spaces, and assume that there are given two point-to-point operators \(F_1:\mathcal {H}_1\rightarrow \mathcal {H}_1\) and \(F_2:\mathcal {H}_2\rightarrow \mathcal {H}_2\), a bounded linear operator \(A:\mathcal {H}_1\rightarrow \mathcal {H}_2\), and nonempty, closed, and convex subsets \(\Omega _1\subseteq \mathcal {H}_1\) and \(\Omega _2\subseteq \mathcal {H}_2\). The SVIP is then formulated as follows:
The above problem (SVIP) can be structurally considered a special case of the split monotonic variational inclusion problem (SMVIP) when the operators \(F_1\) and \(F_2\) are monotones. It is formulated as follows:
where we denote by SOL\((F_1,\Omega _1)\) and SOL\((F_2,\Omega _2)\) the solution sets of the VIPs in (SVIP). Taking in (SMVIP), \(\Omega _1 = \mathcal {H}_1, \Omega _2 = \mathcal {H}_2\) and choosing \(x:= x^*-F_1(x^*) \in \mathcal {H}_1\) and \(y = Ax^* -F_2(Ax^*) \in \mathcal {H}_2\), we obtain the Split Zeros Problem (SZP) for two operators \(F_1:\mathcal {H}_1\rightarrow \mathcal {H}_1\) and \(F_2:\mathcal {H}_2\rightarrow \mathcal {H}_2\), which were introduced in Sect. 7.3 of [9]. It is formulated as follows:
Furthermore, we can define the set-valued mapping \({T}_1:\Omega _1\subset \mathcal {H}_1\rightrightarrows \mathcal {H}_1\) by
and \({T}_2:\Omega _2\subset \mathcal {H}_2\rightrightarrows \mathcal {H}_2\) by
where \(\mathcal {N}_\Omega :\mathcal {H}\rightrightarrows \mathcal {H}\) is the normal cone of some nonempty, closed, and convex set \(\Omega \subset \mathcal {H}\), which is defined at a point \(u\in \Omega \) as
and the empty set otherwise. Then, under maximal monotonicity assumption on \(F_1\) and \(F_2\), Theorem 3 of [19] implies that \(T_1\) and \(T_2\) are maximal monotone mappings and so \(x^*\in \mathrm{SOL}(F_1,\Omega _1)\) and \(Ax^*\in \mathrm{SOL}(F_2,\Omega _2)\) if and only if \(0\in T_1(x^*)\) and \(0\in T_2(Ax^*)\), respectively. Hence, we observe that problem (SMVIP) is a special case of Split Inclusion Problem defined in (SIP). Thus, SIP is a remalkable problem, which contains a large class of applications; for further discussions of this problem, the reader can see [10, 17] and the references therein.
2 Some notations and definitions on uniformly convex Banach spaces
We start this part by recalling some definitions and notation used in this paper, which are standard and follows from [3, 39]. Throughout this paper, we write \(\mathcal {S}:=\mathcal {R}\) to indicate that \(\mathcal {S}\) is defined to be equal to \(\mathcal {R}\). Let \(\mathcal {B}\) be a real Banach space. The modulus of smoothness of \(\mathcal {B}\) is the function \(\rho _\mathcal {B}:[0,\infty ) \rightarrow [0,\infty )\) defined by
We assume that \(1<p,\,q<\infty \) such that \(\frac{1}{p}+\frac{1}{q}=1\). \(\mathcal {B}\) is uniformly smooth if and only if
and q-uniformly smooth if there exists a \(C_{q}>0\), such that \(\rho _{\mathcal {B}}(t)\le C_{q}t^{q}\) for any \(t >0\).
Let dim \(\mathcal {B}\ge 2 \). The modulus of convexity of \(\mathcal {B}\) is the function \(\delta _\mathcal {B}:(0,2]\rightarrow [0,1]\) defined by
\(\mathcal {B}\) is uniformly convex if and only if \(\delta _\mathcal {B}(\epsilon ) >0\) for all \(\epsilon \in (0,2]\) and p-uniformly convex if there is a \(C_{p}>0\), so that \(\delta _\mathcal {B}(\epsilon )\ge C_{p}\epsilon ^{p}\) for any \(\epsilon \in (0,2]\). The uniform convexity is a geometric property of the unit ball. In particular, the unit sphere must be round and cannot include any line segment. Surprisingly, this geometric property ensures a topological one. That is, it follows from Milman–Pettis’ Theorem that every uniformly convex Banach space is reflexive; see Theorem 3.31 of [3].
It is well known that \(\mathcal {B}\) is p-uniformly convex and uniformly smooth if and only if its dual \(\mathcal {B}^*\) is q-uniformly smooth and uniformly convex. Then, from now on, mainly in Sect. 3, we assume that \(\mathcal {B}\) is p-uniformly convex and uniformly smooth with constant \(C_p\) and we denote \(C_q\) with \(1/p+1/q=1\) the associated constant to \(\mathcal {B}^*\). It is also a common knowledge that the duality mapping \(\mathcal {J}^\mathcal {B}_p\) is one-to-one, single valued and satisfies \(\mathcal {J}^\mathcal {B}_p=(\mathcal {J}^{\mathcal {B}^*}_q)^{-1}\), where \(\mathcal {J}^{\mathcal {B}^*}_q\) is the duality mapping of \(\mathcal {B}^*\) (see [1, 11]).
Definition 2.1
The duality mapping \(\mathcal {J}^\mathcal {B}_p:\mathcal {B}\rightrightarrows \mathcal {B}^{*}\) is defined by
We denote it as \(\mathcal {J}\) when \(p=1\) and the domain space \(\mathcal {B}\) is clear. The duality mapping \(\mathcal {J}^\mathcal {B}_p\) is said to be weak-to-weak star continuous if
holds true for any \(y\in \mathcal {B}\). We note here that \(l_{p}(p>1)\) spaces have such a property, but \(L_{p}(p>2)\) does not share this property.
Let \(\mathcal {B}\) be a reflexive, strictly convex, and smooth Banach space and let \(T:\mathcal {B}\rightrightarrows \mathcal {B}^*\) be a maximal monotone operator. Then, for \(\lambda >0\) and \(x\in \mathcal {B}\), consider the metric resolvent of T, for \(\lambda >0\), as
or equivalently \(J_{\lambda T}=(I+\lambda \mathcal {J}^{-1}T)^{-1}: \mathcal {B}\rightarrow \mathcal {B}^*\), which is point-to-point, full domain, and nonexpansive operator. Then
holds, for all x, \(y\in \mathcal {B}\); see, for instance, Proposition 57.5(b) of [40].
In addition, we consider the relative resolvent of T, for \(\lambda >0\), as
or equivalently \(Q_{\lambda T}=(J+\lambda T)^{-1}J:\mathcal {B}\rightarrow \mathcal {B}^*\), which is point-to-point and relatively nonexpansive mapping. That is, for \(\lambda >0\),
for all x, \(y\in \mathcal {B}\); see, Theorem 5.2. of [27].
3 Previous related schemes and our proposal
In this part, we describe some previous schemes, which use the norm of the operator A to find the stepsizes. In 2011, Byrne et al. [5] gave the following convergence theorem for the split inclusion problem (SIP) working in Hilbert spaces.
Theorem 1.1
(Theorem 3.2 of [5]). Let \(\mathcal {H}_1\) and \(\mathcal {H}_2\) be real Hilbert spaces, \(A:\mathcal {H}_1\rightarrow \mathcal {H}_2\) be a linear and bounded operator, and \(A^*\) denote the adjoint of A. Let \(T_1:\mathcal {H}_1\rightrightarrows \mathcal {H}_1\) and \(T_2:\mathcal {H}_2\rightrightarrows \mathcal {H}_2\) be set-valued maximal monotone mappings, \(\lambda > 0\) and \(\gamma \in \Big (0,\frac{2}{\Vert A^*A\Vert }\Big )\). Suppose that \(\Gamma \ne \emptyset \), the solution set of (SIP). The sequence \((x_n)_{n\in \mathbb {N}}\) defined as follows:
converges weakly to an element \(x^* \in \Gamma \).
Furthermore, in 2013, Chuang [10] gave the following strong convergence theorem for problem (SIP).
Theorem 1.2
(Theorem 4.1 of [10]). Let \(\mathcal {H}_1\) and \(\mathcal {H}_2\) be real Hilbert spaces, \(A:\mathcal {H}_1\rightarrow \mathcal {H}_2\) be a linear and bounded operator, and \(A^*\) denote the adjoint of A. Let \(T_1:\mathcal {H}_1\rightrightarrows \mathcal {H}_1\) and \(T_2:\mathcal {H}_2\rightrightarrows \mathcal {H}_2\) be set-valued maximal monotone mappings. Let \((\alpha _n)_{n\in \mathbb {N}}\subset (0,1)\), \((\lambda _n)_{n\in \mathbb {N}}\) be a sequence in \((0,\infty )\) and \((\gamma _n)_{n\in \mathbb {N}}\subset \left( 0,2/(\Vert A\Vert ^2+2)\right) \). Let \(\Gamma \) be the solution set of (SIP) and suppose that \(\Gamma \ne \emptyset \). Let \((x_n)_{n\in \mathbb {N}}\) be defined by
Assume that
Then, \(\lim _{n\rightarrow \infty } x_n=\bar{x}:= P_\Gamma 0\), that is, \(\bar{x}\) is the minimal norm solution of (SIP).
Recently, Takahashi and Takahashi [29] considered the problem (SIP) in uniformly convex and smooth Banach spaces, which are higher spaces other than Hilbert spaces. In other words, let \(\mathcal {B}_1\) and \(\mathcal {B}_2\) be two real uniformly convex and smooth Banach spaces, \(T_1:\mathcal {B}_1\rightrightarrows \mathcal {B}^*_1\) and \(T_2:\mathcal {B}_2\rightrightarrows \mathcal {B}^*_2\) be two set-valued maximal monotone mappings, \(A:\mathcal {B}_1\rightarrow \mathcal {B}_2\) be a bounded linear operator, and \(A^*:\mathcal {B}_2^*\rightarrow \mathcal {B}_1^*\) be the adjoint of A. Takahashi and Takahashi [29] studied the Split Inclusion Problem given in (SIP) in Banach spaces, that is
Let the set of solutions of the split inclusion problem (SIP\(_\mathrm{\mathcal {B}}\)) be denoted by \(\Gamma \). Using the shrinking projection method, Takahashi and Takahashi [29] proved the following strong convergence theorem for finding a solution of (SIP\(_\mathrm{\mathcal {B}}\)) in uniformly convex and smooth Banach spaces.
Theorem 1.3
(Theorem 6 of [29]). Let \(\mathcal {B}_1\) and \(\mathcal {B}_2\) be uniformly convex and smooth Banach spaces and let \(\mathcal {J}^{\mathcal {B}_1}\) and \(\mathcal {J}^{\mathcal {B}_2}\) be the duality mappings on \(\mathcal {B}_1\) and \(\mathcal {B}_2\), respectively. Let \(T_1:\mathcal {B}_1\rightrightarrows \mathcal {B}^*_1\) and \(T_2:\mathcal {B}_2\rightrightarrows \mathcal {B}^*_2\) be maximal monotone operators, such that \(T^{-1}_1(0)\ne \emptyset \) and \(T^{-1}_2(0)\ne \emptyset ,\) respectively. Let \(Q_{\lambda T_2}\) be the relative resolvent of \(T_2\) for \(\lambda > 0\). Let \(A:\mathcal {B}_1\rightarrow \mathcal {B}_2\) be a bounded linear operator, such that \(A\ne 0\) and let \(A^*\) be the adjoint operator of A. Suppose that \(\Gamma \ne \emptyset \). Let \(x_1 \in \mathcal {B}_1\) and let \(C_1 = T^{-1}_1(0).\) Let \((x_n)_{n\in \mathbb {N}}\) be a sequence generated by
where \(\{t_n\}, (\lambda _n)_{n\in \mathbb {N}}\subset (0,\infty )\) satisfy the conditions, such that for some \(a, b, c\in \mathbb {R}\)
Then, the sequence \((x_n)_{n\in \mathbb {N}}\) converges strongly to a point \(z_0\in \Gamma \), where \(z_0 = P_{\Gamma }x_1\).
Closely studying the result of Takahashi and Takahashi [29], we see that the choice of step-size \(t_n\) is operator norm dependent. This is a drawback in terms of efficiency and implementation of the iteration process (1.1). Furthermore, the set \(C_n\) has to be computed in each iteration step in the iteration process (1.1). This makes the iteration process (1.1), above, computationally expensive, because the complexity of the proposed iteration grows dramatically when n is large. Note that the set where is doing the projection step can be written as
Moreover, it is worth mentioning that in most of the results on the split inclusion problem studied so far, the choice of the stepsize depends on the operator norm \(\Vert A\Vert \). This involves knowing a priori the norm (or at least an estimate of the norm) of the bounded linear operator, which is in general not an easy work in practice. Hence, it makes the implementation of the iteration process inefficient when the computation of the operator norm \(\Vert A\Vert \) is not explicit (see [13, 16]). Even in finite dimensions, computing the norm of bounded linear operator is a difficult task as shown by the following Theorem of Hendrickx and Olshevsky [14]:
Theorem 1.4
(Theorem 2.3 of [14]). For any rational \(p\in [1,\infty )\) except \(p=1, 2\), unless \(P = NP\), there is no algorithm which computes the p-norm of a matrix with entries in \(\{-1, 0, 1\}\) to relative error \(\epsilon \) with running time polynomial in the dimensions.
These observations lead to the following natural question.
Question: Can we obtain strong convergence result for the split inclusion problem in higher spaces other than Hilbert spaces in which the iteration process is operator norm independent for solving the Split Inclusion Problem (SIP)? Moreover, could the proposed iteration process be more efficient and implementable than the iteration processes already obtained for the split inclusion problem in the literature?
Our main purpose, in this paper, is to give an affirmative answer to the above question. Thus, we propose an iterative scheme, which generated a sequence strongly convergent to some solution of the split inclusion problem in p-uniformly convex real Banach spaces which are also uniformly smooth. The proposed iteration process is constructed in such a way that we do not need to know a priori the norm or an estimate of the norm of the bounded linear operator for approximating solution of the split inclusion problems and so it can be more efficiently implemented. Our results complement and extend many recent and important results on the split inclusion problems both in Hilbert spaces and Banach spaces.
Organization of the paper: The next subsection provides some preliminaries results that will be used in the remainder of this paper. In Sect. 3, the proposed algorithm and its strong convergence are analyzed by choosing stepsizes without norm dependence, and moreover, we remark some consequences. Finally, Sect. 4 gives some concluding remarks.
4 Preliminaries
This section discusses some preliminary results which will be used throughout the paper.
Lemma 2.1
(Corollary \(1'\) of [34]). Let \(x,y \in \mathcal {B}\). If \(\mathcal {B}\) is q-uniformly smooth Banach space, then there exists \(C_{q}>0\), such that
Definition 2.2
Let \(\mathcal {B}\) be a p-uniformly convex real Banach spaces which is also uniformly smooth. Given a Gâteaux differentiable convex function \(f:\mathcal {B}\rightarrow \mathbb {R}\), the Bregman distance with respect to f is defined as
We note here also that the duality mapping \(\mathcal {J}^\mathcal {B}_p\) is in fact the derivative of the function \(f_p(x):= \frac{1}{p}\Vert x\Vert ^p\), for \(2\le p<\infty \). Hence, the Bregman distance with respect to \(f_p\) (see [24]) is given by
In addition, the Bregman distance possesses the following important properties:
When considering the p-uniformly convex space, the Bregman distance and the metric distance have the following relation (see (7) of [21]):
where \(\tau >0\) is some fixed number.
Let \(\Omega \) be a nonempty, closed, and convex subset of \(\mathcal {B}\). The metric projection
is the unique minimizer of the norm distance, which can be characterized by a variational inequality:
Similar to the metric projection, the Bregman projection is defined as
the unique minimizer of the Bregman distance (see Proposition 1.25 of [20]). The Bregman projection can also be characterized by a variational inequality:
from which one has
Following [1] [see equation (6.3), page 29], we make use of the function \(V_{p}:\mathcal {B}^*\times \mathcal {B}\rightarrow [0,+\infty )\), which is defined by
Then, \(V_{p}\) is nonnegative and \(V_{p}(x,y)=\Delta _{p}(\mathcal {J}^{\mathcal {B}^*}_{q}(x),y)\) for all \(x\in \mathcal {B}^*\) and \(y\in \mathcal {B}\). Moreover, by the subdifferential inequality
with \(f(x)=\frac{1}{q}\Vert x\Vert ^{q},x\in \mathcal {B}^*,~ \mathrm{then}~f^{\prime }(x)=\mathcal {J}_{q}^{\mathcal {B}^*}\). Then, we have
and from (2.9), we obtain (see [24])
for all \(x\in \mathcal {B}\) and \(x^*,y^*\in \mathcal {B}^*\). In addition, since \(f=f_p\) is a proper lower semi-continuous and convex function, we have \(f^*=f_{p}^*\) is a proper weak\(^*\) lower semi-continuous and convex function; see [18]. Hence, \(V_{p}\) is convex in the second variable. Thus, for all \(z\in \mathcal {B}\), we can show that (see [24])
where \((x_i)_{i=1,\ldots ,N}\subset \mathcal {B}\) and \((t_i)_{i=1,\ldots ,N}\subset (0,1)\) with \(\sum _{i=1}^Nt_{i}=1.\) For more details, see [22, 23, 25, 26, 32].
We need the following useful lemma in the sequel.
Lemma 2.2
(Lemma 2.5 of [35]). Let \((a_{n})_{n\in \mathbb {N}}\) be a sequence of nonnegative real numbers satisfying the following relation:
where \((\alpha _n)_{n\in \mathbb {N}},~~(\gamma _n)_{n\in \mathbb {N}}\) and \((\sigma _n)_{n\in \mathbb {N}}\) are sequences of real numbers satisfying
-
(i)
\((\alpha _{n})_{n\in \mathbb {N}}\subset [0,1],~\sum \alpha _{n}=\infty ;\)
-
(ii)
\(\limsup _{n\rightarrow \infty } \sigma _{n}\le 0;\)
-
(iii)
\(\gamma _{n}\ge 0,~\sum \gamma _{n}<\infty \).
Then, \(a_{n}\rightarrow 0\) as \(n\rightarrow \infty .\)
5 Main results
Using the ideas of [41], we introduce an iterative algorithm in which the stepsize does not depend on the norm \(\Vert A\Vert \) and then prove the strong convergence of the sequence generated by the algorithm in p-uniformly convex real Banach spaces which are also uniformly smooth.
Algorithm Let \(\mathcal {B}_1\) and \(\mathcal {B}_2\) be two p-uniformly convex real Banach spaces which are also uniformly smooth. Let \(T_1:\mathcal {B}_1\rightrightarrows \mathcal {B}_1\) and \(T_2:\mathcal {B}_2\rightrightarrows \mathcal {B}_2\) be maximal monotone operators, such that \(T^{-1}_1(0)\ne \emptyset \) and \(T^{-1}_2(0)\ne \emptyset \), respectively. Let \(J_{\lambda T_1}\) and \(Q_{\lambda T_2}\), for \(\lambda > 0\), be the metric and relative resolvents of \(T_1\) and \(T_2\), respectively. Let \(A:\mathcal {B}_1 \rightarrow \mathcal {B}_2\) be a bounded linear operator, such that \(A\ne 0\) and \(A^*:\mathcal {B}_2^* \rightarrow \mathcal {B}_1^*\) be the adjoint of A. For a fixed \(u \in \mathcal {B}_1\), choose an initial guess \(x_1 \in \mathcal {B}_1\) arbitrarily. Let \((\alpha _n)_{n\in \mathbb {N}} \subset [0,1]\). Assume that the nth iterate \(x_n \in \mathcal {B}_1\) has been constructed; then, we calculate the \((n+1)\)th iterate \(x_{n+1}\) via the formula:
Let the stepsize \(t_n\) be chosen in such a way that
where the index set \(\Omega := \{n \in \mathbb {N}:(I-Q_{\lambda T_2})Ax_n\ne 0\}\) otherwise \(t_n=t\) (t being any nonnegative value).
Before the formal analysis of the convergence properties of the algorithm (3.1)–(3.2), we note that the step-size \(t_n\) does need compute the norm of any operator, and also, it is possible to use a backtracking procedure to find it without multiple evaluations of the vector norm.
In the following, we present two lemmas establishing that the proposed algorithm is well-defined and the generated sequences are bounded.
Lemma 3.1
Suppose that the split inclusion problem (SIP\(_\mathrm{\mathcal {B}}\)) has a nonempty solution set \(\Gamma \). Then, \(t_n\) defined by (3.2) is well defined.
Proof
First, we observe that in algorithm (3.1)–(3.2) the choice of the step-size \(t_n\) is independent of the norm \(\Vert A\Vert \). In addition, the value of t does not influence the considered algorithm, but it was introduced just for the sake of clarity. Furthermore, we show that \(t_n\) is well defined. Now, let \(x \in \Gamma \). Then, \(Ax=Q_{\lambda T_2} Ax\). Hence
Consequently, for \(n \in \Omega \), that is, \(\Vert (I-Q_{\lambda T_2})Ax_n\Vert > 0\), we get \(\Vert A^*\mathcal {J}_{p}^{\mathcal {B}_2}(I-Q_{\lambda T_2})Ax_n\Vert \Vert x_n-x\Vert >0\) and \(\Vert (I-Q_{\lambda T_2})Ax_n\Vert ^{p-1}\Vert Q_{\lambda T_2} Ax-Q_{\lambda T_2} Ax_n\Vert >0\). Since \(\Vert A^*\mathcal {J}_{p}^{\mathcal {B}_2}(I-Q_{\lambda T_2})Ax_n\Vert \Vert x_n-x\Vert >0\), then we obtain that \(\Vert A^*\mathcal {J}_{p}^{\mathcal {B}_2}(I-Q_{\lambda T_2})Ax_n\Vert \ne 0\). This implies that \(t_n\) is well defined. \(\square \)
Lemma 3.2
Let \(\mathcal {B}_1\) and \(\mathcal {B}_2\) be two p-uniformly convex real Banach spaces which are also uniformly smooth. Let \(T_1:\mathcal {B}_1\rightrightarrows \mathcal {B}_1\) and \(T_2:\mathcal {B}_2\rightrightarrows \mathcal {B}_2\) be maximal monotone operators, such that \(T^{-1}_1(0)\ne \emptyset \) and \(T^{-1}_2(0)\ne \emptyset \), respectively. Let \(Q_{\lambda T_2}\) be the metric resolvent of \(T_2\) for \(\lambda > 0.\) Let \(A:\mathcal {B}_1 \rightarrow \mathcal {B}_2\) be a bounded linear operator, such that \(A\ne 0\) and \(A^*:\mathcal {B}_2^* \rightarrow \mathcal {B}_1^*\) be the adjoint of A. Suppose that \(\Gamma \ne \emptyset \) and \((\alpha _n)_{n\in \mathbb {N}}\subset (0,1)\). Let the sequence \((x_n)_{n\in \mathbb {N}}\) be generated by (3.1)–(3.2). Assume that for small enough \(\epsilon >0,\)
Then, the sequences \((x_n)_{n\in \mathbb {N}}\) and \((u_n)_{n\in \mathbb {N}}\) are bounded.
Proof
It follows from (2.6) that for any \(z \in \Gamma \), where \(\Gamma \) is the solution set of problem (SIP\(_\mathrm{\mathcal {B}}\)), we have
In addition, from (3.3) and Lemma 2.1, we obtain that
Now, using (3.3) in (3.4), we obtain
By the condition on \(t_n\), it follows from (3.5) that
Furthermore, using (2.8) in (3.1), we get that
Therefore, \((\Delta _p(x_n,z))_{n\in \mathbb {N}}\) is bounded and consequently, the sequence \((\Delta _p(u_n,z))_{n\in \mathbb {N}}\) is bounded. Thus, the sequences \((x_n)_{n\in \mathbb {N}}\) and \((u_n)_{n\in \mathbb {N}}\) are bounded. \(\square \)
Now, we proceed by proving strong convergence of the sequence generated by Algorithm (3.1)–(3.2).
Theorem 3.3
Let \(\mathcal {B}_1\) and \(\mathcal {B}_2\) be two p-uniformly convex real Banach spaces which are also uniformly smooth. Let \(T_1:\mathcal {B}_1\rightrightarrows \mathcal {B}_1\) and \(T_2:\mathcal {B}_2\rightrightarrows \mathcal {B}_2\) be maximal monotone operators, such that \(T^{-1}_1(0)\ne \emptyset \) and \(T^{-1}_2(0)\ne \emptyset \), respectively. Let \(Q_{\lambda T_2}\) be the metric resolvent of \(T_2\) for \(\lambda > 0.\) Let \(A:\mathcal {B}_1 \rightarrow \mathcal {B}_2\) be a bounded linear operator such that \(A\ne 0\) and \(A^*:\mathcal {B}_2^* \rightarrow \mathcal {B}_1^*\) be the adjoint of A. Suppose that \(\Gamma \ne \emptyset \) and \((\alpha _n)_{n\in \mathbb {N}}\subset (0,1)\). Let the sequence \((x_n)_{n\in \mathbb {N}}\) be generated by (3.1)–(3.2). Assume that for small enough \(\epsilon >0\):
Suppose the following conditions are satisfied:
-
(i)
\(\lim _{n\rightarrow \infty }\alpha _n= 0\);
-
(ii)
\(\sum _{n=1}^{\infty }\alpha _{n}=\infty \).
Then, \((u_n)_{n\in \mathbb {N}}\) and \((x_n)_{n\in \mathbb {N}}\) both converge strongly to \(\bar{x}\), where \(\bar{x}=\Pi _{\Gamma }u\).
Proof
Let \(\bar{x}=\Pi _{\Gamma }u\) and let us set \(v_n:=\mathcal {J}_{q}^{\mathcal {B}_{1}^{*}}\Big [\alpha _{n}\mathcal {J}_{p}^{\mathcal {B}_{1}}(u) +(1-\alpha _{n})\mathcal {J}_{p}^{\mathcal {B}_{1}}(u_n)\Big ], n \ge 1\). Then, using (2.10) and (2.11), we obtain
We now consider two cases to prove the strong convergence.
Case 1: Suppose that there exists \(n_{0}\in \mathbb {N}\), such that \((\Delta _p(x_n,\bar{x}))_{n\in \mathbb {N}}\) is monotonically non-increasing. Then, obviously \((\Delta _p(x_n,\bar{x}))_{n\in \mathbb {N}}\) converges and
Since \((x_n)_{n\in \mathbb {N}}\) is bounded and \(\mathcal {B}_1\) is reflexive, there exists a subsequence \((x_{\ell _n})_{n\in \mathbb {N}}\) of \((x_n)_{n\in \mathbb {N}}\) that converges weakly to \(x^{*}\in \mathcal {B}_1\).
Next, we show that \(Ax^{*}\in \mathcal {B}_2\), that is \(x^{*}\in \Gamma \). Set \(y_{n}=\mathcal {J}_{q}^{\mathcal {B}_{1}^{*}}[\mathcal {J}_{p}^{\mathcal {B}_{1}}(x_n)-t_nA^{*}\mathcal {J}_{p}^{\mathcal {B}_{2}}((I-Q_{\lambda T_2})Ax_n)],~~ n \ge 1\). Following the same line of arguments in (3.4) and (3.5), we can show that
Now, it follows from (2.8), (3.5), and (3.7) that
where \(M>0\) is such that \(\Delta _p(x_{n+1},\bar{x})+\langle \mathcal {J}_{p}^{\mathcal {B}_{1}}u-\mathcal {J}_{p}^{\mathcal {B}_{1}}\bar{x},v_n-\bar{x}\rangle \le M.\) Thus, we have from (3.9) that
Moreover, it follows from (3.5) that, for some \(M_1>0\)
Therefore, since \(\Delta _p(x_n,\bar{x})-\Delta _p(x_{n+1},\bar{x}) +\alpha _n[\Delta _p(u,\bar{x})-\Delta _p(u_n,\bar{x})]\rightarrow 0\) when \(n\rightarrow \infty \), the above inequality implies
Using the condition on \(t_n\), that is
which implies
and then
Hence
Furthermore, we obtain from (3.5) that
Thus
Then, it follows from the definition of \(y_{n}\) that
Since \(\mathcal {J}_{q}^{\mathcal {B}_{1}^{*}}\) is norm-to-norm uniformly continuous on bounded subsets of \(\mathcal {B}_{1}^{*}\), we have
It follows from (3.10) and (3.12) that
Furthermore, we get from (3.1) that
Then
and this together with (3.13) implies that
Similarly, using (2.6), we get
By the linearity and continuity of \(A,~~Ax_{\ell _n}\rightharpoonup Ax^{*}, n\rightarrow \infty \) and \(\Vert u_n-x_n\Vert \rightarrow 0, n\rightarrow \infty \), which imply that \(Au_{\ell _n}\rightharpoonup Ax^{*}, n\rightarrow \infty \). Hence, letting \(n\rightarrow \infty \) in (3.14), we have
Therefore, \(Ax^{*}=Q_{\lambda T_2} Ax^{*}\), that is, \(Ax^{*}\in \mathcal {B}_2\). Thus, \(x^{*}\in \Gamma .\)
Next, we show that \((x_n)_{n\in \mathbb {N}}\) converges strongly to \(\bar{x}=\Pi _{\Gamma }u\). Now, note that
Hence
and so
We now can chose a subsequence \(\{v_{\ell _n}\}\) of \(\{v_n\}\), such that
Since \(\Vert x_n-v_{n}\Vert \rightarrow 0,~~ n\rightarrow \infty \) and \(x_{\ell _n}\rightharpoonup x^{*}\), we have \(v_{\ell _n}\rightharpoonup x^{*}\). Then, it follows from (2.7) that
Using Lemma 2.2 in (3.7), we conclude that \(\Delta _p(x_n,\bar{x})\rightarrow 0,~~n\rightarrow \infty .\) Thus, \(x_n\rightarrow \bar{x},~~n\rightarrow \infty \). By \(\Vert x_n-u_n\Vert \rightarrow 0,~~n\rightarrow \infty \), we conclude \(u_n\rightarrow \bar{x},~~n\rightarrow \infty \).
Case 2: Now, we assume that \((\Delta _p(x_n,\bar{x}))_{n\in \mathbb {N}}\) is not monotonically decreasing sequence. Set \(\Gamma _{n}=\Delta _p(x_n,\bar{x}),\quad \forall n \ge 1\) and let \(\tau :\mathbb {N}\rightarrow \mathbb {N}\) be a mapping for all \(n\ge n_{0}\) (for some \(n_{0}\) large enough) by
Obviously, \(\tau \) is a non decreasing sequence, such that \(\tau (n)\rightarrow \infty \) as \(n \rightarrow \infty \) and
After a similar conclusion from (3.11), it is easy to see that
By the similar argument as above in Case 1, we immediately conclude that
and
Since \(\{x_{\tau (n)}\}\) is bounded, there exists a subsequence of \(\{x_{\tau (n)}\}\), still denoted by \(\{x_{\tau (n)}\}\) which converges weakly to \(x^{*}\in \mathcal {B}_1\) and \(Ax^{*} \in \mathcal {B}_2\). It follows from (3.7) that
which leads that (noting that \(\Gamma _{\tau (n)}\le \Gamma _{\tau (n)+1}\) and \(\alpha _{\tau (n)} >0\))
This implies that
Thus, \(\lim _{n\rightarrow \infty } \Delta _p(x_{\tau (n)},\bar{x})=0.\) Therefore
Since \(\lim _{n\rightarrow \infty }\Vert x_{\tau (n)+1}-x_{\tau (n)}\Vert =0\), we get that \(\lim _{n\rightarrow \infty } \Vert x_{\tau (n)+1}-\bar{x}\Vert =0\). Now, it follows from (2.5) that
Furthermore, for \(n\ge n_{0}\), it is easy to see that \(\Gamma _{\tau (n)}\le \Gamma _{\tau (n)+1}\) if \(n\ne \tau (n)\) (that is, \(\tau (n)<n\)), because \(\Gamma _{j}\ge \Gamma _{j+1}\) for \(\tau (n)+1\le j\le n.\) As a consequence, we obtain for all \(n\ge n_{0}\)
Hence, \(\lim _{n\rightarrow \infty }\Gamma _n=0\), that is, \((x_n)_{n\in \mathbb {N}}\) converges strongly to \(\bar{x}\). This completes the proof. \(\square \)
Next, we enunciate some direct consequences of the above theorem.
Corollary 3.4
Let \(\mathcal {B}_1\) and \(\mathcal {B}_2\) be two \(L_p\) spaces with \(2\le p<\infty \). Let \(T_1:\mathcal {B}_1\rightrightarrows \mathcal {B}_1\) and \(T_2:\mathcal {B}_2\rightrightarrows \mathcal {B}_2\) be maximal monotone operators such that \(T^{-1}_1(0)\ne \emptyset \) and \(T^{-1}_2(0)\ne \emptyset \), respectively. Let \(Q_{\lambda T_2}\) be the metric resolvent of \(T_2\) for \(\lambda > 0.\) Let \(A:\mathcal {B}_1 \rightarrow \mathcal {B}_2\) be a bounded linear operator, such that \(A\ne 0\) and \(A^*:\mathcal {B}_2^* \rightarrow \mathcal {B}_1^*\) be the adjoint of A. Suppose that \(\Gamma \ne \emptyset \) and \((\alpha _n)_{n\in \mathbb {N}}\subset (0,1)\). Let the sequence \((x_n)_{n\in \mathbb {N}}\) be generated by (3.1)–(3.2). Assume that for small enough \(\epsilon >0\)
Suppose the following conditions are satisfied:
-
(i)
\(\lim _{n\rightarrow \infty }\alpha _n= 0\);
-
(ii)
\(\sum _{n=1}^{\infty }\alpha _{n}=\infty \).
Then, \((u_n)_{n\in \mathbb {N}}\) and \((x_n)_{n\in \mathbb {N}}\) both converge strongly to \(\bar{x}\), where \(\bar{x}=\Pi _{\Gamma }u\).
Corollary 3.5
Let \(\mathcal {H}_1\) and \(\mathcal {H}_2\) be two real Hilbert spaces. Let \(T_1:\mathcal {H}_1\rightrightarrows \mathcal {H}_1\) and \(T_2:\mathcal {H}_2\rightrightarrows \mathcal {H}_2\) be maximal monotone operators, such that \(T^{-1}_1(0)\ne \emptyset \) and \(T^{-1}_2(0)\ne \emptyset \), respectively. Let \(J_{\lambda T_k}\) be the metric resolvent of \(T_k\) for \(\lambda > 0\) and \(k=1, 2\). Let \(A:\mathcal {H}_1 \rightarrow \mathcal {H}_2\) be a bounded linear operator, such that \(A\ne 0\) and \(A^*:\mathcal {H}_2 \rightarrow \mathcal {H}_1\) be the adjoint of A. Suppose that \(\Gamma \ne \emptyset \) and \((\alpha _n)_{n\in \mathbb {N}}\subset (0,1)\). For a fixed \(u \in C\), let sequences \((u_n)_{n\in \mathbb {N}}\) and \((x_n)_{n\in \mathbb {N}}\) be iteratively generated by \(x_1 \in C\)
Let the step-size \(t_n\) be chosen in such a way that for some \(\epsilon >0\)
otherwise \(t_n=t\) (t being any nonnegative value), where the index set \(\Omega = \{n \in \mathbb {N}:(I-J_{\lambda T_2})Ax_n\ne 0\}.\) Suppose the following conditions are satisfied:
-
(i)
\(\lim _{n\rightarrow \infty }\alpha _n= 0\);
-
(ii)
\(\sum _{n=1}^{\infty }\alpha _{n}=\infty \).
Then, \((u_n)_{n\in \mathbb {N}}\) and \((x_n)_{n\in \mathbb {N}}\) both converge strongly to \(\bar{x}\), where \(\bar{x}=\Pi _{\Gamma }u\).
To finish this section, we make some remarks and comments which highlight our contributions in this paper.
Remark 3.6
It is worth pointing out here that the implementation of the recent iterative schemes of Byrne et al. [5], Chuang [10], Moudafi [17], Alsulami and Takahashi [2] and Takahashi and Takahashi [29] depends largely on knowing the norm of the bounded linear operator A. Here, in our results, we do not need to know a priori the norm or an estimate of the norm of the bounded linear operator A to implement the proposed iterative method. Moreover, we only use just one vector norm evaluation per iteration to find the stepsize, which could be found via any backtracking procedure. Therefore, our results improve, extend and more efficient and implementable than the corresponding results of Byrne et al. [5], Chuang [10], Moudafi [17], Wen and Chen [33] in real Hilbert spaces and improve the result of Takahashi and Takahashi [29] and Takahashi and Yao [30] and Takahashi [28] in p-uniformly convex Banach spaces which are also uniformly smooth.
Remark 3.7
Suppose that in our Corollary 3.5, we take \(J_{\lambda T_2}=T\), where \(T:\mathcal {H}_2\rightarrow \mathcal {H}_2\) is a nonexpansive mapping. For this case, Takahashi et al. [31] introduced an iterative scheme which is dependent on the norm of the bounded linear operator and obtained weak convergence result. In our Corollary 3.5 of this paper, we obtain strong convergence result using an iterative method independent of the bounded linear operator norm for the same problem considered by Takahashi et al. [31].
Remark 3.8
It is worth mentioning that following the same lines of arguments in this paper, similar algorithm for solving Split Minimization Problem (SMP) when \(T_1=\partial (f+\delta _{\Omega _1}),~~T_2=\partial (g +\delta _{\Omega _2})\) with \(f:\mathcal {H}_1\rightarrow \mathbb {R},~~g:\mathcal {H}_2\rightarrow \mathbb {R}\) and \(\Omega _1\) and \(\Omega _2\) are nonempty, closed, and convex subsets of \(\mathcal {H}_1\) and \(\mathcal {H}_2\), respectively. That is
Xu [36] considered Problem (SMP) when \(\mathcal {H}_1=\mathcal {H}_2,~~f=g\) and \(A=I\), where I is an identity map and obtained strong convergence result in real Hilbert spaces. Here, in this paper, our results extend the corresponding results of Xu [36].
6 Conclusions
In this paper, we have presented strong convergence results for solving the split inclusion problem with a way of selecting the stepsizes, such that its implementation does not need any prior information about the operator norm \(\Vert A\Vert \) in uniformly convex Banach spaces which are also uniformly smooth. Comparing our scheme with the iterative methods proposed in [5, 10, 15, 17, 37, 38] to solve the split inclusion problem in Banach spaces, we see that all of them need to know a priori the norm (or at least an estimate of the norm) of the bounded linear operator \(\Vert A\Vert \), which is in general a not easy task. Here, we develop an algorithm which is designed to address a way of selecting the stepsizes, such that its implementation does not need any prior information about the operator norm, and moreover, we prove its related strong convergence results in uniformly convex and smooth Banach spaces. Furthermore, note that our results in this paper are not applicable in \(L_p\) spaces with \(1<p<2\). It is, therefore, worth of further studying some amendment to this our algorithm (3.1)–(3.2), such that it will be applicable in \(L_p\) spaces with \(1<p<2\) and in a more general uniformly convex and smooth Banach spaces. This is our future work.
References
Alber, Y.I.: Metric and generalized projection operator in Banach spaces: properties and applications: Theory and Applications of Nonlinear Operators of Accretive and Monotone Type. 178 of Lecture Notes in Pure and Applied Mathematics. New York: Dekker, 15–50 (1996)
Alsulami, S.M., Takahashi, W.: The split common null point problem for maximal monotone mappings in Hilbert spaces and applications. J. Nonlinear Convex Anal. 15, 793–808 (2014)
Brezis, H.: Funct. Anal. Sobolev Spaces and Partial Differential Equations. Springer Verlag, New york (2011)
Byrne, C.: Iterative oblique projection onto convex sets and the split feasibility problem. Inverse probl. 18, 441–453 (2002)
Byrne, C., Censor, Y., Gibali, A., Reich, S.: The split common null point problem. J. Nonlinear Convex Anal. 13, 759–775 (2012)
Byrne, C., Censor, Y., Gibali, A., Reich, S.: Weak and strong convergence of algorithms for the split common null point problem. J. Nonlinear Convex Anal. 13, 759–775 (2012)
Censor, Y., Bortfeld, T., Martin, B., Trofimov, A.: A unified approach for inversion problems in intensity modulated radiation therapy. Phys. Med. Biol. 51, 2353–2365 (2006)
Censor, Y., Elfving, T.: A multiprojection algorithm using Bregman projections in product space. Numer. Algorithms 8, 221–239 (1994)
Censor, Y., Gibali, A., Reich, S.: Algorithms for the split variational inequality problem. Numer. Algorithms 59, 301–323 (2012)
Chuang, C.S.: Strong convergence theorems for the split variational inclusion problem in Hilbert spaces. Fixed Point Theory Appl. 2013, 350 (2013)
Cioranescu, I.: Geometry of Banach spaces, duality mappings and nonlinear problems. kluwer, Dordrecht (1990)
Combettes, P.L.: The convex feasibility problem in image recovery. Adv. Imaging Electron Phys. 95, 155–453 (1996)
Cui, H., Wang, F.: Iterative methods for the split common fixed-point problem in Hilbert spaces. Fixed Point Theory Appl. 2014(1), 1–8 (2014)
Hendrickx, J.M., Olshevsky, A.: Matrix \(P\)-Norms are NP-Hard to Approximate if \(P\ne 1,2,\infty \). SIAM. J. Matrix Anal. Appl. 31, 2802–2812 (2010)
Lin, L.J., Chen, Y.D., Chuang, C.S.: Solutions for a variational inclusion problem with applications to multiple sets split feasibility problems. Fixed Point Theory Appl. 2013, 333 (2013)
Lopez, G., Martin-Marquez, V., Wang, F., Xu, H.K.: Solving the split feasibility problem without prior knowledge of matrix norms. Inverse Probl. 28, 085004 (2012)
Moudafi, A.: Split monotone variational inclusions. J. Optim. Theory Appl. 150, 275–283 (2011)
Phelps, R.P.: Convex functions, monotone operators, and differentiability. Springer Verlag, Berlin (1993)
Rockafellar, R.T.: On the maximality of sums of nonlinear monotone operators. Trans. Am. Math. Soc. 149, 75–88 (1970)
Schopfer, F.: Iterative regularisation method for the solution of the split feasibility problem in Banach spaces. Ph.D thesis, Saabrucken (2007)
Sch\(\ddot{o}\)pfer, F., Schuster, T., Louis, A. K.: An iterative regularization method for the solution of the split feasibility problem in Banach spaces. Inverse Problems 24, Article ID 055008 p. 20 (2008)
Shehu, Y.: Strong convergence theorem for Multiple Sets Split Feasibility Problems in Banach Spaces. to appear. In: Numerical Funct. Anal. Optim. 37(8):1021–1036 (2016)
Shehu, Y., Ogbuisi, F.U., Iyiola, O.S.: Convergence analysis of an iterative algorithm for fixed point problems and split feasibility problems in certain Banach spaces. Optimization 65, 299–323 (2016)
Shehu, Y., Iyiola, O.S., Enyi, C.D.: Iterative algorithm for split feasibility problems and fixed point problems in Banach spaces. Numer. Algor. 72, 835–864 (2016)
Shehu, Y., Iyiola, O.S.: A cyclic iterative method for solving multiple sets split feasibility problems in Banach spaces, Quaestiones Mathematicae (2016)
Shehu, Y., Mewomo, O.T., Ogbuisi, F.U.: Further investigation into approximation of a common solution of fixed point problems and split feasibility problems. Acta Math. Sci. 36, 913–930 (2016)
Takahashi, W.: Proximal point algorithms and four resolvents of nonlinear operators of monotone type in banach spaces. Taiwan. J. Math. 12, 1883–1910 (2008)
Takahashi, W.: The split common null point problem in Banach spaces. Arch. Math. (Basel) 104, 357–365 (2015)
Takahashi, S., Takahashi, W.: The split common null point problem and the shrinking projection method in Banach spaces. Optimization 65, 281–287 (2016)
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)
Takahashi, W., Xu, H.-K., Yao, J.-C.: Iterative methods for generalized split feasibility problems in hilbert spaces. Set-Valued Var. Anal. 23, 205–221 (2015)
Wang, F.: A new algorithm for solving the multiple-sets split feasibility problem in Banach spaces. Numerical Funct. Anal. Optim. 35(1), 99–110 (2014)
Wen, D.-J., Chen, Y.-A.: Iterative methods for split variational inclusion and fixed point problem of nonexpansive semigroup in Hilbert spaces. J. Ineq. Appl 2015, 24 (2015)
Xu, H.K.: Inequality in Banach spaces with applications. Nonlinear Anal. 16, 1127–1138 (1991)
Xu, H.K.: Iterative algorithms for nonlinear operators. J. Lond. Math. Soc. 66, 240–256 (2002)
Xu, H.K.: Averaged mappings and the gradient-projection algorithm. J. Optim. Theory Appl. 150, 360–378 (2011)
Yu, Z.T., Lin, L.J., Chuang, C.S.: Mathematical programming with multiple sets split monotone variational inclusion constraints. Fixed Point Theory Appl. 2014, 20 (2014)
Yu, Z.T., Lin, L.J., Chuang, C.S.: Aunified study of the split feasibile problems with applications. J. Nonlinear Convex Anal. 15, 605–622 (2014)
Zalinescu, C.: Convex analysis in general vector spaces. World Scientific Publishing Co., River Edge (2002)
Zeidler, E.: Nonlinear functional analysis, vol. 3. Springer Verlag, New york (1984)
Zhao, J.: Solving split equality fixed-point problem of quasi-nonexpansive mappings without prior knowledge of operators norms. Optimization 64, 2619–2630 (2015)
Acknowledgements
The first author was partially supported by CNPq grants 303492/2013-9 and 474160/2013-0. The research was carried out when the Second Author was an Alexander von Humboldt Postdoctoral Fellow at the Institute of Mathematics, University of Wurzburg, Germany. The Second Author is grateful to the Alexander von Humboldt Foundation, Bonn for the fellowship and the Institute of Mathematics, University of Wurzburg, Germany for the hospitality and facilities.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bello Cruz, J.Y., Shehu, Y. An iterative method for split inclusion problems without prior knowledge of operator norms. J. Fixed Point Theory Appl. 19, 2017–2036 (2017). https://doi.org/10.1007/s11784-016-0387-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11784-016-0387-8
Keywords
- Strong convergence
- Split inclusion problem
- p-uniformly convex Banach space
- Uniformly smooth Banach space