Real analytic approximations which almost preserve Lipschitz constants of functions defined on the Hilbert space

Abstract

Let $X$ be a separable real Hilbert space. We show that for every Lipschitz function $f:X\rightarrow\mathbb{R}$, and for every $ε>0$, there exists a Lipschitz, real analytic function $g:X\rightarrow\mathbb{R}$ such that $|f(x)-g(x)|\leq ε$ and $\textrm{Lip}(g)\leq \textrm{Lip}(f)+ε$.