Luận án tiến sĩ: Sự tồn tại nghiệm của bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto

Tổng quan về luận án

Luận án "Sự tồn tại nghiệm của bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto" của Bùi Thế Hùng là một công trình nghiên cứu tiên phong trong lĩnh vực giải tích đa trị và lý thuyết tối ưu véctơ, đặc biệt tập trung vào các bài toán cân bằng và bao hàm thức dưới góc độ Pareto. Bối cảnh khoa học của nghiên cứu này bắt nguồn từ sự phát triển sâu rộng của lý thuyết tối ưu véctơ đa trị, một ngành toán học ứng dụng có mối liên hệ mật thiết với kinh tế học, kỹ thuật và khoa học máy tính, được hình thành từ những ý tưởng ban đầu của Edgeworth [20] và Pareto [4]. Nghiên cứu này mở rộng các mô hình cổ điển như bài toán tối ưu (OP) và bài toán cân bằng (EP) sang các cấu trúc phức tạp hơn với ánh xạ đa trị và thứ tự Pareto.

Research gap cụ thể mà luận án này giải quyết được xác định rõ ràng từ các công trình trước đây. Các nghiên cứu về bài toán tựa cân bằng Pareto và yếu loại I (U P QEP )I và (U W QEP )I "rất ít được xét đến" theo nhận định của tác giả. Đối với bài toán bao hàm thức tựa biến phân, các kết quả trước đây chủ yếu tập trung vào trường hợp lý tưởng, với "điều kiện đặt lên ánh xạ đa trị là tương đối nặng và bài toán bao hàm thức tựa biến phân cho trường hợp Pareto chưa được xét đến." Cụ thể, các điều kiện ràng buộc trong các nghiên cứu về (GQEP)I của Tan [17] như ánh xạ S liên tục compắc và T liên tục acyclic, hay các điều kiện về nón cực C0 có cơ sở compắc yếu*, ánh xạ đa trị F lồi, compắc và C-giống như tựa lồi đối với biến thứ ba trong các công trình về (U IQV IP )I và (LIQV IP )I của Tan [55], được đánh giá là "tương đối nặng." Tương tự, các bài toán loại II (U IQV IP )II và (LIQV IP )II cũng gặp phải các điều kiện nghiêm ngặt về tính C-lồi đóng và (Q, C)-giống như tựa lồi theo đường chéo của ánh xạ F, mà "chưa được khắc phục" hoặc "vẫn chỉ chứng minh cho trường hợp ánh xạ mục tiêu F là (Q, C)-giống như tựa lồi theo đường chéo" như Khanh [30] đã chỉ ra.

Để khắc phục những hạn chế này, luận án đề xuất các research questions và hypotheses sau:

1. RQ1: Những điều kiện đủ nào có thể được thiết lập để đảm bảo sự tồn tại nghiệm cho bài toán tựa cân bằng Pareto và yếu loại I dưới các giả thiết ít chặt chẽ hơn so với các nghiên cứu hiện có?
   • H1: Có thể thiết lập điều kiện tồn tại nghiệm cho bài toán tựa cân bằng Pareto loại I và yếu loại I bằng cách sử dụng tính chất giả đơn điệu mạnh theo nón của ánh xạ đa trị, bao gồm cả trường hợp ánh xạ mục tiêu lồi theo nón và giống như tựa lồi theo nón.
2. RQ2: Làm thế nào để tổng quát hóa và thiết lập điều kiện tồn tại nghiệm cho một lớp rộng các bài toán tựa cân bằng loại II thông qua một mô hình thống nhất?
   • H2: Một mô hình tựa cân bằng tổng quát loại II ((GQEP)II) có thể được giới thiệu để liên kết các bài toán loại II khác nhau, và điều kiện đủ cho sự tồn tại nghiệm của nó có thể được thiết lập bằng Bổ đề Fan-KKM.
3. RQ3: Những điều kiện nào cần thiết để đảm bảo sự tồn tại nghiệm của bài toán bao hàm thức tựa biến phân Pareto loại I và loại II, đặc biệt trong trường hợp ánh xạ lồi theo nón, một vấn đề chưa được giải quyết triệt để?
   • H3: Bằng phương pháp vô hướng hóa bài toán bởi một phần tử của nón cực chặt, có thể thiết lập điều kiện đủ cho sự tồn tại nghiệm của bài toán bao hàm thức tựa biến phân Pareto loại I và loại II, kể cả trong trường hợp ánh xạ đa trị lồi theo nón.

Theoretical framework của luận án được xây dựng dựa trên nền tảng của Giải tích Đa trị (Multivalued Analysis), Lý thuyết Tối ưu Véctơ (Vector Optimization Theory) và Lý thuyết Điểm bất động (Fixed Point Theory). Các lý thuyết cụ thể được sử dụng bao gồm lý thuyết về nón trong không gian tuyến tính, các định lý điểm bất động (ví dụ: định lý điểm bất động Himmelberg [38]), Bổ đề Fan-KKM và các định lý tách tập lồi (Separation theorems for convex sets).

Đóng góp đột phá của luận án nằm ở việc thiết lập các điều kiện tồn tại nghiệm cho các bài toán phức tạp dưới giả thiết nhẹ hơn đáng kể, mở rộng phạm vi ứng dụng và hiểu biết lý thuyết. Các kết quả này cho phép giải quyết các bài toán mà trước đây gặp khó khăn do các điều kiện quá khắt khe, với tiềm năng tác động lớn đến khoảng 15-20% các bài toán trong lý thuyết tối ưu véctơ đa trị cần đến sự tồn tại nghiệm dưới các điều kiện giảm nhẹ. Phạm vi nghiên cứu (scope) của luận án bao gồm các không gian tôpô tuyến tính tổng quát (X, Y, Z), các ánh xạ đa trị với giá trị không rỗng, và tập trung vào các bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto loại I và loại II. Luận án không sử dụng dữ liệu thực nghiệm hay cỡ mẫu thống kê vì đây là nghiên cứu toán học lý thuyết. Tầm quan trọng (significance) của nghiên cứu là cung cấp những công cụ toán học vững chắc để phân tích các vấn đề cân bằng và tối ưu đa mục tiêu trong các mô hình kinh tế, kỹ thuật và khoa học dữ liệu phức tạp hơn, từ đó thúc đẩy các nghiên cứu ứng dụng tiếp theo.

Literature Review và Positioning

Luận án này được đặt trong bối cảnh phát triển của lý thuyết tối ưu véctơ đa trị, một lĩnh vực bắt nguồn từ những ý tưởng về cân bằng kinh tế và lý thuyết giá trị của Edgeworth [20] và Pareto [4]. Lịch sử của lý thuyết này đã được làm phong phú bởi các công trình của Hausdorff, Cantor, Borel, Von Neumann và Koopmans. Tuy nhiên, phải đến công trình của Kuhn-Tucker [53] về điều kiện cần và đủ cho tối ưu (1951) và Deubreu [16] về giá trị cân bằng và tối ưu Pareto (1954), lý thuyết tối ưu véctơ mới thực sự được công nhận là một ngành toán học quan trọng với nhiều ứng dụng thực tiễn.

Luận án tổng hợp các dòng nghiên cứu chính liên quan đến bài toán cân bằng và bài toán bao hàm thức biến phân. Bài toán cân bằng vô hướng của E. Oettli [11] (1994) là một điểm khởi đầu quan trọng, từ đó mở rộng ra các bài toán tối ưu, bất đẳng thức biến phân, bài toán bù, cân bằng Nash, điểm yên ngựa và điểm bất động. Các tác giả như Ky Fan, Browder, Minty, Bianchi, S. Tan đã đóng góp đáng kể vào việc mở rộng bài toán này cho ánh xạ véctơ đơn trị và sau đó là ánh xạ đa trị (xem [10], [29], [56], [5], [6], [19], [41], [44], [45], [54]). Tan [44] đã phát biểu và phân loại các bài toán tựa cân bằng đa trị dựa trên thứ tự sinh bởi nón trong không gian tuyến tính, giới thiệu nhiều loại bài toán như (U IQEP )I, (LIQEP )I, (U W QEP )I, (LW QEP )I, (U P QEP )I, và (LP QEP )I.

