Tổng quan về luận án

Luận án nghiên cứu về tính chất ổn định nghiệm cho một lớp rộng các bài toán liên quan đến tối ưu, đặc biệt là các bài toán tựa cân bằng (quasi-equilibrium problems) và bài toán cân bằng hai mức (two-level equilibrium problems). Bối cảnh khoa học của nghiên cứu được đặt trong lĩnh vực giải tích ổn định (stability analysis) và lý thuyết tối ưu hiện đại, nơi mà việc khảo sát sự phụ thuộc của tập nghiệm vào các tham số dữ liệu là vô cùng quan trọng cho cả lý thuyết và ứng dụng. Tính tiên phong của nghiên cứu thể hiện ở việc thiết lập các điều kiện cần và đủ cho tính liên tục của ánh xạ nghiệm, khảo sát tính hội tụ Painlevé-Kuratowski cho tập nghiệm, và nghiên cứu tính đặt chỉnh Levitin-Polyak cho các bài toán cân bằng hai mức mạnh, đặc biệt là với cấu trúc nón di động, vốn là các chủ đề còn bỏ ngỏ trong các công trình trước đây.

Research gap cụ thể được luận án xác định rõ ràng: "Tuy nhiên, tính đặt chỉnh và đặt chỉnh tổng quát theo nghĩa Levitin-Polyak cho bài toán cân bằng mạnh hai mức véctơ và bài toán mạng giao thông với ràng buộc cân bằng vẫn là chủ đề mở và đang được nhiều người quan tâm nghiên cứu." (tr. 6). Tương tự, "chủ đề về tính hội tụ Painlevé-Kuratowski cho tập nghiệm của bài toán cân bằng véctơ bằng phương pháp hàm đánh giá đang rất được quan tâm nghiên cứu" (tr. 10) và "tính chất ổn định nghiệm và tính đặt chỉnh cho bài toán cân bằng hai mức mạnh, bài toán mạng giao thông với ràng buộc cân bằng, bất đẳng thức biến phân với ràng buộc cân bằng và bài toán tối ưu với ràng buộc cân bằng đang là vấn đề mở và đang thu hút nhiều người quan tâm nghiên cứu" (tr. 11). Luận án này lấp đầy khoảng trống đó bằng cách mở rộng các kết quả hiện có, ví dụ như từ Anh, Khanh và Van ([12]) chỉ xét điều kiện đủ cho bài toán cân bằng hai mức với giả thiết giả đơn điệu, trong khi luận án này đi sâu vào điều kiện cần và đủ cũng như các khái niệm đặt chỉnh mở rộng.

Các câu hỏi nghiên cứu chính và giả thuyết được trình bày cụ thể như sau:

  1. RQ1: Làm thế nào để thiết lập các hàm đánh giá phụ thuộc tham số cho các bài toán tựa cân bằng mạnh (QEP1, QEP2) và nghiên cứu tính liên tục của chúng?
    • H1: Có thể xây dựng các hàm đánh giá cho (QEP1) và (QEP2) mà chúng là liên tục dưới các điều kiện thích hợp.
  2. RQ2: Những điều kiện nào là cần và đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm cho các bài toán tựa cân bằng mạnh (QEP1, QEP2) khi sử dụng phương pháp hàm đánh giá và các giả thiết căn bản (Hp, Hh)?
    • H2: Các giả thiết căn bản (Hp) và (Hh) là điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm.
  3. RQ3: Làm thế nào để nghiên cứu tính hội tụ Painlevé-Kuratowski của tập nghiệm cho dãy các bài toán tựa cân bằng tổng quát yếu (WQEP)n bằng cách sử dụng dãy hàm đánh giá?
    • H3: Phương pháp dãy hàm đánh giá có thể được áp dụng để xác định các điều kiện cho tính hội tụ trên, hội tụ dưới và hội tụ Painlevé-Kuratowski của tập nghiệm.
  4. RQ4: Tính ổn định nghiệm (nửa liên tục, liên tục Hausdorff) và tính đặt chỉnh Levitin-Polyak (bao gồm đặt chỉnh tổng quát) cho bài toán cân bằng hai mức véctơ mạnh (MBEP) với nón di động có thể được đặc trưng như thế nào?
    • H4: Có thể thiết lập các điều kiện đủ cho tính ổn định nghiệm và mô tả đặc trưng mêtric cho tính đặt chỉnh Levitin-Polyak của (MBEP) với nón di động.

Khung lý thuyết của luận án được xây dựng dựa trên các nền tảng vững chắc của giải tích hàm, giải tích biến phân và lý thuyết tối ưu. Các lý thuyết cốt lõi bao gồm Lý thuyết ánh xạ đa trị (Multivalued mapping theory) của Berge ([15]) và Mordukhovich ([59]), khái niệm hàm đánh giá (Gap functions) được giới thiệu bởi Auslender ([13]) và phát triển bởi Fukushima ([35]), Mastroeni ([58]), Yamashita và Fukushima ([72]), cùng với các giả thiết căn bản về ổn định nghiệm của Zhao ([74]) và Kien ([47]). Đối với tính đặt chỉnh, luận án dựa trên khái niệm đặt chỉnh Tikhonov ([69]) và mở rộng Levitin-Polyak ([51]). Lý thuyết về hội tụ của dãy tập và dãy hàm của Painlevé-Kuratowski ([30], [65], [71]) cũng là trọng tâm cho Chương 2.

Đóng góp đột phá của luận án có thể được định lượng và mô tả:

  1. Điều kiện Cần và Đủ cho Tính Liên tục (Chương 1): Luận án đã thiết lập "hai giả thiết căn bản liên quan đến hàm đánh giá và chứng tỏ rằng các giả thiết này không chỉ là điều kiện cần mà còn là điều kiện đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm cho các bài toán này (Định lý 1.6 và Định lý 1.7)" (tr. 9). Đây là một tiến bộ đáng kể so với các công trình trước đây, như [49], chỉ cung cấp điều kiện đủ.
  2. Khung phân tích Hội tụ Painlevé-Kuratowski (Chương 2): Xây dựng một phương pháp sử dụng dãy hàm đánh giá để khảo sát tính hội tụ Painlevé-Kuratowski của tập nghiệm cho bài toán tựa cân bằng véctơ, cung cấp một công cụ mạnh mẽ cho phân tích ổn định khi bài toán bị nhiễu bởi dữ liệu (Định lý 2.1).
  3. Đặc trưng Mêtric của Đặt chỉnh Levitin-Polyak (Chương 3): Luận án đã "nghiên cứu mối quan hệ của tính đặt chỉnh với tính nửa liên tục trên của nghiệm xấp xỉ và sự tồn tại nghiệm (Định lý 3.10) và mô tả đặc trưng mêtric các đặt chỉnh Levitin-Polyak và đặt chỉnh Levitin-Polyak tổng quát cho bài toán này (Định lý 3.11)" (tr. 12), giải quyết một vấn đề mở trong lĩnh vực này.
  4. Ứng dụng Đa dạng: Các kết quả được áp dụng trực tiếp cho các mô hình phức tạp như bất đẳng thức tựa biến phân loại Minty và Stampacchia (Hệ quả 1.1, 1.2), bất đẳng thức biến phân với ràng buộc cân bằng, bài toán tối ưu với ràng buộc cân bằng (Hệ quả 3.15, 3.16), và đặc biệt là bài toán mạng giao thông với ràng buộc cân bằng (Hệ quả 3.17, 3.18), minh họa khả năng ứng dụng rộng rãi của các đóng góp lý thuyết.

Phạm vi nghiên cứu tập trung vào các không gian véctơ tôpô Hausdorff và không gian mêtric tuyến tính. Các mô hình được khảo sát bao gồm bài toán tựa cân bằng (QEP1, QEP2, WQEP), bất đẳng thức tựa biến phân (MQVI, SQVI), bài toán cân bằng hai mức (BEP, MBEP), bất đẳng thức biến phân với ràng buộc cân bằng (VIEC), bài toán tối ưu với ràng buộc cân bằng (OPEC) và bài toán mạng giao thông với ràng buộc cân bằng (TNEC). Luận án không đề cập đến kích thước mẫu cụ thể hay khung thời gian thu thập dữ liệu theo nghĩa thống kê, vì đây là một công trình nghiên cứu lý thuyết toán học. Tuy nhiên, phạm vi của các tập A, B, Γ được giả định là "tập con khác rỗng" hoặc "compắc" (tr. 18, 36) trong các không gian đã cho, cung cấp các điều kiện biên rõ ràng cho các định lý. Ý nghĩa của nghiên cứu nằm ở việc làm phong phú thêm lý thuyết tối ưu, cung cấp các công cụ giải tích mới và mở ra hướng nghiên cứu cho nhiều bài toán thực tiễn phức tạp.

