Alkahest III: automatic analysis of periodic weakly nonlinear ODEs

ABSTRACT

In previous papers by the current authors various attempts that have been made in the automatic derivation of periodic solutions to weakly nonlinear differential equations have been reported. The equations in question are all perturbations of y′+y = 0, related to the equations that occur in the study of celestial mechanics. In the current paper the analysis of these equations has been taken further, with the automatic system, named Alkahest III, being able to determine the solution to equations even when the user's initial conditions are invalid. The system can produce an approximate solution itself, and there are facilities to write an algebra program for REDUCE or CAMAL to generate higher order solutions.

REFERENCES

• Barton (1966): D. Barton. "A .New Technique for the Lunar Theory~, Astron. J. 71 pp438-42.
• Barton and Fitch (1972): D. Barton and J, P. Fitch, "Applications of algebraic manipulation programs in physics', Rep. Prog, Phys. 35 pp235-314.
• Bourne (1970): S. R. Bourne, "Automatic Algebraic Manipulation and its Application to the Lunar Theory", University of Cambridge PhD thesis.
• Brown (1896): E, W, Brown, Art Introductory Treatise on the Lunar Theory, Cambridge University Press.
• Delaunay (1860): C. Delaunay, Thkorie du Mouvemem de la Lung, Tome 1, Gauthier-Villars, Paris.
• Deprit, Henrard and Rom (1970): A Deprit, J Henrard and A Rom, "Lunar Ephemeris: Delaunay's Theory', Astron. J. 75 pp166-206.
• Fitch, Norman and Moore (1978): J. P. Fitch, A. C. Norman and P. M. A, Moore, "The Automatic Derivation of Periodic Solutions to a Class of Weakly Nonlinear Differential Equations", Unpublished internal report, University of Cambridge,
• Fitch, Norman and Moore (1981): John Fitch, The automatic derivation of periodic solutions to a class of weakly nonlinear differential equations, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.239-244, August 05-07, 1981, Snowbird, Utah, United States [doi>10.1145/800206.806403]
• Fitch (1985): J Fitch, Solving algebraic problems with REDUCE, Journal of Symbolic Computation, v.1 n.2, p.211-227, June 1985 [doi>10.1006/jsco.1993.1015]
• Jeffreys (1970): W. H. Jeffreys, "An Automated List Processor for Poisson Series", Celest, Mech, 2 pp 474-80,
• Lindstedt (1882): A. Lindstedt, Ueber die Integration einer fur die Strorungstheorie wichtigen Differentialgleichung, Astror~. Nach. 103 col 211-20.
• Nayfeh (1973): A, H. Nayfeh, Perturbation Methods, John Wiley & Sons.
• Nayfeh (1981): A. H. Nayfeh, Introduction to Perturbation Techniques, John Wiley & Sons.
• Poincaré (1893): 0*H. Poincar~. Les M~thodes rupuveUes de la rn~canique c~leste, Tome 2, Gauthier-Villars, Paris.

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: User interfaces

General Terms:
Algorithms, Design, Human Factors, Theory