Skip to main content
SpringerLink
Log in

An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System

  • Original Papers
  • Published:
Acta Mathematicae Applicatae Sinica Aims and scope Submit manuscript

Abstract

In this paper, an algorithm for computing the Janet bases of linear differential equations is described, which is the differential analogue of the algorithm JanetBasis improved by Gerdt. An implementation of the algorithm in Maple is given. The implemented algorithm includes some subalgorithms: Janet division, Pommaret division, the judgement of involutive divisor and reducible, the judgement of conventional divisor and reducible, involutive normal form and conventional normal form, involutive autoreduction and conventional autoreduction, PJ-autoreduction and so on. As an application, the Janet Bases of the determining system of classical Lie symmetries of some partial differential equations are obtained using our package.

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. Apel, J. Theory of Involutive Divisions and an Application to Hilbert Function. J. Symb. Comp., 25: 683–704 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  2. Becker, T., Weispfenning, V., Kredel, H. Gr¨obner Bases A computional approach to commutative algebra. Springer-Verlag, New York, 1993

  3. Bluman, G., Kumei, S. Symmetries and differential equations. Springer-Verlag, New York, 1989

  4. Chen, Y.F., Gao, X.S. Involutive directions and new involutive divisions. Comp. Math. Appl., 41: 945–956 (2001)

    Article  MATH  Google Scholar 

  5. Gerdt, V.P., Blinkov Yu A. Involutive Bases of Polynomial Ideals. Math. Comp. Simul., 45: 519–542 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  6. Gerdt, V.P., Blinkov Yu A. Minimal Involutive Bases. Math. Comp. Simul., 45: 543–560 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  7. Gerdt, V.P. Completion of linear differential systems to involution [A]. Victor G Ganzha, Ernst W Mayr, Evgenii V Vorozhtsov (eds.). Computer Algebra in scientific Computing/CASC’99. Springer-Verlag, Berlin, 1999

  8. Gerdt, V.P. On the relation between Pommaret and Janet Bases. http : //arxiv.org/PS c ache/math/pdf/0004/0004100.pdf, 2000—04—15

  9. Olver, P.J. Applications of Lie groups to differential equations. 2nd ed. Springer-Verlag, New York, 1993

  10. Pommaret, J.F. Partial differential equations and group theory. New perspectives for applications. Kluwer, Dordrecht, 1994

  11. Pommaret, J.F. System of partial differential equations and lie pseudogroups. Gordon & Breach, New York, 1978

  12. Reid, G.J. Algorithms for reducing a system of pdes to standard form. Determining the dimension of its solution space and calculating its taylor series solution. Euro. J. Appl. Maths., 2: 293–318 (1991)

    Article  MATH  Google Scholar 

  13. Schwarz, F., Augustin, S. An algorithm for determing the size of symmetry groups. Computing, 49: 95–115, 1992

    Article  MATH  MathSciNet  Google Scholar 

  14. Schwarz, F. Symmetries of differential equations: from sophus Lie to computer algebra. SIAM Review, 30: 450–481 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  15. Zharkov, A. Yu. Involutive polynomial Bases: General cases. Preprint JINR E5–94–244, JINR, Dubna, 1994

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, East China Normal University, Shanghai, 200062, China

    Shan-qing Zhang & Zhi-bin Li

Authors
  1. Shan-qing Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi-bin Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shan-qing Zhang.

Additional information

Supported by the Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20020269003).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, Sq., Li, Zb. An Implementation for the Algorithm of Janet bases of Linear Differential Ideals in the Maple System. Acta Mathematicae Applicatae Sinica, English Series 20, 605–616 (2004). https://doi.org/10.1007/s10255-004-0198-3

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10255-004-0198-3

Keywords

2000 MR Subject Classification

Search

Navigation