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.
 A: There appear to be plenty of references on google (as Ryan pointed out). Here is one on Stokes theorem for Lipschitz forms on a smooth manifold:
http://arxiv.org/pdf/0805.4144.pdf
Does that help? 
A: Yes, the Stokes theorem can be formulated and holds for compactly-supported Lipschitz forms on oriented Lipschitz manifolds with boundary.
The proof I know, however, is not obvious and uses techniques of the theory of currents (https://en.wikipedia.org/wiki/Current_(mathematics)). The paper linked by user230715 is good, but see also the more complete https://link.springer.com/article/10.1007%2FBF00971687. Notice that, once everything has been made rigorous, it is enough to prove the result for Lipschitz forms on smooth manifolds because we can take pullbacks and work in coordinates (as we do in the proof of the smooth case).
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.
See also my question on mathoverflow for a far-reaching generalization of the Stokes theorem to countably rectifiable sets (of which Lipschitz manifolds are an instance) https://mathoverflow.net/questions/414309/measure-theoretic-boundary-and-federers-theorem-in-arbitrary-codimension.
