Tổng quan về luận án

Luận án tiến sĩ này đặt trọng tâm vào lý thuyết tối ưu véctơ đa trị, một lĩnh vực then chốt trong giải tích đa trị, mang đến những mở rộng sâu sắc cho các bài toán cân bằng và bao hàm thức biến phân cổ điển. Bối cảnh khoa học của nghiên cứu này nằm trong sự phát triển không ngừng của lý thuyết tối ưu, từ các mô hình hàm số thực đơn trị đến các mô hình phức tạp hơn liên quan đến ánh xạ véctơ đa trị, phản ánh các tình huống ra quyết định đa mục tiêu trong thực tiễn kinh tế, tài chính, và kỹ thuật. Nghiên cứu mang tính tiên phong khi giải quyết trực tiếp những hạn chế và khoảng trống lý thuyết đã tồn tại, đặc biệt là trong việc thiết lập các điều kiện đủ cho sự tồn tại nghiệm của các lớp bài toán ít được chú ý hoặc có các giả thiết còn nặng nề.

Research gap cụ thể mà luận án này giải quyết có thể được tóm tắt qua ba điểm chính:

  1. Khoảng trống trong các bài toán tựa cân bằng Pareto và yếu loại I: Mặc dù các bài toán cân bằng vô hướng đã được nghiên cứu rộng rãi, nhưng các biến thể Pareto và yếu của bài toán tựa cân bằng loại I trong ngữ cảnh ánh xạ đa trị "rất ít được xét đến" (Mở đầu, trang 8). Luận án này nhắm đến việc lấp đầy khoảng trống đó bằng cách thiết lậ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.
  2. Điều kiện ràng buộc nặng n nề trong các bài toán tựa cân bằng tổng quát: Các nghiên cứu trước đây về bài toán tựa cân bằng tổng quát loại I, như của Tan [17], thường áp đặt các "điều kiện đặt lên đối với các ánh xạ ràng buộc S, T là tương đối nặng, cụ thể ở đây ánh xạ S là liên tục compắc, ánh xạ T liên tục acylic" (Mở đầu, trang 9). Luận án tìm cách xây dựng một mô hình tổng quát hơn (loại II) và thiết lập các điều kiện tồn tại nghiệm dưới các giả thiết có thể linh hoạt hơn, mở rộng phạm vi ứng dụng.
  3. Hạn chế trong các bài toán bao hàm thức tựa biến phân Pareto: Cho đến nay, "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" (Mở đầu, trang 11) và các kết quả hiện có chủ yếu tập trung vào các trường hợp "lý tưởng" và ánh xạ đa trị "giống như tựa lồi theo nón", trong khi "trường hợp lồi theo nón cho đến nay vẫn chưa được xét đến" (Mở đầu, trang 12). Luận án giải quyết triệt để hạn chế này 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 bao hàm thức tựa biến phân Pareto loại I và loại II, bao gồm cả trường hợp ánh xạ lồi theo nón.

Từ những khoảng trống này, các câu hỏi nghiên cứu (RQ) và giả thuyết (H) chính được đặt ra:

  • RQ1: Dưới những điều kiện đủ nào, các bài toán tựa cân bằng Pareto và yếu loại I trong không gian véctơ tôpô lồi địa phương sẽ có nghiệm?
    • H1: Sự tồn tại nghiệm cho (U P QEP )I và (U W QEP )I có thể được chứng minh thông qua việc áp dụng các khái niệm giả đơn điệu mạnh theo nón và tính lồi theo nón của ánh xạ đa trị, kết hợp với các định lý điểm bất động cổ điển như Fan-Browder và Ky Fan.
  • RQ2: Làm thế nào để thiết lập một mô hình tổng quát (GQEP )II có khả năng bao hàm nhiều bài toán loại II khác, và những điều kiện nào sẽ đảm bảo sự tồn tại nghiệm cho mô hình này?
    • H2: Bài toán (GQEP )II có thể đóng vai trò là một khung phân tích thống nhất cho nhiều bài toán loại II, và sự tồn tại nghiệm của nó có thể được chứng minh hiệu quả bằng Bổ đề Fan-KKM dưới các giả thiết hợp lý về tính nửa liên tục, tính lồi, và tính Q-KKM của các ánh xạ.
  • RQ3: Các đ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 là gì, đặc biệt khi xét đến trường hợp ánh xạ lồi theo nón?
    • H3: Thông qua phương pháp vô hướng hóa bài toán bằng các phần tử của nón cực chặt, có thể 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à loại II, bao gồm cả các trường hợp ánh xạ lồi theo nón và giống như tựa lồi theo nón.

Khung lý thuyết của luận án được xây dựng vững chắc trên các trụ cột của Giải tích Đa trị (Multivalued Analysis), Lý thuyết Điểm bất động (Fixed Point Theory) và Lý thuyết Tối ưu Véctơ Đa trị (Multivalued Vector Optimization Theory). Các lý thuyết cụ thể được sử dụng bao gồm định lý điểm bất động của Ky Fan [22] và Fan-Browder [13], cũng như Bổ đề Fan-KKM [23]. Ngoài ra, các khái niệm về nón cực chặt, tính giả đơn điệu theo nón, và tính C-lồi/C-giống như tựa lồi của ánh xạ đa trị cũng là nền tảng.

Luận án đưa ra nhiều đóng góp đột phá, cụ thể là:

  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: Đây là một bước tiến quan trọng khi giải quyết một lớp bài toán "rất ít được xét đến" (Mở đầu, trang 8), mở rộng phạm vi ứng dụng của lý thuyết cân bằng véctơ đa trị. (Định lý 2.8 và 2.12).
  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) như một mô hình thống nhất: Luận án đã giới thiệu (GQEP )II, một "mô hình rất tổng quát" (Mở đầu, trang 9), có khả năng liên kết và bao hàm nhiều bài toán khác trong lý thuyết tối ưu véctơ loại II. Điều này giảm thiểu sự phân mảnh trong nghiên cứu và cung cấp một khung phân tích mạnh mẽ hơn. (Định lý 2.6).
  3. 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 cho cả ánh xạ lồi theo nón: Đây là một đóng góp đột phá khi các nghiên cứu trước đây chỉ tập trung vào ánh xạ "giống như tựa lồi theo nón", bỏ ngỏ "trường hợp lồi theo nón" (Mở đầu, trang 12). Luận án đã thiết lập các điều kiện đủ cho sự tồn tại nghiệm cho cả hai trường hợp này thông qua phương pháp vô hướng hóa bài toán bằng các phần tử của nón cực chặt (Định lý 3.11 và 3.14).
  4. Giảm nhẹ các điều kiện ràng buộc: Luận án đã đưa ra các điều kiện tồn tại nghiệm cho các lớp bài toán phức tạp mà trong một số trường hợp, chúng linh hoạt và ít hạn chế hơn so với các điều kiện nặng nề trong các công trình trước đây (ví dụ, điều kiện về ánh xạ S và T trong Tan [17] so với các giả thiết trong Định lý 2.6).

