Where , the implicit function theorem makes the surface a local graph with and . Its upward vector area element is . Therefore the vector area element of an implicit surface isDividing by fixes the upward orientation even if the initially chosen gradient points downward. The restriction excludes a locally vertical graph, where this particular projected-area representation cannot be used.
Choose . Since on the stated open domain, its upward vector area element isThe graph becomes unbounded near parts of ; the flux integrals below are understood as limits from .
Subtract the integrands before integrating: . With the upward vector area element,This extends continuously to the lower edge, soThe individual flux integrals also converge: gives , and hence . Reversing the surface orientation changes both signs and leaves the requested magnitude unchanged.
Articles by others on the same topic
There are currently no matching articles.