TỐI ƯU HOÁ ĐA TRỊ PHỤ THUỘC THAM SỐ: ĐIỀU KIỆN CẦN TỐI ƯU VÀ BẤT ĐẲNG THỨC BIẾN PHÂN

Tìm hiểu về tối ưu hóa đa trị phụ thuộc tham số, điều kiện cần tối ưu và bất đẳng thức biến phân. Khám phá các phương pháp và ứng dụng trong toán học.

• Tác giả: Lê Minh Lưu
• Người hướng dẫn: GS. Phan Quốc Khánh
• Trường học: Trường Đại Học Khoa Học Tự Nhiên, Đại Học Quốc Gia TP. Hồ Chí Minh
• Chuyên ngành: Giải Mã
• Đề tài: Tối Ưu Hoá Đa Trị Phụ Thuộc Tham Số: Điều Kiện Cần Tối Ưu Và Bất Đẳng Thức Biến Phân
• Loại tài liệu: Luận Án Tiến Sĩ Toán Học
• Năm xuất bản: 2002
• Địa điểm: Hồ Chí Minh

Mục lục chi tiết

• LỜI CẢM ƠN
• LỜI CAM ĐOAN
• MỞ ĐẦU
• 1. CHƯƠNG 1: ĐIỀU KIỆN CẦN TỐI ƯU CHO TỐI ƯU HÓA ĐA TRỊ PHỤ THUỘC THAM SỐ VỚI RÀNG BUỘC ĐẲNG THỨC ĐƠN TRỊ
• 1.1. Đặt vấn đề
• 1.2. Các định nghĩa cơ bản
• 1.3. Điều kiện cần cực trị cho bài toán với ràng buộc đẳng thức đơn trị
• 2. CHƯƠNG 2: ĐIỀU KIỆN CẦN TỐI ƯU CHO TỐI ƯU HOÁ ĐA TRỊ PHỤ THUỘC THAM SỐ VỚI RÀNG BUỘC BAO HÀM THỨC
• 2.1. Điều kiện cần tối ưu
• 3. CHƯƠNG 3: SỰ TỒN TẠI NGHIỆM CỦA BẤT ĐẲNG THỨC BIẾN PHÂN VÀ GIẢ BẤT ĐẲNG THỨC BIẾN PHÂN
• 3.1. Bất đẳng thức biến phân và mở rộng
• 3.2. Sự tồn tại nghiệm của bất đẳng thức biến phân
• 3.3. Sự tồn tại nghiệm của bất đẳng thức biến phân suy rộng
• 3.4. Sự tồn tại nghiệm của bất đẳng thức biến phân (VI) và (SVI)
• 3.5. Sự tồn tại nghiệm của giả bất đẳng thức biến phân
• 3.6. Áp dụng cho bài toán giả bù
• 3.7. Ứng dụng vào bài toán cân bằng giao thông
• 4. CHƯƠNG 4: SỰ ỔN ĐỊNH NGHIỆM GIẢ BẤT ĐẲNG THỨC BIẾN PHÂN
• 4.1. Sự ổn định của nghiệm bất đẳng thức biến phân
• 4.2. Tính nửa liên tục theo tham số của nghiệm giả bất đẳng thức biến phân
• 4.3. Áp dụng cho bài toán giả bù
• KẾT LUẬN
• CÁC BÀI BÁO LIÊN QUAN TRỰC TIẾP TỚI LUẬN ÁN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tối Ưu Hóa Đa Trị Tổng Quan Bài Toán và Ứng Dụng

