Exact linear modeling with polynomial coefficients
Given a finite set of polynomial, multivariate, and vector-valued functions, we show that their span can be written as the solution set of a linear system of partial differential equations (PDE) with polynomial coefficients. We present two different but equivalent ways to construct a PDE system whose solution set is precisely the span of the given trajectories. One is based on commutative algebra and the other one works directly in the Weyl algebra, thus requiring the use of tools from non-commutative computer algebra. In behavioral systems theory, the resulting model for the data is known as the most powerful unfalsified model (MPUM) within the class of linear systems with kernel representations over the Weyl algebra, i.e., the ring of differential operators with polynomial coefficients.
KeywordsMultidimensional systems Linear systems with polynomial coefficients Behavioral approach Linear exact modeling Polynomial trajectories Most powerful unfalsified model Gröbner bases
Unable to display preview. Download preview PDF.
- Bose N. K. (2007) Two decades of Gröbner bases in multidimensional systems. Radon Series Computational Applied Mathematics 3: 1–22Google Scholar
- Greuel, G.-M., Pfister, G., & Schönemann, H. (2009). Singular 3-1-0—a computer algebra system for polynomial computations. http://www.singular.uni-kl.de.
- Levandovskyy, V. (2006). Plural, a non-commutative extension of Singular. In A. Iglesias, & N. Takayama (Eds.), Mathematical software—ICMS 2006. Lecture Notes in Computer Science Vol. 4151. Springer.Google Scholar
- Levandovskyy, V., Schindelar, K., & Zerz, E. (2010). Exact linear modeling using ore algebras. Journal of Symbolic Computation.Google Scholar
- Schindelar, K., Levandovskyy, V., & Zerz, E. (2008). Linear exact modeling with variable coefficients. In Proceedings of the 18th international symposium on mathematical theory networks systems (MTNS), Blacksburg.Google Scholar
- Schindelar, K. (2010). Algorithmic aspects of algebraic system theory. Ph.D. Thesis, RWTH Aachen University.Google Scholar
- Zerz E. (2000) Topics in multidimensional linear systems theory. Lecture notes in control and information sciences. Springer, LondonGoogle Scholar
- Zerz, E. (2006). Recursive computation of the multidimensional MPUM. In Proceedings of the 17th international symposium on mathematical theory networks systems (MTNS), Kyoto.Google Scholar