Skip to main content

Section 7.1 Unoriented line integrals

We define unoriented line integrals of functions along parametric curves. As a particular case, we study how to calculate the arc length of a parametric curve.

Subsection 7.1.1 Unoriented line integrals

In this course we developed a theory of integration along curves and surfaces using differential forms. By construction, our theory was oriented, as integrals of differential forms naturally depend on a choice of orientation on the space over which we are integrating.

However, not all integrals should be oriented. Sometimes we want to calculate a quantity associated to a curve or a surface that should not depend on a choice of orientation. Typical examples would be the length of a curve or the area of a surface: such quantities should not depend on a choice of orientation. As integrals of differential forms are naturally oriented, it follows that integrals calculating arc lengths or surface areas cannot be represented as integrals of differential forms. We need to study unoriented line and surface integrals. In this section we look at unoriented line integrals.

Before we define the concept of unoriented line integral of a function along a parametric curve, let us review how we defined oriented line integrals. Let α:[a,b]Rn be a parametric curve, with α(t)=(x1(t),,xn(t)). We defined the oriented line integral of a one-form ω along the parametric curve α via pullback (Definition 3.3.2). In terms of the vector field F=(f1,,fn) associated to the one-form ω, by evaluating the pullback the oriented line integral can be rewritten as (Lemma 3.3.7):

ab(F(α(t))T) dt,

where T is the tangent vector

T(t)=(x1(t),,xn(t)).

From the point of view of vector fields, the orientation of the integral is encapsulated in the choice of tangent vector T. However, the way it is formulated, the tangent vector includes more information than just the orientation, as it also has a non-trivial norm specified by the parametrization. To isolate the oriented nature of the integral, we normalize the tangent vector, and define the unit tangent vector

T^=T|T|,|T|=(x1(t))2++(xn(t))2.

We can then rewrite the oriented line integral as

ab(F(α(t))T^)|T| dt=ab(F(α(t))T^) ds,

where we defined the “line element”

ds=|T| dt=(x1(t))2++(xn(t))2 dt.

With this formulation, we see that the choice of orientation is completely encapsulated in the expression F(α(t))T^(t), which is function of t which depends on the choice of direction on the parametric curve.

We can now see how unoriented line integrals can be naturally defined: we simply replace the function F(α(t))T^(t), constructed out of a vector field and a choice of orientation on the curve, by an arbitrary function f(α(t)) that does not depend on a choice of orientation. This leads to the following definition.

Definition 7.1.1. Unoriented line integrals.

Let α:[a,b]Rn be a parametric curve, with image curve C=α([a,b])Rn, and let f:CR be a continuous function. We define the unoriented line integral of f along the curve C to be

Cf ds=abf(α(t))|T(t)| dt=abf(α(t))(x1(t))2++(xn(t))2 dt.

A similar calculation as in the proof of Lemma 3.3.5 shows that unoriented line integrals are invariant under reparametrizations, regardless of whether the reparametrization preserves the orientation or not (the integrals are unoriented). What this means is that the line integral does not depend on the choice of parametrization, but only on the image curve C. This is why we wrote

Cf ds

for the unoriented line integral of the function f along the curve CRn, without specifying the parametrization α, since the integral is independent of the choice of parametrization.

Remark 7.1.2.

We note that even though the notation “ds” is similar to the notation we used for one-forms, the line element is not a one-form. For instance,

C+ds=Cds,

i.e. the integral remains the same if we change the orientation of the curve, which would not be the case if ds was a one-form.

Evaluate the unoriented line integral

Cxy6 ds,

where C is the right half of the circle x2+y2=4.

First, we parametrize the curve as α:[π/2,π/2]R2 with

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

As θ[π/2,π/2], we are parametrizing the right half of the circle, as required. We do not need to check here whether the parametrization induces the right orientation on the curve, as we do not care about the orientation whatsoever: the integral is unoriented.

To evaluate the unoriented line integral, we need the line element ds. We calculate:

ds=(x(θ))2+(y(θ))2=4sin2(θ)+4cos2(θ)=2.

Using this parametrization, the unoriented line integral becomes:

Cxy6 ds=π/2π/2(2cos(θ))(2sin(θ))6(2) dθ=256π/2π/2cos(θ)sin6(θ) dθ=25611u6 du=5127.

Note that we used the substitution u=sin(θ) to evaluate the trigonometric integral.

Subsection 7.1.2 Arc length of a curve

A particularly important example of an unoriented line integral calculates the arc length of a curve C. This is the most trivial example, where we choose the function that we are integrating to be the constant function f=1. More precisely:

Definition 7.1.4. Arc length of a curve.

