En mecánica cuántica , la relación de conmutación canónica es la relación fundamental entre cantidades conjugadas canónicas (cantidades que están relacionadas por definición de manera que una es la transformada de Fourier de otra). Por ejemplo,
entre el operador de posición x y el operador de momento p x en la dirección x de una partícula puntual en una dimensión, donde [ x , p x ] = x p x - p x x es el conmutador de x y p x , i es el imaginario unidad , y ℏ es la constante de Planck reducida h / 2π . En general, la posición y la cantidad de movimiento son vectores de operadores y su relación de conmutación entre los diferentes componentes de la posición y la cantidad de movimiento se puede expresar como
dónde es el delta de Kronecker .
Esta relación se atribuye a Max Born (1925), [1] quien la llamó una "condición cuántica" que sirve como postulado de la teoría; E. Kennard (1927) [2] señaló que implica el principio de incertidumbre de Heisenberg . El teorema de Stone-von Neumann da un resultado de unicidad para los operadores que satisfacen (una forma exponencial de) la relación de conmutación canónica.
Relación con la mecánica clásica
Por el contrario, en la física clásica , todos los observables se conmutan y el conmutador sería cero. Sin embargo, existe una relación análoga, que se obtiene reemplazando el conmutador con el corchete de Poisson multiplicado por i ℏ ,
Esta observación llevó a Dirac a proponer que las contrapartes cuánticas f̂ , ĝ de los observables clásicos f , g satisfacen
En 1946, Hip Groenewold demostró que una correspondencia sistemática general entre conmutadores cuánticos y corchetes de Poisson no podía mantenerse de manera consistente. [3] [4]
Sin embargo, también apreció que tal correspondencia sistemática existe, de hecho, entre el conmutador cuántico y una deformación del corchete de Poisson, hoy llamado corchete de Moyal , y, en general, los operadores cuánticos y las distribuciones y observables clásicas en el espacio de fase . Por lo tanto, finalmente dilucidó el mecanismo de correspondencia consistente, la transformada de Wigner-Weyl , que subyace a una representación matemática equivalente alternativa de la mecánica cuántica conocida como cuantificación de deformaciones . [3] [5]
Derivación de la mecánica hamiltoniana
Según el principio de correspondencia , en ciertos límites las ecuaciones cuánticas de estados deben aproximarse a las ecuaciones de movimiento de Hamilton . Estos últimos establecen la siguiente relación entre la coordenada generalizada q (por ejemplo, la posición) y el momento generalizado p :
En mecánica cuántica, el hamiltoniano , coordenada (generalizada) y impulso (generalizado) son todos operadores lineales.
La derivada temporal de un estado cuántico es (por la ecuación de Schrödinger ). De manera equivalente, dado que los operadores no son explícitamente dependientes del tiempo, se puede ver que evolucionan en el tiempo (ver imagen de Heisenberg ) de acuerdo con su relación de conmutación con el hamiltoniano:
Para que eso se reconcilie en el límite clásico con las ecuaciones de movimiento de Hamilton, debe depender enteramente de la apariencia de en el hamiltoniano y debe depender enteramente de la apariencia de en el hamiltoniano. Además, dado que el operador hamiltoniano depende de los operadores de coordenadas y momento (generalizados), puede verse como funcional, y podemos escribir (usando derivadas funcionales ):
Para obtener el límite clásico, entonces debemos tener:
Las relaciones de Weyl
El grupo generado por exponenciación del álgebra de Lie tridimensional determinada por la relación de conmutaciónse llama el grupo de Heisenberg . Este grupo se puede realizar como el grupo dematrices triangulares superiores con unos en la diagonal. [6]
De acuerdo con la formulación matemática estándar de la mecánica cuántica, los observables cuánticos como y deberían representarse como operadores autoadjuntos en algún espacio de Hilbert . Es relativamente fácil ver que dos operadores que satisfacen las relaciones de conmutación canónicas anteriores no pueden estar acotados . Ciertamente, si y eran operadores de clase de rastreo , la relación da un número distinto de cero a la derecha y cero a la izquierda.
Alternativamente, si y eran operadores acotados, tenga en cuenta que , por lo tanto, las normas del operador satisfarían
- , de modo que, para cualquier n ,
Sin embargo, n puede ser arbitrariamente grande, por lo que al menos un operador no puede ser acotado y la dimensión del espacio de Hilbert subyacente no puede ser finita. Si los operadores satisfacen las relaciones de Weyl (una versión exponencial de las relaciones de conmutación canónicas, descritas a continuación), como consecuencia del teorema de Stone-von Neumann , ambos operadores deben ser ilimitados.
Aún así, estas relaciones canónicas de conmutación pueden ser algo "más dóciles" escribiéndolas en términos de los operadores unitarios (acotados) y . Las relaciones de trenzado resultantes para estos operadores son las llamadas relaciones de Weyl
Estas relaciones pueden considerarse como una versión exponencial de las relaciones canónicas de conmutación; reflejan que las traducciones en posición y las traducciones en impulso no se conmutan. Se pueden reformular fácilmente las relaciones de Weyl en términos de las representaciones del grupo de Heisenberg .
La unicidad de las relaciones de conmutación canónicas, en forma de relaciones de Weyl, está garantizada por el teorema de Stone-von Neumann .
Es importante señalar que, por razones técnicas, las relaciones de Weyl no son estrictamente equivalentes a la relación de conmutación canónica . Si y fueran operadores acotados, entonces un caso especial de la fórmula de Baker-Campbell-Hausdorff permitiría "exponencializar" las relaciones de conmutación canónicas a las relaciones de Weyl. [7] Dado que, como hemos señalado, cualquier operador que satisfaga las relaciones de conmutación canónica debe ser ilimitado, la fórmula de Baker-Campbell-Hausdorff no se aplica sin supuestos de dominio adicionales. De hecho, existen contraejemplos que satisfacen las relaciones de conmutación canónicas pero no las relaciones de Weyl. [8] (Estos mismos operadores dan un contraejemplo de la forma ingenua del principio de incertidumbre). Estos problemas técnicos son la razón por la que el teorema de Stone-von Neumann se formula en términos de las relaciones de Weyl.
Una versión discreta de las relaciones Weyl, en el que los parámetros de s y t rango sobre el, se puede realizar en un espacio de Hilbert de dimensión finita mediante el reloj y las matrices de desplazamiento .
Generalizaciones
La formula simple
válido para la cuantificación del sistema clásico más simple, se puede generalizar al caso de un Lagrangiano arbitrario . [9] Identificamos coordenadas canónicas (como x en el ejemplo anterior, o un campo Φ ( x ) en el caso de la teoría cuántica de campos ) y momentos canónicos π x (en el ejemplo anterior es p , o más generalmente, algunos funciones que involucran las derivadas de las coordenadas canónicas con respecto al tiempo):
Esta definición del momento canónico asegura que una de las ecuaciones de Euler-Lagrange tenga la forma
Las relaciones canónicas de conmutación ascienden entonces a
donde δ ij es el delta de Kronecker .
Además, se puede demostrar fácilmente que
Utilizando , se puede demostrar fácilmente que por inducción matemática
generalmente conocida como fórmula de Mc Coy. [10]
Invariancia de calibre
La cuantificación canónica se aplica, por definición, en coordenadas canónicas . Sin embargo, en presencia de un campo electromagnético , el momento canónico p no es invariante de calibre . El momento correcto invariante del indicador (o "momento cinético") es
- ( Unidades SI ) ( unidades cgs ),
donde q es la carga eléctrica de la partícula , A es el potencial vectorial y c es la velocidad de la luz . Aunque la cantidad p kin es el "momento físico", en el sentido de que es la cantidad que se identifica con el momento en los experimentos de laboratorio, no satisface las relaciones canónicas de conmutación; solo el impulso canónico hace eso. Esto se puede ver de la siguiente manera.
El hamiltoniano no relativista para una partícula cargada cuantificada de masa m en un campo electromagnético clásico es (en unidades cgs)
donde A es el potencial de tres vectores y φ es el potencial escalar . Esta forma del hamiltoniano, así como la ecuación de Schrödinger Hψ = iħ∂ψ / ∂t , las ecuaciones de Maxwell y la ley de fuerza de Lorentz son invariantes bajo la transformación de gauge
dónde
y Λ = Λ ( x , t ) es la función de calibre.
El operador de momento angular es
y obedece a las relaciones canónicas de cuantificación
definiendo el álgebra de Lie para so (3) , dondees el símbolo de Levi-Civita . Bajo transformaciones de calibre, el momento angular se transforma como
El momento angular invariante de calibre (o "momento angular cinético") está dado por
que tiene las relaciones de conmutación
dónde
es el campo magnético . La desigualdad de estas dos formulaciones se manifiesta en el efecto Zeeman y el efecto Aharonov-Bohm .
Relación de incertidumbre y conmutadores
Todas estas relaciones de conmutación no triviales para pares de operadores conducen a las correspondientes relaciones de incertidumbre , [11] que implican contribuciones de expectativa semidefinidas positivas por parte de sus respectivos conmutadores y anticonmutadores. En general, para dos hermitianos A y B , considere valores esperados en un sistema en el estado ψ , las varianzas alrededor de la expectativa de valores siendo correspondiente (Δ A ) 2 ≡ ⟨( A - ⟨ A ⟩) 2 ⟩ , etc.
Luego
donde [ A , B ] ≡ A B - B A es el conmutador de A y B , y { A , B } ≡ A B + B A es el anticonmutador .
Esto sigue a través del uso de la desigualdad de Cauchy-Schwarz , ya | ⟨ A 2 ⟩ | | ⟨ B 2 ⟩ | ≥ | ⟨ A B ⟩ | 2 y AB = ([ A , B ] + { A , B }) / 2 ; y lo mismo para el desplazado operadores A - ⟨ Un ⟩ y B - ⟨ B ⟩ . (Véanse las derivaciones del principio de incertidumbre ).
Sustituyendo A y B (y teniendo cuidado con el análisis) se obtiene la familiar relación de incertidumbre de Heisenberg para x y p , como es habitual.
Relación de incertidumbre para operadores de momento angular
Para los operadores de momento angular L x = y p z - z p y , etc., uno tiene que
dónde es el símbolo de Levi-Civita y simplemente invierte el signo de la respuesta bajo el intercambio de índices por pares. Una relación análoga es válida para los operadores de espín .
Aquí, para L x y L y , [11] en multipletes de momento angular ψ = | ℓ , m ⟩ , uno tiene, para los componentes transversales del Casimir invariante L x 2 + L Y 2 + L z 2 , el z relaciones -symmetric
- ⟨ L x 2 ⟩ = ⟨ L y 2 ⟩ = ( ℓ ( ℓ + 1) - m 2 ) ℏ 2 /2 ,
así como ⟨ L x ⟩ = ⟨ L y ⟩ = 0 .
En consecuencia, la desigualdad anterior aplicada a esta relación de conmutación especifica
por eso
y por lo tanto
entonces, entonces, produce restricciones útiles como un límite inferior en el invariante de Casimir : ℓ ( ℓ + 1) ≥ m ( m + 1) , y por lo tanto ℓ ≥ m , entre otras.
Ver también
- Teorema de Stone-von Neumann
- Cuantización canónica
- Álgebra CCR
- Derivada de la mentira
- Soporte Moyal
Referencias
- ^ Nacido, M .; Jordan, P. (1925). "Zur Quantenmechanik". Zeitschrift für Physik . 34 : 858. Código Bibliográfico : 1925ZPhy ... 34..858B . doi : 10.1007 / BF01328531 .
- ^ Kennard, EH (1927). "Zur Quantenmechanik einfacher Bewegungstypen". Zeitschrift für Physik . 44 (4–5): 326–352. Código bibliográfico : 1927ZPhy ... 44..326K . doi : 10.1007 / BF01391200 .
- ^ a b Groenewold, HJ (1946). "Sobre los principios de la mecánica cuántica elemental". Physica . 12 (7): 405–460. Código Bibliográfico : 1946Phy .... 12..405G . doi : 10.1016 / S0031-8914 (46) 80059-4 .
- ^ Teorema Hall 2013 13.13
- ^ Curtright, TL; Zachos, CK (2012). "Mecánica cuántica en el espacio de fase". Boletín de física de Asia Pacífico . 01 : 37–46. arXiv : 1104.5269 . doi : 10.1142 / S2251158X12000069 .
- ^ Salón 2015 Sección 1.2.6 y Proposición 3.26
- ^ Consulte la Sección 5.2 del Hall 2015 para obtener una derivación elemental
- ^ Hall 2013 Ejemplo 14.5
- ^ Townsend, JS (2000). Un enfoque moderno de la mecánica cuántica . Sausalito, CA: University Science Books. ISBN 1-891389-13-0.
- ^ McCoy, NH (1929), "Sobre fórmulas de conmutación en el álgebra de la mecánica cuántica", Transacciones de la American Mathematical Society 31 (4), 793-806 en línea
- ^ a b Robertson, HP (1929). "El principio de incertidumbre". Revisión física . 34 (1): 163-164. Código Bibliográfico : 1929PhRv ... 34..163R . doi : 10.1103 / PhysRev.34.163 .
- Hall, Brian C. (2013), Teoría cuántica para matemáticos , Textos de posgrado en matemáticas, 267 , Springer.
- Hall, Brian C. (2015), Grupos de mentira, Álgebras y representaciones de mentira, Introducción elemental , Textos de posgrado en matemáticas, 222 (2a ed.), Springer.