单纯同伦算法的翼状伸延道路.pdf

單純同倫算法的翼狀伸延道路 王則柯 不識廬山真面 目, 只緣身在此山 中。 — 蘇軾 :《題西林壁》 近年研習向量標號的單純同倫算法, 有 n n 確定同倫 H : [0, 1] ×R → R 。 固定 t = 1 一項 “初識廬山真面 目”的心得。 不久前訪問 時, H 和 g 一樣; 隨著同倫參數 t 的下降, H 美國耶魯大學時, 專門向單純算法的創始人 逐漸接近 f ; 當到達 t = 0 時, H 就和 目標 報告, 得到驚喜的讚賞。 謹不揣淺陋, 精心述 映照一致。 所以, H 是連接 g 和 f 的一個同 作, 期與諸君分享。 倫。 設 x1 是輔助映照 g 的已知零點, 則 1 1 同倫方法基本思想 (1, x ) 是同倫 H 的零點。 如果從 (1, x ) 出 發, 沿著同倫 H 的零點集 設 f : Rn → Rn 是歐氏空間的 自映 照, 這裡, 對於 x = (x , . . . , x ) ∈ Rn , H −1(0)= {(t, x) ∈ [0, 1]×Rn : H (t, x) = 0} 1 n n f (x) = (f (x), . . . , f (x)) ∈ R 。 如果 1 n 0 走, 同倫參數 t 下降到 0, 得到一點 (0, x ), x ∈ Rn 使得 f (x) = 0 ∈ Rn , 就說 x 0 0 0 n 那麼 H (0, x ) = f (x ) = 0, 可見 x ∈ R 是映照 f 的零點。 解方程 就是欲求的映照 f 的零點。 這就是同倫方法 f (x , . . . , x ) = 0,  1 1 n   . (Homotopy Methods) 的基本思想。 同倫方 . .  法在純粹數學和應用數學都有用武之地。 如  f (x , . . . , x ) = 0, n 1 n 果著眼於數值計算, 亦常稱為同倫算法 (Ho- 也就是求映照 f 的零點。 motopy Algorith