Line integrals are used in many applications. For example, in electricity and magnetism, they provide simple methods for computing the electric and
magnetic fields for simple geometries.
By a smooth curveC in the xy-plane will be meant a curve representable in the form under standard Cartesian coordinates:
\[
x = \phi (t), \quad y = \psi (t), \qquad a \le t \le b ,
\]
where x and y are continuous and have continuous derivatives for
𝑎 ≤ t ≤ b. The
curve C can be assigned a direction, which will usually be that of increasing t. If A denotes the point [ϕ(𝑎), ψ(𝑎)] and B denotes the point [ϕ(b), ψ(b)],then C can be
thought of as the path of a point moving continuously from A to B. This path may
cross itself. If the initial point A and terminal point B
coincide, C is termed a closed curve; if, in addition, (x, y ) moves from A to B = A
without retracing any other point, C is called a simple closed curve.
Line integrals in a scalar field
A scalar field has a value associated to each point in space. Examples of scalar fields are height, temperature or pressure maps. In a two-dimensional field, the value at each point can be thought of as a height of a surface embedded in three dimensions. The line integral of a curve along this scalar field is equivalent to the area under a curve traced over the surface defined by the field.
Let us consider a curve C on ℝ² (or ℝ³) parametrized by r =r(t), 𝑎 ≤ t ≤ b, which is a piecewise smooth vector-valued function. We can find its length by a limiting process on piecewise linear curves that approximate C.
Let 𝑎 = t₀ < t₁ < ⋯ < tn = b be a partition of closed interval [𝑎, b] and Δk = tk − tk-1. For n = 1, we have
From engineering point of view, this makes sense because \( \displaystyle \quad \| \dot{\bf r}(t) \| \ \) is the speed of traveled point when t is the time.
The arclength function is a function that calculates the length of a curve along a specific interval given by
\[
s(t) = \int_a^t \| \dot{\bf r}(u) \| \,{\text d}u .
\]
This formula leads to the following definition.
The element of arclength is defined by
\[
{\text d}s = \| \dot{\bf r}(t) \|\, {\text d}t .
\]
Example 1:
■
End of Example 1
Using these notations and definition of the arclength, we introduce the line integral.
Let f be a function defined on a curve ๐ถ of finite length. Then the line integral of ๐ along ๐ถ is
\[
\int_C f(x,y)\,{\text d}s = \lim_{n\to\infty} \sum_{i=1}^n f(x_i , y_i )\,\Delta s_i
\]
(for two dimensions)
\[
\int_C f(x,y, z)\,{\text d}s = \lim_{n\to\infty} \sum_{i=1}^n f(x_i , y_i , z_i )\,\Delta s_i
\]
(for three dimensions).
We can unite both cases into the concise formula to define the line integral:
\begin{equation} \label{EqLine.1}
\int_C f \left( \mathbf{r} \right) {\text d}s = \int_a^b f \left( \mathbf{r} (t) \right) \| \dot{\bf r} (t) \| \,{\text d}t .
\end{equation}
Note that \( \displaystyle \quad \| \dot{\bf r} (t) \| = + \sqrt{\dot{x}^2 (t) + \dot{y}^2 (t) + \dot{z}^2 (t)} \ \) (with positive branch of square root). We remark that the value of a line integral on C does not depend on the particular
parametrization of C, but only on the order in which the points of C are traced.
Example 2:
\[
\int_C f(\mathbf{r})\,{\text d} s = \int_0^{2\pi} f\left( a\,\cos t, a\,\sin t, t \right) \sqrt{1+a^2} \,{\text d}t .
\]
■
End of Example 2
The average value of a function f on a curve C is
\[
\overline{f} = \frac{1}{\mbox{length of $C$}} \,\int_C f\left( \mathbf{r} \right) {\text d} s = \frac{\int_C f\left( \mathbf{r} \right) {\text d} s}{\int_C 1 \, {\text d} s} .
\]
Example 3:
■
End of Example 3
Besides the line integrals defined by Eq.\eqref{EqLine.1}, we have the following:
Let C be a smooth curve as previously, with positive direction that of increasing t.
Let f(x, y, z) be a continuous function defined at least when (x, y, z) is on C.
The line integrals over axes are
\begin{align*}
\int_C f \left( \mathbf{r} \right) {\text d} x &= \int_a^b f \left( \mathbf{r}(t) \right) \left( \frac{{\text d}x}{{\text d}t} (t) \right) {\text d} t = \lim_{n\to\infty} \sum_{i=1}^n f\left( x_i , y_i , z_i \right) \Delta x_i ,
\\
\int_C f \left( \mathbf{r} \right) {\text d} y &= \int_a^b f \left( \mathbf{r}(t) \right) \left( \frac{{\text d}y}{{\text d}t} (t) \right) {\text d} t = \lim_{n\to\infty} \sum_{i=1}^n f\left( x_i , y_i , z_i \right) \Delta y_i ,
\\
\int_C f \left( \mathbf{r} \right) {\text d} z &= \int_a^b f \left( \mathbf{r}(t) \right) \left( \frac{{\text d}z}{{\text d}t} (t) \right) {\text d} t = \lim_{n\to\infty} \sum_{i=1}^n f\left( x_i , y_i , z_i \right) \Delta z_i .
\end{align*}
The limit refers to a subdivision of C when its width tends to zero.
This formulas reduce the integrals to ordinary definite integrals in Riemann sense and are thus essential for computation of particular integrals.
Example 4:
■
End of Example 4
In many applications, the path C is not itself smooth but is composed of a finite
number of arcs, each of which is smooth. Then C might be a broken line. In this case, C is termed piecewise smooth. The line integral along C is simply, by definition,
the sum of the integrals along the pieces.
Line integrals in a vector field
Suppose F = F(x, y, z) is a vector field, that is, a vector-valued function. We define a
line integral of a vector field as follows.
where F(r) = P(x, y, z) i + Q(x, y, z) j + R(x, y, z) k is the given vector field and dr = dxi + dyj + dzk
is the differential.
Example 6:
■
End of Example 6
For simplicity, let us consider a two-dimensional case when the vector field has only two components: F(r) = P(x, y) i + Q(x, y) j. Then
the line integral
where FT denotes the tangential component of F, that is, the component of F in the
direction of the tangent vector T in the direction of increasing arclength s:
Example 7:
Suppose that the vector field is given by F = (x² + y²) i − 2xyj + xk. Let contour C be a portion of the circle x² + y² = 𝑎² from the point (𝑎, 0, −1) to (b, 0, −1).
RJB Figure 4.3.4 page 162 of Advanced Engineering mathematica with Matlab by Duffy
In the two-dimensional case in which F = Pi + Qj is a force field, the integral
\( \displaystyle \quad \int \mathbf{F}_T {\text d}s = \int P\,{\text d}x + Q\,{\text d}y \quad \) represents the work done by this force in moving a particle from one end of C to the another end. For the work done is defined in mechanics as "force times
distance" or, more precisely, as follows:
RJB Figure 5.9 on page 292 from Advanced Calculus by Kaplan
So the work done equals the gain in kinetic energy. This is a basic law of
mechanics.
Example 9:
■
End of Example 9
Fundamental Theorem of Line Integrals:
Suppose C is a piecewise smooth curve in a domain Ω where scalar function f has contonuous derivatives. Then
\[
\int_C \nabla f(\mathbf{r}) \bullet {\text d}\mathbf{r} = f(\mathbf{r}(b-0)) - f\left( \mathbf{r}(a+0) \right) ,
\]
where C is parametrized by t in the interval [𝑎, b].
RJB figure 5.10 on page 282 of Advanced Calculus by Kaplan
Given a smooth path C on the plane, we can assign two orthogonal vectors at every point on C---a tangent vector T and a normal vector to the tangent line:
because the vector product v × k of a vector v in the xy-plane with k is a vector u having
the same magnitude as v and π/2 behind v.
For any vector field F = Pi + Qi on the plane. we can construct two projections on these two orthogonal vectors, T and n, using dot product:
where n is a vector orthogonal to the tangent vector T, so n ⊥ T. It is convenient to normalize vectors n and T by considering the unit vectors that are denoted by
\( \displaystyle \quad \hat{\bf n} = {\bf n}/\|{\bf n}\| \ \) and \( \displaystyle \quad \hat{\bf T} =
\dot{\bf r}/ \| \dot{\bf r} \| . \ \) Correspondingly, we can build the line integral:
Apostol, T.M., Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications to Differential Equations and Probability, Wiley; 2nd edition, 1991; ISBN-13: โ 978-0471000075.
Fichtenholz, G.M., Fundamentals of Mathematical Analysis: International Series of Monographs in Pure and Applied Mathematics, Volume 2, Pergamon, 2013; ISBN-13 โ : โ 978-1483121710.