# 14.1: Functions of Several Variables

- Page ID
- 929

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

In single-variable calculus we were concerned with functions that map the real numbers \(\mathbb{R}\) to \(\mathbb{R}\), sometimes called "real functions of one variable'', meaning the "input'' is a single real number and the "output'' is likewise a single real number. In the last chapter we considered functions taking a real number to a vector, which may also be viewed as functions \(f\colon\mathbb{R}\to\mathbb{R}^3\), that is, for each input value we get a position in space. Now we turn to functions of several variables, meaning several input variables, functions \(f\colon \mathbb{R} ^n\to\mathbb{R}\). We will deal primarily with \(n=2\) and to a lesser extent \(n=3\); in fact many of the techniques we discuss can be applied to larger values of \(n\) as well.

A function \(f\colon \mathbb{R} ^2\to\mathbb{R}\) maps a pair of values \((x,y)\) to a single real number. The three-dimensional coordinate system we have already used is a convenient way to visualize such functions: above each point \((x,y)\) in the \(x\)-\(y\) plane we graph the point \((x,y,z)\), where of course \(z=f(x,y)\).

Example \(\PageIndex{1}\)

Consider \(f(x,y)=3x+4y-5\). Writing this as \(z=3x+4y-5\) and then \(3x+4y-z=5\) we recognize the equation of a plane. In the form \(f(x,y)=3x+4y-5\) the emphasis has shifted: we now think of \(x\) and \(y\) as independent variables and \(z\) as a variable dependent on them, but the geometry is unchanged.

Example \(\PageIndex{2}\)

We have seen that \(x^2+y^2+z^2=4\) represents a sphere of radius 2. We cannot write this in the form \(f(x,y)\), since for each \(x\) and \(y\) in the disk \(x^2+y^2 < 4\) there are two corresponding points on the sphere. As with the equation of a circle, we can resolve this equation into two functions, \(f(x,y)=\sqrt{4-x^2-y^2}\) and \(f(x,y)=-\sqrt{4-x^2-y^2}\), representing the upper and lower hemispheres. Each of these is an example of a function with a restricted domain: only certain values of \(x\) and \(y\) make sense (namely, those for which \(x^2+y^2\le 4\)) and the graphs of these functions are limited to a small region of the plane.

Example \(\PageIndex{3}\)

Consider \(f=\sqrt x+\sqrt y\). This function is defined only when both \(x\) and \(y\) are non-negative. When \(y=0\) we get \(f(x,y)=\sqrt x\), the familiar square root function in the \(x\)-\(z\) plane, and when \(x=0\) we get the same curve in the \(y\)-\(z\) plane. Generally speaking, we see that starting from \(f(0,0)=0\) this function gets larger in every direction in roughly the same way that the square root function gets larger. For example, if we restrict attention to the line \(x=y\), we get \(f(x,y)=2\sqrt x\) and along the line \(y=2x\) we have

\[f(x,y)=\sqrt x+\sqrt{2x}=(1+\sqrt2)\sqrt x. \nonumber \]

**Figure 14.1.1.** \(f(x,y)=\sqrt x+\sqrt y\)

A computer program that plots such surfaces can be very useful, as it is often difficult to get a good idea of what they look like. Still, it is valuable to be able to visualize relatively simple surfaces without such aids. As in the previous example, it is often a good idea to examine the function on restricted subsets of the plane, especially lines. It can also be useful to identify those points \((x,y)\) that share a common \(z\)-value.

Example \(\PageIndex{4}\):

Consider \(f(x,y)=x^2+y^2\). When \(x=0\) this becomes \(f=y^2\), a parabola in the \(y\)-\(z\) plane; when \(y=0\) we get the "same'' parabola \(f=x^2\) in the \(x\)-\(z\) plane. Now consider the line \(y=kx\). If we simply replace \(y\) by \(kx\) we get \(f(x,y)=(1+k^2)x^2\) which is a parabola, but it does not really "represent'' the cross-section along \(y=kx\), because the cross-section has the line \(y=kx\) where the horizontal axis should be. In order to pretend that this line is the horizontal axis, we need to write the function in terms of the distance from the origin, which is \(\sqrt{x^2+y^2}=\sqrt{x^2+k^2x^2}\). Now

\[f(x,y)=x^2+k^2x^2=(\sqrt{x^2+k^2x^2})^2. \nonumber\]

So the cross-section is the "same'' parabola as in the \(x\)-\(z\) and \(y\)-\(z\) planes, namely, the height is always the distance from the origin squared. This means that \(f(x,y)=x^2+y^2\) can be formed by starting with \(z=x^2\) and rotating this curve around the \(z\) axis.

Finally, picking a value \(z=k\), at what points does \(f(x,y)=k\)? This means \(x^2+y^2=k\), which we recognize as the equation of a circle of radius \(\sqrt k\). So the graph of \(f(x,y)\) has parabolic cross-sections, and the same height everywhere on concentric circles with center at the origin. This fits with what we have already discovered.

As in this example, the points \((x,y)\) such that \(f(x,y)=k\) usually form a curve, called a **level curve** of the function. A graph of some level curves can give a good idea of the shape of the surface; it looks much like a topographic map of the surface. In Figure 14.1.2 both the surface and its associated level curves are shown. Note that, as with a topographic map, the heights corresponding to the level curves are evenly spaced, so that where curves are closer together the surface is steeper.

Functions \(f\colon \mathbb{R}^n\to\mathbb{R}\) behave much like functions of two variables; we will on occasion discuss functions of three variables. The principal difficulty with such functions is visualizing them, as they do not "fit'' in the three dimensions we are familiar with. For three variables there are various ways to interpret functions that make them easier to understand. For example, \(f(x,y,z)\) could represent the temperature at the point \((x,y,z)\), or the pressure, or the strength of a magnetic field. It remains useful to consider those points at which \(f(x,y,z)=k\), where \(k\) is some constant value. If \(f(x,y,z)\) is temperature, the set of points \((x,y,z)\) such that \(f(x,y,z)=k\) is the collection of points in space with temperature \(k\); in general this is called a **level set**; for three variables, a level set is typically a surface, called a **level surface**.

Example \(\PageIndex{5}\):

Suppose the temperature at \((x,y,z)\) is \(T(x,y,z)=e^{-(x^2+y^2+z^2)}\). This function has a maximum value of 1 at the origin, and tends to 0 in all directions. If \(k\) is positive and at most 1, the set of points for which \(T(x,y,z)=k\) is those points satisfying \(x^2+y^2+z^2=-\ln k\), a sphere centered at the origin. The level surfaces are the concentric spheres centered at the origin.

## Contributors

Integrated by Justin Marshall.