Uniform dynamics
This is a time-indepndent Hamiltonian H(t)=H.
We use an ODE for U which we derived earlier.
iℏdtdU=HU⟺dtdU=−ℏiHU
This is a differential
U^(t)dU^=−ℏiH^dt
⇒∫U^(t)1dU^=−ℏiH^∫dt
⇒ln∣U^(t)∣=−ℏiH^t+C
⇒∣U^(t)∣=eCe−iℏHt/ℏ
at t=0, U^(0)=eC thus
U^(t)=U(0)e−iH^t/ℏ
Recall matrix exponential
Hence true.
Let's see what U(t,t0) is.
Note U0 is some Integration constant which we haven’t defined yet.
We find U0
I=U(t0,t0)=e−iHt0/ℏU0⟹U0=eiHt0/ℏ
⟹U(t,t0)=e−iHt/ℏeiHt0/ℏ
via Baker, Campbell, and Hausdorff (1897-1906), since [H,H]=0 (trivially as any operator commutes with itself)
U(t,t0)=e−iHt/ℏeiHt0/ℏ
⇒U(t,t0)=e−iH(t−t0)/ℏ
Hence this solves SE
iℏdtdU(t,t0)=HU(t,t0)
Proof