En mecánica cuántica, el operador de traducción de tiempo unitario es definido por , y el operador hamiltoniano se define como el límite de como va a . De manera similar, el operador de traducción espacial unidimensional está definido por y el operador de cantidad de movimiento se define como el límite de como va a . Mi pregunta es, ¿por qué el operador hamiltoniano puede ser una función del parámetro de tiempo? , pero el operador de cantidad de movimiento no puede ser una función del parámetro de posición ?
La única buena respuesta que obtuve a esta pregunta es que el tiempo no es un operador en la mecánica cuántica no relativista, mientras que la posición es un operador, por lo que el momento es una función de la posición y estropearía la relación de conmutación entre el momento y la posición. Pero esta explicación no tiene sentido para mí, porque considere el caso del momento angular de espín. Si denota el operador de rotación para rotaciones intrínsecas sobre el eje z (a diferencia de las rotaciones orbitales), luego el operador de momento angular de giro (a diferencia de Beyoncé) se define como el límite de como va a . Y todavía no es función del ángulo , aunque no hay operador en la mecánica cuántica correspondiente a . (Hay otro operador llamado , que es uno de los operadores de posición en coordenadas esféricas, pero que no tiene nada que ver con el espín y el de lo que estoy hablando; está relacionado con el momento angular orbital). Entonces, "el parámetro tiene un operador correspondiente" no parece la explicación correcta, ya que no explica por qué el momento angular de giro no puede ser una función del ángulo.
Tenga en cuenta que no estoy buscando una explicación ad hoc como "eso no tendría sentido físico en términos de cómo funcionan clásicamente la energía y el impulso". Quiero una explicación de los primeros principios de la mecánica cuántica.
Creo que la respuesta se reduce a la causalidad. El problema típico que abordamos en la mecánica cuántica no relativista es "Dada una condición inicial , cual es la funcion de onda en otro momento ?" El hecho de que el hamiltoniano se permite que la generación de la traducción/evolución del tiempo dependa explícitamente del tiempo corresponde al hecho de que nosotros, los experimentadores, somos libres de controlar externamente el sistema de la manera que queramos, y el control externo no puede ser "predecido" endógenamente dentro del sistema. Expresado de otra manera, las influencias causales del impulso externo se propagan en el tiempo para afectar la función de onda futura.
Pero si el operador de cantidad de movimiento que genera traslaciones si se les permitiera depender no trivialmente del espacio, entonces por analogía con la ecuación de Schrödinger (y simplificar a una dimensión espacial) podríamos plantear un problema con una "condición inicial" y considere el problema de "evolucionar en el espacio" la función de onda en según la ecuación diferencial . Si el experimentador fuera libre de cambiar externamente , entonces las influencias de ese cambio necesitarían propagarse en una dirección similar al espacio para afectar la función de onda al mismo tiempo. pero mas grande , violando la causalidad.
Por tanto, el hecho de que el El operador debe ser "independiente del espacio", mientras que el operador puede depender explícitamente del tiempo es un reflejo no relativista del hecho de que la teoría cuántica completa es relativista y que las influencias causales solo pueden propagarse en direcciones temporales. En un universo completamente no relativista, el operador de cantidad de movimiento probablemente podría depender lógicamente explícitamente de la posición, al igual que los bosones y los fermiones lógicamente podrían tener giros, pero en el mundo real "heredan" la relación estadística de giro de la teoría relativista subyacente.
Su idea de lo que se define en términos de lo que es un poco engañosa. Usualmente, el físico toma los generadores infinitesimales como operadores autoadjuntos dados y define las transformaciones finitas a ser siguiendo el teorema de Stone . Si depende del tiempo entonces se convierte en la serie Dyson para en la imagen de interacción.
En cuanto a la definición del operador de cantidad de movimiento en sí: simplemente se define como el operador con . Por el teorema de Stone-von Neumann , todas las formas posibles de realizar operadores con esa relación de conmutación son esencialmente las mismas que en , donde es la multiplicación por la variable y es la diferenciación. Las relaciones de conmutación también codifican que la transformación actúa como una traducción sobre la posición y que actúa como una traducción del impulso, vea también esta respuesta mía . Pero crucialmente, es por definición un único operador fijo . Simplemente no está permitido depender de nada.
Finalmente, su confusión parece surgir básicamente de escribir todas esas transformaciones con dos parámetros, es decir . Solo se permite que la evolución temporal dependa de dos parámetros de esa manera, y solo en el caso de un hamiltoniano dependiente del tiempo. Todas las demás transformaciones son grupos de un parámetro como en el teorema de Stone, generados por un solo operador autoadjunto. Esto no se muestra, pero se asume . Suponemos que el operador de rotación realmente solo le importa la diferencia entre los dos ángulos, es decir, en realidad es solo una función y suponemos que la traducción es realmente justo . Podrías suponer de otra manera, pero eso no es lo que hacemos en la mecánica cuántica estándar.
Suponemos que para todas esas transformaciones porque queremos que la ser en realidad una representación (unitaria) del grupo de traducción , y el ser una representación del grupo de rotación . Y esos grupos no contienen las transformaciones "girar desde el ángulo para ", pero "rotar por ángulo ", por lo que el operador también solo dependerá de la diferencia, y no de los puntos de inicio/fin de la transformación.
El caso de la evolución del tiempo es diferente, aunque se podría decir que hay un "grupo de traducción del tiempo", lo que realmente queremos es un operador que codifique la evolución de un sistema dinámico. Y en un sistema dinámico podemos imaginar fácilmente que en algún momento algo se "encende/apaga" que altera la dinámica del sistema después de ese punto, de modo que es diferente dependiendo de si ambos son antes o despues .
Creo que la noción de que el operador de posición o de momento es una función del otro está un poco mal definida. Me doy cuenta de que no quiere explicaciones de la física clásica, así que disculpe por el momento la analogía con la mecánica hamiltoniana.
En la mecánica hamiltoniana tratamos con un -espacio dimensional, en el que debería haber una forma bidimensional, es decir, un tensor bidimensional antisimétrico , que debe ser no degenerado, a no ser que , y cerrado, donde los corchetes significan antisimetrización. Todas estas condiciones son independientes de las coordenadas. Ya que no es degenerado, tiene inversa . Si son funciones en este -espacio dimensional, podemos definir una operación llamada corchete de Poisson de y por
Los componentes de la forma 2 son, por supuesto, dependientes de las coordenadas. Ahora, por un teorema de Darboux, siempre es posible (localmente) encontrar lo que se llama coordenadas canónicas tal que toma la siguiente forma
En un sistema de coordenadas particular como el descrito, un sistema de coordenadas canónico, el se denominan las posiciones o coordenadas, y las se denominan momentos. Ninguno es función del otro. Pero eso es cierto para cualquier sistema de coordenadas: todas las coordenadas son mutuamente independientes. Uno podría igualmente usar como la segunda mitad de las coordenadas. Los componentes de la forma 2 serán más complicados y la fórmula para el soporte de Poisson no será tan agradable, pero es un sistema de coordenadas perfectamente fino.
Ahora pasemos a la mecánica cuántica. En mecánica cuántica tenemos operadores en lugar de conmutadores en lugar de corchetes de Poisson. La dinámica está dada por
El caso cuántico también se puede formular directamente en términos de un cambio de coordenadas. Luego, en lugar del corchete de Poisson en espacio de fase -dimensional, uno tiene el corchete de Moyal . Al igual que el corchete de Poisson, el corchete de Moyal actúa como un operador diferencial y su expresión es particularmente simple en sistemas de coordenadas especiales, pero no es necesario usar tales coordenadas.
En realidad, hay escenarios en los que el operador de impulso podría depender de la posición. Considere, por ejemplo, la propagación de la luz a través de un medio aleatorio. Si incorporamos el efecto de este medio aleatorio en la evolución unitaria del campo a través del medio, entonces el operador de cantidad de movimiento del que se derivaría dependería de la posición debido a la aleatoriedad del medio.
Cuando el operador de cantidad de movimiento no depende de la posición, refleja el hecho de que el sistema bajo investigación obedece a la invariancia de traslación espacial y, por lo tanto, apoya la conservación de la cantidad de movimiento. En un medio aleatorio, la cantidad de movimiento no se conserva, porque el medio podría causar la dispersión de la luz, lo que implica un cambio en la cantidad de movimiento.
Sin embargo, lo mismo se aplica para el hamiltoniano. Si el hamiltoniano tiene una dependencia temporal explícita, entonces el sistema no es invariante con respecto a las traslaciones temporales y entonces se rompe la conservación de la energía.
En el nivel fundamental, sabemos que tanto el impulso como la energía se conservan. Esto se refleja en el hecho de que ni el hamiltoniano ni el operador de impulso dependen explícitamente del tiempo o la posición. Por ejemplo, en las teorías cuánticas de campos (como QED) la dependencia de las coordenadas espacio-temporales está restringida a la de los campos y no aparece explícitamente en el Lagrangiano. La invariancia de traslación implícita en las coordenadas espacio-temporales conduce a una corriente de Noether, el tensor de energía-momento, del cual se obtienen las expresiones para el hamiltoniano y los operadores de momento, expresadas puramente en términos de los campos y sus derivados.
Primero piense en el hamiltoniano. El hamiltoniano es un generador de traslaciones de tiempo, por lo que puede ser una función de . Puede ser dependiente o independiente del tiempo. Esto codifica cómo evoluciona el sistema en función del tiempo. Ahora, matemáticamente hablando, el impulso es el generador de traslaciones espaciales, por lo que, en principio, puede ser una función de un parámetro de posición . Entonces podría ser dependiente de la posición o independiente de la posición. Esto nos diría cómo evoluciona el sistema en el espacio .. La mayoría de los experimentadores no hacen experimentos moviendo sistemas cuánticos en el espacio, pero sí, hacen experimentos moviendo sistemas en el tiempo. Es concebible en el futuro, cuando las técnicas de control cuántico sean muy avanzadas y los sistemas cuánticos puedan protegerse de la decoherencia, que algún día un experimentador necesite conocer un operador de momento en función de un parámetro de posición. Recuerde también que esto es física no relativista, la posición y el tiempo no están en el mismo plano. No hay razón para pensar que deberían comportarse de la misma manera. Entonces, para responder a su pregunta directamente, el operador de impulso puede, en principio, ser una función de un parámetro de posición .
¿Por qué el operador hamiltoniano puede ser una función del parámetro de tiempo t, pero el operador de cantidad de movimiento no puede ser una función del parámetro de posición x?
Un operador de cantidad de movimiento puede ser una función de . Citaré extensamente de las páginas 57-58 de "Gauge Theories in Particle Physics, 2nd Ed" de Aitchison & Hey. así que esto es demasiado largo para ser un comentario:
El punto esencial es que (en una dimensión, digamos) se define en última instancia por el conmutador
Ciertamente, la elección familiar
satisface la relación de conmutación. Pero también podemos añadir cualquier función de para , y esto modificado seguirá siendo satisfactoria ya que conmuta con cualquier función de . Consideraciones más detalladas de Dirac mostraron que esta función arbitraria en realidad debe tener la forma , donde es arbitrario Por lo tanto
es un operador de cantidad de movimiento aceptable.
Muchas respuestas matemáticas aquí. No estoy seguro de cuán satisfactorios se "sentirán" ya que los que he leído no parecen dar ninguna intuición de por qué el impulso no es el derivado de la posición.
Creo que la respuesta intuitiva es simplemente que la cantidad de movimiento de una onda no es lo mismo que la cantidad de movimiento de una partícula. Este operador de cantidad de movimiento ( ) es más como un "operador de impulso de onda" y mide el impulso del paquete de ondas asociado con el estado cuántico. Pero nada le impide realizar un seguimiento del "momento de la partícula" y calcular explícitamente .
Aquí hay una respuesta decente para desarrollar la intuición sobre cuál es el impulso de una onda:
Para aclarar el problema, consideremos un modelo simplificado de la cuerda: la cuerda se extiende a lo largo de la dirección x y está formada por masas conectadas por resortes. Para mayor claridad conceptual, suponga que estas masas solo se pueden mover hacia arriba y hacia abajo (a lo largo de y; esto podría imponerse en un modelo mecánico haciendo que las masas se deslicen hacia arriba y hacia abajo sobre pequeños cables). En ese caso, el momento mecánico está claramente solo en la dirección y (todo el movimiento es a lo largo de y), y no hay momento mecánico en la dirección de propagación de la onda (x). Dependiendo de la forma del paquete de ondas, el momento total en la dirección y también puede ser cero, si algunas masas se mueven hacia arriba mientras que otras se mueven hacia abajo.
Este operador de "momento de onda" resulta particularmente útil cuando se describe la energía del sistema (y también se puede usar para "generar" movimiento en posición aplicando el operador varias veces, pero este movimiento es el movimiento de todo el sistema). paquete de ondas).
Ahora, ¿por qué es la derivada de x específicamente? Podemos ganar algo de intuición mirando la solución de onda plana a la ecuación de Schroinger:
Tratemos de resolver para p y averiguar qué es p específicamente. Podemos hacer que p "baje" de la exponencial aplicando una derivada parcial.
donde esta p
Por lo tanto, podemos inferir qué es este operador p moviendo todos los términos para mostrar explícitamente qué debe estar haciendo p como operador:
AccidentalFourierTransformar
AccidentalFourierTransformar
Keshav Srinivasan