Differentiably finite function: Difference between revisions

Revision as of 20:27, 15 May 2013

Revision as of 20:29, 15 May 2013

Line 1:

{{Unreferenced|date=January 2012}}

In mathematics, a '''differentiably finite function''' of one variable, also referred to as a '''D‑finite''' or '''holonomic''' '''function''', is aan [[Functionanalytic (mathematics)|function]] which is a solution of a [[linear differential equation]] with polynomial coefficients. A '''differentiably finite''' (or D‑finite, or holonomic) '''power series''' is a [[formal power series]] that formally satisfies a linear differential equation with polynomial coefficients.

== Formal definition ==