La notación δδ\delta en la mecánica clásica de Goldstein sobre el cálculo de la variación

En Mecánica clásica de Goldstein (página 36), introduce los conceptos básicos del cálculo de variación y los utiliza para formular con eficacia las ecuaciones de Euler-Lagrange. Sin embargo, hay un paso en el que el d la notación se define:

d y ( y α ) d α ,

en el cual α es el parámetro utilizado en la modificación de la ruta:

y ( α , X ) = y ( 0 , X ) + α η ( X ) ,

X es efectivamente un parámetro de tiempo generalizado. Ambas definiciones están bien, sin embargo, esta notación se introduce en la integral de acción:

d j d α = X 1 X 2 ( F y d d X F y ˙ ) y α d X ,

que se convierte en:

d j = X 1 X 2 ( F y d d X F y ˙ ) d y d X ,

lo que parece implicar que:

d y ? ( y α ) ( y α ) d α .

Puedo ver que (tal vez un poco agitando la mano) esto corresponde a una multiplicación por d α / d α , pero no estoy seguro de si esa es una forma válida de pensar en ello. ¿Que me estoy perdiendo aqui?

Respuestas (2)

d j d α j α = d α X 1 X 2 ( ) y X d X = X 1 X 2 ( ) ( y X d α ) d X X 1 X 2 ( ) d y d X

Entonces d α se puede llevar dentro de la integral? ¿Es esta una propiedad general?
@Charlie d α representa una salida infinitesimal y, como tal, debe manipularse como un número. Para integrales y funciones que se comporten bien, no hay problema en llevarlas adentro ya que nuestra intuición debería ser correcta. Corresponde entonces a los matemáticos dar un significado preciso a este extraño d α y formular lo que significa "bien portado". Sin embargo, no conozco estas matemáticas tan rigurosamente.
Ok, está bien, esto responde a mi pregunta, gracias :)

Usando d j = d j d α d α , vemos eso:

d j = X 1 X 2 ( F y d d X F y ˙ ) ( y α d α ) d X

Invocando la definición de d y llega al resultado esperado.