為什麼不動點迭代法的收斂與其導數有關?
吳勃英 數值分析中的有關不動點迭代法的內容里,關於迭代函數收斂的問題中的這個「顯然,要使迭代收斂,必須要有「 不是很明白,
1)這裡的 L 是指什麼?2)為什麼迭代函數的收斂與其導數有關,大於會怎麼樣
xiexieyaoqing~~
問題一:這裡的L(Lipschitz常數)指的是介於0到1之間的一個常數;
滿足的映射稱為壓縮映射。由壓縮映射的性質可以保證迭代函數存在唯一的不動點(存在唯一性)並且迭代是收斂的(全局收斂性),同時還可以得到先驗誤差和後驗誤差估計~問題二:與導數有關是因為中值定理
你看,如果導數小於L,就保證了是一個壓縮映射,故而得到上面的存在唯一性和收斂性等結論~由於該條件是充分的,所以如果大於(不滿足條件)則不能保證迭代是收斂的。。。我就回答這麼多吧~題主可以看看壓縮映射和不動點原理這兩個知識~因為不動點迭代的核心就是把方程的根轉化為求函數(映射)的一個不動點~~
一個不太確切的比喻。假設你和你未來的老婆在這個世界上以自己的規律生活,x_1是你的位置,x_2是你老婆的位置。phi 每迭代一次,時間就往前推進一個小時,你們在世界上的位置就更新為 phi(x_1) 和phi(x_2).
秒速五厘米:我要以怎樣的速度生活,才能和你相遇?
現在是Lipchitz條件的用處。雖然你和你老婆的生活規律沒有特定的聯繫,但是你們堅信,有緣的人終究會相見,所以每過一個小時,你們倆之間的距離就會變成一小時前的0.9倍,也就是縮短10%。 那麼經過兩個小時,你們的距離就縮短為兩小時前的0.9^2。經過三個小時變成原來的0.9^3。以此類推,因為0.9^n終究會趨近於0。也就是說總有一天你們之間的距離可以無限小。
這就是你們遇見的那一刻。無論一開始你們身在何處(x_1,x_2),只要朝著緣分的指向(導數上界),你們的距離就能不斷靠近,最終相遇。
相遇之後呢?你們就一直待在那裡不動了,不用再為了尋找真愛而在世界上漂泊。
這就是壓縮映射的不動點定理喲。
所以,壓縮映射的關鍵條件就是Lipchitz係數要嚴格小於1,這樣保證了它的高次方會趨近於0。而導數的這個上界,就是你們的緣分係數吧。如果大於等於1了,那你們就可能永遠不會相遇。如果一個數列 的兩項間距逐漸縮小,即 ,那麼數列一定收斂。這就是數列的「壓縮映射」原理。
(這是因為:
由D"Alembert判別法以及Cauchy準則知道 收斂。)
那如果 是經由 迭代而出來的數列,也就是說,給一個初值, 是用遞推公式 給出來的,要使這個數列收斂,這個迭代函數 得滿足一定的性質。如果 滿足了: ,就能保證 收斂。因,利用微分中值定理:
也就是最上面的式子,已經證明了 收斂。
我寫了這麼多,再看了看你提供的截圖,那四個圖在幾何上不是很直觀的說明了嗎:
絕對值大於1則迭代發散。
如果 ,就是圖3,迭代數列在不動點的同側,遞增或遞減著向不動點靠近。
如果 ,就是圖4,迭代數列在不動點的兩側交替著向不動點收斂。
簡單的說, 可以保證數列向不動點步步靠近。
推薦閱讀:
※最近在學數值分析,有誰能跟我簡單講講啥是範數啊?
※學化學專業必修課程學數值分析的意義在哪?
※遊戲內的副本/精力重置,這樣的做法有何用意?以及制定重置時間的依據是什麼?
※關於matlab作圖,不知如何具體解釋,langrange基函數,求大神教?
※如何證明2向量範數與f矩陣範數相容?