Stokes theorem on Lipschitz-manifolds?

I was wondering if Stokes' theorem could be formulated in a setting which could be easily applied in situations where the traditional form cannot, such as on manifolds with corners like a rectangle or on a cone. I was thinking of something like:

If $M$ is a n-dimensional oriented Lipschitz-manifold with boundary and $\omega$ a compactly supported locally Lipschitz $n-1$-form on $M$, then $$\int_{M}d\omega=\int_{\partial M}\omega.$$

The notion of the (exterior) derivative of a form would of course have to include some notion of almost everywhereness on $M$, like applying Rademacher's theorem to the functions $\omega\circ\phi$ for a countable cover with charts $\phi$. I wonder if this has been done or can be done at all.

• I don't know about the more general case, but can't Stokes' theorem be applied to manifolds with corners using the usual notions anyway? I think so.
– Sam
Commented Apr 24, 2011 at 1:02
• Yes, as Sam mentions Stokes' theorem applies without any trouble to manifolds with cubical (or even worse) corners. For Lipschitz manifold it holds as well. See for example: math.neu.edu/sites/default/files/salvi.h/Stokes%20theorem.pdf a Google search will give you many more references. Commented Apr 24, 2011 at 1:20
• related mathoverflow.net/questions/414309/…. @RyanBudney, unfortunately the link you posted is not working anymore. Commented Jan 22, 2022 at 13:57
• @Titti: There are textbook proofs of Stokes' theorem that are essentially in the cubical corner category. Usually they are not written up in generality, but the proof in Hubbard's textbook is one approach. I think he got the idea from Arnold. Commented Jan 22, 2022 at 19:50
• @RyanBudney I have just checked the proof in Hubbard's book and I don't think it generalizes to Lipschitz manifolds. In fact, I don't think that it is possible to prove the Stokes theorem in the Lipschitz case without referring to currents, since in this context it is not even clear what is a differential form, not to mention the exterior differential. Commented Jan 23, 2022 at 0:14

I don't think that elementary (i.e. avoiding currents) proofs of the Stokes theorem exist in the general Lipschitz context, but they do in some special cases. You can find, for example, a relatively easy one that holds for Lipschitz domains in $$\mathbb{R}^n$$ and $$C^1$$ forms in the appendix of the book Measure Theory and Integration by Michael Taylor.