Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a computational problem that I am solving that ultimately relies on either the areas (for $\mathbb{R}^2$) or the volumes (for $\mathbb{R}^3$ and above) for a pair of cropped objects. We can think of these cropped objects as closed, concave (but sometimes convex), orientable polytopes with finite surface area and no self-intersections that may have holes in their interior. In the case where the polytopes are in $\mathbb{R}^2$ or $\mathbb{R}^3$, one can use Green's theorem and Gauss' divergence theorem, respectively, to arrive at a closed-form solution to the contour integral. For $\mathbb{R}^d$, it is my guess that Stokes' theorem could be applied. Is this correct? For instance, when $d = 4$ and assuming no holes, would I write $$\int\int\int\int_V (\nabla \cdot {\mathbf F})dV = \oint\oint\oint_{\partial V} ({\mathbf F} \cdot {\mathbf n})dS$$ where $\mathbf{F}$ is a suitably chosen, continuously differentiable vector field defined on $V$ and $\mathbf{n}$ is the normal for the closed surface boundary $\partial V$?

share|improve this question
add comment

1 Answer 1

up vote 2 down vote accepted

Your intuition is correct.

This is best phrased in the language of differential forms (see the Wikipedia page), where we have an $(n-1)$-form $\omega$ defined on a smooth $n$-manifold with boundary ($n=4$ in you example). There are two useful things to do with this form:

  1. Restrict it to the boundary: $\omega|_{\partial M}$
  2. Take the exterior derivative to make an $n$-form: $d\omega$

Then, Stokes' Theorem says

$\displaystyle \int_M d\omega = \int_{\partial M} \omega$

All forms of Green, Gauss, Stokes theorems are higher-dimensional analogs of the Fundamental Theorem of Calculus.

share|improve this answer
    
I really appreciate your response, Sammy, as I was afraid my question was doomed to languish in obscurity. In any event, I've picked up a couple of texts that talk about differentiable forms and calculus on manifolds that should fill in my remaining knowledge gaps and hopefully any further questions. In particular, I found the first chapter of: F. Sauvigny, Partial Differential Equations--Foundations and Integral Representations, Springer-Verlag, 2006, vol. 1, to be particularly illuminating. If you know of any other books that may be helpful, definitely let me know. –  user7901 Mar 24 '11 at 11:02
    
You may find Div, Grad, Curl, and All That by H. M. Schey illuminating. It's a 176-page paperback that is rather pleasant to read, as these things go. –  Sammy Black Mar 31 '11 at 0:46
    
I just wanted to point out that a general n-dimensional polytope is NOT a smooth n-manifold with boundary. An example to show that is a square on the plane, which is NOT a smooth 2-manifold with boundary. Anyway, I have read some proofs of Stokes Theorem for smooth n-manifolds with corners, which is a bigger class of regions than manifolds with boundary (Introduction to Smooth Manifolds by John M. Lee.). But still, there are certain polytopes which are not smooth manifolds with corners. I agree with the intuition, but I haven't found any proof of that, even less speaking in dimension 4. –  user14585 Aug 14 '11 at 13:56
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.