 of $A$ is the mapping $J_A=(A+{\ensuremath{\operatorname{Id}}})^{-1}$. We say that $A$ is a linear relation if ${\ensuremath{\operatorname{gra}}}A$ is a linear subspace of ${\ensuremath{\mathcal H}}\times {\ensuremath{\mathcal H}}$. $A$ is said to be a maximally monotone linear relation if $A$ is both maximally monotone and a linear relation. The mapping $T: {\ensuremath{\mathcal H}}\to {\ensuremath{\mathcal H}}$ is said to be *firmly nonexpansive* if $$(\forall x\in {\ensuremath{\mathcal H}})(\forall y\in {\ensuremath{\mathcal H}}) \quad \|Tx-Ty\|^2 + \|({\ensuremath{\operatorname{Id}}}-T)x-({\ensuremath{\operatorname{Id}}}-T)y\|^2 \leq \|x-y\|^2.$$ Obviously, if $T$ is firmly nonexpansive, then it is *nonexpansive*, that is, [Lipschitz continuous]{} with constant $1$, where a Lipschitz continuous mapping with constant $L$ is a mapping $T:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ such that $$(\forall x\in {\ensuremath{\mathcal H}})(\forall y\in {\ensuremath{\mathcal H}}) \quad \|Tx-Ty\|\leq L\|x-y\|.$$ The mapping $T$ is said to be a *Banach contraction* if it is Lipschitz continuous with constant $L<1$. The point $x\in{\ensuremath{\mathcal H}}$ is said to be a fixed point of the mapping $T:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ if $Tx=x$. The set of all fixed points of $T$ is denoted by ${\ensuremath{\operatorname{Fix}}}T$. The function $f:{\ensuremath{\mathcal H}}\to{\ensuremath{\,\left]-\infty,+\infty\right]}}$ is said to be *proper* if ${\ensuremath{\operatorname{dom}}}f=\{x\in{\ensuremath{\mathcal H}}{\ensuremath{\;|\;}}f(x)<\infty\}\neq\varnothing$. The *Fenchel conjugate* of the function $f$ is the function $f^*$ which is defined by $f^*(u)=\sup_{x\in{\ensuremath{\mathcal H}}}({\langle{{u},{x}}\rangle}-f(x))$. The subdifferential of a proper function $
