¿Por qué usamos formas infinitesimales de operadores?

En muchos textos de pregrado sobre mecánica cuántica (estoy usando Modern Quantum Mechanics 2nd Edition de Sakurai como referencia aquí), el tratamiento del momento angular va más o menos así:

Comenzamos con algunas matrices de rotación R X , R y , R z y luego aplique alguna expansión en serie de potencias a los senos y cosenos en estas matrices de rotación y descarte los términos de orden O ( ϵ 3 ) para obtener las expresiones para rotaciones infinitesimales.

Luego usamos las "formas infinitesimales" del operador unitario correspondiente:

tu ϵ = 1 i GRAMO ϵ
dónde GRAMO es nuestro operador correspondiente en el espacio de hilbert. Luego imponemos las relaciones de conmutación correspondientes que obtuvimos de las matrices de rotación R X , R y , R z previamente.

Posteriormente, la afirmación es que para rotaciones finitas, el operador unitario se convierte en exponencial de la forma tu = mi i GRAMO ϕ

Esto es lo que no entiendo:

1) ¿Por qué estamos usando rotaciones "infinitesimales" como parte de esta derivación y de dónde proviene exactamente la fórmula para el unitario de un operador infinitesimal?

2) ¿Por qué la correspondiente unitaria para una rotación finita toma la forma de exponencial? ( tu = mi i GRAMO ϕ ). Por (2), sé que los operadores para observables forman un grupo de Lie (grupo galileano) caracterizado por sus relaciones de conmutación, y que los unitarios son elementos del álgebra de Lie que es el espacio tangente del grupo de Lie.

En mi opinión, esto significa que estos unitarios tienen algo que ver con cómo cambian nuestros observables. También recuerdo vagamente que el mapa exponencial relaciona el grupo de Lie y el álgebra de Lie de alguna manera, pero no estoy seguro de cómo esto une todo exactamente.

Curiosamente, clasificaría Modern QM de sakurai como un libro de texto de nivel de posgrado

Respuestas (1)

El uso de formas infinitesimales es una conveniencia, no una necesidad. El teorema de Stone explica por qué podemos salirnos con la nuestra. La última parte de esta respuesta menciona dos razones por las que podríamos querer salirnos con la nuestra.

Primero, aquí hay una forma de pensar sobre la relación entre un generador GRAMO y el correspondiente grupo unitario de un parámetro tu ( X ) = Exp ( i GRAMO X ) . Si tenemos un grupo de un parámetro de operadores unitarios (mutuamente conmutados) tu ( X ) , podemos definir GRAMO por

(1) d d X tu ( X ) = i GRAMO tu ( X ) .
Por el contrario, dado GRAMO , podemos definir tu ( X ) por la ecuación (1) junto con la condición
(2) tu ( 0 ) = 1 ,
dónde 1 denota el operador de identidad. He aquí un ejemplo simple: Supongamos que se nos da
(3) GRAMO = i ( 0 1 1 0 ) ,
y queremos determinar tu ( X ) = Exp ( i GRAMO X ) . Las ecuaciones (1)-(2) se satisfacen por
(3) GRAMO = ( porque X pecado X pecado X porque X ) .
Dado que (1) es una ecuación diferencial de primer orden, su solución está especificada únicamente por la condición inicial (2), por lo que (3) es la única solución para (1)-(2).

Escribimos la solución como exponencial porque las ecuaciones (1)-(2) implican

(4) tu ( X ) tu ( y ) = tu ( X + y ) ,
que es la propiedad característica de las exponenciales. por infinitesimal X , las ecuaciones (1)-(2) implican tu ( X ) = 1 + i GRAMO X + O ( X 2 ) . Esto nuevamente es consistente con referirse a tu ( X ) como el "exponencial" de i GRAMO X .

Aquí hay dos razones por las que podríamos querer trabajar con un álgebra de Lie (también conocido como los generadores del grupo de Lie) en lugar de trabajar con el propio grupo de Lie:

  • Aunque las representaciones unitarias del grupo de rotación SO(3) son suficientes para describir cómo se transforman los observables , los observables a menudo se construyen usando otras cantidades que se transforman de acuerdo con una representación unitaria del grupo de cobertura de SO(3), que es SU(2) . Aquí hay una publicación relacionada, que muestra cómo esta idea se extiende desde el grupo de rotación hasta el grupo de Lorentz: https://physics.stackexchange.com/a/437221/206691. Una de las ventajas de trabajar con los generadores de rotaciones en lugar de las propias rotaciones es que los generadores de SO(3) satisfacen el mismo álgebra (relaciones de conmutación) que los generadores del grupo de cobertura SU(2). Al trabajar con los generadores, podemos hacer algunas partes de algunos cálculos sin especificar cuál de estos dos grupos está involucrado. De manera más general, al trabajar con representaciones de un álgebra de Lie, automáticamente estamos incluyendo todas las representaciones del grupo de cobertura (simplemente conectado). Esto se expresa con más cuidado en la sección 8.1 de Fulton y Harris (1991), Representation Theory: A First Course .

  • Incluso cuando se trata de traslaciones lineales (en lugar de rotaciones), suele ser conveniente trabajar con las formas infinitesimales. Para traslaciones en el espacio, las formas infinitesimales son los operadores de cantidad de movimiento (total); y para traslaciones en el tiempo, la forma infinitesimal es el operador hamiltoniano (energía total). Escribir una expresión explícita para el hamiltoniano es más fácil que escribir una expresión explícita para el operador unitario que implementa una traslación finita en el tiempo. En otras palabras, escribir la ecuación de Schrödinger es más fácil que escribir la solución más general de la ecuación de Schrödinger... y eso es quedarse corto.

Agregaría un tercer elemento a su lista de razones para trabajar con el álgebra de Lie en lugar del grupo de Lie: le permite generar cantidades conservadas a partir de simetrías unitarias. Una simetría unitaria (continua) del hamiltoniano implica que hay algún operador hermitiano que también conmuta con el hamiltoniano, a saber, la derivada de la simetría unitaria. Esto da inmediatamente un observable conservado. Por el contrario, dado un observable conservado, puede exponenciarlo para generar una simetría unitaria.