 10
 0
Hi,
I'm trying to understand the EulerPoincare equations, which reduce the EulerLagrange equations for certain Lagrangians on a Lie group. I'm reading Darryl Holm's "Geometric mechanics and symmetry", where he suddenly uses what seems to be a variational derivative, which I'm having a hard time understanding. The EulerPoincare reduction theorem (and equation) goes as follows:
It is the ##\frac{\delta l}{\delta \xi}##  derivative which I'm guessing is a variational derivative. It must be a covector, and in computations it seems to reduce to partial derivatives of ##l## wrt. ##\xi## (in suitable coordinates)  I have also seen other sources where the EPequation is stated in terms of ##\frac{\partial l}{\partial \xi}## instead of the abovementioned.
He defines it in two different ways. The first definition is found in one of the later chapters of the book (and it seems to be in a more general setting):
And in another book ("Geometric mechanics  part 2") he defines it as:
My questions are:
 which definition should I focus on?
 Is the pairing in the latter definition the usual covectorvector pairing?
Any explanations, hints or references would be greatly appreciated! Thanks.
<mentor: fix latex>
I'm trying to understand the EulerPoincare equations, which reduce the EulerLagrange equations for certain Lagrangians on a Lie group. I'm reading Darryl Holm's "Geometric mechanics and symmetry", where he suddenly uses what seems to be a variational derivative, which I'm having a hard time understanding. The EulerPoincare reduction theorem (and equation) goes as follows:
It is the ##\frac{\delta l}{\delta \xi}##  derivative which I'm guessing is a variational derivative. It must be a covector, and in computations it seems to reduce to partial derivatives of ##l## wrt. ##\xi## (in suitable coordinates)  I have also seen other sources where the EPequation is stated in terms of ##\frac{\partial l}{\partial \xi}## instead of the abovementioned.
He defines it in two different ways. The first definition is found in one of the later chapters of the book (and it seems to be in a more general setting):
And in another book ("Geometric mechanics  part 2") he defines it as:
My questions are:
 which definition should I focus on?
 Is the pairing in the latter definition the usual covectorvector pairing?
Any explanations, hints or references would be greatly appreciated! Thanks.
<mentor: fix latex>
Attachments

47.8 KB Views: 120

1.9 KB Views: 133

108.6 KB Views: 309

20.7 KB Views: 135

46.3 KB Views: 358

45.7 KB Views: 321
Last edited by a moderator: