Notes@HKU by Jax

Limits and Continuity

Introduction to the concept of limit

We can conceptualize that the limit of a function f(x)f(x) is LL as xx approaches cc, given that we can make f(x)f(x) as close to LL as we want for all xx sufficiently close to aa, from both sides, without actually letting xx be aa. We can write this as:

limxaf(x)=L\lim_{x\to a}f(x)=L

One-sided limits

There are two sides that xx can tend to a number. We can write it as xnx\to n^- and xn+x\to n^+, which represents from the negative (left) / positive (right) side.

Existence of limits

Condition for limit to exist

The limit for a function f(x)f(x) only exists if and only if:

limxa+f(x)=limxaf(x)\lim_{x\to a^+}f(x)=\lim_{x\to a^-}f(x)

WARNING: If the limit is \mathbf{\infty} it doesn't exist.

For this example, when x0,yx\to 0^-, y\to -\infty.

Similarly, as x0+,y+x\to 0^+, y\to +\infty.

Hence, we can conclude that the limit for this function as x0x\to 0 doesn't exist.

Continuity

Continuity

A function f(x)f(x) is continuous at x=ax=a if:

limxaf(x)=f(a)\mathop {\lim }\limits_{x \to a} f\left( x \right) = f\left( a \right)

Continuity properties

For f,gf,g continuous at cc, the following are also continuous at cc:

  1. f±gf \pm g
  2. kfkf
  3. fgfg
  4. fg\frac{f}{g}, given that g(c)0g(c)\ne 0

Intermediate value theorem (IVT)

If a function ff is continuous on [a,b][a, b], there is a number cc in [a,b][a, b] where f(c)f(c) in [f(a),f(b)][f(a), f(b)].

We use the IVT by first finding f(a)f(a) and f(b)f(b), then apply the rule.

To prove that there is a root, we can use the IVT by showing there is a change of sign between the interval given.

Computing limits

Indeterminate forms

Indeterminate forms are forms that cannot be solved by simply substituting the value of xx into the function. They are:

00,,0,,0,1,0\frac{0}{0}, \frac{\infty}{\infty}, 0\cdot\infty, \infty-\infty, \infty^0, 1^\infty, \infty^0

Note that +=\infty + \infty = \infty. Related: L'Hopital's rule

Using the limit laws

For functions f,gf,g and using limxa=\mathop {\lim }\limits_{x \to a}=\bigcirc for simpler notation:

  1. limxac=clim_{x\to a}c=c

  2. (f±g)=f±g\bigcirc(f\pm g)=\bigcirc f\pm \bigcirc g

  3. (kf)=kf\bigcirc(k\cdot f)=\bigcirc k\cdot\bigcirc f

  4. (fn)=(f)n\bigcirc(f^n)=(\bigcirc f)^n

  5. (fg)=fg\bigcirc(fg)=\bigcirc f\bigcirc g

  6. (fg)=fg,given that g0\bigcirc(\frac{f}{g})=\frac{\bigcirc f}{\bigcirc g}, \text{given that }\bigcirc g\ne 0. This strict condition prevents indeterminate forms. We can use these laws to break a limit into separate limits, and compute that way. Also note that:

  7. f(g)=f(g),\bigcirc f(g)=f(\bigcirc g), given that ff is continuous at g\bigcirc g

Limit of a polynomial

For the limit of a polynomial p(x)p(x):

limxap(x)=p(a)lim_{x\to a}p(x)=p(a)

This can be proven easily with the limit laws above.

Techniques to compute limits

To solve for limits, we have to get the expression to the right form - a polynomial, for us to substitute our limit value into the function.

To do this, often we have to factorize or rationalize.

Limits of composite functions

For the limit of a composite function limxaf(g(x))\lim_{x\to a}f(g(x)), where ff is not continuous at g(a)g(a), we find bb as xa,gbx\to a,g\to b, and then find limxbf(x)\lim_{x\to b}f(x) at that value.

The following explains some common cases:

  1. xa,gg(a)x\to a^-, g\to g(a)^-
  2. xa,xa+x\to a^-, -x\to -a^+

For y=limxaf(x)g(x)y=\lim_{x\to a}f(x)^{g(x)}, we can the logarithm to simplify the function, and determine limxalny\lim_{x\to a}\ln y and find limxay=elimxalny\lim_{x\to a}y=e^{\lim_{x\to a}\ln y}.

Limits of square roots

To solve for limits of square roots, we can multiply by the conjugate to rationalize the function.

limxaf(x)+g(x)=limxaf2(x)g(x)f(x)g(x)\lim_{x\to a}f(x)+\sqrt{g(x)}=\lim_{x\to a}\frac{f^2(x)-g(x)}{f(x)-\sqrt{g(x)}}

The squeeze / sandwich theorem

Suppose f(x)g(x)h(x)f(x)\le g(x) \le h(x) in the range [a,b][a, b], for cc in [a,b][a, b]:

