请输入您要查询的字词:

 

单词 ProofOfClosedDifferentialFormsOnASimpleConnectedDomain
释义

proof of closed differential forms on a simple connected domain


lemma 1.

Let γ0 and γ1 be two regular homotopic curves in D withthe same end-points.Let σ:[0,1]×[0,1]D be the homotopy between γ0 and γ1 i.e.

σ(0,t)=γ0(t),σ(1,t)=γ1(t).

Notice that we may (and shall) suppose that σ is regular too. In fact σ([0,1]×[0,1]) is a compact subset of D. Being D open this compact set has positive distance from the boundary D. So we couldregularize σ by mollification leaving its image in D.

Let ω(x,y)=a(x,y)dx+b(x,y)dy be our closed differential form and let σ(s,t)=(x(s,t),y(s,t)).Define

F(s)=01a(x(s,t),y(s,t))xt(s,t)+b(x(s,t),y(s,t))yt(s,t)dt;

we only have to prove that F(1)=F(0).

We have

F(s)=dds01axt+bytdt
=01axxsxt+ayysxt+axts+bxxsyt+byysyt+bytsdt.

Notice now that being ay=bx we have

ddt[axs+bys]=axxtxs+ayytxs+axst+bxxtys+byytys+byst
=axxsxt+bxxsyt+axts+ayysxt+byysyt+byts

hence

F(s)=01ddt[axs+bys]𝑑t=[axs+bys]01.

Notice, however, that σ(s,0) and σ(s,1) are constant hence xs=0 and ys=0 for t=0,1. So F(s)=0 for all s and F(1)=F(0).∎

Lemma 2.

Let us fix a point (x0,y0)D and define a function F:D by letting F(x,y) be the integral of ω on any curve joining (x0,y0) with (x,y). The hypothesis assures that F is well defined.Let ω=a(x,y)dx+b(x,y)dy. We only have to prove that F/x=a and F/y=b.

Let (x,y)D and suppose that h is so small that for all t[0,h] also (x+t,y)D. Consider the increment F(x+h,y)-F(x,y).From the definition of F we know that F(x+h,y) is equal to the integral of ω on a curve which starts from (x0,y0) goes to (x,y) and then goes to (x+h,y) along the straight segment (x+t,y) with t[0,h].So we understand that

F(x+h,y)-F(x,y)=0ha(x+t,y)𝑑t.

For the integral mean value theorem we know that the last integral is equal to ha(x+ξ,y) for some ξ[0,h] and hence letting h0 we have

F(x+h,y)-F(x,y)h=a(x+ξ,y)a(x,y)h0

that is F(x,y)/x=a(x,y). With a similar argument (exchange x with y) we prove that also F/y=b(x,y).∎

Theorem.

Just notice that if D is simply connected, then any two curves in D with the same end points are homotopic. Hence we can apply Lemma 1 and then Lemma 2 to obtain the desired result.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 12:09:41