Principio de incertidumbre en un pozo de potencial infinito

Considere el pozo de potencial infinito, es decir, el espacio de Hilbert L 2 ( [ 0 , 1 ] ) . A continuación, consideramos el subconjunto

D θ = { ψ L 2 ( [ 0 , 1 ] ) | ψ es absolutamente continua y  ψ ( 0 ) = mi i θ ψ ( 1 ) }
en el que definimos el operador pag θ = i X . Denotamos por ψ norte , θ = mi i ( 2 π norte θ ) X , norte Z funciones propias de pag θ a los valores propios λ norte , θ = 2 π θ . Ahora pase al conmutador [ X , pag θ ] . Típicamente sería igual a i , pero se puede escribir:
ψ norte | [ X , pag ] ψ norte = ψ norte | ( X pag pag X ) ψ norte = λ norte ψ norte | ( X X ) ψ norte = 0 i ψ norte | ψ norte = i

Mi pregunta es: ¿cómo se debe hacer frente al principio de incertidumbre en un potencial infinito?

¿Cómo hiciste el tercer paso? Si usted tiene pag actuando hacia la izquierda, debes darte cuenta de que ψ norte | es el complejo conjugado de | ψ norte
ψ norte | ( X pag pag X ) ψ norte = pag ψ norte | X ψ norte + ψ norte | X | pag ψ norte = λ ψ norte | X | ψ norte + λ ψ norte | X | ψ norte
El valor propio de pag es λ
Pero pag es selfadjoint - consulte slu.cz/math/cz/knihovna/ucebni-texty/… página 32 ejemplo 1. Esa es mi fuente.
@zephyr en realidad no puedo ver cómo se relaciona con mi pregunta.
Conjugue el operador que anotó arriba. tiene un explícito i en eso.

Respuestas (2)

El problema en la evaluación es que la función X ψ norte se encuentra fuera del dominio D θ ya que no satisface la condición de contorno.

El operador pag θ no es auto adjunto en esta clase de funciones. Por lo tanto, el paso de su evaluación en el ket no es correcto.

La forma correcta de realizar el cálculo es por integración por partes y, en este caso, el término de frontera en X = 1 da la respuesta correcta.

Consulte el siguiente artículo de: F. Gieres: "Mathematical surprises and Dirac's formalism in quantum mechanics", donde se dan ejemplos de errores similares. Véase especialmente el ejemplo 5 en la página 6 y su solución en la página 39, que es muy similar al problema que nos ocupa.

Me baso en el siguiente artículo slu.cz/math/cz/knihovna/ucebni-texty/… -- página 32, ejemplo 1. El autor afirma que el operador de momento es autoadjunto. El problema es ese X El operador no es compatible con la condición de contorno. Todavía me gustaría ver cómo superar el problema de la incertidumbre también.
El espacio de Hilbert D θ no es estable bajo la acción del operador de posición. La solución es permitir que los operadores actúen en un espacio mucho más grande que este espacio de Hilbert, consulte la página 18 en la referencia proporcionada en el texto principal. Ahora, los operadores son solo multiplicación y derivada, la relación de incertidumbre es verificable por cálculo elemental. Lo que está mal al escribir es lo siguiente: ( pag θ Ψ 1 , Ψ 2 ) = ( Ψ 1 , pag θ Ψ 2 ) en el caso de que Ψ 1 = ψ norte y Ψ 2 = X ψ norte . Puedes verificar que la igualdad es incorrecta nuevamente usando cálculo elemental.
Está bien, gracias. Las cosas se me están aclarando mucho. Si tuviera que verificar el principio de incertidumbre para pozos infinitos, mientras calculo σ X , σ pag y | [ pag , X ] | ¿Debería usar integrales estándar para esta expresión y está bien?
Sí, en este caso, es cierto. La referencia de Gieres enfatiza que se debe tener cuidado al manejar el formalismo de sujetador y ket de Dirac en el caso de espacios de Hilbert de dimensión infinita. Los dominios del operador deben tenerse en cuenta al decidir la autoadjunción.

El "principio de incertidumbre" es ciertamente una frase pegadiza (especialmente para los neófitos), el único problema real es que las personas necesitan saber un poco (o tal vez más) de análisis funcional para encontrar y comprender su verdadero significado. Como recurso general, se puede tomar el libro de Brian Hall " https://www.amazon.com/Quantum-Theory-Mathematicians-Graduate-Mathematics/dp/146147115X ". Tiene el capítulo 12 para este tema en particular.

El problema en el OP es que el dominio de la autoadjunción para pag θ no incluye la gama de X bajo las condiciones de contorno particulares requeridas por la auto-adjunción de pag θ . La teoría general afirma que el dominio máximo del conmutador de 2 operadores ilimitados tiene una cierta restricción (3 condiciones)

D [ A , B ] =: { ψ D ( A ) D ( B )   |   Corrió ( A ) D ( B )     Corrió ( B ) D ( A ) }

Estas condiciones (que D(A) y D(B) tengan una intersección no nula y además los rangos de los 2 operadores estén incluidos en el dominio del otro) deben verificarse para cada sistema físico. Solo entonces (si se cumplen estos 3), se permite hacer declaraciones sobre "principios de incertidumbre" y posibles fallas de los mismos.

Como nota al margen: al discutir asuntos de la teoría del operador espacial de Hilbert, se recomienda encarecidamente NO utilizar el formalismo "bra-ket", simplemente porque su fundamento matemático está realmente fuera del alcance de la teoría del espacio de Hilbert. El poder del formalismo bra-ket está solo en un nivel de cálculo formal, es decir, cuando uno hace cálculos formales y no se preocupa si estas expresiones tienen sentido desde un punto de vista matemático.