An algorithm for constructing Darboux transformations of type I for third-order hyperbolic operators of two variables

Resumo

Darboux transformations of type I are invertible Darboux transformations with explicit short formulas for inverse transformations. These transformations are invariant with respect to gauge transformations, and, for gauge transformations acting on third-order hyperbolic operators of two variables, a general-form system of generating differential invariants is known. In the paper, first-order Darboux transformations of type I for this class of operators are considered. The corresponding operator orbits are directed graphs with at most three edges originating from each vertex. In the paper, an algorithm for constructing such orbits is suggested. We have derived criteria for existence of first-order Darboux transformations of type I in terms of the generating invariants, formulas for transforming invariants, and the so-called “triangle rule” property of orbits. The corresponding implementation in the LPDO package is described. The orbits are constructed in two different forms, one of which outputs the graph in the format of the well-known built-in Maple package Graph Theory.