---
abstract: 'In this work, we construct a proximal average for two prox-bounded functions, which recovers the classical proximal average for two convex functions. The new proximal average transforms continuously in epi-topology from one proximal hull to the other. When one of the functions is differentiable, the new proximal average is differentiable. We give characterizations for Lipschitz and single-valued proximal mappings and we show that the convex combination of convexified proximal mappings is always a proximal mapping. Subdifferentiability and behaviors of infimal values and minimizers are also studied.'
author:
- 'J. Chen[^1], X. Wang[^2], and C. Planiden[^3]'
bibliography:
- 'Bibliography.bib'
title: 'A proximal average for prox-bounded functions'
---

<span>**2000 Mathematics Subject Classification:**</span>\
Primary 49J53; Secondary 26A51, 47H05, 26E60, 90C30.

<span>**Keywords:**</span> Almost differentiable function, arithmetic average, convex hull, epi-average, epi-convergence, Moreau envelope, Lasry–Lions envelope, prox-bounded function, proximal average, proximal hull, proximal mapping, resolvent, subdifferential operator.

Introduction
============

The proximal average provides a novel technique for averaging convex functions, see @convmono [@proxbas]. The proximal average has been used widely in applications such as machine learning @reidwill [@Yu13a], optimization @resaverage [@wolenski; @boyd14; @planwang2016; @zaslav], matrix analysis @kimlaws [@lim18] and modern monotone operator theory @simons. The proximal mapping of the proximal average is precisely the average of proximal mappings of the convex functions involved. Averages of proximal mappings are important in convex and nonconvex optimization algorithms; see, e.g., @convmono [@aveproj]. A proximal average for possible nonconvex functions has long been sought.

In this work, we have proposed a proximal average for prox-bounded functions, which enjoy rich theory in variational analysis and optimization. Our proximal average significantly extends the works of @proxbas from convex functions to possibly nonconvex functions. The new average function provides an epicontinuous transformation between proximal hulls of functions, and reverts to the convex proximal average definition in the case of convex functions. When studying the proximal average of possibly nonconvex functions, two fundamental issues arise. The first is when the proximal mapping is convex-valued; the second is when the function can be recovered from its proximal mapping. It turns out that resolving both difficulties requires the 'proximal' condition in variational analysis.

Outline
-------

The plan of the paper is as follows. In the following three subsections, we give basic concepts from variational analysis, review related work in the literature and state the blanket assumptions of the paper. In Section \[s:prel\], we prove some interesting and new properties of proximal functions, proximal mappings and envelopes. Section \[s:conv\] gives an explicit relationship between the convexified proximal mapping and the Clarke subdifferential of the Moreau envelope. Section \[s:char\] provides characterizations of Lipschitz and single-valued proximal mappings. In Section \[s:main\], we define the proximal average for prox-bounded functions and give a systematic study of its properties. Relationships to arithmetic average and epi-average and full epi-continuity of the proximal average are studied in Section \[s:rela\]. Section \[s:opti\] is devoted to optimal value and minimizers and convergence in minimization of the proximal average. In Section \[s:subd\], we investigate the subdifferentiability and differentiability of the proximal average. As an example, the proximal average for quadratic functions is given in Section \[s:quad\]. Finally, Section \[s:theg\] illustrates the difficulty when the proximal mapping is not convex-valued.

Two distinguished features of our proximal average deserve to be singled out: whenever one of the function is differentiable, the new proximal average is differentiable and the convex combinations of convexified proximal mappings is always a proximal mapping. While epi-convergence @attouch1984 [@beertopologies] plays a dominant role in our analysis of convergence in minimization, the class of proximal functions, which is significantly broader than the class of convex functions, is indispensable for studying the proximal average. In carrying out the proofs later, we often cite results from the standard reference Rockafellar–Wets @rockwets.

Constructs from variational analysis
------------------------------------

In order to define the proximal average of possibly nonconvex functions, we utilize the Moreau envelope and proximal hull. In what follows, ${\operatorname{\mathbb{R}}}^n$ is the $n$-dimensional Euclidean space with Euclidean norm $\|x\|=\sqrt{{\langle{{x},{x}}\rangle}}$ and inner product ${\langle{{x},{y}}\rangle}=\sum_{i=1}^{n}x_{i}y_{i}$ for $x,y\in{\operatorname{\mathbb{R}}}^n$.

For a proper function $f:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ and parameters $0<\mu<\lambda$, the <span>Moreau envelope</span> function $e_{\lambda}f$ and <span>proximal mapping</span> are defined, respectively, by $$e_{\lambda}f(x)=\inf_{w}\left\{f(w)+\frac{1}{2\lambda}\|w-x\|^2\right\},
\quad {\operatorname{Prox}}_{\lambda}f(x)={\operatornamewithlimits{argmin}}_{w}\left\{f(w)+\frac{1}{2\lambda}\|w-x\|^2\right\};$$ the <span>proximal hull</span> function $h_{\lambda}f$ is defined by $$h_{\lambda}f(x)=\inf_{w}\left\{e_{\lambda}f(w)-\frac{1}{2\lambda}\|x-w\|^2\right\};$$ the <span>Lasry–Lions envelope</span> $e_{\lambda,\mu}f$ is defined by $$e_{\lambda,\mu}f(x)=\sup_{w}\left\{e_{\lambda}f(w)-\frac{1}{2\mu}\|x-w\|^2\right\}.$$

The function $f:{\operatorname{\mathbb{R}}}^n\rightarrow {\ensuremath{\,\left]-\infty,+\infty\right]}}$ is prox-bounded if there exist $\lambda>0$ and $x\in {\operatorname{\mathbb{R}}}^n$ such that $e_{\lambda}f(x)>-\infty.$ The supremum of the set of all such $\lambda$ is the threshold $\lambda_{f}$ of prox-boundedness for $f$.

Any function $f:{\operatorname{\mathbb{R}}}^{n}\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ that is bounded below by an affine function has threshold of prox-boundedness $\lambda_{f}=\infty$; cf. @rockwets [Example 3.28]. A differentiable function $f$ with a Lipschitz continuous gradient has $\lambda_{f}>0$.

Our notation is standard. For every nonempty set $S\subset{\operatorname{\mathbb{R}}}^n$, ${\operatornamewithlimits{conv}}S$, ${\operatorname{cl}}S$ and $\iota_{S}$ denote the *convex hull*, *closure* and *indicator function* of set $S$, respectively. For a proper, lower semicontinuous (lsc) function $f:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$, ${\operatornamewithlimits{conv}}f$ is its convex hull and $f^*$ is its *Fenchel conjugate*. We let $\inf f$ and ${\operatornamewithlimits{argmin}}f$ denote the infimum and the set of minimizers of $f$ on ${\operatorname{\mathbb{R}}}^n$, respectively. We call $f$ *level-coercive* if $$\liminf_{\|x\|\rightarrow\infty}\frac{f(x)}{\|x\|}>0,$$ and *coercive* if $$\liminf_{\|x\|\rightarrow\infty}\frac{f(x)}{\|x\|}=\infty.$$ We use $\partial f$, $\hat{\partial }f, \partial_{L}f, \partial_{C}f$ for the Fenchel subdifferential, Fréchet subdifferential, limiting subdifferential and Clarke subdifferential of $f$, respectively. More precisely, at a point $x\in{\operatorname{dom}}f$, the *Fenchel subdifferential* of $f$ at $x$ is the set $$\partial f(x)=\{s\in{\operatorname{\mathbb{R}}}^n:\ f(y) \geq f(x)+{\langle{{s},{y-x}}\rangle} \text{ for all $y\in{\operatorname{\mathbb{R}}}^n$}\};$$ the *Fréchet subdifferential* of $f$ at $x$ is the set $$\hat{\partial} f(x)=\{s\in{\operatorname{\mathbb{R}}}^n:\ f(y) \geq f(x)+{\langle{{s},{y-x}}\rangle}+o(\|y-x\|)\};$$ the *limiting subdifferential* of $f$ at $x$ is $$\partial_{L}f(x)=\{v\in{\operatorname{\mathbb{R}}}^n:\ \exists \text{ sequences } x_{k} {\stackrel{\operatorname{f}}{\rightarrow}}x \text{ and }
s_{k}\in\hat{\partial}f(x_{k}) \text{ with } s_{k}\rightarrow v\},$$ where $x_{k} {\stackrel{\operatorname{f}}{\rightarrow}}x$ means $x_{k}\rightarrow x$ and $f(x_{k})\rightarrow f(x)$. We let ${\operatorname{Id}}:{\operatorname{\mathbb{R}}}^n\rightarrow{\operatorname{\mathbb{R}}}: x\mapsto x$ be the identity mapping and ${\ensuremath{\,\mathfrak{q}}}=\frac{1}{2}\|\cdot\|^2$. The mapping $J_{\mu\partial_{L}f}=({\operatorname{Id}}+\mu\partial_{L}f)^{-1}$ is called the *resolvent* of $\mu\partial_{L}f$; cf. @rockwets [page 539]. When $f$ is locally Lipschitz at $x$, the *Clarke subdifferential* $\partial_{C}f$ at $x$ is $\partial_{C} f(x)=
{\operatornamewithlimits{conv}}\partial_{L}f(x)$. For further details on subdifferentials, see @optanal [@mordukhovich2006variational; @rockwets]. For $f_{1},f_{2}:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$, the *infimal convolution* (or epi-sum) of $f_{1}, f_{2}$ is defined by $$(\forall x\in{\operatorname{\mathbb{R}}}^n)\ f_{1}\Box f_{2}(x)=\inf_{w}\{f_{1}(x-w)+f_{2}(w)\},$$ and it is exact at $x$ if $\exists~w\in{\operatorname{\mathbb{R}}}^n$ such that $f_{1}\Box f_{2}(x)=f_{1}(x-w)+f_{2}(w)$; $f_{1}\Box f_{2}$ is exact if it is exact at every point of its domain.

Related work
------------

A comparison to known work in the literature is in order. In @zhang2 [@zhang1], Zhang et. al. defined a lower compensated convex transform for $0<\mu<+\infty$ by $$C_{\mu}^{l}(f)={\operatornamewithlimits{conv}}(2\mu{\ensuremath{\,\mathfrak{q}}}+f)-2\mu{\ensuremath{\,\mathfrak{q}}}.$$ The lower compensated convex transform is the proximal hull. In @zhang2, Zhang, Crooks and Orlando gave a comprehensive study on the average compensated convex approximation, which is an arithmetic average of the proximal hull and the upper proximal hull. While the proximal hull is a common ingredient, our work and theirs are completely different. By nature, the proximal mapping of the proximal average for convex functions is exactly the convex combination of proximal mappings of individual convex functions @proxbas. In @proxave, Hare proposed a proximal average by $${\operatorname{\mathcal{PA}}}_{1/\mu}=-e_{1/(\mu+\alpha(1-\alpha))}(-\alpha e_{1/\mu}f-(1-\alpha)e_{1/\mu}g).$$ For this average, $x\mapsto{\operatorname{\mathcal{PA}}}_{1/\mu}(x)$ is $\mathcal{C}^{1+}$ for every $\alpha\in]0,1[$, and enjoys other nice stabilities with respect to $\alpha$, see, e.g., @proxave [Theorem 4.6]. However, this average definition has two disadvantages.\
(i) Even when both $f,g$ are convex, it does not recover the proximal average for convex functions: $$-e_{1/\mu}(-\alpha e_{1/\mu}f-
(1-\alpha)e_{1/\mu}g).$$ (ii) Neither the proximal mapping ${\operatorname{Prox}}_{1/(\mu+\alpha(1-\alpha))}{\operatorname{\mathcal{PA}}}_{1/\mu}$ nor ${\operatorname{Prox}}_{1/\mu}{\operatorname{\mathcal{PA}}}_{1/\mu}$ is the average of the proximal mappings ${\operatorname{Prox}}_{1/\mu}f$ and ${\operatorname{Prox}}_{1/\mu}g$.

In @goebel2010proximal, Goebel introduced a proximal average for saddle functions by using extremal convolutions: $$\mathcal{P}_{\mu,\eta}^{\cup\cap}
=\big(\lambda_{1}{{{\,\text{\ding{75}}}}}(f_{1}+\mu{{{\,\text{\ding{75}}}}}{\ensuremath{\,\mathfrak{q}}}_{x}-\eta{{{\,\text{\ding{75}}}}}{\ensuremath{\,\mathfrak{q}}}_{y})\big){{{\,\text{\ding{57}}\,}}}\big(\lambda_{2}{{{\,\text{\ding{75}}}}}(f_{2}
+\mu{{{\,\text{\ding{75}}}}}{\ensuremath{\,\mathfrak{q}}}_{x}-\eta{{{\,\text{\ding{75}}}}}{\ensuremath{\,\mathfrak{q}}}_{y})\big)-
\mu{{{\,\text{\ding{75}}}}}{\ensuremath{\,\mathfrak{q}}}_{x}+\eta{{{\,\text{\ding{75}}}}}{\ensuremath{\,\mathfrak{q}}}_{y},$$ in which $f_{1}, f_{2}: {\operatorname{\mathbb{R}}}^m\times {\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left[-\infty,+\infty\right]}}$ are saddle functions, ${\ensuremath{\,\mathfrak{q}}}_{x}(x,y)={\ensuremath{\,\mathfrak{q}}}(x), {\ensuremath{\,\mathfrak{q}}}_{y}(x,y)
={\ensuremath{\,\mathfrak{q}}}(y)$, $\mu, \eta>0$, $\lambda_{1}+\lambda_{2}=1$ with $\lambda_{i}>0$, and ${{{\,\text{\ding{57}}\,}}}$ is the extremal convolution. Some nice results about self-duality with respect to saddle function conjugacy and partial conjugacy are put forth and proved by Goebel @goebel2010proximal. Goebel's average is the proximal average for convex functions when each $f_{i}$ is convex. However, the proximal mapping of ${\operatorname{Prox}}_{\lambda}\mathcal{P}_{\mu,\eta}^{\cup\cap}$ is not the convex combination of ${\operatorname{Prox}}_{\lambda}f_1$ and ${\operatorname{Prox}}_{\lambda} f_2$.