of $ A$ is the mapping $ J_A=(A+{\ensuremath{\operatorname{Id}}})^{-1}$. We say that $ A$ is a linear relation if $ { \ensuremath{\operatorname{gra}}}A$ is a analogue subspace of $ { \ensuremath{\mathcal H}}\times { \ensuremath{\mathcal H}}$. $ A$ is say to be a maximally monotone linear relation back if $ A$ is both maximally flat and a linear relation. The function $ T: { \ensuremath{\mathcal H}}\to { \ensuremath{\mathcal H}}$ is said to be * firmly nonexpansive * if $ $ (\forall x\in { \ensuremath{\mathcal H}})(\forall y\in { \ensuremath{\mathcal hydrogen } }) \quad \|Tx - Ty\|^2 + \|({\ensuremath{\operatorname{Id}}}-T)x-({\ensuremath{\operatorname{Id}}}-T)y\|^2 \leq \|x - y\|^2.$$ Obviously, if $ T$ is firmly nonexpansive, then it is * nonexpansive *, that is, [ Lipschitz continuous ] { } with constant $ 1 $, where a Lipschitz continuous function with constant $ L$ is a mapping $ T:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ such that $ $ (\forall x\in { \ensuremath{\mathcal H}})(\forall y\in { \ensuremath{\mathcal H } }) \quad \|Tx - Ty\|\leq L\|x - y\|.$$ The mapping $ T$ is say to be a * Banach contraction * if it is Lipschitz continuous with constant $ L<1$. The point $ x\in{\ensuremath{\mathcal H}}$ is said to be a fixed detail of the mapping $ T:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ if $ Tx = x$. The set of all fixed point of $ T$ is denoted by $ { \ensuremath{\operatorname{Fix}}}T$. The function $ f:{\ensuremath{\mathcal H}}\to{\ensuremath{\,\left]-\infty,+\infty\right]}}$ is said to be * proper * if $ { \ensuremath{\operatorname{dom}}}f=\{x\in{\ensuremath{\mathcal H}}{\ensuremath{\;|\;}}f(x)<\infty\}\neq\varnothing$. The * Fenchel conjugate * of the affair $ f$ is the function $ f^*$ which is defined by $ f^*(u)=\sup_{x\in{\ensuremath{\mathcal H}}}({\langle{{u},{x}}\rangle}-f(x))$. The subdifferential of a proper function $
 of $A$ is the mapping $J_A=(A+{\ensmremath{\operatorncne{Id}}})^{-1}$. Wx say tgat $A$ is a linear relation if ${\ensurelarh{\opeeatorname{gra}}}A$ is a lindar subspwce of ${\ebsurtmath{\mathcal H}}\timxa {\ensurciath{\jwthccl H}}$. $A$ is said tp be a maxhmally monotona uiuear relation if $A$ is both maximally monotome and a linear telatpog. Ths mapping $T: {\ensuremath{\mathcal H}}\to {\snsuremeth{\mathcal H}}$ is said to be *firmly nonexpajsivf* if $$(\forall x\in {\enduremath{\matycal Y}})(\forall y\in {\dnsuremath{\mathcal H}}) \quzd \|Tx-Ty\|^2 + \|({\ensuremath{\operatorname{Kd}}}-T)x-({\eusuremath{\opgxqtogtame{Id}}}-T)y\|^2 \lew \|x-y\|^2.$$ Jbviously, if $T$ is fismly nomexpansive, thek it ms *ninexpansive*, that is, [Lmpschitz continuous]{} rith consdaut $1$, where a Lipschitz cintinoous kappkbg ditg ronatant $P$ ia a mappinf $T:{\ensuremarh{\mathcal H}}\to{\ensurekaey{\mathcal H}}$ sudh thae $$(\sorall x\in {\ensuremath{\mathcal H}})(\forall y\it {\ehsuremath{\mathcal H}}) \quad \|Tx-Ty\|\leq L\|x-y\|.$$ The mapplng $T$ is faid to be a *Banach contraction* if it is Lipschits convivuobw witf clnstant $L<1$. The point $x\in{\ensuremath{\mathcal H}}$ is aaod to be a fixed point of tne mskping $T:{\ensuremxth{\matkdam H}}\to{\ensuremath{\matjcal H}}$ yf $Tx=z$. The set of sll fixed points of $T$ is deboted by ${\enslremqth{\operatorname{Fix}}}C$. The functiun $f:{\gnsurekath{\mathcal H}}\to{\ensuremach{\,\left]-\jnfty,+\infty\rlght]}}$ is szkd to be *proper* kf ${\vnsusemath{\optfatorname{dom}}}f=\{x\in{\egsuremath{\natheal H}}{\ensjremsth{\;|\;}}f(x)<\igfty\}\neq\varjothikc$. The *Fenchel conjkgate* ox the funchion $f$ is the function $f^*$ which mx defined by $f^*(g)=\sui_{x\in{\ensurzmath{\msthcal H}}}({\langlq{{u},{x}}\rangle}-f(x))$. Thg subdiffzrentixl of a prkper fuiction $
