Fact-checked by Grok 2 weeks ago

Elementary function

An elementary function is a mathematical function of a real variable that can be constructed from a finite set of fundamental functions using a finite number of algebraic operations (addition, subtraction, multiplication, division) and composition.^[1] The fundamental building blocks include constants c \in \mathbb{R}, the identity function x, the reciprocal \frac{1}{x}, nth roots \sqrt{x} for natural numbers n, the sine function \sin x, the exponential function e^x, the natural logarithm \ln x, and the inverse cosine \arccos x.^[1] These basic components allow the formation of broader classes of elementary functions, such as all polynomials (via repeated addition and multiplication), all rational functions (via division of polynomials), all trigonometric functions like cosine and tangent (via identities involving sine), all inverse trigonometric functions, and exponential forms like u(x)^{v(x)} where u(x) > 0 and both u and v are elementary.^[1]^[2] Power functions (e.g., x^r for rational r), logarithmic functions with arbitrary bases (e.g., \log_b x), and their combinations through sums, products, quotients, and compositions also qualify as elementary.^[2] A key property of elementary functions is their continuity on their domains, excluding possibly isolated points such as points of discontinuity in rational or piecewise definitions; for instance, polynomials and exponential functions are continuous everywhere, while rational functions are continuous except at poles.^[1]^[3] This continuity makes them predictable and well-behaved for analysis, distinguishing them from non-elementary functions like the error function or the sine integral, which cannot be expressed in this finite manner.^[2]^[3] Elementary functions form the core toolkit of calculus, enabling the study of limits, derivatives, and integrals of most practical models in science and engineering, as they encompass the operations and forms most commonly encountered in these fields.^[2]

Definition and Fundamentals

Formal Definition

In mathematics, an elementary function is a function of one variable obtained as an element of an elementary differential field extension of the field of rational functions \mathbb{C}(x) (or \mathbb{R}(x)), built via a finite tower of simple extensions: algebraic, exponential, or logarithmic.^[4] An algebraic extension adjoins roots of polynomials over the base field, an exponential extension adjoins an element e^u whose derivative is e^u u', and a logarithmic extension adjoins an element \ln v whose derivative is v'/v for v \neq 0 in the base field.^[5] This framework, central to Liouville's theorem on integration in finite terms, defines the class of elementary functions as those expressible in such extensions without introducing new transcendental primitives beyond exponentials and logarithms.^[4] The class of all such functions is often denoted by \mathcal{E}, with membership determined by an explicit construction tree representing the finite sequence of extensions from the base field.^[6] This tree provides a rigorous way to verify whether a given function belongs to \mathcal{E}, ensuring the definition is both operational and theoretically grounded in field theory.^[7] Elementary functions encompass both algebraic functions—such as polynomials and rational functions, which are transcendental of degree zero—and certain transcendental functions like exponentials and logarithms, but exclude many other transcendental functions, such as the error function or elliptic integrals, which cannot be expressed via the permitted operations.^[8] This distinction highlights that while all algebraic functions are elementary, transcendentality alone does not imply elementarity, as the class \mathcal{E} is strictly limited to those obtainable through the specified finite constructions.^[4]

Building Blocks

The building blocks of elementary functions comprise a specific set of primitive elements and operations from which all such functions are constructed through finite iterations. These primitives include the constant functions with values in the real numbers \mathbb{R}, and the identity function x. The core operations are addition (+) and multiplication (\times), which together with the constants and variable generate the field of rational functions \mathbb{R}(x). Additional operations encompass function composition (f \circ g), multiplicative inversion ($1/f where f \neq 0), the exponential function \exp, and the natural logarithm \ln.^[9]^[5] Elementary functions arise via a finite tower of extensions, where these primitives are applied a finite number of times starting from the rational functions in x. This process involves iteratively adjoining new elements—such as exponentials or logarithms of existing elements—while maintaining a differential field structure, ensuring systematic construction without infinite processes.^[9]^[5] In this framework, elementary functions serve as a structured extension of the base field of rational functions \mathbb{R}(x), incorporating algebraic and transcendental elements through the specified operations to form a larger field closed under differentiation.^[9] Notably, this set of primitives excludes operations like the absolute value or floor function, as they introduce non-meromorphic behavior or discontinuities incompatible with the required analytic properties of the extension fields.^[9] The formal class E from Liouville's framework relies on these precise building blocks for characterizing integrability in finite terms.^[5]