Blanket assumptions {#s:assump}
-------------------

Throughout the paper, the functions $f,g:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ are proper, lsc and prox-bounded with thresholds $\lambda_{f}, \lambda_{g}>0$ respectively, ${\operatorname{\bar{\lambda}}}=\min\{\lambda_{f},\lambda_{g}\}$, $\lambda>0$, $\mu>0$ and $\alpha\in [0,1]$.

Preliminaries {#s:prel}
=============

In this section, we collect several facts and present some auxiliary results on proximal mappings of proximal functions, Moreau envelopes and proximal hulls, which will be used in the sequel.

Relationship among three regularizations: $e_{\lambda}f$, $h_{\lambda}f$, and $e_{\lambda,\mu}f$
------------------------------------------------------------------------------------------------

Some key properties about these regularizations come as follows.

*(@rockwets [Example 11.26])*\[l:dcform\] Let $0<\lambda<\lambda_{f}$.

1.  \[i:mor:l\] The Moreau envelope $$e_{\lambda}f=
    -\left(f+\frac{1}{2\lambda}\|\cdot\|^2\right)^*\bigg(\frac{\cdot}{\lambda}\bigg)+
    \frac{1}{2\lambda}\|\cdot\|^2$$ is locally Lipschitz.

2.  The proximal hull satisfies $$h_{\lambda}f+\frac{1}{2\lambda}\|\cdot\|^2=\bigg(f+\frac{1}{2\lambda}\|\cdot\|^2\bigg)^{**}.$$

*(@rockwets [Examples 1.44, 1.46, Exercise 1.29])*\[f:m-p-l\] Let $0<\mu<\lambda<\lambda_{f}$. One has

1.  $h_{\lambda}f=-e_{\lambda}(-e_{\lambda}f)$,

2.  \[i:p:hull\] $e_{\lambda} f=e_{\lambda}(h_{\lambda}f)$,

3.  $h_{\lambda}(h_{\lambda}f)=h_{\lambda}f$,

4.  \[i:d:env\] $e_{\lambda,\mu}f=-e_{\mu}(-e_{\lambda}f)=h_{\mu}(e_{\lambda-\mu}f)=e_{\lambda-\mu}(h_{\lambda}f)$,

5.  $e_{\lambda_{1}}(e_{\lambda_{2}}f)=e_{\lambda_{1}+\lambda_{2}}f$ for $\lambda_{1}, \lambda_{2}>0$.

For more details about these regularizations, we refer the reader to @attouch1990approximation [@infconv; @proxhilbert; @diffprop] and @rockwets [Chapter 1].

Proximal functions
------------------

The concept of $\lambda$-proximal functions will play an important role. This subsection is dedicated to properties of $\lambda$-proximal functions.

We say that $f$ is *$\lambda$-proximal* if $f+\frac{1}{2\lambda}\|\cdot\|^2$ is convex.

\[l:env:neg\]

1.  \[i:e:1\] The negative Moreau envelope $-e_{\lambda}f$ is always $\lambda$-proximal.

2.  \[i:e:2\] If $e_{\lambda}f$ is $\mathcal{C}^{1}$, then $f+\frac{1}{2\lambda}\|\cdot\|^2$ is convex, i.e., $f$ is $\lambda$-proximal.

By Fact \[l:dcform\], $$\label{e:moreau}
(\forall x\in{\operatorname{\mathbb{R}}}^n)\ \frac{1}{2\lambda}\|x\|^2-e_{\lambda}f(x)=
\bigg(f+\frac{1}{2\lambda}\|\cdot\|^2\bigg)^{*}\bigg(\frac{x}{\lambda}\bigg).$$ \[i:e:1\]: This is clear from .

\[i:e:2\]: By , the assumption ensures that $\big(f+\frac{1}{2\lambda}\|\cdot\|^2\big)^{*}\big(\frac{x}{\lambda}\big)$ is differentiable. It follows from Soloviov's theorem @soloviov that $f+\frac{1}{2\lambda}\|\cdot\|^2$ is convex.

While for convex functions, proximal mappings and resolvents are the same, they differ for nonconvex functions in general.

*(@rockwets [Example 10.2])* For any proper, lsc function $f:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ and any $\mu>0$, one has $$(\forall x\in{\operatorname{\mathbb{R}}}^n)\ P_{\mu}f(x)\subseteq J_{\mu\partial_{L}f}(x).$$ When $f$ is convex, the inclusion holds as an equation.

However, proximal functions have surprising properties.

\[p:resolventf\] Let $0<\mu<\lambda_{f}$. Then the following are equivalent:

1.  \[i:resolvent1\] ${\operatorname{Prox}}_{\mu}f=J_{\mu\partial_{L}f}$,

2.  \[i:resolvent2\] $f$ is $\mu$-proximal,

3.  \[i:resolvent3\] ${\operatorname{Prox}}_{\mu}f$ is maximally monotone,

4.  \[i:resolvent4\] ${\operatorname{Prox}}_{\mu}f$ is convex-valued.

\[i:resolvent2\]$\Rightarrow$\[i:resolvent1\]: See @rockwets [Proposition 12.19] & @rockwets [Example 11.26].

\[i:resolvent1\]$\Rightarrow$\[i:resolvent2\]: As ${\operatorname{Prox}}_{\mu}f$ is always monotone, $({\operatorname{Prox}}_{\mu}f)^{-1}=({\operatorname{Id}}+\mu\partial_{L}f)$ is monotone and it suffices to apply @rockwets [Proposition 12.19(c)$\Rightarrow$(b)].

\[i:resolvent2\]$\Leftrightarrow$\[i:resolvent3\]: See @rockwets [Proposition 12.19].

\[i:resolvent3\]$\Rightarrow$\[i:resolvent4\]: This is clear.

\[i:resolvent4\]$\Rightarrow$\[i:resolvent3\]: By @rockwets [Example 1.25], ${\operatorname{Prox}}_{\mu}f$ is nonempty, compact-valued and monotone with full domain. As ${\operatorname{Prox}}_{\mu}f$ is convex-valued, it suffices to apply @lohne08.

\[l:prox:map\] Let $f$ be $\lambda$-proximal and $0<\mu<\lambda$. Then

1.  \[i:p:convex\] ${\operatorname{Prox}}_{\lambda}f$ is convex-valued,

2.  \[i:p:single\] ${\operatorname{Prox}}_{\mu}f$ is single-valued.

Consequently, ${\operatorname{Prox}}_{\mu}f$ is maximally monotone if $0<\mu\leq\lambda$.

\[i:p:convex\]: Observe that $$e_{\lambda}f(x)=\inf_{y}\left\{f(y)+\frac{1}{2\lambda}\|y\|^2-\langle\frac{x}{\lambda}, y
\rangle\right\}+\frac{1}{2\lambda}\|x\|^2.$$ Since $f+\frac{1}{2\lambda}\|\cdot\|^2-\langle{\frac{x}{\lambda}},\cdot\rangle$ is convex, ${\operatorname{Prox}}_{\lambda}f(x)$ is convex.

\[i:p:single\]: This follow from the fact that $f+\frac{1}{2\mu}\|\cdot\|^2-\langle\frac{x}{\mu},\cdot\rangle$ is strictly convex and coercive.

When $0<\mu<\lambda$, ${\operatorname{Prox}}_{\mu}f$ is continuous and monotone, so maximally monotone by @rockwets [Example 12.7]. For the maximal monotonicity of ${\operatorname{Prox}}_{\lambda}f$, apply \[i:p:convex\] and @lohne08 or Lemma \[l:prox:grad\].

The set of proximal functions is a convex cone. In particular, one has the following.

\[p:p:cone\] Let $f_1$ be $\lambda_1$-proximal and $f_2$ be $\lambda_2$-proximal. Then for any $\alpha,\beta>0$, the function $\alpha f_1+\beta f_2$ is $\frac{\lambda_1\lambda_2}{\beta\lambda_1+\alpha\lambda_2}$-proximal.

Since $f_1+\frac{1}{2\lambda_1}\|\cdot\|^2$ and $f_2+\frac{1}{2\lambda_2}\|\cdot\|^2$ are convex, so are $\alpha\left(f_1+\frac{1}{2\lambda_1}\|\cdot\|^2\right)$, $\beta\left(f_2+\frac{1}{2\lambda_2}\|\cdot\|^2\right)$ and their sum: $$\alpha f_1+\beta f_2+\left(\frac{\alpha}{2\lambda_1}+\frac{\beta}{2\lambda_2}\right)\|\cdot\|^2=\alpha f_1+\beta f_2+\frac{\beta\lambda_1+\alpha\lambda_2}{2\lambda_1\lambda_2}\|\cdot\|^2.$$ Therefore, $\alpha f_1+\beta f_2$ is $\frac{\lambda_1\lambda_2}{\beta\lambda_1+\alpha\lambda_2}$-proximal.

The proximal mapping of the proximal hull
-----------------------------------------

\[l:e:h\]Let $0<\lambda<\lambda_{f}$. One has $$\label{i:hull:prox}
{\operatorname{Prox}}_{\lambda}(h_{\lambda}f)={\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f.$$

Applying @rockwets [Example 10.32] to $-e_{\lambda} f=-e_{\lambda}(h_{\lambda}f)$ yields $${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}(h_{\lambda}f)={\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f.$$ Since $h_{\lambda}$ is $\lambda$-proximal, by Lemma \[l:prox:map\] we have ${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}(h_{\lambda}f)={\operatorname{Prox}}_{\lambda}(h_{\lambda}f).$ Hence follows.

Let $0<\lambda<\lambda_{f}$. The following are equivalent:

1.  \[p:hull\] ${\operatorname{Prox}}_{\lambda}(h_{\lambda}f)={\operatorname{Prox}}_{\lambda}f$,

2.  \[p:function\] $f$ is $\lambda$-proximal.

\[p:hull\]$\Rightarrow$\[p:function\]: Since ${\operatorname{Prox}}_{\lambda}(h_{\lambda}f)=
{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}(h_{\lambda}f)$, ${\operatorname{Prox}}_{\lambda} f$ is upper semicontinuous, convex and compact valued, and monotone with full domain, so maximally monotone in view of @lohne08 or Lemma \[l:prox:grad\]. By @rockwets [Proposition 12.19], $f+\frac{1}{2\lambda}\|\cdot\|^2$ is convex, equivalently, $f$ is $\lambda$-proximal by @rockwets [Example 11.26].

\[p:function\]$\Rightarrow$\[p:hull\]: As $f$ is $\lambda$-proximal, ${\operatorname{Prox}}_{\lambda}f$ is convex-valued by Lemma \[l:prox:map\]. Then Lemma \[l:e:h\] gives ${\operatorname{Prox}}_{\lambda}(h_{\lambda}f)={\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f={\operatorname{Prox}}_{\lambda}f.$

If $f\neq h_{\lambda}f$, then ${\operatorname{Prox}}_{\lambda}(h_{\lambda}f)
\neq{\operatorname{Prox}}_{\lambda}f.$

Proximal mappings and envelopes
-------------------------------

\[l:env:prox\] Let $0<\mu<\lambda<{\operatorname{\bar{\lambda}}}$. The following are equivalent:

1.  \[i:env:fg\]$e_{\lambda}f=e_{\lambda}g$,

2.  \[i:phull:fg\] $h_{\lambda}f=h_{\lambda}g$,

3.  \[i:conv:fg\] ${\operatornamewithlimits{conv}}\left(f+\frac{1}{2\lambda}\|\cdot\|^2\right)={\operatornamewithlimits{conv}}\left(g+\frac{1}{2\lambda}\|\cdot\|^2\right)$,

4.  \[i:double:fg\] $e_{\lambda,\mu}f=e_{\lambda,\mu}g$,

5.  \[i:prox:initial\] ${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f={\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}g$, and for some $x_{0}\in{\operatorname{\mathbb{R}}}^n$ one has $e_{\lambda}f(x_{0})=e_{\lambda}g(x_{0})$.

Under any one of the conditions \[i:env:fg\]–\[i:prox:initial\], one has $$\label{e:convexhull}
\overline{{\operatornamewithlimits{conv}}} f=\overline{{\operatornamewithlimits{conv}}} g.$$

\[i:env:fg\]$\Rightarrow$\[i:phull:fg\]: We have $-e_{\lambda}f=-e_{\lambda}g$ implies $-e_{\lambda}(-e_{\lambda}f)=-e_{\lambda}(-e_{\lambda}g)$, which is \[i:phull:fg\].

\[i:phull:fg\]$\Rightarrow$\[i:env:fg\]: This follows from $e_{\lambda}f=e_{\lambda}(h_{\lambda}f)=e_{\lambda}(h_{\lambda}g)=e_{\lambda}g.$

\[i:phull:fg\]$\Leftrightarrow$\[i:conv:fg\]: Since $\lambda<{\operatorname{\bar{\lambda}}}$, we have that $f+\frac{1}{2\lambda}\|\cdot\|^2$ and $g+\frac{1}{2\lambda}\|\cdot\|^2$ are coercive, so ${\operatornamewithlimits{conv}}\left(f+\frac{1}{2\lambda}\|\cdot\|^2\right)$ and ${\operatornamewithlimits{conv}}\left(f+\frac{1}{2\lambda}\|\cdot\|^2\right)$ are lsc. Fact \[l:dcform\] gives $$h_{\lambda}f={\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\lambda}\|\cdot\|^2\bigg)-\frac{1}{2\lambda}\|\cdot\|^2,$$ $$h_{\lambda}g={\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\lambda}\|\cdot\|^2\bigg)-\frac{1}{2\lambda}\|\cdot\|^2.$$

\[i:double:fg\]$\Leftrightarrow$\[i:env:fg\]: Invoking Fact \[f:m-p-l\], we have $$\begin{aligned}
e_{\lambda,\mu}f =e_{\lambda,\mu}g &\Leftrightarrow h_{\mu}(e_{\lambda-\mu}f)=h_{\mu}(e_{\lambda-\mu}g)\\
& \Leftrightarrow e_{\mu}(h_{\mu}(e_{\lambda-\mu}f))=e_{\mu}(h_{\mu}(e_{\lambda-\mu}g))\\
& \Leftrightarrow e_{\mu}(e_{\lambda-\mu}f)=e_{\mu}(e_{\lambda-\mu}g)\\
& \Leftrightarrow e_{\lambda}f=e_{\lambda}g. \\end{aligned}$$

\[i:env:fg\]$\Rightarrow$\[i:prox:initial\]: The Moreau envelope $e_{\lambda}f(x)=e_{\lambda}g(x)$ for every $x\in{\operatorname{\mathbb{R}}}^n$. Apply @rockwets [Example 10.32] to $-e_{\lambda}f = -e_{\lambda}g$ to get $$(\forall x\in{\operatorname{\mathbb{R}}}^n)\ \frac{{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f(x)-x}{\lambda}=\frac{{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}g(x)-x}{\lambda},$$ which gives \[i:prox:initial\] after simplifications.

\[i:prox:initial\]$\Rightarrow$\[i:env:fg\]: Since both $e_{\lambda}f$ and $e_{\lambda}g$ are locally Lipschitz, ${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f={\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}g$ implies $-e_{\lambda}f=-e_{\lambda}g+{\text{constant}}$ by @rockwets [Example 10.32]. The ${\text{constant}}$ has to be zero by $e_{\lambda}f(x_{0})=e_{\lambda}g(x_{0})$. Thus, \[i:env:fg\] holds.

Equation  follows from the equivalence of \[i:env:fg\]–\[i:double:fg\] and taking the Fenchel conjugate to $e_{\lambda}f=e_{\lambda}g$, followed by cancelation of terms and taking the Fenchel conjugate again.

The notion of 'proximal' is instrumental.

\[c:needed1\] Let $0<\mu\leq \lambda <{\operatorname{\bar{\lambda}}}$, and let $f,g$ be $\lambda$-proximal. Then $e_{\mu}f=e_{\mu}g$ if and only if $f=g$

Since $\mu\leq\lambda$, both $f,g$ are also $\mu$-proximal, so $f=h_{\mu}f, g=h_{\mu}g$. Lemma \[l:env:prox\]\[i:env:fg\]$
\Leftrightarrow$\[i:phull:fg\] applies.

\[p:needed1\] Let $0<\mu <{\operatorname{\bar{\lambda}}}$, and let ${\operatorname{Prox}}_{\mu}f={\operatorname{Prox}}_{\mu}g$. If $f, g$ are $\mu$-proximal, then $f-g\equiv
\text{constant}$.

As ${\operatorname{Prox}}_{\mu}f={\operatorname{Prox}}_{\mu}g$, by @rockwets [Example 10.32], $\partial(-e_{\mu}f)=\partial(-e_{\mu}g)$. Since both $-e_\mu f, -e_{\mu}g$ are locally Lipschitz and Clarke regular, we obtain that there exists $-c\in{\operatorname{\mathbb{R}}}$ such that $-e_\mu f=-e_{\mu}g-c$. Because $f, g$ are $\mu$-proximal, we have $$f=-e_{\mu}(-e_{\mu}f)=-e_{\mu}(-e_{\mu}g-c)=-e_{\mu}(-e_{\mu}g)+c=g+c,$$ as required.

An example
----------

The following example shows that one cannot remove the assumption of $f, g$ being $\mu$-proximal in Proposition \[p:resolventf\], Corollary \[c:needed1\] and Proposition \[p:needed1\].

\[e:proximal:fk\] Consider the function $$f_{k}(x)=\max\{0,(1+\varepsilon_{k})(1-x^2)\},$$ where $\varepsilon_{k}>0$. It is easy to check that $f_{k}$ is $1/(2(1+\varepsilon_{k}))$-proximal, but not $1/2$-proximal.

<span>*Claim 1: The functions $f_{k}$ have the same proximal mappings and Moreau envelopes for all $k\in{\operatorname{\mathbb{N}}}$. However, whenever $\varepsilon_{k_{1}}\neq\varepsilon_{k_{2}}$, $f_{k_{1}}-f_{k_{2}}=(\varepsilon_{k_{1}}-\varepsilon_{k_{2}})f\neq {\text{constant}}$.*</span>

Indeed, simple calculus gives that for every $\varepsilon_{k}>0$ one has $$\label{e:proximal2}
{\operatorname{Prox}}_{1/2}f_{k}(x)=\begin{cases}
x &\text{ if $x\geq 1$,}\\
1 &\text{ if $0<x<1$,}\\
\{-1,1\} &\text{ if $x=0$,}\\
-1 &\text{ if $-1<x<0$,}\\
x &\text{ if $x\leq -1$,}
\end{cases}$$ and $$e_{1/2}f_{k}(x)=\begin{cases}
0 &\text{ if $x\geq 1$,}\\
(x-1)^2 &\text{ if $0\leq x<1$,}\\
(x+1)^2 &\text{ if $-1<x<0$,}\\
0 &\text{ if $x\leq -1$.}
\end{cases}$$

<span>*Claim 2: ${\operatorname{Prox}}_{1/2}f_{k}\neq J_{1/2\partial_{L}f_{k}},$ i.e., the proximal mapping differs from the resolvent.*</span>

Since $J_{1/2\partial_{L}f_{k}}=({\operatorname{Id}}+1/2\partial_{L}f_{k})^{-1}$ and $$\partial_{L}f_{k}(x)
=\begin{cases}
0 & \text{ if $x<-1$,}\\
[0,2(1+\varepsilon_{k})] &\text{ if $x=-1$,}\\
-2(1+\varepsilon_{k})x &\text{ if $-1<x<1$,}\\
[-2(1+\varepsilon_{k}),0] &\text{ if $x=1$,}\\
0  & \text{ if $x>1$},
\end{cases}$$ we obtain $$J_{1/2\partial_{L}f_{k}}(x)=
\begin{cases}
x & \text{ if $x<-1$,}\\
-1 &\text{ if $-1\leq x\leq \varepsilon_{k}$,}\\
-\frac{x}{\varepsilon_{k}} &\text{ if $-\varepsilon_{k}<x<\varepsilon_{k}$,}\\
1 &\text{ if $-\varepsilon_{k}\leq x\leq 1$,}\\
x & \text{ if $x>1$},
\end{cases}$$ equivalently, $$J_{1/2\partial_{L}f_{k}}(x)=
\begin{cases}
x & \text{ if $x<-1$,}\\
-1 &\text{ if $-1\leq x< -\varepsilon_{k}$,}\\
\left\{-1,-\frac{x}{\varepsilon_{k}},1\right\} &\text{ if $-\varepsilon_{k}\leq x\leq \varepsilon_{k}$,}\\
1 &\text{ if $\varepsilon_{k}< x\leq 1$,}\\
x & \text{ if $x>1$},
\end{cases}$$ which does not equal .

The convexified proximal mapping and Clarke subdifferential of the Moreau envelope {#s:conv}
==================================================================================

The following result gives the relationship between the Clarke subdifferential of the Moreau envelope and the convexified proximal mapping.

\[l:prox:grad\] For $0<\mu<\lambda_{f}$, the following hold.

1.  \[i:fplus:p\]The convex hull $$\label{e:convp}
    {\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f=\partial \bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*.$$ In particular, ${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f$ is maximally monotone.

2.  \[i:fplus:n\]The limiting subdifferential $$-\partial_{L} \bigg(-\bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*\bigg)
    \subseteq {\operatorname{Prox}}_{\mu}f.$$

3.  \[e:env:clarke\] The Clarke subdifferential $$\label{e:clarkesub}
    \partial_{C}(e_{\mu}f)=-\partial_{L}(-e_{\mu}f)=\frac{{\operatorname{Id}}-{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f}{\mu}.$$ If, in addition, $f$ is $\mu$-proximal, then $$\label{e:clarke:prox}
    \partial_{C}(e_{\mu}f)=\frac{{\operatorname{Id}}-{\operatorname{Prox}}_{\mu}f}{\mu}.$$

\[i:fplus:p\]: By Fact \[l:dcform\], $$\label{e:moreau:d}
-e_{\mu}f(x)=-\frac{1}{2\mu}\|x\|^2+\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\left(\frac{x}{\mu}\right).$$ Using @rockwets [Example 10.32] and the subdifferential sum rule @rockwets [Corollary 10.9], we get $$\frac{{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f(x)-x}{\mu} =\partial_{L} (-e_{\mu}f)(x)=-\frac{x}{\mu}
+\partial \bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\left(\frac{x}{\mu}\right).$$ Simplification gives $$\begin{aligned}
{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f(x) &
=\partial \mu \bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\left(\frac{x}{\mu}\right)\\
& =\partial \bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*(x).\end{aligned}$$ Since $\mu f+\frac{1}{2}\|\cdot\|^2$ is coercive, we conclude that $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ is a continuous convex function, so ${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f$ is maximally monotone @rockwets [Theorem 12.17].

\[i:fplus:n\]: By , $$\begin{aligned}
-\bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*(x) & =-\mu\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\left(\frac{x}{\mu}\right)\\
&=\mu e_{\mu}f(x)-\frac{1}{2}\|x\|^2.\end{aligned}$$ From @rockwets [Example 10.32] we obtain $$\begin{aligned}
\partial_{L} \bigg(-\bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*\bigg)
(x) &= \partial_{L} (\mu e_{\mu}f)(x)-x\\
&\subseteq \mu \frac{x-{\operatorname{Prox}}_{\mu}f(x)}{\mu}-x=-{\operatorname{Prox}}_{\mu}f(x).\end{aligned}$$ Therefore, $-\partial_{L} \bigg(-\bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*\bigg)(x)\subseteq {\operatorname{Prox}}_{\mu}f(x)$.

\[e:env:clarke\]: As $-e_{\mu}f$ is Clarke regular, using @rockwets [Example 10.32] we obtain $$\partial_{C}e_{\mu}f(x)=-\partial_{C}(-e_{\mu}f)(x)=-\partial_{L} (-e_{\mu}f)(x)=
\frac{x-{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f(x)}{\mu}.$$ If $f$ is $\mu$-proximal, then ${\operatorname{Prox}}_{\mu}f(x)$ is convex for every $x$, so follows from .

<span>Lemma \[l:prox:grad\]\[i:fplus:p\]</span> & <span>\[e:env:clarke\]</span> extend <span>@rockwets [Exercise 11.27]</span> and <span>@rockwets [Theorem 2.26]</span>, respectively, from convex functions to possibly nonconvex functions.

It is tempting to ask whether $$\label{e:boris}
\partial_L (e_{\mu}f)=\frac{{\operatorname{Id}}-{\operatorname{Prox}}_{\mu}f}{\mu}$$ holds. This is answered negatively below.

Let $0<\lambda<\lambda_{f}$ and $\psi=h_{\lambda}f$. Suppose that there exists $x_{0}\in{\operatorname{\mathbb{R}}}^n$ such that ${\operatorname{Prox}}_{\lambda}f(x_{0})$ is not convex. Then $$\label{e:sub:point}
\partial_{L} e_{\lambda}\psi(x_{0})\neq \frac{x_{0}-
{\operatorname{Prox}}_{\lambda}\psi(x_{0})}{\lambda};$$ consequently, $$\partial_{L} e_{\lambda}\psi\neq \frac{{\operatorname{Id}}-{\operatorname{Prox}}_{\lambda}\psi}{\lambda}.$$

We prove by contrapositive. Suppose fails, i.e., $$\label{e:prox:f}
\partial_{L} e_{\lambda}\psi(x_{0})=\frac{x_{0}-{\operatorname{Prox}}_{\lambda}\psi(x_{0})}{\lambda}.$$ In view of $e_{\lambda}\psi=e_{\lambda}f$ and @rockwets [Example 10.32], we have $$\label{e:prox:s}
\partial_{L} e_{\lambda}\psi(x_{0})= \partial_L e_{\lambda}f(x_{0})
\subseteq \frac{x_{0}-{\operatorname{Prox}}_{\lambda}f(x_{0})}{\lambda}.$$ Since ${\operatorname{Prox}}_{\lambda}\psi={\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f$ by Lemma \[l:e:h\], and give $$\frac{x_{0}-{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\lambda}f(x_{0})}{\lambda}\subseteq \frac{x_{0}-{\operatorname{Prox}}_{\lambda}f(x_{0})}{\lambda},$$ which implies that ${\operatorname{Prox}}_{\lambda}f(x_{0})$ is a convex set. This is a contradiction.

Characterizations of Lipschitz and single-valued proximal mappings {#s:char}
==================================================================

Simple examples show that proximal mappings can be wild, although always monotone.

The function $f(x)=-\frac{1}{2}\|\cdot\|^2$ is prox-bounded with threshold $\lambda_{f}=1$. We have ${\operatorname{Prox}}_{1}f=N_{\{0\}}$ the normal cone map at $0$, i.e., $$N_{\{0\}}(x)=\begin{cases}
{\operatorname{\mathbb{R}}}^n & \text{ if $x=0$,}\\
\varnothing & \text{ otherwise.}
\end{cases}$$ When $0<\mu<1$, $${\operatorname{Prox}}_{\mu}f=\frac{{\operatorname{Id}}}{1-\mu},$$ which is Lipschitz continuous with constant $1/(1-\mu)$.

*(@rockwets [Example 7.44])* Let $f:{\operatorname{\mathbb{R}}}^n\rightarrow {\ensuremath{\,\left]-\infty,+\infty\right]}}$ be proper, lsc and prox-bounded with threshold $\lambda_{f}$, and $0<\mu<\lambda_{f}$. Then ${\operatorname{Prox}}_{\mu}f$ is always upper semicontinuous and locally bounded.

The following characterizations of the proximal mapping are of independent interest.

\[Lipschitz proximal mapping\] Let $0<\mu<\lambda_{f}$. Then the following are equivalent.

1.  \[i:map\] The proximal mapping ${\operatorname{Prox}}_{\mu}f$ is Lipschitz continuous with constant $\kappa>0$.

2.  \[i:function\] The function $$f+\frac{\kappa-1}{2\mu\kappa}\|\cdot\|^2$$ is convex.

\[i:map\]$\Rightarrow$\[i:function\]: By Lemma \[l:prox:grad\]\[i:fplus:p\], $\bigg(\mu f+\frac{1}{2}\|\cdot\|^2\bigg)^*$ is differentiable and its gradient is Lipschitz continuous with constant $\kappa$. By Soloviov's theorem @soloviov, $\mu f+\frac{1}{2}\|\cdot\|^2$ is convex. Then the convex function $\mu f+\frac{1}{2}\|\cdot\|^2$ has differentiable Fenchel conjugate $\big(\mu f+\frac{1}{2}\|\cdot\|^2\big)^*$ and $\triangledown \big(\mu f+\frac{1}{2}\|\cdot\|^2\big)^*$ is Lipschitz continuous with constant $\kappa$. It follows from @rockwets [Proposition 12.60] that $\mu f+\frac{1}{2}\|\cdot\|^2$ is $\frac{1}{\kappa}$-strongly convex, i.e., $$\mu f+\frac{1}{2}\|\cdot\|^2-\frac{1}{\kappa}\frac{1}{2}\|\cdot\|^2$$ is convex. Equivalently, $$f+\frac{\kappa-1}{2\mu\kappa}\|\cdot\|^2$$ is convex.

\[i:function\]$\Rightarrow$\[i:map\]: We have $$\mu f+\frac{1}{2}\|\cdot\|^2-\frac{1}{\kappa}\frac{1}{2}\|\cdot\|^2$$ is convex, i.e., $\mu f+\frac{1}{2}\|\cdot\|^2$ is strongly convex with constant $\frac{1}{\kappa}$. Then @rockwets [Proposition 12.60] implies that $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ is differentiable and its gradient is Lipschitz continuous with constant $\kappa$. In view of Lemma \[l:prox:grad\]\[i:fplus:p\], ${\operatorname{Prox}}_{\mu}f$ is Lipschitz continuous with constant $\kappa$.

\[c:lip\] Let $0<\mu<\lambda_{f}$. Then the following are equivalent.

1.  \[i:map1\]The proximal mapping ${\operatorname{Prox}}_{\mu}f$ is Lipschitz continuous with constant $1$, i.e., nonexpansive.

2.  \[i:function1\] The function $f$ is convex.

*(See @rockconv [Section 26] or @rockwets [page 483])* A proper, lsc, convex function $f:{\operatorname{\mathbb{R}}}^n\rightarrow (-\infty, +\infty]$ is

1.  essentially strictly convex if $f$ is strictly convex on every convex subset of ${\operatorname{dom}}\partial f$;

2.  essentially differentiable if $\partial f(x)$ is a singleton whenever $\partial f(x)\neq\varnothing$.

\[single-valued proximal mapping\]\[p:single\] Let $0<\mu<\lambda_{f}$. Then the following are equivalent.

1.  \[i:maps\]The proximal mapping ${\operatorname{Prox}}_{\mu}f$ is single-valued, i.e., ${\operatorname{Prox}}_{\mu}f(x)$ is a singleton for every $x\in{\operatorname{\mathbb{R}}}^n$.

2.  \[i:functionc\] The function $$f+\frac{1}{2\mu}\|\cdot\|^2$$ is essentially strictly convex and coercive.

\[i:maps\]$\Rightarrow$\[i:functionc\]: By Lemma \[l:prox:grad\]\[i:fplus:p\], $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ is differentiable. By Soloviov's theorem @soloviov, $\mu f+\frac{1}{2}\|\cdot\|^2$ is convex. The convex function $\mu f+\frac{1}{2}\|\cdot\|^2$ has differentiable Fenchel conjugate $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$. It follows from @rockwets [Proposition 11.13] that $\mu f+\frac{1}{2}\|\cdot\|^2$ is essentially strictly convex. Since $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ has full domain and $\mu f+\frac{1}{2}\|\cdot\|^2$ is convex, the function $\mu f+\frac{1}{2}\|\cdot\|^2$ is coercive by @rockwets [Theorem 11.8].

\[i:functionc\]$\Rightarrow$\[i:maps\]: Since $\mu f+\frac{1}{2}\|\cdot\|^2$ is essentially strictly convex, $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ is essentially differentiable by @rockwets [Theorem 11.13]. Because $\mu f+\frac{1}{2}\|\cdot\|^2$ is coercive, $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ has full domain. Then $\left(\mu f+\frac{1}{2}\|\cdot\|^2\right)^*$ is differentiable on ${\operatorname{\mathbb{R}}}^n$. In view of Lemma \[l:prox:grad\]\[i:fplus:p\], ${\operatorname{Prox}}_{\mu}f(x)$ is single-valued for every $x\in{\operatorname{\mathbb{R}}}^n$.

Recall that for a nonempty, closed set $S\subseteq{\operatorname{\mathbb{R}}}^n$ and every $x\in{\operatorname{\mathbb{R}}}^n$, the projection $P_{S}(x)$ consists of the points in $S$ nearest to $x$, so $P_{S}={\operatorname{Prox}}_{1}\iota_{S}$. Combining Corollary \[c:lip\] and Proposition \[p:single\], we can derive the following result due to Rockafellar and Wets, @rockwets [Corollary 12.20].

Let $S$ be a nonempty, closed set in ${\operatorname{\mathbb{R}}}^n$. Then the following are equivalent:

1.  $P_{S}$ is single-valued,

2.  $P_{S}$ is nonexpansive,

3.  $S$ is convex.

The proximal average for prox-bounded functions {#s:main}
===============================================

The goal of this section is to establish a proximal average function that works for any two prox-bounded functions. Our framework will generalize the convex proximal average of @proxpoint to include nonconvex functions, in a manner that recovers the original definition in the convex case.

Remembering the standing assumptions in Subsection \[s:assump\], we define the *proximal average* of $f, g$ associated with parameters $\mu, \alpha$ by $$\label{e:prox:def}
{\ensuremath{\varphi^{\alpha}_{\mu}}}=-e_{\mu}(-\alpha e_{\mu}f-(1-\alpha)e_{\mu}g),$$ which essentially relies on the Moreau envelopes.

\[basic properties of the proximal average\]\[t:prox\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$, and let ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ be defined as in . Then the following hold.

1.  \[i:env:conhull\] The Moreau envelope $e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}})=\alpha e_{\mu}f+(1-\alpha)e_{\mu} g.$

2.  \[i:lowers\]The proximal average ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is proper, lsc and prox-bounded with threshold $\lambda_{{\ensuremath{\varphi^{\alpha}_{\mu}}}}\geq{\operatorname{\bar{\lambda}}}$.

3.  \[i:epi:sum\] The proximal average ${\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=$ $$\label{e:func}
    \left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right](x)
    -\frac{1}{2\mu}\|x\|^2,$$ where the inf-convolution $\Box$ is exact; consequently, ${\operatorname{epi}}({\ensuremath{\varphi^{\alpha}_{\mu}}}+1/2\mu\|\cdot\|^2)=$ $$\label{e:epig}
    \alpha {\operatorname{epi}}{\operatornamewithlimits{conv}}(f+1/2\mu\|\cdot\|^2)+(1-\alpha){\operatorname{epi}}{\operatornamewithlimits{conv}}(g+1/2\mu\|\cdot\|^2).$$

4.  \[i:dom:convhull\] The domain ${\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha {\operatornamewithlimits{conv}}{\operatorname{dom}}f+(1-\alpha){\operatornamewithlimits{conv}}{\operatorname{dom}}g$. In particular, ${\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\operatorname{\mathbb{R}}}^n$ if either one of ${\operatornamewithlimits{conv}}{\operatorname{dom}}f$ and ${\operatornamewithlimits{conv}}{\operatorname{dom}}g$ is ${\operatorname{\mathbb{R}}}^n$.

5.  \[i:hull:ave\] The proximal average of $f$ and $g$ is the same as the proximal average of proximal hulls $h_{\mu}f$ and $h_{\mu}g$, respectively.

6.  \[i:alpha\] When $\alpha=0$, $\varphi_{\mu}^{0}=h_{\mu}g$; when $\alpha=1$, $\varphi_{\mu}^{1}=h_{\mu}g$.

7.  \[i:phi:mu\] Each ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is $\mu$-proximal, or equivalently, $\mu$-hypoconvex.

8.  \[i:f=g\] When $f=g$, ${\ensuremath{\varphi^{\alpha}_{\mu}}}=h_{\mu}f$; consequently, ${\ensuremath{\varphi^{\alpha}_{\mu}}}=f$ when $f=g$ is $\mu$-proximal.

9.  \[i:g=c\] When $g\equiv c\in{\operatorname{\mathbb{R}}}$, ${\ensuremath{\varphi^{\alpha}_{\mu}}}=e_{\mu/\alpha,\mu}(\alpha f+(1-\alpha)c)$, the Lasry-Lions envelope of $\alpha f+(1-\alpha)c$.

\[i:env:conhull\]: Since $-\alpha e_{\mu}f-(1-\alpha)e_{\mu}g$ is $\mu$-proximal by Lemma \[l:env:neg\]\[i:e:1\] and Proposition \[p:p:cone\], we have $$\begin{aligned}
-e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}})& =-e_{\mu}(-e_{\mu}(-\alpha e_{\mu}f-(1-\alpha)e_{\mu}g))\\
&=h_{\mu}(-\alpha e_{\mu}f-(1-\alpha)e_{\mu}g)\\
&=-\alpha e_{\mu}f-(1-\alpha)e_{\mu}g.\end{aligned}$$ \[i:lowers\]: Because $0<\mu<{\operatorname{\bar{\lambda}}}$, both $e_{\mu}f$ and $e_{\mu}g$ are continuous, see, e.g., @rockwets [Theorem 1.25]. By \[i:env:conhull\], $e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}})$ is real-valued and continuous. If ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is not proper, then $e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}})\equiv-\infty$ or $e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}})\equiv\infty$, which is a contradiction. Hence, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ must be proper. Lower semicontinuity follows from the definition of the Moreau envelope.

To show that $\lambda_{{\ensuremath{\varphi^{\alpha}_{\mu}}}}\geq {\operatorname{\bar{\lambda}}}$, take any $\delta\in ]0,{\operatorname{\bar{\lambda}}}-\mu[$. By @rockwets [Exercise 1.29(c)] and \[i:env:conhull\], we have $$\begin{aligned}
e_{\delta+\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}}) &=e_{\delta}(e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}}))\\
& =e_{\delta}(\alpha e_{\mu}f+(1-\alpha)e_{\mu}g)\\
&\geq \alpha e_{\delta}(e_{\mu}f)+(1-\alpha)e_{\delta}(e_{\mu}g)\\
&=\alpha e_{\delta+\mu}f+(1-\alpha)e_{\delta+\mu}g>-\infty.\end{aligned}$$ Since $\delta\in ]0,{\operatorname{\bar{\lambda}}}-\mu[$ was arbitrary, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ has prox-bound $\lambda_{{\ensuremath{\varphi^{\alpha}_{\mu}}}}\geq {\operatorname{\bar{\lambda}}}$.

\[i:epi:sum\]: Since $\mu<{\operatorname{\bar{\lambda}}}$, both $e_{\mu}f$ and $e_{\mu}g$ are locally Lipschitz with full domain by Fact \[l:dcform\]\[i:mor:l\], so $${\operatorname{dom}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*=
{\operatorname{dom}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*
={\operatorname{\mathbb{R}}}^n.$$ It follows from @rockwets [Theorem 11.23(a)] that $$\begin{aligned}
& \left[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\right]^*\\
&=
\bigg(\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\bigg)^{*}\Box
\bigg((1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\bigg)^{*}\end{aligned}$$ where the $\Box$ is exact; see, e.g., @rockconv [Theorem 16.4]. By Fact \[l:dcform\], $$\begin{aligned}
& -\alpha e_{\mu}f-(1-\alpha)e_{\mu}g \\
&=\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\left(\frac{x}{\mu}\right)
+(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\left(\frac{x}{\mu}\right)-\frac{1}{2\mu}\|\cdot\|^2.\end{aligned}$$ Substitute this into the definition of ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ and use Fact \[l:dcform\] again to obtain ${\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=$ $$\begin{aligned}
 &\left[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\big(\frac{\cdot}{\mu}\big)+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\big(\frac{\cdot}{\mu}\big)
\right]^*\big(\frac{x}{\mu}\big)
-\frac{1}{2\mu}\|x\|^2\nonumber\\
=&\left[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\right]^*\big(\mu\frac{x}{\mu}\big)
-\frac{1}{2\mu}\|x\|^2\nonumber\\
= & \left[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^{**}\big(\frac{\cdot}{\alpha}\big)\Box
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^{**}
\big(\frac{\cdot}{1-\alpha}\big)
\right](x)
-\frac{1}{2\mu}\|x\|^2\nonumber\\
=& \left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\big(\frac{\cdot}{\alpha}\big)\Box
(1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)(\frac{\cdot}{1-\alpha}\big)
\right](x)
-\frac{1}{2\mu}\|x\|^2,\label{e:box:exact}\end{aligned}$$ in which $$\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^{**}={\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)$$ $$\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^{**}={\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)$$ because $f+\frac{1}{2\mu}\|\cdot\|^2$ and $g+\frac{1}{2\mu}\|\cdot\|^2$ are coercive; see, e.g., @rockwets [Example 11.26(c)]. Also, in , the infimal convolution is exact because $\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)^*$ and $\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)^*$ have full domain and @rockconv [Theorem 16.4] or @rockwets [Theorem 11.23(a)]. follows from and @convmono [Proposition 12.8(ii)] or @rockwets [Exercise 1.28].

\[i:dom:convhull\]: This is immediate from \[i:epi:sum\] and @convmono [Proposition 12.6(ii)].

\[i:hull:ave\]: Use , and the fact that $e_{\mu}(h_{u}f)=e_{\mu}f$ and $e_{\mu}(h_{u}g)=e_{\mu}g$.

\[i:alpha\]: When $\alpha=0$, this follows from $\varphi_{\mu}^{0}=-e_{\mu}(-e_{\mu}g)=h_{\mu}g$; the proof for $\alpha=1$ case is similar.

\[i:phi:mu\]: This follows from Fact \[l:dcform\]\[i:mor:l\].

\[i:f=g\]: When $f=g$, we have $e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}=e_{\mu}f$ so that $-e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}=-e_{\mu}f$. Since ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is $\mu$-proximal by \[i:phi:mu\], it follows that ${\ensuremath{\varphi^{\alpha}_{\mu}}}=-e_{\mu}(-e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}})=-e_{\mu}(-e_{\mu}f)=h_{\mu}f$.

