Serre's reduction of linear systems of partial differential equations with holonomic adjoints
Résumé
Given a linear functional system (e.g., ordinary/partial di erential system, di erential time-delay system, di erence system), Serre's reduction aims at nding 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 di erential equations with either polynomial, formal power series or analytic coe cients and with holonomic adjoints in the sense of algebraic analysis. We prove that these linear partial di erential systems can be de ned by means of a single linear partial di erential equation. In the case of polynomial coe cients, we give an algorithm to compute the corresponding equation.
Domaines
Calcul formel [cs.SC]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...