Abstract
In this paper, we introduce a Yosida inclusion problem as well as a generalized Yosida approximation operator. Using the graph convergence of \(H(\cdot ,\cdot )\)-accretive operator and resolvent operator convergence discussed in Li and Huang (Appl Math Comput 217:9053–9061, 7), we establish the convergence for generalized Yosida approximation operator. As an application, we solve a Yosida inclusion problem in q-uniformly smooth Banach spaces. An example is constructed, and through MATLAB programming, we show some graphics for the convergence of generalized Yosida approximation operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
A reasonable attention has been shown by many researchers for the study of variational inclusions (inequalities) and their generalized forms, which occupies a leading and significant role to connect research between analysis, geometry, biology, elasticity, optimization, image processing, biomedical and mathematical sciences, etc. A broad range of problems with which we encounter in physics, economics, management sciences, and operations research can be formulated as an inclusion problem \(0 \in T(x)\), for a given set-valued mapping T on a Hilbert space H. Thus, the problem of finding a zero of T, i.e., a point \(x \in H\), such that \(0 \in T(x)\) is a fundamental problem in many areas of applied sciences.
On the other hand, it is well known that monotone operators on Hilbert spaces can be regularized into single-valued Lipschitzian monotone operators via a process known as the Yosida approximation. This Yosida approximation operators are instrumental to approximate the solutions of general variational inclusion problems using non-expansive resolvent operators. Recently, many authors [2, 3, 5, 6, 8–10] have applied Yosida approximation operators and their generalized forms to solve some variational inclusion problems. Zou and Huang [14], Ahmad et al. [1] introduced and studied the graph convergence of \(H(\cdot ,\cdot )\)-accretive operators and \(H(\cdot ,\cdot )\)-co-accretive operators, respectively, for solving variational inclusion problems and their system. For more details, we refer to [4, 11, 12, 15].
This paper deals with the introduction of a generalized Yosida approximation operator with some of its properties. Under the concept of graph convergence of \(H(\cdot ,\cdot )\)-accretive operators, we prove the convergence of generalized Yosida approximation operator. Finally, we solve a Yosida inclusion problem in q-uniformly Banach spaces. A MATLAB programming related to graph convergence of generalized Yosida approximation operator is discussed with a consolidated example. Our results are applicable and new in this direction and refinement of results of Li and Huang [7].
Preliminaries
Let X be a real Banach Space with its dual space \(X^*\). We denote the duality pairing between X and \(X^*\) by \(\langle \cdot ,\cdot \rangle\), and \(2^X\) is the family of all nonempty subsets of X.
The generalized duality mapping \(F_q:X \rightarrow 2^{X^*}\) is defined by
where \(q>1\) is a constant. For \(q=2\), \(F_q\) coincides with the normalized duality mapping. If X is a Hilbert space, \(F_2\) becomes the identity mapping on X. It is to be noted that if X is uniformly smooth, then \(F_q\) is single-valued. Throughout the paper, we assume that X is a real Banach space and \(F_q\) is single-valued.
The function \(\rho _{X}:[0,\infty ) \rightarrow [0,\infty )\) is called modulus of smoothness of X, such that
A Banach space X is called
-
1.
uniformly smooth if \(\lim \limits _{t \rightarrow 0} \frac{\rho _{X}(t)}{t}=0\);
-
2.
q-uniformly smooth if there exists a constant \(c>0\), such that
$$\begin{aligned} \rho _{X}(t) \le c~t^q,\quad q>1. \end{aligned}$$
While encountered with the characteristic inequalities, Xu [13] proved the following important Lemma in q-uniformly smooth Banach spaces.
Lemma 1
Let X be a real uniformly smooth Banach space. Then, X is q-uniformly smooth if and only if there exists a constant \(c_q>0\), such that for all \(x,y \in X,\)
The following definitions and concepts are essential to achieve the aim of this paper.
Definition 1
[14] Let \(A,B:X \rightarrow X\) and \(H:X \times X \rightarrow X\) be the single-valued mappings.
-
1.
A is said to be accretive, if
$$\begin{aligned} \langle A(x)-A(y),F_q(x-y)\rangle \ge 0,\quad \forall x,\quad y \in X; \end{aligned}$$ -
2.
A is said to be strictly accretive, if A is accretive and
$$\begin{aligned} \langle A(x)-A(y),F_q(x-y)\rangle = 0,\quad \mathrm{if} \; \mathrm{and} \; \mathrm{only}\; \mathrm{if}\; x=y; \end{aligned}$$ -
3.
A is said to be \(\delta _A\)-strongly accretive, if there exists a constant \(\delta _A>0\), such that
$$\begin{aligned} \langle Ax-Ay,F_q(x-y)\rangle \ge {\delta }_{A} \Vert x-y\Vert ^q; \end{aligned}$$ -
4.
A is said to be \(\gamma _A\)-Lipschitz continuous, if there exists a constant \(\gamma _A>0\), such that
$$\begin{aligned} \Vert Ax-Ay\Vert \le {\gamma }_{A} \Vert x-y\Vert , \quad \forall x,\quad y \in X; \end{aligned}$$ -
5.
\(H(A,\cdot )\) is said to be \(\alpha\)-strongly accretive with respect to A, if there exists a constant \(\alpha >0\), such that
$$\begin{aligned} \langle H(Ax,\cdot )-H(Ay,\cdot ),F_q(x-y)\rangle \ge {\alpha } \Vert x-y\Vert ^q, \quad \forall x,\quad y \in X; \end{aligned}$$ -
6.
\(H(\cdot ,B)\) is said to be \(\beta\)-relaxed accretive with respect to B, if there exists a constant \(\beta >0\), such that
$$\begin{aligned} \langle H(\cdot ,Bx)-H(\cdot ,By),F_q(x-y)\rangle \ge -{\beta } \Vert x-y\Vert ^q,\quad \forall x,\quad y \in X; \end{aligned}$$ -
7.
\(H(A,\cdot )\) is said to be \(\sigma\)-Lipschitz continuous with respect to A, if there exists a constant \(\sigma >0\), such that
$$\begin{aligned} \Vert H(Ax,\cdot )-H(Ay,\cdot )\Vert \le {\sigma } \Vert x-y\Vert ,\quad \forall x,\quad y \in X. \end{aligned}$$
Similarly, we can define the Lipschitz continuity of H with respect to B.
Definition 2
[14] Let \(H:X \rightarrow X\) be a single-valued mapping and \(M:X \rightarrow 2^X\) be a set-valued mapping. The mapping M is said to be
-
1.
accretive, if
$$\begin{aligned} \langle u-v,F_q(x-y)\rangle \ge 0,\quad \forall x,y \in X,\quad u \in M(x), v \in M(y); \end{aligned}$$ -
2.
m-accretive, if M is accretive and \((I+\lambda M)(X)=X\), for all \(\lambda >0\), where I is the identity operator on X;
-
3.
H-accretive, if M is accretive and \((H+\lambda M)(X)=X\), for all \(\lambda >0.\)
Definition 3
[14] Let \(A,B:X \rightarrow X\), \(H:X\times X \rightarrow X\) be the single-valued mappings and \(M:X \rightarrow 2^X\) be a set-valued mapping. The mapping M is said to be \(H(\cdot ,\cdot )\)-accretive with respect to A and B, if M is accretive and \([H(A,B)+\lambda M](X)=X,\) for every \(\lambda >0.\)
Lemma 2
[14] Let H(A, B) be \(\alpha\)-strongly accretive with respect to A, \(\beta\)-relaxed accretive with respect to B and \(\alpha > \beta\). Let M be an \(H(\cdot ,\cdot )\)-accretive operator with respect to A and B. Then, the operator \([H(A,B)+\lambda M]^{-1}\) is single-valued and is called the resolvent operator, i.e., \(R^{H(\cdot ,\cdot )}_{M,\lambda }:X \rightarrow X\), such that
Furthermore, the resolvent operator defined by Eq. (1) is \(\frac{1}{(\alpha -\beta )}\)-Lipschitz continuous.
Lemma 3
[3] Let \(\{a_n\}\) and \(\{b_n\}\) be two non-negative real sequences satisfying
with \(0< k <1\) and \(b_n \rightarrow 0.\) Then, \(\lim \nolimits _{n \rightarrow \infty } a_n=0.\)
Generalized Yosida approximation operator and its convergence
We define the generalized Yosida approximation operator using the resolvent operator defined by Eq. (1), that is
Definition 4
The generalized Yosida approximation operator denoted by \(J^{H(\cdot ,\cdot )}_{M,\lambda }\) is defined as
where I is the identity mapping on X.
Lemma 4
The generalized Yosida approximation operator defined by Eq. (2) is
-
1.
\(\theta _1\)-Lipschitz continuous, where \(\theta _1=\frac{[\alpha -\beta +1]}{\lambda (\alpha -\beta )}, \alpha > \beta .\)
-
2.
\(\theta _2\)-strongly monotone, where \(\theta _2=\frac{[(\alpha -\beta )-1]}{\lambda (\alpha -\beta )}, \alpha > \beta .\)
Proof
-
1.
Let \(u,v \in X\) and \(\lambda >0\). Using Lemma 2, we have
$$\begin{aligned} \left\| J^{H(\cdot ,\cdot )}_{M,\lambda }(u)-J^{H(\cdot , \cdot )}_{M,\lambda }(v)\right\|&= \frac{1}{\lambda } \left\| [I(u)-R^{H(\cdot ,\cdot )}_{M,\lambda }(u)]-[I(v) -R^{H(\cdot ,\cdot )}_{M,\lambda }(v)]\right\| \\&\le \frac{1}{\lambda }\left[ \Vert u-v\Vert +\left\| R^{H(\cdot ,\cdot )}_{M,\lambda } (u)-R^{H(\cdot ,\cdot )}_{M,\lambda }(v)\right\| \right] \\&\le \frac{1}{\lambda }[\Vert u-v\Vert + \frac{1}{[\alpha - \beta ]} \Vert u-v\Vert ]\\&= \frac{1}{\lambda }\left[ \frac{\alpha -\beta +1}{\alpha -\beta }\right] \Vert u-v\Vert , \end{aligned}$$i.e.,
$$\begin{aligned} \left\| J^{H(\cdot ,\cdot )}_{M,\lambda }(u)-J^{H(\cdot , \cdot )}_{M,\lambda }(v)\right\| \le \theta _1 \Vert u-v\Vert , \end{aligned}$$(3)where \(\theta _1= \frac{[\alpha -\beta +1]}{\lambda (\alpha -\beta )}, \alpha > \beta .\)
-
2.
For any \(u,v \in X,\) and \(\lambda >0\) and using Lemma 2, we have
$$\begin{aligned} \Big \langle&J^{H(\cdot ,\cdot )}_{M,\lambda }(u)-J^{H(\cdot ,\cdot )}_{M,\lambda }(v), F_q(u-v)\Big \rangle \\&\quad = \frac{1}{\lambda } \Big \langle I(u)-R^{H(\cdot ,\cdot )}_{M,\lambda }(u)-[I(v)-R^{H(\cdot , \cdot )}_{M,\lambda }(v)],F_q(u-v) \Big \rangle \\&\quad = \frac{1}{\lambda }\Big [ \Big \langle u-v,F_q(u-v) \Big \rangle -\Big \langle R^{H(\cdot ,\cdot )}_{M,\lambda }(u)-R^{H(\cdot , \cdot )}_{M,\lambda }(v),F_q(u-v) \Big \rangle \Big ]\\&\quad \ge \frac{1}{\lambda }\Big [\Vert u-v\Vert ^q-\Big \Vert R^{H(\cdot , \cdot )}_{M,\lambda }(u)-R^{H(\cdot ,\cdot )}_{M,\lambda }(v) \Big \Vert \Vert u-v\Vert ^{q-1}\Big ]\\&\quad \ge \frac{1}{\lambda }\Big [\Vert u-v\Vert ^q-\frac{1}{[\alpha -\beta ]}\Vert u-v\Vert \Vert u-v\Vert ^{q-1}\Big ]\\&\quad =\frac{1}{\lambda }\Big [\Vert u-v\Vert ^q-\frac{1}{[\alpha -\beta ]} \Vert u-v\Vert ^{q}\Big ]\\&\quad =\frac{[(\alpha -\beta )-1]}{\lambda (\alpha -\beta )}\Vert u-v\Vert ^q. \end{aligned}$$i.e.,
$$\begin{aligned} \left\langle J^{H(\cdot ,\cdot )}_{M,\lambda }(u)-J^{H(\cdot ,\cdot )}_{M,\lambda }(v),\quad F_q(u-v)\right\rangle \ge \theta _2 \Vert u-v\Vert ^q, \quad \forall u,v \in X, \lambda >0 \end{aligned}$$and \(\theta _2=\frac{[(\alpha -\beta )-1]}{\lambda (\alpha -\beta )}, \alpha > \beta .\)
\(\square\)
Note 1
It is interesting to note that resolvent operator defined by Eq. (1) and generalized Yosida approximation operator defined by Eq. (2) are connected by the following relation:
Let \(M:X \rightarrow 2^X\) be a set-valued mapping. The graph of the mapping M is defined by
Definition 5
[7] Let \(A,B:X\rightarrow X\) and \(H:X\times X \rightarrow X\) be the single-valued mappings. Let \(M_n,M:X \rightarrow 2^{X}\) be \(H(\cdot ,\cdot )\)-accretive operators for \(n=0,1,2,\ldots\). The sequence \(\{M_n\}\) is said to be graph convergence to M, denoted by \(M_n \overset{G}{\rightarrow } M\), if for every \((x,y)\in {\rm graph}(M)\), there exists a sequence \((x_n,y_n)\in {\rm graph}(M_n)\), such that
Theorem 1
[7] Let \(M_n,M:X \rightarrow 2^X\) be \(H(\cdot ,\cdot )\)-accretive operators for \(n=0,1,2,\ldots\). Assume that \(H:X\times X \rightarrow X\) is a single-valued mapping, such that
-
1.
H(A, B) is \(\alpha\)-strongly accretive with respect to A and \(\beta\)-relaxed accretive with respect to B, \(\alpha > \beta\);
-
2.
H(A, B) is \(\gamma _1\)-Lipschitz continuous with respect to A and \(\gamma _2\)-Lipschitz continuous with respect to B.
Then, \(M_n \overset{G}{\rightarrow } M\) if and only if
where \(R^{H(\cdot ,\cdot )}_{M_n,\lambda }=[H(A,B)+\lambda M_n]^{-1}\) and \(R^{H(\cdot ,\cdot )}_{M,\lambda }=[H(A,B)+\lambda M]^{-1}.\)
Now, we prove the convergence of generalized Yosida approximation operator in the light of graph convergence of \(H(\cdot ,\cdot )\)-accretive operator without using the convergence of resolvent operator defined by Eq. (1).
Theorem 2
Let \(M_n,M:X \rightarrow 2^X\) be \(H(\cdot ,\cdot )\)-accretive operators for \(n=0,1,2,\ldots\), and \(H:X\times X \rightarrow X\) be a single-valued mapping, such that conditions (1) and (2) of Theorem 1 hold.
Then \(M_n \overset{G}{\rightarrow } M\) if and only if
where
and \(R^{H(\cdot ,\cdot )}_{M_n,\lambda }\) and \(R^{H(\cdot ,\cdot )}_{M,\lambda }\) are defined in Theorem 1.
Proof
Necessary part: Suppose that \(M_n \overset{G}{\rightarrow } M\). For any given \(x \in X\), let
Then,
implies that
i.e.,
It follows that
That is
By Definition 4, there exists a sequence \((w_n,y_n) \in \mathrm{graph}(M_n)\), such that
Since \(y_n \in M_n(w_n)\), we have
and so,
which implies that
Using (1) of Lemma 4 and Eq. (5), we have
Since H is \(\gamma _1\)-Lipschitz continuous with respect to A and \(\gamma _2\)-Lipschitz continuous with respect to B, we have
By Eq. (4), we have
i.e.,
and so
i.e.,
Sufficient Part: Suppose that
For any \((x,y)\in {\rm graph}(M),\) we have \(y \in M(x)\), and hence
Therefore,
Let \(x_n=\left[ I-\lambda J^{H(\cdot ,\cdot )}_{M_n,\lambda }\right] \left( H(Ax,Bx)+\lambda y\right)\). This implies that
Let \(y_n^{\prime }=\frac{1}{\lambda }[H(Ax,Bx)-H(Ax_n,Bx_n)+\lambda y]\) and using the same arguments as for Eq. (7), we have
Using above arguments, we have
Since \(J^{H(\cdot ,\cdot )}_{M_n,\lambda }(x) \rightarrow J^{H(\cdot ,\cdot )}_{M,\lambda }(x)\), we have from (9) that
Thus, from (8), it follows that \(y_n^{\prime } \rightarrow y\) as \(n \rightarrow \infty ,\)
i.e.,
This completes the proof. \(\square\)
Combining Theorems 1 and 2, we have the following remark.
Remark 1
The convergence of the resolvent operator \(R^{H(\cdot ,\cdot )}_{M_n,\lambda }(x) \rightarrow R^{H(\cdot ,\cdot )}_{M,\lambda }(x)\), and the convergence of the generalized Yosida approximation operator \(J^{H(\cdot ,\cdot )}_{M_n,\lambda }(x) \rightarrow J^{H(\cdot ,\cdot )}_{M,\lambda }(x)\) are equivalent if and only if the operator \(M_n \overset{G}{\rightarrow } M\).
Proof
Suppose that \(M_n \overset{G}{\rightarrow } M\) and \(R^{H(\cdot ,\cdot )}_{M_n,\lambda }(x) \rightarrow R^{H(\cdot ,\cdot )}_{M,\lambda }(x)\). Then
On similar way, we can show that \(J^{H(\cdot ,\cdot )}_{M_n,\lambda }(x) \rightarrow J^{H(\cdot ,\cdot )}_{M,\lambda }(x)\) implies that \(R^{H(\cdot ,\cdot )}_{M_n,\lambda }(x) \rightarrow R^{H(\cdot ,\cdot )}_{M,\lambda }(x)\). \(\square\)
We construct the following consolidated example which shows that the mapping M is \(H(\cdot ,\cdot )\)-accretive with respect to A and B, \(M_n \overset{G}{\rightarrow }M\) and \(J^{H(\cdot ,\cdot )}_{M_n, \lambda }\rightarrow J^{H(\cdot ,\cdot )}_{M, \lambda }\). Through MATLAB programming, we show some graphics for the convergence of generalized Yosida approximation operator.
Example 1
Let \(X=\mathbb {R}\); \(A,B:\mathbb {R} \rightarrow \mathbb {R}\) and \(H:\mathbb {R} \times \mathbb {R} \rightarrow \mathbb {R}\) be the mappings defined by
and
with the condition \(x^2+y^2+xy\ge 1\). Suppose \(M_n, M:\mathbb {R} \rightarrow 2^\mathbb {R}\) are the set-valued mappings defined by
and
Then, for any fixed \(u \in \mathbb {R},\) we have
Hence, H(A, B) is \(\frac{1}{8}\)-strongly accretive with respect to A. In addition
Hence, H(A, B) is \(\frac{3}{2}\)-relaxed accretive with respect to B.
One can easily verify that for \(\lambda =1\),
Hence, M is \(H(\cdot ,\cdot )\)-accretive with respect to A and B.
Now, we show that \(M_n \overset{G}{\rightarrow }M.\) For any \((x,y) \in \mathrm{graph}(M)\), there exists a sequence \((x_n,y_n)\in \mathrm{graph}(M_n)\), where let
and
Since
we have,
In addition, by definition of graph, it follows that
It follows that \(y_n \rightarrow y\) as \(n \rightarrow \infty\) and hence, \(M_n \overset{G}{\rightarrow }M.\)
Furthermore, we show that \(J^{H(\cdot ,\cdot )}_{M_n, \lambda }\rightarrow J^{H(\cdot ,\cdot )}_{M, \lambda }\) as \(M_n \overset{G}{\rightarrow }M.\)
Let for \(\lambda =1\), the resolvent operators are given by
and
and the generalized Yosida approximation operators are given by
and
We evaluate
which shows that
i.e.,
Using the above example, the convergence of generalized Yosida approximation operator \(J^{H(\cdot ,\cdot )}_{M_n, \lambda }\) to \(J^{H(\cdot ,\cdot )}_{M,\lambda }\) is illustrated in the following figure for \(n=1,2,5,15\).
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs40096-017-0221-5/MediaObjects/40096_2017_221_Figa_HTML.gif)
A Yosida inclusion problem and existence of solution
First, we state a Yosida inclusion problem and its equivalence with a fixed point problem.
Let X be q-uniformly smooth Banach space and let \(M: X \rightarrow 2^X\) be \(H(\cdot ,\cdot )\)-accretive operator. We consider the following problem.
Find \(x \in X\), such that
where \(J^{H(\cdot ,\cdot )}_{M,\lambda }\) is the generalized Yosida approximation operator defined by Eq. (2). Problem (10) is called Yosida inclusion problem.
The fixed point formulation of the problem Eq. (10) is as follows:
Using the definition of the resolvent operator \(R^{H(\cdot ,\cdot )}_{M,\lambda }\) defined by Eq. (1), one can easily obtain the equivalence of Eqs. (10) and (11).
Based on Eq. (11), we construct the following iterative algorithm for solving Yosida inclusion problem Eq. (10).
Algorithm 1 For any \(x_0 \in X\), compute the sequence \(\{x_n\} \subset X\) by the following scheme:
If \(J^{H(\cdot ,\cdot )}_{M_n,\lambda }=T\), where \(T:X \rightarrow X\) is a mapping, then the Yosida inclusion problem (10) and Algorithm 1 reduces to the variational inclusion problem (10) and Algorithm 1 of Li and Huang [7], respectively, and note that for suitable choice of operators in the formulation of (12), one can obtain many existing problems and algorithms in literature.
Theorem 3
Let X be a q-uniformly smooth Banach space and \(A,B:X \rightarrow X\) be the single-valued mappings. Let \(H:X \times X \rightarrow X\) be a single-valued mapping and \(M_n, M: X \rightarrow 2^X\) be the \(H(\cdot ,\cdot )\)-accretive operators, such that \(M_n \overset{G}{\rightarrow } M\). Assume that
-
1.
H(A, B) is \(\alpha\)-strongly accretive with respect to A and \(\beta\)-relaxed accretive with respect to B and \(\alpha > \beta\);
-
2.
H(A, B) is \(\gamma _1\)-Lipschitz continuous with respect to A and \(\gamma _2\)-Lipschitz continuous with respect to B;
-
3.
\((\alpha -\beta ) \ge \root q \of {1+c_q(\gamma _1+\gamma _2)^{q}-q(\alpha -\beta )}+\root q \of {1-q \lambda \theta _2 +c_q \lambda ^{q}\theta _1};\)
-
4.
\((\alpha -\beta ) \ge [\gamma _1 + \gamma _2 + \lambda \theta _1].\)
where \(\theta _1=\frac{[(\alpha -\beta )+1]}{\lambda (\alpha -\beta )}\) , \(\theta _2=\frac{[(\alpha -\beta )-1]}{\lambda (\alpha -\beta )}\), \(\alpha >\beta\) and \(c_q\) is same as in Lemma 2.1. Then, the Yosida inclusion problem (10) has a unique solution and the iterative sequence \(\{x_n\}\) generated by Algorithm 1 converges strongly to x.
Proof
Let the mapping \(F:X \rightarrow X\) be defined by
For any \(x,y \in X\) and using Lemma 2, we have
Using the same arguments as used in Li and Huang [7], we have
and hence
Using (1) and (2) of Lemma 4, we obtain
i.e.,
Using Eqs. (14), (15), (13) becomes
i.e.,
where
By condition (3), it follows that \(0< k < 1\) and so (16) implies that the mapping F has a unique fixed point \(x \in X\). Thus, x is a unique solution of Yosida inclusion problem (10).
Next, we show that the sequence \(\{x_n\}\) generated by the Algorithm 1 strongly converges to x.
Using Eqs. (11) and (12), we obtain
where
Using Lipschitz continuity of H(A, B) in both the arguments and Lipschitz continuity of generalized Yosida approximation operator, we obtain
where \({c_n}=\Big \Vert J^{H(\cdot ,\cdot )}_{M_n,\lambda }(x_n)-J^{H(\cdot , \cdot )}_{M,\lambda }(x_n)\Big \Vert .\)
where \(\theta _1=\frac{[\alpha -\beta +1]}{\lambda (\alpha -\beta )}.\)
and hence,
Thus, \(b_n \rightarrow 0\) and \(c_n \rightarrow 0\) as \(n \rightarrow \infty .\) It follows that
where \(d_n=b_n + \lambda c_n\), and \(P(\theta )=\frac{1}{(\alpha -\beta )}[\gamma _1+\gamma _2+\lambda \theta _1].\) By condition (4), we have \(0< P(\theta ) < 1\) and \(d_n \rightarrow 0\) as \(b_n ,c_n \rightarrow 0 (n \rightarrow \infty ).\) By Lemma 3, we have
This completes the proof. \(\square\)
Remark 2
If we take \(J^{H(\cdot ,\cdot )}_{M,\lambda }=T\), where \(T:X \rightarrow X\) is a mapping and deleting condition (4) from Theorem 3, we can obtain Theorem 4.1 of Li and Huang [7].
References
Ahmad, R., Akram, M., Dilshad, M.: Graph Convergence for the \(H(\cdot,\cdot )\)-co-accretive mapping with an application. Bull. Malays. Math. Sci. Soc. 38(4), 1481–1506 (2015)
Agrawal, R.P., Verma, R.U.: Generalized system of \((A,\eta )\)-maximal relaxed monotone variational inclusion problems based on generalized hybrid algorithms. Commun. Nonlinear Sci. Numer. Simul. 15(2), 238–251 (2010)
Cao, H.W.: Yosida approximation equations technique for system of generalized set-valued variational inclusions, J. Inequal. Appl. 2013, 455 (2013)
Fang, Y.P., Huang, N.J.: \(H\)-monotone operator and resolvent operator technique for variational inclusions. Appl. Math. Comput. 145, 795–803 (2003)
Ikehata, R., Okozawa, N.: Yosida approximation and Nonlinear Hybrid Equation. Nonlinear Anal. 15(5), 479–495 (1990)
Iwamiya, T., Okochi, H.: Monotonicity, resolvents and Yosida approximations of operators on Hilbert manifolds. Nonlinear Anal. 54(2), 205–214 (2003)
Li, X., Huang, N.J.: Graph convergence for the \(H(\cdot,\cdot )\)-accretive operator in Banach spaces with an application. Appl. Math. Comput. 217, 9053–9061 (2011)
Lan, H.Y.: Generalized Yosida approximations based on relativly \(A\)-maximal \(m\)-relaxed monotonicity frameworks. Abstr. Appl. Anal. 2013 (2013) (article ID 157190)
Moudafi, A.: A Duality algorithm for solving general variational inclusions. Adv. Model. Optim. 13(2), 213–220 (2011)
Penot, J.-P., Ratsimahalo, R.: On the Yosida approximaton of operators. Proc. R. Soc. Edinb. Math. 131A, 945–966 (2001)
Verma, R.U.: General system of \(A\)-monotone nonlinear variational inclusion problems with applications. J. Optim. Theory Appl. 131(1), 151–157 (2006)
Verma, R.U.: General nonlinear variational inclusion problems involving \(A\)-monotone mapping. Appl. Math. Lett. 19, 960–963 (2006)
Xu, H.K.: Inequalities in Bancah Spaces with applications. Nonlinear Anal. 16(12), 1127–1138 (1991)
Zou, Y.Z., Huang, N.J.: \(H(\cdot,\cdot )\)-accretive operator with an application for solving varaitional inclusions in Bancah spaces. Appl. Math. Comput. 204, 809–816 (2008)
Zou, Y.Z., Huang, N.J.: A new system of Variational Inclusions involving \((A,\eta )\)-accretive operator in Bancah spaces. Appl. Math. Comput. 212, 135–144 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ahmad, R., Ishtyak, M., Rahaman, M. et al. Graph convergence and generalized Yosida approximation operator with an application. Math Sci 11, 155–163 (2017). https://doi.org/10.1007/s40096-017-0221-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-017-0221-5