龔文敏

(北京師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院,數(shù)學(xué)與復(fù)雜系統(tǒng)教育部重點實驗室,北京100875)

非緊流形間一類映射的Banach流形

龔文敏

(北京師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院,數(shù)學(xué)與復(fù)雜系統(tǒng)教育部重點實驗室,北京100875)

基于Piccione的結(jié)果證明了復(fù)合映射comp(N,P)×(M,N)→(M,P)的可微性并給出了相應(yīng)的求導(dǎo)公式,從而推廣了Eliasson關(guān)于comp第2個變量偏導(dǎo)數(shù)可微性結(jié)果至非緊流形M的情形.

Banach流形;整體分析;可微性

整體分析與幾何、低維拓?fù)?、非線性分析與數(shù)學(xué)物理等學(xué)科中許多問題的研究需要考慮由流形間映射構(gòu)成的Banach流形[1-2].對有限維的C∞流形M和N,如M緊致,則從M到N的Cr(0≤r≤+∞)可微映射構(gòu)成的集合具有Banach流形結(jié)構(gòu)(詳見文獻(xiàn)[3-4]);又兩個這樣的Banach流形之間的復(fù)合映射的可微性及求導(dǎo)公式也已得到(見文獻(xiàn)[5]).在M是非緊流形的情形,文獻(xiàn)[6]利用公理化的辦法解決了某類具有直到k階有界導(dǎo)數(shù)的可微映射全體(M,N)上Banach微分流形結(jié)構(gòu)的存在性問題.進(jìn)一步,為了得到其整體分析性質(zhì),需要研究這樣的Banach流形間復(fù)合映射的可微性.首先,給出了復(fù)合函數(shù)comp:(N,P)×(M,N)→(M,P)的求偏導(dǎo)公式.然后,通過引入假設(shè)條件(iii),證明了定理3,在此基礎(chǔ)上證明了復(fù)合函數(shù)comp的可微性并給出了具體的求導(dǎo)公式(定理2).

1 預(yù)備知識

設(shè)M為(非緊)拓?fù)淇臻g,N是滿足Hausdorff公理和第二可數(shù)公理的Ck微分流形(k≥3).假設(shè)由某類函數(shù)f:M→R構(gòu)成的線性空間(M,R)是一個可Banach空間,即(M,R)的拓?fù)涫怯裳b備在其上的某個范數(shù)誘導(dǎo)的拓?fù)?令Cb(M,Rn)為從M到Rn所有像是有界的映射構(gòu)成的集合.它在通常范數(shù)‖·‖∞下構(gòu)成一個Banach空間.對Rn中任何開集U,易證是Cb(M,Rn)中的開集.

令

(ii)如果U是Rn中的開集,T:U→Rm是Cl映射,整數(shù)l≥0,則映射

有良好定義且連續(xù).

命題1[6]設(shè)M為拓?fù)淇臻g,(M,R)為可Banach化空間且滿足公理(i)、(ii),U為Rn中開集且T:U→Rm為Ck映射(k≥l,整數(shù)l≥0如公理(ii)),則映射

是Ck-l的.

定理1[6]設(shè)M為拓?fù)淇臻g,N是Rn的Ck+l(k≥2)子流形,則(M,N)為(M,Rn)的Ck-1Banach子流形且在任意f∈(M,N)處的切空間Tf(M,N)可表示為

注1 對任意Ck+l(k≥2)無邊流形N,根據(jù)Whitney定理有N到某個歐氏空間的Ck+l(k≥2)嵌入φ.利用上面的定理可知(M,φ(N))是一個Ck-1Banach流形,由φ為雙射可定義(M,N)上的Banach微分流形結(jié)構(gòu),且此Banach微分流形結(jié)構(gòu)與嵌入映射的選取無關(guān).

R)有界,?i=0,1,…,r}.

定義其上的范數(shù)‖·‖為

命題2[6]設(shè)V?Rm是開子集,T∈Cr+1(V,Rn),則

有良好定義且連續(xù),從而公理(ii)成立.

現(xiàn)在設(shè)M是Cr光滑無邊流形,不一定是緊致的;因歐式空間微分同胚于其中任意開球,為技術(shù)上方便我們總能假設(shè)該流形能被嵌入到某歐式空間Rd的有界子集中.設(shè)U是Rd中包含M的一個開子集,記(M,R)為限制映射

不難知道公理(i)成立.再由交換圖表

其中P1,P2為商映射,及命題1可知第1行ωT連續(xù),從而第2行ωT也是連續(xù)的,因此對于l=r+1公理(ii)成立.由定理1,(M,N)是Cs-2Banach流形.

