Axiomatic characterization of linear differential systems (and operators)

In his IEEE Trans. Aut. Contr. paper in 1991, Willems posed the following question: given a set of smooth trajectories, when does there exist a linear constant coefficient differential operator whose kernel is precisely the given set? We show that the properties that are necessary and sufficient for a set of smooth trajectories to admit a ''kernel'' representation are: linearity, time-invariance, jet-closedness and jet-determinedness. (It is interesting to note that the properties of jet-closedness and jet-determinedness were introduced by Willems himself in his Automatica paper in 1986.)

[1]  Vakhtang Lomadze.  When are linear differentiation-invariant spaces differential? , 2007 .

[2]  Jan C. Willems,et al.  From time series to linear system - Part II. Exact modelling , 1986, Autom..

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

[4]  Christiaan Heij,et al.  Introduction to mathematical systems theory , 1997 .

[5]  S.J.L. van Eijndhoven,et al.  Introduction to a behavioral approach of continuous-time systems , 1992 .

[6]  Vakhtang Lomadze.  Lifting discrete trajectories , 2012, Appl. Math. Lett..

[7]  Vakhtang Lomadze,et al.  Linear Systems and Taylor Complexes , 2012, SIAM J. Control. Optim..

[8]  R. Narasimhan,et al.  Analysis on Real and Complex Manifolds , 1973 .

[9]  Eric Rogers,et al.  On homomorphisms of n-D behaviors , 2002 .

[10]  É. Borel.  Sur quelques points de la théorie des fonctions , 1895 .

[11]  J. Willems.  Paradigms and puzzles in the theory of dynamical systems , 1991 .

[12]  Jan C. Willems,et al.  Models for Dynamics , 1989 .

[13]  Jan C. Willems,et al.  From time series to linear system - Part III: Approximate modelling , 1987, Autom..

[14]  Paul A. Fuhrmann.  On behavior homomorphisms and system equivalence , 2001, Syst. Control. Lett..

[15]  N. Bourbaki.  Topological Vector Spaces , 1987 .

[16]  Vakhtang Lomadze.  Relative completeness and specifiedness properties of continuous linear dynamical systems , 2010, Syst. Control. Lett..

[17]  V. Lomadze.  On duality for partial differential (and difference) equations , 2004 .

[18]  V. Levenshtein.  Designs as maximum codes in polynomial metric spaces , 1992 .

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

[20]  Jean-Charles Delvenne,et al.  A characterization of solution sets of LTI differential equations , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[21]  R. Meise,et al.  Introduction to Functional Analysis , 1997 .