Comprensión matemática de la Mecánica Cuántica

Asumiendo que ϕ ( r ) = F ( ψ ( r ) ) para algún operador F en Mecánica Cuántica. Entonces,

en nuestra conferencia de hoy, dijimos que

ϕ ( r ) = r | F | ψ = R r | F | r r | ψ d r = R r | F | r ψ ( r ) d r .

Creo que este resultado es de alguna manera interesante, porque nos dice que cualquier operador puede representarse como un operador integral y también es similar a

y i = k = 1 norte A i k X k
del álgebra lineal.

Desafortunadamente, no estoy tan seguro de qué r | F | r es. Por comparación, parece que r | F | r = d ( r r ) F , pero no estoy seguro de cómo ver esto, si solo miramos r | F | r y no en las ecuaciones anteriores (!).

Entonces, | r son distribuciones delta en el espacio de posición, pero para evaluar este valor esperado ( r | F | r ), necesitaría saber cuál es el dual de una distribución, que no sé. ¿Alguien podría explicarme cómo podría evaluar este valor esperado?

Por lo tanto, realmente hay una cosa que no considero una respuesta: afirmar que r | F | r = d ( r r ) F , se sostiene de las definiciones anteriores.

Cabe señalar que no sorprende que los operadores QM sean una generalización de los operadores lineales del álgebra lineal, ya que los espacios de Hilbert infinitamente dimensionales generalizan la noción de un espacio vectorial normado de LA.
Desafortunadamente, no es cierto que cualquier operador en un espacio de Hilbert pueda escribirse como un operador integral. Se puede establecer una correspondencia uno a uno (a un nivel matemático riguroso) solo para operadores de Hilbert Schmidt (entre operadores HS y L 2 núcleos en ambas variables).
Lo que dijiste es cierto, pero la representación a través de operadores integrales no está restringida a los operadores HS, pero el núcleo integral no será L 2 en ese caso.
@MateusSampaio Puede ser posible escribir un operador que no sea HS como un operador integral. Pero estoy bastante seguro de que no siempre es posible, es decir, hay operadores que no se pueden escribir en forma integral (incluso con núcleos integrales "singulares").
@yuggib Creo que también tienes razón. Edité mi respuesta mostrando un contraejemplo.
@ACuriousMind, los operadores QM son operadores lineales, y los espacios de Hilbert infinitamente dimensionales son espacios vectoriales normados (completos), punto.
@IncnisMrsi: Sin duda técnicamente correcto, pero por la forma en que mucha gente está aprendiendo álgebra lineal, casi siempre significa álgebra lineal de dimensión finita. Sin embargo, podría haber expresado mejor mi comentario inicial.

Respuestas (3)

Sí, los operadores en mecánica cuántica pueden entenderse básicamente como matrices infinitas, | r como vectores base y ψ ( r ) ψ | r ψ r ∼" ψ i " como componentes del vector de estado numerados por un índice continuo r . r | F | r son de hecho solo componentes matriciales del operador F .

Generalmente r | F | r F d ( r r ) . Para el caso r | F | r = F d ( r r ) tendrías ϕ ( r ) = F ψ ( r ) , es decir F sería justo F veces la identidad en el espacio vectorial mencionado.

Cuando tienes un operador hermiteno que conmuta con el operador de posición R , es decir [ F , R ] = 0 tiene los mismos vectores propios que R y será así será diagonal en el | r base de vectores propios. (La hermiticidad garantiza la no degeneración de los espacios propios). Todo esto es una extensión directa de las cosas que debe saber del álgebra lineal. En ese caso tienes r | F | r = F ( r ) d ( r r ) , dónde F ( r 0 ) es el valor propio de un vector | r 0 .

Pero también puede tener diferentes operadores. Considere un operador de traducción T a que hace T a | r = | r + a . Obviamente r | T a | r = d ( r r a ) . No existe una receta general para encontrar r | F | r , porque todo depende de lo que F representa. de requerir F para representar algo físico, como el impulso o la posición, generalmente puede deducir cómo debería actuar sobre su base a través de ciertos procedimientos. (Me gusta cómo se hace esto en el capítulo 3 de Mecánica Cuántica de Ballentine )

Una vez más, puede recordar que no hay forma de conocer los coeficientes de la matriz sin al menos saber qué hace la matriz, y en la mayoría de los problemas solo se le dan los coeficientes en cierta base como una definición de la matriz misma. En este caso, generalmente se le dan los coeficientes o la acción de la matriz "por la física"; no es un problema completamente matemático.

