Transformadas de Fourier del espacio de posición y momento en Mecánica Cuántica

Transformaciones de Fourier:

ϕ ( k ) = ( 1 2 π ) 3 r  espacio ψ ( r ) mi i k r d 3 r

para el espacio de momento y

ψ ( r ) = ( 1 2 π ) 3 k  espacio ϕ ( k ) mi i k r d 3 k

para el espacio de posición.

Cómo lo sabemos ψ no es la transformada de Fourier de ϕ pero suponemos que es al revés ( ψ sería proporcional a Exp [ i k r ] y ϕ sería proporcional a Exp [ i k r ] )? Si no hubiera diferencia en los signos, no habría problema en la integración desde menos inf. a más inf. si la probabilidad es asimétrica alrededor de cero?
¿Cuál es la razón física por la que en la integral para espacio de cantidad de movimiento tenemos Exp [ i k r ] ? Estoy de acuerdo con el exponente del espacio de posiciones que se puede explicar de la siguiente manera: es la suma de todos los estados de momento definidos del sistema, pero ¿qué pasa con el Fourier del espacio de momento? ¿Cómo podemos explicar la integral (no matemáticamente)?

Si alguien tiene un título mejor, no dude en sugerir uno.
La forma en que coloque el signo menos no hace ninguna diferencia y es puramente una cuestión de convención. Todo lo que importa es que seas consistente en dónde lo pones.
Pero cuando integras, ¿no habrá una diferencia si los límites de integración no son de menos infinito a más infinito?
Si tiene un dominio asimétrico, entonces podría marcar la diferencia, pero normalmente tendrá diferentes estados propios de impulso en ese caso de todos modos para satisfacer sus condiciones de contorno. Incluso entonces, es más una cuestión de cómo etiqueta los estados que cualquier otra cosa.
Pero, ¿no hay una manera correcta de hacerlo en lugar de simplemente decir elegir lo que quieras?
No. Siempre que elija uno y se apegue a él, no hay una manera correcta o incorrecta. Todo lo que terminas haciendo es desviar un montón de signos menos que desaparecerán cada vez que calcules una cantidad observable.
OK muchas gracias. si desea escribirlo como respuesta, lo marcaré como la respuesta aceptada.
No estoy seguro de su notación, por lo que podría ser que solo esté hablando de una función de onda arbitraria, pero quiero señalar que una función propia del operador de momento no es la transformada de Fourier de una función propia del operador de posición . .
@march Lo diré de otra manera: ¿por qué en las relaciones de transformada de Fourier tenemos epx[ikr] en la integral para Ψ y por qué tenemos exp[-ikr] en la integral para Φ?
He editado la pregunta.
Un comentario más: si estamos hablando de una sola función, la convención generalmente aceptada es usar Ψ ( r ) para la función en el espacio real, y Ψ ~ ( k ) o incluso simplemente Ψ ( k ) para la función en el espacio k. Esto enfatiza el hecho de que son funciones relacionadas, y no solo dos funciones aleatorias. Φ y Ψ .
He incluido lo que son Φ y Ψ en la pregunta.
@LandosAdam Entendí bien la pregunta y usé su notación en mi respuesta. Solo quería hacerle saber la notación correcta en el futuro.

Respuestas (3)

Digamos Φ es una función delta, Φ ( k ) = d ( k k 0 ) . Presumiblemente, desea que este sea un estado propio del operador de cantidad de movimiento con cantidad de movimiento k 0 . Con la convención que ha elegido, podemos convertir esto en una función de onda del espacio real (estoy ignorando la normalización por conveniencia):

Ψ ( r ) = d k d ( k k 0 ) mi i k r = mi i k 0 r

Entonces podemos encontrar el impulso del estado aplicando el operador de impulso i r y encontrar el valor propio. Vemos que este estado tiene impulso. k 0 , como se desee.

