Tell me more ×
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.

Let $\alpha=x dy-\frac{1}{2}(x^2+y^2)dz$ be a differential form in $\mathbb{R}^3=\{(x,y,z)\;|\;x,y,z\in\mathbb{R}\}$and let $Z=\{(\cos\theta,\sin\theta,s)\;|\;0\leq\theta \leq2\pi, 0\leq s\leq 1\}$ be a cylinder. I'd like to compute $\int_Z d\alpha$.

First, I need to find $d\alpha$. This is fairly straightforward: $$ d\alpha=dx\wedge dy-\frac{1}{2}(2x dx+2ydy)\wedge dz = dx\wedge dy - x dx\wedge dz - y dy\wedge dz $$ Next, I need to rewrite the differential using the parameterization of $Z$. I think this means that I need to rewrite each $dx, dy,$ and $dz$ as $$ dx = \frac{dx}{d\theta}d\theta + \frac{dx}{ds} ds $$ (replacing $x$ with $y$ and $z$ to get the corresponding expressions). Is this correct?

Assuming it is, then I get the straightforwards calculations that $$ dx = -\sin\theta d\theta \quad dy=\cos\theta d\theta \quad dz=ds $$ So I can rewrite $d\alpha$ in terms of $d\theta\wedge ds$: $$ d\alpha = (-\sin\theta d\theta\wedge \cos\theta d\theta)-(\cos\theta(-\sin\theta) d\theta\wedge ds)-(\sin\theta\cos\theta d\theta\wedge ds) = 0 $$ This looks strange. I thought that I was supposed to be left with a differential form $d\theta\wedge ds$ that I could then integrate over. But what I'm left with now is the following double integral: $$ \int_0^1\int_0^{2\pi} 0 d\theta\wedge ds =0 $$ This just doesn't seem right. I'm not very familiar with differential forms, so maybe I'm missing something obvious. Is this analogous to the case where the integration of an exact form over a closed curve is $0$? Clearly $d\alpha$ is exact because we're given $\alpha$. We're also integrating over a cylinder, which I guess is sort of like a closed curve, only it's a closed surface instead.

In short, I have two questions: is the procedure I outlined above a correct way to go about evaluating surface integrals of differential forms? Second, was there a short cut I could have recognized that would have made the final answer obvious (assuming that $0$ is in fact the correct answer)?

share|improve this question
1  
Using Stoke's theorem it is easier to integrate $\alpha$ over the boundary of the cylinder which consists of two circles. Since the orientation on the two circles is oposite you should expect things to cancel out. – Pantelis Damianou Oct 29 '12 at 6:18

1 Answer

up vote 1 down vote accepted

As Pantelis Damianou suggested you can compute $$\int_{\partial Z} \alpha $$ The boundary of the cylinder are the two circles with opposite orientation. Therefore the result is $0$.

share|improve this answer
Why is the boundary two circles with opposite orientation? – chris Oct 29 '12 at 17:24
Take the normal to the surface (cylinder). When you walk on the circle (boundary) the surface should be on your left. – Pete Markou Oct 30 '12 at 10:57

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.