ABSTRACT
Several algorithms exist to reduce the rank of an ordinary linear differential system at a point, say 0, to its minimal value, the Poincaré rank (also, sometimes called true Poincaré rank). We extend Levelt algorithm, based on the existence of stationary sequences of free lattices, to completely integrable Pfaffian systems with normal crossings in two variables dY = (1/xp+1 A(x, y)dx + 1/yq+1B(x, y)dy)Y where A, B are m×m matrices with entries in C[[x, y]] and p, q are non negative integers. The algorithm returns a completely integrable Pfaffian system with normal crossings dZ = (1/xp+1 A(x, y)dx + 1/yq+1 B(x, y)dy)Z equivalent to the initial one through a formal meromorphic gauge transformation at the origin 0, the integers p, q being simultaneously and individually the smallest possible. We, thus, set up a first step towards the explicit calculation of formal solutions of such systems.The particular case of a regular singular point at 0 is equivalent to p = q = 0, a condition easily checked by applying the algorithm.
- F. Aroca and J. Cano. Formal Solutions of linear PDEs and Convex Polyhedra. Journal of Symbolic Computation, 32:717--737, 2001. Google ScholarDigital Library
- M. Barkatou. A Rational Version of Moser Algorithm. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 297--302. ACM Press, July 1995. Google ScholarDigital Library
- H. Charrière. Triangulation Formelle de certains Systèmes de Pfaff Complètement Intégrables et Application à l'étude C∞ des Systèmes non Linéaires. Ann. Scuola Norm. Sup. Pisa CI. Sci., 7(4):625--714, 1980.Google Scholar
- H. Charrière and R. Gérard. Formal Reduction of Integrable Linear Connexion having a certain kind of Irregular Singularities. Analysis, 1:85--115, 1981.Google ScholarCross Ref
- E. Corel. Moser-Reduction of Lattices for a Linear Connection. Work in progress. http://www.institut.math.jussieu.fr/~corel/.Google Scholar
- P. Deligne. Equations Différentielles à Points Singuliers Réguliers, volume 163 of Lecture Notes In Mathematics. Springer-Verlag, 1970.Google Scholar
- M. Saito and B. Sturmfels and N. Takayama. Gröbner Deformations of Hypergeometric Differential Equations, volume 6 of Algorithms and Computation in Mathematics. Springer-Verlag, 2000. Google ScholarDigital Library
- R. Gérard et A.H.M. Levelt. Invariants mesurant l'irrégularité en un point singulier des systèmes d' équations différentielles linéaires. Annales de l'Institut Fourier, 23(1):157--195, 1973.Google ScholarCross Ref
- R. Gérard et A.H.M Levelt. Sur les Connexions à Singularités Régulières dans le cas de Plusieurs Variables. Funkcialaj Ekvacioj, 19(2):149--173, 1976.Google Scholar
- A.H.M. Levelt. Stabilizing Differential Operators. In M. Singer, editor, Differential Equations and Computer Algebra. Academic Press, 1991.Google Scholar
- J. Moser. The Order of a Singularity in Fuchs' Theory. Mathematische Zeitschrift, 72:379--398, 1960.Google ScholarCross Ref
- A. van den Essen. Regular Singularities along Normal Crossings. In Gerard Ramis, editor, Systémes de Pfaff et Equations Différentielles dans le Champ Complexe, volume 712 of Lecture Notes in Mathematics, pages 88--130. Springer-Verlag, 1979.Google Scholar
- A. van den Essen and A.H.M. Levelt. Irregular singularities in several variables. Memoirs of AMS, 40(270), 1982.Google Scholar
- J. van der Hoeven. Generalized Power Series Solutions to Linear Partial Differential Equations. Manuscript. http://mahery.math.u-psud.fr/~vdhoeven/.Google Scholar
- M. Yoshida and K. Takano. On a Linear System of Pfaffian Equations with Regular Singular Points. Funkcialaj Ekvacioj, 19:175--189, 1976.Google Scholar
Index Terms
Rank reduction of a class of pfaffian systems in two variables
Recommendations
Formal solutions of a class of Pfaffian systems in two variables
ISSAC '14: Proceedings of the 39th International Symposium on Symbolic and Algebraic ComputationIn this paper, we present an algorithm for computing a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in two variables. First, we associate to the Pfaffian system a singular linear system of ...
A decision method for the integrability of differential-algebraic Pfaffian systems
We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As a byproduct, we obtain an upper bound for the order of differentiations ...
Two Variable Pfaffian Identities and Symmetric Functions
We give sign-reversing involution proofs of a pair of two variable Pfaffian identities. Applications to symmetric function theory are given, including identities relating Pfaffians and Schur functions. As a corollary we are able to compute the plethysm ...
Comments