Artificial Intelligence 🤖
Limits & Continuity
Limits: Several Variables

Limits for Several Variables

The concepts of limits and continuity can be extended to the multivariable setting. In a one-variable limit, g(x)g(x) approaches LL as xx approaches aa from only two possible directions: from the left or from the right:

In the case of two-variable functions however, the limit of f(x,y)f(x, y) must approach LL no matter how (x,y)(x, y) approaches the point (a,b)(a, b). Continuity in two-variable functions is straightforward from Definition 1.2:

A function g(x)g(x) is said to be continuous at x=ax=a if,

limxag(x)=g(a).\lim _{x \rightarrow a} g(x)=g(a) .

Further, the function is said to be continuous on an interval, I\mathcal{I} if it is continuous at every point on the interval.

we say that the function ff is continuous at (x,y)=(a,b)(x, y)=(a, b) if f(x,y)f(x, y) approaches the function value f(a,b)f(a, b) as (x,y)(a,b)(x, y) \rightarrow(a, b).

Limit Laws

Suppose lim(x,y)(a,b)f(x,y)\lim _{(x, y) \rightarrow(a, b)} f(x, y) and lim(x,y)(a,b)g(x,y)\lim _{(x, y) \rightarrow(a, b)} g(x, y) exist. Then:

Sum Law:

lim(x,y)(a,b)(f(x,y)+g(x,y))=lim(x,y)(a,b)f(x,y)+lim(x,y)(a,b)g(x,y)\lim _{(x, y) \rightarrow(a, b)}(f(x, y)+g(x, y))=\lim _{(x, y) \rightarrow(a, b)} f(x, y)+\lim _{(x, y) \rightarrow(a, b)} g(x, y)

Constant Multiple Law:

lim(x,y)(a,b)kf(x,y)=klim(x,y)(a,b)f(x,y),\lim _{(x, y) \rightarrow(a, b)} k f(x, y)=k \lim _{(x, y) \rightarrow(a, b)} f(x, y),

for any number kk.

Product Law:

lim(x,y)(a,b)f(x,y)g(x,y)=(lim(x,y)(a,b)f(x,y))(lim(x,y)(a,b)g(x,y))\lim _{(x, y) \rightarrow(a, b)} f(x, y) g(x, y)=\left(\lim _{(x, y) \rightarrow(a, b)} f(x, y)\right)\left(\lim _{(x, y) \rightarrow(a, b)} g(x, y)\right)

Quotient Law:

lim(x,y)(a,b)f(x,y)g(x,y)=lim(x,y)(a,b)f(x,y)lim(x,y)(a,b)g(x,y)\lim _{(x, y) \rightarrow(a, b)} \frac{f(x, y)}{g(x, y)}=\frac{\lim _{(x, y) \rightarrow(a, b)} f(x, y)}{\lim _{(x, y) \rightarrow(a, b)} g(x, y)}

provided that lim(x,y)(a,b)g(x,y)0\lim _{(x, y) \rightarrow(a, b)} g(x, y) \neq 0.

It follows from Theorem 1.1 that arbitrary sums, multiples and products of continuous functions are also continuous. Let us now look at an example of evaluating limits of a two-variable function.

Examples

Example 1.3 Show that f(x,y)=2x2y3xy2x2+y2+1f(x, y)=\frac{2 x^{2} y-3 x y^{2}}{x^{2}+y^{2}+1} is continuous and evaluate lim(x,y)(1,2)f(x,y)\lim _{(x, y) \rightarrow(1,2)} f(x, y).

Solution The function f(x,y)f(x, y) is continuous everywhere since it is a rational function whose denominator, x2+y2+1x^{2}+y^{2}+1 is never zero. Now, as with functions of one variable, we can evaluate the limit of a continuous, two-variable function using substitution:

lim(x,y)(1,2)f(x,y)=4121+4+1=43.\lim _{(x, y) \rightarrow(1,2)} f(x, y)=\frac{4-12}{1+4+1}=-\frac{4}{3} .

Finally, for completeness, let us look at how we go about showing that a limit does not exist.

Example 1.4 Evaluate lim(x,y)(0,0)f(x,y)=x3yx6+y2\lim _{(x, y) \rightarrow(0,0)} f(x, y)=\frac{x^{3} y}{x^{6}+y^{2}}.

Solution The function f(x,y)f(x, y) is not continuous at the point of interest since the denominator at (0,0)(0,0) is zero. This tells us that there is at least a chance that the limit does not exist. To show that a limit does in fact not exist, we need to prove that f(x,y)f(x, y) approaches a different value as (x,y)(0,0)(x, y) \rightarrow(0,0) along two different paths. We approach a point along the path by either fixing xx or yy or by relating xx or yy through some function (i.e. y=xy=x ). Let us first try the path y=xy=x [i.e. replace all the yy 's with the xx 's in f(x,y)f(x, y).

lim(x,y)(0,0)x3yx6+y2=lim(x,x)(0,0)x4x2(x4+1)=lim(x,x)(0,0)x2x4+1=0\lim _{(x, y) \rightarrow(0,0)} \frac{x^{3} y}{x^{6}+y^{2}}=\lim _{(x, x) \rightarrow(0,0)} \frac{x^{4}}{x^{2}\left(x^{4}+1\right)}=\lim _{(x, x) \rightarrow(0,0)} \frac{x^{2}}{x^{4}+1}=0

Now, try the path y=x3y=x^{3} :

lim(x,y)(0,0)x3yx6+y2=lim(x,x)(0,0)x3x3x6+x6=lim(x,x)(0,0)x62x6=lim(x,x)(0,0)12=12\lim _{(x, y) \rightarrow(0,0)} \frac{x^{3} y}{x^{6}+y^{2}}=\lim _{(x, x) \rightarrow(0,0)} \frac{x^{3} x^{3}}{x^{6}+x^{6}}=\lim _{(x, x) \rightarrow(0,0)} \frac{x^{6}}{2 x^{6}}=\lim _{(x, x) \rightarrow(0,0)} \frac{1}{2}=\frac{1}{2} \text {. }

We have two paths that give different values for the limit and hence the limit does not exist.