limxcflimxcglimxch\lim_{x\to c}f \le \lim_{x\to c}g \le \lim_{x\to c}h

We will make use of the fact that the limits can be equal to solve for the limit of g(x)g(x).

When we can't seem to factorize a function, we can try squeezing it between two other functions.

limx0x2cos1x\lim_{x\to 0}x^2\cos\frac{1}{x}

We know the limits of the function cos1x\cos \frac{1}{x}, so we can start from there.

Given that x0,1cos1x1\text{Given that }x\ne 0, -1\le \cos \frac{1}{x} \le 1 Multiplying x2 on both sides,x2cosx21xx2\text{Multiplying }x^2\text{ on both sides},-x^2\le \cos x^2\frac{1}{x} \le x^2 As limx0±x2=0,we can conclude that limx0x2cos1x=0\text{As }\lim_{x\to 0}\pm x^2=0, \text{we can conclude that }\lim_{x\to 0}x^2\cos\frac{1}{x}=0

Infinite limits

Determining infinite limits

If f(x)f(x) gets (negatively) arbitrarily large when xx approaches aa, we can say:

limxaf(x)=()\lim_{x\to a}f(x)=(-)\infty

After we know that the limit may be infinity, we then have to make sure that the limit is the same from both sides, so that the limit is actually \infty. We can do so by plugging numbers which are approaching the limit from both sides.

Infinite limit exists

limx06x2\lim_{x\to 0}\frac{6}{x^2} Consider both limx06x2,limx0+6x2:\text{Consider both}\ \lim_{x\to 0^-}\frac{6}{x^2},\lim_{x\to 0^+}\frac{6}{x^2}: limx06x2=\lim_{x\to 0}\frac{6}{x^2}=\infty

Infinite limit doesn't exist

limx43(4x)3\lim_{x\to 4}\frac{3}{(4-x)^3}

Checking both sides, we can conclude that the limit doesn't exist, as:

limx4+3(4x)3=,limx43(4x)3=\lim_{x\to 4^+}\frac{3}{(4-x)^3}=-\infty, \lim_{x\to 4^-}\frac{3}{(4-x)^3}=\infty

Limits at infinity

Infinity operations

Note the following operations:

  1. +k=\infty + k=\infty
  2. For k<0, k=k<0,\ k\infty=-\infty
  3. ×=-\infty\times\infty=-\infty

Determining limits of infinity

It is not hard to see that, for rational numbers nn:

limx±kxn=0\lim_{x\to\pm\infty}\frac{k}{x^n}=0

The easiest way to determine the limit would be to factorize the function so that we can use the fact above.

Determining limits of infinity of polynomials

Using the above fact, we can see that for a polynomial p(x)p(x) with degree nn and largest coefficient ana_n:

limx±p(x)=anxn\lim_{x\to\pm\infty}p(x)=a_nx^n

Which means we can only consider the largest term in a polynomial for limits of infinity.

Indeterminate forms by substitution of infinity

Substituting \infty into the function gives \infty-\infty-\infty, which is indeterminate. Hence, we must factorize it.

limx2x4x28x=limx[x4(21x28x3)]=×2=\begin{aligned}\lim_{x\to\infty}2x^4-x^2-8x & =\lim_{x\to\infty}[x^4(2-\frac{1}{x^2}-\frac{8}{x^3})] \\ & =\infty\times 2 \\ & =\infty \end{aligned}

Or we can just simply use the theorem above and consider limx2x4\lim_{x\to\infty}2x^4 only to give \infty.

Factor polynomials limit to infinity

We can simply cbonsider the largest terms on each side and give the final answer easily.

limx3x2+652x=limx3x22x=limx3x2xx2=x=limx32c,c<0=c=32\begin{aligned} \lim_{x \to -\infty } \frac{{\sqrt {3{x^2} + 6} }}{{5 - 2x}} & =\lim_{x \to -\infty }\frac{\sqrt{3x^2}}{-2x} \\ & =\lim_{x \to -\infty }\frac{\sqrt{3}|x|}{-2x} \leftarrow \sqrt{x^2}=|x| \\ & =\lim_{x \to -\infty }\frac{-\sqrt{3}}{-2} \leftarrow |c|,c<0=-c \\ & =\frac{\sqrt{3}}{2} \end{aligned}

Note that, as we are considering the negative limit of infinity, we need to add - to the abs sign on line 3.

Asymptotes

Vertical asymptotes

ff will have v-asymptotes at x=ax=a if any ±\pm is true:

limxa±f(x)=±\lim_{x\to a^\pm}f(x)=\pm\infty

Horizontal asymptotes

ff will have h-asymptotes at y=Ly=L if any ±\pm is true:

limx±f(x)=L\lim_{x\to\pm\infty}f(x)=L

Related: Graphing functions

On this page