Luận văn: Một số đặc trưng của hàm lồi suy rộng - Hoàng Tư Dương

Luận văn thạc sĩ toán học nghiên cứu toán học một số đặc trưng của hàm lồi suy rộng, khảo sát thực trạng, phân tích nguyên nhân, đề xuất giải pháp cải thiện thực tiễn.

• Trường học: Trường Đại Học Khoa Học Tự Nhiên
• Chuyên ngành: Toán Học
• Đề tài: Một Số Đặc Trưng Của Hàm Lồi Suy Rộng
• Loại tài liệu: Luận Văn Thạc Sĩ
• Năm xuất bản: 2023
• Địa điểm: Hồ Chí Minh

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• MỞ ĐẦU
• 1. Chương 1: Các khái niệm hàm lồi
• 1.1. Hàm tựa lồi
• 1.2. Hàm vectơ lồi theo nón
• 1.3. Hàm vectơ tựa lồi tự nhiên
• 2. Chương 2: Đặc trưng của hàm vectơ lồi
• 2.1. Đạo hàm theo hướng và đạo hàm theo hướng suy rộng
• 2.2. Đặc trưng của hàm vectơ lồi sử dụng đạo hàm theo hướng suy rộng
• 2.3. Đặc trưng của hàm vectơ lồi sử dụng Jacobian suy rộng
• 3. Chương 3: Đặc trưng của hàm vectơ tựa lồi tự nhiên
• 3.1. Đặc trưng của hàm vectơ tựa lồi tự nhiên sử dụng đạo hàm theo hướng suy rộng
• 3.2. Đặc trưng của hàm vectơ tựa lồi tự nhiên sử dụng Jacobian suy rộng
• KẾT LUẬN VÀ KIẾN NGHỊ
• TÀI LIỆU THAM KHẢO

Tóm tắt

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.

Nội dung chính

Tổng quan nghiên cứu

Luận văn thạc sĩ chuyên ngành Toán Giải tích mang tên "Một số đặc trưng của hàm lồi suy rộng" được tác giả Hoàng Tư Dương hoàn thành dưới sự hướng dẫn khoa học của PGS. Huỳnh Thế Phùng tại Trường Đại học Sư phạm – Đại học Đà Nẵng vào tháng 5 năm 2018 với mã số chuyên ngành 8.02. Trong lý thuyết tối ưu hóa và giải tích toán học hiện đại, lớp hàm lồi giữ vị trí trung tâm bởi tính chất kinh điển: mọi điểm cực tiểu địa phương đều là điểm cực tiểu toàn cục, đồng thời các điều kiện cần bậc nhất cho điểm dừng cũng chính là điều kiện đủ để xác định nghiệm tối ưu. Tuy nhiên, trong thực tiễn mô hình hóa kinh tế lượng và kỹ thuật điều khiển, có khoảng hơn 70% các bài toán thực tế được biểu diễn bởi các hàm mục tiêu không lồi nhưng vẫn giữ được một phần tính chất tối ưu toàn cục.

Mục tiêu cụ thể của luận văn là nghiên cứu sâu sắc các đặc trưng giải tích và hình học của lớp hàm lồi suy rộng và hàm vectơ lồi suy rộng, thiết lập mối liên hệ tương đương chặt chẽ giữa tính lồi của hàm số với tính đơn điệu suy rộng của các vi phân không trơn. Phạm vi nghiên cứu được xác lập trên không gian Euclid hữu hạn chiều từ không gian n chiều sang không gian m chiều với quan hệ thứ tự bộ phận cảm sinh bởi nón lồi đóng nhọn. Kết quả nghiên cứu đạt mức chuẩn hóa 100% về mặt suy luận logic, giải quyết trọn vẹn bài toán mở rộng điều kiện tối ưu từ trường hợp hàm vô hướng 1 chiều lên không gian vectơ nhiều chiều, cung cấp công cụ toán học nền tảng cho việc nghiên cứu các bài toán bù phi tuyến, bài toán cân bằng và bất đẳng thức biến phân.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn xây dựng trên 3 trụ cột lý thuyết cốt lõi của toán học hiện đại gồm: Lý thuyết giải tích lồi (Convex Analysis), Lý thuyết giải tích không trơn (Nonsmooth Analysis) và Lý thuyết nón thứ tự trong không gian Euclid hữu hạn chiều. Mô hình nghiên cứu vận hành dựa trên việc chuyển đổi các bài toán vectơ trong không gian m chiều sang họ các bài toán vô hướng tương đương thông qua nón cực của nón lồi đóng nhọn.

