Skip to main content
2 of 2
Made wording more precise.

Algorithm for definite integral of rational functions of x and exp(-x)

I'd like to find the class of functions that may appear as definite integrals of a rational function of $x$ and $\exp(-x)$ from $0$ to $\infty$. For that I imagine there might be an algorithm to reduce such integrals to a finite set of ``master'' integrals which can then be handled case-by-case.

More precisely, I'm interested in integrals of the type

$$\int_0^\infty \frac{P(x,\exp(-x))}{Q(x,\exp(-x))} dx$$

where $P$ and $Q$ are polynomials in two variables (such that the integral exists). The above definite integral will be a function of the parameters of the two polynomials. More precisely, if

$$P(x,y) = \sum_{ij} P_{ij} x^i y^j$$ $$Q(x,y) = \sum_{ij} Q_{ij} x^i y^j$$

then the above integral will be a function $f(P_{ij}, Q_{ij})$. What I'm interested in is the class of functions $f$.

Are there any general statements on integrals of the above type?