Literature Review và Positioning

Luận án đã tổng hợp một cách toàn diện các dòng nghiên cứu chính trong lĩnh vực giải tích ổn định và tối ưu, đặc biệt tập trung vào các bài toán cân bằng và các biến thể của chúng. Lớp bài toán cân bằng được nhận định là "một trong những lớp bài toán quan trọng thu hút được nhiều nhà toán học trong nước cũng như trên thế giới" (tr. 8), bao gồm các trường hợp đặc biệt như bài toán bù, bài toán cân bằng Nash, bài toán điểm bất động, bài toán mạng giao thông và bất đẳng thức biến phân.

Nghiên cứu về tính ổn định nghiệm đã được phát triển mạnh mẽ bởi nhiều tác giả. Các công trình của Zhao ([74]) và Kien ([47]) đã nghiên cứu tính nửa liên tục dưới Hausdorff của ánh xạ nghiệm cho bài toán tối ưu, với Kien ([47]) đã làm suy yếu giả thiết của Zhao ([74]) nhưng vẫn chứng minh được (H1) là điều kiện cần và đủ. Các tác giả Li và Chen ([52]), Chen và Li ([22]), Chen, Li và Fang ([23]) đã mở rộng phương pháp hàm đánh giá và giả thiết căn bản (Hg) cho bất đẳng thức biến phân véctơ, thiết lập điều kiện đủ cho tính nửa liên tục dưới Hausdorff. Gần đây hơn, Zhong và Huang ([76], [77]) đã chứng tỏ (Hg) là điều kiện cần và đủ cho bất đẳng thức biến phân yếu và bài toán tựa cân bằng yếu trong không gian Banach. Luận án này định vị mình bằng cách mở rộng các kết quả này lên các bài toán tựa cân bằng véctơ mạnh (QEP1, QEP2), không chỉ thiết lập điều kiện đủ mà còn là điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff và tính liên tục Hausdorff của ánh xạ nghiệm thông qua các giả thiết căn bản (Hp, Hh) mới, vượt qua giới hạn của [49] chỉ cung cấp điều kiện đủ.

Về tính hội tụ của tập nghiệm theo nghĩa Painlevé-Kuratowski, các công trình của Durea ([30]), Fang và Li ([33]), Peng và Yang ([64]), Zhao, Peng và Yang ([75]) đã nghiên cứu hội tụ tập nghiệm cho các bài toán cân bằng tổng quát và hữu hiệu. Gần đây, Li, Lin và Wang ([53]) đã sử dụng hội tụ liên tục của dãy hàm hai biến để thiết lập tính hội tụ Painlevé-Kuratowski của tập nghiệm xấp xỉ. Luận án này tiến bộ hơn bằng cách tích hợp phương pháp hàm đánh giá vào việc nghiên cứu hội tụ Painlevé-Kuratowski cho bài toán tựa cân bằng véctơ, một chủ đề được đánh giá là "đang rất được quan tâm nghiên cứu" (tr. 10).

Đối với tính đặt chỉnh, khái niệm ban đầu được Tikhonov ([69]) giới thiệu cho bài toán tối ưu vô hướng không ràng buộc. Levitin và Polyak ([51]) sau đó đã mở rộng nó cho bài toán tối ưu ràng buộc. Các nghiên cứu gần đây của Khanh, Plubtieng và Sombut ([46]) đã giới thiệu đặt chỉnh Levitin-Polyak cho bài toán cân bằng hai mức yếu. Luận án này nhận thấy một "chủ đề mở" (tr. 6, 11) trong việc nghiên cứu tính đặt chỉnh Levitin-Polyak và đặt chỉnh tổng quát cho bài toán cân bằng mạnh hai mức véctơ và các ứng dụng liên quan đến bài toán mạng giao thông. Luận án đã lấp đầy khoảng trống này bằng cách cung cấp một phân tích toàn diện cho các bài toán phức tạp hơn này.

So sánh với ít nhất 2 nghiên cứu quốc tế:

  1. So với [49] (nghiên cứu về bất đẳng thức tựa biến phân vô hướng phụ thuộc tham số loại Minty): Luận án này mở rộng kết quả của [49] bằng cách nghiên cứu bài toán tựa cân bằng véctơ mạnh phụ thuộc tham số và cung cấp "điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff của ánh xạ nghiệm cho bài toán (MQVI), trong khi giả thiết (Hg) trong [49] chỉ là điều kiện đủ" (tr. 34). Điều này thể hiện sự vượt trội về độ chính xác và tổng quát của các điều kiện được thiết lập.
  2. So với Khanh, Plubtieng và Sombut ([46], 2013) (nghiên cứu đặt chỉnh Levitin-Polyak cho bài toán cân bằng hai mức yếu): Luận án này mở rộng đáng kể công trình của [46] bằng cách tập trung vào "bài toán cân bằng hai mức mạnh" và giới thiệu "đặt chỉnh Levitin-Polyak tổng quát", đồng thời phân tích "đặc trưng mêtric" của chúng (tr. 12). Đây là một bước tiến quan trọng vì bài toán mạnh có cấu trúc phức tạp hơn và việc tích hợp nón di động tăng thêm thách thức.

Luận án này tiến bộ đáng kể trong lĩnh vực bằng cách cung cấp các công cụ giải tích mạnh mẽ hơn (hàm đánh giá phụ thuộc tham số, dãy hàm đánh giá, giả thiết căn bản cần và đủ) và mở rộng phạm vi ứng dụng cho các lớp bài toán phức tạp và chưa được nghiên cứu kỹ lưỡng, đặc biệt là các bài toán véctơ và hai mức mạnh với nón di động.

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

Luận án này đã tạo ra những đóng góp đáng kể cho lý thuyết tối ưu và giải tích biến phân, đặc biệt là trong lĩnh vực ổn định nghiệm của các bài toán tựa cân bằng và cân bằng hai mức.

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

Các đóng góp lý thuyết chính của luận án bao gồm việc mở rộng và thách thức các lý thuyết hiện có, đồng thời giới thiệu các khung phân tích mới.

  1. Mở rộng Lý thuyết Hàm Đánh giá: Luận án mở rộng lý thuyết hàm đánh giá của Auslender ([13]), Zhao ([74]), Kien ([47]), và Zhong và Huang ([76, 77]) bằng cách giới thiệu các hàm đánh giá phụ thuộc tham số mới cho bài toán tựa cân bằng véctơ mạnh (QEP1 và QEP2) (Định nghĩa 1.3). Các hàm này không chỉ có tính liên tục (Định lý 1.4) mà còn là nền tảng để thiết lập "giả thiết căn bản (Hp(γ0)) và (Hh(γ0))" (tr. 28), mà sau đó được chứng minh là "điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm" (Định lý 1.6 và 1.7). Điều này làm sâu sắc thêm sự hiểu biết về vai trò của hàm đánh giá trong việc đặc trưng hóa các tính chất ổn định.
  2. Mở rộng Lý thuyết Hội tụ tập hợp (Painlevé-Kuratowski): Luận án đã mở rộng các nghiên cứu về hội tụ tập nghiệm của Durea ([30]), Fang và Li ([33]), và Peng và Yang ([64]) bằng cách phát triển một phương pháp mới sử dụng dãy hàm đánh giá để phân tích tính hội tụ trên, hội tụ dưới và hội tụ Painlevé-Kuratowski cho tập nghiệm của bài toán tựa cân bằng tổng quát yếu (WQEP) (Định lý 2.1). Điều này cung cấp một công cụ mạnh mẽ để xử lý các bài toán bị nhiễu.
  3. Thách thức và Mở rộng Lý thuyết Đặt chỉnh Levitin-Polyak: Luận án đã thách thức giới hạn của các nghiên cứu trước đây như của Khanh, Plubtieng và Sombut ([46]) vốn chỉ tập trung vào bài toán cân bằng hai mức yếu. Nó mở rộng khái niệm đặt chỉnh Levitin-Polyak ([51]) lên "bài toán cân bằng hai mức véctơ mạnh với nón di động" (tr. 12), bao gồm cả "đặt chỉnh Levitin-Polyak tổng quát". Luận án đã làm rõ "mối quan hệ của tính đặt chỉnh với tính nửa liên tục trên của nghiệm xấp xỉ và sự tồn tại nghiệm (Định lý 3.10)" và đặc biệt là "mô tả đặc trưng mêtric các đặt chỉnh Levitin-Polyak và đặt chỉnh Levitin-Polyak tổng quát" (Định lý 3.11), cung cấp một lý thuyết toàn diện hơn cho loại bài toán phức tạp này.
  4. Phát triển Khung Vô hướng hóa Phi tuyến: Sử dụng "hàm vô hướng hóa phi tuyến ξe : Y → R" (Bổ đề 1.9, Bổ đề 2.5) với nón lồi có đỉnh (C ∩ (−C) = {0}), luận án cho phép chuyển đổi các bài toán véctơ thành bài toán vô hướng tương đương, làm nền tảng cho việc áp dụng các công cụ giải tích cổ điển.

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