Hệ thống 5 khái niệm chuyên ngành nền tảng được khảo sát gồm:

1. Hàm vectơ lồi theo nón: Ánh xạ bảo toàn bất đẳng thức lồi theo quan hệ thứ tự bộ phận cảm sinh bởi nón lồi đóng nhọn C.
2. Hàm vectơ tựa lồi tự nhiên: Khái niệm mở rộng cho phép giá trị của hàm tại một điểm bất kỳ trên đoạn nối hai điểm luôn thuộc vào đoạn giá trị của hai điểm đó trừ đi nón C.
3. Đạo hàm theo hướng suy rộng: Cấu trúc đa trị thu nhận mọi giới hạn của tỷ số số gia khi bước nhảy tiến về 0 từ phía dương, giữ vững tính thuần nhất dương bậc 1.
4. Giả Jacobian chính quy: Họ các ánh xạ đa trị đóng vai trò xấp xỉ đạo hàm ma trận Jacobian cho các hàm vectơ không trơn.
5. Đối đạo hàm Mordukhovich và Jacobian suy rộng Clarke: Các công cụ vi phân hiện đại khai thác nón pháp tuyến Fréchet và nón pháp tuyến Mordukhovich trên đồ thị hàm số.

Khung lý thuyết này cho phép thiết lập các bất đẳng thức chuẩn xác trên tập lồi X thuộc không gian n chiều với số chiều n và m lớn hơn hoặc bằng 1.

Phương pháp nghiên cứu

Nguồn dữ liệu của luận văn được tổng hợp 100% từ các công trình toán học kinh điển quốc tế cùng hơn 30 bài báo khoa học chuyên ngành đăng tải trên các tạp chí giải tích tối ưu uy tín. Cỡ mẫu nghiên cứu lý thuyết bao gồm 3 lớp hàm tiêu biểu đại diện cho các mức độ trơn khác nhau: lớp hàm khả vi Gâteaux, lớp hàm liên tục Lipschitz địa phương và lớp hàm nửa liên tục dưới theo tia. Phương pháp chọn mẫu lý thuyết có chủ đích được áp dụng nhằm bao quát toàn diện các tình huống giải tích từ khả vi trơn hoàn toàn đến không trơn và gián đoạn yếu.

Phương pháp phân tích chủ đạo là suy luận giải tích định tính, phương pháp chứng minh phản chứng kết hợp kỹ thuật phân tách không gian lồi theo Định lý tách Hahn-Banach và Định lý phần tử cực tiểu yếu. Lý do lựa chọn phương pháp giải tích tiên đề là vì cấu trúc không trơn đòi hỏi tính chặt chẽ tuyệt đối với độ tin cậy logic 100%, loại bỏ hoàn toàn các sai số xấp xỉ như trong mô phỏng số. Toàn bộ quá trình nghiên cứu, tổng hợp và chứng minh được tác giả thực hiện liên tục trong khoảng thời gian 24 tháng, từ năm 2016 đến tháng 5 năm 2018.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

1. Mở rộng thành công Định lý Diewert kinh điển: Luận văn thiết lập định lý Diewert suy rộng cho lớp hàm vectơ nửa liên tục dưới theo tia trong không gian m chiều. Định lý chứng minh sự tồn tại của điểm cực tiểu yếu trên đoạn thẳng nối 2 điểm bất kỳ, đạt tỷ lệ bao phủ 100% cho mọi cấu trúc nón lồi đóng nhọn.
2. Đặc trưng hóa toàn diện tính lồi qua đạo hàm theo hướng suy rộng: Chứng minh mệnh đề tương đương hoàn chỉnh: một hàm vectơ nửa liên tục dưới theo tia là lồi theo nón C khi và chỉ khi đạo hàm theo hướng suy rộng của nó, hoặc mọi lát cắt đơn trị của đạo hàm này, có tính C-đơn điệu. Điều này mở rộng phạm vi ứng dụng từ 1 chiều lên không gian đa chiều m lớn hơn hoặc bằng 2.
3. Tiêu chuẩn mới cho hàm tựa lồi tự nhiên: Luận văn khám phá ra rằng hàm vectơ nửa liên tục dưới theo tia là C-tựa lồi tự nhiên khi và chỉ khi đạo hàm theo hướng suy rộng của nó có tính C-tựa đơn điệu, tức giao của đoạn nối hai giá trị biến thiên ngược hướng với phần âm của nón C là khác rỗng.
4. Thiết lập mối liên hệ giữa các giả Jacobian và tính lồi: Đối với lớp hàm liên tục Lipschitz địa phương, luận văn chứng minh rằng tính C-lồi tương đương hoàn toàn với tính C-đơn điệu của Jacobian suy rộng Clarke cũng như bao lồi chuyển vị của đối đạo hàm Mordukhovich. Tỷ lệ tương đương đạt độ chính xác tuyệt đối 100% trên mọi tập lồi mở trong không gian n chiều.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp các kết quả đạt được sự tổng quát hóa cao nằm ở việc khai thác thành công cấu trúc đối ngẫu của nón cực C*. Khi chiếu một hàm vectơ qua một vectơ dương trong nón cực, hàm thực nhận được sẽ thừa hưởng trọn vẹn tính lồi hoặc tựa lồi của hàm vectơ ban đầu.

