1
$\begingroup$

Let's say I have a system with two degrees of freedom and I can find two independent action variables. One action variable is total energy expression, such as is often used in classical mechanics.

$$E(p,q) = T(p,q) + V(p,q)$$ where $T$ is kinetic energy and $V$ is potential energy.

In $(p,q)$ coordinates, the Hamiltonian is $H(p,q)=E(p,q)$. In Action-Angle coordinates, $H(I,\phi) = I_A$ where is $I_A$ represents the same total energy that $E(p,q)$ does.

The other action variable is a different constant of integration, let's call it $I_B$. Suppose that this constant of integration is also identical to one of the generalized momenta, say $p_2$.

As the transformation from $(p,q)$ to $(I,\phi)$ is canonical, we have

$$\frac{d}{dt}\phi_{A} = \frac{\partial H}{\partial I_A}$$ $$\frac{d}{dt}\phi_{B} = \frac{\partial H}{\partial I_B}.$$

As $H=I_A$, we have the result $\dot\phi_{A}=1$. $H$ is not explicitly a function of $I_B$, so $\dot\phi_{B} = \frac{\partial H}{\partial I_B}=0$.

On the other hand, in $(p,q)$ coordinates

$$\frac{d}{dt}q_2 = -\frac{\partial H}{\partial p_2} = -\frac{\partial E}{\partial p_2}$$

We would not expect $\frac{\partial E}{\partial p_2}$ to be zero -- $\dot q_2$ is not necessarily zero. We already know that $I_B = p_2$, so here we have a generalized coordinate associated with the same generalized momentum and its time derivative is not necessarily zero.

It seems to me that $\dot \phi_B$ should not be zero, but I don't know where, in my previous statements, I made a conceptual error. Is it that I'm mis-interpreting the partial derivative? When I see $\frac{d}{dt}\phi_{B} = \frac{\partial H}{\partial I_B}$ in the context of action-angle variables, is that partial derivative evaluated just like it is for functions? If $H$ is not explicitly a function of $I_B$, then $\dot \phi_B = 0$?

If the answer to that question is that the partial derivatives are interpreted the same way, then is it ill-posed for problems with more than one degree of freedom to use the total energy as the Hamiltonian when the total energy is also an action variable? If so, why?

$\endgroup$
1
  • $\begingroup$ @Qmechanic, the total energy, $E$, would typically have an expression like $E=(p_1² + p_2²)/(2m)$. In a case like that, evaluating $\partial E/\partial p_2$, leads to $\dot q_2 = - p_2/m$ which would not necessarily be zero. $\endgroup$
    – troy
    Aug 11, 2020 at 16:56

2 Answers 2

1
$\begingroup$

OPs differentiation paradox for the variable $I_B=p_2$ seems to come down to which other variables are kept fixed during the partial differentiation:

$$\left(\frac{\partial H}{\partial I_B}\right)_{\phi^A,\phi^B,I_A} \qquad\text{vs}\qquad \left(\frac{\partial H}{\partial p_2}\right)_{q^1,q^2,p_1}.$$

$\endgroup$
0
$\begingroup$

Update: Before we start, it has to be clear that two integrals $H$ and $I_B$ are independent and that they commute, i.e. $\{H, I_B\} = 0$ for all of what follows to work. The latter zero Poisson bracket guarantees that the main integral below integrate to a function $S$, i.e. the differential is exact, it is the derivative of a function.

At some point you say that $I_B = p_2$, but this is not true for a general system. Usually, $I_B$ is some more convoluted function of $p$ and $q$. The case when $I_B = p_2$ is a constant of motion, i.e. a first integral, is very special. It means that $\frac{d}{dt} \, p_2 = 0$ and so if you write it carefully, using the corresponding Hamilton's equation: $$0 = \frac{d}{dt} \, p_2 = - \,\frac{\partial H}{\partial q_2}\big(q_1, q_2, p_1, p_2\big) $$ which means $H = H\big(q_1, p_1, p_2\big)$ and does not depend on $q_2$ (the coordinate $q_2$ is called cyclic coordinate).
Thus $$I_A = H\big(q_1, p_1, p_2\big)$$ $$I_B = p_2$$ So the equations of motion are $$\frac{d}{dt} \, q_1 = \frac{\partial H}{\partial p_1}\big(q_1, p_1, p_2\big)$$ $$\frac{d}{dt} \, q_2 = \frac{\partial H}{\partial p_2}\big(q_1, p_1, p_2\big)$$ $$\frac{d}{dt} \, p_1 = - \, \frac{\partial H}{\partial q_1}\big(q_1, p_1, p_2\big)$$ $$\frac{d}{dt} \, p_2 = 0$$

In this case we solve the equation $$H(q_1, p_1, I_B) = I_A$$ and express $p_1$ as a function $$p_1 = p_1\big(I_A, I_B, q_1\big)$$

The so called generating function in this case looks like this, where there is one integral of one variable $$S\big(I_A, I_B, {q}_1, {q}_2\big) = \,I_B \, q_2 \, + \, \int_{q^{0}_1}^{q_1}\, p_1\big(I_A, I_B, \tilde{q}_1\big)\, d\tilde{q}_1$$