Bài toán tối ưu hóa đa trị phụ thuộc tham số là một lĩnh vực nghiên cứu quan trọng trong toán học ứng dụng. Nó liên quan đến việc tìm kiếm các giá trị tối ưu của một hàm mục tiêu, trong đó hàm này phụ thuộc vào nhiều tham số và có thể có nhiều giá trị tại mỗi điểm. Bài toán này xuất hiện trong nhiều lĩnh vực khác nhau, từ kỹ thuật đến kinh tế và khoa học máy tính. Việc nghiên cứu điều kiện cần tối ưu và bất đẳng thức biến phân là rất quan trọng để giải quyết các bài toán tối ưu hóa đa trị một cách hiệu quả. Theo tài liệu gốc, các hàm đa được nghiên cứu nhiều từ thập niên ba mươi thế kỷ ưu hoá chứa các hàm đa ưu hóa đa bất đầu được nghiên cứu hệ thống về thuyết từ [Corley 1981], đã phát triển mạnh, trở thành một lĩnh vực ứng dụng tích đa nhiều nhất.

1.1. Khái niệm cơ bản về tối ưu hóa đa trị

Tối ưu hóa đa trị đề cập đến việc tìm kiếm tập hợp các giá trị tối ưu thay vì chỉ một giá trị duy nhất. Điều này thường xảy ra khi hàm mục tiêu có nhiều cực trị hoặc khi bài toán có nhiều nghiệm khả thi. Hàm mục tiêu có thể là một hàm vô hướng hoặc một hàm vectơ, và các tham số có thể là biến liên tục hoặc rời rạc. Quan trọng là phải hiểu rõ khái niệm này để phân biệt với các bài toán tối ưu hóa thông thường. Hàm mục tiêu có thể là hàm mục tiêu vô hướng hoặc một hàm vectơ.

1.2. Ứng dụng của tối ưu hóa đa trị trong thực tiễn

Các bài toán tối ưu hóa đa trị xuất hiện rộng rãi trong các lĩnh vực khác nhau. Trong kỹ thuật, chúng có thể được sử dụng để thiết kế hệ thống điều khiển, tối ưu hóa mạng lưới giao thông, hoặc phân bổ tài nguyên. Trong kinh tế, chúng có thể được sử dụng để mô hình hóa thị trường, dự báo nhu cầu, hoặc quản lý rủi ro. Các bài toán về cân bằng giao thông là một ứng dụng quan trọng. Trong khoa học máy tính, chúng có thể được sử dụng để huấn luyện mô hình học máy, tìm kiếm giải pháp cho bài toán lập lịch, hoặc thiết kế thuật toán tối ưu.

II. Thách Thức Xác Định Điều Kiện Cần và Bất Đẳng Thức

Việc xác định điều kiện cần tối ưu và thiết lập bất đẳng thức biến phân là một thách thức lớn trong bài toán tối ưu hóa đa trị. Các điều kiện cần cung cấp thông tin về các điểm cực trị tiềm năng, nhưng chúng không đảm bảo rằng các điểm này thực sự là điểm tối ưu. Các bất đẳng thức biến phân cung cấp một công cụ mạnh mẽ để phân tích các bài toán tối ưu hóa với ràng buộc, nhưng việc thiết lập chúng có thể rất khó khăn. Theo tài liệu gốc, lý thuyết điều kiện cần ưu đóng nền móng và đã phong phú. Điều kiện đủ ưu thường được xuất hiện kèm theo, hoặc gắn thuyết đối ngân.

2.1. Độ phức tạp của hàm đa trị và tham số

Khi hàm mục tiêu là một hàm đa trị, việc tìm kiếm các điểm cực trị trở nên phức tạp hơn nhiều. Các hàm này có thể có nhiều điểm không khả vi hoặc các điểm dừng, và việc xác định các điểm tối ưu đòi hỏi các kỹ thuật đặc biệt. Số lượng tham số cũng ảnh hưởng đến độ phức tạp của bài toán, vì không gian tìm kiếm tăng lên theo số lượng tham số. Do đó, cần có các phương pháp hiệu quả để xử lý các hàm đa trị và số lượng tham số lớn.

2.2. Xác định điều kiện ràng buộc và miền nghiệm

