¿Cómo es la ecuación de Schroedinger una ecuación de onda?

Las ecuaciones de onda toman la forma:

2 F t 2 = C 2 2 F

Pero la ecuación de Schroedinger toma la forma:

i F t = 2 2 metro 2 F + tu ( X ) F

Los parciales con respecto al tiempo no son del mismo orden. ¿Cómo se puede considerar la ecuación de Schroedinger como una ecuación de onda? ¿Y por qué los patrones de interferencia (por ejemplo, en el experimento de la doble rendija) son tan similares para las ondas de agua y las funciones de onda cuánticas?

Para una conexión entre Schr. ec. y Klein-Gordon eq, véase, por ejemplo, A. Zee, QFT in a Nutshell, cap. III.5, y esta publicación de Phys.SE más los enlaces incluidos.
"¿En qué sentido es la ecuación de Schrödinger una ecuación de onda?" en un sentido suelto. Sus soluciones son intuitivamente ondulatorias. Desde un punto de vista matemático, las cosas no son tan fáciles. Las clasificaciones estándar de las PDE no se ajustan a la ecuación de Schrödinger, que parece un poco parabólica pero no es disipativa. Comparte muchas propiedades con las ecuaciones hiperbólicas, por lo que podemos decir que es una ecuación de onda, no en el sentido técnico, pero sí en un sentido heurístico.
Dejé un comentario en una de las respuestas a continuación, pero luego lo eliminé... Publicaré algo similar aquí porque está en la línea de lo que dijo @AccidentalFourierTransform. Yo no llamaría a esta ecuación una ecuación de onda. No es hiperbólico. ¿Como una ola? Quizás. Pero no creo que trate de defender la afirmación de que es una ecuación de onda. Para mí, la ecuación de onda hiperbólica <-> y cualquier otra cosa es simplemente otra cosa.
Una variante de esta pregunta: ¿por qué la interferencia de doble rendija produce patrones de interferencia tan similares para las ondas de agua como para la función de onda del electrón, si sus ecuaciones diferenciales subyacentes son tan diferentes?
@tparker Vemos eso todo el tiempo en, digamos, dinámica de fluidos. Las ecuaciones de potencial lineal pueden generar soluciones muy similares a las ecuaciones completas de Navier-Stokes en algunas circunstancias, a pesar de las grandes diferencias en sus ecuaciones subyacentes. Pero, hay soluciones que no pueden ser producidas por uno u otro. Me resisto a decir que todo es pura coincidencia, pero no es raro que ecuaciones fundamentalmente diferentes puedan producir soluciones similares en un número limitado de situaciones.
Es más como una ecuación de difusión.
Lo siento, esto me está molestando; Siempre supuse que las ecuaciones de onda/Schrödinger eran matemáticamente el mismo objeto en diferentes formas. Cuestionar esto me llevó aquí. ¿No se puede pensar simplemente en la ecuación de Schrödinger como la "señal analítica" de una ecuación de onda clásica (con una relación de dispersión particular)? Por el contrario, ¿no puedes pensar en la ecuación de onda como el componente real de la ecuación de Schrödinger (nuevamente, con una relación de dispersión particular)?
Para ver lo que quiero decir, compare tu ˙ = i 2 tu (Schrodinger) a tu ¨ = 2 tu (ola). Primero, haga nuestras vidas más fáciles: cambie las coordenadas al espacio propio laplaciano y considere un solo componente escalar ξ . Los valores propios del Laplaciano son números reales negativos; Denotarlos como " ω " para Schrödinger y " λ " para las ecuaciones de onda (por razones que quedarán claras en un momento), así que nos quedamos con las ecuaciones escalares ξ ˙ = i ω ξ (Schrodinger) y ξ ¨ = λ ξ (ola).
Para Schrödinger, tenemos las soluciones lineales habituales de primer orden ξ ( t ) = z mi i ω t dónde z = a + i b . Podemos aplicar la identidad de Euler para escribir esto como ξ ( t ) = a porque ( ω t ) + b pecado ( ω t ) + i [ b porque ( ω t ) a pecado ( ω t ) ] . Para la ecuación de onda, tenemos un oscilador armónico con frecuencia ω 2 = λ y soluciones ξ ( t ) = a porque ( ω t ) + b pecado ( ω t ) . Podemos aplicar aplicar la identidad de Euler para escribir esto como ξ ( t ) = z mi i ω t + z ¯ mi i ω t , dónde z = 1 2 ( a + i b ) .
Así que sí, las ecuaciones de onda y de Schrödinger están superficialmente relacionadas al compartir una base propia: otros señalan que esto es cierto para cualquier PDE invariante en la traducción. Lo que es un poco más interesante es esto: las soluciones a la ecuación de Schrödinger parecen que acabamos de descartar la mitad de los modos propios de pares conjugados de soluciones de valor real a la ecuación de onda. Por el contrario, las soluciones de la ecuación de onda parecen como si hubiéramos tomado la parte real de las soluciones de la ecuación de Schrödinger.
Esto es cierto, al menos, cuando se considera un solo modo. Notarás un poco de mano conmigo dejando ω igual al valor propio (negativo) del laplaciano para Schrödinger, pero estableciendo ω 2 = λ para la ecuación de onda. Esta elección tiene sentido si considera la ecuación de Schrödinger de primer orden como una especie de "raíz cuadrada" de la ecuación de onda de segundo orden.
Si pensamos en que estas son ODE/PDE lineales que comparten un espacio propio, están relacionadas en el sentido de que las frecuencias de la ecuación de Schrödinger son los cuadrados de las de la ecuación de onda, y podemos convertir entre los componentes temporales de los modos individuales sumando/ eliminando el componente imaginario de la señal? Pero, tal vez aquí es donde la física se desliza: parecen tener frecuencias generalmente diferentes para un modo dado, por lo que las soluciones que son mezclas de múltiples frecuencias se comportarán/dispersarán de manera diferente. — descargo de responsabilidad: no tengo un título en matemáticas o física.
Para la doble rendija: mi conclusión es que los patrones son similares porque las soluciones para las ecuaciones de Schrödinger y de onda son realmente "las mismas" en este caso específico. Esto debería ser cierto, al menos, si la solución se compone de modos que tienen todos el mismo valor propio (frecuencia). Espero que este sea generalmente el caso con partículas idénticas que viajan a la misma velocidad (misma energía, misma longitud de onda), por lo que la doble rendija se comporta un poco como la ecuación de onda.

