4
$\begingroup$

I am tutoring a student preparing to take Calculus 1 at a university. This student hasn't taken precalculus for a year, so I have been drilling him on definitions, rules, and theorems from a college level algebra course and precalculus. We were discussing types of functions. The following problem was brought up on an online quiz:

Classify the following function:

$$f(z)=5e^z+3$$

Now, I've visited many sites and they all seem to conclude that the following is the definition of an exponential function:

$$f(x)=ab^x \qquad \text{or} \qquad f(x)=ab^{cx+d}$$

with suitable restrictions on constants $a,b,c,d$.

So why isn't this function $f(z)$ above considered an exponential function? Certainly the $3$ represents only a shift of the exponential function up by three units. When these types of shifts are applied to polynomials, rational functions, trigonometric functions, they are still considered of that type. So why the change for exponential function? Why would a vertical shift be excluded in the definition?

$\endgroup$
10
  • $\begingroup$ First, the extra $b^d$ term contributes no added generality. As to the main question, to me the key property is that $\exp \Sigma = \Pi \exp$, which is why I'd incline to refer to your example as just "(scaled) exponential plus/up to a constant". $\endgroup$ Jun 26, 2020 at 15:24
  • $\begingroup$ Okay. But why not have the definition include the translations; i.e., $$f(x) = ab^{(x-h)}+k$$ where $h$ and $k$ represent the horizontal and vertical translations respectively? $\endgroup$ Jun 26, 2020 at 15:31
  • 7
    $\begingroup$ This seems like a question about definitions, not a question about education, so it would be more appropriate for math.SE. $\endgroup$
    – user507
    Jun 26, 2020 at 18:07
  • 3
    $\begingroup$ @BenCrowell I don't think that questions about definitions are necessarily off-topic here. It is one thing to ask about the nature of a definition from the point of view of reading an writing mathematics, and another to ask about definitions from the point of view of teaching. That the question was asked here adds the implicit question "and how should I teach this to a student?" $\endgroup$
    – Xander Henderson
    Jun 26, 2020 at 18:10
  • 2
    $\begingroup$ It may also be worth noting that these kinds of transformations can change the way in which a function is classified. For example, a sinusoidal function is typically defined to be a function of the form $x \mapsto A \sin(\omega x + \varphi)$. Translating it up gives something which is not sinusoidal. A linear mapping is a function which satisfies $f(x+y) = f(x) + f(y)$ and $f(cx) = cf(x)$; the only functions are $\mathbb{R}$ which do this are of the form $x \mapsto ax$. Translations of the form $x \mapsto ax + b$ are affine, not linear, in this context. $\endgroup$
    – Xander Henderson
    Jun 26, 2020 at 19:58

5 Answers 5

9
$\begingroup$

To start with an opinion, I think that this classification exercise is kind of silly. The student is being asked to put functions into some categories without having a clear idea about what those categories mean or are used for. We introduce definitions and categorizations in order to help us understand abstract ideas. A definition without the underlying motivation is quite hard to grasp. As such, this is an exercise in rote regurgitation—I fail to see its value. :\

That being said, I would argue that there is (up to scaling by a constant) only one exponential function: $$ x \mapsto \mathrm{e}^{x}. $$ This function is the unique solution to the initial value problem $$\begin{cases} u' = u \\ u(0) = 1. \end{cases}$$ The defining characteristic of the natural exponential function is that it is its own derivative. More generally, we have $$ b^x = \mathrm{e}^{\log(b) x} \implies \frac{\mathrm{d}}{\mathrm{d}x} b^x = \log(b) \mathrm{e}^{\log(b) x} = \log(b) b^x. $$ Thus a function $x \mapsto b^x$ has the property that it is proportional to its own derivative. This is what I take to be the defining characteristic of an exponential function. That is, the rate at which an exponential function changes is equal to (or, at least, proportional to) the value of the function.

