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 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 para obtener las expresiones para rotaciones infinitesimales.
Luego usamos las "formas infinitesimales" del operador unitario correspondiente:
Posteriormente, la afirmación es que para rotaciones finitas, el operador unitario se convierte en exponencial de la forma
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? ( ). 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.
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 y el correspondiente grupo unitario de un parámetro . Si tenemos un grupo de un parámetro de operadores unitarios (mutuamente conmutados) , podemos definir por
Escribimos la solución como exponencial porque las ecuaciones (1)-(2) implican
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.
Triático