13 Functions of Several Variables 13.1 Introduction to Multivariable Functions 13.3 Partial Derivatives

13.2 Limits and Continuity of Multivariable Functions

We continue with the pattern we have established in this text: after defining a new kind of function, we apply calculus ideas to it. The previous section defined functions of two and three variables; this section investigates what it means for these functions to be “continuous.”

We begin with a series of definitions. We are used to “open intervals” such as $(1,3)$ , which represents the set of all $x$ such that $1<x<3$ , and “closed intervals” such as $[1,3]$ , which represents the set of all $x$ such that $1\leq x\leq 3$ . We need analogous definitions for open and closed sets in the $x$ - $y$ plane.

^†^†margin: (a) (b) (c) Figure 13.2.1: Illustrating open and closed sets in the

x

y

plane. Λ

Definition 13.2.1 Open Disk, Boundary and Interior Points, Open and Closed Sets, Bounded Sets

An open disk $B$ in $\mathbb{R}^{2}$ centered at $(x_{0},y_{0})$ with radius $r$ is the set of all points $(x,y)$ such that $\displaystyle\sqrt{(x-x_{0})^{2}+(y-y_{0})^{2}}<r$ .

Let $S$ be a set of points in $\mathbb{R}^{2}$ . A point $P$ in $\mathbb{R}^{2}$ is a boundary point of $S$ if all open disks centered at $P$ contain both points in $S$ and points not in $S$ .

A point $P$ in $S$ is an interior point of $S$ if there is an open disk centered at $P$ that contains only points in $S$ .

A set $S$ is open if every point in $S$ is an interior point.

A set $S$ is closed if it contains all of its boundary points.

A set $S$ is bounded if there is an $M>0$ such that the open disk, centered at the origin with radius $M$ , contains $S$ . A set that is not bounded is unbounded.

Figure 13.2.1 shows several sets in the $x$ - $y$ plane. In each set, point $P_{1}$ lies on the boundary of the set as all open disks centered there contain both points in, and not in, the set. In contrast, point $P_{2}$ is an interior point for there is an open disk centered there that lies entirely within the set.

The set depicted in Figure 13.2.1(a) is a closed set as it contains all of its boundary points. The set in (b) is open, for all of its points are interior points (or, equivalently, it does not contain any of its boundary points). The set in (c) is neither open nor closed as it contains some of its boundary points.

Example 13.2.1 Determining open/closed, bounded/unbounded

Determine if the domain of the function $f(x,y)=\sqrt{1-\frac{x^{2}}{9}-\frac{y^{2}}{4}}$ is open, closed, or neither, and if it is bounded.

SolutionThis domain of this function was found in Example 13.1.2 to be $D=\{(x,y)\ |\ \frac{x^{2}}{9}+\frac{y^{2}}{4}\leq 1\}$ , the region bounded by the ellipse $\frac{x^{2}}{9}+\frac{y^{2}}{4}=1$ . Since the region includes the boundary (indicated by the use of “ $\leq$ ”), the set contains all of its boundary points and hence is closed. The region is bounded as a disk of radius 4, centered at the origin, contains $D$ .

Example 13.2.2 Determining open/closed, bounded/unbounded

Determine if the domain of $f(x,y)=\frac{1}{x-y}$ is open, closed, or neither.

SolutionAs we cannot divide by 0, we find the domain to be $D=\{(x,y)\ |\ x-y\neq 0\}$ . In other words, the domain is the set of all points $(x,y)$ not on the line $y=x$ .

^†^†margin: Figure 13.2.2: Sketching the domain of the function in Example 13.2.2. Λ

The domain is sketched in Figure 13.2.2. Note how we can draw an open disk around any point in the domain that lies entirely inside the domain, and also note how the only boundary points of the domain are the points on the line $y=x$ . We conclude the domain is an open set. The set is unbounded.

Limits

Recall a pseudo-definition of the limit of a function of one variable: “ $\displaystyle\lim_{x\to c}f(x)=L$ ” means that if $x$ is “really close” to $c$ , then $f(x)$ is “really close” to $L$ . A similar pseudo-definition holds for functions of two variables. We’ll say that

“ $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=L$ ”

means “if the point $(x,y)$ is really close to the point $(x_{0},y_{0})$ , then $f(x,y)$ is really close to $L$ .” The formal definition is given below.

