Dưới vi phân của hàm lồi trong không gian Banach và ứng dụng

ĐẠI HỌC THÁI NGUYÊN ĐẠI HỌC KHOA HỌC ĐÀO VĂN PHƯƠNG DƯỚI VI PHÂN CỦA HÀM LỒI TRONG KHÔNG GIAN BANACH VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên, năm 2012 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mục lục Mục lục Lời cảm ơn Mở đầu Một số kí hiệu Một số kiến thức chuẩn bị 1.1 Không gian Banach 1.2 Tập lồi 1.3 Hàm lồi 14 1.3.1 Định nghĩa 14 1.3.2 Các phép toán hàm lồi 18 1.3.3 Tính liên tục hàm lồi 18 1.3.4 Hàm liên hợp 20 Dưới vi phân hàm lồi 2.1 Định nghĩa ví dụ 23 23 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 2.2 Quan hệ với đạo hàm theo hướng 25 2.2.1 2.3 Các tính chất 31 Một số ví dụ 41 Ứng dụng vi phân vào nghiên cứu toán tối ưu lồi 48 3.1 Bài toán tối ưu lồi 48 3.2 Bài toán lồi ràng buộc 49 3.3 Bài toán lồi có ràng buộc bao hàm thức 49 3.4 Bài toán với ràng buộc đẳng thức 50 3.5 Bài toán lồi với ràng buộc bất đẳng thức 53 Kết luận 57 Tài liệu tham khảo 59 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Lời cảm ơn Tôi xin bày tỏ lòng biết ơn sâu sắc tới PGS.TS Nguyễn Năng Tâm trường Đại học sư phạm Hà Nội hướng dẫn bảo tận tình để hoàn thành luận văn Tôi xin chân thành cảm ơn Giáo sư trường Đại học Khoa học, Viện Toán học, Đại học Thái Nguyên truyền thụ kiến thức cho suốt trình học tập vừa qua Tôi xin cảm ơn quan, bạn bè đồng nghiệp, gia đình chia sẻ, giúp đỡ, động viên, tạo điều kiện thuận lợi để hoàn thiện luận văn Hải phòng, ngày 19 tháng năm 2012 Đào Văn Phương Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mở đầu Giải tích lồi phận quan trọng giải tích toán học, nghiên cứu tập lồi hàm lồi Trong giải tích lồi, khái niệm vi phân khái niệm Có thể xem vi phân mở rộng khái niệm đạo hàm Nhiều tác giả nước nghiên cứu thu kết quan trọng vi phân hàm lồi ứng dụng giải tích phi tuyến môn toán ứng dụng Luận văn trình bày cách có hệ thống nội dung vi phân hàm lồi không gian Banach số ứng dụng vào lý thuyết tối ưu Luận văn gồm chương Chương trình bày kiến thức tập lồi hàm lồi Chương trình bày vi phân hàm lồi không gian Banach Chương trình bày ứng dụng vi phân vào việc nghiên cứu toán tối ưu lồi Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Bảng kí hiệu R Rn R = R ∪ {−∞, +∞} f :D→R δ (x|D) E∗ int A A domf epif f (x) fG (x) f (x; v) ∂f (x) ||.|| |x| x∗ , x KA NA (¯ x) af f A coA f ≤g đường thẳng thực không gian Euclid n - chiều tập số thực suy rộng ánh xạ từ D vào R hàm tập D không gian liên hợp E phần A bao đóng A miền hữu hiệu f đồ thị f đạo hàm Fréchet f x đạo hàm Gâteaux f x đạo hàm theo hướng v f x vi phân f x chuẩn không gian Banach trị tuyệt đối số x giá trị x∗ x nón lồi sinh A nón pháp A x¯ bao lồi affine A bao lồi A f (x) ≤ g(x) với x Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chương Một số kiến thức chuẩn bị Trong chương trình bày khái niệm tập lồi không gian Banach hàm lồi không gian Banach với tính chất đặc trưng Những kiến thức trình bày chương chọn chủ yếu từ tài liệu [1], [2], [4], [5], [6], [7], [8] 1.1 Không gian Banach Cho E không gian vectơ trường số R Định nghĩa 1.1 Một chuẩn, kí hiệu || · ||, E ánh xạ từ E vào R thỏa mãn điều kiện: 1) ||x|| ≥ với x ∈ E ; 2) ||x|| = x = θ (θ kí hiệu phần tử không); 3) ||λx|| = |λ|||x|| với số λ ∈ R x ∈ E ; 4) ||x + y|| ≤ ||x|| + ||y|| với x, y ∈ E Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Số ||x|| gọi chuẩn (hay độ dài) vectơ x ∈ E Một không gian vectơ E với chuẩn xác định không gian ấy, gọi không gian định chuẩn Mệnh đề 1.1 Giả sử E không gian định chuẩn Với x, y ∈ E , đặt ρ(x, y) = ||x − y|| Khi đó, ρ metric E Định nghĩa 1.2 Cho E không gian định chuẩn với chuẩn Nếu E với khoảng cách sinh chuẩn E : ρ(x, y) = ||x − y||, không gian metric đầy đủ E gọi không gian Banach Nếu giả thiết thêm, suốt luận văn này, không gian Banach kí hiệu E Chuẩn không gian Banach kí hiệu Định nghĩa 1.3 Cho E không gian định chuẩn với chuẩn Ta gọi ánh xạ tuyến tính x∗ : E → R phiếm hàm tuyến tính xác định E Nếu x∗ ∈ E ∗ x ∈ E giá trị x∗ x kí hiệu x∗ , x , nghĩa x∗ , x = x∗ (x) Dễ dàng kiểm tra rằng, tập hợp tất phiếm hàm tuyến tính liên tục E với phép cộng ánh xạ tuyến tính phép nhân ánh xạ tuyến tính với số thực lập thành không gian tuyến tính thực Ta gọi không gian không gian liên hợp E kí hiệu E ∗ Không gian liên hợp E ∗ gọi không gian liên hợp thư hai E kí hiệu E ∗∗ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Định lí 1.1 Không gian liên hợp E ∗ E với chuẩn xác định x∗ = sup{ x∗ , y : y ∈ E, y = 0} không gian Banach Tôpô τM sinh metric không gian định chuẩn E ∗ nêu định lý vừa nêu gọi tôpô mạnh E ∗ Định nghĩa 1.4 Tôpô τY E ∗ gọi tôpô yếu hệ thống lân cận của E ∗ tập có dạng ∗ {x∗ ∈ E ∗ : x∗∗ i , x < ε, i = 1, , k}, ∗∗ với i =, , k ε > x∗∗ i ∈E Định nghĩa 1.5 Tôpô τ ∗ E ∗ gọi tôpô yếu* hệ thống lân cận của E ∗ tập có dạng {x∗ ∈ E ∗ : x∗ , xi < ε, i = 1, , k}, xi ∈ E với i = 1, , k Định nghĩa 1.6 Tập A ⊂ E mà đóng (compact, bị chặn) theo tô pô yếu E gọi tập đóng (compact, bị chặn) yếu Tập A đóng (compact, bị chặn) theo tô pô yếu* không gian liên hợp E ∗ E gọi tập đóng yếu* (compact yếu*, bị chặn yếu*) 1.2 Tập lồi Giả sử E không gian Banach, R tập số thực Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Định nghĩa 1.7 Tập A ⊂ E gọi lồi, ∀x1 , x2 ∈ A, ∀λ ∈ R : ≤ λ ≤ ⇒ λx1 + (1 − λ) x2 ∈ A Ví dụ 1.1 Cả không gian E tập lồi Tập A = ∅ tập lồi Mệnh đề 1.2 Giả Aα ⊂ E (α ∈ I) tập lồi, với I tập số Khi A = Aα lồi α∈I Mệnh đề 1.3 Giả sử tập Ai ⊂ E lồi, λi ∈ R (i = 1, 2, , m) Khi λ1 A1 + + λm Am tập lồi Mệnh đề 1.4 Giả sử Ei không gian Banach, tập Ai ⊂ Ei lồi (i = 1, 2, , m) Khi tích Đềcác A1 × × Am tập lồi E1 × × Em Mệnh đề 1.5 Giả sử E1 , E2 không gian Banach, T : E1 → E2 toán tử tuyến tính Khi đó, a) A ⊂ E1 lồi T (A) lồi; b) B ⊂ E2 lồi nghịch ảnh T −1 (B) B tập lồi Định nghĩa 1.8 Véc tơ x ∈ E gọi tổ hợp lồi véctơ m x1 , , xm thuộc E , ∃λi ≥ λi = cho (i = 1, 2, , m) , i=1 m x= λi xi i=1 Định lí 1.2 Giả sử tập A ⊂ E lồi; x1 , , xm ∈ A Khi A chứa tất tổ hợp lồi x1 , , xm Định nghĩa 1.9 Giả sử A ⊂ E Giao tất tập lồi chứa A gọi bao lồi (convex hull) tập A, kí hiệu coA Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read ... thu kết quan trọng vi phân hàm lồi ứng dụng giải tích phi tuyến môn toán ứng dụng Luận văn trình bày cách có hệ thống nội dung vi phân hàm lồi không gian Banach số ứng dụng vào lý thuyết tối ưu... Chương trình bày kiến thức tập lồi hàm lồi Chương trình bày vi phân hàm lồi không gian Banach Chương trình bày ứng dụng vi phân vào vi c nghiên cứu toán tối ưu lồi Số hóa Trung tâm Học liệu –... Mở đầu Giải tích lồi phận quan trọng giải tích toán học, nghiên cứu tập lồi hàm lồi Trong giải tích lồi, khái niệm vi phân khái niệm Có thể xem vi phân mở rộng khái niệm đạo hàm Nhiều tác giả