Operadores útiles en mecánica cuántica
Los operadores de creación y los operadores de aniquilación son operadores matemáticos que tienen aplicaciones generalizadas en la mecánica cuántica , en particular en el estudio de osciladores armónicos cuánticos y sistemas de muchas partículas. [1] Un operador de aniquilación (generalmente denotado como ) reduce el número de partículas en un estado dado en uno. Un operador de creación (generalmente denotado como ) aumenta el número de partículas en un estado dado en uno, y es el adjunto del operador de aniquilación. En muchos subcampos de la física y la química , el uso de estos operadores en lugar de funciones de onda se conoce como segunda cuantificación . Fueron introducidos por Paul Dirac . [2]
Los operadores de creación y aniquilación pueden actuar sobre estados de varios tipos de partículas. Por ejemplo, en la química cuántica y la teoría de muchos cuerpos, los operadores de creación y aniquilación a menudo actúan sobre estados de electrones . También pueden referirse específicamente a los operadores de escalera para el oscilador armónico cuántico . En el último caso, el operador de creación se interpreta como un operador de elevación, que agrega un cuanto de energía al sistema oscilador (de manera similar para el operador de reducción). Pueden usarse para representar fonones . La construcción de hamiltonianos utilizando estos operadores tiene la ventaja de que la teoría satisface automáticamente el teorema de descomposición en grupos . [3]
Las matemáticas para los operadores de creación y aniquilación de bosones son las mismas que para los operadores de escalera del oscilador armónico cuántico . [4] Por ejemplo, el conmutador de los operadores de creación y aniquilación que están asociados con el mismo estado de bosón es igual a uno, mientras que todos los demás conmutadores se anulan. Sin embargo, para los fermiones las matemáticas son diferentes, ya que involucran anticonmutadores en lugar de conmutadores. [5]
Operadores de escalera para el oscilador armónico cuántico
En el contexto del oscilador armónico cuántico , uno reinterpreta los operadores de escalera como operadores de creación y aniquilación, agregando o restando cuantos fijos de energía al sistema oscilador.
Los operadores de creación/aniquilación son diferentes para los bosones (espín entero) y los fermiones (espín semientero). Esto se debe a que sus funciones de onda tienen diferentes propiedades de simetría .
Consideremos primero el caso bosónico más simple de los fotones del oscilador armónico cuántico. Empecemos con la ecuación de Schrödinger para el oscilador armónico cuántico unidimensional e independiente del tiempo .
Realizar una sustitución de coordenadas para adimensionalizar la ecuación diferencial
La ecuación de Schrödinger para el oscilador se convierte en
Nótese que la cantidad es la misma energía que la encontrada para los cuantos de luz y que el paréntesis en el hamiltoniano se puede escribir como
Los dos últimos términos se pueden simplificar considerando su efecto sobre una función diferenciable arbitraria.
lo que implica,
coincidiendo con la relación de conmutación canónica habitual , en la representación del espacio de posiciones: .
Por lo tanto,
y la ecuación de Schrödinger para el oscilador se convierte, con la sustitución de lo anterior y la reordenación del factor de 1/2,
Si se define
como "operador de creación" u "operador de elevación" y
como "operador de aniquilación" u "operador de reducción" , la ecuación de Schrödinger para el oscilador se reduce a
Esto es significativamente más simple que la forma original. Simplificaciones adicionales de esta ecuación permiten derivar todas las propiedades enumeradas hasta ahora.
Dejando , donde es el operador de momento no dimensionalizado
que se tiene
y
Tenga en cuenta que esto implica
Los operadores y pueden contrastarse con los operadores normales , que conmutan con sus adjuntos. [nb 1]
Utilizando las relaciones de conmutación dadas anteriormente, el operador hamiltoniano se puede expresar como
Se pueden calcular las relaciones de conmutación entre los operadores y y el hamiltoniano: [6]
Estas relaciones se pueden utilizar para encontrar fácilmente todos los estados propios de energía del oscilador armónico cuántico de la siguiente manera.
Suponiendo que es un estado propio del hamiltoniano . Utilizando estas relaciones de conmutación, se deduce que [6]
Esto demuestra que y también son estados propios del hamiltoniano, con valores propios y respectivamente. Esto identifica a los operadores y como operadores de "reducción" y "elevación" entre estados propios adyacentes. La diferencia de energía entre estados propios adyacentes es .
El estado fundamental se puede hallar suponiendo que el operador de descenso posee un núcleo no trivial: con . Aplicando el hamiltoniano al estado fundamental,
Así es una función propia del hamiltoniano.
Esto proporciona la energía del estado fundamental , lo que permite identificar el valor propio de energía de cualquier estado propio como [6]
Además, resulta que el primer operador mencionado en (*), el operador numérico, juega el papel más importante en las aplicaciones, mientras que el segundo, puede simplemente reemplazarse por .
Como consecuencia,
El operador de evolución temporal es entonces
Funciones propias explícitas
El estado fundamental del oscilador armónico cuántico se puede encontrar imponiendo la condición de que
Escrita como una ecuación diferencial, la función de onda satisface
la solución
Se obtiene que la constante de normalización C es de , utilizando la integral gaussiana . Ahora se pueden obtener fórmulas explícitas para todas las funciones propias mediante la aplicación repetida de a . [7]
Representación matricial
La expresión matricial de los operadores de creación y aniquilación del oscilador armónico cuántico con respecto a la base ortonormal anterior es
Estos pueden obtenerse mediante las relaciones y . Los vectores propios son los del oscilador armónico cuántico y a veces se los denomina "base numérica".
Operadores generalizados de creación y aniquilación
Gracias a la teoría de la representación y a las álgebras C*, los operadores derivados anteriormente son en realidad una instancia específica de una noción más generalizada de operadores de creación y aniquilación en el contexto de las álgebras CCR y CAR . Matemáticamente e incluso de manera más general, los operadores de escalera se pueden entender en el contexto de un sistema raíz de un grupo de Lie semisimple y el álgebra de Lie semisimple asociada sin la necesidad de realizar la representación como operadores en un espacio de Hilbert funcional . [8]
En el caso de representación del espacio de Hilbert, los operadores se construyen de la siguiente manera: Sea un espacio de Hilbert de una partícula (es decir, cualquier espacio de Hilbert, visto como la representación del estado de una sola partícula). El álgebra CCR ( bosónica ) sobre es el álgebra con operador de conjugación (llamado * ) generado de manera abstracta por elementos , donde varía libremente sobre , sujeto a las relaciones
en notación entre corchetes .
Se requiere que la función de la álgebra CCR bosónica sea antilineal compleja (esto agrega más relaciones). Su adjunto es , y la función es lineal compleja en H . Por lo tanto , se incorpora como un subespacio vectorial complejo de su propia álgebra CCR. En una representación de esta álgebra, el elemento se realizará como un operador de aniquilación y como un operador de creación.
En general, el álgebra CCR es de dimensión infinita. Si tomamos una completitud del espacio de Banach, se convierte en un álgebra C* . El álgebra CCR está estrechamente relacionada con un álgebra de Weyl , pero no es idéntica a ella . [ Aclaración necesaria ]
Para los fermiones, el álgebra CAR (fermiónica) se construye de manera similar, pero utilizando relaciones anticonmutadoras en su lugar, a saber:
El álgebra CAR es de dimensión finita solo si es de dimensión finita. Si tomamos una completitud del espacio de Banach (solo necesaria en el caso de dimensión infinita), se convierte en un álgebra. El álgebra CAR está estrechamente relacionada con un álgebra de Clifford , pero no es idéntica a ella . [ Aclaración necesaria ]
Físicamente hablando, elimina (es decir, aniquila) una partícula en el estado mientras que crea una partícula en el estado .
El estado de vacío en campo libre es el estado sin partículas, caracterizado por
Si se normaliza de modo que , entonces da el número de partículas en el estado .
Operadores de creación y aniquilación para ecuaciones de reacción-difusión
La descripción de los operadores de aniquilación y creación también ha sido útil para analizar ecuaciones de reacción de difusión clásicas, como la situación en la que un gas de moléculas se difunde e interactúa al entrar en contacto, formando un producto inerte: . Para ver cómo se puede describir este tipo de reacción mediante el formalismo de los operadores de aniquilación y creación, considere partículas en un sitio i en una red unidimensional. Cada partícula se mueve hacia la derecha o hacia la izquierda con una cierta probabilidad, y cada par de partículas en el mismo sitio se aniquila entre sí con otra cierta probabilidad.
La probabilidad de que una partícula abandone el lugar durante el breve período de tiempo dt es proporcional a , digamos una probabilidad de saltar a la izquierda y otra a la derecha. Todas las partículas permanecerán en el mismo lugar con una probabilidad . (Como dt es tan breve, la probabilidad de que dos o más partan durante dt es muy pequeña y se ignorará).
Ahora podemos describir la ocupación de partículas en la red como un 'ket' de la forma . Representa la yuxtaposición (o conjunción, o producto tensorial) de los estados numéricos , ubicados en los sitios individuales de la red. Recordemos que
y
para todo n ≥ 0 , mientras que
Ahora cambiaremos esta definición de los operadores para dar cabida a la naturaleza "no cuántica" de este problema y utilizaremos la siguiente definición: [9]
Nótese que, aunque se ha modificado el comportamiento de los operadores en los kets, estos operadores aún obedecen la relación de conmutación.
Ahora defina de modo que se aplique a . En consecuencia, defina como que se aplica a . Así, por ejemplo, el efecto neto de es mover una partícula del -ésimo sitio al i -ésimo sitio mientras se multiplica por el factor apropiado.
Esto permite escribir el comportamiento difusivo puro de las partículas como
El término de reacción se puede deducir observando que las partículas pueden interactuar de diferentes maneras, de modo que la probabilidad de que un par se aniquile es , lo que produce un término
donde el estado numérico n se reemplaza por el estado numérico n − 2 en el sitio a una velocidad determinada.
Así, el Estado evoluciona mediante
Se pueden incluir otros tipos de interacciones de manera similar.
Este tipo de notación permite el uso de técnicas de teoría cuántica de campos en el análisis de sistemas de difusión de reacción. [10]
Operadores de creación y aniquilación en las teorías cuánticas de campos
En las teorías cuánticas de campos y en los problemas de muchos cuerpos se trabaja con operadores de creación y aniquilación de estados cuánticos, y . Estos operadores cambian los valores propios del operador numérico ,
por uno, en analogía con el oscilador armónico. Los índices (como ) representan números cuánticos que etiquetan los estados de partículas individuales del sistema; por lo tanto, no son necesariamente números individuales. Por ejemplo, se utiliza una tupla de números cuánticos para etiquetar estados en el átomo de hidrógeno .
Las relaciones de conmutación de los operadores de creación y aniquilación en un sistema de múltiples bosones son,
donde es el conmutador y es el delta de Kronecker .
Para los fermiones , el conmutador se reemplaza por el anticonmutador .
Por lo tanto, intercambiar operadores disjuntos (es decir , ) en un producto de operadores de creación o aniquilación invertirá el signo en los sistemas de fermiones, pero no en los sistemas de bosones.
Si los estados etiquetados por i son una base ortonormal de un espacio de Hilbert H , entonces el resultado de esta construcción coincide con la construcción del álgebra CCR y del álgebra CAR de la sección anterior, salvo una. Si representan "vectores propios" correspondientes al espectro continuo de algún operador, como en el caso de partículas no ligadas en la teoría de campos cuánticos, entonces la interpretación es más sutil.
Convenciones de normalización
Mientras que Zee [11] obtiene la normalización del espacio de momento a través de la convención simétrica para las transformadas de Fourier, Tong [12] y Peskin & Schroeder [13] utilizan la convención asimétrica común para obtener . Cada uno deriva .
Srednicki además fusiona la medida invariante de Lorentz en su medida asimétrica de Fourier, , dando como resultado . [14]
Véase también
Notas
- ^ Un operador normal tiene una representación A = B + i C , donde B , C son autoadjuntos y conmutan , es decir . Por el contrario, a tiene la representación donde son autoadjuntos pero . Entonces B y C tienen un conjunto común de funciones propias (y son diagonalizables simultáneamente), mientras que p y q no las tienen y no lo son.
Referencias
- ^ Feynman 1998, pág. 151
- ^ Dirac, PAM (1927). "La teoría cuántica de la emisión y absorción de la radiación", Proc Roy Soc London Ser A , 114 (767), 243-265.
- ^ Weinberg, Steven (1995). "4". La teoría cuántica de campos, volumen 1. Cambridge University Press. pág. 169. ISBN 9780521670531.
- ^ Feynman 1998, pág. 167
- ^ Feynman 1998, págs. 174-5
- ^ abc Branson, Jim. "Física cuántica en la UCSD" . Consultado el 16 de mayo de 2012 .
- ^ Este y otros formalismos de operadores se pueden encontrar en Glimm y Jaffe, Quantum Physics , pp. 12-20.
- ^ Harris, Fulton, Teoría de la representaciónpág. 164
- ^ Pruessner, Gunnar. "Análisis de procesos de reacción-difusión mediante métodos teóricos de campo" (PDF) . Consultado el 31 de mayo de 2021 .
- ^ Baez, John Carlos (2011). Teoría de redes (serie de publicaciones en el blog; primera publicación). Adaptado posteriormente en Baez, John Carlos; Biamonte, Jacob D. (abril de 2018). Técnicas cuánticas en mecánica estocástica . doi :10.1142/10623.
- ^ Zee, A. (2003). La teoría cuántica de campos en pocas palabras . Princeton University Press. pág. 63. ISBN 978-0691010199.
- ^ Tong, David (2007). Teoría cuántica de campos. pág. 24,31 . Consultado el 3 de diciembre de 2019 .
- ^ Peskin, M .; Schroeder, D. (1995). Introducción a la teoría cuántica de campos. Westview Press. ISBN 978-0-201-50397-5.
- ^ Srednicki, Mark (2007). Teoría cuántica de campos. Cambridge University Press. pp. 39, 41. ISBN 978-0521-8644-97. Recuperado el 3 de diciembre de 2019 .
- Feynman, Richard P. (1998) [1972]. Mecánica estadística: un conjunto de conferencias (2.ª ed.). Reading, Massachusetts: Addison-Wesley. ISBN 978-0-201-36076-9.
- Albert Messiah , 1966. Mecánica cuántica (Vol. I), traducción al inglés del francés de GM Temmer. North Holland, John Wiley & Sons. Cap. XII. en línea