Smooth plurisubharmonic exhaustion functions on pseudo-convex domains in infinite dimensions

In this paper, by modifying the Friedrichs-Gross mollifier technique and/or using the Lasry-Lions regularization technique together with some carefully chosen cut-off functions, for the first time we construct explicitly smooth exhaustion functions on any open subset and smooth plurisubharmonic exhaustion functions on any pseudo-convex domain in a typical Hilbert space, which pay the way for their applications in infinite-dimensional complex analysis.