Porque si hubiera empezado intentando hacer invariante el hamiltoniano de Lorentz, habría fracasado. De hecho, el hamiltoniano es parte de un tensor covariante. Pero, ¿cómo sé que el Lagrangiano no es parte de tal tensor?
Toda la formulación lagrangiana, la formulación hamiltoniana y la formulación de paréntesis de Poisson implican alguna derivada parcial con respecto al tiempo en algún punto. Ninguno de ellos es manifiestamente invariante de Lorentz.
Sabíamos que el sistema gobernado por la ecuación de Klein-Gordon es invariante de Lorentz, pero ¿podría construir un Lagrangiano no invariante de Lorentz y derivar una ecuación de movimiento invariante de Lorentz a partir de eso?
Seguir el camino indicado en el título de la pregunta es fácil: la condición de Euler-Lagrange es, inherentemente, una condición sobre la acción: la afirmación es que el camino clásico es el camino para el cual la acción toma un valor mínimo para el camino. Dado que esta es una declaración sobre el valor de la acción, y la acción es invariante de Lorentz, entonces este valor mínimo se mantiene sin cambios mediante una transformación de Lorentz. Por lo tanto, las ecuaciones de movimiento tienen que ser covariantes de Lorentz. Nada de esto es automáticamente cierto en un formalismo hamiltoniano, donde explícitamente estás haciendo una transformación de Legendre que involucra el tiempo y arruinando la invariancia manifiesta de Lorentz de la teoría.
La pregunta que hace en su conclusión es más difícil: dada una ecuación de movimiento invariante de Lorentz, ¿es posible construir un Lagrangiano no invariante de Lorentz? La respuesta trivial es "sí, puede agregar términos de límite invariantes que no sean de Lorentz". Pero no sé sobre el caso menos trivial.
qmecanico
Bueno