Tutorials › Calculus III › Using Symmetry in Curl-Flux Integrals

Home  /  Tutorials  /  Stokes’ Theorem

Stokes’ Theorem · Tutorial 941 of 999

Using Symmetry in Curl-Flux Integrals

Use the symmetries of the surface and its complete curl-flux integrand to simplify integrals before calculating.

Advanced 11 min read

What You'll Learn

  • Identify when a reflection symmetry makes a curl-flux integral vanish.
  • Distinguish symmetry of the surface from oddness of the complete flux integrand.
  • Use polar coordinates to evaluate rotationally symmetric disk integrals.
  • Apply disk symmetry to flux through an oriented hemisphere.
  • Avoid incorrect cancellation on rectangular patches that are symmetric in only one coordinate.

Why Symmetry Helps

Stokes’ Theorem relates circulation along an oriented boundary curve to the flux of the curl across a surface. Once the surface and its orientation are fixed, the surface integral can still look complicated. Before calculating it directly, check whether the surface and the complete scalar flux density have symmetries that force cancellation or reduce the integral to a simpler one.

For a parametrized oriented surface \(\mathbf r(u,v)\), the curl flux is

$$ \iint_S (\nabla\times\mathbf F)\cdot d\mathbf S = \iint_D (\nabla\times\mathbf F)(\mathbf r(u,v)) \cdot \bigl(\mathbf r_u\times\mathbf r_v\bigr)\,du\,dv. $$

Here \(D\) is the parameter domain, and the order of the cross product determines the orientation. The scalar function being integrated is not just a component of the curl: it includes both the curl evaluated on the surface and the oriented area factor \(\mathbf r_u\times\mathbf r_v\). Symmetry must be checked for this full integrand together with its domain.

Key principle: A symmetric surface does not by itself make a flux integral vanish. Cancellation follows when the domain and the complete scalar flux density transform in the required way under a symmetry.

Oddness Under Reflection

Let \(D\) be a planar region and \(f\) an integrable scalar function on it. Suppose reflection across the \(y\)-axis maps \(D\) onto itself, and suppose \(f(-x,y)=-f(x,y)\) throughout \(D\). Then the integral of \(f\) over \(D\) is zero. The same reasoning applies to reflection across the \(x\)-axis, using \(f(x,-y)=-f(x,y)\).

The important point is that the region must be symmetric under the particular reflection, and the integrand must change sign under that same reflection. A function being odd in one variable does not guarantee cancellation if the integration bounds in that variable are not symmetric.

Theorem: If reflection \(\sigma\) maps a region \(D\) onto itself, preserves area, and the integrand satisfies \(f(\sigma(p))=-f(p)\), then \(\iint_D f\,dA=0\).

Why Reflection Cancellation Works

The result follows directly from a change of variables. Write \(I=\iint_D f(p)\,dA\), and substitute \(q=\sigma(p)\). Reflection maps \(D\) onto itself and has area scale factor \(1\), so the integral has the same value after substitution. But the integrand changes sign.

$$ I = \iint_D f(\sigma(p))\,dA = -\iint_D f(p)\,dA = -I. $$

Thus \(2I=0\), and therefore \(I=0\). This proof explains why pairing reflected points works: their contributions have equal area and opposite values. If either the domain symmetry or the sign change fails, this argument does not establish cancellation.

Worked Example: Odd Terms on a Disk

Worked Example: Odd Terms on a Disk

Let \(\mathbf F(x,y,z)=(0,\frac{x^2}{2}+xy,0)\), and let \(S\) be the disk \(x^2+y^2\leq 4\) in the plane \(z=0\), oriented upward. Compute the curl flux.

First compute the curl. For \(\mathbf F=(P,Q,R)\), its third component is \(Q_x-P_y\). Here \(P=0\) and \(Q=\frac{x^2}{2}+xy\), so

$$ \nabla\times\mathbf F = \left(0,0,\frac{\partial}{\partial x} \left(\frac{x^2}{2}+xy\right)\right) = (0,0,x+y). $$

On the upward-oriented planar disk, the unit normal is \((0,0,1)\). Therefore the flux density is \(x+y\), and the integral is