Các ràng buộc có thể giới hạn miền nghiệm của bài toán tối ưu hóa, và việc xác định chúng một cách chính xác là rất quan trọng. Ràng buộc có thể là đẳng thức hoặc bất đẳng thức, và chúng có thể phụ thuộc vào các tham số của bài toán. Miền nghiệm là tập hợp các điểm thỏa mãn tất cả các ràng buộc, và việc tìm kiếm các điểm tối ưu chỉ được thực hiện trong miền này. Do đó, cần có các phương pháp hiệu quả để xác định và xử lý các ràng buộc, cũng như để tìm kiếm miền nghiệm.

2.3. Khó khăn trong việc áp dụng các phương pháp truyền thống

Các phương pháp tối ưu hóa truyền thống, như gradient descent hoặc Newton's method, có thể không hiệu quả khi áp dụng cho các bài toán tối ưu hóa đa trị. Các phương pháp này thường dựa trên việc tính đạo hàm của hàm mục tiêu, và chúng có thể bị mắc kẹt trong các cực trị cục bộ hoặc các điểm dừng. Do đó, cần có các phương pháp mới và hiệu quả hơn để giải quyết các bài toán tối ưu hóa đa trị, chẳng hạn như các thuật toán tiến hóa, các phương pháp heuristic, hoặc các phương pháp dựa trên bất đẳng thức biến phân.

III. Phương Pháp Bất Đẳng Thức Biến Phân và Điều Kiện KKT

