2.5: Limits at Infinity
- Page ID
- 93349
\( \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}\)Learning Objectives
- Calculate the limit of a function as \(x\) increases or decreases without bound.
- Recognize a horizontal asymptote on the graph of a function.
- Estimate the end behavior of a function as \(x\) increases or decreases without bound.
- Recognize an oblique asymptote on the graph of a function.
- Analyze a function and its derivatives to draw its graph.
We have shown how to use the first and second derivatives of a function to describe the shape of a graph. To graph a function \(f\) defined on an unbounded domain, we also need to know the behavior of \(f\) as \(x→±∞\). In this section, we define limits at infinity and show how these limits affect the graph of a function. At the end of this section, we outline a strategy for graphing an arbitrary function \(f\).
We begin by examining what it means for a function to have a finite limit at infinity. Then we study the idea of a function with an infinite limit at infinity. Back in Introduction to Functions and Graphs, we looked at vertical asymptotes; in this section we deal with horizontal and oblique asymptotes.
Limits at Infinity and Horizontal Asymptotes
Recall that \(\displaystyle \lim_{x→a}f(x)=L\) means \(f(x)\) becomes arbitrarily close to \(L\) as long as \(x\) is sufficiently close to \(a\). We can extend this idea to limits at infinity. For example, consider the function \(f(x)=2+\frac{1}{x}\). As can be seen graphically in Figure \(\PageIndex{1}\) and numerically in Table \(\PageIndex{1}\), as the values of \(x\) get larger, the values of \(f(x)\) approach \(2\). We say the limit as \(x\) approaches \(∞\) of \(f(x)\) is \(2\) and write \(\displaystyle \lim_{x→∞}f(x)=2\). Similarly, for \(x<0\), as the values \(|x|\) get larger, the values of \(f(x)\) approaches \(2\). We say the limit as \(x\) approaches \(−∞\) of \(f(x)\) is \(2\) and write \(\displaystyle \lim_{x→−∞}f(x)=2\).
\(x\) | 10 | 100 | 1,000 | 10,000 |
---|---|---|---|---|
\(2+\frac{1}{x}\) | 2.1 | 2.01 | 2.001 | 2.0001 |
\(x\) | −10 | −100 | −1000 | −10,000 |
\(2+\frac{1}{x}\) | 1.9 | 1.99 | 1.999 | 1.9999 |
More generally, for any function \(f\), we say the limit as \(x→∞\) of \(f(x)\) is \(L\) if \(f(x)\) becomes arbitrarily close to \(L\) as long as \(x\) is sufficiently large. In that case, we write \(\displaystyle \lim_{x→∞}f(x)=L\). Similarly, we say the limit as \(x→−∞\) of \(f(x)\) is \(L\) if \(f(x)\) becomes arbitrarily close to \(L\) as long as \(x<0\) and \(|x|\) is sufficiently large. In that case, we write \(\displaystyle \lim_{x→−∞}f(x)=L\). We now look at the definition of a function having a limit at infinity.
Definition: Limit at Infinity (Informal)
If the values of \(f(x)\) become arbitrarily close to \(L\) as \(x\) becomes sufficiently large, we say the function \(f\) has a limit at infinity and write
\[\lim_{x→∞}f(x)=L.\]
If the values of \(f(x)\) becomes arbitrarily close to \(L\) for \(x<0\) as \(|x|\) becomes sufficiently large, we say that the function \(f\) has a limit at negative infinity and write
\[\lim_{x→−∞}f(x)=L.\]
If the values \(f(x)\) are getting arbitrarily close to some finite value \(L\) as \(x→∞\) or \(x→−∞\), the graph of \(f\) approaches the line \(y=L\). In that case, the line \(y=L\) is a horizontal asymptote of \(f\) (Figure \(\PageIndex{2}\)). For example, for the function \(f(x)=\dfrac{1}{x}\), since \(\displaystyle \lim_{x→∞}f(x)=0\), the line \(y=0\) is a horizontal asymptote of \(f(x)=\dfrac{1}{x}\).
Definition: Horizontal Asymptote
If \(\displaystyle \lim_{x→∞}f(x)=L\) or \(\displaystyle \lim_{x→−∞}f(x)=L\), we say the line \(y=L\) is a horizontal asymptote of \(f\).
A function cannot cross a vertical asymptote because the graph must approach infinity (or \( −∞\)) from at least one direction as \(x\) approaches the vertical asymptote. However, a function may cross a horizontal asymptote. In fact, a function may cross a horizontal asymptote an unlimited number of times. For example, the function \(f(x)=\dfrac{\cos x}{x}+1\) shown in Figure \(\PageIndex{3}\) intersects the horizontal asymptote \(y=1\) an infinite number of times as it oscillates around the asymptote with ever-decreasing amplitude.
The algebraic limit laws and squeeze theorem we introduced in Introduction to Limits also apply to limits at infinity. We illustrate how to use these laws to compute several limits at infinity.
Example \(\PageIndex{1}\): Computing Limits at Infinity
For each of the following functions \(f\), evaluate \(\displaystyle \lim_{x→∞}f(x)\) and \(\displaystyle \lim_{x→−∞}f(x)\). Determine the horizontal asymptote(s) for \(f\).
- \(f(x)=5−\dfrac{2}{x^2}\)
- \(f(x)=\dfrac{\sin x}{x}\)
- \(f(x)=\tan^{−1}(x)\)
Solution
a. Using the algebraic limit laws, we have
\[\lim_{x→∞}\left(5−\frac{2}{x^2}\right)=\lim_{x→∞}5−2\left(\lim_{x→∞}\frac{1}{x}\right)\cdot\left(\lim_{x→∞}\frac{1}{x}\right)=5−2⋅0=5.\nonumber\]
Similarly, \(\displaystyle \lim_{x→−∞}f(x)=5\). Therefore, \(f(x)=\dfrac{5−2}{x^2}\) has a horizontal asymptote of \(y=5\) and \(f\) approaches this horizontal asymptote as \(x→±∞\) as shown in the following graph.
b. Since \(1≤\sin x≤1\) for all \(x\), we have
\[\frac{−1}{x}≤\frac{\sin x}{x}≤\frac{1}{x}\nonumber\]
for all \(x≠0\). Also, since
\(\displaystyle \lim_{x→∞}\frac{−1}{x}=0=\lim_{x→∞}\frac{1}{x}\),
we can apply the squeeze theorem to conclude that
\(\displaystyle \lim_{x→∞}\frac{\sin x}{x}=0.\)
Similarly,
\(\displaystyle \lim_{x→−∞}\frac{\sin x}{x}=0.\)
Thus, \(f(x)=\dfrac{\sin x}{x}\) has a horizontal asymptote of \(y=0\) and \(f(x)\) approaches this horizontal asymptote as \(x→±∞\) as shown in the following graph.
c. To evaluate \(\displaystyle \lim_{x→∞}\tan^{−1}(x)\) and \(\displaystyle \lim_{x→−∞}\tan^{−1}(x)\), we first consider the graph of \(y=\tan(x)\) over the interval \(\left(−\frac{π}{2},\frac{π}{2}\right)\) as shown in the following graph.
Since
\(\displaystyle \lim_{x→\tfrac{π}{2}^−}\tan x=∞,\)
it follows that
\(\displaystyle \lim_{x→∞}\tan^{−1}(x)=\frac{π}{2}.\)
Similarly, since
\(\displaystyle \lim_{x→-\tfrac{π}{2}^+}\tan x=−∞,\)
it follows that
\(\displaystyle \lim_{x→−∞}\tan^{−1}(x)=−\frac{π}{2}.\)
As a result, \(y=\frac{π}{2}\) and \(y=−\frac{π}{2}\) are horizontal asymptotes of \(f(x)=\tan^{−1}(x)\) as shown in the following graph.
Exercise \(\PageIndex{1}\)
Evaluate \(\displaystyle \lim_{x→−∞}\left(3+\frac{4}{x}\right)\) and \(\displaystyle \lim_{x→∞}\left(3+\dfrac{4}{x}\right)\). Determine the horizontal asymptotes of \(f(x)=3+\frac{4}{x},\) if any.
- Hint
-
\(\displaystyle \lim_{x→±∞}\frac{1}{x}=0\)
- Answer
-
Both limits are \(3.\) The line \(y=3\) is a horizontal asymptote.
Infinite Limits at Infinity
Sometimes the values of a function \(f\) become arbitrarily large as \(x→∞ \)(or as \(x→−∞\)). In this case, we write \(\displaystyle \lim_{x→∞}f(x)=∞\) (or \(\displaystyle \lim_{x→−∞}f(x)=∞\)). On the other hand, if the values of \(f\) are negative but become arbitrarily large in magnitude as \(x→∞\) (or as \(x→−∞\)), we write \(\displaystyle \lim_{x→∞}f(x)=−∞\) (or \(\displaystyle \lim_{x→−∞}f(x)=−∞\)).
For example, consider the function \(f(x)=x^3\). As seen in Table \(\PageIndex{2}\) and Figure \(\PageIndex{8}\), as \(x→∞\) the values \(f(x)\) become arbitrarily large. Therefore, \(\displaystyle \lim_{x→∞}x^3=∞\). On the other hand, as \(x→−∞\), the values of \(f(x)=x^3\) are negative but become arbitrarily large in magnitude. Consequently, \(\displaystyle \lim_{x→−∞}x^3=−∞.\)
Table \(\PageIndex{2}\)
\(x\) | 10 | 20 | 50 | 100 | 1000 |
---|---|---|---|---|---|
\(x^3\) | 1000 | 8000 | 125,000 | 1,000,000 | 1,000,000,000 |
\(x\) | −10 | −20 | −50 | −100 | −1000 |
\(x^3\) | −1000 | −8000 | −125,000 | −1,000,000 | −1,000,000,000 |
Values of a power function as \(x→±∞\)
Definition: Infinite Limit at Infinity (Informal)
We say a function \(f\) has an infinite limit at infinity and write
\[\lim_{x→∞}f(x)=∞.\]
if \(f(x)\) becomes arbitrarily large for \(x\) sufficiently large. We say a function has a negative infinite limit at infinity and write
\[\lim_{x→∞}f(x)=−∞.\]
if \(f(x)<0\) and \(|f(x)|\) becomes arbitrarily large for \(x\) sufficiently large. Similarly, we can define infinite limits as \(x→−∞.\)
Formal Definitions
Earlier, we used the terms arbitrarily close, arbitrarily large, and sufficiently large to define limits at infinity informally. Although these terms provide accurate descriptions of limits at infinity, they are not precise mathematically. Here are more formal definitions of limits at infinity. We then look at how to use these definitions to prove results involving limits at infinity.
Definition: Limit at Infinity (Formal)
We say a function \(f\) has a limit at infinity, if there exists a real number \(L\) such that for all \(ε>0\), there exists \(N>0\) such that
\[|f(x)−L|<ε\]
for all \(x>N.\) in that case, we write
\[\lim_{x→∞}f(x)=L\]
Earlier in this section, we used graphical evidence in Figure \(\PageIndex{1}\) and numerical evidence in Table \(\PageIndex{1}\) to conclude that \(\displaystyle \lim_{x→∞}\left(2+\frac{1}{x}\right)=2\). Here we use the formal definition of limit at infinity to prove this result rigorously.
Example \(\PageIndex{2}\):
Use the formal definition of limit at infinity to prove that \(\displaystyle \lim_{x→∞}\left(\frac{2+1}{x}\right)=2\).
Solution
Let \(ε>0.\) Let \(N=\frac{1}{ε}\). Therefore, for all \(x>N\), we have
\[\left|2+\frac{1}{x}−2\right|=\left|\frac{1}{x}\right|=\frac{1}{x}<\frac{1}{N}=ε \nonumber\]
Exercise \(\PageIndex{2}\)
Use the formal definition of limit at infinity to prove that \(\displaystyle \lim_{x→∞}\left(\frac{3−1}{x^2}\right)=3\).
- Hint
-
Let \(N=\frac{1}{\sqrt{ε}}\).
- Answer
-
Let \(ε>0.\) Let \(N=\frac{1}{\sqrt{ε}}\). Therefore, for all \(x>N,\) we have
\[\Big|3−\frac{1}{x^2}−3\Big|=\frac{1}{x^2}<\frac{1}{N^2}=ε \nonumber\]
Therefore, \(\displaystyle \lim_{x→∞}(3−1/x^2)=3.\)
We now turn our attention to a more precise definition for an infinite limit at infinity.
Definition: Infinite Limit at Infinity (Formal)
We say a function \(f\) has an infinite limit at infinity and write
\(\displaystyle \lim_{x→∞}f(x)=∞\)
if for all \(M>0,\) there exists an \(N>0\) such that
\(f(x)>M\)
for all \(x>N\) (see Figure \(\PageIndex{10}\)).
We say a function has a negative infinite limit at infinity and write
\(\displaystyle \lim_{x→∞}f(x)=−∞\)
if for all \(M<0\), there exists an \(N>0\) such that
\(f(x)<M\)
for all \(x>N\).
Similarly we can define limits as \(x→−∞.\)
Earlier, we used graphical evidence (Figure \(\PageIndex{8}\)) and numerical evidence (Table \(\PageIndex{2}\)) to conclude that \(\displaystyle \lim_{x→∞}x^3=∞\). Here we use the formal definition of infinite limit at infinity to prove that result.
Example \(\PageIndex{3}\)
Use the formal definition of infinite limit at infinity to prove that \(\displaystyle \lim_{x→∞}x^3=∞.\)
Solution
Let \(M>0.\) Let \(N=\sqrt[3]{M}\). Then, for all \(x>N\), we have
\(x^3>N^3=(\sqrt[3]{M})^3=M.\)
Therefore, \(\displaystyle \lim_{x→∞}x^3=∞\).
Exercise \(\PageIndex{3}\)
Use the formal definition of infinite limit at infinity to prove that \(\displaystyle \lim_{x→∞}3x^2=∞.\)
- Hint
-
Let \(N=\sqrt{\frac{M}{3}}\).
- Answer
-
Let \(M>0.\) Let \(N=\sqrt{\frac{M}{3}}\). Then, for all \(x>N,\) we have
\(3x^2>3N^2=3\left(\sqrt{\frac{M}{3}}\right)^2=\frac{3M}{3}=M\)
End Behavior
The behavior of a function as \(x→±∞\) is called the function’s end behavior. At each of the function’s ends, the function could exhibit one of the following types of behavior:
- The function \(f(x)\) approaches a horizontal asymptote \(y=L\).
- The function \(f(x)→∞\) or \(f(x)→−∞.\)
- The function does not approach a finite limit, nor does it approach \(∞\) or \(−∞\). In this case, the function may have some oscillatory behavior.
Let’s consider several classes of functions here and look at the different types of end behaviors for these functions.
End Behavior for Polynomial Functions
Consider the power function \(f(x)=x^n\) where \(n\) is a positive integer. From Figure \(\PageIndex{11}\) and Figure \(\PageIndex{12}\), we see that
\[\lim_{x→∞}x^n=∞;\;n=1,2,3,…\]
and
\[\lim_{x→−∞}x^n=\begin{cases}∞, & n=2,4,6,…\\−∞, & n=1,3,5,….\end{cases}\]
Using these facts, it is not difficult to evaluate \(\displaystyle \lim_{x→∞}cx^n\) and \(\displaystyle \lim_{x→−∞}cx^n\), where \(c\) is any constant and \(n\) is a positive integer. If \(c>0\), the graph of \(y=cx^n\)is a vertical stretch or compression of \(y=x^n,\) and therefore
\(\displaystyle \lim_{x→∞}cx^n=\lim_{x→∞}x^n\) and \(\displaystyle \lim_{x→−∞}cx^n=\lim_{x→−∞}x^n\) if \(c>0\).
If \(c<0,\) the graph of \(y=cx^n\) is a vertical stretch or compression combined with a reflection about the \(x\)-axis, and therefore
\(\displaystyle \lim_{x→∞}cx^n=−\lim_{x→∞}x^n\) and \(\displaystyle \lim_{x→−∞}cx^n=−\lim_{x→−∞}x^n\) if \(c<0.\)
If \(c=0,y=cx^n=0,\) in which case \(\displaystyle \lim_{x→∞}cx^n=0=\lim_{x→−∞}cx^n.\)
Example \(\PageIndex{4}\): Limits at Infinity for Power Functions
For each function \(f\), evaluate \(\displaystyle \lim_{x→∞}f(x)\) and \(\displaystyle \lim_{x→−∞}f(x)\).
- \(f(x)=−5x^3\)
- \(f(x)=2x^4\)
Solution
- Since the coefficient of \(x^3\) is \(−5\), the graph of \(f(x)=−5x^3\) involves a vertical stretch and reflection of the graph of \(y=x^3\) about the \(x\)-axis. Therefore, \(\displaystyle \lim_{x→∞}(−5x^3)=−∞\) and \(\displaystyle \lim_{x→−∞}(−5x^3)=∞\).
- Since the coefficient of \(x^4\) is \(2\), the graph of \(f(x)=2x^4\) is a vertical stretch of the graph of \(y=x^4\). Therefore, \(\displaystyle \lim_{x→∞}2x^4=∞\) and \(\displaystyle \lim_{x→−∞}2x^4=∞\).
Exercise \(\PageIndex{4}\)
Let \(f(x)=−3x^4\). Find \(\displaystyle \lim_{x→∞}f(x)\).
- Hint
-
The coefficient \(−3\) is negative.
- Answer
-
\(−∞\)
We now look at how the limits at infinity for power functions can be used to determine \(\displaystyle \lim_{x→±∞}f(x)\) for any polynomial function \(f\). Consider a polynomial function
\[f(x)=a_nx^n+a_{n−1}x^{n−1}+…+a^1x+a^0\]
of degree \(n≥1\) so that \(a_n≠0.\)
Factoring, we see that
\[f(x)=a_nx^n\left(1+\frac{a_{n−1}}{a_n}\frac{1}{x}+…+\frac{a_1}{a_n}\frac{1}{x^{n−1}}+\frac{a_0}{a_n}\frac{1}{x^n}\right).\]
As \(x→±∞,\) all the terms inside the parentheses approach zero except the first term. We conclude that
\[\lim_{x→±∞}f(x)=\lim_{x→±∞}a_nx^n.\]
For example, the function \(f(x)=5x^3−3x^2+4\) behaves like \(g(x)=5x^3\) as \(x→±∞\) as shown in Figure \(\PageIndex{13}\) and Table \(\PageIndex{3}\).
\(x\) | 10 | 100 | 1000 |
---|---|---|---|
\(f(x)=5x^3−3x^2+4\) | 4704 | 4,970,004 | 4,997,000,004 |
\(g(x)=5x^3\) | 5000 | 5,000,000 | 5,000,000,000 |
\(x\) | −10 | −100 | −000 |
\(f(x)=5x^3−3x^2+4\) | −5296 | −5,029,996 | −5,002,999,996 |
\(g(x)=5x^3\) | −5000 | −5,000,000 | −5,000,000,000 |
End Behavior for Algebraic Functions
The end behavior for rational functions and functions involving radicals is a little more complicated than for polynomials. In Example, we show that the limits at infinity of a rational function \(f(x)=\dfrac{p(x)}{q(x)}\) depend on the relationship between the degree of the numerator and the degree of the denominator. To evaluate the limits at infinity for a rational function, we divide the numerator and denominator by the highest power of \(x\) appearing in the denominator. This determines which term in the overall expression dominates the behavior of the function at large values of \(x\).
Example \(\PageIndex{5}\): Determining End Behavior for Rational Functions
For each of the following functions, determine the limits as \(x→∞\) and \(x→−∞.\) Then, use this information to describe the end behavior of the function.
- \(f(x)=\dfrac{3x−1}{2x+5}\) (Note: The degree of the numerator and the denominator are the same.)
- \(f(x)=\dfrac{3x^2+2x}{4x^3−5x+7}\) (Note: The degree of numerator is less than the degree of the denominator.)
- \(f(x)=\dfrac{3x^2+4x}{x+2}\) in the denominator is \(x\). Therefore, dividing the numerator and denominator by \(x\) and applying the algebraic limit laws, we see that
Solution
a. The highest power of \(x\) in the denominator is \(x\). Therefore, dividing the numerator and denominator by \(x\) and applying the algebraic limit laws, we see that
\[ \begin{align*} \lim_{x→±∞}\frac{3x−1}{2x+5} &=\lim_{x→±∞}\frac{3−1/x}{2+5/x} \\[4pt] &=\frac{\lim_{x→±∞}(3−1/x)}{\lim_{x→±∞}(2+5/x)} \\[4pt] &=\frac{\lim_{x→±∞}3−\lim_{x→±∞}1/x}{\lim_{x→±∞}2+\lim_{x→±∞}5/x} \\[4pt] &=\frac{3−0}{2+0}=\frac{3}{2}. \end{align*}\]
Since \(\displaystyle \lim_{x→±∞}f(x)=\frac{3}{2}\), we know that \(y=\frac{3}{2}\) is a horizontal asymptote for this function as shown in the following graph.
b. Since the largest power of \(x\) appearing in the denominator is \(x^3\), divide the numerator and denominator by \(x^3\). After doing so and applying algebraic limit laws, we obtain
\[\lim_{x→±∞}\frac{3x^2+2x}{4x^3−5x+7}=\lim_{x→±∞}\frac{3/x+2/x^2}{4−5/x^2+7/x^3}=\frac{3\cdot 0+2\cdot 0}{4−5\cdot 0+7\cdot 0}=\frac{0}{4}=0. \nonumber\]
Therefore \(f\) has a horizontal asymptote of \(y=0\) as shown in the following graph.
c. Dividing the numerator and denominator by \(x\), we have
\[\displaystyle \lim_{x→±∞}\frac{3x^2+4x}{x+2}=\lim_{x→±∞}\frac{3x+4}{1+2/x}. \nonumber\]
As \(x→±∞\), the denominator approaches \(1\). As \(x→∞\), the numerator approaches \(+∞\). As \(x→−∞\), the numerator approaches \(−∞\). Therefore \(\displaystyle \lim_{x→∞}f(x)=∞\), whereas \(\displaystyle \lim_{x→−∞}f(x)=−∞\) as shown in the following figure.
Exercise \(\PageIndex{5}\)
Evaluate \(\displaystyle \lim_{x→±∞}\frac{3x^2+2x−1}{5x^2−4x+7}\) and use these limits to determine the end behavior of \(f(x)=\dfrac{3x^2+2x−2}{5x^2−4x+7}\).
- Hint
-
Divide the numerator and denominator by \(x^2\).
- Answer
-
\(\frac{3}{5}\)
Before proceeding, consider the graph of \(f(x)=\dfrac{3x^2+4x}{x+2}\) shown in Figure \(\PageIndex{16}\). As \(x→∞\) and \(x→−∞\), the graph of \(f\) appears almost linear. Although \(f\) is certainly not a linear function, we now investigate why the graph of \(f\) seems to be approaching a linear function. First, using long division of polynomials, we can write
\[f(x)=\frac{3x^2+4x}{x+2}=3x−2+\frac{4}{x+2}. \nonumber\]
Since \(\dfrac{4}{x+2}→0\) as \(x→±∞,\) we conclude that
\[ \lim_{x→±∞}(f(x)−(3x−2))=\lim_{x→±∞}\frac{4}{x+2}=0. \nonumber\]
Therefore, the graph of \(f\) approaches the line \(y=3x−2\) as \(x→±∞\). This line is known as an oblique asymptote for \(f\) (Figure \(\PageIndex{17}\)).
We can summarize the results of Example to make the following conclusion regarding end behavior for rational functions. Consider a rational function
\[f(x)=\frac{p(x)}{q(x)}=\frac{a_nx^n+a_{n−1}x^{n−1}+…+a_1x+a_0}{b_mx^m+b_{m−1}x^{m−1}+…+b_1x+b_0},\nonumber\]
where \(a_n≠0\) and \(b_m≠0.\)
- If the degree of the numerator is the same as the degree of the denominator \((n=m),\) then \(f\) has a horizontal asymptote of \(y=a_n/b_m\) as \(x→±∞.\)
- If the degree of the numerator is less than the degree of the denominator \((n<m),\) then \(f\) has a horizontal asymptote of \(y=0\) as \(x→±∞.\)
- If the degree of the numerator is greater than the degree of the denominator \((n>m),\) then \(f\) does not have a horizontal asymptote. The limits at infinity are either positive or negative infinity, depending on the signs of the leading terms. In addition, using long division, the function can be rewritten as \[f(x)=\frac{p(x)}{q(x)}=g(x)+\frac{r(x)}{q(x)},\] where the degree of \(r(x)\) is less than the degree of \(q(x)\). As a result, \(\displaystyle \lim_{x→±∞}r(x)/q(x)=0\). Therefore, the values of \([f(x)−g(x)]\) approach zero as \(x→±∞\). If the degree of \(p(x)\) is exactly one more than the degree of \(q(x)\) (i.e., \(n=m+1\)), the function \(g(x)\) is a linear function. In this case, we call \(g(x)\) an oblique asymptote.
Now let’s consider the end behavior for functions involving a radical.
Example \(\PageIndex{6}\): Determining End Behavior for a Function Involving a Radical
Find the limits as \(x→∞\) and \(x→−∞\) for \(f(x)=\dfrac{3x−2}{\sqrt{4x^2+5}}\) and describe the end behavior of \(f\).
Solution
Let’s use the same strategy as we did for rational functions: divide the numerator and denominator by a power of \(x\). To determine the appropriate power of \(x\), consider the expression \(\sqrt{4x^2+5}\) in the denominator. Since
\[\sqrt{4x^2+5}≈\sqrt{4x^2}=2|x| \nonumber\]
for large values of \(x\) in effect \(x\) appears just to the first power in the denominator. Therefore, we divide the numerator and denominator by \(|x|\). Then, using the fact that \(|x|=x\) for \(x>0, |x|=−x\) for \(x<0\), and \(|x|=\sqrt{x^2}\) for all \(x\), we calculate the limits as follows:
\[\begin{align*} \lim_{x→∞}\frac{3x−2}{\sqrt{4x^2+5}}&=\lim_{x→∞}\frac{(1/|x|)(3x−2)}{(1/|x|)\sqrt{4x^2+5}}\\[4pt]
&=\lim_{x→∞}\frac{(1/x)(3x−2)}{\sqrt{(1/x^2)(4x^2+5)}}\\[4pt]
&=\lim_{x→∞}\frac{3−2/x}{\sqrt{4+5/x^2}}=\frac{3}{\sqrt{4}}=\frac{3}{2} \end{align*}\]
\[\begin{align*} \lim_{x→−∞}\frac{3x−2}{\sqrt{4x^2+5}} &=\lim_{x→−∞}\frac{(1/|x|)(3x−2)}{(1/|x|)\sqrt{4x^2+5}}\\[4pt]
&=\lim_{x→−∞}\frac{(−1/x)(3x−2)}{\sqrt{(1/x^2)(4x^2+5)}}\\[4pt]
&=\lim_{x→−∞}\frac{−3+2/x}{\sqrt{4+5/x^2}}=\frac{−3}{\sqrt{4}}=\frac{−3}{2}. \end{align*}\]
Therefore, \(f(x)\) approaches the horizontal asymptote \(y=\frac{3}{2}\) as \(x→∞\) and the horizontal asymptote \(y=−\frac{3}{2}\) as \(x→−∞\) as shown in the following graph.
Exercise \(\PageIndex{6}\)
Evaluate \(\displaystyle \lim_{x→∞}\frac{\sqrt{3x^2+4}}{x+6}\).
- Hint
-
Divide the numerator and denominator by \(x\).
- Answer
-
\(\sqrt{3}\)
Determining End Behavior for Transcendental Functions
The six basic trigonometric functions are periodic and do not approach a finite limit as \(x→±∞.\) For example, \(\sin x\) oscillates between 1 and −1 (Figure \(\PageIndex{19}\)). The tangent function \(x\) has an infinite number of vertical asymptotes as \(x→±∞\); therefore, it does not approach a finite limit nor does it approach \(±∞\) as \(x→±∞\) as shown in Figure \(\PageIndex{20}\).
Recall that for any base \(b>0,\; b≠1,\) the function \(y=b^x\) is an exponential function with domain \((−∞,∞)\) and range \((0,∞)\). If \(b>1,\;y=b^x\) is increasing over \((−∞,∞)\). If \(0<b<1, \; y=b^x\) is decreasing over \((−∞,∞).\) For the natural exponential function \(f(x)=e^x, \; e≈2.718>1\). Therefore, \(f(x)=e^x\) is increasing on `\((−∞,∞)\) and the range is `\((0,∞)\). The exponential function \(f(x)=e^x\) approaches \(∞\) as \(x→∞\) and approaches \(0\) as \(x→−∞\) as shown in Table \(\PageIndex{4}\) and Figure \(\PageIndex{21}\).
\(x\) | −5 | −2 | 0 | 2 | 5 |
---|---|---|---|---|---|
\(e^x\) | 0.00674 | 0.135 | 1 | 7.389 | 148.413 |
Recall that the natural logarithm function \(f(x)=\ln(x)\) is the inverse of the natural exponential function \(y=e^x\). Therefore, the domain of \(f(x)=\ln(x)\) is \((0,∞)\) and the range is \((−∞,∞)\). The graph of \(f(x)=\ln(x)\) is the reflection of the graph of \(y=e^x\) about the line \(y=x\). Therefore, \(\ln(x)→−∞\) as \(x→0^+\) and \(\ln(x)→∞\) as \(x→∞\) as shown in Figure \(\PageIndex{22}\) and Table \(\PageIndex{5}\).
\(x\) | 0.01 | 0.1 | 1 | 10 | 100 |
---|---|---|---|---|---|
\(\ln(x)\) | −4.605 | −2.303 | 0 | 2.303 | 4.605 |
Example \(\PageIndex{7}\): Determining End Behavior for a Transcendental Function
Find the limits as \(x→∞\) and \(x→−∞\) for \(f(x)=\dfrac{2+3e^x}{7−5e^x}\) and describe the end behavior of \(f.\)
Solution
To find the limit as \(x→∞,\) divide the numerator and denominator by \(e^x\):
\[ \begin{align*} \lim_{x→∞}f(x) &= \lim_{x→∞}\frac{2+3e^x}{7−5e^x} \\[4pt] &=\lim_{x→∞}\frac{(2/e^x)+3}{(7/e^x)−5.} \end{align*}\]
As shown in Figure \(\PageIndex{21}\), \(e^x→∞\) as \(x→∞\). Therefore,
\(\displaystyle \lim_{x→∞}\frac{2}{e^x}=0=\lim_{x→∞}\frac{7}{e^x}\).
We conclude that \(\displaystyle \lim_{x→∞f}(x)=−\frac{3}{5}\), and the graph of \(f\) approaches the horizontal asymptote \(y=−\frac{3}{5}\) as \(x→∞.\) To find the limit as \(x→−∞\), use the fact that \(e^x→0\) as \(x→−∞\) to conclude that \(\displaystyle \lim_{x→∞}f(x)=\frac{2}{7}\), and therefore the graph of approaches the horizontal asymptote \(y=\frac{2}{7}\) as \(x→−∞\).
Exercise \(\PageIndex{7}\)
Find the limits as \(x→∞\) and \(x→−∞\) for \(f(x)=\dfrac{3e^x−4}{5e^x+2}\).
- Hint
-
\(\displaystyle \lim_{x→∞}e^x=∞\) and \(\lim_{x→∞}e^x=0.\)
- Answer
-
\(\displaystyle \lim_{x→∞}f(x)=\frac{3}{5}, \quad\lim_{x→−∞}f(x)=−2\)
Guidelines for Drawing the Graph of a Function
We now have enough analytical tools to draw graphs of a wide variety of algebraic and transcendental functions. Before showing how to graph specific functions, let’s look at a general strategy to use when graphing any function.
Problem-Solving Strategy: Drawing the Graph of a Function
Given a function \(f\), use the following steps to sketch a graph of \(f\):
- Determine the domain of the function.
- Locate the \(x\)- and \(y\)-intercepts.
- Evaluate \(\displaystyle \lim_{x→∞}f(x)\) and \(\displaystyle \lim_{x→−∞}f(x)\) to determine the end behavior. If either of these limits is a finite number \(L\), then \(y=L\) is a horizontal asymptote. If either of these limits is \(∞\) or \(−∞\), determine whether \(f\) has an oblique asymptote. If \(i\)s a rational function such that \(f(x)=\dfrac{p(x)}{q(x)}\), where the degree of the numerator is greater than the degree of the denominator, then \(f\) can be written as \[f(x)=\frac{p(x)}{q(x)}=g(x)+\frac{r(x)}{q(x),}\] where the degree of \(r(x)\) is less than the degree of \(q(x)\). The values of \(f(x)\) approach the values of \(g(x)\) as \(x→±∞\). If \(g(x)\) is a linear function, it is known as an oblique asymptote.
- Determine whether \(f\) has any vertical asymptotes.
- Calculate \(f′.\) Find all critical points and determine the intervals where \(f\) is increasing and where \(f\) is decreasing. Determine whether \(f\) has any local extrema.
- Calculate \(f''.\) Determine the intervals where \(f\) is concave up and where \(f\) is concave down. Use this information to determine whether \(f\) has any inflection points. The second derivative can also be used as an alternate means to determine or verify that \(f\) has a local extremum at a critical point.
Now let’s use this strategy to graph several different functions. We start by graphing a polynomial function.
Example \(\PageIndex{8}\): Sketching a Graph of a Polynomial
Sketch a graph of \(f(x)=(x−1)^2(x+2).\)
Solution
Step 1: Since \(f\) is a polynomial, the domain is the set of all real numbers.
Step 2: When \(x=0,\; f(x)=2.\) Therefore, the \(y\)-intercept is \((0,2)\). To find the \(x\)-intercepts, we need to solve the equation \((x−1)^2(x+2)=0\), gives us the \(x\)-intercepts \((1,0)\) and \((−2,0)\)
Step 3: We need to evaluate the end behavior of \(f.\) As \(x→∞, \;(x−1)^2→∞\) and \((x+2)→∞\). Therefore, \(\displaystyle \lim_{x→∞}f(x)=∞\).
As \(x→−∞, \;(x−1)^2→∞\) and \((x+2)→−∞\). Therefore, \(\displaystyle \lim_{x→∞}f(x)=−∞\).
To get even more information about the end behavior of \(f\), we can multiply the factors of \(f\). When doing so, we see that
\[f(x)=(x−1)^2(x+2)=x^3−3x+2. \nonumber\]
Since the leading term of \(f\) is \(x^3\), we conclude that \(f\) behaves like \(y=x^3\) as \(x→±∞.\)
Step 4: Since \(f\) is a polynomial function, it does not have any vertical asymptotes.
Step 5: The first derivative of \(f\) is
\[f′(x)=3x^2−3. \nonumber\]
Therefore, \(f\) has two critical points: \(x=1,−1.\) Divide the interval \((−∞,∞)\) into the three smaller intervals: \((−∞,−1), \;(−1,1)\), and \((1,∞)\). Then, choose test points \(x=−2, x=0\), and \(x=2\) from these intervals and evaluate the sign of \(f′(x)\) at each of these test points, as shown in the following table.
Interval | Test point | Sign of Derivative \(f'(x)=3x^2−3=3(x−1)(x+1)\) | Conclusion |
---|---|---|---|
\((−∞,−1)\) | \(x=−2\) | \((+)(−)(−)=+\) | \(f\) is increasing |
\((−1,1)\) | \(x=0\) | \((+)(−)(+)=−\) | \(f\) decreasing |
\((1,∞)\) | \(x=2\) | \((+)(+)(+)=+\) | \(f\) is increasing |
From the table, we see that \(f\) has a local maximum at \(x=−1\) and a local minimum at \(x=1\). Evaluating \(f(x)\) at those two points, we find that the local maximum value is \(f(−1)=4\) and the local minimum value is \(f(1)=0.\)
Step 6: The second derivative of \(f\) is
\[f''(x)=6x. \nonumber\]
The second derivative is zero at \(x=0.\) Therefore, to determine the concavity of \(f\), divide the interval \((−∞,∞)\) into the smaller intervals \((−∞,0)\) and \((0,∞)\), and choose test points \(x=−1\) and \(x=1\) to determine the concavity of \(f\) on each of these smaller intervals as shown in the following table.
Interval | Test Point | Sign of \(''(x)=6x\) | Conclusion |
---|---|---|---|
\((−∞,0)\) | \(x=−1\) | \(−\) | \(f\) is concave down.. |
\((0,∞)\) | \(x=1\) | \(+\) | \(f\) is concave up. |
We note that the information in the preceding table confirms the fact, found in step \(5\), that f has a local maximum at \(x=−1\) and a local minimum at \(x=1\). In addition, the information found in step \(5\)—namely, \(f\) has a local maximum at \(x=−1\) and a local minimum at \(x=1\), and \(f′(x)=0\) at those points—combined with the fact that \(f''\) changes sign only at \(x=0\) confirms the results found in step \(6\) on the concavity of \(f\).
Combining this information, we arrive at the graph of \(f(x)=(x−1)^2(x+2)\) shown in the following graph.
Exercise \(\PageIndex{8}\)
Sketch a graph of \(f(x)=(x−1)^3(x+2).\)
- Hint
-
\(f\) is a fourth-degree polynomial.
- Answer
Example \(\PageIndex{9}\): Sketching a Rational Function
Sketch the graph of \(f(x)=\dfrac{x^2}{1−x^2}\).
Solution
Step 1: The function \(f\) is defined as long as the denominator is not zero. Therefore, the domain is the set of all real numbers \(x\) except \(x=±1.\)
Step 2: Find the intercepts. If \(x=0,\) then \(f(x)=0\), so \(0\) is an intercept. If \(y=0\), then \(\dfrac{x^2}{1−x^2}=0,\) which implies \(x=0\). Therefore, \((0,0)\) is the only intercept.
Step 3: Evaluate the limits at infinity. Since \(f\)is a rational function, divide the numerator and denominator by the highest power in the denominator: \(x^2\).We obtain
\(\displaystyle \lim_{x→±∞}\frac{x^2}{1−x^2}=\lim_{x→±∞}\frac{1}{\frac{1}{x^2}−1}=−1.\)
Therefore, \(f\) has a horizontal asymptote of \(y=−1\) as \(x→∞\) and \(x→−∞.\)
Step 4: To determine whether \(f\) has any vertical asymptotes, first check to see whether the denominator has any zeroes. We find the denominator is zero when \(x=±1\). To determine whether the lines \(x=1\) or \(x=−1\) are vertical asymptotes of \(f\), evaluate \(\displaystyle \lim_{x→1}f(x)\) and \(\displaystyle \lim_{x→−1}f(x)\). By looking at each one-sided limit as \(x→1,\) we see that
\(\displaystyle \lim_{x→1^+}\frac{x^2}{1−x^2}=−∞\) and \(\displaystyle \lim_{x→1^−}\frac{x^2}{1−x^2}=∞.\)
In addition, by looking at each one-sided limit as \(x→−1,\) we find that
\(\displaystyle \lim_{x→−1^+}\frac{x^2}{1−x^2}=∞\) and \(\displaystyle \lim_{x→−1^−}\frac{x^2}{1−x^2}=−∞.\)
Step 5: Calculate the first derivative:
\(f′(x)=\dfrac{(1−x^2)(2x)−x^2(−2x)}{\Big(1−x^2\Big)^2}=\dfrac{2x}{\Big(1−x^2\Big)^2}\).
Critical points occur at points \(x\) where \(f′(x)=0\) or \(f′(x)\) is undefined. We see that \(f′(x)=0\) when \(x=0.\) The derivative \(f′\) is not undefined at any point in the domain of \(f\). However, \(x=±1\) are not in the domain of \(f\). Therefore, to determine where \(f\) is increasing and where \(f\) is decreasing, divide the interval \((−∞,∞)\) into four smaller intervals: \((−∞,−1), (−1,0), (0,1),\) and \((1,∞)\), and choose a test point in each interval to determine the sign of \(f′(x)\) in each of these intervals. The values \(x=−2,\; x=−\frac{1}{2}, \;x=\frac{1}{2}\), and \(x=2\) are good choices for test points as shown in the following table.
Interval | Test point | Sign of \(f′(x)=\frac{2x}{(1−x^2)^2}\) | Conclusion |
---|---|---|---|
\((−∞,−1)\) | \(x=−2\) | \(−/+=−\) | \(f\) is decreasing. |
\((−1,0)\) | \(x=−/2\) | \(−/+=−\) | \(f\) is decreasing. |
\((0,1)\) | \(x=1/2\) | \(+/+=+\) | \(f\) is increasing. |
\((1,∞)\) | \(x=2\) | \(+/+=+\) | \(f\) is increasing. |
From this analysis, we conclude that \(f\) has a local minimum at \(x=0\) but no local maximum.
Step 6: Calculate the second derivative:
\[\begin{align*} f''(x)&=\frac{(1−x^2)^2(2)−2x(2(1−x^2)(−2x))}{(1−x^2)^4}\\[4pt]
&=\frac{(1−x^2)[2(1−x^2)+8x^2]}{\Big(1−x^2\Big)^4}\\[4pt]
&=\frac{2(1−x^2)+8x^2}{\Big(1−x^2\Big)^3}\\[4pt]
&=\frac{6x^2+2}{\Big(1−x^2\Big)^3}. \end{align*}\]
To determine the intervals where \(f\) is concave up and where \(f\) is concave down, we first need to find all points \(x\) where \(f''(x)=0\) or \(f''(x)\) is undefined. Since the numerator \(6x^2+2≠0\) for any \(x, f''(x)\) is never zero. Furthermore, \(f''\) is not undefined for any \(x\) in the domain of \(f\). However, as discussed earlier, \(x=±1\) are not in the domain of \(f\). Therefore, to determine the concavity of \(f\), we divide the interval \((−∞,∞)\) into the three smaller intervals \((−∞,−1), \, (−1,−1)\), and \((1,∞)\), and choose a test point in each of these intervals to evaluate the sign of \(f''(x)\). in each of these intervals. The values \(x=−2, \;x=0\), and \(x=2\) are possible test points as shown in the following table.
Interval | Test Point | Sign of \(f''(x)=\frac{6x^2+2}{(1−x^2)^3}\) | Conclusion |
---|---|---|---|
\((−∞,−1)\) | \(x=−2\) | \(+/−=−\) | \(f\) is concave down. |
\((−1,−1)\) | \(x=0\) | \(+/+=+\) | \(f\) is concave up |
\((1,∞)\) | \(x=2\) | \(+/−=−\) | \(f\) is concave down. |
Combining all this information, we arrive at the graph of \(f\) shown below. Note that, although \(f\) changes concavity at \(x=−1\) and \(x=1\), there are no inflection points at either of these places because \(f\) is not continuous at \(x=−1\) or \(x=1.\)
Exercise \(\PageIndex{9}\)
Sketch a graph of \(f(x)=\dfrac{3x+5}{8+4x}.\)
- Hint
-
A line \(y=L\) is a horizontal asymptote of \(f\) if the limit as \(x→∞\) or the limit as \(x→−∞\) of \(f(x)\) is \(L\). A line \(x=a\) is a vertical asymptote if at least one of the one-sided limits of \(f\) as \(x→a\) is \(∞\) or \(−∞.\)
- Answer
Example \(\PageIndex{10}\): Sketching a Rational Function with an Oblique Asymptote
Sketch the graph of \(f(x)=\dfrac{x^2}{x−1}\)
Solution
Step 1: The domain of \(f\) is the set of all real numbers \(x\) except \(x=1.\)
Step 2: Find the intercepts. We can see that when \(x=0, \,f(x)=0,\) so \((0,0)\) is the only intercept.
Step 3: Evaluate the limits at infinity. Since the degree of the numerator is one more than the degree of the denominator, \(f\) must have an oblique asymptote. To find the oblique asymptote, use long division of polynomials to write
\(f(x)=\dfrac{x^2}{x−1}=x+1+\dfrac{1}{x−1}\).
Since \(\dfrac{1}{x−1}→0\) as \(x→±∞, f(x)\) approaches the line \(y=x+1\) as \(x→±∞\). The line \(y=x+1\) is an oblique asymptote for \(f\).
Step 4: To check for vertical asymptotes, look at where the denominator is zero. Here the denominator is zero at \(x=1.\) Looking at both one-sided limits as \(x→1,\) we find
\(\displaystyle \lim_{x→1^+}\frac{x^2}{x−1}=∞\) and \(\displaystyle \lim_{x→1^−}\frac{x^2}{x−1}=−∞.\)
Therefore, \(x=1\) is a vertical asymptote, and we have determined the behavior of \(f\) as \(x\) approaches \(1\) from the right and the left.
Step 5: Calculate the first derivative:
\(f′(x)=\dfrac{(x−1)(2x)−x^2(1)}{(x−1)^2}=\dfrac{x^2−2x}{(x−1)^2}.\)
We have \(f′(x)=0\) when \(x^2−2x=x(x−2)=0\). Therefore, \(x=0\) and \(x=2\) are critical points. Since \(f\) is undefined at \(x=1\), we need to divide the interval \((−∞,∞)\) into the smaller intervals \((−∞,0), (0,1), (1,2),\) and \((2,∞)\), and choose a test point from each interval to evaluate the sign of \(f′(x)\) in each of these smaller intervals. For example, let \(x=−1, x=\frac{1}{2}, x=\frac{3}{2}\), and \(x=3\) be the test points as shown in the following table.
Interval | Test Point | Sign of \(f'(x)=\dfrac{x^2−2x}{(x−1)^2}\) | Conclusion |
---|---|---|---|
\((−∞,0)\) | \(x=−1\) | (−)(−)/+=+ | \(f\) is increasing. |
\((0,1)\) | \(x=1/2\) | (+)(−)/+=− | \(f\) is decreasing. |
\((1,2)\) | \(x=3/2\) | (+)(−)/+=− | \(f\) is decreasing. |
\((2,∞)\) | \(x=3\) | (+)(+)/+=+ | \(f\) is increasing. |
From this table, we see that \(f\) has a local maximum at \(x=0\) and a local minimum at \(x=2\). The value of \(f\) at the local maximum is \(f(0)=0\) and the value of \(f\) at the local minimum is \(f(2)=4\). Therefore, \((0,0)\) and \((2,4)\) are important points on the graph.
Step 6. Calculate the second derivative:
\[\begin{align*} f''(x) &= \frac{(x−1)^2(2x−2)−2(x−1)(x^2−2x)}{(x−1)^4}\\[4pt]
&=\frac{2(x−1)[(x−1)^2−(x^2−2x)]}{(x−1)^4}\\[4pt]
&=\frac{2[x^2-2x+1−x^2+2x]}{(x−1)^3}\\[4pt]
&=\frac{2}{(x−1)^3}. \end{align*}\]
We see that \(f''(x)\) is never zero or undefined for \(x\) in the domain of \(f\). Since \(f\) is undefined at \(x=1\), to check concavity we just divide the interval \((−∞,∞)\) into the two smaller intervals \((−∞,1)\) and \((1,∞)\), and choose a test point from each interval to evaluate the sign of \(f''(x)\) in each of these intervals. The values \(x=0\) and \(x=2\) are possible test points as shown in the following table.
Interval | Test Point | Sign of \(f''(x)=\dfrac{2}{(x−1)^3}\) | Conclusion |
---|---|---|---|
\((−∞,1)\) | \(x=0\) | \(+/−=−\) | \(f\) is concave down. |
\((1,∞)\) | \(x=2\) | \(+/+=+\) | \(f\) is concave up |
From the information gathered, we arrive at the following graph for \(f.\)
Exercise \(\PageIndex{10}\)
Find the oblique asymptote for \(f(x)=\dfrac{3x^3−2x+1}{2x^2−4}\).
- Hint
-
Use long division of polynomials.
- Answer
-
\(y=\frac{3}{2}x\)
Example \(\PageIndex{11}\): Sketching the Graph of a Function with a Cusp
Sketch a graph of \(f(x)=(x−1)^{2/3}\)
Solution
Step 1: Since the cube-root function is defined for all real numbers \(x\) and \((x−1)^{2/3}=(\sqrt[3]{x−1})^2\), the domain of \(f\) is all real numbers.
Step 2: To find the \(y\)-intercept, evaluate \(f(0)\). Since \(f(0)=1,\) the \(y\)-intercept is \((0,1)\). To find the \(x\)-intercept, solve \((x−1)^{2/3}=0\). The solution of this equation is \(x=1\), so the \(x\)-intercept is \((1,0).\)
Step 3: Since \(\displaystyle \lim_{x→±∞}(x−1)^{2/3}=∞,\) the function continues to grow without bound as \(x→∞\) and \(x→−∞.\)
Step 4: The function has no vertical asymptotes.
Step 5: To determine where \(f\) is increasing or decreasing, calculate \(f′.\) We find
\[f′(x)=\frac{2}{3}(x−1)^{−1/3}=\frac{2}{3(x−1)^{1/3}}\]
This function is not zero anywhere, but it is undefined when \(x=1.\) Therefore, the only critical point is \(x=1.\) Divide the interval \((−∞,∞)\) into the smaller intervals \((−∞,1)\) and \((1,∞)\), and choose test points in each of these intervals to determine the sign of \(f′(x)\) in each of these smaller intervals. Let \(x=0\) and \(x=2\) be the test points as shown in the following table.
Interval | Test Point | Sign of \(f′(x)=\frac{2}{3(x−1)^{1/3}}\) | Conclusion |
---|---|---|---|
\((−∞,1)\) | \(x=0\) | \(+/−=−\) | \(f\) is decreasing |
\((1,∞)\) | \(x=2\) | \(+/+=+\) | \(f\) is increasing |
We conclude that \(f\) has a local minimum at \(x=1\). Evaluating \(f\) at \(x=1\), we find that the value of \(f\) at the local minimum is zero. Note that \(f′(1)\) is undefined, so to determine the behavior of the function at this critical point, we need to examine \(\displaystyle \lim_{x→1}f′(x).\) Looking at the one-sided limits, we have
\[\lim_{x→1^+}\frac{2}{3(x−1)^{1/3}}=∞\text{ and } \lim_{x→1^−}\frac{2}{3(x−1)^{1/3}}=−∞.\nonumber\]
Therefore, \(f\) has a cusp at \(x=1.\)
Step 6: To determine concavity, we calculate the second derivative of \(f:\)
\[f''(x)=−\dfrac{2}{9}(x−1)^{−4/3}=\dfrac{−2}{9(x−1)^{4/3}}.\]
We find that \(f''(x)\) is defined for all \(x\), but is undefined when \(x=1\). Therefore, divide the interval \((−∞,∞)\) into the smaller intervals \((−∞,1)\) and \((1,∞)\), and choose test points to evaluate the sign of \(f''(x)\) in each of these intervals. As we did earlier, let \(x=0\) and \(x=2\) be test points as shown in the following table.
Interval | Test Point | Sign of \(f''(x)=\dfrac{−2}{9(x−1)^{4/3}}\) | Conclusion |
---|---|---|---|
\((−∞,1)\) | \(x=0\) | \(−/+=−\) | \(f\) is concave down |
\((1,∞)\) | \(x=2\) | \(−/+=−\) | \(f\) is concave down |
From this table, we conclude that \(f\) is concave down everywhere. Combining all of this information, we arrive at the following graph for \(f\).
Exercise \(\PageIndex{11}\)
Consider the function \(f(x)=5−x^{2/3}\). Determine the point on the graph where a cusp is located. Determine the end behavior of \(f\).
- Hint
-
A function \(f\) has a cusp at a point a if \(f(a)\) exists, \(f'(a)\) is undefined, one of the one-sided limits as \(x→a\) of \(f'(x)\) is \(+∞\), and the other one-sided limit is \(−∞.\)
- Answer
-
The function \(f\) has a cusp at \((0,5)\), since \(\displaystyle \lim_{x→0^−}f′(x)=∞\) and \(\displaystyle \lim_{x→0^+}f′(x)=−∞\). For end behavior, \(\displaystyle \lim_{x→±∞}f(x)=−∞.\)
Key Concepts
- The limit of \(f(x)\) is \(L\) as \(x→∞\) (or as \(x→−∞)\) if the values \(f(x)\) become arbitrarily close to \(L\) as \(x\) becomes sufficiently large.
- The limit of \(f(x)\) is \(∞\) as \(x→∞\) if \(f(x)\) becomes arbitrarily large as \(x\) becomes sufficiently large. The limit of \(f(x)\) is \(−∞\) as \(x→∞\) if \(f(x)<0\) and \(|f(x)|\) becomes arbitrarily large as \(x\) becomes sufficiently large. We can define the limit of \(f(x)\) as \(x\) approaches \(−∞\) similarly.
- For a polynomial function \(p(x)=a_nx^n+a_{n−1}x^{n−1}+…+a_1x+a_0,\) where \(a_n≠0\), the end behavior is determined by the leading term \(a_nx^n\). If \(n≠0, p(x)\) approaches \(∞\) or \(−∞\)at each end.
- For a rational function \(f(x)=\dfrac{p(x)}{q(x),}\) the end behavior is determined by the relationship between the degree of \(p\) and the degree of \(q\). If the degree of \(p\) is less than the degree of \(q\), the line \(y=0\) is a horizontal asymptote for \(f\). If the degree of \(p\) is equal to the degree of \(q\), then the line \(y=\dfrac{a_n}{b_n}\) is a horizontal asymptote, where \(a_n\) and \(b_n\) are the leading coefficients of \(p\) and \(q\), respectively. If the degree of \(p\) is greater than the degree of \(q\), then \(f\) approaches \(∞\) or \(−∞\) at each end.
Glossary
- end behavior
- the behavior of a function as \(x→∞\) and \(x→−∞\)
- horizontal asymptote
- if \(\displaystyle \lim_{x→∞}f(x)=L\) or \(\displaystyle \lim_{x→−∞}f(x)=L\), then \(y=L\) is a horizontal asymptote of \(f\)
- infinite limit at infinity
- a function that becomes arbitrarily large as \(x\) becomes large
- limit at infinity
- a function that approaches a limit value \(L\) as \(x\) becomes large
- oblique asymptote
- the line \(y=mx+b\) if \(f(x)\) approaches it as \(x→∞\) or\( x→−∞\)
Contributors and Attributions
Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.