# Why are there only 3 Additive Integrals of Motion?

OK, as per your request…. My sense is you want to learn everything about integrability from here, and combine issues which confuses them, instead of separating them…. How about you supplement L&L with Arnold’s book?

1. The seven additive integrals of L&L are the additive conservation laws of the isolated center of mass system, and standard center of mass conservation theorems dictate that they are fixed in the absence of external forces and torques, and so work in/outputs, by Newton’s action-reaction laws: you sum all energies, or momenta, or angular momenta, and their sums,since the system is “closed” are preserved (just as in a black hole!). But… they need not be independent, as, e.g. for one free particle in the box, $E\propto \vec{P}^2$, i.e., & is not an absolute lower bound on the number of conserved integrals. (and for one free particle, J being 0/meaningless, reduces the indep conserved integrals to 3.) To compare with 2., I’ll use the much simpler isolated system of 2 particles in 2d, so the rotation group is one dimensional, and the conserved additive integrals, instead of 7 are now just 4: E, $\vec{P}$, and J.

2. This is a broad abstract statement for an upper bound to the number of independent integrals of phase-space motion, not necessarily additive . In a 2 s-dimensional phase space, each independent conserved integral specifies an independent hypersurface on which trajectories lie, and specify the phase-space point must run on their intersection. The most restrictive case is 2 s - 1 hypersurfaces, whose common intersection is a line, the trajectory of a (multidimensional) phase space point; one more constraint and the line is intersected to a point, so the point does not move in time! Systems with this maximal number of constraints are called maximally superintegrable, like the Kepler problem, or most baby freshman physics problems. As an overkill aside, all these problems are described much more symmetrically by the equivalent Nambu mechanics picture: the classical part expresses some of it in PB language. For invariants in involution, see this.

• So, now, consider two particles connected by a spring, in 2d, starting with the k=0 limit, so free particles. $$L=\frac{1}{2}M\left(\dot{X}^2+\dot{Y}^2\right)+\frac{1}{2}m\left(\dot{x}^2+ \dot{y}^2 \right)-\frac{1}{2}k\left(r-d\right)^2= \frac{1}{2}M\left(\dot{X}^2+\dot{Y}^2\right)+\frac{1}{2}m\left(\dot{r}^2+ r^2\dot{\theta}^2 \right)-\frac{1}{2}k\left(r-d\right)^2.$$ for capitals being the center of mass coordinates, $r=\sqrt{x^2+y^2}$, and θ the angle between the relative coordinates. Now the equations of motion for θ are already integrated to constant $r^2\dot{\theta}\equiv J$, so we can drop its kinetic term in favor of a term $mJ^2/(2r^2)$ relocated into the potential part of the lagrangian.

• Let us count overall conserved quantities, first for k=0, the free case: in Cartesian coords, we have 2 comps of momentum for 2 particles, so 4 in total; plus J and each of the two energies E and ε for the capital and lower case variables ? Not quite, since E is not independent of the c.m. momenta, and ε of the internal ones. The independent integrals appear to be 5. However, the external, additive ones, are E+ε, J, and $\vec{P}$, so fewer than the independent ones. Turning on the interaction (spring, nonvanishing k) destroys the conservation of the two components of the internal momentum, but $\epsilon_x$, $\epsilon_y$ and J are still preserved (2×2-1 for x,y, oscillators being maximally superintegrable) and the independent integrals overall are 5, yet again, forestalling your paradox.

• Finally a word on your Poisson theorem question. Being totally schematic and cavalier about factors, you can see that, given the invariants $\epsilon_x, \epsilon_y, J$ of this double oscillator, $\{ \epsilon_x, J\} \sim K\equiv p_x p_y +xy$, also easy to confirm to be time independent, as per the Jacobi identity. Is there a 4th invariant? It can't be: we saw above maximal superintegrability only allows for 3. But note, fixing signs, factors, etc, that $\epsilon_x \epsilon_y=J^2+K^2$, so one of the four is dependent on the other three, nonlinearly. Phew!....

An isolated system with $s$ degrees of freedom has $2s-1$ integrals of motion since the solutions for the coordinates $q_i$ involve $2s-1$ constants (determined by the initial conditions). The $2s$th can be solved in terms of $t-t_0$ where $t_0$ can be arbitrarily chosen. However not all of these integrals of motion are additive. By additive integral of motion is meant one that is the sum of correspondent integral of motion of the isolated subsystems.

These additive integral of motion, normally called conserved quantities, are the ones originated from some continuous symmetry of the system and can be computed via Noether's Theorem. However, unless I missed some subtlety there are 10 conserved quantities: energy E (associated to time translation), momentum $\vec P$ (associated to three space translation), angular momentum $\vec L$ (associated to three rotations) and the vector $t\vec P-M\vec R_{cm}$ (associated to three Galileo's boosts). You can read more in section three of this reference.