1 Definition

An elementary function is a function that can be constructed from a finite number of standard operations and standard functions. In practice, this means it is obtained by combining familiar expressions such as polynomials, roots, exponentials, logarithms, and trigonometric functions, together with repeated composition. The class is broad enough to include many functions used in elementary calculus, yet it is still restricted enough to exclude many functions defined by limits, infinite series, or special integral formulas.

Elementary functions are usually studied as a convenient and expressive family of explicitly representable functions. They are common in symbolic computation, in the solution of differential equations, and in closed-form formulas arising in applied mathematics.

1.1 Basic building blocks

The definition depends on a small collection of initial functions and the operations allowed to combine them. Different textbooks may phrase the starting list slightly differently, but the resulting class is essentially the same in common use.

1.1.1 Arithmetic operations

The most basic operations are addition, subtraction, multiplication, and division. Starting from constants and the identity function, these operations generate polynomials and rational expressions. Division is allowed where the denominator is nonzero, so the domain of an elementary function may be restricted by such expressions.

1.1.2 Powers and roots

Powers with constant exponents are central to elementary construction. Integer powers are always permitted, and many definitions also include rational powers and roots as standard cases. More generally, expressions such as \(x^a\) for a constant \(a\) are often treated as elementary when they are defined through exponentials and logarithms on an appropriate domain.

1.1.3 Exponential and logarithmic functions

The exponential function and logarithms greatly extend the range of elementary expressions. They allow growth and decay, multiplicative relationships, and the solution of many algebraic and differential equations. Logarithms are only defined on positive arguments over the real numbers, so their use often introduces domain restrictions.

1.1.4 Trigonometric and inverse trigonometric functions

Sine, cosine, tangent, and related functions are standard elementary functions. Their inverses, such as arcsine and arctangent, are also included. These functions are especially important in geometry, periodic phenomena, and the analysis of oscillatory behavior.

1.2 Closure under composition

Elementary functions are closed under composition: if one elementary function is inserted into another, the result is again elementary, provided the composition is defined on the relevant domain. This property makes the class flexible and allows nested expressions such as \(\sin(e^x)\), \(\log(1+x^2)\), or \(\sqrt{1-\cos x}\).

1.3 Common equivalent formulations

There is no single universally preferred formal definition, so equivalent descriptions are often used depending on context. These formulations emphasize either constructive generation or algebraic structure.

1.3.1 Recursive construction

A recursive approach begins with constants and simple functions, then repeatedly applies arithmetic operations, exponentiation, logarithms, and composition. Any function obtainable after finitely many steps is elementary. This view matches the way elementary expressions are written in ordinary mathematical practice.

1.3.2 Differential algebra viewpoint

In differential algebra, elementary functions are treated as functions generated from rational functions by adjoining algebraic extensions, exponentials, and logarithms in a controlled sequence. This perspective is useful in proving impossibility results, especially for antiderivatives. It focuses less on notation and more on structural properties under differentiation.

2 Examples

Elementary functions appear in many familiar formulas. The following examples illustrate the variety of expressions that belong to the class.

2.1 Polynomial functions

Polynomials such as \(x^2+3x-1\) are elementary. They are among the simplest examples because they use only addition and multiplication. Their domains are typically all real numbers.

2.2 Rational functions

A rational function is a quotient of two polynomials, for example \(\frac{x^2+1}{x-2}\). Such functions are elementary wherever the denominator is nonzero. They may have poles or other singularities at excluded points.

2.3 Exponential and logarithmic combinations

Expressions like \(e^{2x}\), \(\log(x^2+1)\), and \(x e^x\) are elementary. More complicated combinations such as \(\log(\sin x + 2)\) also belong to the class when their arguments lie in the domain of the outer function.

2.4 Trigonometric expressions

Functions such as \(\sin x\), \(\cos(3x)\), and \(\tan^{-1}(x)\) are elementary. Periodic expressions like \(\sin x + \cos 2x\) or \(\frac{\sin x}{1+\cos x}\) are likewise elementary, subject to the usual domain restrictions.

2.5 Mixed elementary functions

Many common formulas combine several types of building blocks. Examples include \(\sqrt{x^2+1}\), \(e^{\sin x}\), and \(\log\!\left(\frac{1+x}{1-x}\right)\). Such expressions show how elementary functions can encode a wide range of behavior with relatively simple syntax.

3 Properties

Elementary functions inherit many standard properties from their constituent parts. Their behavior depends strongly on the domains where the component functions are defined and on the operations used to combine them.

3.1 Domains and singularities

The domain of an elementary function is determined by the intersection of the domains of its parts. Division by zero, logarithms of nonpositive numbers, and even roots of negative numbers in the real setting can all create exclusions. As a result, elementary functions often have singular points, intervals of discontinuity, or branch-related restrictions in more advanced settings.

3.2 Continuity and differentiability

On their natural domains, elementary functions are typically continuous and often differentiable wherever their defining operations permit. Polynomials are smooth everywhere, while rational, logarithmic, and inverse trigonometric functions may fail to be defined or differentiable at certain boundary points. Compositions preserve continuity and differentiability where the outer and inner functions are compatible.

3.3 Antiderivatives and elementary integrability

Some elementary functions have antiderivatives that are also elementary, while others do not. For example, the antiderivative of \(e^x\) is elementary, but many expressions involving products of elementary functions lead to non-elementary integrals. Determining whether an antiderivative can be expressed in elementary terms is a major theme in symbolic integration.

3.4 Analytic behavior

