Surface Integrals: Learn It 3

Surface Integral of a Scalar-Valued Function

Now that we can parameterize surfaces and calculate their surface areas, we can define surface integrals. Let’s start with the surface integral of a scalar-valued function.

A surface integral of a scalar-valued function is similar to a scalar line integral, but in one higher dimension. For a line integral, the domain of integration is a parameterized curve (one-dimensional). For a surface integral, the domain of integration is a parameterized surface (two-dimensional).

The definition follows the same logic as line integrals. For scalar line integrals, we chop the domain curve into tiny pieces, choose a point in each piece, evaluate the function at that point, and take a limit of the corresponding Riemann sum. For scalar surface integrals, we chop the domain surface into tiny pieces and proceed in the same fashion.

Defining the Surface Integral

Let [latex]S[/latex] be a piecewise smooth surface with parameterization [latex]\mathbf{r}(u,v) = \langle x(u,v), y(u,v), z(u,v) \rangle[/latex] with parameter domain [latex]D[/latex]. Let [latex]f(x,y,z)[/latex] be a function with a domain that contains [latex]S[/latex].

For simplicity, assume the parameter domain [latex]D[/latex] is a rectangle (we can extend this to any parameter domain). 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 [latex]S[/latex] into pieces [latex]S_{ij}[/latex].

Choose point [latex]P_{ij}[/latex] in each piece [latex]S_{ij}[/latex], evaluate [latex]f[/latex] at [latex]P_{ij}[/latex], and multiply by the area of [latex]S_{ij}[/latex] to form the Riemann sum:

[latex]\displaystyle\sum_{i=1}^m\displaystyle\sum_{j=1}^n f(P_{ij}) \Delta S_{ij}[/latex]

surface integral of a scalar-valued function

The surface integral of a scalar-valued function of [latex]f[/latex] over a piecewise smooth surface [latex]S[/latex] is:

[latex]\large{\displaystyle\iint_Sf(x,y,z)dS=\displaystyle\lim_{m,n\to\infty}\displaystyle\sum_{i=1}^m\displaystyle\sum_{j=1}^nf(P_{ij})\Delta{S_{ij}}}[/latex].

Notice the similarities between this definition and the definition of a scalar line integral. In the line integral, we chop a curve into pieces, evaluate a function at a point in each piece, and let the length of the pieces shrink to zero. In the surface integral, we chop a surface into pieces, evaluate a function at a point in each piece, and let the area of the pieces shrink to zero.

This definition extends to parameter domains that are not rectangles by using the same logic. The basic idea is to chop the parameter domain into small pieces, choose a sample point in each piece, and so on. The exact shape of each piece becomes irrelevant as the areas shrink to zero.

Computing Surface Integrals

Scalar surface integrals are difficult to compute from the definition, just as scalar line integrals are. To make surface integrals easier to compute, we approximate surface areas [latex]\Delta S_{ij}[/latex] with small pieces of a tangent plane, as we did when calculating surface area.

Recall the definition of vectors [latex]{\bf{t}}_u[/latex] and [latex]{\bf{t}}_v[/latex]:

[latex]\mathbf{t}_u = \left\langle \dfrac{\partial x}{\partial u}, \dfrac{\partial y}{\partial u}, \dfrac{\partial z}{\partial u} \right\rangle[/latex] and [latex]\mathbf{t}_v = \left\langle \dfrac{\partial x}{\partial v}, \dfrac{\partial y}{\partial v}, \dfrac{\partial z}{\partial v} \right\rangle[/latex]

From our work with surface area, we know that:

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

Using this approximation in our Riemann sum gives:

[latex]\displaystyle\iint_Sf(x,y,z)dS\approx\displaystyle\lim_{m,n\to\infty}\displaystyle\sum_{i=1}^m\displaystyle\sum_{j=1}^nf(P_{ij})||{\bf{t}}_u(P_{ij})\times{\bf{t}}_v(P_{ij})||\Delta{u}\Delta{v}[/latex].

