En física , un paquete de ondas (también conocido como tren de ondas o grupo de ondas ) es una breve ráfaga de acción de ondas localizadas que viaja como una unidad, delineada por una envoltura . Un paquete de ondas se puede analizar o sintetizar a partir de un conjunto potencialmente infinito de ondas sinusoidales componentes de diferentes números de onda , con fases y amplitudes tales que interfieren de manera constructiva solo en una pequeña región del espacio y de manera destructiva en el resto. [1] Cualquier señal de un ancho limitado en el tiempo o el espacio requiere muchos componentes de frecuencia alrededor de una frecuencia central dentro de un ancho de banda inversamente proporcional a ese ancho; incluso una función gaussiana se considera un paquete de ondas porque su transformada de Fourier es un "paquete" de ondas de frecuencias agrupadas alrededor de una frecuencia central. [2] Cada función de onda componente y, por lo tanto, el paquete de ondas, son soluciones de una ecuación de onda . Dependiendo de la ecuación de onda, el perfil del paquete de ondas puede permanecer constante (sin dispersión) o puede cambiar (dispersión) mientras se propaga.
Las ideas relacionadas con los paquetes de ondas ( modulación , ondas portadoras , velocidad de fase y velocidad de grupo ) datan de mediados del siglo XIX. La idea de una velocidad de grupo distinta de la velocidad de fase de una onda fue propuesta por primera vez por WR Hamilton en 1839, y el primer tratamiento completo fue realizado por Rayleigh en su "Teoría del sonido" en 1877. [3]
Erwin Schrödinger introdujo la idea de los paquetes de ondas justo después de publicar su famosa ecuación de onda . [4] Resolvió su ecuación de onda para un oscilador armónico cuántico , introdujo el principio de superposición y lo utilizó para demostrar que un estado compacto podía persistir. Si bien este trabajo dio como resultado el importante concepto de estados coherentes , el concepto de paquete de ondas no perduró. El año después del artículo de Schrödinger, Werner Heisenberg publicó su artículo sobre el principio de incertidumbre , mostrando en el proceso que los resultados de Schrödinger solo se aplicaban a los osciladores armónicos cuánticos , no, por ejemplo, al potencial de Coulomb característico de los átomos. [4] : 829
Al año siguiente, 1927, Charles Galton Darwin exploró la ecuación de Schrödinger para un electrón no ligado en el espacio libre, suponiendo un paquete de ondas gaussiano inicial. [5] Darwin demostró que, tiempo después, la posición del paquete que viaja a velocidad sería
¿Dónde está la incertidumbre en la posición inicial?
Más tarde, en 1927, Paul Ehrenfest demostró que el tiempo necesario para que un paquete de ondas de materia de ancho y masa se expanda por un factor de 2 era . Como es tan pequeño, los paquetes de ondas en la escala de objetos macroscópicos, con gran ancho y masa, se duplican solo en escalas de tiempo cósmicas. [4] : 830
La mecánica cuántica describe la naturaleza de los sistemas atómicos y subatómicos utilizando la ecuación de onda de Schrödinger . El límite clásico de la mecánica cuántica y muchas formulaciones de dispersión cuántica utilizan paquetes de ondas formados a partir de varias soluciones de esta ecuación. Los perfiles de los paquetes de ondas cuánticas cambian mientras se propagan; muestran dispersión. Los físicos han llegado a la conclusión de que "los paquetes de ondas no servirían como representaciones de partículas subatómicas". [4] : 829
Schrödinger desarrolló los paquetes de ondas con la esperanza de interpretar las soluciones de ondas cuánticas como grupos de ondas localmente compactos. [4] Estos paquetes compensan la localización de la posición por la propagación del momento. En la representación de coordenadas de la onda (como el sistema de coordenadas cartesianas ), la posición de la probabilidad localizada de la partícula está especificada por la posición de la solución del paquete. Cuanto más estrecho sea el paquete de ondas espacial y, por lo tanto, cuanto mejor localizada esté la posición del paquete de ondas, mayor será la dispersión en el momento de la onda. Este equilibrio entre la dispersión en la posición y la dispersión en el momento es un rasgo característico del principio de incertidumbre de Heisenberg.
Un tipo de compromiso óptimo minimiza el producto de la incertidumbre de la posición y la incertidumbre del momento . [6] : 60 Si colocamos un paquete de este tipo en reposo, permanece en reposo: el valor promedio de la posición y el momento coinciden con una partícula clásica. Sin embargo, se propaga en todas las direcciones con una velocidad dada por la incertidumbre óptima del momento . La propagación es tan rápida que en la distancia de una vez alrededor de un átomo, el paquete de ondas es irreconocible.
Las interacciones entre partículas se denominan dispersión en física; las matemáticas de los paquetes de ondas desempeñan un papel importante en los enfoques de dispersión cuántica . Una fuente monocromática (momento único) produce dificultades de convergencia en los modelos de dispersión. [7] : 150 Los problemas de dispersión también tienen límites clásicos. Siempre que el objetivo de dispersión (por ejemplo, un átomo) tiene un tamaño mucho menor que el paquete de ondas, el centro del paquete de ondas sigue trayectorias clásicas de dispersión. En otros casos, el paquete de ondas se distorsiona y se dispersa a medida que interactúa con el objetivo. [8] : 295
Sin dispersión, el paquete de ondas mantiene su forma a medida que se propaga. Como ejemplo de propagación sin dispersión , considere las soluciones ondulatorias de la siguiente ecuación de onda de la física clásica
donde c es la velocidad de propagación de la onda en un medio dado.
Usando la convención de tiempo de la física, e − iωt , la ecuación de onda tiene soluciones de ondas planas
donde la relación entre la frecuencia angular ω y el vector de onda angular k está dada por la relación de dispersión : tal que . Esta relación debería ser válida para que la onda plana sea una solución de la ecuación de onda. Como la relación es lineal , se dice que la ecuación de onda es no dispersiva .
Para simplificar, considere la ecuación de onda unidimensional con ω(k) = ±kc . Entonces, la solución general es donde el primer y el segundo término representan una onda que se propaga en la dirección x positiva y negativa respectivamente .
Un paquete de ondas es una perturbación localizada que resulta de la suma de muchas formas de onda diferentes . Si el paquete está fuertemente localizado, se necesitan más frecuencias para permitir la superposición constructiva en la región de localización y la superposición destructiva fuera de la región. A partir de las soluciones básicas de ondas planas unidimensionales, se puede expresar una forma general de un paquete de ondas como donde la amplitud A ( k ) , que contiene los coeficientes de la superposición de ondas , se deduce de tomar la transformada de Fourier inversa de u ( x , t ) evaluada en t = 0 : y proviene de las convenciones de la transformada de Fourier .
Por ejemplo, elegir
Nosotros obtenemos
Y finalmente
La propagación no dispersiva de la parte real o imaginaria de este paquete de ondas se presenta en la animación anterior.
Por el contrario, en el caso de la dispersión, una onda cambia de forma durante la propagación. Por ejemplo, la ecuación libre de Schrödinger , tiene soluciones de ondas planas de la forma: donde es una constante y la relación de dispersión satisface [9] [10] con los subíndices que denotan la notación de vector unitario . Como la relación de dispersión no es lineal, la ecuación libre de Schrödinger es dispersiva .
En este caso, el paquete de ondas viene dado por: donde una vez más es simplemente la transformada de Fourier de . Si (y por lo tanto ) es una función gaussiana , el paquete de ondas se denomina paquete de ondas gaussiano . [11]
Por ejemplo, la solución de la ecuación de Schrödinger libre unidimensional (con 2Δ x , m y ħ fijados en uno) que satisface la condición inicial que representa un paquete de ondas localizado en el espacio en el origen como una función gaussiana, se ve que es
Una impresión del comportamiento dispersivo de este paquete de ondas se obtiene observando la densidad de probabilidad: Es evidente que este paquete de ondas dispersivo, mientras se mueve con velocidad de grupo constante k o , se deslocaliza rápidamente: tiene un ancho que aumenta con el tiempo como √ 1 + 4 t 2 → 2 t , por lo que finalmente se difunde a una región ilimitada del espacio.
El paquete de ondas gaussianas dispersivas anterior, no normalizado y centrado justo en el origen, en cambio, en t = 0, ahora se puede escribir en 3D, ahora en unidades estándar: [12] [13] La transformada de Fourier también es gaussiana en términos del número de onda, el vector k , con a y su inversa adhiriéndose a la relación de incertidumbre tal que puede considerarse el cuadrado del ancho del paquete de ondas , mientras que su inversa se puede escribir como
Cada onda separada solo rota en fase en el tiempo, de modo que la solución transformada de Fourier dependiente del tiempo es
La transformada de Fourier inversa sigue siendo gaussiana, pero ahora el parámetro a se ha vuelto complejo y hay un factor de normalización general.
La integral de Ψ en todo el espacio es invariante, porque es el producto interno de Ψ con el estado de energía cero, que es una onda con longitud de onda infinita, una función constante del espacio. Para cualquier estado propio de energía η ( x ) , el producto interno, solo cambia en el tiempo de una manera simple: su fase rota con una frecuencia determinada por la energía de η . Cuando η tiene energía cero, como la onda de longitud de onda infinita, no cambia en absoluto.
Para un determinado , la fase de la función de onda varía con la posición como . Varía cuadráticamente con la posición, lo que significa que es diferente de la multiplicación por un factor de fase lineal como es el caso de impartir un momento constante al paquete de ondas. En general, la fase de un paquete de ondas gaussianas tiene un término lineal y un término cuadrático. El coeficiente del término cuadrático comienza aumentando de hacia a medida que el paquete de ondas gaussianas se vuelve más nítido, luego, en el momento de máxima nitidez, la fase de la función de onda varía linealmente con la posición. Luego, el coeficiente del término cuadrático aumenta de hacia , a medida que el paquete de ondas gaussianas se extiende nuevamente.
La integral ∫ |Ψ| 2 d 3 r también es invariante, lo que es una declaración de la conservación de la probabilidad. [14] Explícitamente, donde r es la distancia desde el origen, la velocidad de la partícula es cero y el ancho dado por es √ a en el tiempo (arbitrariamente elegido) t = 0 mientras que eventualmente crece linealmente en el tiempo, como ħt /( m √ a ) , lo que indica la propagación del paquete de ondas . [15]
Por ejemplo, si un paquete de ondas de electrones se localiza inicialmente en una región de dimensiones atómicas (es decir, 10 −10 m), entonces el ancho del paquete se duplica en aproximadamente 10 −16 s. Claramente, los paquetes de ondas de partículas se propagan muy rápidamente (en el espacio libre): [16] Por ejemplo, después de 1 ms, el ancho habrá crecido a aproximadamente un kilómetro.
Este crecimiento lineal es un reflejo de la incertidumbre del momento (invariante en el tiempo): el paquete de ondas está confinado a un estrecho Δ x = √ a /2 , y por lo tanto tiene un momento que es incierto (según el principio de incertidumbre) por la cantidad ħ / √ 2 a , una dispersión en velocidad de ħ/m √ 2 a , y por lo tanto en la posición futura por ħt /m √ 2 a . La relación de incertidumbre es entonces una desigualdad estricta, ¡muy lejos de la saturación, de hecho! La incertidumbre inicial Δ x Δ p = ħ /2 ahora ha aumentado por un factor de ħt/ma (para t grande ).
Una función de onda cuántica gaussiana 2D:
donde [17]
En contraste con el paquete de ondas gaussianas anterior, que se mueve a una velocidad de grupo constante y siempre se dispersa, existe una función de onda basada en funciones de Airy , que se propaga libremente sin dispersión de envolvente, manteniendo su forma y acelera en el espacio libre: [18] donde, por simplicidad (y no dimensionalización ), al elegir ħ = 1 , m = 1/2 y B una constante arbitraria, se obtiene como resultado
No hay disonancia con el teorema de Ehrenfest en esta situación libre de fuerza, porque el estado no es normalizable y tiene un ⟨ x ⟩ indefinido (infinito) para todos los tiempos. (En la medida en que pudiera definirse, ⟨ p ⟩ = 0 para todos los tiempos, a pesar de la aceleración aparente del frente).
El tren de ondas de Airy es la única onda sin dispersión en el espacio libre unidimensional. [19] En dimensiones superiores, son posibles otras ondas sin dispersión. [20]
En el espacio de fases , esto es evidente en la distribución de cuasiprobabilidad de Wigner en estado puro de este tren de ondas, cuya forma en x y p es invariante a medida que avanza el tiempo, pero cuyas características se aceleran hacia la derecha, en parábolas aceleradas. La función de Wigner satisface Las tres igualdades demuestran tres hechos:
Nótese que la distribución de momento obtenida al integrar sobre todo x es constante. Dado que esta es la densidad de probabilidad en el espacio de momento , es evidente que la función de onda en sí no es normalizable.
El límite de ancho estrecho de la solución del paquete de ondas gaussianas discutido es el núcleo propagador libre K . Para otras ecuaciones diferenciales, esto suele llamarse la función de Green, [21] pero en mecánica cuántica es tradicional reservar el nombre de función de Green para la transformada de Fourier temporal de K .
Volviendo a una dimensión para simplificar, con m y ħ fijados igual a uno, cuando a es la cantidad infinitesimal ε , la condición inicial gaussiana, reescalada de modo que su integral sea uno, se convierte en una función delta , δ ( x ) , de modo que su evolución temporal produce el propagador.
Obsérvese que un paquete de ondas inicial muy estrecho se vuelve instantáneamente infinitamente ancho, pero con una fase que oscila más rápidamente en valores grandes de x . Esto puede parecer extraño (la solución pasa de estar localizada en un punto a estar "en todas partes" en todos los momentos posteriores ), pero es un reflejo de la enorme incertidumbre del momento de una partícula localizada, como se explicó anteriormente.
Tenga en cuenta además que la norma de la función de onda es infinita, lo que también es correcto, ya que el cuadrado de una función delta es divergente de la misma manera.
El factor que involucra a ε es una cantidad infinitesimal que está ahí para asegurar que las integrales sobre K estén bien definidas. En el límite en que ε → 0 , K se vuelve puramente oscilatorio y las integrales de K no son absolutamente convergentes. En el resto de esta sección, se establecerá en cero, pero para que todas las integraciones sobre estados intermedios estén bien definidas, el límite ε →0 se tomará solo después de que se calcule el estado final.
El propagador es la amplitud para alcanzar el punto x en el tiempo t , cuando se parte del origen, x = 0. Por invariancia de traslación, la amplitud para alcanzar un punto x cuando se parte del punto y es la misma función, solo que ahora trasladada,
En el límite cuando t es pequeño, el propagador va a una función delta pero sólo en el sentido de distribuciones : la integral de esta cantidad multiplicada por una función de prueba diferenciable arbitraria da el valor de la función de prueba en cero.
Para comprobarlo, nótese que la integral de K en todo el espacio es igual a 1 en todo momento, puesto que esta integral es el producto interno de K por la función de onda uniforme. Pero el factor de fase en el exponente tiene una derivada espacial distinta de cero en todas partes excepto en el origen, y por eso, cuando el tiempo es pequeño, hay cancelaciones de fase rápidas en todos los puntos menos en uno. Esto es rigurosamente cierto cuando el límite ε →0 se toma al final.
Por lo tanto, el núcleo de propagación es la evolución temporal (futura) de una función delta, y es continua, en cierto sentido: llega a la función delta inicial en tiempos pequeños. Si la función de onda inicial es un pico infinitamente estrecho en la posición y , se convierte en la onda oscilatoria.
Ahora bien, dado que cada función puede escribirse como una suma ponderada de dichos picos estrechos, la evolución temporal de cada función ψ 0 está determinada por este núcleo de propagación K ,
Por lo tanto, esta es una forma formal de expresar la solución fundamental o solución general . La interpretación de esta expresión es que la amplitud de una partícula que se encuentra en el punto x en el tiempo t es la amplitud con la que comenzó en y , multiplicada por la amplitud con la que pasó de y a x , sumada sobre todos los puntos de partida posibles . En otras palabras, es una convolución del núcleo K con la condición inicial arbitraria ψ 0 ,
Como la amplitud para viajar de x a y después de un tiempo t + t ' puede considerarse en dos pasos, el propagador obedece a la identidad de composición, que puede interpretarse de la siguiente manera: la amplitud para viajar de x a z en el tiempo t + t ' es la suma de la amplitud para viajar de x a y en el tiempo t , multiplicada por la amplitud para viajar de y a z en el tiempo t ', sumada sobre todos los posibles estados intermedios y . Esta es una propiedad de un sistema cuántico arbitrario, y al subdividir el tiempo en muchos segmentos, permite expresar la evolución temporal como una integral de trayectoria . [22]
La propagación de los paquetes de ondas en la mecánica cuántica está directamente relacionada con la propagación de las densidades de probabilidad en la difusión . Para una partícula que camina aleatoriamente , la función de densidad de probabilidad satisface la ecuación de difusión [23] donde el factor de 2, que se puede eliminar reescalando el tiempo o el espacio, es solo por conveniencia.
Una solución de esta ecuación es la función gaussiana variable en el tiempo, que es una forma del núcleo de calor . Dado que la integral de ρ t es constante mientras que el ancho se estrecha en tiempos pequeños, esta función se aproxima a una función delta en t = 0, nuevamente solo en el sentido de distribuciones, de modo que para cualquier función de prueba f .
La gaussiana variable en el tiempo es el núcleo de propagación de la ecuación de difusión y obedece a la identidad de convolución , lo que permite expresar la difusión como una integral de trayectoria. El propagador es el exponencial de un operador H , que es el operador de difusión infinitesimal.
Una matriz tiene dos índices, lo que en el espacio continuo la convierte en función de x y x '. En este caso, debido a la invariancia de la traslación, el elemento de la matriz K sólo depende de la diferencia de la posición, y un abuso conveniente de la notación es referirse al operador, a los elementos de la matriz y a la función de la diferencia con el mismo nombre:
La invariancia de la traducción significa que la multiplicación de matrices continua es esencialmente convolución.
La exponencial se puede definir sobre un rango de t s que incluyen valores complejos, siempre que las integrales sobre el núcleo de propagación permanezcan convergentes. Mientras la parte real de z sea positiva, para valores grandes de x , K disminuye exponencialmente y las integrales sobre K son, de hecho, absolutamente convergentes.
El límite de esta expresión para z que se aproxima al eje imaginario puro es el propagador de Schrödinger encontrado anteriormente, que ilustra la evolución temporal de las gaussianas anterior.
La identidad fundamental de la exponenciación, o integración de trayectorias, se cumple para todos los valores z complejos , donde las integrales son absolutamente convergentes de modo que los operadores están bien definidos.
Por lo tanto, la evolución cuántica de una gaussiana, que es el núcleo de difusión complejo K , equivale al estado evolucionado en el tiempo,
Esto ilustra la forma difusiva anterior de las soluciones gaussianas complejas,