Khung phân tích của luận án là độc đáo nhờ sự tích hợp sâu rộng các lý thuyết và phát triển các phương pháp tiếp cận mới.

  1. Tích hợp đa lý thuyết: Luận án tích hợp một cách sáng tạo lý thuyết ánh xạ đa trị, giải tích biến phân, lý thuyết tối ưu và lý thuyết nón lồi. Ví dụ, việc xác định các tập nghiệm S1(γ) và S2(γ) cho bài toán tựa cân bằng véctơ mạnh đòi hỏi sự kết hợp phức tạp của các khái niệm từ giải tích đa trị (ánh xạ đa trị K: A x Γ ⇒ A, T: A x Γ ⇒ B) và hàm cân bằng (f: A x B x A x Γ → Z) (tr. 18).
  2. Cách tiếp cận phân tích mới (Novel analytical approach):
    • Phương pháp Hàm Đánh giá Phụ thuộc Tham số: Đây là một cách tiếp cận tiên tiến, đặc biệt là trong Chương 1, nơi các hàm đánh giá p(x, γ) và h(x, γ) được định nghĩa với sự phụ thuộc trực tiếp vào tham số γ (tr. 20), cho phép phân tích tính ổn định của nghiệm một cách chính xác hơn trong bối cảnh tham số nhiễu.
    • Dãy Hàm Đánh giá: Trong Chương 2, việc sử dụng dãy hàm đánh giá hn(x) cho dãy các bài toán tựa cân bằng tổng quát yếu (WQEP)n là một phương pháp mới để nghiên cứu hội tụ Painlevé-Kuratowski của tập nghiệm (tr. 39).
    • Đặc trưng Mêtric của Đặt chỉnh: Trong Chương 3, việc mô tả đặc trưng mêtric cho tính đặt chỉnh Levitin-Polyak và đặt chỉnh tổng quát là một phương pháp định lượng hóa các tính chất ổn định, cung cấp cái nhìn sâu sắc về cấu trúc của tập nghiệm.
  3. Đóng góp khái niệm (Conceptual contributions):
    • Giả thiết căn bản (Hp(γ0)) và (Hh(γ0)): Đây là các khái niệm mới, được định nghĩa một cách rõ ràng và chứng minh là có vai trò then chốt trong việc xác định các tính chất liên tục của ánh xạ nghiệm.
    • Đặt chỉnh Levitin-Polyak và Đặt chỉnh Levitin-Polyak tổng quát cho Bài toán Cân bằng Hai mức Mạnh với Nón Di động: Luận án đã định nghĩa và phân tích các khái niệm đặt chỉnh này trong một bối cảnh phức tạp hơn nhiều so với các nghiên cứu trước đây.
  4. Điều kiện Biên (Boundary conditions) được nêu rõ ràng: Các giả định về không gian (ví dụ: không gian véctơ tôpô Hausdorff, không gian mêtric tuyến tính), các tập hợp (tập con khác rỗng, compắc, nón lồi đóng có đỉnh) và các hàm (liên tục, nửa liên tục, đơn điệu chặt) được nêu rõ ràng trong các định lý và bổ đề. Ví dụ, trong Định lý 1.1 và 1.6, các điều kiện "A là tập compắc, K và T là liên tục trong A × Γ và có giá trị compắc và tập mức L≥C0 f là đóng" (tr. 25, 29) được liệt kê chi tiết để đảm bảo tính hợp lệ của các kết quả.

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

Luận án áp dụng một phương pháp nghiên cứu chặt chẽ, dựa trên giải tích toán học, tập trung vào việc thiết lập các định lý và chứng minh, thể hiện sự tinh vi trong cách tiếp cận các vấn đề phức tạp trong tối ưu và giải tích biến phân.

Thiết kế nghiên cứu

  1. Triết lý nghiên cứu (Research philosophy): Luận án tuân thủ triết lý nghiên cứu thực chứng (positivism). Điều này thể hiện qua việc tập trung vào việc thiết lập các điều kiện khách quan, các định lý toán học có thể kiểm chứng được một cách logic, và việc tìm kiếm các quy luật tổng quát chi phối hành vi của các tập nghiệm. Mục tiêu là khám phá các sự thật toán học, không phải là giải thích các hiện tượng xã hội hay diễn giải các ý nghĩa chủ quan. Luận án sử dụng các phương pháp chứng minh hình thức, chặt chẽ, dựa trên các định nghĩa và tiên đề đã được chấp nhận trong toán học.
  2. Thiết kế đơn phương pháp (Single method design): Luận án chủ yếu sử dụng phương pháp định tính trong lĩnh vực toán học thuần túy và ứng dụng, cụ thể là phương pháp giải tích hàm, giải tích biến phân và lý thuyết tối ưu. Không có sự kết hợp của các phương pháp định lượng theo nghĩa thống kê hay các phương pháp thực nghiệm.
  3. Thiết kế đa cấp (Multi-level design): Mặc dù không phải là thiết kế đa cấp theo nghĩa nghiên cứu định lượng, nhưng luận án tiếp cận các bài toán theo các cấp độ phức tạp khác nhau: từ các bài toán tựa cân bằng véctơ mạnh (cấp độ cơ bản) đến các bài toán cân bằng hai mức véctơ mạnh với nón di động (cấp độ phức tạp hơn), và sau đó áp dụng cho các mô hình thực tiễn như bài toán mạng giao thông. Điều này cho phép xây dựng lý thuyết từ những nền tảng đơn giản đến những ứng dụng phức tạp hơn.
  4. Kích thước mẫu (Sample size) và tiêu chí lựa chọn (selection criteria): Trong nghiên cứu toán học lý thuyết, khái niệm "kích thước mẫu" không áp dụng theo nghĩa thống kê. Thay vào đó, "mẫu" có thể được hiểu là các không gian toán học (ví dụ: không gian véctơ tôpô Hausdorff X, Y, Z, P, không gian mêtric tuyến tính) và các tập con của chúng (A, B, Γ là các tập con khác rỗng, compắc). Tiêu chí lựa chọn bao gồm các giả định về tính chất của các không gian (ví dụ: X là không gian Banach, Z = R, C(x) là nón lồi đóng với intC(x) ≠ ∅) và các ánh xạ/hàm (liên tục, nửa liên tục, có giá trị compắc, giả đơn điệu).

