(Luận văn) một định lý hội tụ mạnh cho hệ bài toán cân bằng hỗn hợp tổng quát và bài toán điểm bất động trong không gian banach

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ————— o0o ————— BÙI THỊ THANH KHUYÊN lu an n va p ie gh tn to MỘT ĐỊNH LÝ HỘI TỤ MẠNH CHO HỆ BÀI TOÁN CÂN BẰNG HỖN HỢP TỔNG QT VÀ BÀI TỐN ĐIỂM BẤT ĐỘNG TRONG KHƠNG GIAN BANACH d oa nl w nf va an lu z at nh oi lm ul LUẬN VĂN THẠC SĨ TOÁN HỌC z m co l gm @ an Lu n va Thái Nguyên – 2020 ac th si ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC BÙI THỊ THANH KHUYÊN MỘT ĐỊNH LÝ HỘI TỤ MẠNH CHO lu an HỆ BÀI TOÁN CÂN BẰNG HỖN HỢP TỔNG QT VÀ BÀI TỐN ĐIỂM BẤT ĐỘNG TRONG KHƠNG GIAN BANACH n va p ie gh tn to d oa nl w LUẬN VĂN THẠC SĨ TOÁN HỌC nf va an lu Chuyên ngành: Toán ứng dụng Mã số: 46 01 12 lm ul NGƯỜI HƯỚNG DẪN KHOA HỌC z at nh oi TS Trương Minh Tuyên TS Phạm Hồng Trường z m co l gm @ an Lu n va Thái Nguyên – 2020 ac th si ii Lời cảm ơn Luận văn hồn thành Khoa Tốn - Tin, trường Đại học Khoa học - Đại học Thái Nguyên hướng dẫn TS Trương Minh Tuyên TS Phạm Hồng Trường Tơi xin bày tỏ lịng biết ơn chân thành sâu sắc đến TS Trương Minh Tuyên TS Phạm Hồng Trường, thầy tận tình hướng dẫn, giúp đỡ tơi suốt q trình học tập nghiên cứu để tơi hồn thành luận văn lu an Tôi xin chân thành cảm ơn Ban giám hiệu trường Đại học Khoa học - Đại va học Thái Nguyên, Ban chủ nhiệm khoa Toán - Tin thầy giáo, cô giáo n tn to trường Đại học Khoa học - Đại học Thái Nguyên tham gia giảng dạy lớp Cao gh học Toán K12A3 tạo điều kiện tốt tận tình giúp đỡ tơi suốt p ie q trình học tập nghiên cứu Trường w Tôi xin chân thành cảm ơn Hội đồng quản trị, Ban giám hiệu trường THPT oa nl Lương Thế Vinh, thành phố Cẩm Phả, tỉnh Quảng Ninh tạo điều kiện giúp d đỡ suốt thời gian học lu an Nhân dịp này, xin gửi lời cảm ơn chân thành tới gia đình, người thân, nf va bạn bè, đồng nghiệp động viên, khích lệ, tạo điều kiện giúp đỡ tơi q lm ul trình học tập nghiên cứu Sau tơi xin kính chúc tồn thể quý thầy cô trường Đại học Khoa học - z at nh oi Đại học Thái Nguyên dồi sức khỏe, niềm tin để tiếp tục thực sứ mệnh cao đẹp truyền đạt tri thức cho hệ mai sau z Mặc dù có nhiều cố gắng luận văn khó tránh khỏi thiếu sót @ m co Xin chân thành cảm ơn! l bạn đọc để luận văn hoàn thiện gm hạn chế Tôi mong muốn nhận ý kiến đóng góp thầy an Lu n va ac th si iii Mục lục Lời cảm ơn ii Một số ký hiệu viết tắt iv lu Mở đầu Chương Kiến thức chuẩn bị an n va Không gian Banach phản xạ 1.2 Khoảng cách Bregman số lớp ánh xạ Bregman không giãn 1.2.1 Hàm lồi khoảng cách Bregman 1.2.2 Phép chiếu Bregman 20 1.2.3 Một số lớp ánh xạ Bregman không giãn 24 p ie gh tn to 1.1 w oa nl Chương Xấp xỉ nghiệm chung cho hệ toán cân hỗn hợp tổng quát toán điểm bất động 29 d Tốn tử giải hỗn hợp tính chất 29 2.2 Phát biểu toán phương pháp lặp 33 2.3 Sự hội tụ mạnh phương pháp 33 44 z at nh oi Tài liệu tham khảo lm ul Kết luận nf va an lu 2.1 45 z m co l gm @ an Lu n va ac th si iv Một số ký hiệu viết tắt lu an không gian Banach X∗ không gian đối ngẫu X R tập hợp số thực R+ tập số thực không âm ∩ phép giao int M phần tập hợp M inf M cận tập hợp số M sup M cận tập hợp số M max M số lớn tập hợp số M M số nhỏ tập hợp số M n va X p ie gh tn to oa nl w tập điểm cực tiểu hàm F X ∅ tập rỗng d argminx∈X F (x) miền ảnh toán tử A toán tử ngược toán tử A z at nh oi I miền hữu hiệu toán tử (hàm số) A lm ul A−1 nf va R(A) an lu dom(A) toán tử đồng lim sup xn giới hạn dãy số {xn } z n→∞ @ giới hạn dãy số {xn } xn → x0 dãy {xn } hội tụ mạnh x0 xn * x0 dãy {xn } hội tụ yếu x0 F (T ) tập điểm bất động ánh xạ T Fˆ (T ) tập điểm bất động tiệm cận ánh xạ T n→∞ m co l gm lim inf xn an Lu n va ac th si v ∂f vi phân hàm lồi f 5f gradient hàm f M bao đóng tập hợp M projfC phép chiếu Bregman lên C Df (x, y) khoảng cách Bregman từ x đến y lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Mở đầu Đầu kỉ XX xuất nhiều định lý điểm bất động tiếng, phải kể đến nguyên lý điểm bất động Brouwer (1912), nguyên lý ánh xạ co Banach (1922) Các kết mở rộng lớp ánh xạ không gian khác Lý thuyết điểm bất động có nhiều ứng dụng lĩnh vực tốn học khác như: Giải tích số, phương trình vi phân, phương trình đạo hàm riêng, tối ưu hóa, tốn liên quan đến kinh tế toán cân bằng, lu an toán chấp nhận lồi toán bất đẳng thức biến phân va Bài tốn điểm bất động có hai lĩnh vực quan tâm nghiên cứu chủ yếu, n tn to là: Ta quan tâm đến tồn nghiệm phương trình T (x) = x, gh T ánh xạ từ tập C không gian X vào X nghiệm x0 p ie gọi điểm bất động T Trong nhiều trường hợp quan trọng việc w giải phương trình đưa việc tìm điểm bất động ánh xạ thích oa nl hợp Chẳng hạn, X khơng gian tuyến tính, S ánh xạ d X y phần tử cố định thuộc X, nghiệm phương trình S(x) = y an lu điểm bất động ánh xạ T xác định T (x) = S(x) + x − y, với nf va x ∈ X Bên cạnh việc tìm phương pháp tìm hay xấp xỉ điểm bất động tốn ngồi nước z at nh oi lm ul ánh xạ thu hút quan tâm nghiên cứu nhiều người làm Trong thời gian gần đây, lớp toán cân mà tổng quát tốn cân hỗn hợp tổng qt khơng gian Hilbert hay Banach thu hút z quan tâm nghiên cứu nhiều nhà tốn học ngồi nước @ gm Một khó khăn nghiên cứu toán xấp xỉ điểm bất động l tốn cân khơng gian Banach ta phải sử dụng đến ánh xạ m co đối ngẫu không gian Ta biết trường hợp tổng quát ánh xạ đối an Lu ngẫu khó xác định ngồi khơng có tính chất tuyến tính Do việc tìm dạng tường minh toán tử giải tương ứng với toán tử đơn điệu n va khơng gian Banach “rất khó” Để khắc phục khó khăn này, người ta sử ac th si dụng khoảng cách Bregman để thay cho khoảng cách thông thường thay ánh xạ đối ngẫu gradient phiếm hàm lồi, khả vi Gâteaux Mục đích luận văn trình bày lại kết Darvish cộng báo [14] phương pháp chiếu (kết hợp phương pháp chiếu lai ghép chiếu thu hẹp) xấp xỉ điểm bất động chung họ hữu hạn tốn tử Bregman khơng giãn tương đối yếu nghiệm hệ toán cân hỗn hợp tổng quát không gian Banach phản xạ Nội dung luận văn chia làm hai chương chính: Chương Kiến thức chuẩn bị Trong chương này, luận văn đề cập đến số vấn đề không gian Banach lu phản xạ, khoảng cách Bregman, phép chiếu Bregman số lớp tốn tử an va Bregman khơng giãn n Chương Xấp xỉ nghiệm chung cho hệ toán cân hỗn hợp gh tn to tổng quát toán điểm bất động Trong chương luận văn tập trung trình bày lại cách chi tiết kết ie p Darvish V cộng tài liệu [14] phương pháp chiếu nl w cho tốn tìm nghiệm chung hệ toán cân hỗn hợp tổng quát d oa toán điểm bất động cho lớp ánh xạ Bregman không giãn tương đối yếu nf va an lu không gian Banach phản xạ z at nh oi lm ul z m co l gm @ an Lu n va ac th si Chương Kiến thức chuẩn bị Chương bao bồm hai mục Mục 1.1 trình bày số tính chất lu an không gian phản xạ Mục 1.2 giới thiệu khoảng cách Bregman, phép chiếu n va Bregman số lớp ánh xạ Bregman không giãn Nội dung chương gh tn to tham khảo tài liệu [1, 15, 21, 24, 27] Không gian Banach phản xạ p ie 1.1 Trước hết, mục nhắc lại khái niệm không gian Banach oa nl w phản xạ d Định nghĩa 1.1.1 Một không gian Banach X gọi không gian phản xạ, lu nf va an với phần tử x∗∗ không gian liên hợp thứ hai X ∗∗ X, tồn phần tử x thuộc X cho lm ul hx, x∗ i = hx∗ , x∗∗ i với x∗ ∈ X ∗ z at nh oi Chú ý 1.1.2 Trong luận văn, sử dụng ký hiệu hx∗ , xi để giá trị phiếm hàm x∗ ∈ X ∗ x ∈ X z m co l i) X không gian phản xạ gm sau tương đương: @ Mệnh đề 1.1.3 [1] Cho X khơng gian Banach Khi đó, khẳng định an Lu ii) Mọi dãy bị chặn X, có dãy hội tụ yếu Mệnh đề cho ta mối liên hệ tập đóng tập đóng yếu n va khơng gian tuyến tính định chuẩn ac th si Mệnh đề 1.1.4 Nếu C tập lồi, đóng khác rỗng khơng gian khơng gian tuyến tính định chuẩn X, C tập đóng yếu Chứng minh Ta chứng minh phản chứng Giả sử tồn dãy {xn } ⊂ C cho xn * x, x ∈ / C Theo định lý tách tập lồi, tồn x∗ ∈ X ∗ tách ngặt x C, tức tồn ε > cho hy, x∗ i ≤ hx, x∗ i − ε, với y ∈ C Đặc biệt, ta có hxn , x∗ i ≤ hx, x∗ i − ε, lu an với n ≥ Ngồi ra, xn * x, nên hxn , x∗ i → hx, x∗ i Do đó, bất va đẳng thức trên, cho n → ∞, ta nhận n to ie gh tn hx, x∗ i ≤ hx, x∗ i − ε, p điều vơ lý Do đó, điều giả sử sai, hay C tập đóng yếu Mệnh đề chứng minh nl w d oa Chú ý 1.1.5 Nếu C tập đóng yếu, hiển nhiên C tập đóng lu Khoảng cách Bregman số lớp ánh xạ Bregman không giãn nf va an 1.2 lm ul 1.2.1 Hàm lồi khoảng cách Bregman z at nh oi Cho X không gian Banach cho f : X −→ (−∞, ∞] hàm số Ta ký hiệu miền hữu hiệu domf tập {x ∈ X : f (x) < ∞} Với x ∈ z gm @ int domf y ∈ X, ta ký hiệu f (x, y) đạo hàm phải f x theo hướng y, tức m co t↓0 f (x + ty) − f (x) t l f (x, y) = lim an Lu Định nghĩa 1.2.1 Hàm f gọi khả vi Gâteaux x giới hạn limt→0 (f (x + ty) − f (x))/t tồn với y Trong trường hợp f (x, y) n va trùng với (5f )(x), giá trị gradient 5f f x ac th si 33 2.2 Phát biểu toán phương pháp lặp Cho E không gian Banach phản xạ, C tập lồi, đóng khác rỗng E Cho f : E → R hàm đồng bức, bị chặn, khả vi Fréchet đều, lồi hoàn toàn tập bị chặn E ∇f ∗ bị chặn tập bị chặn E ∗ Cho Ti : C → C, i = 1, 2, , N họ hữu hạn ánh xạ Bregman không giãn tương đối yếu, Θj : C × C → R thỏa mãn điều kiện (A1 )-(A4 ), ϕj : C → R hàm lồi Ψj : C → E ∗ ánh xạ liên tục,