Definition 13.2.2 Limit of a Function of Two Variables

Let $S$ be an open set containing $(x_{0},y_{0})$ , and let $f$ be a function of two variables defined on $S$ , except possibly at $(x_{0},y_{0})$ . The limit of $f(x,y)$ as $(x,y)$ approaches $(x_{0},y_{0})$ is $L$ , denoted

\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=L,

means that given any $\epsilon>0$ , there exists $\delta>0$ such that for all $(x,y)\neq(x_{0},y_{0})$ , if $(x,y)$ is in the open disk centered at $(x_{0},y_{0})$ with radius $\delta$ , then $\left\lvert f(x,y)-L\right\rvert<\epsilon.$

^†^†margin:
(fullscreen) Figure 13.2.3: Illustrating the definition of a limit. The open disk in the

x

y

plane has radius

\delta

. Let

(x,y)

be any point in this disk;

f(x,y)

is within

\epsilon

L

. Λ

The concept behind Definition 13.2.2 is sketched in Figure 13.2.3. Given $\epsilon>0$ , find $\delta>0$ such that if $(x,y)$ is any point in the open disk centered at $(x_{0},y_{0})$ in the $x$ - $y$ plane with radius $\delta$ , then $f(x,y)$ should be within $\epsilon$ of $L$ .

Computing limits using this definition is rather cumbersome. The following theorem allows us to evaluate limits much more easily.

Theorem 13.2.1 Basic Limit Properties of Functions of Two Variables

Let $b$ , $x_{0}$ , $y_{0}$ , $L$ and $K$ be real numbers, let $n$ be a positive integer, and let $f$ and $g$ be functions with the following limits:

\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=L\quad\text{\ and\ }\lim_{(x,y)\to(x_{0},y_% {0})}g(x,y)=K.

The following limits hold.
1. Constants: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}b=b$ 2. Identity: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}x=x_{0}$ ; $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}y=y_{0}$ 3. Sums/Differences: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}\bigl{(}f(x,y)\pm g(x,y)\bigr{)}=L\pm K$ 4. Scalar Multiples: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}b\cdot f(x,y)=bL$ 5. Products: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)\cdot g(x,y)=LK$ 6. Quotients: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)/g(x,y)=L/K$ , ( $K\neq 0$ ) 7. Powers: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)^{n}=L^{n}$ 8. Roots: $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}\sqrt[n]{f(x,y)}=\sqrt[n]{L}$ (when $n$ is odd or $L\geq 0$ )

This theorem can be proved by the same arguments as the analogous results for functions of one variable in Theorem 1.3.1. Combined with Theorems 1.3.3 and 1.3.4 of Section 1.3, this allows us to evaluate many limits.

Example 13.2.3 Evaluating a limit

Evaluate the following limits:

1.\lim_{(x,y)\to(1,\pi)}\left(\frac{y}{x}+\cos(xy)\right)\qquad\qquad 2.\lim_{% (x,y)\to(0,0)}\frac{3xy}{x^{2}+y^{2}}

Solution

(a)

The aforementioned theorems allow us to simply evaluate $y/x+\cos(xy)$ when $x=1$ and $y=\pi$ . If an indeterminate form is returned, we must do more work to evaluate the limit; otherwise, the result is the limit. Therefore

$\displaystyle\lim_{(x,y)\to(1,\pi)}\frac{y}{x}+\cos(xy)$ $\displaystyle=\frac{\pi}{1}+\cos\pi$

$\displaystyle=\pi-1.$
(b)

We attempt to evaluate the limit by substituting 0 in for $x$ and $y$ , but the result is the indeterminate form “ $0/0$ .” To evaluate this limit, we must “do more work,” but we have not yet learned what “kind” of work to do. Therefore we cannot yet evaluate this limit.

When dealing with functions of a single variable we also considered one-sided limits and stated

\lim_{x\to c}f(x)=L\quad\text{if and only if both}\quad\lim_{x\to c^{+}}f(x)=L% \quad\text{and}\quad\lim_{x\to c^{-}}f(x)=L.

That is, the limit is $L$ if and only if $f(x)$ approaches $L$ when $x$ approaches $c$ from either direction, the left or the right.

