Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients

Alban Quadrat 1 Georg Regensburger 2
1 NON-A - Non-Asymptotic estimation for online systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : In this paper, we study algorithmic aspects of the algebra of linear ordinary integro-differential operators with polynomial coefficients. Even though this algebra is not Noetherian and has zero divisors, Bavula recently proved that it is coherent, which allows one to develop an algebraic systems theory over this algebra. For an algorithmic approach to linear systems of integro-differential equations with boundary conditions, computing the kernel of matrices with entries in this algebra is a fundamental task. As a first step, we have to find annihilators of integro-differential operators, which, in turn, is related to the computation of polynomial solutions of such operators. For a class of linear operators including integro-differential operators, we present an algorithmic approach for computing polynomial solutions and the index. A generating set for right annihilators can be constructed in terms of such polynomial solutions. For initial value problems, an involution of the algebra of integro-differential operators then allows us to compute left annihilators, which can be interpreted as compatibility conditions of integro-differential equations with boundary conditions. We illustrate our approach using an implementation in the computer algebra system Maple.
Liste complète des métadonnées

https://hal.inria.fr/hal-01413907
Contributor : Alban Quadrat <>
Submitted on : Sunday, December 11, 2016 - 7:43:13 PM
Last modification on : Friday, March 22, 2019 - 1:35:32 AM
Document(s) archivé(s) le : Tuesday, March 28, 2017 - 12:43:21 AM

File

RR-9002.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01413907, version 1

Citation

Alban Quadrat, Georg Regensburger. Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients. [Research Report] RR-9002, Inria Lille - Nord Europe; Institute for Algebra, Johannes Kepler University Linz. 2016, pp.24. ⟨hal-01413907⟩

Share

Metrics

Record views

452

Files downloads

183