Any function of the form $$ x \mapsto a \mathrm{e}^{bx} \tag{1}$$ has this property. Functions of the form $$ x \mapsto a \mathrm{e}^{bx} + k \tag{2}$$ do not have this property. Because this property is important, it is reasonable to classify these two types of functions differently. Functions of type (1) are exponential, and functions of type (2) are not.

The problem here is that exponential functions are transcendental. You can't really discuss transcendental functions without relying on concepts from analysis (limits, continuity, differentiability, etc). As such, the most important feature of an exponential function (it is proportional to its own derivative) is inaccessible to a student who has not taken calculus. Of course, this renders the question "is this an exponential function or not?" completely mysterious to a precalculus student.

$\endgroup$
1
4
$\begingroup$

The working definition I have in my head doesn't fit the more rigorous definitions others have put in their answers. I think of exponential growth and decay as being constant percentage growth or decay from or toward an asymptote. My favorite example is temperature of an object, which is shifted with the ambient temperature being the asymptote. I use y = a*b^x + c.

$\endgroup$
6
  • $\begingroup$ I agree with you that exponential growth and decay are modeled by functions of the form $ab^x + c$, but I am not sure that this immediately implies that exponential growth is modeled by an exponential function. As Pedro suggested, the term-of-art would be, I think, "a function of exponential order". I am also not certain that I understand your statement that "exponential growth and decay [is] constant percentage growth or decay from or toward an asymptote". If it is a constant percentage, then $f' \propto f$; functions which decay to an asymptote don't have that property. $\endgroup$
    – Xander Henderson
    Jun 26, 2020 at 19:13
  • 3
    $\begingroup$ In any event, I accept that there may be contexts in which a function $x \mapsto ab^x + c$ might be called an "exponential function", but I will stand by my assertion that the question is inappropriate in the context of a precalculus class (since, even in your heuristic definition, the derivative plays a key role). $\endgroup$
    – Xander Henderson
    Jun 26, 2020 at 19:15
  • 1
    $\begingroup$ Newton's law of cooling (ugrad.math.ubc.ca/coursedoc/math100/notes/diffeqs/cool.html) is usually stated in a way that makes the function look the way you and others here want, with temperature measured as a difference from the ambient temp. But when I work with precalc students, trying to get them to build this themselves as much as possible, I prefer y = a*b^x +c to that. $\endgroup$
    – Sue VanHattum
    Jun 27, 2020 at 21:58
  • $\begingroup$ It is a constant percentage of the distance from the asymptote. $\endgroup$
    – Sue VanHattum
    Jun 27, 2020 at 21:58
  • 2
    $\begingroup$ "It is a constant percentage of the distance from the asymptote." In that case, the function being described is not really a function of an independent variable $T$ (for temperature), but a function of the variable $T-T_A$, where $T_A$ is the ambient temperature. Cooling / warming is then an exponential function of this difference. $\endgroup$
    – Xander Henderson
    Jun 27, 2020 at 22:30
3
$\begingroup$

With exponential functions, the important thing to note is that the RATE of change is proportional. In a calculus class we might approach this in terms of taking the derivative and noticing that $f'(x)=a\cdot f(x)$. While precalculus students haven't yet learned derivatives we can still take the same approach even if the tools are a bit more unwieldy, namely by looking at a difference quotient over an arbitrary interval.

Given $f(x)=ab^x+k$ we can show that across two consecutive intervals of arbitrary size $h>0$ the proportion of growth of the 2nd interval over the first remains the same independent of your choice in $x$. $$ \frac{f(x+2h)-f(x+h)}{f(x+h)-f(x)}=\frac{(ab^{x+2h}+k)-(ab^{x+h}+k)}{(ab^{x+h}+k)-(ab^x+k)}=\frac{ab^h(b^h-1)b^x}{a(b^h-1)b^x}=b^h $$ Since the choice of $h$ is arbitrary, you may as well choose $h=1$ for simplicity's sake, and show the precalculus student that $\frac{f(2)-f(1)}{f(1)-f(0)}=b$ and for rigor's sake also show that $\frac{f(3)-f(2)}{f(2)-f(1)}=b$. If the student can convince themselves that any three "consecutive" terms they choose all demonstrate a proportional growth rate, then the function must be exponential.