Các phương pháp dựa trên bất đẳng thức biến phân và điều kiện Karush-Kuhn-Tucker (KKT) là những công cụ mạnh mẽ để giải quyết các bài toán tối ưu hóa đa trị. Bất đẳng thức biến phân cung cấp một cách tiếp cận tổng quát để phân tích các bài toán tối ưu hóa với ràng buộc, trong khi điều kiện KKT cung cấp một tập hợp các điều kiện cần để một điểm là điểm tối ưu. Việc kết hợp hai công cụ này có thể giúp tìm ra các điểm cực trị tiềm năng và xác định các điểm tối ưu thực sự. Theo tài liệu gốc, bài toán bất đẳng thức biến phân điển tìm zy EC Re tap đóng, khác trống) sao cho (/(za),# 29) V2 E. day Re 4 Re hàm đã cho.

3.1. Sử dụng bất đẳng thức biến phân để giải bài toán tối ưu

Bất đẳng thức biến phân là một bất đẳng thức liên quan đến một hàm và một tập hợp. Bất đẳng thức này có thể được sử dụng để mô tả các điều kiện cần và đủ để một điểm là điểm tối ưu của một bài toán tối ưu hóa. Việc giải bất đẳng thức biến phân có thể được thực hiện bằng nhiều phương pháp khác nhau, chẳng hạn như phương pháp chiếu, phương pháp lặp, hoặc phương pháp Newton. Cụ thể, nghiệm cân bằng theo nghĩa Wardrop cua bài toán mạng giao thông chỉnh nghiệm cuả bài toán bất đẳng thức biến phân được định nghĩa tương ứng với bài toán mạng.

3.2. Áp dụng điều kiện Karush Kuhn Tucker KKT

Điều kiện KKT là một tập hợp các điều kiện cần để một điểm là điểm tối ưu của một bài toán tối ưu hóa với ràng buộc. Các điều kiện này bao gồm điều kiện dừng, điều kiện khả thi, điều kiện bổ sung, và điều kiện dấu. Việc kiểm tra các điều kiện KKT có thể giúp xác định các điểm cực trị tiềm năng của bài toán, nhưng chúng không đảm bảo rằng các điểm này thực sự là điểm tối ưu. Điều kiện KKT cũng có thể được sử dụng để tìm ra các hệ số Lagrange, các hệ số này cung cấp thông tin về độ nhạy của hàm mục tiêu đối với các ràng buộc.

3.3. Chứng minh điều kiện cần và bất đẳng thức biến phân

Việc chứng minh các điều kiện cần và bất đẳng thức biến phân là rất quan trọng để đảm bảo tính đúng đắn của các phương pháp tối ưu hóa. Các chứng minh này thường dựa trên các định lý và kết quả từ giải tích lồi, giải tích hàm, và giải tích biến phân. Việc chứng minh các điều kiện cần có thể được thực hiện bằng cách sử dụng định lý Fermat, định lý Weierstrass, hoặc nguyên lý tối đa Pontryagin. Việc chứng minh các bất đẳng thức biến phân có thể được thực hiện bằng cách sử dụng định lý Minty, định lý Stampacchia, hoặc định lý Hartman-Stampacchia.

IV. Ứng Dụng Tối Ưu Hóa trong Cân Bằng Giao Thông và Giả Bù

Việc ứng dụng tối ưu hóa vào các bài toán cân bằng giao thông và giả bù mang lại nhiều lợi ích thiết thực. Trong bài toán cân bằng giao thông, tối ưu hóa có thể giúp tìm ra các luồng giao thông tối ưu, giảm thiểu tắc nghẽn và cải thiện hiệu quả của hệ thống giao thông. Trong bài toán giả bù, tối ưu hóa có thể giúp tìm ra các giải pháp ổn định và công bằng, đảm bảo rằng tất cả các bên liên quan đều được hưởng lợi. Theo tài liệu gốc, nghiệm cân bằng theo nghĩa Wardrop cua bài toán mạng giao thông chỉnh nghiệm cuả bài toán bất đẳng thức biến phân được định nghĩa tương ứng với bài toán mạng. Cụ thể zg nghiệm bất đẳng thức biến phân điển ([zu),# 29) > Ve E, khi và chỉ khi = Py(xg — œf{za)) với > cố định bất kỳ, đây PgŒ) phép chiếu cuả trên tập đóng #

4.1. Mô hình hóa bài toán cân bằng giao thông bằng tối ưu

Bài toán cân bằng giao thông có thể được mô hình hóa như một bài toán tối ưu hóa, trong đó hàm mục tiêu là tổng chi phí đi lại của tất cả người dùng và các ràng buộc là các điều kiện cân bằng. Các điều kiện cân bằng đảm bảo rằng không có người dùng nào có thể giảm chi phí đi lại của mình bằng cách thay đổi lộ trình. Việc giải bài toán tối ưu hóa này có thể được thực hiện bằng nhiều phương pháp khác nhau, chẳng hạn như phương pháp Frank-Wolfe, phương pháp MSA, hoặc phương pháp PATH.

4.2. Ứng dụng bất đẳng thức biến phân vào bài toán giả bù

Bài toán giả bù là một bài toán trong đó cần tìm ra một giải pháp sao cho các biến và các ràng buộc bổ sung đều thỏa mãn. Bất đẳng thức biến phân có thể được sử dụng để mô tả các điều kiện cần và đủ để một giải pháp là giải pháp giả bù. Việc giải bất đẳng thức biến phân có thể được thực hiện bằng nhiều phương pháp khác nhau, chẳng hạn như phương pháp NCP, phương pháp Fischer-Burmeister, hoặc phương pháp PATH.

4.3. Phân tích độ nhạy và ổn định của nghiệm tối ưu

Việc phân tích độ nhạy và ổn định của nghiệm tối ưu là rất quan trọng để đánh giá tính tin cậy và độ robustness của giải pháp. Độ nhạy cho biết nghiệm tối ưu thay đổi như thế nào khi các tham số của bài toán thay đổi. Độ ổn định cho biết nghiệm tối ưu có tồn tại và duy nhất hay không. Các phương pháp phân tích độ nhạy và ổn định bao gồm phương pháp perturbed optimization, phương pháp sensitivity analysis, và phương pháp stability analysis.

V. Tương Lai Nghiên Cứu Mở Rộng và Thuật Toán Hiệu Quả

Hướng nghiên cứu tối ưu hóa đa trị phụ thuộc tham số còn nhiều tiềm năng phát triển. Các nghiên cứu trong tương lai có thể tập trung vào việc mở rộng lý thuyết và phát triển các thuật toán hiệu quả hơn để giải quyết các bài toán phức tạp. Một hướng đi tiềm năng là kết hợp các phương pháp tối ưu hóa truyền thống với các phương pháp dựa trên học máy, tạo ra các thuật toán hybrid có khả năng thích ứng với các bài toán khác nhau. Theo tài liệu gốc, các toán phụ thuộc tham đã được quan tâm nhiều thế Có nguyên nhân chính dẫn đến phải xét toán phụ thuộc tham Một bài toán thực thường có nhiều biến quan nhau phức tạp mà khi mô hình hoá toán học cần phân biệt biến độc lập chính và biến độc lập tham [loffe-Tihomirov 1979] nghiên cứu điều kiện cần ưu các toán tham số như vậy cho ưu võ hướng và ứng dụng vào điều khiển động.

5.1. Phát triển các thuật toán tối ưu hóa toàn cục hiệu quả

Các thuật toán tối ưu hóa toàn cục có khả năng tìm ra nghiệm tối ưu toàn cục của bài toán, thay vì chỉ các nghiệm tối ưu cục bộ. Tuy nhiên, các thuật toán này thường đòi hỏi chi phí tính toán lớn, đặc biệt đối với các bài toán có kích thước lớn. Do đó, cần có các nghiên cứu để phát triển các thuật toán tối ưu hóa toàn cục hiệu quả hơn, giảm thiểu chi phí tính toán và tăng tốc độ hội tụ.

5.2. Kết hợp tối ưu hóa với học máy và trí tuệ nhân tạo

Học máy và trí tuệ nhân tạo có thể được sử dụng để cải thiện hiệu quả của các phương pháp tối ưu hóa. Ví dụ, các mô hình học máy có thể được sử dụng để ước lượng hàm mục tiêu, xác định các ràng buộc, hoặc dự đoán các điểm cực trị tiềm năng. Các thuật toán tối ưu hóa có thể được sử dụng để huấn luyện các mô hình học máy, tìm kiếm các siêu tham số tối ưu, hoặc cải thiện độ chính xác của các dự đoán.

5.3. Nghiên cứu các ứng dụng mới trong các lĩnh vực khác nhau

Bài toán tối ưu hóa đa trị phụ thuộc tham số có tiềm năng ứng dụng rộng rãi trong nhiều lĩnh vực khác nhau, chẳng hạn như kỹ thuật, kinh tế, khoa học máy tính, và y học. Việc nghiên cứu các ứng dụng mới trong các lĩnh vực này có thể giúp giải quyết các vấn đề thực tế và mang lại những lợi ích thiết thực cho xã hội. Đặc biệt trong những bài toán điều khiển ưu hệ động còn dang vấn đề nghiên cứu sắp của chúng Vì sự phức tạp của bài toán đa trong trường hợp này, luận án chưa thể bao hàm các nghiên cứu như vậy.

Trích đoạn nội dung tài liệu

Chương 1 chúng tôi xét riêng bài toán với ảnh xạ P = p là đơn trị Các bài toán này rất thường gặp vì ràng buộc đẳng thức p{z,u) = 0 thường là phương trình mô tả trạng thái cuả hệ, các điều kiện đầu và điều kiện biên, Chương 2 mở rộng kết quả ra trường hợp P là ánh xạ đa trị, tức là bài toán đa trị hoàn toàn. Dạng hay gặp cuả bài toán này là 0 € P(z,u) có dạng bao hàm thức vì phân. Chúng tôi chứng minh điều kiện cần tối ưu Fritz John va Kuhn-Tucker. Tuy nhiên việc áp dụng vào các bài toán điều khiển tối ưu hệ động còn dang là vấn đề nghiên cứu sắp tới của chúng lôi.

Vì sự phức tạp của bài toán đa trị trong trường hợp này, luận án chưa thể bao hàm các nghiên cứu như vậy.2 Các định nghĩa cơ bản Ký hiệu Z* là không gian đối ngẫu tô pô của Z, tức là không gian các phiếm hàm tuyển tỉnh liên tục trên Z, Gọi ă* là nón liên hợp cuả nón M, tức là M*:={u€ 2* :{n,z) >0, Vz€ MỲ. Cho (ro veh là một điểm chấp nhận duge cud (P) va (P) va vdi go € G(zp, ug) 1 (—M) cé dinh. Khi dé ta dinh nghia Mg := {oz + 90) 7 € Ry, 2 € M}, Mỹ := {u € M* : (u, go) = 0} = (Mo). Dd thi grF va mién hiéu qua domF cua anh xa da tri F : X ~~ Y duge dinh nghia nhu sau grF :={(z,u)€ X xY:u€Z7(z)}, domF = {2 eX: F(a) ¢ 8}.

Dao ham Clarke cia F tai (20; fo) € grF, ky hieu l& DF (2p; fy) 1& mot anh xa da tri cling th X vao Y cd db thi la gr DF (x9; fo) := .°) ERY Va, fe tytn € Flay + tat) ở đây —p nghĩa là (za;f„) € gr F va (ta, fn) 4 (20, fo). Dugc biét rang DF (29; fo) ludn l& mot qua trinh lồi đóng, tức là ánh xe đa trị có đồ thị 10 lk ndén Wi déng khác trống. Ta cũng dùng ký hiệu pyÍzg, tạ} cho đạo hàm Fréchet cud ánh xa dan tri pl, ug) tại #g. Trong nghiên cứu cud ching tdi chi có tính khả vì theo hướng theo + sau đây cần giá thiết cho F va G.

