Es ist
Einsetzen der Schrödinger-Gleichung
bzw. der konjugiert komplexen Schrödinger-Gleichung
ergibt:
Partielle Integration ergibt
bzw. Verwendung der Kommutatorrelation
führt auf
Für den zweiten Ehrenfest'schen Satz gilt:
bzw. Verwendung der Kommutatorbeziehung
führt auf
M. Keim, H.J. Lüdde