From: kovarik@mcmail.cis.McMaster.CA (Zdislav V. Kovarik) Subject: Re: What are transcendental functions... Date: 2 Feb 2000 11:15:52 -0500 Newsgroups: sci.math Summary: [missing] In article , Just Another Victim of the Ambient Morality wrote: :I know what a transcendental number is, but I can't quite remember what :the definition of a transcendental function is. I can give you examples :of transcendental functions (sin, e^x, log(x), etc..) but I can't :characterize them apart from algebraic functions (x^2+1, for instance). :A definition for algebraic functions might be good too. : A function f (of variables x_1, ..., x_n) is algebraic if there is a polynomial P in (n+1) variables, non-constant in the last variable, such that P(x_1, ... , x_n, f(x_1, ... , x_n)) = 0 identically. So, the square root function is algebraic: P(x_1, f) = x_1 - f^2 . And so on. It is a plausible fact with a tedious proof that algebraic functions composed with algebraic function result in algebraic functions, and that includes sums, products, etc. Functions which are not algebraic are called transcendental. Some authors prefer to restrict this classification to "analytic" functions, which are locally representable by power series. The terminology is inherited from the shaky early times of calculus when people could not imagine functions other than analytic (except for singularities). This illusion was shattered initially by Fourier (his trigonometric series violated the belief in analytic continuation as the only way of extending a function), and later substantially by Weierstrass when he introduced continuous functions which are nowhere differentiable, and later yet by discoveries in functional analysis, when these supposed "monster functions" were shown to form an overwhelming majority, and analytic functions turned out to be extremely rare (but no less interesting or useful). How do I prove that a function is algebraic? Produce a polynomial mentioned in the definition, or show that it was built in an algebraic way from previously recognized algebraic functions. How do I prove that a function is transcendental? That's tougher: one has to invent a property that the given function has but algebraic functions don't. For example, sin(x) is non-constant periodic, while the only periodic algebraic functions are constants (this has to be proved), so sin(x), while being analytic, is transcendental. Hope some of it helps, ZVK(Slavek). ============================================================================== From: dlrenfro@gateway.net (Dave L. Renfro) Subject: Re: What are transcendental functions Date: 3 Feb 2000 00:14:45 -0500 Newsgroups: sci.math G.E. Ivey [sci.math 2 Feb 00 13:33:07 -0500 (EST)] wrote > Actually, you can't define transcendental functions WITHOUT > defining algebraic functions! > An "algebraic" function is any function that can be > expressed as a finite number of "algebraic" operations- adding, > subtracting, multiplying, dividing, and taking roots. Any > function that is not algebraic is transcendental. This isn't quite correct. The usual definition goes this way: y = f(x) is an ALGEBRAIC FUNCTION if y satisfies an equation of the form y^n + [R_{n-1}]*y^{n-1} + ... + [R_1]*y + R_0 = 0 for some rational functions R_0, R_1, ..., R_{n-1}. [The real-number coefficients of the rational functions can be *any* real numbers. In particular, these coefficients can be transcendental numbers.] Thus, y = sqrt(x) is algebraic since it satisfies y^2 - x = 0. Any function that can be expressed using a finite combination of additions, subtractions, multiplication, divisions, and extractions of positive integer-valued roots to the polynomial functions (equivalently, to constant functions and the function f(x) = x) is called an EXPLICIT ALGEBRAIC FUNCTION. Ivey's description gives only explicit algebraic functions. There exist algebraic functions that are not explicit algebraic. Hardy gives without proof the function defined by y^5 - y - x = 0 (see below, p. 55). It is not difficult to prove that no function with a positive minimal period can be algebraic. See Hardy (p. 57) and Pierpont (pp. 129-130). [Subtract the monic minimal degree representation equation for f(x) from the monic minimal degree representation for f(x+P), where P > 0 is a period of f.] Thus, none of the trig. functions are algebraic. Also, exp(x) is not algebraic (see Speck, p. 201). [Differentiate N times the minimal degree representation for exp(x) that employs polynomial coefficients, where N is one more than the algebraic degree of the "constant term" polynomial (i.e. the polynomial that *isn't* multiplied by a positive integer power of exp(x) in this equation), and divide both sides of the resulting equation by exp(x) to get a contradiction of minimal degree'ness.] It is now not difficult to show that exp(a*x) is not algebraic for any nonzero real number a, and thus no exponential function is linear. Finally, one can show that the inverse (when it exists) of an algebraic function is an algebraic function, and therefore it follows that the inverse trig. functions and various logarithmic functions are not algebraic. See Pierpont (p. 137) and Speck (theorem 8 on p. 202). G. H. Hardy, A COURSE OF PURE MATHEMATICS, 9'th edition, Cambridge Univ. Press, 1947. [see pp. 52-57] James Pierpont, THE THEORY OF FUNCTIONS OF REAL VARIABLES, volume 1, Ginn and Company, 1905. [see pp. 123-137] G. P. Speck, "Elementary transcendental functions", Mathematics Magazine 42 (1969), 200-202. There is also a class of functions known as the ELEMENTARY FUNCTIONS that comes up when one makes statements such as "no antiderivative of exp(-x^2) is an elementary function". This class includes all the explicitly algebraic functions, but not all the algebraic functions. The class of elementary functions also includes non-algebraic functions (trig., exponential, etc.). I believe the class of elementary functions is a proper subset of the collection of functions described in the next sentence. A larger class of functions are those functions that are solutions to a linear differential equation with rational function coefficients. I don't know what these are called (algebraically transcendental??), but this class of functions includes all the trig. functions, exponentials, etc., as well as things like Bessel functions, Legendre functions, etc. Functions not belonging to this class are sometimes called TRANSCENDENTALLY TRANSCENDENTAL functions. See the following papers for more information: R. D. Carmichael, "On transcendentally transcendental functions", Trans. Amer. Math. Soc. 14 (1913), 311-319. E. Gourin and J. F. Ritt, "An assemblage-theoretic proof of the existence of transcendentally transcendental functions", Bull. Amer. Math. Soc. 33 (1927), 182-184. J. F. Ritt, "Transcendental transcendency of certain functions of Poincaré", Bull. Amer. Math. Soc. 31 (1925), 300. J. F. Ritt, "Transcendental transcendency of certain functions of Poincare", Math. Ann. 95 (1926), 671-682. An internet search for "transcendentally transcendental" turned up Richard Daquila's Ph.D. abstract at , but his usage of the term doesn't appear to be the same as the usage in the papers I cited. Dave L. Renfro ============================================================================== From: "G. A. Edgar" Subject: Re: What are transcendental functions Date: Thu, 03 Feb 2000 08:49:17 -0500 Newsgroups: sci.math [deletia --djr] Some comments/questions/remarks on definitions... Dave L. Renfro wrote: > > This isn't quite correct. The usual definition goes this way: > y = f(x) is an ALGEBRAIC FUNCTION if y satisfies an equation > of the form > > y^n + [R_{n-1}]*y^{n-1} + ... + [R_1]*y + R_0 = 0 > > for some rational functions R_0, R_1, ..., R_{n-1}. [The > real-number coefficients of the rational functions can be > *any* real numbers. In particular, these coefficients can be > transcendental numbers.] Hi, Dave. Do you want the polynomial to be irreducible? Would you allow for example f(x) = 1 for x rational and f(x) = 0 for x irrational? [It satisfies y^2-y=0 after all.] Perhaps the definition allows only analytic functions or something? > [...] > > There is also a class of functions known as the ELEMENTARY > FUNCTIONS that comes up when one makes statements such > as "no antiderivative of exp(-x^2) is an elementary function". > This class includes all the explicitly algebraic functions, > but not all the algebraic functions. The class of elementary > functions also includes non-algebraic functions (trig., > exponential, etc.). I believe the class of elementary > functions is a proper subset of the collection of functions > described in the next sentence. Definitions I have seen include "algebraic" not merely "explicitly algebraic" ... for example J. F. Ritt, Integration in Finite Terms (1948). > > A larger class of functions are those functions that are > solutions to a linear differential equation with rational > function coefficients. I don't know what these are called > (algebraically transcendental??), but this class of functions > includes all the trig. functions, exponentials, etc., as > well as things like Bessel functions, Legendre functions, etc. > Functions not belonging to this class are sometimes called > TRANSCENDENTALLY TRANSCENDENTAL functions. Here, I would allow all algebraic differential equations, not only the linear ones... That is, 0 = a nontrivial polynomial in x, y, y', y'', ... If my function is the solution of no such DE, then call it transcendentally transcendental. An example is the gamma function. This definition is in, for example, J. F. Ritt, "Transcendental transcendency of certain functions of Poincare" Math. Ann. 95 (1926) 671-682. > See the following > papers for more information: > > R. D. Carmichael, "On transcendentally transcendental > functions", Trans. Amer. Math. Soc. 14 (1913), 311-319. > > E. Gourin and J. F. Ritt, "An assemblage-theoretic proof of > the existence of transcendentally transcendental functions", > Bull. Amer. Math. Soc. 33 (1927), 182-184. > > J. F. Ritt, "Transcendental transcendency of certain functions > of Poincaré", Bull. Amer. Math. Soc. 31 (1925), 300. > > J. F. Ritt, "Transcendental transcendency of certain functions > of Poincare", Math. Ann. 95 (1926), 671-682. > > An internet search for "transcendentally transcendental" > turned up Richard Daquila's Ph.D. abstract at > > , > > but his usage of the term doesn't appear to be the > same as the usage in the papers I cited. > -- Gerald A. Edgar edgar@math.ohio-state.edu