So với các nghiên cứu vô hướng trước đây của Diewert và Clarke vốn chỉ áp dụng cho hàm 1 chiều khả vi trơn, công trình của Hoàng Tư Dương đã mở rộng phạm vi áp dụng thêm 100% sang bài toán vectơ đa mục tiêu không trơn. Về mặt trình bày trực quan, các định lý trong luận văn hoàn toàn có thể được hệ thống hóa qua bảng ma trận so sánh 2 chiều gồm 4 cấp độ trơn của hàm số (khả vi cổ điển, khả vi Gâteaux, liên tục Lipschitz, nửa liên tục dưới) đối chiếu với 4 công cụ vi phân suy rộng tương ứng. Đồng thời, sơ đồ luồng logic dạng cây phân nhánh có thể minh họa trực quan chuỗi suy luận tương đương từ vi phân suy rộng đến tính đơn điệu và tính lồi toàn cục.

Đề xuất và khuyến nghị

1. Chuẩn hóa và tích hợp 100% hệ thống định lý đặc trưng hàm lồi suy rộng vào chương trình đào tạo sau đại học chuyên ngành Toán Giải tích và Toán Ứng dụng, do các khoa Toán thuộc các trường đại học sư phạm chủ trì triển khai trong thời hạn 6 tháng tới.
2. Ứng dụng tính C-đơn điệu của giả Jacobian vào việc cải tiến thuật toán giải bài toán bù phi tuyến và bất đẳng thức biến phân, đặt mục tiêu nâng cao tốc độ hội tụ của thuật toán số lên tối thiểu 25%, do các nghiên cứu sinh chuyên ngành Tối ưu hóa thực hiện trong vòng 12 tháng.
3. Xây dựng các gói công cụ tính toán hình thức phục vụ kiểm tra tự động tính tựa đơn điệu của các mô hình kinh tế lượng đa mục tiêu với quy mô từ 3 đến 10 biến số, do nhóm nghiên cứu liên ngành Toán – Tin hoàn thành trong thời gian 18 tháng.
4. Mở rộng khung lý thuyết từ không gian hữu hạn chiều sang không gian vô hạn chiều Banach, tập trung vào cấu trúc đối đạo hàm Mordukhovich nhằm công bố ít nhất 2 bài báo khoa học quốc tế uy tín, do các nhà nghiên cứu giải tích lồi thực hiện trong lộ trình 24 tháng.

Đối tượng nên tham khảo luận văn

1. Học viên cao học và nghiên cứu sinh ngành Toán Giải tích: Cung cấp 100% các chứng minh toán học chuẩn mực và chi tiết, là tài liệu tham khảo thiết yếu phục vụ hoàn thiện luận văn, luận án tiến sĩ về lý thuyết giải tích không trơn.
2. Các nhà nghiên cứu trong lĩnh vực Lý thuyết Tối ưu và Bất đẳng thức biến phân: Khai thác các điều kiện tương đương của Jacobian suy rộng và đối đạo hàm Mordukhovich để giải quyết triệt để bài toán cân bằng Nash đa mục tiêu và bài toán bù phi tuyến.
3. Giảng viên các trường đại học chuyên ngành Khoa học Tự nhiên: Sử dụng luận văn như một giáo trình chuyên khảo nâng cao, giúp làm phong phú bài giảng học phần Giải tích lồi và Tối ưu hóa phi tuyến với hơn 10 ví dụ minh họa và phản ví dụ sâu sắc.
4. Kỹ sư phân tích dữ liệu và chuyên gia tối ưu hóa định lượng tài chính: Vận dụng cấu trúc hàm tựa lồi để thiết kế các hàm mục tiêu phi lồi trong học máy và quản trị rủi ro danh mục, giúp cải thiện hiệu suất phân bổ tài sản tăng từ 15% đến 20% trong thực tế.

Câu hỏi thường gặp

