Horizontal asymptotes

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\exchange }[2]{#2#1} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\sectionOutcomes }[0]{} \newcommand {\qrset }[1]{\setkeys {qr}{#1}} \newcommand {\newrobustcmd }[0]{} \newcommand {\csshow }[1]{\begingroup \expandafter \endgroup \expandafter \show \csname #1\endcsname } \newcommand {\csmeaning }[1]{\ifcsname #1\endcsname \expandafter \meaning \csname #1\endcsname \else \detokenize {undefined}\fi } \newcommand {\ifdefmacro }[0]{} \newcommand {\ifdefparam }[0]{} \newcommand {\ifdefprotected }[0]{} \newcommand {\ifnumequal }[1]{\ifnumcomp {#1}=} \newcommand {\ifnumgreater }[1]{\ifnumcomp {#1}>} \newcommand {\ifnumless }[1]{\ifnumcomp {#1}<} \newcommand {\ifdimequal }[1]{\ifdimcomp {#1}=} \newcommand {\ifdimgreater }[1]{\ifdimcomp {#1}>} \newcommand {\ifdimless }[1]{\ifdimcomp {#1}<} \newcommand {\expandonce }[1]{\unexpanded \expandafter {#1}} \newcommand {\csexpandonce }[1]{\expandafter \expandonce \csname #1\endcsname } \newcommand {\protecting }[0]{} \newcommand {\csdef }[1]{\expandafter \def \csname #1\endcsname } \newcommand {\csedef }[1]{\expandafter \edef \csname #1\endcsname } \newcommand {\csgdef }[1]{\expandafter \gdef \csname #1\endcsname } \newcommand {\csxdef }[1]{\expandafter \xdef \csname #1\endcsname } \newcommand {\cslet }[2]{\expandafter \let \csname #1\endcsname #2} \newcommand {\letcs }[2]{\ifcsdef {#2} {\expandafter \let \expandafter #1\csname #2\endcsname } {\undef #1}} \newcommand {\csletcs }[2]{\ifcsdef {#2} {\expandafter \let \csname #1\expandafter \endcsname \csname #2\endcsname } {\csundef {#1}}} \newcommand {\csuse }[1]{\ifcsname #1\endcsname \csname #1\expandafter \endcsname \fi } \newcommand {\appto }[2]{\ifundef {#1} {\edef #1{\unexpanded {#2}}} {\edef #1{\expandonce #1\unexpanded {#2}}}} \newcommand {\eappto }[2]{\ifundef {#1} {\edef #1{#2}} {\edef #1{\expandonce #1#2}}} \newcommand {\gappto }[2]{\ifundef {#1} {\xdef #1{\unexpanded {#2}}} {\xdef #1{\expandonce #1\unexpanded {#2}}}} \newcommand {\xappto }[2]{\ifundef {#1} {\xdef #1{#2}} {\xdef #1{\expandonce #1#2}}} \newcommand {\preto }[2]{\ifundef {#1} {\edef #1{\unexpanded {#2}}} {\edef #1{\unexpanded {#2}\expandonce #1}}} \newcommand {\epreto }[2]{\ifundef {#1} {\edef #1{#2}} {\edef #1{#2\expandonce #1}}} \newcommand {\gpreto }[2]{\ifundef {#1} {\xdef #1{\unexpanded {#2}}} {\xdef #1{\unexpanded {#2}\expandonce #1}}} \newcommand {\xpreto }[2]{\ifundef {#1} {\xdef #1{#2}} {\xdef #1{#2\expandonce #1}}} \newcommand {\csappto }[1]{\expandafter \appto \csname #1\endcsname } \newcommand {\cseappto }[1]{\expandafter \eappto \csname #1\endcsname } \newcommand {\csgappto }[1]{\expandafter \gappto \csname #1\endcsname } \newcommand {\csxappto }[1]{\expandafter \xappto \csname #1\endcsname } \newcommand {\cspreto }[1]{\expandafter \preto \csname #1\endcsname } \newcommand {\csepreto }[1]{\expandafter \epreto \csname #1\endcsname } \newcommand {\csgpreto }[1]{\expandafter \gpreto \csname #1\endcsname } \newcommand {\csxpreto }[1]{\expandafter \xpreto \csname #1\endcsname } \newcommand {\csnumdef }[1]{\expandafter \numdef \csname #1\endcsname } \newcommand {\csnumgdef }[1]{\expandafter \numgdef \csname #1\endcsname } \newcommand {\csdimdef }[1]{\expandafter \dimdef \csname #1\endcsname } \newcommand {\csdimgdef }[1]{\expandafter \dimgdef \csname #1\endcsname } \newcommand {\csgluedef }[1]{\expandafter \gluedef \csname #1\endcsname } \newcommand {\csgluegdef }[1]{\expandafter \gluegdef \csname #1\endcsname } \newcommand {\mudef }[2]{\ifundef #1{\def #1{0mu}}{}\edef #1{\the \muexpr #2}} \newcommand {\csmudef }[1]{\expandafter \mudef \csname #1\endcsname } \newcommand {\csmugdef }[1]{\expandafter \mugdef \csname #1\endcsname } \newcommand {\listbreak }[0]{} \newcommand {\listadd }[2]{\ifblank {#2}{}{\appto #1{#2|}}} \newcommand {\listgadd }[2]{\ifblank {#2}{}{\gappto #1{#2|}}} \newcommand {\listcsadd }[1]{\expandafter \listadd \csname #1\endcsname } \newcommand {\listcseadd }[1]{\expandafter \listeadd \csname #1\endcsname } \newcommand {\listcsgadd }[1]{\expandafter \listgadd \csname #1\endcsname } \newcommand {\listcsxadd }[1]{\expandafter \listxadd \csname #1\endcsname } \newcommand {\listcsremove }[1]{\expandafter \listremove \csname #1\endcsname } \newcommand {\listcsgremove }[1]{\expandafter \listgremove \csname #1\endcsname } \newcommand {\dolistloop }[0]{\forlistloop \do } \newcommand {\dolistcsloop }[0]{\forlistcsloop \do } \newcommand {\AfterPreamble }[0]{\AtBeginDocument } \newcommand {\tcolorboxenvironment }[2]{\BeforeBeginEnvironment {#1}{\begin {tcolorbox}[savedelimiter={#1},#2]}\AfterEndEnvironment {#1}{\end {tcolorbox}}} \newcommand {\tcbpkgprefix }[0]{} \newcommand {\explanationTitle }[0]{} \newcommand {\desmos }[3]{ \begin {tcolorbox}[ fonttitle=\large ,halign title=center,arc=0pt,left*=24px,right=24px,colback=defaultDesmosBackground,colframe=defaultDesmosBorder,colbacktitle= defaultDesmosTitleBackground,coltext=defaultDesmosText,coltitle=defaultDesmosTitle,title=Desmos Interactive Lesson,] Try the Desmos interactive tool at \url {https://www.desmos.com/calculator/#1} or scan the QR-code below:\\ \begin {center} \qrcode [height=2in]{https://www.desmos.com/calculator/#1} \end {center} \end {tcolorbox} } \newcommand {\youtube }[1]{ \begin {tcolorbox}[ fonttitle=\large ,halign title=center,arc=0pt,left*=24px,right=24px,colback=defaultYouTubeBackground,colframe=defaultYouTubeBorder,colbacktitle= defaultYouTubeTitleBackground,coltext=defaultYouTubeText,coltitle=defaultYouTubeTitle,title=YouTube Hosted Video,] Watch the video via YouTube at \url {https://www.youtube.com/watch?v=#1} or scan the QR-code below:\\ \begin {center} \qrcode [height=2in]{https://www.youtube.com/watch?v=#1} \end {center} \end {tcolorbox} } \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We explore functions that behave like horizontal lines as the input grows without bound.

Video Lecture

Previously we have discussed “End Term Behavior” of a function by making informal arguments based around “large” $x$ values. Now that we have introduced the idea of a limit, we can formalize this idea by taking limits “at infinity”.

If $f(x)$ becomes arbitrarily close to a specific value $L$ by making $x$ sufficiently large, we write

$\lim _{x\to \infty } f(x) = L$ and we say, the limit at infinity of $f(x)$ is $L$ .

If $f(x)$ becomes arbitrarily close to a specific value $L$ by making $x$ sufficiently large and negative, we write

$\lim _{x\to -\infty } f(x) = L$ and we say, the limit at negative infinity of $f(x)$ is $L$ .

Let’s start with an example:

Consider the function:

$g(x) = \frac {1}{x}$ with the table below

$\begin {array}{c|c} x & g(x)=\frac {1}{x} \\\hline 10 & \answer [given]{0.1} \\ 100 & \answer [given]{0.01} \\ 1000 & \answer [given]{0.001} \\ 10000 & \answer [given]{0.0001} \\ 100000 & \answer [given]{0.00001}\\ 1000000 & \answer [given]{0.000001} \end {array}$

What does the table tell us about $g(x)$ as $x$ grows bigger and bigger?

As $x$ grows bigger and bigger, it seems that $g(x)$ approaches $0$ . Thus

$\lim _{x\to \infty }\frac {1}{x}=\answer {0}$

Now consider a different function:

$f(x) = \frac {6x-9}{x-1}$

Fill in the table below, rounding to $5$ decimal places.

$\begin {array}{c|c} x & f(x)=\frac {6x-9}{x-1} \\ \hline 10 & \answer [given]{5.66667}\\ 100 & \answer [given]{5.96970}\\ 1000 & \answer [given]{5.99700}\\ 10000 & \answer [given]{5.99970}\\ 100000 & \answer [given]{5.99997}\\ \end {array}$ What does the table tell us about $f(x)$ as $x$ grows bigger and bigger?

As $x$ grows bigger and bigger, it seems like $f(x)$ approaches $6$ . Thus

$\lim _{x\to \infty }\frac {6x-9}{x-1}=\answer {6}$

Compute the limit.

$\lim _{x\to \infty } \frac {6x-9}{x-1}.$ We will confirm what we guessed earlier by rigorously computing the limit at infinity.

Note: We can assume that all the Limit Laws also apply to limits at infinity.

Write

$\begin{align*} \lim_{x\to\infty}\frac{6x-9}{x-1} &= \lim_{x\to\infty}\frac{6x-9}{x-1}\cdot \frac{1/x}{1/x}\\ &=\lim_{x\to\infty}\frac{\frac{6x}{x} - \frac{9}{x}}{\frac{x}{x} - \frac{1}{x}}\\ &=\frac{\lim_{x\to\infty}\Bigl(6- \frac{9}{x}\Bigr)}{\lim_{x\to\infty}\Bigl(1- \frac{1}{x}\Bigr)}\\ &=\frac{6-9\lim_{x\to\infty} \frac{1}{x}}{1-\lim_{x\to\infty} \frac{1}{x}}\\ &=\frac{6-9(0)}{1-0}\\ &= \frac{6}{1}\\ &= 6. \end{align*}$

Sometimes one must be careful, consider this example.

$\lim _{x\to -\infty } \frac {x^3+1}{\sqrt {x^6+5}}$

In this case we multiply the numerator and denominator by $-1/x^3$ , which is a positive number as since $x\to -\infty$ , $x^3$ is a negative number.

$\begin{align*} \lim_{x\to -\infty} \frac{x^3+1}{\sqrt{x^6+5}} &= \lim_{x\to -\infty} \frac{x^3+1}{\sqrt{x^6+5}} \cdot \frac{-1/x^3}{-1/x^3}\\ &= \lim_{x\to -\infty} \frac{-1-1/x^3}{\sqrt{x^6/x^6+5/x^6}}\\ &= \lim_{x\to -\infty} \frac{-1-1/x^3}{\sqrt{1+5/x^6}}\\ &= \frac{ \lim_{x\to -\infty}\Bigl(-1-1/x^3\Bigr)}{\lim_{x\to -\infty}\sqrt{1+5/x^6}}\\ &= \frac{ -1-\lim_{x\to -\infty}(1/x)^3}{\sqrt{\lim_{x\to -\infty}\Bigl(1+5/x^6\Bigr)}}\\ &= \frac{ -1-(\lim_{x\to -\infty}1/x)^3}{\sqrt{1+5(\lim_{x\to -\infty}1/x)^6}}\\ &= \frac{ -1-(0)^3}{\sqrt{1+5(0)^6}}\\ &= \frac{ -1-0}{\sqrt{1+0}}\\ &= -1. \end{align*}$

$\lim _{x\to \infty } f(x) = L \qquad \text {or}\qquad \lim _{x\to -\infty } f(x) = L,$ then the line $y=L$ is a horizontal asymptote of $f(x)$ .

Give the horizontal asymptotes of

$f(x) = \frac {6x-9}{x-1}$

From our previous work, we see that $\lim _{x\to \infty } f(x) = 6$ , and upon further inspection, we see that $\lim _{x\to -\infty } f(x) = 6$ . Hence the horizontal asymptote of $f(x)$ is the line $y=6$ .

It is a common misconception that a function cannot cross an asymptote. A function can cross a horizontal asymptote.

We conclude with an infinite limit at infinity.

Compute

$\lim _{x\to \infty } \ln (x)$

The function $\ln (x)$ grows very slowly, and seems like it may have a horizontal asymptote, see the graph above. However, if we consider the definition of the natural log as the inverse of the exponential function

$\ln (x) = y$ means that $e^y =x$

We see that we may raise $e$ to higher and higher values to obtain larger numbers. This means that $\ln (x)$ is unbounded, and hence $\lim _{x\to \infty }\ln (x)=\infty$ .

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Video Lecture

Controls

Symbols

Settings