Respuestas (7)

En realidad, una ecuación de onda es cualquier ecuación que admite soluciones ondulatorias, que toman la forma F ( X ± v t ) . La ecuacion 2 F t 2 = C 2 2 F , a pesar de ser llamada " la ecuación de onda", no es la única ecuación que hace esto.

Si conecta la solución de onda en la ecuación de Schroedinger para potencial constante, usando ξ = X v t

i t F ( ξ ) = ( 2 2 metro 2 + tu ) F ( ξ ) i v F ( ξ ) = 2 2 metro F ( ξ ) + tu F ( ξ )

Esto claramente depende sólo de ξ , no X o t individualmente, lo que demuestra que se pueden encontrar soluciones ondulatorias. Terminan pareciendo mi i k ξ .

¿No satisface este criterio ninguna PDE invariante traslacionalmente, incluso si no es invariante rotacionalmente o incluso lineal? F ( ξ ) / X i = F ( ξ ) / ξ i y F ( ξ ) / t = v ξ F ( ξ ) , por lo que si toma cualquier PDE traduccionalmente invariante y reemplaza cada / t con v ξ , entonces no hay solución F ( ξ ) de la PDE 3D resultante se convierta en una solución "tipo onda" de la PDE 4D original mediante...
... dejar F ( ξ ) F ( X v t ) ?
He ampliado el comentario anterior en una respuesta.
No estoy de acuerdo. Para la ecuación de onda cualquier función f(x-vt) (con v correctamente fijada) es una solución. En su ejemplo de Schroedinger, solo funciones especiales muy especiales cumplen la ecuación.
@lalala ... para ondas no dispersivas. Sin embargo, muchos otros fenómenos que realmente desea seguir llamando "ondas" (como ondas furtivas, sonido en sólidos, luz en vidrio u ondas en un estanque) ya no respaldan esa propiedad: tienen una base infinita de soluciones. de la forma mi i ( k X ω t ) , pero ya no sostienen F ( X v t ) como solución, exactamente como lo hace la ecuación de Schrödinger. "Onda" es un término un poco esponjoso, pero si usa esa base para escribir la ecuación de Schrödinger, debe estar preparado para eliminar a los demás.
Pero con el mismo argumento, ¿no puedes conectarte? ξ en la ecuación del calor? Con tu = 0 , la ecuación de Schroedinger es en realidad la misma que la ecuación del calor, solo que tiene valores complejos. Probablemente sea la rotación por i eso crea un comportamiento ondulatorio en la ecuación de Schroedingers pero no en la ecuación del calor. Esto me confunde bastante.
@divB Tiene sentido que esa rotación por i sería bastante significativo para determinar el comportamiento de las soluciones de la ecuación.
@DavidZ, pero entonces su argumento no tiene sentido. Porque también puedo "conectar la solución de onda usando ξ = X v t " en la ecuación del calor y "esto dependerá claramente sólo de X i , no X o t individualmente".
Según esta respuesta, f(x,t) = x - vt es una onda. Lo cual creo que no es correcto...

