13.1: Exponential functions and their graphs
- Page ID
- 49031
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We now consider functions that differ a great deal from polynomials and rational fractions in their complexity. More precisely, we will explore exponential and logarithmic functions from a function theoretic point of view. We start by recalling the definition of exponential functions and by studying their graphs.
A function \(f\) is called an exponential function if it is of the form \[f(x)=c\cdot b^x \nonumber \] for some real number \(c\) and positive real number \(b\). The constant \(b\) is called the base.
Graph the functions
\[f(x)=2^x, \quad g(x)=3^x, \quad h(x)=10^x, \quad k(x)=\left(\dfrac 1 2\right)^x, \quad l(x)=\left(\dfrac 1 {10}\right)^x \nonumber \]
Solution
First, we will graph the function \(f(x)=2^x\) by calculating the function values in a table and then plotting the points in the \(x\)-\(y\)-plane. We can calculate the values by hand, or simply use the table function of the calculator to find the function values.
\[\begin{aligned} f(0)&= 2^0=1\\ f(1)&= 2^1=2\\ f(2)&= 2^2=4\\ f(3)&= 2^3=8\\ f(-1)&= 2^{-1}=0.5\\ f(-2)&= 2^{-2}=0.25\end{aligned} \nonumber \]
Similarly, we can calculate the table for the other functions \(g\), \(h\), \(k\) and \(l\) by entering the functions in the spots at Y2, Y3, Y4, and Y5. The values in the table for these functions can be seen by moving the cursor to the right with the \(\boxed {\triangleright }\) key.
We can see the graphs by pressing the \(\boxed {\text {graph}}\) key.
In order to see these graphs more clearly, we adjust the graphing window to a more appropriate size.
Since all these functions are graphed in the same window, it is difficult to associate the graphs with their corresponding functions. In order to distinguish between the graphs, we may use the TI-84 to draw the graphs in different line styles. In the function menu (\(\boxed {y = }\) ), move the cursor to the left with \(\boxed {\triangleleft }\), and press \(\boxed {\text {enter}}\) until the line becomes a thick line, or a dotted line, as desired. By moving the cursor down \(\boxed {\bigtriangledown }\), and pressing \(\boxed {\text {enter}}\), we can adjust the line styles of the other graphs as well.
Note that the function \(k\) can also be written as \[k(x)=\left(\dfrac{1}{2}\right)^x=(2^{-1})^x =2^{-x} \nonumber \] and similarly, \[l(x)=\left(\dfrac{1}{10}\right)^x=10^{-x} \nonumber \].
This example shows that the exponential function has the following properties.
The graph of the exponential function \(f(x)=b^x\) with \(b>0\) and \(b\neq 1\) has a horizontal asymptote at \(y=0\).
- If \(b>1\), then \(f(x)\) approaches \(+\infty\) when \(x\) approaches \(+\infty\), and \(f(x)\) approaches \(0\) when \(x\) approaches \(-\infty\).
- If \(0<b<1\), then \(f(x)\) approaches \(0\) when \(x\) approaches \(+\infty\), and \(f(x)\) approaches \(+\infty\) when \(x\) approaches \(-\infty\).
An important base that we will frequently need to consider is the base of \(e\), where \(e\) is the Euler number.
The Euler number \(e\) is an irrational number that is approximately
\[\boxed{e= 2.718281828459045235\dots} \nonumber \]
To be precise, we can define \(e\) as the number which is the horizontal asymptote of the function \(f(x)=\left(1+\dfrac 1 x\right)^x\) when \(x\) approaches \(+\infty\).
One can show that \(f\) has, indeed, a horizontal asymptote, and this limit is defined as \(e\).
\[\boxed{e:=\lim_{x\to \infty}\left(1+\dfrac 1 x\right)^x} \nonumber \]
Furthermore, one can show that the exponential function with base \(e\) has a similar limit expression.
\[\label{EQU:exp(r)-limit} \boxed{e^r=\lim_{x\to \infty}\left(1+\dfrac r x\right)^x} \]
Alternatively, the Euler number and the exponential function with base \(e\) may also be defined using an infinite series, namely, \(e^r=1+r+\dfrac{r^2}{1\cdot 2}+\dfrac{r^3}{1\cdot 2 \cdot 3}+\dfrac{r^4}{1\cdot 2 \cdot 3\cdot 4}+\dots\). These ideas will be explored further in a course in calculus.
Graph the functions.
- \(y=e^x\)
- \(y=e^{-x}\)
- \(y=e^{-x^2}\)
- \(y=\dfrac{e^{x}+e^{-x}}{2}\)
Solution
Using the calculator, we obtain the desired graphs. The exponential function \(y=e^x\) may be entered via \(\boxed {\text {2nd}}\) \(\boxed {\text {ln}}\).
Note that the minus sign is entered in the last expression (and also in the following two functions) via the \(\boxed {(-)}\) key.
The last function \(y=\dfrac{e^{x}+e^{-x}}{2}\) is called the hyperbolic cosine, and is denoted by \(\cosh(x)=\dfrac{e^{x}+e^{-x}}{2}\).
We now study how different multiplicative factors \(c\) affect the shape of an exponential function.
Graph the functions.
- \(y=2^x\)
- \(y=3\cdot 2^x\)
- \(y=(-3)\cdot 2^x\)
- \(y=0.2\cdot 2^x\)
- \(y=(-0.2)\cdot 2^x\)
Solution
We graph the functions in one viewing window.
Here are the graphs of functions \(f(x)=c\cdot 2^x\) for various choices of \(c\).
Note that for \(f(x)=c\cdot 2^x\), the \(y\)-intercept is given at \(f(0)=c\).
Finally, we can combine our knowledge of graph transformations to study exponential functions that are shifted and stretched.
Graph the functions.
- \(y=3^x-5\)
- \(y=e^{x+4}\)
- \(y=\dfrac{1}{4}\cdot e^{x-3}+2\)
Solution
The graphs are displayed below.
The first graph \(y=3^x-5\) is the graph of \(y=3^x\) shifted down by \(5\).
The graph of \(y=e^{x+4}\) is the graph of \(y=e^x\) shifted to the left by \(4\).
Finally, \(y=\dfrac{1}{4}e^{x-3}+2\) is the graph of \({\color{Red} y=e^x}\) shifted to the right by \(3\) (see the graph of \({\color{Blue} y=e^{x-3}}\)), then compressed by a factor \(4\) towards the \(x\)-axis (see the graph of \({\color{Brown} y=\dfrac 1 4 e^{x-3}}\)), and then shifted up by \(2\).
