no estoy seguro de cómo dónde representan impulso y representar la posición. y son matrices. La pregunta sería, ¿cómo se puede y formularse como una matriz? Además, ¿cuál es la prueba de esta relación de conmutación canónica ?
Como Lubos ha mencionado
es uno de los requisitos básicos de la mecánica cuántica. Clásicamente observables son funciones de variables , y y relación de paréntesis de Poisson leer
(tenga en cuenta que 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 , y para el impulso tenemos un operador . El soporte Poisson se reemplaza por el conmutador y requerimos
En analogía con los corchetes de Poisson clásicos, habríamos requerido
Pero esto no es posible ya que
i) Ya hemos requerido que ser hermitiano. Entonces . Entonces si requerimos para ser una constante (es decir, un múltiplo constante de la matriz de identidad), debe ser puramente imaginario.
ii) tiene unidades de . Puedes ver esto al notar que es un operador de posición, por lo que tiene unidades de , y eso es un operador de cantidad de movimiento, por lo que tiene unidades de .
Dos opciones naturales son y . Ambos son equivalentes y la elección de es solo una convención.
Ninguna matriz de dos dimensiones finitas puede satisfacer . 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 . Definir como , y como . Entonces se puede ver que estos operadores satisfacen la relación de conmutación requerida. Además, si definimos nuestro producto interno como
entonces y definida como arriba también será hermítica.
En una representación matricial, y 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 (resp. ) como operador de multiplicación de funciones de onda dependiendo de la posición (o momento), y (resp. ) como un operador diferencial de primer orden elegido para que coincida con la relación de conmutación.
Demostrar la relación cuando y se dan, simplemente aplique ambos lados a un vector de estado arbitrario y compruebe que se obtiene el mismo resultado.
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 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 no pueden ser números ordinarios. En cambio, son operadores: los operadores no tienen que viajar. Un 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 .
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 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.
Ron Maimón
Ján Lalinský