Prueba de Relación de Conmutación Canónica (CCR)

no estoy seguro de cómo q PAG PAG q = i dónde PAG representan impulso y q representar la posición. q y PAG son matrices. La pregunta sería, ¿cómo se puede q y PAG formularse como una matriz? Además, ¿cuál es la prueba de esta relación de conmutación canónica ?

Este es un axioma clave de la mecánica matricial. Se puede demostrar en mecánica ondulatoria, pero luego preguntas "¿por qué es un operador diferencial pa?". La derivación es heurística, solo funciona dentro de la antigua teoría cuántica y se reproduce en la página de "mecánica de matrices" de Wikipedia.
Interesante punto de vista sobre la relación de conmutación canónica: johncostella.com/physics/…

Respuestas (3)

Como Lubos ha mencionado

q PAG PAG q = i

es uno de los requisitos básicos de la mecánica cuántica. Clásicamente observables son funciones de variables q , y pag y relación de paréntesis de Poisson leer

{ q , pag } = 1 (tenga en cuenta que { q , pag } es cantidad sin unidad)

En QM, se requiere que los observables sean operadores hermitianos (para que puedan tener valores propios reales). En particular para la posición tenemos un operador q , y para el impulso tenemos un operador PAG . El soporte Poisson se reemplaza por el conmutador y requerimos

[ q , PAG ] = i

En analogía con los corchetes de Poisson clásicos, habríamos requerido

[ q , PAG ] = 1

Pero esto no es posible ya que

i) Ya hemos requerido que q , PAG ser hermitiano. Entonces [ q , PAG ] = ( q PAG PAG q ) = ( q PAG ) ( PAG q ) = PAG q q PAG = [ q , PAG ] . Entonces si requerimos [ q , PAG ] para ser una constante (es decir, un múltiplo constante de la matriz de identidad), debe ser puramente imaginario.

ii) [ q , PAG ] tiene unidades de METRO L 2 T 1 . Puedes ver esto al notar que q es un operador de posición, por lo que tiene unidades de L , y eso PAG es un operador de cantidad de movimiento, por lo que tiene unidades de METRO L T 1 .

Dos opciones naturales son [ q , PAG ] = i y [ q , PAG ] = i . Ambos son equivalentes y la elección de [ q , PAG ] = i es solo una convención.

Ninguna matriz de dos dimensiones finitas puede satisfacer [ q , PAG ] = i . Esto se puede ver tomando trazas en ambos lados. Sin embargo, esta relación puede ser satisfecha por matrices de dimensión infinita. Más explícitamente, tome el espacio vectorial como espacio de funciones de q . Definir q como q F = q F , y PAG como PAG F = i F / q . Entonces se puede ver que estos operadores satisfacen la relación de conmutación requerida. Además, si definimos nuestro producto interno como

( F , gramo ) = F gramo d q

entonces q y PAG definida como arriba también será hermítica.

Solo para comprobar: ¿cómo conseguimos eso? [ q , PAG ] tiene unidades de METRO L 2 T 1 ?
@Guerra q es operador de posición por lo que se requiere tener unidades de longitud L . Similarmente PAG se requiere que tenga unidades de cantidad de movimiento METRO L T 1 . Entonces q PAG PAG q debe tener dimensiones de METRO L 2 T 1 .
@War Hay que hacer una corrección en el último párrafo de la respuesta anterior. Definicion de PAG debiera ser PAG F = i F / q .
@dushya, incorporé el contenido de tus comentarios en la respuesta. Espero que esto esté bien.

En una representación matricial, q y PAG son matrices de dimensión infinita. (Las matrices de dimensión finita no servirían; la traza de los dos lados de la relación de conmutación da una contradicción).

Muchos posibles pares de matrices califican; los mejores se obtienen al expresar la posición y el momento en una base de estados propios del oscilador armónico. Consulte
http://en.wikipedia.org/wiki/Matrix_mechanics#Harmonic_oscillator
De hecho, esta es la representación original de Heisenberg para la "mecánica de matrices".)

La representación de posición utilizada con más frecuencia (o representación de momento) toma q (resp. PAG ) como operador de multiplicación de funciones de onda dependiendo de la posición (o momento), y PAG (resp. q ) como un operador diferencial de primer orden elegido para que coincida con la relación de conmutación.

Demostrar la relación cuando q y PAG se dan, simplemente aplique ambos lados a un vector de estado arbitrario y compruebe que se obtiene el mismo resultado.

Para φ una función de Schwartz suave S ( R ) el caso más simple que el CCR está generalizando es ( q φ ) ( X ) = X φ ( X ) , ( PAG φ ) ( X ) = i φ ( X ) , > 0 ambos operadores autoadjuntos tenemos ( PAG q φ ) ( X ) = i φ ( X ) i X φ ( X ) , ( q PAG φ ) ( X ) = i X φ ( X ) entonces [ q , PAG ] φ ( X ) = ( q PAG PAG q ) φ ( X ) = i φ ( X ) .

Uno puede formular reglas más generales que determinen los conmutadores de operadores en una teoría cuántica obtenida de un Lagrangiano o un Hamiltoniano. Sin embargo, siempre tiene que haber algunos axiomas. En los modelos más simples de la mecánica cuántica, es más legítimo decir que X pag pag X = i es simplemente un axioma clave de la mecánica cuántica, por lo que no se puede derivar de nada "más profundo".

El hecho de que no se trasladen, que su producto dependa del pedido, implica que X , pag no pueden ser números ordinarios. En cambio, son operadores: los operadores no tienen que viajar. Un L ^ operador es algo que asigna a cada vector | ψ de un espacio – en el caso de la mecánica cuántica, el espacio de Hilbert – el resultado L ^ | ψ .

Si se elige una base del espacio con un número finito o numerable de elementos, toda la información sobre un operador lineal puede expresarse en términos de elementos de la matriz i | L ^ | j = b ( j , L ( i ) ) y el conjunto de estos productos internos, es decir, los elementos de la matriz, es una matriz.

Esta imagen de la física es coherente, pero la coherencia tiene muchos aspectos, por lo que es una pregunta amplia. En esencia, desea explicar por qué funciona todo en la mecánica cuántica. Bueno, lo hace, pero no es una prueba de 1 línea. La mecánica cuántica es la teoría correcta de todo, por lo que no sería prudente esperar pruebas de 1 línea de su consistencia o validez. Si tiene alguna inquietud más particular o una coherencia hipotética, actualice su pregunta.

Se puede decir más, a saber, al menos uno de X y pag tiene que ser un operador ilimitado en el espacio de estado. Helmut Wielandt demostró por primera vez que ningún par de operadores acotados en un espacio de Hilbert puede satisfacer la relación de conmutación de Heisenberg.