For a continuously differentiable vector field on a bounded region with piecewise smooth closed boundary , the divergence theorem statesHere is its divergence, is the volume element, is the surface area element, is the outward unit normal, and . Thus a volume integral of the divergence equals the outward flux through the boundary.
Since is constant, the product rule gives . Applying the divergence theorem therefore givesThis holds for every constant vector , so each component of the difference vanishes. Consequently the gradient has the boundary representation
The divergence of a cross product and give . On the boundary the scalar triple product gives . Thus the divergence theorem givesBecause is arbitrary, the curl identity follows:
Use Einstein summation convention and write . Since , where is the Kronecker delta, the product rule givesThis proves . Now take . Integrating this identity and applying the divergence theorem to the first term givesPart (b) changes the last volume integral of the gradient into a surface integral, yieldingHere ; the Laplacian is .
Apply the product rule to the tensor field, without assuming any symmetry of :Integrating, the divergence theorem converts each of the two divergences into a boundary term:The repeated indices are summed according to Einstein summation convention, while labels the component of the resulting vector identity.
Choose the symmetric tensor fieldThe product rule and equality of mixed partial derivatives giveThis is the Euclidean scalar-gradient stress identity. Substitute it into part (e), and use , where . Reassembling the components gives the required pure surface integral:Sufficient smoothness of is understood for the displayed derivatives and applications of the divergence theorem.
Articles by others on the same topic
There are currently no matching articles.