Eliminations in Weyl algebras and identities. (Q817239)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Eliminations in Weyl algebras and identities.
scientific article

    Statements

    Eliminations in Weyl algebras and identities. (English)
    0 references
    0 references
    0 references
    0 references
    8 March 2006
    0 references
    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.
    0 references
    generalized Weyl algebras
    0 references
    Zeilberger algorithm
    0 references
    Wu method
    0 references
    computer proofs
    0 references
    eliminations
    0 references
    combinatorial identities
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references