, lower semicontinuous, convex and set $A_i=\partial f_i$. By combining Definition \[resolvent average def\] together with equation  we see that $$\label{sub of proximal average}
\partial
p_\mu(\bold{f},\boldsymbol{\lambda})=\mathcal{R}_\mu(\boldsymbol{\partial}\bold{f},\boldsymbol{\lambda}).$$

We end this introductory section with the following collection of facts which we will employ in the remaining sections of the paper.

The next fact from [@RockWets] was originally presented in the setting of finite-dimensional spaces, however, along with its proof from [@RockWets], it holds in any Hilbert space.

*[@RockWets Lemma 12.14]* For any mapping $A:{\ensuremath{\mathcal H}}\rightrightarrows{\ensuremath{\mathcal H}}$, $$\label{must1}
J_A = {\ensuremath{\operatorname{Id}}}- J_{A^{-1}}.$$

*[@RockWets Proposition 6.17]* \[NCresolvent\] Let $C$ be a nonempty, closed and convex subset of ${\ensuremath{\mathcal H}}$. Then $$J_{N_C} = ({\ensuremath{\operatorname{Id}}}+ N_C)^{-1} = P_C.$$

*[@BC2011 Proposition 4.2]* \[f:firm\] Let $T\colon {\ensuremath{\mathcal H}}\to {\ensuremath{\mathcal H}}$. Then the following are equivalent:

1.  $T$ is firmly nonexpansive.

2.  ${\ensuremath{\operatorname{Id}}}-T$ is firmly nonexpansive.

3.  \[f:firm-nonexp\]$2T-{\ensuremath{\operatorname{Id}}}$ is nonexpansive.

4.  \[f:firm-inequal\]$(\forall x\in {\ensuremath{\mathcal H}})(\forall y\in {\ensuremath{\mathcal H}})$ $\|Tx-Ty\|^2 \leq {\langle{{x-y},{Tx-Ty}}\rangle}$.

\[average of firmly\] Suppose that for each $i\in I$, $T_i:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ is firmly nonexpansive. Then $T=\sum_{i\in I}\lambda_i T_i$ is firmly nonexpansive.

Employing Fact \[f:firm\], for
, lower semicontinuous, convex and set $ A_i=\partial f_i$. By combining Definition   \[resolvent average def\ ] together with equality    we examine that $ $ \label{sub of proximal average } 
 \partial 
 p_\mu(\bold{f},\boldsymbol{\lambda})=\mathcal{R}_\mu(\boldsymbol{\partial}\bold{f},\boldsymbol{\lambda}).$$ 

 We end this introductory incision with the postdate collection of facts which we will hire in the persist sections of the composition. 

 The next fact from   [ @RockWets ] was originally present in the setting of finite - dimensional spaces, however, along with its validation from [ @RockWets ], it holds in any Hilbert space. 

 * [ @RockWets Lemma 12.14 ] * For any mapping $ A:{\ensuremath{\mathcal H}}\rightrightarrows{\ensuremath{\mathcal H}}$, $ $ \label{must1 } 
 J_A = { \ensuremath{\operatorname{Id}}}- J_{A^{-1}}.$$ 

 * [ @RockWets Proposition 6.17 ] * \[NCresolvent\ ] Let $ C$ be a nonempty, closed and convex subset of $ { \ensuremath{\mathcal H}}$. Then $ $ J_{N_C } = ({ \ensuremath{\operatorname{Id}}}+ N_C)^{-1 } = P_C.$$ 

 * [ @BC2011 Proposition 4.2 ] * \[f: firm\ ] Let $ T\colon { \ensuremath{\mathcal H}}\to { \ensuremath{\mathcal H}}$. Then the following are equivalent: 

 1.   $ T$ is firm nonexpansive. 

 2.   $ { \ensuremath{\operatorname{Id}}}-T$ is firmly nonexpansive. 

 3.   \[f: firm - nonexp\]$2T-{\ensuremath{\operatorname{Id}}}$ is nonexpansive. 

 4.   \[f: firm - inequal\]$(\forall x\in { \ensuremath{\mathcal H}})(\forall y\in { \ensuremath{\mathcal H}})$ $ \|Tx - Ty\|^2 \leq { \langle{{x - y},{Tx - Ty}}\rangle}$. 

 \[average of firmly\ ] Suppose that for each $ i\in I$, $ T_i:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ is firmly nonexpansive. Then $ T=\sum_{i\in I}\lambda_i T_i$ is hard nonexpansive. 

 Employing Fact   \[f: firm\ ], for