Giá sử X và Y là các không gian Banach, Ý được sắp bởi nón K. Ánh xạ đa trị Z: X ^+ Ý được gọi là A - khd vi déu theo hướng # € X tai (20, fạ) € grZ nếu với mọi lãn cận V cha 0 trong Ÿ, tồn tại lân cân của # và số thực + > 0 sao cho Wy € (0,a),Vz € N,Vƒ € #(zạ ++z),VYƒ!c Da: ñ)E, 1 5 fy) ~ fev-K. # được gọi là K -khả vị đều tại (za, ƒa} nếu tính khả vì này đúng cho mọi hướng z trong 27 (za, /ạ). Về sự liên tục theo biến + chúng ta sẽ cần tính nửa liên tục sau đây cho các ánh xạ đa trị, ĐỊNH NGHĨA 122.

Giả sử X,Y và K như ở Định nghĩa 12.1 và #7 : X» Ÿ Giả sử zạ € dom. 7 được gọi là K-nửa liên bục dưới mạnh (K-s]s.} theo tại z¿ nếu với mọi lân cận V của 0 trong Ÿ, tồn tai lan cin N cla xg sac cho Ve € N, Sf, € F(z), fe-TOV-K. Nếu 3ƒ, € F(x), duge thay boi Vf, € F(x) thi ta cd định nghĩa cud tink K-ntra lien tuc duéi déu (K-uls. Cha y¥ ring néu 29 € intdomF, thi K-uls.

