The product rule gives
Apply the divergence theorem, with outward unit normal , and use the vanishing Laplacian of the harmonic function :
The boundary value of is one. Another application of the divergence theorem therefore gives
This is the gradient pairing with a boundary-constant function and a harmonic function, obtained directly from Green's first identity. The harmonic function must be regular throughout the volume; an interior singularity can supply an additional boundary flux.
Here , so , while away from the origin. Their inner product is . The spherical coordinates volume element gives
This agrees with the boundary-constant gradient pairing with a boundary-constant function and a harmonic function: has constant boundary value and is a regular harmonic function. For comparison with the boundary value one in part (a), use and multiply back by . Strictly, is not differentiable at the origin. Excising a ball of radius resolves this: the inner boundary term has zero angular integral, so it contributes nothing in the limit. Thus the improper volume integral has the same zero value.
Now and . Since , their inner product is . Consequently
Although on the boundary, the Laplacian is , so is not a harmonic function. There is no contradiction with part (a). The origin singularity in the derivative of is harmless for this integral: its inner boundary contribution is of order and tends to zero. More explicitly, Green's first identity on the punctured ball gives outer flux and volume term , whose difference is the displayed answer.
Away from the origin the gradients are and . The improper volume integral is therefore
The function is a harmonic function only off the origin. It is singular inside the integration volume, so it does not meet part (a)'s regularity hypothesis. On the punctured ball, Green's first identity has outer flux and inner flux : the inner outward unit normal is , so . Their sum is , exactly the integral before taking the limit. Equivalently the distributional Laplacian of is , rather than zero throughout the ball. This is boundary flux from a singular harmonic potential; it explains why applying part (a) across the origin would be invalid.

Articles by others on the same topic (0)

There are currently no matching articles.