Differentiation of the Dyson time-ordered exponential ($i{\partial }_{t}U=H_I(t)U$)

For bounded norm-continuous Hamiltonian operators on $[t_0,t]$, the Dyson series has an $n$-th term bounded by $M^n|t-t_0{|}^n/n!$, so it converges in operator norm. In its nested-integral form, differentiating the outer endpoint puts $H_I(t)$ on the left of the $(n-1)$-fold term. Summing yields ${\partial }_{t}U=-i{H}_I(t)U$ and $U(t_0,t_0)=I$. If $H_I$ is Hermitian, differentiating $U^{†}U$ proves unitarity. For unbounded field operators the same algebra is a formal perturbative identity unless domain and convergence assumptions or a regulator justify the steps. Evolution backward uses inverse, anti-time-ordered evolution.