MathLabs
Định lýĐã chứng minh

Sự hội tụ bậc hai của phương pháp Newton

Phát biểu

Giả sử ff khả vi liên tục hai lần gần một nghiệm rr với f′(r)≠0f'(r) \ne 0. Khi đó tồn tại một lân cận của rr sao cho, nếu phép lặp Newton bắt đầu bên trong lân cận đó, các giá trị lặp hội tụ về rr và thỏa ∣xn+1−r∣≤C ∣xn−r∣2|x_{n+1}-r| \le C\,|x_n-r|^2 với một hằng số C=max⁡∣f′′∣2min⁡∣f′∣C=\dfrac{\max|f''|}{2\min|f'|} (giá trị lớn nhất và nhỏ nhất lấy trên lân cận đó).

Vì sao đúng?

Đường tiếp tuyến là một xấp xỉ tốt đến mức sai số nó gây ra tỉ lệ với bình phương khoảng cách đã đi qua, nên mỗi chữ số đúng gần như nhân đôi số chữ số đúng ở bước tiếp theo.

Phác thảo chứng minh

Bước 1 (khai triển Taylor quanh phỏng đoán hiện tại). Vì ff khả vi hai lần, định lý Taylor với phần dư Lagrange cho f(r)=f(xn)+f′(xn)(r−xn)+12f′′(ξn)(r−xn)2f(r) = f(x_n) + f'(x_n)(r-x_n) + \tfrac12 f''(\xi_n)(r-x_n)^2 với một ξn\xi_n between xnx_n and rr nào đó. Đây là đẳng thức chính xác, không phải xấp xỉ, vì số hạng dư mang toàn bộ sai số bậc hai.

Bước 2 (thay điều kiện nghiệm). Vì f(r)=0f(r)=0, vế trái triệt tiêu, còn lại 0=f(xn)+f′(xn)(r−xn)+12f′′(ξn)(r−xn)20 = f(x_n) + f'(x_n)(r-x_n) + \tfrac12 f''(\xi_n)(r-x_n)^2. Chia cả hai vế cho f′(xn)f'(x_n) (khác 0 gần rr vì f′(r)≠0f'(r) \ne 0 và f′f' liên tục) tách được r−xnr - x_n: 0=f(xn)f′(xn)+(r−xn)+f′′(ξn)2f′(xn)(r−xn)20 = \dfrac{f(x_n)}{f'(x_n)} + (r-x_n) + \dfrac{f''(\xi_n)}{2f'(x_n)}(r-x_n)^2.

Bước 3 (nhận ra bước Newton). Sắp xếp lại, r−(xn−f(xn)f′(xn))=−f′′(ξn)2f′(xn)(r−xn)2r - \left(x_n - \dfrac{f(x_n)}{f'(x_n)}\right) = -\dfrac{f''(\xi_n)}{2f'(x_n)}(r-x_n)^2. Dấu ngoặc bên trái chính là bước cập nhật Newton xn+1x_{n+1}, nên với en=xn−re_n = x_n - r điều này viết thành r−xn+1=−f′′(ξn)2f′(xn) en2r - x_{n+1} = -\dfrac{f''(\xi_n)}{2f'(x_n)}\,e_n^2, tức en+1=−f′′(ξn)2f′(xn) en2e_{n+1} = -\dfrac{f''(\xi_n)}{2f'(x_n)}\,e_n^2.

Bước 4 (chặn hằng số). Lấy giá trị tuyệt đối và chặn ∣f′′(ξn)∣|f''(\xi_n)| và 1/∣f′(xn)∣1/|f'(x_n)| bởi các giá trị cực trị max⁡∣f′′∣\max|f''| và 1/min⁡∣f′∣1/\min|f'| trên lân cận cho ∣xn+1−r∣≤C ∣xn−r∣2|x_{n+1}-r| \le C\,|x_n-r|^2 với C=max⁡∣f′′∣2min⁡∣f′∣C=\dfrac{\max|f''|}{2\min|f'|}. Một khi C ∣x0−r∣<1C\,|x_0-r| < 1, đệ quy này buộc ∣xn−r∣|x_n - r| co lại về 00, chứng minh sự hội tụ, và việc bình phương trong ∣xn+1−r∣≤C ∣xn−r∣2|x_{n+1}-r| \le C\,|x_n-r|^2 chính là tốc độ bậc hai.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.