Artificial Intelligence 🤖
Scalar line integrals

Scalar line integrals

Scalar line integrals I

(a)

(b)

Figure 2.3: (a) Plot of a surface z=f(x,y)z=f(x, y) and a curve or path in the xyx y plane, shown in blue, given by C\mathcal{C} (b) The line integral represents the area of the vertical surface formed between the surface z=f(x,y)z=f(x, y) and the curve in the xyx y-plane, C\mathcal{C}.

We define the scalar line integral of a function ff over a curve C\mathcal{C} as:

I=Cf(x,y)ds;\mathcal{I}=\int_{\mathcal{C}} f(x, y) d s ;

such integrals are useful in engineering as they represent such quantities as total mass.

If we first consider the more familiar integral, x0x1g(x)dx\int_{x_{0}}^{x_{1}} g(x) d x, we note that the integral defines an area under some curve g(x)g(x), above the xx-axis between the points x0x_{0} and x1x_{1}. The line integral involves a similar concept; instead of a curve g(x)g(x), we have a surface, z=f(x,y)z=f(x, y), as shown in Fig. 2.3. We also define a path on the xyx y-plane, given by the curve C\mathcal{C} in Fig. 2.3)(a). In the one-dimensional case, we want to calculate the area above the xx-axis over some interval [x0,x1]\left[x_{0}, x_{1}\right]. The line integral of a scalar field gives the surface area defined between some curve, C\mathcal{C} and a surface, z=f(x,y)z=f(x, y). This vertical 'sheet' between C\mathcal{C} and z=f(x,y)z=f(x, y) is shown in light blue in Fig. 2.3(b).

Suppose that we define the following parametrisation for C\mathcal{C} :