Si hubiera definido la transformada de Fourier con los signos cambiados, encontraría que el estado definido por Φ ( k ) = d ( k k 0 ) tendría impulso k 0 , lo que sería un inconveniente. Es por eso que definimos la transformada de Fourier como arriba. Sin ninguna preferencia particular en cuanto a lo que queremos Φ ( k ) para representar, podríamos haber elegido cualquiera de los dos siempre que fuéramos consistentes.

Si el dominio de integración fuera asimétrico, ¿no habría problema con la integral?
Además, ¿qué pasa con la interpretación física de la integral de Φ? ¿Por qué es la suma de exp [-ikr]?
Un estado con impulso k en el espacio de posición es mi i k r . Cuando estamos computando Φ ( k ) , queremos averiguar la cantidad de ese estado dentro de ψ ( r ) . Esto se hace tomando el producto interno con ese estado, lo que suma una conjugación compleja.
@LandosAdam Si su dominio de integración r es asimétrico, eso no tiene efecto en su dominio de integración k. Y el dominio de k-integración siempre se puede hacer simétrico. ¿Puede dar un ejemplo en el que el rango de k fuera asimétrico?
@LandosAdam Φ solo necesita ser definido con una integral sobre mi i k r para que la transformada inversa de Fourier sea una integral sobre mi i k r , por lo que expliqué que queríamos en mi respuesta anterior. Tenga en cuenta que no podríamos tener AMBOS integrados por mi i k r o AMBOS integrados por mi i k r , porque las transformadas de Fourier no funcionan de esa manera. Así que la elección del signo en la definición de Φ está completamente determinado.
@JahanClaes No conozco un ejemplo de eso. Pero SI tuviéramos uno de esos ejemplos, ¿no importaría en la integral si el exponente tiene un signo menos o más?
@JahanClaes está usando una explicación matemática usando la definición de la transformada de Fourier, aunque necesito una explicación física como la explicación de la integral de Ψ que es la siguiente: "es la suma de todos los estados de momento definidos del sistema". Entonces, ¿cuál es la explicación análoga para la integral de Φ (con menos en el exponente)?
@LandosAdam, mi punto es que ese ejemplo NO EXISTE. Una transformada de Fourier tiene que integrarse sobre todos los modos de Fourier posibles. Ahora, puede ser cierto que ciertos modos sean irrelevantes (pueden ser todos cero, para una cierta función de onda), por lo que solo integramos en un rango finito de k s. En este caso, el rango de ks sobre el que integramos cambiará apropiadamente si cambiamos mi i k r con mi i k r . Entonces, en ese sentido, podría importar. Pero de nuevo, es solo una cuestión de barajar apropiadamente los signos menos
@LandosAdam Creo que lo entiendes un poco al revés. Ψ ( r ) = d k Φ ( k ) mi i k r representa la suma de todos los estados de impulso del sistema. Φ ( k ) , la integral sobre Ψ , representa la amplitud de un solo estado de impulso. si cuadras Φ ( k ) , obtienes la probabilidad de estar en ese estado de impulso. ¿Es eso una buena intuición física?
@LandosAdams Para expresar un poco mejor mi primera respuesta: si se está integrando k está entre a y b cuando usa una convención de signos, simplemente integrará sobre k está entre b y a en la otra convención de signos. Solo mezclando desventajas. Pero, en general, es mejor pensar en una transformada de Fourier como una integración de todos los modos de Fourier siempre, es solo que algunos modos resultan ser cero.
@JahanClaes dijiste que la integral de Ψ "representa la suma de todos los estados de impulso del sistema". Entiendo esto porque exp[ikr] es un estado de impulso definido. ¿Qué pasa con la integral de Φ hasta exp[-ikr]? ¿Cómo podemos explicarla sin usar la explicación de la transformada de Fourier sino una explicación que use la suma de estados (integral) como explicación de la integral de Ψ?
@LandosAdam Has cambiado Φ y Ψ ¡de nuevo! la integral de Φ representa la suma de todos los estados de impulso. la integral de Ψ es como se obtiene Φ .
@LandosAdam Quizás esta sea una mejor manera de pensarlo. Conocemos cualquier estado | Ψ > se puede expandir en la base del estado de impulso como | Ψ >= k Φ ( k ) | k > . Para encontrar un específico Φ ( k 0 ) , solo tomamos el producto interno < k 0 | Ψ >= k Φ ( k ) < k 0 | k >= Φ ( k 0 ) . Este producto interior < k 0 | Ψ > es precisamente la integral que diste arriba para Φ ( k ) . Entonces, la integral es realmente solo una forma de proyectar vectores en ciertos componentes. No sé si hay mejor intuición que esa.
@LandosAdam No creo que haya una interpretación física tan "limpia" como esperas. El espacio de Fourier es un poco menos intuitivo que el espacio real.

