I've recently come across many results discussing the differentiation of the Moreau envelope defined by
\begin{equation}
e(f)(x)\triangleq \min\_{h \in H} \|h-x\|^2 + f(h),
\end{equation}
where $f$ is a convex functional on a separable Hilbert space $H$.  

Examples of results on differentiability are [here](http://jourani.perso.math.cnrs.fr/JFA-JTZ.pdf), as well as Moreau's original papers. However, I didn't seem to come across any results about the twice differentiability of the operator... Are these results known/ what are the conditions on a convex function $f$ so that its Moreau envelope is twice continuously differentiable?



Differentiability of the Moreau envelope
This is not an answer, but a few thoughts on the subject:


As you know, the Moreau enveloppe of a convex lower semicontinuous function is always Fréchet differentiable, with its gradient being $1$-lipschitz continuous.
Actually, its gradient can be expressed as follows: $\nabla e(f)(x) = x - \text{prox}\_f (x)$, where $\text{prox}\_f$ is the proximal operator of $f$. So questioning the differentiability of $\nabla e(f)$ is equivalent to the one of $prox\_f$.


One particular interesting example is $f$ being the indicator function of a closed convex set $C$ with nonempty interior, for which $prox\_f$ becomes the projection $\text{proj}\_C$. In this case, we know [1](https://www.jstor.org/stable/2321379)
that the projection is differentiable (almost) if and only if the set has a $C^2$ boundary.


For general functions $f$, we have that $x^+ = \text{prox}\_f(x) \iff x^+ = \text{proj}\_{S\_f(x^+)}(x)$, where $S\_f(x^+)$ is the sublevel set $\{y \in H \ | \ f(y) \le f(x^+) \}$. Even though $S\_f(x^+)$ depends on $x$, this suggests that the projection onto sublevel sets should be differentiable. According to what precedes, we infer informally that the function should have lower sets of class $C^2$ (e.g. $f$ having a $C^2$ domain, and being twice differentiable in this domain). I unfortunately found no results on this question.


[1](https://www.jstor.org/stable/2321379) J.-B. Hiriart-Urruty. [“At What Points Is the Projection Mapping Differentiable?”](https://www.jstor.org/stable/2321379) The American Mathematical Monthly, vol. 89, no. 7, 1982, pp. 456–458.


