Relative parametrization of linear multidimensional systems

DOI10.1007/S11045-013-0265-0zbMATH Open1358.13026arXiv1212.4590OpenAlexW1971018336MaRDI QIDQ335932FDOQ335932

Authors: J. F. Pommaret 

Publication date: 10 November 2016

Published in: Multidimensional Systems and Signal Processing (Search for Journal in Brave)

Abstract: In the last chapter of his book "The Algebraic Theory of Modular Systems " published in 1916, F. S. Macaulay developped specific techniques for dealing with " unmixed polynomial ideals " by introducing what he called " inverse systems ". The purpose of this paper is to extend such a point of view to differential modules defined by linear multidimensional systems, that is by linear systems of ordinary differential (OD) or partial differential (PD) equations of any order, with any number of independent variables, any number of unknowns and even with variable coefficients in a differential field. The first and main idea is to replace unmixed polynomial ideals by " pure differential modules ". The second idea is to notice that a module is 0-pure if and only if it is torsion-free and thus if and only if it admits an " absolute parametrization " by means of arbitrary potential like functions, or, equivalently, if it can be embedded into a free module by means of an " absolute localization ". The third idea is to refer to a difficult theorem of algebraic analysis saying that an r-pure module can be embedded into a module of projective dimension equal to r, that is a module admitting a projective resolution with exactly r operators. The fourth and final idea is to establish a link between the use of extension modules for such a purpose and specific formal properties of the underlying multidimensional system through the use of involution and a "relative localization " leading to a "relative parametrization ", that is to the use of potential-like functions satisfying a kind of "minimum differential constraint " limiting, in some sense, the number of independent variables appearing in these functions, in a way similar to the situation met in the Cartan-K"ahler theorem of analysis. The paper is written in a rather effective self-contained way and we provide many explicit examples that should become test examples for a future use of computer algebra.

Full work available at URL: https://arxiv.org/abs/1212.4590

Recommendations

• Symmetries, parametrizations and potentials of multidimensional linear systems
• Effective algorithms for parametrizing linear control systems over Ore algebras
• Equivalences of linear functional systems
• Recent progress in an algebraic analysis approach to linear systems
• Algebraic theory of linear systems: a survey

zbMATH Keywords

homological algebralinear differential equations

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Minimal systems representations (93B20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic study of systems of partial differential equations
• Parametrization of Cosserat equations
• Algebraic analysis of linear multidimensional control systems
• Title not available (Why is that?)
• Topics in multidimensional linear systems theory
• Localization and parametrization of linear multidimensional control systems
• Macaulay inverse systems revisited
• Purity filtration and the fine structure of autonomy.
• Grade filtration of linear functional systems.
• Title not available (Why is that?)
• Title not available (Why is that?)
• 5 Algebraic Analysis of Control Systems Defined by Partial Differential Equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Macaulay inverse systems revisited
• On the Macaulay inverse system and its importance for the theory of linear differential equations with constant coefficients
• Symmetries, parametrizations and potentials of multidimensional linear systems
• Algebraic-differential systems with deviating argument
• CSSg method for several genericities of parametric systems
• On minimal realizations of first-degree 3D systems with separable denominators
• A contemporary linear representation theory for ordinary differential equations: multilinear algebra in folded arrays (folarrs) perspective and its use in multidimensional case
• An analysis of the parametrization by data driven local coordinates for multivariable linear systems
• Localization and parametrization of linear multidimensional control systems
• Title not available (Why is that?)

Uses Software

• PurityFiltration

This page was built for publication: Relative parametrization of linear multidimensional systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q335932)