Calculus III: Line Integrals

Line integrals extend the fundamental idea of integration to functions along curves in space. For engineers, this mathematical tool is indispensable for calculating physical quantities like work done by a variable force along a path, the mass of a thin wire, or the circulation of a fluid flow. Mastering line integrals allows you to analyze how fields interact with specific paths, moving beyond simple area-under-a-curve calculations to true three-dimensional problem-solving.

Parametrizing Curves: The Foundation of All Line Integrals

Before you can integrate along a curve, you must describe the curve mathematically. A parametrization is a vector function $\vec{r}(t)=⟨x(t),y(t),z(t)⟩$ that traces the path $C$ as the parameter $t$ increases from $a$ to $b$. The choice of parametrization is not unique, but it must be smooth (continuously differentiable) and one-to-one on the interval.

For example, to parametrize the line segment from $(1,0,2)$ to $(3,4,1)$, you could use: $$\vec{r}(t)=⟨1,0,2⟩+t⟨2,4,-1⟩=⟨1+2t,4t,2-t⟩,0\le t\le 1.$$ The derivative, $\vec{r}{}^{\prime }(t)=⟨2,4,-1⟩$, is the tangent vector. Its magnitude, $|\vec{r}{}^{\prime }(t)|$, will be crucial for scaling integrals. A good parametrization is the first and most critical step—an error here propagates through the entire calculation.

Scalar Line Integrals: Mass and Arc Length

A scalar line integral integrates a scalar function $f(x,y,z)$ (like density or temperature) along a curve $C$. Think of it as summing the value of $f$ at each tiny segment of the curve, weighted by the segment's length. The formula is derived by substituting the parametrization: $${\int }_{C}f(x,y,z)ds={\int }_a^{b}f(\vec{r}(t))|\vec{r}{}^{\prime }(t)|dt.$$ Here, $ds=|\vec{r}{}^{\prime }(t)|dt$ represents the differential arc length.

Key Applications:

• Mass of a Wire: If $f(x,y,z)$ represents linear density (mass per unit length), the integral gives the total mass of a thin wire shaped like $C$.
• Arc Length: If you set $f(x,y,z)=1$, the integral computes the total length of the curve $C$:

$$\text{Length}={\int }_{C}ds={\int }_a^b|\vec{r}{}^{\prime }(t)|dt.$$

Worked Example: Find the mass of a wire shaped like the helix $\vec{r}(t)=⟨\cos t,\sin t,t⟩$ for $0\le t\le 2\pi$, with density $\rho (x,y,z)=z$.

1. Compute the derivative: $\vec{r}{}^{\prime }(t)=⟨-\sin t,\cos t,1⟩$.
2. Find its magnitude: $|\vec{r}{}^{\prime }(t)|=\sqrt{(-\sin t{)}^2+(\cos t{)}^2+1^2}=\sqrt{2}$.
3. The density function in terms of $t$ is $f(\vec{r}(t))=z(t)=t$.
4. Set up and evaluate the integral:

$$\text{Mass}={\int }_C\rho ds={\int }_0^{2\pi }t\cdot \sqrt{2}dt=\sqrt{2}{\left[\frac{t^2}{2}\right]}_0^{2\pi }=\sqrt{2}\cdot \frac{4{\pi }^2}{2}=2\sqrt{2}{\pi }^2.$$

Vector Line Integrals: Work and Circulation

A vector line integral (or line integral of a vector field) measures the cumulative effect of a vector field $\vec{F}(x,y,z)$ along a directed curve $C$. The most common physical interpretation is work done by a force field $\vec{F}$ on a particle moving along $C$. The integral sums the tangential component of $\vec{F}$ along the path.

Given a parametrization $\vec{r}(t)$, the formula is: $${\int }_C\vec{F}\cdot d\vec{r}={\int }_a^b\vec{F}(\vec{r}(t))\cdot \vec{r}{}^{\prime }(t)dt.$$ Here, $d\vec{r}=\vec{r}{}^{\prime }(t)dt$ is the differential displacement vector tangent to the curve. The dot product selects the component of the force acting in the direction of motion.

Worked Example: Calculate the work done by $\vec{F}=⟨y,-x,z⟩$ along the helix $\vec{r}(t)=⟨\cos t,\sin t,t⟩$ from $t=0$ to $t=2\pi$.

1. $\vec{F}(\vec{r}(t))=⟨\sin t,-\cos t,t⟩$.
2. $\vec{r}{}^{\prime }(t)=⟨-\sin t,\cos t,1⟩$.
3. Compute the dot product: $\vec{F}\cdot \vec{r}{}^{\prime }(t)=(\sin t)(-\sin t)+(-\cos t)(\cos t)+(t)(1)=-{\sin }^{2}t-{\cos }^{2}t+t=-1+t$.
4. Integrate: ${\int }_0^{2\pi }(t-1)dt={\left[\frac{t^2}{2}-t\right]}_0^{2\pi }=\frac{(2\pi {)}^2}{2}-2\pi =2{\pi }^2-2\pi$.

