skip to main content
10.1145/1145768.1145804acmconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
Article

Rank reduction of a class of pfaffian systems in two variables

Published:09 July 2006Publication History

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.

References

  1. F. Aroca and J. Cano. Formal Solutions of linear PDEs and Convex Polyhedra. Journal of Symbolic Computation, 32:717--737, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle Scholar
  4. 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 ScholarGoogle ScholarCross RefCross Ref
  5. E. Corel. Moser-Reduction of Lattices for a Linear Connection. Work in progress. http://www.institut.math.jussieu.fr/~corel/.Google ScholarGoogle Scholar
  6. P. Deligne. Equations Différentielles à Points Singuliers Réguliers, volume 163 of Lecture Notes In Mathematics. Springer-Verlag, 1970.Google ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarCross RefCross Ref
  9. 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 ScholarGoogle Scholar
  10. A.H.M. Levelt. Stabilizing Differential Operators. In M. Singer, editor, Differential Equations and Computer Algebra. Academic Press, 1991.Google ScholarGoogle Scholar
  11. J. Moser. The Order of a Singularity in Fuchs' Theory. Mathematische Zeitschrift, 72:379--398, 1960.Google ScholarGoogle ScholarCross RefCross Ref
  12. 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 ScholarGoogle Scholar
  13. A. van den Essen and A.H.M. Levelt. Irregular singularities in several variables. Memoirs of AMS, 40(270), 1982.Google ScholarGoogle Scholar
  14. J. van der Hoeven. Generalized Power Series Solutions to Linear Partial Differential Equations. Manuscript. http://mahery.math.u-psud.fr/~vdhoeven/.Google ScholarGoogle Scholar
  15. M. Yoshida and K. Takano. On a Linear System of Pfaffian Equations with Regular Singular Points. Funkcialaj Ekvacioj, 19:175--189, 1976.Google ScholarGoogle Scholar

Index Terms

  1. Rank reduction of a class of pfaffian systems in two variables

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Conferences
      ISSAC '06: Proceedings of the 2006 international symposium on Symbolic and algebraic computation
      July 2006
      374 pages
      ISBN:1595932763
      DOI:10.1145/1145768
      • General Chair:
      • Barry Trager

      Copyright © 2006 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 9 July 2006

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

      Acceptance Rates

      Overall Acceptance Rate395of838submissions,47%

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader