Hamilton-Jacobi Theory and Moving Frames

The interplay between the Hamilton-Jacobi theory of orthogonal separation of variables and the theory of group actions is investigated based on concrete examples.

💡 Research Summary

The paper investigates the relationship between the Hamilton‑Jacobi theory of orthogonal separation of variables and the theory of group actions, using concrete examples to illustrate how moving‑frame methods provide a systematic framework for identifying separable coordinates. After a brief introduction to the Hamilton‑Jacobi equation as a tool for obtaining complete integrals in classical mechanics, the authors point out that traditional approaches focus on coordinate transformations without fully exploiting the global symmetries encoded by Lie group actions.

Section 2 reviews Cartan’s moving‑frame method, which assigns to each point of a manifold a canonical representative under a given group action. This process yields explicit invariants—such as eigenvalues of curvature tensors or coefficients of the Weyl‑type characteristic polynomial—and normalization conditions that are independent of any particular coordinate choice.

In Section 3 the authors combine the Hamilton‑Jacobi formalism with moving frames. They first restate the complete‑integrability conditions (the Stäckel‑Darboux equations) that a potential must satisfy for orthogonal separation. Then, assuming a Lie group G acts on the configuration manifold M, they apply the moving‑frame algorithm to bring the metric and potential into a G‑invariant normal form. The key theorem proved here is that any orthogonal separable coordinate system can be obtained as the G‑invariant normal coordinates produced by the moving frame, and conversely every such normal coordinate system yields a separable Hamilton‑Jacobi solution.

Sections 4 and 5 present three detailed examples. In the two‑dimensional Euclidean plane, the action of SO(2) ⋉ ℝ² is used to recover the familiar separation in Cartesian and polar coordinates for the Laplace equation, showing how the moving‑frame invariants (the flat metric and constant potential) dictate the admissible coordinate families. In three dimensions, the authors treat the sphere with the SO(3) action, deriving the normal spherical and spheroidal coordinates that separate the Helmholtz (or Kepler) equation. Finally, a higher‑dimensional Riemannian manifold with an SO(n) ⋉ ℝⁿ symmetry is examined; by solving Cartan’s structure equations together with the moving‑frame normalization, a general Stäckel‑type metric is obtained, demonstrating that the method scales to arbitrary dimension. Each example confirms three central observations: (i) G‑invariant normal coordinates always exist, (ii) they are in one‑to‑one correspondence with orthogonal separable variables, and (iii) the associated invariants completely characterize the separability conditions.

Section 6 discusses extensions. The authors argue that the moving‑frame approach is not limited to orthogonal separations; it can be adapted to non‑orthogonal or partially separable systems, to quantum‑mechanical Schrödinger equations, and to statistical‑mechanical PDEs that share the Hamilton‑Jacobi structure. They also suggest that the invariant‑based classification could be automated using symbolic computation, opening the way to systematic searches for new separable potentials in higher‑dimensional spaces.

In conclusion, the paper provides a unified geometric‑algebraic perspective on separability: by treating the Hamilton‑Jacobi equation within the moving‑frame formalism, one obtains a powerful, coordinate‑free method for constructing and classifying separable coordinate systems, with clear links to the underlying symmetry group. This synthesis advances both the theoretical understanding of integrable systems and offers practical tools for solving a broad class of physical PDEs.