A classification problem is proposed for supersymmetric evolutionary PDE that satisfy the assumptions of nonlinearity, nondegeneracy, and homogeneity. Four classes of nonlinear coupled boson-fermion systems are discovered under the weighting assumption |f | = |b| = |D t | = 1 2 . The syntax of the Reduce package SsTools, which was used for intermediate computations, and the applicability of its procedures to the calculus of super-PDE are described. Nature of physical problem: The program allows the classification of N ≥ 1 supersymmetric nonlinear scaling-invariant evolution equations {f t = ϕ f , b t = ϕ b } that admit infinitely many local symmetries propagated by recursion operators; here b(x, t; θ) is the set of bosonic super-fields and f (x, t; θ) are fermionic super-fields.
Method of solution:First, (half-)integer weights |f |, |b|, . . ., |D t |, |D x | ≡ 1 are assigned to all variables and derivatives and then pairs of commuting flows that are homogeneous w.r.t. these weights are constructed. Secondly, the seeds of higher symmetry sequences [2] for the systems are sorted out, and finally the recursion operators that generate the symmetries are obtained [3]. The intermediate algebraic systems upon the undetermined coefficients are solved by using [4].
2Restrictions on the complexity of the problem: Computation of symmetries of high differential order for very large evolutionary systems may cause memory restrictions. Additional size/time restrictions may occur if the homogeneity weights of some super-fields are non-positive, see section 1.2 of the Long WriteUp.Typical running time: depends on the size and complexity of the input system and varies between seconds and minutes.Unusual features of the program: SsTools has been extensively tested using hundreds of PDE systems within three years on UNIX-based PC-machines. SsTools is applicable to the computation of symmetries, conservation laws, and Hamiltonian structures for N ≥ 1 evolutionary super-systems with any N. SsTools is also useful for performing extensive arithmetic of general nature including differentiations of super-field expressions.
References:[1]