In mathematics a P-recursive equation is a linear equation of sequences where the coefficient sequences can be represented as polynomials. P-recursive equations are linear recurrence equations (or linear recurrence relations or linear difference equations) with polynomial coefficients. These equations play an important role in different areas of mathematics, specifically in combinatorics. The sequences which are solutions of these equations are called holonomic, P-recursive, or D-finite. From the late 1980s, the first algorithms were developed to find solutions for these equations. Sergei A. Abramov, Marko Petkovšek and Mark van Hoeij described algorithms to find polynomial, rational, hypergeometric and d'Alembertian solutions.
Definition Let F {\textstyle \mathbb {F} } be a field of characteristic zero, meaning there is no m ∈ N {\textstyle m\in \mathbb {N} } such that 0 = ∑ k = 1 m 1 {\textstyle 0=\sum _{k=1}^{m}1} , and n ∈ N {\textstyle n\in \mathbb {N} } . A sequence ( x k ) k ∈ N 0 ∈ F N 0 {\textstyle (x_{k})_{k\in \mathbb {N} _{0}}\in \mathbb {F} ^{\mathbb {N} _{0}}} is called P-recursive if it satisfies a linear recursive equation with coefficients in F [ n ] {\textstyle \mathbb {F} [n]} meaning there exists a sequence ( p k ( n ) ) k ∈ N 0 ∈ ( F [ n ] ) N 0 {\textstyle (p_{k}(n))_{k\in \mathbb {N} _{0}}\in (\mathbb {F} [n])^{\mathbb {N} _{0}}} a polynomial y ( n ) ∈ F [ n ] {\textstyle y(n)\in \mathbb {F} [n]} such that ∑ k = 0 ∞ p k ( n ) ⋅ x n + k = y ( n ) . {\displaystyle \sum \limits _{k=0}^{\infty }p_{k}(n)\cdot x_{n+k}=y(n).} Linear equations of this form are called P-recursive equations. Solutions to this equation are generally in x n ∈ F [ n ] ¯ {\textstyle x_{n}\in {\overline {\mathbb {F} [n]}}} meaning the completion of F [ n ] {\textstyle \mathbb {F} [n]} , More specifically a equation ∑ k = 0 m p k ( n ) ⋅ x n + k = y ( n ) {\displaystyle \sum \limits _{k=0}^{m}p_{k}(n)\cdot x_{n+k}=y(n)} for a m ∈ N {\textstyle m\in \mathbb {N} } is said to be of order m {\textstyle m} if and only if p 0 , p m {\textstyle p_{0},\,p_{m}} are non-zero. Some authors further more require the equation to be homogenous, meaning y {\textstyle y} to be zero, for it to be called P-recursive. Further more a power series is called D-finite if it's coefficients are P-recursive.
… excerpt ends here. Continue reading the full article.