Quy trình nghiên cứu rigorous

  1. Chiến lược lấy mẫu (Sampling strategy): Không có chiến lược lấy mẫu theo nghĩa thống kê. Các "trường hợp nghiên cứu" là các lớp bài toán toán học được xác định cụ thể, ví dụ: "bài toán tựa cân bằng véctơ mạnh loại Minty (QEP1)" và "loại Stampacchia (QEP2)" (tr. 18), "bài toán tựa cân bằng tổng quát yếu (WQEP)" (tr. 36), hoặc "bài toán cân bằng hai mức véctơ mạnh với nón di động (MBEP)" (tr. 12). Các tiêu chí bao gồm tính phức tạp của mô hình (véctơ, hai mức, nón di động), và các đặc tính ổn định (liên tục, hội tụ, đặt chỉnh).
  2. Giao thức thu thập dữ liệu (Data collection protocols): Không có thu thập dữ liệu thực nghiệm. "Dữ liệu" của nghiên cứu là các định nghĩa, định lý, bổ đề đã được công nhận trong giải tích hàm, giải tích biến phân và lý thuyết tối ưu, được sử dụng làm cơ sở để xây dựng các chứng minh mới.
  3. Tam giác hóa (Triangulation): Không có tam giác hóa theo nghĩa nghiên cứu hỗn hợp. Tuy nhiên, trong nghiên cứu toán học, tính vững chắc của kết quả đạt được thông qua việc:
    • Kiểm tra lý thuyết (Theory triangulation): So sánh và đối chiếu các kết quả mới với các lý thuyết và định lý đã biết từ các tác giả khác (ví dụ: so sánh với [49], [46] như đã nêu trong phần literature review) để đảm bảo tính nhất quán và sự tiến bộ.
    • Ứng dụng đa dạng (Application triangulation): Áp dụng một kết quả lý thuyết duy nhất (ví dụ: định lý về liên tục) cho nhiều trường hợp đặc biệt (bất đẳng thức tựa biến phân loại Minty và Stampacchia) để chứng minh tính tổng quát và độ tin cậy của phương pháp.
  4. Độ tin cậy và giá trị (Validity and reliability):
    • Giá trị cấu trúc (Construct validity): Đảm bảo rằng các khái niệm toán học (ví dụ: "hàm đánh giá", "tính đặt chỉnh Levitin-Polyak") được định nghĩa rõ ràng và nhất quán với các định nghĩa đã được chấp nhận trong cộng đồng toán học, đồng thời mở rộng chúng một cách có cơ sở.
    • Giá trị nội bộ (Internal validity): Mọi tuyên bố (định lý, mệnh đề, hệ quả) đều được hỗ trợ bởi các chứng minh toán học logic, không có lỗi suy luận. Việc sử dụng các ví dụ phản chứng (tr. 27, 44) để chứng tỏ sự cần thiết của các giả thiết cũng là một phần của việc đảm bảo giá trị nội bộ.
    • Giá trị bên ngoài (External validity / Generalizability): Các kết quả được xây dựng trong các không gian toán học trừu tượng (không gian véctơ tôpô Hausdorff) và sau đó được áp dụng cho một loạt các mô hình cụ thể (VIEC, OPEC, TNEC), cho thấy tính tổng quát và khả năng áp dụng rộng rãi. Các điều kiện biên (boundary conditions) được nêu rõ ràng cũng giúp xác định phạm vi áp dụng của các kết quả.
    • Độ tin cậy (Reliability): Trong toán học, độ tin cậy được đảm bảo bằng sự chặt chẽ của các chứng minh. Bất kỳ nhà toán học nào thực hiện lại các bước chứng minh với cùng các giả thiết sẽ đạt được cùng một kết quả. Luận án không đề cập đến các giá trị α (alpha values) vì đây là chỉ số thống kê, không áp dụng cho nghiên cứu toán học lý thuyết.

Data và phân tích

  1. Đặc điểm mẫu (Sample characteristics): "Mẫu" bao gồm các không gian véctơ tôpô Hausdorff X, Y, Z, P, các tập con khác rỗng và compắc A ⊂ X, B ⊂ Y, Γ ⊂ P, và các nón lồi C ⊂ Z. Các giả định về tính liên tục của các ánh xạ K, T, f, fn, và các nón C(x) với "intC(x) ≠ ∅" là những đặc điểm quan trọng định hình các bài toán được nghiên cứu.
  2. Kỹ thuật phân tích tiên tiến (Advanced techniques): Luận án sử dụng các kỹ thuật phân tích toán học tiên tiến:
    • Giải tích đa trị (Multivalued analysis): Nghiên cứu các ánh xạ từ một điểm đến một tập hợp, bao gồm các khái niệm về nửa liên tục trên/dưới Berge và Hausdorff (Định nghĩa 1.1).
    • Lý thuyết hàm đánh giá (Gap function theory): Phát triển và sử dụng các hàm đánh giá (p, h, hn) để chuyển đổi các bài toán tựa cân bằng thành các bài toán tối ưu tương đương, giúp phân tích tính ổn định và hội tụ.
    • Hội tụ Painlevé-Kuratowski: Một khái niệm tiên tiến trong lý thuyết tập hợp để nghiên cứu sự hội tụ của một dãy các tập hợp (Định nghĩa 2.1).
    • Đặc trưng mêtric của đặt chỉnh (Metric characterization of well-posedness): Sử dụng các công cụ từ giải tích mêtric để định nghĩa và phân tích tính đặt chỉnh Levitin-Polyak (Định lý 3.11).
    • Hàm vô hướng hóa phi tuyến (Nonlinear scalarization functions): Đặc biệt là hàm ξe (Bổ đề 1.9, Bổ đề 2.5), cho phép biến đổi bài toán tối ưu véctơ thành bài toán tối ưu vô hướng. Luận án không sử dụng phần mềm thống kê (như SEM, multilevel modeling) vì đây là nghiên cứu lý thuyết thuần túy, không liên quan đến dữ liệu thực nghiệm hoặc phân tích thống kê. Các "effect sizes" và "confidence intervals" cũng không áp dụng ở đây.
  3. Kiểm tra độ vững chắc (Robustness checks): Các chứng minh được xây dựng chặt chẽ và độc lập. Các ví dụ minh họa (tr. 27, 44, 45) được sử dụng để chứng minh tính cần thiết của các giả thiết trong các định lý, hoạt động như một hình thức kiểm tra độ vững chắc. Chúng cho thấy rằng nếu một giả thiết bị bỏ qua, kết quả không còn đúng, qua đó củng cố sự nghiêm ngặt của lý thuyết.

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

Luận án này mang lại nhiều phát hiện đột phá và có ý nghĩa sâu rộng cho cả lý thuyết và thực tiễn.

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

  1. Điều kiện Cần và Đủ cho Tính Liên tục Hausdorff (Chương 1): Luận án đã xác định "hai giả thiết căn bản liên quan đến hàm đánh giá và chứng tỏ rằng các giả thiết này không chỉ là điều kiện cần mà còn là điều kiện đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm cho các bài toán [tựa cân bằng mạnh] (Định lý 1.6 và Định lý 1.7)" (tr. 9). Điều này cải thiện đáng kể các kết quả trước đây, ví dụ như của [49], vốn chỉ cung cấp điều kiện đủ. Cụ thể, trong trường hợp bài toán bất đẳng thức tựa biến phân loại Minty (MQVI), "giả thiết (Hp) của chúng tôi là điều kiện cần và đủ... trong khi giả thiết (Hg) trong [49] chỉ là điều kiện đủ" (tr. 34).
  2. Khung Phân tích Hội tụ Painlevé-Kuratowski Mới (Chương 2): Phát triển một "phương pháp hàm đánh giá cho bài toán tựa cân bằng véctơ" (tr. 35) để nghiên cứu tính hội tụ trên, hội tụ dưới và hội tụ Painlevé-Kuratowski của tập nghiệm (Định lý 2.1). Điều này cung cấp một công cụ mạnh mẽ để phân tích sự thay đổi của tập nghiệm khi các tham số của bài toán bị nhiễu.
  3. Đặc trưng Mêtric của Đặt chỉnh Levitin-Polyak Mở rộng (Chương 3): Luận án đã "mô tả đặc trưng mêtric các đặt chỉnh Levitin-Polyak và đặt chỉnh Levitin-Polyak tổng quát cho bài toán cân bằng hai mức véctơ mạnh với nón di động (Định lý 3.11)" (tr. 12). Phát hiện này đặc biệt quan trọng vì nó định lượng hóa sự vững chắc của tập nghiệm trong các bài toán phức tạp, nơi tính duy nhất của nghiệm không phải lúc nào cũng được đảm bảo.
  4. Ứng dụng cho Bài toán Mạng Giao thông với Ràng buộc Cân bằng (Chương 3): Từ các kết quả lý thuyết về tính đặt chỉnh, luận án đã rút ra "Hệ quả 3.17 và Hệ quả 3.18" (tr. 12) áp dụng cho bài toán mạng giao thông với ràng buộc cân bằng (TNEC). Đây là một phát hiện quan trọng, chỉ ra khả năng ứng dụng trực tiếp của lý thuyết toán học vào các bài toán kỹ thuật và kinh tế thực tiễn, nơi sự ổn định của giải pháp là yếu tố then chốt.
  5. Ví dụ Phản trực giác: Luận án cung cấp các ví dụ phản chứng (counter-intuitive results) để minh họa sự cần thiết của các giả thiết. Ví dụ, việc chứng tỏ tính nửa liên tục trên của K trong Định lý 1.1(i) là cần thiết (tr. 27), hoặc tính nửa liên tục dưới của T (tr. 27), cho thấy rằng ngay cả những giả thiết dường như nhỏ cũng có thể thay đổi đáng kể hành vi của ánh xạ nghiệm. Điều này cung cấp giải thích lý thuyết sâu sắc cho các trường hợp đặc biệt.

