Write . The vector field is undefined at because diverges there, but this component is tangential to that face. The face fluxes have finite improper integral limits. In particular, the substitution givesUsing the outward unit normal on each face, the flux contributions areHenceFor a precise justification at the singular face, first use the truncated cube . Its opposite -face integrals cancel, the -faces contribute , and the upper -face contributes . The limit as is . On each truncated cube the divergence theorem gives the same answer, since . Thus the result is a flux of a vector field with an integrable tangential singularity, rather than an application of the classical smooth-field theorem directly at .
Compute the flux directly using the outward vector area element, as required. Restrict the vector field to the surface parametric equation and take the dot product:The terms quadratic in cancel. Therefore the surface integral isThis is a direct evaluation of the flux of the position vector through a cone.
Both patches project onto the unit disk in the -plane. Their outward oriented surface elements areThe cone's apex has zero area and does not affect the surface integral. For , the vector field is , soThe terms involving vanish by reflection symmetry of the disk. Thus the total outward flux isThis calculation evaluates the two surface integrals directly.
On the normal component is , giving flux ; on it is , giving flux . On the normal component is , giving ; on it is zero. On the normal component is and on it is , so those unit-area faces give and .
On the same sphere, the normal component is . This vector field is tangent to the sphere everywhere. Therefore its outward flux is
On , and the outward unit normal is . Its flux isOn , and the outward unit normal is . HenceOn , write over , , . The oriented surface element is , pointing away from the origin. Here , so . ThusThe unnormalized normal vector in the oriented surface element already incorporates the factor from the surface area; no additional factor is needed.
Differentiate the flux:On , is strictly increasing. Its limiting endpoint values are and , and . It has horizontal limiting tangents at the endpoints, curves upward for , curves downward for , and has an inflection point at zero.
The derivative graph is a downward-opening parabola, approaching zero at both endpoints and attaining its maximum at .
The divergence of the position vector field is . At height , the horizontal cross-section is a disk of area . By the divergence theorem, the outward flux integral is three times the enclosed volume:ThereforeA direct check separates the two pieces of the surface integral. On the unit sphere, the outward unit normal is , so and the curved contribution is . On the top disk, , giving . Their sum is the same flux.
Use the two pieces of the surface integral directly; this avoids introducing an unnecessary second derivative of . On the unit sphere, and . A spherical band between heights and has area , so the curved flux isby the fundamental theorem of calculus. On the horizontal top disk, and the area is . ThusAs usual for these surface integrals, the first derivative is assumed sufficiently integrable for the displayed fundamental theorem of calculus evaluation; a continuous first derivative suffices. Mere pointwise differentiability without such an integrability assumption need not make an ordinary flux integral exist.
For , the radial Laplacian gives . The outward flux of through a small sphere centred at the source is . Applying Green's second identity to a smooth test function outside that small sphere and shrinking its radius therefore gives the distributional identityThe kernel tends to zero at infinity. Thus it is the fundamental solution with the sign convention . The sign will reverse when converting it into the electrostatic potential of a positive point charge through Poisson's equation.
The divergence is . Over the cube , each squared-coordinate term has integral , while the other two coordinate integrals have length one. ThusCompute the surface flux separately. On , the outward normal is and , giving flux . On , the normal is , so , again giving . The two faces similarly give each, and the two faces give each. All six face integrals therefore giveThe independently evaluated values agree, verifying the divergence theorem for this field and cube.
Direct differentiation givesOn the unit disk , polar coordinates give , and . Consequently the volume integral isFor an independent surface integral calculation, the relevant cross product isThe bottom face contributes and the top contributes . On the cylindrical side, put , , and . The flux density is . All terms except integrate to zero because they are odd functions of or , givingThus minus the total outward flux is , in agreement with the volume integral.
Use the full field in the PDF, including the exponential term missing from the transcription. Its divergence isThe exponential in the third component has zero derivative. In cylindrical coordinates, the solid has and . Therefore the divergence theorem gives the outward fluxThe integration includes the entire closed boundary, both cap and base.
Take the closed surface with its outward orientation. For sufficiently smooth fields defined throughout the solid, the divergence theorem and the identity that the divergence of a curl is zero giveThus the curl term carries no net outward flux, and is independent of . The hole in the solid torus does not invalidate the divergence theorem; singularities of inside the integration region would invalidate the smoothness argument and must be excluded.
For a bounded volume with piecewise smooth closed boundary , and a continuously differentiable vector field on a neighbourhood of , the divergence theorem statesHere is the outward unit normal vector. The left side is the outward flux; the right side integrates the divergence over the enclosed volume.
The polynomial vector field is smooth throughout the solid, so the divergence theorem applies. Differentiation givesThe volume is invariant under both and . Hence the integrals of the two odd terms vanish, and the flux is simply the volume. Using the circular cross-sections,The seams between the surface pieces have zero surface measure and contribute no extra term.
For a continuously differentiable vector field on a bounded volume with piecewise smooth closed boundary , the divergence theorem stateswhere is the outward unit normal vector. Thus total outward flux through a closed surface equals the integral of the local divergence inside it. A nonclosed surface first needs a suitable closure, with the added surface's flux accounted for separately.
Close the cone with the horizontal disk at height , and let be the enclosed solid. The divergence isThe term integrates to zero by reflection symmetry of each circular cross-section. Using the divergence theorem and cylindrical coordinates, the closed-surface flux isThe outward normal on is , so its flux is its area times :Subtracting this cap contribution gives the required lateral flux:This is conical flux by closing with a cap. The normal convention matters: on the lateral cone the outward normal points radially outwards and partly downwards, so the contribution to the lateral flux is negative. To justify applying the theorem at the vertex, truncate a small tip and take its size to zero; the extra flux vanishes because is regular there.
