Applications of algebraic manipulation programs in physics

This paper describes the application to three areas of physics of computer programs that carry out formal algebraic manipulation. The application areas discussed are celestial mechanics, general relativity and quantum electrodynamics. The paper describes typical problems from each of these disciplines which can be solved using algebraic manipulative systems and presents sample programs for the solution of these problems using several algebra systems. For each discipline a review of published work acknowledging the use of algebra programs is presented and the most advanced applications are discussed in detail. In particular the Lie transform, Petrov classification and Kahane's simplification procedure are reviewed from the standpoint of algebra programs. A number of simple examples are used to introduce the reader to the capabilities of an algebra program and a brief review of the technical problems of algebraic manipulation is given. Further applications of such systems to mathematics, chemistry and engineering are briefly mentioned in the text and relevant work is referenced in the bibliography but the main emphasis is placed on applications in theoretical physics. However, the simple examples indicate, and the applications in the physical sciences confirm, that algebra systems are capable of exploitation over a much wider area than is covered in the present review. This review was completed in December 1971.

[1]  J. Henrard,et al.  Lunar Ephemeris: Delaunay's Theory Revisited , 1970, Science.

[2]  James W. Hanson,et al.  Analytic differentiation by computer , 1962, CACM.

[3]  William A. Mersman,et al.  A new algorithm for the Lie transformation , 1970 .

[4]  Estimate of the Sixth-Order Contribution to the Anomalous Magnetic Moment of the Electron , 1968 .

[5]  George E. Collins,et al.  Subresultants and Reduced Polynomial Remainder Sequences , 1967, JACM.

[6]  J Calmet,et al.  An attempt to evaluate renormalized radiative corrections by computer , 1971 .

[7]  R. Broucke,et al.  A programming system for analytical series expansions on a computer , 1969 .

[8]  K. S. Kölbig,et al.  On Nielsen's generalized polylogarithms and their numerical calculation , 1970 .

[9]  Carl H. Brans.  A Computer Program for the Nonnumerical Testing and Reduction of Sets of Algebraic Partial Differential Equations , 1967, JACM.

[10]  David Barton,et al.  General relativity and the application of algebraic manipulative systems , 1971, CACM.

[11]  P. B. James,et al.  Computer analysis of Feynman diagrams for a static model , 1971 .

[12]  E. M. Nyman.  SOFT-PHOTON THEORY OF NUCLEON--NUCLEON BREMSSTRAHLUNG. , 1968 .

[13]  S. C. Johnson.  On the Problem of Recognizing Zero , 1971, JACM.

[14]  E. Caianiello,et al.  On the algorithm of Dirac spurs , 1952 .

[15]  William Hamilton Jefferys,et al.  Equivalence of the perturbation theories of Hori and Deprit , 1970 .

[16]  E. J. Mcguire,et al.  Atomic L-Shell Coster-Kronig, Auger, and Radiative Rates and Flourescence Yields for Na-Th , 1972 .

[17]  E. W. Brown.  On the Determination of a Certain Class of Inequalities in the Moon's Motion , 1891 .

[18]  R. Feynman.  Space - time approach to quantum electrodynamics , 1949 .

[19]  R. E. Wengert,et al.  A simple automatic derivative evaluation program , 1964, Commun. ACM.

[20]  Joel Moses,et al.  Symbolic integration: the stormy decade , 1966, CACM.

[21]  R. Broucke,et al.  Perturbations in rectangular coordinates by iteration , 1969 .

[22]  A. Kamel.  Perturbation method in the theory of nonlinear oscillations , 1970 .

[23]  C. M. Reeves,et al.  A Mechanization of Algebraic Differentiation and the Automatic Generation of Formulae for Molecular Integrals of Gaussian Orbitals , 1963, Comput. J..

[24]  Paul Herget,et al.  The calculation of literal expansions , 1959 .

[25]  H. Shniad.  The equivalence of von Zeipel mappings and Lie transforms , 1970 .

[26]  James C. Howard,et al.  An algorithm for deriving the equations of mathematical physics by symbolic manipulation , 1968, CACM.

[27]  R. Broucke.  Construction of rational and negative powers of a formal series , 1971 .

[28]  B. Kent Harrison,et al.  Exact Three-Variable Solutions of the Field Equations of General Relativity , 1959 .

[29]  Michael P. Barnett,et al.  Continued operation notation for symbol manipulation and array processing , 1963, CACM.

[30]  M. Levine.  The process $$\gamma + \gamma \to \nu + \bar \nu (*)$$ , 1967 .

[31]  Sidney D. Drell,et al.  Relativistic Quantum Mechanics , 1965 .