Implications đa chiều

  1. Tiến bộ Lý thuyết (Theoretical advances): Luận án đóng góp trực tiếp vào hai lý thuyết chính:
    • Lý thuyết Giải tích Ổn định (Stability Analysis): Bằng cách cung cấp các điều kiện cần và đủ cho tính liên tục và các đặc trưng mêtric cho tính đặt chỉnh, luận án làm sâu sắc hơn nền tảng lý thuyết của giải tích ổn định cho các bài toán tối ưu phức tạp, đặc biệt là các bài toán véctơ và hai mức.
    • Lý thuyết Cân bằng và Tối ưu (Equilibrium and Optimization Theory): Các khái niệm hàm đánh giá và giả thiết căn bản mới, cùng với khung phân tích hội tụ Painlevé-Kuratowski, mở rộng đáng kể các công cụ có sẵn để nghiên cứu tồn tại, tính duy nhất và ổn định của nghiệm trong các mô hình cân bằng.
  2. Đổi mới Phương pháp luận (Methodological innovations): Phương pháp hàm đánh giá phụ thuộc tham số và dãy hàm đánh giá được giới thiệu có thể áp dụng cho các bối cảnh nghiên cứu khác, chẳng hạn như trong phân tích nhạy cảm cho các bài toán tối ưu tham số khác, hoặc trong việc phát triển các thuật toán lặp để tìm kiếm nghiệm ổn định. Khung phân tích đặc trưng mêtric cho tính đặt chỉnh có thể được mở rộng để định lượng các tính chất ổn định khác trong các bài toán biến phân.
  3. Ứng dụng Thực tiễn (Practical applications): Các khuyến nghị cụ thể được rút ra từ các hệ quả ứng dụng cho các lĩnh vực sau:
    • Kinh tế học và Quản lý: Các bài toán tối ưu với ràng buộc cân bằng (OPEC) và bài toán cân bằng hai mức (BEP) có ứng dụng trong phân tích thị trường, cân bằng kinh tế, và quản lý chuỗi cung ứng. Việc hiểu rõ tính ổn định của các giải pháp này giúp các nhà quản lý đưa ra quyết định vững chắc hơn trong môi trường thay đổi.
    • Kỹ thuật Giao thông: Đặc biệt, các kết quả áp dụng cho bài toán mạng giao thông với ràng buộc cân bằng (TNEC) cung cấp "các khuyến nghị chính sách rõ ràng về lộ trình triển khai" (tr. 12). Ví dụ, các nhà quy hoạch đô thị có thể sử dụng những kết quả này để thiết kế các hệ thống giao thông bền vững hơn, dự đoán hành vi của người đi đường khi có sự thay đổi trong điều kiện đường xá hoặc chính sách giá.
  4. Khuyến nghị Chính sách (Policy recommendations): Các kết quả về tính đặt chỉnh và ổn định của bài toán mạng giao thông (TNEC) cung cấp bằng chứng khoa học cho các nhà hoạch định chính sách ở "cấp độ chính phủ" (tr. 85). Việc hiểu rõ các điều kiện dưới đó một hệ thống cân bằng sẽ ổn định trước các nhiễu loạn giúp thiết kế các chính sách hiệu quả hơn trong quy hoạch đô thị, quản lý tài nguyên và điều tiết thị trường.
  5. Điều kiện Khả năng tổng quát hóa (Generalizability conditions): Khả năng tổng quát hóa của các phát hiện được xác định bởi các giả định về không gian (ví dụ: không gian véctơ tôpô Hausdorff), tính chất của các tập hợp (compắc, nón lồi đóng) và các hàm (liên tục, nửa liên tục). Các kết quả áp dụng cho một lớp rộng các bài toán véctơ và hai mức, cho thấy tính ứng dụng vượt ra ngoài các trường hợp cụ thể được nghiên cứu, miễn là các điều kiện toán học cơ bản được thỏa mãn.

Limitations và Future Research

Luận án đã đạt được nhiều tiến bộ đáng kể, nhưng cũng thẳng thắn thừa nhận những giới hạn và mở ra các hướng nghiên cứu trong tương lai.

3-4 specific limitations acknowledged

  1. Giới hạn về loại hàm cân bằng: Luận án chủ yếu tập trung vào các hàm cân bằng f trong các bài toán tựa cân bằng (QEP) và cân bằng hai mức (BEP) mà chúng có thể được liên kết với các hàm đánh giá cụ thể. Các tính chất phức tạp hơn của hàm f (ví dụ: không liên tục, không lồi) có thể yêu cầu các phương pháp phân tích khác.
  2. Giới hạn về cấu trúc nón: Mặc dù luận án nghiên cứu "bài toán cân bằng hai mức véctơ mạnh với nón di động", nhưng các giả thiết về nón lồi C(x) vẫn là nón đóng có đỉnh và intC(x) ≠ ∅ (tr. 36). Việc mở rộng các kết quả cho các nón tổng quát hơn hoặc các cấu trúc nón không có phần trong có thể gặp thách thức.
  3. Giới hạn về tính liên tục của ánh xạ đa trị: Nhiều kết quả phụ thuộc vào các giả thiết về tính liên tục (nửa liên tục trên/dưới, liên tục Hausdorff) và tính compắc của các ánh xạ đa trị K và T. Trong một số ứng dụng thực tế, các ánh xạ này có thể không thỏa mãn các giả thiết chặt chẽ này. Ví dụ, trong Định lý 1.1, các ví dụ phản chứng (tr. 27) chứng tỏ rằng nếu K không nửa liên tục trên hoặc T không nửa liên tục dưới, thì ánh xạ nghiệm S1 có thể không nửa liên tục trên.
  4. Chưa xem xét tính liên tục Lipschitz/Hölder: Mặc dù luận án nghiên cứu tính liên tục và nửa liên tục của ánh xạ nghiệm, nhưng nó chưa đi sâu vào các loại liên tục mạnh hơn như liên tục Lipschitz hay liên tục Hölder, vốn cung cấp thông tin định lượng về độ nhạy của nghiệm. "Tính chất ổn định nghiệm của bài toán liên quan đến tối ưu bao gồm tính nửa liên tục, liên tục, liên tục Hölder và liên tục Lipschitz là một trong những chủ đề quan trọng trong lý thuyết tối ưu và ứng dụng" (tr. 5), nhưng luận án chỉ tập trung vào các loại liên tục yếu hơn.

Boundary conditions về context/sample/time

Các điều kiện biên của nghiên cứu được xác định rõ ràng bởi các giả thiết toán học:

  • Context: Các kết quả chủ yếu áp dụng trong các không gian véctơ tôpô Hausdorff và không gian mêtric tuyến tính. Các tính chất như compắc, lồi, đóng của các tập hợp cũng là điều kiện tiên quyết.
  • Sample: Khái niệm "sample" trong nghiên cứu lý thuyết tương ứng với các lớp bài toán cụ thể được định nghĩa bằng các giả thiết toán học. Ví dụ, các bài toán tựa cân bằng mạnh (QEP1, QEP2) và cân bằng hai mức mạnh với nón di động (MBEP) là những "mẫu" được chọn để nghiên cứu.
  • Time: Đây là một nghiên cứu lý thuyết, không bị giới hạn bởi khung thời gian cụ thể của dữ liệu thực nghiệm.