In the plane, there are infinite directions from which $(x,y)$ might approach $(x_{0},y_{0})$ . In fact, we do not have to restrict ourselves to approaching $(x_{0},y_{0})$ from a particular direction, but rather we can approach that point along any possible path. It is possible to arrive at different limiting values by approaching $(x_{0},y_{0})$ along different paths. If this happens, we say that $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)$ does not exist (this is analogous to the left and right hand limits of single variable functions not being equal).

Our theorems tell us that we can evaluate most limits quite simply, without worrying about paths. When indeterminate forms arise, the limit may or may not exist. If it does exist, it can be difficult to prove this as we need to show the same limiting value is obtained regardless of the path chosen. The case where the limit does not exist is often easier to deal with, for we can often pick two paths along which the limit is different.

Watch the video:
Showing a Limit Does Not Exist from https://youtu.be/q9xIdF33ql8

Example 13.2.4 Showing limits do not exist

(a) Show $\displaystyle\lim_{(x,y)\to(0,0)}\frac{3xy}{x^{2}+y^{2}}$ does not exist by finding the limits along the lines $y=mx$ . (b) Show $\displaystyle\lim_{(x,y)\to(0,0)}\frac{\sin(xy)}{x+y}$ does not exist by finding the limit along the path $y=-\sin x$ .

Solution

(a)

Evaluating $\displaystyle\lim_{(x,y)\to(0,0)}\frac{3xy}{x^{2}+y^{2}}$ along the lines $y=mx$ means replace all $y$ ’s with $m x$ and evaluating the resulting limit:

$\displaystyle\lim_{(x,mx)\to(0,0)}\frac{3x(mx)}{x^{2}+(mx)^{2}}$ $\displaystyle=\lim_{x\to 0}\frac{3mx^{2}}{x^{2}(m^{2}+1)}$

$\displaystyle=\lim_{x\to 0}\frac{3m}{m^{2}+1}$

$\displaystyle=\frac{3m}{m^{2}+1}.$

While the limit exists for each choice of $m$ , we get a different limit for each choice of $m$ . That is, along different lines we get differing limiting values, meaning the limit does not exist.

(b)

Let $f(x,y)=\frac{\sin(xy)}{x+y}$ . We are to show that $\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)$ does not exist by finding the limit along the path $y=-\sin x$ . First, however, consider the limits found along the lines $y=mx$ as done above.

	$\displaystyle\lim_{(x,mx)\to(0,0)}\frac{\sin\bigl{(}x(mx)\bigr{)}}{x+mx}$	$\displaystyle=\lim_{x\to 0}\frac{\sin(mx^{2})}{x(m+1)}$
		$\displaystyle=\lim_{x\to 0}\frac{\sin(mx^{2})}{x}\cdot\frac{1}{m+1}.$

By applying L’Hôpital’s Rule, we can show this limit is 0 except when $m=-1$ , that is, along the line $y=-x$ . This line is not in the domain of $f$ , so we have found the following fact: along every line $y=mx$ in the domain of $f$ , $\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)=0$ . Now consider the limit along the path $y=-\sin x$ :

\displaystyle\lim_{(x,-\sin x)\to(0,0)}\frac{\sin\bigl{(}-x\sin x\bigr{)}}{x-% \sin x}

\displaystyle=\lim_{x\to 0}\frac{\sin\bigl{(}-x\sin x\bigr{)}}{x-\sin x}

Now apply L’Hôpital’s Rule twice:

		$\displaystyle=\lim_{x\to 0}\frac{\cos\bigl{(}-x\sin x\bigr{)}(-\sin x-x\cos x)% }{1-\cos x}\quad\left(\text{``}=0/0\text{''}\right)$
		$\displaystyle=\lim_{x\to 0}\frac{-\sin\bigl{(}-x\sin x\bigr{)}(-\sin x-x\cos x% )^{2}+\cos\bigl{(}-x\sin x\bigr{)}(-2\cos x+x\sin x)}{\sin x}$
		$\displaystyle=\text{``$-2/0$''}\Rightarrow\text{the limit does not exist.}$

Step back and consider what we have just discovered. Along any line $y=mx$ in the domain of the $f(x,y)$ , the limit is 0. However, along the path $y=-\sin x$ , which lies in the domain of $f(x,y)$ for all $x\neq 0$ , the limit does not exist. Since the limit is not the same along every path to $(0,0)$ , we say $\displaystyle\lim_{(x,y)\to(0,0)}\frac{\sin(xy)}{x+y}$ does not exist.