En cierto sentido, lo que dijiste de que cada operador podría representarse en la representación de posición como un operador integral puede ser cierto para muchos operadores solo si permites que se usen distribuciones, y aunque ese no siempre es el caso.

Confundes un poco las cosas cuando dices sobre el dual de distribuciones. Lo que es una distribución es la representación de | r , que no es un vector del espacio de Hilbert H , eso es X | r = d ( r X ) . El problema de usar esta notación es que le falta mucho rigor y a veces si no prestas atención te puedes meter en problemas.

Lo que puede ser difícil en general es encontrar la representación de posición de un operador. Por ejemplo, tome el propagador libre tu ( t ) = mi i t H , con H = Δ siendo el hamiltoniano libre. Es posible demostrar que

tu ψ ( X ) = ( mi i t H ψ ) ( X ) = 1 4 π i t R mi i ( X y ) 2 4 t ψ ( y ) d y ,
lo que demuestra que tu ( t ) puede representarse como un operador integral en representación de posición con kernel k ( X ) = 1 4 π i t mi i X 2 4 t . Una forma de encontrar la representación de F es cambiar la base donde el operador es un operador de multiplicación. Esto siempre es posible si F = F ( T ) , dónde F es una función medible y T es un operador autoadjunto. En ese caso, el teorema espectral establece que
F = R F ( t ) d PAG T ( t ) ,
dónde PAG T es la resolución de la identidad de T . En la práctica es posible escribir F = tu 1 F tu , dónde tu es el mapa unitario que mapea la representación de posición a la base donde T es un operador diagonal. Por ejemplo, si T = PAG , el operador de cantidad de movimiento, entonces tu = F es la transformada de Fourier. Así que si quieres encontrar la representación de posición de una función F = F ( PAG ) puede proceder como:
( F ψ ) ( X ) = ( F 1 F ( pag ) F ψ ) ( X ) = 1 2 π mi i pag X ( F ( pag ) mi i pag y ψ ( y ) d y ) d pag = k ( X , y ) ψ ( y ) d y ,
con
k ( X , y ) = 1 2 π mi i pag ( X y ) F ( pag ) d pag
El último paso es formal, porque para que cambiemos el orden de integración, las integrales deben existir, y ese no es siempre el caso, y podrías obtener distribuciones, como es el caso si F ( pag ) S ( R ) , eso es F es una distribución temperada . ej., tomando F = PAG , eso es F ( pag ) = pag , encontramos k ( X , y ) = i d ( X y ) . Pero si tomas por ejemplo F ( pag ) = mi pag , el núcleo k ( X , y ) no está definido ni siquiera en el sentido de distribuciones moderadas, aunque el operador F = Exp ( PAG ) está bien definida para un dominio denso.

Desafortunadamente, no estoy tan seguro de qué es ⟨r|F|r′⟩... para evaluar este valor esperado

no es una expectativa, es un elemento de matriz ; pensar en ello como los componentes del operador F sobre la base del puesto.

Si el operador es 'diagonal' sobre la base de la posición, entonces r | F | r es cero excepto cuando r = r .

Así, por ejemplo, si F = R es el operador de posición entonces

r | R | r = r d ( r r )

y luego

ϕ ( r ) = r ψ ( r )

Ahora, considere el caso de que F operar en un estado propio de posición devuelve una suma de dos estados propios de posición:

F | r = 1 2 ( | r + 1 + | r 1 )

Entonces

r | F | r = 1 2 ( d ( r 1 r ) + d ( r + 1 r ) )

y luego

ϕ ( r ) = 1 2 ( ψ ( r + 1 ) + ψ ( r 1 ) )

ah, entonces mi afirmación solo es cierta si F es diagonal sobre la base de la posición, ¿verdad?
@TobiasHurth, no me queda claro qué F representa en el lado derecho de su ecuación final. El lado izquierdo no es un operador entonces, ¿qué es F ¿al lado derecho?
La idea clave aquí es que el resultado de F | r es otro ket que puede expresarse como una combinación de kets de posición. Podríamos, por ejemplo, tener F | r = a | r + b | r , similar a lo que escribió Alfred pero un poco más general. Entonces los elementos de la matriz de F son cero excepto cuando r = r o r = r . (ya que son dados por a r | r + b r | r )