Abstract
It is a fundamental problem to determine the equivalence of indexed differential polynomials in both computer algebra and differential geometry. However, in the literature, there are no general computational theories for this problem. The main reasons are that the ideal generated by the basic syzygies cannot be finitely generated, and it involves eliminations of dummy indices and functions. This paper solves the problem by extending Gröbner basis theory. The authors first present a division of the set of elementary indexed differential monomials \(E_{\partial\kern-0.35em\raise0.22ex\hbox{/}}\) into disjoint subsets, by defining an equivalence relation on \(E_{\partial\kern-0.35em\raise0.22ex\hbox{/}}\) based on Leibniz expansions of monomials. The equivalence relation on \(E_{\partial\kern-0.35em\raise0.22ex\hbox{/}}\) also induces a division of a Gröbner basis of basic syzygies into disjoint subsets. Furthermore, the authors prove that the dummy index numbers of the sim-monomials of the elements in each equivalence class of \(E_{\partial\kern-0.35em\raise0.22ex\hbox{/}}\) have upper bounds, and use the upper bounds to construct fundamental restricted rings. Finally, the canonical form of an indexed differential polynomial proves to be the normal form with respect to a subset of the Gröbner basis in the fundamental restricted ring.
Similar content being viewed by others
References
Liu J, Li H B, and Cao Y H, Simplification and normalization of indexed differentials involving coordinate transformation, Sci. China Ser. A, 2009, 52: 2266–2286.
Liu J, Normalization of indexed differentials based on function distance invariants, CASC 2017, Lecture Notes in Computer Science, 2017, 10490: 285–300.
Liu J and Ni F, Distance invariant method for normalization of indexed differentials, Journal of Symbolic Computation, 2020, 104: 256–275.
Liu J, An extension of Gröbner basis theory to indexed polynomials without eliminations, Journal of Systems Science and Complexity, 2020, 33(5): 1708–1718.
Liu J, Normalization in Riemann tensor polynomial ring, Journal of Systems Science and Complexity, 2018, 31(2): 569–580.
Iima K and Yoshino Y, Gröbner bases for the polynomial ring with infinite variables and their applications, Communications in Algebra, 2009, 37: 3424–3437.
Hillar C J and Sullivant S, Finite Gröbner bases in infinite dimensional polynomial rings and applications, Advances in Mathematics, 2012, 229: 1–25.
Krone R, Equivariant Gröbner bases of symmetric toric ideals, Proc. ISSAC’16, 2016, 311–318.
Dung D H, Equivariant Gröbner Bases, Master’s thesis, Leiden University, 2010.
Hillar C J, Kroner R, and Leykin A, Equivariant Gröbner bases, 8th Mathematical Society of Japan Seasonal Institute Conference on Current Trends on Gröbner Bases: 50th Anniversary of Gröbner Bases, Advanced Studies in Pure Mathematics, 2018, 77: 129–154.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by the National Natural Science Foundation of China under Grant No. 11701370.
This paper was recommended for publication by Editor MOU Chenqi.
Rights and permissions
About this article
Cite this article
Liu, J., Ni, F., Song, S. et al. Normalization of Indexed Differentials by Extending Gröbner Basis Theory. J Syst Sci Complex 35, 2016–2028 (2022). https://doi.org/10.1007/s11424-021-0302-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-021-0302-2