Supongamos que sé que la evolución temporal de un operador está dada por . Ahora quiero ver una función. , y quiero saber la evolución temporal de los "valores" de esta función. Supongo que puedo ampliar en una serie de Taylor: Desde tiene una evolución temporal unitaria , Puedo escribir:
Sin embargo, no llego a este mismo resultado si trato de calcular la derivada directamente:
La derivada del producto de funciones valoradas por operadores es:
Puede probarlo usando la definición estándar de derivada.
Se ha perdido esta no conmutatividad de la derivada de un operador con el propio operador al escribir la derivada después de la expansión de Taylor. Una vez que lo arregle, puede ver que ambas expresiones para la evolución temporal de la función de un operador coincidirán.
Lo que dijo el usuario Sunyam sobre una regla de Leibniz no conmutativa es exactamente correcto. Por lo tanto, el último paso de OP para el El poder debe ser