Điều kiện đủ cấp 2 cho cực tiểu địa phương chặt cấp 2

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM –––––––––––––––––––––––––––– NGUYỄN HUY HÙNG ĐIỀU KIỆN ĐỦ CẤP CHO CỰC TIỂU ĐỊA PHƯƠNG CHẶT CẤP Chuyên ngành: TOÁN GIẢI TÍCH Mã số: 60.46.01 LUẬN VĂN THẠC SỸ TOÁN HỌC Người hướng dẫn khoa học: PGS TS Đỗ Văn Lưu THÁI NGUYÊN – 2011  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 Trang MỞ ĐẦU Chương ĐIỀU KIỆN ĐỦ TỐI ƯU CẤP CHO BÀI TOÁN TỐI ƯU KHÔNG TRƠN VỚI RÀNG BUỘC TẬP 1.1 CÁC KẾT QUẢ BỔ TRỢ 1.2 ĐIỀU KIỆN ĐỦ TỐI ƯU 1.3 BÀI TOÁN VỚI HỮU HẠN RÀNG BUỘC 17 Chương ĐIỀU KIỆN ĐỦ TỐI ƯU CẤP CHO BÀI TOÁN TỐI ƯU KHÔNG TRƠN CÓ RÀNG BUỘC BẤT ĐẲNG THỨC 23 2.1 CÁC ĐIỀU KIỆN ĐỦ CẤP 23 2.2 SO SÁNH VỚI ĐIỀU KIỆN ĐỦ TỐI ƯU CỦA A D IOFFE 40 2.3 ĐIỀU KIỆN ĐỦ TỐI ƯU DƯỚI NGÔN NGỮ HÀM LAGRANGE 45 KẾT LUẬN 51 TÀI LIỆU THAM KHẢO 52 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 Lý thuyết toán tối ưu có nhiều ứng dụng kinh tế nhiều ngành kỹ thuật Các điều kiện đủ tối ưu cấp cho phép ta nhận điểm cực tiểu địa phương chặt cấp Các điều kiện tối ưu cấp cổ điển thường thiết lập ngôn ngữ gradient Hessian hàm mục tiêu hàm ràng buộc toán Với toán tối ưu mà liệu hàm Lipschitz địa phương, người ta thường dùng gradient suy rộng Jacobian suy rộng Clarke thay vai trò gradient Hessian R.W Chaney [7] thiết lập điều kiện đủ tối ưu cấp tổng quát ngôn ngữ gradient suy rộng Clarke cho toán với ràng buộc không gian Euclide n-chiều Ở hàm mục tiêu Lipschitz địa phương, ràng buộc tập đóng Rn Phương pháp chứng minh phản chứng với điều kiện cần tối ưu cấp Clarke [3] tác giả sử dụng để dẫn đến điều kiện đủ tối ưu cấp Các điều kiện đủ cấp cho toán với hàm bán trơn quy vi phân thiết lập Trong [6] R.W Chaney dẫn điều kiện đủ tối ưu cấp cho toán với hữu hạn ràng buộc đẳng thức bất đẳng thức Lipschitz địa phương Ở điều kiện đủ cấp thiết lập ngôn ngữ gradient suy rộng Clarke hàm xây dựng kiểu hàm “quy gọn” Ioffe [9] (“quy gọn” toán xuất phát có ràng buộc hàm thành toán không ràng buộc với hàm mục tiêu “quy gọn”) Luận văn trình bày điều kiện đủ tối ưu cấp Chaney [6,7] cho toán với ràng buộc tập toán với hữu hạn Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ràng buộc hàm, liệu toán hàm Lipschitz địa phương Các điều kiện đủ cấp trình bày ngôn ngữ gradient suy rộng Clarke hàm bổ trợ cho hàm mục tiêu, hàm quy gọn kiểu Ioffe Các điều kiện đủ cấp cho toán với hàm bán trơn quy vi phân trình bày luận văn Luận văn bao gồm phần mở đầu, hai chương, kết luận danh mục tài liệu tham khảo Chương trình bày điều kiện đủ tối ưu cấp tổng quát cho cực tiểu địa phương chặt cấp toán tối ưu với ràng buộc tập, hàm mục tiêu Lipschitz địa phương, ràng buộc tập đóng Rn Các điều kiện đủ tối ưu cấp trình bày chương R.W Chaney [7] ngôn ngữ gradient suy rộng Clarke Các điều kiện đủ cấp cho toán với hàm bán trơn quy vi phân trình bày chương Chương trình bày điều kiện đủ tối ưu cấp cho toán tối ưu có hữu hạn ràng buộc đẳng thức bất đẳng thức Các điều kiện đủ tối ưu cấp trình bày chương R.W Chaney [6] thiết lập ngôn ngữ gradient suy rộng Clarke hàm H M xây dựng theo kiểu hàm quy gọn Ioffe [9] Nhân dịp xin bày tỏ lòng biết ơn chân thành sâu sắc tới thầy giáo PGS.TS Đỗ Văn Lưu, người tận tình hướng dẫn, giúp đỡ hoàn thành luận văn Tôi xin chân thành cảm ơn Ban chủ nhiệm khoa Toán, khoa Sau Đại học trường Đại học sư phạm – Đại học Thái Nguyên thầy cô giáo tham gia giảng dạy khóa học, xin chân thành cảm ơn gia Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn đình, bạn bè đồng nghiệp học viên lớp Cao học Toán K17 quan tâm, giúp đỡ suốt thời gian học tập trình làm luận văn Thái Nguyên, tháng năm 2011 NGUYỄN HUY HÙNG 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 ĐIỀU KIỆN ĐỦ TỐI ƯU CẤP CHO BÀI TOÁN TỐI ƯU KHÔNG TRƠN VỚI RÀNG BUỘC TẬP Chương trình bày điều kiện đủ tối ưu cấp tổng quát cho cực tiểu địa phương chặt cấp toán tối ưu với ràng buộc tập, hàm mục tiêu Lipschitz địa phương ràng buộc tập đóng Rn Các điều kiện đủ tối ưu cấp thiết lập ngôn ngữ gradient suy rộng Clarke Trường hợp toán với hàm bán trơn quy vi phân trình bày chương Các kết trình bày chương R.W.Chaney [7] 1.1 CÁC KẾT QUẢ BỔ TRỢ Gradient suy rộng Cho W tập mở Rn Giả sử f hàm giá trị thực xác định W Hàm f gọi Lipschitz địa phương W với điểm x thuộc W tồn lân cận V  x  số K  x  cho: f ( z )  f ( y )  K ( x) z  y với z y thuộc V x  Trong z  y chuẩn Euclide z  y Định nghĩa 1.1 Giả sử f Lipschitz địa phương W Theo Định lý Rademacher [12], f khả vi hầu khắp nơi W Ký hiệu f gradient f x (khi tồn tại) Gọi E tập hợp tất điểm z W mà f khả vi z Giả sử x thuộc W Gradient suy rộng f Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn x, ký hiệu f (x) , bao lồi tập tất điểm giới hạn dãy hội tụ f ( xk ) , xk  k 1 dãy E hội tụ đến x Đạo hàm theo phương suy rộng f x theo phương d định nghĩa f ( x, d )  lim sup v 0 t  f ( x  v  td )  f ( x  v ) t Ta có (xem [1]):  f ( x )    R n :   , u  f o ( x; u ), u  R n  Nhận xét 1.1 Ta liệt kê số kiện gradient suy rộng mà ta sử dụng sau (xem [1]) Giả sử f hàm Lipschitz địa phương x với số k Khi đó, (a) Hàm f o (x;.) hữu hạn, dương, cộng tính R n f o ( x; v)  k v (b) f o ( y, v) nửa liên tục theo ( y, v); f o ( x;.) Lipschitz (theo v) với số k R n (c) f ( x)  , lồi, compact  k    f ( x)  (d) f ( x; d )  maxv.d : v  f ( x ) ,với x thuộc W d thuộc R n Nói cách khác, f ( x;.) hàm tựa tập lồi f (x ) (e) Cho x thuộc W, hàm f ( x;.) lồi R n Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn (f) Hàm đa trị x  f ( x) nửa liên tục W; Do đó,  xk  vk  hội tụ tương ứng với xW v R n v k  f (x) với k, v f (x ) (g) Định lý giá trị trung bình Lebourg Giả sử x yW Giả sử đoạn thẳng L nối x y nằm W Khi tồn z  L v  f (z ) cho z  x , z  y f ( x)  f ( y )  v.( x  y) với v thuộc Rn với d  R n ta có v.d  limsup t 0 f ( x  td )  f ( x ) t v  f (x ) 1.2 ĐIỀU KIỆN ĐỦ TỐI ƯU Giả sử S tập hợp đóng không gian n–chiều R n W tập mở R n Giả sử điểm x *  S  W f hàm Lipschitz địa phương giá trị thực W Ta xét toán (P) : f ( x ) xS W Nhắc lại [5], tập S quy tiếp tuyến x* nón tiếp liên K ( S , x*) nón tiếp tuyến Clarke T ( S , x*) trùng Nón tiếp tuyến Clarke T ( S , x*) S x* bao gồm tất y  R n cho với dãy tk    xk  hội tụ tới x* với xk  S, tồn dãy  yk  hội tụ đến y cho xk  tk yk S với k Nón tiếp liên K(S, x*) S x* bao gồm tất y  R n nên tồn dãy tk  số Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn dương  xk  hội tụ tới x* với xk  S  xk  x * / tk  hội tụ đến y Hai nón K(S, x*) T(S, x*) đóng T(S, x*) lồi Hơn nữa, T (S, x*)  K(S, x*) Ta đưa vào số ký hiệu Nếu x y  R n   x chuẩn Euclide x , x y tích vô hướng thông thường x y,   B(x,) tập hợp z  R n , z  x   Nếu C tập đóng lồi R n x  C, ta ký hiệu N(C, x) nón pháp tuyến C x Nếu C tập đóng, nón pháp tuyến C x cho N(C, x) = N(T (C, x), 0) Định nghĩa 1.2 Cho  xk  dãy R n hội tụ đến x cho d vectơ đơn vị R n Khi xk  hội tụ tới x theo phương d dãy {(xk – x) / | xk – x |} hội tụ đến d Định nghĩa 1.3 Cho x  W d vectơ đơn vị R n Ta định nghĩa  d f ( x) tập hợp tất v  R n cho tồn dãy  xk  W vk  R n mà: (a)  xk  hội tụ tới x theo phương d; (b) vk  hội tụ đến v; Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn (c) vk  f(xk) với k Ta định nghĩa L(f, x*) tập tất điểm td, d  R n , | d | 1, t  , v0 d  với v0  d f ( x*) Tập L(f, x*) nón đóng Định lý 1.1 Giả sử S, W, x*, f trên, g hàm Lipschitz địa phương giá trị thực W mà g(x*) = f(x*) g(x)  f(x) với x S  W Giả sử rằng, với vectơ đơn vị d* thuộc tập hợp K(S, x*)  L(f, x*), có tương ứng với nón lồi đóng C(d*) mà d*  C(x*) Ta giả sử rằng: (a) ta có w.d  d vectơ đơn vị C(d*) với d* thuộc K(S, x*)  L(f, x*) w gradient suy rộng thuộc  d g ( x*) (b) tồn m*  cho limsup wk ( xk  x*)/ | xk  x*|2  m * với dãy xk  wk  vectơ đơn vị d, d* thỏa mãn: (i)  xk  hội tụ tới x* theo phương d, (ii) d*  K(S, x*)  L(f, x*) d*C(x*), (iii) wk  g (x*) với k, (iv) wk  hội tụ đến w – N(C(d*) + x*, x*) Khi đó, tồn   cho 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 ... ĐIỀU KIỆN ĐỦ TỐI ƯU CẤP CHO BÀI TOÁN TỐI ƯU KHÔNG TRƠN CÓ RÀNG BUỘC BẤT ĐẲNG THỨC 23 2. 1 CÁC ĐIỀU KIỆN ĐỦ CẤP 23 2. 2 SO SÁNH VỚI ĐIỀU KIỆN ĐỦ TỐI ƯU CỦA A D IOFFE 40 2. 3 ĐIỀU KIỆN ĐỦ TỐI... trình bày điều kiện đủ tối ưu cấp tổng quát cho cực tiểu địa phương chặt cấp toán tối ưu với ràng buộc tập, hàm mục tiêu Lipschitz địa phương, ràng buộc tập đóng Rn Các điều kiện đủ tối ưu cấp trình... trình bày điều kiện đủ tối ưu cấp tổng quát cho cực tiểu địa phương chặt cấp toán tối ưu với ràng buộc tập, hàm mục tiêu Lipschitz địa phương ràng buộc tập đóng Rn Các điều kiện đủ tối ưu cấp thiết