Serre's reduction of linear partial differential systems with holonomic adjoints - Archive ouverte HAL
Journal Articles Journal of Symbolic Computation Year : 2012

Serre's reduction of linear partial differential systems with holonomic adjoints

Abstract

Given a linear functional system (e.g., an ordinary/partial differential system, a differential time-delay system, a difference system), Serre's reduction aims at finding an equivalent linear functional system which contains fewer equations and fewer unknowns. The purpose of this paper is to study Serre's reduction of underdetermined linear systems of partial differential equations with either polynomial, formal power series or locally convergent power series coefficients, and with holonomic adjoints in the sense of algebraic analysis. We prove that these linear partial differential systems can be defined by means of only one linear partial differential equation. In the case of polynomial coefficients, we give an algorithm to compute the corresponding equation.

Dates and versions

hal-00765942 , version 1 (17-12-2012)

Identifiers

Cite

Thomas Cluzeau, Alban Quadrat. Serre's reduction of linear partial differential systems with holonomic adjoints. Journal of Symbolic Computation, 2012, 47 (10), pp.1192-1213. ⟨10.1016/j.jsc.2011.12.041⟩. ⟨hal-00765942⟩
152 View
0 Download

Altmetric

Share

More