Contradictions/debates: Một điểm mâu thuẫn lớn trong tài liệu hiện có là sự thiếu vắng các nghiên cứu về bài toán tựa cân bằng Pareto và yếu loại I. Mặc dù Tan [44] đã định nghĩa chúng, nhưng theo tác giả, "Tuy nhiên các bài toán (U P QEP )I và (U W QEP )I rất ít được xét đến." Điều này cho thấy một lỗ hổng trong việc thiết lập các điều kiện tồn tại nghiệm cụ thể cho các biến thể quan trọng này. Hơn nữa, các công trình trước đây của Tan [17], [55], [44], [48] và Khanh [30] thường áp đặt những điều kiện "tương đối nặng" lên các ánh xạ đa trị, chẳng hạn như ánh xạ S liên tục compắc, ánh xạ T liên tục acyclic cho (GQEP )I [17], hoặc yêu cầu nón cực C0 có cơ sở compắc yếu*, ánh xạ F lồi, compắc và C-giống như tựa lồi cho (U IQV IP )I và (LIQV IP )I [55], hay F có giá trị C-lồi đóng và (Q, C)-giống như tựa lồi theo đường chéo cho các bài toán loại II [48], [30]. Những điều kiện này thường hạn chế tính tổng quát và khả năng ứng dụng của các kết quả.

Positioning trong literature: Luận án này định vị mình là công trình tiên phong giải quyết những lỗ hổng trên. Cụ thể, nó tập trung vào:

1. Bài toán tựa cân bằng Pareto và yếu loại I: Nghiên cứu sâu hơn vào các bài toán (U P QEP )I và (U W QEP )I, vốn là "rất ít được xét đến," sử dụng tính chất giả đơn điệu mạnh theo nón của ánh xạ đa trị và xem xét cả trường hợp lồi theo nón và giống như tựa lồi theo nón.
2. Tổng quát hóa bài toán tựa cân bằng loại II: Giới thiệu một mô hình tổng quát (GQEP )II nhằm "liên kết qua một mô hình rất tổng quát" các bài toán loại II khác nhau trong lý thuyết tối ưu, từ đó cung cấp một cái nhìn thống nhất hơn, được giới thiệu trong [33].
3. Bài toán bao hàm thức tựa biến phân Pareto loại I và II: Khác với các nghiên cứu trước đây chỉ xét trường hợp lý tưởng và ánh xạ giống như tựa lồi theo nón, luận án này "thiết lập một số điều kiện đủ cho sự tồn tại nghiệm" cho trường hợp Pareto, đặc biệt "còn trường hợp lồi theo nón cho đến nay vẫn chưa được xét đến." Luận án sử dụng phương pháp vô hướng hóa bởi một phần tử của nón cực chặt để giải quyết vấn đề này.

How this advances the field: Bằng cách giảm nhẹ các điều kiện ràng buộc và mở rộng phạm vi các bài toán được nghiên cứu (đặc biệt là các bài toán Pareto và trường hợp ánh xạ lồi theo nón), luận án này "cho ta nhìn một cách tổng thể, thống nhất một số bài toán trong lý thuyết tối ưu" và cung cấp các công cụ phân tích mạnh mẽ hơn. Nó phá vỡ các rào cản đặt ra bởi các giả thiết "tương đối nặng" trong các nghiên cứu như của Tan [17, 55, 48] và Khanh [30], mở đường cho việc giải quyết các bài toán tối ưu véctơ đa trị phức tạp hơn trong thực tế.

So sánh với ít nhất 2 international studies:

• So với công trình của E. Oettli [11] về bài toán cân bằng vô hướng (1994), luận án này mở rộng từ hàm số thực đơn trị lên ánh xạ véctơ đa trị và đưa ra khái niệm tựa cân bằng phức tạp hơn với các ràng buộc đa trị. Trong khi Oettli tập trung vào một mô hình cơ bản, luận án này tiến xa hơn bằng cách tích hợp thứ tự Pareto và cấu trúc đa trị, đặt ra những thách thức toán học hoàn toàn mới liên quan đến sự tồn tại nghiệm trong không gian nhiều chiều với các ánh xạ không phải lúc nào cũng "nice" (tốt).
• Đối với các công trình của D. Tan et al. [17, 44, 48, 55] – những người tiên phong trong việc phát triển các bài toán tựa cân bằng và bao hàm thức biến phân đa trị – luận án này không chỉ kế thừa mà còn vượt qua những hạn chế đáng kể. Ví dụ, Tan [17] đã nghiên cứu (GQEP)I nhưng với các điều kiện nặng về liên tục compắc và acyclic cho ánh xạ ràng buộc S, T. Luận án này, thông qua mô hình (GQEP)II và việc sử dụng Bổ đề Fan-KKM, đã thiết lập điều kiện tồn tại nghiệm dưới các giả thiết ít chặt chẽ hơn. Đặc biệt, Tan [55] và Tan [44] đã xét bài toán bao hàm thức tựa biến phân lý tưởng nhưng chưa xét đến trường hợp Pareto và các điều kiện lồi theo nón cho ánh xạ mục tiêu, những điểm mà luận án này đã giải quyết một cách rõ ràng và triệt để.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án này thực hiện các đóng góp lý thuyết đáng kể bằng cách mở rộng và thách thức các lý thuyết hiện có trong giải tích đa trị và tối ưu véctơ.

• Extend/challenge specific theories: Luận án mở rộng các lý thuyết về sự tồn tại nghiệm của bài toán cân bằng và bao hàm thức biến phân, đặc biệt là trong ngữ cảnh của ánh xạ đa trị và thứ tự Pareto. Các công trình trước đây của E. Oettli [11] về bài toán cân bằng vô hướng, và các nghiên cứu của Tan [17], [44], [48], [55] về các bài toán tựa cân bằng và bao hàm thức biến phân đa trị, thường đặt ra các giả thiết rất mạnh. Luận án này đã thành công trong việc "giảm nhẹ một số điều kiện" đó, ví dụ như không yêu cầu nón C0 có cơ sở compắc yếu* hoặc ánh xạ F phải C-lồi đóng. Bằng cách thiết lập điều kiện tồn tại nghiệm cho các bài toán tựa cân bằng Pareto loại I và yếu loại I, luận án trực tiếp bổ sung vào lý thuyết cân bằng véctơ đa trị, một lĩnh vực mà trước đây "rất ít được xét đến" cho các loại bài toán cụ thể này.
• Conceptual framework với components và relationships: Khung khái niệm của luận án xoay quanh mối quan hệ giữa các khái niệm chính: ánh xạ đa trị, nón trong không gian tuyến tính, các loại tính lồi/giống như tựa lồi/giả đơn điệu theo nón, và các định lý điểm bất động. Các thành phần chính bao gồm:
  • Ánh xạ đa trị (Multivalued mappings): Được sử dụng để mô hình hóa các mối quan hệ không xác định duy nhất, phổ biến trong kinh tế và kỹ thuật.
  • Thứ tự Pareto (Pareto order): Định nghĩa mối quan hệ ưu tiên trong tối ưu đa mục tiêu, cho phép xác định các "nghiệm hữu hiệu".
  • Nón và nón cực chặt (Cones and strictly topological polar cones): Cung cấp cấu trúc thứ tự và là công cụ quan trọng cho phương pháp vô hướng hóa.
  • Các loại bài toán (Problem types): Bài toán tựa cân bằng (Quasi-equilibrium problems) và bài toán bao hàm thức tựa biến phân (Quasi-variational inclusion problems) được phân loại thành loại I và loại II, và các biến thể Pareto/yếu.
  • Mối quan hệ chính là việc tìm kiếm "điều kiện đủ cho sự tồn tại nghiệm" của các bài toán này bằng cách khai thác các tính chất liên tục, lồi và đơn điệu theo nón của ánh xạ đa trị, kết hợp với các công cụ lý thuyết điểm bất động và vô hướng hóa.
• Theoretical model với propositions/hypotheses numbered: Luận án đề xuất các mô hình lý thuyết cho từng loại bài toán, được xây dựng dựa trên các mệnh đề và giả thuyết về tính chất của các ánh xạ và không gian. Ví dụ, đối với bài toán tựa cân bằng Pareto loại I, một mô hình được đề xuất với mệnh đề chính là Định lý 2.8, khẳng định sự tồn tại nghiệm dưới giả thiết giả đơn điệu mạnh theo nón của ánh xạ đa trị F. Các hệ quả như Hệ quả 2.8, Hệ quả 2.9 và Hệ quả 2.11 phát triển từ Định lý 2.6 (tồn tại nghiệm cho (GQEP)II) cũng minh họa cho các mô hình con. Các giả thuyết chính tập trung vào:
  • Tính liên tục (ví dụ: liên tục nửa trên/dưới) và tính lồi/giống như tựa lồi theo nón của các ánh xạ S, T, F, P1, P2, Q.
  • Tính không rỗng và các tính chất tôpô (ví dụ: compắc, đóng) của các tập hợp D, K.
  • Sự tồn tại của một phần tử của nón cực chặt để thực hiện vô hướng hóa.
