Tổng quan về luận án

Lý thuyết tối ưu hóa hiện đại đóng vai trò trung tâm trong toán học ứng dụng, khoa học dữ liệu, kinh tế lượng và kỹ thuật điều khiển tự động. Trong bối cảnh các hệ thống thực tế ngày càng phức tạp, việc đưa ra quyết định không còn giới hạn ở các bài toán tối ưu vô hướng (Scalar Optimization) hay tối ưu vector đơn trị (Vector Optimization), mà đã phát triển mạnh mẽ sang các mô hình bài toán tối ưu tập (Set Optimization Problems - SOP) và bài toán cân bằng đa trị (Set-Valued Equilibrium Problems - SEP). Luận án tiến sĩ toán học chuyên ngành Toán ứng dụng (Mã số: 9460112) của Nghiên cứu sinh Nguyễn Hữu Danh, thực hiện dưới sự hướng dẫn khoa học của GS. Lâm Quốc Anh và TS. Võ Sĩ Trọng Long tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia TP. Hồ Chí Minh (2023), mang tiêu đề "Các tính chất nghiệm của bài toán tối ưu và các dạng mở rộng" (Properties of solutions to optimization problems and their generalizations), là một công trình khoa học tiên phong khai phá sâu sắc các tính chất định tính và định lượng của tập nghiệm dưới tác động của các yếu tố nhiễu tham số.

Khoảng trống nghiên cứu (Research Gap) cốt lõi mà luận án giải quyết xuất phát từ thực tiễn toán học: phần lớn các nghiên cứu trước đây (điển hình như công trình của Xu và Li [2015, 2017], Han và Huang [2019, 2020]) chủ yếu tập trung vào tính nửa liên tục định tính (Berge semicontinuity) của ánh xạ nghiệm theo các quan hệ thứ tự tập kiểu $u$ hoặc kiểu $l$. Rất hiếm công trình thiết lập được các điều kiện đủ tường minh cho tính liên tục định lượng theo nghĩa khoảng cách Hausdorff, tính liên tục Hölder và tính liên tục Lipschitz đối với ánh xạ nghiệm xấp xỉ của bài toán tối ưu tập và bài toán cân bằng đa trị dạng mạnh. Hơn thế nữa, đối với bài toán tối ưu vector trong không gian tuyến tính thực không nhất thiết trang bị cấu trúc tôpô, các công trình của Adán và Novo [2003, 2004], Günther, Khazayel và Tammer [2021] mới dừng lại ở việc mô tả điều kiện tối ưu cho nghiệm hữu hiệu, hoàn toàn bỏ ngỏ các tiêu chuẩn đặt chỉnh (Well-posedness) định lượng và điều kiện hội quy nghiệm khi có nhiễu dữ liệu.

Luận án tập trung giải quyết 4 câu hỏi nghiên cứu và hệ giả thuyết khoa học:

  1. Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để xây dựng và khảo sát đầy đủ các đặc trưng giải tích (tính lồi, tựa lồi, liên tục Hölder/Lipschitz) của các hàm vô hướng hóa phi tuyến Gerstewitz suy rộng cho tập hợp?
    • Giả thuyết 1 (H1): Các hàm vô hướng hóa Gerstewitz suy rộng kiểu $l$ ($\Gamma_{e^*}^l$) và kiểu $u$ ($\Gamma_e^u$) bảo toàn được tính lồi, tựa lồi và tính liên tục Hölder từ ánh xạ mục tiêu ban đầu sang không gian thực.
  2. Câu hỏi nghiên cứu 2 (RQ2): Cơ chế vô hướng hóa phi tuyến có thể thiết lập mối quan hệ tương đương chính xác giữa bài toán tối ưu tập (SOP), bài toán cân bằng đa trị (SEP) với bài toán cân bằng vô hướng (EP) như thế nào?
    • Giả thuyết 2 (H2): Dưới các điều kiện về tính $C$-chính thường, $C$-đóng và $C$-bị chặn, tập nghiệm xấp xỉ của (SOP) và (SEP) trùng khớp hoàn toàn với tập nghiệm của bài toán cân bằng vô hướng tương ứng.
  3. Câu hỏi nghiên cứu 3 (RQ3): Những điều kiện đủ nào bảo đảm tính liên tục Hausdorff, liên tục Hölder và Lipschitz cho ánh xạ nghiệm xấp xỉ của bài toán tối ưu tập và bài toán cân bằng đa trị dạng mạnh?
    • Giả thuyết 3 (H3): Sự kết hợp giữa tính liên tục Hölder của hàm Gerstewitz suy rộng với các tính chất lồi theo nón và tính chất compact của miền ràng buộc sẽ xác lập được tính ổn định Hölder/Lipschitz của ánh xạ nghiệm.
  4. Câu hỏi nghiên cứu 4 (RQ4): Làm thế nào để thiết lập điều kiện đặt chỉnh Levitin-Polyak cho bài toán tối ưu vector trong không gian tuyến tính không có cấu trúc tôpô?
    • Giả thuyết 4 (H4): Việc sử dụng phần trong đại số $\text{core}(C)$, bao đóng đại số $\text{lin}(A)$ kết hợp với khái niệm nửa liên tục vector suy rộng và độ đo tính không compact sẽ định hình tường minh tính đặt chỉnh Levitin-Polyak.

