Multidimensional constant linear systems

A continuous resp. discrete r-dimensional (r≥1) system is the solution space of a system of linear partial differential resp. difference equations with constant coefficients for a vector of functions or distributions in r variables resp. of r-fold indexed sequences. Although such linear systems, both multidimensional and multivariable, have been used and studied in analysis and algebra for a long time, for instance by Ehrenpreis et al. thirty years ago, these systems have only recently been recognized as objects of special significance for system theory and for technical applications. Their introduction in this context in the discrete one-dimensional (r=1) case is due to J. C. Willems. The main duality theorem of this paper establishes a categorical duality between these multidimensional systems and finitely generated modules over the polynomial algebra in r indeterminates by making use of deep results in the areas of partial differential equations, several complex variables and algebra. This duality theorem makes many notions and theorems from algebra available for system theoretic considerations. This strategy is pursued here in several directions and is similar to the use of polynomial algebra in the standard one-dimensional theory, but mathematically more difficult. The following subjects are treated: input-output structures of systems and their transfer matrix, signal flow spaces and graphs of systems and block diagrams, transfer equivalence and (minimal) realizations, controllability and observability, rank singularities and their connection with the integral respresentation theorem, invertible systems, the constructive solution of the Cauchy problem and convolutional transfer operators for discrete systems. Several constructions on the basis of the Grobner basis algorithms are executed. The connections with other approaches to multidimensional systems are established as far as possible (to the author).

[1]  M. Kashiwara Systems Of Microdifferential Equations , 1983 .

[2]  Jan C. Willems,et al.  The Analysis of Feedback Systems , 1971 .

[3]  G. Marchesini,et al.  State-space realization theory of two-dimensional filters , 1976 .

[4]  N. Bose Applied multidimensional systems theory , 1982 .

[5]  R. Remmert,et al.  Coherent Analytic Sheaves , 1984 .

[6]  V. Palamodov,et al.  Linear Differential Operators with Constant Coefficients , 1970 .

[7]  W. K. Chen,et al.  Applied Graph Theory: Graphs and Electrical Networks , 1978, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  B. Malgrange,et al.  Systèmes différentiels à coefficients constants , 1964 .

[9]  Ulrich Oberst,et al.  Duality theory for Grothendieck categories and linearly compact rings , 1970 .

[10]  Lothar Berg Introduction To The Operational Calculus , 1967 .

[11]  F. S. Macaulay Some Properties of Enumeration in the Theory of Modular Systems , 1927 .

[12]  B. Buchberger,et al.  Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[13]  Dante C. Youla,et al.  Notes on n-Dimensional System Theory , 1979 .

[14]  Eduardo D. Sontag,et al.  On the Existence of Minimal Realizations of Linear Dynamical Systems over Noetherian Integral Domains , 1979, J. Comput. Syst. Sci..

[15]  H. Rosenbrock,et al.  State-space and multivariable theory, , 1970 .

[16]  Clyde F. Martin,et al.  Geometrical methods for the theory of linear systems : proceedings of a NATO Advanced Study Institute and AMS Summer Seminar in Applied Mathematics, held at Harvard University, Cambridge, Mass., June 18-29, 1979 , 1980 .

[17]  Thomas Kailath,et al.  Linear Systems , 1980 .

[18]  Jan C. Willems,et al.  From time series to linear system - Part I. Finite dimensional linear time invariant systems , 1986, Autom..

[19]  Jae S. Lim,et al.  Advanced topics in signal processing , 1987 .

[20]  U. Oberst Multidimensional constant linear systems , 1990, EUROCAST.

[21]  Jan-Erik Björk,et al.  Rings of differential operators , 1979 .

[22]  Miles Reid,et al.  Commutative Ring Theory , 1989 .

[23]  Benjamin C. Kuo,et al.  AUTOMATIC CONTROL SYSTEMS , 1962, Universum:Technical sciences.

[24]  H. Hironaka Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: II , 1964 .

[25]  M. Kashiwara Foundations of algebraic analysis , 1986 .

[26]  L. Ehrenpreis Fourier analysis in several complex variables , 1970 .

[27]  W. Wolovich Linear multivariable systems , 1974 .

[28]  J. Willems,et al.  STATE FOR 2-D SYSTEMS , 1989 .

[29]  Armand Borel,et al.  Algebraic D-modules , 1987 .

[30]  C. Byrnes,et al.  Frequency domain and state space methods for linear systems , 1986 .

[31]  G. Marchesini,et al.  Dynamic regulation of 2D systems: A state-space approach , 1989 .

[32]  F. Trèves Basic Linear Partial Differential Equations , 1975 .

[33]  R E Kalman,et al.  Algebraic Structure of Linear Dynamical Systems. III. Realization Theory Over a Commutative Ring. , 1972, Proceedings of the National Academy of Sciences of the United States of America.

[34]  Maria Paula Macedo Rocha,et al.  Structure and representation of 2-D systems , 1990 .

[35]  F. S. Macaulay,et al.  The Algebraic Theory of Modular Systems , 1972 .

[36]  Günther Hauger,et al.  Injektive Moduln über Ringen linearer Differentialoperatoren , 1978 .

[37]  Edward W. Kamen,et al.  An operator theory of linear functional differential equations , 1978 .

[38]  R. Roesser A discrete state-space model for linear image processing , 1975 .

[39]  Nathan Jacobson,et al.  Structure of rings , 1956 .

[40]  Eben Matlis,et al.  Injective modules over Noetherian rings. , 1958 .

[41]  Jan-Erik Roos,et al.  Locally Noetherian categories and generalized strictly linearly compact rings. Applications. , 1969 .