2015/05/21 by Debasattam Pal, Harish K. Pillai, Pal, Debasattam +1
Computer Science · Engineering · Mathematics · #Advanced Numerical Analysis Techniques #Analysis of PDEs (math.AP) #Computer science #FOS: Mathematics #Formal Methods in Verification #Mathematics #Political science #Polynomial and algebraic computation #Pure mathematics #Representation (politics) #math.AP
paper · pdf · doi:10.48550/arxiv.1505.05684
40 pages, 2 figures
arxiv created 2015/05/21 · openalex publication_date 2015/05/21 · arxiv updated 2015/05/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we address the problem of representing solutions of a system of scalar linear partial difference equations akin to state space equations of 1-D systems theory. We first obtain a representation formula for a special class of autonomous systems. Then we show every autonomous system can be converted into the special ones by a coordinate transformation on n-d integer grid. Using this conversion we provide representation formula for general autonomous systems. The representation formula we present can be viewed as multidimensional flow operators acting on initial conditions. These initial conditions are required to satisfy certain compatibility conditions. We give a full description of the set of allowable initial conditions. In our search for a general representation formula, one algebraic result plays a very crucial role. In this result we show that every quotient ring of the n-variable Laurent polynomial ring can be made a finitely generated faithful module over another Laurent polynomial ring of smaller dimension by doing a suitable change of coordinates. We call this result a discrete version of Noether's Normalization Lemma.