Example 13.2.5 Finding a limit

Let $\displaystyle f(x,y)=\frac{5x^{2}y^{2}}{x^{2}+y^{2}}$ . Find $\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)$ .

SolutionIt is relatively easy to show that along any line $y=mx$ , the limit is 0. This is not enough to prove that the limit exists, as demonstrated in the previous example, but it tells us that if the limit does exist then it must be 0.

To prove the limit is 0, we apply Definition 13.2.2. Let $\epsilon>0$ be given. We want to find $\delta>0$ such that if $\sqrt{(x-0)^{2}+(y-0)^{2}}<\delta$ , then $\left\lvert f(x,y)-0\right\rvert<\epsilon$ .

Set $\delta<\sqrt{\epsilon/5}$ . Note that $\left\lvert\dfrac{5y^{2}}{x^{2}+y^{2}}\right\rvert<5$ for all $(x,y)\neq(0,0)$ , and that if $\sqrt{x^{2}+y^{2}}<\delta$ , then $x^{2}<\delta^{2}$ .

Let $\sqrt{(x-0)^{2}+(y-0)^{2}}=\sqrt{x^{2}+y^{2}}<\delta$ . Consider $\left\lvert f(x,y)-0\right\rvert$ :

	$\displaystyle\left\lvert f(x,y)-0\right\rvert$	$\displaystyle=\left\lvert\frac{5x^{2}y^{2}}{x^{2}+y^{2}}-0\right\rvert$
		$\displaystyle=\left\lvert x^{2}\cdot\frac{5y^{2}}{x^{2}+y^{2}}\right\rvert$
		$\displaystyle<\delta^{2}\cdot 5$
		$\displaystyle<\frac{\epsilon}{5}\cdot 5$
		$\displaystyle=\epsilon.$

Thus if $\sqrt{(x-0)^{2}+(y-0)^{2}}<\delta$ then $\left\lvert f(x,y)-0\right\rvert<\epsilon$ , which is what we wanted to show. Thus $\displaystyle\lim_{(x,y)\to(0,0)}\frac{5x^{2}y^{2}}{x^{2}+y^{2}}=0$ .

We also have a multivariable version of the squeeze theorem.

Theorem 13.2.2 Squeeze Theorem

Let $S$ be an open set containing $(x_{0},y_{0})$ . Suppose $f(x,y)$ , $g(x,y)$ , and $h(x,y)$ are defined on $S$ except possibly at $(x_{0},y_{0})$ and both

\lim_{(x,y)\to(x_{0},y_{0})}g(x,y)=L\quad\text{and}\quad\lim_{(x,y)\to(x_{0},y% _{0})}h(x,y)=L.

If $g(x,y)\leq f(x,y)\leq h(x,y)$ for all $(x,y)\in S$ except possibly at $(x_{0},y_{0})$ , then

\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=L.

This theorem provides other proofs of the previous example.

Example 13.2.6 Finding a limit using the Squeeze Theorem

We have

0\leq\frac{5x^{2}y^{2}}{x^{2}+y^{2}}\leq\frac{5x^{2}y^{2}+5y^{4}}{x^{2}+y^{2}}% =\frac{5y^{2}(x^{2}+y^{2})}{x^{2}+y^{2}}=5y^{2}.

Since $0\to 0$ and $5y^{2}\to 0$ as $(x,y)\to(0,0)$ we have

\lim_{(x,y)\to(0,0)}\frac{5x^{2}y^{2}}{x^{2}+y^{2}}=0

by the Squeeze Theorem.

If we set $x=r\cos\theta$ and $y=r\sin\theta$ we have $(x,y)\rightarrow 0$ as $r\rightarrow 0$ . Now

\frac{5x^{2}y^{2}}{x^{2}+y^{2}}=\frac{5r^{4}\cos^{2}\theta\sin^{2}\theta}{r^{2% }(\cos^{2}\theta+\sin^{2}\theta)}=5r^{2}\cos^{2}\theta\sin^{2}\theta.

Thus

0\leq\frac{5x^{2}y^{2}}{x^{2}+y^{2}}=5r^{2}\cos^{2}\theta\sin^{2}\theta\leq 5r% ^{2}.

