Initial-value ordinary differential equation solution via variable order Adams method (SIVA/DIVA) package is collection of subroutines for solution of nonstiff ordinary differential equations. There are versions for single-precision and double-precision arithmetic. Requires fewer evaluations of derivatives than other variable-order Adams predictor/ corrector methods. Option for direct integration of second-order equations makes integration of trajectory problems significantly more efficient. Written in FORTRAN 77.

Solving Ordinary Differential Equations

Lectures on Cauchy’s Problem in Linear Partial Differential Equations. By J. Hadamard. Pp. viii+316. 15s.net. 1923. (Per Oxford University Press.)

The Theory of Groups and Quantum Mechanics

This survey is an overview of some of the better known quantization techniques (for systems with finite numbers of degrees-of-freedom) including in particular canonical quantization and the related Dirac scheme, introduced in the early days of quantum mechanics, Segal and Borel quantizations, geometric quantization, various ramifications of deformation quantization, Berezin and Berezin–Toeplitz quantizations, prime quantization and coherent state quantization. We have attempted to give an account sufficiently in depth to convey the general picture, as well as to indicate the mutual relationships between various methods, their relative successes and shortcomings, mentioning also open problems in the area. Finally, even for approaches for which lack of space or expertise prevented us from treating them to the extent they would deserve, we have tried to provide ample references to the existing literature on the subject. In all cases, we have made an effort to keep the discussion accessible both to physicists and to mathematicians, including non-specialists in the field.

Quantization methods: a guide for physicists and analysts

Canonical structure of classical field theory in the polymomentum phase space

The equivalence between the Lagrangian and Hamiltonian formalism is studied for constraint systems. A procedure to construct the Lagrangian constraints from the Hamiltonian constraints is given. Those Hamiltonian constraints that are first class with respect to the Hamiltonian constraints produce Lagrangian constraints that are FL‐projectable.

/pdf/equivalence-between-the-lagrangian-and-hamiltonian-formalism-4n86fiolnv.pdf

Equivalence between the Lagrangian and Hamiltonian formalism for constrained systems

The Hamilton–Jacobi problem is revisited bearing in mind the consequences arising from a possible bi-Hamiltonian structure. The problem is formulated on the tangent bundle for Lagrangian systems in order to avoid the bias of the existence of a natural symplectic structure on the cotangent bundle. First it is developed for systems described by regular Lagrangians and then extended to systems described by singular Lagrangians with no secondary constraints. We also consider the example of the free relativistic particle, the rigid body and the electron-monopole system.

/pdf/geometric-hamilton-jacobi-theory-3rwhjek6bf.pdf

Geometric Hamilton-Jacobi theory

In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for this formalism can be stated, and, on each one of them, the differentiable structures needed for setting the formalism are obtained in different ways. In this work we make an accurate study of some of these Hamiltonian formalisms, showing their equivalence. 
In particular, the geometrical structures (canonical or not) needed for the Hamiltonian formalism, are introduced and compared, and the derivation of Hamiltonian field equations from the corresponding variational principle is shown in detail. Furthermore, the Hamiltonian formalism of systems described by Lagrangians is performed, both for the hyper-regular and almost-regular cases. 
Finally, the role of connections in the construction of Hamiltonian Field theories is clarified.

https://arxiv.org/pdf/math-ph/0004005.pdf

Geometry of multisymplectic Hamiltonian first-order field theories

We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a firstorder jet bundle and, using them, we develop the lagrangian formalism, defining the canonical forms associated with a lagrangian density and the density of lagrangian energy, obtaining the Euler-Lagrange equations in two equivalent ways: as the result of a variational problem and developing the jet field formalism (which is a formulation more similar to the case of mechanical systems). A statement and proof of Noether’s theorem is also given, using the latter formalism. Finally, some classical examples are briefly studied.

Geometry of Lagrangian First‐order Classical Field Theories

The geometric formulation of Hamilton–Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton–Jacobi problem with the symplectic structure defined from the Lagrangian function and the constraints is studied. The concept of complete solutions and their relationship with constants of motion, are also studied in detail. Local expressions using quasivelocities are provided. As an example, the nonholonomic free particle is considered.

/pdf/geometric-hamilton-jacobi-theory-for-nonholonomic-dynamical-5113wvm4kx.pdf

Narciso Román-Roy

Papers

Equivalence between the Lagrangian and Hamiltonian formalism for constrained systems

Geometric Hamilton-Jacobi theory

Geometry of multisymplectic Hamiltonian first-order field theories

Geometry of Lagrangian First‐order Classical Field Theories

Geometric Hamilton-Jacobi theory for nonholonomic dynamical systems