1: \begin{abstract}

2: This paper extends the theory of regular solutions ($C^1$ in a suitable sense) for

3: a class of semilinear elliptic equations in Hilbert spaces.

4: The notion of regularity is based on the concept of $G$-derivative, which is introduced and discussed. A result of existence and uniqueness of solutions is stated and proved under the assumption that the transition semigroup associated to the linear part of the equation has a smoothing property, that is, it maps continuous functions into $G$-differentiable ones. The validity of this smoothing assumption is fully discussed for the case of the Ornstein-Uhlenbeck transition semigroup and for the case of invertible diffusion coefficient covering cases not previously addressed by the literature.

5: It is shown that the results apply to Hamilton-Jacobi-Bellman (HJB) equations associated to

6: infinite horizon optimal stochastic control problems in infinite dimension

7: and that, in particular, they cover examples of optimal boundary control of the heat equation that were not treatable with the approaches developed in the literature up to now.

8: \bigskip

9: \vskip 0.15cm

10: 

11: 

12: \textbf{Key words}: Elliptic  equations in infinite dimension, transition semigroups, optimal control of stochastic PDEs, HJB equations.

13: \vskip 0.15cm

14: 

15: \textbf{AMS classification}: 35R15, 65H15,  70H20.\\

16: \bigskip\\

17: \textbf{Acknowledgements.} The authors are very grateful to Mauro Rosestolato and Andrzej Swiech for valuable discussions and suggestions. In particular, they are indebted to Mauro Rosestolato for Remark \ref{rem:est}.

18: 

19: \end{abstract}

20: