“…For the regularity, assume that for some ρ > 0, we have Moreover, assume ξ :Ω→ V is a measurable mapping with for every ω ∈Ω. From together with Lemma in , we conclude there exists a stochastic process O :[0, T ]×Ω→ V , which is the Ornstein–Uhlenbeck process (or stochastic convolution) given by the semigroup generated by the Dirichlet Laplacian and the Wiener process , i.e, . In addition, from Lemma in we derive that O satisfies Assumption , for all , with …”