I was studying a derivation of noether's theorem mathematically and something struck my eyes.
Suppose you have ##L(q, \dot q, t)## and you transform it and get ##L' = L(\sigma(q, a), \frac{d}{dt}\sigma(q,a), t)##. ##\sigma## is a transformation function for ##q##
Let's represent ##L'## by...