Past exam of the mathematics course of the University of Cambridge / 2014 / ia / Paper 3 / 11A (Vector Calculus)

For $\mathbf{F}=\nabla \varphi$, the definition of the Laplacian gives $\nabla \cdot \mathbf{F}={\nabla }^2\varphi =f$. Integrating over $V$ and applying the divergence theorem yieldsThis is the flux form of Poisson equation, for an outward-oriented piecewise smooth boundary and the usual smoothness of $\varphi$ on a neighborhood of the volume. In particular, a singularity cannot be ignored when applying this identity.

On the outward-oriented sphere of radius $R$, $\mathbf{n}=\mathbf{x}/R$, so $\mathbf{x}\cdot d\mathbf{S}=RdS$. HenceAway from the origin, the divergence and curl of a radial vector field with $f(r)=r^{-3}$ giveIf the enclosed volume excludes the origin and its boundary avoids it, this field is smooth throughout the volume. The divergence theorem then gives $I=0$. The nonzero sphere flux is compatible with zero divergence away from the origin because the enclosed singularity prevents applying that smooth-volume theorem directly to the full ball.

The electric field of this point charge is a translated and scaled version of the radial field in part (ii). If $\mathbf{a}\notin V$ and $\mathbf{a}\notin \partial V$, its divergence vanishes throughout $V$, so the divergence theorem gives zero flux integral.

If $\mathbf{a}$ lies inside $V$, remove a small ball centered at $\mathbf{a}$. On the remaining volume the divergence is zero. Its boundary is $\partial V$ together with the small sphere, whose outward normal for the punctured volume points towards $\mathbf{a}$. That inner sphere contributes $-q/{ϵ}_0$, by the $4\pi$ sphere flux computed in part (ii). Thus the exterior flux must be $q/{ϵ}_0$:This is Gauss's law for a point charge. The assumption that the charge is not on the boundary is essential to these alternatives.

Rotational symmetry of the vector field means $\mathbf{F}(r\mathbf{n})=h(r)\mathbf{n}$: rotations fixing $\mathbf{n}$ force the field to be parallel to $\mathbf{n}$, and rotations between directions make its magnitude depend only on $r$. Its flux integral over the radius-$r$ sphere is $4\pi r^{2}h(r)$. Applying the flux identity from part (i) to the ball, with the spherically symmetric source, givesTherefore the origin-regular spherical Poisson flux law isOnly source values at $s\le |\mathbf{x}|$ occur. Changing the exterior source can change the scalar potential by an interior constant, but cannot change this radial gradient. Regularity on all of ${\mathbb{R}}^3$, inherited from the Poisson equation setting, matters: on a punctured domain alone an additional $C\mathbf{x}/r^3$ would have zero divergence away from the origin and would not be fixed by the local source. It is excluded here by the origin regularity needed for the ball flux identity.