\[i:g=c\]: This follows from $$\begin{aligned}
{\ensuremath{\varphi^{\alpha}_{\mu}}}&=-e_{\mu}(-\alpha e_{\mu}f-(1-\alpha)c)=-e_{\mu}(-e_{\mu/\alpha}(\alpha f)-(1-\alpha)c)\\
&=-e_{\mu}[-e_{\mu/\alpha}(\alpha f+(1-\alpha)c)],\end{aligned}$$ and Fact \[f:m-p-l\]\[i:d:env\].

1.  \[i:regular\] The proximal average ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is always Clarke regular, prox-regular and strongly amenable on ${\operatorname{\mathbb{R}}}^n$.

2.  \[i:full:d\] If one of the sets ${\operatornamewithlimits{conv}}{\operatorname{dom}}f$ or ${\operatornamewithlimits{conv}}{\operatorname{dom}}g$ is ${\operatorname{\mathbb{R}}}^n$, then ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is locally Lipschitz on ${\operatorname{\mathbb{R}}}^n$.

3.  \[i:u:proximable\] When $f, g$ are both $\mu$-proximal, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is the proximal average for convex functions.

One always has $${\ensuremath{\varphi^{\alpha}_{\mu}}}=\bigg({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\bigg)-\frac{1}{2\mu}\|\cdot\|^2$$ where ${\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2$ is convex by Theorem \[t:prox\]\[i:phi:mu\].

\[i:regular\]: Use @rockwets [Example 11.30] and @rockwets [Exercise 13.35] to conclude that ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is prox-regular. @rockwets [Example 10.24(g)] shows that ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is strongly amenable. Also, being a sum of a convex function and a $\mathcal{C}^2$ function, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is Clarke regular.

\[i:full:d\]: By Theorem \[t:prox\]\[i:dom:convhull\], ${\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\operatorname{\mathbb{R}}}^n$, then $({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2)$ is a finite-valued convex function on ${\operatorname{\mathbb{R}}}^n$, so it is locally Lipschitz, hence ${\ensuremath{\varphi^{\alpha}_{\mu}}}$.

\[i:u:proximable\]: Since both $f+\frac{1}{2\mu}\|\cdot\|^2$ and $g+\frac{1}{2\mu}\|\cdot\|^2$ are convex, the result follows from Theorem \[t:prox\]\[i:epi:sum\] and @proxbas [Definition 4.1].

Let $0<\mu<{\operatorname{\bar{\lambda}}}$ and let ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ be defined as in . Then $$-\partial_L\left[-\bigg(\mu{\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2}\|\cdot\|^2\bigg)^*\right]\subseteq
\alpha {\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatorname{Prox}}_{\mu}g.$$

By Theorem \[t:prox\]\[i:env:conhull\], $e_{\mu}({\ensuremath{\varphi^{\alpha}_{\mu}}})=\alpha e_{\mu}f+(1-\alpha)e_{\mu} g.$ Since both $e_{\mu}f, e_{\mu}g$ are locally Lipschitz, the sum rule for $\partial_{L}$ @rockwets [Corollary 10.9] gives $$\begin{aligned}
\partial_{L} e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x) & \subseteq \alpha\partial_{L} e_{\mu}f(x)
+(1-\alpha)\partial_{L} e_{\mu}g(x)\\
&\subseteq \alpha \frac{x-{\operatorname{Prox}}_{\mu}f(x)}{\mu}+(1-\alpha)\frac{x-{\operatorname{Prox}}_{\mu}g(x)}{\mu}\\
&=\frac{x}{\mu}-\frac{\alpha {\operatorname{Prox}}_{\mu}f(x)+(1-\alpha){\operatorname{Prox}}_{\mu}g(x)}{\mu},\end{aligned}$$ from which $$\partial_{L}\left(e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}-\frac{1}{2\mu}\|x\|^2\right)\subseteq -\frac{\alpha {\operatorname{Prox}}_{\mu}f(x)+(1-\alpha){\operatorname{Prox}}_{\mu}g(x)}{\mu}.$$ As $$e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)-\frac{1}{2}\|x\|^2=-\left({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\right)^{*}\left(\frac{x}{\mu}\right)
=-\frac{\left(\mu{\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2}\|\cdot\|^2\right)^*(x)}{\mu},$$ we have $$-\partial_L\left (-\left(\mu{\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2}\|\cdot\|^2\right)^{*}\right)(x)\subseteq\alpha {\operatorname{Prox}}_{\mu}f(x)+(1-\alpha){\operatorname{Prox}}_{\mu}g(x).$$

A natural question to ask is whether $\alpha {\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatorname{Prox}}_{\mu}g$ is still a proximal mapping. Although this is not clear in general, we have the following.

\[the proximal mapping of the proximal average\]\[prop:convcomb\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$ and let ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ be defined as in . Then $$\label{e:prox:conv}
{\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}
=\alpha{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}g.$$

1.  \[i:u:prox\] When both $f$ and $g$ are $\mu$-proximal, one has $${\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}
    =\alpha{\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatorname{Prox}}_{\mu}g.$$

2.  \[i:r:prox\] Suppose that on an open subset $U\subset{\operatorname{\mathbb{R}}}^n$ both ${\operatorname{Prox}}_{\mu}f, {\operatorname{Prox}}_{\mu}g$ are single-valued (e.g., when $e_{\mu}f$ and $e_{\mu}g$ are continuously differentiable). Then ${\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}$ is single-valued, and $${\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}
    =\alpha{\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatorname{Prox}}_{\mu}g \text{ on $U$.}$$

3.  \[i:r:prox2\] Suppose that on an open subset $U\subset{\operatorname{\mathbb{R}}}^n$ both ${\operatorname{Prox}}_{\mu}f, {\operatorname{Prox}}_{\mu}g$ are single-valued and Lipschitz continuous (e.g., when $f$ and $g$ are prox-regular). Then ${\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}$ is single-valued and Lipschitz continuous, and $${\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}
    =\alpha{\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatorname{Prox}}_{\mu}g \text{ on $U$.}$$

By Theorem \[t:prox\], $$-e_{\mu}(\varphi^\alpha_{\mu})=-\alpha e_{\mu}f-(1-\alpha)e_{\mu}g.$$ Since both $-e_{\mu}f, -e_{\mu}g$ are Clarke regular, the sum rule @rockwets [Corollary 10.9] gives $$\partial_L(-e_{\mu}(\varphi^\alpha_{\mu}))=\alpha\partial_L (- e_{\mu}f)
+(1-\alpha)\partial_L(-e_{\mu}g).$$ Apply @rockwets [Example 10.32] to get $$\frac{{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)-x}{\mu}=\alpha \frac{{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f(x)-x}{\mu}+
(1-\alpha)\frac{{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}g(x)-x}{\mu}$$ from which $${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}
=\alpha{\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}g.$$ Since ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is $\mu$-proximal, ${\operatornamewithlimits{conv}}{\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}$, therefore, follows.

\[i:u:prox\]: Since $f,g$ are $\mu$-proximal, ${\operatorname{Prox}}_{\mu}f$ and ${\operatorname{Prox}}_{\mu}g$ are convex-valued by Proposition \[p:resolventf\].

\[i:r:prox\]: When $e_{\mu}f$ and $e_{\mu}g$ are continuously differentiable, both ${\operatorname{Prox}}_{\mu}f, {\operatorname{Prox}}_{\mu}g$ are single-valued on $U$ by @proxhilbert [Proposition 5.1].

\[i:r:prox2\]: When $f$ and $g$ are prox-regular on $U$, both ${\operatorname{Prox}}_{\mu}f, {\operatorname{Prox}}_{\mu}g$ are single-valued and Lipschitz continuous on $U$ by @proxhilbert [Proposition 5.3] or @rockwets [Proposition 13.37].

Let $0<\mu<{\operatorname{\bar{\lambda}}}$ and let ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ be defined as in . Then $${\operatorname{Prox}}_{\mu}\varphi^\alpha_{\mu}
=\alpha{\operatorname{Prox}}_{\mu}(h_{\mu}f)+(1-\alpha){\operatorname{Prox}}_{\mu}(h_{\mu}g).$$

Combine Theorem \[prop:convcomb\] and Lemma \[l:e:h\].

Let $\mu>0$. The following set of proximal mappings $$\{{\operatorname{Prox}}_{\mu}f|\ \text{$f$ is $\mu$-proximal and $\mu<\lambda_{f}$}\}$$ is a convex set. Moreover, for every $\mu$-proximal function, ${\operatorname{Prox}}_{\mu}f=({\operatorname{Id}}+\mu\partial_{L} f)^{-1}$.

Apply Theorem \[prop:convcomb\]\[i:u:prox\], Theorem \[t:prox\]\[i:lowers\]&\[i:phi:mu\] and Proposition \[p:resolventf\].

Relationships to the arithmetic average and epi-average {#s:rela}
=======================================================

\[epi-convergence and epi-topology\] *(See @rockwets [Chapter 6].)* Let $f$ and $(f_k)_{\ensuremath{{k \in {\operatorname{\mathbb{N}}}}}}$ be functions from ${\operatorname{\mathbb{R}}}^n$ to ${\ensuremath{\,\left]-\infty,+\infty\right]}}$. Then $(f_k)_{k\in{\operatorname{\mathbb{N}}}}$ *epi-converges* to $f$, in symbols $f_k{\stackrel{\operatorname{e}}{\rightarrow}}f$, if for every $x\in {\operatorname{\mathbb{R}}}^n$ the following hold:

1.  $\big(\forall\,(x_k)_{{\ensuremath{{k \in {\operatorname{\mathbb{N}}}}}}}\big)$ $x_k\to x \Rightarrow
    f(x)\leq\liminf f_k(x_k)$;

2.  $\big(\exists (y_k)_{\ensuremath{{k \in {\operatorname{\mathbb{N}}}}}}\big)$ $y_k\to x$ and $\limsup f_k(y_k) \leq f(x)$.

We write ${\operatornamewithlimits{e-lim}}_{k\rightarrow\infty}f_{k}=f$ to say that $f_k$ epi-converges to $f$. The *epi-topology* is the topology induced by epi-convergence.

The threshold ${\operatorname{\bar{\lambda}}}=+\infty$ whenever both $f,g$ are bounded from below by an affine function.

\[t:go:infinity\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$. One has the following.

1.  \[i:mono:phi\] For every fixed $x\in {\operatorname{\mathbb{R}}}^n$, the function $\mu\mapsto{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)$ is monotonically decreasing and left-continuous on $]0,{\operatorname{\bar{\lambda}}}]$.

2.  \[i:inf:phi1\] The pointwise limit $\lim_{\mu\uparrow {\operatorname{\bar{\lambda}}}}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\inf_{{\operatorname{\bar{\lambda}}}>\mu>0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=$ $$\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2{\operatorname{\bar{\lambda}}}}\|\cdot\|^2\bigg)\bigg(\frac{\cdot}{\alpha}\bigg)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2{\operatorname{\bar{\lambda}}}}\|\cdot\|^2\bigg)\bigg(\frac{\cdot}{1-\alpha}\bigg)\right](x)
    -\frac{1}{2{\operatorname{\bar{\lambda}}}}\|x\|^2.$$

