Apparent singularities of D-finite systems

From MaRDI portal
Publication:2000276



Abstract: We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characterized in terms of its formal power series solutions. We also show that apparent singularities can be removed like in the univariate case by adding suitable additional solutions to the system at hand. Several algorithms are presented for removing and detecting apparent singularities. In addition, an algorithm is given for computing formal power series solutions of a D-finite system at apparent singularities.


Set \(\mathbb{K}[x][\partial ]:= \mathbb{K}[x_1,\ldots x_n][\partial_1,\ldots ,\partial_n]\). A left ideal \(I\) in \(\mathbb{K}(x)[\partial ]\) is D-finite if the quotient \(\mathbb{K}(x)[\partial ]/I\) is a finite-dimensional vector space over \(\mathbb{K}(x)\). The dimension of \(\mathbb{K}(x)[\partial ]/I\) as a vector space over \(\mathbb{K}(x)\) is called the rank of \(I\). The authors generalize the notions of ordinary points and singularities from linear ordinary differential equations to D-finite systems. Ordinary points and apparent singularities of a D-finite system are characterized in terms of its formal power series solutions. The authors show that apparent singularities can be removed like in the univariate case by adding suitable additional solutions to the system at hand. Several algorithms are presented for removing and detecting apparent singularities. In addition, an algorithm is given for computing formal power series solutions of a D-finite system at apparent singularities.





Describes a project that uses

Uses Software






This page was built for publication: Apparent singularities of D-finite systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2000276)