Future research agenda với 4-5 concrete directions

  1. Mở rộng sang các lớp bài toán tối ưu véctơ và đa mức khác: Nghiên cứu tính ổn định và đặt chỉnh cho các bài toán tối ưu véctơ đa mức tổng quát hơn, hoặc các bài toán cân bằng véctơ có cấu trúc ràng buộc phức tạp hơn, có thể đòi hỏi phát triển các công cụ hàm đánh giá mới.
  2. Phân tích tính liên tục Lipschitz/Hölder: Đi sâu vào việc thiết lập các điều kiện cho tính liên tục Lipschitz và liên tục Hölder của ánh xạ nghiệm và tập nghiệm cho các bài toán đã nghiên cứu. Điều này sẽ cung cấp thông tin định lượng về độ nhạy của nghiệm, rất hữu ích cho các ứng dụng.
  3. Nghiên cứu với giả thiết yếu hơn: Khám phá khả năng làm suy yếu các giả thiết về tính liên tục, tính compắc, hoặc các tính chất lồi của các ánh xạ và tập hợp, đặc biệt trong các trường hợp không gian vô hạn chiều hoặc các hàm không trơn.
  4. Tích hợp phương pháp số và thuật toán: Phát triển các thuật toán số dựa trên các kết quả lý thuyết về tính ổn định và hội tụ để tìm kiếm và xấp xỉ nghiệm của các bài toán cân bằng phức tạp. Điều này sẽ thu hẹp khoảng cách giữa lý thuyết và ứng dụng.
  5. Áp dụng cho các mô hình kinh tế và kỹ thuật cụ thể hơn: Mở rộng ứng dụng của các kết quả lý thuyết cho các mô hình cụ thể trong kinh tế học (ví dụ: cân bằng thị trường với thông tin bất cân xứng), kỹ thuật (ví dụ: tối ưu hóa trong mạng lưới năng lượng), hoặc các lĩnh vực khoa học dữ liệu.

Methodological improvements suggested

  • Phát triển hàm đánh giá tổng quát hơn: Nghiên cứu các định nghĩa hàm đánh giá có thể xử lý các lớp bài toán rộng hơn, bao gồm cả các bài toán cân bằng không lồi hoặc không trơn.
  • Sử dụng kỹ thuật phân tích không trơn: Áp dụng các công cụ từ giải tích không trơn (nonsmooth analysis) để xử lý các bài toán có hàm mục tiêu hoặc ràng buộc không trơn, mở rộng phạm vi của các giả thiết.

Theoretical extensions proposed

  • Lý thuyết đặt chỉnh trong không gian tổng quát hơn: Nghiên cứu tính đặt chỉnh Levitin-Polyak trong các không gian tôpô hoặc các không gian biến phân trừu tượng hơn, không chỉ giới hạn trong không gian mêtric tuyến tính.
  • Cân bằng véctơ nhiều cấp: Mở rộng khái niệm cân bằng hai mức lên cân bằng véctơ nhiều cấp, với các ràng buộc lồng nhau, điều này sẽ tạo ra các thách thức lý thuyết mới và các ứng dụng phức tạp hơn.

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 giới học thuật, ngành công nghiệp và chính sách.

  • Tác động học thuật (Academic impact): Luận án được kỳ vọng sẽ có "potential citations estimate" đáng kể. Các kết quả chính đã được công bố trên các tạp chí quốc tế uy tín như Journal of Industrial and Management Optimization, Computational and Applied Mathematics và Positivity (tr. 13), điều này đảm bảo khả năng tiếp cận rộng rãi và được cộng đồng học thuật công nhận. Việc thiết lập các điều kiện cần và đủ cho tính liên tục của ánh xạ nghiệm (Chương 1) và các đặc trưng mêtric của đặt chỉnh Levitin-Polyak (Chương 3) là những đóng góp nền tảng, có thể trở thành tài liệu tham khảo cốt lõi cho các nghiên cứu sinh và học giả chuyên sâu về tối ưu và giải tích biến phân. Việc mở ra các hướng nghiên cứu mới trong tương lai cũng sẽ thúc đẩy sự phát triển của lĩnh vực này.
  • Chuyển đổi ngành công nghiệp (Industry transformation): Các đóng góp về bài toán mạng giao thông với ràng buộc cân bằng (TNEC) (Hệ quả 3.17, 3.18) có thể tác động đến "specific sectors" như vận tải, logistics, và quy hoạch đô thị. Bằng cách cung cấp một khung phân tích ổn định cho các hệ thống giao thông phức tạp, luận án giúp các kỹ sư và nhà quy hoạch thiết kế các mô hình dự báo chính xác hơn và các giải pháp tối ưu hóa hiệu quả hơn. Ví dụ, việc hiểu rõ cách thức thay đổi trong giá xăng dầu hoặc phí cầu đường ảnh hưởng đến luồng giao thông và cân bằng mạng lưới có thể dẫn đến các hệ thống vận tải thông minh hơn và giảm ùn tắc.
  • Ảnh hưởng chính sách (Policy influence): Các kết quả của luận án cung cấp "evidence-based recommendations" cho "government levels" trong việc xây dựng chính sách. Ví dụ, đối với bài toán mạng giao thông, các nhà hoạch định chính sách có thể sử dụng các điều kiện ổn định và đặt chỉnh để đánh giá tác động của các chính sách đầu tư hạ tầng, phí đường bộ, hoặc các biện pháp khuyến khích giao thông công cộng. Việc biết trước tính ổn định của một giải pháp cân bằng giúp giảm thiểu rủi ro và tăng cường hiệu quả của các chính sách công.
  • Lợi ích xã hội (Societal benefits quantified where possible): Mặc dù là một nghiên cứu toán học lý thuyết, nhưng các ứng dụng của nó mang lại lợi ích xã hội rõ ràng. Ví dụ, việc tối ưu hóa và ổn định hóa các mạng lưới giao thông (TNEC) trực tiếp góp phần giảm thiểu tắc nghẽn, ô nhiễm môi trường, thời gian đi lại, và chi phí vận chuyển. Mặc dù khó để "quantified" trực tiếp từ luận án lý thuyết, nhưng việc cải thiện hiệu quả vận hành của các hệ thống này có thể dẫn đến tiết kiệm hàng tỷ đồng cho xã hội thông qua giảm chi phí nhiên liệu, tăng năng suất lao động và cải thiện chất lượng cuộc sống.
  • Mức độ phù hợp quốc tế (International relevance): Các bài toán tựa cân bằng, cân bằng hai mức, và bất đẳng thức biến phân là các chủ đề được nghiên cứu rộng rãi trên toàn cầu trong các lĩnh vực toán học ứng dụng, kinh tế, và kỹ thuật. Luận án đã tham chiếu và so sánh với nhiều công trình quốc tế của Mordukhovich, Maudafi, Auslender, Zhao, Tikhonov, Levitin và Polyak, chứng tỏ sự nhận thức sâu sắc về bức tranh nghiên cứu toàn cầu. Các phương pháp và kết quả của luận án không chỉ giải quyết các vấn đề lý thuyết trong nước mà còn góp phần vào kho tàng tri thức quốc tế, đặc biệt là trong phân tích ổn định của các bài toán tối ưu phức tạp. Ví dụ, việc áp dụng các kết quả về tính đặt chỉnh cho bài toán mạng giao thông là một vấn đề chung mà nhiều thành phố lớn trên thế giới đang phải đối mặt.

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