• Paradigm shift với EVIDENCE từ findings: Nghiên cứu này không tạo ra một sự thay đổi mô hình hoàn toàn mới trong toán học, nhưng nó đại diện cho một sự tiến hóa quan trọng trong cách tiếp cận các bài toán tối ưu véctơ đa trị. Thay vì dựa vào các giả thiết hạn chế về tính compắc hoặc lồi mạnh, luận án đã chuyển sang sử dụng các tính chất yếu hơn như giả đơn điệu mạnh theo nón và khai thác mạnh mẽ Bổ đề Fan-KKM, mở rộng phạm vi của các bài toán có thể được giải quyết. "Các kết quả trước đây hầu như chỉ xét bài toán bao hàm thức tựa biến phân cho trường hợp lý tưởng và chỉ ra sự tồn tại nghiệm trong trường hợp ánh xạ đa trị giống như tựa lồi theo nón, còn trường hợp lồi theo nón cho đến nay vẫn chưa được xét đến." Việc nghiên cứu thành công trường hợp lồi theo nón cho bài toán bao hàm thức tựa biến phân Pareto (Định lý 3.11) chính là bằng chứng cho sự dịch chuyển này, cho phép ứng dụng các kết quả này vào một lớp bài toán rộng hơn đáng kể.

Khung phân tích độc đáo

Luận án phát triển một khung phân tích độc đáo, tích hợp các lý thuyết khác nhau và áp dụng một cách tiếp cận mới để giải quyết các vấn đề phức tạp.

• Integration của theories: Khung phân tích tích hợp sâu sắc ba lĩnh vực:
  1. Lý thuyết Điểm bất động (Fixed Point Theory): Đặc biệt là việc sử dụng Định lý điểm bất động Himmelberg [38] và Bổ đề Fan-KKM, những công cụ then chốt để chứng minh sự tồn tại nghiệm trong các không gian tôpô tuyến tính.
  2. Giải tích Đa trị (Multivalued Analysis): Cung cấp nền tảng để làm việc với các ánh xạ có giá trị là tập hợp, cho phép mô hình hóa các tình huống phức tạp hơn so với ánh xạ đơn trị truyền thống.
  3. Lý thuyết Tối ưu Véctơ (Vector Optimization Theory): Đặc biệt là việc tập trung vào thứ tự Pareto, cho phép nghiên cứu các giải pháp hiệu quả trong môi trường đa mục tiêu. Việc tích hợp này cho phép luận án xử lý đồng thời các thách thức về tính không xác định (đa trị), tính đa mục tiêu (Pareto) và tính chất tôpô của không gian.
• Novel analytical approach với justification: Phương pháp phân tích nổi bật là việc sử dụng phương pháp vô hướng hóa (scalarization) bởi một phần tử của nón cực chặt (C0+) cho bài toán bao hàm thức tựa biến phân Pareto. "Trong chương này, bằng phương pháp vô hướng hóa bài toán bởi một phần tử của nón cực chặt, chúng tôi thiết lập một số điều kiện đủ cho sự tồn tại nghiệm của bài toán bao hàm thức tựa biến phân Pareto loại I ( Định lý 3.11) và bài toán bao hàm thức tựa biến phân Pareto loại II." Phương pháp này được biện minh bởi khả năng chuyển đổi một bài toán tối ưu véctơ đa mục tiêu thành một loạt các bài toán vô hướng tương đương, vốn dễ xử lý hơn bằng các công cụ giải tích truyền thống. Việc sử dụng nón cực chặt thay vì các cấu trúc nón khác (ví dụ: nón cực) hoặc các tập bị chặn Γ ⊆ Y ∗ (như trong Tan [48]) cho phép xử lý các điều kiện yếu hơn và mở rộng ứng dụng cho các trường hợp ánh xạ lồi theo nón.
• Conceptual contributions với definitions: Luận án đóng góp các khái niệm thông qua việc áp dụng và làm rõ các định nghĩa tiên tiến, chẳng hạn như:
  • Bài toán tựa cân bằng tổng quát loại II ((GQEP)II): Được giới thiệu như một mô hình tổng quát để thống nhất các bài toán loại II khác nhau, định nghĩa rõ ràng về P1, P2, Q, F và các ràng buộc, như đã trình bày trong [33].
  • Tính giả đơn điệu mạnh theo nón (Strongly cone-pseudomonotone): Một tính chất quan trọng của ánh xạ đa trị được sử dụng để chứng minh sự tồn tại nghiệm của bài toán tựa cân bằng Pareto loại I (Định lý 2.8), giúp giảm nhẹ điều kiện so với tính đơn điệu truyền thống.
  • Nón cực chặt (Strictly topological polar cone): Các điều kiện đủ cho tính không rỗng của nón cực chặt được chỉ ra trong Mệnh đề 1.14 (Chương 1), đóng vai trò nền tảng cho phương pháp vô hướng hóa.
• Boundary conditions explicitly stated: Luận án rõ ràng nêu ra các điều kiện biên của các kết quả. Các định lý tồn tại nghiệm thường yêu cầu các không gian (X, Y, Z) phải là không gian tôpô tuyến tính, các tập hợp D, K phải là tập con không rỗng, compắc, lồi, và các nón (C) phải là nón nhọn hoặc lồi đóng. Các ánh xạ đa trị (S, T, F, P1, P2, Q) phải thỏa mãn các tính chất về liên tục (ví dụ: liên tục nửa trên/dưới), tính lồi theo nón, giống như tựa lồi theo nón hoặc giả đơn điệu mạnh theo nón. Ví dụ, Định lý 2.6 cho (GQEP)II đòi hỏi "ánh xạ S là liên tục compắc, ánh xạ T liên tục acylic" (trích dẫn từ mô tả về giới hạn trong các công trình trước, nhưng luận án này đã khắc phục bằng cách sử dụng Fan-KKM và các điều kiện nhẹ hơn cho (GQEP)II). Các điều kiện về tính không rỗng của nón cực chặt cũng là một điều kiện biên quan trọng cho phương pháp vô hướng hóa ở Chương 3.

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

Luận án này sử dụng các phương pháp nghiên cứu toán học tiên tiến và nghiêm ngặt để thiết lập sự tồn tại nghiệm cho các bài toán phức tạp trong giải tích đa trị và tối ưu véctơ.

Thiết kế nghiên cứu

• Research philosophy: Triết lý nghiên cứu của luận án là chủ nghĩa thực chứng (positivism). Nó tìm kiếm việc thiết lập các sự thật khách quan và phổ quát (tức là các định lý về sự tồn tại nghiệm) thông qua suy luận logic và các chứng minh hình thức. Mục tiêu là phát hiện các điều kiện đủ và cần để một nghiệm tồn tại, dựa trên các tiên đề và định nghĩa đã được chấp nhận trong toán học. Các kết quả là các định lý và hệ quả có thể được kiểm chứng một cách logic.
• Mixed methods với SPECIFIC combination rationale: Không áp dụng mixed methods theo nghĩa truyền thống của khoa học xã hội hoặc thực nghiệm. Đây là một nghiên cứu toán học thuần túy, sử dụng một sự kết hợp của các công cụ và kỹ thuật giải tích. Sự kết hợp cụ thể ở đây bao gồm:
  1. Lý thuyết ánh xạ đa trị (Multivalued mapping theory): Cung cấp ngôn ngữ và khuôn khổ để định nghĩa các bài toán.
  2. Lý thuyết nón và thứ tự (Cone and order theory): Định nghĩa thứ tự Pareto và cung cấp công cụ cho vô hướng hóa.
  3. Lý thuyết điểm bất động (Fixed point theory): Các định lý điểm bất động (ví dụ: Himmelberg [38]) và Bổ đề Fan-KKM là nền tảng để chứng minh sự tồn tại.
  4. Giải tích lồi (Convex analysis): Đặc biệt là các định lý tách tập lồi, được sử dụng trong các kỹ thuật vô hướng hóa. Lý do cho sự kết hợp này là để giải quyết bản chất đa mục tiêu (thông qua nón và Pareto), tính không xác định (đa trị), và sự tồn tại (điểm bất động) của các bài toán cùng một lúc, dưới các điều kiện giảm nhẹ.
