Factoring and decomposing a class of linear functional systems

DOI10.1016/j.laa.2007.07.008zbMath1131.15011MaRDI QIDQ2463621

Alban Quadrat, Thomas Cluzeau

Publication date: 14 December 2007

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.laa.2007.07.008

zbMATH Keywords

symbolic computation; morphisms; homological algebra; module theory; linear functional systems; equivalences of systems; quadratic conservation laws; Galois transformations; factorizations and decomposition problems; quadratic first integrals of motion

Mathematics Subject Classification ID

15A23: Factorization of matrices

16D70: Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras)

13D03: (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.)

15A06: Linear equations (linear algebraic aspects)

Related Items

Serre's reduction of linear partial differential systems with holonomic adjoints, Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases, A Jordan-Hölder theorem for differential algebraic groups, Refinement of two-factor factorizations of a linear partial differential operator of arbitrary order and dimension, Linear differential elimination for analytic functions, Serre's reduction of linear functional systems., Liouvillian solutions of linear difference-differential equations, Tensored polynomial models, Factoring and decomposing a class of linear functional systems, Computation of bases of free modules over the Weyl algebras.

Uses Software

• homalg
• Macaulay2
• Plural
• Kan
• OreModules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-commutative Gröbner bases in algebras of solvable type
• Multidimensional constant linear systems
• Idéaux de germes d'opérateurs différentiels à une variable
• Algorithms for the Quillen-Suslin theorem
• Algebraic system theory: An analyst's point of view
• Generalized Bézout identity.
• Non-commutative elimination in Ore algebras proves multivariate identities
• Factorization of differential operators with rational functions coefficients
• Bases for projective modules in \(A_n(k)\).
• Modules and behaviours in nD systems theory
• Topics in multidimensional linear systems theory
• Formal elimination for multidimensional systems and application to control theory.
• Factoring systems of linear PDEs with finite-dimensional solution spaces
• Problems that appear during factorization of ordinary linear differential operators
• Testing reducibility of linear differential operators: A group theoretic perspective
• Localization and parametrization of linear multidimensional control systems
• On rational solutions of systems of linear differential equations
• Loewy and primary decompositions of \(\mathcal D\)-modules
• Factoring and decomposing a class of linear functional systems
• Computation of bases of free modules over the Weyl algebras.
• Effective algorithms for parametrizing linear control systems over Ore algebras
• Gevrey character of formal solutions of differential—difference equations with polynomials coefficients
• OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
• An algebraic analysis approach to linear time-varying systems
• Module Structure of Weyl Algebras
• A Behavioral Approach to Control of Distributed Systems
• Algebraic analysis of linear multidimensional control systems
• On homomorphisms of n-D behaviors
• Computer Algebra in Scientific Computing
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• Polynomial and rational solutions of holonomic systems
• On behavior homomorphisms and system equivalence
• Computing homomorphisms between holonomic \(D\)-modules