×

ICS: A package for computing involutive characteristic set of algebraic partial differential equation systems. (English) Zbl 1067.65154

Summary: A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones is presented. Based on it, an implementation ICS for computing the involutive characteristic set (ICS) of an algebraic partial differential equation system is given. Some examples are tested with ICS and some experimental results are obtained which may show a hint for computing the involutive characteristic set of arbitrary algebraic partial differential equation systems thereafter.

MSC:

65Y15 Packaged methods for numerical algorithms
35R10 Partial functional-differential equations
58A15 Exterior differential systems (Cartan theory)
35G20 Nonlinear higher-order PDEs
68W30 Symbolic computation and algebraic computation

Software:

ICS
Full Text: DOI

References:

[1] Janet, M., Sur les systeèmes d’≐quations aux dérivées partielles, J. Math. Pure. Appl, 3, 65-151 (1920)
[2] Riquier, C., Les systèmes d’équations aux dérivées partielles (1910), Gauthier-Villars: Gauthier-Villars Paris · JFM 40.0411.01
[3] Cartan, E., Les systèmes différentielles extérieurs et leurs applications géométriques (1945), Hermann: Hermann Paris · Zbl 0063.00734
[4] Kähler, E., Einführung in die Theorie der Ststeme von Differentialgleichungen (1934), Teubner: Teubner Leipzig · JFM 60.0401.08
[5] Gerdt, V. P.; Blinkov, Yu. A., Involutive bases of polynomial ideals, Math. Comput. Simul, 45, 519-542 (1998) · Zbl 1017.13500
[6] Gerdt, V. P.; Blinkov, Yu. A., Minimal involutive bases, Math. Comput. Simul, 45, 543-560 (1998) · Zbl 1017.13501
[7] Chen, Y. F.; Gao, X. S., Involutive directions and new involutive divisions, Comput. Math. Appl, 41, 7-8, 945-956 (2001) · Zbl 1018.12010
[8] Y.F. Chen, X.S. Gao, Involutive Bases of Algebraic Partial Differential Equation Systems. Science in China (Series A) 33 (2) (2003) 97-113; Y.F. Chen, X.S. Gao, Involutive Bases of Algebraic Partial Differential Equation Systems. Science in China (Series A) 33 (2) (2003) 97-113
[9] Wu, W. T., On the foundation of algebraic differential geometry, J. Syst. Math. Sci, 2, 4, 290-312 (1989) · Zbl 0739.14001
[10] W.M. Seiler, A combinatotial approach to involution and \(δ\); W.M. Seiler, A combinatotial approach to involution and \(δ\)
[11] Calmet, J.; Hausdorf, M.; Seiler, W. M., A constructive introduction to involution, (Akerkar, R., Proc. Int. Symp. Appl. Comput. Algebra-ISACA 2000 (2001), Allied Publishers: Allied Publishers New Delhi), 33-50
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.