Skip to main content
SpringerLink
Log in

On exponential-logarithmic solutions of linear differential systems with power series coefficients

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

The paper studies construction of formal exponential-logarithmic solutions for a system of ordinary linear differential equations the coefficients of which are algorithmically defined formal power series. The construction of all such solutions is generally algorithmically undecidable problem. We propose an algorithm and its implementation in Maple that make it possible to construct a basis of the space of solutions of the full-rank system if the dimension of this space is known.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abramov, S.A. and Barkatou, M., Computable infinite power series in the role of coefficients of linear differential systems, Proc. of CASC’2014, 2014, pp. 1–12.

    Google Scholar 

  2. Abramov, S.A. and Khmelnov, D.E., Regular solutions of linear differential systems with power series coefficients, Programming Comput. Software, 2014, vol. 40, no. 2, pp. 98–105.

    Article  MathSciNet  Google Scholar 

  3. Abramov, S.A., Barkatou, M., and Pflügel, E., Higherorder linear differential systems with truncated coefficients, Proc. of CASC’2011, 2011, pp. 10–24.

    Google Scholar 

  4. Barkatou, M., An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system, Applicable Algebra Eng. Commun. Computing, 1997, vol. 8, pp. 1–23.

    Article  MATH  MathSciNet  Google Scholar 

  5. Tournier, E., Solutions formelles d’équations différentielles. Le logiciel de calcul formel DESIR étude théorique et réalisation, Thése d’état, Université de Grenoble, 1987.

    Google Scholar 

  6. Pflügel, E., DESIR-II, RT 154, IMAG, Grenoble, 1996.

    Google Scholar 

  7. Lutz, D.A. and Schäfke, R., On the identification and stability of formal invariants for singular differential equations, Linear Algebra Its Applications, 1985, vol. 72, pp. 1–46.

    Article  MATH  Google Scholar 

  8. Abramov, S.A. and Khmelnov, D.E., Linear differential and difference systems: EGδ and EGσ eliminations, Programming Comput. Software, 2013, vol. 39, no. 2, pp. 91–109.

    Article  MathSciNet  Google Scholar 

  9. Abramov, S.A., Barkatou, M., and Khmelnov, D.E., On full rank differential systems with power series coefficients, J. Symbolic Computation (in press).

  10. Abramov, S.A., Bronstein, M., and Khmelnov, D.E., On regular and logarithmic solutions of ordinary linear differential systems, Proc. of CASC’05, 2005, pp. 1–12.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dorodnicyn Computing Center, Russian Academy of Sciences, ul. Vavilova 40, Moscow, 119991, Russia

    A. A. Ryabenko

Authors
  1. A. A. Ryabenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. A. Ryabenko.

Additional information

Original Russian Text © A.A. Ryabenko, 2015, published in Programmirovanie, 2015, Vol. 41, No. 2.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ryabenko, A.A. On exponential-logarithmic solutions of linear differential systems with power series coefficients. Program Comput Soft 41, 112–118 (2015). https://doi.org/10.1134/S0361768815020073

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768815020073

Keywords

Search

Navigation