Đang tải... (xem toàn văn)
ĐẠ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 TOÁ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 z ĐẠI[.]
ĐẠ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 z ĐẠ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 TOÁ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 z 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 z Lời nói đầu Bài tố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à toá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 tố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 toá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 z 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 toá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 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! z 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 tốn bù tuyến tính Tính ổn định nghiệm tố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 toàn phương z 6 12 14 22 25 25 28 33 40 47 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 tố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 toán bù tuyến tính suy rộng GAV I Bài tố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 tồn phương KKT Karush–Kuhn–Tucker z 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 z { 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 tố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(ˆ x ˆ ∈ Sol(V I(ϕ, Θ)) z (1.4) 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 tố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 Θ toá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 ∈ Θ, tốn V I(ϕ, Θ) có nghiệm z (1.5) ... 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... 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. .. 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