vi néu F a K-sls.}+ K 18 nita lien tuc dudi theo nghĩa thông thường của anh xa da tri. Bây giờ nói về bién u. Tuy tập Ứ không có cấu trúc gì nhưng chúng ta cũng cần có các giá thiết mở rộng (và giảm nhẹ) cuả tính giống lồi (convexlike) cổ điển cuả [Fan 1955 ] như trong ba định nghĩa sau đây. Giả sử Ù là tập, còn Ý và Z là các không gian tuyến HH tính được sắp bởi cdc adn i K va M, tuang ứng.

Chú ý rằng, giống như trường hợp lồi, tù các tính chat tren day choi = 1,2 suy va chúng cũng đúng cho ¿ =1,.t với mọi số tự nhiên rm, Tir nay ta sé định nghĩa đơn hình J?" C Im như sau th PL = {đi dạ, ., dạ) cay ŠS Lai > Ệ. Ánh xạ đa trị (Z,?): Xà x Ð + Y kW được gọi ik K x {0} -giống lồi yếu trong (Ù, {ua}) tại rạ, manh đối vải 7, nếu vất mọi tập hữu bạn {ay,., tồn tại lần câu ÍÝ của ze sao cho V2 € N,V{[ø,. du) € Th 3P 6 Flea), Ve € PŒ, HỦ,€ = Ú0,. Mê rộng sau đây cuá tính giống lồi cũng lên quan đến cỗ biến œ và u như Định nghĩa 1.