Khung lý thuyết của luận án được xây dựng vững chắc trên nền tảng Giải tích biến phân (Variational Analysis), Giải tích đa trị (Set-Valued Analysis), Lý thuyết trật tự nón (Cone Order Theory) và Lý thuyết điểm bất động KKM (Knaster-Kuratowski-Mazurkiewicz Lemma). Đóng góp mang tính đột phá của luận án được minh chứng thông qua 4 công trình khoa học quốc tế chất lượng cao ([A1]–[A4]) công bố trên các tạp chí chuyên ngành uy tín thuộc danh mục ISI/Scopus.

Literature Review và Positioning

Lý thuyết tối ưu hóa và tính ổn định nghiệm đã trải qua nhiều giai đoạn phát triển với các dòng chảy học thuật then chốt:

Dòng nghiên cứu thứ nhất tập trung vào phương pháp vô hướng hóa phi tuyến. Khởi xướng bởi Gerstewitz [1983] với hàm phân tách phi tuyến nổi tiếng, phương pháp này sau đó được mở rộng cho các bài toán tối ưu tập bởi Araya [2018], người đã phân loại bốn dạng hàm Gerstewitz cho ánh xạ đa trị nhằm nghiên cứu định lý tách không lồi và định lý thay thế Gordan. Tiếp đó, Han và Huang [2019] nghiên cứu tính lồi và tính liên tục của hàm Gerstewitz suy rộng để khảo sát tính nửa liên tục trên/dưới của nghiệm bài toán tối ưu tập.

Dòng nghiên cứu thứ hai liên quan đến tính ổn định của bài toán tối ưu tập chứa tham số. Khái niệm tính nửa liên tục của ánh xạ nghiệm xuất hiện đầu tiên trong công trình của Xu và Li [2015] dựa trên quan hệ thứ tự tập kiểu $u$ với các điều kiện bức (coercive condition) mang tên "tính chất $u$" và "tính chất $u$ ngược". Năm 2017, Xu và Li đã nới lỏng giả thiết này bằng việc xây dựng ánh xạ mức dưới kiểu $u$. Gần đây, Han và Huang [2020] đưa ra quan hệ thứ tự tập yếu kiểu $w_u$ và $w_l$ để tiếp tục nghiên cứu tính nửa liên tục. Tuy nhiên, toàn bộ các công trình này chỉ dừng lại ở tính nửa liên tục định tính (Berge semicontinuity), hoàn toàn chưa giải quyết được tính liên tục định lượng theo khoảng cách Hausdorff cũng như tính liên tục bậc Hölder/Lipschitz khi có biến động tham số.

Dòng nghiên cứu thứ ba khảo sát không gian tuyến tính thực không trang bị cấu trúc tôpô. Adán và Novo [2003, 2004, 2006] giới thiệu các khái niệm tựa lồi suy rộng theo nón, dưới tựa lồi suy rộng và khái niệm bao đóng vector để mô tả nghiệm hữu hiệu yếu và chính thường (nghiệm Hurwicz, Benson, Borwein). Mới đây, Günther, Khazayel và Tammer [2021] mở rộng bài toán tối ưu vector với nón lồi không nhất thiết phải nhọn hay có phần trong tôpô khác rỗng, sử dụng phần trong đại số suy rộng để đặc trưng hóa nghiệm Henig. Dẫu vậy, các tác giả chưa thể thiết lập được điều kiện hội tụ dãy nghiệm hay tính đặt chỉnh khi dữ liệu bị nhiễu.

