Abstract
We investigate the problem of the approximate factorization of a linear partial differential operator of arbitrary order and in arbitrarily many variables. For such an operator, we define common obstacles and the associated ring of obstacles to factorizations of the operator, which extends some specified factorization of its symbol. We derive some facts about obstacles (for instance, they are stable, they cannot be of certain order) and give an exhaustive enumeration of obstacles for bivariate operators of order two and three (also a short form was found for these huge formulas).We notice that for a second-order strictly hyperbolic operator, obstacles are exactly the well-known invariants of Laplace. For operators of order three a generalization (not straightforward) is possible. It allows us to find a full system of invariants (with respect to operation conjugation) for operators of order three.
- D.Grigoriev, F. Schwarz Factoring and Solving Linear Partial Differential Equationse, In J. Computing 73, pp. 179--197 (2004) Google ScholarDigital Library
- N. Ibragimov English Translation in Journal of Applied Mechanics and Technical Physics, Vol. 45, No. 2, pp. 158--166, (2004).Google ScholarCross Ref
- E. Kartashova Hierarchy of general invariants for bivariate LPDOs, J. Theoretical and Mathematical Physics, pp. 1--8. to appear in May 2006.Google Scholar
- www.maple.com.Google Scholar
- E. Shemyakova, F. Winkler, Obstacle to Factorization of LPDOs, Proc. Transgressive Computing 2006, Granada, Spain, 2006.Google Scholar
- S. P. Tsarev. Generalized Laplace Transformations and Integration of Hyperbolic Systems of Linear Partial Differential Equations, proc. ISSAC'05. 2005. Google ScholarDigital Library
Index Terms
- Approximate factorization of linear partial differential operators: full system of invariants for order three
Recommendations
Factorization of self-conjugated and reducible linear differential operators
Well-known methods of factorization of differential operators are based on separating the first-order operator from the differential operator of the n-th order by left or by right. If the right-side differential operator of the first order is separated, ...
Ideals of differential operators and transformations of linear partial differential equations
A ring of linear differential operators with smooth coefficients generated by two differentiations is considered. Concepts of operators closed with respect to commutation, a resultant of two operators, and a two-dimensional analogue of Wronskian are ...
Factorization of linear differential operators in exponential extensions
ISSAC '03: Proceedings of the 2003 international symposium on Symbolic and algebraic computationWe present here an algorithm for an efficient computation of factorizations of linear differential operators with power series coefficients in an exponential extension of a base field. This algorithm is based on the results presented by Mark van Hoeij ...
Comments