|
|
Termination of algorithm for computing relative Gr?bner bases and difference differential dimension polynomials |
Guanli HUANG1,2,Meng ZHOU1,*() |
1. School of Mathematics and System Science, LMIB, Beihang University, Beijing 100191, China 2. Beijing Polytechnic, Beijing 100176, China |
|
|
Abstract We introduce the concept of difference-differential degree compatibility on generalized term orders. Then we prove that in the process of the algorithm the polynomials with higher and higher degree would not be produced, if the term orders ‘?’ and ‘?′’ are difference-differential degree compatibility. So we present a condition on the generalized orders and prove that under the condition the algorithm for computing relative Gr?bner bases will terminate. Also the relative Gr?bner bases exist under the condition. Finally, we prove the algorithm for computation of the bivariate dimension polynomials in difference-differential modules terminates.
|
Keywords
Relative Gr?bner basis
difference-differential module
bivariate dimension polynomial
termination of algorithm
|
Corresponding Author(s):
Meng ZHOU
|
Issue Date: 01 April 2015
|
|
1 |
D?nch C. Bivariate difference-differential dimension polynomials and their computation in Maple. Proceedings of the 8th International Conference on Applied Informatics, Eger, Hungary, January 27-30, 2010, Vol 1. 2010, 221-228
|
2 |
D?nch C. Characterization of relative Gr?bner bases. J Symbolic Comput, 2013, 55: 19-29
https://doi.org/10.1016/j.jsc.2013.03.003
|
3 |
Insa M, Pauer F. Gr?bner bases in rings of differential operators. In: Buchberger B, Winkler F, eds. Gr?bner Bases and Applications. London Math Soc Lecture Note Ser,Vol 251. Cambridge: Cambridge University Press, 1998, 367-380
https://doi.org/10.1017/CBO9780511565847.021
|
4 |
Kolchin E R. The notion of dimension in the theory of algebraic differential equations. Bull Amer Math Soc, 1964, 70: 570-573
https://doi.org/10.1090/S0002-9904-1964-11203-9
|
5 |
Levin A.B. Reduced Gr?bner bases, free difference-differential modules and differencedifferential dimension polynomials. J Symbolic Comput, 2000, 30(4): 357-382
https://doi.org/10.1006/jsco.1999.0412
|
6 |
Levin A B. Gr?bner bases with respect to several orderings and multivariable dimension polynomials. J Symbolic Comput, 2007, 42(5): 561-578
https://doi.org/10.1016/j.jsc.2006.05.006
|
7 |
Noumi N M. Wronskian determinants and the Gr?bner representation of linear differential equation. In: Algebraic Analysis. Boston: Academic Press, 1988, 549-569
https://doi.org/10.1016/B978-0-12-400466-5.50013-5
|
8 |
Oaku T, Shimoyama T. A Gr?bner basis method for modules over rings of differential operators. J Symbolic Comput, 1994, 18(3): 223-248
https://doi.org/10.1006/jsco.1994.1046
|
9 |
Pauer F, Unterkircher A. Gr?bner bases for ideals in Laurent polynomial rings and their applications to systems of difference equations. Appl Algebra Engrg Comm Comput, 1999, 9: 271-291
https://doi.org/10.1007/s002000050108
|
10 |
Takayama N. Gr?bner basis and the problem of contiguous relations. Japan J Appl Math, 1989, 6: 147-160
https://doi.org/10.1007/BF03167920
|
11 |
Zhou M, Winkler F. Gr?bner bases in difference-differential modules. Proceedings ISSAC 2006. New York: ACM Press, 2006: 353-360
https://doi.org/10.1145/1145768.1145825
|
12 |
Zhou M, Winkler F. Computing difference-differential dimension polynomials by relative Gr?bner bases in difference-differential modules. J Symbolic Comput, 2008, 43: 726-745
https://doi.org/10.1016/j.jsc.2008.02.001
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|