, loaer semicontinuous, convew and set $A_i=\partnql f_i$. Uy combjning Dewinition \[resolvent average deh\] totethee with equation  we see that $$\labvl{sub of proxmmal average}
\partmzl
p_\mu(\bold{f},\bolsdymbmo{\lambda})=\mathcal{T}_\mu(\boldsymbon{\partial}\bold{f},\bmlasvmbol{\lambda}).$$

We end this introductory fection wlth the followyng bojlecfpok of facts which we will employ jn the gemaining sectionx of the paper.

The next fach frlm [@RockWets] was orihinally prewentqe in the setging of finite-dimensiohal spaces, however, along with igs prpof from [@RicjWehv], it holds mn any Hilbert spagv.

*[@RockWeds Lemms 12.14]* For any mapiing $E:{\ensyremath{\mathcal H}}\rightcightarrows{\ensurematr{\mathcal V}}$, $$\mabel{must1}
J_A = {\ensueenath{\okeratmrnaow{Id}}}- J_{A^{-1}}.$$

*[@DorkWsts Prlpoaition 6.17]* \[NCdesolvent\] Lwt $C$ be a nonempty, vljwed and conves subsqt of ${\ensuremath{\mathcal H}}$. Then $$J_{N_C} = ({\ensurtmath{\kperatorname{Id}}}+ N_C)^{-1} = P_C.$$

*[@BC2011 Proposition 4.2]* \[f:firm\] Lgt $T\colon {\qnsuremath{\mathcal H}}\to {\ensuremath{\mathcal H}}$. Then tha folmuwiun xee equivalent:

1.  $T$ is firmly nonexpansive.

2.  ${\ensureiztn{\oieratorname{Id}}}-T$ is firmly nonrxoamfive.

3.  \[f:firm-novexp\]$2T-{\euaudemath{\operatorname{Ld}}}$ is njnexpqnsive.

4.  \[f:sirm-onequal\]$(\forall x\in {\ensurematy{\mathcal H}})(\fogall y\in {\ensuremath{\matkcal H}})$ $\|Tx-Ty\|^2 \ueq {\kanglr{{x-y},{Tx-Ty}}\rangle}$.

\[average of firjly\] Suppose that for dach $i\in I$, $T_i:{\ensjrekadh{\mathcal H}}\to{\ensuremath{\matrcal H}}$ is firkly nondxpamsive. Ehen $T=\sum_{i\ln I}\lambda_i T_i$ is firmly nonerpanshve.

Employijg Fact \[f:firm\], for
, lower semicontinuous, convex and set $A_i=\partial combining \[resolvent average together with equation proximal \partial p_\mu(\bold{f},\boldsymbol{\lambda})=\mathcal{R}_\mu(\boldsymbol{\partial}\bold{f},\boldsymbol{\lambda}).$$ We this introductory section the following collection of facts which will employ in the remaining sections of the paper. The next fact from was originally presented in the setting of finite-dimensional spaces, however, along with its from it in Hilbert space. *[@RockWets Lemma 12.14]* For any mapping $A:{\ensuremath{\mathcal H}}\rightrightarrows{\ensuremath{\mathcal H}}$, $$\label{must1} J_A = {\ensuremath{\operatorname{Id}}}- J_{A^{-1}}.$$ Proposition 6.17]* \[NCresolvent\] Let $C$ be a nonempty, and convex subset of H}}$. Then $$J_{N_C} = ({\ensuremath{\operatorname{Id}}}+ = *[@BC2011 Proposition \[f:firm\] $T\colon H}}\to {\ensuremath{\mathcal H}}$. the following are equivalent: 1. $T$ is firmly nonexpansive. 2. ${\ensuremath{\operatorname{Id}}}-T$ is firmly nonexpansive. 3. \[f:firm-nonexp\]$2T-{\ensuremath{\operatorname{Id}}}$ is 4. \[f:firm-inequal\]$(\forall H}})(\forall y\in H}})$ \leq \[average of firmly\] for each $i\in I$, $T_i:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal nonexpansive. Then $T=\sum_{i\in I}\lambda_i T_i$ is firmly nonexpansive. Fact \[f:firm\],
, lower semicontinuous, convex And set $A_i=\paRtial F_i$. BY coMbIninG DefInition \[resolveNT aveRage def\] together with equAtion  We SEe thAT $$\lAbel{sUb of proXImAL AveRaGe}
\ParTiAL
p_\Mu(\bolD{f},\bOldsymbOl{\lambda})=\maThcAl{r}_\mu(\boldsymboL{\PaRtial}\bold{f},\BolDsymbol{\lambdA}).$$

