Hiệu chỉnh bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm không giãn

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– PHẠM TRUNG HẢO HIỆU CHỈNH BẤT ĐẲNG THỨC BIẾN PHÂN TRÊN TẬP ĐIỂM BẤT ĐỘNG CHUNG CỦA NỬA NHÓM KHƠNG GIÃN LUẬN VĂN THẠC SĨ TỐN HỌC THÁI NGUN, 5/2018 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– PHẠM TRUNG HẢO HIỆU CHỈNH BẤT ĐẲNG THỨC BIẾN PHÂN TRÊN TẬP ĐIỂM BẤT ĐỘNG CHUNG CỦA NỬA NHÓM KHƠNG GIÃN Chun ngành: Tốn ứng dụng Mã số: 8460112 LUẬN VĂN THẠC SĨ TOÁN HỌC GIÁO VIÊN HƯỚNG DẪN PGS.TS NGUYỄN THỊ THU THỦY THÁI NGUYÊN, 5/2018 iii Mục lục Bảng ký hiệu Mở đầu Chương Nửa nhóm khơng giãn bất đẳng thức biến phân 1.1 Nửa nhóm khơng giãn 1.1.1 Không gian Banach lồi 1.1.2 1.1.3 1.2 Nửa nhóm khơng giãn Giới hạn Banach tính chất 13 Bất đẳng thức biến phân số toán liên quan 14 1.2.1 Bất đẳng thức biến phân không gian Banach 14 1.2.2 Một số toán liên quan 16 Chương Hiệu chỉnh bất đẳng thức biến phân tập điểm bất động chung nửa nhóm khơng giãn 2.1 Bất đẳng thức biến phân tập điểm bất động chung 19 nửa nhóm khơng giãn 19 2.1.1 Bài toán 19 2.2 2.3 2.1.2 Sự tồn nghiệm 20 Phương pháp hiệu chỉnh Browder–Tikhonov 20 2.2.1 Mô tả phương pháp 21 2.2.2 2.2.3 Sự hội tụ 21 Ví dụ minh họa 26 Phương pháp hiệu chỉnh lặp 28 2.3.1 Mô tả phương pháp 28 iv 2.3.2 Sự hội tụ 29 2.3.3 Ví dụ minh họa 30 Kết luận 32 Tài liệu tham khảo 33 Bảng ký hiệu H không gian Hilbert thực X X∗ không gian Banach không gian đối ngẫu X SX R mặt cầu đơn vị X tập số thực R+ ∅ tập số thực không âm tập rỗng ∀x với x D(A) R(A) miền xác định toán tử A miền ảnh toán tử A A−1 I toán tử ngược toán tử A toán tử đồng C[a, b] lp , ≤ p < ∞ không gian hàm liên tục đoạn [a, b] không gian dãy số khả tổng bậc p l∞ Lp [a, b], ≤ p < ∞ không gian dãy số bị chặn khơng gian hàm khả tích bậc p đoạn [a, b] d(x, C) lim supn→∞ xn khoảng cách từ phần tử x đến tập hợp C giới hạn dãy số {xn } lim inf n→∞ xn giới hạn dãy số {xn } xn → x0 xn x0 dãy {xn } hội tụ mạnh x0 dãy {xn } hội tụ yếu x0 J j ánh xạ đối ngẫu chuẩn tắc ánh xạ đối ngẫu chuẩn tắc đơn trị Fix(T ) c tập điểm bất động ánh xạ T không gian dãy số hội tụ Mở đầu Bài toán bất đẳng thức biến phân không gian vô hạn chiều nhà toán học người Italia G Stampacchia đồng đưa vào năm 1960 (xem [16]) nghiên cứu toán biên tự Từ phương pháp bất đẳng thức biến phân vô hạn chiều sử dụng rộng rãi hiệu phương trình vật lý tốn Bất đẳng thức biến phân có nhiều ứng dụng lĩnh vực kinh tế, kỹ thuật, vận trù học v.v Vì vai trị quan trọng bất đẳng thức biến phân lý thuyết toán học ứng dụng thực tế nên đề tài thời sự, nhiều nhà toán học quan tâm nghiên cứu Bất đẳng thức biến phân loại đơn điệu, nói chung, thuộc lớp tốn đặt khơng chỉnh theo nghĩa Hadamard, nghĩa tốn (khi kiện thay đổi nhỏ) không tồn nghiệm, nghiệm không nghiệm không phụ thuộc liên tục vào kiện ban đầu Những người có cơng đặt móng cho lý thuyết tốn đặt khơng chỉnh nhà tốn học A.N Tikhonov (1963) [14], M.M Lavrentiev (1967) [11] V.K Ivanov (1978) [10] v.v Do tính khơng ổn định tốn đặt khơng chỉnh nên việc giải số gặp nhiều khó khăn Lý sai số nhỏ kiện tốn dẫn đến sai số lời giải Để giải loại toán ta phải sử dụng phương pháp giải ổn định cho sai số kiện nhỏ nghiệm xấp xỉ tìm gần với nghiệm tốn ban đầu Một phương pháp sử dụng rộng rãi hiệu phương pháp hiệu chỉnh Tikhonov Kể từ năm 1963 A.N Tikhonov [14] đưa phương pháp hiệu chỉnh tiếng, gọi phương pháp hiệu chỉnh Tikhonov, lý thuyết tốn đặt khơng chỉnh phát triển sơi động có mặt hầu hết toán thực tế Trên sở ý tưởng hiệu chỉnh A.N Tikhonov, F Browder, Ya.I Alber, I.P Ryazansteva, O.A Liskovets v.v phát triển phương pháp hiệu chỉnh cho lớp toán bất đẳng thức biến phân loại đơn điệu từ không gian Hilbert sang khơng gian Banach, từ tốn tuyến tính sang toán phi tuyến, từ toán đơn trị sang toán đa trị v.v (xem [4], [8], [12] tài liệu trích dẫn đó) Đề tài luận văn trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân tập ràng buộc tập điểm bất động chung nửa nhóm ánh xạ không giãn không gian Banach báo [13] Nguyễn Thị Thu Thủy đồng tác giả công bố năm 2017 Nội dung đề tài trình bày hai chương Chương với tiêu đề "Nửa nhóm khơng giãn bất đẳng thức biến phân", trình bày số khái niệm tính chất không gian Banach, ánh xạ không giãn, nửa nhóm ánh xạ khơng giãn tốn bất đẳng thức biến phân j-đơn điệu Chương với tiêu đề "Hiệu chỉnh bất đẳng thức biến phân tập điểm bất động chung nửa nhóm khơng giãn", trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân tập điểm bất động chung nửa nhóm ánh xạ khơng giãn, trình bày định lý hội tụ mạnh hai phương pháp hai ví dụ minh họa Luận văn hoàn thành Trường Đại học Khoa học - Đại học Thái Nguyên Trong trình học tập thực luận văn này, Trường Đại học Khoa học tạo điều kiện tốt để tác giả học tập, nghiên cứu Tác giả xin bày tỏ lòng biết ơn chân thành đến thầy, khoa Tốn - Tin, Trường Đại học Khoa học - Đại học Thái Nguyên Đặc biệt, tác giả xin bày tỏ lòng biết ơn sâu sắc tới PGS.TS Nguyễn Thị Thu Thủy - Người tận tình hướng dẫn tác giả hồn thành luận văn Tác giả xin gửi lời cảm ơn tới Ban giám hiệu trường THPT Ân Thi, Hưng Yên tập thể thầy cô giáo tổ Toán Tin Trường tạo điều kiện giúp đỡ tác giả thời gian tác giả tham gia học cao học Thái Nguyên, tháng năm 2018 Tác giả luận văn Phạm Trung Hảo Chương Nửa nhóm không giãn bất đẳng thức biến phân Chương trình bày số khái niệm tính chất không gian Banach; ánh xạ j-đơn điệu, ánh không giãn, nửa nhóm ánh xạ khơng giãn, giới hạn Banach, bất đẳng thức biến phân số toán liên quan đến bất đẳng thức biến phân Các kiến thức chương tham khảo từ tài liệu [1], [2], [3] tài liệu trích dẫn 1.1 Nửa nhóm khơng giãn Mục trình bày định nghĩa, ví dụ khơng gian Banach lồi có chuẩn khả vi Gâteaux đều; định nghĩa, ví dụ ánh xạ đối ngẫu chuẩn tắc khơng gian Banach, tính chất ánh xạ đối ngẫu chuẩn tắc; định nghĩa, ví dụ ánh xạ j-đơn điệu, nửa nhóm ánh xạ khơng giãn khơng gian Banach; định nghĩa giới hạn Banach tính chất 1.1.1 Không gian Banach lồi Cho X không gian Banach thực, X ∗ không gian đối ngẫu X x, x∗ ký hiệu giá trị x∗ ∈ X ∗ x ∈ X Ký hiệu 2X họ tập khác rỗng 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.1 Không gian Banach X gọi lồi chặt với x, y ∈ SX , x = y ta có (1 − λ)x + λy < với λ ∈ (0, 1) Chú ý 1.1.2 Định nghĩa 1.1.1 phát biểu dạng tương đương: Không gian Banach X gọi lồi chặt với x, y ∈ SX , x = y x+y < Ví dụ 1.1.3 Khơng gian Hilbert H không gian lồi chặt Thật vậy, từ đẳng thức hình bình hành x+y + x−y =2 x + y , suy với x, y ∈ SH , x = y ta có x+y 2 = x + y x−y − =1− x−y < Định nghĩa 1.1.4 Không gian Banach X gọi không gian lồi với ε > 0, với x, y ∈ X thỏa mãn x ≤ 1, y ≤ 1, x − y ≥ ε, tồn δ = δ(ε) > cho x+y ≤ − δ Ví dụ 1.1.5 Không gian Hilbert H không gian lồi Thật vậy, từ đẳng thức hình bình hành x+y + x−y =2 x + y với x ≤ 1, y ≤ 1, x = y x − y ≥ ε ta có x+y ≤ − ε2 Từ suy x+y ≤ − δ(ε), với δ(ε) = − − ε2 /4 , 21 giãn, trình bày định lý hội tụ, đồng thời lấy ví dụ minh họa cho hội tụ phương pháp 2.2.1 Mô tả phương pháp Ta xét phương trình hiệu chỉnh cho bất đẳng thức biến phân (2.1) dạng (xem [13]): Fn xn + εn Axn = 0, n≥0 (2.3) Fn = I − Tn , với Tn xác định Tn x = tn tn T (s)xds ∀x ∈ X, (2.4) {tn } {εn } dãy tham số dương thỏa mãn tn → ∞ εn → n → ∞ Để chứng minh hội tụ dãy nghiệm hiệu chỉnh, ta cần bổ đề sau Bổ đề 2.2.1 (xem [18]) Cho dãy số thực không âm {sn } thỏa mãn sn+1 ≤ (1 − ζn )sn + ζn ηn + θn , n ≥ 0, dãy {ζn }, {ηn } {θn } thỏa mãn điều kiện: (i) {ζn } ⊂ [0, 1], ∞ n=0 ζn = ∞; (ii) lim supn→∞ ηn ≤ 0; (iii) θn ≥ 0, ∞ n=0 θn < ∞ Khi limn→∞ sn = 2.2.2 Sự hội tụ Sau định lý hội tụ mạnh nghiệm hiệu chỉnh phương trình (2.3) tới nghiệm bất đẳng thức biến phân (2.1) 22 Định lý 2.2.2 (xem [13]) Cho X không gian Banach lồi có chuẩn khả vi Gâteaux đều, A : X → X ánh xạ η-j-đơn điệu mạnh L-liên tục Lipschitz với η L số dương, {T (t) : t ≥ 0} : X → X nửa nhóm ánh xạ khơng giãn X cho F = ∩t≥0 Fix(T (t)) = ∅ Khi đó, (i) Với tn > εn > 0, phương trình hiệu chỉnh (2.3) có nghiệm xn (ii) Nếu dãy tham số tn εn chọn cho lim tn = +∞ n→∞ lim εn = 0, n→∞ dãy nghiệm hiệu chỉnh {xn } hội tụ mạnh đến p∗ ∈ F-nghiệm bất đẳng thức biến phân (2.1) (iii) Ta có đánh giá sau: |εm − εn | |tm − tn | M1 +2 εn ε n tm η xn − xm ≤ (2.5) M1 số dương, xn , xm nghiệm phương trình hiệu chỉnh (2.3) với dãy tham số tương ứng tn , εn tm , ε m Chứng minh (i) Ta có Tn x − Tn y = tn = tn ≤ tn tn T (s)xds − tn tn T (s)yds tn T (s)x − T (s)y ds tn x − y ds = x − y , với x, y ∈ X Từ bất đẳng thức suy Tn ánh xạ khơng giãn X Khi đó, Fn = I − Tn ánh xạ j-đơn điệu Do vậy, (Fn + εn A)x − (Fn + εn A)y ≤ Fn x − Fn y + εn Ax − Ay ≤ (I − Tn )x − (I − Tn )y + εn L x − y ≤ (x − y) − (Tn x − Tn y) + εn L x − y ≤ (2 + εn L) x − y , 23 (Fn + εn A)x − (Fn + εn A)y, j(x − y) = Fn x − Fn y, j(x − y) + εn Ax − Ay, j(x − y) ≥ εn η x − y Suy Fn + εn A (2 + εn L)-liên tục Lipschitz εn η-j-đơn điệu mạnh X với εn > Do đó, phương trình hiệu chỉnh (2.3) có nghiệm xn , với εn > (ii) Bây ta dãy {xn } bị chặn Thật vậy, với p tùy ý thuộc F, ta có Fn p = (I − Tn )p = p − Tn p = 0, đó, từ (2.3) dẫn đến Fn xn − Fn p, j(xn − p) + εn Axn , j(xn − p) = Kết hợp đẳng thức với tính j-đơn điệu ánh xạ Fn εn > 0, ta thu Axn , j(xn − p) ≤ Suy xn − p Ap, j(p − xn ) , η ≤ (2.6) A ánh xạ η-j-đơn điệu mạnh Do đó, xn − p ≤ Ap /η Điều chứng tỏ dãy {xn } dãy bị chặn Do Tn ánh xạ không giãn, A ánh xạ giả co nên {Tn xn } {Axn } dãy bị chặn Không làm tính tổng quát, ta giả sử dãy bị chặn số dương M1 với n ≥ Vì Fn xn = εn Axn ≤ εn M1 εn → n → ∞ nên Fn xn → n → ∞ Giới hạn viết lại dạng lim xn − n→∞ tn tn T (s)xn ds = 0 (2.7) 24 Tiếp theo, ta xn − T (t)xn → n → ∞, với t tùy ý thỏa mãn t ≥ Thật vậy, T (t)xn − xn tn ≤ T (t)xn − T (t) T (s)xn ds tn 1 tn + T (t) T (s)xn ds − tn tn tn T (s)xn ds − xn + tn tn ≤ xn − T (s)xn ds tn 1 tn T (s)xn ds − + T (t) tn tn tn T (s)xn ds tn T (s)xn ds Sử dụng Bổ đề 1.1.30 (2.7) ta thu lim xn − T (t)xn = n→∞ (2.8) Bây giờ, với giới hạn Banach µ, ta xét ánh xạ ϕ : X → R xác định ϕ(x) = µ xn − x ∀x ∈ X Ta thấy ϕ(x) hàm lồi liên tục Đặt C ∗ = u ∈ X : ϕ(u) = inf ϕ(x) x∈X Vì X khơng gian Banach phản xạ nên C ∗ tập khác rỗng Hơn nữa, tính lồi liên tục ϕ nên tập C ∗ tập lồi đóng X Sử dụng tính khơng giãn ánh xạ T (t) (2.8), với u ∈ C ∗ ta có ϕ T (t)u = µ xn − T (t)u ≤ µ ( xn − T (t)xn + T (t)xn − T (t)u )2 ≤ µ( xn − u ) = ϕ(u) Suy ra, T (t)u ∈ C ∗ , T (t)C ∗ ⊂ C ∗ , tức C ∗ tập bất biến tác động ánh xạ T (t) Lấy điểm p ∈ F, tập lồi đóng khác rỗng khơng gian Banach lồi chặt phản xạ X tập Chebyshev nên tồn điểm p ∈ C ∗ cho p − p = inf∗ p − x x∈C 25 Mặt khác, p = T (t)p p ∈ F, T (t)p ∈ C ∗ T (t) ánh xạ không giãn nên p − T (t)p = T (t)p − T (t)p ≤ p − p , T (t)p = p với t ≥ 0, tính p ∈ C ∗ Suy p ∈ F ∩ C ∗ Theo Bổ đề 1.1.38, p cực tiểu hàm ϕ(u) X µ u − p, j(xn − p) ≤ ∀u ∈ X (2.9) Đặt u = (I − F )(p) (2.9), ta thu µ Ap, j(p − xn ) ≤ (2.10) Từ (2.6) (2.10) suy ≤ µ xn − p ≤ µ F p, j(p − xn ) ≤ Do đó, µ( xn − p ) = Theo tính chất giới hạn Banach ta có ≤ lim inf xn − p n→∞ ≤ µ xn − p = Suy ra, tồn dãy {xni } dãy {xn } hội tụ mạnh p i → ∞ Một lần nữa, sử dụng (2.6) tính liên tục mạnh-yếu∗ ánh xạ đối ngẫu chuẩn tắc j tập bị chặn X, ta thu Ap, j(p − p) ≤ ∀p ∈ F (2.11) Do p p thuộc tập lồi đóng F X, nên thay p (2.11) sp + (1 − s)p với s ∈ (0, 1), sử dụng tính chất j s(p − p) = sj(p − p), s > 0, ta có A sp + (1 − s)p , j p − sp − (1 − s)p ≤ Chia hai vế bất đẳng thức cuối cho s cho s → ta Ap, j(p − p) ≤ ∀p ∈ F 26 Điều chứng tỏ p nghiệm bất đẳng thức biến phân (2.1) Tính p∗ (2.1) bảo đảm p = p∗ Vậy dãy {xn } hội tụ mạnh đến p∗ n → ∞ (iii) Từ phương trình hiệu chỉnh (2.3), ta có Fn xn + εn Axn = 0, Fm xm + εm Axm = Khi đó, Fn xn − Fn xm , j(xn − xm ) + Fn xm − Fm xm , j(xn − xm ) +εn Axn − Axm , j(xn − xm ) + (εn − εm ) Axm , j(xn − xm ) = Sử dụng j-đơn điệu ánh xạ Fn , tính η-j-đơn điệu mạnh ánh xạ A, ta nhận xn − xm ≤ |εm − εn | F xm + Fm xm − Fn xm ηεn ηεn (2.12) Ta đánh giá Fm xm − Fn xm sau: Fm xm − Fn xm = Tn xm − Tm xm tm T (s)xm ds − T (s)xm ds tm 0 tn tm 1 T (s)xm ds − T (s)xm ds = − tn tm tm t n 1 |tm − tn | |tm − tn | ≤ − tn M1 + M1 = M1 tn tm tm tm = tn tn Sử dụng bất đẳng thức cuối vào (2.12), ta thu đánh giá (2.5) Định lý chứng minh 2.2.3 Ví dụ minh họa Xét toán ϕ(x), x∈C (2.13) với C tập khác rỗng lồi đóng khơng gian Hilbert thực H, với ϕ : H → R hàm lồi thường nửa liên tục yếu H có 27 dạng ϕ(x) = x − , phần tử đơn vị khơng gian Hilbert H Khi đó, ta có ϕ : H → H hàm ϕ gradient ϕ(x) = 2(x − 1), điều kiện cần tối ưu cho toán (2.13) bất đẳng thức biến phân ϕ(x∗ ) = ϕ(x) ↔ ϕ(x∗ ), x − x∗ ≥ 0, x∈C ∀x ∈ C Xét trường hợp H = R3 C = F tập điểm bất động chung nửa nhóm ánh xạ khơng giãn {T (t) : R3 → R3 , t ≥ 0} xác định sau:    cos t − sin t x1    T (t)x =  sin t cos t 0 x2  , 0 x3 t cố định x = (x1 , x2 , x3 )T ∈ R3 với tập điểm bất động chung F = {x ∈ R3 : x = (0, 0, x3 )T } Khi nghiệm tốn (2.13) x∗ = (0, 0, 1) ∈ R3 Nhằm minh họa cho hội tụ phương pháp hiệu chỉnh (2.3), ta sử dụng phương pháp (2.3) để giải toán (2.13) với A(x) = ϕ(x) = 2(x − 1) hàm 2-đơn điệu mạnh 1-liên tục Lipschitz R3 Viết lại phương trình (2.3) dạng (1 + 2εn )xn − Tn xn = 2εn , với Tn xn = tn tn T (s)xn ds tích phân Bochner xác định phép nhân ma trận Tn xn ,   sin(tn ) cos(tn ) − 1   Tn = − cos(tn ) + sin(tn ) 0 tn 0 tn xn = (xn1 , xn2 , xn3 )T ∈ R3 Để tiện tính tốn, phương pháp (2.3) biểu diễn thành phương 28 trình ma trận An xn = bn với  − cos(tn )+1 n) + 2εn − sin(t tn tn  cos(tn )−1 n) An =  + 2εn − sin(t tn tn xn = (xn1 , xn2 , xn3 )T ;   ; 2εn bn = (2εn , 2εn , 2εn )T Chọn dãy tham số tn = (n + 1)4 , εn = (n + 1)−3 ta nhận kết cho bảng sau: n Nghiệm xấp xỉ xn err = xn − p∗ (0.17649, 0.21419, 1) 0.27754 (0.068295, 0.068644, 1) 0.096831 (0.03007, 0.030307, 1) 0.042693 10 (0.0015004, 0.0015005, 1) 0.002122 20 (0.00021591, 0.00021591, 1) 0.00030535 50 (1.5077 × 10−5 , 1.5077 × 10−5 , 1) 2.1322 × 10−5 100 (1.9412 × 10−6 , 1.9412 × 10−6 , 1) 2.7452 × 10−6 150 (5.809 × 10−7 , 5.809 × 10−7 , 1) 200 (2.4629 × 10−7 , 2.4629 × 10−7 , 1) 8.2151 × 10−7 3.483 × 10−7 Bảng 2.1 Kết tính tốn cho phương pháp (2.3) 2.3 Phương pháp hiệu chỉnh lặp Mục giới thiệu phương pháp hiệu chỉnh lặp giải bất đẳng thức biến phân j-đơn điệu với tập ràng buộc tập điểm bất động chung nửa nhóm ánh xạ khơng giãn; trình bày định lý hội tụ phương pháp, đồng thời lấy ví dụ minh họa cho hội tụ phương pháp 2.3.1 Mô tả phương pháp Xuất phát từ điểm ban đầu w1 ∈ X, ta xác định xấp xỉ dãy lặp (xem [13]): wn+1 = wn − βn [Fn wn + εn Awn ], n ≥ 1, (2.14) Fn = I − Tn dãy {βn } thỏa mãn số điều kiện xác định 29 2.3.2 Sự hội tụ Định lý 2.3.1 (xem [13]) Cho X không gian Banach lồi qtrơn với số q cố định, < q ≤ 2, F A thỏa mãn điều kiện Định lý 2.2.2 Giả sử điều kiện sau thỏa mãn: (i) < βn < β0 , εn ∞ 0, lim n→∞ |εn −εn+1 | ε2n βn |tn −tn+1 | n→∞ βn εn tn = lim = 0; p (ii) n=0 n L) εn βn = ∞, lim supn→∞ Cq βnq−1 (2+ε < 1, với Cq số εn η q-trơn X Khi đó, dãy lặp {wn } xác định (2.14) hội tụ mạnh điểm p∗ -nghiệm bất đẳng thức biến phân (2.1) Chứng minh Giả sử xn nghiệm phương trình hiệu chỉnh (2.3) với εn > Khi đó, wn+1 − xn+1 ≤ wn+1 − xn + xn − xn+1 (2.15) Theo Bổ đề 1.1.19 (2.3), ta có wn+1 − xn p = wn − βn [Fn wn + εn Awn ] − xn q = wn − xn − βn [(I − Tn )wn − (I − Tn )xn + εn (Awn − Axn )] ≤ wn − x n q q − qβn (I − Tn )wn − (I − Tn )xn + εn [Awn − Axn ], jq (wn − xn ) + Cq βnq (I − Tn )wn − (I − Tn )xn + εn [Awn − Axn ] q Sử dụng tính j-đơn điệu ánh xạ I − Tn tính η-j-đơn điệu mạnh ánh xạ A, ta nhận (I − Tn )wn − (I − Tn )xn , jq (wn − xn ) = w n − xn q−2 (I − Tn )wn − (I − Tn )xn , j(wn − xn ) ≥ Awn − Axn , jq (wn − xn ) ≥ η wn − xn q 30 Suy wn+1 − xn q ≤ wn − xn q [1 − qβn εn η + Cq βnq (2 + εn L)q ] Do đó, wn+1 − xn ≤ wn − xn [1 − qβn εn η + Cq βnq (2 + εn L)q ]1/q Vì Cq βnq (2 + εn L)q ≤ βn εn η (1 + t)s ≤ − st với < s < 1, nên wn+1 − xn ≤ wn − xn 1− q−1 εn βn η q (2.16) Từ (2.15), (2.16) (2.5), ta thu q−1 εn βn η wn − xn q M1 |tn+1 − tn | + |εn − εn+1 | + εn η tn wn+1 − xn+1 ≤ 1− hay wn+1 − xn+1 ≤ (1 − ζn ) wn − xn + ζn ηn với ζn = q−1 βn εn η, q ζn ηn = M1 |εn − εn+1 | |tn − tn+1 | +2 η εn ε n tn thỏa mãn điều kiện Bổ đề 2.2.1 (với θn = 0) điều kiện (i) (ii) Áp dụng Bổ đề 2.2.1, ta thu lim wn − xn = Sử dụng n→∞ kết Định lý 2.2.2, ta có xn − p∗ → n → ∞ Điều dẫn đến ≤ wn − p∗ ≤ wn − xn + xn − p∗ → n → ∞ Từ suy wn → p∗ ∈ F thỏa mãn (2.1) n → ∞ Định lý chứng minh 2.3.3 Ví dụ minh họa Dùng phương pháp (2.14) để giải toán (2.13) xét mục trước Chọn xấp xỉ ban đầu w1 = (7, 8.5, 9.3) ∈ R3 dãy tham số tn = (n + 1)4 , εn = (1 + 70n)−1/2 βn = cos((1 + n)−2 ) 31 thỏa mãn điều kiện Định lý 2.3.1 Kết tính tốn cho phương pháp thể bảng sau đây: n Nghiệm xấp xỉ wn err = wn − p∗ (7, 8.5, 9.3) 13.789 (0.11197, 0.10772, 5.0429) 4.0459 10 (0.073431, 0.07346, 3.4988) 2.501 50 (0.033006, 0.033006, 1.3598) 0.36277 100 (0.023457, 0.023457, 1.0865) 0.092629 200 (0.016662, 0.016662, 1.0117) 0.02629 500 (0.010588, 0.010588, 1.0002) 0.014975 1000 (0.0075062, 0.0075062, 1) 0.010615 10000 (0.0023849, 0.0023849, 1) 0.0033727 Bảng 2.2 Kết tính tốn cho phương pháp (2.14) 32 Kết luận Đề tài luận văn trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân j-đơn điệu tập ràng buộc tập điểm bất động chung nửa nhóm ánh xạ không giãn không gian Banach Cụ thể: (1) Trình bày số khái niệm tính chất không gian Banach (không gian Banach lồi chặt, lồi đều, trơn đều, khơng gian có chuẩn khả vi Gâteaux khả vi Gâteaux đều); ánh xạ đơn điệu j-đơn điệu, ánh xạ giả co chặt, ánh xạ không giãn nửa nhóm ánh xạ khơng giãn; tổng quan bất đẳng thức biến phân đơn điệu bất đẳn thức biến phân j-đơn điệu (2) Trình bày phương pháp hiệu chỉnh Browder–Tikhonov giải bất đẳng thức biến phân tập ràng buộc tập điểm bất động chung nửa nhóm ánh xạ khơng giãn khơng gian Banach lồi có chuẩn khả vi Gâteaux Trình bày chứng minh hội tụ mạnh phương pháp dựa nguyên lý ánh xạ co Banach tính chất liên tục mạnh-yếu∗ ánh xạ đối ngẫu chuẩn tắc j số điều kiện đặt lên dãy tham số phương pháp (3) Trình bày phương pháp hiệu chỉnh lặp giải bất đẳng thức biến phân j-đơn điệu, trình bày chứng minh hội tụ phương pháp (4) Tính tốn ví dụ số minh họa cho hội tụ phương pháp (2.3) (2.14) 33 Tài liệu tham khảo Tiếng Việt [1] Phạm Kỳ Anh, Nguyễn Bường (2005), Bài toán đặt không chỉnh, NXB Đại học Quốc gia Hà Nội [2] 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 [3] R.P Agarwal, D O’Regan D., D.R Sahu (2009), Fixed Point Theory for Lipschitzian-type Mappings with Applications, Springer [4] Y Alber, I.P Ryazantseva (2006), Nonlinear Ill-posed Problems of Monotone Type, Springer-Verlag, Berlin [5] Q.H Ansari, C.S Lalitha, M Mehta (2013), Generalized Convexity, Nonsmooth Variational Inequalities, and Nonsmooth Optimization, Chapman and Hall/CRC [6] K Aoyama, H Iiduka, W Takahashi (2006), "Weak convergence of an iterative sequence for accretive operators in Banach spaces", Fixed Point Theory Appl., 2006, Art no 35390 [7] L.-C Ceng, Q.H Ansari, J.-C Yao (2008), "Mann-type steepestdescent and modified hybrid steepest descent methods for variational inequalities in Banach spaces", Numer Funct Anal Optim., 29(9-10), 987–1033 34 [8] F Browder (1966), "Existence and approximation of solution of nonlinear variational inequalities", Proc Nat Acad Sci., USA, 56(4), 1080–1086 [9] R Chen, Y Song (2000), "Convergence to common fixed point of nonexpansive semigroup", J Comput Appl Math., 200, 566–575 [10] V.K Ivanov (1962), "On linear ill-posed problems", Dolk Acad Nauk SSSR Math, 145 [11] M.M Lavret’ev (1967), Some improperly posed problems in mathematical physics, Springer, New York [12] I.P Ryazantseva (2002), "Regularization proximal algorithm for nonlinear equations of monotone type", Zh Vychisl Mat i Mat Fiziki, 42(9), 1295–1303 [13] Ng.T.T Thuy, P.T Hieu, and J.J Strodiot (2017), "Explicit iterative methods for variational inequalities over the set of common fixed points of nonexpansive semigroups in Banach spaces", Bull Malays Math Sci Soc (Online) [14] A.N Tikhonov (1963), "On the solution of ill-posed problems and the method of regularization", Dokl Akad Nauk SSSR, 151, 501– 504 (Russian) [15] S Reich (1973), "Asymptotic behavior of contractions in Banach spaces", J Math Anal Appl., 44(1), 57–70 [16] G Stampacchia (1964), "Formes bilinéaires coercitives sur les ensembles convexes", C R Acad Sci Paris, 258, 4413–4416 [17] W Takahashi, Y Ueda (1984), "On Reich’s strong convergence theorem for resolvents of accretive operators", J Math Anal Appl., 104, 546–553 [18] H.-K Xu (2002), "Iterative algorithms for nonlinear operators", J London Math Soc (2), 66(1), 240–256 35 [19] H.-K Xu (1991), "Inequalities in Banach spaces with applications", Nonlinear Analysis: Theory, Methods and Applications, 16(12), 1127–1138 ... tiêu đề "Hiệu chỉnh bất đẳng thức biến phân tập điểm bất động chung nửa nhóm khơng giãn" , trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân tập điểm bất động chung nửa nhóm ánh... phân tập điểm bất động chung nửa nhóm khơng giãn Chương trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân j-đơn điệu tập điểm bất động chung nửa nhóm ánh xạ khơng giãn khơng gian... 13 Bất đẳng thức biến phân số toán liên quan 14 1.2.1 Bất đẳng thức biến phân không gian Banach 14 1.2.2 Một số toán liên quan 16 Chương Hiệu chỉnh bất đẳng thức biến phân tập điểm