I consider this approach to be a more generalized and inclusive approach to categorizing the function as exponential than the terse (and in my opinion naive) definition as that fitting the pattern of $f(x)=ab^x$. But therein lies the rub. As one moves through the landscape of mathematics one must discover and grapple with the fact that the most important definitions that one should adhere to are those either explicitly stated by an author, or inherently assumed by the author. Yes, there are conventions and definitions that many/most mathematicians adhere to that make communicating math hella convenient (if laden with burdensome notation from time to time), but it would be erroneous to assume that there is an absolute authority we all do/must ascribe to.

$\endgroup$
2
$\begingroup$

I say the key descriptor of a exponential function is constant multiplicative rate of change, much as the descriptor of a linear function is constant additive rate of change.

The function $f(x)=a(1.5)^x$ increases by 50% when $x$ increases by 1:

$$\frac{f(x+1)}{f(x)} = \frac{a(1.5)^{x+1}}{a(1.5)^x} = 1.5$$

But adding a non-zero constant changes that:

$$\frac{f(x+1)}{f(x)} = \frac{a(1.5)^{x+1}+c}{a(1.5)^x+c} \neq 1.5$$

So, if you define an exponential function by "constant multiplicative/percent rate of change", then you can't shift it.

[This is how I would explain it to an algebra student. I think the derivative argument would be great for a calculus student.]

$\endgroup$
1
$\begingroup$

Now, I've visited many sites and they all seem to conclude that the following is the definition of an exponential function: $f(x)=ab^x$, $f(x)=ab^{cx+d}$ with suitable restrictions on constants $a,b,c,d$.

These definitions are not good (unless the restrictions are $a=1$ in the first case and $ab^d=1$ in the second). A reasonable definition of "exponential function" should imply that it satisfies the basic rule of exponents $a^na^m=a^{n+m}$. That is, for an exponential function $f$ the property $$f(x+y)=f(x)f(y)\tag{1}$$ should be valid because it is this property that characterize the concept of "exponential". Translated exponential functions should not be considered exponential functions due to the same reason.

Remark 1: Under suitable hypotheses, it is possible to prove that the only functions that satisfy $(1)$ have the form $f(x)=a^x$ (with $a=f(1))$.

Remark 2: Usually, a definition is a matter of taste. Therefore, it is not wrong to define anything you want as "exponential function". Probably, it will only be unusual and not convenient.

Edit.

Remark 3: In science and engineering, functions that "behave" as exponential functions as all types mentioned in this post are usually called functions of "exponential order" (however, the concept of "exponential order" includes many other types of functions).

$\endgroup$
4
  • 1
    $\begingroup$ I don't think this answer accurately represents the usage of the term by knowledgeable writers. $2e^x$ is an exponential function. In science and engineering, $a$ typically has units, so it doesn't make sense to introduce a constraint that $a=1$. $\endgroup$
    – user507
    Jun 26, 2020 at 18:07
  • 2
    $\begingroup$ @BenCrowell There a are many knowledgeable writers who define exponential function as $a^x$ and call $2e^x$ a function of exponential order. $\endgroup$
    – Pedro
    Jun 26, 2020 at 18:18
  • 2
    $\begingroup$ @Pedro: Did you really mean to write "of exponential order"? Constant functions, polynomials, sums of exponentials and polynomials, etc. are all of exponential order (a well known phrase used in connection Laplace transforms, in complex analysis, and in a few other areas). $\endgroup$ Jun 26, 2020 at 19:16
  • $\begingroup$ @DaveLRenfro Thanks for the correction. I corrected the post. $\endgroup$
    – Pedro
    Jun 26, 2020 at 19:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.