Nó có đang khá phúc tạp nhung là một tỉnh chất khả nhẹ và không khó kiếm tra như Thí dụ 1.2 dưới day chỉ rõ. Bài toáa (?) với ánh xạ # = p đơu trị được gọi là giống lồi xáp xì tai (ạ, tạ) nâu với mọi tập hữu hạn {,. d,} C 7, với mọi 12 § > 0, ton tai c > 0, tồn bại lăn cận V của2z; và ánh xa0 : xe}* —+ U, tồn taie € K vag © M sac cho Vz,z!€ V, 3ƒ?) € F(œ,u;), g' € GẮm, tị}, ƒ = 0,1,.,5, Vơ,ơt€ cÐ*, Vy, € Gla, u(z,a)), If, € Plz, ule, a})} thoả u(x, 0) *# Mạ; f+ x ag(fz? ~ fe) + Alife ~ aql| + Lae ~frEK, I + để + œ;(gz' — gz°) + Š(lJ£ ¬ #al[ + > đ;)q— g„ € ẤM, = i=. luữz, tứ, ø)) — Bla’, uf2!, o°}) — pe(to, aie ~ 2°) - ah (a; — a;)p(2a, ull 3 é Sle ~ 2 + £3 Jay ~ a5).

6 day dao him p,{2g, tạ) được giả thiết là tồn tại. Qhú ý rằng nến p{z,u]} = 0, và G là đơn trị và định nghĩa chỉ đồi hỏi thoả với § = 0, thì định nghĩa trên chính là tính X x Äf-giống lồi của ánh xạ don tri F x G theo nghia cia (Fan 1953]. Để làm việc với bao hàm thức 0 € P(ø,u) ở Chương 2, ta cần định nghĩa sau. Gid st) F : X s+ ¥, ag € domF, fy € F(xq).

Anh xạ đơn trị ƒ : X + Y xác định trong lần cận N của zụ được gọi là lát cắt địa phương chính quy cha F tai (ao, fy) néu F(ze) = fo, f(z) € 7(œ) với moi z € W)ndom.# và fj{zạ)à = V. ƒ được gọi là lát cất địa phương dưới chink quy néu fi{ap)X = Y duoc thay boi fi{eg)X = Ð,7(zrg)X và có đối chiều hữu hạn.3 Điều kiện cần cực trị cho bài toán với ràng buộc đẳng thức đơn trị Trong muc nby ta xết trường hợp hai bài toán (P) và (P} có rùng buộc 0€ P{z,u} ở dạng 0 = pÍz, u), tức là P = p là ảnh xạ đơn trị. Trước tiên 13 ta xét bài toán (P). Gid sit rang (L với mỗi u € U, p(.,u) khả uí liên tục tại ty vd Pz(%a, uạ) là ánh sa lên, ở đây (zạ,uạ) là điểm chấp nhận được của (P); (8) P(,un) uà QÁ.,uạ) là K-khả tỉ đều tai (xq, ug; fo) vd Mokhd vi déu tại (#ạ, ta; gạ), tương ứng, ở đâu ƒo € Í (xạ, ta),gạ € G(0n, aạ) ñ (—M); (Hủ với mỗi u # tạ, F(,u) (G(,u), tương ứng) là K-s.

