Formulae for the derivatives of heat semigroups

We use a basic martingale method to show a differentiation formula for the derivatives $$d(P_tf)(x_0)(v_0)={1\over t} E f(x_t) \int_0^t \langle Y(x_s)(v_s),dB_t\rangle_{R^m}.$$ These are proved first on $R^n$, then on manifolds. Afterwards for solutions of heat equations on differential forms, and a second order formula.