Skip to main content

Section 5.6 Surface integrals

Step 4: we define integration of a two-form along a parametric surface via pullback. We call those “surface integrals”. Step 5: we show that the integral is well-defined: it is invariant under orientation-preserving reparametrizations, and changes sign under orientation-reversing reparametrizations. This ensures that the integral of the two-form is intrinsically defined in terms of the geometry of the image surface with its induced orientation. We also rewrite surface integrals in terms of vector fields.

Subsection 5.6.1 The definition of surface integrals

We define the integral of a two-form along a parametric surface: we pull back to the region D and integrate.

Definition 5.6.1. Surface integrals.

Let ω be a two-form on an open subset UR3. Let α:DR3 be a parametric surface whose image surface S=α(D)U is orientable. We define the surface integral of ω along α as:

αω=Dαω,

where the integral on the right-hand-side is defined in Definition 5.3.1, with D given the canonical orientation (which is consistent with the induced orientation on S).

What is neat is that by Definition 5.3.1, the integral on the right-hand-side can be written as a standard double integral from calculus. So using the pullback we reduced the evaluation of integrals of two-forms over surfaces to standard double integrals!

Consider the two-form ω=x dydz+z dxdy. Evaluate its surface integral along the oriented parametric surface α:DR3 with D={(u,v)R2 | u[0,1],v[0,2]} and α(u,v)=(u,uv2,v).

We calculate the pullback of the two-form:

αω=u(v2 du+2uv dv)dv+vdu(v2 du+2uv dv)=(uv2+2uv2)dudv=3uv2dudv.

The surface integral then becomes:

αω=D3uv2 dudv=30201uv2 dudv=302v2[u22]01dv=3202v2 dv=v32|02=4.

Note that it is important here that we wrote the two-form αω in terms of the basic two-form dudv (not dvdu) before rewriting as a double integral, as the orientation on D is the canonical orientation with respect to the coordinates (u,v) on DR2.

Subsection 5.6.2 Reparametrization-invariance and orientability of surface integrals

We defined surface integrals in terms of parametric surfaces: the parametrization was key, as we used it to pullback to D. But in the end, we would like our integral to be defined solely in terms of the image surface S itself with its orientation. If we use two different parametrizations that describe the same surface with the same induced orientation, we want the integral to be the same. The integral should not depend on how we describe the surface, as long as we preserve the induced orientation.

Let us rewrite the two surface integrals using the pullback. First,

αω=D1αω.

Second,

ϕαω=D2(αϕ)ω.

From Exercise 4.7.5.7, we know that we can pullback through a chain of maps D2ϕD1αR3 in two different ways, but it gives the same thing: (αϕ)ω=ϕ(αω). Therefore,

ϕαω=D2ϕ(αω).

In the end, what we need to compare is two integrals over regions in R2. But this is precisely the result of Lemma 5.3.7, for the two-form αω on D1. This lemma states that if detJϕ>0, then

D1αω=D2ϕ(αω),

while if detJϕ<0,

D1αω=D2ϕ(αω),

We thus conclude that if the reparametrization is orientation-preserving,

αω=ϕαω,

while if it is orientation-reversing,

αω=ϕαω.

Surface integrals are oriented and reparametrization-invariant, as we want. Nice! As a result, while we use a parametrization to define a surface integral, the integral can really be thought of as being defined intrinsically in terms of the surface S and its orientation.

Subsection 5.6.3 Surface integrals in terms of vector fields

Let us now translate our definition in surface integrals in terms of vector fields, using the dictionary between differential forms and vector calculus concepts that we established.

We first need to do a bit of work to rephrase the pullback of a two-form along a parametric surface in terms of associated vector fields.

This is just a calculation:

αω=f(α(u,v))(yu du+yv dv)(zu du+zv dv)+g(α(u,v))(zu du+zv dv)(xu du+xv dv)+h(α(u,v))(xu du+xv dv)(yu du+yv dv)=f(α(u,v))(yuzvyvzu)dudv+g(α(u,v))(zuxvzvxu)dudv+h(α(u,v))(xuyvxvyu)dudv=F(α(u,v))(Tu×Tv)dudv.

