Demostrando la independencia del lagrangiano en la posición de una partícula libre usando la ecuación de euler-lagrange

Hice una pregunta similar hace algún tiempo, pero estoy tratando de trabajar esto desde otro ángulo.

Al derivar el lagrangiano de una partícula libre, usamos la homogeneidad del espacio para concluir que el lagrangiano no depende de su vector de posición X . Por homogeneidad del espacio, entiendo que si desplazas la posición inicial de la partícula por un vector C , entonces todos los puntos en la trayectoria de la partícula están desplazados por el mismo vector C . Mirando la ecuación de Euler Lagrange, considerando un caso de un grado de libertad:

Si X 1 ( t ) es una solución a la ecuación EL correspondiente a la condición inicial X ( t 1 ) = X 1 ,

(1) L ( X 1 ( t ) , X ˙ 1 ( t ) , t ) X d d t L ( X 1 ( t ) , X ˙ 1 ( t ) , t ) X ˙ = 0
y X 1 ( t ) + C es también una solución a la ecuación EL correspondiente a la condición inicial X ( t 1 ) = X 1 + C , dónde C es un desplazamiento infinitesimal,
(2) L ( X 1 ( t ) + C , X ˙ 1 ( t ) , t ) X d d t L ( X 1 ( t ) + C , X ˙ 1 ( t ) , t ) X ˙ = 0
entonces me gustaria probar que
(3) L ( X , X ˙ , t ) X = 0

Hasta ahora, intenté expandir L ( X 1 ( t ) + C , X ˙ 1 ( t ) , t ) como una serie de taylor en poderes de C . Desde C es muy pequeño, los términos lineales en C dominar. Entonces puedo reducir la ecuación. ( 2 ) a:

(4) [ L X X L X X X ˙ X ˙ L X X ˙ X ˙ X ¨ L X X ˙ t ] C = 0

No estoy seguro de cómo puedo proceder desde aquí.

Si puedo demostrar que L ( X , X ˙ , t ) X = 0 para un desplazamiento infinitesimal, puedo imaginar una infinidad de tales desplazamientos sucesivos C , haciendo L ( X , X ˙ , t ) X = 0 válido para desplazamientos finitos.

Eso simplemente no es verdad. Toma por ejemplo L = X X ˙ , donde se cumple la ecuación de Euler-Lagrange para X ( t ) , porque es solo una derivada total. Aún, L X 0 .
@Herr_Mitesch. Es cierto y eso se debe a que el Lagrangiano no está determinado de manera única, sin embargo, lo que realmente quiere decir es que es posible encontrar un Lagrangiano que no dependa de x explícitamente

Respuestas (1)

Como muestra el contraejemplo dado por Herr_Mitesh, no es cierto y esto se debe a que el lagrangiano no está determinado de manera única. En física a veces no hay que pensar como en matemáticas y en este caso hay que contentarse con pensar que si el lagrangiano no contiene x como variable es suficiente para que se cumpla la condición de homogeneidad

Entiendo tu argumento. Si el lagrangiano se reformula como L ( X , X ˙ , t ) = ( X , X ˙ , t ) + d F ( X , t ) d t , tal que ( X , X ˙ , t ) X = 0 , entonces asumiendo la ecuación ( 1 ) es cierto, puedo probar la homogeneidad del espacio, es decir, eqn ( 2 ) . Al menos puedo decir que ( X , X ˙ , t ) X = 0 es condición suficiente para que la homogeneidad del espacio sea cierta.
Solo quería verificar si la última parte de la pregunta: la lógica de extender esto de desplazamientos infinitesimales a finitos, era válida.
Al menos en variable, creo que la extensión a desplazamientos finitos es solo uno de los teoremas fundamentales del cálculo.