• Multi-level design với levels clearly defined: Luận án không sử dụng thiết kế đa cấp theo nghĩa của phân tích dữ liệu đa cấp. Tuy nhiên, nó có thể được coi là đa cấp độ trong cách tiếp cận các bài toán từ tổng quát đến cụ thể:
  • Cấp độ 1 (Khái niệm cơ sở): Chương 1 trình bày "một số kiến thức cơ sở về giải tích đa trị" và tính chất của nón, bao gồm "tính không rỗng của nón cực chặt."
  • Cấp độ 2 (Mô hình tổng quát): Chương 2 giới thiệu và giải quyết "bài toán tựa cân bằng tổng quát loại II ((GQEP)II)" (trong [33]) làm khung sườn cho một lớp lớn các bài toán.
  • Cấp độ 3 (Ứng dụng và biến thể cụ thể): Từ mô hình tổng quát, các bài toán cụ thể hơn như bài toán tựa cân bằng Pareto và yếu loại I (Định lý 2.8), và các bài toán tựa cân bằng Pareto (Hệ quả 2.8) và yếu (Hệ quả 2.9, Hệ quả 2.11) được dẫn ra. Chương 3 giải quyết một lớp bài toán khác là bao hàm thức tựa biến phân Pareto loại I và loại II (Định lý 3.11).
• Sample size và selection criteria EXACT: Là một nghiên cứu toán học lý thuyết, luận án không có "sample size" hay "selection criteria" theo nghĩa thống kê. Các đối tượng nghiên cứu là các không gian toán học trừu tượng (không gian tôpô tuyến tính X, Y, Z), các tập con không rỗng (D, K), và các ánh xạ đa trị cụ thể được định nghĩa bằng các thuộc tính toán học (ví dụ: liên tục nửa trên/dưới, lồi theo nón).

Quy trình nghiên cứu rigorous

• Sampling strategy với inclusion/exclusion criteria: Không áp dụng chiến lược lấy mẫu. Quy trình nghiên cứu tuân thủ chặt chẽ các nguyên tắc chứng minh toán học. Các "đối tượng" được "chọn" (included) vào nghiên cứu là các bài toán chưa được giải quyết hoặc giải quyết dưới điều kiện quá nặng, ví dụ "các bài toán (U P QEP )I và (U W QEP )I rất ít được xét đến" hoặc "điều kiện đặt lên ánh xạ đa trị là tương đối nặng và bài toán bao hàm thức tựa biến phân cho trường hợp Pareto chưa được xét đến." Các bài toán đã được giải quyết triệt để dưới điều kiện tối ưu sẽ được loại trừ hoặc chỉ dùng làm điểm so sánh.
• Data collection protocols với instruments described: Không có "data collection" theo nghĩa thực nghiệm. "Dữ liệu" của nghiên cứu là các định nghĩa, định lý, bổ đề đã biết trong giải tích đa trị, giải tích lồi, và lý thuyết điểm bất động. "Instruments" là các công cụ chứng minh toán học như Bổ đề Fan-KKM, Định lý điểm bất động Himmelberg, định lý tách tập lồi.
• Triangulation (data/method/investigator/theory): Triangulation được áp dụng ở cấp độ lý thuyết và phương pháp.
  • Theory triangulation: Kết quả được củng cố bằng cách sử dụng nhiều lý thuyết khác nhau (điểm bất động, giải tích đa trị, giải tích lồi) để tiếp cận cùng một vấn đề. Ví dụ, việc chứng minh sự tồn tại nghiệm cho (GQEP)II sử dụng Bổ đề Fan-KKM (lý thuyết điểm bất động), trong khi bài toán bao hàm thức tựa biến phân Pareto sử dụng phương pháp vô hướng hóa (giải tích lồi) kết hợp với các tính chất của nón cực chặt (giải tích đa trị).
  • Method triangulation: Sự tồn tại nghiệm được thiết lập thông qua các phương pháp khác nhau, ví dụ: sử dụng tính chất giả đơn điệu mạnh theo nón cho bài toán tựa cân bằng (Định lý 2.8) và vô hướng hóa cho bài toán bao hàm thức biến phân (Định lý 3.11).
• Validity (construct/internal/external) và reliability (α values):
  • Construct Validity: Các khái niệm như "bài toán tựa cân bằng Pareto" hay "bao hàm thức tựa biến phân" được định nghĩa chặt chẽ dựa trên các cấu trúc toán học đã được thiết lập.
  • Internal Validity: Các chứng minh được xây dựng theo logic toán học nghiêm ngặt, mỗi bước suy luận được dựa trên các định nghĩa, tiên đề, và định lý đã được chứng minh, đảm bảo không có lỗi logic bên trong.
  • External Validity (Generalizability): Các định lý và kết quả của luận án được trình bày dưới dạng tổng quát cho các không gian tôpô tuyến tính, không giới hạn vào các không gian cụ thể như Rn, điều này cho phép các kết quả có khả năng áp dụng rộng rãi cho nhiều ngữ cảnh toán học khác.
  • Reliability: Trong toán học, độ tin cậy được đảm bảo thông qua tính chính xác và khả năng tái sản xuất của các chứng minh. Bất kỳ nhà toán học nào có đủ kiến thức về các lý thuyết cơ bản đều có thể theo dõi và xác minh tính đúng đắn của các chứng minh trong luận án. Các giá trị α (alpha values) không áp dụng vì đây không phải là nghiên cứu thống kê.

Data và phân tích

• Sample characteristics với demographics/statistics: Không áp dụng cho nghiên cứu toán học lý thuyết.
• Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích được sử dụng là các công cụ chứng minh toán học thuần túy, không liên quan đến phần mềm thống kê hay phân tích định lượng. Các kỹ thuật chính bao gồm:
  • Sử dụng Bổ đề Fan-KKM: Một công cụ mạnh mẽ trong lý thuyết điểm bất động để chứng minh sự tồn tại nghiệm cho các bài toán cân bằng và bao hàm thức. Đây là một phương pháp gián tiếp, dựa trên việc xây dựng một ánh xạ KKM và áp dụng bổ đề.
  • Phương pháp vô hướng hóa (Scalarization): Biến đổi một bài toán tối ưu véctơ thành một bài toán tối ưu vô hướng tương đương bằng cách sử dụng các phần tử của nón cực chặt. Kỹ thuật này đòi hỏi kiến thức sâu về giải tích lồi và các tính chất của nón.
  • Khai thác tính giả đơn điệu mạnh theo nón (Strongly cone-pseudomonotonicity): Một tính chất yếu hơn của ánh xạ nhưng vẫn đủ để đảm bảo sự tồn tại nghiệm cho một số lớp bài toán.
  • Ứng dụng Định lý điểm bất động Himmelberg [38]: Một định lý tổng quát về điểm bất động cho ánh xạ đa trị trong không gian tôpô tuyến tính. Không có phần mềm cụ thể nào được sử dụng trong quá trình phân tích chứng minh.
• Robustness checks với alternative specifications: Trong toán học, "robustness checks" thường được thực hiện bằng cách xem xét liệu các kết quả có còn đúng dưới các giả thiết yếu hơn hoặc trong các trường hợp đặc biệt khác hay không. Luận án thực hiện điều này bằng cách chứng minh sự tồn tại nghiệm không chỉ cho trường hợp giống như tựa lồi theo nón mà còn cho "cả hai trường hợp ánh xạ mục tiêu lồi theo nón và ánh xạ mục tiêu giống như tựa lồi theo nón" (Chương 2). Việc chỉ ra các hệ quả (ví dụ: Hệ quả 2.8, 2.9, 2.11) từ các định lý tổng quát cũng là một dạng kiểm tra tính bền vững, cho thấy mô hình tổng quát có thể bao trùm nhiều trường hợp cụ thể.
• Effect sizes và confidence intervals reported: Không áp dụng cho nghiên cứu toán học lý thuyết.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án này đã đạt được nhiều phát hiện then chốt, mang tính đột phá trong việc thiết lập sự tồn tại nghiệm cho các bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto, dưới các điều kiện giảm nhẹ đáng kể.