Examples and Construction

Basic Elementary Functions

The basic elementary functions form the foundational set from which more complex elementary functions are constructed through algebraic operations and compositions. These include polynomials, rational functions, power functions, exponential functions, and the trigonometric and hyperbolic functions derived from the exponential. Polynomials are sums of power terms with non-negative integer exponents, expressed as P(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0, where the coefficients a_i are constants and the degree is n if a_n \neq 0.^[2] Examples include linear functions like x + 1 and quadratics like x^2 + 1.^[2] Rational functions are quotients of polynomials, written as f(x) = \frac{P(x)}{Q(x)}, where Q(x) \neq 0. A simple example is \frac{1}{x+1}.^[2] Their domains exclude points where the denominator vanishes. Power functions take the form x^r for rational r, defined for x > 0 using the exponential and logarithm as x^r = e^{r \ln x}.^[2] Examples include x^2 and \sqrt{x} = x^{1/2}.^[2] The exponential function is given by e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}, a power series that converges for all real x.^[10] This serves as a primitive from which trigonometric functions derive via Euler's formula: \sin x = \frac{e^{ix} - e^{-ix}}{2i} and \cos x = \frac{e^{ix} + e^{-ix}}{2}, where i = \sqrt{-1}.^[11] Hyperbolic functions are similarly defined from the real exponential: \sinh x = \frac{e^x - e^{-x}}{2} and \cosh x = \frac{e^x + e^{-x}}{2}.^[12] These basic functions, along with the natural logarithm as a primitive, underpin the class of elementary functions.^[1]

Composite and Inverse Functions

Elementary functions can be constructed through composition, where the output of one elementary function serves as the input to another, ensuring the result remains elementary as long as the operations are finite. This closure under composition allows for the creation of more complex expressions from simpler building blocks, such as polynomials, exponentials, logarithms, and trigonometric functions. For instance, the function e^{\sin x} arises from composing the exponential function with the sine function, where \sin x provides the argument to the exponential.^[13] Similarly, \ln(x^2 + 1) is formed by composing the natural logarithm with the quadratic expression x^2 + 1, demonstrating how algebraic operations integrate with transcendental ones.^[13] The tangent function provides another example, expressed as \tan x = \frac{\sin x}{\cos x}, a quotient that combines two basic trigonometric functions via division.^[13] Inverse functions of elementary functions are themselves elementary when they can be expressed using a finite number of the allowed operations, including solving equations involving the original function. The inverse sine function, \arcsin x, is defined such that y = \sin x is solved for x in terms of y, yielding x = \arcsin y, and it can be formulated using logarithms of complex expressions to maintain elementarity.^[9] In a comparable manner, the inverse tangent \arctan x satisfies \tan(\arctan x) = x and is expressible through logarithmic compositions.^[9] The change-of-base formula for logarithms, \log_b x = \frac{\ln x}{\ln b}, illustrates inversion via division of logarithms, confirming its elementary nature.^[13] Nested compositions highlight the finite depth permissible in elementary constructions, such as e^{e^x}, which applies the exponential function twice in succession.^[13] To derive its inverse, set y = e^{e^x} and solve stepwise: first, e^x = \ln y, then x = \ln(\ln y), resulting in an elementary expression involving nested logarithms.^[13] These examples underscore how compositions and inverses preserve the elementary class through bounded applications of basic operations.^[9]

Non-Elementary Functions

Key Examples

The error function, denoted \erf(x), is defined by the integral

\erf(x) = \frac{2}{\sqrt{\pi}} \int_0^x e^{-t^2} \, dt

and serves as a fundamental special function in probability and heat conduction problems. This function cannot be expressed in terms of a finite combination of elementary functions.^[8] Elliptic integrals exemplify another class of non-elementary functions, emerging in geometric computations such as the arc length of an ellipse. A representative example is the complete elliptic integral of the first kind,

K(k) = \int_0^{\pi/2} \frac{d\theta}{\sqrt{1 - k^2 \sin^2 \theta}},

where $0 < k < 1, which cannot be expressed using elementary functions.^[14] Similar forms, like the elliptic integral of the second kind E(k) = \int_0^{\pi/2} \sqrt{1 - k^2 \sin^2 \theta} \, d\theta, also resist elementary representation and appear in pendulum dynamics and electrostatics. The Fresnel integrals, which model diffraction patterns in optics, are defined as

