Điều kiện tối ưu cấp hai cho bài toán tối ưu đa mục tiêu dưới ngôn ngữ đạo hàm parabolic

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ————————————————— TRẦN QUANG MẠNH ĐIỀU KIỆN TỐI ƯU CẤP HAI CHO BÀI TỐN TỐI ƯU ĐA MỤC TIÊU DƯỚI NGƠN NGỮ ĐẠO HÀM PARABOLIC LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên – 2016 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ————————————————— TRẦN QUANG MẠNH ĐIỀU KIỆN TỐI ƯU CẤP HAI CHO BÀI TOÁN TỐI ƯU ĐA MỤC TIÊU DƯỚI NGƠN NGỮ ĐẠO HÀM PARABOLIC Chun ngành: GIẢI TÍCH Mã số: 60.46.01.02 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 – 2016 Lời cam đoan Tôi xin cam đoan nội dung trình bày luận văn trung thực, không trùng lặp với đề tài khác thơng tin trích dẫn luận văn rõ nguồn gốc Thái Nguyên, tháng năm 2016 Người viết luận văn Trần Quang Mạnh i Lời cảm ơn Luận văn hồn thành khóa 22 đào tạo Thạc sĩ trường Đại học Sư phạm – Đại học Thái Nguyên, hướng dẫn PGS.TS Đỗ Văn Lưu, Viện Tốn học Tơi xin bày tỏ lòng biết ơn chân thành tới thầy hướng dẫn, người tạo cho phương pháp nghiên cứu khoa học, tinh thần làm việc nghiêm túc dành nhiều thời gian, cơng sức hướng dẫn tơi hồn thành luận văn Tơi xin bày tỏ lòng cảm ơn sâu sắc tới thầy cô giáo trường Đại học Thái Nguyên, Viện Toán học, người tận tình giảng dạy, khích lệ, động viên tơi vượt qua khó khăn học tập Tơi xin chân thành cảm ơn Ban lãnh đạo Khoa Sau đại học, Trường Đại học Sư phạm – Đại học Thái Nguyên tạo điều kiện thuận lợi, giúp đỡ suốt thời gian học tập Cuối cùng, xin cảm ơn gia đình, người thân bạn bè động viên, ủng hộ tơi để tơi hồn thành tốt khóa học luận văn Thái Nguyên, tháng năm 2016 Người viết luận văn Trần Quang Mạnh ii Mục lục Lời cam đoan i Lời cảm ơn ii Mục lục iii Mở đầu 1 Tập tiếp tuyến cấp hai đạo hàm theo phương cấp hai 1.1 Tập tiếp tuyến cấp hai 1.2 Đạo hàm theo phương parabolic cấp hai Điều kiện cần tối ưu 14 2.1 Điều kiện cần cấp hai dạng hệ khơng tương thích 14 2.2 Điều kiện cần cấp hai dạng nhân tử Lagrange 18 2.3 Các hệ ví dụ 23 Điều kiện đủ tối ưu 3.1 28 Điều kiện cấp hai dạng nhân tử Lagrange iii 28 3.2 Các hệ 34 Kết luận 39 Tài liệu tham khảo 41 iv Mở đầu Lý chọn đề tài Lý thuyết điều kiện tối ưu đóng vai trò quan trọng lý thuyết toán cực trị Các điều kiện tối ưu cấp hai cho phép ta tìm nghiệm tối ưu trong tập điểm dừng Nhiều kết nghiên cứu điều kiện tối ưu cấp hai cho toán tối ưu đơn đa mục tiêu thiết lập C Gutiérrez, B Jiménez, V Novo ([10], 2010) chứng minh điều kiện tối ưu cấp hai cho toán tối ưu đa mục tiêu với hàm khả vi Fréchet với đạo hàm Fréchet liên tục ổn định Lớp hàm chứa lớp hàm C 1,1 Đây đề tài nhiều tác giả nước quan tâm nghiên cứu Chính tơi chọn đề tài: “Điều kiện tối ưu cấp hai cho toán tối ưu đa mục tiêu ngôn ngữ đạo hàm parabolic” Nội dung đề tài Luận văn trình bày điều kiện tối ưu cấp hai ngôn ngữ đạo hàm parabolic cho toán tối ưu đa mục tiêu với hàm khả vi Fréchet đạo hàm Fréchet chúng liên tục ổn định Luận văn viết dựa báo C Gutiérrez, B Jiménez V Novo, đăng tạp chí Math Programming 123 (2010), 199-223 Luận văn bao gồm phần mở đầu, ba chương, kết luận danh mục tài liệu tham khảo Chương 1: "Tập tiếp tuyến cấp hai đạo hàm theo phương cấp hai" Trình bày toán tối ưu đa mục tiêu (1.1) xét luận văn; khái niệm tập tiếp tuyến cấp hai tập; tính chất mối quan hệ tập tiếp tuyến cấp hai; hàm ổn định; đạo hàm theo phương parabolic radial cấp hai, vi phân Clarke cấp hai mối quan hệ chúng Các khái niệm kết chương Gutiérrez–Jiménez– Novo [10] Chương 2: "Điều kiện cần tối ưu" Trình bày điều kiện cần tối ưu cấp hai Gutiérrez–Jiménez–Novo [10] cho toán (1.1) phát biểu chương với hàm có đạo hàm Fréchet liên tục ổn định, dạng hệ khơng tương thích dạng nhân tử Lagrange với số ví dụ minh họa Chương 3: "Điều kiện đủ tối ưu" Trình bày điều kiện đủ tối ưu cấp hai dạng nhân tử Lagrange Gutiérrez–Jiménez–Novo [10] cho cực tiểu địa phương chặt cấp hai toán tối ưu đa mục tiêu (3.1) với hệ cho toán với hàm khả vi Fréchet hai lần, toán với hàm C 1,1 ví dụ Chương Tập tiếp tuyến cấp hai đạo hàm theo phương cấp hai Chương trình bày tốn tối ưu đa mục tiêu nghiên cứu luận văn, khái niệm tập tiếp tuyến cấp hai với tính chất mối quan hệ chúng, hàm ổn định, đạo hàm theo phương parabolic radial cấp hai, vi phân Clarke cấp hai (ma trận Hessian suy rộng) Các kết chương Gutiérrez–Jiménez–Novo [10] 1.1 Tập tiếp tuyến cấp hai Cho f , g h hàm từ Rn vào Rp , Rm Rr Xét toán tối ưu đa mục tiêu sau: D − Minf (x), (1.1) x ∈ M := g −1 (K) ∩ h−1 (0), D nón lồi đóng nhọn (D ∩ −D = {0}) với phần khác rỗng K ⊂ Rm tập lồi với phần khác rỗng Thứ tự phận Rp xác định quan hệ y ≤D y ⇐⇒ y − y ∈ D Rõ ràng toán (1.1) bao gồm trường hợp đặc biệt toán quy hoạch thông thường với ràng buộc bất đẳng thức gj (x) ≤ 0, j = 1, , m, chọn K góc phần tư (orthant) khơng dương Rm − Cho M tập Rn Ta kí hiệu B(¯ x, δ) hình cầu mở tâm x¯ bán kính δ > 0, int M phần tập M , cl M bao đóng tập M , co M bao lồi tập M cone M nón sinh tập M Nhắc lại điểm x ¯ ∈ M gọi cực tiểu địa phương (cực tiểu yếu địa phương) tốn (1.1), kí hiệu x ¯ ∈ LMin(f, M ) (tương ứng x¯ ∈ LWMin(f, M ) điểm cực tiểu yếu địa phương), tồn lân cận U x ¯ cho (f (M ∩ U − f (¯ x)) ∩ (−D) = {0} (tương ứng (f (M ∩ U − f (¯ x)) ∩ (−intD) = ∅ điểm cực tiểu yếu địa phương) Đặc biệt p = D = R+ , trở khái niệm cực tiểu địa phương biết Nón cực dương tập M ∈ Rn định nghĩa M + = (ξ ∈ Rn : ξ, x ≥ 0, ∀x ∈ M ) Nón tiếp tuyến M x ¯ ∈ Rn T (M, x¯) = {v ∈ Rn : ∃tn → 0+ , ∃vn → v cho x¯ + tn ∈ M, ∀n ∈ N} Sau khái tập tiếp tuyến cấp hai mà ta sử dụng luận văn rỗng Bài toán (3.1) tổng quát so với toán (1.1) với liệu tốn (1.1), (3.1) ta thay Rm Rm × Rr , g (g, h) K K × {0} ta toán (1.1) Với toán (3.1), tập hợp nhân tử Fritz John cho Λ(¯ x) = {(, à) Rp ì Rm : (, à) = (0, 0), λ ◦ f (¯ x) + µ ◦ g (¯ x) = 0, λ ∈ D+ , µ ∈ N (K, g (¯ x))} Khái niệm cực tiểu địa phương chặt cấp q đưa Định nghĩa 3.1 [13] Định nghĩa 3.1.1 Cho q ≥ số nguyên Điểm x ¯ ∈ M gọi cực tiểu địa phương chặt cấp q cho tốn (3.1), kí hiệu x ¯ ∈ Strl(q, f, M ), tồn α > lân cận U x ¯ cho (f (x) + D) ∩ B(f (¯ x), α x − x¯ q ) = ∅, ∀x ∈ M ∩ U \ {¯ x} (3.2) Mỗi cực tiểu địa phương chặt cấp q cấp j , với j ≥ q , cực tiểu địa phương chặt cấp q cực tiểu địa phương, Strl(q, f, M ) ⊂ LMin(f, M ) [13] Khái niệm mở rộng khái niệm cực tiểu địa phương chặt cấp q thơng thường cho tốn tối ưu vơ hướng, tức p = D = R+ , (3.2) tương đương với f (x) ≥ f (¯ x) + α x − x¯ q ∀x ∈ M ∩ U \ {¯ x} Nón phương tới hạn CT (¯ x) = T (M, x¯) ∩ C(f, x¯) Ta có CT (¯ x) ⊂ C(¯ x) := {v ∈ Rn : f (¯ x)v ∈ −D, g (¯ x)v ∈ T (K, g(¯ x))} 29 Với vectơ v ∈ Rn , kí hiệu v ⊥ không gian trực giao với v Bổ đề 3.1.2 Giả sử đạo hàm f f : Rn → Rp ổn định x ¯ cho xn − x¯ − tn v v, w ∈ Rn Nếu wn := → w với tn → 0+ , rn → 0+ tn /rn → tn rn 0, f (xn ) − f (¯ x) − tn f (¯ x)v limn→∞ = f (¯ x)w tn rn Chứng minh Áp dụng bất đẳng thức (1.2) với b = xn = x ¯ + tn v + 21 tn rn wn a = x ¯, ý f ổn định x¯ với số k, ta có f (xn ) − f (¯ x) − tn f (¯ x)(v + rn wn ) ≤ tn v + rn wn sup f (x) − f (¯ x) x∈[¯ x,xn ] 1 ≤ tn v + rn wn k xn − x¯ = kt2n v + rn wn , 2 với n đủ lớn Chia hai vế cho 12 tn rn , ta f (xn ) − f (¯ x) − tn f (¯ x)v tn − f (¯ x)wn ≤ 2k v + rn w n rn 2 tn rn → Bổ đề chứng minh Trong kết phần này, giả thiết sau sử dụng: ta nói tính chất (H) x ¯ ∀v ∈ CT (¯ x) \ {0} ∀w ∈ v ⊥ \{0} mà g (¯ x)w ∈ cl cone[cone(K − g(¯ x) − g (¯ x)v], tồn (λ, µ) ∈ Λ(¯ x) thỏa mãn µ, g (¯ x)w < Định lý 3.1.3 Xét toán (3.1) Giả sử f g ổn định x ¯ ∈ M (H) x¯ Với v ∈ CT (¯ x) \ {0}, điều kiện sau thỏa mãn: 30 (a) ∀w ∈ Rn ∀(x0 , y0 ) ∈ Dr2 (f, g)(¯ x, v) cho g (¯ x)w + z0 ∈ T (k, g(¯ x), g (¯ x)v), tồn (λ, µ) ∈ Λ(¯ x) thỏa mãn λ, y0 + µ, z0 > µ, g (¯ x)w + z0 (3.3) Khi x ¯ ∈ Strl(2, f, M ) Chứng minh Giả sử x ¯ ∈ / Strl(2, f, M ) Khi đó, từ Định nghĩa 3.1.1 với ¯ dn ∈ D cho q = 2, tồn dãy xn ∈ M ∩ B(¯ x, n1 ) \ {x} bn := f (xn ) − f (¯ x) + dn ∈ B(0, t2n ), n (3.4) với tn = xn − x ¯ → 0+ Ta giả sử tồn dãy ta kí hiệu xn , cho xn − x¯ → v ∈ T (M, x¯), với v = (3.5) tn Chia hai vế (3.4) cho tn lấy giới hạn ta f (¯ x)v ∈ −D Như := vậy, v ∈ CT (¯ x) \ {0} Với dãy wn : xn − x¯ − tn v , ta có hai trường hợp: 2 tn • Trường hợp (i): (wn ) bị chặn, ta giả sử (wn ) → w với w ∈ Rn Ta đặt (f, g)(¯ x + tn v + 21 t2n wn ) − (f, g)(¯ x) − tn (f, g) (¯ x)v (yn , zn ) := t n Do (f, g) ổn định x ¯, ta giả sử ( xem chứng minh Mệnh đề 1.2.3) (yn , zn ) → (y, z) với (y, z) ∈ Dp2 (f, g)(¯ x, v, w) Từ Mệnh đề 1.2.4 (ii), (y, z) = (f, g) (¯ x)w + (y0 , zo ) = (f (¯ x)w + y0 , g (¯ x)w + z0 ), 31 (3.6) với (y, z0 ) ∈ Dr2 (f, g)(¯ x, v) Do xn ∈ M , tức g(xn ) ∈ K , zn = g(xn ) − g(¯ x) − tn g (¯ x)v → z = g (¯ x)w + z0 , t n ta suy g (¯ x)w + z0 ∈ T (K, g(¯ x), g (¯ x)v) Từ giả thiết (a), tồn (λ, µ) ∈ Λ(¯ x) thỏa mãn (3.3) Cộng λ, f (¯ x)w vào hai vế (3.3) ý λ ◦ f (¯ x) + µ ◦ g (¯ x) = 0, (3.3) tương đương với λ, f (¯ x)w + y0 > (3.7) Mặt khác, ta chia hai vế (3.4) cho 21 t2n đặt en := 2t−2 x)v), n (dn + tn f (¯ (3.8) yn + en = 2t−2 n bn ∈ B(0, 2/n), (3.9) ta có yn + en → Do (3.6), yn → y = f (¯ x)w + y0 Sử dụng (3.8)–(3.9), ta suy −1 f (¯ x)w + y0 = − lim en = − lim 2t−1 x)v) n (tn dn + f (¯ ∈ -cl cone(D + f (¯ x)v), dn ∈ D D nón Do v ∈ CT (¯ x) ⊂ C(¯ x) λ ◦ f (¯ x) + µ ◦ g (¯ x) = 0, ta suy λ, f (¯ x)v = (xem (2.10)) Do đó, λ ∈ [cl cone(D + f (¯ x)v)]+ Bởi f (¯ x)w + y0 ∈ - cl cone(D + f (¯ x)v), ta có λ, f (¯ x)w + y0 ≤ 32 Điều mâu thuẫn với (3.7) • Trường hợp (ii): Khi wn không bị chặn, ta giả sử wn → +∞ wn w¯n := → w¯ với w¯ ∈ Rn với w¯ = Nếu ta đặt sn := wn −1 → wn + , ta có w¯n = xn − x¯ − tn v xn − x¯ − tn v wn = s n = , wn t t r n n n 2 (3.10) với rn := tn /sn thỏa mãn tn /rn = sn → Hơn nữa, rn → 0+ w¯n = rn xn − x¯ −v tn = − v → w¯n r n (3.11) Như , − v → 0, ta suy rn = − v = − v → w¯n Phương trình (3.11) w ¯ ∈ T (Sn−1 ) = v ⊥ , , v ∈ Sn−1 , Sn−1 mặt cầu đơn vị Rn Bây ta sử dụng (3.10)–(3.11), với (f, g) ổn định x ¯, ta có (f, g)(xn ) − (f, g)(¯ x) − tn (f, g) (¯ x)v → (f (¯ x)w, ¯ g (¯ x)w) ¯ tn rn (3.12) theo Bổ đề 3.1.2, tn /rn → Hơn nữa, g (¯ x)w¯ = limn→∞ 2rn−1 [t−1 x)) − g (¯ x)v] n (g(xn ) − g(¯ ∈ cl cone[cone(K − g(¯ x)) − g (¯ x)v] Từ giả thiết (H), tồn (λ, µ) ∈ Λ(¯ x) cho µ, g (¯ x)w¯ < Cộng λ, f (¯ x)w¯ vào hai vế, biểu thức tương đương với λ, f (¯ x)w¯ > (3.13) Mặt khác, chia hai vế (3.4) cho 21 tn rn lấy giới hạn, ta suy limn→∞ f (xn ) − f (¯ x) − tn f (¯ x)v dn + tn f (¯ x)v + limn→∞ = 1 t r t r n n n n 2 33 Giới hạn thứ f (¯ x)w¯ (3.12) giới hạn thứ hai d¯ := limn→∞ 2rn−1 (t−1 x)v) ∈ cl cone(D + f (¯ x)v) n dn + f (¯ Vì f (¯ x)w¯ = −d¯, λ, f (¯ x)w¯ ≤ 0, mâu thuẫn với (3.13) Nhận xét 3.1.4 Điều kiện (a ) sau kéo theo điều kiện (a) Định lý 3.1.3: (a ) ∀(y0 , z0 ) ∈ Dr2 (f, g)(¯ x, v) ∃(λ, µ) ∈ Λ(¯ x) cho λ, y0 + µ, z0 > sup µ, b (3.14) b∈T (K,g(¯ x),g (¯ x)v) Khi K khả dẫn xuất parabolic g(¯ x), tức T (K, g(¯ x), u) = A2 (K, g(¯ x), u) ∀u ∈ Rm (xem Định nghĩa 6.1 [18]), điều kiện cần (2.11) khác (3.14) dấu ” ≥” dấu ” > ” Theo nghĩa đó, ta nói điều kiện đủ gần với điều kiện cần Nhận xét 3.1.5 Định lý 3.1.3 Hệ 3.2.1, 3.2.2, 3.2.5 ta thay CT (¯ x) cho C(¯ x) CT (¯ x) ⊂ C(¯ x) 3.2 Các hệ Kết sau hệ trực tiếp Định lý 3.1.3 Mệnh đề 1.2.4 (ii) Hệ 3.2.1 Xét toán (3.1) Giả sử f g hàm d2p −khả vi x¯ ∈ M , có đạo hàm f g ổn định x¯ (H) x¯; Với v ∈ CT (¯ x) \ {0}, điều kiện sau thỏa mãn: (a) ∀w ∈ Rn mà d2p g(¯ x, v, w) ∈ T (K, g(¯ x), g (¯ x)v), ∃(λ, µ) ∈ Λ(¯ x) cho λ, d2p f (¯ x, v, w) > Khi x ¯ ∈ Strl(2, f, M ) 34 Từ Hệ 3.2.1, sử dụng Mệnh đề 1.2.4, ta kết sau cho trường hợp hàm khả vi Fréchet hai lần Hệ 3.2.2 Xét toán (3.1) Giả sử f g hàm khả vi Fréchet hai lần x ¯ ∈ M (H) x¯; Với v ∈ CT (¯ x) \ {0}, điều kiện sau thỏa mãn: (a) ∀w ∈ Rn mà g (¯ x)w + g (¯ x)(v, v) ∈ T (K, g(¯ x), g (¯ x)v) ∃(λ, µ) ∈ Λ(¯ x) cho λ, f (¯ x)w + f (¯ x)(v, v) > Khi x ¯ ∈ Strl(2, f, M ) Nhận xét 3.2.3 Điều kiện (a ) sau kéo theo điều kiện (a) Hệ 3.2.2: (a ) ∃(λ, µ) ∈ Λ(¯ x) cho λ, f (¯ x)(v, v) + µ, g (¯ x)(v, v) > sup b∈T (K,g(¯ x),g µ, b (¯ x)v) Để minh họa cho kết trên, ví dụ sau cho thấy khơng có sai khác Định lý 2.2.6 Định lý 3.1.3 Ví dụ 3.2.4 Xét Ví dụ 2.3.6 Với v = (v1 , 0) ∈ C(¯ x) \ {(0, 0)}, theo Ví dụ 3.39 [5] ta có T (K, g(¯ x), g (¯ x)v) = A2 (K, g(¯ x), g (¯ x)v), với µ = (0, 0, −1) ∈ N (K, g(¯ x)), sup b∈T (K,g(¯ x),g (¯ x)v) µ, b = −4v12 (xem Ví dụ 2.3.6) Cho (y0 , z0 ) = 2v12 (a − c, 0, 1, 0) ∈ Dr2 (f, g)(¯ x, v), (λ, µ) = (1, 0, 0, −1) ∈ Λ(¯ x), vế trái (3.14) λ, y0 + µ, z0 = 2(a − c)v12 35 Do (3.14) thỏa mãn a − c > −2 x, v) a − c > −2 Hơn nữa, (3.14) thỏa mãn với (y0 , z0 ) ∈ Dr2 (f, g)(¯ Như vậy, điều kiện (a ) Nhận xét 3.1.4 điều kiện (a) Định lý 3.1.3 thỏa mãn a − c > −2 Cho w = (w1 , w2 ) ∈ v ⊥ \ {(0, 0)}, tức w1 = w2 = 0, g (¯ x)w = (0, 0, w2 ) ∈ cl cone[cone(K − g(¯ x)) − g (¯ x)v] = {(d1 , d2 , d3 ) : d3 ≥ 0}, w2 ≥ Chọn (λ, µ) = (1, 0, 0, −1) ∈ Λ(¯ x), ta có µ, g (¯ x)w = −w2 < Do đó, điều kiện (H) Định lý 3.1.3 thỏa mãn Vì vậy, a − c > −2 ta suy x ¯ cực tiểu địa phương chặt cấp hai Sử dụng Ví dụ 2.3.6, có trường hợp a − c = không chắn, tức kết luận dựa vào Định lý 2.2.6 Định lý 3.1.3 x ¯ cực tiểu địa phương Hơn nữa, ta để ý ví dụ này, vế trái (3.14) âm a − c < Trong trường hợp này, tính tối ưu x ¯ khơng thể suy từ Định lý [7] Sử dụng Mệnh đề 1.2.6, ta nhận kết sau từ Định lý 3.1.3 Hệ 3.2.5 Xét toán (3.1) Giả sử f g hàm C 1,1 lân cận x ¯ ∈ M (H) x¯ Với v ∈ CT (¯ x) \ {0}, điều kiện sau thỏa mãn: 36 (a) ∀w ∈ Rn , ∀(A, B) ∈ ∂ (f, g)(¯ x) cho g (¯ x)w +B(v, v) ∈ T (K, g(¯ x), g (¯ x)v), ∃(λ, µ) ∈ Λ(¯ x) thỏa mãn λ, f (¯ x)w + A(v, v) > Khi x ¯ ∈ Strl(2,f,M) Nhận xét 3.2.6 Dễ dàng kiểm tra điều kiện (a) Hệ 3.2.5 suy điều kiện tương đương: (a’) ∃(λ, µ) ∈ Λ(¯ x) cho ∀(A, B) ∈ ∂ (f, g)(¯ x) ta có λ, A(v, v) + µ, B(v, v) > sup µ, b , b∈T (K,g(¯ x),g (¯ x)v) (a”) ∃(λ, µ) ∈ Λ(¯ x) cho ∀N ∈ ∂ (λf + µg)(¯ x) ta có N (v, v) > sup µ, b b∈T (K,g(¯ x),g (¯ x)v) Ta xét ví dụ sau minh họa cho Hệ 3.2.5 Ví dụ 3.2.7 Xét Ví dụ 2.3.7 (xem thêm Ví dụ 3.2.4) Với v = (v1 , 0) ∈ C(¯ x) \ {(0, 0)} (λ, µ) = (1, 0, 0, −1) ∈ Λ(¯ x), ta biết sup b∈T (K,g(¯ x),g (¯ x)v) µ, b = −4v12 Với (A, B) ∈ ∂ (f, g)(¯ x) ta biết λ, A(v, v) + µ, B(v, v) = (2a + (2β − 1)k0 c)v12 Do đó, điều kiện (a ) Nhận xét 3.2.6 thỏa mãn (và điều kiện (a) Hệ 3.2.5 đúng) 2a + (2β − 1)k0 c > −4, ∀β ∈ [0, 1], tức là, 2a − k0 c > −4 37 (3.15) Điều kiện (H) Hệ 3.2.5 thỏa mãn (xem Ví dụ 3.2.4) Do đó, cách áp dụng hệ ta có x ¯ cực tiểu địa phương chặt cấp hai Trong trường hợp này, có sai khác điều kiện cần (2.17) điều kiện đủ (3.15) Cũng ý điều kiện (3.15) yếu điều kiện a − c > −2 nhận Ví dụ 3.2.4 38 Kết luận Luận văn trình bày kết nghiên cứu Gutiérrez– Jiménez–Novo [10] (2010) điều kiện tối ưu cấp hai ngôn ngữ đạọ hàm theo phương parabolic radial cấp hai cho toán tối ưu đa mục tiêu với hàm khả vi Fréchet đạo hàm Fréchet chúng liên tục ổn định Nội dung luận văn bao gồm: – Các khái niệm tập tiếp tuyến cấp hai, tính chất mối quan hệ tập tiếp tuyến cấp hai đó; – Hàm ổn định tính chất; – Các đạo hàm theo phương parabolic radial cấp hai quan hệ hai đạo hàm này; – Các điều kiện cần tối ưu cấp hai cho cực tiểu yếu địa phương toán tối ưu đa mục tiêu (1.1) dạng hệ khơng tương thích dạng nhân tử Lagrange; – Các điều kiện đủ tối ưu cấp hai cho cực tiểu địa phương chặt cấp hai toán (3.1) dạng nhân tử Lagrange; – Một số ví dụ minh họa Do vấn đề đề cập luận văn tương đối phức tạp, thời gian khả thân hạn chế nên có nhiều cố 39 gắng luận văn khó tránh khỏi thiếu sót Tác giả mong nhận ý kiến đóng góp q báu thầy giáo người quan tâm để luận văn hoàn thiện 40 Tài liệu tham khảo Tài liệu tiếng Việt [1] Đỗ Văn Lưu, Phan Huy Khải (2000), Giải tích lồi, NXB Khoa học Kỹ thuật Tài liệu tiếng Anh [2] Aubin, J P., Frankowska, H (1990), SetValued Analysis, Birkhaă user, Boston [3] Bednarík, D., Pastor, K (2008), "On second order conditions in unconstrained optimization", Math Program, 113, pp 283–298 [4] Ben–Tal, A., Zowe, J (1985), "Directional derivatives in nonsmooth optimization J Optim", Theory Appl, 47, pp 483–490 [5] Bonnans, J F., Shapiro, A (2000), Perturbation analysis of optimization problems, Springer–Verlag, New York [6] Cominetti, R (1990), "Metric regularity, tangent sets, and second order optimality conditions", Appl Math Optim., 21, pp 265–287 41 [7] Ginchev, I., Guerraggio, A., Rocca, M (2005), "Second order conditions in C 1,1 constrained vector optimization", Math Program., 104, pp 2–3, 389–405 [8] Ginchev, I., Ivanov, V (2008), "Second order optimality conditions for problems with C data", J Math Anal Appl., 340, pp 646–657 [9] Guerraggio, A., Luc, D T (2003), "Optimality conditions for C 1,1 constrained multiobjective problems", J Optim Theory Appl., 116, pp 117–129 [10] Gutiérrez, C., Jiménez, B., Novo, V (2010), "On second order Fritz John type optimality conditions is nonsmooth multiobjective programming", Math Program, Ser B 123, pp 199–223 [11] Hiriart–Urruty, J B., Strodiot, J J., Nguyen, V H (1984), "Generalized hessian matrix and second order optimality conditions for problems with C 1,1 data", Appl Math Optim., 11, pp 43–54 [12] Jahn, J., Khan, A A., Zeilinger, P (2005), "Second order optimality conditions in set optimization", J Optim Theory Appl., 125, pp 331– 347 [13] Jiménez, B (2002), "Strict efficiency in vector optimization", J Math Anal Appl., 265, pp 264–284 [14] Jiménez, B., Novo, V (2003), "First and second order sufficient conditions for strict minimality in nonsmooth vector optimization", J Math Anal Appl., 284, pp 496–510 42 [15] Jiménez, B., Novo, V (2003), "Second order necessary conditions in set constrained differentiable vector optimization", Math Methods Oper Res., 58, pp 299–317 [16] Liu, L., Neittaanmăaki, P., Krớzek, M (2000), "Second order optimality conditions for nondominated solutions of multiobjective programming with C 1,1 data", Appl Math., 45, pp 381–397 [17] Maruyama, Y (1990), "Second order necessary conditions for nonlinear optimization problems in Banach spaces and their application to an optimal control problem", Math Oper Res., 15, pp 467–482 [18] Rockafellar, R T., Wets, R J (1998), Variational analysis, Springer, Berlin [19] Ward, D E (1993), "Calculus for parabolic second order derivatives", Set Valued Anal., 1, pp 213–246 43 ... hai cho toán tối ưu đơn đa mục tiêu thiết lập C Gutiérrez, B Jiménez, V Novo ([10], 2010) chứng minh điều kiện tối ưu cấp hai cho toán tối ưu đa mục tiêu với hàm khả vi Fréchet với đạo hàm Fréchet... thuyết điều kiện tối ưu đóng vai trò quan trọng lý thuyết toán cực trị Các điều kiện tối ưu cấp hai cho phép ta tìm nghiệm tối ưu trong tập điểm dừng Nhiều kết nghiên cứu điều kiện tối ưu cấp hai cho. .. parabolic Nội dung đề tài Luận văn trình bày điều kiện tối ưu cấp hai ngôn ngữ đạo hàm parabolic cho toán tối ưu đa mục tiêu với hàm khả vi Fréchet đạo hàm Fréchet chúng liên tục ổn định Luận văn