Computer implementation of a new approach to the ideal resonance problem

A new approach to the librational solution of the Ideal Resonance Problem has been devised--one in which a non-canonical transformation is applied to the classical Hamiltonian to bring it to the form of the simple harmonic oscillator. Although the traditional form of the canonical equations of motion no longer holds, a quasi-canonical form is retained in this single-degree-of-freedom system, with the customary equations being multiplied by a non-constant factor. While this makes the resulting system amenable to traditional transformation techniques, it must then be integrated directly. Singularities of the transformation in the circulation region limit application of the method to the librational region of motion.Computer-assisted algebra has been used in all three stages of the solution to fourth order of this problem: using a general-purpose FORTRAN program for the quadratic analytical solution of Hamiltonians in action-angle variables, the initial transformation is carried out by direct substitution and the resulting Hamiltonian transformed to eliminate angular variables. The resulting system of differential equations, requiring the expected elliptic functions as part of their solution, is currently in the process of being integrated using the LISP-based REDUCE software, by programming the required recursive rules for elliptic integration.Basic theory of this approach and the computer implementation of all these techniques is described. Extension to higher order of the solution is also discussed.