S(x) = \int_0^x \sin(t^2) \, dt, \quad C(x) = \int_0^x \cos(t^2) \, dt.

These integrals lack closed-form expressions in elementary functions, though they converge to \sqrt{\pi/8} as x \to \infty.^[15] For non-integer arguments, the gamma function \Gamma(z) is given by

\Gamma(z) = \int_0^\infty t^{z-1} e^{-t} \, dt

for \Re(z) > 0, extending the factorial \Gamma(n) = (n-1)! to complex numbers. While elementary at positive integers, \Gamma(z) for non-integer z cannot be expressed in terms of elementary functions, making it a cornerstone nonelementary transcendental function.^[16] The Risch algorithm, introduced in 1970, provides a systematic procedure to determine if the antiderivative of an elementary function is elementary, thereby identifying non-elementary cases like those above through differential field analysis.

Reasons for Non-Elementarity

Liouville's theorem provides a foundational criterion for determining whether the indefinite integral of an elementary function can itself be expressed in elementary terms. The theorem states that if \int f \, dx is an elementary function, where f is elementary, then this antiderivative must be constructible from f using only algebraic operations, rational functions, exponentials, and logarithms, without introducing new transcendental elements beyond those already present in the base field.^[17] This decomposition ensures that the integral does not require extensions beyond a finite tower of elementary operations.^[9] In the framework of differential field theory, non-elementarity arises when integrating an elementary function necessitates a differential field extension whose transcendence degree is infinite or introduces new constants that cannot be absorbed into the existing elementary structure. Differential fields, which are fields equipped with a derivation (such as differentiation), allow the analysis of how integration extends the field; if the extension requires an algebraic closure or logarithmic terms that exceed the finite elementary tower, the antiderivative is non-elementary.^[18] For instance, the process may demand new elements whose derivatives do not remain within the Liouville-bound form, leading to an inability to express the integral elementarily. The Risch algorithm offers a computational decision procedure for indefinite integration in elementary terms, leveraging differential algebra to systematically check for the existence of an elementary antiderivative. Developed as a method to resolve Liouville's theory algorithmically, it reduces the problem to solving differential equations in towers of extensions and determines non-elementarity when no such solution exists within the elementary class; extensions using differential Galois theory further handle cases involving algebraic and transcendental elements by examining the solvability of associated Picard-Vessiot extensions.^[19] Failures in elementarity often manifest through requirements for infinite descent in field extensions or unavoidable logarithmic terms beyond the elementary tower. A prominent example is the error function \operatorname{erf}(x) = \frac{2}{\sqrt{\pi}} \int_0^x e^{-t^2} \, dt, whose antiderivative of e^{-x^2} cannot be elementary because the integration introduces an extension where new transcendentals are needed, violating Liouville's decomposition and resulting in an infinite transcendence degree in the differential field.^[6] Similarly, certain integrals demand algebraic extensions that do not terminate finitely, confirming their non-elementary nature via the criteria of differential field theory.^[20]

Algebraic and Analytic Properties

Closure Under Operations

The class of elementary functions is closed under addition, multiplication, and composition. That is, if f and g are elementary functions, then so are f + g and f \times g, as well as the composition f \circ g.^[21]^[6] This closure follows from the constructive definition of elementary functions, which builds them from basic constants, polynomials, exponentials, logarithms, and trigonometric functions using these operations.^[21] The class is also closed under inversion, meaning that if f is an elementary function with f(x) \neq 0, then the reciprocal $1/f is elementary.^[21] This property holds because inversion corresponds to division in the field of rational functions extended by transcendental operations, preserving elementarity.^[6] Elementary functions are closed under differentiation: the derivative of any elementary function is itself elementary.^[21]^[6] This closure is ensured by the chain rule and product rule applied to the building blocks; for instance, the derivative of \exp(f(x)) is \exp(f(x)) \cdot f'(x), where f is elementary.^[22] The class exhibits partial closure under integration: while not every indefinite integral of an elementary function is elementary, any antiderivative that can be expressed in elementary terms remains within the class.^[6]^[21] Elementary functions are continuous wherever they are defined on their natural domains.^[23]^[24]

Role in Differential Algebra

