es
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 curve C 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 𝑎 ≤ tb. 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), 𝑎 ≤ tb, 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 = tktk-1. For n = 1, we have

\[ \mathbf{r}(t_1 ) - \mathbf{r}(t_0 ) = \left( x(t_1 ) - x(t_0 ) \right) {\bf i} + \left( y(t_1 ) - y(t_0 ) \right) {\bf j} \approx \dot{x} (t_1 )\,\Delta t_1 {\bf i} + \dot{y} (t_1 )\,\Delta t_1 {\bf j} , \]
where \( \displaystyle \quad \mathbf{r}(t) = \left( x(t), y(t) \right) \ \) and \( \displaystyle \ \mathbf{i} = \hat{\bf x} , \ \mathbf{j} = \hat{\bf y} \ \) are unit vectors in ℝ².

RJB Figure 7.5 on page 560 AEM by Tyrin In Figure 7.5, the curve C is in black, and connecting points on the curve are line segments.

The distance between two points r(t₁) and r(t₀) on the curve C is

\begin{align*} \| \mathbf{r}(t_1 ) - \mathbf{r}(t_0 ) \| &\approx \sqrt{\left[ \left( \dot{x}(t_1 ) \right)^2 + \left( \dot{y}(t_1 ) \right)^2 \right] \left( \Delta t_1 \right)^2} = \sqrt{\left( \dot{x}(t_1 ) \right)^2 + \left( \dot{y}(t_1 ) \right)^2} \, |\Delta t_1 | \\ &= \| \dot{\bf r}(t_1 ) \|\,|\Delta t_1 | , \end{align*}
where ∥ ⋅ ∥ is the Euclidean norm of the 2D vector. An approximation for L, the total arclength of the curve C, is given by
\[ L \approx \sum_{k=1}^n \| \mathbf{r}(t_k ) - \mathbf{r}(t_{k-1} ) \| \approx \sum_{k=1}^n \| \dot{\bf r} (t_k ) \| \,|\Delta t_k | \]
because Δtk is positive for every k. Take the limit, as both n โ†’ โˆž and each Δtk โ†’ 0, to get the exact total arclength:
\[ L = \int_a^b \| \dot{\bf r}(t) \| \,{\text d}t \]
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.
\begin{equation} \label{EqLine.2} \int_C \mathbf{F}\left( \mathbf{r} \right) \bullet {\text d}\mathbf{r} = \int_a^b \mathbf{F}\left( \mathbf{r}(t) \right) \bullet \dot{\mathbf{r}}(t) \,{\text d}t . \end{equation}
   
Example 5:    ■
End of Example 5
    Eq.\eqref{EqLine.2} can be rewritten in an equivalent form:
\begin{equation} \label{EqLine.3} \int_C \mathbf{F}\left( \mathbf{r} \right) \bullet {\text d}\mathbf{r} = \int_C \left( P\,{\text d}x + Q \,{\text d}y + R\,{\text d}z \right) , \end{equation}
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

\[ \int_C \mathbf{F}\left( \mathbf{r} \right) \bullet {\text d}\mathbf{r} = \int_C P(x,y)\,{\text d}x + Q(x,y)\,{\text d}y \]
has then a simple vector interpretation as follows:
\[ \int_C P(x,y)\,{\text d}x + Q(x,y)\,{\text d}y = \int_C \mathbf{F}_T {\text d} s , \]
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:
\begin{equation} \label{EqLine.4} \mathbf{T} = \frac{{\text d}x}{{\text d}s}\,\mathbf{i} + \frac{{\text d}y}{{\text d}s}\,\mathbf{j} = \cos\alpha\,\mathbf{i} + \sin\alpha \,\mathbf{j} . \end{equation}
Therefore,
\[ \mathbf{F}_T =\mathbf{F} \bullet \mathbf{T} = P\,\coa\alpha + Q\,\sin\alpha . \]
Then
\begin{equation} \label{EqLine.5} \int_C P\,{\text d}x + Q\,{\text d}y = \int_C \mathbf{F}_T {\text d}s = \int_C \left( P\,\cos\alpha + Q\,\sin\alpha \right) {\text d} s . \end{equation}
   
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

The parametric equations for this example are x = 𝑎 cosθ, dx = −𝑎 sinθ dθ, y = 𝑎 sinθ, dy = 𝑎 cosθ dθ, z = −1, and dz = 0 with 0 ≤ θ ≤ π. Hence, \begin{align*} \int_C {\bf F} \bullet {\text d} {\bf r} &= \int_0^{\pi} \left[ a^2 \cos^2 \theta + a^2 \sin^2 \theta \right] \left[ -a\,\sin\theta\,{\text d}\theta \right] \\ & \qquad -2a^2 \cos\theta \,\sin\theta \left[ a\,\cos\theta\,{\text d}\theta \right] \\ &= - a^3 \int_0^{\pi} \sin\theta\,{\text d}\theta - 2a^3 \int_0^{\pi} \cos^2 \theta \,\sin\theta \,{\text d}\theta \\ &= \left. a^3 \cos\theta \right\vert_{\theta = 0}^{\pi} + \left. \frac{2}{3}\,a^3 \cos^3 \theta \right\vert_{\theta = 0}^{\pi} \\ &= -2a^3 -\frac{4}{3}\,a^3 = - \frac{10}{3}\,a^3 . \end{align*}

