Computation of Koszul homology and application to involutivity of partial differential systems. Issue 34 (2022)

• Record Type: Journal Article
• Authors: Chenavier, Cyrille; Cluzeau, Thomas; Quadrat, Alban
• Is Part Of: IFAC-PapersOnLine. Volume 55:Issue 34(2022)
• Page Start: 19
• Page End: 24
• Publication Date: 2022
• Subjects: Systems of partial differential equations -- multidimensional systems -- behaviours -- Cartan's involutivity -- formal integrability -- Koszul homology -- Spencer cohomology; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2022.11.302
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: The formal integrability of systems of partial differential equations plays a fundamental role in different analysis and synthesis problems for both linear and nonlinear differential control systems. Following Spencer's theory, to test the formal integrability of a system of partial differential equations, we must study when the symbol of the system, namely, the top-order part of the linearization of the system, is 2-acyclic or involutive, i.e., when certain Spencer cohomology groups vanish. Combining the fact that Spencer cohomology is dual to Koszul homology and symbolic computation methods, we show how to effectively compute the homology modules defined by the Koszul complex of a finitely presented module over a commutative polynomial ring. These results are implemented using the OREMORPHISMS package. We then use these results to effectively characterize 2-acyclicity and involutivity of the symbol of a linear system of partial differential equations. Finally, we show explicit computations on two standard examples.