Artificial Intelligence 🤖
Vector line integrals

Vector line integrals

In the previous section we looked at evaluating line integrals of scalar functions; here, we are going to evaluate line integrals of vector fields.

Consider first a vector field representing force, denoted by F(r)\boldsymbol{F}(\boldsymbol{r}), being applied over a displacement drd \boldsymbol{r}; note that now the differential is a vector. The work done is calculated by the product of force and distance but only the force in the direction of displacement does any work:

W=F(r)drcosθ=F(r)dr,W=|\boldsymbol{F}(\boldsymbol{r})||d \boldsymbol{r}| \cos \theta=\boldsymbol{F}(\boldsymbol{r}) \cdot d \boldsymbol{r},

where θ\theta is the angle between F\boldsymbol{F} and drd \boldsymbol{r}. This leads us to an important difference between vector and scalar line integrals: the vector line integrals depend on a direction along the curve.

Now, suppose we have a particle moving along a curved path C\mathcal{C} and the particle is acted on by a force F(r)\boldsymbol{F}(\boldsymbol{r}). We want to determine the total amount of work done as the particle moves along C\mathcal{C}. To calculate this, we can divide C\mathcal{C} into infinitesimal pieces and 'sum' the work contributions over all pieces. We call this the line integral of F\boldsymbol{F} along the curve C\mathcal{C} and define it as,

I=CF(r)dr\mathcal{I}=\int_{\mathcal{C}} \boldsymbol{F}(\boldsymbol{r}) \cdot d \boldsymbol{r}

To relate the vector line integral to the scalar line integral ideas above, we re-write the former as follows in terms of the arc length ss :

CF(r)dr=C(F(r)T)ds\int_{\mathcal{C}} \boldsymbol{F}(\boldsymbol{r}) \cdot d \boldsymbol{r}=\int_{\mathcal{C}}(\boldsymbol{F}(\boldsymbol{r}) \cdot \boldsymbol{T}) d s

where r(t)\boldsymbol{r}(t) is a parametrisation for the path C\mathcal{C} while T\boldsymbol{T} is the unit tangent vector, defined as:

T=r(t)r(t)\boldsymbol{T}=\frac{\boldsymbol{r}^{\prime}(t)}{\left|\boldsymbol{r}^{\prime}(t)\right|}

here, we assume that r(t)\boldsymbol{r}(t) is a regular parametrisation, meaning that r(t)\boldsymbol{r}^{\prime}(t) \neq 0,t[a,b]0, \forall t \in[a, b]. This ensures that T\boldsymbol{T} does not become undefined anywhere in the integration interval. Also, it is interesting to note that since FT\boldsymbol{F} \cdot \boldsymbol{T} is the tangential component of T\boldsymbol{T}, it follows from Eq. (2.53) that the line integral of vector F\boldsymbol{F} along a curve C\mathcal{C} is the integral of the tangential component of F\boldsymbol{F}.

Using the arc length differential as defined in Eq. (2.41), we write F(r)Tds\boldsymbol{F}(\boldsymbol{r}) \cdot \boldsymbol{T} d s as follows:

F(r)Tds=(F(r)r(t)r(t))r(t)dt=F(r)r(t)dt.\boldsymbol{F}(\boldsymbol{r}) \cdot \boldsymbol{T} d s=\left(\boldsymbol{F}(\boldsymbol{r}) \cdot \frac{\boldsymbol{r}^{\prime}(t)}{\left|\boldsymbol{r}^{\prime}(t)\right|}\right)\left|\boldsymbol{r}^{\prime}(t)\right| d t=\boldsymbol{F}(\boldsymbol{r}) \cdot \boldsymbol{r}^{\prime}(t) d t .

We now observe that all terms on the RHS of Eq. (2.55) are given in terms of tt.

At this point, we need to discuss another important difference between line integrals of scalar and vector fields: the orientation of the parametrisation r(t)\boldsymbol{r}(t). Recall that this is defined as a 'specified orientation along a path', say from a point AA to a point BB. We refer to this direction as the positive direction and the curve C\mathcal{C} itself is the oriented curve. The opposite direction is known as the negative direction. Now, if we reverse the direction of the path then the positive direction becomes the one moving from point BB to AA. We use these definitions below to give the theorem associated with the evaluation of vector line integrals:

Computing a vector line integral

Let r(t)\boldsymbol{r}(t) be a regular parametrisation for an oriented curve C\mathcal{C} for atba \leq t \leq b. Then,