Ambos son tipos de ecuaciones de onda porque las soluciones se comportan como se espera para las "ondas". Sin embargo, matemáticamente hablando, son ecuaciones diferenciales parciales (EDP) que no son del mismo tipo (por lo que espera que la clase de soluciones, dadas algunas condiciones de contorno, presente un comportamiento diferente). Las restricciones sobre los valores propios del operador lineal también son particulares de cada uno de los tipos de PDE. En general, una ecuación diferencial parcial de segundo orden en dos variables se puede escribir como

A X 2 tu + B X y tu + C y 2 tu + términos de orden inferior = 0

La ecuación de onda en una dimensión que cita es una forma simple para una PDE hiperbólica que satisface B 2 4 A C > 0 .

La ecuación de Schrödinger es una PDE parabólica en la que tenemos B 2 4 A C = 0 ya que B = C = 0 . Se puede asignar a la ecuación del calor.

¿No debería ser B 2 4 A C o tal vez 2 B en el PDE?
¿Existe una explicación perspicaz de por qué la ecuación de Schroedinger y la ecuación del calor son tan similares (en realidad idénticas a tu = 0 excepto por ser de valor complejo) pero dan como resultado un comportamiento tan diferente?
@divB Creo que es similar a cómo la ODE f'(x) = -k f(x)da un decaimiento exponencial (de verdad k > 0), pero agrega un iantes ky en su lugar obtienes soluciones oscilantes como las que obtienes paraf''(x) = -k f(x)

En sentido técnico, la ecuación de Schrödinger no es una ecuación de onda (no es una PDE hiperbólica). Sin embargo, en un sentido más heurístico, uno puede considerarlo como tal porque exhibe algunas de las características de las típicas ecuaciones de onda. En particular, la propiedad más importante compartida con las ecuaciones de ondas es el principio de Huygens . Por ejemplo, este principio está detrás del experimento de la doble rendija.

Si desea leer sobre este principio y la ecuación de Schrödinger, consulte Principio de Huygens, la partícula libre de Schrödinger y la fuerza cuántica anticentrífuga y el Principio de Huygens como modelo universal de propagación . Consulte también esta publicación de Math.OF para obtener más detalles sobre HP y las PDE hiperbólicas.

¿Podría dar más detalles sobre esto? Estoy tratando de entender cómo se puede predecir el experimento DS a través de soluciones a la ecuación de Schrödinger, por lo general, parece que solo se hace heurísticamente con soluciones de ecuaciones de onda, pero estas no suelen resolver Schrödinger. ¿Tal vez tienes una fuente que explica esto? Mirando a través de las fuentes que publicaste, no discuten el experimento DS.
Parece que, para las soluciones que consisten completamente en modos con la misma frecuencia, las ecuaciones de onda/Schrödinger podrían tener las mismas soluciones, solo que difieren en si incluyen una parte imaginaria y posiblemente un factor de 2. Dado que ambas están definidas en términos de ∇², tienen el mismo espacio propio. ¿Las diferentes relaciones entre la longitud de onda y la frecuencia no serán visibles, cualitativamente, si solo está considerando una frecuencia/longitud de onda (como suele ser el caso en la doble rendija)?

