Apparent singularities of D-finite systems (Q2000276)

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.