Consider the vector field in the open unit cube, where and extend to continuously differentiable functions on , and is continuous on with . Even if is unbounded as , the normal component on an -face has the finite trace . The two -faces have finite improper integral fluxes and therefore cancel. The remaining face contributions giveTo justify this use of the divergence theorem, first apply it to , on which the field is regular. Its divergence is , independent of . Its outward flux is . Taking yields the displayed answer, and absolute convergence makes the two -face limits finite separately. For example, diverges at zero butThis argument defines the normal traces and the face integrals explicitly; it does not assert that the whole vector field has a finite value on the singular face.
Articles by others on the same topic
There are currently no matching articles.