C:{x=x(t)y=y(t) where atb;\mathcal{C}:\left\{\begin{array}{l} x=x(t) \\ y=y(t) \end{array} \quad \text { where } a \leq t \leq b ;\right.

where the endpoints aa and bb are the endpoints of the curve C\mathcal{C}. The parametrisation given by Eq. (2.35) can also be written as:

r(t)=(x(t),y(t)),\boldsymbol{r}(t)=(x(t), y(t)),

where r(t)\boldsymbol{r}(t) is the parametrisation of curve C\mathcal{C}. We assume that r(t)\boldsymbol{r}(t) has a continuous derivative given by r(t)\boldsymbol{r}^{\prime}(t) :

r(t)=(dxdt,dydt)\boldsymbol{r}^{\prime}(t)=\left(\frac{d x}{d t}, \frac{d y}{d t}\right)

The magnitude of r(t)\boldsymbol{r}^{\prime}(\boldsymbol{t}) is determined using the Pythagorean theorem:

r(t)=dx2dt2+dy2dt2.\left|\boldsymbol{r}^{\prime}(t)\right|=\sqrt{{\frac{d x^{2}}{d t}}^{2}+{\frac{d y^{2}}{d t}}^{2}} .

These ideas will become useful later on when we calculate the line integral.

To calculate the area of the vertical sheet shown in Fig. 2.3(b), we spread the 'sheet' out to obtain a flat area. The beginning corner is at t=at=a while the ending corner is at t=bt=b, as shown in Fig. 2.4. The height of this surface is the value of z=f(x,y)z=f(x, y) (shown in red in Fig. 2.4). The points xx and yy correspond to those that the vector r\boldsymbol{r} returns when we plug in values of tt, and f(x,y)f(x, y) is written in terms of the vector r(t)\boldsymbol{r}(t) [see Eq. (2.36)] as f(r(t))f(\boldsymbol{r}(t)). We divide the sheet area into very small rectangles of length dsd s (see Fig. 2.4), where ss is the so-called arc length; dsd s is also referred to as the line element. The height of the rectangles is given by the value of f(r(t))f(\boldsymbol{r}(t)) and their area is f(r(t))dsf(\boldsymbol{r}(t)) d s. The process of finding the whole area then is familiar; we integrate the quantity f(r(t))dsf(\boldsymbol{r}(t)) d s over the interval between t=at=a and t=bt=b :

I=abf(r(t))ds,\mathcal{I}=\int_{a}^{b} f(\boldsymbol{r}(t)) d s,

where the above integral is equivalent to the definition given by Eq. (2.34).

The length dsd s corresponds to a very small part of the curve C\mathcal{C} and can be represented by a straight line segment; the latter has a very small increase in the xx-direction, dxd x, and a very small increase in the yy-direction, dyd y. Thus dsd s can be thought of as the hypotenuse of a triangle with sides dxd x and dyd y, hence

ds=dx2+dy2=(dtdt)dx2+dy2(dtdt)=dx2dt+dy2dtdt.\begin{aligned} d s & =\sqrt{d x^{2}+d y^{2}} \\ & =\left(\frac{d t}{d t}\right) \sqrt{d x^{2}+d y^{2}}\left(\frac{d t}{d t}\right) \\ & =\sqrt{\frac{d x^{2}}{d t}+\frac{d y^{2}}{d t}} d t . \end{aligned}

Figure 2.4: On the left, we have the vertical surface from Fig. 2.3 whose area is defined by the scalar integral given by Eq. (2.34). On the right, we have this area spread out flat with the beginning and ending corners corresponding to points t=at=a and t=bt=b, respectively. The height of this area is determined by the value of the function f(r(t))f(\boldsymbol{r}(t)). Finally, very small rectangles of length dsd s and height f(r(t))f(\boldsymbol{r}(t)) are used to determine the area of the surface.

Using Eqs. (2.38) and (2.40), we have:

ds=r(t)dt.d s=\left|\boldsymbol{r}^{\prime}(t)\right| d t .

Substituting Eq. (2.41) into Eq. (2.39) gives us the line integral in a form which we can integrate, as follows:

I=abf(r(t))r(t)dt\mathcal{I}=\int_{a}^{b} f(\boldsymbol{r}(t))|\boldsymbol{r}(t)| d t

Computing a scalar line integral

Let r(t)\boldsymbol{r}(t) be a parametrisation for a curve C\mathcal{C} for atba \leq t \leq b. If f(x,y)f(x, y) and r(t)\boldsymbol{r}^{\prime}(t) are continuous then,

Cf(x,y)ds=abf(r(t))r(t)dt\int_{\mathcal{C}} f(x, y) d s=\int_{a}^{b} f(\boldsymbol{r}(t))\left|\boldsymbol{r}^{\prime}(t)\right| d t

Properties:

(a) If a curve C\mathcal{C} is piecewise smooth, then we define:

Cf(x,y)ds=C1f(x,y)ds+C2f(x,y)ds++Cnf(x,y)ds.\int_{\mathcal{C}} f(x, y) d s=\int_{\mathcal{C}_{1}} f(x, y) d s+\int_{\mathcal{C}_{2}} f(x, y) d s+\cdots+\int_{\mathcal{C}_{n}} f(x, y) d s .

This enables us to carry out integrals around closed curves (or loops).

(b) There may be different parametrisations for every curve but the line integral is independent of the parametrisation.

(c) The line integral is also independent of orientation. For example, suppose C1\mathcal{C}_{1} is a curve that connects the points (0,0)(0,0) to (1,1)(1,1) while C2\mathcal{C}_{2} is the same curve but it connects the points in the opposite direction, i.e. from (1,1)(1,1) to (0,0)(0,0). A specified direction along a path is called orientation. When C1\mathcal{C}_{1} and C2\mathcal{C}_{2} are two parametrisations of the same curve but with opposite orientation, we write C2=C1\mathcal{C}_{2}=-\mathcal{C}_{1}. So, we have:

C2f(x,y)ds=C1f(x,y)ds.\int_{\mathcal{C}_{2}} f(x, y) d s=-\int_{\mathcal{C}_{1}} f(x, y) d s .

(d) Finally, the ideas discussed in this section are easily generalised to threedimensional functions, i.e. f(x,y,z)f(x, y, z) with r(t)=(x(t),y(t),z(t))\boldsymbol{r}(t)=(x(t), y(t), z(t)) being the parametrisation of a curve or path C\mathcal{C}. Example 2.5 Calculate the following line integral, Cyxds,x0\int_{\mathcal{C}} \frac{y}{x} d s, x \neq 0; where C\mathcal{C} is the curve parametrised by r(t)=(t4,t3)\boldsymbol{r}(t)=\left(t^{4}, t^{3}\right) for 0.5t10.5 \leq t \leq 1.

Solution

The curve C\mathcal{C} is given by r(t)\boldsymbol{r}(t); differentiating with respect to tt :

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

Following Eq. (2.41), the quantity dsd s is:

ds=r(t)dt=16t6+9t4dt.d s=\left|\boldsymbol{r}^{\prime}(t)\right| d t=\sqrt{16 t^{6}+9 t^{4}} d t .

We have f(x,y)=yxf(x, y)=\frac{y}{x} and so f(r(t))f(\boldsymbol{r}(t)) is:

f(r(t))=f(t4,t3)=t3t4=1tf(\boldsymbol{r}(t))=f\left(t^{4}, t^{3}\right)=\frac{t^{3}}{t^{4}}=\frac{1}{t}

which gives the integral as

I=Cyxds=0.511t16t6+9t4dt=1320.5132t16t2+9dt.\mathcal{I}=\int_{\mathcal{C}} \frac{y}{x} d s=\int_{0.5}^{1} \frac{1}{t} \sqrt{16 t^{6}+9 t^{4}} d t=\frac{1}{32} \int_{0.5}^{1} 32 t \sqrt{16 t^{2}+9} d t .

Using a uu-substitution, i.e. u=16t2+9u=16 t^{2}+9 and du=32tdtd u=32 t d t, we obtain I=148(53133)\mathcal{I}=\frac{1}{48}\left(5^{3}-\sqrt{13}^{3}\right).

Scalar line integrals II

Here, we examine line integrals of functions with respect to xx or yy. As before, we start with a function f(x,y)f(x, y) and a curve parametrised by Eq. (2.35) or Eq. (2.36). Then, the line integral of ff with respect to xx is given by:

Cf(x,y)dx=abf(r(t))x(t)dt.\int_{\mathcal{C}} f(x, y) d x=\int_{a}^{b} f(\boldsymbol{r}(t)) x^{\prime}(t) d t .

Similarly, the line integral of ff with respect to yy is given by:

Cf(x,y)dy=abf(r(t))y(t)dt\int_{\mathcal{C}} f(x, y) d y=\int_{a}^{b} f(\boldsymbol{r}(t)) y^{\prime}(t) d t

We note that the integrals with respect to xx and yy given by Eqs. (2.46) and (2.47), respectively, often appear together so we have the following combined integral for two functions, say, f(x,y)f(x, y) and g(x,y)g(x, y) :

Cf(x,y)dx+g(x,y)dy=Cf(x,y)dx+Cg(x,y)dy.\int_{\mathcal{C}} f(x, y) d x+g(x, y) d y=\int_{\mathcal{C}} f(x, y) d x+\int_{\mathcal{C}} g(x, y) d y .

Example 2.6 Evaluate Csin(πy)dy+yx2dx\int_{\mathcal{C}} \sin (\pi y) d y+y x^{2} d x where C\mathcal{C} is a line from (0,2)(0,2) to (1,4)(1,4).

Solution

We now have a line between two points which we can write in terms of a parametrisation. To parametrise a line segment, define the two points as r0=(0,2)\boldsymbol{r}_{0}=(0,2) and r1=(1,4)\boldsymbol{r}_{1}=(1,4). Then the parametrisation of the line is given by:

r(t)=(1t)r0+tr1,t[0,1].\boldsymbol{r}(t)=(1-t) \boldsymbol{r}_{\mathbf{0}}+t \boldsymbol{r}_{\mathbf{1}}, \quad t \in[0,1] .

In this example, we have:

r(t)=(1t)(0,2)+t(1,4),=(t,2+2t).\begin{aligned} \boldsymbol{r}(t) & =(1-t)(0,2)+t(1,4), \\ & =(t, 2+2 t) . \end{aligned}

We therefore have x(t)=tx(t)=t and y(t)=2+2ty(t)=2+2 t which give x(t)=1x^{\prime}(t)=1 and y(t)=2y^{\prime}(t)=2. Using the definitions in Eqs. (2.46) and (2.47), yield the line integral as:

Csin(πy)dy+yx2dx=Csin(πy)dy+Cyx2dx=01sin[π(2+2t)](2)dt+01(2+2t)t2(1)dt=76.\begin{aligned} \int_{\mathcal{C}} \sin (\pi y) d y+y x^{2} d x & =\int_{\mathcal{C}} \sin (\pi y) d y+\int_{\mathcal{C}} y x^{2} d x \\ & =\int_{0}^{1} \sin [\pi(2+2 t)](2) d t+\int_{0}^{1}(2+2 t) t^{2}(1) d t \\ & =\frac{7}{6} . \end{aligned}

Note that switching the direction of the curve does not give the same result here as in the case of computing the line integral with respect to an arc length, ss. Attempting to evaluate the line integral in Example 2.6 along the line segment in the reverse direction, i.e. from (1,4)(1,4) to (0,2)(0,2) gives 76-\frac{7}{6}. The differentials dxd x and dyd y may be positive or negative depending on which direction we choose to go from one point to another. Hence, if the differentials are negative, summing over negative areas to evaluate the integral, yields a negative result. We contrast this with the first case of line integrals we looked at with respect to arc length, ss. From the definition of the arc length differential, dsd s [see Eq. (2.40)], we can see that dsd s is independent of the sign of the differentials dxd x and dyd y.

We conclude this section with the following fact: if C\mathcal{C} is any curve, then

Cf(x,y)dx=Cf(x,y)dx and Cf(x,y)dy=Cf(x,y)dy.\int_{-\mathcal{C}} f(x, y) d x=-\int_{\mathcal{C}} f(x, y) d x \text { and } \int_{-\mathcal{C}} f(x, y) d y=-\int_{\mathcal{C}} f(x, y) d y .

Following Eq. (2.49), we can have the combined form of the two integrals for two functions f(x,y)f(x, y) and g(x,y)g(x, y) as:

Cf(x,y)dx+g(x,y)dy=Cf(x,y)dx+g(x,y)dy\int_{-\mathcal{C}} f(x, y) d x+g(x, y) d y=-\int_{\mathcal{C}} f(x, y) d x+g(x, y) d y