3.  \[i:inf:phi2\] When ${\operatorname{\bar{\lambda}}}=\infty$, the pointwise limit $$\label{e:pointwise}
    \lim_{\mu\uparrow \infty}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\inf_{\mu>0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=
    \alpha{\operatornamewithlimits{conv}}f\bigg(\frac{\cdot}{\alpha}\bigg)\Box (1-\alpha){\operatornamewithlimits{conv}}g\bigg(\frac{\cdot}{1-\alpha}\bigg), \text{ and }$$ the epigraphical limit $$\label{i:epi:limit}
    {\operatornamewithlimits{e-lim}}_{\mu\uparrow\infty}{\ensuremath{\varphi^{\alpha}_{\mu}}}=
    {\operatorname{cl}}\left[\alpha{\operatornamewithlimits{conv}}f\bigg(\frac{\cdot}{\alpha}\bigg)\Box (1-\alpha){\operatornamewithlimits{conv}}g\bigg(\frac{\cdot}{1-\alpha}\bigg)\right].$$

\[i:mono:phi\]: We have ${\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=$ $$\begin{aligned}
&
\inf_{u+v=x}\left(\alpha\inf_{\sum_{i}\alpha_{i}x_{i}=u/\alpha\atop{\sum_{i}\alpha_{i}=1,
\alpha_{i}\geq 0}}\left(\sum_{i}\alpha_{i}f(x_{i})
+\alpha_{i}\frac{1}{2\mu}\|x_{i}\|^2\right)+(1-\alpha)\inf_{\sum_{j}\beta_{j}y_{j}=v/(1-\alpha)
\atop{\sum_{j}\beta_{j}=1,
\beta_{j}\geq 0}}\left(\sum_{j}\beta_{j}g(y_{j})
+\beta_{j}\frac{1}{2\mu}\|y_{j}\|^2\right)\right)\nonumber\\
&\quad -\frac{1}{2\mu}\|x\|^2\nonumber\\
&=
\inf_{{\alpha\sum_i\alpha_{i}x_{i}+
(1-\alpha)\sum_{j}\beta_{j}y_{j}=x}\atop{\sum_{i}\alpha_{i}=1,
\sum_{j}\beta_{j}=1},\alpha_{i}\geq 0, \beta_{j}\geq 0}\bigg(\alpha\sum_{i}\alpha_{i}f(x_{i})
+(1-\alpha)\sum_{j}\beta_{j}g(y_{j})+\nonumber\\
&\quad \frac{1}{2\mu}\underbrace{\left(\alpha\sum_{i}\alpha_{i}\|x_{i}\|^2
+(1-\alpha)\sum_{j}\beta_{j}\|y_{j}\|^2-\bigg\|\alpha\sum_{i}\alpha_{i}x_{i}+(1-\alpha)\sum_{j}
\beta_{j}y_{j}\bigg\|^2\right)}\bigg).\nonumber\end{aligned}$$The underbraced part is nonnegative because $\|\cdot\|^2$ is convex, $\sum_{i}\alpha_{i}=1,
\sum_{j}\beta_{j}=1$. It follows that $\mu\mapsto{\ensuremath{\varphi^{\alpha}_{\mu}}}$ is a monotonically decreasing function on $]0,+\infty[$.

Let ${\operatorname{\bar{\mu}}}\in ]0,{\operatorname{\bar{\lambda}}}]$. Then $\lim_{\mu\uparrow{\operatorname{\bar{\mu}}}}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\inf_{{\operatorname{\bar{\mu}}}>\mu>0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=$ $$\begin{aligned}
&\inf_{{\operatorname{\bar{\mu}}}>\mu>0}
\inf_{{\alpha\sum_i\alpha_{i}x_{i}+
(1-\alpha)\sum_{j}\beta_{j}y_{j}=x}\atop{\sum_{i}\alpha_{i}=1,
\sum_{j}\beta_{j}=1},\alpha_{i}\geq 0, \beta_{j}\geq 0}\bigg(\alpha\sum_{i}\alpha_{i}f(x_{i})
+(1-\alpha)\sum_{j}\beta_{j}g(y_{j})+\nonumber\\
&\quad \frac{1}{2\mu}\left(\alpha\sum_{i}\alpha_{i}\|x_{i}\|^2
+(1-\alpha)\sum_{j}\beta_{j}\|y_{j}\|^2-\bigg\|\alpha\sum_{i}\alpha_{i}x_{i}+(1-\alpha)\sum_{j}
\beta_{j}y_{j}\bigg\|^2\right)\bigg)\label{e:k1}\\
&=
\inf_{{\alpha\sum_i\alpha_{i}x_{i}+
(1-\alpha)\sum_{j}\beta_{j}y_{j}=x}\atop{\sum_{i}\alpha_{i}=1,
\sum_{j}\beta_{j}=1},\alpha_{i}\geq 0, \beta_{j}\geq 0}\inf_{{\operatorname{\bar{\mu}}}>\mu>0}\bigg(\alpha\sum_{i}\alpha_{i}f(x_{i})
+(1-\alpha)\sum_{j}\beta_{j}g(y_{j})+\nonumber\\
&\quad \frac{1}{2\mu}\left(\alpha\sum_{i}\alpha_{i}\|x_{i}\|^2
+(1-\alpha)\sum_{j}\beta_{j}\|y_{j}\|^2-\bigg\|\alpha\sum_{i}\alpha_{i}x_{i}+(1-\alpha)\sum_{j}
\beta_{j}y_{j}\bigg\|^2\right)\bigg)\\
&=
\inf_{{\alpha\sum_i\alpha_{i}x_{i}+
(1-\alpha)\sum_{j}\beta_{j}y_{j}=x}\atop{\sum_{i}\alpha_{i}=1,
\sum_{j}\beta_{j}=1},\alpha_{i}\geq 0, \beta_{j}\geq 0}
\bigg(\alpha\sum_{i}\alpha_{i}f(x_{i})
+(1-\alpha)\sum_{j}\beta_{j}g(y_{j})+\nonumber\\
&\quad \frac{1}{2{\operatorname{\bar{\mu}}}}\left(\alpha\sum_{i}\alpha_{i}\|x_{i}\|^2
+(1-\alpha)\sum_{j}\beta_{j}\|y_{j}\|^2-\bigg\|\alpha\sum_{i}\alpha_{i}x_{i}+(1-\alpha)\sum_{j}
\beta_{j}y_{j}\bigg\|^2\right)\bigg)\label{e:k2}\\
&=
\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2{\operatorname{\bar{\mu}}}}
\|\cdot\|^2\bigg)\bigg(\frac{\cdot}{\alpha}\bigg)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2{\operatorname{\bar{\mu}}}}\|\cdot\|^2\bigg)\bigg(\frac{\cdot}{1-\alpha}\bigg)\right](x)
-\frac{1}{2{\operatorname{\bar{\mu}}}}\|x\|^2\nonumber.\end{aligned}$$ \[i:inf:phi1\]: This follows from \[i:mono:phi\].