This approximation becomes arbitrarily close to [latex]\displaystyle\lim_{m,n\to\infty}\displaystyle\sum_{i=1}^m\displaystyle\sum_{j=1}^nf(P_{ij})\Delta{S}_{ij}[/latex] as we increase the number of pieces [latex]S_{ij}[/latex] by letting [latex]m[/latex] and [latex]n[/latex] go to infinity.

We can now state the formula for calculating scalar surface integrals:

[latex]\displaystyle\iint_Sf(x,y,z)dS=\displaystyle\iint_Df({\bf{r}}(u,v)||{\bf{t}}_u\times{\bf{t}}_v||dA[/latex].

calculating scalar surface integrals

Let [latex]S[/latex] be a smooth surface with parameterization [latex]\mathbf{r}(u,v) = \langle x(u,v), y(u,v), z(u,v) \rangle[/latex] over parameter domain [latex]D[/latex]. Then:

[latex]\displaystyle\iint_Sf(x,y,z)dS=\displaystyle\iint_Df(\mathbf{r}(u,v)) ||\mathbf{t}_u \times \mathbf{t}_v|| \, dA[/latex]

where [latex]\mathbf{t}_u[/latex] and [latex]\mathbf{t}_v[/latex] are the tangent vectors with respect to [latex]u[/latex] and [latex]v[/latex].

Line Integrals vs. Surface Integrals

The surface integral formula transforms a surface integral into a double integral. This is analogous to the line integral formula:

[latex]\displaystyle\iint_C f(x,y,z) \, ds = \displaystyle\int_a^bf(\mathbf{r}(t)) ||\mathbf{r}'(t)|| , dt[/latex]

In the surface integral case, vector [latex]\mathbf{t}_u \times \mathbf{t}_v[/latex] is perpendicular to the surface. In the line integral case, vector [latex]\mathbf{r}'[/latex] is tangent to the curve.

Calculate surface integral [latex]\displaystyle\iint_S5dS[/latex], where [latex]S[/latex] is the surface with parameterization [latex]{\bf{r}}(u,v)=\langle{v},u^2,v\rangle[/latex] for [latex]0\leq{u}\leq2[/latex] and [latex]0\leq{v}\leq{u}[/latex].

Calculate surface integral [latex]\displaystyle\iint_S(x+y^2)dS[/latex], where [latex]S[/latex] is cylinder [latex]x^2+y^2=4[/latex], [latex]0\leq{z}\leq3[/latex] (Figure 1).

A graph in three dimensions of a cylinder. The base of the cylinder is on the (x,z) plane, with center on the y axis. It stretches along the y axis.
Figure 1. Integrating function [latex]f(x,y,z)=x+y^2[/latex] over a cylinder.

Calculate surface integral [latex]\displaystyle\iint_Sf(x,y,z)dS[/latex], where [latex]f(x, y, z)=z^{2}[/latex] and [latex]S[/latex] is the surface that consists of the piece of sphere [latex]x^{2}+y^{2}+z^{2}=4[/latex] that lies on or above plane [latex]z=1[/latex] and the disk that is enclosed by intersection plane [latex]z=1[/latex] and the given sphere (Figure 2).

A diagram in three dimensions of the upper half of a sphere. The center is at the origin, and the radius is 2. The top part above the plane z=1 is cut off and shaded; the rest is simply an outline of the hemisphere. The top section has center at (0,0,1) and radius of radical three.
Figure 2. Calculating a surface integral over surface [latex]S[/latex].

Scalar surface integrals have several real-world applications. Recall that scalar line integrals can be used to compute the mass of a wire given its density function. In a similar fashion, we can use scalar surface integrals to compute the mass of a sheet given its density function. If a thin sheet of metal has the shape of surface [latex]S[/latex] and the density of the sheet at point [latex](x, y, z)[/latex] is [latex]\rho(x,y,z)[/latex], then mass [latex]m[/latex] of the sheet is:

[latex]m=\displaystyle\iint_S\rho(x,y,z)dS[/latex].

A flat sheet of metal has the shape of surface [latex]z=1+x+2y[/latex] that lies above rectangle [latex]0\leq{x}\leq4[/latex] and [latex]0\leq{y}\leq2[/latex]. If the density of the sheet is given by [latex]\rho(x,y,z)=x^2yz[/latex], what is the mass of the sheet?