Limits and Continuity

Introduction

Now we get to actual calculus dealing with functions of two variables, and we naturally begin with limits. Recall from Calculus 1 the definition of a limit:

A function f(x)f(x) has limit LL as xx approaches cc if f(x)L|f(x)-L| (the distance between the function values and the limit) gets arbitrary small (f(x)L<ϵ|f(x)-L| < \epsilon) for values of xx that are sufficiently close to cc (xc<δ|x-c| < \delta).

Limits from Calc I

Let's extend this definition to functions of two variables in R3\mathbb{R}^3. Instead of xx approaching cc, we'll have (x,y)(x,y) approaching (a,b)(a,b). So here's the definition of what it means for lim(x,y)(a,b)f(x,y)=L:\lim_{(x,y) \to (a,b)} f(x,y) = L:

A function f(x,y)f(x,y) has limit LL as (x,y)(a,b)(x,y) \to (a,b) if f(x,y)L|f(x,y) - L| can be made arbitrarily small for points sufficiently close to (a,b)(a,b).

Limit Rules

The rules for limits with functions of two variables are essentially identical to the ones for limits with functions of one variable in Calculus 1.

First, suppose that lim(x,y)(a,b)f(x,y)=L\lim_{(x,y) \to (a,b)} f(x,y) = L and lim(x,y)(a,b)g(x,y)=M\lim_{(x,y) \to (a,b)} g(x,y) = M.

Constant Function: f(x,y)=cf(x,y) = c

lim(x,y)(a,b)c=c\lim_{(x,y) \to (a,b)} c = c

Linear Function: f(x,y)=xf(x,y) = x or f(x,y)=yf(x,y) = y

lim(x,y)(a,b)x=alim(x,y)(a,b)y=b\begin{aligned} \lim_{(x,y) \to (a,b)} x &= a\ \lim_{(x,y) \to (a,b)} y &= b \end{aligned}

Sum

lim(x,y)(a,b)[f(x,y)+g(x,y)]=L+M\lim_{(x,y) \to (a,b)} \left[f(x,y)+g(x,y)\right] = L+M

Difference

lim(x,y)(a,b)[f(x,y)g(x,y)]=LM\lim_{(x,y) \to (a,b)} \left[f(x,y)-g(x,y)\right] = L-M

Constant Multiple

lim(x,y)(a,b)cf(x,y)=cL\lim_{(x,y) \to (a,b)} cf(x,y) = cL

Product

lim(x,y)(a,b)[f(x,y)g(x,y)]=LM\lim_{(x,y) \to (a,b)} \left[f(x,y) \cdot g(x,y)\right] = L \cdot M

Quotient

lim(x,y)(a,b)[f(x,y)g(x,y)]=LM    if M0\lim_{(x,y) \to (a,b)} \left[\dfrac{f(x,y)}{g(x,y)}\right] = \dfrac{L}{M} \ \ \ \textrm{ if } M \neq 0

Power

lim(x,y)(a,b)[f(x,y)]n=Ln\lim_{(x,y) \to (a,b)} \left[f(x,y)\right]^n = L^n

Examples

Evaluate lim(x,y)(5,2)x5+4x3y5xy2\displaystyle\lim_{(x,y) \to (5,-2)} x^5+4x^3y-5xy^2.

Solution

Use the limit rules outlined above to break this down to basic forms: lim(x,y)(5,2)x5+4x3y5xy2=lim(x,y)(5,2)x5+lim(x,y)(5,2)4x3ylim(x,y)(5,2)5xy2=(lim(x,y)(5,2)x)5+4(lim(x,y)(5,2)x)3(lim(x,y)(5,2)y)5(lim(x,y)(5,2)x)(lim(x,y)(5,2)y)2=55+4(5)3(2)5(5)(2)2=2025\begin{aligned} \lim_{(x,y) \to (5,-2)} x^5+4x^3y-5xy^2 &= \lim_{(x,y) \to (5,-2)} x^5 + \lim_{(x,y) \to (5,-2)} 4x^3y - \lim_{(x,y) \to (5,-2)} 5xy^2\ &= \left(\lim_{(x,y) \to (5,-2)} x\right)^5 + 4\left(\lim_{(x,y) \to (5,-2)} x\right)^3\left(\lim_{(x,y) \to (5,-2)} y\right)\ &- 5\left(\lim_{(x,y) \to (5,-2)} x\right)\left(\lim_{(x,y) \to (5,-2)} y\right)^2\ &= 5^5+4(5)^3(-2)-5(5)(-2)^2\ &= \ans{2025} \end{aligned}

Note

We could evaluate this limit by simply evaluating the function at (5,2)(5,−2) because the function is continuous (a polynomial in this case).