In differential algebra, elementary functions are studied within the framework of differential fields, which are fields equipped with a derivation D satisfying the Leibniz rule D(ab) = aD(b) + bD(a) for all elements a, b in the field, and linearity over addition. A canonical example is the field of rational functions \mathbb{C}(x) endowed with the derivation D = \frac{d}{dx}, where constants form the subfield \mathbb{C}.^[25] Elementary extensions of a differential field k preserve the constants and are constructed via finite towers where each step adjoins an element t_i that is either algebraic over the previous field, an exponential \exp(u) with D(\exp(u)) = \exp(u) D(u) for some u in the prior field, or a logarithm \ln(v) satisfying D(\ln(v)) = D(v)/v for some v in the prior field.^[25]^[26] This structure ensures that the resulting field remains differentially closed under these operations, providing a rigorous algebraic foundation for functions built from polynomials, rationals, exponentials, logarithms, and their compositions and inverses.^[25]^[26] The role of elementary functions extends to Picard-Vessiot theory, the differential analogue of Galois theory for linear homogeneous ordinary differential equations (ODEs). In this theory, a linear ODE over a differential field admits solutions expressible in terms of elementary functions if its Picard-Vessiot extension—the minimal differential field containing all solutions—lies within an elementary extension. More broadly, solutions expressible by quadratures (including integrals) correspond to Liouvillian extensions, where the identity component of the differential Galois group is solvable; such extensions encompass elementary extensions as a subclass but allow nested integrals. For instance, equations with solvable groups yield Liouvillian solutions via towers adjoining exponentials, logarithms, and algebraic elements (elementary) or primitives (integrals), while nonsolvable groups, like SL(2), preclude such expressions.^[27]^[28]^[25] This framework applies directly to solving first-order linear ODEs of the form y' = f(x) y + g(x) over \mathbb{C}(x), where solvability in elementary terms depends on the integrability of f(x) and g(x)/\exp(\int f(x)) within an elementary extension; Liouville's theorem provides the criterion that any elementary antiderivative must lie in the same differential field tower, enabling algorithmic checks for such conditions.^[25]^[29] Modern computational extensions leverage techniques like cylindrical algebraic decomposition (CAD) to decide elementarity in practice, particularly for simplification and verification of expressions in Risch-like algorithms; CAD decomposes the real space defined by polynomials arising in differential field towers into cells where sign conditions are constant, allowing quantifier elimination to test whether an integral or solution fits an elementary form without exhaustive enumeration.^[30]

References