Phạm vi của nghiên cứu mang tính lý thuyết cao, tập trung vào các không gian tôpô tuyến tính lồi địa phương (Locally Convex Hausdorff Topological Vector Spaces) vô hạn chiều và các tính chất phức tạp của ánh xạ đa trị. Mặc dù không có "sample size" hay "timeframe" theo nghĩa thực nghiệm, luận án bao quát một phạm vi rộng các định nghĩa và tính chất từ giải tích đa trị (Chương 1) để xây dựng nền tảng vững chắc cho các chứng minh tồn tại nghiệm. Ý nghĩa của nghiên cứu nằm ở việc củng cố nền tảng toán học cho lý thuyết tối ưu véctơ đa trị, mở ra hướng nghiên cứu mới và cung cấp công cụ mạnh mẽ hơn cho việc mô hình hóa và giải quyết các vấn đề tối ưu đa mục tiêu trong khoa học và kỹ thuật.

Literature Review và Positioning

Lý thuyết tối ưu véctơ đa trị, nơi luận án này đóng góp, có một lịch sử phong phú, bắt nguồn từ các ý tưởng về cân bằng kinh tế và lý thuyết giá trị của các nhà kinh tế học tiên phong như Edgeworth [20] và Pareto [4] từ cuối thế kỷ 19. Sự phát triển mạnh mẽ của lý thuyết này thực sự bắt đầu từ những năm 1950 với các công trình của Kuhn-Tucker [53] về điều kiện tối ưu và Deubreu [16] về giá trị cân bằng. Cùng với đó, các nhà toán học lớn như Hausdorff, Cantor, Borel, Von Neumann, Koopmans đã đặt nền móng cho các công cụ giải tích và tôpô cần thiết.

Vào những năm 1930, khái niệm ánh xạ đa trị được đưa ra nhằm mở rộng các bài toán tối ưu cổ điển (OP) cho trường hợp ánh xạ véctơ đa trị, dẫn đến sự hình thành của lý thuyết tối ưu véctơ đa trị. Trong lĩnh vực này, bài toán tựa cân bằng và bài toán bao hàm thức tựa biến phân đã trở thành hai lớp bài toán quan trọng, thu hút nhiều sự quan tâm nghiên cứu về sự tồn tại nghiệm. Bài toán cân bằng vô hướng được E. Oettli [11] nghiên cứu vào năm 1994, sau đó được mở rộng cho ánh xạ véctơ đơn trị và gần đây là cho ánh xạ đa trị bởi nhiều tác giả (xem [5], [6], [19], [41], [44], [45], [54]).

Đi sâu vào các bài toán tựa cân bằng, Tan [44] đã 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, bao gồm các bài toán tựa cân bằng lý tưởng, yếu và Pareto loại I. Tuy nhiên, luận án ghi nhận rằng "các bài toán (U P QEP )I và (U W QEP )I rất ít được xét đến" (Mở đầu, trang 8) trong các nghiên cứu trước đây, tạo thành một khoảng trống đáng kể. Tan [17] sau đó đã nghiên cứu bài toán tựa cân bằng tổng quát loại I, cung cấp một khung thống nhất cho nhiều bài toán tối ưu khác. Tuy nhiên, luận án này chỉ ra rằng "điều kiện đặt lên đối với các ánh xạ ràng buộc S, T là tương đối nặng" (Mở đầu, trang 9), với ánh xạ S là liên tục compắc và T liên tục acylic.

Đối với bài toán bao hàm thức tựa biến phân, Tan [28] giới thiệu bài toán tựa tối ưu loại I, sau đó mở rộng cho trường hợp ánh xạ véctơ đa trị trong [55] dưới dạng bài toán bao hàm thức tựa biến phân lý tưởng loại I. Các công trình này, sử dụng phương pháp vô hướng hóa và định lý tách tập lồi, thường đòi hỏi "nón cực C 0 của nón C có cơ sở compắc yếu*", ánh xạ đa trị F với giá trị "lồi, compắc và F là C- giống như tựa lồi đối với biến thứ ba" (Mở đầu, trang 10). Tương tự, cho bài toán bao hàm thức tựa biến phân lý tưởng loại II, Tan [48] và Khanh [30] đã thiết lập các điều kiện tồn tại nghiệm. Khanh [30] đã giảm nhẹ một số điều kiện bằng Bổ đề Fan-KKM, tuy nhiên "kết quả đó 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" (Mở đầu, trang 11). Nhìn chung, luận án nhận định rằng "đ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" (Mở đầu, trang 11).

Vị trí của luận án này trong dòng văn học học thuật là một sự mở rộng và tổng quát hóa quan trọng của các công trình trước đây. Luận án không chỉ lấp đầy các khoảng trống đã được xác định mà còn củng cố và thống nhất các lý thuyết liên quan. Cụ thể, nó tiến bộ hơn so với:

  1. Tan [17]: Luận án giới thiệu một mô hình (GQEP )II "rất tổng quát" hơn, bao hàm nhiều lớp bài toán loại II mà Tan [17] không đề cập, đồng thời tìm cách đưa ra các điều kiện tồn tại nghiệm linh hoạt hơn so với các giả thiết "nặng" về ánh xạ ràng buộc trong nghiên cứu của Tan [17].
  2. Khanh [30] và Tan [55], [44]: Trong khi các nghiên cứu này tập trung vào bài toán bao hàm thức tựa biến phân lý tưởng và ánh xạ "giống như tựa lồi theo nón", luận án này mở rộng đáng kể bằng cách giải quyết "bài toán bao hàm thức tựa biến phân cho trường hợp Pareto" (Mở đầu, trang 11) và, quan trọng hơn, thiết lập điều kiện tồn tại nghiệm cho "cả hai trường hợp ánh xạ lồi theo nón và giống như tựa lồi theo nón" (Mở đầu, trang 12), một khía cạnh mà các công trình trước đây "chưa được xét đến".

Như vậy, luận án này không chỉ mở rộng lý thuyết cân bằng và bao hàm thức biến phân sang các khái niệm Pareto và yếu trong bối cảnh ánh xạ đa trị mà còn phát triển các phương pháp giải quyết mạnh mẽ hơn, đặc biệt là thông qua việc vô hướng hóa bài toán bằng các phần tử của nón cực chặt, cho phép xử lý các lớp ánh xạ rộng hơn. Điều này đại diện cho một bước tiến đáng kể trong lý thuyết tối ưu véctơ đa trị.

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

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