Many elementary functions are real analytic on open intervals of their domains, and complex versions are often analytic on suitable regions. This means they can frequently be represented locally by convergent power series. Singularities, branch points, and periodicity influence their global analytic structure.

4 Operations on elementary functions

Elementary functions are especially useful because they behave well under standard manipulation. This makes them central to algebraic simplification and calculus.

4.1 Addition, subtraction, multiplication, and division

These operations preserve elementarity when applied to elementary functions, again subject to domain restrictions for division. Such closure properties make it possible to build elaborate formulas from simple pieces. Rational combination is particularly common in applications.

4.2 Composition of functions

Composition is one of the most important ways to form new elementary functions. Repeated nesting allows expressions like \(\exp(\sin(\log x))\) or \(\arctan\!\left(\frac{1}{x^2+1}\right)\). The complexity of the expression can grow quickly, but it remains within the same general class.

4.3 Inversion and implicit forms

Some elementary functions have elementary inverses, while others do not. For instance, the exponential and logarithm are inverse to one another on suitable domains, and trigonometric functions have inverse functions on restricted intervals. By contrast, many equations defining elementary functions implicitly cannot be solved in elementary form, even when the original relation itself is elementary.

4.4 Differentiation rules

Elementary functions are stable under differentiation. Applying the usual rules—such as the product rule, quotient rule, and chain rule—typically yields another elementary function. This stability is one reason they are so useful in calculus and differential equations.

4.5 Integration techniques

Standard techniques like substitution, integration by parts, trigonometric identities, and partial fractions are designed largely around elementary functions. These methods can often reduce a difficult expression to a simpler one or identify a known antiderivative. Even so, many elementary integrands lead to special functions or cannot be integrated in elementary terms.

5 Elementary versus non-elementary functions

The boundary of the elementary class is mathematically important. Many functions arising naturally in analysis are not elementary, even when they are built from simple definitions.

5.1 Special functions

Special functions often arise as solutions to differential equations or as definite integrals and series that cannot usually be reduced to elementary form. They extend the toolbox of analysis and are commonly studied as objects in their own right.

5.1.1 Gamma function

The gamma function extends the factorial concept to noninteger values. It is defined by an integral representation and is not elementary. Despite this, it appears throughout probability, complex analysis, and asymptotic formulas.

5.1.2 Error function

The error function is related to the Gaussian integral and is important in statistics and diffusion theory. It is not elementary, although it can be expressed through infinite series or numerical approximations. Its complement and inverse are also widely used.

5.1.3 Elliptic integrals

Elliptic integrals arise from arc-length problems and from the study of elliptic curves and oscillatory systems. They typically resist reduction to elementary expressions. Their appearance often signals a boundary between classical calculus and special-function theory.

5.2 Non-elementary antiderivatives

A function may be elementary while its antiderivative is not. Classic examples include \(e^{-x^2}\), whose integral leads to the error function, and many combinations of algebraic and exponential terms. Such cases show that elementary differentiation and elementary integration are not symmetric.

5.3 Criteria and proof methods

To prove that an antiderivative is not elementary, mathematicians use structural theorems rather than direct search. These methods examine how a proposed antiderivative would have to behave under differentiation and whether it can fit within a finite tower of elementary extensions. The resulting arguments are highly effective in symbolic integration theory.

6 Applications

Elementary functions play a central role in both pure and applied mathematics. Their accessibility and explicit form make them a standard language for formulas and models.

6.1 Calculus and analysis

Elementary functions provide the main examples in introductory and advanced calculus. They are used to study limits, derivatives, series expansions, and definite integrals. Because they are familiar and explicit, they serve as the benchmark class for many theoretical results.

6.2 Differential equations

Many ordinary differential equations have solutions expressed in elementary functions. When such solutions exist, they are often easier to interpret and analyze than more general special-function solutions. Even when exact elementary solutions are unavailable, elementary expressions frequently describe approximations, forcing terms, or local behavior.

6.3 Modeling in physics and engineering

Elementary functions are widely used to model motion, growth, oscillation, waves, circuits, and heat flow. Their formulas are easy to evaluate and differentiate, which makes them practical for analytic derivations and computational work. They also provide the standard language for many closed-form engineering calculations.

6.4 Computer algebra systems

Symbolic software is designed to recognize, simplify, differentiate, and sometimes integrate elementary functions. These systems apply algebraic rules and pattern matching to transform expressions into more compact or useful forms. They also attempt to detect when a result cannot be expressed elementarily and then return special functions or unevaluated integrals.

Elementary functions are connected to several broader categories in mathematics. These related notions help clarify the limits of the class and its role in analysis.

7.1 Algebraic functions

Algebraic functions satisfy polynomial equations whose coefficients are themselves functions or constants. Every algebraic function is not necessarily elementary, though many familiar examples are. The distinction matters when considering roots and more complicated implicit relations.

7.2 Transcendental functions

Transcendental functions are not algebraic. Exponential, logarithmic, and trigonometric functions are typical examples, and they are all elementary. The term describes algebraic status, not elementary status, so the two classifications overlap but are not identical.

7.3 Elementary sets and expressions

In some contexts, the word “elementary” also appears in expressions, sets, or constructions with a simpler meaning than in analysis. An elementary expression is usually just a formula built from basic operations, while an elementary set may mean a set defined in a simple or canonical way. These uses are related linguistically but are not the same technical notion as elementary functions.

7.4 Liouville's theorem and differential algebra

Liouville's theorem provides a fundamental criterion in the theory of elementary antiderivatives. In differential algebra, it helps characterize when an integral of an elementary function can itself be written in elementary form. This theorem underlies many modern impossibility results in symbolic integration.