Since $5r^{2}\to 0$ as $r\to 0$ we have again

\lim_{(x,y)\to(0,0)}\frac{5x^{2}y^{2}}{x^{2}+y^{2}}=0

by the Squeeze Theorem.

Continuity

Definition 1.6.1 defines what it means for a function of one variable to be continuous. In brief, it meant that the function always equaled its limit. We define continuity for functions of two variables in a similar way as we did for functions of one variable.

Definition 13.2.3 Continuous

Let a function $f(x,y)$ be defined on an open disk $B$ containing the point $(x_{0},y_{0})$ .

(a)

$f$ is continuous at $(x_{0},y_{0})$ if $\displaystyle\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=f(x_{0},y_{0})$ .
(b)

$f$ is continuous on an open set $S$ if $f$ is continuous at each points in $S$ . (We say that $f$ is continuous everywhere if $f$ is continuous on $\mathbb{R}^{2}$ .)

It follows that if $f$ is a continuous function of one variable, then $f(x)$ (or $f(y)$ ) is a continuous function of the variables $(x,y)$ .

Example 13.2.7 Continuity of a function of two variables

Let $\displaystyle f(x,y)=\begin{cases}\frac{\cos y\sin x}{x}&x\neq 0\\ \cos y&x=0\end{cases}$ . Is $f$ continuous at $(0,0)$ ? Is $f$ continuous everywhere?

SolutionTo determine if $f$ is continuous at $(0,0)$ , we need to compare $\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)$ to $f(0,0)$ .

Applying the definition of $f$ , we see that $f(0,0)=\cos 0=1$ .

We now consider the limit $\displaystyle\lim_{(x,y)\to(0,0)}f(x,y)$ . Substituting $0$ for $x$ and $y$ in $(\cos y\sin x)/x$ returns the indeterminate form “0/0”, so we need to do more work to evaluate this limit.

Consider two related limits: $\displaystyle\lim_{(x,y)\to(0,0)}\cos y$ and $\displaystyle\lim_{(x,y)\to(0,0)}\frac{\sin x}{x}$ . The first limit does not contain $x$ , and since $\cos y$ is continuous,

\displaystyle\lim_{(x,y)\to(0,0)}\cos y=\lim_{y\to 0}\cos y=\cos 0=1.

The second limit does not contain $y$ . By Theorem 1.3.6 we can say

\lim_{(x,y)\to(0,0)}\frac{\sin x}{x}=\lim_{x\to 0}\frac{\sin x}{x}=1.

Finally, Theorem 13.2.1 of this section states that we can combine these two limits as follows:

	$\displaystyle\lim_{(x,y)\to(0,0)}\frac{\cos y\sin x}{x}$	$\displaystyle=\lim_{(x,y)\to(0,0)}(\cos y)\left(\frac{\sin x}{x}\right)$
		$\displaystyle=\left(\lim_{(x,y)\to(0,0)}\cos y\right)\left(\lim_{(x,y)\to(0,0)% }\frac{\sin x}{x}\right)$
		$\displaystyle=(1)(1)$
		$\displaystyle=1.$

We have found that $\displaystyle\lim_{(x,y)\to(0,0)}\frac{\cos y\sin x}{x}=f(0,0)$ , so $f$ is continuous at $(0,0)$ .

^†^†margin:
(fullscreen) Figure 13.2.4: A graph of

f(x,y)

in Example 13.2.7. Λ

A similar analysis shows that $f$ is continuous at all points in $\mathbb{R}^{2}$ . As long as $x\neq 0$ , we can evaluate the limit directly; when $x=0$ , a similar analysis shows that the limit is $\cos y$ . Thus we can say that $f$ is continuous everywhere. A graph of $f$ is given in Figure 13.2.4. Notice how it has no breaks, jumps, etc.

The following theorems are very similar to Theorems 1.6.1 and 1.6.2, giving us ways to combine continuous functions to create other continuous functions.

Theorem 13.2.3 Properties of Continuous Functions

