proof of closed differential forms on a simple connected domain
lemma 1.
Let and be two regular homotopic curves in withthe same end-points.Let be the homotopy between and i.e.
Notice that we may (and shall) suppose that is regular too. In fact is a compact subset of . Being open this compact set has positive distance from the boundary . So we couldregularize by mollification leaving its image in .
Let be our closed differential form and let .Define
we only have to prove that .
We have
Notice now that being we have
hence
Notice, however, that and are constant hence and for . So for all and .∎
Lemma 2.
Let us fix a point and define a function by letting be the integral of on any curve joining with . The hypothesis assures that is well defined.Let . We only have to prove that and .
Let and suppose that is so small that for all also . Consider the increment .From the definition of we know that is equal to the integral of on a curve which starts from goes to and then goes to along the straight segment with .So we understand that
For the integral mean value theorem we know that the last integral is equal to for some and hence letting we have
that is . With a similar argument (exchange with ) we prove that also .∎
Theorem.
Just notice that if is simply connected, then any two curves in with the same end points are homotopic. Hence we can apply Lemma 1 and then Lemma 2 to obtain the desired result.∎