[32]  K. Thorne.  Nonradial Pulsation of General-Relativistic Stellar Models.IV. The Weakfield Limit , 1969 .

[33]  S. Brodsky,et al.  W-Boson Contribution to the Anomalous Magnetic Moment of the Muon , 1967 .

[34]  Yoshibide Kozai,et al.  Second-order solution of artificial satellite theory without air drag , 1962 .

[35]  F. G. Gustavson,et al.  Oil constructing formal integrals of a Hamiltonian system near ail equilibrium point , 1966 .

[36]  A. Hearn,et al.  DETERMINATION OF THE REAL PART OF THE COMPTON AMPLITUDE AT A NUCLEON RESONANCE. , 1969 .

[37]  André Deprit,et al.  The main problem of artificial satellite theory for small and moderate eccentricities , 1970 .

[38]  David Barton,et al.  A simple algebra system , 1968, Comput. J..

[39]  M. Davis.  Programming Systems for Analytical Developments on Computers , 1968 .

[40]  Joseph Kahane,et al.  Algorithm for Reducing Contracted Products of γ Matrices , 1968 .

[41]  J. Chisholm,et al.  Calculation of S-matrix elements , 1952, Mathematical Proceedings of the Cambridge Philosophical Society.

[42]  P. Sconzo,et al.  Symbolic computation of F and G series by computer , 1965 .

[43]  L. E. Rosenthal.  Analytic algebraic manipulation , 1967, Comput. J..

[44]  D. Stern.  Direct Canonical Transformations , 1970 .

[45]  William Hamilton Jefferys,et al.  Perturbation Theory for Strongly Perturbed Dynamical Systems. 1. , 1968 .

[46]  M. A. Melvin.  Pure magnetic and electric geons , 1964 .

[47]  D. Stern.  A new formulation of canonical perturbation theory , 1971 .

[48]  Jean E. Sammet.  Formula Manipulation by Computer , 1967, Adv. Comput..

[49]  R. B. Clark,et al.  s-channel transformation matrices for helicity and invariant amplitudes for γ + N → 0− + B , 1972 .

[50]  B. F. Caviness.  On Canonical Forms and Simplification , 1970, JACM.

[51]  J. P. Hyde.  The Alpak system for nonnumerical algebra on a digital computer — III: Systems of linear equations and a class of side relations , 1964 .

[52]  Ralph E. Griswold,et al.  The snobol3 programming language , 1966 .

[53]  J. Schwinger.  On Quantum electrodynamics and the magnetic moment of the electron , 1948 .

[54]  H. W. Fearing,et al.  SOFT-PHOTON THEOREMS AND RADIATIVE K/sub l3/ DECAYS. , 1970 .

[55]  William S. Brown,et al.  The alpak system for nonnumerical algebra on a digital computer , 1963 .

[56]  J. Hartle.  Slowly Rotating Relativistic Stars. I. Equations of Structure , 1967 .

[57]  R. D. Wilkins.  Investigation of a new analytical method for numerical derivative evaluation , 1964, CACM.

[58]  Hermann Bondi,et al.  Gravitational waves in general relativity, VII. Waves from axi-symmetric isolated system , 1962, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[59]  J. Henrard,et al.  Analytical Lunar Ephemeris: The Variational Orbit , 1971 .

[60]  Arnold Rom,et al.  Mechanized Algebraic Operations (MAO) , 1970 .

[61]  R. A. d'Inverno,et al.  ALAM - Atlas Lisp Algebraic Manipulator , 1969, Comput. J..

[62]  R. Price,et al.  NON-RADIAL PULSATION OF GENERAL-RELATIVISTIC STELLAR MODELS. II. PROPERTIES OF THE GRAVITATIONAL WAVES. , 1969 .

[63]  Daniel Richardson,et al.  Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[64]  Anthony C. Hearn,et al.  Symbolic analysis of Feynman diagrams by computer , 1970 .

[65]  W. Jefferys.  Automated, closed form integration of formulas in elliptic motion , 1971 .

[66]  William H. Jefferys.  Automated algebraic manipulation in celestial mechanics , 1971, CACM.

[67]  H. D. Wactlar,et al.  Mechanization of tedious algebra—the e coefficients of theoretical chemistry , 1964, CACM.

[68]  P. Musen.  On a transformation of the differential equations of the lunar theory , 1971 .

[69]  David Barton,et al.  The Structure of the Cambridge Algebra System , 1970, Comput. J..

[70]  J. Campbell,et al.  Low- t Theorems for Charged-Pion Photoproduction , 1970 .

