Definition:Reduction Formula

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f: \R \times \Z_{\ge 0}: \R$ be a Darboux integrable real-valued function on $\R \times \N$.

Let:

$\displaystyle I_n = \int \map f {x, n} \rd x$

for some $n \in \Z_{\ge 0}$.


A reduction formula is a recurrence relation of the form:

$\displaystyle I_k = \map g {\displaystyle I_n}$

such that $k < n$.


That is, it is a technique to reduce the integer parameter in the integrand in order to allow evaluation of the integral at, usually, $n = 0$ or $n = 1$.

This technique relies upon the supposition that $\map f {x, 0}$ or $\map f {x, 1}$ can be integrated directly.