Dejar y ser los operadores de posición y momento, respectivamente, y ser la función propia de y por lo tanto
Tanto los operadores p como los operadores x no tienen vectores propios en sentido estricto. Tienen vectores propios de distribución que solo se definen en un espacio de funciones más grande que el espacio de las funciones de onda normalizables al cuadrado, y que solo deben considerarse significativos cuando se manchan un poco con una función de prueba suave.
La normalización para es infinita, porque la onda p se extiende sobre todo el espacio. De manera similar, la normalización de la función de onda de la función delta, el vector propio del operador x, es infinita, porque el cuadrado de una función delta tiene una integral infinita.
Podrías enunciar tu paradoja usando estados también:
porque solo se define cuando se mancha un poco, necesita usar una variable separada para las dos ocurrencias de x'. Así que escribe la matriz completa para este caso:
Y ahora x e y son variables separadas que se pueden difamar de forma independiente, según sea necesario. Los elementos de la matriz del operador p son la derivada de una función delta:
Entonces lo que obtienes es
y tu estas tomando ingenuamente al establecer el primer factor en cero sin darse cuenta de que el factor de la función delta es terriblemente singular y, por lo tanto, el resultado está mal definido sin una evaluación más cuidadosa. Si multiplica por funciones de prueba suaves para x e y, para difuminar un poco la respuesta:
Donde la primera identificación proviene de integrar por partes en x, y poner a cero todos los términos que se anulan bajo la evaluación de la función delta. el resultado es que
Y el resultado no es cero, de hecho es consistente con la relación de conmutación. Esta ecuación de función delta aparece, con una explicación, en el primer capítulo matemático de "Los principios de la mecánica cuántica" de Dirac.
Es desafortunado que las manipulaciones formales con distribuciones conduzcan a paradojas tan fácilmente. Para una paradoja relacionada pero diferente, considere el rastro de .
Como parece que no está completamente satisfecho con la respuesta de Ron Maimon, lo expresaré de una manera un poco diferente.
El problema es que en tu derivación tienes una ambigüedad oculta.
Si toma alguna función "adecuada" y hace los cálculos, no encontrará problemas. Tomemos por ejemplo
Si lo tomas y tenga en cuenta que obtendrá una idea de cómo esta paradoja para puede ser resuelto y comprobar que la solución es una forma correcta de manejar . Se puede usar un truco similar para resolver su paradoja. Solo funciones que tienen como límite son menos convenientes.
Creo que la paradoja es por el hecho de que no es un operador hermitiano en representación en sentido estricto en representación. Luego seguimos de cerca la acción de , .
DanielC