A brief sketch of computer methods of involutivity analysis of differential equations is presented in context of its application to study degenerate Lagrangian systems. We exemplify the approach by a detailed consideration of a finite-dimensional model, the so-called light-cone SU(2) Yang-Mills mechanics. All algorithms are realized in computer algebra system Maple.
The paper deals with a formally self-adjoint first order linear differential operator acting on m-columns of complex-valued half-densities over an n-manifold without boundary. We study the distribution of eigenvalues in the elliptic setting and the propagator in the hyperbolic setting, deriving two-term asymptotic formulae for both. We then turn our attention to the special case of a two by two operator in dimension four. We show that the geometric concepts of Lorentzian metric, Pauli matrices, spinor field, connection coefficients for spinor fields, electromagnetic covector potential, Dirac equation and Dirac action arise naturally in the process of our analysis.
This note is designed to show some classes of differential-difference equations admitting Lax representation which generalize evolutionary equations known in the literature.
Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by such systems are obtained using an effective algebraic approach.
We comprehensively study admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements parameterizing these systems. For each class from the constructed chain of nested gauged classes of such systems, we single out its singular subclass, which appears to consist of systems being similar to the elementary (free particle) system whereas the regular subclass is the complement of the singular one. This allows us to exhaustively describe the equivalence groupoids of the above classes as well as of their singular and regular subclasses. Applying various algebraic techniques, we establish principal properties of Lie symmetries of the systems under consideration and outline ways for completely classifying these symmetries. In particular, we compute the sharp lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by systems from each of the above classes and subclasses. We also show how equivalence transformations and Lie symmetries can be used for reduction of order of such systems and their integration. As an illustrative example of using the theory developed, we solve the complete group classification problems for all these classes in the case of two dependent variables.
Interrelation between Thoms catastrophes and differential equations revisited. It is shown that versal deformations of critical points for singularities of A,D,E type are described by the systems of Hamilton-Jacobi type equations. For particular nonversal unfoldings the corresponding equations are equivalent to the integrable two-component hydrodynamic type systems like classical shallow water equation and dispersionless Toda system and others. Pecularity of such integrable systems is that the generating functions for corresponding hierarchies, which obey Euler-Poisson-Darboux equation, contain information about normal forms of higher order and higher corank singularities.