Como señala Joe en su respuesta a un duplicado, la ecuación de Schrödinger para una partícula libre es una variante de la aproximación de envolvente de variación lenta de la ecuación de onda, pero creo que su respuesta pierde algunas sutilezas.

Tome una solución general F ( X ) a la ecuación de onda 2 F = 0 (usamos la notación covariante de Lorentz y la convención de signos -+++). imagina descomponer F en una sola onda plana modulada por una función de envolvente ψ ( X ) : F ( X ) = ψ ( X ) mi i k X , donde el cuatro vector k es nulo. La ecuación de onda entonces se convierte en

( m + 2 i k m ) m ψ = ( + 2 i k ) ψ + 1 C 2 ( t + 2 i ω ) t ψ = 0 ,
dónde C es la velocidad de la onda.

Si existe un marco de Lorentz en el que | k ψ | | ψ | y | t ψ ˙ | ω | ψ ˙ | , entonces en ese marco los dos términos del medio pueden ser despreciados, y nos quedamos con

i t ψ = C 2 2 ω 2 ψ ,
que es la ecuación de Schrödinger para una partícula libre de masa metro = ω / C 2 .

| t ψ ˙ | ω | ψ ˙ | significa que la derivada temporal de la función envolvente ψ ˙ está cambiando mucho más lentamente que la onda plana está oscilando (es decir, muchas oscilaciones de ondas planas ocurren en el tiempo | ψ ˙ / t ψ ˙ | que se necesita para ψ ˙ cambiar significativamente), de ahí el nombre de "aproximación de envolvente de variación lenta". La interpretación física de | k ψ | | ψ | es mucho menos claro y no tengo una gran intuición para ello, pero parece implicar básicamente que si tomamos la dirección de propagación de la onda como z ^ , después z ψ cambia muy rápidamente en el espacio a lo largo de la dirección de propagación de la onda (es decir, solo necesita viajar una pequeña fracción de una longitud de onda λ antes de z ψ cambia significativamente). Este es un límite bastante extraño, porque claramente no tiene sentido pensar en ψ como una "envolvente" si cambia en una escala de longitud mucho más corta que la longitud de onda de la onda que se supone que envuelve. Francamente, ni siquiera estoy seguro de si este límite es compatible con el otro límite. | t ψ ˙ | ω | ψ ˙ | . Agradecería las ideas de cualquiera sobre cómo interpretar este límite.

Como se destacó en otras respuestas y comentarios, el punto común entre estas ecuaciones es que sus soluciones son "ondas". Es la razón por la que la física que describen (por ejemplo, los patrones de interferencia) es similar.

Tentativamente, definiría una ecuación "en forma de onda" como

  1. una PDE lineal

  2. cuyo espacio de soluciones * espacialmente acotadas admite una (pseudo-)base de la forma

    mi i k . X i ω α ( k ) t , k R norte , α { 1 , , r }
    con ω 1 ( k ) , , ω r ( k ) valor real (también conocido como relación de dispersión ).

Por ejemplo, en dimensión 1+1, estas van a ser las EDP de la forma

pags , q A pags , q X pags t q ψ = 0
tal que, por todo k R el polinomio
q k ( ω ) := pags , q ( i ) pags + q A pags , q k pags ω q
sólo admite raíces reales . En este sentido, esto recuerda a la clasificación hiperbólica frente a parabólica detallada en la respuesta de @DaniH, pero sin otorgar un papel especial a las derivadas de segundo orden.

Tenga en cuenta que con tal definición, la ecuación de Schrödinger libre se calificaría como ondulatoria, pero no como la que tiene un potencial (y creo que con razón, ya que la física de, digamos, el oscilador armónico cuántico es bastante diferente, con estados ligados, etc.). Tampoco la ecuación del calor t ψ C X 2 ψ = 0 : la ' i ' en la ecuación de Schrödinger importa!

* Tales ecuaciones también admitirán a menudo soluciones de ondas evanescentes correspondientes a imaginarios k .

Esta respuesta desarrolla mi comentario a la respuesta de David Z. Creo que su definición de una ecuación de onda es excesivamente amplia, porque incluye cada EDP invariante traslacionalmente y cada valor de v . Para simplificar, especialicémonos en PDE lineales en una dimensión espacial. Un orden general- norte tal ecuación toma la forma