[71]  Robert G. Tobey.  Experience with FORMAC algorithm design , 1966, CACM.

[72]  Joel Moses,et al.  Algebraic simplification: a guide for the perplexed , 1971, CACM.

[73]  D. Slepian.  Some Asymptotic Expansions for Prolate Spheroidal Wave Functions , 1965 .

[74]  An exact differential form to check analytical theories , 1971 .

[75]  J. A Campbell.  Note a short program for dirac matrix algebra , 1968 .

[76]  William E. Ball,et al.  AUTOMAST: automatic mathematical analysis and symbolic translation , 1966, CACM.

[77]  David Barton,et al.  A Scheme for Manipulative Algebra on a Computer , 1967, Comput. J..

[78]  Arnold Rom,et al.  Echeloned Series Processor (ESP) , 1971 .

[79]  K. Thorne,et al.  Erratum: Non-Radial Pulsation of General-Relativistivc Stellar Models. I. Analytic Analysis for L >= 2 , 1968 .

[80]  Dirk Brouwer,et al.  SOLUTION OF THE PROBLEM OF ARTIFICIAL SATELLITE THEORY WITHOUT DRAG , 1959 .

[81]  H. Pagels,et al.  Anomalous Magnetic Moment of the Electron, Muon, and Nucleon , 1965 .

[82]  Jack May,et al.  An experiment in a user-oriented computer system , 1964, CACM.

[83]  George E. Collins,et al.  The Calculation of Multivariate Polynomial Resultants , 1971, JACM.

[84]  P. H. Cowell.,et al.  On the Literal Development of the Motion of the Lunar Perigee , 1918 .

[85]  R. N. Thurston,et al.  Third-Order Elastic Constants and the Velocity of Small Amplitude Elastic Waves in Homogeneously Stressed Media , 1964 .

[86]  R. Broucke.  How to assemble a Keplerian processor , 1970 .

[87]  Joel Moses,et al.  Solutions of systems of polynomial equations by elimination , 1966, CACM.

[88]  Richard Y. Kain,et al.  Symbolic factoring of polynomials in several variables , 1966, CACM.

[89]  J. A. Campbell.  Algebraic computation of radiative corrections for electron-proton scattering , 1967 .

[90]  W. S. Brown.  Rational Exponential Expressions and a Conjecture Concerning π and e , 1969 .

[91]  K. Thorne.  Nonradial Pulsation of General-Relativistic Stellar Models. III. Analytic and Numerical Results for Neutron Stars , 1969 .

[92]  D. Barton,et al.  Lunar disturbing function , 1966 .

[93]  J. C. Howard,et al.  Computer formulation of the equations of motion using tensor notation , 1967, CACM.

[94]  Sixth-order magnetic moment of the electron , 1971 .

[95]  H. Putnam,et al.  The Decision Problem for Exponential Diophantine Equations , 1961 .

[96]  A. Deprit,et al.  Lindstedt's Series on a Computer , 1968 .

[97]  R. A. d'Inverno,et al.  CLASSIFICATION OF THE HARRISON METRICS. , 1971 .

[98]  J. Henrard,et al.  Analytical Lunar Ephemeris: Brouwer's Suggestion , 1970 .

[99]  Stanley M. Swanson.  Computer algorithms for dirac algebra , 1969 .

[100]  S. Brodsky,et al.  PHOTON - PHOTON SCATTERING CONTRIBUTION TO THE SIXTH ORDER MAGNETIC MOMENTS OF THE MUON AND ELECTRON , 1970 .

[101]  K. Brugger.  Determination of Third‐Order Elastic Coefficients in Crystals , 1965 .

[102]  J. Henrard,et al.  Trojan orbits II. Birkhoff's normalization , 1967 .

[103]  Daniel Richardson.  The Simple Exponential Constant Problem , 1971 .

[104]  R. D. Richtmyer.  POWER SERIES SOLUTION, BY MACHINE, OF A NONLINEAR PROBLEM IN TWO‐DIMENSIONAL FLUID FLOW * , 1960 .

[105]  E. Fischbach,et al.  Current Algebra,Kl3+Form Factors, and RadiativeKl3+Decay , 1969 .

[106]  J. S. R. Chisholm,et al.  Relativistic scalar products of γ matrices , 1963 .

[107]  W. A. Mersman.  Explicit recursive algorithms for the construction of equivalent canonical transformations , 1971 .

[108]  A. Hearn,et al.  Radiative Corrections to an Electron-Positron Scattering Experiment , 1969 .

[109]  David Barton,et al.  The Automatic Solution of Systems of Ordinary Differential Equations by the Method of Taylor Series , 1971, Computer/law journal.

