The factorization of a linear partial differential operator (LPDO) is an important issue in the theory of integrability, due to the Laplace-Darboux transformations,[1] which allow construction of integrable LPDEs.
Laplace solved the factorization problem for a bivariate hyperbolic operator of the second order (see Hyperbolic partial differential equation), constructing two Laplace invariants.
Each Laplace invariant is an explicit polynomial condition of factorization; coefficients of this polynomial are explicit functions of the coefficients of the initial LPDO.
The polynomial conditions of factorization are called invariants because they have the same form for equivalent (i.e. self-adjoint) operators.
Beals-Kartashova-factorization (also called BK-factorization) is a constructive procedure to factorize a bivariate operator of the arbitrary order and arbitrary form.
Correspondingly, the factorization conditions in this case also have polynomial form, are invariants and coincide with Laplace invariants for bivariate hyperbolic operators of the second order.
The factorization procedure is purely algebraic, the number of possible factorizations depending on the number of simple roots of the Characteristic polynomial (also called symbol) of the initial LPDO and reduced LPDOs appearing at each factorization step.
Below the factorization procedure is described for a bivariate operator of arbitrary form, of order 2 and 3.
Explicit factorization formulas for an operator of the order
can be found in[2] General invariants are defined in[3] and invariant formulation of the Beals-Kartashova factorization is given in[4] Consider an operator with smooth coefficients and look for a factorization Let us write down the equations on
explicitly, keeping in mind the rule of left composition, i.e. that Then in all cases where the notation
Now solution of the system of 6 equations on the variables can be found in three steps.
At the first step, the roots of a quadratic polynomial have to be found.
At the second step, a linear system of two algebraic equations has to be solved.
At the third step, one algebraic condition has to be checked.
Variables can be found from the first three equations, The (possible) solutions are then the functions of the roots of a quadratic polynomial: Let
Substitution of the results obtained at the first step, into the next two equations yields linear system of two algebraic equations: In particularly, if the root
is simple, i.e. equations have the unique solution: At this step, for each root of the polynomial
Check factorization condition (which is the last of the initial 6 equations) written in the known variables
is factorizable and explicit form for the factorization coefficients
and three-step procedure yields: At the first step, the roots of a cubic polynomial have to be found.
denotes a root and first four coefficients are At the second step, a linear system of three algebraic equations has to be solved: At the third step, two algebraic conditions have to be checked.
are called equivalent if there is a gauge transformation that takes one to the other: BK-factorization is then pure algebraic procedure which allows to construct explicitly a factorization of an arbitrary order LPDO
Theorem All functions are invariants under gauge transformations.
are called generalized invariants of a bivariate operator of arbitrary order.
Equivalent operators are easy to compute: and so on.
Some example are given below: Factorization of an operator is the first step on the way of solving corresponding equation.
On the other hand, the existence of a certain right factor of a LPDO is equivalent to the existence of a corresponding left factor of the transpose of that operator.
with a standard convention for binomial coefficients in several variables (see Binomial coefficient), e.g. in two variables In particular, for the operator
For instance, the operator is factorizable as and its transpose