It is interesting to remark here that while pulling back a one-form along a parametric curve picked the tangential component of the vector field along the curve, pulling back a two-form along a parametric surface picks the normal component of the vector field. This has an interpretation in physics, as we will see. Just as line integrals were related to the calculation of work (and hence the tangential component of the force field to the direction of motion was the relevant one), surface integrals are related to the calculation of flux, for which the normal component of the force field is the relevant one.

With this result, we can rewrite surface integrals directly as double integrals:

This follows directly from Lemma 5.6.4, the definition of surface integrals Definition 5.6.1, and the definition of integrals over region in R2 Definition 5.3.1. We have:

αω=Dαω=D(F(α(u,v))n)dudv=D(F(α(u,v))n)dA.

This is how surface integrals are generally defined in standard vector calculus textbooks.

Remark 5.6.6.

Sometimes, the following shorthand notation is used:

SFdS:=D(F(α(u,v))n)dA.

Such integrals are also called flux integrals, because of the physics interpretation, which we will study in Section 5.9. The integral calculates the flux of the vector field F across the surface S in the direction of the normal vector n specified by the orientation.

Calculate the surface integral of the vector field

F=1x2+y2+z2(x,y,0)

over the upper half-sphere of radius one, with the inwards orientation.

We can use our parametrization from Example 5.5.6 with R=1, that is, α:DR3, with

D={(θ,ϕ)R2 | θ[0,π2],ϕ[0,2π]},

and

α(θ,ϕ)=(sin(θ)cos(ϕ),sin(θ)sin(ϕ),cos(θ)).

We showed in that example that the normal vector points outwards, so the orientation on the upper half-sphere induced by this parametrization is opposite to what is asked in the problem. Therefore, we will need to take minus the integral over the parametric surface α.

We calculated in Example 5.5.6 the normal vector:

n=(sin2(θ)cos(ϕ),sin2(θ)sin(ϕ),sin(θ)cos(θ)).

The integrand is then (noting that x2+y2+z2=1 on the surface):

F(α(θ,ϕ))n=(sin(θ)cos(ϕ),sin(θ)sin(ϕ),0)(sin2(θ)cos(ϕ),sin2(θ)sin(ϕ),sin(θ)cos(θ))=sin3(θ)cos2(ϕ)+sin3(θ)sin2(ϕ)=sin3(θ).

The surface integral then becomes (recall that we need to add a minus sign since the surface integral is with respect to the inwards orientation, while our parametrization induces the outwards orientation):

SFdS=02π0π2sin3(θ)dθdϕ=02π[cos(θ)+13cos3(θ)]0π2dϕ=2302πdϕ=4π3.

Exercises 5.6.4 Exercises

1.

Find the surface integral of the two-form

ω=y dydz(x+y) dzdx

along the lower half-sphere x2+y2+z2=4, z0, with orientation given by an inwards pointing normal vector.

Solution.

We use spherical coordinates to parametrize the lower half sphere of radius 2. That is, α:DR3 with

D={(θ,ϕ)R2 | θ[π2,π],ϕ[0,2π]},

and

α(θ,ϕ)=(2sin(θ)cos(ϕ),2sin(θ)sin(ϕ),2cos(θ)).

Here the inclination angle was restricted to be between π/2 and π, which amounts to considering the lower half-sphere with z0. We have already calculated in Example 5.5.6 the this parametrization induces a normal vector pointing outwards. The question is asking us to pick the opposite orientation, with normal vector pointing inwards. So we will have to add an overall minus sign to our surface integral.

To evaluate the surface integral we first need to calculate the pullback αω. We get:

αω=2sin(θ)sin(ϕ)(2cos(θ)sin(ϕ)dθ+2sin(θ)cos(ϕ)dϕ))(2sin(θ)dθ)(2sin(θ)cos(ϕ)+2sin(θ)sin(ϕ))(2sin(θ)dθ)(2cos(θ)cos(ϕ)dθ2sin(θ)sin(ϕ)dϕ)=8sin3(θ)sin(ϕ)cos(ϕ)dϕdθ8sin3(θ)sin(ϕ)(cos(ϕ)+sin(ϕ))dθdϕ=8sin3(θ)sin2(ϕ)dθdϕ.

Then we integrate, recalling that we have to add a minus sign because of the orientation:

αω=Dαω=8π/2π02πsin3(θ)sin2(ϕ)dϕdθ=8ππ/2πsin3(θ)dθ=16π3,

where I used the fact that