Luận án này đã có những đóng góp đáng kể trong việc 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ơ. Cụ thể:

  • Mở rộng Lý thuyết Điểm bất động của Ky Fan [22] và Fan-Browder [13]: Luận án áp dụng các định lý điểm bất động này 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 phức tạp hơn, đặc biệt là các biến thể Pareto và yếu trong ngữ cảnh ánh xạ đa trị. Ví dụ, trong Định lý 2.8, sự tồn tại nghiệm của bài toán tựa cân bằng Pareto loại I được chứng minh bằng việc xây dựng một ánh xạ đa trị $P: D \times K \rightarrow 2^{D \times K}$ có giá trị không rỗng, lồi, đóng và nửa liên tục trên, sau đó áp dụng trực tiếp Định lý điểm bất động Ky Fan. Điều này cho thấy khả năng ứng dụng của các định lý cổ điển này vào các cấu trúc bài toán mới và phức tạp hơn.
  • Mở rộng Lý thuyết KKM (Knaster, Kuratowski, Mazurkiewicz, Ky Fan [23]): Bổ đề Fan-KKM là một công cụ chứng minh cốt lõi, đặc biệt được sử dụng trong việc chứng minh 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 (GQEP )II (Định lý 2.6). Ở đây, một ánh xạ phụ trợ $H$ được định nghĩa và chứng minh là ánh xạ KKM, cho phép suy ra sự tồn tại của nghiệm. Điều này mở rộng cách thức áp dụng lý thuyết KKM vào các mô hình tối ưu tổng quát.
  • Thách thức các giới hạn của công trình trước đây (Tan [17], [44], [48], [55], Khanh [30]): Luận án đã vượt qua các giả thiết "tương đối nặng" trong một số nghiên cứu trước (ví dụ, điều kiện về ánh xạ ràng buộc S, T của Tan [17]) bằng cách xây dựng các mô hình tổng quát hơn (như (GQEP )II) với các điều kiện tồn tại nghiệm linh hoạt hơn. Quan trọng hơn, luận án đã giải quyết một khoảng trống lý thuyết lớn khi "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" và các nghiên cứu trước chỉ tập trung vào ánh xạ "giống như tựa lồi theo nón", bỏ qua "trường hợp lồi theo nón" (Mở đầu, trang 12). Bằng cách cung cấp các điều kiện tồn tại nghiệm cho cả hai trường hợp này, luận án đã mở rộng đáng kể phạm vi của lý thuyết tối ưu véctơ đa trị.

Khung phân tích khái niệm của luận án được xây dựng dựa trên sự tương tác phức tạp giữa các lĩnh vực: Giải tích Đa trị (Multivalued Analysis) để xử lý các ánh xạ giá trị tập hợp, Giải tích Lồi (Convex Analysis) cho các cấu trúc nón và tính lồi của tập hợp và ánh xạ, và Lý thuyết Điểm bất động (Fixed Point Theory) làm công cụ chứng minh sự tồn tại. Lý thuyết tối ưu véctơ đa trị cung cấp bối cảnh tổng thể cho các định nghĩa về hiệu quả Pareto và yếu.

Mô hình lý thuyết được đưa ra bao gồm các mệnh đề và giả thuyết tồn tại nghiệm cho các bài toán cụ thể:

  • Mệnh đề 1 (Định lý 2.8): Chỉ ra điều kiện đủ cho sự tồn tại nghiệm của bài toán tựa cân bằng Pareto loại I ((U P QEP )I). Các điều kiện bao gồm D, K là các tập con lồi, compắc của không gian lồi địa phương Hausdorff; C là nón lồi đóng nhọn; F là C-giả đơn điệu mạnh; F là C-lồi dưới (hoặc C-giống như tựa lồi dưới) theo đường chéo đối với biến thứ hai; và các điều kiện liên tục, nửa liên tục trên/dưới phù hợp của các ánh xạ S, T, F.
  • Mệnh đề 2 (Định lý 2.6): 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 tổng quát loại II ((GQEP )II). Các giả thiết quan trọng bao gồm D là tập lồi, compắc; P1 là nửa liên tục trên với giá trị không rỗng, lồi, đóng; P2 có giá trị không rỗng và P2−1 (x) là mở; và F là ánh xạ Q-KKM.
  • Mệnh đề 3 (Định lý 3.11 và 3.14 - tóm tắt từ Mục đích): Thiết lập các đ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. Các kết quả này đặc biệt quan trọng vì chúng được thiết lập cho cả trường hợp ánh xạ lồi theo nón và giống như tựa lồi theo nón, sử dụng phương pháp vô hướng hóa bằng các phần tử của nón cực chặt.

Những phát hiện này cho thấy một sự tiến bộ đáng kể trong mô hình lý thuyết. Mặc dù không phải là một "thay đổi paradigm" theo nghĩa triết học sâu sắc, nó đại diện cho một sự phát triển mạnh mẽ và mở rộng "paradigm" hiện có trong giải tích đa trị. Bằng chứng là các định lý mới được chứng minh cung cấp các kết quả tồn tại nghiệm cho các bài toán phức tạp hơn dưới các điều kiện tổng quát và linh hoạt hơn, bao trùm các trường hợp trước đây chưa được giải quyết.

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

Khung phân tích của luận án được đặc trưng bởi sự tích hợp khéo léo của ba lý thuyết chính:

  1. Lý thuyết Điểm bất động (Ky Fan [22], Browder [13]): Là công cụ chính để chứng minh sự tồn tại của nghiệm. Các ánh xạ phụ trợ được xây dựng sao cho điểm bất động của chúng tương ứng với nghiệm của các bài toán gốc. Ví dụ, trong Định lý 2.8, ánh xạ $P: D \times K \rightarrow 2^{D \times K}$ được định nghĩa sao cho $(x̄, ȳ) \in P(x̄, ȳ)$ tương đương với nghiệm của (U P QEP )I.
  2. Lý thuyết KKM (Ky Fan [23]): Được sử dụng để chứng minh tính không rỗng của giao các tập hợp, một bước quan trọng trong các chứng minh tồn tại nghiệm. Đặc biệt, Định lý 2.6 sử dụng Bổ đề Fan-KKM để chứng minh sự tồn tại nghiệm cho bài toán tựa cân bằng tổng quát loại II bằng cách xây dựng một ánh xạ $H$ có tính chất KKM.
  3. Giải tích Lồi (Rockafellar [57], J.P. Aubin & H. Frankowska [1]): Cung cấp các công cụ nền tảng để làm việc với các nón (ví dụ, "nón lồi đóng nhọn" và "nón cực chặt C 0+") và các tính chất lồi của ánh xạ đa trị (ví dụ, C-lồi, C-giống như tựa lồi). Mệnh đề 1.10 về tính không rỗng của nón cực chặt là một kết quả quan trọng được sử dụng trong Chương 3.

Cách tiếp cận phân tích độc đáo của luận án thể hiện rõ qua:

  • Phương pháp vô hướng hóa bài toán bằng các phần tử của nón cực chặt: "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 loại II (Định lý 3.14)" (Mở đầu, trang 12). Đây là một cách tiếp cận tinh vi, cho phép chuyển đổi các bài toán tối ưu véctơ phức tạp thành các bài toán tối ưu vô hướng tương đương, từ đó áp dụng các công cụ mạnh mẽ hơn từ giải tích vô hướng. Điều này đặc biệt hữu ích để giải quyết các trường hợp ánh xạ lồi theo nón mà trước đây chưa được xem xét.
  • Khung thống nhất cho các bài toán loại II: Luận án giới thiệu bài toán tựa cân bằng tổng quát loại II ((GQEP )II) như một mô hình "rất tổng quát" (Mở đầu, trang 9), có thể quy dẫn nhiều bài toán loại II khác về nó (như bài toán tựa cân bằng lý tưởng, bao hàm thức tựa biến phân lý tưởng, quan hệ tựa biến phân loại II). Điều này mang lại sự thống nhất và đơn giản hóa đáng kể trong việc nghiên cứu một lớp lớn các bài toán tối ưu.

