1. Trang chủ
  2. » Luận Văn - Báo Cáo

Luận văn thạc sĩ toán học độ nhạy của nghiệm hữu hiệu và điều kiện tối ưu

92 225 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 92
Dung lượng 1,71 MB

Nội dung

TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THỊ HỒNG ĐỘ NHẠY CỦA NGHIỆM HỮU HIỆU VÀ ĐIỀU KIỆN TỐI ƯU LUẬN VĂN THẠC SĨ TOÁN HỌC TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THỊ HỒNG ĐỘ NHẠY CỦA NGHIỆM HỮU HIỆU VÀ ĐIỀU KIỆN TỐI ƯU 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 PGS.TS. ĐỖ VĂN LƯU Mục lục Mục lục . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i Mở đầu 1 Nội dung 4 1 ĐỘ NHẠY CỦA NGHIỆM HỮU HIỆU CỦA BÀI TOÁN ĐA MỤC TIÊU TUYẾN TÍNH 4 1.1 Bài toán nhiễu . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Độ nhạy của đỉnh . . . . . . . . . . . . . . . . . . . . . . . 6 1.3 Độ nhạy của diện . . . . . . . . . . . . . . . . . . . . . . . 14 2 ĐỘ NHẠY VÀ ĐIỀU KIỆN TỐI ƯU CHO NGHIỆM CỦA BÀI TOÁN ĐA MỤC TIÊU PHI TUYẾN 19 2.1 Các khái niệm và kết quả bổ trợ . . . . . . . . . . . . . . . 19 2.2 Điều kiện cần cấp 1 và cấp 2 cho nghiệm hữu hiệu . . . . . 22 2.3 Điều kiện đủ cấp hai cho nghiệm hữu hiệu . . . . . . . . . . 29 2.4 Phân tích độ nhạy của nghiệm hữu hiệu . . . . . . . . . . . 31 Kết luận 42 Tài liệu tham khảo44 1 Mở đầu Việc nghiên cứu sự phụ thuộc của nghiệm tối ưu của một bài toán tối ưu đơn hoặc đa mục tiêu theo các tham số nhiễu đóng một vai trò quan trọng trong lý thuyết tối ưu hóa. Ta gọi đó là các nghiên cứu về độ nhạy (sensitivity) của nghiệm tối ưu. Các kết quả nghiên cứu theo hướng này chỉ ra sự bảo toàn các tính chất nào đó của nghiệm tối ưu sau một nhiễu nhỏ. Lí thuyết độ nhạy của nghiệm hữu hiệu có nhiều ứng dụng trong kinh tế, vật lý, cơ học và một số ngành khoa học khác. S. Bolitinéanu và B.D Craven [5] đã nghiên cứu độ nhạy của nghiệm hữu hiệu của bài toán tối ưu đa mục tiêu tuyến tính trong trường hợp đa diện chấp nhận được không suy biến. M. El Maghri [8] nghiên cứu độ nhạy của nghiệm hữu hiệu của bài toán đa mục tiêu tuyến tính mà trong đó đa diện chấp nhận được có thể suy biến. Tác giả thiết lập các điều kiện cần và đủ cấp 2 cho đỉnh hữu hiệu và diện hữu hiệu của bài toán nhiễu. S. Bolitinéanu và M. El Maghri [6] nghiên cứu các điều kiện đủ để nghiệm hữu hiệu của bài toán nhiễu thuộc lớp C1 theo tham số nhiễu. Ở đây các tác giả nghiên cứu bài toán tối ưu đa mục tiêu phi tuyến khả vi Fréchet, có các ràng buộc đẳng thức và bất đẳng thức trong các không gian Banach vô hạn chiều. Trong trường hợp hữu hạn chiều, các tác giả thiết lập các điều kiện đủ để nghiệm hữu hiệu của bài toán nhiễu là Lipschitz địa phương theo tham số nhiễu. Luận văn trình bày các kết quả nghiên cứu về độ nhạy của đỉnh hữu hiệu và diện hữu hiệu của bài toán đa mục tiêu tuyến tính nhiễu, độ nhạy Fréchet và độ nhạy Lipschitz của nghiệm hữu hiệu của bài toán đa mục tiêu phi tuyến với hàm các hàm khả vi Fréchet. Luận văn bao gồm phần mở đầu, hai chương, kết luận và danh mục các tài liệu tham khảo. 2 Chương 1 trình bày các kết quả nghiên cứu của E. El Maghri [8] về độ nhạy của nghiệm hữu hiệu của bài toán đa mục tiêu tuyến tính nhiễu. Chú ý rằng các đỉnh của tập chấp nhận được có thể suy biến hoặc không suy biến. Các điều kiện cần và đủ cấp 2 cho đỉnh hữu hiệu và diện hữu hiệu của bài toán nhiễu được trình bày trong chương này. Chương 2 trình bày các điều kiện cần và đủ cấp 1 và cấp 2 của S. Bolitinéanu và E. El Maghri [6] cho nghiệm hữu hiệu của bài toán tối ưu đa mục tiêu phi tuyến với các hàm mục tiêu và ràng buộc khả vi Fréchet trong không gian Banach cùng với các điều kiện đủ để nghiệm hữu hiệu của bài toán nhiễu thuộc lớp C1 theo tham số nhiễu. Trong trường hợp hữu hạn chiều, các điều kiện đủ để nghiệm hữu hiệu của bài toán nhiễu là Lipschitz địa phương theo tham số nhiễu cũng được trình bày trong chương này. Nhân dịp này tác giả xin bày tỏ lòng biết ơn sâu sắc tới PGS. TS. Đỗ Văn Lưu đã hướng dẫn và chỉ bảo tận tình trong suốt quá trình làm luận văn. Thầy đã dành nhiều thời gian hướng dẫn và giải đáp các thắc mắc trong suốt quá trình làm luận văn. Tôi xin được bày tỏ lòng biết ơn sâu sắc đến thầy. Tác giả cũng xin gửi lời cảm ơn chân thành đến Ban giám hiệu, phòng Đào tạo, khoa Toán - Tin Trường Đại học Khoa Học, Đại học Thái Nguyên đã tạo điều kiện thuận lợi trong suốt quá trình học tập tại trường. Xin chân thành cảm ơn gia đình, bạn bè đồng nghiệp và các thành viên trong lớp cao học toán K3b đã luôn quan tâm, động viên, giúp đỡ tôi trong suốt thời gian học tập và quá trình làm luận văn. Tuy bản thân có nhiều cố gắng, song thời gian và năng lực của bản thân có hạn nên luận văn khó tránh khỏi những thiếu sót. Rất mong được sự đóng góp ý kiến của các thầy cô cùng toàn thể bạn đọc. Thái Nguyên, tháng 09 năm 2011. Tác giả 3 Nguyễn Thị Hồng 4 Chương 1 ĐỘ NHẠY CỦA NGHIỆM HỮU HIỆU CỦA BÀI TOÁN ĐA MỤC TIÊU TUYẾN TÍNH Chương này trình bày các kết quả nghiên cứu của M. El Maghri [8] về độ nhạy của nghiệm hữu hiệu của bài toán đa mục tiêu tuyến tính nhiễu. Chú ý rằng các đỉnh của tập chấp nhận được có thể suy biến hoặc không suy biến. Các điều kiện cần và đủ cấp hai cho đỉnh hữu hiệu dưới một nhiễu nhỏ được trình bày cùng với các điều kiện cần và đủ cho diện hữu hiệu nhiễu đi qua một đỉnh như vậy. 1.1 Bài toán nhiễu Ta xét độ nhạy của bài toán đa mục tiêu tuyến tính nhiễu sau đây: (Pp) min C(p)x, A(p)x = b(p), x ≥ 0, trong đó [C(.),A(.),b(.)] : N(0) → Rr×n ×Rm×n ×Rm là các hàm của tham số nhiễu p ∈N(0),N(0) là lân cận của điểm gốc 0 ∈Rq. Ở đây ta có thể giả thiết rằng bài P toán không nhiễu tương ứng với p = 0. Đa diện chấp nhận được của ( p) là 5 Γ(p) = {x ∈Rn : A(p)x = b(p),x ≥ 0}. Với mỗi p, tập các nghiệm hữu hiệu (nghiệm Pareto) và tập các nghiệm hữu P hiệu yếu của ( p) tương ứng là Ee(p) = {x ∈ Γ(p) : @x0 ∈ Γ(p),C(p)x0 ≤ C(p)x,C(p)x0 6= C(p)x}, và Ew(p) = {x ∈ Γ(p) : @x0 ∈ Γ(p),C(p)x0 < C(p)x}. Để đơn giản cho việc trình bày, ta kí hiệu Eσ(p) là tập điểm σ- hữu hiệu phụ thuộc vào việc lựa chọn σ ∈{w,e}. Với p = 0, ta kí hiệu (P0) := (P),Γ(0) := Γ,C(0) := C,A(0) := A,b(0) := b. Với mỗi p, xét ánh xạ đa trị E(.,p) : Rr → 2Γ(p) xác định với mọi λ ∈Rr bởi E(λ,p) = arg min λTC(p)x, (1.1) x∈Γ(p) trong đó λT là chuyển vị của vectơ λ. Ta có kết quả vô hướng hóa sau đây (xem [14]): Eσ(p) = E(Λσ,p), (1.2) trong đó , nếu σ = w, nếu σ = e. Tất cả các kết quả trình bày trong chương này đúng trong trường hợp tổng quát hơn khi nón thứ tự được thay tương ứng bởi một tập con đóng bất kỳ Q và một nón lồi nhọn có phần trong không rỗng. Quan hệ thứ tự bộ phận được xác định tương ứng bởi 6 y0 ≤ y ⇔ y − y0 ∈ Q, và y0 < y ⇔ y − y0 ∈ intQ. Trong trường hợp này được thay thế trong Λσ bởi nón cực của Q khi σ = w và bởi nón cực chặt của Q khi σ = e. Giả thiết tổng quát (i) C(.) là liên tục tại p = 0 và b(.) là lớp C2 tại p = 0. (ii) A có hạng đầy (tức là rank A=m) và m < n. 1.2 Độ nhạy của đỉnh Giả sử v là một đỉnh của đa diện Γ. Như vậy rank A = m. Khi đó tồn tại B ⊂{1,...,n} sao cho (sắp xếp lại các hàng nếu cần): (1.3) trong đó A−B1b ≥ 0,A−B1 là ma trận nghịch đảo của AB (rank AB = m) với phân hoạch A = [ABAN] (sắp xếp lại các cột của A nếu cần) và N = {1,...,n}\B. Cũng sắp xếp lại các biến, ta có thể viết: . (1.4) Cùng cách phân hoạch ma trận A(p) = [AB(p)AN(p)]. Thế thì với mọi p gần 0, do tính liên tục của ánh xạ A(.), ma trận AB(p) là khả nghịch, và do đó 7 Vì vậy ta có thể xác định nhiễu của v bởi (1.6) Nhắc lại rằng nếu A−B1b > 0 thì đỉnh v hoặc cơ sở B được gọi là không suy biến, và trong trường hợp này, B là cơ sở duy nhất xác định v theo (1.3). Ngược lại, v là đỉnh suy biến và nó có thể xác định bởi một số cơ sở suy biến. Như vậy, giả sử B(v) = {B ⊂{1,...,n} : B xác định v}. (1.7) Nhận xét 1.1 Khi v là không suy biến thì với mọi p gần 0, do tính liên tục, AB−1(p)b(p) > 0. Khi đó theo (1.5), (1.6), v(p) là đỉnh của Γ(p) với mọi p gần 0. Do đó nó là đỉnh nhiễu của v. Ta có thể thấy trong ví dụ sau đây khi v là suy biến, v(p) được cho bởi (1.6) có thể không là điểm chấp nhận được với bất kỳ B ∈B(v) và p 6= 0. Ví dụ 1.1 Với mỗi tham số nhiễu p ∈R, ta xét bài toán min x1, ( x1 − x2 = p, x1 ≥ 0,x2 ≥ 0. Ta có v = (0,0) là đỉnh suy biến của đa diện không nhiễu Γ(p = 0). Nhưng với mọi p < 0,v(p) = (p,0) cho bởi (1.6) với B = {1} là không chấp nhận được, và với mọi p > 0,v(p) = (0,−p) với B = {2} cũng không chấp nhận được. Do đó, ta tìm một số điều kiện đảm bảo rằng với mọi p gần 0, v(p) là đỉnh chấp nhận được của đa diện Γ(p). Ta xét các tập chỉ số: 8 D = {i ∈ B : (A−B1b)i = 0}, (1.8) Dc = {i ∈ B : (A−B1b)i > 0}. (1.9) và Sắp xếp lại phân hoạch các cột của AB và các hàng của A−B1 như sau: . Với mọi chỉ số i ∈ D, ta kí hiệu hàng thứ i của (A−B1)D bởi và với bất kỳ chỉ số j,k ∈{1,...,q}, . Bổ đề sau đây trình bày điều kiện cần và đủ cấp 2 cho tính chấp nhận được của v(p) với mọi p gần 0. Bổ đề 1.1 Cho B ∈B(v) và v(p) được xác định bởi (1.6). 1. Các điều kiện sau đây là các điều kiện cần để với mọi p gần 0, v(p) ∈ Γ(p): (i) Với mọi i ∈ D, vectơ , và (ii) Với mọi i ∈ D, q × q− ma trận đối xứng thực 9 là bán xác định dương. 2. Các điều kiện sau đây là các điều kiện đủ để với mọi p gần 0 , v(p) ∈ Γ(p): (i)Với mọi i ∈ D , vec tơ J(i) = 0, và (ii)Với mọi i ∈ D, ma trận H(i) là xác định dương. Chứng minh Tính chấp nhận được của v(p) theo (1.5), (1.6) tương đương với A−B1(p)b(p) ≥ 0. Điều này tương đương với , bởi vì theo (1.9) và tính liên tục (A−B1)Dc(p)b(p) > 0 với mọi p gần 0. Kí hiệu vi(p) = A−i 1(p)b(p) với mỗi i ∈ D. Sử dụng (1.8) ta suy ra vi(p) ≥ 0 tương đương với vi(p) ≥ vi(0) với mọi p gần 0. Điều đó có nghĩa là 0 ∈Rq là cực tiểu địa phương của mỗi hàm vô hướng p →7 vi(p) (∀i ∈ D.) Do đó, Jacobian (1.10) và ma trận Hessian (1.11) 10 bán xác định dương là các điều kiện cần. Điều kiện đủ là (1.10) đúng và ma trận Hessian cho bởi (1.11) là xác định dương. Như vậy ta sẽ chỉ ra rằng (1.10) và (1.11) tương ứng là J(i) và H(i) được cho trong bổ đề. Từ A−B1(p)AB(p) = Im, trong đó Im là m × m− ma trận đồng nhất. Với mọi j ∈{1,...,q}, ta có . (1.12) Từ đó suy ra với mọi i ∈ D, . (1.13) Sử dụng (1.13) và đạo hàm một tích, ta nhận được (1.14) . Với p = 0, theo (1.8), (1.14) ta nhận được J(i) của bổ đề. Mặt khác, để xác định các hệ số Hessian của vi tại 0, ta đánh giá đạo hàm riêng của (1.14) bằng cách sau: . 11 Sử dụng (1.10) và cách đánh giá (∂vi/∂pj)(0), ta nhận được Cuối cùng, bằng cách sử dụng (1.8), (1.15 ) để đánh giá (∂2vi/∂pk∂pj)(0) ta nhận được H(i). Bổ đề được chứng minh. 12 13                           14   ˚ ˚    −∗  ˚  ∈→  ⊂−∗ ˚    ∈ ˚     ∈−∗∗  ≥−≤− ∈⊂ 15         −∗  ˚  →∗ ∈∗˚  ∗˚    ∈ −−−≤−−    ∈∗−∗ 16  ∼    ˚   ˚  ˚∗ ∗ ˚ ∈ −−≥∀∈  ≡→∗ ∗˚   ∅⊂   17 ˚ ˚˚  ∈∗−≤→  ≡→∗ −≤∀∈→    ˚  ˚˚ →∗˚   ˚      ∈∗˚ ˚   ∈∗˚ ∗ ∗  18  − −−−  −≤− −≥−    ≥   −− −−−− ≥− ˚ ˚   ∗˚ ∈−− −∗−−∗−  ≤−−  ˚ 19   ˚  ˚   ˚→   −−≥∀∈ ˚ −∀∈∈→  −−≥∀∈ ∈  ≤−≤−∗−∀∈ ˚− −→ −∗−≥∀∈ −∗−∗≥−∗−∗−∗ 20 −∗≤−∗∀∈        →∗     ˚       ≡    21 →  ∃≥∀∈≥∀ ∈˚  ˚ ≥≤⇒−     22 Nhận xét 1.2 Nếu ta chỉ nhiễu vế phải của tập chấp nhận được, nghĩa là A(p) ≡ A(0) không phụ thuộc vào p, thì với mọi i ∈ D: ,và , 23 trong đó (tương ứng bj) là thành phần thứ j của vectơ ( tương ứng b) và ∇ là toán tử đạo hàm. Ví dụ sau đây cho thấy rằng ngay cả khi v là σ- hữu hiệu, thì v(p) vẫn có thể không là σ- hữu hiệu với bất kỳ p 6= 0. Ví dụ 1.2 Với mỗi tham số nhiễu p > 0, xét bài toán min (x2 − px1,x2 − 2px1), ( 0 ≤ x1 ≤ 1, 0 ≤ x2 ≤ 1. Trong ví dụ này, ta có Γ(p) ≡ Γ(0) = [0,1]×[0,1] và Ee(0) = Ew(0) = đoạn thẳng đóng nối điểm gốc với điểm (1,0) trong R2. Mặt khác, với p > 0, ta có Ee(p) = Ew(p) = {(1,0)}. Đỉnh v(p) ≡ v(0) = (0,0) là σ- hữu hiệu với p = 0 và không là σ-hữu hiệu với mọi p > 0. Vì vậy ta tìm các điều kiện đảm bảo rằng v là σ-hữu hiệu và bảo đảm tính chất này với độ nhiễu nhỏ. Ta phân hoạch ma trận C = [CBCN]. Do (1.4), (1.3) ta nhận được ∀x ∈ Γ, Cx = CBxB + CNxN = CbNxN + Cv, (1.16) trong đó CbN là rút gọn của ma trận C theo N tức là CbN = CN − CBA−B1AN. Ta cũng xét tập sau: S(v) := {B ∈B(v) : B thỏa mãn điều kiện đủ của bổ đề 1.1}. (1.18) (1.17) 24 Định lý sau đây chỉ ra rằng trong hầu hết các trường hợp, đỉnh nhiễu vẫn là σhữu hiệu ngay cả trong trường hợp suy biến. Định lý 1.1 Cho v là đỉnh bất kỳ (suy biến hoặc không) của đa diện Γ 1. v là σ- hữu hiệu của (P) khi và chỉ khi : ∃λ ∈ Λσ,∃B ∈B(v) : λTCbN ≥ 0. 2. Mỗi khẳng định sau đây là một điều kiện đủ để với mọi p gần 0, v(p) cho bởi (1.6) theo cơ sở B, là đỉnh σ-hữu hiệu của (Pp): (i) ∃λ ∈ Λσ,∃B ∈S(v) : λTCbN > 0, hoặc (ii) Ma trận A(p) ≡ A(0),C(p) ≡ C(0) không phụ thuộc vào p, ( tức là chỉ có nhiễu vế phải của tập chấp nhận được) và ∃λ ∈ Λσ,∃B ∈B(v) : λTCbN ≥ 0. Chứng minh 1. Ta có thể tách chặt một đỉnh từ đa diện của nó: ∃d ∈Rn \{0} : ∀x ∈ Γ \{v},dTv < dTx. (1.19) Mặt khác, bởi vì v là σ-hữu hiệu của (P), theo (1.2) tồn tại λ ∈ Λσ sao cho v ∈E(λ,0), tức là ∀x ∈ Γ,λTCv ≤ λTCx. Từ (1.19) suy ra với mọi k ∈N∗, đỉnh v là nghiệm tối ưu duy nhất của mỗi bài toán nhiễu vô hướng sau đây: 25 minc(k)x, (1.20) x∈Γ trong đó c(k) := λTC + (1/k)dT. Trong thuật toán đơn hình (xem [13]) với mỗi bài toán vô hướng (1.20), cần xác định cơ sở tối ưu cho nghiệm tối ưu v duy nhất của (1.20). Vì vậy tiêu chuẩn tối ưu đơn hình sau đây đúng , (1.21) trong đó là hàm mục tiêu rút gọn và Nk = {1,...,n}\Bk. Mặt khác, ta có , trong đó và CbNk cho bởi (1.17). Nhưng dãy (Bk)k thuộc tập hữu hạn B(v) cho bởi (1.7). Do đó tồn tại dãy dừng (Bkj)j ⊂B(v), tức là ∃J ∈N∗ : ∀j ≥ J,Bkj = BkJ. Đặt B = BkJ. Khi đó N = NkJ và theo (1.21), (1.22) ta có . Cho j % +∞ ta nhận được điều kiện cần. Ta có ngay điều ngược lại. Thật vậy, nếu λTCbN ≥ 0 thế thì theo (1.4), (1.16) ta có ∀x ∈ Γ,λTCx = λT(CbNxN + Cv) ≥ λTCv, có nghĩa là v ∈E(λ,0). Do đó theo (1.2) v là σ- hữu hiệu của (P). (1.22) 26 2. Bây giờ giả thiết rằng tồn tại B ∈ S(v), trong đó S(v) được cho bởi (1.18). Theo bổ đề 1.1, với mọi p gần 0, v(p) cho bởi (1.6) theo cơ sở B, tức là B ∈B(v(p)) là đỉnh của Γ(p). Giả sử rằng điều kiện (i) đúng và xét ma trận sau: CbN(p) = CN(p) − CB(p)A−B1(p)AN(p). (1.23) Bởi vì p 7→ CbN(p) liên tục tại p = 0, từ (i) suy ra với mọi p gần 0 λTCbN(p) > 0, và do B ∈B(v(p)), khẳng định 1 áp dụng cho bài toán (Pp) ta suy ra v(p) là σhữu hiệu của (Pp) với mọi p gần 0. Bây giờ nếu ta giả sử điều kiện (ii) đúng, thế thì ma trận CbN(p) ≡ CbN. Do đó, λTCbN(p) ≥ 0 với mọi p. Vì vậy, chứng minh giống như trên ta suy ra điều phải chứng minh. Nhận xét 1.3 Khi lấy λ = 1, dễ thấy rằng định lý 1.1 cũng áp dụng được cho bài toán tuyến tính vô hướng (bài toán (P) với r = 1). Nhận xét 1.4 Trong trường hợp không suy biến, ta có thể bỏ cụm từ ”∃B ∈B(v) ” trong định lí 1.1 bởi vì bất kì đỉnh không suy biến nào cũng xác định bởi cơ sở duy nhất B (tức là B(v) có một phần tử). Ta cũng có thể bỏ cụm từ ”∃B ∈S(v)” bởi vì do nhận xét 1.1, v(p) ∈ Γ(p) với mọi p gần 0. 1.3 Độ nhạy của diện Cho F là một diện của đa diện đi qua một đỉnh của nó (suy biến hoặc không suy biến), trong đó đỉnh v cho bởi (1.3). Ta biết rằng F có thể được xác định 27 bởi B ∈B(v) và I ⊂{1,...,n} (nói chung I ⊂6 N trừ khi v là không suy biến) tức là F = {x = (xB,xN) ∈ Γ : xI = 0} (1.24) Nhiễu của F là diện sau đây của đa diện nhiễu Γ(p) F(p) = {x ∈ Γ(p) : xI = 0} (1.25) Cũng như trong phần trước, ta sẽ trình bày các điều kiện cần và đủ để diện F(p) là σ- hữu hiệu (tức là F(p) ⊂ Eσ(p)) với mọi p gần 0. Định lý 1.2 Giả sử F là một diện đi qua đỉnh v (suy biến hoặc không) của đa diện Γ. 1. F là σ- hữu hiệu của (P) nếu và chỉ nếu: ∃λ ∈ Λσ,∃B ∈B(v),∃I ⊂ N : λTCbI ≥ 0,λTCbN\I = 0. (CbI có các cột Cbi(∀i ∈ I) và CbN\I có các cột khác của CbN). 2. Mỗi khẳng định sau đây là một điều kiện đủ để với mọi p gần 0 , F(p) cho bởi (1.25) là diện σ- hữu hiệu của (Pp): (i) Các cột của ma trận CbN\I sau đây là độc lập tuyến tính trong Rr, và ∃λ ∈ intΛσ,∃B ∈S(v),∃I ⊂ N : λTCbI > 0,λTCbN\I = 0, hoặc (ii) Các ma trận A(p) ≡ A(0),C(p) ≡ C(0) là hằng số (tức là chỉ có nhiễu vế phải của tập chấp nhận được), và ∃λ ∈ Λσ,∃B ∈S(v),∃I ⊂ N : λTCbI ≥ 0,λTCbN\I = 0. 28 Chứng minh Trước hết ta cần bổ đề sau đây. Bổ đề 1.2 Cho F là một diện của đa diện P ⊂Rn. Khi đó tồn tại d ∈Rn sao cho: ∀x0 ∈ F,∀x ∈ P \ F,dTx0 < dTx. Chứng minh Ta biết rằng mỗi đa diện P ⊂Rn có thể viết dưới dạng: , và mỗi diện F của P có dạng: , P trong đó J ⊂{1,...,l}. Đặt d = − j∈J aj. Lấy x ∈ P \ F, khi đó tồn tại j0 ∈ J sao cho . Lấy x0 ∈ F, ta có ngay dTx0 = −bj0 − X bj < −aTj0 − X aTj x = dTx. j∈J\{j0} j∈J\{j0} Bổ đề được chứng minh . Bây giờ ta chứng minh định lý 1.2. 1. Bởi vì F là diện σ- hữu hiệu của (P), tồn tại λ ∈ Λσ sao cho F ⊂E(λ,0) cho bởi (1.1) (xem [14]) và từ bổ đề 1.2, ta suy ra ∀k ∈N∗,F = argminc(k)x, x∈Γ (1.26) 29 trong đó c(k) = λTC + (1/k)dT, và d được cho bởi bổ đề 1.2. Do v ∈ F, theo nhận xét 1.3 và khẳng định 1 của định lý 1.1 áp dụng với mỗi bài toán vô hướng (1.26), ta nhận được: : ∀k ∈N∗,∃Bk ∈B(v) bcNk(k) ≥ 0. Do (1.27) theo (1.26) rõ ràng ∀k ∈N∗,F = {x = (xBk,xNk) ∈ Γ : xIk = 0}, (1.28) : trong đó Ik = {i ∈ Nk bci(k) > 0}. Do đó, theo (1.27), Nk \ Ik = {i ∈ . Nhưng dãy (Bk)k nằm trong tập hữu hạn B(v) cho bởi (1.7). Vì vậy tồn tại một dãy dừng (Bkj)j ⊂B(v), tức là . Đặt B = BkJ. Ta suy ra N = NkJ và vì thế ta có dãy (Ikj)j nằm trong tập hữu hạn {I ⊂ N}. Bằng lý luận tương tự ta có thể thay Ikj bởi I với mọi j đủ lớn. Do đó B ∈B(v) và I ⊂ N. Hơn nữa, ∀j ≥ J, , . Cho j % +∞, ta nhận được λTCbI ≥ 0 và λTCbN\I = 0 và điều kiện cần được chứng minh. Ngược lại, điều kiện Karush-Kuhn-Tucker cho bài toán vô hướng rút gọn minλTCbNxN, 30 ( A−B1ANxN ≤ A−B1b, xN ≥ 0, là λTCbN − µTN + νBTA−B1AN = 0, ∀i ∈ N,(µN)i(xN)i = 0, ∀j ∈ B,(νB)j(A−B1ANxN − A−B1b)j = 0, µN ≥ 0,νB ≥ 0,xN ≥ 0,A−B1ANxN − A−B1b ≤ 0. , các điểm Theo (1.4), (1.24 ) ta suy ra với mọi và νB = 0 thỏa mãn các điều kiện này. Do đó, là nghiệm tối ưu của bài toán rút gọn. Do vậy, từ (1.1), (1.4), (1.16) ta suy ra . Như vậy, theo (1.2) ta có F ⊂ Eσ(0), nghĩa là F là điểm σ- hữu hiệu của (P). 2. Bởi vì B ∈S(v) xác định trong (1.18), từ bổ đề 1.1 ta suy ra với mọi p gần 0, v(p) xác định trong (1.6) theo cơ sở B, là một đỉnh của Γ(p). Do đó, với mọi p gần 0, F(p) là một diện của Γ(p) đi qua đỉnh v(p). Giả T sử (i) đúng. Do tính liên tục của ánh xạ (λ,p) →7 (λ )CbN(p), ta suy ra với mỗi λ gần λ và mỗi p gần 0. . (1.29) Bởi vì với p = 0, ma trận CbN\I(p) = [Cbi(p)]i∈N\I có hạng cột đầy ( sắp xếp lại các hàng nếu cần) ta có thể viết , (1.30) 31 với là khả nghịch. Do tính liên tục ta suy ra với mọi p gần 0, ma trận 32                  33            ˚ ˚    −∗  ˚  ∈→  ⊂−∗ ˚    34 ∈ ˚     ∈−∗∗  ≥−≤− ∈⊂         −∗  ˚  →∗ ∈∗˚  ∗˚   35  ∈ −−−≤−−    ∈∗−∗  ∼    ˚   ˚  ˚∗ ∗ ˚ ∈ −−≥∀∈  36 ≡→∗ ∗˚   ∅⊂   ˚ ˚˚  ∈∗−≤→  ≡→∗ −≤∀∈→    ˚  ˚˚ →∗˚    ˚      37 ∈∗˚ ˚   ∈∗˚ ∗ ∗   − −−−  −≤− −≥−    ≥   −− −−−− ≥− ˚ ˚  38  ∗˚ ∈−− −∗−−∗−  ≤−−  ˚   ˚  ˚   ˚→   −−≥∀∈ ˚ −∀∈∈→  −−≥∀∈ 39 ∈  ≤−≤−∗−∀∈ ˚− −→ −∗−≥∀∈ −∗−∗≥−∗−∗−∗ −∗≤−∗∀∈        →∗     ˚  40      ≡    →  ∃≥∀∈≥∀ ∈˚  ˚ ≥≤⇒−     41 42 43 C0N\I(p) là khả nghịch. Nhưng λTCbN\I(0) = 0 và λ =6 0 (do λ ∈ Λσ). Do vậy . (1.31) Với mọi p gần 0, xét vectơ . (1.32) Do tính liên tục của ánh xạ p →7 λ(p), ta suy ra λ(p) ∈ intΛσ ⊂ Λσ với mọi p gần 0 bởi vì do (1.31), λ(0) = λ ∈ intΛσ. Theo (1.29), (1.30) , (1.32) ta có λT(p)CbI(p) > 0, λT(p)CbN\I(p) = 0. Như vậy với mọi p gần 0, khẳng định 1 áp dụng cho diện F(p) chỉ ra rằng nó là σ- hữu hiệu của bài toán nhiễu (Pp). Điều kiện đủ cho (ii) ta có ngay bởi vì CbN\I(p) ≡ CbN\I và CbI(p) ≡ CbI kéo theo λTCbN\I(p) = 0 và λTCbI(p) ≥ 0. Từ đó ta áp dụng khẳng định 1 tương tự như (i). Định lý được chứng minh. Nhận xét 1.5 Khi lấy λ = 1, ta thấy rằng định lý 1.2 cũng áp dụng được cho bài toán quy hoạch tuyến tính vô hướng (bài toán (P) với r = 1). Nhận xét 1.6 Nếu σ = e thì Λσ là tập mở trong Rr vì vậy intΛσ = Λσ và ta có thể bỏ "int" trong (i) của định lý 1.2. Cũng theo (1.31), (1.32), điều kiện "λ ∈ intΛσ" có trong (i) có thể yếu đi chỉ với " chiếu của Λσ trên trục λ0. Nhận xét 1.7 ", trong đó là hình 44 Trường hợp riêng, diện F quy về đỉnh v, xảy ra khi và chỉ khi I = N. Khi đó, ma trận CbN\I là rỗng và nó có hạng cột đầy. Hơn nữa, do nhận xét trước, do λ0 là rỗng, ta có thể bỏ "int" trong định lý 1.2. Nhận xét 1.8 Trong trường hợp không suy biến, như nhận xét 1.4, chúng ta có thể bỏ "∃B ∈B(v)" và " ∃B ∈S(v)" trong định lý 1.2. Ta cũng có thể bỏ "∃I ⊂ N" do sự không suy biến của v ∈ F. Chương 2 ĐỘ NHẠY VÀ ĐIỀU KIỆN TỐI ƯU CHO NGHIỆM CỦA BÀI TOÁN ĐA MỤC TIÊU PHI TUYẾN Chương này trình bày các điều kiện cần và đủ cấp 1, cấp 2 cho nghiệm hữu hiệu của bài toán tối ưu đa mục tiêu phi tuyến khả vi có ràng buộc, và các điều kiện đủ cho độ nhạy Fréchet của nghiệm hữu hiệu của bài toán nhiễu. Trong trường hợp hữu hạn chiều, chúng tôi trình bày điều kiện đủ cho độ nhạy Lipschitz và sự tồn tại đạo hàm theo phương của nghiệm hữu hiệu của bài toán nhiễu. Các kết quả trong chương này là của S. Bolitinéanu và M. El Maghri [6] 45 2.1 Các khái niệm và kết quả bổ trợ Xét các không gian Banach thực X,Y,Z. Không gian Y được trang bị một nón lồi đóng, nhọn Q, tức là αQ + βQ ⊂ Q với mọi α,β ∈ [0,+∞) và Q ∩ (−Q) = {0}. Nón Q xác định quan hệ thứ tự bộ phận Cho F,G,H là các ánh xạ khả vi cấp 2 theo nghĩa Fréchet (F,G,H) : X → Y × Z ×Rm. Ta xét bài toán tối ưu vectơ sau đây: (V OP) min F(x), G(x) = 0, H(x) ∈Rm−. Tập chấp nhận được của (VOP) kí hiệu là: . Ta xét ba loại nghiệm của bài toán (VOP). Điểm x∗ ∈ S là: (i) Nghiệm hữu hiệu yếu của bài toán (VOP) khi và chỉ khi @x ∈ S sao cho F(x∗)−F(x) ∈ intQ, trong đó intQ là phần trong (tô pô) của Q; (ii) Nghiệm hữu hiệu của (VOP) khi và chỉ khi @x ∈ S sao cho : F(x∗) − F(x) ∈ Q \{0}; (iii) Nghiệm hữu hiệu chính thường của (VOP) (xem [4]) khi và chỉ khi tồn tại một nón lồi đóng nhọn K với Q \{0}⊂ intK, sao cho @x ∈ S để F(x∗) − F(x) ∈ K \{0}. 46 Các tập điểm hữu hiệu chính thường, điểm hữu hiệu và điểm hữu hiệu yếu được kí hiệu lần lượt là Ep,Ee,Ew. Rõ ràng là Ep ⊂ Ee ⊂ Ew (2.1) Để đơn giản cho việc trình bày, chúng ta sẽ kí hiệu Eσ là tập điểm σhữu hiệu phụ thuộc vào sự lựa chọn σ ∈{p,e,w}. Hàm Lagrange L : X ×Y ∗ ×Z∗ ×Rm →R của bài toán vectơ ( VOP ) được cho bởi , trong đó (λ,u,v) là các nhân tử Lagrange; Y ∗ và Z∗ là các đối ngẫu tô pô của Y và Z; hλ,yi là giá trị của λ ∈ Y ∗ tại y ∈ Y . Kí hiệu (hi)i=1,...,m = H Với x∗ ∈ S, ta kí hiệu tập chỉ số của các ràng buộc tích cực là I(x∗) = {i ∈{1,...,m} : hi(x∗) = 0}. Nón cực và nón cực chặt là Q+ = {λ ∈ Y ∗ : hλ,yi≥ 0,∀y ∈ Q}, Q0+ = {λ ∈ Y ∗ : hλ,yi > 0,∀y ∈ Q \{0}}. Với λ ∈ Y ∗, ta xét bài toán vô hướng hóa của ( VOP ): (Pλ) minhλ,F(x)i, x ∈ S. 47 Tập nghiệm tối ưu của (Pλ) là ánh xạ đa trị E : Y ∗ → 2S, xác định với mọi λ ∈ Y ∗ bởi E(λ) := argminhλ,F(x)i. x∈S Để đơn giản các ký hiệu, ta đặt: , nếu σ = w, (2.2) nếu σ = p. Nhắc lại kết quả vô hướng hóa sau (xem [12]): [ Eσ ⊃ E(λ). (2.3) λ∈Λσ (2.3) trở thành đẳng thức nếu Y là phản xạ và (VOP) là lồi (tức là S là tập lồi và F là Q-lồi: ∀x,x0 ∈ X và α ∈ [0,1],αF(x)+(1−α)F(x0)−F(αx+(1−α)x0) ∈ Q). Chú ý rằng trong trường hợp này ta giả thiết G là afin và hi(i = 1...m) là các hàm lồi. Điểm x∗ ∈ S được gọi là σ- hữu hiệu địa phương của (VOP), σ ∈ {p,e,w}, khi và chỉ khi S được thay bởi S ∩N(x∗) trong định nghĩa điểm σ- hữu hiệu, trong đó N(x∗) là lân cận của x∗. Nhận xét 2.1 Kết quả vô hướng hóa (2.3) cũng đúng cho điểm σ- hữu hiệu địa phương, khi xét E(λ) là tập nghiệm tối ưu địa phương của (Pλ). Nhận xét 2.2 48 Theo nhận xét trên và các bao hàm thức (2.1)- (2.3), dễ dàng thấy rằng với bài toán (VOP) lồi, mọi nghiệm σ- hữu hiệu địa phương là nghiệm σ- hữu hiệu toàn cục. 2.2 Điều kiện cần cấp 1 và cấp 2 cho nghiệm hữu hiệu Trong phần này ta sẽ xét các trường hợp σ ∈{e,w} và (VOP) có hữu hạn hàm mục tiêu, tức là . với tập chỉ số I ⊂{1,...,l} và V = (v1,...,vl), ta kí hiệu |I| là bản số của I và VI = (vi)i∈I. Với x∗ ∈ S, ta xét tập , trong đó : Ta xét tập các điểm hữu hiệu mạnh: r \ Es = argminfj(x) x∈S j=1 Mệnh đề sau đây là hiển nhiên. Mệnh đề 2.1 Nếu Es 6= ∅ thì Ee = Es. 49 Bởi vì các tính chất của các phần tử của tập Es tương tự như các tính chất cực tiểu trong tối ưu vô hướng, và hầu hết các bài toán đa mục tiêu không có nghiệm hữu hiệu mạnh, cho nên ở đây ta sẽ xét trường hợp không tầm thường Es = ∅. Bổ đề 2.1 Nếu x∗ ∈ Eσ thì Kσ(x∗) 6= ∅, và ∀J ∈ Kσ(x∗), ta có 1 ≤|J| < r. Chứng minh Do Es = ∅, tồn tại j ∈{1,...,r} và xj ∈ S sao cho fj(xj) < fj(x∗). Như vậy, {j}∈ Jσ(x∗). Do đó Kσ(x∗) 6= ∅ và ∀J ∈ Kσ(x∗),1 ≤|J| < r. Nếu |J| = r thì J = {1,...,r}, và J ∈ Jσ(x∗) mâu thuẫn với x∗ ∈ Eσ. Nhận xét 2.3 Thay S bởi S ∩N(x∗), trong đó N(x∗) là lân cận của x∗. Bổ đề 2.1 cũng đúng cho nghiệm σ- hữu hiệu địa phương. Ta xét điều kiện chính quy (CQ) cấp 1 và cấp 2 sau đây cho nghiệm hữu hiệu (tức là σ = e). Định nghĩa 2.1 (i) Ta nói rằng x∗ ∈ S thỏa mãn điều kiện chính quy (CQ)e1 nếu tồn tại J ∈ Ke(x∗) sao cho a) ∇xG(x∗) ∈L(X,Z) là toàn ánh, b) ∃ξ ∈ Ker∇xG(x∗) : hξ,∇xfj(x∗)i < 0,hξ,∇xhi(x∗)i < 0,∀j ∈ J,∀i ∈ I = I(x∗). (ii) Ta nói rằng x∗ ∈ S thỏa mãn điều kiện chính quy theo các nhân tử Lagrange (λ,v) nếu tồn tại J ∈ Ke(x∗) sao cho (a) C = ∇x(FJ+,G,HI+)(x∗) ∈L(X,R|J+| × Z ×R|I+|) là toàn ánh, (b) ∃ξ ∈ KerC : 50 hξ,∇xfj(x∗)i < 0,hξ,∇xhi(x∗)i < 0,∀j ∈ J0,∀i ∈ I0, trong đó J+ = {j ∈ J : λj > 0}, J0 = {j ∈ J : λj = 0}, I+ = {i ∈ I : vi > 0}, I0 = {i ∈ I : vi = 0}. Với các nghiệm hữu hiệu yếu (tức là σ = w ), ta sẽ xét điều kiện chính quy sau. Định nghĩa 2.2 (i) Ta nói rằng x∗ ∈ S thỏa mãn điều kiện chính quy nếu (a) ∇xG(x∗) ∈L(X,Y ) là toàn ánh, (b) ∃ξ ∈ Ker∇xG(x∗) : hξ,∇xhi(x∗)i < 0, ∀i ∈ I = I(x∗) (ii) Ta nói rằng x∗ ∈ S thỏa mãn điều kiện chính quy (CQ)w2 theo các nhân tử Lagrange (λ,v) nếu tồn tại J ∈ Kw(x∗) và k ∈{1,...,n}\J sao cho (a) Toán tử: là toán ánh, (b) ∃(ξ,α) ∈ KerD : hξ,∇xfj(x∗)i < α,hξ,∇xhi(x∗)i < 0, ∀j ∈ K0,∀i ∈ I0, trong đó 1K+ = (1,...,1) ∈R|K+|, K+ = {j ∈ J ∪{k} : λi > 0}, 51 K0 = {j ∈ J ∪{k} : λj = 0}. Định lý tiếp theo sẽ trình bày các điều kiện cần cấp 1 và cấp 2 cho nghiệm σ- hữu hiệu địa phương của (VOP). Với tập J ⊂{1,...,r},|J| < r,và k ∈{1,...,r}\ J, ta đặt: {λ ∈R r+ : λk = 1,λj = 0,∀j ∈6 J ∪{k}},nếu Ωσ(J,k) = {λ ∈Rr+ : P σ = e, λj = 1,λj = 0,∀j 6∈ J ∪{k}},nếu σ = w. j∈J∪{k} Định lý 2.1 Giả sử x∗ là điểm σ- hữu hiệu địa phương thỏa mãn điều kiện (CQ)σ1. Nếu σ = w, chọn tùy ý J ∈ Kw(x∗); nếu σ = e, ta lấy tập J trong (CQ)1e. Khi đó với mỗi k ∈ {1,...,r}\ J, tồn tại λ∗ ∈ Ωσ(J,k),u∗ ∈ Z∗và sao cho (i) Điều kiện dừng và điều kiện bù đúng: . Hơn nữa, nếu x∗ thỏa mãn điều kiện (CQ)2σ theo nếu (i) thỏa mãn thì (ii) Điều kiện sau đúng: . Chứng minh Trước hết ta chứng minh bổ đề sau: Bổ đề 2.2 Giả sử x∗ ∈ Eσ. Với mỗi J ∈ Kσ(x∗) và k ∈{1,...,r}\ J, các phát biểu sau đây là đúng: và 52 (i) Nếu σ = w thì (Pw(x∗)) là nghiệm tối ưu của bài toán vô hướng: t, fj(x) − t ≤ fj(x∗),∀j ∈ J min ∪{k}, x ∈ S,t ∈R. (ii) Nếu σ = e thì x∗ là nghiệm tối ưu của bài toán vô hướng: x (Pe( ∗)) min fk(x), ≤ fj(x) fj(x∗),∀j ∈ J, x ∈ S. Chứng minh (i) Xét σ = w. Do Ew ⊂ S, rõ ràng là là chấp nhận được của bài toán Pw(x∗). Nếu (x∗,0) không là nghiệm tối ưu thì tồn tại điểm chấp nhận được (x,t) của bài toán Pw(x∗) sao cho t < 0. Ta có: fj(x) < fj(x∗) ∀j ∈ J ∪{k}. Điều này mâu thuẫn với J ∈ Kw(x∗) . (ii) Nếu σ = e, thì x∗ là điểm chấp nhận được của bài toán Pe(x∗). Giả sử rằng x∗ không là nghiệm tối ưu của Pe(x∗), thế thì tồn tại điểm chấp nhận được x của Pe(x∗) sao cho fk(x) < fk(x∗). Do đó , trong đó J0 = J ∪{k}. Vì vậy, J0 ∈ Je(x∗) và |J0| > |J|. Điều này mâu thuẫn với J ∈ Ke(x∗). Nhận xét 2.4 53 Dễ thấy (giống như nhận xét 2.3) bổ đề 2.2 vẫn đúng với mọi nghiệm σhữu hiệu địa phương x∗ của (VOP) và nhận được nghiệm tối ưu địa phương của bài toán vô hướng Pσ(x∗). 54 55 56 57                     58         ˚ ˚    −∗  ˚  ∈→  ⊂−∗ ˚    ∈ ˚ 59     ∈−∗∗  ≥−≤− ∈⊂         −∗  ˚  →∗ ∈∗˚  ∗˚    ∈ 60 −−−≤−−    ∈∗−∗  ∼    ˚   ˚  ˚∗ ∗ ˚ ∈ −−≥∀∈  ≡→∗ ∗˚ 61   ∅⊂   ˚ ˚˚  ∈∗−≤→  ≡→∗ −≤∀∈→    ˚  ˚˚ →∗˚    ˚      62 ∈∗˚ ˚   ∈∗˚ ∗ ∗   − −−−  −≤− −≥−    ≥   −− −−−− ≥− ˚ ˚  63  ∗˚ ∈−− −∗−−∗−  ≤−−  ˚   ˚  ˚   ˚→   −−≥∀∈ ˚ −∀∈∈→  −−≥∀∈ 64 ∈  ≤−≤−∗−∀∈ ˚− −→ −∗−≥∀∈ −∗−∗≥−∗−∗−∗ −∗≤−∗∀∈        →∗     ˚  65      ≡    →  ∃≥∀∈≥∀ ∈˚  ˚ ≥≤⇒−     66 67 68 69 Bây giờ chúng ta quay lại chứng minh định lý 2.1: Trường hợp 1: σ = e. Với mỗi nghiệm hữu hiệu địa phương x∗, theo nhận xét 2.4 và bổ đề 2.2, ta có x∗ là nghiệm tối ưu địa phương của (Pe(x∗)) mà hàm Lagrange là , trong đó (x,η,u,v) ∈ X ×R|J| × Z∗ ×Rm. Giả thiết (CQ)1e chính là điều kiện chính quy Mangasarian- Fromovitz (xem[10]) cho bài toán vô hướng Pe(x∗). Do vậy điều kiện cần cấp 1 KarushKuhn-Tucker đúng cho Pe(x∗): tồn tại các nhân tử Lagrange sao cho . (2.4) Nếu ta đặt , thì ta có λ∗ ∈ Ωe(J,k) và điều kiện (i) đúng. Mặt khác, nếu x∗ thỏa mãn điều kiện (CQ)2e (điều kiện chính quy Mangasarian- Fromovitz cấp 2) theo đúng thì ta có thêm điều kiện: của bài toán Pe(x∗), và nếu (i) 70 Vì vậy (ii) thỏa mãn. Trường hợp 2: σ = w. Đối với nghiệm hữu hiệu yếu địa phương x∗, từ nhận xét 2.4 và bổ đề 2.2, ta có (x∗,0) là nghiệm tối ưu của Pw(x∗) với hàm Lagrange là , trong đó (x,t,η,u,v) ∈ X ×R×R|J|+1 × Z∗ ×Rm. Ta có điều kiện tương đương với điều kiện chính quy MangasarianFromovitz của bài toán Pw(x∗) tại (a) ∇(x,t)(G(x))(x∗,0) ∈L(X ×R,Z) là toán ánh, (b) Tồn tại sao cho x h(ξ,α),∇(x,t)(fj(x) − t)( ∗,0)i < 0, x h(ξ,α),∇(x,t)(hi(x) − t)( ∗,0) < 0i, (∀j ∈ J ∪{k},∀i ∈ I). Do đó, điều kiện Karush-Kuhn-Tucker đúng: tồn tại sao cho ∇(x,t)Lw(x∗,0,λ∗J∪{k},u∗,v∗) = 0, (2.6) vi∗hi(x∗) = 0,∀i ∈{1,...,m}. Điều này tương đương với , (2.7) 71 Do vậy, nếu ta lấy , với mỗi j ∈6 J ∪{k}. Từ (2.7) ta nhận được λ∗ ∈ Ωw(J,k) và điều kiện (i) đúng. Mặt khác x∗ thỏa mãn và (i) đúng tương đương với điều kiện theo Mangasarian- Fromovitz cấp 2 cho bài toán Pw(x∗) tại điểm (x∗,0) theo ) thỏa mãn (2.7). Vì vậy ta nhận được , (2.8) trên không gian không điểm của các gradient của các ràng buộc tích cực và hàm mục tiêu tại điểm (x∗,0), tức là ∀(ξ,β) ∈ Ker∇(x,t)(FJ∪{k}(x) − t × 1J∪{k},G(x),HI(x),t)(x∗,0) x = Ker∇x(FJ∪{k},G,HI)( ∗) ×{0}. Nhưng (2.8) tương đương với , với mọi ξ ∈ Ker∇x(FJ∪{k},G,HI)(x∗). Như vậy điều kiện (ii) đúng và chứng minh định lý 2.1 hoàn thành. Nhận xét 2.5 Sử dụng (2.1) ta thấy rằng định lý 2.1 cũng đúng đối với nghiệm hữu hiệu chính thường địa phương. Nhận xét 2.6 (CQ)2σ kéo theo (CQ)1σ. Nhận xét 2.7 72 Một điều kiện đơn giản hơn và mạnh hơn và do đó là điều và kiện đủ để có (CQ)1e hoặc (CQ)e2 là toán tử ∇x(FJ,G,HI)(x∗) là toàn ánh. Trong trường hợp hữu hạn chiều điều này có nghĩa là các vectơ {∇xfj(x∗),∇xgl(x∗),∇xhi(x∗),∀j ∈ J,∀i ∈ I,l = 1,...,s} độc lập tuyến tính. Ta có thể phát biểu nhận xét tương tự cho và . Ví dụ một điều kiện đủ cho (CQ)1w ∇x(G,HI)(x∗) là toàn ánh. 2.3 Điều kiện đủ cấp hai cho nghiệm hữu hiệu Cũng như trong trường hợp vô hướng, điều kiện đủ cấp 2 cho nghiệm σ- hữu hiệu có thể phát biểu như sau: Định nghĩa 2.3 Ta nói rằng điểm x∗ ∈ S thỏa mãn điều kiện (SC)σ nếu tồn tại λ∗ ∈ (i) sao cho các điều kiện sau đây đúng: Điều kiện dừng và điều kiện bù : ; (ii) h∇2xL(x∗,λ∗,u∗,v∗)ξ,ξi≥ αkξk2,∀ξ ∈ Ker∇x(G,HI)(x∗) ; (iii) Điều kiện bù chặt: . Định lý dưới đây chỉ ra các điều kiện đủ. Định lý 2.2 Nếu điểm x∗ ∈ S thỏa mãn điều kiện (SC)σ thì x∗ là nghiệm σ- hữu hiệu địa phương của ( VOP ). 73 Chứng minh: x∗ ∈ S thỏa mãn điều kiện (SC)σ thì x∗ thỏa mãn điều kiện đủ tối ưu cấp 2 của bài toán vô hướng (Pλ∗) (xem [2]). Do đó, x∗ là cực tiểu địa phương. Sử dụng (2.3) và nhận xét 2.1 ta suy ra điều phải chứng minh. Trong phần này, ta xét trường hợp X = Rn, Z = Rs, G= (g1,...,gs), Y có thể có số chiều vô hạn. Định nghĩa 2.4 Ta nói rằng điểm x∗ ∈ S thỏa mãn điều kiện (SC0)σ nếu tồn tại λ∗ ∈ Λσ,u∗ ∈ Z∗ và sao cho các điều kiện sau đây đúng: (i) Điều kiện dừng và điều kiện bù: ; (ii) h∇2xL(x∗,λ∗,u∗,v∗)ξ,ξi ≥ 0,∀ξ ∈ Ker∇x(G,HI+)(x∗) \{0}, trong đó . Định lý 2.3 Giả sử điểm x∗ ∈ S thỏa mãn điều kiện (SC0)σ. Khi đó, x∗ là nghiệm σ- hữu hiệu địa phương của ( VOP ). Chứng minh Chứng minh giống như chứng minh định lý 2.2. Dễ thấy x∗ thỏa mãn điều kiện đủ cấp 2 mạnh của bài toán vô hướng (Pλ∗). Nhận xét 2.8 Theo (2.1 ), khi lấy σ = p ta có thể thấy định lý 2.2 và 2.3 cũng đúng đối với các điểm hữu hiệu chính thường địa phương. Nhận xét 2.9 74 Ta có thể xét trường hợp Z có số chiều vô hạn. Bằng cách thay thế toán tử ∇x(G,HI+)(x∗) bởi toán tử ∇x(hλ∗,F(x)i,G,HI)(x∗) trong định nghĩa 2.4. Nhận xét 2.10 Điều kiện (i) của (SC)σ và (SC0)σ là điều kiện cần cho nghiệm σ- hữu hiệu địa phương x∗, khi giả thiết một điều kiện chính quy đúng ( chẳng hạn (CQ)1σ) Tuy nhiên, điều kiện (ii) của định nghĩa (2.3) hoặc (2.4) là mạnh hơn điều kiện (ii) của định lý (2.1). 2.4 Phân tích độ nhạy của nghiệm hữu hiệu Với mỗi giá trị của tham số nhiễu π ∈ Π ta xét bài toán tối ưu vectơ nhiễu sau đây: (V OP π) min F(x,π), G(x,π) = 0, H(x,π) ∈Rm−, trong đó (F,G,H) : X × Π → Y × Z ×Rm, với X,Y,Z,Π là không gian Banach thực, X phản xạ. Tập chấp nhận được của bài toán (V OP π) là . Hàm Lagrange của bài toán (V OP π) là . Định nghĩa 2.5 75 Cho π∗ ∈ Π. Ta nói rằng x∗ ∈ S(π∗) thỏa mãn điều kiện độ nhạy đủ (SSC)σ của (V OP π∗) nếu x∗ thỏa mãn (SC)σ của định nghĩa 2.3 đối với (V OP π∗), tức là tồn tại và α > 0 sao cho các quan hệ sau đây đúng: (i) Điều kiện dừng và điều kiện bù: ; ); (iii) Điều kiện bù chặt: . Hơn nữa, ta giả sử các điều kiện sau đây đúng: (iv) Tính chính quy: F, G, H, liên tục trong một lân cận của (x∗,π∗). (v) Điều kiện chính quy: B = ∇x(G,HI)(x∗) ∈L(X,Z ×R|I|) là toàn ánh. Ta có thể giả sử rằng bài toán không nhiễu là (V OP π∗), và nó ứng với π = π∗. Kết quả tiếp theo chỉ ra rằng với điều kiện (SSC)σ, điểm chấp nhận được của bài toán không nhiễu là điểm σ- hữu hiệu địa phương và bảo toàn tính chất này sau một nhiễu nhỏ. 76 Định lý 2.4 Giả sử x∗ ∈ S(π∗) thỏa mãn (SSC)σ của (V OP π∗) với nhân tử Lagrange (λ∗,u∗,v∗). Khi đó: (i) x∗ là nghiệm σ-hữu hiệu địa phương của bài toán không nhiễu (V OP (ii) Tồn tại một lân cận Ω ⊂ Π × Y ∗ của (π∗,λ∗) và C1 ánh xạ duy nhất π∗ ). Ω ∩ (Π × Λσ) → X × Z∗ ×Rm, (π,λ) 7→ (x(π,λ),u(π,λ),v(π,λ)), (π∗,λ∗) 7→ (x∗,u∗,v∗) sao cho x(π,λ) ∈ S(π) thỏa mãn (SSC)σ của (V OP π) với các nhân tử Lagrange là (λ,u(π,λ),v(π,λ)). Như vậy với mỗi (π,λ) gần (π∗,λ∗),x(π,λ) là nghiệm σ- hữu hiệu địa phương của bài toán nhiễu (V OP π). Chứng minh Để chứng minh định lý này, trước tiên ta trình bày một kết quả về độ nhạy cho bài toán nhiễu vô hướng. Đây là một tổng quát hóa vô hạn chiều của định lý Fiacco [9]. Giả sử P,X,Z là các không gian Banach thực, X phản xạ và ánh xạ: X ×P3 (x,p) 7→ (f(x,p),G˜(x,p),H˜(x,p)) ∈R× Z ×Rm. Với mỗi giá trị của tham số nhiễu p ∈P, xét bài toán tối ưu nhiễu vô hướng: ˜ (P p) min f(x,p), G˜(x,p) = 0 H˜(x,p) ∈Rm− ˜ ˜ Tập chấp nhận được của (P p) kí hiệu bởi S (p) và hàm Lagrange được cho bởi 77 . P˜ Ta giả sử rằng bài toán không nhiễu là ( p∗) ứng với p = p∗. Trong trường hợp vô hướng này, các điều kiện (SSC)σ được mô tả bởi định nghĩa dưới đây. Định nghĩa 2.6 ˜ Ta nói rằng x∗ ∈ S (p∗) thỏa mãn điều kiện (SC) của bài toán vô hướng (P˜p∗) nếu x∗ thỏa mãn (SSC)σ trong trường hợp riêng Y = R,Π = P và F = f với λ∗ = 1. Kết quả tiếp theo là một tổng quát hóa vô hạn chiều định lý của Fiacco [9]. Bổ đề 2.3 ˜ ˜ Cho x∗ ∈ S (p∗) thỏa mãn (SC) của (P p∗) với các nhân tử Lagrange (u∗,v∗). Khi đó, (a) (b) x∗ là cực tiểu địa phương chặt của bài toán vô hướng không nhiễu ˜ (P p∗) và các nhân tử Lagrange (u∗,v∗) là duy nhất. ˜ Tồn tại lân cận Ω ⊂P của p∗ và hàm khả vi liên tục duy nhất Ω˜ → X × Z∗ ×Rm, p 7→ (x(p),u(p),v(p)), p∗ →7 (x∗,u∗,v∗), sao cho x(p) ∈ S˜(p) thỏa mãn điều kiện (SC) của (P˜p) và có các nhân tử Lagrange duy nhất (u(p),v(p)). Như vậy với mọi p ∈ Ω˜,x(p) là cực tiểu địa P˜ phương chặt của bài toán vô hướng nhiễu ( p). 78 Chứng minh (a) Ta biết rằng xem [3] x∗ là cực tiểu địa phương chặt. Với mỗi phần tử : η = (u,v) ∈ Z∗ ×Rm, ta kí hiệu η0 = (u,vI) ∈ Z∗ ×R|I|, trong đó I là tập chỉ số các ràng buộc tích cực của bài toán không nhiễu ˜ (P p∗) tại x∗ và ˜ ˜ X ˜ L I(x,p,η0) = f(x,p) + hu,G (x,p)i + vih i(x,p). i∈I Mỗi nhân tử Lagrange thỏa mãn ∂f/∂x(x∗,p∗) + B∗η0 = 0, vi = 0,∀i ∈/ I, trong đó B∗ ∈L(W ∗,X∗) là liên hợp của toán tử B và W ∗ = Z∗ ×R|I| là đối ngẫu × của W = Z R|I|. Do B là toàn ánh [điều kiện (v)] và điều này kéo theo tính đơn ánh của B∗, ta suy ra tính duy nhất của η∗ = (u∗,v∗). (b) Tiếp theo, sử dụng định lý hàm ẩn ta sẽ chứng minh sự tồn tại và duy nhất của hàm khả vi liên tục: p →7 (x,η0) = (x(p),η0(p)), thỏa mãn quan hệ dưới đây với mọi p gần p∗: ˜ ∇xL I(x,p,η0) = 0, ˜ (2.9) G (x,p) = 0, (2.10) ˜ h i(x,p) = 0,∀i ∈ I (2.11) 79 (x(p∗),η0(p∗)) = (x∗,η0∗). (2.12) Ta chỉ cần chứng minh tính song ánh của toán tử Jacobian theo (x,η0), tại điểm x∗,p∗,η0∗ của hàm đã được xác định hệ trên. Đặt . Ta sẽ chỉ ra rằng toán tử Jacobian sau là song ánh: . (2.13) Giả sử (x,z) ∈ KerJ. Khi đó: Ax + B∗z = 0, Bx = 0. Vì vậy, x ∈ KerB,hAx,xi + hB∗z,xi = 0. Do đó, hAx,xi = 0, và điều kiện (ii) kéo theo x = 0. Khi đó, do tính đơn ánh của B∗, ta nhận được z = 0. Như vậy J là đơn ánh. Bây giờ ta xét (y,w) ∈ X∗ × W. Ta sẽ chỉ ra rằng hệ: Ax + B∗z = y, Bx = w, (2.14) (2.15) có nghiệm (x,z) ∈ X × W ∗. Bởi vì B là toàn ánh, ta có thể tìm được x0 ∈ X sao cho (2.15) thỏa mãn. Đặt x = x0 + x00,với x00 ∈ KerB, 80 và cố định x0. Bởi vì Bx = w, ta chỉ cần tìm được x00 ∈ KerB,z ∈ W ∗ sao cho Ax” + B∗z = y − Ax0. Như vậy, ta phải chỉ ra: Γ = X∗, trong đó Γ = AKerB + B∗(W ∗) = AKerB + (KerB)⊥, bởi vì B là toàn ánh kéo theo : B∗(W ∗) = (KerB)⊥, trong đó (KerB)⊥ = {χ ∈ X∗ : hχ,ξi = 0,∀ξ ∈ KerB}. xem [3]. Trước hết ta chứng minh Γ là tập con đóng của X∗. Xét dãy γ(i) = Aξ(i) + χ(i) ∈ Γ, với ξ(i) ∈ KerB, χ(i) ∈ (KerB)⊥, γ(i) hội tụ tới phần tử γ ∈ X∗. Ta có hγ(i) − γ(j),ξ(i) − ξ(j)i = hA(ξ(i) − ξ(j)),ξ(i) − ξ(j)i≥ α||ξ(i) − ξ(j)||2. Từ đó α||ξ(i) − ξ(j)||≤||γ(i) − γ(j)||. (2.16) 81 Do đó, dãy (ξ(i))i hội tụ tới phần tử ξ. Từ đó suy ra dãy (χ(i))i cũng hội tụ tới phần tử χ. Nhưng KerB và (KerB)⊥ là đóng, nên γ = Aξ + χ ∈ Γ. Vậy Γ là đóng. Bây giờ ta giả sử rằng Γ 6= X∗, khi đó tồn tại γˆ ∈ Γ⊥ \{0}. Nhưng do tính phản xạ của X nên γˆ ∈ X \{0}. Như vậy ∀ξ ∈ KerB và z ∈ W∗, Ta được: hAξ,γˆi = 0, hB∗z,γˆ = 0i. (2.17) Do vậy hz,Bγˆi = 0, ∀z ∈ W ∗. Sử dụng hệ quả của định lý Hahn- Banach, ta nhận được Bγˆ = 0, tức là γˆ ∈ KerB. Hơn nữa, khi lấy ξ = γˆ trong (2.17), từ điều kiện (ii) ta nhận được một mâu thuẫn: γˆ = 0. Do đó, Γ = X∗ và như vậy J là toàn ánh. Theo định lý hàm ẩn, tồn tại duy nhất một hàm khả vi liên tục, xác định gần p∗ vào X × W ∗, p 7→ (x,η0) = (x(p),η0(p)) = (x(p),u(p),vI(p)), thỏa mãn (2.9)- (2.12). Hơn nữa, do tính liên tục và điều kiện độ bù chặt (iii), với mọi p gần p∗ ta có vi(p) > 0, ∀i ∈ I. Với mọi p gần p∗, ta đặt vi(p) = 0, ∀i ∈/ I. Tính liên tục kéo theo: ∀p gần p∗, điều kiện (iv) thỏa mãn và 82 ˜ h i(x(p),p) < 0, ∀i ∈/ I. ˜ ˜ Khi đó, x(p) ∈ S (p) và thỏa mãn (i), (iii), (iv) của (P p) có các nhân tử Lagrange là (u(p),v(p)) và tập chỉ số ràng buộc tích cực không phụ thuộc p, tức là I(x(p),p) = I = I(x∗,p∗). Mặt khác, ta biết rằng xem [3]: tập các toán tử toàn ánh là một tập mở trong không gian L(X,W). Do đó, điều kiện (v) đúng với ∀(x(p),p), với p gần p∗. Bây giờ, để kết thúc chứng minh, ta sẽ chỉ ra rằng x(p) thỏa mãn ( ii), tức là với mỗi p gần p∗, tồn tại số α(p) > 0 sao cho hApξ,ξi≥ α(p)||ξ||2,∀ξ ∈ KerBp, (2.18) trong đó . Theo bổ đề Hoffmann xem [2], tồn tại hằng số k1 > 0 sao cho dist(ξ,KerB) ≤ k1||Bξ||,∀ξ ∈ X. Điều này tương đương với việc nói rằng tồn tại hằng số k2 > 0 (k2 > k1) sao cho mỗi ξ ∈ X có thể viết được ξ = ξ0 + ξ00, với ξ ∈ KerB và ||ξ00||≤ k2||Bξ||. Ta lấy ξ ∈ KerBp. Do Bpξ = 0, ta nhận được: ||ξ00||≤ k2||B − Bp||||ξ||. Mặt khác, hApξ,ξi = hAξ,ξi + h(Ap − A)ξ,ξi (2.19) 83 (2.20) 2 ≥hAξ,ξi−||Ap − A||||ξ|| , và hAξ,ξi = hAξ0,ξ0i + 2hAξ0,ξ00i + hAξ00,ξ00i. Do đó hAξ,ξi≥ α||ξ0||2 −||ξ00||(2||A||||ξ0|| + ||A||||ξ00||) ; Nhưng từ (2.19) và do ||ξ0||≤||ξ|| + ||ξ00||, ta có (2||A||||ξ0|| + ||A||||ξ00||) ≤ k3||ξ|| với k3 là hằng số không phụ thuộc ξ. Ta xét p trong lân cận của p∗ sao cho k2||B − Bp||≤ 1/2. Khi đó do (2.19) và ||ξ0||≥||ξ||−||ξ00||, ta nhận được ||ξ0||≥ (1/2)||ξ||. Do đó, hAξ,ξi≥ (1/4)α|ξ||2 − k2||B − Bp||||ξ||2k3. (2.21) Từ (2.20)- (2.21) ta suy ra (2.18) đúng với α(p) = (1/4)α − k2k3||B − Bp||−||Ap − A||, và α(p) > 0, với p gần p∗. Do đó điều kiện (ii) thỏa mãn tại x(p). Như vậy x(p) thỏa mãn (SC). Bổ đề 2.3 được chứng minh. 84 Bây giờ ta quay lại chứng minh định lý 2.4 . Ta xét bài toán vô hướng hóa (V OP π) sau đây (Pλπ) minhλ,F(x,π)i x ∈ S(π). Áp dụng bổ đề 2.3 cho f(x,p) = hλ,F(x,π)i,G˜(x,p) = G(x,π),H˜(x,p) = H(x,π), với P = Π × Y ∗, p = (π,λ). . Hơn nữa, x ∈ S(π) thỏa mãn (SC) của Trong trường hợp này, bài toán vô hướng , tham số nhiễu (π,λ) và các nhân tử Lagrange (u,v), khi và chỉ khi x thỏa mãn (SSC)σ của (V OP)π với nhân tử Lagrange (λ,u,v) và tham số nhiễu π. Nếu ta đặt Ω = Ω˜ , thì rõ ràng ánh xạ cho trong định lý là hạn chế trên Ω∩(Π×Λσ) của ánh xạ đang xét trong bổ đề. Sử dụng (2.3) và nhận xét 2.1, suy ra kết luận cần chứng minh của định lý. Bây giờ ta trình bày độ nhạy Lipschitz. Xét bài toán vectơ nhiễu (V OP π) trong trường hợp X = Rn,Z = Rs,G = (g1,...,gs). Không gian nhiễu là Π = Rq. Điều kiện Jittorntrum có thể phát biểu trong trường hợp vectơ như sau: Định nghĩa 2.7 Ta nói rằng điểm x∗ ∈ S(π∗) thỏa mãn (SSC0)σ của (V OP π∗) nếu x∗ thỏa mãn (SC0)σ [điều kiện (i)-(ii) từ định nghĩa 2.4 ] và các điều kiện sau: (iii) Các hàm F,gj,hi là lớp C2 với (x,π) trong lân cận của (x∗,π∗) 85 với ∀i,j; Các vectơ {∇xgj(x∗,π∗),∇xhi(x∗,π∗),j = 1,...,s,∀i ∈ I} là độc lập (iv) tuyến tính. Nhận xét 2.11 Trong trường hợp hữu hạn chiều, điều kiện (v) của (SSC)σ tương đương với điều kiện (iv) của (SSC0)σ. Định lý 2.5 Cho điểm x∗ ∈ S(π∗) thỏa mãn (SSC0)σ của (V OP π∗ ) với các nhân tử Lagrange (λ∗,u∗,v∗) cho bởi (i) của (SC0)σ. Khi đó, (i) x∗ là nghiệm σ- hữu hiệu địa phương của bài toán không nhiễu (V OP (ii) Tồn tại lân cận Ω ⊂Rq ×Y ∗ của (π∗,λ∗) và ánh xạ Lipschitz duy nhất: π∗ ). Ω ∩ (Rq × Λσ) →Rn ×Rs ×Rm, (π,λ) →7 (x(π,λ),u(π,λ),v(π,λ)), (π∗,λ∗) 7→ (x∗,u∗,v∗) có đạo hàm theo phương (một phía) cấp 1 tại (π∗,λ∗) theo mọi phương sao cho x(π,λ) ∈ S(π) và thỏa mãn điều kiện (SSC0)σ của (V OP π) với các nhân tử Lagrange (λ,u(π,λ),v(π,λ)). Như vậy với mỗi (π,λ) gần (π∗,λ∗),x(π,λ) là một nghiệm σ- hữu hiệu địa phương của bài toán nhiễu (V OP π). Chứng minh Chứng minh dựa trên kết quả độ nhạy của bài toán vô hướng của Jittorntrum. Ta xét bài toán vô hướng tham số ( toán này có thể được viết lại như sau: P˜ p) . Trong trường hợp hữu hạn chiều bài 86 ˜ (P p) min f(x,p), g˜j(x,p) = 0, ˜ h i(x,p) ≤ 0, ∀j = 1,...,s, ∀i = 1,...,m, với X = Rn và P = Rl. Điều kiện Jittorntrum ở đây là (SCJ) tương tự điều kiện (SSC0)σ với λ∗ = 1. Định lý 2.6 ([11]) ˜ ˜ Cho x∗ ∈ S (p∗) thỏa mãn (SCJ) của bài toán (P p∗) với các nhân tử Lagrange (u∗,v∗) cho bởi (i) từ định nghĩa 2.4. Khi đó, (a) P˜ x∗ là điểm cực tiểu địa phương chặt của bài toán không nhiễu ( p∗) và các nhân tử (u∗,v∗) là duy nhất. (b) ∀p gần p∗, tồn tại duy nhất ánh xạ liên tục p 7→ (x(p),u(p),v(p)) sao cho (x(p∗),u(p∗),v(p∗)) = (x∗,u∗,v∗) và có đạo hàm theo phương cấp 1 tại p∗ theo ˜ mọi phương và thỏa mãn (SCJ) của (P p). Như vậy, x(p) là cực tiểu địa phương P˜ chặt của bài toán nhiễu ( p) với các nhân tử Lagrange (u(p),v(p)). (c) ∃L > 0 và δ > 0 sao cho ∀p thỏa mãn ||p − p∗|| < δ, ||(x(p),u(p),v(p)) − (x∗,u∗,v∗)||≤ L||p − p∗||. Chứng minh định lý 2.5 cũng tương tự như chứng minh định lý 2.4 . Điểm x thỏa mãn (SSC0)σ của (V OP π) khi và chỉ khi x thỏa mãn (SCF) cho với tham số nhiễu p = (π,λ). Như vậy, có thể kiểm tra mọi giả thiết của định lý Jittorntrum đúng với bài toán vô hướng và sử dụng (2.3) với nhận xét 2.1 ta suy ra kết luận của định lý 2.5. Nhận xét 2.12 87 Ta có thể thấy từ (2.1) rằng định lý 2.4 và 2.5 cũng đúng cho các nghiệm hữu hiệu khi xét với σ = p. Kết luận Luận văn đã trình bày các kết quả nghiên cứu về độ nhạy của đỉnh hữu hiệu và diện hữu hiệu của bài toán đa mục tiêu tuyến tính cùng với các kết quả về độ nhạy Fréchet và độ nhạy Lipschitz của nghiệm hữu hiệu của bài toán đa mục tiêu phi tuyến với các hàm khả vi Fréchet. Đối với bài toán đa mục tiêu tuyến tính, luận văn trình bày các điều kiện đảm bảo sau một nhiễu nhỏ, một đỉnh hữu hiệu và một diện hữu hiệu vẫn tương ứng là một đỉnh hữu hiệu và một diện hữu hiệu của bài toán nhiễu. Đối với bài toán đa mục tiêu phi tuyến với dữ liệu khả vi Fréchet, luận án trình bày các điều kiện đảm bảo nghiệm hữu hiệu của bài toán thuộc lớp C1 hoặc Lipschitz địa phương theo tham số nhiễu. Nghiên cứu độ nhạy của nghiệm hữu hiệu của bài toán tối ưu đa mục tiêu là đề tài thời sự, cần được tiếp tục nghiên cứu và phát triển. 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 và kỹ thuật Hà nội. [2] Đỗ Văn Lưu, (1999), Lý thuyết các điều kiện tối ưu, NXB Khoa học và kỹ thuật Hà nội. 88 Tài liệu tiếng Anh [3] Alexée, V., Tikhomirov, V., M. and Fomin, S. (1982), Commande optimale , MIR, Moscow, Russia. [4] Benson, H., P. (1983), Efficient and Proper effciency in vector Maximization with respect to cones, Journal of Mathematical Analysis and Applications, Vol 93, pp 273- 289. [5] Bolitinéanu, S. and Craven, B. D. (1992), Linear multicriteria sensitivity and shadow costs, Optimization 26, 115- 127. [6] Bolitinéanu, S. and El Maghri, M. (1998) , Second order effciency conditions and sensitivity of efficient points,Journal of Optimization Theory and Applications , 98(3), 569-592. [7] Dantzig, G. B., Orden, A. and Wolfe, P. (1955), The generalized simplex algorithm for minimizing a linear form under linear inequality restraints, Pacific Journal of Mathematics . 5, 183- 195. [8] El Maghri, M. (2002), Degenerate linear multicriteria sensitivity, Optimization . 51(1), 93-108. [9] Fiacco,A. (1983), Introduction to sensitivity and stability analysis in nonlinear programming, Academic Press, New York, New York. [10] Ioffe, A., D. and Tikhomirov, V., M. (1979), Theory of extremal problems, North Holland Publishing Company, Amsterdam, Netherlands. [11] Jittorntrum, K. (1984), Solution point differentiability without strict complementarity in nonlinear programming, Mathematical Programming Studies, Vol 21, pp 127 - 138. 89 [12] Luc, D., T. (1989), Theory of vector optimization , Lectures Notes in Economics and Mathematical Systems, Springer Verlag, Berlin, Germany. [13] Murty, K. G. (1983), Linear programming ,Wiley & Sons, New York. [14] Yu, P. L(1985), Multiple- Criteria decision making, Plenum, New York. [...]... : (A−B1b)i > 0} (1.9) và Sắp xếp lại phân hoạch các cột của AB và các hàng của A−B1 như sau: Với mọi chỉ số i ∈ D, ta kí hiệu hàng thứ i của (A−B1)D bởi và với bất kỳ chỉ số j,k ∈{1, ,q}, Bổ đề sau đây trình bày điều kiện cần và đủ cấp 2 cho tính chấp nhận được của v(p) với mọi p gần 0 Bổ đề 1.1 Cho B ∈B(v) và v(p) được xác định bởi (1.6) 1 Các điều kiện sau đây là các điều kiện cần để với mọi p... bởi vì v là σ -hữu hiệu của (P), theo (1.2) tồn tại λ ∈ Λσ sao cho v ∈E(λ,0), tức là ∀x ∈ Γ,λTCv ≤ λTCx Từ (1.19) suy ra với mọi k ∈N∗, đỉnh v là nghiệm tối ưu duy nhất của mỗi bài toán nhiễu vô hướng sau đây: 25 minc(k)x, (1.20) x∈Γ trong đó c(k) := λTC + (1/k)dT Trong thuật toán đơn hình (xem [13]) với mỗi bài toán vô hướng (1.20), cần xác định cơ sở tối ưu cho nghiệm tối ưu v duy nhất của (1.20) Vì... trước, ta sẽ trình bày các điều kiện cần và đủ để diện F(p) là σ- hữu hiệu (tức là F(p) ⊂ Eσ(p)) với mọi p gần 0 Định lý 1.2 Giả sử F là một diện đi qua đỉnh v (suy biến hoặc không) của đa diện Γ 1 F là σ- hữu hiệu của (P) nếu và chỉ nếu: ∃λ ∈ Λσ,∃B ∈B(v),∃I ⊂ N : λTCbI ≥ 0,λTCbN\I = 0 (CbI có các cột Cbi(∀i ∈ I) và CbN\I có các cột khác của CbN) 2 Mỗi khẳng định sau đây là một điều kiện đủ để với mọi p... ra với mọi và νB = 0 thỏa mãn các điều kiện này Do đó, là nghiệm tối ưu của bài toán rút gọn Do vậy, từ (1.1), (1.4), (1.16) ta suy ra Như vậy, theo (1.2) ta có F ⊂ Eσ(0), nghĩa là F là điểm σ- hữu hiệu của (P) 2 Bởi vì B ∈S(v) xác định trong (1.18), từ bổ đề 1.1 ta suy ra với mọi p gần 0, v(p) xác định trong (1.6) theo cơ sở B, là một đỉnh của Γ(p) Do đó, với mọi p gần 0, F(p) là một diện của Γ(p)... ≤ 1 Trong ví dụ này, ta có Γ(p) ≡ Γ(0) = [0,1]×[0,1] và Ee(0) = Ew(0) = đoạn thẳng đóng nối điểm gốc với điểm (1,0) trong R2 Mặt khác, với p > 0, ta có Ee(p) = Ew(p) = {(1,0)} Đỉnh v(p) ≡ v(0) = (0,0) là σ- hữu hiệu với p = 0 và không là σ -hữu hiệu với mọi p > 0 Vì vậy ta tìm các điều kiện đảm bảo rằng v là σ -hữu hiệu và bảo đảm tính chất này với độ nhiễu nhỏ Ta phân hoạch ma trận C = [CBCN] Do (1.4),... đó CbN là rút gọn của ma trận C theo N tức là CbN = CN − CBA−B1AN Ta cũng xét tập sau: S(v) := {B ∈B(v) : B thỏa mãn điều kiện đủ của bổ đề 1.1} (1.18) (1.17) 24 Định lý sau đây chỉ ra rằng trong hầu hết các trường hợp, đỉnh nhiễu vẫn là hữu hiệu ngay cả trong trường hợp suy biến Định lý 1.1 Cho v là đỉnh bất kỳ (suy biến hoặc không) của đa diện Γ 1 v là σ- hữu hiệu của (P) khi và chỉ khi : ∃λ ∈ Λσ,∃B... dừng (Bkj)j ⊂B(v), tức là Đặt B = BkJ Ta suy ra N = NkJ và vì thế ta có dãy (Ikj)j nằm trong tập hữu hạn {I ⊂ N} Bằng lý luận tương tự ta có thể thay Ikj bởi I với mọi j đủ lớn Do đó B ∈B(v) và I ⊂ N Hơn nữa, ∀j ≥ J, , Cho j % +∞, ta nhận được λTCbI ≥ 0 và λTCbN\I = 0 và điều kiện cần được chứng minh Ngược lại, điều kiện Karush-Kuhn-Tucker cho bài toán vô hướng rút gọn minλTCbNxN, 30 ( A−B1ANxN ≤ A−B1b,... Nếu ta chỉ nhiễu vế phải của tập chấp nhận được, nghĩa là A(p) ≡ A(0) không phụ thuộc vào p, thì với mọi i ∈ D: ,và , 23 trong đó (tương ứng bj) là thành phần thứ j của vectơ ( tương ứng b) và ∇ là toán tử đạo hàm Ví dụ sau đây cho thấy rằng ngay cả khi v là σ- hữu hiệu, thì v(p) vẫn có thể không là σ- hữu hiệu với bất kỳ p 6= 0 Ví dụ 1.2 Với mỗi tham số nhiễu p > 0, xét bài toán min (x2 − px1,x2 −... Vì vậy tiêu chuẩn tối ưu đơn hình sau đây đúng , (1.21) trong đó là hàm mục tiêu rút gọn và Nk = {1, ,n}\Bk Mặt khác, ta có , trong đó và CbNk cho bởi (1.17) Nhưng dãy (Bk)k thuộc tập hữu hạn B(v) cho bởi (1.7) Do đó tồn tại dãy dừng (Bkj)j ⊂B(v), tức là ∃J ∈N∗ : ∀j ≥ J,Bkj = BkJ Đặt B = BkJ Khi đó N = NkJ và theo (1.21), (1.22) ta có Cho j % +∞ ta nhận được điều kiện cần Ta có ngay điều ngược lại Thật... ∈B(v(p)), khẳng định 1 áp dụng cho bài toán (Pp) ta suy ra v(p) là hữu hiệu của (Pp) với mọi p gần 0 Bây giờ nếu ta giả sử điều kiện (ii) đúng, thế thì ma trận CbN(p) ≡ CbN Do đó, λTCbN(p) ≥ 0 với mọi p Vì vậy, chứng minh giống như trên ta suy ra điều phải chứng minh Nhận xét 1.3 Khi lấy λ = 1, dễ thấy rằng định lý 1.1 cũng áp dụng được cho bài toán tuyến tính vô hướng (bài toán (P) với r = 1) Nhận xét 1.4 ...TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THỊ HỒNG ĐỘ NHẠY CỦA NGHIỆM HỮU HIỆU VÀ ĐIỀU KIỆN TỐI ƯU 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 PGS.TS... suy biến v ∈ F Chương ĐỘ NHẠY VÀ ĐIỀU KIỆN TỐI ƯU CHO NGHIỆM CỦA BÀI TOÁN ĐA MỤC TIÊU PHI TUYẾN Chương trình bày điều kiện cần đủ cấp 1, cấp cho nghiệm hữu hiệu toán tối ưu đa mục tiêu phi tuyến... ràng buộc, điều kiện đủ cho độ nhạy Fréchet nghiệm hữu hiệu toán nhiễu Trong trường hợp hữu hạn chiều, trình bày điều kiện đủ cho độ nhạy Lipschitz tồn đạo hàm theo phương nghiệm hữu hiệu toán nhiễu

Ngày đăng: 13/10/2015, 13:40

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

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

TÀI LIỆU LIÊN QUAN

w