A Maple Package for the Symbolic Computation of Drazin Inverse Matrices with Multivariate Transcendental Functions Entries

  • Jorge CaravantesEmail author
  • J. Rafael Sendra
  • Juana Sendra
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 1125)


The study of Drazin inverses is an active research area that is developed, among others, in three directions: theory, applications and computation. This paper is framed in the computational part.

Many authors have addressed the problem of computing Drazin inverses of matrices whose entries belong to different domains: complex numbers, polynomial entries, rational functions, formal Laurent series, meromorphic functions. Furthermore, symbolic techniques have proven to be a suitable tools for this goal.

In general terms, the main contribution of this paper is the implementation, in a package, of the algorithmic ideas presented in [10, 11]. Therefore, the package computes Drazin inverses of matrices whose entries are elements of a finite transcendental field extension of a computable field. The computation strategy consists in reducing the problem to the computation of Drazin inverses, via Gröbner bases, of matrices with rational functions entries.

More precisely, this paper presents a Maple computer algebra package, named DrazinInverse, that computes Drazin inverses of matrices whose entries are elements of a finite transcendental field extension of a computable field. In particular, the implemented algorithm can be applied to matrices over the field of meromorphic functions, in several complex variables, on a connected domain.


Maple Drazin inverse Gröbner bases Symbolic Computation Meromorphic functions 


  1. 1.
    Avrachenkov, K.E., Filar, J.A., Howlett, P.G.: Analytic Perturbation Theory and Its Applications. SIAM (2013)Google Scholar
  2. 2.
    Ben-Israel, A., Greville, T.N.E.: Generalized Inverses: Theory and Applications, 2nd edn. Springer, Heidelberg (2003). Scholar
  3. 3.
    Bu, F., Wei, Y.: The algorithm for computing the Drazin inverses of two-variable polynomial matrices. Appl. Math. Comput. 147, 805–836 (2004)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Campbell S.L., Meyer, C.D.: Generalized inverses of linear transformations series: classics in applied mathematics. SIAM (2009)Google Scholar
  5. 5.
    Corless, R.M., Davenport, J.H., Jeffrey, D.J., Litt, G., Watt, S.M.: Reasoning about the elementary functions of complex analysis. In: Campbell, J.A., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol. 1930, pp. 115–126. Springer, Heidelberg (2001). Scholar
  6. 6.
    Diao, H., Wei, Y., Qiao, S.: Displacement rank of the Drazin inverse. J. Comput. Appl. Math. 167, 147–161 (2004)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Ji, J.: A finite algorithm for the Drazin inverse of a polynomial matrix. Appl. Math. Comput. 130, 243–251 (2002)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Ljubisavljević, J., Cvetković-Ilić, D.S.: Additive results for the Drazin inverse of block matrices and applications. J. Comput. Appl. Math. 235, 3683–3690 (2011)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Miljković, S., Miladinović, M., Stanimirović, P.S., Weib, Y.: Gradient methods for computing the Drazin-inverse solution. J. Comput. Appl. Math. 253, 255–263 (2013)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Sendra, J., Sendra, J.R.: Gröbner basis computation of drazin inverses with multivariate rational function entries. Appl. Math. Comput. 259, 450–459 (2015)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Sendra, J.R., Sendra, J.: Symbolic computation of Drazin inverses by specializations. J. Comput. Appl. Math. 301, 201–212 (2016)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Stanimirović, P.S., Cvetković-Ilić, D.S.: Successive matrix squaring algorithm for computing outer inverses. Appl. Math. Comput. 203, 19–29 (2008)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Stanimirović, P.S., Tasić, M.B., Vu, K.M.: Extensions of Faddeev’s algorithms to polynomial matrices. Appl. Math. Comput. 214, 246–258 (2009)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Jorge Caravantes
    • 1
    Email author
  • J. Rafael Sendra
    • 1
  • Juana Sendra
    • 2
  1. 1.Dpto. de Física y MatemáticasUniversidad de AlcaláAlcalá de HenaresSpain
  2. 2.Dpto. de Matemática Aplicada a las TICUniversidad Politécnica de MadridMadridSpain

Personalised recommendations