Eliminations in Weyl algebras and identities.

DOI10.1016/J.AAM.2005.03.003MaRDI QIDQ817239zbMATH OpenOpenAlexFDO

Authors Weiping Wang, Yuxia Xu, Tianming Wang

Publication date 8 March 2006

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.aam.2005.03.003

zbMATH Keywords

combinatorial identitiescomputer proofseliminationsgeneralized Weyl algebrasWu methodZeilberger algorithm

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Rings of differential operators (associative algebraic aspects) (16S32) Ordinary and skew polynomial rings and semigroup rings (16S36) Computational aspects of associative rings (general theory) (16Z05) Connections of hypergeometric functions with groups and algebras, and related topics (33C80) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Symbolic computation and algebraic computation (68W30)

Review text

Consider two operators \(N,K\) on the algebra of polynomials in two variables \(n,k\), namely \[ N(f(n,k))=f(n+1,k),\quad K(f(n,k))=f(n,k+1). \] Denote by \(C\langle N,K,n,k\rangle\) the algebra of operators on polynomials generated by \(N,K,n,k\), where \(n,k\) are identified with operators of multiplication. Given \(P,Q\in C\langle N,K,n,k\rangle\) there exist nontrivial elements \(u,v,r,s\in C\langle N,K,n,k\rangle\) such that \(uP=vQ + R\), \(rP=sQ\) and \(\deg_kR<\deg_kQ\). This result is applied to elimination in Weyl algebras, for verification of termination of some hypergeometric identities, of identities in two variables, and so on.

Recommendations

• Elimination in Weyl algebra and q-identities
• Elimination and identities with the integral sign
• scientific article; zbMATH DE number 5008144
• Non-commutative elimination in Ore algebras proves multivariate identities
• A fast algorithm for proving terminating hypergeometric identities

Cites work

• A holonomic systems approach to special functions identities
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• scientific article; zbMATH DE number 176215 (Why is no real title available?)
• scientific article; zbMATH DE number 1555915 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3380631 (Why is no real title available?)
• The method of differentiating under the integral sign

Cited in

(2)

• Elimination in Weyl algebra and q-identities
• Elimination and identities with the integral sign

Describes a project that uses

Uses Software

• DEtools

This page was built for publication: Eliminations in Weyl algebras and identities.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817239)