Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 51 trang
THÔNG TIN TÀI LIỆU
Nội dung
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC LÂM THỊ THOA PHƯƠNG PHÁP CHIẾU GIẢI BÀI TOÁN BẤT ĐẲNG THỨC BIẾN PHÂN TRÊN TẬP NGHIỆM CỦA BÀI TOÁN CÂN BẰNG LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên - 2015 download by : skknchat@gmail.com ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC LÂM THỊ THOA PHƯƠNG PHÁP CHIẾU GIẢI BÀI TOÁN BẤT ĐẲNG THỨC BIẾN PHÂN TRÊN TẬP NGHIỆM CỦA BÀI TỐN CÂN BẰNG Chun ngành: Tốn ứng dụng Mã số: 60 46 01 12 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS TS PHẠM NGỌC ANH Thái Nguyên - 2015 download by : skknchat@gmail.com i Mục lục Mục lục ii Lời cảm ơn iii Danh sách ký hiệu iv Mở đầu 1 Kiến thức chuẩn bị 1.1 Tập lồi, hàm lồi, nón pháp tuyến phép chiếu 1.1.1 Tập lồi hàm lồi 1.1.2 Nón pháp tuyến 1.1.3 Phép chiếu 1.2 Hàm đơn điệu 10 1.3 Bài toán bất đẳng thức biến phân 15 1.3.1 Phát biểu toán 15 1.3.2 Sự tồn nghiệm toán bất đẳng thức biến phân 16 1.4 1.5 Bài toán cân 17 1.4.1 Phát biểu toán 17 1.4.2 Sự tồn nghiệm toán cân 17 Kết luận 19 download by : skknchat@gmail.com ii Phương pháp chiếu giải toán bất đẳng thức biến phân tập nghiệm toán cân 20 2.1 Phương pháp chiếu giải toán bất đẳng thức biến phân 21 2.2 Phương pháp chiếu giải toán cân 26 2.3 Ứng dụng giải toán bất đẳng thức biến phân tập 2.4 nghiệm toán cân 32 Kết luận 41 Kết luận 42 Tài liệu tham khảo 43 download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang iii Lời cảm ơn Luận văn hoàn thiện Đại học Khoa học - Đại học Thái Nguyên Tác giả xin bày tỏ lòng biết ơn sâu sắc tới PGS.TS Phạm Ngọc Anh (Học viện Bưu Viễn thơng) trực tiếp hướng dẫn tận tình động viên tác giả suốt thời gian nghiên cứu viết luận văn Trong trình học tập nghiên cứu, thông qua giảng, buổi hội thảo seninar, tác giả nhận quan tâm giúp đỡ ý kiến đóng góp quý báu thầy cô Trường Đại học Khoa học Thái Nguyên, Học viện Bưu Viễn thơng, bạn học viên lớp cao học toán K7Y Tác giả xin chân thành cảm ơn! Xin gửi tới lời cảm ơn sâu sắc tới Ban Lãnh đạo Trường Đại học Hải Dương, đồng nghiệp khoa Toán Kinh tế - Kỹ thuật bên cạnh động viên, tạo điều kiện thuận lợi cho tác giả học tập nghiên cứu Tác giả xin bày tỏ lòng biết ơn sâu sắc tới gia đình người thân, người ln khuyến khích động viên tác giả suốt trình nghiên cứu làm luận văn Mặc dù có nhiều cố gắng luận văn khó tránh khỏi thiếu sót hạn chế, tác giả mong nhận ý kiến đóng góp q báu thầy bạn đọc để luận văn hoàn thiện Lâm Thị Thoa Thái Nguyên, 2015 Học viên Cao học Toán K7D, Trường ĐH Khoa học - ĐH Thái Nguyên luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang iv Danh sách ký hiệu H không gian Hilbert thực kxk chuẩn véc tơ x hx, yi tích vơ hướng hai véc tơ x y R ∪ {±∞} = R tập số thực mở rộng B tích Đề - Các hai tập hợp A B A∩B tập hợp A giao với tập hợp B A⊂B tập A thực tập B A⊆B tập A tập B I ánh xạ đồng domf miền hữu dụng f epif tập đồ thị hàm f argmin{f (x) : x ∈ C} tập điểm cực tiểu hàm f ∂f (x) vi phân hàm lồi f x δC hàm C NC (x) nón pháp tuyến điểm x tập C dC (x) hàm khoảng cách từ x đến tập C xn → x dãy {xn } hội tụ mạnh tới x xn * x dãy {xn } hội tụ yếu tới x luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang v lim sup giới hạn lim inf giới hạn P rC (x) hình chiếu x lên C EP (f, C) toán cân Sol(f, C) tập nghiệm toán cân V I(F, C) toán bất dẳng thức biến phân Sol(F, C) tập nghiệm toán bất dẳng thức biến phân F ix toán điểm bất động F ix(S) tập điểm bất động ánh xạ S luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang Mở đầu Bài toán bất đẳng thức biến phân cổ điển tốn tìm điểm x∗ ∈ C cho hF x∗ , x − x∗ i ≥ ∀x ∈ C, đó, C tập con, lồi, đóng, khác rỗng khơng gian Hilbert thực H ánh xạ F : H → H, thường goi ánh xạ giá Bài toán này, kí hiệu V I(F, C), tốn lí thuyết tối ưu Bởi vậy, nhiều toán tối ưu khác cố thể chuyển toán V I(F, C) Bài toán nghiên cứu mở rộng thập kỉ gần đây, ví dụ hai số sách viết Facchinei Pang (xem [8]) báo nghiên cứu khác Bài toán bất đẳng thức biến phân phát triển trở thành công cụ hữu hiệu để nghiên cứu giải toán cân nhiều lĩnh vực khác kinh tế tài chính, kỹ thuật, vận tải, lí thuyết trị chơi (xem [7]) Gần đây, toán bất đẳng thức biến phân với ràng buộc tập nghiệm toán cân đề tài nhiều người quan tâm nghiên cứu vai trị quan trọng lí thuyết tốn học ứng dụng thực tế Một hướng nghiên cứu quan trọng toán việc xây dựng phương pháp giải Có nhiều phương pháp giải khác như: phương pháp dựa kỹ thuật hàm chắn, phương pháp dựa cách tiếp cận điểm bất động Song góc độ ứng dụng, phương pháp chiếu coi phương pháp đơn giản, hữu hiệu lý thuyết tối ưu nói luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang chung việc giải toán bất đẳng thức biến phân toán cân nói riệng Hơn nữa, phương pháp chiếu giải toán bất đẳng thức biến phân tập nghiệm toán cân đơn giản hữu hiệu với nhiều thuật tốn có Vì vậy, đề tài luận văn "Phương pháp chiếu giải toán bất đẳng thức biến phân tập nghiệm tốn cân bằng" trình bày phương pháp chiếu gần cần thiết có ý nghĩa khoa học thuật toán ứng dụng Hiện có nhiều phương pháp giải tốn bất đẳng thức biến phân tập nghiệm toán cân phương pháp đạo hàm tăng cường mở rộng cho toán bất đẳng thức biến phân hai cấp, phương pháp điểm gần kề xấp xỉ phương pháp khác (xem [6]) Trong luận văn này, trình bày phương pháp hiệu đề xuất nhóm tác giả Hiên - Vương - Strodiot báo "On extragradient - viscosity methods for solving equilibrium and fixed point problems in a Hilbert space", Phan Tu Vuong, Jean Jacques Strodiot and Van Hien Nguyen, Vol 64, No 2, pp 429-451, Optimization, 2015 Luận văn gồm hai chương: Chương 1: Kiến thức chuẩn bị Nội dung gồm kiến thức tập lồi, hàm lồi, nón pháp tuyến phép chiếu không gian Hilbert thực Nhắc lại số định nghĩa mở rộng tính đơn điệu ánh xạ F song hàm f Phát biểu tốn trình bày số kết tồn tại, tính nghiệm tốn bất đẳng thức biến phân, toán cân Chương 2: Ứng dụng giải toán bất đẳng thức biến phân tập nghiệm toán cân Nội dung chương trình bày phương pháp chiếu hai lần để giải toán bất đẳng thức biến phân toán cân không gian Hilbert luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang thực Đặc biệt ứng dụng phương pháp chiếu để giải toán bất đẳng thức biến phân tập nghiệm toán cân Thái Nguyên, ngày 20 tháng 11 năm 2015 Lâm Thị Thoa Email: uhdthoalam.edu@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 30 Ta có λk {f (xk , y) − f (xk , y k )} ≥ hy k − xk , y k − yi ∀y ∈ C (2.8) Thay y = xk+1 ∈ C, ta nhận λk {f (xk , xk+1 ) − f (xk , y k )} ≥ hy k − xk , y k − xk+1 i (2.9) Từ (2.7), (2.8) 2hxk+1 − xk , x∗ − xk+1 i = kxk − x∗ k2 − kxk+1 − xk k2 − kxk+1 − x∗ k2 suy kxk − x∗ k2 − kxk+1 − xk k2 − kxk+1 − x∗ k2 ≥ 2hy k − xk , y k − xk+1 i − 2λk c1 kxk − y k k2 − 2λk c2 kxk+1 − y k k2 Do kxk+1 − x∗ k2 ≤ kxk − x∗ k2 − kxk+1 − xk k2 − 2hy k − xk , y k − xk+1 i + 2λk c1 kxk − y k k2 + 2λk c2 kxk+1 − y k k2 = kxk − x∗ k2 − k(xk+1 − y k ) − (y k − xk )k2 − 2hy k − xk , y k − xk+1 i + 2λk c1 kxk − y k k2 + 2λk c2 kxk+1 − y k k2 ≤ kxk − x∗ k2 − kxk+1 − y k k2 − kxk − y k )k2 + λk c1 kxk − y k k2 + 2λk c2 kxk+1 − y k k2 = kxk − x∗ k2 − (1 − 2λk c1 )kxk − y k )k2 − (1 − 2λk c2 )ky k − xk+1 k2 Vậy, bổ đề chứng minh luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 31 Định lí 2.2.1 Giả sử x∗ ∈ Sol(f, C) song hàm f liên tục kiểu Lipschitz với số c1 > 0, c2 > giả đơn điệu C, nửa liên tục n o 1 C × C dãy {λk } thỏa mãn < p < λk < 2c1 , 2c2 , lim λk = λ k→∞ k Khi đó, dãy lặp {x } hội tụ tới nghiệm EP (f, C) với tốc độ hội tụ tuyến tính Chứng minh Từ giả thiết < p < λk < n 1 2c1 , 2c2 o suy − 2λk c1 > − 2λk c2 > Theo Bổ đề 2.2.1, ta có kxk+1 − x∗ k ≤ kxk − x∗ k, ∀k ≥ Tức là, dãy {kxk − x∗ k} không tăng bị chặn nên tồn giới hạn hữu hạn c = lim kxk − x∗ k Vậy kxk − x∗ k bị chặn tồn dãy k→∞ {x } hội tụ tới điểm x ∈ C Từ Bổ đề 2.2.1, suy ki (1 − 2ρc1 )ky k − xk k2 ≤ (1 − 2λk c1 )ky k − xk k2 ≤ kxk − x∗ k2 − kxk+1 − x∗ k2 Từ giả thiết − 2ρc1 > c = lim kxk − x∗ k suy lim kxk − y k k = k→∞ k→∞ Theo chứng minh trên, x → x i → ∞, ta có y → x i → ∞ Mặt ki khác ki ki ki ki y = argmin λki f (x , y) + ky − x k : y ∈ C Cho i → ∞ sử dụng tính liên tục f , ta có x = argmin λ(x, y) + ky − xk : y ∈ C Vậy, x nghiệm toán EP (f, C) Bằng cách thay x∗ x, ta có c = lim kxk − xk = lim kxki − xk = k→∞ i→∞ luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 32 Do đó, dãy {xk } hội tụ tới x ∈ Sol(f, C) Theo Bổ đề 2.2.1 giả thiết, kxk − x∗ k = x∗ nghiệm EP (f, C) Ngược lại, ta có kxk+1 − xk lim k→∞ kxk − xk < Vậy, dãy {xk } hội tụ tới x ∈ Sol(f, C) theo tốc độ tuyến tính 2.3 Ứng dụng giải toán bất đẳng thức biến phân tập nghiệm toán cân Mở rộng phương pháp chiếu việc tìm nghiệm tốn bất đẳng thức biến phân tập nghiệm toán cân Nội dung phần này, trình bày thuật tốn chiếu mở rộng chứng minh hội tụ mạnh thuật tốn Giả sử song hàm f : C × C → R thỏa mãn điều kiện sau: (A1 ) : f (x, x) = ∀x ∈ C; (A2 ) : f giả đơn điệu C tập nghiệm Sol(f, C), nghĩa f (y, x∗ ) ≤ 0, ∀x∗ ∈ Sol(f, C) y ∈ C; (A3 ) : lim sup f (xn , y) ≤ f (x, y), ∀xn * x; n→∞ (A4 ) : f (x, ) lồi khả vi phân C, ∀x ∈ C; (A5 ) : ∃C1 > 0, ∃C2 > cho ∀x, y ∈ C: f (x, y) + f (y, z) ≥ f (x, z) − C1 ky − xk2 − C2 kz − yk2 Nếu f thỏa mãn tính chất (A1 ) đến (A4 ) tập nghiệm E(f, C) tốn cân tập đóng lồi Thuật toán 2.3.1 Bước 0: Chọn dãy {αn } ⊂ [0, 1), {βn } ⊂ (0, 1), {λn } ⊂ (0, ∞) luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 33 Bước 1: Cho x0 ∈ H Đặt n = Bước 2: Giải y = argminy∈C λn f (xn , y) + ky − xn k , n z = argminy∈C λn f (yn , y) + ky − xn k n Ta thu nghiệm tối ưu yn , zn Bước 3: Tính xn+1 = (1 − βn )tn + βn Stn với tn = zn − αF zn Bước 4: Đặt n = n + quay lại bước Với dãy {xn } {yn } không thiết thuộc C Các dãy {xn }, {yn } {zn } sinh thuật toán thỏa mãn tính chất sau: Bổ đề 2.3.1 Cho C tập con, khác rỗng, đóng không gian Hilbert thực H hàm f : H × H → R thỏa mãn điều kiện (A1 ) → (A2 ) (A4 ) → (A5 ), ∀x∗ ∈ E(f, C) ∀n ∈ N, ta có i) hxn − yn , y − yn i ≤ λn f (xn , y) − λn f (xn , yn ), ∀y ∈ C ii) kzn − x∗ k2 ≤ kxn − x∗ k2 − (1 − 2λn C1 )kyn − xn k2 −(1 − 2λn C2 )kzn − yn k2 Nếu yn = xn , xn ∈ Sol(f, C) Để chứng minh hội tụ thuật toán ta sử dụng số bổ đề sau Bổ đề 2.3.2 Cho F ánh xạ liên tục, η− đơn điệu mạnh Ω = F ix(S) ∩ Sol(f, C), Ω tập lồi đóng, khác rỗng H Khi đó, tốn bất đẳng thức biến phân V I(F, C) có nghiệm Bổ đề 2.3.3 Cho β ∈ (0, 1) K tập con, lồi, đóng, khác rỗng H Ánh xạ S : K → K tựa giả co chặt cho F ix(S) 6= ∅ Khi đó, luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 34 Sω = (1 − ω)I + ωS ánh xạ tựa không giãn K, ∀ω ∈ [0, − β] Hơn nữa, kSω x−x∗ k2 ≤ kx−x∗ k2 −ω(1−β −ω)kSx−xk2 , ∀(x, x∗ ) ∈ K ×F ix(S) (2.10) Bổ đề 2.3.4 Cho {an } dãy số thực khơng âm Giả sử m số ngun Khi đó, tồn số nguyên p cho p ≥ m ap ≤ ap+1 Cho n0 số nguyên cho an0 ≤ an0 +1 số nguyên n ≥ n0 Ta định nghĩa τ (n) = max{k ∈ N : n0 ≤ k ≤ n, ak ≤ ak+1 } Khi đó, ≤ an ≤ aτ (n)+1 , ∀n ≥ n0 Hơn nữa, dãy {τ (n)}n≥n0 không giảm dần tới +∞ n → ∞ Bây ta chứng minh định lý hội tụ mạnh thuật toán Định lí 2.3.1 Cho C ⊂ H, C 6= ∅, C đóng, lồi Hàm f : C × C → R thỏa mãn điều kiện (A1 ) → (A5 ) ánh xạ S : C → C giả co chặt nửa đóng 0; Ω = Sol(f, C) 6= ∅ Cho F : C → H ánh xạ Lipschitz, liên tục η− đơn điệu mạnh Giả sử dãy {λn }, {αn }, {βn } thỏa mãn điều kiện 1 , ∀n ∈ N (C1 ) : < λ ≤ λn ≤ λ < , 2C1 2C2 (C2 ) : lim αn = n→∞ (C3 ) : < β ≤ βn ≤ ∞ P = ∞ n=1 1−β , ∀n ∈ N tồn λ, λ, β vơ hướng, dương Khi đó, dãy {xn } → x∗ với x∗ nghiệm V I(F, Ω) Chứng minh Ta chia chứng minh thành bước sau: Bước 1: ∀x∗ ∈ Ω, ta có kxn+1 − x∗ k2 ≤kxn − x∗ k2 − (1 − 2λn C1 )kyn − xn k2 luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 35 − (1 − 2λn C2 )kzn − yn k2 − kxn+1 − zn k2 − 2αn hxn+1 − x∗ , F zn i (2.11) Thật vậy, cho x∗ ∈ Ω Từ Bổ đề 2.3.3, ta có kxn+1 − x∗ k2 ≤ ktn − x∗ k2 − β(1 − β − βn )ktn − Stn k2 Từ Stn − tn = βn (xn+1 − tn ), từ (2.12) , suy kxn+1 − x∗ k ≤ ktn − x∗ k2 − ρkxn+1 − tn k2 , ρ = Từ < β ≤ βn ≤ (2.12) 1−β − β − βn βn ta có ρ ≥ Và từ tn = zn − αn F zn , ta có kxn+1 − x∗ k2 ≤ ktn − x∗ k2 − kxn+1 − tn k2 ≤ kzn − αn F zn − x∗ k2 − kxn+1 − (zn − αn F zn )k2 ≤ kzn − x∗ k2 − 2αhxn+1 − x∗ , F zn i − kxn+1 − zn k ≤ kxn − x∗ k2 − (1 − 2λn C1 )kyn − xn k2 − (1 − 2λn C2 )kzn − yn k2 − 2αn hxn+1 − x∗ , F zn i − kxn+1 − zn k2 Ở ta sử dụng Bổ đề (2.3.1 − ii) để suy bất đẳng thức Bước 2: Các dãy {xn }, {yn }, {zn } {tn } bị chặn Cho x∗ ∈ Ω định nghĩa Sβn = (1 − βn )I + βn S, ∀n ∈ N Theo Bổ đề 2.3.3, Sβn ánh xạ tựa không giãn Sử dụng điều kiện (C1 ), Bổ đề (2.3.2 − ii), định nghĩa xn+1 x∗ = Sβn x∗ ta viết sau: kzn+1 − x∗ k ≤ kxn+1 − x∗ k = kSβn tn − x∗ k ≤ ktn − x∗ k luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com (2.13) luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 36 Mặt khác, từ lim αn = 0, ta giả sử αn ∈ 0, n→∞ η L2 khơng tính tổng qt, ta giả sử < η < Từ F L− Lipschitz liên tục η đơn điệu mạnh, ta có η2 η η F − 1 zn+1 − F − 1 x∗ = kF zn+1 − F x∗ k L2 L2 L4 η + hF zn+1 − F x∗ , zn+1 − x∗ i + kzn+1 − x∗ k2 L ≤ η2 L2 ∗ kzn+1 − x k − = 1 − η2 L2 2η L2 kzn+1 − x∗ k2 + kzn+1 − x∗ k2 kzn+1 − x∗ k2 (2.14) Từ bất đẳng thức (2.13), (2.14) tn+1 = zn+1 − αn+1 F zn+1 , ta có ktn+1 − x∗ k ≤ ktn+1 − (x∗ − αn+1 F x∗ )k + αn+1 kF x∗ k = k(zn+1 − αn+1 F zn+1 ) − (x∗ − αn+1 F x∗ )k + αn+1 kF x∗ k αn+1 L (zn+1 − x∗ ) = 1 − η αn+1 L η η ∗ − F − zn+1 − F − x + αn+1 kF x∗ k 2 η L L v u αn+1 L2 αn+1 L2 u η u kzn+1 − x∗ k + t − kzn+1 − x∗ k ≤ 1 − η η L + αn+1 kF x∗ k = 1 − αn+1 L θ η kzn+1 − x∗ k + αn+1 kF x∗ k luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 37 ≤ 1 − αn+1 L θ η s Ở θ = − trên, ta có 1− ktn − x∗ k + αn+1 kF x∗ k η2 L2 ∈ (0, 1) Đặt θn = αn L2 θ η ∈ (0, 1) Từ bất đẳng thức ktn+1 − x∗ k ≤ (1 − θn+1 )ktn − x∗ k + θn+1 η L2 θ kF x∗ k (2.15) η ∗ ∗ ≤ max ktn − x k, kF x k Lθ Bằng quy nạp, với n ∈ N, ta có η ∗ ∗ ∗ ktn − x k ≤ max kt0 − x k, kF x k Lθ (2.16) Do đó, dãy {tn } bị chặn dãy {xn }, {yn }, {zn } thỏa mãn (2.13) , mệnh đề (2.3.1 − ii) điều kiện (C1 ) Bước 3: Nếu znk * x∗ , kxnk −ynk k → 0, kynk −znk k → 0, kxnk +1 −znk k → 0, x∗ ∈ Ω Đầu tiên, ta ý x∗ ∈ C {znk } ⊂ C C đóng, yếu Khi đó, từ giả thiết ta suy xnk * x∗ , ynk * y ∗ kxnk − znk k → Bây giờ, ta giả sử f (x∗ , y) ≥ 0, ∀y ∈ C Theo mệnh đề (2.3.2 − i), ta có hxnk − ynk , y − ynk i ≤ λnk f (xnk , y) − λf (xnk , ynk ) ∀y ∈ C (2.17) Tương tự, theo định nghĩa znk , ta có: hxnk − znk , y − znk i ≤ λnk f (ynk , y) − λf (ynk , znk ), ∀y ∈ C (2.18) Mặt khác, f thỏa mãn điều kiện Lipschitz (A5 ), ta có bất đẳng thức sau: λnk f (ynk , znk ) ≥ λnk f (xnk , znk ) − λnk f (xnk , ynk ) − C1 λnk kynk − xnk k2 luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 38 − C2 λnk kznk − ynk k2 Từ kxnk − ynk k → 0, kznk − ynk k → 0, kxnk − znk k → {znk } bị chặn, sử dụng điều kiện (C1 ) vế phải bất đẳng thức dần Sử dụng điều kiện (A3 ) hội tụ yếu dãy {ynk } tới x∗ , ta suy ∀y ∈ C ta có: lim sup f (ynk , y) ≤ f (x∗ , y), tức x∗ ∈ E(f, C) k→∞ Ta chứng minh x∗ ∈ F ix(S) Từ tnk = znk − αnk F znk , F ánh xạ Lipschitz, liên tục {znk } bị chặn lim αnk = 0, ta có ktnk − znk k → 0, n→∞ từ giả thiết ta suy kxnk − tnk k → Mặt khác, từ xnk = (1 − βnk )tnk + βnk Stnk < β ≤ βnk ta có kStnk − tnk k ≤ kxnk +1 − tnk k → β Từ giả thiết, S nửa đóng tnk * x∗ , ta suy Sx∗ = x∗ , tức x∗ ∈ F ix(S) Bước 4: Chứng minh an = kxn − x∗ k2 → 0, x∗ nghiệm V IP (F, Ω) Đầu tiên, từ bước tính bị chặn dãy {xn } {zn }, ta có |hxn+1 − x∗ , F zn i| ≤ M, ∀n ∈ N Do đó, an+1 −an +kxn+1 −zn k2 +(1−2λC1 )kyn −xn k2 +(1−2λC2 )kyn −zn k2 ≤ 2αn M (2.19) Ta xét hai trường hợp: Trường hợp 1: Tồn n0 cho {an } dãy giảm với n ≥ n0 Trong trường hợp này, giới hạn dãy {an } tồn lim (an+1 − an ) = Do vậy, từ n→∞ (2.19), lim an = từ điều kiện (C1 ), ta có n→∞ kxn+1 − zn k → 0, kxn − yn k → 0, kyn − zn k → luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com (2.20) luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 39 Suy kxn − zn k → 0, kzn − x∗ k2 → a Từ {zn } ⊂ C bị chặn, tồn dãy {znk } dãy {zn } hội tụ yếu tới vài z ∈ C thỏa mãn đẳng thức lim inf hzn − x∗ , F x∗ i = lim hznk − x∗ , F x∗ i n→∞ k→∞ Khi đó, từ (2.20) bước chứng minh này, suy z ∈ Ω Do vậy, ta có lim inf hzn − x∗ , F x∗ i = lim hznk − x∗ , F x∗ i = hz − x∗ , F x∗ i ≥ (2.21) n→∞ k→∞ Mặt khác, từ F η− đơn điệu mạnh, ta có hxn+1 −x∗ , F zn i = hxn+1 −zn , F zn i+hzn −x∗ , F x∗ i+hzn −x∗ , F zn −F x∗ i ≥ hxn+1 −zn , F zn i+hzn −x∗ , F x∗ i+ηkzn −x∗ k2 (2.22) Từ (2.20), (2.21), (2.22), ta có lim infhxn+1 − x∗ , F zn i ≥ ηa Giả sử, để có mâu thuẫn a > 0, chọn = n0 > cho hxn+1 − x∗ , F zn i ≥ ηa − = (2.23) ηa Từ (2.23) tồn ηa Với n ≥ n0 khơng đổi Khi đó, từ (2.11) (2.24), ta có (2.24) an+1 − an ≤ −αn ηa, ∀n ≥ n0 Do đó, ta viết an+1 − an0 ≤ −ηa n X αk (2.25) k=n0 Từ ∞ P k=1 αk = ∞ (2.25) suy lim inf an = −∞ Đây mâu thuẫn n→∞ Như hệ quả, ta có a = xn → x∗ Trường hợp 2: Tồn dãy ani an cho: ani ≤ ani +1 , ∀i ∈ N luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 40 Từ Bổ đề 2.3.5, ta viết bất đẳng thức sau: Với số nguyên n ≥ n0 : aΓ(n) ≤ aΓ(n)+1 an ≤ aΓ(n)+1 , (2.26) đó, Γ(n) = max{k ∈ N|n0 ≤ k ≤ n, ak ≤ ak+1 } Hơn nữa, dãy {Γ(n)}n≥n0 không giảm tiến tới +∞ n → ∞ Từ (2.19) lim αn = điều kiện (C1 ), ta có n→∞ kxΓ(n)+1 − zΓ(n) k → 0, kxΓ(n) − yΓ(n) k → 0, kyΓ(n) − zΓ(n) k → 0, (2.27) Từ dãy {zΓ(n) } bị chặn, tồn dãy dãy {zΓ(n) }, kí hiệu {zΓ(nk ) } cho zΓ(nk ) * x Khi đó, từ (2.27) bước chứng minh ta suy x ∈ Ω Tiếp tục, ta chứng minh zΓ(nk ) → x∗ Từ (2.11) , suy 2αΓ(nk ) < hxΓ(nk )+1 − x∗ , F zΓ(nk ) − aΓ(nk )+1 i − kxΓ(nk )+1 − zΓ(nk ) k2 − (1 − 2λΓ(nk ) C1 )kyΓ(nk ) − xΓ(nk ) k2 − (1 − 2λΓ(nk ) C2 )kzΓ(nk ) − yΓ(nk ) k2 ≤ (2.28) Từ F η− đơn điệu mạnh, ta có ηkzΓ(nk ) − x∗ k ≤ hzΓ(nk ) − x∗ , F zΓ(nk ) − x∗ i = hxΓ(nk )+1 − x∗ , F zΓ(nk ) i + hzΓ(nk ) − xΓ(nk ) + 1, F zΓ(nk ) i − hzΓ(nk ) − x∗ , F x∗ i (2.29) Kết hợp (2.28) , (2.29) ta nhận kzΓ(nk ) − x∗ k ≤ hzΓ(nk ) − xΓ(nk )+1 , F zΓ(nk ) i − hzΓ(nk ) − x∗ , F x∗ i (2.30) η Do đó, lim kzΓ(nk ) − x∗ k = Khi đó, dễ thấy k→∞ lim kzΓ(nk ) − x∗ k = n→∞ luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com (2.31) luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 41 Từ (2.27) (2.31) , ta kết luận kzΓ(n)+1 − x∗ k → 0, nghĩa lim aΓ(n)+1 = Từ (2.26) , an ≤ aΓ(n)+1 , ∀n ≥ n0 , ta suy n→∞ lim an = Đây điều phải chứng minh n→∞ 2.4 Kết luận Trong chương 2, ta nhắc lại phương pháp chiếu hai lần cho giải toán bất đẳng thức biến phân toán cân Đối với toán bất đẳng thức biến phân, với giả thiết Lipschitz, thuật toán hai phép chiếu khơng địi hỏi tính giả đơn điệu mạnh ánh xạ giá F Đối với toán cân bằng, thuật toán hai phép chiếu đồi hỏi giả thiết giả đơn điệu liên tục kiểu Lipschitz song hàm f Các phương pháp chiếu mở rộng ứng dụng giải toán bất đẳng thức biến phân tập nghiệm toán cân chứng minh hội tụ mạnh thuật toán không gian Hilbert thực luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 42 Kết luận chung Bài toán bất đẳng thức biến phân tập nghiệm toán cân toán tổng quát, cấp thứ hai tốn tập hợp khơng dạng hiển Do vậy, toán dạng toán tối ưu hai cấp phức tạp Nội dung luận văn trình bày phương pháp chiếu mở rộng để giải toán bất đẳng thức biến phân tập nghiệm toán cân chứng minh hội tụ phương pháp Nội dung luận văn trình bày bao gồm: Nhắc lại số kiến thức tâp lồi, hàm lồi, nón pháp tuyến phép chiếu khơng gian Hilbert Phát biểu trình bày số kết tồn nghiệm toán bất đẳng thức biến phân tốn cân Trình bày thuật toán chiếu hai lần chứng minh hội tụ thuật toán cho toán bất đẳng thức biến phân toán cân Đặc biệt, nội dung cốt lõi luận văn ứng dụng phương pháp chiếu giải toán bất đẳng thức biến phân tập nghiệm toán cân luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang 43 Tài liệu tham khảo Tiếng Việt [1] Phạm Ngọc Anh (2015), Các phương pháp tối ưu ứng dụng, NXB Thông tin Truyền thông [2] Nguyễn Văn Khuê, Lê Mậu Hải (2010), Giáo trình Giải tích hàm, NXB Đại học Sư phạm [3] Nguyễn Thị Bạch Kim (2008), Các phương pháp tối ưu- Lý thuyết thuật toán, NXB Bách khoa Hà Nội [4] Đỗ Văn Lưu, Phan Huy Khải (2000), Giải tích lồi, NXB Khoa học Kĩ thuật Hà Nội Tiếng Anh [5] Anh P.N (2013), "A hybrid extragradient method to fixed point problems and equilibrium problems", Optimization, Vol 62 (2), pp 271-283 [6] Anh P.N., Kim J., Mưu L.D (2012), "An Extragradient Algorithm for Solving Bilevel Pseudomonotone Variational Inequalities", J.Global Optimization 52, pp.627 – 639, doi 10.1007/s 10898 – 012 – 9870 [7] Kinderlehrer D and Stampachia G (1980), An Introduction to Variationnal Inequalities and Their Applications, Academic Press luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang download by : skknchat@gmail.com luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang luan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bangluan.van.thac.si.phuong.phap.chieu.giai.bai.toan.bat.dang.thuc.bien.phan.tren.tap.nghiem.cua.bai.toan.can.bang