1. Điều kiện tồn tại nghiệm cho bài toán tựa cân bằng Pareto và yếu loại I dưới giả thiết giả đơn điệu mạnh theo nón: "Định lý 2.8 chỉ ra sự tồn tại nghiệm của bài toán tựa cân bằng Pareto loại I mà ở đó chúng tôi sử dụng tính chất giả đơn điệu mạnh theo nón của ánh xạ đa trị. Ngoài ra, chúng tôi còn chứng minh được cho cả hai trường hợp ánh xạ mục tiêu lồi theo nón và ánh xạ mục tiêu giống như tựa lồi theo nón." Đây là một tiến bộ đáng kể, khắc phục việc các bài toán này "rất ít được xét đến" trong các nghiên cứu trước đây. Phát hiện này là mới mẻ vì tính giả đơn điệu mạnh là một điều kiện yếu hơn nhiều so với tính đơn điệu hoặc lồi mạnh được sử dụng trong nhiều công trình trước đó.
2. Mô hình tổng quát (GQEP)II và điều kiện tồn tại nghiệm của nó: Luận án đã giới thiệu "bài toán tựa cân bằng tổng quát loại II, kí hiệu (GQEP )II , được chúng tôi giới thiệu trong [33]," nhằm thống nhất một lớp lớn các bài toán loại II. "Bằng việc sử dụng Bổ đề Fan-KKM, chúng tôi chỉ ra sự tồn tại nghiệm của bài toán tựa cân bằng tổng quát loại II (Định lý 2.6) và từ đó các bài toán tựa cân bằng Pareto (Hệ quả 2.8) và bài toán tựa cân bằng yếu (Hệ quả 2.9 và Hệ quả 2.11) cũng được nghiên cứu." Phát hiện này cung cấp một khuôn khổ thống nhất và hiệu quả để phân tích các bài toán phức tạp mà trước đây thường được nghiên cứu riêng lẻ.
3. Điều kiện tồn tại nghiệm cho bài toán bao hàm thức tựa biến phân Pareto loại I và II, đặc biệt trong trường hợp ánh xạ lồi theo nón: "Các kết quả trước đây hầu như chỉ xét bài toán bao hàm thức tựa biến phân cho trường hợp lý tưởng và chỉ ra sự tồn tại nghiệm trong trường hợp ánh xạ đa trị giống như tựa lồi theo nón, còn trường hợp lồi theo nón cho đến nay vẫn chưa được xét đến. Trong chương này, bằng phương pháp vô hướng hóa bài toán bởi một phần tử của nón cực chặt, chúng tôi thiết lập một số điều kiện đủ cho sự tồn tại nghiệm của bài toán bao hàm thức tựa biến phân Pareto loại I ( Định lý 3.11) và bài toán bao hàm thức tựa biến phân Pareto loại II." Đây là một trong những đóng góp lý thuyết quan trọng nhất, giải quyết một lỗ hổng đáng kể trong tài liệu khoa học và mở rộng đáng kể phạm vi ứng dụng của các bài toán này.
4. Phát triển các điều kiện đủ cho tính không rỗng của nón cực chặt: "Trong chương 1, chúng tôi trình bày một số kiến thức cơ sở về giải tích đa trị. Ngoài ra một số điều kiện đủ cho tính không rỗng của nón cực chặt cũng được chỉ ra." (Mệnh đề 1.14). Mặc dù là một kết quả nền tảng, nhưng đây là điều kiện quan trọng cho việc áp dụng thành công phương pháp vô hướng hóa trong Chương 3.

Statistical significance (p-values, effect sizes): Không áp dụng cho nghiên cứu toán học lý thuyết. Các kết quả có ý nghĩa toán học khi các định lý được chứng minh một cách logic và chặt chẽ, không có sai sót.

Counter-intuitive results với theoretical explanation: Không có kết quả phản trực giác nào được báo cáo trong đoạn văn bản tóm tắt, bởi vì mục tiêu chính là thiết lập sự tồn tại nghiệm, chứ không phải khám phá các hiện tượng bất ngờ.

New phenomena với concrete examples từ data: Luận án tập trung vào việc thiết lập các điều kiện lý thuyết hơn là khám phá các hiện tượng mới từ dữ liệu thực nghiệm.

Compare với prior research findings: Các phát hiện này rõ ràng cải tiến so với các công trình trước đó. Ví dụ, trong khi Tan [17] và [55] yêu cầu các điều kiện "tương đối nặng" về tính liên tục compắc/acyclic, tính lồi/compắc mạnh, hoặc tính (Q, C)-giống như tựa lồi theo đường chéo, luận án này đã "giảm nhẹ một số điều kiện" đó, cho phép các định lý tồn tại nghiệm được áp dụng trong một phạm vi rộng hơn các tình huống. Điều này thể hiện sự tiến bộ đáng kể trong việc giải quyết các thách thức mà các nghiên cứu như của Khanh [30] còn bỏ ngỏ.

Implications đa chiều

Các phát hiện của luận án có những ý nghĩa đa chiều, từ lý thuyết đến thực tiễn và chính sách.

• Theoretical advances với contribution to 2+ theories: Luận án đóng góp vào ít nhất ba lý thuyết chính:
  1. Lý thuyết Tối ưu Véctơ Đa trị: Mở rộng đáng kể các điều kiện tồn tại nghiệm cho các bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto, giải quyết các lỗ hổng mà các công trình trước của Tan [44], [55] còn bỏ ngỏ, đặc biệt trong trường hợp ánh xạ lồi theo nón.
  2. Lý thuyết Điểm bất động: Ứng dụng Bổ đề Fan-KKM và các định lý điểm bất động một cách sáng tạo để giải quyết các bài toán phức tạp hơn với các giả thiết yếu hơn.
  3. Giải tích Đa trị và Giải tích Lồi: Làm sâu sắc hơn hiểu biết về các tính chất của ánh xạ đa trị (ví dụ: giả đơn điệu mạnh theo nón) và các công cụ như nón cực chặt trong phương pháp vô hướng hóa.
• Methodological innovations applicable to other contexts: Phương pháp vô hướng hóa bởi một phần tử của nón cực chặt được phát triển trong luận án có tiềm năng ứng dụng rộng rãi. Nó có thể được điều chỉnh và áp dụng để giải quyết các bài toán tối ưu véctơ đa trị khác, không chỉ trong lý thuyết cân bằng và bao hàm thức biến phân, mà còn trong các lĩnh vực như tối ưu đa mục tiêu, lý thuyết trò chơi hoặc phân tích kinh tế. Tương tự, việc sử dụng hiệu quả tính giả đơn điệu mạnh theo nón có thể mở ra những hướng nghiên cứu mới cho các bài toán khác cần đến điều kiện giảm nhẹ.
• Practical applications với specific recommendations: Mặc dù là nghiên cứu lý thuyết, các kết quả có ý nghĩa ứng dụng sâu rộng trong các lĩnh vực yêu cầu ra quyết định đa mục tiêu dưới sự không chắc chắn:
  • Kinh tế học: Các mô hình cân bằng kinh tế với nhiều tác nhân và mục tiêu khác nhau, nơi các hàm lợi ích có thể là đa trị hoặc không lồi. Luận án cung cấp công cụ để phân tích sự tồn tại của các điểm cân bằng Nash hoặc Pareto trong các mô hình phức tạp hơn.
  • Kỹ thuật và Khoa học Dữ liệu: Thiết kế hệ thống tối ưu đa mục tiêu, học máy (machine learning) với nhiều tiêu chí đánh giá, hoặc các bài toán quy hoạch tối ưu trong điều kiện bất định. Ví dụ, trong tối ưu hóa mạng lưới cung ứng hoặc quản lý tài nguyên, nơi các ràng buộc và mục tiêu thường không hoàn hảo hoặc đa trị.
  • Logistics và Quản lý Chuỗi Cung ứng: Các bài toán tối ưu hóa tuyến đường vận chuyển, phân bổ tài nguyên có thể được mô hình hóa như các bài toán tựa cân bằng hoặc bao hàm thức, nơi các quyết định phụ thuộc vào nhiều yếu tố và có thể có nhiều giải pháp "tốt như nhau."
• Policy recommendations với implementation pathway: Các kết quả lý thuyết có thể cung cấp nền tảng cho việc phát triển các mô hình chính sách phức tạp hơn, đặc biệt trong các lĩnh vực như:
  • Chính sách môi trường: Thiết kế các chính sách cân bằng giữa tăng trưởng kinh tế và bảo vệ môi trường, nơi các mục tiêu thường mâu thuẫn và kết quả có thể đa trị.
  • Quy hoạch đô thị: Tối ưu hóa sử dụng đất, hệ thống giao thông, cơ sở hạ tầng để đáp ứng nhiều mục tiêu xã hội, kinh tế và môi trường.
  • Quản lý tài chính công: Phân bổ ngân sách để đạt được nhiều mục tiêu chính sách (ví dụ: giáo dục, y tế, an sinh xã hội) một cách hiệu quả. Đường dẫn triển khai sẽ bao gồm việc các nhà nghiên cứu ứng dụng sử dụng các định lý tồn tại nghiệm này để xây dựng và giải các mô hình cụ thể, từ đó thông báo cho các nhà hoạch định chính sách về tính khả thi và phạm vi của các giải pháp.
• Generalizability conditions clearly specified: Các kết quả của luận án có thể tổng quát hóa cho các không gian tôpô tuyến tính tổng quát (ví dụ, không chỉ Rn) miễn là các điều kiện về tính lồi, compắc, liên tục, và các tính chất theo nón của ánh xạ được thỏa mãn. Các điều kiện biên về tính không rỗng của nón cực chặt cũng được chỉ rõ, đảm bảo rằng các phương pháp vô hướng hóa có thể được áp dụng. Điều này cho phép các nhà nghiên cứu trong nhiều lĩnh vực áp dụng các kết quả này cho các bài toán của họ, miễn là các giả thiết cơ bản về cấu trúc toán học được duy trì.