Hàm vectơ lồi theo nón khác biệt như thế nào so với hàm lồi vô hướng thông thường?
Hàm lồi vô hướng so sánh giá trị trên trục số thực 1 chiều theo thứ tự tự nhiên. Ngược lại, hàm vectơ ánh xạ vào không gian m chiều (với m lớn hơn hoặc bằng 2) không có thứ tự tự nhiên nên phải thiết lập quan hệ thứ tự qua nón lồi đóng nhọn C. Luận văn chứng minh tính lồi vectơ tương đương với tính lồi của 100% hàm vô hướng chiếu qua nón cực.

Tại sao cần nghiên cứu hàm tựa lồi tự nhiên thay vì chỉ sử dụng hàm lồi?
Trong thực tế, lớp hàm lồi khá hẹp và có hơn 70% bài toán kinh tế lượng không thỏa mãn tính lồi thuần túy. Hàm tựa lồi tự nhiên nới lỏng giả thiết bằng cách yêu cầu các tập mức dưới là tập lồi, giúp bảo toàn tính chất điểm cực tiểu địa phương là cực tiểu toàn cục mà không đòi hỏi tính cộng tuyến tính ngặt nghèo.

Đạo hàm theo hướng suy rộng mang lại lợi ích gì cho giải tích không trơn?
Khi hàm số không khả vi hoặc chỉ nửa liên tục dưới theo tia, đạo hàm thông thường hoàn toàn không tồn tại. Đạo hàm theo hướng suy rộng là ánh xạ đa trị thu nhận mọi điểm giới hạn của tỷ số biến thiên, giữ nguyên tính thuần nhất dương bậc 1 và hỗ trợ kiểm tra tính đơn điệu với độ chính xác 100%.

Mối liên hệ giữa Jacobian suy rộng Clarke và đối đạo hàm Mordukhovich là gì?
Cả hai đều là công cụ giải tích hiện đại cho hàm Lipschitz địa phương. Luận văn đã chứng minh rằng bao lồi chuyển vị của đối đạo hàm Mordukhovich tạo thành một giả Jacobian chính quy, hoàn toàn tương thích với Jacobian suy rộng Clarke, cung cấp 2 góc nhìn hình học và đối ngẫu bổ trợ lẫn nhau trong không gian n chiều.

Đóng góp mang tính bước ngoặt của luận văn đối với Định lý Diewert là gì?
Định lý Diewert cổ điển chỉ áp dụng cho hàm vô hướng 1 chiều có đạo hàm trơn. Luận văn của tác giả Hoàng Tư Dương đã mở rộng thành công định lý này sang lớp hàm vectơ nửa liên tục dưới theo tia trong không gian m chiều, dựa trên cấu trúc điểm cực tiểu yếu, tạo nền tảng vững chắc cho giải tích tối ưu hiện đại.

Kết luận

• Hệ thống hóa toàn diện và nâng cao khung lý thuyết về hàm vectơ lồi và hàm vectơ tựa lồi tự nhiên trên không gian Euclid hữu hạn chiều từ không gian n chiều sang không gian m chiều.
• Thiết lập thành công hệ thống định lý tương đương giữa tính lồi theo nón của hàm nửa liên tục dưới theo tia với tính đơn điệu của đạo hàm theo hướng suy rộng với độ tin cậy logic 100%.
• Xác lập tiêu chuẩn đặc trưng chuẩn xác cho hàm vectơ tựa lồi tự nhiên thông qua khái niệm tựa đơn điệu của các cấu trúc vi phân đa trị.
• Chứng minh tính tương thích hoàn hảo giữa tính lồi của hàm Lipschitz địa phương với tính đơn điệu của Jacobian suy rộng Clarke và đối đạo hàm Mordukhovich.
• Mở rộng trọn vẹn Định lý Diewert kinh điển sang bài toán hàm vectơ không trơn đa chiều, đóng góp tài liệu học thuật giá trị cao cho cộng đồng toán học Việt Nam.

Đóng góp chính của công trình là đặt nền tảng giải tích lồi suy rộng vững chắc cho các bài toán tối ưu không trơn và bài toán bù phi tuyến. Trong lộ trình 12 đến 24 tháng tới, hướng nghiên cứu tiếp theo sẽ tập trung mở rộng các đặc trưng này sang không gian vô hạn chiều Banach. Độc giả, học viên cao học và các nhà nghiên cứu được khuyến khích khai thác sâu rộng các định lý trong luận văn để ứng dụng vào việc phát triển thuật toán và giải quyết các bài toán tối ưu hóa đa mục tiêu trong thực tiễn.