How does one think about, and apply, Noether's theorem in the classical mechanical Hamiltonian formalism?
From the Lagrangian perspective, Noether's theorem (in 1-D) states that the quantity
$$\sum_{i=1}^n \frac{\partial \mathcal{L}}{\partial ( \frac{d y_i}{dx})} \frac{\partial y_i^*}{\partial \varepsilon} - \left[\sum_{j=1}^n \frac{\partial \mathcal{L}}{\partial ( \frac{d y_j}{dx})} \frac{d y_j }{\partial x} - \mathcal{L}\right]\frac{\partial x^*}{\partial \varepsilon}$$
is conserved if the Lagrangian $\mathcal{L}(x,y_i,y_i')$ is invariant under a continuous one-parameter group of infinitesimal transformations of the form
$$T(x,y_i,\varepsilon) = (x^*,y_i^*) = (x^*(x,y_i,\varepsilon),y_i^*(x,y_i,\varepsilon).$$
From the action perspective, Noether's theorem states the equality of the 1-forms:
$$\mathcal{L}(x,y_i,y_i')dx = \sum_{j=1}^n p_i d y_j - \mathcal{H}dx = \mathcal{L}(x^*,y_i^*,y_i'^*)dx^* = \sum_{i=1}^n p_i d y_i^* - \mathcal{H}dx^*$$
which can be used to determine (additive) symmetries nicely.
How do I use this formalism to understand the Hamiltonian Noether theorem in a general context? I'll usually see a claim that $dA/dt = [H,A]$ is the Hamiltonian Noether's theorem, and I can't make sense of this in the context of my description of Noether above. This appears to derive the Poisson brackets as part of Noether from what I've developed above, but I can't make much sense of it to be honest I'm sure the answer is supposed to link the local Lie algebra tangent vector structure to the global Lie group transformation in the Lagrangian, but saying that in words is one thing, in math it's another.
Note, these (and other) old stack posts do not answer the question:
References:
- Bergmann - Introduction to the Theory of Relativity, appendix
No comments:
Post a Comment