Hệ phương trình toán tử tham số hiệu chỉnh và sự hội tụ

ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC KHOA HỌC  - NGUYỄN THỊ PHƢỢNG HỆ PHƢƠNG TRÌNH TỐN TỬ: THAM SỐ HIỆU CHỈNH VÀ SỰ HỘI TỤ LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN - 2017 ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC KHOA HỌC  - NGUYỄN THỊ PHƢỢNG HỆ PHƢƠNG TRÌNH TỐN TỬ: THAM SỐ HIỆU CHỈNH VÀ SỰ HỘI TỤ LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Toán ứng dụng Mã số : 60 46 01 12 NGƯỜI HƯỚNG DẪN KHOA HỌC: TS Lâm Thùy Dƣơng THÁI NGUYÊN - 2017 iii Mục lục Bảng ký hiệu Mở đầu Chương Hệ phương trình tốn tử đặt khơng chỉnh khơng gian Banach 1.1 Phương trình tốn tử đặt khơng chỉnh phương pháp hiệu chỉnh 1.1.1 Một số tính chất hình học khơng gian Banach tốn tử đơn điệu Phương trình tốn tử đặt khơng chỉnh phương 1.1.2 pháp hiệu chỉnh Browder–Tikhonov 10 1.2 Hệ phương trình tốn tử không gian Banach 19 1.2.1 Phương trình tốn tử tốn cực trị 19 1.2.2 Hiệu chỉnh hệ phương trình tốn tử đơn điệu 20 Chương Nguyên lý tựa độ lệch chọn tham số hiệu chỉnh 2.1 2.2 25 Nguyên lý tựa độ lệch tốc độ hội tụ 25 2.1.1 Chọn tham số hiệu chỉnh theo nguyên lý tựa độ lệch 25 2.1.2 Tốc độ hội tụ nghiệm hiệu chỉnh 30 Phương pháp hiệu chỉnh lặp ví dụ minh họa 32 2.2.1 2.2.2 Phương pháp hiệu chỉnh lặp 32 Ví dụ số minh họa 39 iv Kết luận 41 Tài liệu tham khảo 42 Bảng ký hiệu R H tập hợp số thực không gian Hilbert thực X không gian Banach X∗ Lp [a, b], < p < ∞ không gian đối ngẫu X khơng gian hàm khả tích bậc p lp , < p < ∞ đoạn [a, b] không gian dãy số khả tổng bậc p ∅ ∀x tập rỗng với x D(A) R(A) miền xác định toán tử A miền ảnh toán tử A I xn → x0 toán tử đồng dãy {xn } hội tụ mạnh x0 xn dãy {xn } hội tụ yếu x0 x0 Jq J ánh xạ đối ngẫu tổng quát ánh xạ đối ngẫu chuẩn tắc j ánh xạ đối ngẫu chuẩn tắc đơn trị Mở đầu Nhiều toán thực tiễn khoa học, công nghệ kinh tế đưa việc giải hệ phương trình tốn tử: Ai x = fi , i = 0, 1, , N, (1) đây, Ai : X → Y tốn tử từ khơng gian X vào không gian Y , fi ∈ Y cho trước N số dương cố định Trong thời gian dài người ta cho toán đặt giải Nhưng thực tế quan niệm sai lầm Trong tính tốn tốn thực tế máy tính ln diễn q trình làm tròn số Chính làm tròn dẫn đến sai lệch đáng kể nghiệm, tức có thay đổi nhỏ kiện đầu vào dẫn đến sai khác lớn nghiệm, chí làm cho tốn trở lên vơ nghiệm vơ định Người ta nói tốn đặt khơng chỉnh Bài tốn tìm nghiệm hệ phương trình tốn tử (1), nói chung, tốn đặt khơng chỉnh theo nghĩa thay đổi nhỏ liệu tốn dẫn đến sai khác lời giải Việc xây dựng phương pháp hữu hiệu giải toán nhà tốn học ngồi nước quan tâm nghiên cứu Mục đích đề tài luận văn trình bày phương pháp hiệu chỉnh phương pháp hiệu chỉnh lặp giải hệ phương trình tốn tử đặt khơng chỉnh (1) không gian Banach, nêu cách chọn tham số hiệu chỉnh theo nguyên lý tựa độ lệch đưa ví dụ minh họa Nội dung đề tài viết sở báo [6] Nguyễn Bường, Trần Thị Hương Nguyễn Thị Thu Thủy công bố năm 2016 vấn đề sau: Phương pháp hiệu chỉnh hệ phương trình tốn tử đặt khơng chỉnh (1) không gian Banach; hội tụ phương pháp; tham số hiệu chỉnh chọn theo nguyên lý tựa độ lệch tốc độ hội tụ phương pháp Phương pháp hiệu chỉnh lặp giải hệ (1) kết số minh họa Ngoài phần mở đầu, kết luận danh mục tài liệu tham khảo, nội dung luận văn trình bày hai chương Chương trình bày khái niệm tính chất khơng gian Banach phản xạ lồi chặt, tốn tử đơn điệu, đơn điệu cực đại, ngược đơn điệu mạnh, toán tử liên tục Lipschitz; giới thiệu phương pháp hiệu chỉnh hệ phương trình tốn tử đơn điệu đặt khơng chỉnh, trình bày chứng minh hội tụ mạnh phương pháp Chương giới thiệu cách chọn tham số hiệu chỉnh theo nguyên lý tựa độ lệch, trình bày định lý đánh giá tốc độ hội tụ phương pháp; giới thiệu phương pháp hiệu chỉnh lặp, hội tụ phương pháp, đồng thời đưa ví dụ số minh họa cho phương pháp giới thiệu Luận văn hoàn thành trường Đại học Khoa học – Đại học Thái Nguyên hướng dẫn tận tình TS Lâm Thùy Dương Tác giả xin bày tỏ lòng biết ơn sâu sắc tới Cơ Trong q trình học tập nghiên cứu trường Đại học Khoa học – Đại học Thái Nguyên tác giả nhận quan tâm giúp đỡ động viên Giáo sư Viện Tốn học, Viện Cơng nghệ Thông tin - Viện Hàn lâm Khoa học Cơng nghệ Việt Nam, thầy khoa Tốn – Tin Trường Đại học Khoa học Tác giả xin bày tỏ lòng biết ơn sâu sắc tới thầy cô Tác giả xin chân thành cảm ơn Ban Giám hiệu trường Trung học phổ thông Bắc Mê - Hà Giang anh chị em đồng nghiệp tạo điều kiện tốt cho tác giả thời gian học Cao học Xin cảm ơn anh chị em học viên lớp cao học K9C bạn bè đồng nghiệp trao đổi, động viên khích lệ tác giả q trình học tập làm luận văn trường Đại học Khoa học – Đại học Thái Nguyên Thái Nguyên, tháng 10 năm 2017 Tác giả luận văn Nguyễn Thị Phượng Chương Hệ phương trình tốn tử đặt khơng chỉnh không gian Banach Chương giới thiệu hệ phương trình tốn tử đơn điệu khơng gian Banach, giới thiệu phương pháp hiệu chỉnh hệ phương trình tốn tử đơn điệu đặt không chỉnh hội tụ mạnh phương pháp Nội dung chương trình bày mục Mục 1.1 giới thiệu phương trình tốn tử đặt khơng chỉnh phương pháp hiệu chỉnh Browder–Tikhonov Mục 1.2 giới thiệu hệ phương trình tốn tử đơn điệu không gian Banach phương pháp hiệu chỉnh hệ phương trình tốn tử đặt khơng chỉnh Nội dung chương tổng hợp từ tài liệu [1], [2], [3], [4] [6] 1.1 Phương trình tốn tử đặt không chỉnh phương pháp hiệu chỉnh 1.1.1 Một số tính chất hình học khơng gian Banach tốn tử đơn điệu Cho X khơng gian Banach với không gian đối ngẫu ký hiệu X ∗ Ta dùng ký hiệu cho chuẩn X X ∗ viết tích đối ngẫu x∗ , x thay cho giá trị phiếm hàm tuyến tính x∗ ∈ X ∗ điểm x ∈ X, tức x∗ , x = x∗ (x) Định nghĩa 1.1.1 Không gian Banach X gọi phản xạ, với phần tử x∗∗ ∈ X ∗∗ , không gian liên hợp thứ hai X, tồn phần tử x ∈ X cho x∗ (x) = x∗∗ (x∗ ) với x∗ ∈ X ∗ Định lý 1.1.2 (xem [3]) Cho X khơng gian Banach Khi đó, khẳng định sau tương đương: (i) X không gian phản xạ (ii) Mọi dãy bị chặn X có dãy hội tụ yếu Ví dụ 1.1.3 Các không gian lp , không gian Lp [a, b], < p < ∞ không gian Banach phản xạ Ký hiệu SX := {x ∈ X : x = 1} mặt cầu đơn vị không gian Banach X Định nghĩa 1.1.4 Không gian Banach X gọi lồi chặt với điểm x, y ∈ X, x = y, mà x = 1, y = x+y < Ví dụ 1.1.5 Không gian X = Rn với chuẩn x n x xác định 1/2 x2i = , x = (x1 , x2 , , xn ) ∈ Rn i=1 không gian lồi chặt Không gian X = Rn , n ≥ với chuẩn x xác định n x |xi |, = x = (x1 , x2 , , xn ) ∈ Rn i=1 không gian lồi chặt Thật vậy, lấy x = (1, 0, , 0), y = (0, 1, 0, , 0) ∈ Rn Ta thấy x = y, x = y = x + y = Định nghĩa 1.1.6 Không gian Banach X gọi không gian trơn với điểm x nằm mặt cầu đơn vị SX X tồn phiếm hàm gx ∈ X ∗ cho gx , x = x gx = 29 −1 Vì Ai ánh xạ đơn điệu chặt x∗ với i = 0, 1, , N −1, nên x∗ ∈ ∩N i=0 Si Do đó, từ (2.9) suy x∗ ∈ SN Vậy x∗ ∈ S điều mâu thuẫn với giả thiết x∗ ∈ S Trong trường hợp (b), từ (2.4) ta có lim k→+∞ xδαkk δkp ρ(αk ) = lim = K lim = k→+∞ αk k→+∞ αk − x∗ (2.10) Tiếp tục, thay δ, α x (1.12) δk , αk xδαkk , ta có N −1 αµk N AN (xδαkk ) − fNδk − αµk N −µi i=0 Ai (xαδk ) − fiδk k ≤ αk xαδk − x∗ k = ρ(αk ) = Kδkp Trong bất đẳng thức cho k → ∞ sử dụng (2.2), (2.10), tính bị chặn địa phương Ai với i = 1, 2, , N − αk → ∞, δk → ta có bất đẳng thức +∞ ≤ điều vô lý Vậy α = α(δ) → δ → 2) Từ (2.3) ta có δ/α(δ) ≤ δ 1−p z − x∗ / K − (N + 2) Vậy, trường hợp < p < δ/α → δ → 0, theo kết Định lý 1.2.4 ta có xδα(δ) → x0 3) Khi p = ta có δ/α(δ) ≤ C = z − x∗ /(K − (N + 2)) Khi đó, từ (1.15) với α(δ) → δ → suy tính bị chặn dãy {xδα(δ) } Mà X không gian Banach phản xạ, nên tồn dãy {xk := k xδα(δ } hội tụ yếu tới phần tử x∞ ∈ X k → ∞ Từ (1.12) thay α, δ k) x αk , δk xk , ta có N A0 xk − f0δk αkµi Ai xk − fiδk + αk xk − x∗ ≤ i=1 30 Vậy, A0 xk − f0δk → k → ∞ Do đó, A(x∞ ) = f0 Bằng cách chứng minh tương tự, từ (1.12) tính chất λl -ngược đơn điệu mạnh Al với l = 1, 2, , N ta có 2.1.2 Tốc độ hội tụ nghiệm hiệu chỉnh Để đánh giá tốc độ hội tụ nghiệm hiệu chỉnh với cách chọn tham số Mục 2.1.1 ta cần phải sử dụng thêm thông tin nghiệm Một giả thiết thông dụng điều kiện trơn nghiệm, ngồi ta cần có thêm giả thiết đặt lên toán tử A0 sau: tồn số dương τ thỏa mãn A0 y − f0 − (A0 x0 )∗ (y − x0 ) ≤ τ A0 y − f0 , (2.11) với y thuộc lân cận x0 ∈ S, A0 x0 đạo hàm Fréchet A0 x0 ∈ X, (A0 x)∗ toán tử liên hợp A0 x Định lý sau cho ta kết tốc độ hội tụ nghiệm hiệu chỉnh Định lý 2.1.3 Giả sử điều kiện sau thỏa mãn (i) Ai thỏa mãn điều kiện Bổ đề 2.1.1, A0 khả vi Fréchet có đạo hàm liên tục có tính chất (2.11) ánh xạ Ai khác Li -liên tục Lipschitz lân cận x0 ; (ii) tồn phần tử ω ∈ X cho (A0 x0 )∗ ω = J(x0 − x∗ ), ánh xạ đối ngẫu chuẩn tắc J thỏa mãn Jx − Jy, x − y ≥ mJ x − y , mJ > (2.12) (iii) tham số hiệu chỉnh α = α(δ) chọn (2.4) với < p < Khi đó, ta có xδα(δ) − x0 = O(δ γ ), γ = − p µ1 p , s−1 s 31 Chứng minh Từ (1.2), (1.12), (2.12) tính chất Ai ta có mJ xδα − x0 s ≤ J(x0 − x∗ ) − J(xδα − x∗ ), x0 − xδα 0 ≤ J(x − x∗ ), x − xδα + α ≤ J(x0 − x∗ ), x0 − xδα + ≤ J(x0 − x∗ ), x0 − xδα + α δ α N αµi Ai xδα − fiδ , x0 − xδα i=0 N (2.13) αµi fi − fiδ , x0 − xδα i=0 N αµi xδα − x0 i=0 Mặt khác, từ (2.11) điều kiện (ii) định lý, ta có J(x0 − x∗ ), x0 − xδα = ω, A0 x0 (x0 − xδα ) ≤ ω (τ + 1)(δ + A0 xδα − f0 ) N αµi Ai (xδα ) − fiδ + α xδα − x∗ ≤ ω (τ + 1) i=1 Kết hợp (2.13) với bất đẳng thức suy mU xδα s −x δ ≤ α N αµi xδα − x0 i=0 (2.14) N αµi ( Ai xδα − Ai x0 + δ) + α xδα − x∗ + ω (τ + 1) i=0 Nếu α chọn (2.4) ta có α(δ) ≤ 1, xδα − x0 ≤ xδα − x∗ Ai xδα − Ai x0 ≤ Li Ai xδα − Ai x0 , với δ đủ nhỏ Do đó, từ (2.14), (2.3) (2.5), ta có (N + 1) z − x∗ 1−p δ mJ xδα(δ) − x0 s ≤ δ xα(δ) − x0 K − (N + 2) N Li α(δ) xδα(δ) − x∗ + ω (τ + 1) µi xδα(δ) − x∗ i=1 ≤ C1 δ 1−p xδα(δ) − x0 + C2 δ µ1 p , 1−µi + N δ + Kδ p 32 đây, C1 , C2 số dương Áp dụng bất đẳng thức Young a, b, c ≥ 0, s > t, as ≤ bat + c =⇒ as = O(bs/(s−t) + c) cho bất đẳng thức ta được: xδα(δ) − x0 = O(δ γ ) Định lí chứng minh 2.2 Phương pháp hiệu chỉnh lặp ví dụ minh họa 2.2.1 Phương pháp hiệu chỉnh lặp Trong mục ta xét phương pháp hiệu chỉnh lặp bậc khơng tìm nghiệm xấp xỉ hệ (1.2) với A0 toán tử đơn điệu, hemi-liên tục, tốn tử Ai , i = 1, , N khác ngược đơn điệu mạnh không gian Hilbert thực H: N zm+1 = µ zm −βm A0 zm +αm µ+1 Ai zm +αm (zm −x+ ) , z0 ∈ H, (2.15) i=1 {αm }, {βm } dãy tham số dương Trước tiên, ta xét phương trình: N A0 x + µ αm µ+1 Ai x + αm (x − x+ ) = (2.16) i=1 Sự tồn nghiệm phương trình trình bày định lý sau Định lý 2.2.1 Giả sử A0 toán tử đơn điệu, hemi-liên tục với D(A0 ) = H, toán tử Ai khác λi -ngược đơn điệu mạnh với D(Ai ) = H, i = 1, , N S := ∩N i=0 Si = ∅ Khi đó, (i) phương trình (2.16) có nghiệm xm với αm > 0; 33 (ii) < αm ≤ 1, αm → 0, m → +∞ lim xm = x0 ∈ m→+∞ + S có x -chuẩn nhỏ xm+1 − xm = O | αm+1 − αm | , µ+1 αm xm+1 nghiệm (2.16) với αm thay αm+1 Chứng minh (i) Vì Ai tốn tử λi -ngược đơn điệu mạnh với i = 1, 2, , N , nên Ai Li -liên tục Lipschitz đơn điệu với Li = 1/λi Do đó, Ai ánh xạ hemi-liên tục Vì vậy, với αm > 0, ánh xạ A := N µ A0 + αm i=1 Ai hemi-liên tục đơn điệu với tập xác định D(A) = H Do đó, A ánh xạ đơn điệu cực đại Do phương trình (2.16) có nghiệm µ+1 Mặt khác, I ánh xạ đơn điệu chặt nên A + αm I ánh xạ đơn điệu chặt Vì phương trình (2.16) có nghiệm xm với αm > (ii) Bây ta chứng minh lim xm = x0 ∈ S có x+ -chuẩn nhỏ m→+∞ Thật vậy, từ (2.16) ta có N A0 xm , xm − x + + µ αm Ai xm , xm − x i=1 µ+1 αm xm (2.17) − x+ , xm − x = ∀x ∈ S Sử dụng tính chất đơn điệu Ai , (2.16) (2.17) suy xm − x+ , xm − x+ ≤ xm − x+ , x − x+ ∀x ∈ S Hay xm − x+ ≤ x − x+ ∀x ∈ S (2.18) Từ suy dãy {xm } bị chặn không gian Hilbert thực H, tồn dãy dãy {xm } hội tụ yếu H Không làm tính tổng quát, giả sử dãy {xm } hội tụ yếu đến x ∈ H m → +∞ Trước hết ta chứng minh x ∈ S0 Thật vậy, sử dụng tính chất đơn điệu 34 Ai , i = 0, 1, , N (2.16) ta có A0 x, x − xm ≥ A0 xm , x − xm N ≥ µ αm µ+1 Ai xm , xm − x + αm xm − x+ , xm − x i=1 N µ ≥ αm µ+1 Ai x, xm − x + αm x − x+ , xm − x ∀x ∈ H i=1 Cho αm → m → +∞ bất đẳng thức ta nhận được: A0 x, x − x ≥ ∀x ∈ H Theo Bổ đề Minty, x ∈ S0 Ta x ∈ Si , i = 1, 2, , N Thật từ (2.16) sử dụng tính đơn điệu Ai ta có: N Ai xm , xm − x + αm xm − x+ , xm − x = i=1 µ A0 xm , x − xm αm ≤ ∀x ∈ S0 Cho αm → m → +∞ ta N Ai x, x − x ≤ ∀x ∈ S0 i=1 Giả sử x phần tử Si , i = 1, 2, , N Từ (2.19) suy N N Ai x, x − x ≥ 0= i=1 Ai x, x − x ≥ i=1 Hay, N N Ai x, x − x = = i=1 Ai x, x − x i=1 Vậy N Ai x − Ai x, x − x = i=1 (2.19) 35 Sử dụng tính chất λi -ngược đơn điệu mạnh Ai , i = 1, 2, , N ta nhận N N Ai x − Ai x, x − x ≥ 0= i=1 λi A i x − A i x ≥ i=1 Do Ai x = Ai x, i = 1, 2, , N, suy x = x, hay x ∈ S Hơn từ (2.17) suy xm − x+ → x − x+ x − x+ ≤ x − x+ với x ∈ S Vì S tập lồi đóng, phần tử thuộc S có x+ -chuẩn nhỏ H nên xm → x x x0 phải tìm, nghĩa lim xm = x0 m→+∞ Tiếp theo giả sử xm+1 nghiệm (2.16) αm thay αm+1 Từ (2.16) ta suy N A0 xm+1 , xm+1 − xm + + + + µ αm+1 Ai xm+1 , xm+1 − xm i=1 µ+1 + αm+1 xm+1 − x , xm+1 − xm + A0 xm , xm − xm+1 N µ µ+1 αm Ai (xm ), xm − xm+1 + αm xm − x+ , xm − xm+1 i=1 N N µ µ αm+1 Ai xm , xm+1 − xm + αm+1 Ai xm , xm − xm+1 i=1 i=1 = Từ tính đơn điệu Ai , i = 0, 1, , N bất đẳng thức cuối ta nhận N µ αm+1 − µ αm µ+1 Ai xm , xm+1 − xm + αm xm − xm+1 , xm − xm+1 i=1 µ+1 µ+1 + αm+1 − αm xm+1 − x+ , xm+1 − xm ≤ 0, 36 suy ra, xm+1 − xm , xm+1 − xm ≤ µ µ | αm+1 − αm | µ+1 αm + | N Ai xm , xm − xm+1 i=1 µ+1 − αm µ+1 αm µ+1 αm+1 | xm+1 − x+ , xm − xm+1 Do đó, xm+1 − xm ≤ µ µ | αm+1 − αm | µ+1 αm N Ai xm + µ+1 µ+1 | αm+1 − αm | i=1 µ+1 αm xm+1 − x+ Đặt d1 = max Ai xm , i d0 ≥ xm+1 − x+ Ta nhận xm+1 − xm ≤ N d1 µ µ | αm+1 − αm | µ+1 αm + d0 µ+1 µ+1 | αm+1 − αm | µ+1 αm Sử dụng bất đẳng thức am − bm = (a − b)(am−1 + am−2 b + · · · + abm−2 + bm−1 ), ta nhận xm+1 − xm ≤ M | αm+1 − αm | , µ+1 αm M số dương Do đó, xm+1 − xm = O | αm+1 − αm | µ+1 αm Định lý chứng minh Bổ đề 2.2.2 Giả sử {uk }, {ak }, {bk } dãy số dương thỏa mãn điều kiện sau: (i) uk+1 ≤ (1 − ak )uk + bk , ≤ ak ≤ 1; (ii) ∞ k=1 ak bk = k→+∞ ak = +∞, lim 37 Khi đó, lim uk = k→+∞ Sự hội tụ dãy lặp (2.15) công bố định lý sau Định lý 2.2.3 Giả sử dãy {αm }, {βm } (2.15) ánh xạ Ai thỏa mãn điều kiện sau: (i) A0 ánh xạ liên tục Lipschitz đơn điệu, ánh xạ Ai khác λi -ngược đơn điệu mạnh; (ii) ≥ αm 0, βm → m → +∞; |αm+1 − αm | (iii) lim m→+∞ 2(µ+1) βm αm ∞ µ+1 m=0 βm αm (iv) βm µ+1 = 0; m→+∞ αm = 0, lim = +∞ Khi đó, lim zm = x0 ∈ S có x+ -chuẩn nhỏ m→+∞ Chứng minh Trước hết ta có zm − x0 ≤ zm − xm + xm − x0 Sử dụng Định lý 2.2.1 thành phần thứ hai vế phải đánh giá dần tới m → +∞ Vì ta cần chứng minh zm xấp xỉ xm m → +∞ Đặt m = zm − xm Khi đó, m+1 = zm+1 − xm+1 N = zm − xm − βm A0 zm + µ αm µ+1 Ai zm + αm (zm − x+ ) i=1 − (xm+1 − xm ) (2.20) N ≤ zm − xm − βm A0 zm + µ αm µ+1 Ai zm + αm (zm − x+ ) i=1 + xm+1 − xm 38 Ở N zm − xm − βm A0 zm + µ αm Ai zm + µ+1 αm (zm + −x ) i=1 N = zm − x m + βm A0 zm + µ αm Ai zm + µ+1 αm (zm + −x ) i=1 N µ+1 A i zm + α m (zm − x+ ) µ − 2βm zm − xm , A0 zm + αm i=1 (2.21) N − A0 xm + µ+1 Ai xm + αm (xm − x+ ) µ αm i=1 µ+1 ≤ − 2βm αm zm − xm N + βm A0 zm + µ αm Ai zm + µ+1 αm (zm + −x ) i=1 Vì A0 ánh xạ liên tục Lipschitz, ánh xạ Ai khác λi -ngược đơn điệu mạnh, i = 1, 2, , N , nên N A0 zm + µ αm A i zm + µ+1 αm (zm + −x ) i=1 N = A0 zm − A0 xm + µ αm Ai zm − Ai xm + µ+1 αm (zm − xm ) i=1 ≤ c zm − xm , c số dương Từ (2.20), (2.21) bất đẳng thức cuối ta nhận 1/2 m+1 ≤ m (1 − µ+1 2βm αm + cβm ) +O | αm+1 − αm | µ+1 αm Bình phương vế bất đẳng thức sử dụng bất đẳng thức sơ cấp (a + b)2 ≤ (1 + αm βm )a2 + + b2 , αm βm 39 ta nhận m+1 m ≤ µ+1 2 µ+2 − 2βm αm + αm βm + cβm − 2βm αm + cαm βm | αm+1 − αm | O + 1+ µ+1 αm βm αm Điều kiện Bổ đề 2.2.2 cho dãy số { (2.22) m} (2.22) điều kiện (ii) - (iv) với µ+1 2 µ+2 am = 2βm αm − αm βm − cβm + 2βm αm − cαm βm , bm = | αm+1 − αm | 1+ O µ+1 αm βm αm Chứng minh Định lý 2.2.3 hoàn thành Chú ý 2.2.4 Các dãy βm = (1 + m)−1/2 αm = (1 + m)−p , < 2p < 1/(N + 1) thỏa mãn điều kiện (ii) - (iv) Định lý 2.2.3 2.2.2 Ví dụ số minh họa Xét hệ phương trình Ai x = 0, i = 1, 2, (2.23) đây, Ai = BiT ∗ Bi với     −1 −2 −1     B1 = 0 −1  ; B2 = −2  1 −1 −1 −1 Ta có det(Ai ) = 0, i = 1, nên phương trình (2.23) đặt khơng chỉnh, hệ (2.23) nói chung đặt không chỉnh Ta thấy x0 = (0, 0, 0)T ∈ R3 nghiệm có chuẩn nhỏ hệ (2.23) Từ kết đạt ta tìm nghiệm hệ (2.23) từ việc giải phương trình hiệu chỉnh αµ1 A1 x + αµ2 A2 x + αJ(x − x∗ ) = 0, (2.24) 40 ví dụ ta chọn x∗ = (0, 0, 0) ∈ R3 , µ1 = 0, µ2 = 1/2, α = 10−3 Sử dụng phương pháp hiệu chỉnh lặp (2.16) với dãy lặp zm+1 = zm − βm αµ1 A1 zm + αµ2 A2 zm + αm zm để tìm nghiệm (2.24) với xấp xỉ ban đầu z0 = (1, 1, 1) ∈ R3 αm = (1 + m)−1/8 , βm = (1 + m)−1/2 Trong tính toán thử nghiệm, max zim+1 − zim ≤ err 1≤i≤3 dừng tính tốn, với err sai số cho trước Sau kết tính tốn m err x0 − zm 10 9.3115 ×10−3 1.6250 ×10−2 50 3.9691 ×10−5 6.9863 ×10−5 100 1.1444 ×10−6 2.0268 ×10−6 200 1.1811 ×10−8 2.1096 ×10−8 Bảng 2.1 Kết tính tốn minh họa cho hội tụ 41 Kết luận Luận văn đề cập đến vấn đề sau: • Trình bày phương pháp hiệu chỉnh hệ phương trình tốn tử đơn điệu, hemi-liên tục có tính chất không gian Banach, sở giải phương trình tốn tử phụ thuộc tham số trường hợp vế phải không trường hợp vế phải khác khơng • Giới thiệu cách chọn tham số hiệu chỉnh nguyên lý tựa độ lệch, sở đánh giá tốc độ hội tụ nghiệm hiệu chỉnh tới nghiệm xác hệ phương trình tốn tử cho • Giới thiệu phương pháp hiệu chỉnh lặp bậc khơng đưa ví dụ số minh họa cho tốc độ hội tụ phương pháp hiệu chỉnh với tham số hiệu chỉnh chọn tiên nghiệm 42 Tài liệu tham khảo Tiếng Việt [1] Phạm Kỳ Anh, Nguyễn Bường (2005), Bài tốn đặt khơng chỉnh, NXB Đại học Quốc gia Hà Nội [2] Nguyễn Bường (2001), Hiệu chỉnh toán phi tuyến phương pháp toán tử đơn điệu, NXB Đại học Quốc gia Hà Nội [3] Hồng Tụy (2003), Hàm thực Giải tích hàm, NXB Đại học Quốc gia Hà Nội Tiếng Anh [4] Y Alber, I.P Ryazantseva (2006), Nonlinear ill-posed problems of monotone types, Springer Verlag [5] V Barbu (1976), Nonlinear semigroups and differential equations in Banach spaces, Acad Bucuresti Romania [6] Ng Buong, T.T Huong, and Ng.T.T Thuy (2016), "A quasi-residual principle in regularization for a solution of a finite system of ill-posed equations in Banach spaces", Russian Math., 60(3), 47–55 [7] F.E Browder (1966), "Existence and approximation of solutions of nonlinear variational inequalities", Proc Nat Acad Sei U.S.A, 56(4), 1080–1086 [8] I Ekeland, R Temam (1970), Convex analysis and variational problems, North-Holland Publishing Company, Amsterdam, Holland 43 [9] Ng.T.T Thuy (2012), "Regularization for a system of inverse-strongly monotone operator equations", Nonlinear Funct Anal Appl., 17(1), 71–87 [10] A.N Tikhonov (1963), "Regularization of inorrectly posed problems and the regularization method", Dolk Acad Nauk SSSR Math, 4, 1624–1627 [11] M.M Vainberg (1972), Variational method and method of monotone operators in the theory of nonlinear equations, M Nauka, in Russian ... sau: Phương pháp hiệu chỉnh hệ phương trình tốn tử đặt khơng chỉnh (1) không gian Banach; hội tụ phương pháp; tham số hiệu chỉnh chọn theo nguyên lý tựa độ lệch tốc độ hội tụ phương pháp Phương. .. giới thiệu phương trình tốn tử đặt không chỉnh phương pháp hiệu chỉnh Browder–Tikhonov Mục 1.2 giới thiệu hệ phương trình tốn tử đơn điệu không gian Banach phương pháp hiệu chỉnh hệ phương trình. .. phương trình hội tụ tới nghiệm phương trình tốn tử đặt khơng chỉnh (1.2) Vì lẽ mà phương trình (1.5) gọi phương trình hiệu chỉnh cho phương trình (1.2) Để đánh giá tốc độ hội tụ nghiệm hiệu chỉnh,