On Full Rank Differential Systems with Power Series Coefficients - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Symbolic Computation Année : 2015

On Full Rank Differential Systems with Power Series Coefficients

Résumé

We consider the following problem: given a linear ordinary differential system of arbitrary order with formal power series coefficients, decide whether the system has non-zero Laurent series solutions, and find all such solutions if they exist (in a truncated form preserving the space dimension). If the series coefficients of the original systems are represented algorithmically then these problems are algorithmically undecidable. However, it turns out that they are decidable in the case when we know in advance that a given system is of full rank. We define the width of a given full rank system S with formal power series coefficients as the smallest non-negative integer w such that any l-truncation of S with l⩾wl⩾w is a full rank system. We prove that the value w exists for any full rank system and can be found algorithmically. We propose corresponding algorithms and their Maple implementation, and report some experiments.

Dates et versions

hal-01296860 , version 1 (01-04-2016)

Identifiants

Citer

Sergei Abramov, Moulay A. Barkatou, D. Khmelnov. On Full Rank Differential Systems with Power Series Coefficients. Journal of Symbolic Computation, 2015, 68 (1), pp.120-137. ⟨10.1016/j.jsc.2014.08.010⟩. ⟨hal-01296860⟩
55 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More