- #1
JD_PM
- 1,131
- 158
- Homework Statement
- Given the action (note $G_{ab}$ is a symmetric matrix, i.e. $G_{ba} = G_{ab}$):
$$S = \int dt \Big( \sum_{ab} G_{ab} \dot q^a\dot q^b-V(q)\Big)$$
Show (using Euler Lagrange's equation) that the following equation holds:
$$\ddot q^d + \frac{1}{2}\sum_{abc}F^{da}\Big(\partial_cG_{ab} + \partial_bG_{ac} - \partial_a G_{bc}\Big)\dot q^b\dot q^c = -\sum_{a} F^{da}\partial_a V$$
- Relevant Equations
- The action
$$S = \int dt \Big( \sum_{ab} G_{ab} \dot q^a\dot q^b-V(q)\Big)$$
Exercise statement:
Given the action (note ##G_{ab}## is a symmetric matrix, i.e. ##G_{ba} = G_{ab}##):
$$S = \int dt \Big( \sum_{ab} G_{ab} \dot q^a\dot q^b-V(q)\Big)$$
Show (using Euler Lagrange's equation) that the following equation holds:
$$\ddot q^d + \frac{1}{2}\sum_{abc}F^{da}\Big(\partial_cG_{ab} + \partial_bG_{ac} - \partial_a G_{bc}\Big)\dot q^b\dot q^c = -\sum_{a} F^{da}\partial_a V$$
Where ##F^{ab}## is the inverse of ##G_{ab}##.
Also note that:
$$\sum_{b} F^{ab}G_{ab} = \delta_c^a$$
$$\partial_{a} = \frac{\partial}{\partial q_a}$$
What I have done:
We know that the action functional corresponds to the Lagrangian (for the time interval ##[t_0, t_1]##):
$$S[q] = \int_{t_0}^{t_1} L(q, \dot q, t)dt$$
Thus:
$$L = \sum_{ab} G_{ab} \dot q^a\dot q^b-V(q)$$
Euler Lagrange's equation is:
$$\frac{d}{dt} \Big(\frac{\partial L}{\partial \dot q_k }\Big) = \frac{\partial L}{\partial q_k}$$
Let's go step by step:
1) We compute the term ##\frac{\partial L}{\partial \dot q_k}## (which turns out to be the definition of generalized momentum):
$$p_k = \frac{\partial L}{\partial \dot q_k} = \sum_{ab} \Big( G_{ab} \delta_k^a \dot q^b + G_{ab} \delta_k^b \dot q^a\Big) = \sum_{b} G_{kb} \dot q^b + \sum_{a} G_{ak} \dot q^a = 2\sum_a G_{ak} \dot q^a$$
2) We now compute the term ##\frac{d}{dt} \Big(\frac{\partial L}{\partial \dot q_k }\Big)##
NOTE: I know that the symmetric matrix ##G_{ab}## only depends on ##q_k##. By the chain rule (for the sake of clarity: ##G_{ab} (q_k)## notation means that the matrix ##G_{ab}## is a function of ##q_k##):
$$\frac{d}{dt} \sum_a G_{ab} (q_k) = \sum_{a} \partial_k G_{ab} \dot q_k$$
That being said, let's go through the calculation:
$$\frac{d}{dt} \Big(\frac{\partial L}{\partial \dot q_k }\Big) = \frac{d}{dt}\Big( 2\sum_a G_{ak} (q_k) \dot q^a \Big) = 2\sum_a G_{ak} \ddot q^a + 2\sum_a \partial_k G_{ak} \dot q^a \dot q^k$$
3) We now compute the term ##\frac{\partial L}{\partial q_k}##
$$\frac{\partial L}{\partial q_k} = \sum_{ab} \partial_k G_{ab} \dot q^a\dot q^b - \partial_k V(q)$$
Here's where I get stuck: I do not see why the following holds:
$$2\sum_a F^{da}G_{ak} \ddot q^a + 2\sum_a F^{da}\partial_k G_{ak} \dot q^a \dot q^k -\sum_{ab} F^{da}\partial_k G_{ab} \dot q^a\dot q^b + F^{da}\partial_k V(q) = \ddot q^d + \frac{1}{2}\sum_{abc}F^{da}\Big(\partial_cG_{ab} + \partial_bG_{ac} - \partial_a G_{bc}\Big)\dot q^b\dot q^c + \sum_{a} F^{da}\partial_a V$$
To sum up: In the steps I have shown I computed the Lagrangian and I am left to convert this Lagrangian into the asked form.
Any help is appreciated, as I have also asked the teacher assistant and we both got stuck here.
I also asked on PSE but I got little attention:
https://physics.stackexchange.com/questions/518630/deriving-an-equation-of-motion-out-of-an-action
I do think this exercise is helping me a lot to get the hang of Lagrange formalism. That is why I am being so persistent with it.
Thanks.
Given the action (note ##G_{ab}## is a symmetric matrix, i.e. ##G_{ba} = G_{ab}##):
$$S = \int dt \Big( \sum_{ab} G_{ab} \dot q^a\dot q^b-V(q)\Big)$$
Show (using Euler Lagrange's equation) that the following equation holds:
$$\ddot q^d + \frac{1}{2}\sum_{abc}F^{da}\Big(\partial_cG_{ab} + \partial_bG_{ac} - \partial_a G_{bc}\Big)\dot q^b\dot q^c = -\sum_{a} F^{da}\partial_a V$$
Where ##F^{ab}## is the inverse of ##G_{ab}##.
Also note that:
$$\sum_{b} F^{ab}G_{ab} = \delta_c^a$$
$$\partial_{a} = \frac{\partial}{\partial q_a}$$
What I have done:
We know that the action functional corresponds to the Lagrangian (for the time interval ##[t_0, t_1]##):
$$S[q] = \int_{t_0}^{t_1} L(q, \dot q, t)dt$$
Thus:
$$L = \sum_{ab} G_{ab} \dot q^a\dot q^b-V(q)$$
Euler Lagrange's equation is:
$$\frac{d}{dt} \Big(\frac{\partial L}{\partial \dot q_k }\Big) = \frac{\partial L}{\partial q_k}$$
Let's go step by step:
1) We compute the term ##\frac{\partial L}{\partial \dot q_k}## (which turns out to be the definition of generalized momentum):
$$p_k = \frac{\partial L}{\partial \dot q_k} = \sum_{ab} \Big( G_{ab} \delta_k^a \dot q^b + G_{ab} \delta_k^b \dot q^a\Big) = \sum_{b} G_{kb} \dot q^b + \sum_{a} G_{ak} \dot q^a = 2\sum_a G_{ak} \dot q^a$$
2) We now compute the term ##\frac{d}{dt} \Big(\frac{\partial L}{\partial \dot q_k }\Big)##
NOTE: I know that the symmetric matrix ##G_{ab}## only depends on ##q_k##. By the chain rule (for the sake of clarity: ##G_{ab} (q_k)## notation means that the matrix ##G_{ab}## is a function of ##q_k##):
$$\frac{d}{dt} \sum_a G_{ab} (q_k) = \sum_{a} \partial_k G_{ab} \dot q_k$$
That being said, let's go through the calculation:
$$\frac{d}{dt} \Big(\frac{\partial L}{\partial \dot q_k }\Big) = \frac{d}{dt}\Big( 2\sum_a G_{ak} (q_k) \dot q^a \Big) = 2\sum_a G_{ak} \ddot q^a + 2\sum_a \partial_k G_{ak} \dot q^a \dot q^k$$
3) We now compute the term ##\frac{\partial L}{\partial q_k}##
$$\frac{\partial L}{\partial q_k} = \sum_{ab} \partial_k G_{ab} \dot q^a\dot q^b - \partial_k V(q)$$
Here's where I get stuck: I do not see why the following holds:
$$2\sum_a F^{da}G_{ak} \ddot q^a + 2\sum_a F^{da}\partial_k G_{ak} \dot q^a \dot q^k -\sum_{ab} F^{da}\partial_k G_{ab} \dot q^a\dot q^b + F^{da}\partial_k V(q) = \ddot q^d + \frac{1}{2}\sum_{abc}F^{da}\Big(\partial_cG_{ab} + \partial_bG_{ac} - \partial_a G_{bc}\Big)\dot q^b\dot q^c + \sum_{a} F^{da}\partial_a V$$
To sum up: In the steps I have shown I computed the Lagrangian and I am left to convert this Lagrangian into the asked form.
Any help is appreciated, as I have also asked the teacher assistant and we both got stuck here.
I also asked on PSE but I got little attention:
https://physics.stackexchange.com/questions/518630/deriving-an-equation-of-motion-out-of-an-action
I do think this exercise is helping me a lot to get the hang of Lagrange formalism. That is why I am being so persistent with it.
Thanks.