Solvability of the Cauchy problem for a polynomial difference operator and monomial bases for the quotients of a polynomial ring (Q2352668): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 06:49, 5 March 2024

scientific article
Language Label Description Also known as
English
Solvability of the Cauchy problem for a polynomial difference operator and monomial bases for the quotients of a polynomial ring
scientific article

    Statements

    Solvability of the Cauchy problem for a polynomial difference operator and monomial bases for the quotients of a polynomial ring (English)
    0 references
    3 July 2015
    0 references
    The authors consider difference operators on \(\mathbb{Z}_+^n\), that is, linear combinations of shifts, \(P(\delta)=\sum_{|\alpha| \leq m} c_\alpha \delta_1^{\alpha_1} \cdots \delta_n^{\alpha_n}\), where \(\delta_j\) is the shift in \(j\)-th variable, and \(\alpha = (\alpha_1,\dots,\alpha_n)\) is a multi-index with \(\ell^1\) norm denoted \(| \alpha|\). Fixing \(\beta\) such that \(|\beta |= m\) and \(c_\beta \neq 0\), the authors consider the Cauchy problem with prescribed values on the set \(\{x\in\mathbb{Z}_+^n \mid x_i < \beta_i \text{ for some }i\}\), and prove existence and uniqueness of solutions if \(| c_\beta|> \sum_{\alpha \neq \beta, |\alpha |= m} | c_\alpha |\). The proof proceeds by rewriting the system as a hierarchy of finite linear systems and by studying the determinants of those systems. The authors also prove that, in general, solvability of the Cauchy problem is determined only by the leading order terms (those with \(|\alpha|=m\)).
    0 references
    difference operator
    0 references
    Cauchy problem
    0 references
    monomial basis for quotient ring
    0 references

    Identifiers