M GM EP (Θ , ϕ , Ψ ) F (T ) ∩ ∩ đơn điệu j ∈ {1, 2, M } Giả sử ∩N j j j i j=1 i=1 tập khác rỗng lu Trong tài liệu [14], tác giả Darvish cộng nghiên cứu toán sau: an (2.8) n va

M Tìm phần tử x† ∈ S = ∩N ∩ ∩ F (T ) GM EP (Θ , ϕ , Ψ ) i j j j i=1 j=1 tn to Để xấp xỉ nghiệm Bài toán (2.8), họ đề xuất phương pháp lặp xoay p ie gh vòng sau: Cho {xn } dãy xác định x0 ∈ C, C0 = Q0 = C ∗ zn = ∇f (βn N X γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn )), i=1 w oa nl yn = ∇f ∗ (αn ∇f (x0 ) + (1 − αn )∇f (zn )), d un = ResfΘM ,ϕM ,ΨM ◦ ◦ ResfΘ2 ,ϕ2 ,Ψ2 ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn ), an lu Cn+1 = {z ∈ Cn : Df (z, un ) ≤ αn Df (z, x0 ) + (1 − αn )Df (z, xn )}, nf va Qn+1 = {z ∈ Qn : h∇f (x0 ) − ∇f (xn ), z − xn i ≤ 0}, lm ul xn+1 = projfCn+1 ∩Qn+1 x0 , ∀n ≥ 0, (2.9) z at nh oi {αn } ⊂ [0, 1), {βn } ⊂ (0, 1) {γi,n } ⊂ [a, b] ⊂ (0, 1) cho PN i=1 γi,n = 1, với i = 1, 2, , N z @ Sự hội tụ mạnh phương pháp m co l Trước hết, ta có mệnh đề gm 2.3 an Lu Mệnh đề 2.3.1 Dãy {xn } (2.9) hoàn toàn xác định Chứng minh Từ Mệnh đề 2.1.1 Mệnh đề 1.2.33 suy F (Ti ) va n GM EP (Θj , ϕj , Ψj ), j ∈ {1, 2, M } tập lồi đóng E ac th si 34 Ta Cn Qn tập lồi đóng E Rõ ràng C0 Q0 tập lồi đóng Giả sử Cn Qn tập lồi đóng E với n ≥ Ta viết lại tập Cn+1 dạng sau Cn+1 = Cn ∩ {z ∈ E : Df (z, un ) ≤ αn Df (z, x0 ) + (1 − αn )Df (z, xn )} = Cn ∩ {z ∈ E : hαn ∇f (x0 ) + (1 − αn )∇f (xn ) − f (un ), zi ≤ αn h∇f (x0 ), x0 i + (1 − αn )h∇f (xn ), xn i − αn f (x0 ) − (1 − αn )f (xn ) + f (un ) − h∇f (un ), un i Do đó, Cn+1 tập lồi đóng E Tiếp theo, từ lu an Qn+1 = Qn ∩ {z ∈ E : h∇f (x0 ) − ∇f (xn ), zi ≤ h∇f (x0 ) − ∇f (xn ), xn i, va n suy Qn+1 tập lồi đóng E Như vậy, quy nạp toán học, Bây giờ, để kết thúc chứng minh mệnh đề này, ta S ⊂ ie gh tn to ta nhận Cn Qn tập lồi đóng E p Cn ∩ Qn với n ≥ Thật vậy, dễ thấy S ⊂ C0 ∩ Q0 Giả sử S ⊂ Cn ∩ Qn w với n ≥ oa nl Lấy p ∈ S, từ (2.9) Bổ đề 2.1.1, ta có d Df (p, un ) = Df (p, ResfΘM ,ϕM ,ΨM ◦ ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn )) lu nf va an ≤ Df (p, ResfΘM −1 ,ϕM −1 ,ΨM −1 ◦ ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn )) lm ul ≤ Df (p, yn ) (2.10) z at nh oi − Df (ResfΘM ,ϕM ,ΨM ◦ ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn ), ResfΘM −1 ,ϕM −1 ,ΨM −1 ◦ ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn )) z − Df (ResfΘM −1 ,ϕM −1 ,ΨM −1 ◦ ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn ), ResfΘM −2 ,ϕM −2 ,ΨM −2 m co l an Lu Tiếp theo, ta có gm − Df (ResfΘ1 ,ϕ1 ,Ψ1 (yn ), yn ) @ ◦ ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn )) n va Df (p, yn ) = Df (p, ∇f ∗ (αn ∇f (x0 ) + (1 − αn )∇f (zn ))) ac th si 35 ≤ αn Df (p, x0 ) + (1 − αn )Df (p, zn ) (2.11) Ta đánh giá Df (p, zn ), từ (2.9) tính chất Ti , ta có ∗ Df (p, zn ) = Df (p, ∇f (βn N X γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn ))) i=1 ≤ βn ≤ βn N X i=1 N X γi,n Df (p, Ti (xn )) + (1 − βn )Df (p, f (xn )) γi,n Df (p, xn ) + (1 − βn )Df (p, xn ) i=1 ≤ Df (p, xn ) (2.12) lu an Từ (2.10)–(2.12), ta nhận va n Df (p, un ) ≤ αn Df (p, x0 ) + (1 − αn )Df (p, xn ) gh tn to Điều suy p ∈ Cn+1 S ⊂ Cn+1 p ie Từ xn = projfCn ∩Qn (x0 ) Mệnh đề 1.2.28, suy nl w h∇f (x0 ) − ∇f (xn ), xn − vi ≥ 0, ∀v ∈ Cn ∩ Qn d oa Do đó, từ p ∈ S ⊂ Cn ∩ Qn , ta thu nf va an lu h∇f (x0 ) − ∇f (xn ), xn − pi ≥ 0, tức là, p ∈ Qn+1 S ⊂ Qn+1 Do vậy, ta nhận S ⊂ Cn+1 ∩ Qn+1 lm ul Bằng quy nạp toán học, ta nhận S ⊂ Cn ∩ Qn với n ≥ dãy {xn } hoàn toàn xác định z at nh oi Vậy Cn ∩ Qn tập lồi, đóng khác rỗng E với n ≥ 0, Mệnh đề 2.3.2 Trong (2.9), dãy {xn } bị chặn z @ gm Chứng minh Vì h∇f (x0 ) − ∇f (xn ), v − xn i ≤ với v ∈ Qn+1 , nên từ Mệnh (2.13) m Df (xn , x0 ) ≤ Df (xn+1 , x0 ) co l đề 1.2.28 suy xn = projfQn+1 x0 Từ xn+1 = projfCn+1 ∩Qn+1 x0 ∈ Qn+1 , ta có an Lu

