1. Trang chủ
  2. » Kinh Doanh - Tiếp Thị

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

27 189 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 27
Dung lượng 326,53 KB

Các công cụ chuyển đổi và chỉnh sửa cho tài liệu này

Nội dung

ĐẠ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 2

Mụ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 3

3.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 4

Lờ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 5

Mở đầ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 6

Nhữ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 7

Chươ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 8

Giả 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 9

Hà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 10

Hà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 11

data error !!! can't not

read

Trang 12

data error !!! can't not

read

Trang 13

data error !!! can't not

read

Trang 14

data error !!! can't not

read

Trang 15

data error !!! can't not

read

Trang 17

data error !!! can't not

read

Trang 18

data error !!! can't not

read

Trang 19

data error !!! can't not

read

Trang 20

data error !!! can't not

read

Trang 21

data error !!! can't not

read

Trang 22

data error !!! can't not

read

data error !!! can't not

read

Trang 23

data error !!! can't not

read

data error !!! can't not

read

Trang 24

data error !!! can't not

read

data error !!! can't not

read

Trang 26

data error !!! can't not

read

Trang 27

data error !!! can't not

read

Ngày đăng: 21/04/2017, 13:24

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w