本文的主要結(jié)果是:

定理2 設(shè)M,N,P為Cr+s光滑無邊流形(r≥1,s≥3),假設(shè)s≥3且M,N,P分別被嵌入到歐式空間的有界子集中,則映射

是Cs-2的且有

2 主要結(jié)果的證明

和

下面兩個引理表明它們都是Cs-2的.

證明 設(shè)V為N在Rn中的管狀鄰域:V→N為Cr+s-1類收縮映射→Rp為Cr+s類嵌入映射,則映射.由命題1

是C(s-2)的且有

引理2 αg是Cs-2的且Dαg(f):Tf(N,P)→Tf°g(M,P)可表示為

是Cs-2映射且有求導(dǎo)公式(3).

為證明定理2,先在前面公理(i)和公理(ii)的基礎(chǔ)上增加假設(shè)條件:

(iii)對于公理(ii)中l(wèi)及Rm和Rn中的任意兩個開集U,V映射

有良好定義且連續(xù).

是Cs且有求導(dǎo)公式

其中Ω?{(x,y)∈V×V|(1-t)x+ty∈V,?t∈[0, 1]},

易知Ω為V×V中開集且有θf(x,x)=0,?(x,x)∈Ω.當(dāng)f∈(V,Rn)時,θf∈(Ω,Rn).從而由公理(ii),θf還定義了一個連續(xù)的映射

由假設(shè)條件(iii),式(4)可改寫為

其中τ1,τ2按假設(shè)條件(iii)分別定義為

和

由前面θf的性質(zhì)可得,當(dāng)η→0時,τ2(g+η,g)θf→0.再結(jié)合式(5)可知,

所以Dτ是Cs-1的,從而τ是Cs的.

下面考慮s=1時comp的微分.對充分小的X∈Cl+1(V,Rp),Y∈(U,Rn)有

其中第2個等式用到了ωf的可微性,第3個等式用到了τ的連續(xù)性.所以

最后采用歸納方式可證comp是Cs的.

其中C(g)是一個充分大的常數(shù),通過對r作歸納可得此常數(shù).由式(6)

表明τ是局部Lipschitz的,從而是連續(xù)的.

定理2的證明 令U,V分別是M和N在Rm和Rn中的管狀鄰域,對應(yīng)收縮映射分別設(shè)為π:U→M和:V→N.又令:P→Rp和:N→V都為嵌入映射.則

復(fù)合映射comp可分解為:

其中,第2個等式用到了定理3,第4個等式用到引理2,第6個等式用到引理2,最后一個等式成立是因為將P視為包含于Rp中的子流形.

致謝 衷心地感謝盧廣存教授的悉心指導(dǎo).

[1] Chang K C.Infinite dimensional morse theory and multiple solution problems[M].Boston:Birkhauser,1993.

[2] Lang S.Introdution to differentiable manifolds[M].New Xork:Interscience,1962.

[3] Eells J.A setting for global analysis[J].Bull Amer Math Soc,1966,72:751-807.

[4] Palais R.Foundations of global nonlinear analysis[M]. New Xork:Benjamin,1968.

[5] Elliasson H I.Geometry of manifolds of maps[J].J Diff Geom,1967,1:169-194.

[6] Paolo P,Daniel Tausk V.On the Banach differential structure for sets of maps on non-compact domains[J]. Nonlinear Analysis,2000,46:245-265.

Banach Manifolds of a Class of Maps Between Non Compact Manifolds

GONG Wen-min
(Laboratory of Mathematics and Complex Systems of Ministry of Education, School of Mathematical Sciences,Beijing Normal University,Beijing 100875,China)

Based on the result of Piccione P.,we prove the differentiability of the map comp:Cr+sb(N,P)×Crb(M,N)→Crb(M,P) and establish the formula of the derivative of comp,and so generalize Eliasson H.I.′s result regarding the differentiability of comp′s partial derivative with respect to the second variable to the case,in which M is a non-compact manifold.

Banach manifolds;global analysis;differentiability

10.6043/j.issn.0438-0479.2015.02.013

O 186

A

0438-0479(2015)02-0229-04

2014-02-26 錄用日期:2014-08-24

國家自然科學(xué)基金(10971014,11271044)

Email:gongwenmin0774@163.com

龔文敏.非緊流形間一類映射的Banach流形[J].廈門大學(xué)學(xué)報:自然科學(xué)版,2015,54(2):229-232.

:Gong Wenmin.Banach manifolds of a class of maps between non compact manifolds[J].Journal of Xiamen University: Natural Science,2015,54(2):229-232.(in Chinese)