On smoothing in non autonomous Ornstein-Uhlenbeck equations in infinite dimensions

We prove smoothing properties along suitable directions of the Ornstein-Uhlenbeck evolution operator, namely the evolution operator associated to non autonomous Ornstein-Uhlenbeck equations. Moreover we use such smoothing estimates to prove Schauder type theorems, again along suitable directions, for the mild solutions of a class of evolution equations.