ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌCNGUYỄN THANH HẰNG MỘT SỐ PHƯƠNG PHÁP CHIẾU GIẢI BÀI TOÁN TỐI ƯU VÀ BẤT ĐẲNG THỨC BIẾN PHÂN Chuyên ngành: TOÁN ỨNG DỤNG Mã số: 60.46.36 LUẬN VĂN
Trang 1ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC
NGUYỄN THANH HẰNG
MỘT SỐ PHƯƠNG PHÁP CHIẾU GIẢI BÀI TOÁN TỐI
ƯU VÀ BẤT ĐẲNG THỨC BIẾN PHÂN
Chuyên ngành: TOÁN ỨNG DỤNG
Mã số: 60.46.36
LUẬN VĂN THẠC SĨ TOÁN HỌC
Người hướng dẫn khoa học:
GS.TSKH LÊ DŨNG MƯU
THÁI NGUYÊN - NĂM 2012
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Trang 2Mục lục
1.1 Một số khái niệm và tính chất cơ bản 3
1.1.1 Tập lồi và hàm lồi 3
1.1.2 Dưới vi phân 6
1.1.3 Tính đơn điệu 7
1.2 Phép chiếu lên tập lồi 8
2 Phương pháp chiếu giải quy hoạch lồi 14 2.1 Bài toán quy hoạch lồi 14
2.1.1 Mô tả bài toán 14
2.1.2 Sự tồn tại nghiệm tối ưu 16
2.1.3 Điều kiện tối ưu 17
2.2 Phương pháp chiếu dưới gradient xấp xỉ 26
3 Phương pháp chiếu giải bài toán bất đẳng thức biến phân (VIP) 33 3.1 Bài toán bất đẳng thức biến phân 33
3.1.1 Mô tả bài toán 33
Trang 33.1.2 Sự tồn tại nghiệm 34
3.1.3 Các bài toán liên quan 39
3.2 Phương pháp chiếu giải bài toán (VIP) 42
3.2.1 Phương pháp chiếu cơ bản 42
3.2.2 Phương pháp đạo hàm tăng cường 48
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Trang 4Lời cảm ơn
Trong suốt quá trình làm luận văn, tôi luôn nhận được sự hướng dẫn
và giúp đỡ của GS.TSKH Lê Dũng Mưu (Viện Toán học Việt Nam) Tôixin chân thành bày tỏ lòng biết ơn sâu sắc đến thầy
Tôi xin cảm ơn quý thầy, cô giảng dạy lớp cao học khóa 4 (2010 - 2012)
đã mang đến cho tôi nhiều kiến thức bổ ích trong khoa học và cuộc sống.Mặc dù đã có nhiều cố gắng nhưng luận văn khó tránh khỏi những thiếusót Tác giả mong nhận được những ý kiến đóng góp của quý thầy, cô vàbạn đọc để luận văn được hoàn thiện hơn
Xin trân trọng cảm ơn!
Hải Phòng, tháng 05 năm 2012.Người viết Luận văn
Nguyễn Thanh Hằng
Trang 5Mở đầu
Giải tích lồi là bộ môn cơ bản của giải tích hiện đại, nghiên cứu về tậplồi và hàm lồi cùng những vấn đề liên quan Bộ môn này có vai trò quantrọng trong nhiều lĩnh vực khác nhau của toán học ứng dụng, đặc biệt làtrong tối ưu hoá, bất đẳng thức biến phân, các bài toán cân bằng Mộttrong những vấn đề quan trọng của giải tích lồi đó là phép chiếu Đây làmột công cụ sắc bén và khá đơn giản để chứng minh nhiều định lý quantrọng như Định lý tách, Định lý xấp xỉ tập lồi, Định lý về tồn tại nghiệmcủa Bất đẳng thức biến phân Hơn nữa phép chiếu còn được dùng để xâydựng các phương pháp giải nhiều lớp bài toán quan trọng như bài toánquy hoạch lồi, bất đẳng thức biến phân
Bài toán bất đẳng thức biến phân được ứng dụng rộng rãi trong nhiềulĩnh vực khác nhau như kinh tế, kỹ thuật, vật lý toán, vận trù học Bàitoán bất đẳng thức biến phân được giới thiệu bởi Hartman và Stampacchia
việc giải các bài toán điều khiển tối ưu và các bài toán biên của phươngtrình đạo hàm riêng Bài toán bất đẳng thức biến phân trong không gian
vô hạn chiều và các ứng dụng của nó được giới thiệu trong cuốn sách
"An Introduction to Variational Inequalities and Their Applications" của
D Kinderlehrer và G Stampacchia , xuất bản năm 1980 và trong cuốnsách "Variational and Quasivariational Inequalities: Application to FreeBoundary Problems" của C Baiocci và A Capelo , xuất bản năm 1984.Bài toán bất đẳng thức biến phân trong không gian hữu hạn chiều được giớithiệu khá đầy đủ trong cuốn Finite-Dimensional Variational-Inequalitiesand Complementarity Problems của S Facchinei and J Pang (2003)
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Trang 6Những năm gần đây, bài toán bất đẳng thức biến phân đã có nhữngbước phát triển rất mạnh và thu hút được sự quan tâm của nhiều nhànghiên cứu Một trong các hướng nghiên cứu quan trọng của bài toán bấtđẳng thức biến phân là việc xây dựng các phương pháp giải Có rất nhiềuphương pháp giải, trong đó có phương pháp dựa vào cách tiếp cận điểmbất động Ý tưởng chính của phương pháp này là chuyển việc giải bất đẳngthức biến phân về bài toán tìm điểm bất động của một ánh xạ thích hợp.Một trong những cách tiếp cận điểm bất động là dựa trên phương phápchiếu.
Một lớp bài toán quan trọng của bất đẳng thức biến phân là bài toánQuy hoạch lồi là một lớp bài toán cơ bản của tối ưu hóa Một đặc điểm
cơ bản nhất của bài toán này là mọi điểm cực tiểu địa phương đều làcực tiểu tuyệt đối Hơn nữa lý thuyết về bài toán quy hoạch lồi đã đượcquan tâm nghiên cứu và đã thu được nhiều kết quả quan trọng dựa trên
lý thuyết của giải tích lồi và tối ưu hóa Có nhiều phương pháp hữu hiệucho bài toán này, các phương pháp đó được giới thiệu trong cuốn sáchTối ưu lồi (Convex Optimization) của tác giả Stephen Boyd and LievenVandenberghe do nhà xuất bản Cambridge University Press in năm 2004.Mục đích của luận văn này chủ yếu trình bày về ứng dụng của phépchiếu vuông góc vào bài toán bất đẳng thức biến phân và bài toán tôí ưu.Luận văn bao gồm 3 chương: Chương 1 nhắc lại các kiến thức cơ bảncủa tập lồi và hàm lồi, dưới vi phân, tính đơn điệu, phép chiếu lên tập lồi.Chương 2 giới thiệu về bài toán quy hoạch lồi và trình bày phương phápchiếu dưới gradient xấp xỉ Chương 3 giới thiệu bài toán bất đẳng thứcbiến phân và trình bày một số phương pháp chiếu để giải bài toán bấtđẳng thức biến phân
Trang 7Chương 1
Toán tử chiếu lên tập lồi đóng
Dưới đây, ta nhắc lại một số khái niệm và tính chất cơ bản của giải tíchlồi như: Tập lồi, hàm lồi, dưới vi phân, Các kiến thức trong chương nàyđược lấy chủ yếu từ các tài liệu ([1]), ([2]), ([3]) và sẽ được sử dụng ở cácchương sau
1.1 Một số khái niệm và tính chất cơ bản
mọi đoạn thẳng đi qua hai điểm bất kỳ của nó Tức là C lồi khi và chỉ khi
Trang 8Giả sử {Aα}α∈I là họ các tập lồi Cần chứng minh A = T
α∈I
Aα là một tậplồi
• Với mọi x1, x2 ∈ A suy ra x1, x2 ∈ Aα (∀α ∈ I)
• Với mọi α ∈ I Do Aα lồi nên với mọi λ ∈ [0; 1] ta có
Một nón được gọi là nón lồi nếu nó là nón và là một tập lồi
(i) Tập NC x0 := w : wt(x − x0) ≤ 0; ∀x ∈ C được gọi là nón pháp
trong của C tại x0
(ii) Tập NCε x0 := w : wt(x − x0) ≤ ε; ∀x ∈ C được gọi là nón ε pháp tuyến ngoài của C tại x0
Khi đó:
(a) f được gọi là hàm lồi trên C nếu
f (λx + (1 − λ)y) ≤ λf (x) + (1 − λ)f (y), ∀x, y ∈ C, λ ∈ [0, 1]
Trang 9Hàm f được gọi là lồi trên C, nếu nó tựa lồi tại mọi điểm của C.
(d) f được gọi là tựa lồi chặt tại y ∈ C nếu với mọi x ∈ C sao cho
f (x) < f (y) với mọi λ ∈ (0, 1), ta có
f (λx + (1 − λ)y) < f (y)
(e) f được gọi là lồi mạnh trên C với hệ số β > 0 nếu với mọi x, y ∈
C, λ ∈ (0, 1), ta có
f (λx + (1 − λ)y) ≤ λf (x) + (1 − λ)f (y) − λ(1 − λ)β||x − y||2
là lồi mạnh, do đó lồi chặt và lồi Điều ngược lại nói chung không đúng
Ví dụ hàm affine y = ax + b lồi nhưng không lồi chặt, hàm y = 1x lồi chặt
δC(x) :=
( 0 khi x ∈ C+∞ khi x /∈ C
δC(x) là hàm lồi khi và chỉ khi C là tập lồi
Khi đó, miền hữu hiệu của f, kí hiệu là domf, được xác định bởi
domf := {x ∈ C : f (x) < +∞}
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
Trang 10Hàm f được gọi là chính thường nếu:
quanh x0 nếu có L > 0 và lân cận U của x0 sao cho
phân của f tại x0 và kí hiệu là ∂f (x0) Vậy
∂f (x0) := {w ∈ Rn : hw, x − x0i ≤ f (x) − f (x0), ∀x ∈ Rn}
• Hàm f được gọi là khả dưới vi phân tại x0 nếu ∂f (x0) 6= ∅
chỉ trên tập lồi C có dạng
δC(x) :=
0 nếu x ∈ C,+∞ nếu x /∈ C
Trang 11data error !!! can't not
read
Trang 12data error !!! can't not
read
Trang 13data error !!! can't not
read
Trang 14data error !!! can't not
read
Trang 15data error !!! can't not
read
Trang 17data error !!! can't not
read
Trang 18data error !!! can't not
read
Trang 19data error !!! can't not
read
Trang 20data error !!! can't not
read
Trang 21data error !!! can't not
read
Trang 22data error !!! can't not
read
data error !!! can't not
read
Trang 23data error !!! can't not
read
data error !!! can't not
read
Trang 24data error !!! can't not
read
data error !!! can't not
read
Trang 26data error !!! can't not
read
Trang 27data error !!! can't not
read