Principio de acción mínima: dScldtb=∂Scl∂tb+∂Scl∂xbx˙bdScldtb=∂Scl∂tb+∂Scl∂xbx˙b\frac{d S_{cl}}{dt_b} = \frac{\partial S_{cl} }{\parcial t_b} + \frac{\parcial S_{cl}}{\parcial x_b}\dot{x}_b

Pregunta

No puedo ver cómo puedo obtener la sección resaltada en amarillo en el RHS de la del LHS.

La siguiente ecuación se puede encontrar en mis notas de clase (* 1) (página 9, ecuación 2.7) y también se usa como Problema 2-6 en Feynman & Hibbs, Quantum Mechanics and Path Integrals , (pg. 36),

(9) d S C yo d t b = L ( X b , X ˙ b , t b ) =   S C yo t b + S C yo X b X ˙ b  

A continuación, se encuentra la sección relevante de notas utilizadas para derivar la expresión y también mi propio intento de obtener la expresión en el RHS.

Intentar

Usando (8) e integrando ambos lados (¡no del todo seguro de poder hacer esto!),

(13) S C yo = pag b X b

entonces usando la regla del producto y nuevamente (8) para pag b en el segundo término,

(14) d S C yo d t b = d pag b d t b X b + PAG b d X b d t b = d pag b d t b X b + d S C yo d X b X b ˙

Sin embargo, ahora tengo dos problemas:

  1. Tengo derivadas propias en el RHS, no derivadas parciales
  2. solo puedo obtener S C yo en el primer término tratando X b como independiente de t b y usando (14).

Derivación

Esta derivación se copió directamente de las notas mencionadas anteriormente en la página 9. La ecuación relevante es (8)

La acción por un camino X ( t ) ,

(1) S [ X ( t ) ] = t a t b L ( X , X ˙ , t ) d t

dónde L es el lagrangiano. Ahora, usando el principio de mínima acción: el camino clásico X ¯ ( t ) es un extremo de la funcional S,

(2) d S d X | X = X ¯ = 0

dónde d S / d X es la derivada funcional. Para una pequeña variación de la ruta: X ( t ) X ( t ) + d X ( t ) :

(3) d S = S [ X + d X ] S [ X ] = t a t b d t   L ( X + d X , X ˙ + d X ˙ , t ) L ( X , X ˙ , t )

Usando la expansión de Taylor 2D alrededor d X , d X ˙ obtenemos

(4) d S = t a t b d t   ( L X d X + L d X ˙ d X ˙ ) + O ( d X 2 )
Ahora integrando por partes,

(5) d S = [ L X ˙ d X ˙ ] t a t b t a t b d t   ( d d t ( L X ) L d X ˙ ) d X + O ( d X 2 )

Si los puntos finales de la ruta son fijos, es decir, d X ( t a ) = d X ( t b ) = 0 , entonces obtenemos la ecuación de Lagrange para el camino clásico,

(6) d d t ( L X ) L d X ˙ = 0

Teniendo en cuenta el valor de la acción. S en el camino clásico, S C yo S [ X ¯ ( t ) ] : S C yo será una función de los puntos extremos, es decir, de X a , t a , X b , y t b .

Variando el punto final ( X b , t b ) ( X b , t b ) + ( d X b , d t b ) , pero mantén ( X a , t a ) fijado. La ecuación de Lagrange se cumple para el camino clásico. Nosotros elegimos d t b = 0 y recuerda el impulso canónico pag conjugar a X como pag = L X ˙ Llegar,

(7) d S C yo = [ L X ˙ d X ˙ ] t a t b = [ pag d X ] t a t b = pag ( t b ) d X b pag ( t a ) d X a = pag ( t b ) d X b
Por eso,

(8) S C yo X b = pag b

ahora considerando d S C yo d t . De (1) podemos escribir:

(9) d S C yo d t b = L ( X b , X ˙ b , t b ) =   S C yo t b + S C yo X b X ˙ b  

Esto da,

(11) S C yo t b = L pag b X ˙ b = mi b
(12) mi b = S C yo t b
dónde mi b es la función de energía o hamiltoniana .

Referencias

(*1) Brian Pendleton, Teoría cuántica, Universidad de Edimburgo, 2015

Respuestas (2)

Comentarios a la pregunta (v3):

  1. Los datos del límite X b , t b , X a , t a son variables independientes en la acción on-shell S C yo ( X b , t b ; X a , t a ) , y asumimos que tiene sentido tomar derivadas parciales wrt. cada uno de ellos.

  2. En general, no se puede dar una fórmula cerrada para la acción en el caparazón. S C yo ( X b , t b ; X a , t a ) (que de alguna manera no se refiere a la acción fuera de la cáscara), solo en casos especiales.

  3. La pregunta de OP es esencialmente sobre la prueba del Lema en mi respuesta Phys.SE aquí .

  4. Probablemente debería enfatizarse que la Ref. 1 asume implícitamente en la diferenciación de tiempo total

    (entre 2.6 y 2.7) d S C yo ( X b ( t b ) , t b ; X a , t a ) d t b   =   L ( X b , X ˙ b ( X b , t b ; X a , t a ) , t b ) ,
    que la variación de las condiciones de contorno es a lo largo del mismo camino clásico, consulte mi respuesta Phys.SE mencionada anteriormente para obtener más detalles.

Referencias:

  1. Brian Pendleton, Quantum Theory Lecture Notes, Universidad de Edimburgo, septiembre de 2015. El archivo pdf está disponible aquí .
Esto me ha ayudado un poco, pero aún no puedo ver dónde obtuviste eq. (13) en su respuesta SE que está vinculada
¿Qué paso en la ec. (13)?
¡La parte que requería la relación a continuación que no sabía! Sin embargo, aprecié sus explicaciones detalladas sobre la respuesta vinculada.

Tomado directamente de este enlace "Del principio de variación de Hamilton a la ecuación de Hamilton Jacobi", PSU-Physics Lecture Notes...

Para una función arbitraria, S = S ( tu , v , t ) ,

d S d t = tu ˙ S tu + v ˙ S v + S t
usando,
S tu = ( S tu 1 , S tu 2 , S tu 3 )

Esto resuelve todo el problema. Era simplemente que no conocía la relación anterior.

Otra razón para la ventaja de la notación de índice , como se puede escribir d S / d t = tu ˙ i S / tu i + para i ( 1 , 3 ) (o 0,3 para 4D).
Genial :) Lo dejaré como el anterior para que sea sencillo de leer.
Esa fórmula es la regla de la cadena para funciones con explícita t -dependencia, cf. por ejemplo, esta publicación de Phys.SE.
@Qmechanic gracias por nombrarlo. Yo estaba luchando para encontrar su prueba