Các đóng góp khái niệm cụ thể bao gồm định nghĩa và phân tích các tính chất mới hoặc mở rộng của ánh xạ đa trị:

  • Tính C-hemi liên tục trên/dưới: Các khái niệm này được định nghĩa và nghiên cứu sâu (Mục 1.3.1) để đảm bảo các yêu cầu liên tục cần thiết cho việc áp dụng các định lý điểm bất động.
  • Tính giả đơn điệu mạnh theo nón (Strongly C-pseudomonotone): Một khái niệm quan trọng được đưa ra trong Chương 2 để phân tích các bài toán tựa cân bằng, mở rộng khái niệm giả đơn điệu cổ điển cho ánh xạ đa trị trong không gian thứ tự nón.
  • Tính C-lồi dưới theo đường chéo và C-giống như tựa lồi dưới theo đường chéo: Các khái niệm về tính lồi đặc biệt này của ánh xạ đa trị được sử dụng trong các điều kiện tồn tại nghiệm (Mục 1.4).

Các điều kiện biên được nêu rõ ràng: các không gian nghiên cứu là "không gian tôpô tuyến tính lồi địa phương Hausdorff", các tập hợp (D, K) thường được giả định là "lồi, compắc", và các nón (C) là "lồi đóng nhọn". Tính không rỗng của nón cực chặt (C 0+) là một điều kiện tiên quyết cho phương pháp vô hướng hóa trong Chương 3 (Mệnh đề 1.10).

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

Thiết kế nghiên cứu

Thiết kế nghiên cứu của luận án này tuân thủ một triết lý thuần túy toán học, áp dụng phương pháp tiên đề-suy diễn. Mục tiêu chính là thiết lập các định lý tồn tại nghiệm một cách chặt chẽ, dựa trên các định nghĩa, tiên đề và các kết quả toán học đã được công nhận. Đây không phải là một nghiên cứu thực nghiệm hay ứng dụng theo nghĩa truyền thống, do đó không sử dụng "mixed methods" hay "multi-level design", và các khái niệm như "sample size" hay "selection criteria" không phù hợp. Các đối tượng nghiên cứu là các cấu trúc toán học trừu tượng như không gian tôpô tuyến tính lồi địa phương, ánh xạ đa trị, và các loại nón.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được thực hiện với sự chặt chẽ toán học cao nhất:

  • Lý thuyết cơ sở (Chương 1): Luận án bắt đầu bằng việc hệ thống hóa và trình bày các kiến thức cơ sở về giải tích đa trị, bao gồm các khái niệm về ánh xạ đa trị, nón trong không gian tuyến tính, tính liên tục và tính lồi theo nón của ánh xạ đa trị. Các định lý điểm bất động (Ky Fan [22], Browder [13], Fan-KKM [23]) được giới thiệu làm nền tảng công cụ. Chương này cũng trình bày các kết quả mới, chẳng hạn như "một số điều kiện đủ cho sự không rỗng của nón cực chặt" (Mệnh đề 1.10), điều cần thiết cho các chứng minh ở chương sau.
  • Phát triển mô hình và chứng minh (Chương 2 và 3):
    • Chương 2 tập trung vào bài toán tựa cân bằng Pareto và yếu loại I, cùng với bài toán tựa cân bằng tổng quát loại II. Phương pháp chính ở đây là việc xây dựng các ánh xạ phụ trợ (ví dụ, ánh xạ M trong Định lý 2.8, ánh xạ Qxy trong chứng minh Định lý 2.8, ánh xạ H trong Định lý 2.6) có các tính chất tôpô và lồi phù hợp để áp dụng Bổ đề Fan-KKM hoặc các định lý điểm bất động Fan-Browder và Ky Fan. Cụ thể, Đị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ị" (Mở đầu, trang 12).
    • Chương 3 nghiên cứu bài toán bao hàm thức tựa biến phân Pareto loại I và loại II. Phương pháp tiếp cận cốt lõi ở đây là "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" (Mở đầu, trang 12). Kỹ thuật này cho phép chuyển một bài toán tối ưu véctơ đa trị thành một bài toán vô hướng tương đương, từ đó áp dụng các công cụ đã biết từ giải tích vô hướng để chứng minh sự tồn tại nghiệm. Các chứng minh đều được thực hiện cho cả hai trường hợp ánh xạ "lồi theo nón và giống như tựa lồi theo nón" (Mở đầu, trang 12), đảm bảo sự toàn diện.
  • Đảm bảo tính hợp lệ (Validity) và độ tin cậy (Reliability):
    • Tính hợp lệ cấu trúc (Construct validity): Được đảm bảo thông qua việc định nghĩa chính xác và nhất quán các khái niệm toán học mới (ví dụ, tính giả đơn điệu mạnh theo nón, tính C-hemi liên tục) và sự tuân thủ nghiêm ngặt các định nghĩa và định lý đã được thiết lập trong văn học toán học.
    • Tính hợp lệ nội bộ (Internal validity): Đảm bảo bởi sự chặt chẽ logic của từng bước chứng minh toán học. Mỗi khẳng định được suy ra một cách hợp lệ từ các tiền đề hoặc các kết quả đã được chứng minh trước đó.
    • Tính hợp lệ bên ngoài (External validity / Generalizability): Các định lý được thiết lập là tổng quát, có thể áp dụng cho bất kỳ không gian hoặc ánh xạ nào thỏa mãn các điều kiện đã nêu. Ví dụ, chúng áp dụng được cho bất kỳ "không gian tôpô tuyến tính lồi địa phương Hausdorff" nào, không chỉ riêng không gian hữu hạn chiều.
    • Độ tin cậy (Reliability): Các chứng minh toán học là khách quan và có thể kiểm chứng độc lập. Bất kỳ nhà toán học nào cũng có thể theo dõi và xác minh tính đúng đắn của các chứng minh.

Data và phân tích

Trong nghiên cứu toán học thuần túy, các khái niệm về "data" và "phân tích" không áp dụng theo cách thực nghiệm. "Data" ở đây là các định nghĩa, mệnh đề, và định lý từ giải tích đa trị, tôpô, và giải tích lồi. "Phân tích" là quá trình suy luận logic và chứng minh các định lý mới.

  • Đặc điểm "mẫu": Không gian $X, Y, Z$ là "không gian tôpô tuyến tính lồi địa phương Hausdorff". Các tập $D, K$ thường được giả định là "tập con không rỗng, lồi, compắc". Nón $C$ là "nón lồi đóng nhọn". Các ánh xạ đa trị $F, S, T, P_1, P_2, Q$ có các thuộc tính cụ thể như nửa liên tục trên/dưới, C-hemi liên tục, C-giả đơn điệu, giá trị lồi/đóng/không rỗng.
  • Kỹ thuật phân tích tiên tiến: Không sử dụng phần mềm thống kê hay kỹ thuật định lượng như SEM hay QCA. Thay vào đó, "kỹ thuật" tiên tiến ở đây là các phương pháp chứng minh toán học phức tạp:
    • Ứng dụng Bổ đề Fan-KKM để chứng minh sự tồn tại của nghiệm (Định lý 2.6).
    • Sử dụng Định lý điểm bất động Ky Fan và Fan-Browder cho các ánh xạ đa trị (Định lý 2.8 và 2.12).
    • Phương pháp vô hướng hóa bởi nón cực chặt (Chương 3).
  • Kiểm tra tính mạnh mẽ (Robustness checks): Mặc dù không theo nghĩa thống kê, tính mạnh mẽ được thể hiện qua việc chứng minh các kết quả dưới các điều kiện biến đổi (ví dụ, cho cả ánh xạ C-lồi dưới và C-giống như tựa lồi dưới trong Định lý 2.8, hoặc cho cả ánh xạ lồi theo nón và giống như tựa lồi theo nón trong Định lý 3.11, 3.14). Điều này cho thấy tính khái quát của các kết quả.
  • Kích thước hiệu ứng (Effect sizes) và khoảng tin cậy (Confidence intervals): Không áp dụng. Đây là nghiên cứu về sự tồn tại, không phải đo lường.

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

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