M Lấy p ∈ ∩N i=1 F (Ti ) ∩ ∩j=1 GM EP (Θj ) ∈ Qn+1 Từ Mệnh đề 1.2.28, ta có n va Df (p, projfQn+1 x0 ) + Df (projfQn+1 x0 , x0 ) ≤ Df (p, x0 ) ac th si 36 Df (xn , x0 ) ≤ Df (p, x0 ) − Df (p, xn ) ≤ Df (p, x0 ) Suy {Df (xn , x0 )} bị chặn Từ Mệnh đề 1.2.21, suy dãy {xn } bị chặn dãy {Ti (xn )}, {yn }, {zn } bị chặn Mệnh đề 2.3.3 Trong (2.9), {xn } dãy Cauchy Chứng minh Theo chứng minh Mệnh đề 2.3.2, ta biết {Df (xn , x0 )}bị chặn Từ (2.13), suy giới hạn limn→∞ Df (xn , x0 ) tồn hữu hạn Từ xm ∈ Qm ⊆ Qn+1 với m > n Mệnh đề 1.2.28, ta có Df (xm , projQn+1 x0 ) + Df (projfQn+1 x0 , x0 ) ≤ Df (xm , x0 ) lu an Df (xm , xn ) ≤ Df (xm , x0 ) − Df (xn , x0 ) Từ đó, ta có va n lim Df (xm , xn ) ≤ lim (Df (xm , x0 ) − Df (xn , x0 )) = (2.14) n,m→∞ tn to n→∞ ie gh Từ Nhận xét 1.2.23, Mệnh đề 1.2.24 (2.14), ta nhận p lim kxm − xn k = (2.15) n→∞ oa nl w Do {xn } dãy Cauchy đặc biệt limn→∞ kxn+1 − xn k = d Sự hội tụ mạnh dãy lặp {xn } xác định (2.9) cho định lý nf va an lu Định lý 2.3.4 Nếu limn→∞ αn = lim inf n→∞ (1 − βn )βn > 0, dãy {xn } lm ul xác định (2.9) hội tụ mạnh x† = projfS x0 z at nh oi Chứng minh Theo Mệnh đề 2.3.2, {xn } dãy Cauchy Do đó, xn → q ∈ C Từ Mệnh đề 1.2.16 kxn+1 − xn k → 0, ta nhận lim k∇f (xn+1 ) − ∇f (xn )k = (2.16) z l gm Vì xn+1 ∈ Cn+1 ⊂ Cn , nên ta có @ n→∞ m co Df (xn+1 , un ) ≤ αn Df (xn+1 , x0 ) + (1 − αn )Df (xn+1 , xn ) an Lu Từ limn→∞ αn = limn→∞ Df (xn+1 , xn ) = 0, suy dãy {Df (xn+1 , un )} bị chặn n va lim Df (xn+1 , un ) = n→∞ ac th si 37 Từ Nhận xét 1.2.23 Mệnh đề 1.2.24, ta nhận lim kxn+1 − un k = (2.17) lim k∇f (xn+1 ) − ∇f (un )k = (2.18) n→∞ Do n→∞ Từ đánh giá kxn − un k ≤ kxn − xn+1 k + kxn+1 − un k kxn+1 − xn k → 0, ta nhận lim kxn − un k = 0, n→∞ un → q n → ∞ lu lim k∇f (xn ) − ∇f (un )k = (2.19) n→∞ an n va Từ định nghĩa khoảng cách Bregman, ta có tn to Df (p, xn ) − Df (p, un ) = f (p) − f (xn ) − h∇f (xn ), p − xn i ie gh − f (p) + f (un ) + h∇f (un ), p − un i p = f (un ) − f (xn ) + h∇f (un ), p − un i nl w − h∇f (xn ), p − xn i d oa = f (un ) − f (xn ) + h∇f (un ), xn − un i an lu + h∇f (un ) − ∇f (xn ), p − xn i, nf va với p ∈ S Từ (2.17)-(2.19), ta nhận lm ul lim (Df (p, xn ) − Df (p, un )) = (2.20) n→∞ z at nh oi Mặt khác, với p ∈ S, từ (1.13) (2.12), ta có Df (un , yn ) ≤ Df (p, yn ) − Df (p, un ) z gm @ = Df (p, ∇f ∗ (αn ∇f (x0 ) + (1 − αn )∇f (zn ))) − Df (p, un ) ≤ αn Df (p, x0 ) + (1 − αn )Df (p, zn ) − Df (p, un ) l m co ≤ αn Df (p, x0 ) + (1 − αn )Df (p, xn ) − Df (p, un ) = αn (Df (p, x0 ) − Df (p, xn )) + Df (p, xn ) − Df (p, un ) (2.21) an Lu Do đó, từ (2.20) (2.21), suy Df (un , yn ) → ta nhận va n Df (p, yn ) − Df (p, un ) → n → ∞ Hơn nữa, từ Df (un , yn ) → 0, suy ac th si 38 limn→∞ kun − yn k = limn→∞ k∇f (un ) − ∇f (yn )k = Từ un → q, ta thu yn → q n → ∞ Tiếp theo, ta q ∈ S Đặt u1,n = ResfΘ1 ,ϕ1 ,Ψ1 (yn ), ui,n = ResfΘi ,ϕi ,Ψi ◦ ResfΘ1 ,ϕ1 ,Ψ1 (yn ), i = 2, 3, M − 1, ta có un = ResfΘM ,ϕM ,ΨM (uM −1,n ) Từ (2.10) Df (p, yn ) − Df (p, un ) → 0, suy lu an (2.22) Df (ui+1,n , ui,n ) → 0, với i = 1, 2, , M − 2, (2.23) Df (un , uM −1,n ) → (2.24) n va Df (u1,n , yn ) → 0, gh tn to Từ Nhận xét 1.2.23, Mệnh đề 1.2.24 un → q, ta nhận ie lim ui,n = q, (2.25) n→∞ p với i = 1, 2, , M − w d oa nl Hơn nữa, từ (2.22)–(2.24), ta nhận k∇f (u1,n ) − ∇f (yn )k → 0, k∇f (ui+1,n ) − ∇f (ui,n )k → 0, với i = 1, 2, , M − 2, (2.27) k∇(un ) − ∇f (uM −1,n )k → (2.28) nf va an lu (2.26) lm ul z at nh oi Bây giờ, từ u1,n = ResfΘ1 ,ϕ1 ,Ψ1 (yn ), ta có Θ1 (u1,n , y) + hΨ1 yn , y − u1,n i + ϕ1 (y) + h∇f (u1,n ) − ∇f (yn ), y − u1,n i ≥ ϕj (u1,n ), z Từ điều kiện (A2 ), ta nhận m co an Lu ≤ hΨ1 yn , y − u1,n i l Θ1 (y, u1,n ) ≤ −Θ1 (u1,n , y) gm @ với y ∈ C + ϕ1 (y) − ϕ1 (u1,n ) + h∇f (u1,n ) − ∇f (yn ), y − u1,n i, n va ac th si 39 với y ∈ C Do ta nhận Θ1 (y, u1,n ) ≤ hΨ1 yn , y − u1,n i + ϕ1 (y) − ϕ1 (u1,n ) + h∇f (u1,n ) − ∇f (yn ), y − u1,n i, với y ∈ C Từ u1,n → q, (2.26), tính liên tục Ψ1 , tính nửa liên tục yếu ϕ1 Θ1 (·, ·) theo biến thứ hai, ta nhận Θ1 (y, q) + hΨ1 q, q − yi + ϕ1 (q) − ϕ1 (y) ≤ 0, với y ∈ C Với t thỏa mãn ≤ t ≤ y ∈ C, đặt yt = ty + (1 − t)q Vì y ∈ C lu an q ∈ C, nên ta có yt ∈ C Θ1 (yt , q) + hΨ1 q, q − yt i + ϕ1 (q) − ϕ1 (yt ) ≤ n va Do đó, ta có to ≤ tΘ1 (yt , y) + (1 − t)Θ1 (yt , q) + thΨ1 q, y − yt i + (1 − t)hΨ1 q, q − yt i p ie gh tn = Θ1 (yt , yt ) + hΨ1 q, yt − yt i + ϕ1 (yt ) − ϕj (yt ) +tϕ1 (y) + (1 − t)ϕ1 (q) − ϕj (yt ) oa nl w ≤ t[Θ1 (yt , y) + hΨ1 q, y − yt i + ϕ1 (y) − ϕ1 (yt )] d Suy Θ1 (yt , y) + hΨ1 q, y − yt i + ϕ1 (y) − ϕ1 (yt ) ≥ với t > Từ đó, nf va an lu cho t → 0+ , ta có Θ1 (q, y) + hΨ1 q, y − qi + ϕ1 (y) − ϕ1 (q) ≥ 0, lm ul z at nh oi với y ∈ C Do vậy, ta nhận q ∈ GM EP (Θ1 , ϕ1 , Ψ1 ) Từ ui,n = ResfΘi ,ϕi ,Ψi (ui−1,n ) với i = 2, 3, , M − z un = ResfΘM ,ϕM ,ΨM (uM −1,n ), @ gm lập luận tương tự trên, ta nhận q ∈ GM EP (Θi , ϕi , Ψi ) với Bây giờ, ta q ∈ ∩N i=1 F (Ti ) Trước hết, ta có m co l i = 2, 3, , M Do đó, ta có q ∈ ∩M j=1 GM EP (Θj , ϕj , Ψj ) an Lu k∇f (xn ) − ∇f (yn )k = k∇f (xn ) − ∇f (∇f ∗ (αn ∇f (x0 ) + (1 − αn )∇f (zn )))k n va = k∇f (xn ) − (αn ∇f (x0 ) + (1 − αn )∇f (zn ))k ac th si 40 = kαn (∇f (xn ) − ∇f (x0 )) + (1 − αn )(∇f (xn ) − ∇f (zn ))k ≥ αn k∇f (zn ) − ∇f (x0 )k − k∇f (xn ) − ∇f (zn )k Điều suy k∇f (xn ) − ∇f (zn )k ≤ αn k∇f (zn ) − ∇f (x0 )k + k∇f (xn ) − ∇f (yn )k (2.29) Cho n → ∞ bất đẳng thức từ limn→∞ αn = 0, ta nhận lim k∇f (xn ) − ∇f (zn )k = (2.30) n→∞ Vì ∇f liên tục tập bị chặn E, nên lu an lim kxn − zn k = n→∞ va n Từ Mệnh đề 1.2.24, suy tn to gh lim Df (zn , xn ) = (2.31) n→∞ ie p Lấy w ∈ S Từ đồng thức ba điểm (1.6) (2.30)-(2.31), ta có w oa nl |Df (w, xn ) − Df (w, zn )| = |Df (w, zn )D + Df (zn , xn ) d + h∇f (zn ) − ∇f (xn ), w − zn i − Df (w, zn )| lu nf va an = |Df (zn , xn ) + h∇f (zn ) − ∇f (xn ), w − zn i| ≤ Df (zn , xn ) + kw − zn kk∇f (zn ) − ∇f (xn )k lm ul → z at nh oi Điều suy lim [Df (w, xn ) − Df (w, zn )] = (2.32) z n→∞ @ n i=1 γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn )) va = Vf (w, βn γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn ))) an Lu i=1 N X m Df (w, zn ) = Df (w, ∇f (βn N X co ∗ l Từ Mệnh đề 1.2.25 (1.11), ta có gm Đặt r = max{supn {k∇f (xn )k}, maxi=1,2, ,N {supn {k∇f (Ti (xn ))k}}} < ∞ ac th si 41 = f (w) − hβn N X γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn ), wi i=1 + f ∗ (βn N X γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn )) i=1 ≤ f (w) − hβn N X γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn ), wi i=1 + βn N X γi,n f ∗ (∇f (Ti (xn ))) + (1 − βn )f ∗ (∇f (xn )) i=1 − (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) lu = βn N X γi,n (f (w) − h∇f (Ti (xn )), wi + f ∗ (∇f (Ti (xn )))) an i=1 n va + (1 − βn )(f (w) − h∇f (xn ), wi + f ∗ (∇f (xn ))) gh tn to − (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) = βn N X γi,n Vf (w, ∇f (Ti (xn ))) + (1 − βn )Vf (w, ∇f (xn )) ie p i=1 = βn oa nl w − (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) N X γi,n Df (w, Ti (xn )) + (1 − βn )Df (w, xn ) d i=1 lu an − (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) nf va ≤ βn N X lm ul i=1 γi,n Df (w, xn ) + (1 − βn )Df (w, xn ) z at nh oi − (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) = Df (w, xn ) − (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k), z với j = 1, 2, , N Suy gm @ (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) ≤ Df (w, xn ) − Df (w, zn ), m co l kết hợp với (2.32), ta nhận an Lu lim (1 − βn )βn γj,n ρr (k∇f (xn ) − ∇f (Tj (xn ))k) = 0, n→∞ n va với j = 1, 2, , N ac th si 42 Từ giả thiết lim inf n→∞ βn (1 − βn ) > 0, ta có lim ρr (k∇f (xn ) − ∇f (Tj (xn ))k) = 0, ∀j ∈ {1, 2, , N } n→∞ Từ tính chất hàm ρr , suy lim k∇f (xn ) − ∇f (Tj (xn ))k = 0, ∀j ∈ {1, 2, , N } n→∞ Vì ∇f ∗ liên tục tập bị chặn E ∗ , nên ta nhận lim kxn − Tj (xn )k = 0, ∀j ∈ {1, 2, , N } (2.33) n→∞ Do Tj , j = 1, 2, , N , ánh xạ không giãn tương đối yếu, nên từ xn → q lu (2.33), ta thu q ∈ ∩N i=1 F (Ti ) Suy dãy {xn } hội tụ mạnh q ∈ S an Cuối cùng, ta q = x† = projfS (x0 ) Vì x† = projfS (x0 ) ∈ S, nên từ va n xn+1 = projfCn+1 ∩Qn+1 x0 x† ∈ S ⊂ Cn+1 ∩ Qn+1 , ta có to gh tn Df (xn+1 , x0 ) ≤ Df (x† , x0 ) p ie Do đó, từ Mệnh đề 1.2.29, ta nhận xn → x† n → ∞ Do q = x† nl w Định lý chứng minh d oa Khi αn = với n, ta nhận hệ ∗ N X nf va an lu Hệ 2.3.5 Cho {xn } dãy xác định x0 ∈ C, C0 = Q0 = C zn = ∇f (βn γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn )), lm ul i=1 z at nh oi un = ResfΘM ,ϕM ,ΨM ◦ ◦ ResfΘ2 ,ϕ2 ,Ψ2 ◦ ResfΘ1 ,ϕ1 ,Ψ1 (zn ), Cn+1 = {z ∈ Cn : Df (z, un ) ≤ Df (z, xn )}, Qn+1 = {z ∈ Qn : h∇f (x0 ) − ∇f (xn ), z − xn i ≤ 0}, z xn+1 = projfCn+1 ∩Qn+1 x0 , ∀n ≥ 0, gm @ (2.34) PN i=1 γi,n l {βn } ⊂ (0, 1) {γi,n } ⊂ [a, b] ⊂ (0, 1) cho = 1, với an Lu x† = projfS x0 m co i = 1, 2, , N Nếu lim inf n→∞ βn (1 − βn ) > 0, dãy {xn } hội tụ mạnh Tiếp theo ta có kết để xấp xỉ nghiệm hệ toán cân n va hỗn hợp tổng quát ac th si 43 Định lý 2.3.6 Giả sử Θj : C × C → R thỏa mãn điều kiện (A1)-(A4), ϕj : C → R hàm lồi Ψj : C → E ∗ ánh xạ liên tục, đơn điệu j = 1, 2, M Giả sử S = ∩M j=1 GM EP Θj , ϕj , Ψj ) tập khác rỗng Cho {xn } dãy xác định x0 ∈ C, C0 = Q0 = C un = ResfΘM ,ϕM ,ΨM ◦ ◦ ResfΘ2 ,ϕ2 ,Ψ2 ◦ ResfΘ1 ,ϕ1 ,Ψ1 (xn ), Cn+1 = {z ∈ Cn : Df (z, un ) ≤ Df (z, xn )}, Qn+1 = {z ∈ Qn : h∇f (x0 ) − ∇f (xn ), z − xn i ≤ 0}, xn+1 = projfCn+1 ∩Qn+1 x0 , ∀n ≥ (2.35) lu Khi đó, dãy {xn } hội tụ mạnh x† = projfS x0 an va Chứng minh Áp dụng Hệ 2.3.5 với Ti (x) = x với i = 1, 2, , N , ta n nhận chứng minh định lý gh tn to Ta có định lý cho tốn tìm điểm bất động chung họ p ie hữu hạn ánh xạ Bregman không giãn tương đối yếu w Định lý 2.3.7 Cho Ti : C → C, i = 1, 2, , N họ hữu hạn ánh xạ oa nl Bregman không giãn tương đối yếu Giả sử S = ∩N i=1 F (Ti ) tập khác rỗng Cho d {xn } dãy xác định x0 ∈ C, C0 = Q0 = C an lu ∗ nf va zn = ∇f (βn N X γi,n ∇f (Ti (xn )) + (1 − βn )∇f (xn )), i=1 lm ul Cn+1 = {z ∈ Cn : Df (z, zn ) ≤ Df (z, xn )}, z at nh oi Qn+1 = {z ∈ Qn : h∇f (x0 ) − ∇f (xn ), z − xn i ≤ 0}, xn+1 = projfCn+1 ∩Qn+1 x0 , ∀n ≥ (2.36) z gm @ Khi dãy {xn } hội tụ mạnh x† = projfS x0 l Chứng minh Áp dụng Hệ 2.3.5 với Θj (x, y) = 0, ϕj (x) = Ψj (x) với m co j = 1, 2, , N , ta nhận chứng minh định lý an Lu n va ac th si 44 Kết luận Luận văn trình bày lại cách chi tiết hệ thống vấn đề sau: ˆ Một số tính chất đặc trưng không gian không gian Banach phản xạ, khoảng cách Bregman, phép chiếu Bregman, hàm lồi hoàn toàn; ˆ Tốn tử Bregman khơng giãn khơng gian Banach; lu an ˆ Các kết nghiên cứu Darvish V cộng tài liệu [14] va n phương pháp chiếu cho tốn tìm điểm bất động chung to hỗn hợp tổng quát không gian Banach phản xạ p ie gh tn họ hữu hạn tốn tử Bregman khơng giãn tương đối yếu hệ toán cân d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si 45 Tài liệu tham khảo [1] Agarwal R P., O’Regan D., Sahu D R (2009), Fixed Point Theory for Lipschitzian-type Mappings with Applications, Springer [2] Ambrosetti A., Prodi G (1993), A Primer of Nonlinear Analysis, Cambridge University Press, Cambridge [3] Alber Y.I (1996), “Metric and generalized projection operators in Banach lu an spaces: properties and applications, In: Kartsatos, A.G (ed.) Theory and n va Applications of Nonlinear Operator of Accretive and Monotone Type”, Mar- tn to cel Dekker, New York, pp 15–50 ie gh [4] Bauschke H.H., Borwein J.M., Combettes P.L (2001), “Essential smooth- p ness, essential strict convexity, and Legendre functions in Banach spaces”, oa nl w Commun Contemp Math., 3, pp 615–647 [5] Blum E., Oettli W (1994), “From optimization and variational inequalities d nf va an lu to equilibrium problems”, Math Student, 63, pp 123–145 [6] Bonnans J.F., Shapiro A (2000), Perturbation Analysis of Optimization lm ul Problem, Springer, New York z at nh oi [7] Browder F.E (1996), “Existence and approximation of solutions of nonlinear variational inequalities”, Proc Natl Acad Sci USA., 56, pp 1080–1086 z [8] Butnariu D., Iusem A.N (2000), Totally convex functions for fixed points @ co l lishers, Dordrecht gm computation and infinite dimensional optimization, Kluwer Academic Pub- m [9] Butnariu D., Resmerita E (2006), “Bregman distances, totally convex func- an Lu tions and a method for solving operator equations in Banach spaces”, Abstr n va Appl Anal., 2006, pp 1–39 ac th si 46 [10] Censor Y., Lent A (1981), “An iterative row-action method for interval convex programming”, J Optim Theory Appl., 34, pp 321–353 [11] Ceng L.C., Yao J.C (2008), “A hybrid iterative scheme for mixed equilibrium problems and fixed point problems”, J Comput Appl Math., 214, pp 186– 201 [12] Censor Y., Reich S (1996), “Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization”, Optimization, 37, pp 323–339 [13] Darvish V Strong convergence theorem for generalized mixed equilibrium lu an problems and Bregman nonexpansive mapping in Banach spaces Opsearch n va 2016;53(3):584–603 theorem for a system of generalized mixed equilibrium problems and a fi- ie gh tn to [14] Darvish V., Qin X., Tuyen T.M., Yao J.C (2019), “A Strong convergence p nite family of bregman weak relatively nonexpansive mappings in Banach oa nl w spaces”, Journal of Nonlinear and Convex Analysis, 20(9), pp 1853-1873 [15] Goebel K., Kirk W.A (1990), Topics in Metric Fixed Point Theory, Cam- d nf va an lu bridge Stud Adv Math., 28, Cambridge Univ Press, Cambridge, UK [16] Kohsaka F., Takahashi W (2005), “Proximal point algorithms with Bregman lm ul functions in Banach spaces”, J Nonlinear Convex Anal., 6, pp 505–523 z at nh oi [17] Martin-Marquez V., Reich S., Sabach S (2013), “Bregman strongly nonexpansive operators in reflexive Banach spaces”, J Math Anal Appl., 400, 597–614 z @ gm [18] Naraghirad E., Yao J.-C (2013), “Bregman weak relatively nonexpansive 141 m co l mappings in Banach spaces”, Fixed Point Theory and Applications 2013: an Lu [19] Reich S (1996), “A weak convergence theorem for the alternating method n va with Bregman distances, in: Theory and Applications of Nonlinear Opera- ac th si 47 tors of Accretive and Monotone Type”, Marcel Dekker, New York, pp 313– 318 [20] Reich S., Sabach S (2009), “A strong convergence theorem for a proximal type algorithm in reflexive Banach spaces”, J Nonlinear Convex Anal., 10, pp 471–485 [21] Reich S., Sabach S (2010), “Two strong convergence theorems for a proximal method in reflexive Banach spaces”, Numer Funct Anal Optim., 31, pp 22–44 [22] Reich S., Sabach S (2011), “Existence and approximation of fixed points lu an of Bregman firmly nonexpansive mappings in reflexive Banach spaces, in: n va Fixed-Point Algorithms for Inverse Problems in Science and Engineering”, tn to Springer, New York, 49 , pp 301–316 ie gh [23] Resmerita E (2004), “On total convexity, Bregman projections and stability p in Banach spaces”, J Convex Anal., 11, pp 1–16 oa nl w [24] Suantai S., Cho Y.J., Cholamjiak P (2012), “Halperns iteration for Bregman strongly nonexpansive mappings in reflexive Banach spaces”, Comput Math d nf va an lu Appl., 64, pp 489–499 [25] Takahashi W., Toyoda M (2003), “Weak convergence theorems for nonex- z at nh oi pp 417–428 lm ul pansive mappings and monotone mappings”, J Optim Theory Appl., 118, [26] Zalinescu C (2002), Convex Analysis in General Vector Spaces, World Scientific, Publishing Co., Inc., River Edge, NJ z @ gm [27] Zegeye H (2014), “Convergence theorems for Bregman strongly nonexpan- m co l sive mappings in reflexive Banach spaces”, Filomat, 7, pp 1525–1536 an Lu n va ac th si