關(guān)于曲率流的一些結(jié)論

蘭海鵬

【摘要】本文將討論符合大多數(shù)曲率流的一組通式的一些經(jīng)典結(jié)論，從而方便讀者在具體研究不同類型的曲率流時(shí)，可以直接進(jìn)行參考，簡(jiǎn)化運(yùn)算。

【關(guān)鍵詞】曲率流;發(fā)展方程。

1 前 言

假設(shè)X0：Mn→Rn+1是n維浸入緊致光滑子流形，定義主曲率為(λi)1≤i≤n，法向量為n。設(shè)X(?,t)：Mn→Rn+1，t∈［0,+∞)是光滑的,令Mt：=X(Mn,t)。本文討論一組光滑子流形滿足ddtX=UkX,k-Fn,X（?，0）=X0 。其中Uk是一光滑函數(shù)，F(xiàn)是關(guān)于主曲率對(duì)稱的函數(shù)。

2敝饕結(jié)論和證明

定理2。1假設(shè)gij=＜X,i,X,j＞,則ddtgij=Uk,igkj+UkГmkigmj+Uk,jgik+UkГmkigim-2Fhij。

證明 ddtgij=＜ddtX,i,X,j＞+＜X,i,ddtX,j＞

(根據(jù)定義ddtX=UkX,k-Fn)

=＜(UkX,k-Fn),i,X,j＞+＜X,i,(UkX,k-Fn),j＞

=＜(UkX,k),i,X,j＞+＜X,i,(UkX,k),j＞-＜(Fn),i,X,j＞-＜X,i,(Fn),j＞

=＜Uk,iX,k,X,j＞+＜UkX,ki,X,j＞+＜X,i,Uk,jX,k＞+＜X,i,UkX,kj＞-＜Fn,i,X,j＞-＜X,i,Fn,j＞。

由gij的定義和Frener-Serret formua可知：

=Uk,i＜X,k,X,j＞+＜UkГmkiX,m,X,j＞+Uk,j＜X,i,X,k＞+＜X,i,UkГmkjX,m＞-＜FhkiX,k,X,j＞-＜X,i,FhkjX,k＞

=Uk,igkj+UkГmkigmj+Uk,jgik+UkГmkjgim-Fhkigkj-Fhkjgik

=Uk,igkj+UkГmkigmj+Uk,jgik+UkГmkjgim-2Fhij。

定理2。2 面積元素滿足ddtg=Uk,kg+UkГikig-gFH。

證明 ddt g=121gddtg。

根據(jù)［1,pa 104］ddtg=ggijddtgij,我們有

ddtg=121gggijddtgij=12ggijddtgij。

由定理 2。1可得

=12ggij(Uk,igkj+UkГmkigmj+Uk,jgik+UkГmkjgim-2Fhij)

=12Uk,iggijgkj+12Uk,jggijgik+12UkГmkiggijgmj+12UkГmkjggijgim-gFgijhij

=Uk,kg+UkГikig-gFgijhij

=Uk,kg+UkГikig-gFH。

定理 2。3法向量n滿足ddtn=gij(F,i-Ukhki)X,j。

證明 已知＜X,i,n＞=0是成立的，可得

0=＜ddtX,i,n＞+＜X,i,ddtn＞。

0=＜(UkX,k-Fn),i,n＞+＜X,i,ddtn＞。

0=＜（UkX,k）,i,n＞-＜(Fn),i,n＞+＜X,i,ddtn＞＜X,i,ddtn＞=＜(Fn),i,n＞-＜(UkX,k),i,n＞。

=＜F,in,n＞+＜Fn,i,n＞-＜Uk,iX,k,n＞-＜UkX,ki,n＞。

由于＜X,k,n＞=0和n,i=hkiX,k,可得

F,i-＜UkX,ki,n＞

＜ddtn,n＞=0

=F,i-Uk＜ГmkiX,m+hkin,n＞

=F,i-Ukhki。

已知＜n,n＞=1，則＜ddtn,n＞=0，最終得

ddtn=gij(F,i-Ukhki)X,j。

定理 2。4第二基本形式hij滿足

ddthij=F;ij-Fhkih,kj-(Uk,ih,kj+Uk,jh,ki+Ukhkij+UkГmkih,mj)+ГmijUkhkm。

證明 由于X,ij=ГmijX,m-hijn,我們定義分號(hào)X;ij=X,ij-ГmijX,m, 則我們可得hij=-＜X;ij,n＞。

ddthij=-ddt＜X;ij,n＞

=-＜ddtX;ij,n＞-＜X;ij,ddtn＞

=-＜ddtX;ij，n＞-＜-hijn,ddtn＞

(根據(jù)定理 2。3)

=-＜ddtX;ij,n＞

(由 X;ij=X,ij-ГmijX,m)

=-＜ddt(X,ij-ГmijX,m),n＞

=-＜ddtX,ij,n＞+＜ГmijddtX,m,n＞

=-＜(ddtX),ij,n＞+＜Гmij(ddtX),m,n＞

=-＜(UkX,k-Fn),ij,n＞+＜Гmij(UkX,k-Fn),m,n＞

