In the lecture on Noether's theorem and the Lagrange formulation of classical field theories, my professor wrote
A symmetry is a field variation that maps solutions to solutions, which is true if the action does not change under the variation. Because the Euler-Lagrange equations do not change if we add a surface term to the action, a symmetry can also be obtained by adding a surface term L(x)↦L(x)+α∂μJμ(x)
L is the Lagrange density and α the infinitesimal parameter of the variation.
I understand that if we add a surface term to L, then we can use the divergence theorem to convert it to α∂μJμ(x).
But why don't the Euler-Lagrange equations change under a surface term?
Answer
Well, if you have a term like ∂μJμ, the divergence theorem lets you convert it into a surface term upon integrating to find the action, and since variations are assumed to vanish at the boundary, this term goes away. The Euler-Lagrange equations don't change because they come from setting the variation of the action to zero.
Example: Suppose you have a lagrangian L0 and add a divergence to get L=L0+∂μJμ. Recall that the action is (in your favorite number of dimensions):
S=∫dx L=S0+∫dx ∂μJμ=S0+∫dS nμJμ
Here S_0 is the integral of L0, and nμ the normal vector to your boundary.
The equations of motion are the condition that δS=0 to first order whenever we make a variation in L. So:
δS=δS0+∫dS nμδ(Jμ)
But Jμ is constructed out of the fields for which you want the equations of motion. Since by hypothesis the variation of the fields at the boundary is zero, so is the variation of Jμ. The last term vanishes, and we get δS=δS0. This implies that the e.o.m. don't change, since δS=0 is equivalent to δS0=0.
No comments:
Post a Comment