So the main task is to solve the equation (invert the integral) for $q_1$, where $\phi_A$ is an initial value constant: $$\phi_A + t = - \, \int_{q^{0}_1}^{q_1}\, \frac{\partial p_1}{\partial I_A}\big(I_A, I_B, \tilde{q}_1\big)\, d\tilde{q}_1$$ in order to express $q_1 = q_1(t)$ as a function in $t$ and then plug in the integral $$q_2(t) = - \,\phi_B \, - \, \int_{q^{0}_1}^{q_1(t)}\, \frac{\partial p_1}{\partial I_B}\big(I_A, I_B, \tilde{q}_1\big)\, d\tilde{q}_1$$

Terminology remark: Technically speaking, your coordinate transformation $$\big(q_1, q_2, p_1, p_2\big) \mapsto \big(\phi_A, \phi_B, I_A, I_B\big)$$ is canonical, and your conclusions are true, but these coordinates $(\phi_A, \phi_B, I_A, I_B)$ are not exactly action-angle coordinates. Action-angle coordinates are a bit more special, but the ones you speak about are close to them and work too.

It looks like you got the general picture right. Things are as your calculations show. What probably confuses you is how come the system is so trivial and easy to solve when written in the new coordinates. Well, just be aware that constructing the coordinates $\phi_A = \phi_A(q_1, q_2, p_1, p_2)$ and $\phi_B = \phi_B(q_1, q_2, p_1, p_2)$ takes work solving a system of equations and inverting possibly complicated integrals

Step 1. Solve the system of equations for the variables $p_1, \, p_2$ \begin{align} &I_A\big(q_1, q_2, p_1, p_2\big) = I_A\\ &I_B\big(q_1, q_2, p_1, p_2\big) = I_B \end{align} expressing them as functions \begin{align} &p_1 = p_1\big(I_A, I_B, q_1, q_2\big)\\ &p_2 = p_2\big(I_A, I_B, q_1, q_2\big) \end{align}

Step 2. Consider the function $S$, via integration $$S\big(I_A, I_B, {q}_1, {q}_2\big) = \int_{(q^{0}_1, q^{0}_2)}^{(q_1, q_2)}\, p_1\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_1 \, + \,p_2\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big) \,d\tilde{q}_2$$ where the integration is along any path (up to homotopy, whatever that means) on the $q_1, \, q_2$ plane, connecting a fixed point $(q^{0}_1, q^{0}_2)$ to any other point $(q_1, q_2)$. Think of this as an indefinite integral.

Step 3. Since the canonical change of variables is in solving the system of equations \begin{align} &\phi_A = - \,\frac{\partial S}{\partial I_A}\big(I_A, I_B, q_1, q_2\big)\\ &\phi_B = -\,\frac{\partial S}{\partial I_B}\big(I_A, I_B, q_1, q_2\big)\\ &p_1 = \, \frac{\partial S}{\partial q_1}\big(I_A, I_B, q_1, q_2\big)\\ &p_2 = \,\frac{\partial S}{\partial q_2}\big(I_A, I_B, q_1, q_2\big) \end{align} the solutions are obtained by solving the system of equations for the variables $\big(q_1, q_2\big)$
\begin{align} &\phi_A + t = - \,\frac{\partial S}{\partial I_A}\big(I_A, I_B, q_1, q_2\big)\\ &\phi_B = -\,\frac{\partial S}{\partial I_B}\big(I_A, I_B, q_1, q_2\big)\\ \end{align} and then plugging the solutions $q_1 = q_1(t)$ and $q_2 = q_2(t)$ into \begin{align} &p_1 = \, \frac{\partial S}{\partial q_1}\big(I_A, I_B, q_1, q_2\big)\\ &p_2 = \,\frac{\partial S}{\partial q_2}\big(I_A, I_B, q_1, q_2\big) \end{align} The first system of equations is the same as system of integrals (this is what is meant by inverting the integrals) \begin{align} &\phi_A + t = -\int_{(q^{0}_1, q^{0}_2)}^{(q_1, q_2)}\,\frac{\partial p_1}{\partial I_A}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_1 \, + \,\frac{\partial p_1}{\partial I_A}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_2\\ &\phi_B \, = -\int_{(q^{0}_1, q^{0}_2)}^{(q_1, q_2)}\,\frac{\partial p_1}{\partial I_A}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_1 \, + \,\frac{\partial p_1}{\partial I_B}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_2 \end{align} and then the solutions $q_1 = q_1(t)$ and $q_2 = q_2(t)$ are plugged into the integrals \begin{align} &p_1 = \,\int_{(q^{0}_1, q^{0}_2)}^{(q_1, q_2)}\,\frac{\partial p_1}{\partial \tilde{q}_1}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_1 \, + \,\frac{\partial p_1}{\partial \tilde{q}_1}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_2\\ &p_2 = \,\int_{(q^{0}_1, q^{0}_2)}^{(q_1, q_2)}\,\frac{\partial p_1}{\partial \tilde{q}_2}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_1 \, + \,\frac{\partial p_1}{\partial \tilde{q}_2}\big(I_A, I_B, \tilde{q}_1, \tilde{q}_2\big)\, d\tilde{q}_2 \end{align}

So there is work to be done.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.