Let α:[a,b]Rn be a parametric curve, with image curve C=α([a,b])Rn. The arc length of C is given by the unoriented line integral

C ds=ab(x1(t))2++(xn(t))2 dt.

You may have seen this formula before for the arc length, at least in R2 or R3. It is straightforward to justify that it calculates the arc length of the curve, using the standard slicing argument from integral calculus. Consider a small curve segment between two points P(α(t)) and Q(α(t+dt)). The length ds of this curve segment can be approximated by the length of the line joining the two points, which can be written as

ds|α(t+dt)α(t)||α(t)|dt,

where on the right-hand-side we kept only terms of first-order in dt. As α(t)=T(t), we recover the formula above for the line element. Finally, we sum over line elements and take the limit of an infinite number of line element of infinitesimal size, which turns the sum into the definite integral

ab|T(t)| dt=ab(x1(t))2++(xn(t))2 dt.

Note that this also justifies our definition of unoriented line integrals in general above; it is constructed via the same slicing process, but where we also introduce a function f evaluated the point α(t) where we calculate the line element. We then sum over slices and take the limit of infinite number of infinitesimal slices as usual, and the integral of the function over the parametric curve becomes Definition 7.1.1.

Find the length of the parametric curve α:[0,2]R3 with

α(t)=(1,t2,t3).

We first calculate the line element ds:

ds=(x(t))2+(y(t))2+(z(t))2 dt=4t2+9t4 dt=t4+9t2 dt,

where in the last line we used t2=t since we know that t[0,2] and hence it is positive. The arc length is thus given by

C ds=02t4+9t2 dt=118440u du=127(403/243/2)=827(103/21),

where we used the substitution u=4+9t2, du=18t dt.

Exercises 7.1.3 Exercises

1.

Find the arc length of the circular helix α:[0,3]R3 with

α(t)=(t,2cos(t),2sin(t)).
Solution.

To find the arc length, we first calculate the line element ds. The tangent vector is

T(t)=(1,2sin(t),2cos(t)).

Its norm is

|T(t)|=1+4sin2(t)+4cos(t)=5.

Thus the line element is

ds=5 dt.

We then calculate the arc length:

α ds=035 dt=35.

2.

Show that the arc length of the curve C at the intersection of the surfaces x2=2y and 3z=xy between the origin and the point (6,18,36) is the answer to the ultimate question of life, the universe, and everything.

Solution.

We first parametrize the curve as α:[0,6]R3 with

α(t)=(t,t22,t36).

The tangent vector is

T(t)=(1,t,t22).

Its norm is

|T(t)|=1+t2+t44=(1+t22)2=1+t22,

since 1+t22>0. The line element is then

ds=(1+t22) dt,

and the arc length is

C ds=06(1+t22) dt=6+636=42,

which is of course the answer to the ultimate question of life, the univers, and everything! :-)

3.

Evaluate the unoriented line integral

C(xz+ey) ds,

where C is the line segment between the origin and the point (1,2,3).

Solution.

We parametrize C as α:[0,1]R3 with

α(t)=(t,2t,3t).

The tangent vector is

T(t)=(1,2,3),

with norm

|T(t)|=1+22+32=14.

The line element is

ds=14 dt,

and the unoriented line integral can be evaluated:

C(xz+ey) ds=01((t)(3t)+e2t)14 dt=1401(3t2+e2t) dt=14(1e22+12)=142(3e2).

4.

Evaluate the unoriented line integral

Cx3y ds,

where C is the circular helix parametrized by α:[0,π/2]R3 with

α(t)=(cos(2t),sin(2t),t).
Solution.

The tangent vector to the parametric curve is

T(t)=(2sin(2t),2cos(2t),1),

with norm

|T(t)|=4sin2(2t)+4cos2(2t)+1=5.

The line element is

ds=5 dt.

The unoriented line integral becomes:

Cx3y ds=50π/2cos3(2t)sin(2t) dt=5211u3 du=0,

where we did the substitution u=cos(2t).

5.

In single-variable calculus, you saw that the length of the curve y=f(x) in R2, with x[a,b], is given by the definite integral

ab1+(f(x))2 dx.

Show that this is consistent with our definition of arc length in this section.

Solution.

From our point of view, we realize the curve as the parametric curve α:[a,b]R2 with

α(t)=(t,f(t)).

Then the tangent vector is

T(t)=(1,f(t)),

with norm

|T(t)|=1+(f(t))2.

So our arc length formula is

C ds=ab|T(t)| dt=ab1+(f(t))2 dt,

which is indeed the formula that you obtained in single-variable calculus.