Sobre la derivación de Landau-Lifshitz de cuatro impulsos

Estoy estudiando la novena sección de The Classical Theory of Fields de Landau & Lifshitz, donde introducen cuatro impulsos a través del principio de acción mínima. Puedo entender la derivación hasta el punto en que dicen (usaré índices griegos en lugar de latinos en el libro)

(9.11) d S = metro C η m v tu v d X m .
Ahora, aquí está mi duda: yo sé que
d S = S X m d X m ,
de donde obtenemos que
S X m = metro C tu m ,
pero ahora L&L dice eso
(9.12) pag m   =   S X m
es el cuatro impulso. En su libro de Mecánica , sin embargo, el momento canónico se deriva de la acción como
(43.3) pag i   =   + S q i ,
Entonces, ¿de dónde viene ese signo menos? Pensé que las coordenadas canónicas q i correspondía al espacio-tiempo contravariante X m coordenadas, es decir ( C t , q 1 , q 2 , q 3 ) ( X 0 , X 1 , X 2 , X 3 ) . Esto significaría que
S t = C S X 0 y S q i = S X i ( i = 1 , 2 , 3 )
pero esto significa que mis resultados tienen un signo incorrecto. Así que les pregunto, ¿ dónde está mi error ?

Respuestas (1)

TL; DR: El signo menos proviene de las convenciones de signos de Minkowski.

  1. Árbitro. 1 usa solo la convención de firma de Minkowski ( + , , , ) , pero mostraremos ambas convenciones para referencia/claridad. Pongamos también C = 1 por simplicidad. Árbitro. 1 define el tensor métrico

    (6.5) gramo m v   =   d i a gramo ( 1 , ± 1 , ± 1 , ± 1 ) ,
    el 4 -velocidad
    (7.1/2) tu m   :=   d X m d τ   =   γ d X m d t , d X m d t   =   ( 1 , v ) ,
    (7.1b) d τ d t   =   1 γ   =   gramo m v d X m d t d X v d t   =   1 v 2 ,
    el funcional de acción fuera de la cáscara
    (8.1) S [ X ]   =   t i t F d t   L   =   metro 0 λ i λ F d λ   gramo m v d X m d λ d X v d λ   =   metro 0 Δ τ , Δ τ   :=   τ F τ i ,
    y el lagrangiano
    (8.2) L   =   metro 0 γ .
    Debemos señalar que la normalización global del Lagrangiano (8.2) no es arbitraria, sino que se deriva de la necesidad de reproducir la fórmula no relativista correcta
    L   =   1 2 metro 0 v 2 ( energía de descanso ) + O ( v 4 ) para v   :=   | v |     1.

  2. Árbitro. 1 concluye que la función de acción de Dirichlet on-shell S ( X F , X i ) satisface

    d S   = ( 8.1 )       ± metro 0 λ i λ F d λ   gramo m v d X m d λ d d X v d λ gramo ρ σ d X ρ d λ d X σ d λ   =         ± metro 0 t i t F d t   tu m d d X m d t (9.10)   = En t. por partes ± metro 0 [ tu m   d X m ] t = t i t = t F   metro 0 t i t F d t   d tu m d t MOE   d X m (9.11)   MOE     ± metro 0 ( tu m F   d X F m tu m i   d X i m ) , tu m   :=         gramo m v tu v ,
    cf. por ejemplo, mi Phys.SE responde aquí y aquí . [Aquí el símbolo significa igualdad módulo EOM. Las palabras on-shell y off-shell se refieren a si los EOM están satisfechos o no.]

  3. Hasta ahora no ha habido lugar para diferentes convenciones. En este punto Ref. 1 elige la contravariante 4 -impulso para ser

    (9.13/14) ( mi , pag )   =   pag m   =   metro 0 tu m ,
    lo que significa que la covariante 4 -momentum entonces lee
    ( mi , ± pag )   =   pag m   =   metro 0 tu m .

  4. Para ecs. (9.11) y (9.13/14) se cumplen, entonces tenemos que definir

    (9.1) pag   :=   L v ,
    (9.12) pag m F   :=   ± S X F m ,
    pag m i   :=   S X i m .

Referencias:

  1. LD Landau & EM Lifshitz, Vol.2, La teoría clásica de los campos, § 9.
Oh, tal vez entendí mi error: si pag m = S X m , entonces pag i = S X i para i = 1 , 2 , 3 y pag 0 = S X 0 y todo sale como yo quería. ¿Es esto correcto?
Sí, puedes decirlo así.
Lo siento, pero tengo otra duda: ¿por qué L&L puede elegir cómo se ven los componentes contravariantes del impulso de cuatro? Tal vez podríamos elegir el signo de los componentes espaciales de modo que para v / C 1 se reducen a un impulso no relativista. Pero ¿qué pasa con el componente de tiempo?