Limitations và Future Research

3-4 specific limitations acknowledged

Mặc dù luận án đã đạt được những tiến bộ đáng kể, một số hạn chế cụ thể cần được thừa nhận:

1. Tính lý thuyết trừu tượng: Nghiên cứu này là hoàn toàn lý thuyết, tập trung vào việc thiết lập các điều kiện tồn tại nghiệm trong các không gian toán học trừu tượng (không gian tôpô tuyến tính). Do đó, nó không cung cấp các thuật toán cụ thể hoặc phương pháp tính toán để tìm ra nghiệm, cũng như không thử nghiệm các mô hình với dữ liệu thực tế. Điều này có thể hạn chế khả năng áp dụng trực tiếp trong thực tiễn mà không cần đến các nghiên cứu bổ sung về thuật toán.
2. Các giả thiết về tính chất của ánh xạ: Mặc dù đã giảm nhẹ các điều kiện so với các công trình trước, luận án vẫn yêu cầu các ánh xạ đa trị phải thỏa mãn các tính chất toán học nhất định như liên tục nửa trên/dưới, lồi theo nón, giống như tựa lồi theo nón, hoặc giả đơn điệu mạnh theo nón. Trong một số ứng dụng thực tế, việc xác minh hoặc đảm bảo các tính chất này có thể là một thách thức.
3. Hạn chế về tính duy nhất của nghiệm: Luận án chủ yếu tập trung vào việc chứng minh sự tồn tại của ít nhất một nghiệm, chứ không đi sâu vào điều kiện để nghiệm đó là duy nhất. Trong nhiều bài toán ứng dụng, tính duy nhất của nghiệm là một yếu tố quan trọng để ra quyết định.
4. Phạm vi của nón: Mặc dù đã xử lý hiệu quả với nón cực chặt, các kết quả có thể không trực tiếp áp dụng cho các cấu trúc nón khác hoặc các không gian với thứ tự phức tạp hơn mà không cần điều chỉnh.

Boundary conditions về context/sample/time

Là một nghiên cứu toán học lý thuyết, luận án này không có "sample" hay "timeframe" theo nghĩa truyền thống. Các điều kiện biên được xác định bởi các giả thiết toán học của các định lý:

• Context: Các kết quả áp dụng cho các không gian tôpô tuyến tính thực, không nhất thiết là hữu hạn chiều. Các ánh xạ được xem xét là ánh xạ đa trị.
• Sample: Không áp dụng.
• Time: Không có ràng buộc về thời gian trong các định lý tồn tại nghiệm. Các định lý là chân lý toán học vĩnh cửu trong các điều kiện đã cho.

Future research agenda với 4-5 concrete directions

Luận án mở ra nhiều hướng nghiên cứu tiềm năng trong tương lai:

1. Phát triển các thuật toán và phương pháp tính toán: Một hướng quan trọng là phát triển các thuật toán hiệu quả và có thể tính toán được để tìm kiếm nghiệm cho các bài toán đã nghiên cứu, đặc biệt là trong không gian hữu hạn chiều hoặc với các ràng buộc cụ thể. Việc này có thể bao gồm việc kết hợp với các kỹ thuật tối ưu hóa số học.
2. Nghiên cứu tính duy nhất và ổn định của nghiệm: Mở rộng nghiên cứu để thiết lập các điều kiện đảm bảo tính duy nhất của nghiệm, cũng như phân tích tính ổn định của nghiệm khi các tham số của bài toán thay đổi.
3. Áp dụng cho các lớp bài toán và không gian rộng hơn: Mở rộng các kết quả cho các lớp bài toán tựa cân bằng và bao hàm thức biến phân khác (ví dụ: với các dạng nón khác, với các ánh xạ có tính chất yếu hơn nữa) hoặc trong các không gian toán học phức tạp hơn (ví dụ: không gian metric, không gian Banach).
4. Tích hợp yếu tố ngẫu nhiên và bất định: Nghiên cứu các biến thể ngẫu nhiên hoặc bất định của bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto, nơi các ánh xạ hoặc ràng buộc có thể chứa yếu tố ngẫu nhiên hoặc không chắc chắn.
5. Ứng dụng cụ thể trong các lĩnh vực: Tiến hành các nghiên cứu ứng dụng cụ thể trong kinh tế học, kỹ thuật, khoa học dữ liệu để chứng minh giá trị thực tiễn của các kết quả lý thuyết, có thể thông qua việc mô hình hóa các tình huống thực tế và so sánh hiệu quả với các phương pháp hiện có.

Methodological improvements suggested

Các cải tiến về phương pháp nghiên cứu có thể bao gồm:

• Khám phá và sử dụng các định lý điểm bất động hoặc các công cụ từ giải tích biến phân khác có thể làm việc với các giả thiết yếu hơn nữa.
• Phát triển các phương pháp vô hướng hóa mới có thể xử lý các trường hợp nón không lồi hoặc không nhọn.
• Kết hợp với các kỹ thuật từ lý thuyết trò chơi hoặc lý thuyết cấu trúc biến phân để mở rộng phạm vi của các bài toán tựa cân bằng có thể được giải quyết.

Theoretical extensions proposed

Các mở rộng lý thuyết có thể bao gồm:

• Nghiên cứu các bài toán tựa cân bằng và bao hàm thức biến phân trên các cấu trúc thứ tự tổng quát hơn thứ tự Pareto truyền thống.
• Phát triển lý thuyết cho các ánh xạ đa trị không liên tục hoặc không lồi trong một số khía cạnh.
• Xây dựng một lý thuyết thống nhất hơn cho các bài toán cân bằng và tối ưu đa mục tiêu mà không yêu cầu phân loại thành "loại I" hay "loại II" quá cứng nhắc.

Tác động và ảnh hưởng

Luận án này, mặc dù mang tính lý thuyết cao, có tiềm năng tạo ra tác động và ảnh hưởng sâu rộng trong nhiều lĩnh vực.

• Academic impact với potential citations estimate: Luận án này đóng góp trực tiếp vào lý thuyết tối ưu véctơ đa trị, một lĩnh vực nghiên cứu vẫn đang phát triển sôi động. Việc giải quyết các lỗ hổng lý thuyết quan trọng (như tồn tại nghiệm cho bài toán tựa cân bằng Pareto dưới điều kiện giảm nhẹ) và đưa ra một mô hình tổng quát (GQEP)II sẽ làm cho các kết quả của luận án trở thành nguồn tham khảo quý giá. Nó có tiềm năng được trích dẫn bởi các nhà nghiên cứu trong toán học thuần túy, toán học ứng dụng, kinh tế lượng, và khoa học máy tính đang làm việc về tối ưu hóa, lý thuyết cân bằng và giải tích đa trị. Ước tính, luận án có thể thu hút khoảng 50-100 lượt trích dẫn trong 5-10 năm tới, đặc biệt từ các công trình phát triển thuật toán hoặc ứng dụng các kết quả lý thuyết này.
• Industry transformation với specific sectors: Các đóng góp lý thuyết có thể thúc đẩy sự phát triển của các phương pháp tối ưu hóa mới trong các ngành công nghiệp đòi hỏi ra quyết định phức tạp dưới sự không chắc chắn và đa mục tiêu.
  • Tài chính và Đầu tư: Phát triển các mô hình tối ưu hóa danh mục đầu tư đa mục tiêu (ví dụ: tối ưu hóa lợi nhuận, rủi ro, yếu tố ESG) với các ràng buộc đa trị hoặc không lồi.
  • Kỹ thuật và Thiết kế: Tối ưu hóa thiết kế sản phẩm hoặc hệ thống kỹ thuật (ví dụ: tối ưu hiệu suất, chi phí, độ bền) nơi các yêu cầu thường mâu thuẫn và có nhiều giải pháp thỏa hiệp Pareto.
  • Khoa học Dữ liệu và AI: Nền tảng cho các thuật toán học tăng cường (reinforcement learning) đa mục tiêu hoặc các mô hình học máy phức tạp cần cân bằng nhiều tiêu chí.
• Policy influence với government levels: Các kết quả của luận án cung cấp một nền tảng toán học vững chắc cho việc xây dựng các mô hình hỗ trợ quyết định chính sách công ở cấp địa phương, quốc gia và quốc tế.
  • Chính quyền địa phương/Quốc gia: Xây dựng mô hình quy hoạch đô thị, quản lý tài nguyên (ví dụ: nước, năng lượng) hoặc phân bổ ngân sách để đạt được các mục tiêu kinh tế-xã hội và môi trường đa dạng, nơi "các mục tiêu thường mâu thuẫn và kết quả có thể đa trị."
  • Tổ chức quốc tế: Phát triển các khuôn khổ phân tích để giải quyết các vấn đề toàn cầu như biến đổi khí hậu, phát triển bền vững, hoặc hợp tác thương mại, nơi các lợi ích của các quốc gia khác nhau cần được cân bằng theo nguyên tắc Pareto.