Let $f$ and $g$ be continuous on an open set $S$ , let $c$ be a real number, and let $n$ be a positive integer. The following functions are continuous on $S$ .
1. Sums/Differences: $f\pm g$ 2. Constant Multiples: $c\cdot f$ 3. Products: $f\cdot g$ 4. Quotients: $f/g$ (as longs as $g\neq 0$ on $B$ ) 5. Powers: $f\,^{n}$ 6. Roots: $\sqrt[n]{f}$ (if $f\geq 0$ on $B$ or $n$ is odd)

Theorem 13.2.4 Continuity of Compositions

Let $f$ be continuous on $S$ , where the range of $f$ on $S$ is $J$ , and let $g$ be a single variable function that is continuous on $J$ . Then

(g\circ f)(x,y)=g(f(x,y)),

is continuous on $S$ .

Example 13.2.8 Establishing continuity of a function

Let $f(x,y)=\sin(x^{2}\cos y)$ . Show $f$ is continuous everywhere.

SolutionWe will apply Theorems 1.6.1, 13.2.3, and 13.2.4. We let $f_{1}(x,y)=x^{2}$ . Since $y$ is not actually used in the function, and polynomials are continuous (by Theorem 1.6.1), we conclude $f_{1}$ is continuous everywhere. A similar statement can be made about $f_{2}(x,y)=\cos y$ . Part 3 of Theorem 13.2.3 states that $f_{3}=f_{1}\cdot f_{2}$ is continuous everywhere, and Theorem 13.2.4 states the composition of sine with $f_{3}$ is continuous: that is, $\sin(f_{3})=\sin(x^{2}\cos y)$ is continuous everywhere.

Functions of Three Variables

The definitions and theorems given in this section can be extended in a natural way to definitions and theorems about functions of three (or more) variables. We cover the key concepts here; some terms from Definitions 13.2.1 and 13.2.3 are not redefined but their analogous meanings should be clear to the reader.

Definition 13.2.4 Open Balls, Limit, Continuous

(a) An open ball in $\mathbb{R}^{3}$ centered at $(x_{0},y_{0},z_{0})$ with radius $r$ is the set of all points $(x,y,z)$ such that $\sqrt{(x-x_{0})^{2}+(y-y_{0})^{2}+(z-z_{0})^{2}}=r$ . (b) Let $D$ be an open set in $\mathbb{R}^{3}$ containing $(x_{0},y_{0},z_{0})$ , and let $f(x,y,z)$ be a function of three variables defined on $D$ , except possibly at $(x_{0},y_{0},z_{0})$ . The limit of $f(x,y,z)$ as $(x,y,z)$ approaches $(x_{0},y_{0},z_{0})$ is $L$ , denoted $\lim_{(x,y,z)\to(x_{0},y_{0},z_{0})}f(x,y,z)=L,$ means that given any $\epsilon>0$ , there is a $\delta>0$ such that for all $(x,y,z)\neq(x_{0},y_{0},z_{0})$ , if $(x,y,z)$ is in the open ball centered at $(x_{0},y_{0},z_{0})$ with radius $\delta$ , then $\left\lvert f(x,y,z)-L\right\rvert<\epsilon$ . (c) Let $f(x,y,z)$ be defined on an open ball $B$ containing $(x_{0},y_{0},z_{0})$ . Then $f$ is continuous at $(x_{0},y_{0},z_{0})$ if $\displaystyle\lim_{(x,y,z)\to(x_{0},y_{0},z_{0})}f(x,y,z)=f(x_{0},y_{0},z_{0})$ .

These definitions can also be extended naturally to apply to functions of four or more variables. Theorems 13.2.3 and 13.2.4 also applies to function of three or more variables, allowing us to say that the function

f(x,y,z)=\frac{e^{x^{2}+y}\sqrt{y^{2}+z^{2}+3}}{\sin(xyz)+5}

is continuous everywhere.

When considering single variable functions, we studied limits, then continuity, then the derivative. In our current study of multivariable functions, we have studied limits and continuity. In the next section we study derivation, which takes on a slight twist as we are in a multivariable context.

Exercises 13.2

Terms and Concepts

1.

Describe in your own words the difference between boundary and interior points of a set.
2.
Use your own words to describe (informally) what $\displaystyle\lim_{(x,y)\to(1,2)}f(x,y)=17$ means.
3.

Give an example of a closed, bounded set.
4.

Give an example of a closed, unbounded set.
5.

Give an example of a open, bounded set.
6.

