Surface Integrals

Section 9.5 Surface Integrals

In this section we define integrals of functions on surfaces.

Subsection 9.5.1 The Definition of Surface Integrals

In Theorem 5.19 we derived a formula telling us how to integrate a function over a deformed plane domain. We called it the transformation formula. The original domain, and its image, the deformed domain, were both lying in the plane. A surface, at least locally, is the image of a plane domain lying not in the plane but in space. Hence to construct surface integrals we proceed in exactly the same way as we derived the transformation formula. Assume now that

S

is a smooth surface, and for simplicity we assume that it is parametrised by one function

g : D \to S,

where

D \subset R^{2} .

We again look at the image,

g (R),

of a small rectangle

R \subset D

as shown in Figure 9.18

🔗

Figure 9.18. Deformation of a small rectangle by $g$
🔗

The idea is similar to Figure 5.16, with the only difference that

g (R) \subset R^{3} .

The vectors

v_{1}

and

v_{2}

are given exactly the same way:

🔗

\begin{matrix} (9.6) & v_{1} = \frac{\partial g}{\partial y_{1}} (y) Δ y_{1} and v_{2} = \frac{\partial g}{\partial y_{2}} (y) Δ y_{2} . \end{matrix}

The difference is that they have three and not two components, which means that we need a different formula to compute the area of the parallelogram they span. To compute that area we use Theorem 1.16. Note that the matrix with columns

🔗

\frac{\partial g}{\partial y_{1}} (y) and \frac{\partial g}{\partial y_{2}} (y)

is the Jacobian matrix,

J_{g} (y),

g

y .

Hence the approximate area of

g (R)

in our present situation is

🔗

area (g (R)) ≊ \sqrt{det ((J_{g} (y))^{T} J_{g} (y))} Δ y_{1} Δ y_{2} .

🔗

We encountered the above determinant already when defining smooth surfaces, and called it the Jacobian of the parametrisation

g .

The Jacobian is the factor by which the area of a small rectangle is distorted when mapped by

g

onto the surface. To define surface integrals we replace

| det (J_{g} (y)) |

by the Jacobian of the parametrisation

g .

This motivates the following definition.

🔗

Definition 9.19. Surface integral of a scalar function.

Suppose that

S

is a smooth surface parametrised by

g : D \to S .

f

is a continuous function on

S

then we define

🔗

\begin{matrix} (9.7) & \int_{S} f d S := \int_{D} f (g (y)) \sqrt{det ((J_{g} (y))^{T} J_{g} (y))} d y . \end{matrix}

S

is piecewise smooth, or has to be parametrised by more than one function, we just add up the corresponding integrals.

🔗

Remark 9.20.

Note that we can compute the Jacobian of

g

by using Proposition 9.17.

🔗

Observation 9.21.

If we set

f = 1

S

then the surface integral yields the area of the surface. Hence, if

S

is parametrised by

g

then

🔗

area (S) = \int_{S} 1 d S = \int_{D} \sqrt{det ((J_{g} (y))^{T} J_{g} (y))} d y .

🔗

Remark 9.22.

Let us note that the above definition of surface integrals can be generalised to to

k

-dimensional “surfaces” in

R^{N} .

In particular it is consistent with the definition of integrals over a one dimensional “surface,” that is, a curve, where

k = 1 .

If we parametrise a curve

C

γ (t),

t \in I,

then it was shown in Remark 9.4 that

🔗

(J_{γ} (t))^{T} J_{γ} (t) = γ^{'} (t)^{T} γ^{'} (t) = ‖ γ^{'} (t) ‖^{2} .

If we apply (9.7) to the present situation we get

🔗

\begin{aligned} \int_{C} f d s & := \int_{I} f (γ (t)) \sqrt{det ((J_{γ} (t))^{T} J_{γ} (t))} d t \\ = \int_{I} f (γ (t)) ‖ γ^{'} (t) ‖ d t, \end{aligned}

which coincides with the formula given in Definition 7.10.

🔗

Remark 9.23.

Let us emphasise that Definition 9.19 reduces to the transformation formula in Theorem 5.19 if

S

is flat, that is, lies in

R^{2}!

One could ask why the transformation formula was a theorem, and the above is a definition. The reason is that, if

g (D)

is in

R^{2},

then the integral over

g (D)

is already defined. The theorem tells us that we can compute it using the transformation formula. For surfaces, however, the integral is not already defined, so we use (9.7) to do so.

🔗

It was not a trivial task to define the surface area for general surfaces such that it has the properties we expect, and some attempts failed. To define the length of a curve we approximated the given curve by polygons. Mathematicians tried to generalise this idea to surfaces, approximating them by polyhedra. We choose a grid of points and form triangles as shown in Figure 9.24, add up their areas and try to pass to the limit! However, as an example due to Hermann Amandus Schwarz (1843-1921) shows, the limit could be infinite for a surface as simple as a finite cylinder! (see [4] pages~75-77 for details). Hence it is not possible to define surface area by approximation by polyhedra. In our approach we approximated the surface by small scales like on the skin of a fish. Doing so we get a “surface area” having the expected properties. In particular it behaves well under transformation of coordinates.

🔗

Figure 9.24. Approximating a surface by a polyhedron

🔗

We next want to compute the Jacobians for two important cases, namely for spherical coordinates, and for surfaces given as the graph of a function.

🔗

Subsection 9.5.2 The Jacobian for spherical coordiates

We can parametrise a sphere by spherical coordinates by

🔗

g (θ, φ) := (R \cos φ \sin θ, R \sin φ \sin θ, R \cos θ),

where

(θ, φ) \in D := [0, π] \times [0, 2 π) .

Applying Example 9.3 we have the following proposition.

🔗

Proposition 9.25. Jacobian for spherical coordinater.

For spherical coordinates as defined above we have

🔗

\sqrt{det ((J_{g} (y))^{T} J_{g} (y))} = R^{2} \sin θ .

🔗

Note that if we measure the angle from the

x y

plane then we need to replace

\sin θ

\cos θ

in the above formula. We can use this to compute the surface area of the sphere.

🔗

Example 9.26. Surface area of sphere.

We can use the above to compute the surface area of a sphere of radius

R .

It is most convenient to use spherical coordinates as introduced in Example 9.3. We deduce from Example 9.3 and Proposition 9.17 that the surface area is

🔗