Evaluate lim(x,y)(0,0)x2x2+y2\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{x^2}{x^2+y^2}.

Solution

If we try evaluating the function at (0,0)(0,0), we'll get 00 in both the numerator and denominator. It turns out that this limit does not exist. How can we prove this? Think about the following picture in two dimensions:

Limit does not exist at a discontinuity

If we approach from one side, the function values approach one value, and if we approach from another side, the function values approach a different value, which means that the two-sided limit doesn't exist.

We can do something similiar in three dimensions: if we approach (0,0)(0,0) along two different lines and show that the limits are different in each case.

For this one, we'll approach along the xx-axis and then the yy-axis.

Since these two limits differ, we've proven that the limit does not exist. We can graph this surface to observe this behavior. Notice how approaching the origin along the xx-axis puts you up on the ridge, where the function values are 11, and approaching along the yy-axis puts you in the valley, where the function values are 00.

Limit does not exist

Evaluate lim(x,y)(0,0)x2sin2yx2+2y2\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{x^2 \sin^2 y}{x^2+2y^2}.

Solution

For this one, we'll use the Squeeze Theorem, noting that since y20y^2 \geq 0 regardless of what yy is, that means that x2x2+2y21x2sin2yx2+2y2sin2y\dfrac{x^2}{x^2+2y^2} \leq 1 \longrightarrow \dfrac{x^2 \sin^2 y}{x^2+2y^2} \leq \sin^2 y

Therefore, lim(x,y)(0,0)0lim(x,y)(0,0)x2sin2yx2+2y2lim(x,y)(0,0)sin2y0lim(x,y)(0,0)x2sin2yx2+2y20    lim(x,y)(0,0)x2sin2yx2+2y2=0\begin{aligned} \lim_{(x,y) \to (0,0)} 0 &\leq \lim_{(x,y) \to (0,0)} \dfrac{x^2 \sin^2 y}{x^2+2y^2} \leq \lim_{(x,y) \to (0,0)} \sin^2 y\ 0 &\leq \lim_{(x,y) \to (0,0)} \dfrac{x^2 \sin^2 y}{x^2+2y^2} \leq 0\ &\implies \ans{\lim_{(x,y) \to (0,0)} \dfrac{x^2 \sin^2 y}{x^2+2y^2}=0} \end{aligned}

  1. Evaluate lim(x,y)(2,9)101\displaystyle\lim_{(x,y) \to (2,9)} 101 or show that the limit does not exist.

  2. lim(x,y)(2,9)101=101\displaystyle\lim_{(x,y) \to (2,9)} 101 = 101

  3. Evaluate lim(x,y)(3,3)4x2y2\displaystyle\lim_{(x,y) \to (-3,3)} 4x^2-y^2 or show that the limit does not exist.

  4. lim(x,y)(3,3)4x2y2=27\displaystyle\lim_{(x,y) \to (-3,3)} 4x^2-y^2 = 27

  5. Evaluate lim(x,y)(0,0)x+2yx2y\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{x+2y}{x-2y} or show that the limit does not exist.

  6. lim(x,y)(0,0)x+2yx2y DNE\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{x+2y}{x-2y} \ DNE

  7. Evaluate lim(x,y)(0,π)cosxy+sinxy2y\displaystyle\lim_{(x,y) \to (0,\pi)} \dfrac{\cos xy + \sin xy}{2y} or show that the limit does not exist.

  8. lim(x,y)(0,π)cosxy+sinxy2y=12π\displaystyle\lim_{(x,y) \to (0,\pi)} \dfrac{\cos xy + \sin xy}{2y} = \dfrac{1}{2\pi}

  9. Evaluate lim(x,y)(0,0)y42x2y4+x3\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{y^4-2x^2}{y^4+x^3} or show that the limit does not exist.

  10. lim(x,y)(0,0)y42x2y4+x3 DNE\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{y^4-2x^2}{y^4+x^3} \ DNE

Showing that a Limit Does Not Exist

In general, if approaching the origin along the axes does not work/apply, try substituting y=mx+b.y=mx+b.

Show that lim(x,y)(0,0)4xy3x2+y2\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{4xy}{3x^2+y^2} does not exist.

Solution

lim(x,y)(0,0)4xy3x2+y2=limx04x(mx)3x2+(mx)2=limx04mx2(3+m2)x2=4m23+m2\begin{aligned} \lim_{(x,y) \to (0,0)} \dfrac{4xy}{3x^2+y^2} &= \lim_{x \to 0} \dfrac{4x(mx)}{3x^2+(mx)^2}\ &= \lim_{x \to 0} \dfrac{4mx^2}{(3+m^2)x^2} = \dfrac{4m^2}{3+m^2} \end{aligned}

