Surface Integrals: Learn It 2

Surface Area of a Parametric Surface

Now that we can parameterize surfaces, we need to define the surface area of a parametric surface. This definition provides the foundation for surface integrals.

Let [latex]S[/latex] be a surface with parameterization [latex]\mathbf{r}(u,v) = \langle x(u,v), y(u,v), z(u,v) \rangle[/latex] over some parameter domain [latex]D[/latex]. We assume the surface parameterization is continuously differentiable—meaning each component function has continuous partial derivatives. For simplicity, assume [latex]D[/latex] is a rectangle (this material extends to nonrectangular domains). Divide rectangle [latex]D[/latex] into subrectangles [latex]D_{ij}[/latex] with horizontal width [latex]\Delta u[/latex] and vertical length [latex]\Delta v[/latex].

Suppose [latex]i[/latex] ranges from [latex]1[/latex] to [latex]m[/latex] and [latex]j[/latex] ranges from [latex]1[/latex] to [latex]n[/latex], so [latex]D[/latex] is subdivided into [latex]mn[/latex] rectangles. This division of [latex]D[/latex] into subrectangles gives a corresponding division of surface [latex]S[/latex] into pieces [latex]S_{ij}[/latex]. Choose point [latex]P_{ij}[/latex] in each piece [latex]S_{ij}[/latex]. Point [latex]P_{ij}[/latex] corresponds to point [latex](u_i, v_j)[/latex] in the parameter domain.

Grid Curves and Tangent Vectors

We can form a grid with lines parallel to the [latex]u[/latex]-axis and [latex]v[/latex]-axis in the [latex]uv[/latex]-plane. These grid lines correspond to a set of grid curves on surface [latex]S[/latex] that is parameterized by [latex]\mathbf{r}(u,v)[/latex].

Without loss of generality, assume [latex]P_{ij}[/latex] is located at the corner of two grid curves, as in Figure 9. If we think of [latex]\mathbf{r}[/latex] as a mapping from the [latex]uv[/latex]-plane to [latex]\mathbb{R}^3[/latex], the grid curves are the image of the grid lines under [latex]\mathbf{r}[/latex].

Consider the grid lines through point [latex](u_i, v_j)[/latex]. One line is given by [latex]x = u_i[/latex], [latex]y = v[/latex]; the other is given by [latex]x = u[/latex], [latex]y = v_j[/latex]. In the first grid line, the horizontal component is held constant, yielding a vertical line through [latex](u_i, v_j)[/latex]. In the second grid line, the vertical component is held constant, yielding a horizontal line through [latex](u_i, v_j)[/latex]. The corresponding grid curves are [latex]\mathbf{r}(u_i, v)[/latex] and [latex]\mathbf{r}(u, v_j)[/latex], and these curves intersect at point [latex]P_{ij}[/latex].

Two diagrams, showing that grid lines on a parameter domain correspond to grid curves on a surface. The first shows a two-dimensional rectangle in the u,v plane. The horizontal rectangle is in quadrant 1 and broken into 9x5 rectangles in a grid format. One rectangle Dij has side lengths delta u and delta v. The coordinates of the lower left corner are (u_i *, v_j *). In three dimensions, the surface curves above the x,y plane. The D_ij portion has become S_ij on the surface with lower left corner P_ij.
Figure 9. Grid lines on a parameter domain correspond to grid curves on a surface.

Now consider the vectors that are tangent to these grid curves. For grid curve [latex]{\bf{r}}(u_i,v)[/latex] the tangent vector at [latex]P_{ij}[/latex] is:

[latex]{\bf{t}}_v(P_{ij})={\bf{r}}_v(u_i,v_j)=\langle{x}_v(u_i,v_j),y_v(u_i,v_j),z_v(u_i,v_j)\rangle[/latex].

For grid curve [latex]{\bf{r}}(u,v_j)[/latex], the tangent vector at [latex]P_{ij}[/latex] is:

[latex]{\bf{t}}_u(P_{ij})={\bf{r}}_y(u_i,v_j)=\langle{x}_v(u_i,v_j),y_u(u_i,v_j),z_u(u_i,v_j)\rangle[/latex].