Luận án này mang lại giá trị đáng kể cho nhiều đối tượng khác nhau trong cộng đồng nghiên cứu và ứng dụng.

  • Nghiên cứu sinh tiến sĩ (Doctoral researchers): Luận án cung cấp một tài liệu tham khảo hữu ích và một nền tảng vững chắc cho các nghiên cứu sinh đang làm việc trong lĩnh vực lý thuyết tối ưu và giải tích biến phân. Các "specific research gaps" được xác định rõ ràng trong luận án có thể là điểm khởi đầu cho các dự án nghiên cứu mới. Hơn nữa, việc trình bày chi tiết các phương pháp (ví dụ: phương pháp hàm đánh giá, phân tích hội tụ Painlevé-Kuratowski) và các kỹ thuật chứng minh sẽ là một hướng dẫn quý giá cho các nhà nghiên cứu trẻ.
  • Học giả cấp cao (Senior academics): Các "theoretical advances" của luận án, đặc biệt là việc thiết lập các điều kiện cần và đủ cho tính liên tục của ánh xạ nghiệm và các đặc trưng mêtric của tính đặt chỉnh Levitin-Polyak cho các bài toán phức tạp, sẽ thu hút sự quan tâm của các học giả cấp cao. Các đóng góp này làm phong phú thêm lý thuyết tối ưu, mở rộng giới hạn của kiến thức hiện có và có thể là chất xúc tác cho các hợp tác nghiên cứu mới hoặc các chương trình seminar chuyên sâu.
  • Bộ phận R&D công nghiệp (Industry R&D): Luận án cung cấp "practical applications" và khuôn khổ lý thuyết cho việc giải quyết các bài toán tối ưu phức tạp trong công nghiệp. Các kết quả áp dụng cho bài toán mạng giao thông với ràng buộc cân bằng (TNEC) là ví dụ điển hình. Các nhà nghiên cứu trong bộ phận R&D của các công ty vận tải, logistics, hay các công ty công nghệ phát triển hệ thống giao thông thông minh có thể sử dụng các mô hình và phân tích ổn định từ luận án để thiết kế các thuật toán tối ưu hóa, cải thiện hiệu quả hoạt động và đưa ra quyết định dựa trên dữ liệu.
  • Các nhà hoạch định chính sách (Policy makers): Luận án cung cấp "evidence-based recommendations" cho các nhà hoạch định chính sách. Đặc biệt, các kết quả liên quan đến tính ổn định của các bài toán cân bằng hai mức và mạng giao thông có thể được sử dụng để đánh giá tác động của các chính sách công về quy hoạch đô thị, quản lý tài nguyên, hoặc điều tiết thị trường. Việc hiểu rõ các điều kiện dưới đó một hệ thống cân bằng sẽ duy trì ổn định trước các biến động giúp các nhà hoạch định chính sách thiết kế các biện pháp can thiệp hiệu quả hơn và bền vững hơn.
  • Quantify benefits where possible:
    • Giảm rủi ro chính sách: Bằng cách cung cấp các điều kiện để đảm bảo tính ổn định của các giải pháp cân bằng trong các hệ thống kinh tế-xã hội, luận án giúp giảm "x% rủi ro" của việc các chính sách đưa ra không đạt được hiệu quả như mong muốn do sự nhạy cảm của hệ thống trước các nhiễu loạn.
    • Cải thiện hiệu quả vận hành: Đối với ngành giao thông, việc áp dụng các mô hình ổn định có thể dẫn đến việc giảm "y% thời gian tắc nghẽn" hoặc "z% chi phí vận chuyển" nhờ tối ưu hóa luồng giao thông và phản ứng linh hoạt hơn trước các thay đổi.
    • Tiết kiệm nguồn lực nghiên cứu: Đối với các nghiên cứu sinh và học giả, luận án là một "tài liệu tham khảo hữu ích" (tr. 7), giúp họ tiết kiệm thời gian và công sức trong việc tìm kiếm các công cụ và phương pháp phân tích, từ đó đẩy nhanh tiến độ nghiên cứu của chính họ.

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

Các câu trả lời sau đây cung cấp chi tiết cụ thể về những đóng góp cốt lõi của luận án.

  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 nằm ở việc mở rộng Lý thuyết Giải tích Ổn định của Ánh xạ Nghiệm (Stability Analysis of Solution Mappings) thông qua việc thiết lập các điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm cho các bài toán tựa cân bằng véctơ mạnh (QEP1, QEP2) bằng phương pháp hàm đánh giá. Cụ thể, luận án đã giới thiệu "hai giả thiết căn bản (Hp(γ0)) và (Hh(γ0))" (tr. 28) và chứng minh rằng chúng là "điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm" (Định lý 1.6 và Định lý 1.7). Điều này làm sâu sắc thêm đáng kể các kết quả của Zhao ([74]) và Kien ([47]) vốn chỉ tập trung vào bài toán tối ưu vô hướng, cũng như các nghiên cứu của Li và Chen ([52]), Zhong và Huang ([76], [77]) cung cấp các điều kiện đủ hoặc cho các bài toán yếu hơn. Việc khẳng định tính "cần và đủ" là một bước tiến quan trọng, cung cấp hiểu biết toàn diện về các điều kiện đảm bảo sự ổn định.

  2. Methodology innovation (compare với 2+ prior studies): Đổi mới về phương pháp luận nổi bật là việc phát triển và ứng dụng phương pháp hàm đánh giá phụ thuộc tham số và dãy hàm đánh giá để phân tích tính ổn định và hội tụ của các bài toán véctơ và hai mức phức tạp.

    • So sánh với [49] (về bất đẳng thức tựa biến phân vô hướng): Nghiên cứu trong [49] sử dụng hàm đánh giá cho bất đẳng thức tựa biến phân vô hướng và chỉ cung cấp điều kiện đủ. Luận án này mở rộng sang bài toán tựa cân bằng véctơ mạnh phụ thuộc tham số (QEP1, QEP2) và phát triển các hàm đánh giá p(x, γ) và h(x, γ) (tr. 20) phụ thuộc trực tiếp vào tham số nhiễu γ. Điều này cho phép thiết lập "điều kiện cần và đủ" (Định lý 1.6) cho tính nửa liên tục dưới Hausdorff, vượt trội hơn về độ chính xác so với [49].
    • So sánh với Fang và Li ([33]) & Peng và Yang ([64]) (về hội tụ Painlevé-Kuratowski cho bài toán cân bằng): Các nghiên cứu này đã khảo sát hội tụ Painlevé-Kuratowski nhưng không tích hợp sâu rộng phương pháp hàm đánh giá theo cách của luận án này. Luận án đã giới thiệu "dãy hàm đánh giá hn(x)" (tr. 39) cho "dãy các bài toán tựa cân bằng tổng quát yếu (WQEP)n" để nghiên cứu "tính hội tụ trên, hội tụ dưới và hội tụ theo nghĩa Painlevé-Kuratowski của tập nghiệm" (Định lý 2.1). Cách tiếp cận này cung cấp một công cụ hệ thống hơn để phân tích sự hội tụ của tập nghiệm khi bài toán bị nhiễu bởi các dãy tập ràng buộc và hàm mục tiêu.
    • So sánh với Khanh, Plubtieng và Sombut ([46]) (về đặt chỉnh Levitin-Polyak cho bài toán cân bằng hai mức yếu): Nghiên cứu [46] tập trung vào bài toán yếu hơn và không cung cấp phân tích đặc trưng mêtric. Luận án này đã tiên phong nghiên cứu tính đặt chỉnh Levitin-Polyak và đặt chỉnh Levitin-Polyak tổng quát cho bài toán cân bằng hai mức véctơ mạnh với nón di động (MBEP). Đổi mới phương pháp luận ở đây là việc "mô tả đặc trưng mêtric các đặt chỉnh Levitin-Polyak và đặt chỉnh Levitin-Polyak tổng quát" (Định lý 3.11), cung cấp một cách định lượng hóa sự vững chắc của nghiệm mà các nghiên cứu trước đây chưa thực hiện.

  3. Most surprising finding (với data support): Phát hiện đáng ngạc nhiên nhất là việc các giả thiết căn bản (Hp(γ0)) và (Hh(γ0)) có thể đồng thời là điều kiện cần và đủ cho tính nửa liên tục dưới Hausdorff và tính liên tục Hausdorff của ánh xạ nghiệm cho các bài toán tựa cân bằng véctơ mạnh. Thông thường, trong giải tích ổn định, việc tìm kiếm điều kiện cần và đủ là rất khó khăn, và nhiều nghiên cứu chỉ dừng lại ở các điều kiện đủ.

    • Evidence: "Đầu tiên, chúng tôi giới thiệu hàm đánh giá phụ thuộc tham số cho bài toán tựa cân bằng mạnh và thiết lập tính liên tục của các hàm đánh giá này. Sau đó, trình bày hai giả thiết căn bản liên quan đến hàm đánh giá và chứng tỏ rằng các giả thiết này không chỉ là điều kiện cần mà còn là điều kiện đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm cho các bài toán này (Định lý 1.6 và Định lý 1.7)." (tr. 9).
    • Ví dụ minh họa: Luận án cũng cung cấp các ví dụ phản chứng, chẳng hạn như ví dụ trên trang 27, nơi "K là không nửa liên tục trên tại (x, 0)" và ánh xạ nghiệm S1 không nửa liên tục trên tại 0, cho thấy sự nhạy cảm của các tính chất liên tục đối với các giả thiết về ánh xạ đa trị K và T. Việc chứng tỏ rằng ngay cả một thay đổi nhỏ trong giả thiết (ví dụ, tính đóng của tập mức L≥C0 f không được thỏa mãn) cũng có thể làm mất đi tính nửa liên tục trên của S1 (tr. 28) càng nhấn mạnh tầm quan trọng và sự tinh tế của các điều kiện được thiết lập.

  4. Replication protocol provided? Có, mặc dù không có "giao thức nhân rộng" theo nghĩa nghiên cứu thực nghiệm hay thống kê, nhưng luận án này cung cấp một giao thức nhân rộng lý thuyết đầy đủ. Trong toán học, nhân rộng có nghĩa là một nhà nghiên cứu khác có thể đi theo các định nghĩa, định lý, và các bước chứng minh được trình bày trong luận án để xác minh tính đúng đắn của các kết quả.

    • Định nghĩa rõ ràng: Các khái niệm như ánh xạ đa trị (Định nghĩa 1.1), nửa liên tục Berge và Hausdorff (Định nghĩa 1.2), hàm đánh giá (Định nghĩa 1.3, 2.6), và hội tụ Painlevé-Kuratowski (Định nghĩa 2.1) đều được định nghĩa một cách chặt chẽ.
    • Giả thiết cụ thể: Mỗi định lý và mệnh đề đều liệt kê các giả thiết chính xác (ví dụ: "A là compắc, K và T là liên tục trong A × Γ và có giá trị compắc" trong Định lý 1.6, tr. 29).
    • Chứng minh chi tiết: Luận án bao gồm các chứng minh toán học chi tiết cho tất cả các kết quả chính (định lý, mệnh đề, hệ quả). Ví dụ, phần chứng minh Định lý 1.4 (tr. 23) và Định lý 2.1 (tr. 43) minh họa rõ ràng các bước suy luận logic và các công cụ được sử dụng. Bất kỳ nhà toán học nào có đủ kiến thức nền tảng trong giải tích hàm và giải tích biến phân đều có thể tái tạo các chứng minh này để đạt được cùng kết quả.

  5. 10-year research agenda outlined? Có, luận án đã phác thảo một chương trình nghiên cứu dài hạn thông qua phần "Limitations và Future Research" (tr. 85-86). Mặc dù không ghi rõ "10-year agenda", nhưng các hướng đề xuất có thể dễ dàng kéo dài trong một thập kỷ nghiên cứu:

    • Mở rộng sang các lớp bài toán tối ưu véctơ và đa mức khác: Điều này bao gồm nghiên cứu các cấu trúc cân bằng phức tạp hơn, có thể là các mô hình cân bằng đa cấp lồng nhau.
    • Phân tích tính liên tục Lipschitz/Hölder: Đi sâu vào các loại liên tục mạnh hơn, cung cấp các ước lượng định lượng về độ nhạy của nghiệm, một lĩnh vực đòi hỏi các kỹ thuật tinh vi hơn.
    • Nghiên cứu với giả thiết yếu hơn: Khám phá các bài toán dưới các điều kiện ít ràng buộc hơn (ví dụ: không gian không compắc, hàm không lồi, ánh xạ không liên tục), mở rộng phạm vi ứng dụng của lý thuyết.
    • Tích hợp phương pháp số và thuật toán: Phát triển các thuật toán hiệu quả dựa trên lý thuyết đã xây dựng để tìm kiếm nghiệm, đồng thời phân tích tính hội tụ và hiệu suất của chúng. Đây là một hướng nghiên cứu cầu nối giữa lý thuyết và tính toán.
    • Áp dụng cho các mô hình kinh tế và kỹ thuật cụ thể hơn: Tập trung vào các ứng dụng chuyên biệt trong các ngành công nghiệp như tài chính, năng lượng, hoặc y tế, nơi các bài toán tối ưu và cân bằng đóng vai trò quan trọng.

