(Luận văn) một số phương pháp chiếu giải bài toán cân bằng hỗn hợp tổng quát

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC TRẦN XUÂN TRÌU lu an va n MỘT SỐ PHƯƠNG PHÁP CHIẾU GIẢI HỆ BÀI TOÁN CÂN BẰNG HỖN HỢP TỔNG QUÁT p ie gh tn to d oa nl w LUẬN VĂN THẠC SĨ TOÁN HỌC ul nf va an lu Chuyên ngành: Toán ứng dụng Mã số: 46 01 12 oi lm NGƯỜI HƯỚNG DẪN KHOA HỌC z at nh 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 an n va p ie gh tn to Tơi xin bày tỏ lịng biết ơn sâu sắc đến TS Trương Minh Tuyên, người tân tình giúp đỡ tơi suốt q trình học tập, nghiên cứu để hồn thành luận văn Tơi xin chân thành cảm ơn Ban Giám hiệu, thầy giáo, giáo khoa Tốn–Tin, trường Đại học Khoa học, Đại học Thái Ngun tận tình giúp đỡ tơi suốt trình học tập nghiên cứu Trường Tơi xin chân thành cảm ơn đồng chí lãnh đạo phòng Giáo dục Đào tạo, Ban giám hiệu trường THCS Tân Lập huyện Vũ Thư, tỉnh Thái Bình tạo điều kiện giúp đỡ tơi suốt thời gian học 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, bạn bè động viên, khích lệ, tạo điều kiện giúp đỡ tơi q trình học tập nghiên cứu d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ 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 an n va p ie gh tn to Chương Kiến thức chuẩn bị 1.1 Không gian Banach phản xạ 1.2 Khoảng cách Bregman ánh xạ Bregman không giãn mạnh 1.2.1 Đạo hàm Gâteaux đạo hàm Fréchet 1.2.2 Hàm lồi khoảng cách Bregman 1.2.3 Hàm lồi hoàn toàn 1.2.4 Phép chiếu Bregman 1.2.5 Ánh xạ Bregman không giãn mạnh oa nl w d Chương Một số phương pháp chiếu giải hỗn hợp tổng quát 2.1 Bài toán cân hỗn hợp tổng quát 2.2 Phương pháp chiếu lai ghép 2.3 Phương pháp chiếu thu hẹp hệ toán cân 21 21 24 31 38 z at nh Tài liệu tham khảo oi lm ul nf va an lu Kết luận 3 4 12 17 20 39 z m co l gm @ an Lu n va ac th si iv Một số ký hiệu viết tắt lu X không gian Banach X∗ không gian đối ngẫu X R tập hợp số thực an 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 ∩ p ie gh tn to nl w tập điểm cực tiểu hàm F X ∅ tập rỗng d oa argminx∈X F (x) miền ảnh toán tử A toán tử ngược toán tử A oi lm ul nf I va A−1 miền hữu hiệu toán tử (hàm số) A an R(A) lu dom(A) toán tử đồng n→∞ giới hạn dãy số {xn } z at nh lim sup xn 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 ) Fˆ (T ) tập điểm bất động ánh xạ T tập điểm bất động tiệm cận ánh xạ T ∂f vi phân hàm lồi f 5f gradient hàm f M bao đóng tập hợp M n→∞ z lim inf xn m co l gm @ an Lu n va ac th si v 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 oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si Mở đầu lu an n va p ie gh tn to Bài tốn tìm điểm bất động chung họ hữu hạn hay vô hạn ánh xạ không giãn không gian Hilbert hay không gian Banach trường hợp riêng tốn chấp nhận lồi: “Tìm phần tử thuộc giao khác rỗng họ hữu hạn hay vô hạn tập lồi đóng {Ci }i∈I không gian Hilbert H hay không gian Banach X”, với I tập số Bài toán có nhiều ứng dụng quan trọng lĩnh vực khoa học khác như: Xử lí ảnh, khơi phục tín hiệu, vật lý, y học Khi Ci tập nghiệm toán cân (tổng quát), có nhiều phương pháp đề xuất dựa phương pháp lặp cổ điển tiếng Đó phương pháp lặp Kranoselskii, Mann, Ishikawa, Halpern, phương pháp xấp xỉ mềm hay phương pháp sử dụng siêu phẳng cắt Cho đến vấn đề nghiên cứu phương pháp xấp xỉ nghiệm hệ tốn cân khơng gian Hilbert hay Banach chủ đề thu hút quan tâm nhiều người làm tốn ngồi nước Bằng cách sử dụng công cụ khoảng cách Bregman thay cho khoảng cách thơng thường, người ta tìm nhiều phương pháp xấp xỉ nghiệm lớp toán cân Ngoài ra, sử dụng khoảng cách Bregman người ta giải toán cân bằng, tốn liên quan khác khơng gian Banach phản xạ mà khơng địi hỏi thêm tính chất hình học khác khơng gian tính lồi hay trơn Năm 2016, T.M Tuyen [21] nghiên cứu đưa ba thuật toán chiếu cho toán tìm nghiệm hệ tốn cân hỗn hợp tổng quát không gian Banach phản xạ Cụ thể hơn, T.M Tuyen giới thiệu chứng minh hội tụ mạnh ba phương pháp lặp song song dựa phương pháp chiếu lai ghép (hybrid projection method) phương pháp chiếu thu hẹp (shrinking projection method) Mục đích luận văn trình bày lại chi tiết kết T.M Tuyen báo [21] Theo đó, 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 d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si lu phản xạ, đạo hàm Gâteaux, đạo hàm Fréchet, hàm lồi, vi phân hàm lồi, phép biến đổi Young-Fenchel, khoảng cách Bregman, phép chiếu Bregman tốn tử Bregman khơng giãn mạnh Chương Một số phương pháp chiếu giải hệ toán cân hỗn hợp tổng quát Nội dung chương kết T.M Tuyen phương pháp chiếu lai ghép hai phương pháp chiếu thu hẹp cho tốn tìm nghiệm hệ toán cân hỗn hợp tổng quát khơng gian Banach phản xạ Ngồi ra, số hệ định lý cho số toán liên quan giới thiệu an n va p ie gh tn to d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si Chương Kiến thức chuẩn bị lu an n va 1.1 Không gian Banach phản xạ p ie gh tn to Chương bao bồm hai mục Mục 1.1 trình bày số tính chất không gian phản xạ Mục 1.2 giới thiệu khoảng cách Bregman, phép chiếu Bregman tốn tử Bregman khơng giãn mạnh Nội dung chương tham khảo tài liệu [1, 13, 16, 19, 22] d oa nl w Trước hết, mục nhắc lại khái niệm không gian Banach phản xạ nf va an lu Định nghĩa 1.1.1 Một không gian Banach X gọi không gian phản xạ, 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 oi lm ul hx, x∗ i = hx∗ , x∗∗ i với x∗ ∈ X ∗ z at nh 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ệnh đề 1.1.3 [1] Cho X khơng gian Banach Khi đó, khẳng định sau tương đương: l gm @ i) X không gian phản xạ m co ii) Mọi dãy bị chặn X, có dãy hội tụ yếu an Lu Mệnh đề cho ta mối liên hệ tập đóng tập đóng yếu khơng gian tuyến tính định chuẩn n va 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 ac th si 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 với n ≥ Ngoài ra, xn * x, nên hxn , x∗ i → hx, x∗ i Do đó, bất đẳng thức trên, cho n → ∞, ta nhận an n va hx, x∗ i ≤ hx, x∗ i − ε, ie gh tn to điều vơ lý Do đó, điều giả sử sai, hay C tập đóng yếu Mệnh đề chứng minh p Chú ý 1.1.5 Nếu C tập đóng yếu, hiển nhiên C tập đóng Khoảng cách Bregman ánh xạ Bregman không giãn mạnh d oa nl w 1.2 Đạo hàm Gâteaux đạo hàm Fréchet an lu 1.2.1 oi lm ul nf va 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 ∈ int domf y ∈ X, ta ký hiệu f (x, y) đạo hàm phải f x theo hướng y, tức f (x + ty) − f (x) f (x, y) = lim t↓0 t z at nh z Đị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) trùng với (5f )(x), giá trị gradient 5f f x l gm @ m co Định nghĩa 1.2.2 Hàm f gọi khả vi Fréchet x giới hạn tồn tập {y ∈ X : kyk = 1} Hàm f gọi khả vi Fréchet tập C X giới hạn tồn với x ∈ C kyk = an Lu n va Chú ý 1.2.3 i) Nếu hàm f khả vi Gâteaux (Fréchet) X, tốn tử gradient 5f phiếm hàm tuyến tính liên tục X ac th si ii) Ta biết f khả vi Gâteaux (khả vi Fréchet) int domf , f liên tục đạo hàm Gâteaux 5f liên tục từ tôpô mạnh vào tôpô yếu* int domf (xem [6]) iii) Nếu f khả vi Fréchet X, tồn số M cho k f (x)k ≤ M , với x ∈ X Dưới tính chất đơn giản hàm khả vi Fréchet Mệnh đề 1.2.4 (xem [2], Định lý 1.8) Nếu f : X −→ R khả vi Fréchet đều, f liên tục X lu Chứng minh Lấy u, v ∈ X Xét hàm số h(t) = f [u + t(v − u)] với t ∈ [0, 1] Khi đó, ta có an va n h(t + τ ) − h(t) f ([u + (t + τ )(v − u)]) − f [u + t(v − u)] = τ τ tn to gh Vì f khả vi Fréchet X, nên cho τ → 0, ta nhận p ie h0 (t) = 5f (u + t(v − u))(v − u) nl w Theo định lý Lagrange, tồn θ ∈ (0, 1) cho d oa h(1) − h(0) = h0 (θ) an lu Suy = | f (u + θ(v − u))(v − u)| oi lm ul nf va |f (u) − f (v)| = |h(1) − h(0)| ≤ k f (u + θ(v − u))kku − vk z at nh Từ Chú ý 1.2.3 iii), suy tồn M cho k f (x)k ≤ M , với x ∈ X Do đó, ta nhận |f (u) − f (v)| ≤ M ku − vk z 1.2.2 Hàm lồi khoảng cách Bregman m co l gm @ Vậy f liên tục X Định nghĩa 1.2.5 Cho D ⊂ X, f : D → R ∪ {±∞} an Lu n va i) Hàm f gọi thường dom f 6= ∅ f (x) > −∞(∀x ∈ D), dom f = {x ∈ D : f (x) < ∞} ac th si 27 có nghĩa lim (Df (p, xn ) − Df (p, ResfΘi ,ϕi ,Ψi xn )) = 0, (2.16) n→∞ với p ∈ F với i ∈ {1, 2, , N } Do ResfΘi ,ϕi ,Ψi toán tử BSNE F (ResfΘi ,ϕi ,Ψi ) = Fˆ (ResfΘi ,ϕi ,Ψi ) nên ta có lim Df (ResfΘi ,ϕi ,Ψi xn , xn ) = 0, (2.17) n→∞ lu với i ∈ {1, 2, , N } Vì vậy, {xnk } dãy {xn } hội tụ yếu tới v v ∈ Fˆ (ResfΘi ,ϕi ,Ψi ) = F (ResfΘi ,ϕi ,Ψi ) với i ∈ {1, 2, , N } Do v ∈ F , có nghĩa là, điểm tụ yếu {xn } thuộc F Bước Dãy {xn } hội tụ mạnh tới projfF (x0 ) n → +∞ Đặt x† = projfF (x0 ), xn+1 = projfCn ∩Qn (x0 ) F ⊂ Cn ∩ Qn nên ta có an n va tn to Df (xn+1 , x0 ) ≤ Df (projfCn ∩Qn (x0 ), x0 ) = Df (x† , x0 ) p ie gh Do theo Mệnh đề 1.2.28 ta nhận {xn } hội tụ mạnh tới x† n → +∞ Ta suy điều phải chứng minh d oa nl w Chú ý 2.2.2 Chúng ta chứng minh Bước Định lý 2.2.1 cách khác mà không cần sử dụng kỹ thuật toán tử BSNE Thật vậy, lập luận tương tự chứng minh trên, ta thu đẳng thức (2.14) (2.15) Từ định nghĩa yni , ta có an lu ul nf va Θi (yni , y) + hΨi xn , y − yni i + h5f (yni ) − 5f (xn ), y − yni i + ϕi (y) − ϕi (yni ) ≥ 0, oi lm với y ∈ Ci i = 1, 2, , N Do đó, từ điều kiện C2) suy z at nh hΨi xn , y−yni i+h5f (yni )−5f (xn ), y−yni i+ϕi (y)−ϕi (yni ) ≥ −Θi (yni , y) ≥ Θi (y, yni ) z Giả sử {xnk } dãy {xn } hội tụ yếu u Khi từ (2.14), {yni } hội tụ yếu tới u với i = 1, 2, , N Thay n nk bất đẳng thức ta thu gm @ m co l hΨi xnk , y − yni k i + ϕi (y) − ϕi (yni k ) ≥ h5f (xnk ) − 5f (yni k ), y − yni k i + Θi (y, yni k ), (2.18) với y ∈ Ci i = 1, 2, , N Vì {yni k } bị chặn, với (2.15), điều kiện C4), tính liên tục Ψi tính nửa liên tục ϕi cho k → +∞ ta thu an Lu n va hΨi u, y − ui + ϕi (y) − ϕi (u) ≥ Θi (y, u), (2.19) ac th si 28 với y ∈ Ci với i = 1, 2, , N Với t ∈ (0, 1] y ∈ Ci ta đặt yt = ty + (1 − t)u Do u, y ∈ Ci Ci tập lồi X, yt ∈ Ci với t ∈ (0, 1] Do (2.19), thay y by yt ta thu hΨi u, yt − ui + ϕi (yt ) − ϕi (u) ≥ Θi (yt , u), (2.20) với i = 1, 2, , N Từ tính lồi ϕi ta có thΨi u, y − ui + t(ϕi (y) − ϕi (u)) ≥ Θi (yt , u), (2.21) lu với i = 1, 2, , N Từ điều kiện C1) C4) có an va n = Θi (yt , yt ) ≤ tΘi (yt , y) + (1 − t)Θi (yt , u) ≤ tΘi (yt , y), tn to (2.22) p ie gh với i = 1, 2, , N Từ bất đẳng thức (2.21) (2.22) ta nhận nl w Θi (yt , y) + (1 − t)[hΨi u, y − ui + ϕi (y) − ϕi (u)] ≥ 0, d oa với t ∈ (0, 1] i = 1, 2, , N Bằng cách cho t → 0+ sử dụng điều kiện C3), ta nhận an lu Θi (u, y) + hΨi u, y − ui + ϕi (y) − ϕi (u) ≥ 0, va oi lm ul nf với i = 1, 2, , N Do u ∈ F = ∩N i=1 GM EP (Θi , ϕi , Ψi ) z at nh Chú ý 2.2.3 Nếu X không gian Banach phản xạ, trơn, lồi chặt f (x) = kxk2 thuật toán (2.7) trở thành    yni = ResfΘi ,ϕi ,Ψi xn , i = 1, 2, , N,     i in   in ∈ argmaxi=1,2, ,N {φ(yn , xn )}, y n = yn , (2.23) Cn = {z ∈ X : φ(z, y n ) ≤ φ(z, xn )},     Qn = {z ∈ X : hJx0 − Jxn , z − xn i ≤ 0},     x =Π (x ), n ≥ 0, z Cn ∩Qn m co l gm @ n+1 an Lu ∗ n va J ánh xạ đối ngẫu chuẩn tắc từ X vào 2X , φ(x, y) = kxk2 −2hx, Jyi+ kyk2 với x, y ∈ E dãy {xn } hội tụ mạnh tới ΠF (x0 ) với ΠF phép chiếu tổng quát từ X vào F ac th si 29 Nếu Định lý 2.2.1, Ψi = với i = 1, 2, , N tốn tử ResfΘi ,ϕi ,Ψi ký hiệu ResfΘi ,ϕi ta có hệ sau cho hệ toán cân hỗn hợp lu Hệ 2.2.4 Cho Ci , i = 1, 2, , N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho Θi : Ci × Ci −→ R thỏa mãn điều kiện C1)-C4) ϕi : Ci −→ R hàm lồi, nửa liên tục từ Ci vào R, với i = 1, 2, , N Giả sử F = ∩N i=1 M EP (Θi , ϕi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định    yni = ResfΘi ,ϕi xn , i = 1, 2, , N,     i in   in ∈ argmaxi=1,2, ,N {Df (yn , xn )}, y n = yn , an n va (2.24) Cn = {z ∈ X : Df (z, y n ) ≤ Df (z, xn )},     Qn = {z ∈ X : h5f (x0 ) − 5f (xn ), z − xn i ≤ 0},     f x n+1 = projCn ∩Qn (x0 ), ie gh tn to p hội tụ mạnh đến projfF (x0 ) n → +∞ w d oa nl Nếu Định lý 2.2.1, ϕi = với i = 1, 2, , N tốn tử ResfΘi ,ϕi ,Ψi xác định ResfΘi ,Ψi có hệ sau cho hệ toán cân tổng quát an lu oi lm ul nf va Hệ 2.2.5 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho Θi : Ci × Ci −→ R thỏa mãn điều kiện C1)-C4) Ψi : Ci −→ X ∗ ánh xạ đơn điệu, liên tục với i = 1, 2, , N Giả sử F = ∩N i=1 GEP (Θi , ϕi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định    yni = ResfΘi ,Ψi xn , i = 1, 2, , N,     i in   in ∈ argmaxi=1,2, ,N {Df (yn , xn )}, y n = yn , z at nh z gm @ (2.25) m co l Cn = {z ∈ X : Df (z, y n ) ≤ Df (z, xn )},     Qn = {z ∈ X : h5f (x0 ) − 5f (xn ), z − xn i ≤ 0},     f x n+1 = projCn ∩Qn (x0 ), an Lu n va hội tụ mạnh đến projfF (x0 ) n → +∞ ac th si 30 Nếu Định lý 2.2.1, ϕi = Ψi = với i = 1, 2, , N tốn tử ResfΘi ,ϕi ,Ψi xác định ResfΘi có hệ sau cho hệ toán cân lu Hệ 2.2.6 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho Θi : Ci × Ci −→ R thỏa mãn điều kiện C1)-C4) với i = 1, 2, , N Giả sử F = ∩N i=1 GEP (Θi , ϕi ) 6= ∅ N Khi với x0 ∈ X, dãy F = ∩i=1 EP (Θi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định bởi:    yni = ResfΘi xn , i = 1, 2, , N,     i in   in ∈ argmaxi=1,2, ,N {Df (yn , xn )}, y n = yn , an n va (2.26) p ie gh tn to Cn = {z ∈ X : Df (z, y n ) ≤ Df (z, xn )},     Qn = {z ∈ X : h5f (x0 ) − 5f (xn ), z − xn i ≤ 0},     f x n+1 = projCn ∩Qn (x0 ), nl w hội tụ mạnh đến projfF (x0 ) n → +∞ d oa Nếu Định lý 2.2.1, Θi = với i = 1, 2, , N tốn tử ResfΘi ,ϕi ,Ψi xác định Resfϕi ,Ψi có hệ sau hệ bất đẳng thức biến phân hỗn hợp va an lu oi lm ul nf Hệ 2.2.7 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X ϕi : Ci −→ R hàm lồi, nửa liên tục từ Ci vào R Ψi : Ci −→ X ∗ ánh xạ đơn điệu, liên tục với i = 1, 2, , N Giả sử F = ∩N i=1 M V I(Ci , ϕi , Ψi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định bởi:    yni = Resfϕi ,Ψi xn , i = 1, 2, , N,     i in   in ∈ argmaxi=1,2, ,N {Df (yn , xn )}, y n = yn , (2.27) Cn = {z ∈ X : Df (z, y n ) ≤ Df (z, xn )},     Qn = {z ∈ X : h5f (x0 ) − 5f (xn ), z − xn i ≤ 0},     x = projf (x ), z at nh z m co l gm @ Cn ∩Qn n va hội tụ mạnh đến projfF (x0 ) n → +∞ an Lu n+1 ac th si 31 2.3 Phương pháp chiếu thu hẹp Trong mục luận văn đề cập đến hai thuật toán dựa phương pháp chiếu thu hẹp để giải hệ toán cân hỗn hợp tổng quát Các kết mục tham khảo từ tài liệu [21] Trước hết ta có định lý lu Định lý 2.3.1 Với x0 ∈ X, dãy {xn } xác định    C0 = X,    f  i   yn = ResΘi ,ϕi ,Ψi xn , i = 1, 2, , N, an n va in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Cn+1 = {z ∈ Cn : Df (z, y n ) ≤ Df (z, xn )},     f x n+1 = projCn+1 (x0 ), (2.28) tn to ie gh hội tụ mạnh projfF (x0 ) n → +∞ p Chứng minh Bước Dãy {xn } hoàn toàn xác định Từ Bổ đề 4.14 [12], ta biết dom ResΘi ,ϕi ,Ψi = X với i = 1, 2, , N Do đó, yni hoàn toàn xác định với xn Rõ ràng C0 = X tập lồi, đóng Giả sử Cn tập lồi, đóng X Từ định nghĩa Cn+1 ta có d oa nl w an lu nf va Cn+1 = Cn ∩ {z ∈ X : h5f (xn ) − 5f (y n ), zi ≤ f (y n ) − f (xn ) oi lm ul + h5f (xn ), xn i − h5f (y n ), y n i} z at nh Suy Cn+1 tập lồi, đóng X Do đó, Cn tập lồi, đóng X với n ≥ Rõ ràng ta có F ⊂ C0 = X Giả sử F ⊂ Cn với n ≥ Lấy p ∈ F với n ∈ N, ta có z gm @ Df (p, y n ) = Df (p, ResfΘin ,ϕin ,Ψin xn ) ≤ Df (p, xn ), m co l điều suy p ∈ Cn+1 Vì vậy, theo quy nạp ta có p ∈ Cn với n ∈ N Do đó, F ⊂ Cn với n ∈ N Từ ta thu Cn tập lồi, đóng khác rỗng X Vì xn = projfCn (x0 ) hoàn toàn xác định Bước Dãy {xn } bị chăn Với p ∈ F , từ Mệnh đề 1.2.27 iii), ta có an Lu n va Df (xn , x0 ) = Df (projfCn (x0 ), x0 ) ac th si 32 ≤ Df (p, x0 ) − Df (p, projfCn (x0 )) ≤ Df (p, x0 ), (2.29) điều suy dãy {Df (xn , x0 )} bị chặn Vì vậy, từ Mệnh đề 1.2.20, suy dãy {xn } bị chặn Bước Mọi điểm tụ yếu dãy {xn } thuộc F Vì Cn+1 ⊂ Cn , ta suy từ Mệnh đề 1.2.27 iii) Df (xn+1 , projfCn (x0 )) + Df (projfCn (x0 ), x0 ) ≤ Df (xn+1 , x0 ), lu an Df (xn+1 , xn ) + Df (xn , x0 ) ≤ Df (xn+1 , x0 ) (2.30) n va tn to Vì vậy, {Df (xn , x0 )} dãy tăng, kết hợp với (2.29), ta thấy giới hạn limn→+∞ Df (xn , x0 ) tồn hữu hạn Do vậy, từ (2.30) ta có gh lim Df (xn+1 , xn ) = (2.31) p ie n→+∞ d oa nl w Bằng cách sử dụng lập luận tương tự chứng minh Định lý 2.2.1, ta thu kết luận Bước Bước Dãy {xn } hội tụ mạnh đến projfF (x0 ), n → +∞ Đặt x† = projfF (x0 ), xn = projfCn (x0 ) F ⊂ Cn nên ta có Df (xn , x0 ) ≤ Df (projfCn (x0 ), x0 ) = Df (x† , x0 ) Do vậy, theo Mệnh đề 1.2.28, ta thu {xn } hội tụ mạnh đến x† n → +∞ Ta suy điều phải chứng minh ul nf va an lu oi lm Chú ý 2.3.2 Nếu X không gian Banach phản xạ, trơn, lồi chặt f (x) = kxk2 thuật toán (2.28) trở thành    C0 = X,    f  i   yn = ResΘi ,ϕi ,Ψi xn , i = 1, 2, , N, z at nh z @ in ∈ argmaxi=1,2, ,N {φ(yni , xn )}, y n = ynin ,     Cn+1 = {z ∈ Cn : φ(z, y n ) ≤ φ(z, xn )},     x n+1 = ΠCn+1 (x0 ) m co l gm (2.32) an Lu n va Tương tự Mục 2.2, có kết sau: Nếu Định lý 2.3.1, Ψi = với i = 1, 2, , N ta có hệ sau cho hệ tốn cân hỗn hợp ac th si 33 lu Hệ 2.3.3 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho Θi : Ci × Ci −→ R thỏa mãn điều kiện C1)-C4) ϕi : Ci −→ R hàm lồi, nửa liên tục từ Ci vào R, với i = 1, 2, , N Giả sử F = ∩N i=1 M EP (Θi , ϕi ) 6= ∅ Khi với x0 ∈ X, dãy {xn } xác định    C0 = X,    f  i   yn = ResΘi ,ϕi xn , i = 1, 2, , N, (2.33) in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Cn+1 = {z ∈ Cn : Df (z, y n ) ≤ Df (z, xn )},     x = projf (x ), an va n n+1 Cn+1 gh tn to hội tụ mạnh đến projfF (x0 ) n → +∞ p ie Nếu Định lý 2.3.1, ϕi = với i = 1, 2, , N , ta có hệ cho hệ toán cân tổng quát d oa nl w Hệ 2.3.4 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho Θi : Ci × Ci −→ R thỏa mãn điều kiện C1)-C4) gọi Ψi : Ci −→ X ∗ ánh xạ đơn điệu, liên tục với i = 1, 2, , N Giả sử F = ∩N i=1 GEP (Θi , Ψi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định    C0 = X,    f  i   yn = ResΘi ,Ψi xn , i = 1, 2, , N, oi lm ul nf va an lu z at nh in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Cn+1 = {z ∈ Cn : Df (z, y n ) ≤ Df (z, xn )},     f x n+1 = projCn+1 (x0 ), (2.34) z m co l gm @ hội tụ mạnh đến projfF (x0 ) n → +∞ an Lu Nếu Định lý 2.3.1, ϕi = Ψi = với i = 1, 2, , N , ta có hệ sau cho hệ tốn cân n va Hệ 2.3.5 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet ac th si 34 lồi hoàn toàn tập bị chặn X Cho Θi : Ci × Ci −→ R thỏa mãn điều kiện C1)-C4) với i = 1, 2, , N Giả sử F = ∩N i=1 EP (Θi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định    C0 = X,    f  i   yn = ResΘi xn , i = 1, 2, , N, (2.35) in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Cn+1 = {z ∈ Cn : Df (z, y n ) ≤ Df (z, xn )},     f x n+1 = projCn+1 (x0 ), lu hội tụ mạnh đến projfF (x0 ) n → +∞ an n va Nếu Định lý 2.2.1, Θi = với i = 1, 2, , N ta có hệ cho hệ bất đẳng thức biến phân hỗn hợp p ie gh tn to Hệ 2.3.6 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho ϕi : Ci −→ R hàm lồi, nửa liên tục từ Ci vào R Ψi : Ci −→ X ∗ hàm đơn điệu, liên tục, với i = 1, 2, , N Giả sử F = ∩N i=1 M V I(Ci , ϕi , Ψi ) 6= ∅ Khi đó, với x0 ∈ X, dãy {xn } xác định    C0 = X,    f  i   yn = Resϕi ,Ψi xn , i = 1, 2, , N, d oa nl w va an lu in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Cn+1 = {z ∈ Cn : Df (z, y n ) ≤ Df (z, xn )},     f x n+1 = projCn+1 (x0 ), oi lm ul nf (2.36) z at nh hội tụ mạnh tới projfF (x0 ) n → +∞ z Từ đặc trưng toán tử giải ResfΘi ,ϕi ,Ψi , ta có định lý phương pháp chiếu thu hẹp khác giải toán cân hỗn hợp @ m co l gm Định lý 2.3.7 Với x0 ∈ X, dãy {xn } xác định    Q0 = X,    f  i   yn = ResΘi ,ϕi ,Ψi xn , i = 1, 2, , N, (2.37) an Lu in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Qn+1 = {z ∈ Qn : h5f (xn ) − 5f (y n ), z − y n i ≤ 0},     f x n+1 = projQn+1 (x0 ), n va ac th si 35 hội tụ mạnh projfF (x0 ) n → +∞ Chứng minh Bước Dãy {xn } hoàn toàn xác định Từ Bổ đề 4.14 [12], ta biết dom ResΘi ,ϕi = X với i = 1, 2, , N Do đó, yni hồn toàn xác định với xn Rõ ràng Qn tập lồi đóng Ta F ⊂ Qn với n ≥ Thật vậy, lấy p ∈ F ta có Θin (p, y n ) + ϕin (y n ) ≥ ϕin (p) (2.38) lu Từ định nghĩa y n ta có an n va Θin (y n , p) + ϕin (p) − ϕin (y n ) ≥ h5f (xn ) − 5f (y n ), p − y n i (2.39) tn to Từ hai bất đẳng thức ta thu ie gh h5f (xn ) − 5f (y n ), p − y n i ≤ Θin (p, y n ) + Θin (y n , p) p Từ điều kiện C2), ta có oa nl w h5f (xn ) − 5f (y n ), p − y n i ≤ 0, d ta suy p ∈ Qn+1 , hay F ⊂ Qn với n ≥ Vì vậy, dãy {xn } hoàn toàn xác định Step Dãy {xn } bị chặn Với p ∈ F , từ Bổ đề 1.2.27 iii), ta có ul nf va an lu oi lm Df (xn , x0 ) = Df (projfQn (x0 ), x0 ) z at nh ≤ Df (p, x0 ) − Df (p, projfQn (x0 )) ≤ Df (p, x0 ), (2.40) z điều suy dãy {Df (xn , x0 )} bị chặn Theo Mệnh đề 1.2.20 dãy {xn } bị chặn Bước Mọi điểm tụ yếu dãy {xn } thuộc F Vì Qn+1 ⊂ Qn nên suy từ Mệnh đề 1.2.27 iii) m co l gm @ an Lu Df (xn+1 , projfQn (x0 )) + Df (projfQn (x0 ), x0 ) ≤ Df (xn+1 , x0 ), (2.41) n va Df (xn+1 , xn ) + Df (xn , x0 ) ≤ Df (xn+1 , x0 ) ac th si 36 Vì vậy, {Df (xn , x0 )} dãy tăng, kết hợp với (2.40), ta thấy giới hạn limn→+∞ Df (xn , x0 ) tồn hữu hạn Do vậy, từ (2.41) ta có lim Df (xn+1 , xn ) = (2.42) n→+∞ Từ kết luận xn+1 ∈ Qn+1 theo đồng thức ba điểm suy ≤ Df (xn+1 , y n ) + Df (y n , xn ) ≤ Df (xn+1 , y n ) + Df (y n , xn ) + h5f (xn ) − 5f (y n ), y n − xn+1 i (2.43) = Df (xn+1 , xn ) lu an Từ (2.42) ta thu đẳng thức sau va n lim (Df (xn+1 , y n ) + Df (y n , xn )) = 0, tn to n→+∞ p ie gh limn→+∞ Df (xn+1 , y n ) = Bằng cách sử dụng lập luận tương tự chứng minh Định lý 2.2.1, ta thu kết luận Bước Bước Đặt x† = projfF (x0 ), xn = projfQn (x0 ) F ⊂ Qn nên ta có Df (xn , x0 ) ≤ Df (x† , x0 ) Do đó, từ Mệnh đề 1.2.28, ta thấy {xn } hội tụ mạnh x† n → +∞ Ta suy điều phải chứng minh d oa nl w an lu oi lm ul nf va Chú ý 2.3.8 Nếu X không gian Banach phản xạ, trơn, lồi chặt f (x) = kxk2 thuật toán (2.28) trở thành    Q0 = X,    f  i   yn = ResΘi ,ϕi ,Ψi xn , i = 1, 2, , N, z at nh in ∈ argmaxi=1,2, ,N {φ(yni , xn )}, y n = ynin ,     Qn+1 = {z ∈ Qn : hJxn − Jy n , z − y n i ≤ 0},     x n+1 = ΠQn+1 (x0 ) (2.44) z l gm @ m co Nếu Định lý 2.3.7, ϕi = với i = 1, 2, , N ta có hệ sau cho hệ toán cân an Lu n va Hệ 2.3.9 Cho Ci , i = 1, 2, , N N tập lồi, đóng khác rỗng X Cho f : X −→ R hàm Legendre, bức, bị chặn, khả vi Fréchet lồi hoàn toàn tập bị chặn X Cho Θi : C × C −→ R thỏa mãn ac th si 37 điều kiện C1)-C4) với i = 1, 2, , N Giả sử F = ∩N i=1 EP (Θi ) 6= ∅ Khi với x0 ∈ C, dãy {xn } xác định    Q0 = X,    f  i   yn = ResΘi xn , i = 1, 2, , N, (2.45) in ∈ argmaxi=1,2, ,N {Df (yni , xn )}, y n = ynin ,     Qn+1 = {z ∈ Qn : h5f (xn ) − 5f (y n ), z − y n i ≤ 0},     x = projf (x ), n+1 Qn+1 lu hội tụ mạnh đến projfF (x0 ) n → +∞ an n va p ie gh tn to d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si 38 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 Banach phản xạ, khoảng cách Bregman, phép chiếu Bregman, hàm lồi hồn tồn; lu an • Tốn tử Bregman không giãn mạnh số kết tốn tìm điểm bất động cho lớp ánh xạ này; n va p ie gh tn to • Các kết nghiên cứu T.M Tuyen tài liệu [21] phương pháp chiếu lai ghép phương pháp chiếu thu hẹp giải hệ toán cân hỗn hợp tổng quát không gian Banach phản xạ d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si 39 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 lu an n va gh tn to [3] Alber Y.I (1996), “Metric and generalized projection operators in Banach spaces: properties and applications, In: Kartsatos, A.G (ed.) Theory and Applications of Nonlinear Operator of Accretive and Monotone Type”, Marcel Dekker, New York, pp 15–50 p ie [4] Bauschke H.H., Borwein J.M., Combettes P.L (2001), “Essential smoothness, essential strict convexity, and Legendre functions in Banach spaces”, Commun Contemp Math., 3, pp 615–647 nl w d oa [5] Blum E., Oettli W (1994), “From optimization and variational inequalities to equilibrium problems”, Math Student, 63, pp 123–145 lu ul nf va an [6] Bonnans J.F., Shapiro A (2000), Perturbation Analysis of Optimization Problem, Springer, New York oi lm [7] Browder F.E (1996), “Existence and approximation of solutions of nonlinear variational inequalities”, Proc Natl Acad Sci USA., 56, pp 1080–1086 z at nh z [8] Butnariu D., Iusem A.N (2000), Totally convex functions for fixed points computation and infinite dimensional optimization, Kluwer Academic Publishers, Dordrecht @ m co l gm [9] Butnariu D., Resmerita E (2006), “Bregman distances, totally convex functions and a method for solving operator equations in Banach spaces”, Abstr Appl Anal., 2006, pp 1–39 an Lu [10] 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 n va ac th si 40 [11] Censor Y., Reich S (1996), “Iterations of paracontractions and firmly nonexpansive operators with applications to feasibility and optimization”, Optimization, 37, pp 323–339 [12] Darvish V Strong convergence theorem for generalized mixed equilibrium problems and Bregman nonexpansive mapping in Banach spaces Opsearch 2016;53(3):584–603 [13] Goebel K., Kirk W.A (1990), Topics in Metric Fixed Point Theory, Cambridge Stud Adv Math., 28, Cambridge Univ Press, Cambridge, UK lu an n va tn to [14] Reich S (1996), “A weak convergence theorem for the alternating method with Bregman distances, in: Theory and Applications of Nonlinear Operators of Accretive and Monotone Type”, Marcel Dekker, New York, pp 313– 318 p ie gh [15] 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 w d oa nl [16] 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 an lu oi lm ul nf va [17] Reich S., Sabach S (2011), “Existence and approximation of fixed points of Bregman firmly nonexpansive mappings in reflexive Banach spaces, in: Fixed-Point Algorithms for Inverse Problems in Science and Engineering”, Springer, New York, 49 , pp 301–316 z at nh [18] Resmerita E (2004), “On total convexity, Bregman projections and stability in Banach spaces”, J Convex Anal., 11, pp 1–16 z m co l gm @ [19] Suantai S., Cho Y.J., Cholamjiak P (2012), “Halperns iteration for Bregman strongly nonexpansive mappings in reflexive Banach spaces”, Comput Math Appl., 64, pp 489–499 an Lu [20] Takahashi W., Toyoda M (2003), “Weak convergence theorems for nonexpansive mappings and monotone mappings”, J Optim Theory Appl., 118, pp 417–428 n va ac th si 41 [21] Tuyen T.M (2017), “Parallel iterative methods for solving systems of generalized mixed equilibrium problems in reflexive Banach spaces”, Optimization, 66 (4), pp 623–639 [22] Zegeye H (2014), “Convergence theorems for Bregman strongly nonexpansive mappings in reflexive Banach spaces”, Filomat, 7, pp 1525–1536 lu an n va p ie gh tn to d oa nl w oi lm ul nf va an lu z at nh z m co l gm @ an Lu n va ac th si