La identificación de una transformada como la transformada de Fourier y la otra como la transformada inversa es una cuestión de definición. La transformada de Fourier es anterior a la mecánica cuántica, por lo que el motivo de la asignación no tiene nada que ver con QM y todo que ver con la historia de las matemáticas.

En 1807, Fourier envió un manuscrito al Institut de France que contenía, entre otras cosas, lo que ahora llamamos la transformada del coseno de Fourier y su inversa. Estas son sus transformaciones:

F C ( tu ) = 2 π 0 F ( X ) porque ( tu X ) d X
F ( X ) = 0 F C ( tu ) porque ( tu X ) d tu .

La generalización de Cauchy de 1827 de las relaciones de Fourier implicó funciones de valores complejos y una asimetría de signo ineludible en la forma de las transformadas. Tratar de preservar la simetría no ayuda. Como señala el artículo siguiente, se puede demostrar que si se toma el mismo signo para las fórmulas directa e inversa, "una fórmula no es exactamente la inversa de la otra".

Es un ejercicio largo y útil para verificar que F ^ y F Habitan espacios duales con un alto grado de simetría. Por ejemplo, una función contiene la misma "energía" que su FT (Plancherel). Es discutible si la física estaría igualmente bien servida si se hubiera elegido una convención diferente, incluso si encontramos casos particulares que parecen señalar el camino no tomado.

Gran parte de este material se puede encontrar en un artículo de la edición de enero/febrero de 2016 de IEEE's Pulse, que a su vez se basa en una secuencia de notas de Deakin enumeradas en las referencias.

La hipótesis de De Broglie esencialmente dice que los estados de cantidad de movimiento definida pag son de la forma ψ ( r ) = mi i pag r . Estos son ortogonales respecto al producto interno.

F | gramo := F ( r ) gramo ¯ ( r ) d r

(para cualquier escala, obviamente seguirían siendo ortogonales). Por los postulados de la mecánica cuántica, generan el espacio de estado completo.

Estados de posición definida r 0 son de la forma ϕ ( r ) = d ( r 0 r ) .

En un espacio vectorial de dimensión finita V con un producto interno y una base ψ pag , cada elemento v V es de la forma

v = pag a pag ψ pag .

Si el ψ pag son ortonormales, es inmediatamente claro que

(1) a pag = v | ψ pag .

podríamos ver a como una función de pag : a ( pag ) := a pag , dando el coeficiente de v en la base ψ pag .

Si tenemos otra base ortonormal ϕ r , en el que el índice ha sido denotado sugestivamente por un símbolo diferente, también tenemos

v = r b r ϕ r ,

y

b ( r ) := b r = v | ϕ r .

Para las bases antes descritas a (la función de coeficiente) sería la representación del momento de v y b como la representación de la posición . Tenemos ψ pag | ϕ r = mi i pag r , y su primera expresión es el análogo de dimensión infinita de (1), mientras que su segunda expresión es el análogo de

b ( r ) v | ϕ r = a pag ψ pag | ϕ r