Integration in finite terms with special functions: the error function. (English) Zbl 0586.68030
A decision procedure for integrating a class of transcendental elementary functions in terms of elementary functions and error functions is described. The procedure consists of three mutually exclusive cases. In the first two cases a generalized procedure for completing squares is used to limit the error functions which can appear in the integral to a finite number. This reduces the problem to the solution of a differential equation and we use a result of R. H. Risch [Trans. Am. Math. Soc. 139, 167-189 (1969; Zbl 0184.067)] to solve it. The third case can be reduced to the determination of what we have termed \(\Sigma\)- decompositions. The result presented here is the key procedure to a more general algorithm which is described fully in the author’s Ph. D. thesis [Univ. Delaware (1983)].
Keywords:
differential field; decision procedure for integrating a class of transcendental elementary functions; differential equationCitations:
Zbl 0184.067References:
| [1] | Bateman, H., Higher Transcendental Functions (1953), McGraw-Hill: McGraw-Hill New York · Zbl 0051.30303 |
| [2] | Cherry, G., Algorithms for Integrating Elementary Functions in Terms of Error Functions and Logarithmic Integrals, Ph.D. Thesis, University of Delaware, 1983, Also available as a University of Delaware Computer Science Department Technical Report, 82-83 (1983) |
| [3] | Cherry, G., Integration in finite terms with special functions: the logarithmic integral, SIAM J. Comp. (1984), (in press) · Zbl 0612.12019 |
| [4] | Cherry, G.; Caviness, B. F., Integration in finite terms with special functions: a progress report, (Fitch, J., Proceedings Eurosam 1984 (1984)) · Zbl 0553.12013 |
| [5] | Davenport, J. H., On the Integration of Algebraic Functions, (Springer Lec. Notes Comp. Sci., 102 (1981), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0661.26006 |
| [6] | Kaplansky, I., (An Introduction to Differential Algebra (1957), Hermann: Hermann Paris) · Zbl 0083.03301 |
| [7] | Mack, C., Integration of affine forms over elementary functions, Computer Science Department, University of Utah, Technical Report, VCP-39 (1976) |
| [8] | Moses, J., Symbolic integration, the stormy decade, Commun. ACM, 14, 548-560 (1971) · Zbl 0228.68009 |
| [9] | Moses, J., Towards a general theory of special functions, Commun. ACM, 15, 550-554 (1972) · Zbl 0245.65007 |
| [10] | Moses, J.; Zippel, R., An extension of Liouville’s theorem, (Ng, E. W., Symbolic and Algebraic Computation (1979), Springer-Verlag: Springer-Verlag Berlin), 426-430 · Zbl 0421.68042 |
| [11] | Norman, A. C.; Davenport, J. H., Symbolic integration-the dust settles?, (Ng, E. W., Symbolic and Algebraic Computation (1979), Springer-Verlag: Springer-Verlag Berlin), 398-407 · Zbl 0399.68056 |
| [12] | Risch, R. H., The problem of integration in finite terms, Trans. Amer. Math. Soc, 139, 167-189 (1969) · Zbl 0184.06702 |
| [13] | Ritt, J. F., Integration in Finite Terms, Liouville’s theory of Elementary Methods (1948), Columbia University Press: Columbia University Press New York · Zbl 0031.20603 |
| [14] | Rothstein, M.; Caviness, B. F., A structure theorem for exponential and primitive functions, SIAM J, Comp., 8, 357-367 (1979) · Zbl 0432.12015 |
| [15] | Rosenlicht, M., On Liouville’s theory of elementary functions, Pacific J. Math, 65, 485-492 (1976) · Zbl 0318.12107 |
| [16] | Singer, M. F.; Saunders, B. D.; Caviness, B. F., An extension of Liouville’s theorem on integration in finite terms, extended abstract, (Wang, P. S., Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation (1981)) · Zbl 0482.12008 |
| [17] | Singer, M. F.; Saunders, B. D.; Caviness, B. F., An extension of Liouville’s theorem on integration in finite terms, SIAM J. Comp. (1984), (in press) · Zbl 0482.12008 |
| [18] | Trager, B., Integration of Algebraic Functions, Ph.D. Thesis, M.I.T. (1984) |
| [19] | Trager, B., Integration of simple radical extensions, (Ng, E. W., Symbolic and Algebraic Computation (1979), Springer-Verlag: Springer-Verlag Berlin), 408-414 · Zbl 0411.12020 |
| [20] | Van der Waerden, B. L., (Modern Algebra (1950), Fredrick Ungar Publishing Co.: Fredrick Ungar Publishing Co. New York) · Zbl 0037.01903 |
| [21] | Zwillinger, D., Completing the L-th power in Z[x], Sigsam Bulletin, 71, 20-22 (1984) · Zbl 0559.65029 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
