Commutation of the Ornstein–Uhlenbeck semigroup with differentiation: $(P_tf)'=e^{-t}P_t(f')$

Initializing...

Commutation of the Ornstein–Uhlenbeck semigroup with differentiation: $(P_tf)'=e^{-t}P_t(f')$ · Prove2Me