\[i:inf:phi2\]: By \[i:mono:phi\], we have $\lim_{\mu\rightarrow\infty}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\inf_{\mu>0}{\ensuremath{\varphi^{\alpha}_{\mu}}}$. Using similar arguments as –, we obtain $\inf_{\mu>0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=$ $$\begin{aligned}
&\inf_{{\alpha\sum_i\alpha_{i}x_{i}+
(1-\alpha)\sum_{j}\beta_{j}y_{j}=x}\atop{\sum_{i}\alpha_{i}=1,
\sum_{j}\beta_{j}=1},\alpha_{i}\geq 0, \beta_{j}\geq 0}\bigg(\alpha\sum_{i}\alpha_{i}f(x_{i})
+(1-\alpha)\sum_{j}\beta_{j}g(y_{j})\bigg)\\
&=\inf_{{u+v=x}}\bigg(\alpha\inf_{\sum_i\alpha_{i}x_{i}=u/\alpha
\atop{\sum_{i}\alpha_{i}=1,\alpha_{i}\geq 0}}\sum_{i}\alpha_{i}f(x_{i})
+(1-\alpha)\inf_{\sum_{j}\beta_{j}y_{j}=v/(1-\alpha)\atop{\sum_{j}\beta_{j}=1}, \beta_{j}\geq 0}\sum_{j}\beta_{j}g(y_{j})\bigg)\\
&=\inf_{{u+v=x}}\bigg(\alpha({\operatornamewithlimits{conv}}f)(u/\alpha)
+(1-\alpha)({\operatornamewithlimits{conv}}g)(v/(1-\alpha))\bigg),\end{aligned}$$ as required. To get , we combine and @rockwets [Proposition 7.4(c)].

In order to study the limit behavior when $\mu\downarrow 0$, a lemma helps. We omit its simple proof.

\[l:concave:e\] The Moreau envelope function respects the inequality$$e_{\mu}(\alpha f_{1}+(1-\alpha)f_{2})\geq \alpha e_{\mu}f_{1}+(1-\alpha)e_{\mu}f_{2}.$$

\[t:u:0\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$. One has

1.  \[i:three:c\] $$\label{e:three:c}
    \alpha e_{\mu}f+(1-\alpha) e_{\mu}g \leq{\ensuremath{\varphi^{\alpha}_{\mu}}}\leq \alpha h_{\mu}f+(1-\alpha)h_{\mu}g
    \leq\alpha f+(1-\alpha) g \text{ and }$$

2.  when $\mu\downarrow 0$, the pointwise limit and epi-graphical limit agree with $$\label{e:lim:0}
    \lim_{\mu\downarrow 0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\sup_{\mu>0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha f+(1-\alpha)g.$$ Furthermore, the convergence in is uniform on compact subsets of ${\operatorname{\mathbb{R}}}^n$ when $f,g$ are continuous.

Apply Lemma \[l:concave:e\] with $f_{1}=-e_{\mu}f, f_{2}=-e_{\mu}g$ to obtain $e_{\mu}(\alpha(-e_{\mu}f)+(1-\alpha)(-e_{\mu}g))\geq \alpha e_{\mu}(-e_{\mu}f)+(1-\alpha)
e_{\mu}(-e_{\mu}g).$ Then $$\label{e:1}
{\ensuremath{\varphi^{\alpha}_{\mu}}}\leq \alpha (-e_{\mu}(-e_{\mu}f))+(1-\alpha)(-e_{\mu}(-e_{\mu}g))=
\alpha h_{\mu}f+(1-\alpha)h_{\mu}g.$$ On the other hand, $e_{\mu}(\alpha(-e_{\mu}f)+(1-\alpha)(-e_{\mu}g))\leq \alpha(-e_{\mu}f)+(1-\alpha)(-e_{\mu}g)$ so $$\label{e:2}
{\ensuremath{\varphi^{\alpha}_{\mu}}}\geq \alpha e_{\mu}f +(1-\alpha) e_{\mu}g.$$ Combining and gives $$\alpha e_{\mu}f +(1-\alpha) e_{\mu}g \leq{\ensuremath{\varphi^{\alpha}_{\mu}}}\leq \alpha h_{\mu}f+(1-\alpha)h_{\mu}g
\leq \alpha f+(1-\alpha) g,$$ which is . Equation follows from by sending $\mu\downarrow 0$. The pointwise and epigraphical limits agree because of @rockwets [Proposition 7.4(d)].

Now assume that $f,g$ are continuous. Since both $e_{\mu}f$ and $f$ are continuous, and $e_{\mu}f\uparrow f$. Dini's theorem says that $e_{\mu}f\uparrow f$ uniformly on compact subsets of ${\operatorname{\mathbb{R}}}^n$. The same can be said about $e_{\mu}g\uparrow g$. Hence, the convergence in is uniform on compact subsets of ${\operatorname{\mathbb{R}}}^n$ by .

To study the epi-continuity of proximal average, we recall the following two standard notions.

A sequence of functions $(f_{k})_{k\in{\operatorname{\mathbb{N}}}}$ is eventually prox-bounded if there exists $\lambda>0$ such that $\liminf_{k\rightarrow\infty}e_{\lambda}f_{k}(x)>-\infty$ for some $x$. The supremum of all such $\lambda$ is then the threshold of eventual prox-boundedness of the sequence.

A sequence of functions $(f_{k})_{k\in {\operatorname{\mathbb{N}}}}$ converges continuously to $f$ if $f_{k}(x_{k})\rightarrow f(x)$ whenever $x_{k}\rightarrow x$.

The following key result is implicit in the proof of @rockwets [Theorem 7.37]. We provide its proof for completeness. Define ${\operatorname{\mathcal{N}_{\infty}}}=\{N\subset{\operatorname{\mathbb{N}}}|\ {\operatorname{\mathbb{N}}}\setminus N \text{ is finite}\}.$

\[l:env:cont\] Let $(f_{k})_{k\in{\operatorname{\mathbb{N}}}}$ and $f$ be proper, lsc functions on ${\operatorname{\mathbb{R}}}^n$. Suppose that $(f_{k})_{k\in{\operatorname{\mathbb{N}}}}$ is eventually prox-bounded, $\bar{\lambda}$ is the threshhold of eventual prox-boundedness, and $f_{k}{\stackrel{\operatorname{e}}{\rightarrow}}f$. Suppose also that $\mu_{k}, \mu\in ]0,\bar{\lambda}[$, and $\mu_{k}\rightarrow\mu$. Then $f$ is prox-bounded with threshold $\lambda_{f}\geq \bar{\lambda}$, and $e_{\mu_{k}}f_{k}$ converges continuously to $e_{\mu}f$. In particular, $e_{\mu_{k}}f_{k}{\stackrel{\operatorname{e}}{\rightarrow}}e_{\mu}f$, and $e_{\mu_{k}}f_{k}{\stackrel{\operatorname{p}}{\rightarrow}}e_{\mu}f$.

Let $\varepsilon \in ]0,{\operatorname{\bar{\lambda}}}[$. The eventual prox-boundness of $(f_{k})_{k\in{\operatorname{\mathbb{N}}}}$ means that there exist $b\in{\operatorname{\mathbb{R}}}^n$, $\beta\in{\operatorname{\mathbb{R}}}$ and $N\in{\operatorname{\mathcal{N}_{\infty}}}$ such that $$(\forall k\in N)(\forall w\in {\operatorname{\mathbb{R}}}^n)\ f_{k}(w)
\geq \beta-\frac{1}{2\varepsilon}\|b-w\|^2.$$ Let $\mu\in ]0,\varepsilon[$. Consider any $x\in{\operatorname{\mathbb{R}}}^n$ and any sequence $x_{k}\rightarrow x$ in ${\operatorname{\mathbb{R}}}^n$, any sequence $\mu_{k}\rightarrow\mu$ in $(0,{\operatorname{\bar{\lambda}}})$. Since $f_{k}{\stackrel{\operatorname{e}}{\rightarrow}}f$, the functions $f_{k}+(1/2\mu_{k})\|\cdot-x_{k}\|^2$ epi-converge to $f+(1/2\mu)\|\cdot-x\|^2$. Take $\delta\in ]\mu,\varepsilon[$. Because $\mu_{k}\rightarrow\mu$, there exists $N'\subseteq N$, $N'\in{\operatorname{\mathcal{N}_{\infty}}}$ such that $\mu_{k}\in (0,\delta)$ when $k\in N'$. Then $\forall k\in N'$, $$\begin{aligned}
f_{k}(w)+\frac{1}{2\mu_{k}}\|x_{k}-w\|^2 &\geq \beta-\frac{1}{2\varepsilon}\|b-w\|^2+ \frac{1}{2\delta}\|x_{k}-w\|^2\\
&=\beta-\frac{1}{2\varepsilon}\|b-w\|^2+ \frac{1}{2\delta}\|(x_{k}-b)+(b-w)\|^2\\
&\geq \beta+\bigg(\frac{1}{2\delta}-\frac{1}{2\varepsilon}\bigg)
\|b-w\|^2-\frac{1}{\delta}\|x_{k}-b\|\|b-w\|.\end{aligned}$$ In view of $x_{k}\rightarrow x$, the sequence $(\|x_{k}-b\|)_{k\in{\operatorname{\mathbb{N}}}}$ is bounded, say by $\rho>0$. We have $$(\forall k\in N')\ f_{k}(w)+\frac{1}{2\mu_{k}}\|x_{k}-w\|^2 \geq h(w):=
\beta+\bigg(\frac{1}{2\delta}-\frac{1}{2\varepsilon}\bigg)\|b-w\|^2-\frac{\rho}{\delta}
\|b-w\|.$$ The function $h$ is level-bounded because $\delta<\varepsilon$. Hence, by @rockwets [Theorem 7.33], $$\lim_{k\rightarrow\infty}\inf_{w}\bigg(f_{k}(w)+\frac{1}{2\mu_{k}}
\|x_{k}-w\|^2\bigg)
=\inf_{w}\bigg(f(w)+\frac{1}{2\mu}\|x-w\|^2\bigg),$$ i.e., $e_{\mu_{k}}f_{k}(x_{k})\rightarrow e_{\mu}f(x)$. Also, $e_{\mu}f(x)$ is finite, so $\lambda_{f}\geq \mu$. Since $\varepsilon\in ]0,{\operatorname{\bar{\lambda}}}[$ and $\mu\in ]0,\varepsilon[$ were arbitrary, the result holds whenever $\mu\in ]0,{\operatorname{\bar{\lambda}}}[$. This in turn implies $\lambda_{f}\geq{\operatorname{\bar{\lambda}}}$.

For the convenience of analyzing the full epi-continuity, below we write the proximal average ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ explicitly in the form ${\ensuremath{\varphi_{f,g,\alpha,\mu}}}$.

\[full epi-continuity of proximal average\] Let the sequences of functions $(f_{k})_{k\in {\operatorname{\mathbb{N}}}}$, $(g_{k})_{k\in{\operatorname{\mathbb{N}}}}$ on ${\operatorname{\mathbb{R}}}^n$ be eventually prox-bounded with threshold of eventual prox-boundedness $\bar{\lambda}>0$. Let $(\mu_{k})_{k\in{\operatorname{\mathbb{N}}}}$ be a sequence and $\mu$ in $]0,\bar{\lambda}[$ and let $(\alpha_{k})_{k\in{\operatorname{\mathbb{N}}}}$ be a sequence and $\alpha$ in $[0,1]$. Suppose that $f_{k}{\stackrel{\operatorname{e}}{\rightarrow}}f$, $g_{k}{\stackrel{\operatorname{e}}{\rightarrow}}g$, $\mu_{k}\rightarrow\mu$, and $\alpha_{k}\rightarrow\alpha$. Then ${\ensuremath{\varphi_{f_{k},g_{k},\alpha_{k},\mu_{k}}}}{\stackrel{\operatorname{e}}{\rightarrow}}{\ensuremath{\varphi_{f,g,\alpha,\mu}}}$.

Consider any $x\in{\operatorname{\mathbb{R}}}^n$ and any sequence $x_{k}\rightarrow x$. By @rockwets [Example 11.26], $$e_{\mu_{k}}f_{k}(\mu_{k}x_{k})=\frac{\mu_{k}\|x_{k}\|^2}{2}-
\bigg(f_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*(x_{k}).$$ Lemma \[l:env:cont\] shows that $$\begin{aligned}
\lim_{k\rightarrow\infty}
\bigg(f_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*(x_{k})
& = \lim_{k\rightarrow\infty} \frac{\mu_{k}\|x_{k}\|^2}{2}-e_{\mu_{k}}f_{k}(\mu_{k}x_{k})
=\frac{\mu\|x\|^2}{2}-e_{\mu}f(\mu x)\\
&=\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*(x).\end{aligned}$$ Therefore, the functions $\left(f_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\right)^*$ converge continuously to $\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)^*$. It follows that $$\alpha_{k}\bigg(f_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*+
(1-\alpha_{k})\bigg(g_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*$$ converges continuously to $$\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*,$$ so epi-converges. Then by Wijsman's theorem @rockwets [Theorem 11.34], $$\bigg[\alpha_{k}\bigg(f_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*+
(1-\alpha_{k})\bigg(g_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*\bigg]^*$$ epi-converges to $$\bigg[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\bigg]^*.$$ Since $(\mu, x)\mapsto \frac{1}{2\mu}\|x\|^2$ is continuous on $]0,+\infty[\times{\operatorname{\mathbb{R}}}^n$, we have that $${\ensuremath{\varphi_{f_{k},g_{k},\alpha_{k},\mu_{k}}}}=\bigg[\alpha_{k}\bigg(f_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*+
(1-\alpha_{k})\bigg(g_{k}+\frac{1}{2\mu_{k}}\|\cdot\|^2\bigg)^*\bigg]^*
-\frac{1}{2\mu_{k}}\|\cdot\|^2$$ epi-converges to $${\ensuremath{\varphi_{f,g,\alpha,\mu}}}=\bigg[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\bigg]^*
-\frac{1}{2\mu}\|\cdot\|^2.$$

\[epi-continuity of the proximal average\]\[t:alpha:epi\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$. Then the function $\alpha\mapsto {\ensuremath{\varphi^{\alpha}_{\mu}}}$ is continuous with respect to the epi-topology. That is, $\forall (\alpha_{k})_{k\in{\operatorname{\mathbb{N}}}}$ and $\alpha$ in $[0,1]$, $$\alpha_{k}\rightarrow\alpha \quad \Rightarrow \quad {\ensuremath{\varphi^{\alpha_{k}}_{\mu}}}{\stackrel{\operatorname{e}}{\rightarrow}}{\ensuremath{\varphi^{\alpha}_{\mu}}}.$$ In particular, ${\ensuremath{\varphi^{\alpha}_{\mu}}}{\stackrel{\operatorname{e}}{\rightarrow}}h_{\mu}g$ when $\alpha\downarrow 0$, and ${\ensuremath{\varphi^{\alpha}_{\mu}}}{\stackrel{\operatorname{e}}{\rightarrow}}h_{\mu}f$ when $\alpha\uparrow 1$.

Optimal value and minimizers of the proximal average {#s:opti}
====================================================

Relationship of infimum and minimizers among ${\ensuremath{\varphi^{\alpha}_{\mu}}}$, $f$ and $g$.
--------------------------------------------------------------------------------------------------

\[p:minimizer\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$. One has

1.  \[e:env:conv\] $$\begin{aligned}
    \inf{\ensuremath{\varphi^{\alpha}_{\mu}}}&= \inf[\alpha e_{\mu}f+(1-\alpha)e_{\mu}g], \text{ \emph{and} }\\
    {\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}&={\operatornamewithlimits{argmin}}[\alpha e_{\mu}f+(1-\alpha)e_{\mu}g];\end{aligned}$$

2.  \[e:hull:arith\] $$\begin{aligned}
    \alpha\inf f+(1-\alpha)\inf g& \leq \inf{\ensuremath{\varphi^{\alpha}_{\mu}}}\leq\inf[\alpha h_{\mu}f+(1-\alpha)h_{\mu}g]
    \leq \inf[\alpha f+(1-\alpha) g].\end{aligned}$$

For \[e:env:conv\], apply Theorem \[t:prox\]\[i:env:conhull\] and ${\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\operatornamewithlimits{argmin}}e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}$. For \[e:hull:arith\], apply Theorem \[t:u:0\]\[i:three:c\] and $\inf e_{\mu}f=\inf f$, and $\inf e_{\mu}g=\inf g$.

Suppose that ${\operatornamewithlimits{argmin}}f\cap {\operatornamewithlimits{argmin}}g\neq\varnothing$ and $\alpha\in ]0,1[$. Then the following hold:

1.  \[i:arithmin\] $$\label{e:arith}
    \min(\alpha f+(1-\alpha)g)=\alpha\min f+(1-\alpha)\min g, \text{ \emph{and} }$$ $$\label{e:arith:minimizer}
    {\operatornamewithlimits{argmin}}(\alpha f+(1-\alpha)g)={\operatornamewithlimits{argmin}}f\cap {\operatornamewithlimits{argmin}}g;$$

2.  \[i:proxmin\] $$\label{e:minvalue}
    \min{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha\min f+(1-\alpha)\min g, \text{ \emph{and} }$$ $${\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\operatornamewithlimits{argmin}}f\cap {\operatornamewithlimits{argmin}}g.$$

Pick $x\in {\operatornamewithlimits{argmin}}f\cap {\operatornamewithlimits{argmin}}g$. We have $$\label{e:minvalue:two}
\inf[\alpha f+(1-\alpha)g]=\alpha f(x)+(1-\alpha) g(x)=\alpha\min f+(1-\alpha)\min g.$$ \[i:arithmin\]: Equation gives and $$\label{e:setinclus}
({\operatornamewithlimits{argmin}}f\cap{\operatornamewithlimits{argmin}}g)\subseteq {\operatornamewithlimits{argmin}}(\alpha f+(1-\alpha)g).$$ To see the converse inclusion of , let $x\in{\operatornamewithlimits{argmin}}(\alpha f+(1-\alpha)g)$. Then gives $$\alpha \min f+(1-\alpha)\min g=\min(\alpha f+(1-\alpha)g)=\alpha f(x)+(1-\alpha)g(x),$$ from which $$\alpha (\min f-f(x))+(1-\alpha)(\min g-g(x))=0.$$ Since $\min f\leq f(x), \min g\leq g(x)$, we obtain $\min f= f(x), \min g= g(x)$, so $x\in{\operatornamewithlimits{argmin}}f\cap{\operatornamewithlimits{argmin}}g$. Thus, ${\operatornamewithlimits{argmin}}(\alpha f+(1-\alpha)g)\subseteq ({\operatornamewithlimits{argmin}}f\cap{\operatornamewithlimits{argmin}}g)$. Hence, holds.

\[i:proxmin\]: Equation follows from Proposition \[p:minimizer\] and Theorem \[t:u:0\]\[i:three:c\]. This also gives $$({\operatornamewithlimits{argmin}}f\cap {\operatornamewithlimits{argmin}}g)\subseteq {\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}.$$

To show $({\operatornamewithlimits{argmin}}f\cap {\operatornamewithlimits{argmin}}g)\supseteq {\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$, take any $x\in {\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$. By and Theorem \[t:u:0\]\[i:three:c\], we have $$\alpha\min f+(1-\alpha)\min g={\ensuremath{\varphi^{\alpha}_{\mu}}}(x)\geq \alpha e_{\mu}f(x)+(1-\alpha)e_{\mu}g(x),$$ from which $$\alpha(e_{\mu}f(x)-\min f)+(1-\alpha)(e_{\mu}g(x)-\min g)\leq 0.$$ Since $\min f=\min e_{\mu}f$ and $\min g=\min e_{\mu}g$, it follows that $e_{\mu}f(x)=\min e_{\mu}f$ and $e_{\mu}g(x)=\min e_{\mu}g$, so $x\in({\operatornamewithlimits{argmin}}e_{\mu}f\cap{\operatornamewithlimits{argmin}}e_{\mu}g)=({\operatornamewithlimits{argmin}}f\cap{\operatornamewithlimits{argmin}}g)$ because of ${\operatornamewithlimits{argmin}}e_{\mu}f={\operatornamewithlimits{argmin}}f$ and ${\operatornamewithlimits{argmin}}e_{\mu}g={\operatornamewithlimits{argmin}}g$.

To explore further optimization properties of ${\ensuremath{\varphi^{\alpha}_{\mu}}}$, we need the following three auxiliary results.

\[l:box\] Suppose that $f_{1}, f_{2}:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ are proper and lsc, and that $f_{1}\Box f_{2}$ is exact. Then

1.  \[i:box:inf\] $$\label{e:epis:inf}
    \inf ({\ensuremath{f_{1}\Box f_{2}}})=\inf f_{1}+\inf f_{2}, \text{ and }$$

2.  \[i:box:min\] $$\label{e:epis:min}
    {\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})={\operatornamewithlimits{argmin}}f_{1}+{\operatornamewithlimits{argmin}}f_{2}.$$

Equation follows from $$\begin{aligned}
\inf{\ensuremath{f_{1}\Box f_{2}}}&=\inf_{x}\inf_{x=y+z}[f_{1}(y)+f_{2}(z)]\\
&=\inf_{y,z}[f_{1}(y)+f_{2}(z)]=\inf f_{1}+\inf f_{2}.\end{aligned}$$ To see , we first show $$\label{e:setsum}
{\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})\subseteq{\operatornamewithlimits{argmin}}f_{1}+{\operatornamewithlimits{argmin}}f_{2}.$$ If ${\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})=\varnothing$, the inclusion holds trivially. Let us assume that ${\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})\neq \varnothing$ and let $x\in{\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})$. Since ${\ensuremath{f_{1}\Box f_{2}}}$ is exact, we have $x=y+z$ for some $y,z$ and ${\ensuremath{f_{1}\Box f_{2}}}(x)=f_{1}(y)+f_{2}(z)$. In view of , $$\begin{aligned}
f_{1}(y)+f_{2}(z) &={\ensuremath{f_{1}\Box f_{2}}}(x)=\min {\ensuremath{f_{1}\Box f_{2}}}=\inf f_{1}+\inf f_{2},\end{aligned}$$ from which $$(f_{1}(y)-\inf f_{1})+(f_{2}(z)-\inf f_{2})=0.$$ Then $f_{1}(y)=\inf f_{1}, f_{2}(z)=\inf f_{2}$, which gives $y\in{\operatornamewithlimits{argmin}}f_{1}, z\in{\operatornamewithlimits{argmin}}f_{2}$. Therefore, $x\in {\operatornamewithlimits{argmin}}f_{1}+{\operatornamewithlimits{argmin}}f_{2}$. Next, we show $$\label{e:setsum2}
{\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})\supseteq{\operatornamewithlimits{argmin}}f_{1}+{\operatornamewithlimits{argmin}}f_{2}.$$ If one of ${\operatornamewithlimits{argmin}}f_{1}, {\operatornamewithlimits{argmin}}f_{2}$ is empty, the inclusion holds trivially. Assume that ${\operatornamewithlimits{argmin}}f_{1}\neq\varnothing$ and ${\operatornamewithlimits{argmin}}f_{2}\neq\varnothing$. Take $y\in{\operatornamewithlimits{argmin}}f_{1}, z\in{\operatornamewithlimits{argmin}}f_{2}$, and put $x=y+z$. The definition of $\Box$ and give $${\ensuremath{f_{1}\Box f_{2}}}(x)\leq f_{1}(y)+f_{2}(z)=\min f_{1}+\min f_{2}=
\inf {\ensuremath{f_{1}\Box f_{2}}},$$ which implies $x\in{\operatornamewithlimits{argmin}}({\ensuremath{f_{1}\Box f_{2}}})$. Since $y\in{\operatornamewithlimits{argmin}}f_{1}$, $z\in{\operatornamewithlimits{argmin}}f_{2}$ were arbitrary, follows. Combining and gives .

\[l:epimulti\] Let $f_{1}:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ be proper and lsc, and let $\beta>0$. Then

1.  \[i:epimul:inf\] $$\inf\left[\beta f_{1}\left(\frac{\cdot}{\beta}\right)\right]=\beta\inf f_{1},\text{ and }$$

2.  \[i:epimul:min\] $${\operatornamewithlimits{argmin}}\left[\beta f_{1}
    \left(\frac{\cdot}{\beta}\right)\right]=\beta{\operatornamewithlimits{argmin}}f_{1}.$$

\[l:convexhull:f\] Let $f_{1}:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ be proper and lsc. Then the following hold:

1.  \[i:convexh:inf\] $$\inf ({\operatornamewithlimits{conv}}f_1) =\inf f_{1};$$

2.  \[i:convexh:min\] if, in addition, $f_{1}$ is coercive, then $${\operatornamewithlimits{argmin}}({\operatornamewithlimits{conv}}f_{1})
    ={\operatornamewithlimits{conv}}({\operatornamewithlimits{argmin}}f_{1}),$$ and ${\operatornamewithlimits{argmin}}({\operatornamewithlimits{conv}}f_{1})\neq\varnothing$.

Combine @benoist [Comment 3.7(4)] and @rockwets [Corollary 3.47].

We are now ready for the main result of this section.

\[t:shifted\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$, and let ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ be defined as in . Then the following hold:

1.  \[i:shifted:inf\] $$\begin{aligned}
    &\inf\left({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\right)\\
    &=\alpha\inf\left(
    f+\frac{1}{2\mu}\|\cdot\|^2\right)+(1-\alpha)
    \inf \left(
    g+\frac{1}{2\mu}\|\cdot\|^2\right);\end{aligned}$$

2.  \[i:shifted:min\] $$\begin{aligned}
    &{\operatornamewithlimits{argmin}}\left({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\right)\\
    & =\alpha{\operatornamewithlimits{conv}}\left[{\operatornamewithlimits{argmin}}\left(
    f+\frac{1}{2\mu}\|\cdot\|^2\right)\right]+(1-\alpha)
    {\operatornamewithlimits{conv}}\left[{\operatornamewithlimits{argmin}}\left(
    g+\frac{1}{2\mu}\|\cdot\|^2\right)\right]\neq\varnothing.\end{aligned}$$

Theorem \[t:prox\]\[i:epi:sum\] gives $$\begin{aligned}
& {\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\\
&=\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\right]
\Box \left[(1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right],\end{aligned}$$ in which the inf-convolution $\Box$ is exact.

\[i:shifted:inf\]: Using Lemma \[l:box\]\[i:box:inf\] and Lemma \[l:convexhull:f\]\[i:convexh:inf\], we deduce $$\begin{aligned}
&\inf\left({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\right)\\
&=\inf \left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\right]
+\inf \left[(1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right]\\
&=\alpha\inf \left[{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\right]
+(1-\alpha)\inf \left[{\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\right]\\
&=\alpha\inf\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)
+(1-\alpha)\inf
\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg).\end{aligned}$$

\[i:shifted:min\]: Note that $f+\frac{1}{2\mu}\|\cdot\|^2$ and $g+\frac{1}{2\mu}\|\cdot\|^2$ are coercive because of $0<\mu<{\operatorname{\bar{\lambda}}}$. Using Lemma \[l:box\]\[i:box:min\]-Lemma \[l:convexhull:f\]\[i:convexh:min\], we deduce $$\begin{aligned}
&{\operatornamewithlimits{argmin}}\left({\ensuremath{\varphi^{\alpha}_{\mu}}}+\frac{1}{2\mu}\|\cdot\|^2\right)\\
&={\operatornamewithlimits{argmin}}\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\right]
+{\operatornamewithlimits{argmin}}\left[(1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right]\\
&=\alpha{\operatornamewithlimits{argmin}}\left[{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\right]
+(1-\alpha){\operatornamewithlimits{argmin}}\left[{\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\right]\\
&=\alpha{\operatornamewithlimits{conv}}\left[{\operatornamewithlimits{argmin}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\right]
+(1-\alpha){\operatornamewithlimits{conv}}\left[{\operatornamewithlimits{argmin}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\right].\end{aligned}$$ Finally, these three sets of minimizers are nonempty by Lemma \[l:convexhull:f\]\[i:convexh:min\].

*Theorem \[t:shifted\]\[i:shifted:min\]* is just a rewritten form of $${\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}(0)=\alpha{\operatornamewithlimits{conv}}[{\operatorname{Prox}}_{\mu}f(0)]+(1-\alpha){\operatornamewithlimits{conv}}[{\operatorname{Prox}}_{\mu}g(0)].$$

In view of Theorem \[t:go:infinity\]\[i:inf:phi2\], when ${\operatorname{\bar{\lambda}}}=\infty$, as $\mu\rightarrow\infty$ the pointwise limit is $${\ensuremath{\varphi^{\alpha}_{\mu}}}{\stackrel{\operatorname{p}}{\rightarrow}}\left[
\alpha{\operatornamewithlimits{conv}}f\bigg(\frac{\cdot}{\alpha}\bigg)\Box (1-\alpha){\operatornamewithlimits{conv}}g\bigg(\frac{\cdot}{1-\alpha}\bigg)\right],$$ and the epi-limit is $${\ensuremath{\varphi^{\alpha}_{\mu}}}{\stackrel{\operatorname{e}}{\rightarrow}}{\operatorname{cl}}\left[
\alpha{\operatornamewithlimits{conv}}f\bigg(\frac{\cdot}{\alpha}\bigg)\Box (1-\alpha){\operatornamewithlimits{conv}}g\bigg(\frac{\cdot}{1-\alpha}\bigg)\right].$$

We conclude this section with a result on minimization of this limit.

\[p:coercive\] Suppose that both $f$ and $g$ are coercive. Then the following hold:

1.  \[i:coercive:1\] $\alpha{\operatornamewithlimits{conv}}f\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}g\left(\frac{\cdot}{1-\alpha}\right)$ is proper, lsc and convex;

2.  \[i:coercive:2\] $$\min \left[\alpha{\operatornamewithlimits{conv}}f\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}g\left(\frac{\cdot}{1-\alpha}\right)\right]=
    \alpha\min f+(1-\alpha)\min g;$$

3.  \[i:coercive:3\] $$\begin{aligned}
    & {\operatornamewithlimits{argmin}}\left[\alpha{\operatornamewithlimits{conv}}f\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}g\left(\frac{\cdot}{1-\alpha}\right)\right]\\
    & =
    \alpha{\operatornamewithlimits{conv}}{\operatornamewithlimits{argmin}}f+(1-\alpha){\operatornamewithlimits{conv}}{\operatornamewithlimits{argmin}}g\neq\varnothing.\end{aligned}$$

Since both $f$ and $g$ are coercive, by @rockwets [Corollary 3.47], ${\operatornamewithlimits{conv}}f$ and ${\operatornamewithlimits{conv}}g$ are lsc, convex and coercive. As $$(\alpha f^*+(1-\alpha) g^*)^*={\operatorname{cl}}\left[\alpha{\operatornamewithlimits{conv}}f\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}g\left(\frac{\cdot}{1-\alpha}\right)\right]$$ and ${\operatorname{dom}}f^*={\operatorname{\mathbb{R}}}^n={\operatorname{dom}}g^*$, the closure operation on the right-hand side is superfluous. This establishes \[i:coercive:1\]. Moreover, the infimal convolution $$\label{e:coercive0}
\alpha{\operatornamewithlimits{conv}}f\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}g\left(\frac{\cdot}{1-\alpha}\right)$$ is exact. For \[i:coercive:2\], \[i:coercive:3\], it suffices to apply Lemma \[l:box\] to for functions $\alpha{\operatornamewithlimits{conv}}f\left(\frac{\cdot}{\alpha}\right)$ and $\alpha{\operatornamewithlimits{conv}}g\left(\frac{\cdot}{\alpha}\right)$, followed by invoking Lemma \[l:epimulti\] and Lemma \[l:convexhull:f\].

Convergence in minimization
---------------------------

We need the following result on coercivity.

\[l:psi\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$, and let $\psi:{\operatorname{\mathbb{R}}}^n\rightarrow{\operatorname{\mathbb{R}}}$ be a convex function. If $f\geq \psi, g\geq\psi$, then ${\ensuremath{\varphi^{\alpha}_{\mu}}}\geq \psi$.

Recall ${\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=$ $$\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right](x)
-\frac{1}{2\mu}\|x\|^2.$$ As $f+\frac{1}{2\mu}\|\cdot\|^2\geq \psi+\frac{1}{2\mu}\|\cdot\|^2$ and the latter is convex, we have $${\operatornamewithlimits{conv}}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)\geq \psi+\frac{1}{2\mu}\|\cdot\|^2;$$ similarly, $${\operatornamewithlimits{conv}}\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)\geq \psi+\frac{1}{2\mu}\|\cdot\|^2.$$ Then $$\begin{aligned}
&\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\\
&\geq \alpha\bigg(\psi+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)
\Box
(1-\alpha)\bigg(\psi+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\\
&=\psi+\frac{1}{2\mu}\|\cdot\|^2,\end{aligned}$$ in which we have used the convexity of $\psi+\frac{1}{2\mu}\|\cdot\|^2$. The result follows.

Let $0<\mu<{\operatorname{\bar{\lambda}}}$. One has the following.

1.  \[i:coercive0\]If $f, g$ are bounded from below, then ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is bounded from below.

2.  \[i:coercive1\] If $f, g$ are level-coercive, then ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is level-coercive.

3.  \[i:coercive2\] If $f,g$ are coercive, then ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is coercive.

\[i:coercive0\]: Put $\psi=\min\{\inf f, \inf g\}$ and apply Lemma \[l:psi\].

\[i:coercive1\]: By @rockwets [Theorem 3.26(a)], there exist $\gamma\in (0,\infty)$, and $\beta\in{\operatorname{\mathbb{R}}}$ such that $f\geq \psi, g\geq \psi$ with $\psi=\gamma\|\cdot\|+\beta$. Apply Lemma \[l:psi\].

\[i:coercive2\]: By @rockwets [Theorem 3.26(b)], for every $\gamma\in (0,\infty)$, there exists $\beta\in{\operatorname{\mathbb{R}}}$ such that $f\geq \psi, g\geq \psi$ with $\psi=\gamma\|\cdot\|+\beta$. Apply Lemma \[l:psi\].

Suppose that the proper, lsc functions $f, g$ are level-coercive. Then for every ${\operatorname{\bar{\alpha}}}\in [0,1]$, we have $$\begin{aligned}
\lim_{\alpha\rightarrow{\operatorname{\bar{\alpha}}}}\inf{\ensuremath{\varphi^{\alpha}_{\mu}}}& =\inf {\ensuremath{\varphi^{{\operatorname{\bar{\alpha}}}}_{\mu}}}\text{ (finite)}, \text{ and }
\\
\limsup_{\alpha\rightarrow{\operatorname{\bar{\alpha}}}}{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}& \subseteq{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{{\operatorname{\bar{\alpha}}}}_{\mu}}}.\end{aligned}$$ Moreover, $({\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}})_{\alpha\in[0,1]}$ lies in a bounded set. Consequently, $$\lim_{\alpha\downarrow 0}\inf{\ensuremath{\varphi^{\alpha}_{\mu}}}=\inf g, \text{ and } \limsup_{\alpha\downarrow 0}{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}\subseteq{\operatornamewithlimits{argmin}}g;$$ $$\lim_{\alpha\uparrow 1}\inf{\ensuremath{\varphi^{\alpha}_{\mu}}}=\inf f, \text{ and }
\limsup_{\alpha\uparrow 1}{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}\subseteq{\operatornamewithlimits{argmin}}f.$$

By assumption, there exist $\gamma>0$ and $\beta\in{\operatorname{\mathbb{R}}}$ such that $f\geq\gamma\|\cdot\|+\beta, g\geq\gamma\|\cdot\|+\beta$. Lemma \[l:psi\] shows that ${\ensuremath{\varphi^{\alpha}_{\mu}}}\geq \gamma\|\cdot\|+\beta$ for every $\alpha\in [0,1]$. Since $\gamma\|\cdot\|+\beta$ is level-bounded, $({\ensuremath{\varphi^{\alpha}_{\mu}}})_{\alpha\in [0,1]}$ is uniformly level-bounded (so eventually level-bounded). Corollary \[t:alpha:epi\] says that $\alpha\mapsto {\ensuremath{\varphi^{\alpha}_{\mu}}}$ is epi-continuous on $[0,1]$. As $\lambda_{f}=\lambda_{g}=\infty$, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ and ${\ensuremath{\varphi^{{\operatorname{\bar{\alpha}}}}_{\mu}}}$ are proper and lsc for every $\mu>0$. Hence @rockwets [Theorem 7.33] applies.

Suppose that the proper, lsc functions $f, g$ are level-coercive and ${\operatorname{dom}}f\cap{\operatorname{dom}}g\neq\varnothing$. Then $$\begin{aligned}
\lim_{\mu\downarrow 0}\inf{\ensuremath{\varphi^{\alpha}_{\mu}}}& =\inf (\alpha f+(1-\alpha)g), \text{ and }
\\
\limsup_{\mu\downarrow 0}{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}& \subseteq{\operatornamewithlimits{argmin}}(\alpha f+(1-\alpha)g).\end{aligned}$$ Moreover, $({\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}})_{\mu>0}$ lies in a bounded set.

Note that each ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is proper and lsc, and $f+g$ is proper and lsc. By Theorem \[t:u:0\], when $\mu\downarrow 0$, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ epi-converges to $f+g$. By assumption, there exist $\gamma>0$ and $\beta\in{\operatorname{\mathbb{R}}}$ such that $f\geq\gamma\|\cdot\|+\beta, g\geq\gamma\|\cdot\|+\beta$. Lemma \[l:psi\] shows that ${\ensuremath{\varphi^{\alpha}_{\mu}}}\geq \gamma\|\cdot\|+\beta$ for every $\mu\in ]0,\infty[$. Since $\gamma\|\cdot\|+\beta$ is level-bounded, $({\ensuremath{\varphi^{\alpha}_{\mu}}})_{\mu\in ]0,\infty[}$ is uniformly level-bounded (so eventually level-bounded). It remains to apply @rockwets [Theorem 7.33].

Suppose that the proper and lsc functions $f, g$ are coercive. Then for every ${\operatorname{\bar{\mu}}}\in ]0,\infty]$, we have $$\begin{aligned}
\label{e:bcoercive}
\lim_{\mu\uparrow{\operatorname{\bar{\mu}}}}\inf{\ensuremath{\varphi^{\alpha}_{\mu}}}& =\inf {\ensuremath{\varphi_{f,g,\alpha,{\operatorname{\bar{\mu}}}}}}\text{ (finite)}, \text{ and }
\nonumber\\
\limsup_{\mu\uparrow {\operatorname{\bar{\mu}}}}{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}& \subseteq{\operatornamewithlimits{argmin}}{\ensuremath{\varphi_{f,g,\alpha,{\operatorname{\bar{\mu}}}}}}.\end{aligned}$$ Moreover, $({\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}})_{\mu>0}$ lies in a bounded set. Consequently, $$\begin{aligned}
\label{e:coercive:inf}
\lim_{\mu\uparrow \infty}\inf{\ensuremath{\varphi^{\alpha}_{\mu}}}& =\alpha\min f+(1-\alpha)\min g, \text{ and }
\nonumber \\
\limsup_{\mu\uparrow \infty}{\operatornamewithlimits{argmin}}{\ensuremath{\varphi^{\alpha}_{\mu}}}& \subseteq
(\alpha{\operatornamewithlimits{conv}}{\operatornamewithlimits{argmin}}f+(1-\alpha){\operatornamewithlimits{conv}}{\operatornamewithlimits{argmin}}g).\end{aligned}$$

Note that each ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is proper and lsc for $\mu\in]0,\infty[$. When $\mu=\infty$, Proposition \[p:coercive\] gives that the epi-limit is proper, lsc and convex. By Theorem \[t:go:infinity\]\[i:mono:phi\], when $\mu\uparrow{\operatorname{\bar{\mu}}}$, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ monotonically decrease to ${\ensuremath{\varphi_{f,g,\alpha,{\operatorname{\bar{\mu}}}}}}$. Since ${\ensuremath{\varphi_{f,g,\alpha,{\operatorname{\bar{\mu}}}}}}$ is lsc, so ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ epi-converges to ${\ensuremath{\varphi_{f,g,\alpha,{\operatorname{\bar{\mu}}}}}}$. By assumption, for every $\gamma>0$ there exists $\beta\in{\operatorname{\mathbb{R}}}$ such that $f\geq\gamma\|\cdot\|+\beta, g\geq\gamma\|\cdot\|+\beta$. Lemma \[l:psi\] shows that ${\ensuremath{\varphi^{\alpha}_{\mu}}}\geq \gamma\|\cdot\|+\beta$ for every $\mu\in ]0,\infty[$. Since $\gamma\|\cdot\|+\beta$ is level-bounded, $({\ensuremath{\varphi^{\alpha}_{\mu}}})_{\mu\in ]0,\infty[}$ is uniformly level-bounded (so eventually level-bounded). Hence follows from @rockwets [Theorem 7.33]. Combining , Theorem \[t:go:infinity\] and Proposition \[p:coercive\] yields .

Subdifferentiability of the proximal average {#s:subd}
============================================

In this section, we focus on the subdifferentiability and differentiability of proximal average.

Following Benoist and Hiriart-Urruty @benoist, we say that a family of points $\{x_{1},\ldots, x_{m}\}$ in ${\operatorname{dom}}f$ is called by $x\in{\operatorname{dom}}{\operatornamewithlimits{conv}}f$ if $$x=\sum_{i=1}^{m}\alpha_{i}x_{i}, \text{ and } {\operatornamewithlimits{conv}}f(x)=\sum_{i=1}^{m}\alpha_{i}f(x_{i}),$$ where $\sum_{i=1}^{m}\alpha_{i}=1$ and $(\forall i)\ \alpha_{i}>0$. The following result is the central one of this section.

\[subdifferentiability of the proximal average\]\[t:vphi:sub\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$, let $x\in{\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$ and $x=y+z$. Suppose the following conditions hold:

1.  \[i:function1\] $$\begin{aligned}
    &\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right](x)\\
    &=\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{y}{\alpha}\right)+(1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{z}{1-\alpha}\right),\end{aligned}$$

2.  \[i:function2\]$\{y_{1},\ldots,y_{l}\}$ are called by $y/\alpha$ in ${\operatornamewithlimits{conv}}(f+1/2\mu\|\cdot\|^2)$, and

3.  \[i:function3\] $\{z_{1},\ldots,z_{m}\}$ are called by $z/(1-\alpha)$ in ${\operatornamewithlimits{conv}}(g+1/2\mu\|\cdot\|^2)$.

Then $$\begin{aligned}
\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x) &=
\partial_{L}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)
=\partial_{C}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)
\\
&=\left[\cap_{i=1}^{l}\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
\left(y_{i}\right)\right]\cap
\left[\cap_{j=1}^{m}\partial\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)\left(z_{j}\right)\right]-
\frac{x}{\mu}.\end{aligned}$$

By Theorem \[t:prox\]\[i:epi:sum\], the Clarke regularity of ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ and sum rule of limiting subdifferentials, we have $\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=\partial_{C}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=\partial_{L}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=$ $$\begin{aligned}
\label{e:diff:conv}
&\partial_{L}\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right](x)
-\frac{x}{\mu}\\
&=\partial \left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right](x)
-\frac{x}{\mu}.\nonumber\end{aligned}$$ Using the subdifferential formula for infimal convolution @convmono [Proposition 16.61] or @zalinescu2002convex [Corollary 2.4.7], we obtain $$\begin{aligned}
\label{e:infsub}
& \partial\left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{\alpha}\right)\Box (1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{\cdot}{1-\alpha}\right)\right](x)\\
&=
\partial \left[\alpha{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{y}{\alpha}\right)\right]\cap
\partial \left[(1-\alpha){\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\left(\frac{z}{1-\alpha}\right)\right]\\
&=
\partial{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)(\bar{y})\cap
\partial{\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)(\bar{z})\end{aligned}$$ where $\bar{y}=\frac{y}{\alpha}$, $\bar{z}=\frac{z}{1-\alpha}$. The subdifferential formula for the convex hull of a coercive function @benoist [Corollary 4.9] or @rabier [Theorem 3.2] gives $$\label{e:convf}
\partial{\operatornamewithlimits{conv}}\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\big(\bar{y}\big)=
\cap_{i=1}^{l}\partial\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)\big(y_{i}),$$ $$\label{e:convg}
\partial{\operatornamewithlimits{conv}}\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\big(\bar{z}\big)=
\cap_{j=1}^{m}\partial\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)\big(z_{j}).$$ Therefore, the result follows by combining and .

