Tutorials › Calculus III › Symmetry in Scalar Line Integrals

Home  /  Tutorials  /  Scalar Line Integrals

Scalar Line Integrals · Tutorial 737 of 999

Symmetry in Scalar Line Integrals

Use geometric symmetry to identify equal or cancelling contributions in scalar line integrals, and check that the symmetry applies to both the curve and the field.

Intermediate 9 min read

What You'll Learn

  • State how an isometry changes a scalar line integral.
  • Identify when reflected or rotated curve pieces have equal contributions.
  • Use sign-changing symmetry to show an integral is zero.
  • Pair contributions on a semicircle and a symmetric piecewise line.
  • Recognize why symmetry of the field alone is not enough.

Why Symmetry Helps

A scalar line integral adds the values of a scalar field along a curve, with each value weighted by the small amount of arc length. When a curve has symmetry, it may be possible to match one part of the curve with another and compare their contributions, rather than evaluating the entire integral independently.

The key is to check both the curve and the field. A reflection or rotation must carry the relevant curve onto itself, or onto another piece being integrated, and the field values at corresponding points must be understood. Depending on how those values relate, paired contributions may be equal, may cancel, or may combine into a simpler expression.

Key idea: Symmetry simplifies a scalar line integral by relating field values at points whose arc-length elements are unchanged by the symmetry.

Isometries and Scalar Line Integrals

We use reflections and rotations, which preserve distances. More generally, an isometry of the plane can be written as \(T(\mathbf{x})=\mathbf{Q}\mathbf{x}+\mathbf{b}\), where \(\mathbf{Q}^{\top}\mathbf{Q}=\mathbf{I}\) and \(\mathbf{b}\) is a fixed vector. The condition on \(\mathbf{Q}\) means that it preserves vector lengths: \(\lVert\mathbf{Q}\mathbf{v}\rVert=\lVert\mathbf{v}\rVert\).

For a piecewise smooth parametrized curve \(\mathbf{r}(t)\), \(a\le t\le b\), and a scalar field \(f\), the scalar line integral is defined by integrating the field along the curve with respect to arc length:

$$ \int_C f\,ds = \int_a^b f(\mathbf{r}(t))\,\lVert\mathbf{r}'(t)\rVert\,dt. $$