[1]
https://muleshko.faculty.unlv.edu/handouts/Elementary%20Functions%20(1).pdf
[2]
[PDF] Elementary Functions. Part 1
Elementary functions include power, exponential, logarithmic, trigonometric, and inverse trigonometric functions, and their sums, differences, products, ...
[3]
Elementary Functions - Ximera - The Ohio State University
Jul 12, 2025 · The Elementary Functions are very nice. They have no discontinuites. They are continuous everywhere on their domains - or just continuous everywhere.
[4]
Elementary Function -- from Wolfram MathWorld
A function built up of a finite combination of constant functions, field operations (addition, multiplication, division, and root extractions--the elementary ...
[5]
https://ksda.ccny.cuny.edu/PostedPapers/liouv06.pdf
[6]
https://billcookmath.com/courses/math4010-spring2016/math4010-spring2016-differential_algebra.pdf
[7]
[PDF] Liouville's Theorem on Integration in Terms of Elementary Functions
This talk should be regarded as an elementary introduction to differen- tial algebra. It culminates in a purely algebraic proof, due to M. Rosenlicht.
[8]
[PDF] Elementary Functions and Liouville's Theorem - BillCookMath.com
■ We can now give Liouville's theorem which characterizes which “functions” in F can be “integrated” in terms of elementary functions. Theorem: (Liouville) Let ...
[9]
[PDF] Impossibility theorems for elementary integration - Mathematics
The reader may be concerned that allowing C-valued functions will permit a more expansive notion of elementary function than one may have wanted to consider.<|control11|><|separator|>
[10]
Power Series/Euler's Great Formula | Highlights of Calculus
A special power series is e^x = 1 + x + x^2 / 2! + x^3 / 3! + … + every x^n / n! The series continues forever but for any x it adds up to the number e^x.
[11]
[PDF] Euler's Formula and Trigonometry - Columbia Math Department
=Im((cos θ1 + i sin θ1)(cos θ2 + i sin θ2)). = cos θ1 sin θ2 + sin θ1 cos θ2. Multiple angle formulas for the cosine and sine can be found by taking real and ...
[12]
[PDF] Hyperbolic functions∗ - Brooklyn College
The hyperbolic functions are defined as follows sinh x = ex − e−x. 2. , cosh ... There is a close connection between hyperbolic functions and trigonometric ...
[13]
[PDF] De nition and some Properties of Generalized Elementary Functions ...
Thus, this note is written to introduce a precise mathematical definition of generalized elementary functions of a real variable, which is a most broader class ...
[14]
[PDF] Embedded Delaunay tori and their Willmore energy - arXiv
May 31, 2022 · Elliptic integrals are functions defined as the value of common types of integrals that cannot be expressed in terms of elementary functions.
[15]
[PDF] Properties and Applications of the Integral - UC Davis Math
We can also define many non-elementary functions as integrals. Example 12.15 ... Fresnel integrals arise, among other places, in analysing the ...
[16]
[PDF] arXiv:2003.00398v1 [math.NT] 1 Mar 2020
Mar 1, 2020 · It is not an exaggeration to say that the gamma function is the most im- portant nonelementary transcendental function. It appears in many areas ...Missing: non-
[17]
Liouville's theorem on functions with elementary integrals - MSP
Defining a function of one variable to be elementary if it has an explicit representation in terms of a finite number of algebraic operations, logarithms, and ...
[18]
[PDF] What is integration in terms of elementary functions? - OSU Math
Jul 14, 2015 · What is integration in terms of elementary functions? ideas have been developed into algorithms that take an elementary function as input, and ...
[19]
[PDF] The Problem of Integration in Finite Terms
This paper deals with the problem of telling whether a given elementary function, in the sense of analysis, has an elementary indefinite integral.
[20]
[PDF] An Outline of Differential Galois Theory - Michael Singer
Functions that are built up from. ((x) using integration, exponentiation, algebraic functions and composition are called liouvillian functions. One can ask ...<|control11|><|separator|>
[21]
[PDF] Compiling Elementary Mathematical Functions into Finite ... - Hal-Inria
Jun 29, 2021 · Elementary functions are also closed by differentiation but not necessarily by integration.
[22]
[PDF] 9.4 The Derivative of Exponential Functions
In each case, we will identify the formula u(x) and then apply the chain rule. 1. For f(x) = e5x, we have u(x) = 5x so that f(x) = eu. We ...
[23]
[PDF] Limit and Continuity
Elementary functions are continuous where defined. ... Let f be a continuous function on the closed interval [a, b] . Suppose f(a) 6= f(b). Then for any ...
[24]
1.2: Limits and Continuity
The elementary functions of a single variable (trigonometric functions and their inverses, polynomials, exponential and log) are continuous on their domains.
[25]
[PDF] Continuous Functions - UC Davis Math
A function f : A → R is continuous on a set B ⊂ A if it is continuous at every point in B, and continuous if it is continuous at every point of its domain A.Missing: elementary | Show results with:elementary
[26]
[PDF] ELEMENTARY SOLUTIONS OF DIFFERENTIAL EQUATIONS
In this paper we deal with the problem: when does a differential equation have an elementary solution, that is a solution which can be expressed in terms of ...
[27]
[PDF] differential galois theory - UChicago Math
Differential Galois Theory is a branch of abstract algebra that studies fields equipped with a derivation function. In much the same way as ordinary Galois ...
[28]
[PDF] 8 Picard–Vessiot theory
We will sketch the proof of one of the results of Picard-Vessiot theory, which says roughly that a linear homogeneous differential equation can be solved by ...
[29]
Two remarks about Picard-Vessiot extensions and elementary ...
We present a simple proof of the theorem which says that for a series of extensions of differential fields K ⊂ L ⊂ M, where K ⊂ M is Picard-Vessiot, the ...
[30]
https://core.ac.uk/download/pdf/161919397.pdf
[31]
[PDF] University of Bath PHD Practical simplification of elementary ... - CORE
The problem can, in principle, be reduced to connectedness questions and can be solved via Cylindrical Algebraic Decomposition (CAD). In practice, while CAD is ...