Let $0<\mu<{\operatorname{\bar{\lambda}}}$, let $\alpha_{i}>0, \beta_{j}>0$ with $\sum_{i=1}^{l}\alpha_{i}=1, \sum_{j=1}^{m}\beta=1$ and let $\alpha\in ]0,1[$. Suppose that $$\label{e:x=yz}
x=\alpha\sum_{i=1}^{l}\alpha_{i}y_{i}+(1-\alpha)\sum_{j=1}^{m}\beta_{j}z_{j},$$ and $$\label{e:commonsub}
\left[\cap_{i=1}^{l}\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
\left(y_{i}\right)\right]\cap
\left[\cap_{j=1}^{m}\partial\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)\left(z_{j}\right)\right]
\neq \varnothing.$$ Then $$\begin{aligned}
\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x) &=
\partial_{L}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)
=\partial_{C}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)\nonumber\\
&=\left[\cap_{i=1}^{l}\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
\left(y_{i}\right)\right]\cap
\left[\cap_{j=1}^{m}\partial\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)\left(z_{j}\right)\right]-
\frac{x}{\mu}.\end{aligned}$$

We will show that $$\label{e:called:y0}
{\operatornamewithlimits{conv}}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)\sum_{i=1}^{l}\alpha_{i}y_{i}
=\sum_{i}^{l}\alpha_{i}
\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i}).$$ By , there exists $$y^*\in \left[\cap_{i=1}^{l}\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
\left(y_{i}\right)\right]\cap
\left[\cap_{j=1}^{m}\partial\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)\left(z_{j}\right)\right].$$ For every $y_{i}$, we have $$(\forall u\in{\operatorname{\mathbb{R}}}^n)\ \left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(u)\geq \left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})
+{\langle{{y^*},{u-y_{i}}}\rangle}.$$ Multiplying each inequality by $\alpha_i$, followed by summing them up, gives $$(\forall u\in{\operatorname{\mathbb{R}}}^n)\ \left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(u)\geq \sum_{i=1}^{l}\alpha_{i}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})
+{\langle{{y^*},{u-\sum_{i=1}^{l}\alpha_{i}y_{i}}}\rangle}.$$ Then $$(\forall u\in{\operatorname{\mathbb{R}}}^n)\ {\operatornamewithlimits{conv}}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(u)\geq \sum_{i=1}^{l}\alpha_{i}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})
+{\langle{{y^*},{u-\sum_{i=1}^{l}\alpha_{i}y_{i}}}\rangle},$$ from which $$\label{e:called:y1}
{\operatornamewithlimits{conv}}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)\sum_{i=1}^{l}\alpha_{i}y_{i}
\geq \sum_{i=1}^{l}\alpha_{i}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i}).$$ Since ${\operatornamewithlimits{conv}}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(\sum_{i=1}^{l}\alpha_{i}y_{i})
\leq \sum_{i=1}^{l}\alpha_{i}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})$ always holds, is established. Moreover, and implies $$\label{e:called:y2}
y^*\in \partial {\operatornamewithlimits{conv}}\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
\sum_{i=1}^{l}\alpha_{i}y_{i}.$$ Similar arguments give $$\label{e:called:z0}
{\operatornamewithlimits{conv}}\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)(\sum_{j=1}^{m}\beta_{j}z_{j})
=\sum_{j}^{m}\beta_{j}
\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)(z_{j}),$$ and $$\label{e:called:z1}
y^*\in \partial {\operatornamewithlimits{conv}}\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)\sum_{j=1}^{m}\beta_{j}y_{j}.$$ Put $x=y+z$ with $y=\alpha\sum_{i=1}^{l}\alpha_{i}y_{i}$ and $z=(1-\alpha)
\sum_{j=1}^{m}\beta_{j}z_{j}.$ Equations and guarantee the assumption \[i:function1\] of Theorem \[t:vphi:sub\]; and guarantee the assumptions \[i:function2\] and \[i:function3\] of Theorem \[t:vphi:sub\] respectively. Hence, Theorem \[t:vphi:sub\] applies.