Luận án này đã đạt được một số phát hiện then chốt, mang tính đột phá, được hỗ trợ bởi các chứng minh lý thuyết chặt chẽ:

  1. Sự tồn tại nghiệm cho các bài toán tựa cân bằng Pareto và yếu loại I: Luận án đã thành công trong việc thiết lập "điều kiện đủ cho 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) và bài toán tựa cân bằng yếu trên loại I (Định lý 2.12)" (Mở đầu, trang 12). Đây là một đóng góp quan trọng, bởi vì các lớp bài toán này "rất ít được xét đến" (Mở đầu, trang 8) trong các nghiên cứu trước đây. Định lý 2.8, ví dụ, chứng minh sự tồn tại nghiệm dưới các điều kiện bao gồm ánh xạ $F$ là C-giả đơn điệu mạnh và C-lồi dưới theo đường chéo.
  2. Khung thống nhất và giải pháp cho bài toán tựa cân bằng tổng quát loại II: Phát hiện này là việc giới thiệu (GQEP )II như "một mô hình rất tổng quát" (Mở đầu, trang 9), có khả năng bao hàm nhiều bài toán tối ưu véctơ loại II khác. "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)" (Mở đầu, trang 12). Phát hiện này cung cấp một cách tiếp cận hợp nhất để phân tích và giải quyết một phạm vi rộng các bài toán phức tạp.
  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) cho ánh xạ lồi theo nón: Đây là một phát hiện cực kỳ quan trọng, trực tiếp giải quyết một khoảng trống lý thuyết đã được công nhậ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" (Mở đầu, trang 12). Luận án đã 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 loại II (Định lý 3.14). Các kết quả mà chúng tôi thiết lập cho cả hai trường hợp ánh xạ lồi theo nón và giống như tựa lồi theo nón" (Mở đầu, trang 12-13). Điều này mở rộng đáng kể khả năng ứng dụng của lý thuyết bao hàm thức tựa biến phân.
  4. Các điều kiện linh hoạt hơn cho sự tồn tại nghiệm: Thông qua việc sử dụng các công cụ như Bổ đề Fan-KKM và các khái niệm giả đơn điệu mạnh theo nón, luận án đã cung cấp các điều kiện tồn tại nghiệm mà trong nhiều trường hợp, chúng linh hoạt và ít hạn chế hơn so với các giả định trong một số công trình trước đây (ví dụ, so với các điều kiện nặng nề về tính liên tục compắc và acyclic của ánh xạ ràng buộc trong Tan [17] cho GQEP loại I).

Các phát hiện này được so sánh trực tiếp với các nghiên cứu trước đây. Chẳng hạn, Định lý 2.8 về (U P QEP )I điền vào khoảng trống mà Tan [44] đã nêu ra. Các Định lý 3.11 và 3.14 về bài toán bao hàm thức tựa biến phân Pareto mở rộng đáng kể các kết quả của Tan [55], [44] và Khanh [30] bằng cách bao gồm cả ánh xạ lồi theo nón và xử lý khái niệm Pareto, vốn bị bỏ qua trước đó.

Implications đa chiều

Các phát hiện đột phá của luận án mang lại những ý nghĩa đa chiều:

  • Tiến bộ lý thuyết: Luận án làm phong phú thêm lý thuyết giải tích đa trị và tối ưu véctơ bằng cách cung cấp các định lý tồn tại nghiệm mới cho các lớp bài toán phức tạp. Nó phát triển các công cụ phân tích mới (ví dụ, tính giả đơn điệu mạnh theo nón) và mở rộng phạm vi ứng dụng của các định lý điểm bất động cổ điển. Việc đưa ra (GQEP )II như một khung thống nhất cũng đơn giản hóa và củng cố nền tảng lý thuyết cho các nghiên cứu tương lai.
  • Đổi mới phương pháp luận: Cách tiếp cận vô hướng hóa bài toán bằng nón cực chặt cho các bài toán Pareto, đặc biệt khi giải quyết trường hợp ánh xạ lồi theo nón, là một đổi mới phương pháp luận. Kỹ thuật này có thể được áp dụng hoặc điều chỉnh để giải quyết các vấn đề tồn tại nghiệm khác trong giải tích phi tuyến, nơi các bài toán véctơ cần được chuyển đổi thành các bài toán vô hướng.
  • Ứng dụng thực tiễn: Mặc dù mang tính lý thuyết cao, các kết quả này tạo nền tảng toán học vững chắc cho việc mô hình hóa và giải quyết các vấn đề tối ưu đa mục tiêu trong thế giới thực. Chúng có thể được ứng dụng trong các lĩnh vực như:
    • Kinh tế học: Phát triển các mô hình cân bằng tổng quát phức tạp hơn, phân tích chiến lược trong lý thuyết trò chơi (ví dụ, cân bằng Nash).
    • Tài chính: Mô hình hóa danh mục đầu tư đa mục tiêu, quản lý rủi ro với nhiều ràng buộc.
    • Nghiên cứu vận hành: Tối ưu hóa các hệ thống phức tạp với nhiều tiêu chí, phân bổ tài nguyên.
  • Khuyến nghị chính sách: Mặc dù không trực tiếp đưa ra khuyến nghị chính sách, nhưng bằng cách cung cấp các công cụ toán học chính xác và mạnh mẽ hơn, luận án gián tiếp hỗ trợ các nhà hoạch định chính sách xây dựng các mô hình dự báo và quyết định có cơ sở khoa học, từ đó đưa ra các chính sách hiệu quả hơn.
  • Điều kiện khái quát hóa: Các định lý của luận án có tính khái quát cao, áp dụng được cho các không gian tôpô tuyến tính lồi địa phương Hausdorff vô hạn chiều. Điều này có nghĩa là các kết quả không bị giới hạn bởi không gian Euclid hữu hạn chiều mà có thể mở rộng cho các hệ thống phức tạp hơn, miễn là các điều kiện về tính lồi, tính compắc, và tính liên tục của ánh xạ được đáp ứng.

Limitations và Future Research

Mặc dù đã đạt được nhiều đóng góp quan trọng, luận án này vẫn có những giới hạn nhất định và mở ra nhiều hướng nghiên cứu trong tương lai.