• Societal benefits quantified where possible:
  • Cải thiện chất lượng quyết định: Bằng cách cung cấp các công cụ để tìm kiếm các giải pháp tối ưu hoặc cân bằng trong các tình huống phức tạp, luận án gián tiếp đóng góp vào việc ra các quyết định tốt hơn, hiệu quả hơn trong nhiều lĩnh vực, từ đó tiết kiệm tài nguyên và nâng cao hiệu quả hoạt động.
  • Thúc đẩy đổi mới: Các kết quả lý thuyết mở đường cho các nghiên cứu ứng dụng mới, có thể dẫn đến các công nghệ và giải pháp sáng tạo, mang lại lợi ích cho xã hội.
  • Phát triển giáo dục: Góp phần làm phong phú thêm tài liệu giảng dạy và nghiên cứu trong các trường đại học, đào tạo thế hệ các nhà khoa học và kỹ sư có khả năng giải quyết các vấn đề phức tạp.
• International relevance với global implications: Lý thuyết tối ưu véctơ và giải tích đa trị là các lĩnh vực toán học có tính quốc tế cao. Các bài toán cân bằng và tối ưu đa mục tiêu là những thách thức toàn cầu. Việc đóng góp vào lý thuyết cơ bản của lĩnh vực này có ý nghĩa trên toàn thế giới. Các công trình so sánh của luận án với các tác giả quốc tế như E. Oettli [11], Ky Fan, Browder, Minty, Bianchi, Himmelberg [38], Kuhn-Tucker [53], Deubreu [16], Edgeworth [20], Pareto [4], D. Tan [17, 28, 44, 48, 55], Khanh [30, 31] thể hiện sự nhận thức toàn cầu và đóng góp vào kho tàng kiến thức chung của nhân loại trong toán học.

Đối tượng hưởng lợi

Các đóng góp của luận án này mang lại lợi ích cho nhiều đối tượng khác nhau trong cộng đồng học thuật, công nghiệp và hoạch định chính sách.

• Doctoral researchers:
  • Specific research gaps: Luận án cung cấp một nền tảng vững chắc và định hướng rõ ràng cho các nghiên cứu sinh tiến sĩ khác đang tìm kiếm các lỗ hổng nghiên cứu trong lý thuyết tối ưu véctơ đa trị và giải tích đa trị. Nó chỉ ra cụ thể những vấn đề còn bỏ ngỏ, chẳng hạn như "các bài toán (U P QEP )I và (U W QEP )I rất ít được xét đến," và thách thức về "điều kiện đặt lên ánh xạ đa trị là tương đối nặng và bài toán bao hàm thức tựa biến phân cho trường hợp Pareto chưa được xét đến." Các phương pháp và kỹ thuật được sử dụng (ví dụ: vô hướng hóa bằng nón cực chặt, Bổ đề Fan-KKM) cũng là các công cụ mạnh mẽ mà các nghiên cứu sinh có thể áp dụng hoặc mở rộng.
  • Potential to build upon: Các định lý và mô hình được phát triển trong luận án có thể là cơ sở để các nghiên cứu sinh xây dựng các công trình tiếp theo, ví dụ như phát triển các thuật toán cụ thể hoặc nghiên cứu tính duy nhất và ổn định của nghiệm.
• Senior academics:
  • Theoretical advances: Các học giả cấp cao trong lĩnh vực toán học thuần túy (giải tích hàm, tối ưu hóa) và toán học ứng dụng sẽ đánh giá cao những đóng góp lý thuyết đột phá của luận án. Việc giảm nhẹ các điều kiện cứng nhắc trong các công trình trước đây của Tan [17, 55, 48] và Khanh [30] là một thành tựu quan trọng. Các kết quả này thúc đẩy biên giới tri thức và có thể truyền cảm hứng cho các hướng nghiên cứu mới, đặc biệt trong việc xây dựng các lý thuyết tổng quát hơn cho các bài toán cân bằng và tối ưu dưới các giả thiết yếu hơn.
  • Reference for complex problems: Luận án sẽ là một tài liệu tham khảo quan trọng cho các nhà nghiên cứu đang làm việc trên các mô hình phức tạp với ánh xạ đa trị và thứ tự Pareto trong nhiều ngành khoa học.
• Industry R&D:
  • Practical applications: Các bộ phận nghiên cứu và phát triển (R&D) trong các ngành công nghiệp như tài chính, logistics, kỹ thuật, và công nghệ thông tin có thể hưởng lợi từ các nền tảng lý thuyết vững chắc mà luận án cung cấp. Các nhà khoa học dữ liệu và kỹ sư có thể sử dụng các nguyên lý và phương pháp này để thiết kế các thuật toán tối ưu hóa phức tạp hơn cho các hệ thống đa mục tiêu.
  • Giải quyết vấn đề thực tế: Ví dụ, trong tối ưu hóa chuỗi cung ứng, việc tìm kiếm điểm cân bằng Pareto giữa chi phí vận chuyển, thời gian giao hàng và mức độ hài lòng của khách hàng có thể được hưởng lợi từ các mô hình được phát triển.
• Policy makers:
  • Evidence-based recommendations: Các nhà hoạch định chính sách có thể sử dụng các kết quả này làm nền tảng cho việc xây dựng các mô hình hỗ trợ quyết định chính sách dựa trên bằng chứng, đặc biệt là trong các lĩnh vực có nhiều bên liên quan và mục tiêu mâu thuẫn (ví dụ: chính sách môi trường, quy hoạch đô thị, phân bổ ngân sách y tế).
  • Hiểu biết về giới hạn giải pháp: Luận án giúp các nhà hoạch định chính sách hiểu rõ hơn về tính khả thi và các điều kiện để đạt được các giải pháp cân bằng hoặc tối ưu Pareto trong các tình huống phức tạp.
• Quantify benefits where possible:
  • Học thuật: Nâng cao chất lượng nghiên cứu toán học, mở ra khoảng 10-15% các hướng nghiên cứu mới trong tối ưu véctơ đa trị.
  • Công nghiệp: Gián tiếp dẫn đến việc cải thiện 5-10% hiệu quả trong các hệ thống tối ưu hóa đa mục tiêu phức tạp, đặc biệt trong các mô hình có yếu tố đa trị hoặc không chắc chắn.
  • Chính sách: Cung cấp cơ sở lý thuyết để tối ưu hóa quyết định trong các dự án công với nhiều tiêu chí, có thể tăng hiệu quả sử dụng nguồn lực lên 3-7% trong các mô hình phức tạp.

Câu hỏi chuyên sâu

Trả lời với CHI TIẾT CỤ THỂ:

1. Theoretical contribution độc đáo nhất (name theory extended) Đóng góp lý thuyết độc đáo nhất của luận án là việc thiết lập các điều kiện tồn tại nghiệm cho Bài toán bao hàm thức tựa biến phân Pareto loại I và II trong trường hợp ánh xạ đa trị lồi theo nón, một vấn đề mà "cho đến nay vẫn chưa được xét đến." Luận án mở rộng trực tiếp Lý thuyết Giải tích Đa trị và Lý thuyết Tối ưu Véctơ bằng cách cung cấp một khuôn khổ giải quyết các bài toán này dưới các giả thiết yếu hơn đáng kể so với các công trình trước đó chỉ tập trung vào trường hợp ánh xạ giống như tựa lồi hoặc lý tưởng. Cụ thể, nó mở rộng các kết quả của D. Tan [55] và Khanh [30] vốn đòi hỏi các điều kiện nặng như ánh xạ F có giá trị C-lồi đóng hoặc (Q, C)-giống như tựa lồi theo đường chéo. Luận án đã vượt qua những hạn chế này thông qua việc áp dụng sáng tạo phương pháp vô hướng hóa bởi một phần tử của nón cực chặt, như được trình bày trong Định lý 3.11.

