Why Symmetry Helps
The Divergence Theorem converts the outward flux of a vector field through a closed surface into a volume integral of its divergence. That conversion is especially useful when the divergence contains several terms but the solid has symmetry: some terms may contribute zero, leaving a much simpler integral.
The key is to check the symmetry of both the solid and the scalar function being integrated. Symmetry of the solid alone does not make every integral vanish. A term cancels when a suitable transformation preserves the solid and reverses the sign of that term. This is a sufficient way to prove cancellation; it is not a necessary condition for an integral to be zero.
Symmetry and Cancellation
A reflection across the \(yz\)-plane sends \((x,y,z)\) to \((-x,y,z)\). If a solid is unchanged by this reflection, then it is symmetric in the \(x\)-coordinate. For example, a ball centered at the origin and a cylinder with axis the \(z\)-axis and centered circular cross-sections both have this property.
The function \(x\) changes sign under that reflection. So does \(x^3\), while \(x^2\) does not. If the solid is symmetric under the reflection, the integrals of \(x\) and \(x^3\) over it are zero, while the integral of \(x^2\) need not be zero. Analogous statements hold for reflections in the other coordinate planes.
Why an Odd Term Integrates to Zero
The cancellation principle follows from the change-of-variables formula. We give the argument for an orthogonal transformation, such as a reflection or rotation. An orthogonal transformation preserves volume because the absolute value of its determinant is \(1\).
Since \(T(D)=D\), substituting \(\mathbf{x}=T(\mathbf{u})\) rewrites the integral over the same solid. The volume factor is \(\lvert\det T\rvert=1\).
The hypothesis \(g(T(\mathbf{u}))=-g(\mathbf{u})\) makes the transformed integral the negative of the original one.
If \(I=\iiint_D g\,dV\), then the change of variables gives \(I=-I\), hence \(2I=0\) and \(I=0\).
This proof depends on both conditions: the transformation must preserve the region and the volume element, and it must change the sign of the integrand. If either condition fails, this argument does not establish cancellation.
Central Symmetry and Rotational Symmetry
Central inversion sends \((x,y,z)\) to \((-x,-y,-z)\). A solid centered at the origin, such as a ball, is unchanged by this transformation. Every function \(g\) satisfying \(g(-x,-y,-z)=-g(x,y,z)\) therefore integrates to zero over that solid. For instance, \(x+y+z\) changes sign under central inversion.
Central symmetry should not be confused with reflection symmetry in each coordinate separately. Central inversion changes all three coordinates at once; a function such as \(xy\) does not change sign under it, even though it changes sign under reflection in just the \(yz\)-plane. The particular transformation matters.
Rotations can also relate integrals that do not vanish. On a circular cylinder centered on the \(z\)-axis, a rotation by a right angle exchanges the roles of \(x^2\) and \(y^2\). Thus their integrals over that cylinder are equal. Since \(x^2+y^2=r^2\) in cylindrical coordinates, their sum can then be evaluated using the radial coordinate.
Worked Example: Odd Terms in a Ball
Worked Example: Odd Terms in a Ball
Let \(D\) be the ball of radius \(2\) centered at the origin, and let \[ \mathbf{F}(x,y,z)=\bigl(x^4+x,\;y^4+2y,\;z^4+3z\bigr). \] Find the outward flux of \(\mathbf{F}\) through the boundary of \(D\).
The field is polynomial, so it is continuously differentiable throughout space. The ball has a closed smooth boundary, and the Divergence Theorem applies. First compute the divergence, differentiating each component with respect to its matching coordinate: \[ \nabla\cdot\mathbf{F} = \frac{\partial}{\partial x}(x^4+x) +\frac{\partial}{\partial y}(y^4+2y) +\frac{\partial}{\partial z}(z^4+3z) = (4x^3+1)+(4y^3+2)+(4z^3+3). \] Therefore, \[ \nabla\cdot\mathbf{F}=4x^3+4y^3+4z^3+6. \]
The ball is unchanged by reflection in each coordinate plane. Under reflection in the \(yz\)-plane, \(x^3\) changes sign, so \(\iiint_D x^3\,dV=0\). Reflections in the other two coordinate planes give \(\iiint_D y^3\,dV=0\) and \(\iiint_D z^3\,dV=0\). The constant term remains, so \[ \iiint_D\nabla\cdot\mathbf{F}\,dV = 6\iiint_D1\,dV = 6\operatorname{Vol}(D). \] The volume of a radius-\(2\) ball is \[ \operatorname{Vol}(D)=\frac{4}{3}\pi(2)^3=\frac{32\pi}{3}. \] Hence the flux is \[ 6\cdot\frac{32\pi}{3}=64\pi. \]
As a check, the Divergence Theorem identifies this volume integral with the outward flux through the sphere, so the calculated flux is \(64\pi\). The sign is positive because the only surviving divergence term is the positive constant \(6\).
Using Rotations on a Cylinder
For a cylinder centered on the \(z\)-axis, reflection in the \(yz\)-plane eliminates terms odd in \(x\), and reflection in the \(xz\)-plane eliminates terms odd in \(y\). Rotational symmetry supplies a different tool: it shows that the integrals of \(x^2\) and \(y^2\) are equal.
To see why, rotate the cylinder by a right angle about the \(z\)-axis. This rotation maps the solid onto itself, preserves volume, and exchanges \(x^2\) and \(y^2\). Applying change of variables shows that the two integrals are equal. Adding them gives the integral of \(x^2+y^2=r^2\).
Worked Example: A Cylinder with an Axial Odd Term
Let \[ D=\{(x,y,z):x^2+y^2\le 4,\ -1\le z\le 1\}, \qquad \mathbf{F}(x,y,z)=(x^3,y^3,z^2). \] Find the outward flux through the boundary of this closed cylinder.
The polynomial field is continuously differentiable, and the cylinder has a piecewise smooth closed boundary, including its top and bottom. The Divergence Theorem applies. Its divergence is \[ \nabla\cdot\mathbf{F}=3x^2+3y^2+2z =3(x^2+y^2)+2z. \] The cylinder is symmetric under \(z\mapsto -z\), while \(2z\) changes sign. Therefore its integral is zero: \[ \iiint_D 2z\,dV = \int_{-1}^{1}2z\,dz\int_0^{2\pi}d\theta\int_0^2 r\,dr = \bigl[z^2\bigr]_{-1}^{1}(2\pi)(2) = (1-1)(2\pi)(2)=0. \] Here cylindrical coordinates give \(x^2+y^2=r^2\) and \(dV=r\,dr\,d\theta\,dz\). The remaining integral is \[ \begin{aligned} \iiint_D3(x^2+y^2)\,dV &=3\int_{-1}^{1}\int_0^{2\pi}\int_0^2 r^2\,r\,dr\,d\theta\,dz\\ &=3\left(\int_{-1}^{1}dz\right) \left(\int_0^{2\pi}d\theta\right) \left(\int_0^2r^3\,dr\right)\\ &=3(2)(2\pi)\left[\frac{r^4}{4}\right]_0^2\\ &=3(2)(2\pi)(4)=48\pi. \end{aligned} \] Thus the outward flux is \(48\pi\).
The calculation also agrees with the symmetry relation between the two coordinate-square moments: the combined term \(x^2+y^2\) is the radial square, so no separate \(x\)- and \(y\)-integrals are needed.
Reflections on a Box
A solid need not be round to have useful symmetry. A box centered in the \(x\)- and \(y\)-directions but extending only over positive \(z\)-values has the first two coordinate reflection symmetries, but not the third. Consequently, terms odd in \(x\) or \(y\) vanish, while a term depending only on \(z\) must be integrated normally.
Worked Example: Separate the Symmetric and Nonsymmetric Directions
Take \[ D=[-1,1]\times[-2,2]\times[0,3], \qquad \mathbf{F}(x,y,z)=\left(\frac{x^2}{2},\frac{y^2}{2},\frac{z^3}{3}\right). \] Find the outward flux through the boundary of \(D\).
The field is continuously differentiable, and the box has a closed piecewise smooth boundary. Its divergence is \[ \nabla\cdot\mathbf{F} = \frac{\partial}{\partial x}\left(\frac{x^2}{2}\right) +\frac{\partial}{\partial y}\left(\frac{y^2}{2}\right) +\frac{\partial}{\partial z}\left(\frac{z^3}{3}\right) =x+y+z^2. \] The \(x\)- and \(y\)-terms integrate to zero by reflection symmetry. Directly, their integrals are \[ \iiint_Dx\,dV = \left(\int_{-1}^1x\,dx\right) \left(\int_{-2}^2dy\right) \left(\int_0^3dz\right) =0\cdot4\cdot3=0, \] and \[ \iiint_Dy\,dV = \left(\int_{-1}^1dx\right) \left(\int_{-2}^2y\,dy\right) \left(\int_0^3dz\right) =2\cdot0\cdot3=0. \] The cross-sectional area perpendicular to the \(z\)-axis is \(2\cdot4=8\). Thus \[ \iiint_Dz^2\,dV = 8\int_0^3z^2\,dz = 8\left[\frac{z^3}{3}\right]_0^3 = 8\cdot9=72. \] The outward flux is therefore \(72\).
The range \(0\le z\le3\) is not symmetric about zero, so there is no reason for an odd function of \(z\) to cancel here. In this example the \(z\)-term in the divergence is \(z^2\), which is not odd in any case.
A Zero Integral Does Not Prove Symmetry
The cancellation argument gives a reliable sufficient test: if a volume-preserving symmetry preserves the solid and reverses the integrand, the integral vanishes. It does not follow that every zero integral must arise from such a symmetry. Distinct parts of a solid can contribute equal and opposite amounts even when the solid has no reflection symmetry.
Worked Example: Cancellation Without Reflection Symmetry
Consider the union \(D\) of the boxes \[ [-1,0]\times[0,1]\times[0,1] \quad\text{and}\quad [0,2]\times[2,5/2]\times[2,5/2]. \] Compute the integral of \(x\) over \(D\).
For the first box, the \(y\)- and \(z\)-side lengths are both \(1\), so \[ \iiint_{[-1,0]\times[0,1]\times[0,1]}x\,dV = \left(\int_{-1}^0x\,dx\right)(1)(1) = \left[\frac{x^2}{2}\right]_{-1}^0 = -\frac12. \] For the second box, each of the \(y\)- and \(z\)-side lengths is \(5/2-2=1/2\). Therefore \[ \iiint_{[0,2]\times[2,5/2]\times[2,5/2]}x\,dV = \left(\int_0^2x\,dx\right)\left(\frac12\right)\left(\frac12\right) = 2\cdot\frac14 = \frac12. \] Adding the contributions gives \[ \iiint_Dx\,dV=-\frac12+\frac12=0. \] The boxes are not paired by reflection across the \(yz\)-plane, and their \(y,z\) locations differ. The integral is zero because their contributions happen to balance, not because the solid has the reflection symmetry used in the cancellation principle.
Common Pitfall: Checking Only the Shape
A common mistake is to see a symmetric region and conclude that its entire divergence integral is zero. Symmetry eliminates only those terms whose signs reverse under a symmetry that preserves the region. Even terms, constant terms, and terms invariant under the chosen transformation may remain. Another mistake is to treat symmetry as necessary for a zero result; the preceding box calculation shows why that conclusion is false.
Why This Method Matters
Symmetry can reduce a three-dimensional integral before any integration begins. It can remove entire polynomial terms, identify equal moments, and expose a radial expression on a circular or spherical region. Those simplifications can save substantial work and make the structure of a flux calculation easier to see.
The method is also a useful check on a calculation. If a divergence contains a term odd in \(x\) and the solid is symmetric under \(x\mapsto -x\), that term must contribute zero. A nonzero result for its integral indicates an error in the limits, the Jacobian, or the arithmetic. Still, symmetry should be used as a justified change-of-variables argument, not as a visual guess about the answer.
Check Your Understanding
For each question, identify the symmetry being used and distinguish cancellation from terms that still require integration.
- Why does the integral of \(x^3\) over a ball centered at the origin vanish?
- On a cylinder centered on the \(z\)-axis, why are the integrals of \(x^2\) and \(y^2\) equal?
- What three conditions should be checked before using a symmetry to discard an integrand term?
- Why does central inversion not necessarily change the sign of \(xy\)?
- Can a zero volume integral prove that the solid has a reflection symmetry? Explain briefly.