1
$\begingroup$

In Landau & Lifshitz' book, I got stuck into this claim that the momentum is the derivative of the action as a function of coordinates i.e. $$ \begin{equation}p_i = \frac{\partial S}{\partial x_i}\tag{1}\end{equation} $$ where $i$ indicates the $i$-th component of the vector (does not stand for initial). As far as I understand, this seems to imply that you can derive the action wrt coordinates to get the momentum at any time of the motion. However, I can't fully understand the proof of this claim.

I read this answer that clarified me what is on-shell action, and I understood that $S$ here is a function of only initial and final time and position, and not the function of a curve.

I tried then to read the proof of the Lemma in this answer to get the proof of this claim, but I can't understand the actual steps. If I understand correctly, this is more or less the way that Landau proves it, but I am much more familiar with ordinary calculus than with calculus of variation, so some points are obscure to me.

As far as I understand, what is intended by $\delta I$ is actually $$ \delta I = \left.\frac{d}{d\varepsilon}\right|_{\varepsilon = 0}I[q_{cl}+\varepsilon \eta] $$ where $q_{cl}$ is a path that satisfies the equation of motion, $\eta$ is an arbitrary function (commonly denoted by $\delta q$), and $$I[q]=\int_{t_1}^{t_2}L(q(t),\dot q(t))dt$$ is the action integral. Following this definition of $\delta I$, after some calculations (which, as far as I understand, are the same as the proof of the Lemma) I get to $$ \delta I=p(t_2)\eta(t_2)-p(t_1)\eta(t_1) \tag{2} $$ which I realize is just a pedantic notation for $$\delta S=p_2 \delta q_2 - p_1 \delta q_1$$ but I can't understand how to turn this result into a derivative of $S$, since I still can't see the variable with respect to which I should perform the derivative. I would say that $$ \frac {\partial \delta S} {\partial \delta q_2}=p_2$$ but I guess that is not what is intended with (1).

I tried to follow an alternative way, by calculating

$$ \left .\frac d {dx}\right | _{x=0} \int_{t_1}^{t_2} L(q_{cl}(t)+x,\dot q_{cl}(t))dt=p(t_2)-p(t_1) $$ but I can't get rid of the difference.

What am I doing wrong? Is there any proof with explicit mathematical steps, or any book I can read to understand how to get explicitly from (2) to (1)?

$\endgroup$
0
$\begingroup$

I found this answer enlightening, to say the least.

Let's consider a family of paths $q(t;x)$ such that $$\begin{align} \forall x \qquad &q(\cdot;x) \text{ satisfies Euler-Lagrange}\\ \forall x \qquad &q(t_1;x)=q_1\\ \forall t_2 \qquad &q(t_2;x)=x \end{align}$$ In other words, we are parametrizing this family of paths wrt the endpoint.

What we are trying to calculate is $$\frac {\partial S}{\partial x}\,\colon \!= \frac{\partial}{\partial x} \int_{t_1}^{t_2} L(q(t;x),\dot q(t;x))dt$$ which can be easily calculated noting that, since $q(\cdot;x)$ satisfies the e.o.m., $$ \frac {\partial}{\partial x} L(q(t;x),\dot q(t;x))=\frac{\partial L}{\partial q} \frac {\partial q} {\partial x} + \frac {\partial L} {\partial \dot q} \frac {\partial \dot q} {\partial x}=\frac d {dt}\left(\frac {\partial L}{\partial \dot q} \frac{\partial q}{\partial x} \right) $$ where the derivatives of $L$ are evaluated at $(q(t,x),\dot q (t,x))$.

So $$\frac {\partial S} {\partial x} = \int_{t_1}^{t_2} \frac {\partial}{\partial x} L(q(t;x),\dot q(t;x)) = \left. p(t_2)\frac{\partial q}{\partial x}\right | ^{t_2}_{t_1}$$ Since $q(t_1;x)=q_1$, the derivative of $q$ wrt $x$ evaluated at $t_1$ vanishes, while $\partial q / \partial x$ at $t_2$ is $1$ because $q(t_2;x)=x$.

Note that $$p(t_2)=\frac {\partial L}{\partial \dot q} (q(t_2;x),\dot q(t_2;x))$$ has to be interpreted as the momentum, at time $t_2$, of the path that, at time $t_2$, is at $x = q(t_2;x)$.

$\endgroup$
  • $\begingroup$ Congrats on figuring this out! You can accept your own answer if you're satisfied now. I was in the middle of typing up an answer, but it looks like there's no need. $\endgroup$ – knzhou Feb 1 '18 at 10:32
  • $\begingroup$ Thank you for your interest. I am pretty new to SE and seems like I can't accept this answer until tomorrow, I suppose that's because I should wait for any other more enlightening answers, if any comes. I am pretty satisfied now, but I will wait until tomorrow as SE suggests :) $\endgroup$ – renyhp Feb 1 '18 at 10:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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