02πsin2(ϕ)dϕ=π,π/2πsin3(θ)dθ=23,

which you can check independently using trigonometric identities to evaluate the definite integrals.

2.

Find the flux (the surface integral) of the vector field

F(x,y,z)=(zexy,3zexy,2xy)

along the parallelogram realized as the parametric surface α:DR3 with D={(u,v)R2 | u[0,2],v[0,1]} and

α(u,v)=(u+v,uv,1+2u+v).
Solution.

Let us solve this problem using the vector field approach. We know the parametric surface; we need to calculate the normal vector. The tangent vectors are

Tu=(1,1,2),Tv=(1,1,1).

(We note that those are constant vectors, since the image surface is planar.) The normal vector is then

n=Tu×Tv=det(ijk112111)=(3,1,2).

We then calculate the surface integral:

DFdS=0201((1+2u+v)eu2v2,3(1+2u+v)eu2v2,2(u2v2))(3,1,2) dvdu=0201(4(u2v2)) dvdu=402[u2vv33]v=0v=1 du=402(u213) du=4[u33u3]u=0u=2=8.

3.

Find the surface integral of the two-form

ω=x dydz+z dxdy

over the surface of the cube with vertices (±1,±1,±1), with orientation given by a normal vector pointing outwards.

Solution.

The cube is shown in the figure below. It has six sides, which we consider as separate parametric surfaces, Si with i=1,,6.

The surface.
Figure 5.6.8. The surface S is the cube shown in the figure. We consider the six sides as separate parametric surfaces.

All six sides can be parametrized easily, with the same domain D. We write the parametrizations as αi:DR3, for i=1,,6, with

D={(u,v)R2 | u[1,1],v[1,1]},

and

α1(u,v)=(1,u,v)α2(u,v)=(1,u,v)α3(u,v)=(u,1,v)α4(u,v)=(u,1,v)α5(u,v)=(u,v,1)α6(u,v)=(u,v,1)

Calculating the normal vectors, we see that the normal vectors for α1,α4,α5 point outwards, while the normal vectors for α2,α3,α6 point inwards. So we can write our desired surface integral as

Sω=S1ωS2ωS3ω+S4ω+S5ωS6ω.

To calculate these surface integrals, we need the pullbacks. A straightforward calculation gives:

α1ω=α5ω=dudv,α2ω=α6ω=dudv,α3ω=α4ω=0.

Therefore,

Sω=S1ωS2ωS3ω+S4ω+S5ωS6ω=4Ddudv=41111dudv=16.

4.

Let S be the boundary of the region in R3 enclosed by the cylinder x2+y2=4, the paraboloid z=x2+y2, and the plane z=9. Find the surface integral of the vector field

F(x,y,z)=(x2,y2,z2)

along S with orientation given by a normal vector pointing inwards.

Solution.

We see that the cylinder x2+y2=4 and the paraboloid z=x2+y2 intersect along the circle x2+y2=4 in the plane z=4. Thus the surface S has three components: S1 is the part the paraboloid z=x2+y2 with 0z4; S2 is the part of the cylinder x2+y2=4 with 4z9; and S3 is the disk x2+y24 in the plane z=9. This is shown in Figure 5.6.9.

The surface.
Figure 5.6.9. The surface S has three components: S1 is the part of the paraboloid (in blue) with z4; S2 is the lateral surface of the cylinder (in orange) for 4z9; S3 is the disk x2+y24 in the plane z=9 (in green).

To evaluate the surface integral of ω over S, we evaluate it over the three components separately and then add up the integrals.

Let us consider S1 first, which is the part of the paraboloid z=x2+y2 with 0z4. We realize it as the parametric surface α1:D1R3 with

D1={(u,θ)R2 | u[0,2],θ[0,2π]}

and

α1(u,θ)=(ucos(θ),usin(θ),u2).

We need to make sure that the normal vector points inwards. The tangent vectors are

Tu=(cos(θ),sin(θ),2u),Tθ=(usin(θ),ucos(θ),0).

The normal vector is

n=Tu×Tθ=(2u2cos(θ),2u2sin(θ),u).

As u0, we see that the normal vector points in the positive z-direction, which means that it points inwards. So we're good!

We then evaluate the surface integral:

S1FdS1=0202π((u2cos2(θ),u2sin2(θ),u4)(2u2cos(θ),2u2sin(θ),u)) dθdu=0202π(2u4(cos3(θ)+sin3(θ))+u5)dθdu=2π02u5 du=64π3,

