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 is
Dividing 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 is
The 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, so
The 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 (0)

There are currently no matching articles.