Since this is different for different values of mm, we conclude that this limit does not exist.

  1. Show that lim(x,y)(0,0)yx2y2\displaystyle\lim_{(x,y) \to (0,0)} \dfrac{y}{\sqrt{x^2-y^2}} does not exist.

  2. (work it out)

Continuity

Recall from Calculus I that we define continuity using limits; specifically, if the limit exists (approaching from both sides gives the same result) and equals the function value at that point, the function is continuous there. Therefore, there are three conditions (the limit exists, the function value is defined, and the two are equal):

A function ff is continuous at cc if limxcf(x)=f(c)\displaystyle\lim_{x \to c} f(x) = f(c).

The same is true with functions of two variables: a function f(x,y)f(x,y) is continuous at a point (a,b)(a,b) if lim(x,y)(a,b)f(x,y)=f(a,b).\lim_{(x,y) \to (a,b)} f(x,y) = f(a,b).

Is the following function continuous? f(x,y)={3xy2x2+y4 if (x,y) = (0,0)0 if (x,y)=(0,0)f(x,y) = \left{\begin{array}{c l} \dfrac{3xy^2}{x^2+y^4} & \textrm{ if } (x,y)\ \cancel=\ (0,0)\ 0 & \textrm{ if } (x,y) = (0,0) \end{array}\right.

Solution

The limit of this function as (x,y)(x,y) approaches (0,0)(0,0) does not exist. To prove this, we need to substitute x=my2x=my^2 (a linear substitution isn't good enough): lim(x,y)(0,0)3xy2x2+y4=limx03my4(m2+1)y4=3mm2+1\lim_{(x,y) \to (0,0)} \dfrac{3xy^2}{x^2+y^4} = \lim_{x \to 0} \dfrac{3my^4}{(m^2+1)y^4} = \dfrac{3m}{m^2+1}

Since this limit does not exist, the function is not continuous.

At what points of R2\mathbb{R}^2 is f(x,y)=x26x+7xy2f(x,y)=x^2−6x+7xy^2 continuous?

Solution

Since this is a polynomial, it is continuous at all points in R2\mathbb{R}^2. There's no issue with dividing by 00 or taking the square root of a negative number.

  1. At what points of R2\mathbb{R}^2 is f(x,y)=xyx2y2+1f(x,y)=\dfrac{xy}{x^2y^2+1} continuous?

  2. All points in R2\mathbb{R}^2

  3. At what points of R2\mathbb{R}^2 is f(x,y)=2xyx2y2f(x,y)=\dfrac{2xy}{x^2-y^2} continuous?

  4. R2{(x,y) : y2=x2}\mathbb{R}^2 \setminus {(x,y)\ :\ y^2=x^2}

  5. At what points of R2\mathbb{R}^2 is f(x,y)=x2+y2x(y21)f(x,y)=\dfrac{x^2+y^2}{x(y^2-1)} continuous?

  6. R2{(x,y) : x=0 or y=1,1}\mathbb{R}^2 \setminus {(x,y)\ :\ x=0 \textrm{ or } y=1, -1}

Composite Functions

If we compose two continuous functions, we'll get another continuous function: f(g(x,y))f(g(x,y)) is continuous at (a,b)(a,b) if gg is continuous at (a,b)(a,b) and ff is continuous at g(a,b)g(a,b).

At what points of R2\mathbb{R}^2 is f(x,y)=x2+y2f(x,y)=\sqrt{x^2+y^2} continuous?

Solution

Since x2+y2x^2+y^2 is continuous for all values of xx and yy, and x\sqrt{x} is continuous as long as x0x≥0, this compositive function is continuous on the following set: {(x,y)R2 : x2+y20}{(x,y) \in \mathbb{R}^2 \ :\ x^2+y^2 \geq 0}

  1. At what points of R2\mathbb{R}^2 is f(x,y)=sinxyf(x,y)=\sin xy continuous?

  2. All points in R2\mathbb{R}^2

  3. At what points of R2\mathbb{R}^2 is f(x,y)=4x2y2f(x,y)=\sqrt{4-x^2-y^2} continuous?

  4. {(x,y)R2 : x2+y24}{(x,y) \in \mathbb{R}^2 \ :\ x^2+y^2 \leq 4}

  5. At what points of R2\mathbb{R}^2 is f(x,y)=ln(x2+y2)f(x,y)=\ln(x^2+y^2) continuous?

  6. {(x,y)R2 : x2+y2>0}{(x,y) \in \mathbb{R}^2 \ :\ x^2+y^2 > 0}