Let $0<\mu<{\operatorname{\bar{\lambda}}}$. Suppose that $$\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(x)\cap \partial\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)(x)\neq\varnothing.$$ Then $$\begin{aligned}
\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x) &=
\partial_{L}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)
=\partial_{C}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)\\
&=\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
(x)\cap
\partial\left(g+\frac{1}{2\mu}\|\cdot\|^2\right)(x)-
\frac{x}{\mu}.\end{aligned}$$

Armed with Theorem \[t:vphi:sub\], we now turn to the differentiability of ${\ensuremath{\varphi^{\alpha}_{\mu}}}$.

A function $f_{1}:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ is almost differentiable if $\hat{\partial} f_{1}(x)$ is a singleton for every $x\in {\operatorname{int}}({\operatorname{dom}}f_{1})$, and $\hat{\partial} f_{1}(x)=\varnothing$ for every $x\in{\operatorname{dom}}f_{1}\setminus{\operatorname{int}}({\operatorname{dom}}f_{1})$, if any.

\[l:sumrule\] Let $f_{1},f_{2}:{\operatorname{\mathbb{R}}}^n\rightarrow{\ensuremath{\,\left]-\infty,+\infty\right]}}$ be proper, lsc functions and let $x\in{\operatorname{dom}}f_{1}\cap{\operatorname{dom}}f_{2}$. If $f_{2}$ is continuously differentiable at $x$, then $$\partial (f_{1}+f_{2})(x)
\subset\hat{\partial}(f_{1}+f_{2})(x)=
\hat{\partial}f_{1}(x)+\triangledown f_{2}(x).$$

\[l:diff:hypo\] Let $f_{1}:{\operatorname{\mathbb{R}}}^n\rightarrow {\ensuremath{\,\left]-\infty,+\infty\right]}}$ be proper, lsc and $\mu$-proximal, and let $x\in{\operatorname{int}}{\operatorname{dom}}f_{1}$. If $\hat{\partial}f_{1}(x)$ is a singleton, then $f_{1}$ is differentiable at $x$.

Observe that $f_{2}=f_{1}+\frac{1}{2\mu}\|\cdot\|^2$ is convex, and $$\partial f_{2}(x)=\hat{\partial}f_{2}(x)
=\hat{\partial}f_{1}(x)+\frac{x}{\mu}.$$ When $\hat{\partial}f_{1}(x)$ is a singleton, $\partial f_{2}(x)$ is a singleton. This implies that $f_{2}$ is differentiable at $x$ because $f_{2}$ is convex and $x\in{\operatorname{int}}{\operatorname{dom}}f_{2}$. Hence, $f_{1}$ is differentiable at $x$.

\[differentiability of the proximal average\] \[c:interior:diff\] Let $0<\mu<{\operatorname{\bar{\lambda}}}$. Suppose that either $f$ or $g$ is almost differentiable (in particular, if $f$ or $g$ is differentiable at every point of its domain). Then ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is almost differentiable. In particular, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is differentiable on the interior of its domain ${\operatorname{int}}{\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$.

Without loss of generality, assume that $f$ is almost differentiable. By Lemma \[l:sumrule\], $$\label{e:frechet}
\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)
\left(y_{i}\right)\subset \hat{\partial} f(y_{i})+\frac{y_{i}}{\mu}.$$ It follows that $\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})$ is at most single-valued whenever $\hat{\partial}f(y_{i})$ is single-valued.

With the same notation as in Theorem \[t:vphi:sub\], we consider two cases.