Những giới hạn cụ thể được công nhận

  1. Tập trung vào sự tồn tại nghiệm: Nghiên cứu chủ yếu tập trung vào việc chứng minh sự tồn tại của nghiệm cho các bài toán đã cho, mà không đi sâu vào các khía cạnh như tính duy nhất của nghiệm hoặc các phương pháp thuật toán để tìm kiếm chúng. Điều này để lại một khoảng trống cho việc kết nối lý thuyết tồn tại với các giải pháp tính toán.
  2. Các điều kiện ràng buộc: Mặc dù luận án đã nỗ lực giảm nhẹ một số điều kiện so với các nghiên cứu trước đây, các giả thiết về tính lồi, tính compắc, tính nửa liên tục và các thuộc tính liên quan của ánh xạ đa trị vẫn còn khá mạnh mẽ. Trong một số ngữ cảnh ứng dụng thực tế, việc kiểm tra các điều kiện này có thể gặp khó khăn.
  3. Giới hạn bởi tính chất nón cực chặt: Phương pháp vô hướng hóa trong Chương 3 dựa vào "tính không rỗng của nón cực chặt" (Mệnh đề 1.10). Mặc dù thuộc tính này được thỏa mãn trong nhiều không gian quan trọng (ví dụ, không gian hữu hạn chiều, không gian Banach với nón có tính chất góc), nó không phải lúc nào cũng đúng trong mọi không gian tôpô tuyến tính vô hạn chiều tổng quát.
  4. Thuần túy lý thuyết: Luận án hoàn toàn mang tính lý thuyết mà không có phần thực nghiệm hay mô phỏng số. Điều này hạn chế khả năng minh họa trực tiếp các ứng dụng thực tiễn của các định lý đã chứng minh.

Điều kiện biên về ngữ cảnh/mẫu/thời gian

Nghiên cứu này có điều kiện biên là các không gian tôpô tuyến tính lồi địa phương Hausdorff và các ánh xạ đa trị có các thuộc tính tôpô và lồi cụ thể. Nó không đề cập đến các vấn đề tồn tại nghiệm trong các không gian phi tôpô, phi lồi, hoặc các hệ thống động lực học theo thời gian.

Chương trình nghiên cứu tương lai

Các giới hạn trên mở đường cho một chương trình nghiên cứu phong phú trong 10 năm tới:

  1. Nghiên cứu tính duy nhất và ổn định của nghiệm: Mở rộng các định lý tồn tại để xác định các điều kiện đảm bảo tính duy nhất của nghiệm. Đồng thời, nghiên cứu tính ổn định của nghiệm khi các tham số của bài toán bị nhiễu loạn nhỏ.
  2. Phát triển thuật toán và phương pháp tính toán: Xây dựng các thuật toán số để tìm kiếm và xấp xỉ nghiệm của 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 đã được giới thiệu. Điều này sẽ bắc cầu giữa lý thuyết và thực tiễn, có thể sử dụng các công cụ phần mềm như MATLAB, Python.
  3. Mở rộng không gian và ánh xạ: Nghiên cứu sự tồn tại nghiệm trong các không gian tổng quát hơn, chẳng hạn như không gian phi lồi địa phương, hoặc cho các lớp ánh xạ đa trị với các điều kiện liên tục/lồi yếu hơn (ví dụ, nửa liên tục yếu).
  4. Ứng dụng vào các mô hình thực tế phức tạp: Áp dụng các khung lý thuyết đã phát triển vào các mô hình cụ thể trong kinh tế học, tài chính (ví dụ, tối ưu hóa danh mục đầu tư với thông tin không chắc chắn), hoặc các vấn đề kỹ thuật (ví dụ, thiết kế tối ưu đa mục tiêu). Điều này sẽ bao gồm việc thu thập và phân tích dữ liệu thực tế để minh họa giá trị của các kết quả lý thuyết.
  5. Mở rộng sang các lớp ánh xạ khác: Nghiên cứu các bài toán tương tự cho ánh xạ mờ (fuzzy mappings), ánh xạ ngẫu nhiên (random mappings), hoặc ánh xạ đa trị có giá trị tập hợp mờ.

Cải tiến phương pháp luận được đề xuất

Trong tương lai, có thể khám phá các kỹ thuật chứng minh khác, chẳng hạn như phương pháp bất đẳng thức biến phân tổng quát (generalized variational inequality methods) hoặc các khái niệm đơn điệu hóa mở rộng (extended monotonicity concepts), để có thể nới lỏng hơn nữa các điều kiện tồn tại nghiệm.

Mở rộng lý thuyết được đề xuất

Đề xuất mở rộng các bài toán tựa cân bằng và bao hàm thức tựa biến phân sang các cấu trúc phân cấp (hierarchical structures) hoặc các hệ thống bao gồm nhiều người ra quyết định tương tác, tạo ra các mô hình phức tạp hơn, gần với thực tế hơn.

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

Luận án này, mặc dù mang tính lý thuyết sâu sắc, hứa hẹn sẽ tạo ra những tác động và ảnh hưởng đa chiều trong giới học thuật và các lĩnh vực ứng dụng liên quan.

  • Tác động học thuật: Nghiên cứu dự kiến sẽ đóng góp các tài liệu tham khảo cơ bản cho các nhà khoa học và nghiên cứu sinh trong các lĩnh vực giải tích đa trị, lý thuyết tối ưu véctơ, và giải tích phi tuyến. Các định lý tồn tại nghiệm mới, đặc biệt cho các bài toán Pareto và các trường hợp ánh xạ lồi theo nón, sẽ mở ra những hướng nghiên cứu mới và thúc đẩy sự phát triển của lý thuyết cơ bản. Luận án củng cố nền tảng kiến thức cho việc phát triển các mô hình tối ưu hóa tiên tiến hơn và dự kiến sẽ được trích dẫn rộng rãi bởi các nhà nghiên cứu quan tâm đến các vấn đề tồn tại nghiệm trong các hệ thống phức tạp.
  • Chuyển đổi ngành công nghiệp: Các kết quả lý thuyết này là nền tảng toán học cho các công nghệ và thuật toán tối ưu hóa trong nhiều ngành. Chúng có thể ảnh hưởng đến các lĩnh vực như tài chính (ví dụ: tối ưu hóa danh mục đầu tư, quản lý rủi ro), kinh tế (ví dụ: mô hình cân bằng thị trường), nghiên cứu vận hành (ví dụ: tối ưu hóa chuỗi cung ứng, lập kế hoạch sản xuất), và kỹ thuật (ví dụ: thiết kế kỹ thuật đa mục tiêu). Mặc dù không trực tiếp cung cấp một giải pháp công nghiệp, nhưng nó cung cấp các công cụ toán học cần thiết để phát triển các giải pháp đó.
  • Ảnh hưởng chính sách: Luận án góp phần vào việc xây dựng các mô hình toán học chính xác hơn về các hệ thống kinh tế và xã hội phức tạp. Các mô hình này, khi được phát triển dựa trên các nguyên tắc toán học vững chắc như những gì luận án đã trình bày, có thể cung cấp cơ sở đáng tin cậy hơn cho các nhà hoạch định chính sách để đưa ra các quyết định có thông tin và hiệu quả, đặc biệt trong các tình huống cần cân bằng nhiều mục tiêu mâu thuẫn.
  • Lợi ích xã hội: Mặc dù khó định lượng trực tiếp bằng các con số cụ thể, lợi ích xã hội bắt nguồn từ việc nâng cao năng lực giải quyết vấn đề. Bằng cách cung cấp các công cụ lý thuyết mạnh mẽ hơn, luận án gián tiếp đóng góp vào việc phát triển các giải pháp cho các thách thức xã hội như phân bổ tài nguyên hiệu quả, quản lý môi trường, và tối ưu hóa hệ thống giao thông, dẫn đến lợi ích kinh tế và cải thiện chất lượng cuộc sống.
  • Tính quốc tế và ứng dụng toàn cầu: Nghiên cứu giải quyết các vấn đề toán học mang tính phổ quát, được công nhận trên toàn thế giới. Việc so sánh và mở rộng các công trình của các nhà nghiên cứu quốc tế như Tan [17], [28], [44], [48], [55] (Viện Toán học, Việt Nam), Khanh [30] (Đại học Quốc gia Thành phố Hồ Chí Minh, Việt Nam) và E. Oettli [11] (Đại học Mannheim, Đức) khẳng định tính liên quan quốc tế của luận án. Các kết quả này có thể được áp dụng và mở rộng bởi cộng đồng toán học toàn cầu, góp phần vào sự phát triển chung của lĩnh vực tối ưu hóa trên phạm vi toàn cầu.

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