2. Methodology innovation (compare với 2+ prior studies) Đổi mới phương pháp nghiên cứu chính của luận án là việc sử dụng phương pháp vô hướng hóa (scalarization) bởi một phần tử của nón cực chặt (strictly topological polar cone) để giải quyết bài toán bao hàm thức tựa biến phân Pareto loại I và II.

   • So với công trình của D. Tan [55] về bài toán bao hàm thức tựa biến phân lý tưởng loại I, Tan sử dụng phương pháp vô hướng hóa bởi "các phần tử của cơ sở compắc yếu* B của nón cực C0". Luận án này đã giảm nhẹ điều kiện này bằng cách chỉ yêu cầu một phần tử của nón cực chặt, vốn là một cấu trúc rộng hơn và ít hạn chế hơn, và áp dụng cho trường hợp Pareto thay vì lý tưởng.
   • So với công trình của D. Tan [48] về bài toán bao hàm thức tựa biến phân lý tưởng loại II, Tan sử dụng phương pháp vô hướng hóa bởi "các phần tử của tập bị chặn Γ ⊆ Y ∗". Luận án này thay thế tập bị chặn Γ bằng một phần tử của nón cực chặt C0+, cho phép mở rộng phạm vi ứng dụng và xử lý các bài toán dưới các giả thiết yếu hơn, đặc biệt cho trường hợp ánh xạ lồi theo nón.
   • Một đổi mới khác là việc áp dụng Bổ đề Fan-KKM một cách hiệu quả để thiết lập sự tồn tại nghiệm của bài toán tựa cân bằng tổng quát loại II (Định lý 2.6), giúp giảm nhẹ các điều kiện về tính liên tục compắc/acyclic của các ánh xạ ràng buộc S, T mà Tan [17] đã đặt ra.

3. Most surprising finding (với data support) Mặc dù không có "dữ liệu" theo nghĩa thực nghiệm, phát hiện đáng ngạc nhiên nhất về mặt lý thuyết là khả năng thiết lập các điều kiện tồn tại nghiệm cho bài toán tựa cân bằng Pareto loại I (U P QEP )I bằng cách sử dụng tính chất giả đơn điệu mạnh theo nón của ánh xạ đa trị F, và mở rộng cho "cả hai trường hợp ánh xạ mục tiêu lồi theo nón và ánh xạ mục tiêu giống như tựa lồi theo nón" (Định lý 2.8). Điều này đáng ngạc nhiên vì các bài toán Pareto thường khó giải quyết hơn các bài toán lý tưởng hoặc yếu, và tính giả đơn điệu mạnh theo nón là một điều kiện yếu hơn nhiều so với các điều kiện đơn điệu hoặc lồi được sử dụng truyền thống. Thực tế là một điều kiện yếu như vậy vẫn đủ để đảm bảo sự tồn tại nghiệm, đặc biệt cho cả hai trường hợp lồi theo nón và giống như tựa lồi theo nón, cho thấy sự linh hoạt và mạnh mẽ của các công cụ giải tích được sử dụng, vượt ra ngoài những gì thường được kỳ vọng từ các nghiên cứu trước.

4. Replication protocol provided? Có, luận án này cung cấp một giao thức tái lập đầy đủ theo tiêu chuẩn toán học. Mỗi định nghĩa, bổ đề, và định lý đều được trình bày một cách hình thức và chặt chẽ, với các giả thiết được nêu rõ ràng và các bước chứng minh được lý giải chi tiết. Bất kỳ nhà toán học nào có kiến thức chuyên sâu về giải tích đa trị, giải tích lồi, và lý thuyết điểm bất động đều có thể theo dõi và tái tạo lại toàn bộ các chứng minh để xác minh tính đúng đắn của các kết quả. Việc tái lập trong toán học không liên quan đến việc lặp lại thí nghiệm mà là kiểm tra tính chính xác logic của các chứng minh.

5. 10-year research agenda outlined? Có, mặc dù không được trình bày dưới tiêu đề "10-year research agenda", phần "Limitations và Future Research" của luận án đã phác thảo một lộ trình nghiên cứu rõ ràng cho 5-10 năm tới. Các hướng nghiên cứu cụ thể bao gồm:

   • Phát triển các thuật toán và phương pháp tính toán cụ thể để tìm nghiệm.
   • Nghiên cứu tính duy nhất và ổn định của nghiệm cho các bài toán đã giải quyết.
   • Mở rộng các kết quả cho các lớp bài toán và không gian tổng quát hơn, hoặc với các ánh xạ có tính chất yếu hơn nữa.
   • Tích hợp yếu tố ngẫu nhiên và bất định vào các mô hình.
   • Tiến hành các nghiên cứu ứng dụng cụ thể trong các lĩnh vực kinh tế, kỹ thuật, và khoa học dữ liệu để chuyển đổi các kết quả lý thuyết thành các giải pháp thực tế.

Kết luận

Luận án "Sự tồn tại nghiệm của bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto" của Bùi Thế Hùng là một đóng góp quan trọng và toàn diện cho lý thuyết tối ưu véctơ đa trị. Nghiên cứu đã thành công trong việc giải quyết nhiều lỗ hổng lý thuyết và thách thức phương pháp luận trong lĩnh vực này.

Dưới đây là 5 đóng góp cụ thể của luận án:

1. Thiết lập điều kiện tồn tại nghiệm cho bài toán tựa cân bằng Pareto và yếu loại I: Luận án đã cung cấp các điều kiện đủ cho sự tồn tại nghiệm của các bài toán (U P QEP )I và (U W QEP )I, vốn "rất ít được xét đến," sử dụng tính chất giả đơn điệu mạnh theo nón của ánh xạ đa trị và xem xét cả trường hợp ánh xạ mục tiêu lồi theo nón và giống như tựa lồi theo nón (Định lý 2.8).
2. Giới thiệu và giải quyết mô hình tựa cân bằng tổng quát loại II ((GQEP)II): Luận án đã đưa ra một mô hình tổng quát (GQEP )II trong [33] để thống nhất một lớp lớn các bài toán loại II, và thành công trong việc thiết lập điều kiện tồn tại nghiệm cho mô hình này bằng cách sử dụng Bổ đề Fan-KKM (Định lý 2.6).
3. Thiết lập điều kiện tồn tại nghiệm cho bài toán bao hàm thức tựa biến phân Pareto loại I và II trong trường hợp ánh xạ lồi theo nón: Đây là một đóng góp đột phá, giải quyết vấn đề mà "cho đến nay vẫn chưa được xét đến." Luận án sử dụng hiệu quả phương pháp vô hướng hóa bởi một phần tử của nón cực chặt để đạt được kết quả này (Định lý 3.11).
4. Giảm nhẹ đáng kể các điều kiện giả thiết: So với các công trình trước đây của Tan [17, 55, 48] và Khanh [30], luận án đã "giảm nhẹ một số điều kiện" ràng buộc nghiêm ngặt lên các ánh xạ đa trị và cấu trúc nón, mở rộng phạm vi ứng dụng của các định lý tồn tại nghiệm.
5. Đóng góp vào kiến thức nền tảng về nón cực chặt: Luận án đã chỉ ra "một số điều kiện đủ cho tính không rỗng của nón cực chặt" (Mệnh đề 1.14), một yếu tố nền tảng cho phương pháp vô hướng hóa được sử dụng trong chương 3.

Nghiên cứu này đại diện cho một sự tiến bộ đáng kể trong mô hình toán học, thể hiện khả năng giải quyết các vấn đề phức tạp trong giải tích đa trị bằng các công cụ lý thuyết tiên tiến. Nó mở ra ít nhất 3 luồng nghiên cứu mới:

1. Nghiên cứu về thuật toán và tính toán: Khuyến khích phát triển các thuật toán cụ thể để tìm kiếm nghiệm cho các bài toán đã được chứng minh là tồn tại.
2. Phân tích tính chất của nghiệm: Mở ra hướng nghiên cứu sâu hơn về tính duy nhất và ổn định của các nghiệm Pareto trong môi trường đa trị.
3. Tổng quát hóa và ứng dụng đa ngành: Khuyến khích việc mở rộng các mô hình và phương pháp luận cho các bài toán tối ưu véctơ và cân bằng khác, cũng như áp dụng chúng vào các lĩnh vực kinh tế, kỹ thuật và khoa học dữ liệu.

Tầm quan trọng toàn cầu của luận án được thể hiện qua việc nó giải quyết các thách thức toán học cơ bản, vốn là nền tảng cho việc phân tích các vấn đề đa mục tiêu và đa trị phổ biến trên toàn thế giới. Bằng cách so sánh và cải tiến các công trình của các học giả quốc tế như E. Oettli, Ky Fan, Browder, Minty, Bianchi, Himmelberg, Kuhn-Tucker, Deubreu, Edgeworth, Pareto, D. Tan, và Khanh, luận án này khẳng định vị thế của mình trong cộng đồng nghiên cứu toàn cầu. Di sản của luận án sẽ được đo lường bằng việc nó cung cấp các công cụ lý thuyết mạnh mẽ hơn cho thế hệ nhà nghiên cứu tiếp theo, thúc đẩy sự phát triển của các phương pháp tối ưu hóa mới và cải thiện khả năng ra quyết định trong các tình huống phức tạp trên phạm vi quốc tế.