A Role of Symbolic Computations in Beam Physics

  • Serge N. Andrianov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6244)


It is known that accelerator physics technology has made essential contributions to other branches of science and technology. Experiments realized on linear and circular accelerators have made remarkable discoveries about the basic nature of matter. In particular, there are now two accelerator projects. The first of them is already realized — the Large Hadron Collider, the second — the pilot project for future dedicated EDM machine. These and other similar projects (i. e., the project NICA, JINR, Dubna) demand some special requirements for simulation methods and technologies. Indeed, the successful functioning of these accelerators requires essential advancement in theory and technology leading to new particle accelerators capabilities. The complexity of accelerator physics problems makes comprehensive use of modern analytical, numerical, and symbolic methods. Only if we integrate these approaches the corresponding computational technologies will be effective. In the present report, we discuss some problems of correlation between symbolic and numerical manipulation. The main approach for beam dynamics is based on Lie algebraic methods and corresponding matrix formalism as presentation tools. All suggested approaches are realized using symbolic algorithms, and the corresponding symbolic formulae are assumed as a basis of numerical algorithms. This approach allows to realize the necessary numerical modeling using parallel and distributed computational systems for some practical problems.


Symbolic algebra beam physics code generation Lie algebraic methods parallel and distributed computing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dragt, A.J.: Lectures on Nonlinear Orbit Dynamics. In: AIP Conf. Proc., vol. 87, pp. 147–313 (1987)Google Scholar
  2. 2.
    Agrachev, A.A., Gamkrelidze, R.V.: Exponential presentation of flows and chronological calculus. Matematicheskii Sbornik 107(149), 467–532 (1978) (in Russian)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Magnuss, W.: On the exponential solution of differential equations for a linear operator. Comm. Pure Appl. Math. 7(4), 649–679 (1954)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Dragt, A.J., Gluckstern, R.L., Neri, F., Rangarajan, G.: Theory of emittance invariants. Lectures Notes Phys. 343, 94–121 (1989)CrossRefGoogle Scholar
  5. 5.
    Andrianov, S.N.: Symbolic computation of approximate symmetries for ordinary differential equations. Mathematics and Computers in Simulation 57(3-5), 147–154 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Andrianov, S.N.: Dynamical Modeling of Control Systems for Particle Beams. In: SPbSU, Saint Petersburg (2004) (in Russian)Google Scholar
  7. 7.
    Andrianov, S.N.: The explicit form for Lie transformations. In: Proc. Fifth European Particle Accelerator Conference EPAC 1996. SITGES, Barcelona, Spain, pp. 998–1000 (1996)Google Scholar
  8. 8.
    Andrianov, S.N.: Matrix representation of the Lie algebraic methods for design of nonlinear beam lines. In: AIP Conf. Proc., New York, vol. 391, pp. 355–360 (1997)Google Scholar
  9. 9.
    Antone, T.A., AL-Maaitah, A.A.: Analytical solutions to classes of linear oscillator equations with time varying frequencies. J. Math. Phys. 33(10), 3330–3339 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Sanz-Serna, J.M., Calvo, M.: Numerical Hamiltonian Problems. Chapman and Hall, London (1994)CrossRefzbMATHGoogle Scholar
  11. 11.
    Andrianov, S., Edamenko, N., Chernyshev, A., Tereshonkov, Y.: Synthesis of optimal nanoprobe. In: EPAC 2008, Genoa, Italy, pp. 2969–2971 (2008)Google Scholar
  12. 12.
    Andrianov, S.N.: LEGO-technology approach for beam line design. In: Proc. Eighth European Particle Accelerator Conference — EPAC 2002, Paris (France), pp. 1607–1609 (2002)Google Scholar
  13. 13.
    Ruth, R.D.: A canonical integration technique. IEEE Trans. Nucl. Sci. 30, 2669 (1983)CrossRefGoogle Scholar
  14. 14.
    Yoshida, H.: Construction of high order symplectic integrators. Phys. Lett. A 150, 262 (1990)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Forest, É.: Canonical integration as tracking codes (or How to integrate pertubation theory with tracking). In: AIP Conf. Proc., New York, Part 1, vol. 184, p. 2 (1989)Google Scholar
  16. 16.
    Andrianov, S.N.: Parallel computing in beam physics problems. In: Proc. Seventh European Particle Accelerator Conference — EPAC 2000, Vienna (Austria), pp. 1459–1461 (2000)Google Scholar
  17. 17.
    Andrianov, S.N., Edamenko, N.S., Dyatlov, A.A.: Algebraic modeling and parallel computing. Nuclear Instruments and Methods. Ser. A. 558, 150–153 (2006)CrossRefGoogle Scholar
  18. 18.
    Andrianov, S., Edamenko, N., Podzivalov, E.: Some problems of global optimization for beam lines. In: Proc. PHYSCON 2009, Catania, Italy, September 1-4, p. 6 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Serge N. Andrianov
    • 1
  1. 1.Faculty of Applied Mathematics and Control ProcessesSaint Petersburg State UniversitySaint PetersburgRussian Federation

Personalised recommendations