This result depends on the specific path taken from the start to the end point.

The Fundamental Theorem for Line Integrals and Conservative Fields

For some special vector fields, the line integral's value depends only on the endpoints of the path, not the specific route taken. This is the concept of path independence. Such fields are called conservative vector fields.

If $\vec{F}$ is conservative, then there exists a potential function $f$ such that $\vec{F}=\nabla f$ (the gradient of $f$). The Fundamental Theorem for Line Integrals then states: $${\int }_C\vec{F}\cdot d\vec{r}=f(\vec{r}(b))-f(\vec{r}(a)).$$ This dramatically simplifies computation. You only need to evaluate the potential function at the endpoints.

How to determine if $\vec{F}$ is conservative? For a vector field $\vec{F}=⟨P,Q,R⟩$ on a simply connected domain:

1. Check Component Conditions: $\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}$, $\frac{\partial P}{\partial z}=\frac{\partial R}{\partial x}$, and $\frac{\partial Q}{\partial z}=\frac{\partial R}{\partial y}$.
2. If these hold, $\vec{F}$ is conservative. You can then find a potential function $f$ by partial integration.

Worked Example: Is $\vec{F}=⟨2x+y^2,2xy+3y^2⟩$ conservative? If so, find the work from $(0,0)$ to $(1,2)$.

1. Check: $P=2x+y^2$, $Q=2xy+3y^2$.

$\frac{\partial P}{\partial y}=2y$ and $\frac{\partial Q}{\partial x}=2y$. The other condition is trivial in 2D. It is conservative.

1. Find $f$ such that $f_x=P$ and $f_y=Q$.

• Integrate $f_x$: $f=\int (2x+y^2)dx=x^2+x{y}^2+g(y)$.
• Differentiate with respect to $y$: $f_y=2xy+g^{\prime }(y)$. Set equal to $Q$: $2xy+g^{\prime }(y)=2xy+3y^2$.
• Thus, $g^{\prime }(y)=3y^2$, so $g(y)=y^3+K$.

1. Therefore, $f(x,y)=x^2+x{y}^2+y^3$.
2. Apply the theorem: Work = $f(1,2)-f(0,0)=(1+4+8)-(0)=13$.

Common Pitfalls

1. Incorrect Parametrization Bounds: A classic error is using the wrong $t$-interval, which integrates over the wrong portion of the curve. Always explicitly state the bounds for $t$ that correspond to the start and end points of the path $C$. For a closed loop, ensure your parametrization traces it exactly once.
2. Confusing $ds$ and $d\vec{r}$: This is the root of many mistakes. Remember, $ds=|\vec{r}{}^{\prime }(t)|dt$ is a scalar used in scalar line integrals. In contrast, $d\vec{r}=\vec{r}{}^{\prime }(t)dt$ is a vector used in the dot product for vector line integrals. Using one in place of the other is dimensionally incorrect.
3. Misapplying the Fundamental Theorem: The theorem only applies to conservative vector fields. Never use it without first verifying the component conditions or confirming path independence. Applying it to a non-conservative field (like the vortex field $⟨-y,x⟩$) will yield a wrong answer.
4. Forgetting the Magnitude in $ds$: When computing a scalar line integral $\int fds$, a common oversight is to integrate $f(\vec{r}(t))dt$ and forget the crucial $|\vec{r}{}^{\prime }(t)|$ factor. This factor accounts for the "stretching" of the parametrization and is essential for calculating quantities dependent on arc length.

Summary

• Scalar line integrals ${\int }_{C}fds$ sum a scalar function over a curve's length, used for calculating mass, arc length, and average values. The key formula is ${\int }_a^{b}f(\vec{r}(t))|\vec{r}{}^{\prime }(t)|dt$.
• Vector line integrals ${\int }_C\vec{F}\cdot d\vec{r}$ sum the tangential component of a vector field along a path, directly computing work or circulation. The formula is ${\int }_a^b\vec{F}(\vec{r}(t))\cdot \vec{r}{}^{\prime }(t)dt$.
• A smooth parametrization $\vec{r}(t)$ is the essential first step for evaluating any line integral, translating the geometric path into a workable one-variable calculus problem.
• A vector field is conservative if it is the gradient of a potential function ($\vec{F}=\nabla f$). This can be checked via cross-partial derivative conditions.
• The Fundamental Theorem for Line Integrals states that for a conservative field, ${\int }_C\vec{F}\cdot d\vec{r}=f(\text{end})-f(\text{start})$, leading to path independence. This provides a powerful shortcut, eliminating the need to integrate along complex curves.