¿Por qué la ecuación de Klein Gordon es de segundo orden en el tiempo?

Me preguntaba si hay alguna forma de interpretar el hecho de que la ecuación de Klein Gordon es una PDE de segundo orden en el tiempo. Quiero decir, normalmente esperaría que tan pronto como corrija la función de onda inicial, entonces la evolución de su sistema se fija para todos los momentos posteriores. Esto es cierto para la ecuación de Schrödinger y Dirac pero no para la ecuación de Klein Gordon. ¿Hay alguna forma de ver por qué esto sigue siendo "correcto"?

creo que la respuesta corta es: no es una ecuación de onda, sino una ecuación de campo
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.

Respuestas (3)

Hay una gran diferencia entre las ecuaciones de Schrödinger/Dirac y la de Klein-Gordon: las primeras son complejas mientras que la segunda es real. Pero si piensas un poco en ellos, también encontrarás una gran similitud.

Si representas números complejos de la forma a + i b con matrices de la forma ( a b b a ) , entonces puede reescribir fácilmente la ecuación de Schrödinger de esta manera (tomando todas las constantes dimensionales iguales a 1 ):

{ R ˙ = H ^ R yo H ^ yo yo I ˙ = H ^ R R + H ^ yo R ,

dónde R y yo son las partes real e imaginaria de la función de onda ψ = R + i yo y hamiltoniano H ^ = H ^ R + i H ^ yo .

Ahora la ecuación de Klein-Gordon también se puede reescribir de esta forma:

{ φ ˙ = A A ˙ = 2 φ m 2 φ .

En ambos casos tienes dos ecuaciones simultáneas de primer orden. En ambos casos hay que especificar dos condiciones iniciales. Para la ecuación de Schrödinger son reales R e imaginario yo partes de la función de onda, y para la ecuación de Klein-Gordon son φ y φ ˙ .

En las teorías no relativistas, tienes

pag 2 2 metro = mi pag ^ 2 2 metro = mi ^
que nos da la normalidad 2 y t términos que encontramos en la ecuación de Schroedinger. Cuando se tiene en cuenta la relatividad, la relación energía-momento anterior se convierte en
(1) pag 2 C 2 + metro 2 C 4 = mi
Cuando los conviertes en operadores, obtienes una segunda derivada inestable bajo el término raíz cuadrada:
( i ) 2 C 2 + metro 2 C 4 = i t
con el que es difícil trabajar. Entonces, en lugar de (1), solo usas
(2) pag 2 C 2 + metro 2 C 4 = mi 2
como el comienzo. Esto naturalmente conduce al segundo orden en el tiempo.

bueno, la ecuación de Dirac es relativista pero no de segundo orden en el tiempo y mi pregunta era más bien: ¿Cómo debo interpretar que la función de onda inicial ya no determina la evolución ahora?
@XinWang La función de onda no tiene nada que ver con la ecuación de Klein-Gordon. La función de onda en la teoría cuántica de campos es una colección de amplitudes de probabilidad para diferentes configuraciones del campo. ϕ obedeciendo a la ecuación de Klein-Gordon. Esta función de onda obedece a una ecuación de primer orden (la ecuación de Schroedinger).
La ecuación de @XinWang Dirac también es lineal en el espacio. Esto se debe a que se expandió 2 t 2 (lo que mi Eq'n (2) resulta ser) para ser un conjunto de operadores lineales.
@KyleKanos Nunca dudé de que esta ecuación no sea lineal.
@MarkMitchison Estoy interesado en describir el movimiento de una partícula de giro 0 en el marco de la mecánica cuántica relativista.
@XinWang Mecánica cuántica relativista = teoría cuántica de campos.
@MarkMitchison, ¿le importaría dar una respuesta a esto, de modo que haya algo a lo que pueda referirme? - Creo que tu comentario es muy diferente a esta respuesta. Actualmente, no creo que RQM = QFT
@XinWang: No sé a qué te refieres con lo que me dices. La ecuación de Dirac es lineal: ( i γ m m metro ) . La ecuación de KG no es: ( + m 2 ) .
@KyleKanos Un operador es lineal si A ( F + λ gramo ) = A ( F ) + λ A ( gramo ) . Por supuesto, la segunda derivada también es lineal. ( F + λ gramo ) = F + λ gramo .
@XinWang: Lo siento, a menudo uso palabras incorrectas cuando me dirijo a los operadores. Quise decir que la ecuación de Dirac es de primer orden (lineal) en el espacio, en lugar de segundo orden (cuadrática) en el espacio.
@KyleKanos sí, pero esta circunstancia cambia mucho en las condiciones iniciales, supongo. Una ecuación de primer orden necesita solo la función de onda en el tiempo t = 0 para determinar la evolución, para la ecuación de segundo orden, esto no es suficiente.
@XinWang: no hago QFT (aunque estoy lo suficientemente familiarizado con las derivaciones como para poder responder a su consulta), por lo que podría estar equivocado en esto, pero eso suena como un problema con el espacio discreto (es decir, numérico problema) y no un problema de espacio continuo. No veo de inmediato por qué necesitarías más de t = 0 para resolver la evolución del tiempo.
@KyleKanos necesita más que solo el valor de la función en t = 0 , es decir, necesitas una derivada. La ecuación es de segundo orden en el tiempo, por lo que el problema de Cauchy necesita dos condiciones iniciales.
@Ruslan: ¡Por supuesto! Mira, sabía que iba a ser algo trivial que estaba pasando por alto.
Además, la ecuación de Dirac intercambia ser de segundo orden en las coordenadas para sumar grados de libertad.

La evolución temporal de la función de onda siempre se describe mediante la ecuación de Schroedinger

ψ ˙ = i H ^ ψ ,
que es lineal en el tiempo. La ecuación de Klein-Gordon es una ecuación relativista clásica que describe la propagación de perturbaciones en un campo. ϕ llevando una masa metro . Esta ecuación es de segundo orden en el tiempo, al igual que la mayoría de las ecuaciones clásicas de movimiento que uno podría pensar (por ejemplo, la segunda ley de Newton). Cuando cuantificas una teoría de campo de este tipo, la función de onda ahora es un funcional del campo, es decir ψ [ ϕ ( X ) ] describe la amplitud de probabilidad para una configuración de campo particular tomando los valores ϕ ( X ) en todos los puntos posibles del espacio-tiempo X . Como siempre en la teoría cuántica, las variables dinámicas se representan como operadores que no conmutan. En este caso, el campo ϕ por lo tanto se convierte en un operador ϕ ^ , y el hamiltoniano H ^ se expresa en términos de estos operadores de campo.