I. Khám phá hàm lồi suy rộng Nền tảng của lý thuyết tối ưu
Trong toán học hiện đại, đặc biệt là trong lý thuyết tối ưu, lớp các hàm lồi và hàm lồi suy rộng chiếm một vị trí trung tâm. Luận văn thạc sĩ với chủ đề 'Một số đặc trưng của hàm lồi suy rộng' cung cấp một cái nhìn tổng quan, chi tiết về lớp hàm quan trọng này. Sự ra đời của khái niệm hàm lồi suy rộng xuất phát từ một nhu cầu thực tiễn: nhiều mô hình toán học không thể được mô tả bằng các hàm lồi truyền thống nhưng vẫn giữ lại những tính chất quý giá của chúng. Ví dụ, một điểm cực tiểu địa phương của hàm lồi cũng là điểm cực tiểu toàn cục. Tính chất này không phải lúc nào cũng đúng với hàm không lồi, nhưng lại có thể đúng với một lớp hàm rộng hơn, đó là hàm lồi suy rộng. Việc nghiên cứu các đặc trưng của chúng, do đó, không chỉ mang ý nghĩa lý thuyết sâu sắc mà còn có giá trị ứng dụng to lớn. Luận văn tập trung vào việc làm sáng tỏ mối quan hệ giữa tính lồi suy rộng của hàm và tính đơn điệu suy rộng của các công cụ vi phân tương ứng, như đạo hàm suy rộng hay dưới vi phân. Đây là sự kế thừa và phát triển từ một kết quả kinh điển: tính lồi của hàm khả vi được đặc trưng hoàn toàn bởi tính đơn điệu của đạo hàm. Thông qua việc tổng hợp các kết quả nghiên cứu mới và kinh điển, công trình này trở thành một tài liệu tham khảo giá trị cho các nhà nghiên cứu, nghiên cứu sinh và học viên cao học trong lĩnh vực giải tích lồi và giải tích không trơn.
1.1. Định nghĩa và vai trò của hàm lồi trong toán học
Một hàm số được gọi là lồi nếu đoạn thẳng nối hai điểm bất kỳ trên đồ thị của nó luôn nằm trên hoặc trùng với đồ thị. Tính chất hình học đơn giản này mang lại những hệ quả toán học vô cùng mạnh mẽ. Các hàm lồi có những đặc tính ưu việt trong các bài toán tối ưu, chẳng hạn như mọi điểm cực tiểu địa phương đều là cực tiểu toàn cục và tập hợp các điểm cực tiểu tạo thành một tập lồi. Điều này giúp đơn giản hóa đáng kể việc tìm kiếm nghiệm tối ưu. Hơn nữa, với sự hiện diện của tính lồi, các điều kiện cần cho nghiệm tối ưu (như điều kiện Karush-Kuhn-Tucker) trong nhiều trường hợp cũng trở thành điều kiện đủ. Tuy nhiên, lớp các hàm lồi là khá nhỏ và không đủ để mô tả nhiều bài toán trong kinh tế, kỹ thuật và khoa học dữ liệu. Điều này dẫn đến sự cần thiết phải mở rộng khái niệm này.
1.2. Mở rộng khái niệm Giới thiệu hàm vectơ lồi theo nón
Để giải quyết các bài toán tối ưu đa mục tiêu, khái niệm hàm lồi được mở rộng cho các hàm có giá trị trong không gian vectơ, gọi là hàm vectơ lồi. Thay vì so sánh các giá trị hàm số bằng quan hệ thứ tự thông thường trên tập số thực, người ta sử dụng một quan hệ thứ tự bộ phận được sinh ra bởi một nón lồi. Một hàm được gọi là hàm vectơ lồi theo nón (hay C-lồi) nếu bất đẳng thức lồi Jensen được thỏa mãn theo quan hệ thứ tự này. Nghiên cứu của Hoàng Tư Dương, dưới sự hướng dẫn của PGS. Huỳnh Thế Phùng, đã đi sâu vào việc định nghĩa và phân tích các lớp hàm lồi suy rộng trong không gian vectơ, bao gồm cả hàm vectơ tựa lồi tự nhiên, làm phong phú thêm hệ thống khái niệm của giải tích lồi và cung cấp công cụ để nghiên cứu các bài toán tối ưu phức tạp hơn.
II. Thách thức khi phân tích hàm không trơn và hàm lồi suy rộng
Việc nghiên cứu các đặc trưng của hàm lồi và hàm lồi suy rộng gặp phải nhiều thách thức, đặc biệt khi các hàm này không khả vi (không trơn). Lý thuyết vi phân cổ điển, vốn dựa trên khái niệm đạo hàm, tỏ ra không đủ mạnh để phân tích lớp hàm này. Đạo hàm có thể không tồn tại tại một số điểm, làm cho các công cụ kinh điển như định lý Lagrange hay khai triển Taylor không thể áp dụng. Đây chính là động lực cho sự phát triển của giải tích không trơn, một nhánh quan trọng của toán học hiện đại. Thách thức lớn nhất là xây dựng các công cụ thay thế cho đạo hàm, gọi là các toán tử dưới vi phân hay đạo hàm suy rộng, mà vẫn giữ lại được mối liên hệ mật thiết với các tính chất hình học của hàm số, như tính lồi. Luận văn đã chỉ ra rằng, việc tìm kiếm một 'đạo hàm' phù hợp cho hàm lồi suy rộng không phải là nhiệm vụ đơn giản. Các công cụ này cần phải đủ tổng quát để áp dụng cho lớp hàm rộng, nhưng cũng phải đủ 'tốt' để có thể đặc trưng hóa được tính lồi, ví dụ như thông qua tính đơn điệu. Việc thiếu một công cụ vi phân duy nhất và phổ quát đã dẫn đến sự ra đời của nhiều khái niệm khác nhau như đạo hàm theo hướng suy rộng, Jacobian suy rộng Clarke, và đối đạo hàm Mordukhovich, mỗi loại có những ưu và nhược điểm riêng.
2.1. Hạn chế của đạo hàm cổ điển trong giải tích không trơn
Đạo hàm cổ điển yêu cầu hàm số phải 'trơn' tại điểm xét, tức là có thể xấp xỉ tốt bằng một hàm tuyến tính. Tuy nhiên, nhiều hàm số quan trọng trong lý thuyết tối ưu, chẳng hạn như hàm giá trị tuyệt đối f(x) = |x| hay các hàm chuẩn trong không gian vectơ, lại không khả vi tại một số điểm. Tại những điểm 'gấp khúc' này, các thông tin quan trọng về cực trị lại thường xuất hiện. Do đó, việc chỉ dựa vào đạo hàm cổ điển sẽ bỏ sót những thông tin quý giá và không thể phân tích đầy đủ hành vi của hàm số. Giải tích không trơn ra đời để khắc phục những hạn chế này, cung cấp một bộ công cụ lý thuyết để làm việc với các hàm không khả vi.
2.2. Nhu cầu tìm kiếm các đặc trưng mới cho lớp hàm mở rộng
Khi mở rộng từ hàm lồi sang hàm lồi suy rộng, mối liên hệ trực tiếp giữa tính lồi và tính đơn điệu của đạo hàm không còn đơn giản nữa. Cần phải định nghĩa lại các khái niệm tương ứng cho phù hợp, chẳng hạn như tính đơn điệu suy rộng và tính tựa đơn điệu. Bài toán đặt ra là: với một định nghĩa đạo hàm suy rộng cụ thể, nó có thể đặc trưng hóa được tính lồi suy rộng hay không? Luận văn 'Một số đặc trưng của hàm lồi suy rộng' đã tập trung giải quyết vấn đề này bằng cách khảo sát và tổng hợp các kết quả nghiên cứu, đưa ra các định lý đặc trưng cho hàm vectơ lồi và hàm vectơ tựa lồi tự nhiên thông qua các công cụ vi phân suy rộng khác nhau.
III. Phương pháp đặc trưng hàm lồi suy rộng qua đạo hàm theo hướng
Một trong những phương pháp cốt lõi được trình bày trong luận văn để phân tích hàm lồi suy rộng là sử dụng đạo hàm theo hướng suy rộng. Thay vì một giá trị duy nhất như đạo hàm cổ điển, đạo hàm theo hướng suy rộng tại một điểm theo một hướng cho trước là một tập hợp các giới hạn có thể có của tỉ số gia. Công cụ này tỏ ra rất hiệu quả trong việc nắm bắt thông tin vi phân cục bộ của các hàm không trơn, đặc biệt là các hàm nửa liên tục dưới. Mối liên kết then chốt được thiết lập trong nghiên cứu này là giữa tính lồi của hàm vectơ và tính đơn điệu suy rộng của ánh xạ đạo hàm theo hướng suy rộng. Cụ thể, luận văn đã trình bày và chứng minh chi tiết các định lý quan trọng, khẳng định rằng một hàm vectơ nửa liên tục dưới là C-lồi khi và chỉ khi ánh xạ đạo hàm theo hướng suy rộng của nó là C-đơn điệu. Đây là một sự tổng quát hóa trực tiếp và thanh lịch từ kết quả kinh điển cho hàm khả vi. Phương pháp này cung cấp một cách tiếp cận thuần túy giải tích để kiểm tra và xác định tính lồi của một lớp hàm rộng, mở ra nhiều ứng dụng trong việc thiết lập các điều kiện tối ưu cho các bài toán tối ưu không trơn và đa mục tiêu. Việc phân tích này là nền tảng cho việc hiểu sâu hơn về cấu trúc của hàm lồi suy rộng.
3.1. Đạo hàm theo hướng suy rộng Một công cụ vi phân mạnh mẽ
Được định nghĩa là tập hợp các giới hạn của tỉ số gia khi bước nhảy tiến về 0, đạo hàm theo hướng suy rộng (generalized directional derivative) không yêu cầu sự tồn tại của một giới hạn duy nhất. Điều này cho phép nó tồn tại và chứa đựng thông tin phong phú ngay cả tại những điểm mà hàm số không khả vi. Trong luận văn, khái niệm này được định nghĩa một cách chặt chẽ và các tính chất cơ bản như tính thuần nhất dương được chứng minh. Công cụ này cho phép 'vi phân hóa' một lớp hàm rộng hơn nhiều so với đạo hàm cổ điển, bao gồm các hàm vectơ nửa liên tục dưới theo tia, là đối tượng nghiên cứu chính của công trình.
3.2. Mối liên hệ giữa tính C lồi và tính C đơn điệu suy rộng
Điểm nhấn của phương pháp này là việc thiết lập một sự tương đương hoàn toàn giữa một tính chất hình học (tính C-lồi của hàm) và một tính chất giải tích (tính C-đơn điệu của đạo hàm suy rộng). Luận văn đã chứng minh rằng: một hàm f là C-lồi khi và chỉ khi ánh xạ đa trị đạo hàm theo hướng suy rộng của nó thỏa mãn điều kiện C-đơn điệu. Tương tự, một kết quả cho hàm tựa lồi cũng được thiết lập thông qua tính tựa đơn điệu. Các định lý này, chẳng hạn như 'Định lý đặc trưng tính lồi... thông qua tính đơn điệu của đạo hàm theo hướng suy rộng', là những đóng góp cốt lõi, cung cấp một tiêu chuẩn kiểm tra hiệu quả cho tính lồi suy rộng.
IV. Cách dùng Giả Jacobian để mô tả đặc trưng hàm vectơ lồi
Bên cạnh đạo hàm theo hướng, một công cụ hiện đại và hiệu quả khác để phân tích hàm lồi suy rộng là Giả Jacobian (pseudo Jacobian). Đối với các hàm vectơ liên tục, đặc biệt là các hàm Lipschitz địa phương, Giả Jacobian cung cấp một cách để xấp xỉ tuyến tính hóa hàm số. Một ánh xạ đa trị được gọi là Giả Jacobian của hàm f nếu đạo hàm theo hướng Clarke của các hàm thành phần có thể được biểu diễn thông qua nó. Luận văn đã khai thác sâu sắc công cụ này, đặc biệt là Jacobian suy rộng Clarke và đối đạo hàm Mordukhovich, để thiết lập các đặc trưng mới cho hàm vectơ lồi. Tương tự như phương pháp trước, mối liên hệ trung tâm vẫn là giữa tính lồi và một dạng của tính đơn điệu. Cụ thể, các định lý được trình bày cho thấy rằng, với những điều kiện nhất định về tính chính quy, một hàm vectơ là C-lồi khi và chỉ khi Giả Jacobian của nó là C-đơn điệu. Phương pháp này đặc biệt hữu ích cho lớp các hàm Lipschitz địa phương, một lớp hàm rất phổ biến trong các ứng dụng thực tế. Nó cho thấy sự đa dạng của các công cụ trong giải tích không trơn và khả năng của chúng trong việc cung cấp những góc nhìn khác nhau về cùng một đối tượng là hàm lồi suy rộng.
4.1. Khái niệm Giả Jacobian và Jacobian suy rộng Clarke
Giả Jacobian là một khái niệm tổng quát cho các ma trận đạo hàm. Thay vì một ma trận duy nhất, nó là một tập hợp các ma trận. Một ví dụ tiêu biểu và quan trọng là Jacobian suy rộng Clarke, được định nghĩa là bao lồi của tất cả các giới hạn của các ma trận Jacobian tại những điểm lân cận mà hàm khả vi. Khái niệm này kế thừa nhiều tính chất tốt của đạo hàm cổ điển và được áp dụng rộng rãi để nghiên cứu các hàm vectơ lồi Lipschitz địa phương. Luận văn đã trình bày rõ định nghĩa và mối liên hệ của nó với đạo hàm theo hướng Clarke.
4.2. Đặc trưng tính lồi thông qua tính đơn điệu của Giả Jacobian
Kết quả trung tâm của phương pháp này là định lý khẳng định sự tương đương giữa tính C-lồi của hàm f và tính C-đơn điệu của Giả Jacobian Øf. Cụ thể, luận văn chỉ ra rằng: nếu Øf là C-đơn điệu thì f là C-lồi. Ngược lại, nếu f là C-lồi và Øf là C-chính quy trù mật, thì Øf là C-đơn điệu. Kết quả này cung cấp một công cụ mạnh mẽ để phân tích các hàm Lipschitz, một lớp hàm quan trọng trong các bài toán lý thuyết tối ưu và bài toán bất đẳng thức biến phân. Điều này một lần nữa khẳng định tầm quan trọng của mối liên hệ lồi-đơn điệu trong giải tích lồi hiện đại.
V. Kết quả cốt lõi từ luận văn Các định lý đặc trưng then chốt
Luận văn 'Một số đặc trưng của hàm lồi suy rộng' đã tổng hợp và trình bày một cách hệ thống các kết quả nghiên cứu quan trọng, tạo thành một báo cáo tổng quan đầy đủ và chi tiết. Những đóng góp chính không phải là các kết quả mới hoàn toàn mà là việc hệ thống hóa, chứng minh chi tiết và bổ sung các ví dụ minh họa, giúp làm sáng tỏ một lĩnh vực phức tạp của giải tích lồi. Các kết quả chính có thể được tóm tắt thành một loạt các định lý đặc trưng. Đầu tiên là các định lý liên kết tính lồi/tựa lồi của các hàm vectơ nửa liên tục dưới với tính đơn điệu/tựa đơn điệu của đạo hàm theo hướng suy rộng. Thứ hai là các định lý tương tự cho lớp hàm liên tục, sử dụng công cụ Giả Jacobian và Jacobian suy rộng Clarke. Những định lý này không chỉ có ý nghĩa lý thuyết mà còn mang lại giá trị thực tiễn cao. Chúng cung cấp các tiêu chuẩn có thể kiểm chứng được để xác định một hàm có thuộc lớp hàm lồi suy rộng hay không, từ đó cho phép áp dụng các phương pháp giải quyết hiệu quả trong lý thuyết tối ưu. Việc hiểu rõ các đặc trưng này giúp các nhà nghiên cứu xây dựng các thuật toán tối ưu hiệu quả hơn và phân tích sự hội tụ của chúng một cách chặt chẽ hơn.
5.1. Ý nghĩa khoa học của các định lý về hàm lồi suy rộng
Ý nghĩa khoa học của các định lý này nằm ở việc chúng củng cố và mở rộng cây cầu nối giữa giải tích lồi (tính chất hình học) và lý thuyết toán tử đơn điệu (tính chất giải tích). Sự tương đương giữa tính lồi và tính đơn điệu, vốn đã quen thuộc trong trường hợp hàm khả vi, nay được khẳng định lại trong một bối cảnh tổng quát hơn nhiều, cho cả hàm vectơ lồi và các hàm không trơn. Điều này cho thấy mối quan hệ này là một cấu trúc toán học nền tảng, sâu sắc. Các kết quả này đóng góp vào sự phát triển chung của giải tích không trơn và lý thuyết tối ưu hóa.
5.2. Ứng dụng thực tiễn trong giải tích lồi và lý thuyết tối ưu
Trong thực tiễn, các định lý đặc trưng này là công cụ nền tảng để nghiên cứu các bài toán tối ưu không lồi, bài toán bù, bất đẳng thức biến phân và bài toán điểm cân bằng. Khi xác định được một hàm là hàm lồi suy rộng, các nhà nghiên cứu có thể áp dụng các thuật toán chuyên biệt để tìm nghiệm hiệu quả. Ví dụ, trong kinh tế học, nhiều mô hình cân bằng được mô tả bởi các hàm không lồi nhưng lại có tính tựa lồi. Việc hiểu rõ các đặc trưng của hàm lồi suy rộng giúp phân tích sự tồn tại và tính duy nhất của các trạng thái cân bằng này. Công trình nghiên cứu này, do đó, là một tài liệu tham khảo hữu ích cho bất kỳ ai làm việc trong lĩnh vực tối ưu hóa và các ngành liên quan.
