From Munkres "Analysis on Manifolds" Consider the form $ \omega = xydx + 3dy -yzdz $. Check by direct computation that $ d(d\omega) = 0 $. Can someone show me how to do it, because I don't seem to be getting how to compute these differentials...
Compute the differential of a form
1
$\begingroup$
analysis
differential-forms
-
0If $\omega= f(x,y)dx+g(x,y)dy$, can you compute $d\omega$ in function of the partial derivatives of $f$ and $g$? The idea is the same for three variables. – 2012-11-27
-
0If $\omega = \sum f_idx_i$, then $d\omega = \sum (df_i)\wedge dx_i$. – 2012-11-27
-
0Ok, I got it. I was a little confused with variables, but I think I finally understood it. – 2012-11-27
-
1You can answer your question. – 2012-11-27
1 Answers
0
Differentiating means exactly what you do with usual functions. The only additional rule is: $d^2x=d^2y=d^2z=0$. Therefore, $dx\wedge dy=-dy\wedge dx$, etc.
$$ d\omega = d(xy\,dx) + 3\,d^2y - d(yz\,dz) \\ = dx\wedge y\,dx +x\,dy\wedge dx + 0 - dy\wedge z\,dz - y\,dz^2 =\\ = 0 -x\,dx\wedge dy - z\,dy\wedge dz - 0=\\ = -x\,dx\wedge dy - z\,dy\wedge dz.$$
$$ d^2\omega = -dx\wedge dx\wedge dy - dz\wedge dy\wedge dz = 0+0=0.$$