Mecánica cuántica; sakurai; Traducción infinitesimal

La siguiente es una sección del libro de Sakurai "Mecánica cuántica moderna" donde explica el operador de traducción j conmutación con operador de posición X ^ en el subespacio | X :

ingrese la descripción de la imagen aquí

¿Cómo funciona la aproximación? Ya lo probé con la serie Taylor pero fallé.

debería funcionar con la serie de Taylor. | X + d X = | X + d X X | X + O ( d X 2 ) y luego multiplicas con d X
¿Significa que se está evaluando en el punto X d X ? ¿Se considera el ket como una función?
porque en un punto | X d X ? se evalúa en | X . El ket se considera como una función de X , en el sentido de que podemos definir una derivada de manera estándar: d | X / d X = límite h 0 ( | X + h | X ) / h . Tenga en cuenta que como | X residen en nuestro espacio de Hilbert, tenemos operaciones de suma y resta bien definidas sobre ellos, y también multiplicación por escalares.

Respuestas (1)

Podemos definir la derivada de un vector en el espacio de Hilbert mediante la definición habitual de derivada:

d | X d X = límite d X 0 | X + d X | X d X
Del mismo modo podemos definir derivadas superiores. Con esto en nuestras manos, ahora podemos definir formalmente una expansión de Taylor que hasta el primer orden se ve así:
| X 0 + d X | X 0 + d X ( d | X d X ) X 0
Ahora, en su caso, dado que el operador en sí es de primer orden, el término derivado se convertirá en segundo orden y, por lo tanto, despreciable. Finalmente dando:
d X | X + d X d X | X

pregunta estúpida, pero ¿cómo obtengo el " d X " en el primer orden? En la serie de Taylor, el primer orden consiste en la derivación de la función multiplicada por ( X a ) donde en general X representa la variable y a el punto de evaluación. entonces supongo d X viene de ( X a ) , ¿bien? Pero, ¿cómo exactamente?
Entonces eso sería ( X d X ) pero que pasa con la variable X ?
Si quieres d X salir de la diferencia, establecer X X + d X y a X . Entonces obtendrás el resultado correcto. Estamos trabajando con la diferencia yendo al límite cero.