Denition and some Properties of Generalized Elementary Functions of a Real Variable I. Introduction The term elementary function is very often mentioned in many math classes and in books, e.g. Calculus books. In fact, the very vast majority of the functions that students come across are elementary functions of a real variable. However, there is a lack of a precise mathematical denition of elementary functions. Only a few authors in their textbooks, e.g. Stewart in his Calculus books try to give a description of elementary functions. Unfortunately, these descriptions are not given properly. For example, from the descriptions of elementary functions in Stewart's book, one could conclude that the function ( sin x ; x ≤ 5 f(x) = ln x ; x > 5 is elementary!! This is simply incorrect. Thus, this note is written to introduce a precise mathematical denition of generalized elementary functions of a real variable, which is a most broader class of functions that includes all the elementary functions. It is not claimed to be an original research article, but rather a note that could serve the students to see a proper mathematical denition of the term Generalized Elementary Function of a Real Variable. After the denition is introduced, it is easy to see that the generalized elementary functions of a real variable possess properties (which all elementary functions also possess) that could greatly simplify the mathematical analysis needed to be done on them. Also, many problems in mathematics deal with generalized elementary functions or even if the functions are non-elementary, very often the studying of these non-elementary functions lead to generalized elementary functions. According to the denition of generalized elementary functions given in this note, there are functions that are usually considered to be non-elementary, but are generalized elementary functions according to the denition. Since the problems are much simplied when the functions involved are generalized elementary functions, it is a good idea to have a precise mathematical denition of the generalized elementary functions. This denition and some more properties of generalized elementary functions are provided in this note. II. Denitions Denition 1. The following ve functions are referred to as the fundamental elementary functions of a real variable f1(x) = c; c 2 R with domain D ⊆ R (D 6= ;) f2(x) = x; with domain D ⊆ R (D 6= ;) x f3(x) = e ; with domain D ⊆ R (D 6= ;) 1 f4(x) = sin x; with domain D ⊆ R (D 6= ;) 1 f (x) = ; with domain D ⊆ n f0g (D 6= ;) 5 x R Denition 2. For any two functions (of a real variable) f(x) and g(x) with domains Df ;Dg and ranges Rf ; Rg, respectively, the following operations are called The Fundamental Elementary Operations on Functions: 1. Addition: T , and are both dened and have values and ( and 8x 2 D = Df Dg f(x) g(x) a b a 2 R a 2 R) respectively. Thus, 8x 2 D there is a unique corresponding real number c = a + b. Hence, we dene a new function O1(x) = f(x) + g(x) T where the domain of O1(x) is D = Df Dg, which is called the sum of f(x) and g(x). 2. Multiplication: In a similar fashion as in 1, we dene O2(x) = f(x) · g(x) T where the domain of O2(x) is D = Df Dg. O2(x) is called the product of f(x) and g(x). 3. Composition of Functions: and , is dened and has a value . 8x 2 Df Rf ⊆ Dg f(x) f(x) = a; a 2 R Since x 2 Df , a 2 Rf ⊆ Dg, hence a 2 Dg. Since a 2 Dg, g(a) = g(f(x)) is dened and has value g(a) = g(f(x)) = b. Thus, we dene O3(x) to be the composite function of f(x) and g(x) i ( Rf ⊆ Dg O3(x) = g(f(x)); x 2 DO3(x) = Df 4. Inverse Functions: The function g(y) (domain Dg and range Rg) is called inverse (function) of f(x) (domain Df and range Rf ), i 8 1:R ⊆ D <> g f 2:Dg = Rf > :3: 8y 2 Dg; f(g(y)) = y We shall also call the operations that could be obtained from the above four fundamental operations an elementary operation. Denition 3. A function F (x) with domain D is called an invertible function if F (x) has a unique inverse function. Usually, this unique inverse function of F (x) is denoted as F −1(x). Denition 4. A function F (x) with domain D is called a generalized elementary function, if it can be obtained from one and the same set of fundamental elementary functions using a nite number of fundamental elementary operations in one and the same order. Remark. If F (x) is a generalized elementary function, then there exists exactly one formula to calculate the value of F (x) at any point x in its domain. Theorem 1. Subtraction could be obtained from applying the fundamental elementary operations, i.e. sub- traction is an elementary operation. 2 Proof. f(x) − g(x) = f(x) + (−g(x)) = f(x) + (−1)(g(x)). Thus, the theorem follows. Theorem 2. Division could be obtained from applying the fundamental elementary operations, i.e. division is an elementary operation. Proof. Similarly done as in Theorem 1. Theorem 3. All polynomial functions are generalized elementary functions. Proof. A general polynomial function is dened as n n−1 f(x) = anx + an−1x + ::: + a1x + a0 where , , , , and . For an arbitrary , n is obtained from n 2 N an 6= 0 ai 2 R i = 0; 1; :::; n Df ⊆ R n 2 N x n multiplication(s) of x and multiplication is a fundamental elementary operation. Thus xn is an elementary function. Since ( ), is an elementary function. Since multiplication (a fundamental ai 2 R i = 0; 1; 2; :::; n ai elementary operation) of two fundamental elementary functions is a generalized elementary function, the theorem is proven. Theorem 4. All rational functions are generalized elementary functions. Proof. A rational function could be dened as f(x) r(x) = g(x) where f(x) and g(x) are polynomial functions with domains Df and Dg respectively. Then the domain of T r(x) is Dr = Df Dg n fxjg(x) = 0g. The proof could be done in a similar fashion as in Theorem 3. Theorem 5. All algebraic functions are generalized elementary functions. Proof. Roots are inverses of powers (fundamental elementary operations) and rational powers could be dened in terms of roots, the theorem follows. Theorem 6. All trigonometric functions are generalized elementary functions. Proof. First, it will be shown that f(x) = cos(x), x 2 R is a generalized elementary function. Note that p p cos x 6= 1 − sin2 x, cos x = ± 1 − sin2 x depending on values of x. Thus, it is not a good idea to go this way. However, π . Since, is a fundamental elementary function and π is a fundamental sin(x + 2 ) = cos x x 2 R 2 elementary function, π is an elementary function. Since ( ) is a fundamental elementary x + 2 sin x x 2 R function, the composition of with π which gives π is also an elementary function sin x x + 2 sin(x + 2 ) = cos x Since is an elementary function, sin x , cos x , 1 , and 1 are all cos x tan x = cos x cot x = sin x sec x = cos x csc x = sin x generalized elementary functions. Thus, all trigonometric functions are generalized elementary functions. It follows that all trigonometric function of generalized elementary functions are also generalized elementary functions. Theorem 7. ln x (x > 0) is a generalized elementary function. Proof. Since ln x (x > 0) is the inverse function of ex (fundamental elementary function), ln x (x > 0) is a generalized elementary function. Theorem 8. All logarithmic function of generalized elementary functions are generalized elementary func- tions. 3 Proof. ln v(x) 1 for values of such that , , and . Since logu(x) v(x) = ln u(x) = ln v(x) · ln u(x) x u(x) 6= 1 u(x) > 0 v(x) > 0 is a generalized elementary function (composition of and ) and 1 is also a generalized ln v(x) ln x v(x) ln u(x) elementary function (composition of 1 and ), 1 is a generalized elementary x ; ln x u(x) ln v(x)· ln u(x) = logu(x) v(x) function. Theorem 9. Functions of the form u(x)v(x) (u(x) > 0), where u(x) and v(x) are generalized elementary functions, are also generalized elementary functions.. Proof. For all values of x such that u(x) and v(x) are dened and greater than 0, u(x)v(x) = ev(x)·ln u(x). Since the operations involved are either the fundamental elementary operations or a combination of them, u(x)v(x) is a generalized elementary function. Denition 5. For a function f(x) dened in a domain D, a point a is called an isolated point of D i 1. a 2 D 2. 9 > 0 such that 8x 2 (a − , a) S(a; a + ), x2 = D. The following statements are theorems that are very often proven in textbooks and thus will only be stated without proofs 1. All ve, f1(x) - f5(x), fundamental elementary functions are continuous everywhere in their domains except at the isolated points and are discontinuous at the isolated points. 2. The sum of two continuous functions is also continuous everywhere in its domain except at the isolated points and is discontinuous at the isolated points.