尹慧慧,許衛(wèi)麗
(溫州大學數理與電子信息工程學院,浙江溫州 325035)
在平面中,傳統(tǒng)的曲線流方程為:
其中初始曲線為F (u ,0)= F0(u ),且01λ≤≤,因此得到以下的定理.
定理 1 假設 F0(u)是平面中的一個光滑閉曲線, F = F (u,t)是(2)式的一個解.而且F = F (u,t)對于所有的 t ∈ [ 0,∞ )都存在,并保持凸性.當曲線面積 A (t)不減時,曲線長度 L (t)不增.當t→+∞時,曲線 F (u,t)按照 C0范數收斂到一個圓.
觀察到,(2)式中常數λ取值不同將會得到不同的曲線流:
由于改變曲線流方程的切向分量只會影響曲線的參數表示,所以選擇一個合適的切向分量ρ來簡化計算.
考慮下面的等價方程:
假設θ是x軸正方向與切向量T之間的夾角,可得到以下有關(3)式的演化方程:
發(fā)現L和A不依賴于ρ.一般來說,θ是u和t的一個函數.為了讓θ不依賴于t,讓得到
為了簡化計算,用參量(,)θ?來代替參量),(tu,則曲率滿足:
接下來,將研究以下的與(3)式等價的曲線流問題:
定理2 曲線流(2)中,當曲線的長度減小時,所圍成的封閉圖形的面積增加.
推論1 如果初始曲線是凸的且在演化過程中沒有奇點,那么等周差L2-4Aπ單調遞減,且當+∞→t時,收斂于0.
證明:
因此L2-4Aπ單調遞減.對不等式兩邊積分得到:
當t→+∞時,保持24π L A-→0.
引理1 曲線流(6)的曲率演化方程可以轉化為一個標準的熱方程,其解始終存在.
引理2 根據(6)式建立一個封閉凸曲線,在此過程中曲線保持凸性不變.
證明:因為曲率 k0(θ) 在區(qū)間[0,2π]上有界,因此在區(qū)間[0,2π]上也有界.
假設在區(qū)間[0,2π]上,有δ <W (θ ,0)<M .
又因為曲率k是連續(xù)函數,初始曲線的曲率 k > 0 ,故
即曲線在演化過程中保持凸性.
由于支撐函數是光滑的,且在任意時刻都有定義,所以利用此性質可推導出曲線流的全局存在性.
引理3 支撐函數滿足以下類型的熱方程
已知),(tuθ是上述方程的唯一解,可得到:
如果曲線是根據等式(2)建立的,由定理 2可知,當曲線的長度減小時,曲線所圍成的封閉圖形的面積增加.由引理2可知,曲線保持凸性.由引理4和5可知,支撐函數一直存在.因此,曲線流(6)與(2)式是一致的.
由引理1可知,曲率k在C∞中是可微的.從推論1可知,當t→+∞,L2- 4 Aπ→ 0 時,等周差L2-4Aπ是單調遞減的.由Bonnesen不等可得即曲線流在 C0范數下收斂到有限圓.
于是完成了證明.