Límite no relativista del campo escalar complejo

En la página 42 de las conferencias de David Tong sobre la teoría cuántica de campos , dice que también se puede derivar el Schrödinger Lagrangian tomando el límite no relativista del (¿complejo?) campo escalar Lagrangian. Y para eso usa la condición t Ψ metro Ψ , que de hecho supongo que quiere decir | t Ψ ~ | | metro Ψ ~ | , de lo contrario no lo entiendo. En cualquier caso, partiendo del Lagrangiano:

L = m ψ ~ m ψ ~ metro 2 ψ ~ ψ ~

Usando la inecuación creo que es correcta, solo puedo llegar a:

L = ψ ~ ψ ~ metro 2 ψ ~ ψ ~

Y a partir de eso he tratado de relacionar ψ ~ o ψ (como podemos escribir el Lagrangiano anterior con ambos, ya que es invariante al multiplicar por una fase pura), para ψ ˙

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.
Tenga en cuenta que la ecuación de Klein-Gordon es covariante de Poincaré y la ecuación de Schrödinger no lo es. Esto quiere decir, que el segundo no puede ser la consecuencia directa del primero.

Respuestas (1)

No se puede derivar "directamente" de una ecuación de Klein-Gordon, o de un Lagrangiano de Klein-Gordon.

A partir de una ecuación de Klein-Gordon para ψ , y definiendo ψ ( X , t ) = mi i metro t ψ ~ ( X , t ) ( 2.103 ), se obtiene una nueva ecuación para ψ ~ , que no es una ecuación de Klein-Gordon :

(2.104) ψ ~ ¨ 2 i metro ψ ~ ˙ 2 ψ ~ = 0

Por transformada de Fourier, esto es equivalente a la condición:

(1) ( mi 2 + 2 metro mi pag 2 ) = 0

¿Qué significa eso?

Comenzamos con una ecuación de Klein-Gordon para ψ , que, por la transformada de Fourier, es equivalente a la condición

(2) ( mi 2 pag 2 metro 2 ) = 0

Ahora, la transformación ψ ( X , t ) = mi i metro t ψ ~ ( X , t ) ( 2.103 ) , proporciona el vínculo entre mi y mi , esto es mi = mi metro , esto es un cambio en la definición de la energía.

Entonces, desde ( 2 ) , tenemos simplemente : ( ( mi + metro ) 2 pag 2 metro 2 ) = 0 , que es solo la condición ( 1 )

Ahora bien, si suponemos | pag | metro , esto significa | mi metro | metro (con mi metro ) , eso es mi metro , entonces mi 2 metro mi .

Volviendo a la ecuación ( 2.104 ) , que no es una ecuación de Klein-Gordon, vemos, por la transformada de Fourier, que podemos despreciar el primer término en relación con el segundo término y, finalmente, se obtiene:

(2.105) i ψ ~ ˙ = 1 2 metro 2 ψ ~ = 0

Sobre los lagrangianos, creo que tendrás un problema, si quieres definir un lagrangiano dando ( 2.104 ) , con solo un campo escalar real ψ ~ , debido a la ψ ~ ˙ término.

Entonces, debes considerar un campo escalar complejo, y en el Lagrangiano, tendrás términos como ψ ~ ¯ ˙ ψ ~ ˙ y i metro ψ ~ ¯ ψ ~ ˙ , i metro ψ ~ ¯ ˙ ψ ~ , y el primer término, en la aproximación que discutimos, es despreciable en relación con los otros términos.

Pero, ¿cómo obtienes esos dos últimos términos? metro ψ ~ ¯ ψ ~ ˙ , metro ψ ~ ψ ~ ¯ ˙ ? Y también, eso no es exactamente lo que quieres, ¿verdad? Quieres un i ψ ~ ¯ ψ ~ ˙
Sí, estos son términos i metro ψ ~ ¯ ψ ~ ˙ , i metro ψ ~ ¯ ˙ ψ ~ (Me salté el i )
Es solo una modificación del Lagrangiano. 1.15 , donde multiplicamos por metro los primeros 2 términos, omitimos el último término y sumamos el término derivado cuadrático en el tiempo.
Creo que lo he hecho ahora. Mi problema era decir que "como podemos escribir el Lagrangiano anterior con ambos, ya que es invariante al multiplicar por una fase pura", eso es cierto, pero la fase pura no puede depender de x, y el mi metro t hace. Entonces, cuando sustituí correctamente eso en el lagrangiano de campo escalar complejo KG, obtuve los términos que dices, y después de aplicar el non-rel. condición Obtengo el Lagrangiano 1.15 con las modificaciones que dices (y con un 1 2 frente a los gradientes); y eso da el tipo correcto de ecuación de Schrödinger. ¡Gracias!
@user29621: Bien, bien.