where we used the fact that 02πcos3(θ)dθ=02πsin3(θ)dθ=0.

Let us now consider S2, which is the cylinder x2+y2=4, 4z9. We parametrize it as α2:D2R3 with

D2={(u,θ)R2 | u[4,9],θ[0,2π]}

and

α2(u,θ)=(2cos(θ),2sin(θ),u).

We look at the normal vector. The tangent vectors are

Tu=(0,0,1),Tθ=(2sin(θ),2cos(θ),0),

and the normal vector is

n=Tu×Tθ=(2cos(θ),2sin(θ),0).

We thus see that at a point with coordinates (2cos(θ),2sin(θ),u) on the cylinder, the normal vector is (2cos(θ),2sin(θ),0), which points inwards. Good!

We evaluate the surface integral:

S2FdS2=4902π((4cos2(θ),4sin2(θ),u2)(2cos(θ),2sin(θ),0))dθdu=4902π(8cos3(θ)8sin3(θ))dθdu=0,

since, as above, 02πcos3(θ)dθ=02πsin3(θ)dθ=0.

Finally, we consider S3, which is the disk x2+y24 in the plane z=9. We parametrize it as α3:D3R3 with

D3={(u,θ)R2 | u[0,2],θ[0,2π]}

and

α3(u,θ)=(usin(θ),ucos(θ),9).

The tangent vectors are

Tu=(sin(θ),cos(θ),0),Tθ=(ucos(θ),usin(θ),0),

and the normal vector is

n=Tu×Tθ=(0,0,u).

As u0, this points in the negative z-direction, that is, it points inwards, as we want.

We evaluate the surface integral:

S3FdS3=0202π((u2sin2(θ),u2cos2(θ),81)(0,0,u))dθdu=0202π(81u)dθdu=162π02udu,=324π.

Finally, we compute the surface integral over S by adding up the three surface integrals aboves. We get:

SFdS=S1FdS1+S2FdS2+S3FdS3=64π3+0324π=908π3.

Done! :-)

5.

An “inverse square field” is a vector field F that is inversely proportional to the square of the distance from the origin. It is very important in physics, as it describes many physical phenomena, such a gravity, electrostatics, etc. It can be written as

F(x,y,z)=C1(x2+y2+z2)3/2(x,y,z),

for some constant CR. Show that the flux (the surface integral) of F across a sphere S centered at the origin (in the outwards direction) is independent of the radius of S. This is one of the very nice properties of inverse square fields!

Solution.

As usual we use spherical coordinates to parametrize the sphere of fixed radius R, as α:DR3, with

D={(θ,ϕ)R2 | θ[0,π],ϕ[0,2π]},

and

α(θ,ϕ)=(Rsin(θ)cos(ϕ),Rsin(θ)sin(ϕ),Rcos(θ)).

Let use differential forms to calculate the surface integral. To the vector field F we associated the two-form

ω=C1(x2+y2+z2)3/2(x dydz+y dzdx+z dxdy).

To calculate the surface integral, we calculate the pullback, noting that x(θ,ϕ)2+y(θ,ϕ)2+z(θ,ϕ)2=R2 :

αω=CR3(Rsin(θ)cos(ϕ)(Rcos(θ)sin(ϕ)dθ+Rsin(θ)cos(ϕ)dϕ)(Rsin(θ)dθ)+Rsin(θ)sin(ϕ)(Rsin(θ)dθ)(Rcos(θ)cos(ϕ)dθRsin(θ)sin(ϕ)dϕ)+Rcos(θ)(Rcos(θ)cos(ϕ)dθ)Rsin(θ)sin(ϕ)dϕ)(Rcos(θ)sin(ϕ)dθ+Rsin(θ)cos(ϕ)dϕ))=CR3R3(sin3(θ)cos2(ϕ)+sin3(θ)sin2(ϕ)+cos2(θ)sin(θ)cos2(ϕ)+cos2(θ)sin(θ)sin2(ϕ))dθdϕ=Csin(θ)dθdϕ.

In particular, we see that it does not depend on the radius R of the sphere! The surface integral is then

αω=Dαω=C02π0πsin(θ)dθdϕ=2C02πdϕ=4πC,

which is indeed independent of the radius R.