If vector [latex]{\bf{N}}={\bf{t}}_u(P_{ij})\times{\bf{t}}_u(P_{ij}[/latex] exists and is not zero, then the tangent plane at [latex]P_{ij}[/latex] exists (Figure 10).

If piece [latex]S_{ij}[/latex] is small enough, then the tangent plane at point [latex]P_{ij}[/latex] is a good approximation of piece [latex]S_{ij}[/latex].

Two diagrams. The one on the left is two dimensional and in the first quadrant of the u,v coordinate plane. A point u_0 is marked on the horizontal u axis, and a point v_0 is marked on the vertical v axis. The point (u_0, v_0) is shown in the plane. The diagram on the right shows the grid curve version. Now, the u_0 is marked as r(u_0, v) and the v_0 is marked as r(u, v_0). The (u_0, v_0) point is labeled P. Coming out of P are three arrows: one is a vertical N arrow, and the other two are t_u and t_v for the tangent plane.
Figure 10. If the cross product of vectors [latex]{\bf{t}}_u[/latex] and [latex]{\bf{t}}_v[/latex] exists, then there is a tangent plane.

Approximating Surface Area

The tangent plane at [latex]P_{ij}[/latex] contains vectors [latex]\mathbf{t}_u(P_{ij})[/latex] and [latex]\mathbf{t}_v(P_{ij})[/latex]. Therefore, the parallelogram spanned by these two vectors lies in the tangent plane.

Since the original rectangle in the [latex]uv[/latex]-plane corresponding to [latex]S_{ij}[/latex] has width [latex]\Delta u[/latex] and length [latex]\Delta v[/latex], we approximate [latex]S_{ij}[/latex] using the parallelogram spanned by [latex]\Delta{u}{\bf{t}}_u(P_{ij})[/latex] and [latex]\Delta{v}{\bf{t}}_v(P_{ij})[/latex].

In other words, we scale the tangent vectors by the constants [latex]\Delta u[/latex] and [latex]\Delta v[/latex] to match the scale of the original division of rectangles in the parameter domain.

Therefore, the area of the parallelogram used to approximate the area of [latex]S_{ij}[/latex] is:

[latex]\Delta{S_{ij}}\approx||(\Delta{u}{\bf{t}}_u(P_{ij}))\times(\Delta{v}{\bf{t}}_v(P_{ij}))=||{\bf{t}}_u(P_{ij})\times{\bf{t}}_v(P_{ij})||\Delta{u}\Delta{v}[/latex].

Varying point [latex]P_{ij}[/latex] over all pieces [latex]S_{ij}[/latex] and the previous approximation leads to the following definition of surface area of a parametric surface (Figure 11).

A surface S_ij that looks like a curved parallelogram. Point P_ij is at the bottom left corner, and two blue arrows stretch from this point to the upper left and lower right corners of the surface. Two red arrows also stretch out from this point, and they are labeled t_v delta v and t_u delta u. These form two sides of a parallelogram that approximates the piece of surface of S_ij. The other two sides are drawn as dotted lines.
Figure 11. The parallelogram spanned by [latex]{\bf{t}}_u[/latex] and [latex]{\bf{t}}_v[/latex] approximates the piece of surface [latex]S_{ij}[/latex].

surface area of a parametric surface

Let [latex]{\bf{r}}(u,v)=\langle(x(u,v),y(u,v),z(u,v)\rangle[/latex] with parameter domain [latex]D[/latex] be a smooth parameterization of surface [latex]S[/latex]. Furthermore, assume that [latex]S[/latex] is traced out only once as [latex](u, v)[/latex] varies over [latex]D[/latex]. The surface area of [latex]S[/latex] is:

[latex]\large{\displaystyle\iint_D||{\bf{t}}_u\times{\bf{t}}_v||dA}[/latex],

where [latex]{\bf{t}}_u=\left\langle\frac{\partial{x}}{\partial{u}},\frac{\partial{y}}{\partial{u}},\frac{\partial{z}}{\partial{u}}\right\rangle\text{ and }{\bf{t}}_v=\left\langle\frac{\partial{x}}{\partial{v}},\frac{\partial{y}}{\partial{v}},\frac{\partial{z}}{\partial{v}}\right\rangle[/latex].

Calculate the lateral surface area (the area of the “side,” not including the base) of the right circular cone with height [latex]h[/latex] and radius [latex]r[/latex].

Show that the surface area of the sphere [latex]x^{2}+y^{2}+z^{2}=r^{2}[/latex] is [latex]4\pi{r}^2[/latex].

Surfaces of Revolution

In addition to parameterizing surfaces given by equations or standard geometric shapes such as cones and spheres, we can also parameterize surfaces of revolution. This lets us calculate the surface area of a surface of revolution using the same techniques.

Let [latex]y = f(x) \geq 0[/latex] be a positive single-variable function on the domain [latex]a \leq x \leq b[/latex], and let [latex]S[/latex] be the surface obtained by rotating [latex]f[/latex] about the [latex]x[/latex]-axis (Figure 13). Let [latex]\theta[/latex] be the angle of rotation. Then [latex]S[/latex] can be parameterized with parameters [latex]x[/latex] and [latex]\theta[/latex] by:

[latex]\mathbf{r}(x,\theta) = \langle x, f(x)\cos\theta, f(x)\sin\theta \rangle, \quad a \leq x \leq b, \quad 0 \leq \theta \leq 2\pi[/latex]

Two diagrams, a and b, showing the surface of revolution. The first shows three dimensions. In the (x,y) plane, a curve labeled y = f(x) is drawn in quadrant 1. A line is drawn from the endpoint of the curve down to the x axis, and it is labeled f(x). The second shows the same three dimensional view. However, the curve from the first diagram has been rotated to form a three dimensional shape about the x axis. The boundary is still labeled y = f(x), as the curve in the first plane was. The opening of the three dimensional shape is circular with the radius f(x), just as the line from the curve to the x axis in the plane of the first diagram was labeled. A point on the opening’s boundary is labeled (x,y,z), the distance from the x axis to this point is drawn and labeled f(x), and the height is drawn and labeled z. The height is perpendicular to the x,y plane and, as such, the original f(x) line drawn from the first diagram. The angle between this line and the line from the x axis to (x,y,z) is labeled theta.
Figure 13. We can parameterize a surface of revolution by [latex]{\bf{r}}(x,\theta)=\langle{x},f(x)\cos\theta,f(x)\sin\theta\rangle[/latex], [latex]a\leq{x}\leq{b}, 0\leq{x}\leq2\pi[/latex].
Find the area of the surface of revolution obtained by rotating [latex]y=x^2[/latex], [latex]0\leq{x}\leq{b}[/latex] about the [latex]x[/latex]-axis (Figure 14).

A solid of revolution drawn in two dimensions. The solid is formed by rotating the function y = x^2 about the x axis. A point C is marked on the x axis between 0 and x’, which marks the opening of the solid.
Figure 14. A surface integral can be used to calculate the surface area of this solid of revolution.