In the Schrödinger representation the operators S 0 (t) for t > 0 are given by Mehler's formula. They are contraction operators, positive and in every Schatten class. Moreover, they leave invariant each of the Sobolev spaces. The same formula is true for ℜ ℜ t > 0 by analytic continuation.