<span>*Case 1:*</span> $x\in{\operatorname{bdry}}{\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$. As $x=\alpha(y/\alpha)+(1-\alpha)(z/(1-\alpha))$, we must have $y/\alpha\in({\operatorname{bdry}}{\operatornamewithlimits{conv}}{\operatorname{dom}}f)$ and $z/(1-\alpha)\in{\operatorname{bdry}}({\operatornamewithlimits{conv}}{\operatorname{dom}}g)$; otherwise $x\in{\operatorname{int}}(\alpha{\operatornamewithlimits{conv}}{\operatorname{dom}}f+(1-\alpha){\operatornamewithlimits{conv}}{\operatorname{dom}}g)
={\operatorname{int}}{\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$, which is a contradiction. Then the family of $\{y_{1},\ldots, y_{m}\}$ called by $y/\alpha$ must be from ${\operatorname{bdry}}{\operatorname{dom}}f$. As $f$ is almost differentiable, $\hat{\partial}f(y_{i})=\varnothing$, then $\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=\varnothing$ by Theorem \[t:vphi:sub\] and .

<span>*Case 2:*</span> $x\in{\operatorname{int}}({\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}})$. As ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is $\mu$-proximal, $\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)\neq\varnothing$. We claim that the family of $\{y_{1},\ldots, y_{m}\}$ called by $y/\alpha$ in Theorem \[t:vphi:sub\] are necessarily from ${\operatorname{int}}{\operatorname{dom}}f$. If not, then $\partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})=\varnothing$ because of and $\hat{\partial}f(y_{i})=\varnothing$ for $y_{i}\in{\operatorname{bdry}}({\operatorname{dom}}f)$. Then Theorem \[t:vphi:sub\] implies $\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)=\varnothing$, which is a contradiction. Now $\{y_{1},\ldots, y_{m}\}$ are from ${\operatorname{int}}{\operatorname{dom}}f$ and $f$ is almost differentiable, so $(\forall i)\ \hat{\partial}f(y_{i})$ is a singleton. Using again and $\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)\neq\varnothing$, we see that $(\forall i)\ \partial\left(f+\frac{1}{2\mu}\|\cdot\|^2\right)(y_{i})$ is a singleton. Hence, $\hat{\partial}{\ensuremath{\varphi^{\alpha}_{\mu}}}(x)$ is a singleton by Theorem \[t:vphi:sub\].

Case 1 and Case 2 together show that ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is almost differentiable. Finally, ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is differentiable on ${\operatorname{int}}{\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}$ by Lemma \[l:diff:hypo\].

Let $0<\mu<{\operatorname{\bar{\lambda}}}$. Suppose that either $f$ or $g$ is almost differentiable and that either ${\operatornamewithlimits{conv}}{\operatorname{dom}}f={\operatorname{\mathbb{R}}}^n$ or ${\operatornamewithlimits{conv}}{\operatorname{dom}}g={\operatorname{\mathbb{R}}}^n$. Then ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is differentiable on ${\operatorname{\mathbb{R}}}^n$.

By Theorem \[t:prox\]\[i:dom:convhull\], ${\operatorname{dom}}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\operatorname{\mathbb{R}}}^n$. It suffices to apply Corollary \[c:interior:diff\].

We end this section with a result on Lipschitz continuity of the gradient of ${\ensuremath{\varphi^{\alpha}_{\mu}}}$.

Suppose that $f$ (or $g$) is differentiable with a Lipschtiz continuous gradient and $\mu$-proximal. Then, for every $\alpha\in ]0,1[$, the function ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is differentiable with a Lipschitz continuous gradient.

As $f$ is $\mu$-proximal and differentiable with a Lipschtiz continuous gradient, the function $f+\frac{1}{2\mu}\|\cdot\|^2$ is convex and differentiable with a Lipschitz continuous gradient. By @rockwets [Proposition 12.60], $\big(f+\frac{1}{2\mu}\|\cdot\|^2\big)^*$ is strongly convex, so $$\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*$$ is strongly convex. By @rockwets [Proposition 12.60] again, $$\left[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\right]^*$$ is convex and differentiable with a Lipschitz continuous gradient. Since ${\ensuremath{\varphi^{\alpha}_{\mu}}}=$ $$\left[\alpha\bigg(f+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*+
(1-\alpha)\bigg(g+\frac{1}{2\mu}\|\cdot\|^2\bigg)^*\right]^*
-\frac{1}{2\mu}\|\cdot\|^2,$$ we see that ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ is differentiable with a Lipschitz continuous gradient.

The proximal average for quadratic functions {#s:quad}
============================================

In this section, we illustrate the above results for quadratic functions. For an $n\times n $ symmetric matrix $A$, define the quadratic function ${\ensuremath{\,\mathfrak{q}}}_{A}:{\operatorname{\mathbb{R}}}^n\rightarrow{\operatorname{\mathbb{R}}}$ by $x\mapsto \frac{1}{2}{\langle{{x},{Ax}}\rangle}.$ We use ${\ensuremath{\, \lambda_{\min}}}A$ to denote the smallest eigenvalue of $A$.

\[l:quad\] For an $n\times n$ symmetric matrix $A$, one has

1.  \[i:quad1\] ${\ensuremath{\,\mathfrak{q}}}_{A}$ is prox-bounded with threshold $$\label{e:boundp}
    \lambda_{{\ensuremath{\,\mathfrak{q}}}_{A}}=\frac{1}{\max\{0,-{\ensuremath{\, \lambda_{\min}}}A\}}>0$$ and $\mu$-proximal for every $0<\mu\leq \lambda_{{\ensuremath{\,\mathfrak{q}}}_{A}}$;

2.  \[e:boundp1\] the prox-bound $\lambda_{{\ensuremath{\,\mathfrak{q}}}_{A}}=+\infty$ if and only if $A$ is positive semidefinite;

3.  \[i:quad2\] if $0<\mu<\lambda_{{\ensuremath{\,\mathfrak{q}}}_{A}}$, then $$\label{e:quadenv}
    e_{\mu}{\ensuremath{\,\mathfrak{q}}}_{A}={\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[{\operatorname{Id}}-(\mu A+{\operatorname{Id}})^{-1}]};\text { and }$$ $$\label{e:quadprox}
    {\operatorname{Prox}}_{\mu}{\ensuremath{\,\mathfrak{q}}}_{A}=(\mu A+{\operatorname{Id}})^{-1}.$$

\[i:quad1\]: As $A$ can be diagonalized, ${\ensuremath{\,\mathfrak{q}}}_{A}\geq {\ensuremath{\, \lambda_{\min}}}A {\ensuremath{\,\mathfrak{q}}}_{{\operatorname{Id}}}$. Apply @rockwets [Exercise 1.24] to obtain . When $0<\mu\leq \lambda_{{\ensuremath{\,\mathfrak{q}}}_{A}}$, $A+\frac{1}{\mu}{\operatorname{Id}}$ has nonnegative eigenvalues, so ${\ensuremath{\,\mathfrak{q}}}_{A}+\frac{1}{\mu}{\ensuremath{\,\mathfrak{q}}}_{{\operatorname{Id}}}$ is convex.

\[e:boundp1\]: This follows from \[i:quad1\].

\[i:quad2\]: When $0<\mu<\lambda_{{\ensuremath{\,\mathfrak{q}}}_{A}}$, the function ${\ensuremath{\,\mathfrak{q}}}_{A}+\frac{1}{\mu}{\ensuremath{\,\mathfrak{q}}}_{{\operatorname{Id}}}$ is strictly convex. To find $$\label{e:quade}
e_{\mu}{\ensuremath{\,\mathfrak{q}}}_{A}(x)=\inf_{w}\left({\ensuremath{\,\mathfrak{q}}}_{A}(w)+\frac{1}{\mu}{\ensuremath{\,\mathfrak{q}}}_{{\operatorname{Id}}}(x-w)\right),$$ one directly takes derivative with repect to $w$ to find $$\label{e:quadp}
{\operatorname{Prox}}_{\mu}{\ensuremath{\,\mathfrak{q}}}_{A}(x)=(\mu A+{\operatorname{Id}})^{-1}(x).$$ Substitute into to get .

Let $A_{1}, A_{2}$ be two $n\times n$ symmetric matrices and let $0<\mu<{\operatorname{\bar{\lambda}}}=\min\{\lambda_{{\ensuremath{\,\mathfrak{q}}}_{A_{1}}},\lambda_{{\ensuremath{\,\mathfrak{q}}}_{A_{2}}}\}$. Then the following hold:

1.  \[e:proxq1\] ${\ensuremath{\varphi^{\alpha}_{\mu}}}={\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}A_{3}}$ with $$A_{3}=[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]^{-1}-{\operatorname{Id}},$$ and $${\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1};$$

2.  \[e:proxq2\] $\lim_{\alpha\downarrow 0}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\ensuremath{\,\mathfrak{q}}}_{A_{2}}$ and $\lim_{\alpha\uparrow 1}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\ensuremath{\,\mathfrak{q}}}_{A_{1}};$

3.  \[e:proxq3\] $\lim_{\mu\downarrow 0}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha{\ensuremath{\,\mathfrak{q}}}_{A_{1}}+(1-\alpha){\ensuremath{\,\mathfrak{q}}}_{A_{2}};$

4.  \[e:proxq3.5\] when ${\operatorname{\bar{\lambda}}}<\infty$, $$\lim_{\mu\uparrow {\operatorname{\bar{\lambda}}}}{\ensuremath{\varphi^{\alpha}_{\mu}}}=
    {\ensuremath{\,\mathfrak{q}}}_{\alpha^{-1}(A_{1}+{\operatorname{\bar{\lambda}}}^{-1}{\operatorname{Id}})}\Box {\ensuremath{\,\mathfrak{q}}}_{(1-\alpha)^{-1}(A_{2}+{\operatorname{\bar{\lambda}}}^{-1}{\operatorname{Id}})}-
    {\ensuremath{\,\mathfrak{q}}}_{{\operatorname{\bar{\lambda}}}^{-1}{\operatorname{Id}}};$$

5.  \[e:proxq4\] when both $A_{1}, A_{2}$ are positive definite, ${\operatorname{\bar{\lambda}}}=+\infty$, $$\lim_{\mu\uparrow \infty}{\ensuremath{\varphi^{\alpha}_{\mu}}}={\ensuremath{\,\mathfrak{q}}}_{(\alpha A_{1}^{-1}+(1-\alpha)A_{2}^{-1})^{-1}}.$$

\[e:proxq1\]: By Lemma \[l:quad\], $$\begin{aligned}
& -\alpha e_{\mu}{\ensuremath{\,\mathfrak{q}}}_{A_{1}}-(1-\alpha)e_{\mu}{\ensuremath{\,\mathfrak{q}}}_{A_{2}}\\
&=-\alpha {\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[{\operatorname{Id}}-(\mu A_{1}+{\operatorname{Id}})^{-1}]}-(1-\alpha){\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[{\operatorname{Id}}-(\mu A_{2}+{\operatorname{Id}})^{-1}]}\\
&={\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})-{\operatorname{Id}}]}.\end{aligned}$$ Thus, applying Lemma \[l:quad\] again, $$\begin{aligned}
{\ensuremath{\varphi^{\alpha}_{\mu}}}&=-e_{\mu}({\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}-{\operatorname{Id}}]})
\\
&=-{\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[{\operatorname{Id}}-(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})^{-1}]}\\
&={\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})^{-1}-{\operatorname{Id}}]}.\end{aligned}$$ Again, using Lemma \[l:quad\], $$\begin{aligned}
e_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}&= e_{\mu}{\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})^{-1}-{\operatorname{Id}}]}\\
&={\ensuremath{\,\mathfrak{q}}}_{\mu^{-1}[{\operatorname{Id}}-(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})]},\end{aligned}$$ so $${\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}.$$

\[e:proxq2\]: Note that the matrix function $A\mapsto A^{-1}$ is continuous whenever $A$ is invertible. Then \[e:proxq2\] is immediate because $$\lim_{\alpha\downarrow 0}(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})^{-1}
=((\mu A_{2}+{\operatorname{Id}})^{-1})^{-1}=\mu A_{2}+{\operatorname{Id}}, \text{ and }$$ $$\lim_{\alpha\uparrow 1}(\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1})^{-1}
=((\mu A_{1}+{\operatorname{Id}})^{-1})^{-1}=\mu A_{1}+{\operatorname{Id}}.$$

\[e:proxq3\]: It suffices to show $$\lim_{\mu\downarrow 0}\frac{[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]^{-1}-{\operatorname{Id}}}{\mu}=\alpha A_{1}+(1-\alpha)A_{2},$$ equivalently, $$\label{e:matrix}
\small\lim_{\mu\downarrow 0}\frac{[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]^{-1}-[\alpha(\mu A_{1}+{\operatorname{Id}})+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})]}{\mu}=0.$$ Since $\lim_{\mu\downarrow 0}[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]
={\operatorname{Id}}$, follows from the following calculation: $$\begin{aligned}
&[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]\cdot
\nonumber\\
&\frac{[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]^{-1}-[\alpha(\mu A_{1}+{\operatorname{Id}})+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})]}{\mu}\\
&= \frac{{\operatorname{Id}}-[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]
[\alpha(\mu A_{1}+{\operatorname{Id}})+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})]}{\mu}\\
&=-\alpha(1-\alpha)[(\mu A_{1}+{\operatorname{Id}})^{-1}(A_{2}-A_{1})
+(\mu A_{2}+{\operatorname{Id}})^{-1}(A_{1}-A_{2})]\\
& \rightarrow -\alpha(1-\alpha)[(A_{2}-A_{1})
+(A_{1}-A_{2})]= 0.\end{aligned}$$

\[e:proxq3.5\]: The matrices $A_{1}+{\operatorname{\bar{\lambda}}}^{-1}{\operatorname{Id}}$ and $A_{2}+{\operatorname{\bar{\lambda}}}^{-1}{\operatorname{Id}}$ are positive semidefinite, so the convex hulls are superfluous.

\[e:proxq4\]: As $\mu\rightarrow\infty$, we have $$\begin{aligned}
&\frac{[\alpha(\mu A_{1}+{\operatorname{Id}})^{-1}+(1-\alpha)(\mu A_{2}+{\operatorname{Id}})^{-1}]^{-1}-{\operatorname{Id}}}{\mu}\\
&=\left[\alpha\left(A_{1}+\frac{{\operatorname{Id}}}{\mu}\right)^{-1}
+(1-\alpha)\left(A_{2}+\frac{{\operatorname{Id}}}{\mu}\right)^{-1}\right]-\frac{{\operatorname{Id}}}{\mu}\\
&\rightarrow (\alpha A_{1}^{-1}+(1-\alpha)A_{2}^{-1})^{-1}.\end{aligned}$$

When both $A_{1}, A_{2}$ are positive semidefinite matrices, we refer the reader to *@respos*.

The general question is still unanswered {#s:theg}
========================================

According to Theorem \[prop:convcomb\], suppose that $0<\mu<{\operatorname{\bar{\lambda}}}$, $0<\alpha<1$ and ${\operatorname{Prox}}_{\mu}f$ and ${\operatorname{Prox}}_{\mu}g$ are convex-valued. Then there exists a proper, lsc function ${\ensuremath{\varphi^{\alpha}_{\mu}}}$ such that ${\operatorname{Prox}}_{\mu}{\ensuremath{\varphi^{\alpha}_{\mu}}}=\alpha{\operatorname{Prox}}_{\mu}f+(1-\alpha){\operatorname{Prox}}_{\mu}g$. When the proximal mapping is not convex-valued, the situation is subtle. We illustrate this by revisiting Example \[e:proximal:fk\]. Recall that for $\varepsilon_{k}>0$, the function $$f_{k}(x)=\max\{0,(1+\varepsilon_{k})(1-x^2)\}$$ has $${\operatorname{Prox}}_{1/2}f_{k}(x)=\begin{cases}
x &\text{ if $x\geq 1$,}\\
1 &\text{ if $0<x<1$,}\\
\{-1,1\} &\text{ if $x=0$,}\\
-1 &\text{ if $-1<x<0$,}\\
x &\text{ if $x\leq -1$.}
\end{cases}$$ With $\alpha=1/2$, we have $$\label{e:prox:half}
(\alpha {\operatorname{Prox}}_{1/2}f_{1}+(1-\alpha){\operatorname{Prox}}_{1/2}f_{2})(x)
=\begin{cases}
x &\text{ if $x\geq 1$,}\\
1 &\text{ if $0<x<1$,}\\
\{-1,0,1\} &\text{ if $x=0$,}\\
-1 &\text{ if $-1<x<0$,}\\
x &\text{ if $x\leq -1$.}
\end{cases}$$ Because ${\operatorname{Prox}}_{1/2}f_{i}(0)$ is not convex-valued, $(\alpha {\operatorname{Prox}}_{1/2}f_{1}+(1-\alpha){\operatorname{Prox}}_{1/2}f_{2})(0)$ is neither ${\operatorname{Prox}}_{1/2}f_{1}(0)$ nor ${\operatorname{Prox}}_{1/2}f_{2}(0)$, although ${\operatorname{Prox}}_{1/2}f_{1}(0)={\operatorname{Prox}}_{1/2}f_{2}(0)$.

One can verify that is indeed ${\operatorname{Prox}}_{1/2}g(x)$ where $$g(x)=\begin{cases}
0 &\text{ if $x>1$,}\\
-x(x-1)-x^2+1 &\text{ if $0<x\leq 1$,}\\
-x(x+1)-x^2+1 &\text{ if $-1<x\leq 0$,}\\
0 &\text{ if $x\leq -1$.}
\end{cases}$$ Regretfully, we do not have a systematic way to find $g$ when ${\operatorname{Prox}}_{\mu}g$ is not convex-valued. The challenging question is still open:

*Is a convex combination of proximal mappings of possibly nonconvex functions always a proximal mapping?*

Acknowledgment {#acknowledgment .unnumbered}
==============

Xianfu Wang was partially supported by the Natural Sciences and Engineering Research Council of Canada.

[^1]: School of Mathematics and Statistics, Southwest University, Chongqing 400715, P. R. China. Email: `pearsonmichael@example.com.`

[^2]: Mathematics, University of British Columbia, Kelowna, B.C. V1V 1V7, Canada; and School of Mathematics and Statistics, Southwest University, Chongqing 400715, P. R. China.  Email: `pearsonmichael@example.com.`

[^3]: School of Mathematics and Applied Statistics, University of Wollongong, Wollongong, NSW, 2500, Australia. Email: `pearsonmichael@example.com.`

{'source': 'arXiv_out/1909'}