$$ \iint_S(\nabla\times\mathbf F)\cdot d\mathbf S = \iint_{x^2+y^2\leq4}(x+y)\,dA. $$

The disk is unchanged by reflection across either coordinate axis. Under \(x\)-reflection, \(x\) changes sign while \(y\) does not; hence the integral of the \(x\) term is zero. Under \(y\)-reflection, the \(y\) term changes sign while \(x\) does not; hence the integral of the \(y\) term is zero. Thus the total is \(0+0=0\).

As a direct check, polar coordinates give \(x= r\cos\theta\), \(y=r\sin\theta\), and \(dA=r\,dr\,d\theta\), with \(0\leq r\leq2\) and \(0\leq\theta\leq2\pi\). Then

$$ \int_0^2\int_0^{2\pi} r(\cos\theta+\sin\theta)\,r\,d\theta\,dr = \int_0^2 r^2 \left( \int_0^{2\pi}\cos\theta\,d\theta+ \int_0^{2\pi}\sin\theta\,d\theta \right)dr =0. $$

Both angular integrals are zero, confirming the result.

Rotational Symmetry on a Disk

A disk is unchanged by rotations about its center. In polar coordinates, an integrand that depends only on the distance \(r\) from the center has no angular variation. For a disk of radius \(a\), its integral reduces to a one-variable integral:

$$ \iint_{x^2+y^2\leq a^2} f\!\left(\sqrt{x^2+y^2}\right)\,dA = 2\pi\int_0^a f(r)\,r\,dr. $$

The factor \(r\) comes from the polar area element \(dA=r\,dr\,d\theta\). Rotational symmetry can also expose cancellation: terms such as \(r\cos\theta\) and \(r\sin\theta\) have zero angular integral over a full circle. Do not assume that an integrand is rotationally invariant just because the disk is; inspect its dependence on the angle.

Worked Example: A Radial Curl Component on a Disk

Let \(\mathbf F(x,y,z)=(0,\frac{x^3}{3}+xy^2,0)\), and let \(S\) be the disk \(x^2+y^2\leq a^2\) in \(z=0\), oriented upward, where \(a>0\). Find the curl flux.

The curl is

$$ \nabla\times\mathbf F = \left(0,0, \frac{\partial}{\partial x} \left(\frac{x^3}{3}+xy^2\right)\right) = (0,0,x^2+y^2). $$

The upward normal is \((0,0,1)\), so the flux is \(\iint_D(x^2+y^2)\,dA\). In polar coordinates, \(x^2+y^2=r^2\), giving

$$ \iint_D(x^2+y^2)\,dA = \int_0^{2\pi}\int_0^a r^2\,r\,dr\,d\theta = \int_0^{2\pi}\left[\frac{r^4}{4}\right]_0^a\,d\theta = \int_0^{2\pi}\frac{a^4}{4}\,d\theta = \frac{\pi a^4}{2}. $$

For a check, the radial formula gives \(2\pi\int_0^a r^2r\,dr=2\pi[a^4/4]_0^a=\pi a^4/2\), the same value.

Using Symmetry on a Hemisphere

A hemisphere can inherit useful symmetries from its projection onto a disk. For the upper hemisphere \(x^2+y^2+z^2=R^2\), \(z\geq0\), the outward unit normal is \((x,y,z)/R\). Reflection across the plane \(x=0\) maps the hemisphere to itself, keeps \(z\) unchanged, and reverses the sign of \(x\). Thus a flux density proportional to \(x\) times a quantity unchanged by this reflection will cancel.

Worked Example: Odd Flux Through an Upper Hemisphere

Let \(\mathbf F(x,y,z)=(0,\frac{x^2}{2},0)\). Find its curl flux through the upper hemisphere of radius \(R>0\), oriented outward.

Its curl is \(\nabla\times\mathbf F=(0,0,x)\). On the hemisphere the outward unit normal is \(\mathbf n=(x,y,z)/R\), so the scalar density relative to surface area is

$$ (\nabla\times\mathbf F)\cdot\mathbf n = (0,0,x)\cdot\left(\frac{x}{R},\frac{y}{R},\frac{z}{R}\right) = \frac{xz}{R}. $$