norte = 0 norte m 1 , , m norte { t , X } C m 1 , , m norte m 1 m norte F ( X , t ) = 0.

Para simplificar la notación, dejaremos { m } denotar m 1 , , m norte , de modo que

norte = 0 norte { m } C { m } m 1 m norte F ( X , t ) = 0.

Hagamos el ansatz que F solo depende de ξ := X v t . Después X F ( ξ ) = F ( ξ ) y t F ( ξ ) = v F ( ξ ) . si definimos a { m } norte simplemente contar el número de índices m i { m } que igual t , entonces la PDE se convierte en

norte = 0 norte F ( norte ) ( ξ ) { m } C { m } ( v ) a { m } = 0.

Definición C norte := { m } C { m } ( v ) a { m } , obtenemos la ecuación diferencial ordinaria con coeficientes constantes

norte = 0 norte C norte   F ( norte ) ( ξ ) = 0.

Ahora como siempre, podemos hacer el ansatz F ( ξ ) = mi i z ξ y encuentre que la ecuación diferencial se satisface siempre que z es una raíz del polinomio característico norte = 0 C norte ( i z ) norte . ¡Entonces nuestra PDE lineal invariante traslacionalmente completamente arbitraria tendrá "soluciones similares a ondas" viajando a todas las velocidades posibles!

punto interesante No estoy listo para admitir que la definición es demasiado amplia; tal vez todas las PDE lineales traduccionalmente invariantes sean "ecuaciones de onda". Pero me pregunto si hay más en la historia. Por ejemplo, ¿algunas de estas EDP admiten otras soluciones que no puedan expresarse como una combinación lineal de ondas? F ( X ± v t ) ?
@DavidZ Los PDE ni siquiera tienen que ser lineales, como se menciona en mi comentario original (solo consideré el caso lineal por simplicidad). Si permite que la frase "ecuación de onda" cubra las PDE no lineales de TI generales, en mi opinión se vuelve tan amplia que bien podría decir simplemente "PDE translacionalmente invariante".

Si bien no es de naturaleza muy técnica, vale la pena volver a la primera definición de lo que es una onda (es decir, la que usa antes de aprender que "una onda es una solución a una ecuación de onda"). La redacción que uso en las clases introductorias es

una perturbación en movimiento

donde se permite que la 'perturbación' esté en cualquier cantidad medible, y simple significa que se ve que la cantidad varía de su valor de equilibrio y luego regresa a ese valor.

Lo sorprendente no es lo general que es esa expresión, sino que es necesario usar algo así de general para cubrir todos los casos básicos: ondas en cuerdas, ondas superficiales en líquidos: sonido y luz.

Y según esa definición, la ecuación de Schrödinger se usa para describir la variación en movimiento de varios observables, por lo que podría decirse que califica.

Hay espacio para objeciones: la función de onda en sí misma no es observable, e incluso las distribuciones de valores que se pueden observar a menudo son de naturaleza estadística, pero siempre me he sentido cómodo con este enfoque.

Sí, estoy empezando a arrepentirme de haber ofrecido la recompensa por esta pregunta en lugar de crear la mía propia. Lo que realmente quiero entender es la pregunta mucho más concreta de por qué los patrones de interferencia de hendidura se ven tan similares (tanto cualitativa como cuantitativamente) para la ecuación de Schrödinger de partículas libres y para "la" ecuación de onda, incluso las ecuaciones diferenciales son tan matemáticamente diferente.
Ya veo. Esa es una pregunta interesante, pero no una en la que haya pensado mucho antes. Una línea de investigación que se presenta es considerar el TDSE como la aproximación newtoniana a las ecuaciones de onda cuánticas relativistas subyacentes, que tienen la simetría entre el tiempo y el espacio que vemos en la ecuación de onda "la". Ciertamente, eso encaja con la imagen heurística habitual en la que H = pags 2 / 2 metro + V ( X ) más la derivada temporal de Ψ 0 Exp ( k X ω t ) lo que da como resultado energía, mientras que las derivadas espaciales dan como resultado un impulso (dentro de las constantes apropiadas, por supuesto).
@tparker solo para informarle, leer sus comentarios me llevó a hacer esta pregunta relacionada. física.stackexchange.com/questions/335225/…