Exactness of a differential form

[Pietjuh]

Suppose your manifold is just M = R^2 with the standard differential structure (so the atlas is {(R^2, id, R^2)}). Suppose we have a 1-form \omega on M. Then ofcourse \omega = a_1 dx_1 + a_2 dx_2, where the a_i are just c-infinity functions from R^2 to R. Suppose we have a function f on M defined as follows:

f(x) = x_1 \int_0^1 a_1(tx) dt + x_2 \int_0^1 a_2(tx) dt

Show that df = w when dw = 0. Use the fact that:

\frac{d}{dt}(t a(tx)) = a(tx) + tx_1 \frac{\partial a}{\partial x_1}(tx) + tx_2 \frac{\partial a}{\partial x_2}(tx)

Using this hint i rewrote f(x):

f(x) = a_1 (x)x_1 + a_2 (x)x_2 - x_1^2 \int_0^1 t\frac{\partial a_1}{\partial x_1}dt - x_2^2 \int_0^1 t \frac{\partial a_2}{\partial x_2}dt - x_1 x_2 \int_0^1 t\left(\frac{\partial a_1}{\partial x_2} + \frac{\partial a_2}{\partial x_1}\right) dt

Now I want to use the fact that d\omega = 0
This means that:

d\omega = d(a_1 dx_1 + a_2 dx_2) = d(a_1)\wedge dx_1 + d(a_2)\wedge dx_2 = \left(\frac{\partial a_2}{\partial x_1} - \frac{\partial a_1}{\partial x_2}\right) dx_1 \wedge dx_2<br />

so \frac{\partial a_2}{\partial x_1} = \frac{\partial a_1}{\partial x_2}

If somehow df = w, the differential of the integral terms in f(x) should be zero. But I don't see how i could show that.

Could someone give me a hint?

 

[matt grime]

I think you just need to apply d to f and see that df=w+dw, or perhpas w+Cdw for some object C, then under the hypotheses that dw=0 you're done.

ie take this line

f(x) = a_1 (x)x_1 + a_2 (x)x_2 - x_1^2 \int_0^1 t\frac{\partial a_1}{\partial x_1}dt - x_2^2 \int_0^1 t \frac{\partial a_2}{\partial x_2}dt - x_1 x_2 \int_0^1 t\left(\frac{\partial a_1}{\partial x_2} + \frac{\partial a_2}{\partial x_1}\right) dt

and apply d to it, notice that d kills the first two terms on the RHS (since that is w) by assumption, in theory what should pop out is w, but I'm not quick enough to see that, and too lazy to check. It just strikes me that you're yet to work out what df is.

 

[Pietjuh]

I don't completely agree with you. You said the first two terms, a_1(x)x_1 + a_2(x)x_2 = \omega. But this isn't true. The differential, d(a_1(x)x_1 + a_2(x)x_2) = a_1 dx_1 + a_2 dx_2 = \omega of these two terms equals \omega.
Another reason why your statement can't be true is that a_1(x)x_1 + a_2(x)x_2 is just a function so a 0-form, and \omega is a 1-form.

 

[matt grime]

sorry, read it too quickly,

In any case, applying d to f would seem to be the best place to start wouldn't you agree?

I think you overly focused on the wrong part of my answer there given by your length of response to something that was simply wrong; you didn't have to prove it was wrong, just point out that i misread it.

in this case d should kill the other terms, shuldn't it?

 

[Pietjuh]

Yeah d should kill the other terms but the question is how!

When i apply d for example I get a bunch of messy derivatives and stuff, and i really don't see how this could be zero