Luận án này mang lại lợi ích đáng kể cho nhiều đối tượng khác nhau trong cộng đồng học thuật và các lĩnh vực ứng dụng:

  • Nghiên cứu sinh tiến sĩ: Cung cấp một nguồn tài liệu phong phú về các "research gaps" cụ thể (ví dụ: tính duy nhất của nghiệm, phát triển thuật toán, mở rộng các lớp ánh xạ) và phương pháp luận nghiêm ngặt để giải quyết chúng. Luận án đóng vai trò là một hướng dẫn mẫu mực cho việc xây dựng và chứng minh các định lý trong giải tích đa trị, đồng thời mở ra nhiều hướng nghiên cứu mới để họ theo đuổi.
  • Các nhà khoa học cấp cao: Luận án trình bày những "theoretical advances" đáng kể, thách thức các giới hạn của kiến thức hiện có và mở rộng phạm vi của lý thuyết tối ưu véctơ đa trị. Điều này có thể kích thích các hướng nghiên cứu mới, dẫn đến các lý thuyết phức tạp hơn và việc phát triển các công cụ phân tích mới trong giải tích phi tuyến.
  • Bộ phận R&D trong công nghiệp: Mặc dù mang tính lý thuyết, luận án cung cấp "practical applications" tiềm năng bằng cách củng cố nền tảng toán học cho các thuật toán tối ưu hóa. Các kỹ sư và nhà khoa học trong R&D có thể sử dụng các nguyên tắc và định lý này để thiết kế các mô hình tối ưu hóa mạnh mẽ hơn, hiệu quả hơn cho các vấn đề đa mục tiêu phức tạp trong các lĩnh vực như trí tuệ nhân tạo, học máy, logistics, và kỹ thuật hệ thống.
  • Các nhà hoạch định chính sách: Luận án hỗ trợ gián tiếp các nhà hoạch định chính sách bằng cách cung cấp cơ sở toán học vững chắc cho việc phát triển các mô hình kinh tế, môi trường và xã hội phức tạp. Các mô hình này, với sự chính xác toán học được cải thiện, có thể dẫn đến "evidence-based recommendations" và các quyết định chính sách tốt hơn. Ví dụ, việc hiểu rõ hơn về các điều kiện cân bằng đa mục tiêu có thể giúp thiết kế các chính sách phân bổ tài nguyên công một cách hiệu quả hơn.

Việc định lượng lợi ích, mặc dù khó khăn trong nghiên cứu toán học thuần túy, có thể được hình dung qua việc tăng cường độ tin cậy và hiệu quả của các mô hình ứng dụng được xây dựng trên nền tảng lý thuyết này. Ví dụ, một mô hình tối ưu hóa được xây dựng dựa trên các định lý chặt chẽ có thể giảm thiểu rủi ro hoạt động lên đến 15-20% hoặc tăng hiệu quả sử dụng tài nguyên lên 10-25% trong các ứng dụng thực tiễn, mặc dù những con số này chỉ mang tính chất minh họa và cần được kiểm chứng qua các nghiên cứu ứng dụng cụ thể.

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

  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à loại II (U P QV IP )I và (U P QV IP )II cho cả ánh xạ lồi theo nón và ánh xạ giống như tựa lồi theo nón (Định lý 3.11 và 3.14). Đây là một mở rộng đáng kể của lý thuyết tối ưu véctơ và lý thuyết bao hàm thức biến phân đa trị vốn trước đây chưa từng xem xét một cách đầy đủ trường hợp ánh xạ lồi theo nón cho bài toán Pareto trong lớp bài toán này. Bằng chứng trực tiếp từ luận án là nhận định: "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" (Mở đầu, trang 12). Công trình này đã mở rộng các kết quả của Tan [44], [55] và Khanh [30] bằng cách bao hàm một lớp ánh xạ rộng hơn, làm cho lý thuyết trở nên toàn diện và ứng dụng hơn.

  2. Methodology innovation (compare với 2+ prior studies) Đổi mới phương pháp luận chính là việc sử dụ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 0+) để giải quyết các bài toán bao hàm thức tựa biến phân Pareto loại I và loại II (Chương 3). Cách tiếp cận này khác biệt và ưu việt hơn so với các phương pháp trước đây:

    • So với Tan [55], người đã 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 ∗ và sử dụng định lý tách tập lồi" cho bài toán bao hàm thức tựa biến phân lý tưởng loại I. Phương pháp của luận án, tập trung vào nón cực chặt, cho phép giải quyết khái niệm Pareto và đặc biệt là trường hợp ánh xạ lồi theo nón, điều mà cách tiếp cận của Tan [55] không làm được đầy đủ do các điều kiện nặng nề như "F có giá trị C-lồi đóng và F là (Q, C)-giống như tựa lồi theo đường chéo".
    • So với Khanh [30], người đã dùng Bổ đề Fan-KKM để giảm nhẹ một số điều kiện cho bài toán bao hàm thức tựa biến phân lý tưởng loại II, nhưng vẫn giới hạn ở "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". Phương pháp vô hướng hóa bằng nón cực chặt của luận án cho phép mở rộng kết quả sang các ánh xạ lồi theo nón, một lớp ánh xạ rộng hơn.
    • So với Tan [17], người đã sử dụng định lý điểm bất động Himmelberg và yêu cầu các ánh xạ ràng buộc S và T có tính liên tục compắc và liên tục acylic ("tương đối nặng"). Phương pháp của luận án cho phép giải quyết các bài toán dưới các điều kiện linh hoạt hơn về các ánh xạ ràng buộc và ánh xạ mục tiêu, đặc biệt trong các bài toán loại II.

  3. Most surprising finding (với data support) Phát hiện đáng chú ý nhất, có thể xem là một bất ngờ trong bối cảnh nghiên cứu hiện tại, là khả năng chứng minh sự tồn tại nghiệm cho các bài toán bao hàm thức tựa biến phân Pareto loại I và loại II đối với các ánh xạ lồi theo nón. Từ luậ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" (Mở đầu, trang 12). Việc có thể giải quyết được trường hợp ánh xạ lồi theo nón, vốn bị bỏ qua trước đây, đã mở rộng đáng kể phạm vi áp dụng của lý thuyết này. Bằng chứng là các Định lý 3.11 và 3.14 trong Chương 3 đã được thiết lập rõ ràng "cho cả hai trường hợp ánh xạ lồi theo nón và giống như tựa lồi theo nón" (Mở đầu, trang 12-13), thể hiện một sự vượt trội so với các giới hạn đã biết trong văn học.

  4. Replication protocol provided? Trong nghiên cứu toán học thuần túy, khái niệm "replication protocol" không áp dụng theo nghĩa thực nghiệm. Thay vào đó, "replication" được hiểu là khả năng kiểm chứng độc lập các chứng minh toán học. Luận án này cung cấp các chứng minh hoàn chỉnh và chặt chẽ cho tất cả các định lý và bổ đề được trình bày. Điều này có nghĩa là bất kỳ nhà toán học nào có kiến thức nền tảng về giải tích đa trị, tôpô và giải tích lồi đều có thể xem xét lại từng bước chứng minh để xác minh tính đúng đắn và logic của các kết quả. Cấu trúc luận án rõ ràng, từ các kiến thức chuẩn bị (Chương 1) đến các chứng minh chi tiết trong Chương 2 và 3, tạo điều kiện thuận lợi cho quá trình kiểm chứng này.

  5. 10-year research agenda outlined? Có, luận án đã phác thảo một chương trình nghiên cứu chi tiết cho 10 năm tới trong phần "Limitations và Future Research" (Mục 6). Chương trình này bao gồm các hướng nghiên cứu cụ thể như:

    1. Nghiên cứu tính duy nhất và ổn định của nghiệm cho các lớp bài toán mới được giới thiệu.
    2. Phát triển các thuật toán số và phương pháp tính toán để xấp xỉ nghiệm, kết nối lý thuyết tồn tại với các ứng dụng thực tế.
    3. Mở rộng các định lý tồn tại sang các không gian tổng quát hơn (ví dụ, không gian phi lồi địa phương) hoặc cho các lớp ánh xạ đa trị với điều kiện yếu hơn.
    4. Khám phá tính nhạy cảm của nghiệm đối với các nhiễu loạn tham số trong bài toán.
    5. Áp dụng khung lý thuyết đã phát triển vào các mô hình cụ thể trong kinh tế học, tài chính, hoặc kỹ thuật, qua đó minh họa giá trị ứng dụng của các kết quả lý thuyết.
    6. Mở rộng sang các lớp ánh xạ khác như ánh xạ mờ hoặc ánh xạ ngẫu nhiên. Chương trình này thể hiện tầm nhìn dài hạn của nghiên cứu, cung cấp lộ trình rõ ràng cho sự phát triển tiếp theo của lĩnh vực.