CF(r)dr=abF(r(t))r(t)dt\int_{\mathcal{C}} \boldsymbol{F}(\boldsymbol{r}) \cdot d \boldsymbol{r}=\int_{a}^{b} \boldsymbol{F}(\boldsymbol{r}(t)) \cdot \boldsymbol{r}^{\prime}(t) d t

Next, we look at an example with a vector field F\boldsymbol{F} and a three-dimensional, smooth curve given by a parametrisation r(t)\boldsymbol{r}(t).

Example 2.7 Evaluate CFdr\int_{\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r} where F=(8x2yz,5z,4xy)\boldsymbol{F}=\left(8 x^{2} y z, 5 z,-4 x y\right) and C\mathcal{C} is the curve defined by r(t)=(t,t2,t3)\boldsymbol{r}(t)=\left(t, t^{2}, t^{3}\right) where t[0,1]t \in[0,1].

Solution:

We first need to evaluate F\boldsymbol{F} along the curve:

F(r(t))=(8t7,5t3,4t3)\boldsymbol{F}(\boldsymbol{r}(t))=\left(8 t^{7}, 5 t^{3},-4 t^{3}\right)

this gives us the first term in the integrand on the RHS of Eq. (2.56). Next, we need r(t)\boldsymbol{r}^{\prime}(t) :

r(t)=(1,2t,3t2).\boldsymbol{r}^{\prime}(t)=\left(1,2 t, 3 t^{2}\right) .

The integrand in Eq. (2.56) therefore becomes:

F(r(t))r(t)=(8t75t34t3)(12t3t2)=8t7+10t412t5.\begin{aligned} \boldsymbol{F}(\boldsymbol{r}(t)) \cdot \boldsymbol{r}^{\prime}(t) & =\left(8 t^{7} 5 t^{3}-4 t^{3}\right) \cdot\left(12 t 3 t^{2}\right) \\ & =8 t^{7}+10 t^{4}-12 t^{5} . \end{aligned}

With F(r(t))r(t)\boldsymbol{F}(\boldsymbol{r}(t)) \cdot \boldsymbol{r}^{\prime}(t) expressed in terms of tt, the line integral is:

CFdr=018t7+10t412t5dt=[t8+2t52t6]01=1\begin{aligned} \int_{\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r} & =\int_{0}^{1} 8 t^{7}+10 t^{4}-12 t^{5} d t \\ & =\left[t^{8}+2 t^{5}-2 t^{6}\right]_{0}^{1} \\ & =1 \end{aligned}

Properties:

(a) If C\mathcal{C} is piecewise smooth then we can break it down into several, say nn, concatenated oriented curves. We define the union of the paths as done in Subsec. 2.3.1 and the line integral is given by

CFdr=C1Fdr+C2Fdr++CnFdr\int_{\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r}=\int_{\mathcal{C}_{1}} \boldsymbol{F} \cdot d \boldsymbol{r}+\int_{\mathcal{C}_{2}} \boldsymbol{F} \cdot d \boldsymbol{r}+\cdots+\int_{\mathcal{C}_{n}} \boldsymbol{F} \cdot d \boldsymbol{r}

(b) The line integral of vector fields does depend on orientation. Consider a curve connecting two points AA and BB. As previously mentioned, there are two possible orientations: the oriented curve, which we denote as C\mathcal{C} and the curve in the opposite direction, C-\mathcal{C}. The unit tangent vector changes sign from T\boldsymbol{T} to T-\boldsymbol{T} when we change orientation. It follows that the tangential component of F\boldsymbol{F} and the line integral also change sign:

CFdr=CFdr.\int_{-\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r}=-\int_{\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r} .

(c) For a smooth curve, C\mathcal{C} and two vector fields, F\boldsymbol{F} and G\boldsymbol{G}, the following linearity properties hold:

C(F+G)dr=CFdr+CGdrCkFdr=kCFdr\begin{aligned} \int_{\mathcal{C}}(\boldsymbol{F}+\boldsymbol{G}) \cdot d \boldsymbol{r} & =\int_{\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r}+\int_{\mathcal{C}} \boldsymbol{G} \cdot d \boldsymbol{r} \\ \int_{\mathcal{C}} k \boldsymbol{F} \cdot d \boldsymbol{r} & =k \int_{\mathcal{C}} \boldsymbol{F} \cdot d \boldsymbol{r} \end{aligned}

where kk is a constant.

(d) If C1\mathcal{C}_{1} and C2\mathcal{C}_{2} are different parametrisations of the same curve with the same orientation, then:

C1Fdr=C2Fdr\int_{\mathcal{C}_{1}} \boldsymbol{F} \cdot d \boldsymbol{r}=\int_{\mathcal{C}_{2}} \boldsymbol{F} \cdot d \boldsymbol{r}