Integrate
   ■
End of Example 7
    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
\[ \mbox{work} = \int_C \mathbf{F} \bullet {\text d}\mathbf{r} = \int_C \left( \mbox{tangential force component} \right) {\text d}s , \]
where
\[ \int_C \mathbf{F} \bullet {\text d}\mathbf{r} = \int_C P\,{\text d}x + Q\,{\text d} y = \lim_{\begin{array}{c}n\to\infty \\ \max \Delta s_i \to 0 \end{array}} \sum_{i=1}^n \mathbf{F} (x_i , y_i )\bullet \Delta\mathbf{r}_i . \]
Here Δri = Δxii + Δyij is a small increment. Line integral \eqref{EqLine.3} can then be written in the vector form
\[ \int_C \mathbf{F} \bullet {\text d}\mathbf{r} = \int_0^L \left( \mathbf{F} \bullet \frac{{\text d}\mathbf{r}}{{\text d}s} \right) {\text d} s = \int_C \left( \mathbf{F} \bullet \mathbf{T} \right) {\text d} s \]
If C is represented in terms of a parameter t, then
\[ \int_C \mathbf{F} \bullet {\text d}\mathbf{r} = \int_a^b \left( P\,\frac{{\text d}x}{{\text d}t} + Q\,\frac{{\text d}y}{{\text d}t} \right) {\text d}t = \int_a^b \left( \mathbf{F} \bullet \frac{{\text d}\mathbf{r}}{{\text d}t} \right) {\text d} t . \]
   
Example 8:    ■
End of Example 8
    If r is the position vector of a particle of mass m moving on C and F is the force applied, then by Newton's Second Law,
\[ \mathbf{F} = m\,\frac{{\text d}^2 \mathbf{r}}{{\text d}t^2} = m\,\frac{{\text d}\mathbf{v}}{{\text d}t} . \]
So if \v| = v, we have
\begin{align*} \int_C \mathbf{F} \bullet {\text d}\mathbf{r} &= \int_a^b \left( \mathbf{F} \bullet \frac{{\text d}\mathbf{r}}{{\text d}t} \right) {\text d}t = \int_a^b \left( m\,\frac{{\text d}\mathbf{v}}{{\text d}t} \bullet \mathbf{v} \right) {\text d}t \\ &= \int_a^b \frac{\text d}{{\text d}t} \left( \frac{1}{2}\,m\mathbf{v} \bullet \mathbf{v} \right) {\text d}t = \int_a^b \frac{\text d}{{\text d}t} \left( \frac{1}{2}\, m\,v^2 \right) {\text d}t . \end{align*}
Applying the Fundamental Theorem of Calculus, we obtain
\[ \int_C \mathbf{F}_T {\text d}s = \left. \frac{1}{2}\,m\,v^2 \right\vert_{t=a}^{t=b} , \]
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:

\[ \mathbf{n} = \mathbf{T} \times \mathbf{k} = \left( \frac{{\text d}x}{{\text d}s}\,\mathbf{i} + \frac{{\text d}y}{{\text d}s}\,\mathbf{j} \right) \times \mathbf{k} = \frac{{\text d}y}{{\text d}s}\,\mathbf{i} - \frac{{\text d}x}{{\text d}s}\,\mathbf{j} \]
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:
\[ \mathbf{F}_T = \mathbf{F} \bullet \mathbf{T} \qquad \mbox{and} \qquad \mathbf{F}_n = \mathbf{F} \bullet \mathbf{n} = Q\,\mathbf{i} - P\, \mathbf{j} , \]
where n is a vector orthogonal to the tangent vector T, so nT. 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:
\[ \int_C \mathbf{F}_n {\text d}n = \int_C \left( P\,\frac{{\text d}y}{{\text d}s} - Q\,\frac{{\text d}x}{{\text d}s} \right) {\text d}s = \int_C \left( -Q\,{\text d}x + P\,{\text d}y \right) . \]
   
Example 10:    ■
End of Example 10

 

 

  1. 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.
  2. Apostol, T.M., Mathematical Analysis, Pearson; 2nd edition, 1974; ISBN-13: โ€Ž 978-0201002881
  3. Fichtenholz, G.M., Fundamentals of Mathematical Analysis: International Series of Monographs in Pure and Applied Mathematics, Volume 2, Pergamon, 2013; ISBN-13 โ€ : โ€Ž 978-1483121710.
  4. Kaplan, W., Advanced Calculus, Pearson; 5th edition, 2002; ISBN-13: โ€Ž 978-0201799378