Here \(ds=\lVert\mathbf{r}'(t)\rVert\,dt\) is the arc-length element. For a piecewise smooth curve, the integral is the sum over its smooth pieces.

If \(T\) carries \(C\) to a curve \(T(C)\), the transformed parametrization is \(T(\mathbf{r}(t))\). Its derivative is \(\mathbf{Q}\mathbf{r}'(t)\), so its speed is \(\lVert\mathbf{Q}\mathbf{r}'(t)\rVert=\lVert\mathbf{r}'(t)\rVert\). Thus the isometry preserves the arc-length element. The field may change, however: the value at the transformed point is \(f(T(\mathbf{r}(t)))\).

Theorem: If \(T\) is an isometry and \(\mathbf{r}\) parametrizes \(C\), then $$ \int_{T(C)} f\,ds = \int_a^b f(T(\mathbf{r}(t)))\,\lVert\mathbf{r}'(t)\rVert\,dt. $$ If \(T(C)=C\) and \(f(T(\mathbf{x}))=f(\mathbf{x})\) on \(C\), then \(T\) preserves the integral over \(C\). If \(T(C)=C\) and \(f(T(\mathbf{x}))=-f(\mathbf{x})\) on \(C\), then the integral over \(C\) is zero.

Why the Symmetry Rule Works

The theorem follows directly from the definition. If \(\mathbf{r}(t)\) parametrizes \(C\), then \(T(\mathbf{r}(t))\) parametrizes its image. Differentiating and using \(\mathbf{Q}^{\top}\mathbf{Q}=\mathbf{I}\) gives:

$$ \frac{d}{dt}T(\mathbf{r}(t)) =\mathbf{Q}\mathbf{r}'(t), \qquad \left\lVert\frac{d}{dt}T(\mathbf{r}(t))\right\rVert =\lVert\mathbf{r}'(t)\rVert. $$

Substituting this parametrization into the definition gives the displayed formula for \(\int_{T(C)} f\,ds\). If \(T(C)=C\), the transformed curve and the original curve have the same scalar line integral. In the invariant case \(f(T(\mathbf{x}))=f(\mathbf{x})\), this says that corresponding pieces contribute equally. In the sign-changing case \(f(T(\mathbf{x}))=-f(\mathbf{x})\), it says that the integral equals its own negative, so it must be zero.

For a reflection, points on the line of reflection are fixed. If the field is odd under that reflection, it must be zero at those fixed points. Such points do not create an additional curve contribution by themselves; the cancellation pairs the remaining reflected pieces.

Worked Example: A Rotationally Antisymmetric Field on a Circle

Worked Example: A Rotationally Antisymmetric Field on a Circle

Evaluate \(\int_C (x^2-y^2)\,ds\), where \(C\) is the circle \(x^2+y^2=4\).

A rotation through a quarter-turn about the origin maps this circle onto itself. Under \(T(x,y)=(-y,x)\), the field changes sign:

$$ f(T(x,y))=(-y)^2-x^2=y^2-x^2=-(x^2-y^2)=-f(x,y). $$

Therefore, the integral is zero. We can check this by parametrizing the circle as \(\mathbf{r}(\theta)=(2\cos\theta,2\sin\theta)\), \(0\le\theta\le2\pi\). The speed is \(2\), and the field along the curve is \(4\cos^2\theta-4\sin^2\theta=4\cos(2\theta)\). Hence

$$ \int_C (x^2-y^2)\,ds = \int_0^{2\pi} 4\cos(2\theta)\cdot 2\,d\theta = 8\left[\frac{\sin(2\theta)}{2}\right]_0^{2\pi} = 0. $$

The direct calculation agrees with the rotational cancellation.

Worked Example: Pairing the Sides of a Semicircle

Worked Example: Pairing the Sides of a Semicircle

Evaluate \(\int_C (1+x)\,ds\), where \(C\) is the upper semicircle \(x^2+y^2=1\), \(y\ge 0\).

Reflection across the \(y\)-axis maps this semicircle onto itself. The constant part of the field is unchanged, while the \(x\) part changes sign. Parametrize the semicircle by \(\mathbf{r}(\theta)=(\cos\theta,\sin\theta)\), \(0\le\theta\le\pi\). Its speed is \(1\), so \(ds=d\theta\). Pair angles \(\theta\) and \(\pi-\theta\), with \(0\le\theta\le\pi/2\). Their field values sum to

$$ (1+\cos\theta)+(1+\cos(\pi-\theta)) = (1+\cos\theta)+(1-\cos\theta) = 2. $$

Thus each pair contributes \(2\,d\theta\), and the integral is

$$ \int_0^{\pi/2}2\,d\theta=\pi. $$

For a check, compute the two halves separately. The right half contributes \(\int_0^{\pi/2}(1+\cos\theta)\,d\theta=\pi/2+1\). The left half contributes \(\int_{\pi/2}^{\pi}(1+\cos\theta)\,d\theta=\pi/2-1\). Their sum is \(\pi\), as obtained by pairing.

Worked Example: Equal Contributions on a Symmetric Line

Worked Example: Equal Contributions on a Symmetric Line

Let \(C\) consist of the two line segments from \((0,1)\) to \((1,0)\) and from \((0,1)\) to \((-1,0)\). Evaluate \(\int_C (1+y)\,ds\).

The two segments are reflections of each other across the \(y\)-axis, and \(1+y\) is unchanged by that reflection. Parametrize the right segment by \(\mathbf{r}_R(t)=(t,1-t)\), \(0\le t\le1\). Its speed is \(\sqrt{1^2+(-1)^2}=\sqrt{2}\), and the field value is \(1+(1-t)=2-t\). Its contribution is

$$ \int_0^1 (2-t)\sqrt{2}\,dt = \sqrt{2}\left[2t-\frac{t^2}{2}\right]_0^1 = \frac{3\sqrt{2}}{2}. $$

The left segment has the parametrization \(\mathbf{r}_L(t)=(-t,1-t)\). Its speed is also \(\sqrt{2}\), and its field value is again \(2-t\). Its contribution is therefore \(\sqrt{2}\int_0^1(2-t)\,dt=3\sqrt{2}/2\). Adding the two contributions gives

$$ \int_C (1+y)\,ds = \frac{3\sqrt{2}}{2}+\frac{3\sqrt{2}}{2} = 3\sqrt{2}. $$

The reflected pieces have equal integrals, as expected. The calculation also verifies the total by evaluating each segment.

When Symmetry Does Not Give Cancellation

A common mistake is to find a symmetry of the field and assume that it forces cancellation, without checking whether the curve is also preserved. For example, \(f(x,y)=y\) changes sign under reflection across the \(x\)-axis. But that reflection carries the upper semicircle to the lower semicircle, not to the upper semicircle itself.

Common mistake: It is incorrect to conclude that \(\int_C y\,ds=0\) on the upper unit semicircle just because \(y\) changes sign under reflection across the \(x\)-axis. That reflection does not pair points within \(C\).

In fact, using \(\mathbf{r}(\theta)=(\cos\theta,\sin\theta)\), \(0\le\theta\le\pi\), gives \(ds=d\theta\) and \(y=\sin\theta\). Therefore

$$ \int_C y\,ds = \int_0^\pi\sin\theta\,d\theta = [-\cos\theta]_0^\pi = 1-(-1) = 2. $$

The correction is to check that the symmetry maps the curve onto itself, not merely that it transforms the field in a useful way. If a transformation maps one curve piece to a different piece, the integral over the larger curve can still be simplified by comparing those pieces, but their contributions must be included in the domain being integrated.

A Practical Symmetry Check

Before using symmetry, identify the transformation and verify what it does to both the curve and the scalar field. Then decide whether the contributions are equal, opposite, or neither. This short sequence prevents most symmetry errors.

1
Identify the transformation.
Specify the reflection or rotation, including its axis or center.
2
Check the curve.
Confirm that the transformation maps the curve onto itself or maps one included piece onto another.
3
Check the field values.
Compare \(f(T(\mathbf{x}))\) with \(f(\mathbf{x})\) at corresponding points.
4
Combine the contributions.
Equal values give equal paired contributions; opposite values cancel when the paired pieces cover the curve.

Symmetry is especially useful when a direct parametrization would produce several similar integrals. It can reduce a full circle to a sector, show that a signed integral vanishes, or let one calculate a single piece and multiply by the number of matching pieces. The conclusion always depends on the field’s transformation rule as well as the geometry.

Check Your Understanding

Use the curve and field together when deciding whether symmetry applies.

  1. What property of an isometry ensures that it preserves the arc-length element?
  2. If a reflection maps a curve onto itself and changes \(f\) to \(-f\), what is \(\int_C f\,ds\)?
  3. On the upper unit semicircle, does reflection across the \(y\)-axis preserve the curve? How does it transform the field \(1+x\)?
  4. Why does the field \(y\) not have cancelling contributions on the upper semicircle by reflection across the \(x\)-axis?
  5. For two reflected curve pieces, what must be checked before concluding that their scalar line integrals are equal?

Previous

Next

Back to Tutorials