Reflection \(x\mapsto -x\) preserves the upper hemisphere and its area, leaves \(z\) unchanged, and changes \(xz/R\) to \(-xz/R\). The integral is therefore zero.

There is also a check using the projection onto the disk \(x^2+y^2\leq R^2\). For the upper graph \(z=\sqrt{R^2-x^2-y^2}\), the upward-oriented vector area element is \((-z_x,-z_y,1)\,dx\,dy=(x/z,y/z,1)\,dx\,dy\) in the interior of the disk. Dotting the curl \((0,0,x)\) with it gives the projected density \(x\). Its disk integral is zero by reflection across the \(y\)-axis. This agrees with the hemisphere calculation.

Symmetry on a Rectangular Patch: Check Both Terms

A rectangle may be symmetric in one coordinate and not the other. In that case, only terms odd in the coordinate with symmetric bounds are guaranteed to cancel. For example, on \([-1,1]\times[0,2]\), reflection across the \(y\)-axis preserves the rectangle, but reflection across the \(x\)-axis does not.

Worked Example: One Reflection Cancels Only One Term

Use \(\mathbf F=(0,\frac{x^2}{2}+xy,0)\) on the upward-oriented patch \(S=\{(x,y,0):-1\leq x\leq1,\ 0\leq y\leq2\}\). As computed above, \(\nabla\times\mathbf F=(0,0,x+y)\), so

$$ \iint_S(\nabla\times\mathbf F)\cdot d\mathbf S = \int_0^2\int_{-1}^1(x+y)\,dx\,dy. $$

For each fixed \(y\), the \(x\) term integrates to zero, but the \(y\) term does not:

$$ \int_0^2\left( \int_{-1}^1 x\,dx+ \int_{-1}^1 y\,dx \right)dy = \int_0^2(0+2y)\,dy = [y^2]_0^2 = 4. $$

A direct check by evaluating the inner integral gives \(\int_{-1}^1(x+y)\,dx=[x^2/2+yx]_{-1}^1=2y\), and then \(\int_0^2 2y\,dy=4\).

A Common Mistake: Pairing Points Incorrectly

For the preceding rectangle, reflecting across the \(y\)-axis pairs the values \(x+y\) and \(-x+y\). Their sum is

$$ (x+y)+(-x+y)=2y, $$

which is not generally zero. The values are therefore not generally opposites at points reflected across the \(y\)-axis. The correction is to separate the terms: \(x\) changes sign and cancels, while \(y\) is unchanged and contributes \(4\) over the patch. Treating the entire expression as odd in \(x\) would incorrectly give zero.

Another common error is to check only the curl component and ignore the oriented area factor. On a curved surface, the normal varies from point to point. Even if one component of the curl is odd in a parameter, the complete dot product with the oriented normal may not be odd. Compute or identify the full scalar density before applying a symmetry argument.

A Reliable Symmetry Check

1
Write the oriented flux density.
For a parametrization, include \((\nabla\times\mathbf F)(\mathbf r(u,v))\cdot(\mathbf r_u\times\mathbf r_v)\). For a graph or a planar patch, include its oriented area factor.
2
Identify a symmetry of the domain or surface.
Check that the proposed reflection or rotation actually maps the integration region onto itself.
3
Transform the complete density.
Determine whether it changes sign, stays unchanged, or has terms with different behavior.
4
Use only the cancellation that follows.
An odd density on an invariant domain integrates to zero. Otherwise, retain the surviving terms and calculate them.

Check Your Understanding

Use the symmetry conditions carefully; do not infer cancellation from the shape of a region alone.

  1. Why must both the domain and the complete scalar flux density be checked before applying odd-function cancellation?
  2. On the disk \(x^2+y^2\leq1\), which terms in \(x^2+y\) integrate to zero, and which do not?
  3. For a radial function \(f(r)\) on a disk of radius \(a\), what factor appears in the polar-coordinate area element, and what is the resulting one-dimensional formula?
  4. On the rectangle \([-2,2]\times[1,3]\), does reflection across the \(y\)-axis make the integral of \(x+y\) vanish? Explain which term cancels.
  5. Why can symmetry of a hemisphere be useful when its curl-flux integral is expressed over its projected disk?

Previous

Next

Back to Tutorials