“…Remark 4.2. Since the Hilbert space H is separable, it follows from Definition 4.1(2), and from Proposition 3.8 in Fonseca-Mora (2018), that for each g ∈ G, the map (r, ω, u) → q r,u (Φ(r, ω, u) * g) 2 is P T ⊗ B(U )/B(R + )-measurable. Therefore, because G is a separable Hilbert space, the map (r, ω, u) → ||Φ(r, ω, u)|| 2 L 2 (Hq r,u ,G) is P T ⊗ B(U )/B(R + )-measurable and the integrand in (4.1) is well-defined.…”