GetWiki

{{Short description|Analytic function that does not satisfy a polynomial equation}}In mathematics, a transcendental function is an analytic function that does not satisfy a polynomial equation, in contrast to an algebraic function.BOOK, E.J., Townsend, Functions of a Complex Variable, H. Holt, 1915, 608083625, 300, BOOK, Michiel, Hazewinkel, Encyclopedia of Mathematics, 9, 1993, 236, In other words, a transcendental function “(:wikt:transcend|transcends)” algebra in that it cannot be expressed algebraically using a finite amount of terms.Examples of transcendental functions include the exponential function, the logarithm, and the trigonometric functions.

Definition

Formally, an analytic function {{math|f (z)}} of one real or complex variable {{mvar|z}} is transcendental if it is algebraically independent of that variable.BOOK, M., Waldschmidt, Diophantine approximation on linear algebraic groups, Springer, 2000, 978-3-662-11569-5, {{GBurl, Wrj0CAAAQBAJ, PR9, }} This 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 (Hipparchus) and India (jya and koti-jya). 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 {{math|1=xy = 1}} 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 {{nowrap| exp (x) = e^x.}} Euler identified it with the infinite series {{nowrap|sum_{k=0} ^{infty} x^k / k ! ,}} where {{math|k!}} denotes the factorial of {{mvar|k}}.The even and odd terms of this series provide sums denoting {{math|cosh(x)}} and {{math|sinh(x)}}, so that e^x = cosh x + sinh x. These transcendental hyperbolic functions can be converted into circular functions sine and cosine by introducing {{math|(−1)k}} 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

Let {{var|c}} be a positive constant. The following functions are transcendental:begin{align}f_1(x) &= x^pi [2pt]f_2(x) &= c^x [2pt]f_3(x) &= x^{x} f_4(x) &= x^{frac{1}{x}} =sqrt[x]{x} [2pt]f_5(x) &= log_c x [2pt]f_6(x) &= sin{x}end{align}For the second function f_2(x), if we set c equal to e, the base of the natural logarithm, then we get that e^x is a transcendental function. Similarly, if we set c equal to e in f_5(x), then we get that f_5(x) = log_e x = ln x (that is, the natural logarithm) is a transcendental function.

Algebraic and transcendental functions

{{details|Elementary function (differential algebra)}}The most familiar transcendental functions are the logarithm, the exponential (with any non-trivial base), 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.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.cf. Abel–Ruffini theoremThe indefinite integral of many algebraic functions is transcendental. For example, the logarithm function arose from the reciprocal function in an effort to find the area of a hyperbolic sector.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.JOURNAL, Lee A., Rubel, A Survey of Transcendentally Transcendental Functions, The American Mathematical Monthly, 96, 9, November 1989, 777–788, 10.1080/00029890.1989.11972282, 2324840,

Exceptional set

If {{mvar|f}} is an algebraic function and alpha is an algebraic number then {{math|f (α)}} is also an algebraic number. The converse is not true: there are entire transcendental functions {{mvar|f}} such that {{math|f (α)}} is an algebraic number for any algebraic {{mvar|α}}.JOURNAL, A.J., van der Poorten, Transcendental entire functions mapping every algebraic number field into itself, J. Austral. Math. Soc., 8, 2, 192–8, 1968, 10.1017/S144678870000522X, 121788380, free, For a given transcendental function the set of algebraic numbers giving algebraic results is called the exceptional set of that function.ARXIV, D., Marques, F.M.S., Lima, Some transcendental functions that yield transcendental values for every algebraic entry, 2010, math.NT, 1004.1668v1, JOURNAL, N., Archinard, Exceptional sets of hypergeometric series, Journal of Number Theory, 101, 2, 244–269, 2003, 10.1016/S0022-314X(03)00042-8, Formally it is defined by:mathcal{E}(f)=left {alphainoverline{Q},:,f(alpha)inoverline{Q} right }.In many instances the exceptional set is fairly small. For example, mathcal{E}(exp) = {0}, this was proved by Lindemann in 1882. In particular {{math|1=exp(1) = e}} is transcendental. Also, since {{math|1=exp(iÏ€) = −1}} is algebraic we know that {{mvar|iÏ€}} cannot be algebraic. Since {{mvar|i}} is algebraic this implies that {{mvar|Ï€}} 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 mathcal{E}(j) = left{alphainmathcal{H},:,[Q(alpha): Q] = 2 right}, where {{tmath|mathcal H}} is the upper half-plane, and {{tmath|[Q(alpha): Q]}} is the degree of the number field {{tmath|Q(alpha).}} This result is due to Theodor Schneider.JOURNAL, T., Schneider, Arithmetische Untersuchungen elliptischer Integrale, Math. Annalen, 113, 1–13, 1937, 10.1007/BF01571618, 121073687,
• Exponential function in base 2: mathcal{E}(2^x)=Q,This result is a corollary of the Gelfond–Schneider theorem, which states that if alpha neq 0,1 is algebraic, and beta is algebraic and irrational then alpha^beta is transcendental. Thus the function {{math|2x}} could be replaced by {{mvar|cx}} for any algebraic {{mvar|c}} not equal to 0 or 1. Indeed, we have: mathcal{E}(x^x) = mathcal{E}left(x^{frac{1}{x}}right)=Qsetminus{0}.
• A consequence of Schanuel’s conjecture in transcendental number theory would be that mathcal{E}left(e^{e^x}right)=emptyset.
• A function with empty exceptional set that does not require assuming Schanuel’s conjecture is f(x) = exp(1 + pi x).

While calculating the exceptional set for a given function is not easy, it is known that given any subset of the algebraic numbers, say {{mvar|A}}, there is a transcendental function whose exceptional set is {{mvar|A}}.JOURNAL, M., Waldschmidt, Auxiliary functions in transcendental number theory, The Ramanujan Journal, 20, 3, 341–373, 2009, 10.1007/s11139-009-9204-y, 0908.4024, 122797406, The subset does not need to be proper, meaning that {{mvar|A}} can be the set of algebraic numbers. This directly implies that there exist transcendental functions that produce transcendental numbers only when given transcendental numbers. Alex Wilkie also proved that there exist transcendental functions for which first-order-logic proofs about their transcendence do not exist by providing an exemplary analytic function.JOURNAL, A.J., Wilkie, Alex Wilkie, An algebraically conservative, transcendental function, Paris VII Preprints, 66, 1998,

Dimensional analysis

In dimensional analysis, transcendental functions are notable because they make sense only when their argument is dimensionless (possibly after algebraic reduction). Because of this, transcendental functions can be an easy-to-spot source of dimensional errors. For example, {{math|log(5 metres)}} is a nonsensical expression, unlike {{math|log(5 metres / 3 metres)}} or {{math|log(3) metres}}. One could attempt to apply a logarithmic identity to get {{math|log(5) + log(metres)}}, which highlights the problem: applying a non-algebraic operation to a dimension creates meaningless results.

See also

• Complex function
• Function (mathematics)
• Generalized function
• List of special functions and eponyms
• List of types of functions
• Rational function
• Special functions

References

{{reflist}}

External links

• Definition of “Transcendental function” in the Encyclopedia of Math