=-＜（UkX,k）,ij,n＞+＜(Fn),ij,n＞+＜Гmij(UkX,k,m,n)＞-＜Гmij(Fn),m,n＞。

由于計(jì)算量龐大，分開(kāi)來(lái)計(jì)算：

＜(Fn),ij,n＞=＜F,ijn,n＞+＜F,in,j,n＞+＜F,jn,i,n＞+＜Fn,n,ij＞

=F,ij+F＜n,n,ij＞

=F,ij+F＜n,(hkiX,k),j＞

=F,ij-Fhkih,kj。

＜Гmij(Fn),m,n＞=Гmij＜(Fn),m,n＞

=Гmij＜(F,mn+Fn,m),n＞

=ГmijF,m。

＜Гmij(UkX,k),m，n＞=Гmij＜(UkX,k),m,n＞

=Гmij＜(Uk,mX,k+UkX,km),n＞

=Гmij＜Uk(ГnkmX,n+hkmn),n＞

=ГmijUkhkm。

＜(UkX,k),ij,n＞=＜(Uk,iX,k+UkX,ki),j,n＞

=＜Uk,ijX,k+Uk,iX,kj+Uk,jX,ki+UkX,kij,n＞

=＜Uk,iX,kj,n＞+＜Uk,jX,ki,n＞+＜UkX,kij,n＞

=Uk,ih,kj+Uk,jh,ki+＜UkX,kij,n＞

=Uk,ih,kj+Uk,jh,ki+Uk＜(X,ki),j,n＞

=Uk,ih,kj+Ukjh,ki+Uk＜(ГmkiX,m+hkin),j,n＞

=Uk,ih,kj+Uk,jh,ki+Uk＜(ГmkiX,mj+hkijn),n＞

=Uk,ih,kj+Uk,jh,ki+Ukhkij+Uk＜ГmkiX,mj,n＞

=Uk,ih,kj+Uk,jh,ki+Ukhkij+UkГmkih,mj。

將所有部分結(jié)合起來(lái)，可得

ddthij=-＜(UkX,k),ij,n＞+＜(Fn),ij,n＞+＜Гmij(UkX,k),m,n＞-＜Гmij(Fn),m,n＞

=-(Uk,ih,kj+Uk,jh,ki+Ukhkij+UkГmkih,mj)+(F,ij-Fhkih,kj)+ГmijUkhkm-(ГmijF,m)

=F;ij-Fhkih,kj-(Uk,ih,kj+Uk,jh,ki+Ukhkij+UkГmkih,mj)+ГmijUkhkm。

定理 2。5假設(shè)u(?,t):Rn×［0,∞)→R, t∈I。 令Mt=graphu(?,t)，則ddtu=1+｜Du｜2?F 。

證明 令X(p,t)=(F＾(p,t),u(F＾(p,t),t))，則

F=＜Fn,n＞=＜-ddtX,n＞

=-＜(ddtF＾,dudF＾)dF＾dt+dudt,n＞

(By ［2］ lemma1。1 )可得

n=((ui),-1)1+｜Du｜2

=-＜(ddtF＾,dudF＾dF＾dt+dudt),((ui),-1)1+｜Du｜2＞

=(ddtu)?11+｜Du｜2

最終得ddtu=1+｜Du｜2?F。

3畢喙鼐典曲率流的例子

例1 令Uk=0,F=H=λ1+λ2+…+λn，顯然H是關(guān)于主曲率對(duì)稱的函數(shù)，則發(fā)展方程變?yōu)閐dtX=-Hn,由上述討論直接可得

ddtgij=-2Hhij,ddtg=-gH2,ddtn=gijH,iX,j,ddthij=H;ij-Hhkih,kj?ddtu=1+｜Du｜2?H。

例2 令Uk=0,F=｜A｜2=λ12+λ22+…+λn2，顯然｜A｜2是關(guān)于主曲率對(duì)稱的函數(shù)，則發(fā)展方程變?yōu)閐dtX=-｜A｜2n。直接得

ddtgij=-2｜A｜2hij,ddtg=-g｜A｜2H,

ddtn=gij｜A｜2,iX,j,ddthij=｜A｜2;ij-｜A｜2hkih,kj,

ddtu=1+｜Du｜2?｜A｜2。

例3 令Uk=0,F=trAk=λ1k+λ2k+…+λnk，trAk是關(guān)于主曲率對(duì)稱的函數(shù)，則發(fā)展方程變?yōu)閐dtX=-trAkn。直接得ddtgij=-2trAkhij,ddtg=-gtrAkH,ddtn=gijtrAk,iX,j,ddthij=trAk;ij-trAkhkih,kj,ddtu=1+｜Du｜2?trAk。

例4 令Uk=0 and F=K=λ1λ2…λn,K是關(guān)于主曲率對(duì)稱的函數(shù)，則發(fā)展方程變?yōu)閐dtX=-Kn。我們有ddtgij=-2Khij,ddtg=-gKh,ddtn=gijK,iX,j,ddthij=K;ij-Khkih,kj,ddtu=1+｜Du｜2?K。

【參考文獻(xiàn)】

［1］ Klaus Ecker。 Regularity theory for mean curvature flow,September 26,2003

［2］ OLIVER C。SCHNURER。 geometric evolution equations,2007。