-1
$\begingroup$

Prove that the Lagrangian Density $\mathscr{L}$, which generates a given set of Euler-Lagrange equations, is not unique.

Hint 1: Adding a divergence to $\mathscr{L}$ does not alter the Euler-Lagrange equation.

Attempt: Let $\mathscr{L´}=\mathscr{L}+\sum_{k}\frac{\partial f_k}{\partial x_k}$

Where $$\mathscr{L}=\mathscr{L}\big(x_k, \varphi_j, \frac{\partial \varphi_k}{\partial x_k}\big)$$ $$f_k=f_k(\varphi_j)$$ $j=1,...,m$ indexes the dependent field variables.

$k=1,...,n$ indexes the independent variables.

Hint 2: Then prove that: $$\frac{\delta \mathscr{L´}}{\delta \varphi_j}=\frac{\delta \mathscr{L}}{\delta \varphi_j}$$

Attempt: Now we define $$\frac{\delta \mathscr{L}}{\delta \varphi_j}=\frac{\partial \mathscr{L}}{\partial \varphi_j}-\sum_{l} \frac{\partial}{\partial x_l} \frac{\partial \mathscr{L}}{\partial (\partial \varphi_j/\partial x_l)}$$


But i can´t keep following the hints to get the proof done:

$\endgroup$

marked as duplicate by ZeroTheHero, Kyle Kanos, Qmechanic lagrangian-formalism Jun 9 '17 at 2:09

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1
$\begingroup$

Recall where the Euler Lagrange equations come from: extremizing the action. So let's look at what adding a divergence will do to the action, which, if you recall, is defined as an integral over our spacetime manifold, $\mathcal M$ as $$ S[\varphi] =\int_{\mathcal M }\! \mathrm d^dr \ \mathcal L[\varphi,\nabla\varphi] $$ We'll add a divergence to the Lagrange density by letting $\mathcal L\rightarrow\mathcal L + \nabla\cdot f$, so our new action is: $$ \begin{align} S'[\varphi] &=\int_\mathcal M\! \mathrm d^dr \ (\mathcal L+\nabla\cdot f)\\ &=S[\varphi]+\oint_{\partial\mathcal M}\mathrm da\cdot f \end{align} $$ where we have used the amazing power of Gauss' theorem to change our $4$-dimensional volume integral over spacetime, to a $3$-dimensional integral over the boundary of spacetime, $\partial \mathcal M$. Now we demand that $f$ be well-behaved, in the sense that it vanishes on the boundary. We see then that the action is unchanged, so it will have the same extrema as before, and hence the same Euler-Lagrange equations.

The lesson here is that you should try to do things in a coordinate independent way. Then filling in the details in a particular coordinate system will be easier.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.