THÔNG TIN TÀI LIỆU
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN Nguyễn Trang Anh TÍNH ỔN ĐỊNH NGHIỆM CỦA BÀI TỐN BẤT ĐẲNG THỨC BIẾN PHÂN AFIN SUY RỘNG VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội - 2018 TIEU LUAN MOI download : skknchat@gmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN Nguyễn Trang Anh TÍNH ỔN ĐỊNH NGHIỆM CỦA BÀI TỐN BẤT ĐẲNG THỨC BIẾN PHÂN AFIN SUY RỘNG VÀ ỨNG DỤNG Chuyên ngành: Toán ứng dụng Mã số: 8460112.01 LUẬN VĂN THẠC SĨ KHOA HỌC Người hướng dẫn khoa học: PGS.TS Nguyễn Năng Tâm Hà Nội - 2018 TIEU LUAN MOI download : skknchat@gmail.com Lời cảm ơn Lời luận văn em xin gửi lời cảm ơn sâu sắc đến thầy giáo hướng dẫn PGS.TS Nguyễn Năng Tâm Thầy tận tình quan tâm hướng dẫn em trình hoàn thành luận văn Em xin bày tỏ lịng biết ơn chân thành tới thầy giáo mơn Tốn Ứng Dụng, tồn thể thầy giáo khoa Tốn - Cơ - Tin học, Đại học Khoa Học Tự Nhiên, Đại Học Quốc Gia Hà Nội dạy bảo em tận tình suốt trình em học tập trường Nhân dịp em xin gửi lời cảm ơn chân thành đến gia đình, bạn bè ln bên em, cổ vũ, động viên, giúp đỡ em suốt trình học tập hồn thành luận văn TIEU LUAN MOI download : skknchat@gmail.com Lời nói đầu Bài toán bất đẳng thức biến phân (Variational Inequality Problem) đời vào năm 1960, gắn liền với cơng trình G Stampacchia, J L Lions Hiện nay, toán bất đẳng thức biến phân phát triển thành nhiều dạng khác nhau, ví dụ: bất đẳng thức biến phân vector, tựa bất đẳng thức biến phân, giả bất đẳng thức biến phân, bất đẳng thức biến phân ẩn Bài toán thu hút quan tâm nhiều nhà tốn học mơ hình chứa nhiều tốn quan trọng số lĩnh vực khác tốn học, ví dụ: tối ưu hóa, lý thuyết trị chơi, cân Nash, cân mạng giao thơng Nghiên cứu tính ổn định nghiệm toán bất đẳng thức biến phân afin đề tài thú vị có nhiều ứng dụng thực tế Trong luận văn này, ta xem xét nghiệm toán biến đổi tham số thay đổi Sự ổn định đòi hỏi xáo trộn nhỏ sai số nhỏ đo đạc (cũng đồng nghĩa với việc xáo trộn nghiệm tốn ít) Nhiều báo thảo luận tính ổn định ánh xạ nghiệm của toán bất đẳng thức biến phân afin Gowda and Pang [5] thu vài điều kiện đủ cho nghiệm bị chặn ổn định toán bất đẳng thức biến phân afin Trong [15], Robinson nghiên cứu tính ổn định tốn biến phân afin với tập nghiệm khác rỗng bị chặn Vài chủ đề tương tự nghiên cứu Gowda and Seidman [6] Lee et al [3] điều kiện cho nửa liên lục nửa liên tục ánh xạ nghiệm toán Trong luận văn này, em xin đề cập tới vài ứng dụng toán bất đẳng thức biến phân afin Cùng với vài kết mở rộng từ [3] [8] Đặc biệt, em vài kết tổng quát [3] trường hợp tập ràng TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung buộc đa diện lồi xác định nhiều hàm lồi toàn phương hữu hạn Luận văn gồm hai phần Phần đưa khái niệm mở đầu toán bất đẳng thức biến phân afin Phần hai nói tính ổn định nghiệm tốn biến phân afin suy rộng có tham số Do thời gian thực khơng nhiều, kiến thức cịn hạn chế nên làm luận văn khơng tránh khỏi sai sót Em mong nhận góp ý phản biện quý thầy cô bạn đọc Xin chân thành cảm ơn! TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Mục lục Bất 1.1 1.2 1.3 1.4 đẳng thức biến phân afin Bất đẳng thức biến phân Bài toán bù Bất đẳng thức biến phân afin Bài toán bù tuyến tính Tính ổn định nghiệm toán bất đẳng thức biến phân afin suy rộng có tham số 2.1 Bất đẳng thức biến phân afin suy rộng 2.2 Tính nửa liên tục ánh xạ nghiệm 2.3 Tính nửa liên tục ánh xạ nghiệm 2.4 Vài kết ổn định 2.5 Ứng dụng cho tốn quy hoạch tồn phương với ràng buộc tồn phương TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung 6 12 14 22 25 25 28 33 40 47 (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Các ký hiệu viết tắt Ký hiệu VI V I(ϕ, Θ) Ý nghĩa Bài toán bất đẳng thức biến phân Bài toán bất đẳng thức biến phân xác định toán tử ϕ tập Θ Sol(V I(ϕ, Θ)) Tập nghiệm V I(ϕ, Θ) N CP Bài toán bù phi tuyến N CP (ϕ, Θ) Bài toán bù phi tuyến xác định toán tử ϕ tập Θ AV I Bài toán bất đẳng thức biến phân afin AV I(D, q, Θ) Bài toán bất đẳng thức biến phân afin xác định ma trận D, véc tơ q tập Θ Sol(AV I(D, q, Θ)) Tập nghiệm AV I(D, q, Θ) LCP Bài toán bù tuyến tính LCP (D, q) Bài tốn bù tuyến tính xác định ma trận D véc tơ q GLCP Bài tốn bù tuyến tính suy rộng GAV I Bài toán bất đẳng thức biến phân afin suy rộng SCQ Điều kiện quy Slater MFCQ Điều kiện quy Mangasarian Fromovitz (MFCQ) QP Bài tốn quy hoạch toàn phương KKT Karush–Kuhn–Tucker TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Chương Bất đẳng thức biến phân afin Trước hết, đề cập tới khái niệm toán bất đẳng thức biến phân afin tốn bù tuyến tính 1.1 Bất đẳng thức biến phân Trong phần 1.1 tìm hiểu khái niệm toán bất đẳng thức biến phân Sau nghiên cứu cấu trúc tập nghiệm hai trường hợp tập ràng buộc compact không compact Cho f : Rn → R hàm C Θ ⊂ Rn tập lồi đóng, khác rỗng Đặt ∂f (x) ∂x1 ϕ(x) = ∇f (x) = ∂f (x) ∂xn n với x ∈ R (1.1) Để đưa định nghĩa bất đẳng thức biến phân, trước hết ta có mệnh đề sau: Mệnh đề 1.1 Nếu x ˆ nghiệm địa phương toán tối ưu TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung { f (x): x ∈ Θ} (1.2) hϕ(ˆ x), y − xˆi ≥ với y ∈ Θ (1.3) Chứng minh: Lấy x ∈ Θ nghiệm địa phương (1.2) Chọn γ > cho f (y) ≥ f (ˆ x) với y ∈ Θ ∩ B(ˆ x, γ) ¯ x, γ) với t ∈ (0, θ) Với y ∈ Θ\{ˆ x}, ∃θ > cho xˆ + t(y − xˆ) ∈ Θ ∩ B(ˆ Khi f (ˆ x + t(y − xˆ)) − f (ˆ x) = f (ˆ x, y − xˆ) t→0 t = h∇f (ˆ x), y − xˆi ≤ lim = hϕ(ˆ x), y − xˆi Ta có điều phải chứng minh (Đpcm) Từ ta có định nghĩa toán bất đẳng thức biến phân Định nghĩa 1.1 Nếu Θ ⊂ Rn tập lồi đóng khác rỗng ϕ : Θ → Rn ánh xạ cho trước tốn tìm x ˆ thỏa mãn (1.3) gọi toán bất đẳng thức biến phân đơn giản bất đẳng thức biến phân ( viết tắt VI) Nó ký hiệu VI(ϕ, Θ) Tập nghiệm Sol(VI(ϕ, Θ)) VI(ϕ, Θ) tập x ˆ ∈ Θ thỏa mãn (1.3) Như vậy, ta tốn tối ưu dẫn tới toán bất đẳng thức biến phân, điểm khác biệt toán bất đẳng thức biến phân so với toán quy hoạch toán học khác gì? Mệnh đề sau giúp trả lời câu hỏi đó: Mệnh đề 1.2 Cho x ˆ ∈ Θ Nếu tồn γ > cho ¯ x, γ), hϕ(ˆ x), y − xˆi ≥ với y ∈ Θ ∩ B(ˆ (1.4) x ˆ ∈ Sol(V I(ϕ, Θ)) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Chứng minh: Giả sử tồn γ > thỏa mãn (1.4) Từ tính lồi Θ ta suy với y ∈ Θ tồn t = t(y) ∈ (0, 1) cho y(t) := x ˆ +t(y − xˆ) ¯ x, γ) thuộc vào Θ ∩ B(ˆ Từ (1.4) ta có ≤ hϕ(ˆ x), y − xˆi ⇒ ≤ hϕ(ˆ x), y(t) − xˆi ⇒ ≤ hϕ(ˆ x), xˆ + t(y − xˆ) − xˆi ⇒ ≤ thϕ(ˆ x), y − xˆi ⇒ hϕ(ˆ x), y − xˆi ≥ với y ∈ Θ Vì x ˆ ∈ Sol(V I(ϕ, Θ)) (đpcm) Mệnh đề cho thấy, không giống nghiệm toán quy hoạch toán học khác, nghiệm toán VI có tính địa phương Giờ ta nghiên cứu cấu trúc tập nghiệm toán VI Cấu trúc tập nghiệm Sol(V I(ϕ, Θ)) định tính chất tập Θ tốn tử ϕ Định lý Hartman-Stampacchia sau làm rõ điều đó: Định lý 1.1 ([1]) Nếu Θ ⊂ Rn tập compact lồi khác rỗng ϕ : Θ → Rn liên tục tốn V I(ϕ, Θ) có nghiệm Định lý Hartman-Stampacchia áp dụng cho trường hợp Θ tập compact Vậy trường hợp tập không compact kết định lý cịn khơng? Câu trả lời với điều kiện thích hợp, kết định lý Cụ thể sau: Định lý 1.2 ([1]) Cho Θ ⊂ Rn tập lồi đóng khác rỗng ϕ : Θ → Rn toán tử liên tục Nếu tồn x∗ ∈ Θ cho hϕ(y) − ϕ(x∗ ), y − x∗ i||y − x∗ ||−1 → +∞ ||y|| → +∞, y ∈ Θ, (1.5) tốn V I(ϕ, Θ) có nghiệm TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Giờ ta {(λs , µsJ )} bị chặn Thật vậy, giả sử {(λs , µsJ )} khơng bị chặn µsJ λs ˆ → λ →µ ˆj , j ∈ J ||(λs , µsJ )|| ||(λs , µsJ )|| ˆ ≥ 0, µ ˆ µ s → +∞ với λ ˆj ≥ 0, j ∈ J ||(λ, ˆJ )|| = viết lại (2.18) ta có X ˆ + λs I)xs + (D µsj AˆTj + q s = (2.22) j∈J Chia vế bất đẳng thức (2.22) cho ||(λs , µsJ )|| cho s → ∞, ta có X ˆx + (2.23) λˆ µ ˆj AˆTj = j∈J ˆ ˆb) thỏa mãn (MFCQ) xˆ ∈ Từ (2.14) thỏa mãn (SCQ) (ˆ r, A, ˆ ˆb) Khi đó, tồn v ∈ Rn cho F(ˆ r, A, xˆT v < Aˆj v < với j ∈ J Điều có nghĩa ˆ xT v ≤ µ λˆ ˆAˆj v ≤ với j ∈ J ˆ = µ Kết hợp với (2.23) thu λ ˆJ = Điều mâu thuẫn với s s ˆ µ thật ||(λ, ˆJ )|| = Do đó, {(λ , µJ )} bị chặn ˜ µ ˜ µ Khơng tổng quát, ta giả sử (λs , µsJ ) → (λ, ˜J ) với (λ, ˜J ) ∈ R × R|J | Do đó, dãy bên phía phải (2.21) hội tụ Lấy giới hạn hai vế (2.21) s → ∞, ta suy x ˆ xác định J Từ xˆ ˆ qˆ, rˆ, A, ˆ ˆb) hữu hạn chọn tùy ý, Sol(D, Trường hợp 2: λs ∈ T với nhiều giá trị s Không tổng quát, ˆ với λs ∈ T với giả sử λs ∈ T với s Khi T hữu hạn, giả sử λs = λ s Từ (2.20) kéo theo ! ! s s −q x ˆ = M0J (λ) s −bj µs 37 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ˆ ∈ T thu (−q s , −bs ) ∈ C Điều nầy mâu thuẫn với thật Kết hợp với λ (−q s , −bs ) ∈ / C Do đó, trường hợp khơng xảy Trường hợp 3: λs = với nhiều giá trị s Không tổng quát, ta giả sử λs = với s Khi (2.18) − (2.19) biến đổi thành ˆ s + AˆT µs + q s = 0, Dx J J AˆJ xs + bsJ = 0, Và là, −q s −bsj ! = MJ xs µsJ ! (2.24) Điều có nghĩa (−q s , −bs ) ∈ CJ Nếu detMJ = (−q s , −bs ) ∈ C trái ngược với thật (−q s , −bs ) ∈ / C Do đó, detMJ 6= Từ (2.24), ! ! s xs −q = (MJ )−1 s µJ −bsj Điều có nghĩa µsJ hội tụ tới vài µ ˆJ ∈ R.Từ xs hội tụ đến xˆ, ta có ! ! xˆ −ˆ q = (MJ )−1 µ ˆJ −ˆbJ Điều kéo theo x ˆ xác định J Từ xˆ chọn tùy ý, ˆ qˆ, rˆ, A, ˆ ˆb) hữu hạn (Đpcm) Sol(D, Chú ý 2.2 So sánh với kết tồn tại, Định lý 3.2 trường hợp tổng quát với F(ˆ ω ) với tập lồi đa diện Từ Định lý 3.2, ta có hệ sau ˆ qˆ, rˆ, A, ˆ ˆb) ∈ Γ Giả sử Hệ 2.2 Xét toán V I(D, q, r, A, b) (D, ˆ qˆ, rˆ, A, ˆ ˆb) Aˆ có hạng đầy đủ Nếu hàm đa trị Sol(.) nửa liên tục (D, ˆ ˆb) Sol(D, ˆ qˆ, rˆ, A, ˆ ˆb) hữu biểu thức (2.14) thỏa mãn (SCQ) (ˆ r, A, hạn 38 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Ký hiệu ( ˆ ˆb) := ∂F(ˆ r, A, ) m Y ˆ ˆb) : (||x|| − rˆ) (Aˆi x − ˆbi ) = x ∈ F(ˆ r, A, i=1 Định lý đưa điều kiện đủ tính nửa liên tục hàm đa trị Sol(.) ˆ qˆ, rˆ, A, ˆ ˆb) ∈ Γ Giả sử Định lý 2.3 Xét toán V I(D, q, r, A, b) γˆ = (D, ˆ ˆb) = ∅ Nếu Sol(ˆ γ ) khác rỗng Sol(ˆ γ ) ∩ ∂F(ˆ r, A, điều kiện thỏa mãn: (i) Sol(ˆ γ ) hữu hạn; ˆ (ii) D không suy biến, Sol(.) nửa liên tục γˆ Chứng minh: Giả sử Sol(ˆ γ ) khác rỗng, để chứng minh Sol(.) nửa liên tục γˆ ta phải chứng minh với x ∈ Sol(ˆ γ ) với lân cận mở Ux x, tồn δ > cho Sol(¯ γ ) ∩ Ux 6= ∅ (2.25) với γ¯ ∈ Γ thỏa mãn ||¯ γ − γˆ || < δ Cố định x ∈ Sol(ˆ γ ) với nhân tử Lagrange tương ứng (λ, µ) Cho Ux lân cận mở x Giả sử hai điều kiện (i) - (ii) thỏa mãn ˆ + ˆb < Đầu tiên, ta xét trường hợp (i) thỏa mãn, nghĩa ||x|| < rˆ, Ax Sol(ˆ γ ) hữu hạn Điều kéo theo (λ, µ) = (0, 0) x nghiệm ˆ = −ˆ Dy q (2.26) ˆ + ˆb < 0, tồn δ > lân cận mở Vx ⊂ Ux Từ ||x|| < rˆ Ax ¯ ¯b) với (¯ ¯ ¯b) thỏa mãn ||(¯ ¯ ¯b) − (ˆ ˆ ˆb)|| ≤ cho Vx ⊂ F(¯ r, A, r, A, r, A, r, A, ||¯ γ − γˆ || < δ 39 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ˆ không suy Từ (2.26) giả thiết Sol(ˆ γ ) hữu hạn, ta thu D ˆ −1 qˆ biến x nghiệm (2.26) Điều cho ta x = −D ¯ −1 q¯ ∈ Vx với (D, ¯ q¯) thỏa mãn Khi đó, tồn δ > cho x ¯ = −D ¯ q¯) − (D, ˆ qˆ)|| ≤ ||¯ ||(D, γ − γˆ || < δ Lấy δ = min{δ , δ } lấy γ¯ cho ||¯ γ −ˆ γ || < δ Khi đó, x¯ ∈ Vx ⊂ F(¯ r, a ¯, ¯b) (λ, µ) = (0, 0) nhân tử Lagrange tương ứng với x ¯ Ta có ¯ x + q¯ = 0, x¯2 − r¯2 < 0, A¯ ¯x + ¯b < D¯ Do đó, (2.25) thỏa mãn với γ¯ ∈ Γ thỏa mãn ||¯ γ − γˆ || < δ Tiếp theo xét trường hợp (ii) thỏa mãn Lặp lại lý luận ˆ không suy biến dẫn đến (2.25) phần trước sử dụng giả thiết D (Đpcm) 2.4 Vài kết ổn định Trong phần này, ta dùng định lý Hartman - Stampacchia ([1], Định lý 3.1) nón lùi xa để thu vài kết ổn định toán VI(D,q,ω ) Định lý nội dung phần ˆ qˆ, ω Định lý 2.4 Xét toán VI(D,q,ω ) (D, ˆ ) ∈ P Giả sử biểu thức (2.1) thỏa mãn (SCQ) ω ˆ hai điều kiện sau thỏa mãn: ˆ hi = (D ˆ +D ˆ T )h = : (a1 ) Với h ∈ rec F(ˆ ω ), hDh, (a2 ) Nếu F(ˆ ω ) không bị chặn ˆ k , xk i hDx lim sup ≥0 ||xk ||2 k→∞ (2.27) với dãy {xk } ∈ F(ˆ ω ) thỏa mãn ||xk || → ∞ Thì bốn phát biểu sau tương đương: ¯ q¯, ω (b1 ) Tồn taị số γ > cho Sol(D, ¯ ) khác rỗng với ¯ ¯ ˆ (D, q¯, ω ¯ ) ∈ P thỏa mãn ||(D, q¯, ω ¯ ) − (D, qˆ, ω ˆ )|| < γ; 40 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ˆ qˆ, ω (b2 )Sol(D, ˆ ) khác rỗng bị chặn; ˆ + qˆ, hi > ∀h ∈ rec F(ˆ (b3 ) x ∈ F(ˆ ω ) : hDx ω )\{0} 6= ∅; ˆ ω )) với (rec F(ˆ (b4 )ˆ q ∈ int((rec F(ˆ ω ))∗ − DF(ˆ ω ))∗ = {y ∈ Rn : hy, hi ≥ ∀h ∈ rec F(ˆ ω )}) Chứng minh: Bằng lý luận tương tự [[2], Bổ đề 7.2], ta thu (b3 ) ⇔ b4 Bây giờ, ta chứng minh (b1 ) ⇒ (b2 ), (b2 ) ⇒ (b3 ), (b3 ) ⇒ (b1 ) ¯ q¯, ω (b1 ) ⇒ (b2 ): Giả sử tồn số γ > cho Sol(D, ¯ ) khác ¯ q¯, ω ¯ q¯, ω ˆ qˆ, ω rỗng với (D, ¯ ) ∈ P thỏa mãn ||(D, ¯ ) − (D, ˆ )|| < γ Điều ˆ qˆ, ω có nghĩa Sol(D, ˆ ) 6= ∅ Để thu mâu thuẫn, giả sử ˆ ˆ qˆ, ω Sol(D, qˆ, ω ˆ ) khơng bị chặn, từ đó, tồn dãy {y k } ⊂ Sol(D, ˆ) ˆ với cho ||y k || → ∞ Không tổng quát, ta giả sử ||y k ||−1 y k → h ˆ ∈ Rn \{0} Từ Bổ đề 2.2, ta thu h ˆ ∈ rec F(ˆ h ω ) Với z ∈ F(ˆ ω ), ˆ qˆ, ω với k, từ y k ∈ Sol(D, ˆ ) ta có ˆ k + qˆ, z − y k i ≥ hDy Điều kéo theo ˆ k + qˆ, zi − hDy ˆ k + qˆ, y k i ≥ hDy ˆ k + qˆ, zi ≥ hDy ˆ k + qˆ, y k i ⇒ hDy ˆ k + qˆ, zi ≥ hDy ˆ k , y k i + hˆ ⇒ hDy q , y k i (2.28) Chia hai vế (2.28) cho ||y k ||2 cho k → ∞ ta ˆ k + qˆ, zi hˆ q, yk i hDy ˆ ˆ ˆ ≥ hDh, hi + k ||y k ||2 ||y || | | {z } {z } →0 →0 ˆ hi ˆ ≤ Từ giả thiết (a2 ) ta có hD ˆ hi ˆ ≥ Từ hD ˆ hi ˆ = ˆ h, ˆ h, ˆ h, Do hD Từ giả thiết (a1 ), ta có ˆ = ˆ +D ˆ T )h (D (2.29) 41 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Nhân hai vế (2.28) cho ||y k ||−1 cho k → ∞ sử dụng giả thiết (a2 ) ta có ˆ k , y k i hˆ ˆ k , zi hˆ q , zi hDy q, yk i hDy + k ≥ + ||y k || ||y || ||y k || ||y k || q , zi ˆ zi + hˆ ˆ , y k i + hˆ ˆ ˆ h, ⇒ hD ≥ h|{z} Dh q , hi k ||y || =0 | {z } →0 ˆ zi ≥ hˆ ˆ ˆ h, ⇒ hD q , hi (2.30) Từ (2.29) (2.30) ta có ˆ ≤ hˆ q , hi ˆ ≤ ˆ − Dz, ˆ hi ⇒ hˆ q + Dz ˆ − hDz, ˆ ≤ ˆ + qˆ, hi ˆ hi ⇒ hDz ˆ ≤ hDz, ˆ + hD ˆ zi = ˆ + qˆ, hi ˆ hi ˆ h, ⇒ hDz ˆ zi ˆ h, hD ˆ zi ˆ h, hD ˆ zi ˆ h, hD ˆ zi + hD ˆ zi = ˆ T h, ˆ h, hD (2.31) Từ z chọn tùy ý, (2.31) thỏa mãn với z ∈ F(ω) Lấy ˆ ω ¯ q¯, ω ˆ qˆ + γ h, (D, ¯ ) = (D, ˆ ) ta có γ ¯ q¯, ω ˆ qˆ, ω ||(D, ¯ ) − (D, ˆ )|| = < γ Từ (2.31) kéo theo ˆ hi ˆ < với z ∈ F(¯ ¯ = hDz ˆ − γ hh, ¯ + q¯, hi ˆ + qˆ, hi hDz ω ) = F(ˆ ω ) ¯ q¯, ω Điều Sol((D, ¯ )) = ∅, mâu thuẫn với giả thiết (b1 ) Do đó, ˆ qˆ, ω Sol(D, ˆ ) bị chặn (b2 ) ⇒ (b3 ): Giả sử (b2 ) thỏa mãn (b3 ) khơng Khi đó, tồn ˆ ∈ rec F(ˆ phần tử h ω )\{0} cho ˆ ≤0 ˆ + qˆ, hi hDz với z ∈ F(ˆ ω ) (2.32) 42 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ˆ với ˆ qˆ, ω ˆ qˆ, ω Do Sol(D, ˆ ) khác rỗng, tồn xˆ ∈ Sol(D, ˆ ) Lấy z k := xˆ + k h ˆ ∈ rec F(ˆ k = 1, 2, Do h ω ), ta có z k ∈ F(ˆ ω ) với k ||z k || → +∞ k → +∞ Từ (2.32) ta có ˆ = hDˆ ˆ + khD ˆ hi ˆ ≤0 ˆ k + qˆ, hi ˆ x + qˆ, hi ˆ h, hDz với k ˆ hi ˆ ≤ Mặt khác, ta có ˆ h, Bất đẳng thức ta thấy hD ˆ xˆi ˆ hi ˆ ˆ k, zki ˆ x, xˆi ˆ x, hi ˆ h, ˆ h, hDz hDˆ khDˆ khD k hD = + + + ˆ ||ˆ ˆ ||ˆ ˆ ||ˆ ˆ ||z k ||2 ||ˆ x + k h|| x + k h|| x + k h|| x + k h|| ˆ hi ˆ ≥ Do đó, ˆ h, Cho k → +∞ sử dụng giả thiết (a2 ), ta thu hD ˆ hi ˆ = Từ giả thiết (a1 ), ta có ˆ h, hD ˆ = ˆ +D ˆ T )h (D (2.33) Với x ∈ F(ˆ ω ) từ (2.33), ta có ˆ + qˆ, x − xˆ − k hi ˆ ˆ k + qˆ, x − z k i = hD(ˆ ˆ x + k h) hDz ˆ h ˆ i + khD ˆ x − xˆi ˆ x + qˆ, x − xˆi −k hD ˆ h, ˆ h, = hDˆ | {z } | {z } ˆ q ,ˆ ≥0 x ˆ∈Sol(D,ˆ ω) =0 ˆ ˆ x + qˆ, hi − khDˆ ˆ xi − hD ˆ xˆi − hD ˆ xˆi − hˆ ˆ ˆ h, ˆ h, ˆ T h, ≥ k(hD q , hi) ˆ ˆ + qˆ, hi = − khDx = ˆ qˆ, ω ˆ qˆ, ω Từ đó, z k ∈ Sol(D, ˆ ) với k Điều dẫn đến Sol(D, ˆ ) không bị chặn, mâu thuẫn với giả thiết (b2 ) Do (b3 ) thỏa mãn (b3 ) ⇒ (b1 ): Giả sử (b3 ) thỏa mãn Để thu mâu thuẫn, giả sử (b1 ) không thỏa mãn, nghĩa tồn dãy ˆ qˆ, ω {(Dk , q k , ω k )} ⊂ P cho (Dk , q k , ω k ) → (D, ˆ ) Sol(Dk , q k , ω k ) = ∅ với k Từ giả thiết (2.1) thỏa mãn (SCQ) ω ˆ , F(.) nửa liên tục 43 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ω ˆ ta có với xˆ ∈ F(ˆ ω ), với > 0, tồn k0 cho F(ω k )∩B(ˆ x, ) 6= ∅ với k ≥ k0 Vì thế, tồn i0 cho Z i,k = F(ω k ) ∩ {x ∈ Rn : ||x|| ≤ i} (2.34) khác rỗng, compact lồi với i ≥ i0 Áp dụng định lý HartmanStampacchia cho V I(Dk , q k , Z i,k ) thu Sol(Dk , q k , Zi,k ) 6= ∅ với i ≥ i0 , k ≥ k0 Cố định xi,k ∈ Sol(Dk , q k , Z i,k ) ta có hDk xi,k + q k , z − xi,k i ≥ với z ∈ Z i,k (2.35) Giờ ta chứng minh ||xi,k || = i Thật vậy, giả sử phản chứng ||xi,k || = i Khi đó, tồn taị α > cho ¯ k,i , α) := {x ∈ Rn : ||x − xi,k || ≤ α} ⊂ {x ∈ Rn : ||x|| ≤ i} B(x Từ (2.35), hDk xi,k + q k , z − xi,k i ≥ ˆ i,k , α) với z ∈ F(ω k ) ∩ B(x (2.36) Do F(ω k ) lồi α > 0, với z ∈ F(ω k ) tồn t ∈ (0, 1) cho ¯ k,i , α) z(t) := xi,k + t(z − xi,k ) ∈ F(ω k ) ∩ B(x Thế z(t) vào z (2.36) ta có ≤ hDk xi,k + q k , z(t) − xi,k i = thDk xi,k + q k , z − xi,k i Từ ta có hDk xi,k + q k , z − xi,k i ≥ với z ∈ F(ω k ) Vì thế, xi,k ∈ Sol(Dk , q k , ω k ) mâu thuẫn với giả thiết Sol(Dk , q k , ω k ) = ∅ với k Do vậy, ||xi,k || = i với i ≥ i0 k ≥ k0 Cố định i ≥ i0 Khi {xi,k }, k ≥ k0 có dãy hội tụ Không tổng quát, giả sử limk→∞ xi,k = xi với xi ∈ F(ˆ ω ) ||xi || = i Cho k → ∞ biểu thức (2.35) ta ˆ i +ˆ hDx q , z−xi i ≥ với z ∈ Z i := F(ˆ ω )∩{x ∈ Rn : ||x|| ≤ i} (2.37) 44 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ˆ với h ˆ ∈ Rn ||h|| = Do Không tổng quát, giả sử ||xi ||−1 xi → h ˆ ∈ rec F(ˆ {xi } ⊂ F(ˆ ω ) ||xi || → +∞ i → ∞ ta có h ω) Dễ thấy rằng, với z ∈ F(ˆ ω ) tồn iz ≥ i0 cho z ∈ Z i với i ≥ iz ˆ i + qˆ, z − xi i ≥ với i ≥ iz Điều có nghĩa là: Từ (2.37) ta có hDx ˆ i + qˆ, zi ≥ hDx ˆ i , xi i + hˆ hDx q , xi i (2.38) ˆ hi ˆ ≤ Từ ˆ h, Chia hai vế (2.38) cho ||xi ||2 cho i → ∞ thu hD ˆ hi ˆ = Từ giả thiết (a1 ) ta có ˆ h, giả thiết (a2 ) suy hD ˆ = ˆ +D ˆ T )h (D (2.39) Nhân hai vế (2.38) cho ||y k ||−1 ,cho k → ∞ sử dụng giả thiết (a2 ) ˆ zi ≥ hˆ ˆ Từ kết hợp với (2.39) ta ˆ h, ta hD q , hi ˆ = hDz, ˆ + hˆ ˆ zi + hD ˆ zi = ˆ + qˆ, hi ˆ hi ˆ T h, ˆ h, hDz q , hi ≤ hD ˆ ∈ rec F(ˆ ˆ ≤ với z ∈ F(ˆ ˆ + qˆ, hi Từ đó, ta thu h ω ) hDz ω ) Điều mâu thuẫn với (b3 ) (Đpcm) Ví dụ 2.4 Xét toán VI(D,q,ω ) với n = 2, m = 1, ! ! −1 ˆ= ˆ1 = D , qˆ = , D −2 −1 qˆ1 = 0 ! , ! , cˆ1 = 0, ˆ , qˆ1 , cˆ1 ) ∈ Ω Ω = R2×2 ω ˆ = (D Θ+ × R × R Ta có F(ˆ ω ) tập nghiệm g1 (x, Dˆ1 , qˆ1 , cˆ1 ) = xT Dˆ1 x + qˆ1 T x + cˆ1 ≤ 45 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung ⇒ 1 x1 x2 0 ! x1 x2 ! + −1 1 ⇒ 2x2 x1 x2 x1 x2 ! ≤0 ! − x1 ≤ ⇒ x1 ≥ x22 Vậy F(ˆ ω ) = {(x1 , x2 ) ∈ R2 : x1 ≥ x22 } Ta lại có ˆ h = 0, qˆ1T h ≤ 0} rec F(ˆ ω ) = {h = (h1 , h2 ) ∈ R2 : D ! ! 0 h ⇒ rec F(ˆ ω ) = {h = (h1 , h2 ) ∈ R2 : = 0, h2 ! h ≤ 0} −1 h2 ! ! −h ⇒ rec F(ˆ ω ) = {h = (h1 , h2 ) ∈ R2 : = 0, ≤ 0} 2h2 Vậy rec F(ˆ ω ) = {h = (h1 , h2 ) ∈ R2 : h1 ≥ 0, h2 = 0} ˆ hi = −2h22 = từ Dễ thấy (SCQ) thỏa mãn ω ˆ Từ hDh, ˆ +D ˆ T )h = −4h2 = với h = (h1 , h2 ) ∈ rec F(ˆ (D ω ) điều kiện (a1 ) thoả mãn Với dãy {xk = (xk1 , xk2 )} ⊂ F(ˆ ω ) thỏa mãn ||xk || → ∞ ta xét hai trường hợp sau: Trường hợp 1: {xk2 } bị chặn Từ ||xk || → ∞ kéo theo ||xk1 || → ∞ Khi ˆ k , xk i −(xk2 )2 hDx = lim sup = lim sup 2 k ||xk ||2 k→∞ (x1 ) + (x2 ) k→∞ 46 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Trường hợp 2: {xk2 } khơng bị chặn Khi đó, ˆ k , xk i hDx −(xk2 )2 lim sup ≥ lim sup k = k ||xk ||2 k→∞ k→∞ (x2 ) + (x2 ) Từ trường hợp trên, ta có trường hợp (a2 ) thỏa mãn Ta lấy x ˆ = (ˆ x1 , xˆ2 ) = ( 21 , 12 ) ∈ F(ˆ ω ) Khi ˆ x + qˆ, hi = (−ˆ hDˆ x2 + 1)h1 > với h = (h1 , h2 ) ∈ rec F(ˆ ω )\{0} Điều dẫn tới (b3 ) thỏa mãn Theo Định lý 2.4 ta suy (b1 ), (b2 ), (b3 ) thỏa mãn 2.5 Ứng dụng cho toán quy hoạch toàn phương với ràng buộc toàn phương Xét tốn quy hoạch tồn phương với ràng buộc tồn phương sau ( ) T f (x, D, q) = x Dx + q T x : x ∈ F(ω) (QP(D,q,ω )) phụ thuộc vào tham số (D, q, ω) ∈ P với D đối xứng Một điểm x gọi điểm Karush–Kuhn–Tucker (KKT) QP (D, q, ω) tồn nhân tử Lagrange λ ∈ Rm tương ứng với x thỏa mãn (2.7−(2.9)) Tập điểm KKT QP (D, q, ω) ký hiệu KKTQP (D, q, ω) Với giả thiết (SCQ) từ Bổ đề 2.3 ta có KKTQP (D, q, ω) = Sol(D, q, ω) Bởi thế, từ Định lý 2.1 ta có hệ sau ˆ qˆ, ω Hệ 2.3 Nếu biểu thức (2.1) thỏa mãn (SCQ) (D, ˆ ) ∈ P ˆ ∩ rec F(ˆ kerD ω ) = {0}, ánh xạ tập điểm KKT toán QP(D,q,ω ) nửa liên tục ˆ qˆ, ω (D, ˆ ) 47 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Ta ký hiệu QP(D,q,r,A,b) cho tốn quy hoạch tồn phương sau min{f (x, D, q) : x ∈ F(r, A, b)} Tập điểm KKT QP(D,q,r,A,b) ký hiệu KKTQP (D, q, r, A, b) Hệ sau rút từ Định lý 2.2 2.3 ˆ qˆ, rˆ, A, ˆ ˆb) ∈ Γ Giả sử Aˆ Hệ 2.4 Xét toán QP(D,q,r,A,b) (D, ˆ , rˆ, A, ˆ ) nửa liên tục có hạng đầy đủ Nếu hàm đa trị KKTQP (D, ˆ ˆb) KKTQP (D, ˆ qˆ, rˆ, A, ˆ ˆb) (ˆ q , ˆb) biểu thức (2.14) thỏa mãn (SCQ) (ˆ r, A, hữu hạn ˆ qˆ, rˆ, A, ˆ ˆb) ∈ Γ Hệ 2.5 Xét toán QP(D,q,r,A,b) (D, ˆ qˆ, rˆ, A, ˆ ˆb) khác rỗng KKTQP (D, ˆ qˆ, rˆ, A, ˆ ˆb) ∩ Giả sử KKTQP (D, ˆ ˆb) = ∅ Nếu điều kiện sau thỏa mãn: ∂F(ˆ r, A, ˆ qˆ, rˆ, A, ˆ ˆb) hữu hạn; (i) KKTQP (D, ˆ không suy biến (ii) D Thì KKTQP (.) nửa liên tục γˆ Từ Định lý 2.4 ta có hệ sau ˆ qˆ, ω Hệ 2.6 Xét toán QP(D,q,ω ) (D, ˆ ) ∈ P Từ giả thiết Định lý 2.4 ta có bốn khẳng định sau tương đương: ¯ q¯, ω (i) Tồn số γ > cho KKTQP (D, ¯ ) khác rỗng với ¯ ¯ ˆ (D, q¯, ω ¯ ) ∈ P thỏa mãn ||(D, q¯, ω ¯ ) − (D, qˆ, ω ˆ )|| < γ ; ˆ qˆ, ω (ii) KKTQP (D, ˆ ) khác rỗng bị chặn; ˆ + qˆ, vi > với v ∈ rec F(ˆ (iii) {x ∈ F(ˆ ω ) : hDx ω )\{0}} = 0; ∗ ˆ (iv) qˆ ∈ int((rec F(ˆ ω )) − DF(ˆ ω )) 48 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Kết luận Sau thời gian học tập nghiên cứu giảng dạy, hướng dẫn tận tình PGS.TS Nguyễn Năng Tâm thầy giáo, giáo khoa Tốn - Cơ - Tin trường Đại học khoa học tự nhiên - Đại học Quốc gia Hà Nội, em hồn thành luận văn với tiêu đề: "Tính ổn định nghiệm toán bất đẳng thức biến phân afin suy rộng ứng dụng" Luận văn đạt số kết sau: Trình bày khái niệm toán bất đẳng thức biến phân afin, đưa số ví dụ minh họa định lý, bổ đề để chuẩn bị cho phần Đưa kết ổn định nghiệm toán ứng dụng Có thể xem luận văn bước tìm hiểu ban đầu toán bất đẳng thức biến phân afin Em hy vọng có dịp tìm hiểu sâu toán quan trọng tương lai Luận văn hồn thành hướng dẫn tận tình thầy PGS.TS Nguyễn Năng Tâm nghiên cứu làm việc nghiêm túc thân Em xin bày tỏ lòng biết ơn sâu sắc đến thầy Nguyễn Năng Tâm tồn thể thầy giáo khoa Toán - Cơ - Tin học giúp em hoàn thành luận văn 49 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung Tài liệu tham khảo [1] D Kinderlehrer, G Stampacchia An Introduction To Variational Inequalities And Their Applications Philadelphia (PA): Society for Industrial and Applied Mathematics; (2000) [2] G M Lee, N N Tam, N D Yen Quadratic Programming And Affine Variational Inequalities: A Qualitative Study Vol 78, Nonconvex optimization and its application New York (NY): Springer-Verlag; (2005) [3] G M Lee, N N Tam, N D Yen Continuity of the solution map in parametric affine variational inequalities Set-Valued Anal 15:105–123.(2007) [4] J F Bonnans, A Shapiro Perturbation Analysis Of Optimization Problems New York (NY): Springer-Verlag; (2000) [5] M S Gowda , J S Pang On the boundedness and stability of the set of solutions to the affine variational inequality problem SIAM J Control Optim 32:421–441 (1994) [6] M S Gowda, T S Seidman Generalized linear complementarity problems Math Program.46:329–340 (1990) [7] M S Gowda, J S Pang : Stability analysis of variational inequalities and nonlinear complementarity problems, via the mixed linear complementarity problem and degree theory, Mathematics of Operations Research, 19, 831879 (1994b) 50 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung (LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung(LUAN.van.THAC.si).tinh.on.dinh.nghiem.cua.bai.toan.bat.dang.thuc.bien.phan.afin.suy.rong.va.ung.dung
Ngày đăng: 21/12/2023, 04:58
Xem thêm: