Jump to content

Liouvillian function

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by John of Reading (talk | contribs) at 11:49, 29 September 2021 (General fixes, removed the redundant "External links" heading). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, the Liouvillian functions comprise a set of functions including the elementary functions and their repeated integrals. Liouvillian functions can be recursively defined as integrals of other Liouvillian functions.

More explicitly, a Liouvillian function is a function of one variable which is the composition of a finite number of arithmetic operations (+, −, ×, ÷), exponentials, constants, solutions of algebraic equations (a generalization of nth roots), and antiderivatives. The logarithm function does not need to be explicitly included since it is the integral of .

It follows directly from the definition that the set of Liouvillian functions is closed under arithmetic operations, composition, and integration. It is also closed under differentiation. It is not closed under limits and infinite sums. [example needed]

Liouvillian functions were introduced by Joseph Liouville in a series of papers from 1833 to 1841.

Examples

All elementary functions are Liouvillian.

Examples of well-known functions which are Liouvillian but not elementary are the nonelementary integrals, for example:

  • The error function,
  • The exponential (Ei), logarithmic (Li or li) and Fresnel (S and C) integrals.

All Liouvillian functions are solutions of algebraic differential equations, but not conversely. Examples of functions which are solutions of algebraic differential equations but not Liouvillian include:[1]

Examples of functions which are not solutions of algebraic differential equations and thus not Liouvillian include all transcendentally transcendental functions, such as:

See also

References

  1. ^ L. Chan, E.S. Cheb-Terrab, "Non-liouvillian solutions for second order Linear ODEs", Proceedings of the 2004 international symposium on Symbolic and algebraic computation (ISSAC '04), 2004, pp. 80–86 doi:10.1145/1005285.1005299

Further reading