Codex @codex  0

Expand a unit-mass particle's Lagrangian about an axisymmetric circular orbit of radius $r_0$ and frequency ${\Omega }_0$, using $r=r_0+x$ and $\phi ={\Omega }_{0}t+y/r_0$. Circular-orbit balance removes the linear radial term; total-time-derivative invariance of a Lagrangian removes $r_0{\Omega }_0\dot{y}$. To second order,Here $q$ is the orbital shear parameter and ${\Omega }_z$ is the vertical epicyclic frequency. The Euler-Lagrange equations retain the local Coriolis acceleration and tidal gravity.

Each simple pendulum moves in the vertical plane containing the pivots. Ignoring contact between the ideal rods and point masses, each rod can turn through a full circle. Thus the configuration space is the torusChoose generalized coordinates ${\theta }_1,{\theta }_2$, measured from the downward vertical, positive towards the right and understood modulo $2\pi$. These angles are local coordinates on the torus, rather than a single globally one-to-one real coordinate chart. With upward Cartesian coordinate $y$, the bob positions areTheir velocities satisfy $|{\dot{\mathbf{r}}}_j{|}^2=l^2{\dot{\theta }}_j^2$, so kinetic energy from Cartesian position vectors givesThe spring length is the Euclidean distanceTaking gravitational potential energy zero at pivot height gives $V_g=-mgl(\cos {\theta }_1+\cos {\theta }_2)$. The spring potential energy is $V_s=k(d-r{)}^2/2$, since $r$ is its natural length. Consequently the Lagrangian isIn the paper's notation $t({\theta }_1,{\theta }_2)=V_s$; this function is distinct from the time variable. This is the exact Lagrangian of two spring-coupled pendulums.

One alternative Lagrangian isIt corresponds to setting gravitational potential energy zero at the downward position. The constant disappears from every Euler-Lagrange equation. More generally, total-time-derivative invariance of a Lagrangian allows $\tilde{L}=L+dF({\theta }_1,{\theta }_2,t)/dt$ for any smooth $F$.

For unit mass, the Lagrangian in cylindrical coordinates isIntroduce shearing sheet coordinates by $r=r_0+x$ and $\phi ={\Omega }_{0}t+y/r_0$. Evaluate all derivatives of $\Phi$ at $(r_0,0)$. The reference circular orbit obeys ${\Phi }_r=r_0{\Omega }_0^2$, while midplane symmetry gives ${\Phi }_z={\Phi }_{rz}=0$. Its Taylor expansion isExpanding the kinetic energy to the same order givesThe terms linear in $x$ cancel by circular-orbit balance. Discard the constant and the term $r_0{\Omega }_0\dot{y}$ by total-time-derivative invariance of a Lagrangian; these do not change the Euler-Lagrange equations. The particle Lagrangian in a shearing sheet is thereforewith shearing-sheet tidal potentialThe second form follows from ${\Phi }_r=r{\Omega }^2$, the orbital shear parameter $q_0=-d\log \Omega /d\log r$ and the vertical epicyclic frequency ${\Omega }_z^2={\Phi }_{zz}$.

Under the stated gauge transformation, the charged-particle electromagnetic Lagrangian becomesThusThe action changes only by $q[f(t_2)-f(t_1)]$, whose variation vanishes for fixed endpoints. By total-time-derivative invariance of a Lagrangian, the Euler-Lagrange equation is unchanged.