of $A$ is the mapping $J_A=(A+{\ensuremath{\operatorname{Id}}})^{-1}$. We $A$ a linear if ${\ensuremath{\operatorname{gra}}}A$ is H}}\times H}}$. $A$ is to be a monotone linear relation if $A$ is maximally monotone and a linear relation. The mapping $T: {\ensuremath{\mathcal H}}\to {\ensuremath{\mathcal H}}$ said to be *firmly nonexpansive* if $$(\forall x\in {\ensuremath{\mathcal H}})(\forall y\in {\ensuremath{\mathcal H}}) \|Tx-Ty\|^2 \|({\ensuremath{\operatorname{Id}}}-T)x-({\ensuremath{\operatorname{Id}}}-T)y\|^2 \|x-y\|^2.$$ if $T$ is firmly nonexpansive, then it is *nonexpansive*, that is, [Lipschitz continuous]{} with constant $1$, a Lipschitz continuous mapping with constant $L$ is mapping $T:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ that $$(\forall x\in {\ensuremath{\mathcal H}})(\forall {\ensuremath{\mathcal \quad \|Tx-Ty\|\leq The $T$ said to be *Banach contraction* if it is Lipschitz continuous with constant $L<1$. The point $x\in{\ensuremath{\mathcal H}}$ is said to a fixed the mapping H}}\to{\ensuremath{\mathcal if The set of points of $T$ is denoted by $f:{\ensuremath{\mathcal H}}\to{\ensuremath{\,\left]-\infty,+\infty\right]}}$ is said to be *proper* if H}}{\ensuremath{\;|\;}}f(x)<\infty\}\neq\varnothing$. The conjugate* of the function $f$ is function $f^*$ which is defined by $f^*(u)=\sup_{x\in{\ensuremath{\mathcal H}}}({\langle{{u},{x}}\rangle}-f(x))$. subdifferential of a proper function $
 of $A$ is the mapping $J_A=(A+{\ensuremAth{\operatoRname{id}}})^{-1}$. WE saY tHat $A$ Is a lInear relation iF ${\EnsuRemath{\operatorname{gra}}}A$ Is a liNeAR subSPaCe of ${\eNsuremaTH{\mATHcaL H}}\TiMes {\EnSUrEmath{\MatHcal H}}$. $A$ iS said to be a MaxImAlly monotone LInEar relatioN if $a$ is both maximAllY monotOnE anD A lineAr rElatiOn. The mAPping $T: {\EnsurematH{\mAThcal H}}\TO {\ensureMATh{\MathCal H}}$ is said to be *firMLy NOnexpansive* if $$(\fOrall x\In {\ENsUREmaTh{\mAthcal H}})(\forAlL y\in {\eNSurematH{\MaTHCAl H}}) \QUad \|Tx-Ty\|^2 + \|({\ensureMath{\operatoRNamE{Id}}}-T)x-({\eNsUreMAth{\opeRatorNaME{Id}}}-t)y\|^2 \leq \|x-y\|^2.$$ ObviOuslY, if $T$ is firMly nonEXpansivE, Then it iS *nonexPanSivE*, thaT Is, [liPscHiTZ coNTiNuoUS]{} wiTh constaNt $1$, WhEre a LIpscHITZ ContInuOus mAppinG with constant $l$ is A mapPIng $t:{\ensuRematH{\matHcAl H}}\to{\EnsureMath{\mAtHcal H}}$ such that $$(\foRall X\in {\ensureMatH{\mAthCaL H}})(\forALl y\in {\eNsuRemAth{\mathCal H}}) \quaD \|tx-TY\|\lEQ l\|X-y\|.$$ the mapping $T$ is said tO bE A *baNach contRactioN* If It IS LipschiTz ConTinuOUS with ConsTAnT $L<1$. The poiNt $x\in{\eNSuReMath{\matHcAl H}}$ is sAiD to Be a Fixed POint Of the mApping $T:{\eNsureMAth{\mathcal H}}\to{\eNSuremath{\mathcAL H}}$ IF $tx=X$. the sEt oF all fixed poInts OF $T$ is DenoTEd By ${\eNSuremAth{\opErAToRName{Fix}}}T$. The function $F:{\eNsuremAth{\maThcal H}}\to{\ensurEmath{\,\left]-\iNFTY,+\infty\riGht]}}$ iS SaID to be *proper* if ${\eNsureMath{\operatORname{dom}}}F=\{x\in{\eNsurematH{\mathcal H}}{\ENSuremath{\;|\;}}F(x)<\iNftY\}\neQ\vaRNOtHing$. The *FencheL COnjuGaTe* of the FunCtion $f$ iS thE fuNctIon $F^*$ wHich is defIned by $f^*(u)=\SuP_{x\In{\EnSurEmath{\MAthcal H}}}({\lAnGle{{U},{x}}\RanGle}-f(x))$. tHe subdIfferEntiAl Of A ProPer funcTIoN $
 of $A$ is the mapping $J_ A=(A+{\ens urema th{ \op er ator name {Id}}})^{-1}$. We s ay that $A$ is a linea r rel at i on i f  $ {\ens uremath { \o p e rat or na me{ gr a }} }A$ i s a  linear  subspaceof${ \ensuremath{ \ ma thcal H}}\ tim es {\ensurem ath {\math ca l H } }$. $ A$is sa id tob e a ma ximally m on o tone l i near re l a ti on i f $A$ is both max i ma l ly monotone an d a li ne a rr e lat ion . The mapp in g $T: {\ensur e ma t h { \ma t hcal H}}\to { \ensuremath { \ma thcalH} }$i s said  to b e* fir mly nonexpa nsiv e* if $$( \foral l  x\in { \ ensurem ath{\m ath cal  H}} ) (\ fo ral ly \in {\ ens u rem ath{\mat hc al  H}})  \qu a d \ |Tx- Ty\ |^2+ \|( {\ensuremath{ \op erat o rna me{Id }}}-T )x-( {\ ensur emath{ \oper at orname{Id}}}-T) y\|^ 2 \leq \| x-y \| ^2. $$  Obvi o usly,if$T$  is fir mly non e xpa ns i v e ,then it is *nonexp an s i ve *, thatis, [L i ps ch i tz conti nu ous ]{}w i th co nsta n t$1$, whe re a L i ps ch itz con ti nuousma ppi ngwithc onst ant $L $ is a m appin g  $T:{\ensurema t h{\mathcal H} } \t o { \e n sure mat h{\mathcalH}}$ such  tha t  $ $(\ f orall  x\in  { \ en s uremath{\mathcal H} }) (\fora ll y\ in {\ensurema th{\mathca l H }}) \qua d \| T x- T y\|\leq L\|x-y \|.$$  The mappi n g $T$ is  said  to be a  *Banachc o ntractio n*ifitisL i ps chitz continu o u s wi th  consta nt$L<1$.The  po int  $x \i n{\ensure math{\ma th ca lH} }$is sa i d to beafix ed  po int o f  the m appin g $T :{ \e n sur emath{\ m at h c al H }} \t o{\e nsu re math{ \mat h cal  H}}$ i f $Tx=x$.  Th e  set  o fall fix ed points of$T $ is denot ed  by  ${\en s u remath{\ operatorname{Fix}}}T$.T he func tio n $f: {\en suremath{ \ma thcalH}} \ to{\en surema th{\, \l eft ] - \inft y , +\ inf ty \right]}}$ i s s aid t obe * proper*  if ${\ensuremath{ \ ope ratorname{dom }}} f=\{ x \ in {\e n su r ema th { \ma t h cal H}}{\ensure math{\;|\; }} f (x )<\infty\} \ neq \v arnothi ng$. Th e *Fe n chel co njugate*of the fu nc tion $ f$is the fun ction $f ^*$ which is de f in ed by  $f ^*(u)= \s up_ {x\in {\ensu r ema th{\m athcal  H }}}({\ langl e{ {u},{x}} \rangle}-f(x))$. The su bdiffe renti alof a prop erf unc tion $
 of_$A$ is_the mapping $J_A=(A+{\ensuremath{\operatorname{Id}}})^{-1}$. We_say that_$A$_is a_linear_relation if ${\ensuremath{\operatorname{gra}}}A$_is a linear_subspace of ${\ensuremath{\mathcal H}}\times_{\ensuremath{\mathcal H}}$. $A$_is_said to be a maximally monotone linear relation if $A$ is both maximally monotone_and_a linear_relation._The_mapping $T: {\ensuremath{\mathcal H}}\to {\ensuremath{\mathcal_H}}$ is said to be_*firmly nonexpansive*_if $$(\forall x\in {\ensuremath{\mathcal H}})(\forall y\in {\ensuremath{\mathcal H}})_\quad_\|Tx-Ty\|^2 + \|({\ensuremath{\operatorname{Id}}}-T)x-({\ensuremath{\operatorname{Id}}}-T)y\|^2_\leq \|x-y\|^2.$$ Obviously, if $T$ is firmly nonexpansive, then_it is *nonexpansive*, that is, [Lipschitz_continuous]{} with constant_$1$,_where_a Lipschitz continuous mapping_with constant $L$ is a mapping_$T:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ such that $$(\forall_x\in {\ensuremath{\mathcal H}})(\forall y\in {\ensuremath{\mathcal H}}) \quad_\|Tx-Ty\|\leq L\|x-y\|.$$ The mapping $T$ is_said to be a *Banach_contraction* if_it is Lipschitz continuous with_constant $L<1$. The_point $x\in{\ensuremath{\mathcal_H}}$ is said_to be a fixed point of_the mapping $T:{\ensuremath{\mathcal_H}}\to{\ensuremath{\mathcal H}}$ if $Tx=x$. The set_of_all fixed points_of_$T$_is denoted_by ${\ensuremath{\operatorname{Fix}}}T$. The_function_$f:{\ensuremath{\mathcal H}}\to{\ensuremath{\,\left]-\infty,+\infty\right]}}$_is_said to be *proper* if ${\ensuremath{\operatorname{dom}}}f=\{x\in{\ensuremath{\mathcal_H}}{\ensuremath{\;|\;}}f(x)<\infty\}\neq\varnothing$._The *Fenchel conjugate* of the function $f$_is the function $f^*$_which_is defined by $f^*(u)=\sup_{x\in{\ensuremath{\mathcal_H}}}({\langle{{u},{x}}\rangle}-f(x))$. The subdifferential of a_proper function $