[110]  André Deprit,et al.  Canonical transformations depending on a small parameter , 1969 .

[111]  Michael P. Barnett,et al.  Mechanization of tedious algebra: the Newcomb operators of planetary theory , 1965, CACM.

[112]  Anthony C. Hearn.  Applications of symbol manipulation in theoretical physics , 1971, SYMSAC '71.

[113]  Alan J. Perlis,et al.  An extension to ALGOL for manipulating formulae , 1964, CACM.

[114]  W. S. Brown,et al.  An Irreducibility Criterion for Polynomials Over the Integers , 1969 .

[115]  J. Henrard,et al.  Birkhoff's normalization , 1969 .

[116]  Anthony C. Hearn,et al.  Computation of algebraic properties of elementary particle reactions using a digital computer , 1966, CACM.

[117]  J. A. Campbell,et al.  LISP and its applications to physical problems , 1970 .

[118]  R. Penrose.  A spinor approach to general relativity , 1960 .

[119]  George E. Collins.  PM, a system for polynomial manipulation , 1966, CACM.

[120]  J. Henrard,et al.  Analytical Lunar Ephemeris: Delaunay's Theory , 1971 .

[121]  George Harvey Harrison.  A compact method for symbolic computation of the Riemann tensor , 1969 .

[122]  L. D. Neidleman.  An application of FORMAC , 1967, CACM.

[123]  Robert G. Tobey.  Eliminating monotonous mathematics with FORMAC , 1966, CACM.

[124]  Jean E. Sammet,et al.  Survey of formula manipulation , 1966, CACM.

[125]  E. Remiddi,et al.  Fourth-order vacuum polarization contribution to the sixth-order electron magnetic moment , 1969 .

[126]  Anthony C. Hearn,et al.  Differential Cross Section for e++e-?W++W-?e-+?e+++? , 1965 .

[127]  Richard A. Matzner,et al.  Computer programs for calculating general- relativistic curvature tensors. , 1967 .

[128]  Jean Chapront,et al.  Applications of Literal Series to the Main Problem of the Lunar Theory , 1968 .

[129]  S. Brodsky,et al.  PHOTON--PHOTON SCATTERING CONTRIBUTION TO THE SIXTH-ORDER MAGNETIC MOMENT OF THE MUON. , 1969 .

[130]  R. B. Clark.  FORWARD PHOTOPRODUCTION OF A CHARGED PION AND N(1520). , 1971 .

[131]  Arnold R. M. Rom.  Manipulation of algebraic expressions , 1961, CACM.

[132]  J. Palmore,et al.  The Trojan Manifold in the System Earth–Moon , 1967 .

[133]  A. Kamel.  Expansion formulae in canonical transformations depending on a small parameter , 1969 .

[134]  J. Chisholm,et al.  Algorithms for the ?-algebra of electromagnetic form factors1 , 1971 .

[135]  J. Hyde,et al.  The Alpak system for nonnumerical algebra on a digital computer — II: Rational functions of several variables and truncated power series with rational-function coefficients , 1964 .

[136]  John J. Walton,et al.  Tensor calculations on the computer , 1966, CACM.

[137]  M. Levine,et al.  DIRAC MATRIX AND TENSOR ALGEBRA ON A DIGITAL COMPUTER. , 1967 .

[138]  J. Henrard.  On a perturbation theory using Lie transforms , 1970 .

[139]  K. Thorne,et al.  Non-Radial Pulsation of General-Relativistic Stellar Models. I. Analytic Analysis for L >= 2 , 1967 .

[140]  C. M. Reeves,et al.  Automatic Fundamental Calculations of Molecular Structure , 1956, Nature.

[141]  Michael J. Levine,et al.  Algorithms 377: Symbolic expansion of algebraic expressions [R2] , 1970, CACM.

[142]  Hans Jürgen Kaiser.  Trace calculation on electronic computer , 1963 .

[143]  N. Nakanishi,et al.  General Integral Formula of Perturbation Term in the Quantized Field Theory , 1957 .

[144]  William Hamilton Jefferys,et al.  A FORTRAN-based list processor for Poisson series , 1970 .

[145]  David Barton,et al.  An Algebra System , 1970, Comput. J..

[146]  Andrew D. Hall,et al.  The Altran system for rational function manipulation — a survey , 1971, CACM.

[147]  G. Ellis,et al.  Solutions of Einstein's equations for a fluid which exhibit local rotational symmetry , 1968 .

[148]  S. Bajo,et al.  Un programma per semplificare espressioni algebriche razionali , 1969 .