In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration. It is used in some computer algebra systems to find antiderivatives. It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968.
The algorithm transforms the problem of integration into a problem in algebra. It is based on the form of the function being integrated and on methods for integrating rational functions, radicals, logarithms, and exponential functions. Risch called it a decision procedure, because it is a method for deciding whether a function has an elementary function as an indefinite integral, and if it does, for determining that indefinite integral.
The Risch algorithm is used to integrate elementary functions. These are functions obtained by composing exponentials, logarithms, radicals, trigonometric functions, and the four arithmetic operations (+ − × ÷). Laplace solved this problem for the case of rational functions, as he showed that the indefinite integral of a rational function is a rational function and a finite number of constant multiples of logarithms of rational functions. The algorithm suggested by Laplace is usually described in calculus textbooks; as a computer program, it was finally implemented in the 1960s.
Liouville formulated the problem that is solved by the Risch algorithm. Liouville proved by analytical means that if there is an elementary solution g to the equation g′ = f then there exist constants αi and functions ui and v in the field generated by f such that the solution is of the form
Risch developed a method that allows one to consider only a finite set of functions of Liouville's form.
The intuition for the Risch algorithm comes from the behavior of the exponential and logarithm functions under differentiation. For the function f eg, where f and g are differentiable functions, we have
so if eg were in the result of an indefinite integration, it should be expected to be inside the integral. Also, as
then if (ln g)n were in the result of an integration, then only a few powers of the logarithm should be expected.
But if the constant term 71 is changed to 72, it is not possible to represent the antiderivative in terms of elementary functions. Some computer algebra systems may here return an antiderivative in terms of non-elementary functions (i.e. elliptic integrals), which however are outside the scope of the Risch algorithm.
In fact, the antiderivative of this function has a fairly short form:
Transforming Risch's theoretical algorithm into an algorithm that can be effectively executed by a computer was a complex task which took a long time.
The case of the purely transcendental functions (which do not involve roots of polynomials) is relatively easy and was implemented early in most computer algebra systems. The first implementation was done by Joel Moses in Macsyma soon after the publication of Risch's paper.
The general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein.
The Risch algorithm applied to general elementary functions is not an algorithm but a semi-algorithm because it needs to check, as a part of its operation, if certain expressions are equivalent to zero (constant problem), in particular in the constant field. For expressions that involve only functions commonly taken to be elementary it is not known whether an algorithm performing such a check exists or not (current computer algebra systems use heuristics); moreover, if one adds the absolute value function to the list of elementary functions, it is known that no such algorithm exists; see Richardson's theorem.
Note that this issue also arises in the polynomial division algorithm; this algorithm will fail if it cannot correctly determine whether coefficients vanish identically. Virtually every non-trivial algorithm relating to polynomials uses the polynomial division algorithm, the Risch algorithm included. If the constant field is computable, i.e., for elements not dependent on x, the problem of zero-equivalence is decidable, then the Risch algorithm is a complete algorithm. Examples of computable constant fields are Q and Q(y), i.e., rational numbers and rational functions in y with rational number coefficients, respectively, where y is an indeterminate that does not depend on x.
This is also an issue in the Gaussian elimination matrix algorithm (or any algorithm that can compute the nullspace of a matrix), which is also necessary for many parts of the Risch algorithm. Gaussian elimination will produce incorrect results if it cannot correctly determine if a pivot is identically zero.
- Geddes, Czapor & Labahn 1992.
- This example was posted by Manuel Bronstein to the Usenet forum comp.soft-sys.math.maple on 24 November 2000.
- Bronstein 1998.
- Moses 2012.
- Davenport 1981.
- Bronstein 1990.
- "Mathematica 7 Documentation: PolynomialQuotient". Section: Possible Issues. Retrieved 17 July 2010.
- Bronstein, Manuel (1990). "Integration of elementary functions". Journal of Symbolic Computation. 9 (2): 117–173. doi:10.1016/s0747-7171(08)80027-2.
- Bronstein, Manuel (1998). "Symbolic Integration Tutorial" (PDF). Cite journal requires
- Bronstein, Manuel (2005). Symbolic Integration I. Springer. ISBN 3-540-21493-3.
- Davenport, James H. (1981). On the integration of algebraic functions. Lecture Notes in Computer Science. 102. Springer. ISBN 978-3-540-10290-8.
- Geddes, Keith O.; Czapor, Stephen R.; Labahn, George (1992). Algorithms for computer algebra. Boston, MA: Kluwer Academic Publishers. pp. xxii+585. doi:10.1007/b102438. ISBN 0-7923-9259-0.
- Moses, Joel (2012). "Macsyma: A personal history". Journal of Symbolic Computation. 47 (2): 123–130. doi:10.1016/j.jsc.2010.08.018.
- Risch, R. H. (1969). "The problem of integration in finite terms". Transactions of the American Mathematical Society. American Mathematical Society. 139: 167–189. doi:10.2307/1995313. JSTOR 1995313.
- Risch, R. H. (1970). "The solution of the problem of integration in finite terms". Bulletin of the American Mathematical Society. 76 (3): 605–608. doi:10.1090/S0002-9904-1970-12454-5.