12
$\begingroup$

Original motivation: How can I apply Stokes' Theorem to the annulus $1 < r < 2$ in $\mathbb{R}^2$?

Concerns:

  • Since the annulus is a manifold without boundary, it would seem that Stokes' Theorem would always return an answer of $\int_M d\omega = \int_{\partial M} \omega = 0$ for compactly supported forms $\omega$. Is this correct?
  • What about the annulus $1 < r \leq 2$? This seems like a manifold-with-boundary to me, yet an application of Stokes' Theorem will return a different answer. And what about $1 \leq r \leq 2$?

For instance, consider $\omega = -y\,dx + x\,dy$ on the annulus $1 < r \leq 2$, so that $d\omega = 2\,dx\,dy$. Then $$\int_M d\omega = 2\,\text{Area}(M) = 6\pi,$$ whereas $$\int_{\partial M} \omega = \int_0^{2\pi} 4\,dt = 8\pi,$$ where $\partial M$ is the circle $r = 2$.

What explains this discrepancy?

A friend of mine has suggested that this can be explained by the fact that $\omega = -y\,dx + x\,dy$ is not compactly supported on $1 < r \leq 2$, and hence Stokes' Theorem can't really be applied. Is this correct?


For reference, I am using the following version of the theorem:

Stokes' Theorem: Let $M$ be a smooth, oriented $n$-manifold with boundary, and let $\omega$ be a compactly supported smooth $(n-1)$-form on $M$. Then $$\int_M d\omega = \int_{\partial M} \omega.$$

  • 5
    I completely agree with your friend. Stokes is only applicable to the form on the *closed* annulus $1 \leq r \leq 2$. Note also that the discrepancy of $2\pi$ is obtained by *subtracting* the integral of the form over the circle with radius $1$ -- you need to be careful about orientation!2011-05-15
  • 2
    Well, the support of $\omega$ is the whole of your open annulus, which is not compact. So the Stokes theorem doesn't apply as stated.2011-05-15
  • 1
    OK, I understand where the discrepancy of $2\pi$ comes from, yes, but I suppose it just seems odd to me that the requirement of being compactly supported can carry such weight. Especially for forms like $\omega = -y\,dx + x\,dy$, which don't blow up at the boundary or anything...2011-05-15
  • 7
    The point is not about blowing up at the boundary, but about the non-vanishing of the form at the boundary, which complicates the integration by parts.2011-05-15
  • 1
    Ah, that makes a lot of sense. Thanks, Henri.2011-05-15
  • 4
    Dear Jesse, "It just seems odd to me that the requirement ... can carry such weight". The example in your post shows exactly why this condition is important: otherwise there can be "missing" boundary contributions. The form $-y dx + x dy$, which is not compactly supported, "feels" the missing boundary along $r = 1$ in the way that a compactly supported form wouldn't. Regards,2011-05-16
  • 0
    @Henri, maybe you should post your comment as an answer?2011-10-06

1 Answers 1

1

Annulus with $1 < r < 2$ does not have a boundary and the form you pick is not compactly supported there. The form $\omega$ only vanishes at the origin so its support is in fact open in $\mathbb{R}^2$.