Theorem on commutation in the principal part

In the present paper we demonstrate how one can use the Poisson bracket in order to build up and to classify commuting pairs of partial differential operators with two independent variables. The commutativity condition is reduced to the simple functional equation with shifts of the arguments for considered operators. The Poisson bracket represents the limiting case of that functional equation in which the shifts are replaced by the corresponding directional derivatives.