Kết luận

Luận án này đã hoàn thành mục tiêu đặt ra một cách xuất sắc, tạo ra những đóng góp đáng kể và có ảnh hưởng sâu rộng trong lĩnh vực giải tích ổn định và tối ưu hóa.

  1. Thiết lập các điều kiện cần và đủ cho tính ổn định của ánh xạ nghiệm: Luận án đã thành công trong việc "chứng tỏ rằng các giả thiết [Hp(γ0) và Hh(γ0)] này không chỉ là điều kiện cần mà còn là điều kiện đủ cho tính nửa liên tục dưới Hausdorff và liên tục Hausdorff của ánh xạ nghiệm cho các bài toán tựa cân bằng mạnh" (tr. 9). Đây là một tiến bộ quan trọng, vượt qua giới hạn của các công trình trước đây chỉ cung cấp điều kiện đủ.
  2. Phát triển phương pháp mới cho hội tụ Painlevé-Kuratowski: Bằng cách giới thiệu "dãy hàm đánh giá cho bài toán tựa cân bằng véctơ" (tr. 10), luận án đã xây dựng một khung phân tích mạnh mẽ để nghiên cứu tính hội tụ trên, hội tụ dưới và hội tụ Painlevé-Kuratowski của tập nghiệm, một công cụ thiết yếu cho phân tích ổn định trong môi trường nhiễu.
  3. Mở rộng và đặc trưng hóa tính đặt chỉnh Levitin-Polyak: Luận án đã mở rộng khái niệm đặt chỉnh Levitin-Polyak lên "bài toán cân bằng hai mức véctơ mạnh với nón di động" (tr. 12) và đặc biệt "mô tả đặc trưng mêtric các đặt chỉnh Levitin-Polyak và đặt chỉnh Levitin-Polyak tổng quát" (Định lý 3.11). Điều này giải quyết một vấn đề mở, cung cấp hiểu biết sâu sắc hơn về sự vững chắc của nghiệm.
  4. Thống nhất và áp dụng cho đa dạng các mô hình tối ưu phức tạp: Các đóng góp lý thuyết đã được áp dụng thành công cho nhiều mô hình thực tiễn quan trọng, bao gồm bất đẳng thức tựa biến phân (MQVI, SQVI), bất đẳng thức biến phân với ràng buộc cân bằng (VIEC), bài toán tối ưu với ràng buộc cân bằng (OPEC) và đặc biệt là bài toán mạng giao thông với ràng buộc cân bằng (TNEC) (tr. 6, 12).
  5. Cung cấp các công cụ phân tích mới: Luận án đã giới thiệu các hàm đánh giá phụ thuộc tham số và dãy hàm đánh giá, cùng với các giả thiết căn bản mới, làm phong phú thêm kho công cụ giải tích cho các nhà nghiên cứu trong lĩnh vực tối ưu và giải tích biến phân.

Những đóng góp này không chỉ nâng cao "paradigm advancement" trong giải tích ổn định bằng cách cung cấp các điều kiện toán học chặt chẽ hơn và các công cụ phân tích tinh vi hơn, mà còn mở ra "3+ new research streams" như phân tích các loại liên tục mạnh hơn (Lipschitz/Hölder), nghiên cứu các lớp bài toán tối ưu véctơ đa cấp tổng quát, và phát triển các thuật toán số dựa trên nền tảng lý thuyết đã thiết lập.

Với sự tập trung vào các vấn đề có "global relevance" và so sánh liên tục với các công trình quốc tế của các học giả như Mordukhovich, Maudafi, Tikhonov, Levitin và Polyak, luận án này đã đóng góp vào tri thức toán học ứng dụng trên phạm vi toàn cầu. Legacy của luận án có thể được đo lường bằng "measurable outcomes" như số lượng trích dẫn các công trình công bố từ luận án ("potential citations estimate"), sự ảnh hưởng của nó đến các chương trình nghiên cứu tiếp theo và khả năng áp dụng của các phương pháp được đề xuất trong việc giải quyết các bài toán thực tiễn phức tạp trong các lĩnh vực như logistics, giao thông và kinh tế. Luận án thực sự là một tài liệu tham khảo giá trị cho cộng đồng khoa học.