Generalized Loewy-decomposition of d-modules

ABSTRACT

Starting from the well-known factorization of linear ordinary differential equations, we define the generalized Loewy decomposition for a D-module. To this end, for any module I, overmodules J ⊇ I are constructed. They subsume the conventional factorization as special cases. Furthermore, the new concept of the module of relative syzygies Syz(I,J) is introduced. The invariance of this module and its solution space w.r.t. the set of generators is shown. We design an algorithm which constructs the Loewy-decomposition for finite-dimensional and some kinds of general D modules. These results are applied for solving various second- and third-order linear partial differential equations.

REFERENCES

• 1: E. Beke, Die Irreduzibilität der homogenen linearen Differentialgleichungen, Mathematische Annalen 45, 278--294(1894).
• 2: P. Cassidy, Differential Algebraic Groups, Amer. J. Math., 94, 891--954 (1972).
• 3: D. Cox, J. Little, D. O'Shea, Using Algebraic Geometry, Springer, 1998.
• 4: A. R. Forsyth, Theory of Differential Equations, vol. I,...,VI, Cambridge, At the University Press (1906).
• 5: E. Goursat, Leçon sur l'intégration des équation aux dérivées partielles, vol. I and II, A. Hermann, Paris 1898.
• 6: D. Grigoriev, Computational complexity in polynomial algebra, Proc. Intern. Congress of Mathematicians, vol. 2, Berkeley, 1452--1460, 1986.
• 7: D. Yu. Grigor'ev, Complexity of factoring and calculating the GCD of linear ordinary differential operators, Journal of Symbolic Computation, v.10 n.1, p.7-37, July 1990 [doi>10.1016/S0747-7171(08)80034-X]
• 8: D. Grigoriev, Complexity of Solving Systems of Linear Equations over Rings of Differential Operators, Progress in Math., Birkhauser, 94, 195--202 (1991).
• 9: D. Grigoriev , F. Schwarz, Factoring and Solving Linear Partial Differential Equations, Computing, v.73 n.2, p.179-197, September 2004 [doi>10.1007/s00607-004-0073-3]
• 10: V. G. Imschenetzky, Étude sur les méthodes d'intégration des équations aux dérivées partielles du second ordre d'une fonction de deux variables indépendantes, Grunert's Archiv LIV, 209--360 (1872).
• 11: E. Kolchin, Differential Algebra and Algebraic Groups, Academic Press, 1973.
• 12: M. Kondratieva, A. Levin, A. Mikhalev, E. Pankratiev, Differential and difference dimension polynomials, Kluwer, 1999.
• 13: Ziming Li , Fritz Schwarz , Serguei P. Tsarev, Factoring systems of linear PDEs with finite-dimensional solution spaces, Journal of Symbolic Computation, v.36 n.3-4, p.443-471, September 2003 [doi>10.1016/S0747-7171(03)00090-7]
• 14: A. Loewy, Über vollständig reduzible lineare homogene Differentialgleichungen, Math. Ann. 56, 89--117 (1906).
• 15: J.-F. Pommaret, A. Quadrat, Generalized Bezout Identity, Appl. Algebra in Engineering, Communications and Computing 9, 91-116(1998).
• 16: J.-F. Pommaret, A. Quadrat, A functorial approach to the behaviour of multidimensional control systems, Appl. Math. and Comput. Sci., 13, 7--13 (2003).
• 17: M. van der Put, M. Singer, Galois theory of linear differential equations, Grundlehren der Math. Wiss., 328, Springer, 2003.
• 18: A. Quadrat, An introduction to the algebraic theory of linear systems of partial differential equations, to appear.
• 19: A. Quadrat, D. Robertz, Parametrization of all solutions of uncontrollable multidimensional linear systems, 16th IFAC World Congress, Prague.
• 20: C. Sabbah, D-modules cohérents et holonomes, Travaux en cours, 45, Hermann, 1993.
• 21: L. Schlesinger, Handbuch der Theorie der linearen Differentialgleichungen, Leipzig, Teubner, 1897.
• 22: F. Schwarz, Janet bases for symmetry groups, in: Groebner bases and applications, London Math. Soc., LNS 251, Cambridge Univ. Press, 221--234 (1998), B. Buchberger and F. Winkler, eds.
• 23: F. Schwarz, A factorization algorithm for linear ordinary differential equations, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, p.17-25, July 17-19, 1989, Portland, Oregon, United States [doi>10.1145/74540.74544]
• 24: F. Schwarz, ALLTYPES: An ALgebraic Language and TYPE System, URL: www.alltypes.de.
• 25: M. Singer, Testing Reducibility of Linear Differential Operators: A Group Theoretic Perspective, Applic. Alg. Engin., Communic. Comp. 7, 77--104 (1996).
• 26: W. Sit, Typical Differential Dimension of the Intersection of Linear Differential Algebraic Groups, Journal of Algebra 32, 476--487 (1974).
• 27: W. Sit, The Ritt-Kolchin theory for differential polynomials, in Differential algebra and related topics, ed. Li Guo et al., World Scientific, 2002.
• 28: W. Stepanow, Lehrbuch der Differentialgleichungen, Deutscher Verlag der Wissenschaften, Berlin, 1956.
• 29: S. Tsarev, Factorization of linear partial differential opera- tors and Darboux' method for integrating nonlinear partial differential equations, Theo. Math. Phys. 122, 121--133 (2000).

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

General Terms:
Algorithms

Keywords:
Janet basis, Loewy decomposition, d-module