- Research
- Open access
- Published:
The method for solving the extension of general of the split feasibility problem and fixed point problem of the cutter
Journal of Inequalities and Applications volume 2022, Article number: 144 (2022)
Abstract
This paper first introduces a new iterative method for weak and strong convergence theorem to demonstrate the estimation potential for a fixed point of the cutter and the finite general split feasibility problem. Consequently, the set of fixed points of a quasi-nonexpansive mapping and the finite general split feasibility problem, the constrained minimization problem, and the general constrained minimization problems are proved using our main results. Finally, we give two numerical examples to advocate our main results.
1 Introduction
Throughout this article, let H, \(H_{1}\), and \(H_{2}\) be real Hilbert spaces with inner product \(\langle \cdot ,\cdot \rangle \), and norm \(\|\cdot \|\). For each \(i=1,2,\ldots,N\), for all \(N \in \mathbb{N}\), let C, \(C_{i}\) be a nonempty closed convex subset of \(H_{1}\) and Q, \(Q_{i}\) be a nonempty closed convex subset of \(H_{2}\), and let \(\Phi ,\Psi :H_{1} \rightarrow H_{2}\) be bounded linear operators.
Definition 1
Let \(T:C \rightarrow C\) be a mapping. Then
-
(i)
The fixed point problem for the mapping T is to find \(x\in C\) such that
$$ x=Tx. $$We denote the fixed point set of a mapping T by \(F(T)\).
-
(ii)
A mapping T is called nonexpansive if
$$ \Vert Tx-Ty \Vert \leq \Vert x-y \Vert , \quad \text{for all } x,y \in C. $$
The split feasibility problem (SFP), is to find a point \(x\in C\) and \(\Phi (x) \in Q\). In 1994, the split feasibility problem was first introduced by Censor and Elfving [1]. The SFP can be applied and developed in various fields, such as radiation therapy treatment planning, sensor networks, resolution enhancement, etc. Many mathematicians have modified SFP; see previous works [2–5].
In 2016, Latif et al. [6] introduced the Generalized multiple-set split feasibility problem (GMSSFP), which is to find a point
where \(A_{k}:H_{1} \rightarrow H_{2}\), (\(k=1,2,\ldots,m\)) are family of bounded linear operators, \(\{C_{i}\}_{i=1}^{p}\) and \(\{Q_{i}\}_{i=1}^{r} \) are family of nonempty closed convex subsets in \(H_{1}\) and \(H_{2}\), respectively. The set of the problem (1) is denoted by \(\Omega =\{x\in \bigcap_{i=1}^{p}C_{i} | A_{k}x \in \bigcap_{i=1}^{r}Q_{i}, k=1,2,\ldots,m \}\).
Applying the viscosity approximation method for solving the GMSSFP, Latif et al. [6] proved the best following result;
Theorem 1
Let H and K be real Hilbert spaces, \(A_{k}:H \rightarrow K\), \(k=1,2\) be two bounded linear operator, and let \(\{C_{i}\}_{i=1}^{r}\) be a family of nonempty closed convex subsets in H and \(\{Q_{i}\}_{i=1}^{r}\) be a family of nonempty closed convex subsets in K. Assume that GMSSFP has a nonempty solution set Ω. Suppose h is a contraction of H into itself with constant \(b \in (0,1)\) and B is a strongly positive bounded linear self-adjoint operator on H with coefficient γ̄ and \(0<\gamma < \frac{\bar{\gamma}}{b}\). Let \(\{x_{n}\}\) be a sequence generated by \(x_{0} \in H\) and by
where \(\alpha _{n}+\sum_{i=1}^{r}\beta _{n,i}+\sum_{i=1}^{r}\gamma _{n,i}=1\) and the sequences \(\{\alpha _{n}\}\), \(\{ \beta _{n,i} \}\), \(\{ \gamma _{n,i}\}\), \(\{ \theta _{n}\}\) and \(\{\lambda _{n,i}\}\) satisfy the following conditions:
-
(i)
\(\liminf_{n} \alpha _{n}\beta _{n,i} >0\) and \(\liminf_{n}\alpha _{n}\gamma _{n,i}>0\), for each \(1\leq i \leq r\),
-
(ii)
\(\lim_{n\rightarrow \infty} \theta _{n}=0\) and \(\sum_{n=0}^{\infty}\theta _{n}=\infty \),
-
(iii)
for each \(1 \leq i \leq r\), \(0<\lambda _{n,i}< \min \{\frac{2}{\|A_{1}\|^{2}}, \frac{2}{\|A_{2}\|^{2}}\}\) and
$$ 0 < \liminf_{n \rightarrow \infty} \lambda _{n,i} \leq \limsup _{n \rightarrow \infty} \lambda _{n,i} < \min \biggl\{ \frac{2}{ \Vert A_{1} \Vert ^{2}}, \frac{2}{ \Vert A_{2} \Vert ^{2}}\biggr\} . $$Then, the sequences \(\{x_{n}\}\) converges strongly to \(x^{*} \in \Omega \) which solves the variational inequality;
$$\begin{aligned} \bigl\langle (B-\gamma h)x^{*},x-x^{*} \bigr\rangle \geq 0, \quad \forall x \in \Omega . \end{aligned}$$
The general split feasibility problem introduced by Kangtunyakarn [5], which is to find a point
where \(\Phi ,\Psi :H_{1} \rightarrow H_{2}\) are bounded linear operators. The set of the problem (2) is denoted by \(\Gamma =\{x \in C : \Phi (x),\Psi (x) \in Q\}\). Moreover, if we put \(\Phi \equiv \Psi \), then the problem (2) is reduced to the SFP. Furthermore, under some control conditions, Kangtunyakarn [5] proved a strong convergence theorem for finding an element of the set of solutions to the variational inequality problem and the general split feasibility problem as follows:
Theorem 2
Let \(A,B:H_{1} \rightarrow H_{2}\) be bounded linear operators with \(A^{*}\), \(B^{*}\) that are adjoints of A and B, respectively, and \(L=\max \{L_{A},L_{B}\}\), where \(L_{A}\) and \(L_{B}\) are spectral radius of \(A^{*}A\) and \(B^{*}B\), and let \(D:C\rightarrow H_{1}\) be d-inverse strongly monotone. Assume that \(\Gamma \cap VI(C,D)\neq \emptyset \). Let the sequence \(\{x_{n}\}\) generated by \(x_{1} \in C\) and
for all \(n\in \mathbb{N}\), where \(\{\alpha _{n}\}\), \(\{\beta _{n}\}\), \(\{\gamma _{n}\}\subseteq (0,1)\) with \(\alpha _{n}+\beta _{n}+\gamma _{n} =1\) and \(f:C \rightarrow C\) is α-contractive mapping with \(\alpha \in (0,1)\). Suppose the following conditions hold:
-
(i)
\(\lim_{n\rightarrow \infty} \alpha _{n} =0\), \(\sum_{n=1}^{\infty} \alpha _{n} =\infty \),
-
(ii)
\(c\leq \beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(iii)
\(\lambda \in (0,2d)\), \(a\in (0,\frac{2}{L})\),
-
(iv)
\(\sum_{n=1}^{\infty}|\alpha _{n} - \alpha _{n-1}|, \sum_{n=1}^{ \infty}|\beta _{n} - \beta _{n-1}|<\infty \).
Then the sequence \(\{x_{n}\}\) converges strongly to \(x_{0}=P_{\Gamma \cap VI(C,D)}f(x_{0})\).
Inspired and motivated by Kangtunyakarn [5], we proposed problems more general than (2), i.e. find a point
where \(\Phi ,\Psi :H_{1} \rightarrow H_{2}\) are bounded linear operators. The set of solution of (3) is denoted by \(\xi =\{ x \in \bigcap_{i=1}^{N}C_{i}: \Phi (x),\Psi (x) \in \bigcap_{i=1}^{N}Q_{i}\}\). If we choose \(N=1\) in (3), then (3) is reduced to the general split feasibility problem. Obviously, problem (3) is more general than the problem (2) and the SFP, which can apply across many disciplines in mathematics and sciences, such as economics, finance, network analysis transportation, elasticity, and optimization. In the following sections, we construct a new process using techniques of solving the cutter and SFP to find solutions to problems (3). Moreover, if we put \(\Phi \equiv \Psi \) in (3), then we have
If we put \(p=r\) and \(k=1\) in (1), then problem (1) is reduced to the problem (4). It can be seen that both problems (1) and (3) can be reduced to problem (4). However, we have provided an example of the difference between problems (1) and (3) in Remark 1.
Example 1
Let \(\mathbb{R}\) be the set of real numbers and Φ, Ψ be mappings from \(\mathbb{R}\) to \(\mathbb{R}\) defined by \(\Phi (x)=\frac{x}{2}\) and \(\Psi (x)=\frac{x}{3}\), respectively. For each \(i=1,2,\ldots,N\), let \(C_{i} = [i,100i]\) and \(Q_{i} =[\frac{i}{3},50i]\). We choose \(N=10\). Then, we have \(10 \in \xi \).
Remark 1
Let \(C_{i}\) and \(Q_{i}\) define as the same in Example 1. Let \(k=1,2\), \(A_{1} (x)=\frac{x}{2}\) and \(A_{2} (x)=\frac{x}{3}\). If we choose \(p=10\) and \(r=20\) in (1), we have \(10 \in \bigcap_{i=1}^{10}C_{i}\) but \(A_{1}(10),A_{2}(10) \notin \bigcap_{i=1}^{20}Q_{i}\). This remark shows an example where problem (1) fails while problem (3) is applicable.
Given \(x,y \in H\), let
be the half-space generated by \((x,y)\). The boundary \(\partial H(x,y)\) of \(H(x,y)\) is
It is clear that \(\partial H(x,y) \) is a closed and convex subset of H.
A mapping \(T:H \rightarrow H \) is called a cutter if
for all \(x\in H\) and \(z\in F(T)\). The cutter is fundamental to applied mathematics and optimization theory. For instance, the resolvent of a maximal monotone operator and the subgradient projectors is the cutter. Besides, the metric projection is the cutter with an essential tool for solving the variational inequality problem (VIP), the system of variational inequality problem, the subgradient extragradient method, etc.
Remark 2
Recently, Cegielski and Censor [7] proposed a new name “cutter” expresses the fact that for any \(x \notin F(T)\), the hyperplane \(H(x-Tx,\langle Tx,x-Tx \rangle )\) cuts the space into two half-spaces, one of which contains the point x while the other one contains the subset \(F(T)\).
Over the past decade, many researchers introduced the new problem and iteration developed and modified the cutter; see more detail [8, 9].
The following Remark 3 includes important properties related to the cutter.
Remark 3
-
(i)
If T is firmly nonexpansive, then T is a cutter.
-
(ii)
T is a cutter if and only if \(2T-I\) is quasi-nonexpansive (i.e. a mapping \(G:H \rightarrow H\) is called to be quasi nonexpansive if \(F(G)\) is nonempty and \(\|Gx-y\|\leq \|x-y\|\), for all \(x\in H\) and \(y\in F(G)\)). This property is important for proving Theorem 5 in the Application.
In 2013, Qiao-Li and Songnian [8] introduced a projection regularized Kranoselski-Mann iteration for a cutter \(T:H \rightarrow H\) as follows:
where \(\{\alpha _{n}\},\{\beta _{n}\} \subset [0,1]\) and the sequence generated by (5) converges strongly to the least norm element of \(F(T)\).
By concept Kangtunyakarn [5] and Qiao-Li and Songnian [8], we introduce the new iterative method for proving weak and strong convergence theorem of \(\{x_{n}\}\) generated by the following algorithm:
Algorithm 1.1
Given \(x_{1} \in H_{1}\) and let the sequence \(\{x_{n}\}\) be define by
where \(\Phi ,\Psi :H_{1} \rightarrow H_{2}\) are bounded linear operators with \(\Phi ^{*}\), \(\Psi ^{*}\) that are adjoints of Φ and Ψ, respectively, \(L=\max{\{L_{\Phi},L_{\Psi}\}}\) where \(L_{\Phi}\), \(L_{\Psi}\) are spectral radius of \(\Phi ^{*}\Phi \) and \(\Psi ^{*}\Psi \), \(a \in (0,\frac{2}{L})\), \(T:H_{1} \rightarrow H_{1}\) is a cutter with \(I-T\) is demiclosed at 0, and the sequences \(\{\eta _{n}\}\), \(\{\alpha _{n}\}\), \(\{\beta _{n}\}\), \(\{\gamma _{n}\}\) are in \((0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n} =1\).
Our paper is organized as follows. In Sect. 2, we first recall some basic definitions, and we give the lemma, which is crucial for proving our main results. In Sect. 3, we prove weak and strong convergence theorem for finding a common element of the set of fixed points of the cutter and the finite general split feasibility problem. In Sect. 4, we apply our main theorem to prove a weak and strong convergence theorem for finding solutions to the constrained minimization problem and the general constrained minimization problem. Moreover, we prove weak and strong convergence theorem for finding a common element of the set of fixed points of a quasi-nonexpansive mapping and the set of the finite general split feasibility problem. The last section gives two numerical examples to support our main result.
2 Preliminaries
This section provides a lemma that will be used for our main result in the next section.
We write \(x_{k}\rightharpoonup x\) to indicate that the sequence \(\{x_{k}\}_{k=0}^{\infty}\) converges weakly to x and \(x_{k}\rightarrow x\) to indicate that the sequence \(\{x_{k}\}_{k=0}^{\infty}\) converges strongly to x. For each point \(x\in H\), there exists a unique nearest point in C, denoted by \(P_{C}(x)\). That is,
The mapping \(P_{C}:H\rightarrow C\) is called the metric projection of H onto C. It is well known that \(P_{C}\) is a firmly nonexpansive mapping of H onto C. From Remark 3, it obvious that \(P_{C}\) is a cutter. Moreover, if C is a hyperplane, then
The following lemma is also well-known. It is important for solving VIP.
Lemma 1
([10])
If A is a mapping of C into H and \(\lambda >0\), then \(F(P_{C}(I-\lambda A ))=VI(C,A)\).
Lemma 2
(See [11])
Let \(A,B :C\rightarrow H\) be α and β-inverse strongly monotone mappings, respectively, with \(\alpha ,\beta >0\) and \(VI(C,A)\cap VI(C,B)\neq \emptyset \). Then
Furthermore, if \(0<\gamma <\min \{2\alpha ,2\beta \}\), we have \(I-\gamma (aA+(1-a)B)\) is a nonexpansive mapping.
Lemma 3
(See [12])
Let D be a closed convex subset of a strictly convex Banach space E. Let \(\{T_{n} :n \in \mathbb{N}\}\) be a sequence of nonexpansive mappings on D. Suppose that \(\bigcap_{n=1}^{\infty}F(T_{n})\) is nonempty. Let \(\{\lambda _{n}\}\) be a sequence of positive numbers with \(\sum_{n=1}^{\infty} \lambda _{n} =1\). Then a mapping S on D defined by
for \(x\in D\) is well defined, nonexpansive, and \(F(S)= \bigcap_{n=1}^{\infty}F(T_{n})\) hold.
Lemma 4
(See [13])
Let \(\{\sigma _{n}\}\) and \(\{\gamma _{n}\}\) be nonnegative sequences satisfying \(\sum_{n=1}^{\infty }\sigma _{n} <\infty \) and \(\gamma _{n+1}\leq \gamma _{n}+\sigma _{n}\), for all \(n=1,2,\ldots \) . Then \(\{\gamma _{n}\}\) is a convergent sequence.
Lemma 5
(Demiclosedness principle)
Let \(T:C \rightarrow C\) be a nonexpansive mapping with \(F(T)\neq \emptyset \). If \(\{x_{n}\}\) is a sequence in C that converges weakly to x and if \(\{(I-T)x_{n}\}\) converges strongly to y, then \((I-T)x=y\). In particular, if \(y=0\), then \(x\in F(T)\).
Lemma 6
(See [14])
Let the sequence \(\{x_{k}\}_{k=0}^{\infty}\subset H\) be Fejér-monotone with respect to C, i.e., for every \(u \in C\),
Then \(\{P_{C}(x_{k})\}_{k=0}^{\infty}\) converges strongly to some \(z\in C\).
The following lemmas are crucial for proving our main theorem.
Lemma 7
For each \(i=1,2,\ldots,N\), for all \(N \in \mathbb{N}\), let \(C_{i}\), \(Q_{i}\) be a nonempty closed convex subset of \(H_{1}\) and \(H_{2}\), respectively, and let \(\Phi ,\Psi :H_{1} \rightarrow H_{2}\) be bounded linear operators with \(\Phi ^{*}\), \(\Psi ^{*}\) that are adjoints of Φ and Ψ, respectively, with \(\xi \neq \emptyset \). Assume that \(L_{\Phi}\) and \(L_{\Psi}\) are spectral radius of \(\Phi ^{*}\Phi \) and \(\Psi ^{*}\Psi \) with \(L=\max \{L_{\Phi},L_{\Psi}\}\), and \(\sum_{i=1}^{N}a_{i}=1\). Then
Proof
Firstly, show that \(\xi \subseteq \bigcap_{i=1}^{N}\Gamma _{i}\).
Let \(x^{*} \in \xi \), we have \(x^{*} \in \bigcap_{i=1}^{N}C_{i}\) and \(\Phi (x^{*}),\Psi (x^{*})\in \bigcap_{i=1}^{N}Q_{i}\), it follows that
and
Hence, \(x^{*}\in \bigcap_{i=1}^{N}\Gamma _{i}\).
Secondly, show that \(\bigcap_{i=1}^{N}\Gamma _{i} \subseteq \xi \).
Let \(x^{*}\in \bigcap_{i=1}^{N}\Gamma _{i}\), then \(x^{*} \in \Gamma _{i}\), for all \(i=1,2,\ldots,N\), we have
then \(x^{*} \in \bigcap_{i=1}^{N}C_{i}\) and \(\Phi (x^{*}),\Psi (x^{*})\in \bigcap_{i=1}^{N}Q_{i}\).
Hence, \(x^{*} \in \xi \).
Thirdly, show that \(\xi \subseteq F (P_{\bigcap _{i=1}^{N} C_{i}}(I- \sum_{i=1}^{N}a_{i}(\frac{\Phi ^{*}(I-P_{Q_{i}})\Phi}{2}+ \frac{\Psi ^{*}(I-P_{Q_{i}})\Psi}{2})) )\).
Let \(x^{*} \in \xi \), we have \(x^{*} \in \bigcap_{i=1}^{N}C_{i}\) and \(\Phi (x^{*}),\Psi (x^{*})\in \bigcap_{i=1}^{N}Q_{i}\).
It implies that
Then
It follows that
Hence, \(x^{*} \in F (P_{\bigcap _{i=1}^{N} C_{i}}(I- \sum_{i=1}^{N}a_{i}( \frac{\Phi ^{*}(I-P_{Q_{i}})\Phi}{2}+ \frac{\Psi ^{*}(I-P_{Q_{i}})\Psi}{2})) )\).
Finally, show that \(F (P_{\bigcap _{i=1}^{N} C_{i}}(I- \sum_{i=1}^{N}a_{i}( \frac{\Phi ^{*}(I-P_{Q_{i}})\Phi}{2}+ \frac{\Psi ^{*}(I-P_{Q_{i}})\Psi}{2})) ) \subseteq \xi \).
Let \(x^{*}=P_{\bigcap _{i=1}^{N} C_{i}}(I- \sum_{i=1}^{N}a_{i}( \frac{\Phi ^{*}(I-P_{Q_{i}})\Phi}{2}+ \frac{\Psi ^{*}(I-P_{Q_{i}})\Psi}{2}))x^{*}\), where \(\sum_{i=1}^{N}a_{i}=1\) and let \(w\in \xi \), we have \(w \in \bigcap_{i=1}^{N}C_{i}\) and \(\Phi (w),\Psi (w)\in \bigcap_{i=1}^{N}Q_{i}\).
Then, we have
It implies that \(\Phi (x^{*})=P_{Q_{i}}\Phi (x^{*})\) and \(\Psi (x^{*})=P_{Q_{i}}\Psi (x^{*})\in \bigcap_{i=1}^{N}Q_{i}\).
It follows that
Hence, \(x^{*}\in \xi \). □
3 Main results
In this section, we prove weak and strong convergence theorem for finding a common element of the set of fixed points of the cutter and the finite general split feasibility problem.
Theorem 3
For every \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, Ψ, \(\Phi ^{*}\), and \(\Psi ^{*}\) define as the same in Lemma 7. Let \(T:H_{1}\rightarrow H_{1}\) be a cutter with \(\varphi = F(T)\cap \xi \neq \emptyset \) and \(I-T\) is demiclosed at 0. For given \(x_{1}\in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\), where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(a \in (0,\frac{2}{L})\), and parameters L, \(L_{\Phi}\), \(L_{\Psi}\) define as the same in Lemma 7. Suppose that the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
Putting \(\nabla g_{i}=\frac{\Phi ^{*}(I-P_{Q_{i}})\Phi}{2}+ \frac{\Psi ^{*}(I-P_{Q_{i}})\Psi}{2}\), for all \(i=1,2,\ldots,N\). First, we show that \(\nabla g_{i}\) are \(\frac{1}{L}\)-inverse strongly monotone.
Let \(x,y \in C_{i}\). Since \(\nabla g_{i}= \frac{\Phi ^{*}(I-P_{Q_{i}})\Phi}{2}+ \frac{\Psi ^{*}(I-P_{Q_{i}})\Psi}{2}\), for all \(i=1,2,\ldots,N\), we have
For each \(i=1,2,\ldots,N\). From property of \(P_{Q_{i}}\), we have
Using the same method as (10), we have
Substituting (10) and (11) into (9), we have
So, we have \(\nabla g_{i}\) is \(\frac{1}{L}\)-inverse strongly monotone.
For each \(i=1,2,\ldots,N\). From the definition of \(\nabla g_{i}\), we have
for all \(x,y \in C_{i}\).
Let \(z\in F(T)\cap \xi \).
Step 1. We show that \(\{x_{n}\}\) is bounded.
From (8), (12), and Lemma 3, we have
then \(\{x_{n}\}\) is Fejér monotone with respect to φ, for all \(z\in \varphi \).
Applying Lemma 4, we have that \(\lim_{n \rightarrow \infty}\|x_{n} -z\|\) exists. In particular, this implies that \(\{x_{n}\}\) is bounded.
Step 2. We show that \(\lim_{n \rightarrow \infty} \|Tx_{n} -x_{n}\|=0\) and \(\lim_{n \rightarrow \infty} \|x_{n}- \sum_{i=1}^{N} a_{i}P_{C_{i}} (I-a\nabla g_{i} )x_{n}\|=0\).
which yields that
From (14) and \(\lim_{n \rightarrow \infty} (\|x_{n}-z\|^{2} - \|x_{n+1}-z \|^{2})=0\), then
Step 3. We show that the sequences \(\{x_{n}\}\) converge weakly to \(z^{*} \in \varphi \).
Since \(\{x_{n}\}\) is bounded by Step 1, there exists a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) that converges weakly to some element of z̄.
By Lemma 5 and (15), we obtain
then
Assume that \(\bar{z} \notin \xi \).
By Lemma 7 and Lemma 3, we also have \(\bar{z}\neq \sum_{i=1}^{N} a_{i}P_{C_{i}} (I-a \nabla g_{i} )\bar{z}\).
From (12), (15), and Opial’s property, we have
This is a contradiction, then we have
Next, we will show that the entire sequence \(\{x_{n}\}\) weakly converges to z̄.
Since \(\{x_{n}\}\) is bounded by Step 1, there exists a subsequence \(\{x_{n_{j}}\}\) of \(\{x_{n}\}\) that converges weakly to some element of \(\bar{z}'\). Assume that \(x_{n_{j}} \rightharpoonup \bar{z}'\) as \(j \rightarrow \infty \), with \(\bar{z}' \neq \bar{z}\) and \(\bar{z}' \in \varphi \).
By the Opial condition, we have
and this is a contradiction, thus \(\bar{z}^{\prime }= \bar{z}\). This implies that the sequence \(\{x_{n}\}_{n=0}^{\infty}\) converges weakly to the same point \(\bar{z}\in \varphi \).
Finally, if we take
then by (13) and Lemma 6, we see that \(\{P_{\varphi }x_{n}\}_{n=0}^{\infty}\) converges strongly to some \(z^{*} \in \varphi \).
Since \(P_{\varphi}\) is a cutter and the convergences of \(\{x_{n}\}\) and \(\{u_{n}\}\), we have
and hence \(z^{*} = \bar{z}\), this completes the proof. □
Corollary 1
For every \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, \(\Phi ^{*}\), and T define as the same in Theorem 3. Assume that \(\varphi = F(T)\cap \Gamma ^{\Phi}\neq \emptyset \), where \(\Gamma ^{\Phi}=\{x\in \bigcap_{i=1}^{N}C_{i} | \Phi (x) \in \bigcap_{i=1}^{N}Q_{i}, \forall i=1,2,\ldots,N\}\). For given \(x_{1}\in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\), where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(a \in (0,\frac{2}{L})\), and L is spectral radius of \(\Phi ^{*}\Phi \). Suppose that the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
Putting \(\Phi \equiv \Psi \), in Theorem 3, we obtain the desired conclusion. □
The following corollary is a modification in terms of the iterative process of Theorem 1.
Corollary 2
For every \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, Ψ, \(\Phi ^{*}\), \(\Psi ^{*}\), T, all parameters, and the conditions (i) and (ii) define as the same in Theorem 3. Assume that \(\varphi =F(T)\cap \xi \neq \emptyset \), and \(I-T\) is demiclosed at 0. For given \(x_{1} \in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\). where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(t\in (0,1)\), \(a \in (0,\frac{2}{L})\), and parameters L, \(L_{\Phi}\), \(L_{\Psi}\) define as the same in Lemma 7. Suppose the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
For each \(i=1,2,\ldots,N\). From Lemma 2, then we get
for all \(N \in \mathbb{N}\) and \(\lambda _{i} >0\). Applying the above and Theorem 3, we obtain the desired conclusion. □
4 Application
4.1 The general constrained minimization problem
Let \(\Phi :H_{1} \rightarrow H_{2}\) be bounded linear operator, and let \(g:H_{1}\rightarrow \mathbb{R}\) be a continuous differentiable function. The minimization problem:
is to find a point \(x^{*} \in C\) such that \(g(x^{*}) \leq g(x)\), for all \(x\in C\).
In 2019, Kangtunyakarn [5] introduced the general constrained minimization problem as follows:
The set of all solution of (19) is denoted by \(\Gamma _{g}=\{x^{*}\in C :g(x^{*})\leq g(x), \forall x \in C\}\).
Lemma 8, Kangtunyakarn [5] shows the relationship between the general split feasibility problem and the general constrained minimization problem.
Lemma 8
(See [5])
Let Φ, Ψ, \(\Phi ^{*}\) and \(\Psi ^{*}\) define as the same in Lemma 7. Let \(g:H_{1}\rightarrow \mathbb{R}\) be a continuous differentiable function defined by \(g(x)= \frac{\|(I-P_{Q})\Phi (x)\|^{2}}{4}+ \frac{\|(I-P_{Q})\Psi (x)\|^{2}}{4}\), for all \(x\in H_{1}\). If \(\Gamma \neq \emptyset \), then \(\Gamma =\Gamma _{g}\).
Remark 4
From Lemma 7 and Lemma 8, we have \(\xi = \bigcap_{i=1}^{N}\Gamma _{g_{i}}\).
Theorem 4
For each \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, Ψ, \(\Phi ^{*}\), and \(\Psi ^{*}\) define as the same in Lemma 7. Let the function \(g_{i}:H_{1}\rightarrow \mathbb{R}\) be differentiable continuous function defined by \(g_{i}(x)=\frac{\|(I-P_{Q_{i}})\Phi (x)\|^{2}}{4}+ \frac{\|(I-P_{Q_{i}})\Psi (x)\|^{2}}{4} \), for all \(i=1,2,\ldots,N\). Let \(T:H_{1}\rightarrow H_{1}\) be a cutter with \(\varphi = F(T)\cap \bigcap_{i=1}^{N} \Gamma g_{i} \neq \emptyset \) and \(I-T\) is demiclosed at 0. For given \(x_{1}\in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\), where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(a \in (0,\frac{2}{L})\), and parameters L, \(L_{\Phi}\), \(L_{\Psi}\) define as the same in Lemma 7. Suppose the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
We observe that \(\nabla g_{i}=\frac{\|(I-P_{Q_{i}})\Phi \|^{2}}{2}+ \frac{\|(I-P_{Q_{i}})\Psi \|^{2}}{2} \), where \(\Phi ^{*}\) and \(\Psi ^{*}\) are adjoint of Φ and Ψ, respectively, and \(\nabla g_{i}\) is a gradient of \(g_{i}\). From Remark 4.2 [5], we have \(\bigcap_{i=1}^{N}\Gamma g_{i} = \bigcap_{i=1}^{N}VI(C,\nabla g_{i})\). By Theorem 3, Lemma 4, and Remark 4.2 [5], we can conclude Theorem 4. □
Corollary 3
For each \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, and \(\Phi ^{*}\) define as the same in Lemma 7. Let the function \(g_{i}:H_{1}\rightarrow \mathbb{R}\) be differentiable continuous function defined by \(g_{i}(x)=\frac{\|(I-P_{Q_{i}})\Phi (x)\|^{2}}{2}\), for all \(i=1,2,\ldots,N\). Let \(T:H_{1}\rightarrow H_{1}\) is a cutter with \(\varphi = F(T)\cap \bigcap_{i=1}^{N} \Gamma g_{i} \neq \emptyset \), and \(I-T\) is demiclosed at 0. For given \(x_{1}\in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\), where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(a \in (0,\frac{2}{L_{\Phi}})\), and \(L_{\Phi}\) is spectral radius of \(\Phi ^{*}\Phi \). Suppose the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
Putting \(\Phi \equiv \Psi \), in Theorem 4, we obtain the desired conclusion. □
Theorem 5
For each \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, Ψ, \(\Phi ^{*}\), and \(\Psi ^{*}\) define as the same in Lemma 7. Let \(U:H_{1}\rightarrow H_{1}\) be a quasi nonexpansive mapping with \(\varphi = F(U)\cap \xi \neq \emptyset \), and \(I-U\) is demiclosed at 0. For given \(x_{1}\in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\), where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(a \in (0,\frac{2}{L})\), and parameters L, \(L_{\Phi}\), \(L_{\Psi}\) define as the same in Lemma 7. Suppose the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
From Remark 3 (ii) and Theorem 3, we can conclude Theorem 5. □
4.2 The constrained minimization problem
Since the proximity operator is related to the minimization problem, that is \(F(\mathit{Prox}_{f})=\arg \min f\), and proximal mapping of f is a special case of the cutter, with such a relationship, we will prove Theorem 6, but let us first recall the definition and the critical lemma of the proximity operator as follows:
Definition 2
Let \(f:H \rightarrow (-\infty ,+\infty )\) and let \(x\in H\). Then \(\mathit{Prox}_{f}x\) is the unique point in H that satisfies
The operator \(\mathit{Prox}_{f} : H \rightarrow H\) is the proximity operator or proximal mapping of f.
Lemma 9
(See [15])
Let \(f:H \rightarrow (-\infty ,+\infty )\) be the set of proper lower semicontinuous convex functions. Then, \(\mathit{Prox}_{f}\) and \(I-\mathit{Prox}_{f}\) are firmly nonexpansive.
Lemma 10
(See [15])
Let \(f:H \rightarrow (-\infty ,+\infty )\) be the set of proper lower semicontinuous convex functions. Then, \(F(\mathit{Prox}_{f})= \arg \min f\).
Using the relationship of proximal mapping and cutter, we prove weak and strong convergence theorem for finding solutions to the proximal problem and common element of the set of the finite general split feasibility problem.
Theorem 6
For each \(i=1,2,\ldots,N\), let \(C_{i}\), \(Q_{i}\), Φ, Ψ, \(\Phi ^{*}\), and \(\Psi ^{*}\) define as the same in Lemma 7. Let \(f:H \rightarrow (-\infty ,+\infty )\) be the set of proper lower semicontinuous convex functions and assume that \(\mathit{Prox}_{f}:H\rightarrow H\) is the proximal mapping of f with \(\varphi = \arg \min f \cap \xi \neq \emptyset \), and \(I-\mathit{Prox}_{f} \) is demiclosed at 0. For given \(x_{1}\in H_{1}\) and let the sequence \(\{x_{n}\}\) be generated by
for all \(n,N \in \mathbb{N}\), where \(\{\eta _{n}\},\{\alpha _{n}\},\{\beta _{n}\},\{\gamma _{n}\} \subseteq (0,1)\) with \(\eta _{n}+\alpha _{n}+\beta _{n}+\gamma _{n}=1\), \(a \in (0,\frac{2}{L})\), and parameters L, \(L_{\Phi}\), \(L_{\Psi}\) define as the same in Lemma 7. Suppose the following conditions hold:
-
(i)
\(c\leq \eta _{n},\alpha _{n},\beta _{n}\), \(\gamma _{n} \leq d \) for some real number c, d with \(c,d >0\),
-
(ii)
\(\sum_{i=1}^{N} a_{i}=1\), where \(a_{i} >0\) for all \(N \in \mathbb{N}\).
Then, the sequence \(\{x_{n}\}\) converges weakly to \(z^{*} \in \varphi \) and furthermore,
Proof
From Lemma 9, Lemma 10, and Remark 3, we can conclude Theorem 6. □
5 Numerical examples
In this section, we give the following examples to support our main theorem.
Example 2
Let \(\mathbb{R}\) be the set of real numbers. Let \(H_{1}=H_{2}=\mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\}\), and let \(\langle \cdot , \cdot \rangle : \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \rightarrow \mathbb{R}\) be an inner product defined by \(\langle \mathbf{x},\mathbf{y} \rangle = \mathbf{x} \cdot \mathbf{y}=x_{1}y_{1} +x_{2}y_{2}\), where \(\mathbf{x}=(x_{1},x_{2}) \in \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \) and \(\mathbf{y}=(y_{1},y_{2}) \in \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \) and a usual norm \(\|\cdot \|: \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \rightarrow \mathbb{R}\) be defined by \(\|\mathbf{x}\|=\sqrt {x_{1}^{2}+ x_{2}^{2}}\) where \(\mathbf{x}=(x_{1},x_{2}) \in \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \). For each \(i=1,2,\ldots,N\), let \(C_{i}=[-i-1,i+1]\times [-i-2,i+2]\) and \(Q_{i}=[1-i,i+2]\times [1-i,i+3]\). Let the mapping \(\Phi ,\Psi : \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0 \} \rightarrow \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0 \} \) defined by
and
for all \(\mathbf{x}=(x_{1},x_{2}) \in \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \) and \(\Phi ^{*},\Psi ^{*}: \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+} \cup \{0\} \rightarrow \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+} \cup \{0\} \) defined by
and
for all \(\mathbf{z}=(z_{1},z_{2}) \in \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \). Let \(T \mathbf{x}=(|x_{1}|,|x_{2}|)\) where \(\mathbf{x}=(x_{1},x_{2}) \in \mathbb{R}^{+}\cup \{0\} \times \mathbb{R}^{+}\cup \{0\} \). The sequence \(\{x_{n} \}\) is generated by (8), where \(\eta _{n}=\frac{2n+1}{10n}\), \(\alpha _{n}=\frac{5n-4}{10n}\), \(\beta _{n}=\frac{1}{10n}\) and \(\gamma _{n}=\frac{3n+2}{10n}\) for all \(n \in \mathbb{N}\). Since \(L_{\Phi}=9\) and \(L_{\Psi}=4\), we have \(L=9\). So, we choose \(a=\frac{1}{5}\). From Theorem 3, we can conclude that the sequence \(\{x_{n}\}\) converges to \((0,0)\). We can rewrite (8) as follows:
for all \(n \geq 1\), where \(x_{n}=(x_{n}^{1}, x_{n}^{2})\), \(P_{C_{i}}(x_{1},x_{2})=(\max \{\min \{x_{1},i+1\},-i-1\},\max \{ \min \{x_{2},i+2\},-i-2\})\) and \(P_{Q_{i}}(x_{1},x_{2})=(\max \{\min \{x_{1},i+2\},1-i\},\max \{\min \{x_{2},i+3\},1-i\})\).
The Table 1 and Fig. 1 show the values of \(\{x_{n}\}\) with \(x_{1}=(-100,-100)\) and \(n=N=15\).
Example 3
Let \(\mathbb{R}\) be the set of real numbers. Let \(H_{1}=H_{2}=\mathbb{R}^{2}\) and let \(\langle \cdot , \cdot \rangle :\mathbb{R}^{2} \rightarrow \mathbb{R}\) be an inner product defined by \(\langle \mathbf{x}, \mathbf{y} \rangle =\mathbf{x} \cdot \mathbf{y}=x_{1}y_{1}+x_{2}y_{2}\) where \(\mathbf{x}=(x_{1},x_{2}) \in \mathbb{R}^{2}\) and \(\mathbf{y}=(y_{1},y_{2}) \in \mathbb{R}^{2}\) and a usual norm \(\| \cdot \|:\mathbb{R}^{2}\rightarrow \mathbb{R}\) be defined by \(\|\mathbf{x}\|= \sqrt{x_{1}^{2}+x_{2}^{2}}\) where \(\mathbf{x}=(x_{1},x_{2}) \in \mathbb{R}^{2}\). For each \(i=1,2\), let \(C_{i}=H(\alpha _{i},\beta )=\{\mathbf{r}\in H_{1}:\langle (2^{i},3^{i}), \mathbf{r} \rangle =0 \}\) where \(\mathbf{r}=(r_{1},r_{2}) \in \mathbb{R}^{2}\) and \(Q_{i}=\overline {H}(\bar{\alpha _{i}},\bar{\beta })=\{ \bar{\mathbf{r}} \in H_{2}:\langle ((-2)^{i},2^{i}),\bar{\mathbf{r}} \rangle =0 \}\) where \(\mathbf{\bar{r}}=(\bar{r}_{1},\bar{r} _{2}) \in \mathbb{R}^{2}\). Let the mapping \(\Phi ,\Psi :\mathbb{R}^{2} \rightarrow \mathbb{R}^{2}\) defined by
and
for all \(\mathbf{x}=(x_{1},x_{2})\in \mathbb{R}^{2}\) and \(\Phi ^{*},\Psi ^{*}:\mathbb{R}^{2} \rightarrow \mathbb{R}^{2}\) defined by
and
for all \(\mathbf{z}=(z_{1},z_{2})\in \mathbb{R}^{2}\). Let \(T\mathbf{x}=(x_{1},x_{2})\) where \(\mathbf{x}=(x_{1},x_{2})\in \mathbb{R}^{2}\). The sequence \(\{x_{n}\}\) is generated by (8), where \(\eta _{n} =\frac{1}{3n}\), \(\alpha _{n}=\frac{2n-1}{6n}\), \(\beta _{n}=\frac{3n-2}{6n}\) and \(\gamma _{n}=\frac{n+1}{6n}\). From the definition of Φ, Ψ, \(\Phi ^{*}\), \(\Psi ^{*}\) and T, we have \(F(T)\cap \xi =(0,0)\). From Theorem 3, we can conclude that the sequence \(\{x_{n}\}\) converges to \((0,0)\). We can rewrite (8) as follows:
for all \(n\geq 1\), where \(x_{n}=(x_{n}^{1},x_{n}^{2})\), \(P_{C_{i}}(x_{1},x_{2})=(x_{1},x_{2})- \frac{\langle (2^{i},3^{i}),(x_{1},x_{2})\rangle}{\|(2^{i},3^{i})\| ^{2}} \cdot (2^{i},3^{i})\) and \(P_{Q_{i}}(x_{1},x_{2})=(x_{1},x_{2})- \frac{\langle ((-2)^{i},3^{i}),(x_{1},x_{2})\rangle}{\|((-2)^{i},2^{i})\| ^{2}} \cdot ((-2)^{i},2 ^{i})\).
The Table 2 and Fig. 2 show the values of \(\{x_{n}\}\) with \(x_{1}=(-0.5,-0.5)\) and \(n=N=50\).
6 Conclusion
-
1.
Theorem 3 guarantees the convergence of \(\{x_{n}\}\) in Example 2 and Example 3.
-
2.
The convergence of \(\{x_{n}\}\) in Example 2 is faster than the convergence of \(\{x_{n}\}\) in Example 3.
-
3.
Theorem 3 is an approximate solution to the fixed point problem of the cutter, which the cutter can be applied to various theorems in optimization theory (see more detail in [16, 17]) and can be reduced to firmly quasi-nonexpansive mapping.
-
4.
Theorem 3 can be reduced to Corollary 2, which is a modification in terms of the iterative process of Theorem 1.
-
5.
Theorem 1 makes it difficult to give an example in a real problem, especially condition (ii) in Theorem 1 must be calculated through the norm, which is quite complex. While calculating the conditions of Theorem 3, it is easier to provide examples that we give in Sect. 5.
Availability of data and materials
Not applicable.
References
Censor, Y., Elfving, T.: A multiprojection algorithm using Bregman projections in a product space. Numer. Algorithms 8, 221–239 (1994)
Censor, Y., Elfving, T., Kopf, N., et al.: The multiple-sets split feasibility problem and its applications for inverse problems. Inverse Probl. 21, 2071–2084 (2005)
Masad, E., Reich, S.: A note on the multiple-set split convex feasibility problem in Hilbert space. J. Nonlinear Convex Anal. 8, 367–371 (2007)
Siriyan, K., Kangtunyakarn, A.: Algorithm method for solving the split general system of variational inequalities problem and fixed point problem of nonexpansive mapping with application. Math. Methods Appl. Sci. 41(17), 7766–7788 (2018)
Kangtunyakarn, A.: Iterative scheme for finding solutions of the general split feasibility problem and the general constrained minimization problems. Filomat 33(1), 233–243 (2019)
Latif, A., Vahidi, J., Eslamian, M.: Strong convergence for generalized multiple-set split feasibility problem. Filomat 30(2), 459–467 (2016)
Cegielski, A., Censor, Y.: Opial-type theorems and the common fixed point problem. In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 155–183. Springer, New York (2011)
Qiao-Li, D., Songnian, H.: Convergence in norm of projection regularized Krasnoselski-Mann iterations for fixed points of cutters. Numer. Funct. Anal. Optim. 34(5), 485–495 (2013)
Bauschke, H.H., Caifang, W., Xianfu, W., et al.: On the finite convergence of a projected cutter method. J. Optim. Theory Appl. 165, 901–916 (2015)
Takahashi, W.: Introduction to Nonlinear and Convex Analysis. Yokohama Publishers, Yokohama (2009)
Kangtunyakarn, A.: A new iterative scheme for fixed point problems of infinite family of \(\kappa _{i}\)-pseudo contractive mappings, equilibrium problem, variational inequality problems. J. Optim. Theory Appl. 56, 1543–1562 (2013)
Bruck, R.E. Jr: Properties of fixed-point sets of nonexpansive mappings in Banach spaces. Trans. Am. Math. Soc. 179, 251–262 (1973)
Auslender, A., Teboulle, M., Ben-Tiba, S.: A logarithmic-quadratic proximal method for variational inequalities. Comput. Optim. Appl. 12, 31–40 (1999)
Takahashi, W., Toyoda, M.: Weak convergence theorems for nonexpansive mappings and monotone mappings. J. Optim. Theory Appl. 118, 417–428 (2003)
Bauschke, H.H., Combettes, P.L.: Convex Analysis and Monotone Operator Theory in Hilbert Spaces, pp. 175–176. Springer, Cham (2017)
Bauschke, H.H., Combettes, P.L.: A weak-to-strong convergence principle for Fejér monotone methods in Hilbert spaces. Math. Oper. Res. 26, 248–264 (2001)
Combettes, P.L.: Quasi-Féjerian analysis of some optimization algorithms. In: Inherently Parallel Algorithms for Feasibility and Optimization, pp. 115–152. Elsevier, New York (2001)
Acknowledgements
This work is supported by King Mongkut’s Institute of Technology Ladkrabang.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Conceptualization, AK; formal analysis, AK and KS; writing-original draft, KS; supervision, AK; writing-review and editing, AK and KS; read and approved the final manuscript, AK and KS. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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
Saechou, K., Kangtunyakarn, A. The method for solving the extension of general of the split feasibility problem and fixed point problem of the cutter. J Inequal Appl 2022, 144 (2022). https://doi.org/10.1186/s13660-022-02881-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02881-2