“…Then w ∈ C 1 ([0, ∞), S(R 2 )) is a classical solution of (12) in S(R 2 ). Moreover, w(ξ, τ ) satisfies a Gaussian lower bound for any τ > 0, see [24] or ( [18], Theorem 3.1). More precisely, there exist positive constants γ and C γ (depending only on |w 0 | 1 ) such that, for all ξ ∈ R 2 and all τ > 0,…”