Dòng nghiên cứu thứ tư là bài toán cân bằng vector và đa trị (Equilibrium Problems - EP/SEP), được xem là mô hình tổng quát chứa đựng bài toán tối ưu, bài toán bất đẳng thức biến phân và bài toán điểm yên ngựa (Blum & Oettli [1994], Bianchi & Pini [2003]). Trong khi Gong, Tammer [2011] hay Lâm Quốc Anh và đồng nghiệp [2018] mới tiếp cận tính liên tục Hölder cho nghiệm duy nhất hoặc dạng cân bằng yếu, thì bài toán cân bằng đa trị dạng mạnh vẫn thiếu vắng các tiêu chuẩn Lipschitz trực tiếp.

Luận án của NCS. Nguyễn Hữu Danh định vị chính xác tại giao điểm của 4 dòng chảy học thuật trên, tạo ra bước nhảy vọt khi vượt qua giới hạn của không gian tôpô chuẩn tắc, mở rộng kỹ thuật vô hướng hóa phi tuyến Gerstewitz cho cả hai quan hệ thứ tự tập kiểu $l$ và kiểu $u$, từ đó xây dựng thành công lý thuyết ổn định định lượng toàn diện.

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

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

Luận án mở rộng và làm phong phú hệ thống lý thuyết giải tích biến phân và lý thuyết tối ưu tập thông qua 4 đóng góp nền tảng:

  1. Mở rộng lý thuyết hàm vô hướng hóa Gerstewitz: Phát triển hoàn chỉnh họ hàm vô hướng hóa phi tuyến Gerstewitz suy rộng cho tập hợp $A, B \in \mathcal{P}_0(Y)$ trong không gian định chuẩn $Y$ với nón lồi đóng $C \subset Y$:

    • Hàm kiểu $l$: $\Gamma_{e^}^l(A, B) = \sup_{a \in B} \inf{t \in \mathbb{R} \mid a \in te^ + A + C}$
    • Hàm kiểu $u$: $\Gamma_e^u(A, B) = \sup_{p \in A} \inf{t \in \mathbb{R} \mid p \in te + B - C}$ Chứng minh chặt chẽ rằng các hàm này bảo toàn tính lồi, tính tựa lồi và thỏa mãn tính liên tục Hölder cấp $\beta$ trên tích Descartes của các không gian metric.

  2. Thiết lập cầu nối tương đương giữa SOP, SEP và EP: Chứng minh mệnh đề then chốt: phần tử $x \in K(\lambda)$ là một $\varepsilon$-nghiệm của bài toán tối ưu tập (SOP) ứng với quan hệ thứ tự $r \in {l, u}$ khi và chỉ khi $x$ là một $\varepsilon$-nghiệm của bài toán cân bằng vô hướng: $$\text{Tìm } \bar{x} \in K(\lambda) \text{ sao cho } f^r(\bar{x}, y, w) \ge 0, \quad \forall y \in K(\lambda)$$ trong đó $f^l(x, y, w) := \Gamma_{e^*}^l(F(y, w), F(x, w))$ và $f^u(x, y, w) := \Gamma_e^u(F(x, w), F(y, w))$.

  3. Xác lập tiêu chuẩn ổn định định lượng Hölder và Lipschitz: Đưa ra các định lý cấu trúc khẳng định tính liên tục Hausdorff và liên tục Hölder của ánh xạ nghiệm xấp xỉ $\mathcal{T}^l(\varepsilon, \lambda, w)$ và $\mathcal{T}^u(\varepsilon, \lambda, w)$, cung cấp công cụ kiểm soát chính xác sai số của nghiệm khi dữ liệu bị nhiễu loạn với tốc độ suy giảm bậc $\beta$: $$H(\mathcal{T}^r(\varepsilon_1, \lambda_1, w_1), \mathcal{T}^r(\varepsilon_2, \lambda_2, w_2)) \le L_1 |\lambda_1 - \lambda_2|^{\beta_1} + L_2 |w_1 - w_2|^{\beta_2} + L_3 |\varepsilon_1 - \varepsilon_2|$$

  4. Đột phá lý thuyết trong không gian tuyến tính không tôpô: Sử dụng phần trong đại số $\text{core}(C) := {a \in A \mid \forall v \in Y, \exists \lambda > 0 \text{ sao cho } a + [0, \lambda]v \subset A}$ và bao đóng đại số $\text{lin}(A) := {a \in Y \mid \exists w \in A \text{ sao cho } [w, a[ \subset A}$, tác giả đặc trưng hóa thành công tính $C$-nửa liên tục vector và chứng minh các định lý đặt chỉnh Levitin-Polyak mà không cần bất kỳ giả định nào về tôpô của không gian nghiệm.

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

Khung phân tích của luận án tích hợp ba lý thuyết giải tích hiện đại tạo nên một chu trình nghiên cứu khép kín:

  • Tính tích hợp lý thuyết: Kết hợp giải tích đa trị (Set-Valued Analysis), hình học nón lồi (Convex Cone Geometry) và giải tích hàm phi tuyến (Nonlinear Functional Analysis).
  • Cách tiếp cận giải tích mới mẻ: Thay vì nghiên cứu trực tiếp các quan hệ tập phức tạp $\le_C^l$ và $\le_C^u$ vốn không có cấu trúc tuyến tính, luận án chuyển hóa toàn bộ cấu trúc sang các tam hàm vô hướng phi tuyến, khai thác tính chất bảo toàn tính liên tục dưới tác động của toán tử $\sup-\inf$.
  • Xác định tường minh các điều kiện biên (Boundary conditions): Luận án chỉ rõ ranh giới áp dụng đối với nón lồi $C$ có đỉnh thỏa mãn $\text{int}C \ne \emptyset$ (hoặc $\text{core}(C) \ne \emptyset$) và tập giá trị của ánh xạ đa trị $F$ phải thỏa mãn tính $C$-chính thường ($A + C \ne Y$), $C$-đóng và $C$-bị chặn.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ chặt chẽ lập trường nhận thức luận duy lý tiên đề (Axiomatic Rationalism & Deductive Realism) của toán học thuần túy và ứng dụng. Thiết kế nghiên cứu mang tính cấu trúc đa tầng:

  • Tầng 1 (Cơ sở đại số và topo suy rộng): Khảo sát cấu trúc không gian tuyến tính thực $Y$ sắp thứ tự bởi nón lồi đóng đại số $C$ với $\text{core}(C) \ne \emptyset$. Xây dựng các khái niệm $C$-nửa liên tục trên/dưới qua tập mức đại số: $$\text{lev}{\le_C} g := {x \in X \mid g(x) \le_C b}, \quad \text{lev}{<_C} g := {x \in X \mid g(x) <_C b}$$
  • Tầng 2 (Mô hình hóa phi tuyến): Xây dựng các phiếm hàm vô hướng hóa $\Gamma_{e^*}^l, \Gamma_e^u, \tau_a^l(x), \tau_a^u(x), T^l(x, y), T^u(x, y)$.
  • Tầng 3 (Phân tích ổn định và đặt chỉnh): Sử dụng tôpô metric trên không gian tham số $W, Z, \Lambda$ để đánh giá tốc độ hội tụ của tập nghiệm thông qua khoảng cách Hausdorff: $$H(A, B) := \max{\sup_{a \in A} d(a, B), \sup_{b \in B} d(b, A)}$$

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu áp dụng các phương pháp toán học nghiêm ngặt:

  • Phương pháp phân tích và tổng hợp lý thuyết: Khai thác các kỹ thuật giải tích đa trị, giải tích lồi và toán tử đơn điệu để thiết lập các bất đẳng thức giải tích cho hàm Gerstewitz.
  • Phương pháp KKM (Knaster-Kuratowski-Mazurkiewicz): Chứng minh tính khác rỗng của tập nghiệm bài toán tối ưu tập bằng cách xây dựng ánh xạ đa trị KKM $H(b) := {x \in K(\lambda) \mid F(x, w) \le_C^{r, \varepsilon} F(b, w)}$ và áp dụng Bổ đề KKM-Fan mở rộng cho tập compact trong không gian metric.
  • Phương pháp phản ví dụ (Counter-examples): Xây dựng hệ thống các phản ví dụ sắc bén nhằm chứng minh tính không khả nghịch của các chiều mệnh đề (ví dụ: chứng minh hàm $0$-mức dưới tựa lõm chưa chắc là tựa lõm; tính $C$-tựa nửa liên tục không bảo toàn qua phép cộng vector trong khi tính $C$-nửa liên tục thì được bảo toàn).
  • Tam giác đạc phương pháp luận (Methodological Triangulation): Kết hợp đồng thời phương pháp giải tích hàm, topo đại số và lý thuyết thứ tự để kiểm chứng chéo tính đúng đắn tuyệt đối của mọi định lý.

Data và phân tích

Dữ liệu nghiên cứu là các đối tượng toán học trừu tượng được định nghĩa chính xác:

  • Hệ thống ký hiệu và không gian: Các không gian metric $(X, d_X)$, $(Z, d_Z)$, $(W, d_W)$, không gian định chuẩn $(Y, |\cdot|Y)$, không gian đối ngẫu $Y^$, nón đối ngẫu $C^ := {\xi \in Y^* \mid \xi(c) \ge 0, \forall c \in C}$, và tập cơ sở chuẩn hóa $B{e^}^ := {\xi \in C^* \mid \xi(-e^*) = 1}$.
  • Kỹ thuật phân tích phi tuyến: Đánh giá biểu thức vô hướng hóa kép thông qua định lý minimax: $$\tau_a^l(x) = \inf_{y \in F(x)} \sup_{\xi \in B_{e^}^} \xi(a - y)$$
  • Kiểm tra độ vững chắc (Robustness Checks): Mọi kết quả về tính liên tục Lipschitz đều được kiểm chứng với các dạng nón khác nhau (nón chuẩn, nón nhọn, nón có phần trong đại số khác rỗng) và các giá trị tham số suy biến.

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

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

Luận án mang lại 5 phát hiện khoa học mang tính bước ngoặt:

  1. Phát hiện 1 (Đặc tính giải tích của hàm Gerstewitz suy rộng): Nếu ánh xạ đa trị $F: X \to \mathcal{P}_0(Y)$ là $C$-lồi (tương ứng $C$-tựa lồi) trên tập lồi $X$, thì hàm vô hướng hóa $T^l(\cdot, y)$ là hàm lồi (tương ứng tựa lồi) trên $X$. Đặc biệt, nếu $F$ liên tục Hölder với bậc $\beta \in (0, 1]$ và hằng số $m$, tức là: $$F(x_1) \subset F(x_2) + m B[0, |x_1 - x_2|^\beta]$$ thì các hàm vô hướng hóa $\tau_a^l, \tau_a^u, T^l, T^u$ đều liên tục Hölder trên toàn miền xác định.

  2. Phát hiện 2 (Sự tương đương giữa SOP và EP): Thiết lập sự tương đương hoàn toàn giữa nghiệm của bài toán tối ưu tập và bài toán cân bằng vô hướng: $$x \in \mathcal{T}^l(\varepsilon, \lambda, w) \iff \Gamma_{e^*}^l(F(y, w), F(x, w)) - \varepsilon \le 0, \quad \forall y \in K(\lambda)$$ Kết quả này chuyển hóa toàn bộ độ phức tạp của bài toán tối ưu tập đa trị về một bất đẳng thức vô hướng duy nhất, cho phép áp dụng toàn bộ công cụ mạnh mẽ của lý thuyết cân bằng.

  3. Phát hiện 3 (Điều kiện đủ cho tính liên tục Hausdorff và Hölder của SOP): Dưới các điều kiện về tính liên tục Hausdorff của ánh xạ ràng buộc $K(\cdot)$ và tính liên tục Hölder của ánh xạ mục tiêu $F(\cdot, \cdot)$, ánh xạ nghiệm xấp xỉ $\mathcal{T}^r(\varepsilon, \lambda, w)$ liên tục Hausdorff và thỏa mãn tính liên tục Hölder theo cả ba tham số $(\varepsilon, \lambda, w)$.

  4. Phát hiện 4 (Tính liên tục Lipschitz của bài toán cân bằng đa trị SEP): Xây dựng thành công điều kiện đủ cho tính liên tục Lipschitz của ánh xạ nghiệm xấp xỉ đối với bài toán cân bằng đa trị dạng mạnh: $$\text{Tìm } \bar{x} \in K(\lambda) \text{ sao cho } F(\bar{x}, y, w) \subset -C, \quad \forall y \in K(\lambda)$$ thông qua hàm khoảng cách định hướng và hàm Gerstewitz hiệu chỉnh $\xi_e(y) := \inf{t \in \mathbb{R} \mid y + te \in C}$.

  5. Phát hiện 5 (Tiêu chuẩn đặt chỉnh Levitin-Polyak không cần tôpô): Thiết lập điều kiện cần và đủ cho tính đặt chỉnh Levitin-Polyak của bài toán tối ưu vector trong không gian tuyến tính thực tổng quát, chỉ sử dụng cấu trúc đại số $\text{core}(C)$ và độ đo tính không compact Hausdorff, mở rộng hoàn toàn kết quả cổ điển vốn chỉ áp dụng trong không gian Banach.

Implications đa chiều

  • Ý nghĩa lý thuyết: Giải quyết trọn vẹn bài toán mở về mối liên hệ định lượng giữa tính liên tục của dữ liệu đầu vào và tính liên tục của tập nghiệm trong tối ưu hóa tập hợp.
  • Đổi mới phương pháp luận: Cung cấp phương pháp vô hướng hóa phi tuyến hai chiều (kiểu $l$ và kiểu $u$), mở ra tiêu chuẩn nghiên cứu mới cho các bài toán tối ưu đa trị có cấu trúc nón phức tạp.
  • Ứng dụng thực tiễn trong kỹ thuật và thuật toán: Tính ổn định Lipschitz của ánh xạ nghiệm là điều kiện tiên quyết để đảm bảo các thuật toán số (như thuật toán Gradient suy rộng, thuật toán điểm proxi, thuật toán lặp Halpern) hội tụ bền vững. Trong thực tế, khi dữ liệu bị nhiễu do sai số đo đạc, tính liên tục Lipschitz đảm bảo rằng nghiệm tìm được không bị sai lệch đột biến.
  • Ứng dụng trong kinh tế và tối ưu hóa hệ thống: Ứng dụng trực tiếp trong bài toán tối ưu hóa danh mục đầu tư đa mục tiêu (Robust Portfolio Optimization), lý thuyết trò chơi đa trị (Set-Valued Game Theory) và bài toán quy hoạch mạng lưới giao thông chịu tác động của tham số ngẫu nhiên.

Limitations và Future Research

Mặc dù đạt được những kết quả xuất sắc, tác giả đã thẳng thắn chỉ ra các giới hạn lý thuyết mang tính bản chất:

  1. Giới hạn về cấu trúc nón: Toàn bộ lý thuyết vô hướng hóa trong luận án đều giả định nón lồi $C$ là nón rắn, nghĩa là $\text{int}C \ne \emptyset$ (hoặc $\text{core}(C) \ne \emptyset$). Kết quả này chưa bao quát được các không gian vô hạn chiều phổ biến (như không gian $L^p$ với $p \in [1, \infty)$) nơi nón dương $L_+^p$ có phần trong tôpô rỗng.
  2. Giới hạn về dạng nghiệm: Luận án mới chỉ tập trung vào nghiệm hữu hiệu yếu và nghiệm xấp xỉ tiêu chuẩn theo quan hệ thứ tự kiểu $l$ và $u$, chưa mở rộng cho các khái niệm nghiệm hữu hiệu chính thường nâng cao như nghiệm Henig, nghiệm Benson, nghiệm Borwein hay nghiệm Geoffrion.
  3. Giới hạn về quan hệ thứ tự tập: Các kết quả ổn định chủ yếu dựa trên quan hệ trừ tập đại số kinh điển của Minkowski ($A \subset B - C$), chưa khảo sát trên các quan hệ cải tiến (Improvement sets), tập radiant hoặc các quan hệ hai ngôi phi tuyến tổng quát.

Chương trình nghiên cứu 10 năm tới (Research Agenda) tập trung vào 4 hướng phát triển:

  • Hướng 1: Xây dựng lý thuyết hàm vô hướng hóa phi tuyến cho các nón không rắn (Non-solid cones) thông qua khái niệm phần trong đại số suy rộng và tựa phần trong tương đối (Quasi-relative interior).
  • Hướng 2: Mở rộng tiêu chuẩn ổn định Hölder/Lipschitz cho các dạng nghiệm Henig, Benson và Borwein của bài toán tối ưu tập và cân bằng đa trị.
  • Hướng 3: Khảo sát tính ổn định nghiệm thông qua tập cải tiến (Improvement sets) và nón cụt (Bifurcation cones) trong không gian Banach vô hạn chiều.
  • Hướng 4: Phát triển các thuật toán tối ưu hóa số (Numerical algorithms) dựa trên hàm Gerstewitz suy rộng để giải quyết các bài toán tối ưu lồi đa mục tiêu trong học máy (Machine Learning) và xử lý ảnh số.

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

Luận án khẳng định vị thế khoa học xuất sắc với tầm ảnh hưởng học thuật sâu rộng:

  • Tác động học thuật quốc tế: Kết quả nghiên cứu đã được bình duyệt khắt khe và công bố trên 4 bài báo khoa học quốc tế uy tín thuộc hệ thống ISI/Scopus:
    • Bài báo [A1] công bố các tính chất nửa liên tục vector và đặt chỉnh Levitin-Polyak trong không gian tuyến tính.
    • Bài báo [A2] công bố tính liên tục Lipschitz của ánh xạ nghiệm xấp xỉ bài toán cân bằng đa trị.
    • Bài báo [A3] công bố tính lồi, tựa lồi và điều kiện tồn tại nghiệm của bài toán tối ưu tập qua hàm Gerstewitz suy rộng.
    • Bài báo [A4] công bố tính liên tục Hausdorff và Hölder của ánh xạ nghiệm xấp xỉ bài toán tối ưu tập.
  • Đóng góp cho cộng đồng toán học Việt Nam: Đóng góp đáng kể vào sự phát triển của trường phái Giải tích biến phân và Tối ưu hóa tại Việt Nam, đặc biệt là nhóm nghiên cứu Tối ưu và Hệ thống tại Trường Đại học Khoa học Tự nhiên – ĐHQG-HCM và Trường Đại học Tây Đô.
  • Tiềm năng ứng dụng liên ngành: Tạo nền tảng toán học giải tích tin cậy cho việc mô hình hóa các bài toán kinh tế lượng phức tạp, quản trị rủi ro tài chính định lượng và phân tích độ nhạy của các hệ động lực phi tuyến.

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

Nghiên cứu mang lại giá trị thiết thực cho nhiều nhóm đối tượng chuyên môn:

  • Nghiên cứu sinh và học viên cao học ngành Toán giải tích / Toán ứng dụng: Tiếp cận hệ thống tài liệu chuyên khảo mẫu mực về kỹ thuật xử lý giải tích đa trị, phương pháp vô hướng hóa phi tuyến và kỹ năng chứng minh toán học nghiêm ngặt.
  • Các nhà toán học và chuyên gia tối ưu hóa lý thuyết: Sở hữu một bộ công cụ giải tích mạnh mẽ (hàm vô hướng hóa Gerstewitz suy rộng kiểu $l$ và kiểu $u$) cùng các định lý nền tảng để tiếp tục phát triển lý thuyết cân bằng và tối ưu đa mục tiêu.
  • Các nhà phát triển thuật toán và kỹ sư R&D: Ứng dụng các đánh giá sai số Lipschitz/Hölder để xây dựng các tiêu chuẩn dừng tối ưu và chứng minh tốc độ hội quy của các thuật toán tối ưu hóa phân tán trong trí tuệ nhân tạo (AI/Deep Learning).
  • Các nhà kinh tế học định lượng và chuyên gia quản trị rủi ro: Sử dụng khung lý thuyết tối ưu tập để mô hình hóa sự bất định của thị trường khi các chỉ số tài chính không còn là điểm đơn lẻ mà là các tập hợp dao động.

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

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc thiết lập lý thuyết hàm vô hướng hóa Gerstewitz suy rộng hai chiều cho tập hợp ($\Gamma_{e^*}^l$ và $\Gamma_e^u$) và chứng minh trọn vẹn tính liên tục Hölder/Lipschitz của chúng. Công trình này mở rộng trực tiếp lý thuyết vô hướng hóa phi tuyến kinh điển của Gerstewitz [1983], Tammer [2003] và Araya [2018] từ không gian điểm sang không gian tập hợp $\mathcal{P}_0(Y)$, đồng thời vượt qua các kết quả định tính đơn thuần của Xu & Li [2015] và Han & Huang [2019].

2. Sự đổi mới về phương pháp luận so với các nghiên cứu quốc tế trước đây thể hiện ở điểm nào?

So với nghiên cứu của Xu & Li [2015, 2017] (chỉ sử dụng các điều kiện bức tôpô để chứng minh tính nửa liên tục Berge) và Günther et al. [2021] (chỉ dừng lại ở điều kiện tối ưu nghiệm hữu hiệu), luận án đã sáng tạo phương pháp "cầu nối vô hướng hóa" chuyển hóa tương đương bài toán tối ưu tập (SOP) sang bài toán cân bằng vô hướng (EP) thông qua hàm Gerstewitz suy rộng. Phương pháp này cho phép áp dụng đồng thời Bổ đề KKM-Fan và các kỹ thuật đánh giá khoảng cách Hausdorff để chứng minh tính ổn định định lượng Hölder/Lipschitz.

3. Phát hiện bất ngờ hoặc phản trực giác nhất trong luận án là gì?

Phát hiện bất ngờ nhất nằm ở tính không bảo toàn của tính $C$-tựa nửa liên tục qua phép cộng vector trong không gian tuyến tính không tôpô. Cụ thể, qua Phản ví dụ 3.1 và 3.2, tác giả chứng minh rằng tổng của hai ánh xạ $C$-tựa nửa liên tục trên có thể không còn là $C$-tựa nửa liên tục trên, trong khi tính $C$-nửa liên tục thông qua phần trong đại số $\text{core}(C)$ lại được bảo toàn nguyên vẹn. Điều này dẫn đến sự cần thiết phải kết hợp một ánh xạ $C$-tựa nửa liên tục với một ánh xạ $C$-nửa liên tục để đảm bảo tính đóng đại số của tập mức dưới.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) chặt chẽ không?

Có. Quy trình chứng minh toán học trong luận án được cấu trúc theo chuỗi logic tiên đề hoàn chỉnh: bắt đầu từ các định nghĩa đại số sơ cấp ($\text{core}$, $\text{lin}$), thiết lập các bổ đề kỹ thuật về tập mức, định nghĩa hàm vô hướng hóa và chứng minh từng bước các định lý ổn định. Mọi bước suy luận đều có căn cứ giải tích xác thực, không bỏ sót bất kỳ trường hợp suy biến nào và đi kèm hệ thống phản ví dụ chi tiết chứng minh tính chặt chẽ của các giả thiết.

5. Kế hoạch nghiên cứu 10 năm tới được phác thảo cụ thể ra sao?

Kế hoạch nghiên cứu 10 năm tới định hình 3 mục tiêu chiến lược: (1) Mở rộng hàm Gerstewitz sang lớp các nón không lồi và nón có phần trong rỗng trong không gian vô hạn chiều; (2) Thiết lập các điều kiện ổn định cho các lớp nghiệm nâng cao (Benson, Borwein, Henig); (3) Xây dựng gói phần mềm tính toán số chuyên dụng để giải các bài toán tối ưu tập và cân bằng đa trị ứng dụng trong kinh tế lượng và kỹ thuật điều khiển.

Kết luận

Luận án tiến sĩ "Các tính chất nghiệm của bài toán tối ưu và các dạng mở rộng" của Nghiên cứu sinh Nguyễn Hữu Danh là một công trình toán học xuất sắc, mẫu mực và toàn diện trong chuyên ngành Toán ứng dụng. Luận án đã mang lại 5 đóng góp cốt lõi:

  1. Xây dựng hoàn chỉnh lý thuyết giải tích cho họ hàm vô hướng hóa phi tuyến Gerstewitz suy rộng kiểu $l$ và kiểu $u$, chứng minh tường minh các đặc tính lồi, tựa lồi và liên tục Hölder.
  2. Thiết lập cầu nối giải tích tương đương chính xác giữa bài toán tối ưu tập (SOP), bài toán cân bằng đa trị (SEP) với bài toán cân bằng vô hướng (EP).
  3. Khám phá và chứng minh các điều kiện đủ đầu tiên cho tính liên tục Hausdorff và liên tục Hölder/Lipschitz của ánh xạ nghiệm xấp xỉ bài toán tối ưu tập.
  4. Xác lập các tiêu chuẩn định lượng đảm bảo tính liên tục Lipschitz cho ánh xạ nghiệm xấp xỉ bài toán cân bằng đa trị dạng mạnh.
  5. Phát triển lý thuyết đặt chỉnh Levitin-Polyak cho bài toán tối ưu vector trong không gian tuyến tính thực không trang bị cấu trúc tôpô dựa trên phần trong đại số $\text{core}(C)$ và độ đo tính không compact.

Công trình không chỉ giải quyết trọn vẹn các bài toán mở trong giải tích biến phân hiện đại mà còn mở ra 3 hướng nghiên cứu mới đầy tiềm năng về tối ưu hóa nón không rắn, lý thuyết nghiệm chính thường nâng cao và phát triển thuật toán số cho các bài toán tối ưu tập trong khoa học dữ liệu và kinh tế ứng dụng.