A method for symbolic evaluation of indefinite integrals containing special functions of their products (Q805822)

A method is proposed to implement automatical symbolic evaluation of indefinite integrals of the form: \(I=\int f(x)\prod^{m}_{i=1}R_{\mu_ i}^{(i)}(x)dx\), where \(R_{\mu_ i}^{(i)}(x)\) is the ith type of special functions of order \(\mu_ i\). This approach is based on the recurrence relations: \[ R^{(i)}_{\mu +1}(x)= a_{\mu}(x)R_{\mu}^{(i)}(x)+ b_{\mu}(x)R^{(i)}_{\mu - 1}(x), \] \[ \frac{d}{dx}R_{\mu}^{(i)}(x)= c_{\mu}(x)R_{\mu}^{(i)}(x)+ d_{\mu}(x)R^{(i)}_{\mu -1}(x), \] where \(a_{\mu}(x)\), \(b_{\mu}(x)\), \(c_{\mu}(x)\) and \(d_{\mu}(x)\) are known functions corresponding to \(R_{\mu}(x)\).