Summary
This paper discusses the problems associated with the symbolic treatment of functional equations and presents a Mathematica package for the solution of real functional equations of real variables. The package includes a minimal basic database which contains a reduced set of functional equations with its four components: equation, domain, class and the corresponding solution. The word minimal is used in the sense that any equation that is solvable by the system using non-searching methods is excluded from the database. The package incorporates a searching algorithm which can solve functional equations independently of their notation and their algebraic representation. Not only general solutions but particular and candidate solutions are dealt with. This implies a careful analysis of domains and classes. The package includes some methods for solving functional equations, which are used when the input functional equations are not found in the database. Some methods have been implemented internally and some are in an external package. Finally, some examples illustrate the use of the package.
Similar content being viewed by others
References
Aczél, J.,Lectures on functional equations and their applications. Vol. 19. Mathematics in Science and Engineering. Academic Press, 1966.
Aczél, J. andDhombres, J.,Functional equations in several variables. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1989.
Snow, D. R.,Proceedings of the 23rd International Symposium on Functional Equations, Gargnano, Italy, June 2–11, 1985. University of Waterloo, Department of Pure Mathematics, Waterloo, Ontario, Canada, 1985, p. 40.
Castillo, E. andRuiz-Cobo, R.,Functional Equations in Science and Engineering. Marcel Dekker, 1992.
Castillo, E., Gutiérrez, J. M. andIglesias, A.,Solving a functional equation. The Mathematica Journal5, 1 (1995), 82–86.
Castillo, E., Iglesias, A. andCobo, A.,A package for symbolic solution of functional equations. Proceedings of the First International mathematica Symposium, Southampton (England), Computational Mechanics Publications (1995), 85–92.