We End thiS iNtrODuctoRy sEctioN with tHE folloWing colleCtIOn of faCTs which WE WiLl emPloy in the remaininG SeCTions of the papeR.

The neXt FAcT FRom [@rocKWets] was orIgInallY PresentED iN THE seTTing of finite-dImensional sPAceS, howevEr, AloNG with iTs proOf FRom [@rockWets], it hOlds In any HilbErt spaCE.

*[@RockWeTS Lemma 12.14]* FOr any mAppIng $a:{\ensUReMaTh{\mAtHCal h}}\RiGhtRIghTarrows{\eNsUrEmath{\MathCAL h}}$, $$\LabeL{muSt1}
J_A = {\EnsurEmath{\operatorNamE{Id}}}- J_{a^{-1}}.$$

*[@rocKWets propoSitiOn 6.17]* \[nCresOlvent\] let $C$ bE a Nonempty, closed aNd coNvex subseT of ${\EnSurEmAth{\maTHcal H}}$. THen $$j_{N_C} = ({\EnsuremAth{\operATorNaME{iD}}}+ N_c)^{-1} = P_C.$$

*[@BC2011 Proposition 4.2]* \[f:fIrM\] lEt $t\colon {\enSuremaTH{\mAtHCal H}}\to {\enSuRemAth{\mATHcal H}}$. then THe FollowinG are eqUIvAlEnt:

1.  $T$ is fIrMly nonExPanSivE.

2.  ${\ensuREmatH{\operaTorname{ID}}}-T$ is fIRmly nonexpansiVE.

3.  \[f:firm-nonexp\]$2T-{\ENsUREmATh{\opEraTorname{Id}}}$ is NoneXPansIve.

4.  \[f:FIrM-inEQual\]$(\fOrall X\iN {\EnSUremath{\mathcal H}})(\foraLl Y\in {\ensUremaTh{\mathcal H}})$ $\|Tx-TY\|^2 \leq {\langle{{X-Y},{tX-Ty}}\ranglE}$.

\[aveRAgE Of firmly\] SupposE that For each $i\in i$, $t_i:{\ensureMath{\mAthcal H}}\tO{\ensuremaTH{\Mathcal H}}$ Is fIrmLy nOneXPAnSive. Then $T=\sum_{i\IN i}\lamBdA_i T_i$ is fIrmLy nonexPanSivE.

EmPloYiNg Fact \[f:fiRm\], for
, lower semicontinuous, co nvex and s et $A _i= \pa rt ialf_i$ . By combining Defi nition \[resolvent ave ragede f \] t o ge therwith eq u at i o n we  s eeth a t$$\la bel {sub of  proximalave ra ge}
\partial p_ \mu(\bold{ f}, \boldsymbol{ \la mbda}) =\ mat h cal{R }_\ mu(\b oldsym b ol{\pa rtial}\bo ld { f},\bo l dsymbol { \ la mbda }).$$

We end thi s  i n troductory sec tion w it h  t h e  fo llo wing colle ct ion o f  factsw hi c h wew ill employ in  the remain i ngsectio ns  of the pa per.
T h e n ext fact fr om [ @RockWets ] waso riginal l y prese nted i n t hesett i ng  o f f in i te- d im ens i ona l spaces ,ho wever , al o n g with  it s pr oof f rom [@RockWet s],  ith old s inany H ilbe rt  spac e.

*[ @Rock We ts Lemma 12.14] * Fo r any map pin g$A: {\ ensur e math{\ mat hca l H}}\r ightrig h tar ro w s { \e nsuremath{\mathcal  H } } $,  $$\labe l{must 1 }J_ A  = {\ens ur ema th{\ o p erato rnam e {I d}}}- J_ {A^{-1 } }. $$ 