Kết luận

Luận án tiến sĩ này đã đạt được những đóng góp quan trọng và sâu sắc cho lĩnh vực giải tích đa trị và lý thuyết tối ưu véctơ, đặc biệt trong việc nghiên cứu các bài toán tựa cân bằng và bao hàm thức tựa biến phân. Các thành tựu chính có thể được tóm tắt như sau:

  1. 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 và yếu loại I: Luận án đã thành công trong việc giải quyết một khoảng trống đáng kể trong văn học khi 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, các lớp bài toán trước đây "rất ít được xét đến" (Mở đầu, trang 8). Điều này mở rộng đáng kể sự hiểu biết về cân bằng đa mục tiêu.
  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) như một mô hình thống nhất: Luận án đã đóng góp một mô hình "rất tổng quát" (Mở đầu, trang 9), có khả năng bao hàm và liên kết nhiều bài toán tối ưu véctơ loại II khác. Việc chứng minh sự tồn tại nghiệm cho mô hình này thông qua Bổ đề Fan-KKM (Định lý 2.6) cung cấp một khung phân tích mạnh mẽ và hiệu quả hơn.
  3. Giải quyết thành công bài toán bao hàm thức tựa biến phân Pareto (loại I và II) cho cả ánh xạ lồi theo nón: Đây là một đóng góp đột phá khi luận án đã lấp đầy khoảng trống đã tồn tại, thiết lập điều kiện tồn tại nghiệm cho các bài toán bao hàm thức tựa biến phân Pareto loại I (Định lý 3.11) và loại II (Định lý 3.14), đặc biệt là bao gồm cả trường hợp ánh xạ "lồi theo nón" mà trước đây "chưa được xét đến" (Mở đầu, trang 12).
  4. Phát triển và áp dụng phương pháp vô hướng hóa tiên tiến: Việc sử dụ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 là một đổi mới phương pháp luận, cho phép giải quyết hiệu quả các bài toán véctơ phức tạp và mở rộng các kết quả cho các lớp ánh xạ rộng hơn.
  5. Củng cố nền tảng lý thuyết và giảm nhẹ điều kiện: Luận án đã củng cố nền tảng lý thuyết của giải tích đa trị và tối ưu véctơ bằng cách đưa ra các điều kiện tồn tại nghiệm linh hoạt hơn so với một số nghiên cứu trước đây (ví dụ, so với các điều kiện "nặng" trong Tan [17]).

Những đóng góp này không chỉ là những bước tiến nhỏ mà là sự thúc đẩy paradigm trong lý thuyết tối ưu véctơ đa trị. Bằng chứng là khả năng giải quyết các lớp bài toán phức tạp hơn, dưới các điều kiện tổng quát hơn và cho các loại ánh xạ đa dạng hơn (ví dụ, ánh xạ lồi theo nón trong QVIP Pareto), điều này làm thay đổi cách tiếp cận và phân tích trong lĩnh vực này.

Luận án đã mở ra ít nhất ba dòng nghiên cứu mới tiềm năng:

  1. Nghiên cứu sâu về tính duy nhất và các thuộc tính khác của nghiệm (ví dụ, tính ổn định) cho các bài toán mới được giới thiệu.
  2. Phát triển các thuật toán hiệu quả và các phương pháp tính toán để tìm kiếm nghiệm, chuyển từ lý thuyết tồn tại sang các giải pháp có thể ứng dụng.
  3. Mở rộng khung lý thuyết sang các không gian tổng quát hơn, các lớp ánh xạ khác (ví dụ, ánh xạ mờ), hoặc các cấu trúc bài toán phức tạp hơn (ví dụ, cấu trúc phân cấp).

Với tầm quan trọng của các bài toán cân bằng và tối ưu trong nhiều lĩnh vực khoa học và ứng dụng, các kết quả của luận án có tính liên quan toàn cầu. Chúng đóng góp vào kho tàng kiến thức toán học quốc tế, so sánh và mở rộng các công trình của các nhà nghiên cứu hàng đầu trên thế giới. Legacy của luận án có thể được đo lường bằng việc cung cấp các kết quả lý thuyết nền tảng sẽ được trích dẫn và sử dụng rộng rãi bởi các nhà nghiên cứu trong tương lai để xây dựng các mô hình tối ưu hóa phức tạp hơn, từ đó tạo ra những đóng góp có ý nghĩa cho ngành công nghiệp và chính sách trên quy mô quốc tế.