Transcendental function
In mathematics, a transcendental function is an analytic function that does not satisfy a polynomial equation whose coefficients are functions of the independent variable that can be written using only the basic operations of addition, subtraction, multiplication, and division. This is in contrast to an algebraic function.
Examples of transcendental functions include the exponential function, the logarithm function, the hyperbolic functions, and the trigonometric functions. Equations over these expressions are called transcendental equations.
Definition
Formally, an analytic function of one real or complex variable is transcendental if it is algebraically independent of that variable. This means the function does not satisfy any polynomial equation. For example, the function given byis not transcendental, but algebraic, because it satisfies the polynomial equation
Similarly, the function that satisfies the equation
is not transcendental, but algebraic, even though it cannot be written as a finite expression involving the basic arithmetic operations.
This definition can be extended to functions of several variables.
History
The transcendental functions sine and cosine were tabulated from physical measurements in antiquity, as evidenced in Greece and India. In describing Ptolemy's table of chords, an equivalent to a table of sines, Olaf Pedersen wrote:A revolutionary understanding of these circular functions occurred in the 17th century and was explicated by Leonhard Euler in 1748 in his Introduction to the Analysis of the Infinite. These ancient transcendental functions became known as continuous functions through quadrature of the rectangular hyperbola by Grégoire de Saint-Vincent in 1647, two millennia after Archimedes had produced The Quadrature of the Parabola.
The area under the hyperbola was shown to have the scaling property of constant area for a constant ratio of bounds. The hyperbolic logarithm function so described was of limited service until 1748 when Leonhard Euler related it to functions where a constant is raised to a variable exponent, such as the exponential function where the constant base is e. By introducing these transcendental functions and noting the bijection property that implies an inverse function, some facility was provided for algebraic manipulations of the natural logarithm even if it is not an algebraic function.
The exponential function is written Euler identified it with the infinite series where denotes the factorial of.
The even and odd terms of this series provide sums denoting and, so that These transcendental hyperbolic functions can be converted into circular functions sine and cosine by introducing into the series, resulting in alternating series. After Euler, mathematicians view the sine and cosine this way to relate the transcendence to logarithm and exponent functions, often through Euler's formula in complex number arithmetic.
Examples
The following functions are transcendental:For the first function, the exponent ' can be replaced by any other irrational number, and the function will remain transcendental. For the second and third functions and, the base ' can be replaced by any other positive real number base not equaling 1, and the functions will remain transcendental. Functions 4-8 denote the hyperbolic trigonometric functions, while functions 9-14 denote the circular trigonometric functions. The fifteenth function denotes the analytic extension of the factorial function via the gamma function, and is its reciprocal, an entire function. Finally, in the last function, the exponent can be replaced by for any nonzero real, and the function will remain transcendental.
Algebraic and transcendental functions
The most familiar transcendental functions are the logarithm, the exponential, the trigonometric, and the hyperbolic functions, and the inverses of all of these. Less familiar are the special functions of analysis, such as the gamma, elliptic, and zeta functions, all of which are transcendental. The generalized hypergeometric and Bessel functions are transcendental in general, but algebraic for some special parameter values.Transcendental functions cannot be defined using only the operations of addition, subtraction, multiplication, division, and th roots, without using some "limiting process".
A function that is not transcendental is algebraic. Simple examples of algebraic functions are the rational functions and the square root function, but in general, algebraic functions cannot be defined as finite formulas of the elementary functions, as shown by the example above with .
The indefinite integral of many algebraic functions is transcendental. For example, the integral turns out to equal the logarithm function. Similarly, the limit or the infinite sum of many algebraic function sequences is transcendental. For example, converges to the exponential function, and the infinite sum turns out to equal the hyperbolic cosine function. In fact, it is impossible to define any transcendental function in terms of algebraic functions without using some such "limiting procedure".
Differential algebra examines how integration frequently creates functions that are algebraically independent of some class, such as when one takes polynomials with trigonometric functions as variables.
Transcendentally transcendental functions
Most familiar transcendental functions, including the special functions of mathematical physics, are solutions of algebraic differential equations. Those that are not, such as the gamma and the zeta functions, are called transcendentally transcendental or hypertranscendental functions.Exceptional set
If is an algebraic function and is an algebraic number then is also an algebraic number. The converse is not true: there are entire transcendental functions such that is an algebraic number for any algebraic. For a given transcendental function the set of algebraic numbers giving algebraic results is called the exceptional set of that function. Formally it is defined by:In many instances the exceptional set is fairly small. For example, this was proved by Lindemann in 1882. In particular is transcendental. Also, since is algebraic we know that cannot be algebraic. Since is algebraic this implies that is a transcendental number.
In general, finding the exceptional set of a function is a difficult problem, but if it can be calculated then it can often lead to results in transcendental number theory. Here are some other known exceptional sets:
- Klein's j-invariant where is the upper half-plane, and is the degree of the number field This result is due to Theodor Schneider.
- Exponential function in base 2: This result is a corollary of the Gelfond–Schneider theorem, which states that if is algebraic, and is algebraic and irrational then is transcendental. Thus the function could be replaced by for any algebraic not equal to 0 or 1. Indeed, we have:
- A consequence of Schanuel's conjecture in transcendental number theory would be that
- A function with empty exceptional set that does not require assuming Schanuel's conjecture is