El punto es que el dominio D(P)D(P) PP debe ser tal que PP es (esencialmente) auto-adjunto al respecto. De lo contrario, no representan un observable. Estoy asumiendo que D(X)=L2([0,L],dx)D(X)=L2([0,L],dx) lugar donde XX es auto-adjunto.
El vector ψψ utiliza para demostrar la desigualdad de Heisenberg tiene que pertenecer a D(PX)∩D(XP)D(PX)∩D(XP) como se puede ver por inspección directa quería probar la desigualdad.
En L2(R,dx) hemos
D(P)∩D(X)⊃S(R) el subespacio del espacio de Schwartz funciones que también es invariante bajoXP, de modo que cualquier ψ∈S(R) puede ser utilizado en las desigualdades de Heisenberg, por ejemplo.
En el presente caso existe una definición natural de D(P) sobre el anillo de la longitud de la L P esencialmente auto-adjoiont: D(P) es el espacio de la C1 funciones ψ(0)=ψ(L).
En este caso nos encontramos con D(PX)={0}.
(La regularidad condición podría ser debilitado el uso de una noción débil de la derivada, pero esta versión más débil de la definición inicial de P no cambia la conclusión final.)
Con dicha definición P resulta ser esencialmente auto-adjunto con el puro punto de espectro de los puntos de 2πnL donde n∈Z y asumo ℏ=1. Los correspondientes vectores propios son
ψn(x)=ei2πnx/L√L
usted ver que ψn∉D(PX) [0,L]∋x↦xψn(x) no pertenece a D(P). Por lo tanto, la conclusión de ΔPψnΔXψn=0
no viola la desigualdad de Heisenberg sólo porque no es válido con dicha definición de XP.
Por otro lado, es discutible si estos X P son correctos representaciones de la posición y el impulso de las operadoras, porque no se cumplen los canónica relaciones de conmutación debido a que, de nuevo, D(PX)={0}, y que estas relaciones requieren que D(PX)∩D(XP) es no trivial tiene ningún sentido físico, ya que son válidas al respecto.
En realidad no es más fundamental y general de la obstrucción para obtener natural físicamente significativa operadores de satisfacciones canónica relaciones de conmutación en el anillo.
Supongamos que estamos tan inteligente para encontrar un (denso) dominio de la (suficientemente regular) funciones de D⊂L2([0,L],dx) que nuestros inicial X P=−id/dx
están bien definidos, al menos Hermitian, y satisfacer el estándar relaciones de conmutación al respecto. Un conocido teorema de por Nelson (en realidad ya obtenidos por Dixmier en este caso en particular) se unió con la famosa Piedra de von Neumann teorema establece que, si X2+P2 es esencialmente auto-adjunto en D entonces existe un operador unitario U:L2([0,L],dx)→L2(R,dx) tal que (los cierres de) UXU−1 UPX−1 son el estándar de auto-adjunto de la posición y el impulso de los operadores en L2(R,dx) (*).
Esto es imposible, porque la UXU−1 sería ilimitada , mientras que los X está acotada.
Esencialmente equivalente absurdum es que X R e no [0,L] como el espectro.
En principio, usted puede encontrar algunos de los dominios más comunes donde X (definida en el conjunto de la L2([0,L],dx)) y P (definida inicialmente como un −i veces un derivado) satisfacer canónica relaciones de conmutación y por lo tanto también la desigualdad de Heisenberg, pero usted tiene que renunciar a algunos físicos relevantes de la propiedad. En particular, cualquiera de las X o P o X2+P2 no puede representar a las características observables.
(*) En realidad, en general, en la presencia de común cerrado subespacios invariantes, L2(R,dx) podría ser reemplazado por una directa ortogonal de la suma de severl de copias, dejando sin cambios el resultado final.