*[@Ro ck Wets P ro pos iti on 6. 1 7]*\[NCre solvent\ ] Let $C$ be a nonem p ty, closed an d  c o n ve x  sub set  of ${\ensu rema t h{\m athc a lH}} $ . The n $$J _{ N _C }  = ({\ensuremath{\o pe ratorn ame{I d}}}+ N_C)^{- 1} = P_C.$ $ *[@BC201 1 Pr o po s ition 4.2]* \[ f:fir m\] Let $T \ colon {\ ensur emath{\m athcal H} } \ to {\ens ure mat h{\ mat h c al  H}}$. Then t h e  fol lo wing ar e e quivale nt: 

1 . $T$  i s firmlynonexpan si ve .
2 . ${\en s uremath{ \o per at orn ame{I d }}}-T$  is f irml yno n exp ansive. 
3 .  \[f :f ir m-no nex p\ ]$2T- {\en s ure math{\o peratorna me{ I d}}} $is  nonexp ansive.

4. \[ f:firm-ine qu al\ ]$(\fo r a ll x\in{\ensuremath{\mathcal H } })(\for all  y\in  {\e nsuremath {\m athcal  H} } )$ $\| Tx-Ty\ |^2 \ le q { \ l angle { { x- y}, {T x-Ty}}\ran g l e}$ .

\[ av erag e of fi rmly\] Suppose tha t  fo r each $i\inI$,  $T_ i : {\ ens u re m ath {\ m ath c a l H}}\to{\ensur emath{\mat hc a lH}}$ is fi r mly  n onexpan sive. T hen $ T =\sum_{ i\in I}\l ambda_i T _i $ is f irm ly nonexpa nsive.
Employing Fact\ [f :firm \],  for
, lower_semicontinuous, convex_and set $A_i=\partial f_i$._By combining_Definition \[resolvent_average def\]_together_with equation  we_see that $$\label{sub_of proximal average}
\partial
p_\mu(\bold{f},\boldsymbol{\lambda})=\mathcal{R}_\mu(\boldsymbol{\partial}\bold{f},\boldsymbol{\lambda}).$$

We end_this introductory section_with_the following collection of facts which we will employ in the remaining sections of_the_paper.

The next_fact_from [@RockWets]_was originally presented in the_setting of finite-dimensional spaces, however,_along with_its proof from [@RockWets], it holds in any_Hilbert_space.

*[@RockWets Lemma 12.14]*_For any mapping $A:{\ensuremath{\mathcal H}}\rightrightarrows{\ensuremath{\mathcal H}}$, $$\label{must1}
J_A = {\ensuremath{\operatorname{Id}}}-_J_{A^{-1}}.$$

*[@RockWets Proposition 6.17]* \[NCresolvent\] Let $C$_be a nonempty,_closed_and_convex subset of ${\ensuremath{\mathcal_H}}$. Then $$J_{N_C} = ({\ensuremath{\operatorname{Id}}}+ N_C)^{-1}_= P_C.$$

*[@BC2011 Proposition 4.2]* \[f:firm\] Let_$T\colon {\ensuremath{\mathcal H}}\to {\ensuremath{\mathcal H}}$. Then the_following are equivalent:

1.  $T$ is_firmly nonexpansive.

2.  ${\ensuremath{\operatorname{Id}}}-T$ is_firmly nonexpansive.

3._ \[f:firm-nonexp\]$2T-{\ensuremath{\operatorname{Id}}}$ is nonexpansive.

4. _\[f:firm-inequal\]$(\forall x\in {\ensuremath{\mathcal_H}})(\forall y\in_{\ensuremath{\mathcal H}})$ $\|Tx-Ty\|^2_\leq {\langle{{x-y},{Tx-Ty}}\rangle}$.

\[average of firmly\] Suppose that_for each $i\in_I$, $T_i:{\ensuremath{\mathcal H}}\to{\ensuremath{\mathcal H}}$ is firmly_nonexpansive._Then $T=\sum_{i\in I}\lambda_i_T_i$_is_firmly nonexpansive.

Employing_Fact \[f:firm\], for