Give an example of a open, unbounded set.

Problems

In Exercises 7–10., a set $S$ is given.

(a)

Give one boundary point and one interior point, when possible, of $S$ .
(b)

State whether $S$ is open, closed, or neither.
(c)

State whether $S$ is bounded or unbounded.

7.

$\displaystyle S=\left\{(x,y)\,\left|\,\frac{(x-1)^{2}}{4}+\frac{(y-3)^{2}}{9}% \leq 1\right.\right\}$
8.

$\displaystyle S=\left\{(x,y)\,|\,y\neq x^{2}\right\}$
9.

$\displaystyle S=\left\{(x,y)\,|\,x^{2}+y^{2}=1\right\}$
10.

$\displaystyle S=\{(x,y)|y>\sin x\}$

In Exercises 11–18.:

(a)

Find the domain $D$ of the given function.
(b)

State whether $D$ is an open or closed set.
(c)

State whether $D$ is bounded or unbounded.

11.

$\displaystyle f(x,y)=\sqrt{9-x^{2}-y^{2}}$
12.

$\displaystyle f(x,y)=\sqrt{y-x^{2}}$
13.

$\displaystyle f(x,y)=\frac{1}{\sqrt{y-x^{2}}}$
14.

$\displaystyle f(x,y)=\frac{x^{2}-y^{2}}{x^{2}+y^{2}}$
15.

$f(x,y)=x^{2}+3xy+y^{2}$
16.

$f(x,y)=\dfrac{x^{2}+y+1}{x-2y+3}$
17.

$f(x,y)=\dfrac{1}{\sqrt{1-x^{2}-y^{2}}}$
18.

$f(x,y)=\ln(xy)$

In Exercises 19–24., a limit is given. Evaluate the limit along the paths given, then state why these results show the given limit does not exist.

19.
$\displaystyle\lim_{(x,y)\to(0,0)}\frac{x^{2}-y^{2}}{x^{2}+y^{2}}$ (a) Along the path $y=0$ . (b) Along the path $x=0$ .
20.
$\displaystyle\lim_{(x,y)\to(0,0)}\frac{x+y}{x-y}$ (a) Along the path $y=mx$ .
21.
$\displaystyle\lim_{(x,y)\to(0,0)}\frac{xy-y^{2}}{y^{2}+x}$ (a) Along the path $y=mx$ . (b) Along the path $x=0$ .
22.
$\displaystyle\lim_{(x,y)\to(0,0)}\frac{\sin(x^{2})}{y}$ (a) Along the path $y=mx$ . (b) Along the path $y=x^{2}$ .
23.
$\displaystyle\lim_{(x,y)\to(1,2)}\frac{x+y-3}{x^{2}-1}$ (a) Along the path $y=2$ . (b) Along the path $y=x+1$ .
24.
$\displaystyle\lim_{(x,y)\to(\pi,\pi/2)}\frac{\sin x}{\cos y}$ (a) Along the path $x=\pi$ . (b) Along the path $y=x-\pi/2$ .

25.
Use the Squeeze Theorem to show $\lim_{(x,y)\to(0,0)}\sin(xy)\cos\left(\frac{1}{x^{2}+y^{2}}\right)=0.$
26.
Let $f(x,y)=\dfrac{x^{2}y}{x^{4}+y^{2}}$ . (a) Show that $f(x,y)\to 0$ along every line through the origin. (b) Despite this, show that $\lim_{(x,y)\to(0,0)}f(x,y)$ does not exist.
27.
Show that $\lim_{(x,y)\to(0,0)}\frac{x^{4}-9y^{4}}{x^{2}+3y^{2}}=0.$

	$\displaystyle\lim_{(x,y)\to(1,\pi)}\frac{y}{x}+\cos(xy)$	$\displaystyle=\frac{\pi}{1}+\cos\pi$
		$\displaystyle=\pi-1.$

	$\displaystyle\lim_{(x,mx)\to(0,0)}\frac{3x(mx)}{x^{2}+(mx)^{2}}$	$\displaystyle=\lim_{x\to 0}\frac{3mx^{2}}{x^{2}(m^{2}+1)}$
		$\displaystyle=\lim_{x\to 0}\frac{3m}{m^{2}+1}$
		$\displaystyle=\frac{3m}{m^{2}+1}.$