theo Gng,H)) tại sa. theo gụ, tương wing} tai x; (iv) uới mạiœ trong một lần cận V cuẳ xq, (F,G,p)(a, .) la Kx M x {0}- giống lồi trong (U, {ua}).) la K x M x {0}-giống lồi trong (U, D).3) Chứng mình: Nếu a ¢ domD,F (2g, up; fo) \domD.G(xo, us: 99); thì vế trái cuả (1.3) là trống và rõ ràng (1. Vậy ta có thể giá thiết rằng £ là thuộc phần giao này. Tuy nhiên, để đơn giản các kí hiệu ta vẫn viết z€ X.

Giá sử Ở là tập bao gdm tat cd cde (y,z,w) € Y x Z x W sao cho 3(=,u) €X x Ú,3ft € DF (20, uo; fo), 3fy, € F(z0, u), 3ø} € Đ,Gữw, thọ; 0a), 3øÿ, € G(x, 4), Ji +8, — fo —y € —tniK, 4) 9 + 9%, — 99 — 2 E — int, (1.6) 14 Ta sẽ chỉ ra Ở là tập lồi. Thực vậy, nếu (¿,z¿, tạ} € Ở, š = 1,2, thì, với cách kí hiệu tương tự trong (1.6), ta có, từ mỗi + € [0, 1], xịt, + ~ +), + xin +ÍT — TÌfể — ƒa Sm + —+)ga, (7) +8}, + (1 ~ 7)gÉ, + 198 + (L- 7)9% - 90 ŠS ñ +(La2)z2, (L8) Po(£p, Uo) (yt.9) Bởi tính lồi cuả đạo hàm Clarke, đặt # := y#¡ + (1 — y)z¿ ta thấy rằng đ:= vít +(— +)Ðt, € DF (xo, uo; fo), đš := Y0, + (1 — +), € D„Œ(a, tạ; gạ)2. Đo tính K x ă x {0}-giống lồi của (F,GŒ,p)(zạ,.9) đồng thời chỉ ra là (g,Z,18) := TM, #4, 0i) + (1 — y) (ye, 22, we) thuộc Ở, tức là Ở Tài, “Tiếp theo ta chứng minh rằng infC # 6. gid sử là (g,z, 1) € Ơ.

Thì với c>0 đủ bé và cố định J+ ft.10) 95+ 9%, — 9 -7F+eBzC —intM, 1) Pr(2o, Uo)F + p(zo, u) = W, (112) ở đây By, By va Bz la cdc quả cầu đơn vi mé trong X,Y và Z, tương ứng. B& tinh K-kha vi déu cud F(.,up) trong gid thiét (ii), 36 > 0, 3yy > 0,Vz € E+ By, Vy € (0,19), Vf € Fly +2, ug), (f - fo) ~ Se € By ~ K.18) wf et 15 Bay gid ti: méi « € + 4By va moi ff € D, F(z, up; fo) suy ra rằng, Ye, 3y € (0, 2a), đe! € z + 5 By, Af € F(to + y2', up), ft~ —Ứ+ — h) € TBr.14) đồng thời chỉ ra rằng Vz € £ + ‡B„, Ví; € D„F(zạ, tại fụ)2, Fy € (0,49), Je! € x + £By, Ff € Flay +72", uy), fi- f= ft-+U-h)+ 3 1U-—h)- + fe SBy-K.15) ta thấy là, với mỗiz € #+ §Bx và ft € D„F'(za, up; fo)z, € J + + By C —K —intK c —intK. Tương tự, với mỗi z € #+ ‡By va gt € DyG(x9, up; 90), € 9z + đŸ, — 0a — Z + s C -intM.12), ta thấy từ giả thiết (1) rằng pz(zo, uo)(F+4Byx)+p(zo, u) chứa lân cận mở 17 + ¢ By cua w. Bay gid dễ kiểm tra rằng (+ 8y) x(#+2Bz) x (w+ By) CC, titc la intC # 0.18) thì bởi định lý tách ta thu được (1.16), ta giả sử ngược lại là tồn tại (2,8) € X x U, fle D,F (xq, uo; fo)?,9 € DeG(xo 40; 90)2,,f4, € F{œa,8) và gỗ, € G(zạ,ñ) sao cho fi + £8 - fy € int K, (1.19) 16 Ta dinh nghia dnh xa P: X x R — W bởi ?(z, ø) := œp(zạ + z, 8) + (1 — œ)p(# + #, t).