Tổng quan về luận án
Trong lý thuyết tối ưu hóa hiện đại và giải tích biến phân (Variational Analysis), bài toán tối ưu không trơn (nonsmooth optimization) và tối ưu đa trị (set-valued optimization) đóng vai trò nền tảng để mô hình hóa các hệ thống phức hợp phi tuyến tính, các bài toán cân bằng kinh tế, bài toán điều khiển tối ưu và bài toán tối ưu hóa đa mục tiêu với dữ liệu không chắc chắn (robust optimization). Luận án tiến sĩ chuyên ngành Toán ứng dụng (Mã số: 62460112) của Nghiên cứu sinh Võ Đức Thịnh với đề tài "Một số vi phân suy rộng và ứng dụng trong tối ưu không trơn" (thực hiện tại Trường Đại học Khoa học Tự nhiên – ĐHQG TP.HCM, dưới sự hướng dẫn khoa học của TS. Thái Doãn Chương và PGS. Nguyễn Lê Hoàng Anh) đã giải quyết những bài toán nền tảng mang tính thời sự của lý thuyết vi phân suy rộng cấp một và cấp hai trên không gian Banach vô hạn chiều và không gian hữu hạn chiều $\mathbb{R}^n$.
┌─────────────────────────────────────────────────────────┐
│ LÝ THUYẾT VI PHÂN SUY RỘNG VÀ BIẾN PHÂN │
└────────────────────────────┬────────────────────────────┘
│
┌────────────────────────────────┴────────────────────────────────┐
▼ ▼
┌──────────────────────────────────────┐ ┌──────────────────────────────────────┐
│ VI PHÂN SUY RỘNG CẤP MỘT THEO HƯỚNG │ │ GIẢI TÍCH BIẾN PHÂN CẤP HAI │
├──────────────────────────────────────┤ ├──────────────────────────────────────┤
│ • Dưới vi phân tương ứng tập Q: ∂_Q φ│ │ • Đạo hàm epi cấp hai: d²δ_S │
│ • Đối đạo hàm theo hướng: D*_u F │ │ • Đạo hàm graphical: DF │
│ • Ứng dụng: ĐK tối ưu bài toán đa trị│ │ • Ứng dụng: Tối ưu vững & Ràng buộc │
└──────────────────────────────────────┘ └──────────────────────────────────────┘
Khoảng trống học thuật cốt lõi (research gap) mà luận án định vị bắt nguồn từ hai hạn chế lớn trong y văn quốc tế:
- Giới hạn của vi phân suy rộng cấp một lồi truyền thống: Cấu trúc dưới vi phân Clarke $\partial_C \varphi(x)$ dù vững với hàm Lipschitz nhưng lại có độ bao hàm quá rộng, dẫn đến việc xấp xỉ thô và không nhạy với hướng suy biến, ví dụ hàm $\varphi(x) = -|x|$ thỏa mãn $0 \in \partial_C \varphi(0)$ nhưng điểm $0$ không phải là cực tiểu; đồng thời lý thuyết vi phân qua giới hạn của Mordukhovich (2006) đôi khi cho tập dưới vi phân rỗng đối với các hàm không Lipschitz (chẳng hạn $\varphi(x) = x^{1/3}$ tại $x=0$).
- Hạn chế của giải tích biến phân cấp hai hiện đại: Các công thức đạo hàm epi cấp hai (second-order epi-derivatives) gần đây của Mohammadi và cộng sự (2020) cho tập ràng buộc dạng nhúng $S = {x \in \mathbb{R}^n \mid \varphi(x) \in \Omega}$ vẫn còn ở dạng trừu tượng tổng quát thông qua đại lượng ẩn khó xác định $d^2 \delta_\Omega$, chưa thiết lập được công thức giải tích tường minh cho các hệ ràng buộc không chắc chắn vô hạn và hệ hợp hữu hạn (disjunctive systems).
Từ khoảng trống này, luận án xây dựng 4 câu hỏi nghiên cứu và 4 giả thuyết khoa học tương ứng:
- RQ1: Có thể xây dựng hệ thống quy tắc giải tích vi tích phân hoàn chỉnh cho dưới vi phân tương ứng với một tập $\partial_Q \varphi(x)$ (theo nghĩa Ginchev) và các đối đạo hàm theo hướng $D^{*N}F(z;u), D^{*m}F(z;u)$ (theo nghĩa Gfrerer) trên không gian Banach Asplund hay không?
- H1: Tồn tại quy tắc tính tổng, tích chuỗi và tính đóng của $\partial_Q \varphi(x)$ khi thỏa mãn điều kiện compắc pháp tuyến theo dãy (SNC).
- RQ2: Điều kiện cần và đủ cấp một cho nghiệm hữu hiệu/nghiệm Pareto của bài toán tối ưu đa trị không trơn dưới cấu trúc đạo hàm theo hướng được thiết lập như thế nào?
- H2: Các đối đạo hàm qua giới hạn theo hướng loại bỏ được điều kiện chính quy ràng buộc khắt khe và cung cấp điều kiện tối ưu hẹp hơn đối đạo hàm Mordukhovich cổ điển.
- RQ3: Có thể xác định công thức giải tích tường minh của đạo hàm epi cấp hai $d^2 \delta_S(x, \bar{y})(v)$ cho hàm chỉ của hệ ràng buộc không chắc chắn $S_U$ và hệ hợp hữu hạn $S_K$ hay không?
- H3: Đạo hàm epi cấp hai của hàm chỉ các hệ này được biểu diễn chính xác qua bao đóng của tập tiếp tuyến cấp hai và ma trận Hessian của các hàm thành phần.
- RQ4: Tiêu chuẩn nào đặc trưng cho tính ổn định cô lập (isolated calmness) của ánh xạ nghiệm phương trình tổng quát và tập điểm yên ngựa dưới nhiễu dữ liệu?
- H4: Tính ổn định cô lập được đặc trưng tương đương thông qua việc triệt tiêu ảnh của đạo hàm graphical $DF(\bar{x}, \bar{y})(0) = {0}$ đối với ánh xạ nón pháp tuyến.
Khung lý thuyết nền tảng (theoretical framework) kết hợp chặt chẽ giữa Giải tích biến phân Mordukhovich (Mordukhovich Variational Analysis), Lý thuyết hội tụ Epi và Chính quy Parabolic Rockafellar–Wets (Rockafellar–Wets Epi-convergence & Parabolic Regularity), và Lý thuyết tối ưu vững Ben-Tal–Nemirovski. Phạm vi nghiên cứu bao quát từ không gian Banach/Asplund tổng quát đến không gian Euclide hữu hạn chiều $\mathbb{R}^n$, giải quyết bài toán với dữ liệu không khả vi Fréchet và hệ ràng buộc đa diện/nón phi tuyến.
Literature Review và Positioning
Lịch sử phát triển của lý thuyết vi phân suy rộng phản ánh sự chuyển dịch mô hình (paradigm shift) từ không gian nền (primal space) sang không gian đối ngẫu (dual space) và từ cấu trúc lồi sang cấu trúc không lồi cục bộ:
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ Fermat (1637) ──► Newton & Leibniz (1684) ──► Bouligand (1930) / Severi (1935) │
│ (Vi phân cổ điển) (Giải tích toán học) (Nón tiếp tuyến Contingent) │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
│
▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ Clarke (1973): Đạo hàm suy rộng & Dưới vi phân lồi vững ∂_C φ │
│ ──► Tranh luận: Đánh đổi tính lồi lấy độ hẹp của tập xấp xỉ │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
│
▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ Mordukhovich (1976), Kruger-Mordukhovich (1980): Nón pháp tuyến qua giới hạn N(x; Ω) │
│ Ioffe (1981): Dưới vi phân gần đúng ──► Không gian Asplund vô hạn chiều │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
│
▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ Ginchev (2011), Gfrerer (2013): Vi phân suy rộng theo hướng │
│ Rockafellar (1988), Mohammadi et al. (2020): Giải tích biến phân cấp hai d²δ_S │
│ ──► POSITIONING CỦA LUẬN ÁN: Thiết lập công thức tường minh & Điều kiện tối ưu vững │
└────────────────────────────────────────────────────────────────────────────────────────┘
Trường phái tiếp cận không gian nền khởi nguồn từ nón tiếp tuyến contingent của Bouligand (1930) và Severi (1935), được mở rộng thành nửa đạo hàm dưới (lower semiderivative) bởi Aubin (1981), đạo hàm theo hướng Dini dưới bởi Ioffe (1981) và dưới đạo hàm (subderivative) bởi Rockafellar & Wets (1998): $$\varphi^\downarrow(x; v) := \liminf_{t \to 0^+, , w \to v} \frac{\varphi(x+tw) - \varphi(x)}{t} = \inf {r \in \mathbb{R} \mid (v, r) \in T((x, \varphi(x)); \text{epi}\varphi)}$$
Trường phái tiếp cận không gian đối ngẫu bắt đầu từ định nghĩa dưới vi phân hàm lồi của Rockafellar (1969), sau đó Clarke (1973, 1983) phát triển cho lớp hàm Lipschitz địa phương thông qua nón tiếp tuyến Clarke $T_C(x; \Omega)$. Tuy nhiên, cuộc tranh luận lớn giữa tính lồi và độ nhạy của vi phân suy rộng nảy sinh khi Ioffe (1984, 1986) cùng Mordukhovich & Shao (1995) chứng minh rằng dưới vi phân Clarke là cấu trúc lồi vững nhỏ nhất, nhưng vẫn quá lớn để mô tả chính xác cực tiểu không lồi. Nhằm vượt qua rào cản này, Mordukhovich (1976) và Kruger & Mordukhovich (1980) đã đề xuất phương pháp tiếp cận qua giới hạn không lồi (limiting approach), định nghĩa nón pháp tuyến qua giới hạn trong không gian hữu hạn chiều trực tiếp từ ánh xạ khoảng cách và hình chiếu Euclide:
"Nón pháp tuyến qua giới hạn (limiting normal cone), trong không gian hữu hạn chiều được Mordukhovich giới thiệu vào năm 1975 như sau: $N(x; \Omega) := \limsup_{x' \to x} [\text{cone}(x' - P(x'; \Omega))]$"
Trên không gian Asplund vô hạn chiều, nón này được xây dựng thông qua tập $\epsilon$-pháp tuyến Fréchet $\widehat{N}_\epsilon(x; \Omega)$. Tiếp tục quỹ đạo này, Ginchev (2011) và Gfrerer (2013) đưa ra khái niệm dưới vi phân và nón pháp tuyến theo hướng nhằm làm mịn cấu trúc đối đạo hàm.
So sánh với hai nghiên cứu quốc tế điển hình:
- So với Gfrerer (2013, 2014): Gfrerer chủ yếu phát triển giải tích theo hướng trên không gian hữu hạn chiều cho các bài toán bù phi tuyến; luận án của Võ Đức Thịnh đã mở rộng thành công đối đạo hàm chuẩn $D^{*N}F(z; u)$ và đối đạo hàm hỗn hợp $D^{*m}F(z; u)$ lên không gian Banach, thiết lập các quy tắc giải tích hoàn chỉnh mà trước đó chưa được chứng minh đầy đủ.
- So với Mohammadi, Mordukhovich & Sarabi (2020): Nhóm tác giả quốc tế dừng lại ở công thức tổng quát $d^2 \delta_\Gamma(x, \bar{y})(v)$ phụ thuộc vào giá trị trừu tượng $d^2 \delta_\Omega$; luận án đã bứt phá khi giải mã tường minh đạo hàm epi cấp hai cho hàm chỉ của hệ phương trình/bất phương trình không chắc chắn vô hạn và hệ hợp hữu hạn phi lồi, loại bỏ hoàn toàn các đại lượng ẩn.
Đóng góp lý thuyết và khung phân tích
Đóng góp cho lý thuyết
Luận án tạo ra những bước tiến mang tính đột phá cho giải tích biến phân hiện đại:
- Mở rộng lý thuyết vi phân suy rộng Ginchev–Gfrerer: Xây dựng định nghĩa và chứng minh tính đóng, quy tắc tính cho dưới vi phân tương ứng với một tập $\partial_Q \varphi(x)$ và nón pháp tuyến tương ứng với tập $N_Q(x; \Omega)$. Luận án chứng minh rằng nếu $\varphi$ khả vi chặt tương ứng với $Q$ tại $x$ với toán tử gradient riêng $\xi \in X^$ thì: $$\partial_Q \varphi(x) = {x^ \in X^* \mid \langle x^*, u \rangle \le \langle \xi, u \rangle, , \forall u \in Q}$$
- Hoàn thiện giải tích đối đạo hàm theo hướng cho ánh xạ đa trị: Thiết lập các quy tắc tính toán cho đối đạo hàm theo hướng $D^{*N}F(z; u)(\cdot)$ và $D^{*m}F(z; u)(\cdot)$, từ đó suy ra điều kiện cần và đủ cấp một sắc bén cho bài toán quy hoạch đa trị (set-valued optimization) với quan hệ thứ tự sinh bởi nón nhọn lồi đóng.
- Giải mã giải tích biến phân cấp hai cho hệ không chắc chắn: Thiết lập công thức tính đạo hàm epi cấp hai của hàm chỉ $\delta_{S_U}(x)$ đối với hệ ràng buộc không chắc chắn $S_U := {x \in \mathbb{R}^n \mid a^T \varphi(x) - b \le 0, , \forall (a, b) \in \mathcal{U}}$, thiết lập cầu nối chuyển đổi giữa hình học vi phân không gian nền và nón pháp tuyến không gian đối ngẫu.
- Tiêu chuẩn hóa tính ổn định cô lập của nghiệm: Thiết lập điều kiện cần và đủ cho tính ổn định cô lập (isolated calmness) của phương trình tổng quát $0 \in f(x) + N(x; S_U)$ thông qua đạo hàm graphical $DF(\bar{x}, \bar{y})(0) = {0}$.
┌────────────────────────────────────────────────────────┐
│ KHUNG PHÂN TÍCH BA TRỤ CỘT │
└───────────────────────────┬────────────────────────────┘
│
┌──────────────────────────────────────┼──────────────────────────────────────┐
▼ ▼ ▼
┌─────────────────────────────┐┌─────────────────────────────┐┌─────────────────────────────┐
│ TRỤ CỘT 1: KHÔNG GIAN ĐỐI ││ TRỤ CỘT 2: KHÔNG GIAN NỀN ││ TRỤ CỘT 3: TỐI ƯU VÀ ỔN │
│ NGẪU (DUAL VARIATIONAL) ││ (PRIMAL VARIATIONAL) ││ ĐỊNH HÓA (OPTIMALITY) │
├─────────────────────────────┤├─────────────────────────────┤├─────────────────────────────┤
│ • Nón Fréchet & Mordukhovich││ • Nón tiếp tuyến Contingent ││ • Nghiệm hữu hiệu Pareto │
│ • Dưới vi phân tập ∂_Q φ ││ • Dưới đạo hàm epi cấp hai ││ • Ổn định cô lập nghiệm │
│ • Đối đạo hàm hướng D*_u F ││ • Chính quy parabolic ││ • Cực tiểu vững Min-Max │
└─────────────────────────────┘└─────────────────────────────┘└─────────────────────────────┘
▲ ▲ ▲
└──────────────────────────────────────┴──────────────────────────────────────┘
│
┌───────────────────────────┴────────────────────────────┐
│ CẦU NỐI KỸ THUẬT: ĐIỀU KIỆN CHÍNH QUY HÓA METRIC │
│ MSQC, DMSQC, VÀ TÍNH COMPẮC PHÁP TUYẾN DÃY (SNC) │
└────────────────────────────────────────────────────────┘
Khung phân tích độc đáo
Khung phân tích của luận án tích hợp liên hoàn 3 lý thuyết toán học chuyên sâu:
- Lý thuyết Giải tích biến phân Mordukhovich: Cung cấp công cụ nón pháp tuyến qua giới hạn và đối đạo hàm để xử lý tính không khả vi và tính không lồi.
- Lý thuyết Đạo hàm Epi và Hình học Parabolic Rockafellar: Định nghĩa đạo hàm epi cấp hai của hàm $\varphi: \mathbb{R}^n \to \overline{\mathbb{R}}$ tại $x$ cho vector đối ngẫu $\bar{y}$ theo hướng $v$:
$$d^2\varphi(x, \bar{y})(v) := \text{e-}\liminf_{t \to 0^+} \Delta_t^2 \varphi(x, \bar{y})(v), \quad \text{với } \Delta_t^2 \varphi(x, \bar{y})(v) := \frac{\varphi(x+tv) - \varphi(x) - t\langle \bar{y}, v \rangle}{\frac{1}{2}t^2}$$
- Lý thuyết Tối ưu hóa Vững (Robust Optimization): Tiếp cận mô hình đối kháng cực tiểu hóa rủi ro trường hợp xấu nhất:
"Tối ưu vững có thể được áp dụng cho các vấn đề mà ở đó cần có một giải pháp bảo vệ để ngăn chặn trường hợp xấu nhất có thể xảy ra. Ví dụ, xét vấn đề đặt một bệ hạ cánh cho trực thăng cứu hộ tại một khu nghỉ mát trượt tuyết. Vị trí của bệ hạ cánh nên được lựa chọn theo cách mà thời gian bay đến tất cả các sườn dốc của khu nghỉ mát là ngắn nhất, mặc dù thời gian bay đến các sườn dốc là không chắc chắn do điều kiện thời tiết không rõ ràng trong tương lai."
Điều kiện biên lý thuyết (boundary conditions) được xác lập nghiêm ngặt thông qua:
- Tính compắc pháp tuyến theo dãy (Sequential Normal Compactness - SNC) và PSNC (Partial SNC) nhằm đảm bảo các phép toán qua giới hạn trong không gian Asplund không bị thoát độ đo.
- Điều kiện chuẩn hóa dưới chính quy metric (Metric Subregularity Qualification Condition - MSQC) và DMSQC cho hệ hợp hữu hạn, đảm bảo tính ổn định khoảng cách metric khi giao các tập ràng buộc.
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ủ lập trường nhận thức luận diễn dịch toán học chuẩn xác (Mathematical Deductive Rationalism), đặt trên nền tảng Tiên đề chọn (Axiom of Choice) và cấu trúc topo của không gian giải tích hàm.
┌─────────────────────────────────────────────────────────┐
│ THIẾT KẾ PHƯƠNG PHÁP NGHIÊN CỨU │
└────────────────────────────┬────────────────────────────┘
│
┌──────────────────────────────────┴──────────────────────────────────┐
▼ ▼
┌──────────────────────────────────────┐ ┌──────────────────────────────────────┐
│ CẤP ĐỘ HÌNH HỌC KHÔNG GIAN NỀN │ │ CẤP ĐỘ GIẢI TÍCH ĐỐI NGẪU │
├──────────────────────────────────────┤ ├──────────────────────────────────────┤
│ • Không gian Asplund X, Y │ │ • Không gian liên hợp đối ngẫu X* │
│ • Nón tiếp tuyến contingent T(x; Ω) │ ◄─── Tam giác hóa đối ngẫu ──► • Tập ε-pháp tuyến Fréchet N_ε(x; Ω)│
│ • Tập tiếp xúc cấp hai trong/ngoài │ (Geometric Duality) │ • Nón pháp tuyến qua giới hạn N_Q │
│ T²(x; d), T²''(x; d) │ │ • Bao đóng yếu w*-convergence │
└──────────────────────────────────────┘ └──────────────────────────────────────┘
│ │
└──────────────────────────────────┬──────────────────────────────────┘
│
▼
┌───────────────────────────────────────────────────────────────────────────────────────────────────────────┐
│ CẤP ĐỘ HỆ THỐNG VÀ ỨNG DỤNG TỐI ƯU: Thiết lập điều kiện cần & đủ cấp 1, cấp 2 cho bài toán không trơn, │
│ bài toán đa trị, kiểm tra tính ổn định nghiệm qua tiêu chuẩn triệt tiêu đạo hàm Graphical DF(x, y)(0) = {0} │
└───────────────────────────────────────────────────────────────────────────────────────────────────────────┘
Thiết kế đa tầng được phân định rõ ràng:
- Cấp độ 1 (Hình học giải tích cục bộ): Xây dựng nón tiếp tuyến contingent $T(x; \Omega)$, tập tiếp xúc cấp hai ngoài $T^2(x; d)$ và tiếp xúc trong $T^{2\prime\prime}(x; d)$.
- Cấp độ 2 (Toán tử vi phân không lồi): Xây dựng các lớp dưới vi phân $\partial_Q \varphi(x)$ và đối đạo hàm $D^{N}F(z; u)$ trên topo yếu- ($w^*$).
- Cấp độ 3 (Ứng dụng tối ưu hóa hệ thống): Thiết lập điều kiện Karush–Kuhn–Tucker (KKT) suy rộng cấp một, cấp hai và tính dừng cho hệ đa trị.
Quy trình nghiên cứu rigorous
Quy trình chứng minh toán học tuân thủ các giao thức biến phân khắt khe:
- Giao thức trích xuất dãy chéo (Diagonal Extraction Protocol): Sử dụng nguyên lý tách tập lồi Banach, định lý tách Hahn–Banach và nguyên lý bị chặn đều Banach–Steinhaus để kiểm soát dãy xấp xỉ $(x_k^, -z_k^) \xrightarrow{w^} (x^, -1)$ khi $k \to \infty$.
- Kỹ thuật giải tích giới hạn biến phân: Thiết lập hệ bất đẳng thức xấp xỉ cho mọi $x \in D_Q(x_k, r_k, \delta_k) \cap Q$ và $r \ge \varphi(x)$: $$\langle x_k^, x - x_k \rangle - z_k^(r - \varphi(x_k)) \le (\epsilon_k + \epsilon/2)(|x - x_k| + |r - \varphi(x_k)|)$$
- Kỹ thuật tam giác hóa (Triangulation): Kiểm chứng tính chân thực của công thức qua 4 chiều tiếp cận: Hình học tiếp xúc $\leftrightarrow$ Giải tích đối ngẫu $\leftrightarrow$ Hội tụ Epi (Epi-convergence) $\leftrightarrow$ Tính chính quy kề (Prox-regularity).
Data và phân tích
Trong nghiên cứu toán học thuần túy và toán ứng dụng giải tích biến phân:
- Đối tượng dữ liệu (Mathematical Objects): Tập nghiệm của hệ bất phương trình không chắc chắn $S_U$, hệ nhúng hợp hữu hạn các tập chính quy parabolic $S_K = {x \in \mathbb{R}^n \mid \varphi(x) \in K := \bigcup_{i=1}^m K_i}$, và ánh xạ đa trị $F: X \rightrightarrows Y$.
- Kỹ thuật phân tích chuyên sâu:
- Kỹ thuật tính toán ma trận Hessian suy rộng và đối đạo hàm hỗn hợp $D^{*M}F(z; u)$.
- Kỹ thuật biến đổi nón đối cực $M^\circ := {x^* \in X^* \mid \langle x^*, x \rangle \le 0, , \forall x \in M}$.
- Khảo sát sự hội tụ theo nón $x_k \xrightarrow{Q} x$ (nghĩa là $x_k \to x$ và $d(x_k - x, Q)/|x_k - x| \to 0$).
- Phần mềm và công cụ hỗ trợ: Môi trường tính toán ma trận và đại số biểu tượng (Symbolic Computation) để giải và mô phỏng các phương trình nghiệm dừng, biểu diễn hình học nón pháp tuyến và mặt cắt tập mức.
Phát hiện đột phá và implications
Những phát hiện then chốt
Luận án đạt được 5 phát hiện cốt lõi, giải quyết trọn vẹn các thách thức toán học:
┌───────────────────────────────────────────────────────────────────────────────────────────────────────────┐
│ 5 PHÁT HIỆN ĐỘT PHÁ CỦA LUẬN ÁN │
├───────────────────────────────────────────────────────────────────────────────────────────────────────────┤
│ 1. KHẮC PHỤC TẬP DƯỚI VI PHÂN RỖNG: Chứng minh ∂_Q φ(0) ≠ ∅ cho các hàm suy biến (ví dụ φ(x) = x^(1/3)) │
│ khi dưới vi phân Fréchet và Mordukhovich cổ điển đều bằng rỗng (∂φ(0) = ∅). │
├───────────────────────────────────────────────────────────────────────────────────────────────────────────┤
│ 2. ĐẲNG CẤU DƯỚI VI PHÂN HÀM KHẢ VI CHẶT: Xác lập đồng nhất thức hoàn hảo: │
│ ∂_Q φ(x) = {x* ∈ X* | ⟨x*, u⟩ ≤ ⟨ξ, u⟩, ∀u ∈ Q} với ξ là đạo hàm chặt tương ứng tập Q. │
├───────────────────────────────────────────────────────────────────────────────────────────────────────────┤
│ 3. CÔNG THỨC TƯỜNG MINH ĐẠO HÀM EPI CẤP HAI CHO HỆ RÀNG BUỘC KHÔNG CHẮC CHẮN VÔ HẠN S_U: │
│ Giải mã hoàn toàn d²δ_{S_U}(x, y)(v) qua ma trận Hessian và tập tiếp xúc cấp hai, xóa bỏ đại lượng ẩn. │
├───────────────────────────────────────────────────────────────────────────────────────────────────────────┤
│ 4. GIẢI MÃ GIẢI TÍCH BIẾN PHÂN HỆ HỢP HỮU HẠN S_K: Xác định chính xác đạo hàm epi cấp hai dưới │
│ cho hệ nhúng rời rạc (disjunctive constraints) dưới điều kiện chuẩn hóa DMSQC. │
├───────────────────────────────────────────────────────────────────────────────────────────────────────────┤
│ 5. TIÊU CHUẨN ĐẶC TRƯNG ỔN ĐỊNH CÔ LẬP NGUYÊN BẢN: Chứng minh điều kiện cần và đủ cho tính ổn định cô lập │
│ của nghiệm phương trình tổng quát: DF(x, y)(0) = {0}. │
└───────────────────────────────────────────────────────────────────────────────────────────────────────────┘
- Xác lập sự tồn tại của dưới vi phân cho hàm không khả vi suy biến: Chứng minh rằng lớp hàm $\varphi(x) = x^{1/3}$ tại điểm $x=0$ dù có $\partial \varphi(0) = \emptyset$ theo nghĩa Mordukhovich truyền thống, nhưng dưới vi phân tương ứng với tập nón định hướng $\partial_Q \varphi(0)$ là một tập đóng khác rỗng trong $X^*$, bảo toàn đầy đủ các điều kiện cực trị Fermat suy rộng.
- Xác lập công thức bao hàm đối ngẫu chặt chẽ: Khi $\varphi$ là hàm tuyến tính $\varphi(x) = \langle \xi, x \rangle$, luận án chứng minh đẳng thức tuyệt đối: $$\partial_Q \varphi(x) = {x^* \in X^* \mid \langle x^, u \rangle \le \langle \xi, u \rangle, , \forall u \in Q}$$ Đồng thời, chỉ ra mối liên hệ định lượng với đạo hàm trên chặt: $\langle x^, q \rangle \le \varphi^\uparrow(x, Q)$ với mọi $x^* \in \partial_Q \varphi(x), q \in Q$.
- Công thức giải tích giải mã đạo hàm epi cấp hai của hệ không chắc chắn: Với hệ nghiệm vững $S_U$, luận án chứng minh công thức tường minh tính $d^2 \delta_{S_U}(x, \bar{y})(v)$ thông qua giá trị tối đại của các dạng toàn phương Hessian của các hàm thành phần trên tập tham số hoạt động (active parameter index set), giải quyết triệt để bài toán mở trong công trình của Mohammadi et al. (2020).
- Điều kiện tối ưu cấp hai cho hệ hợp hữu hạn (Disjunctive Programming): Xây dựng biểu diễn tường minh cho nón pháp tuyến và đạo hàm epi cấp hai của tập rời rạc $K = \bigcup_{i=1}^m K_i$ thỏa mãn điều kiện DMSQC, mở ra thuật toán kiểm tra tính dừng cấp hai cho các bài toán quy hoạch nón tròn (circular cone programming) và bài toán bù nón bậc hai.
- Xác lập tiêu chuẩn dừng và ổn định vững: Thiết lập điều kiện cần và đủ cho tính ổn định cô lập của ánh xạ điểm yên ngựa vững (robust saddle points), chứng minh nghiệm không bị dịch chuyển đột ngột dưới tác động của nhiễu dữ liệu.
Implications đa chiều
- Về mặt lý thuyết (Theoretical Advances): Mở rộng trường phái giải tích biến phân Mordukhovich và Rockafellar sang các cấu trúc định hướng tập, giải quyết điểm nghẽn của giải tích không trơn vô hạn chiều.
- Về mặt phương pháp luận (Methodological Innovations): Cung cấp bộ công cụ giải tích vi phân hướng có thể chuyển giao trực tiếp để nghiên cứu bài toán quy hoạch toán học với ràng buộc cân bằng (MPEC) và bài toán điều khiển tối ưu xung (impulsive optimal control).
- Về ứng dụng thực tiễn (Practical Applications): Ứng dụng trực tiếp vào tối ưu hóa định tuyến cứu hộ khẩn cấp trong điều kiện thời tiết bất định, giải bài toán điều phối tải lưới điện thông minh khi nguồn năng lượng tái tạo biến thiên, và tối ưu hóa liều lượng xạ trị ung thư nhằm cực đại hóa tiêu diệt khối u đồng thời triệt giảm tổn thương mô lành.
Limitations và Future Research
Nghiên cứu công khai các giới hạn lý thuyết và xác lập hướng phát triển:
- Không gian nền không Asplund: Kết quả vi phân cấp một dựa trên tính chất compắc yếu theo dãy của hình cầu đơn vị đối ngẫu trong không gian Asplund; đối với các không gian phi-Asplund (như $L^1, L^\infty$), lý thuyết cần bổ sung các cấu trúc topology kì dị.
- Ràng buộc điều kiện chuẩn hóa MSQC/DMSQC: Các công thức đạo hàm epi cấp hai cho hệ hợp hữu hạn bắt buộc phải thỏa mãn điều kiện dưới chính quy metric; khi điều kiện này bị vi phạm tại các điểm kỳ dị cao, công thức trở thành bất đẳng thức bao hàm ước lượng trên.
- Tính hữu hạn của hệ hợp: Hiện tại công thức cấp hai giải quyết cho hệ hợp hữu hạn $m < \infty$; việc mở rộng sang hệ hợp vô hạn đếm được hoặc liên tục đòi hỏi các công cụ topo hoàn toàn mới.
Chương trình nghiên cứu tương lai (Future Agenda):
- Phát triển giải tích biến phân cấp hai cho bài toán quy hoạch đa cấp (multi-level programming) và bài toán tối ưu phân cấp Bilevel.
- Thiết lập giải thuật số tối ưu hóa không trơn dựa trên đạo hàm epi cấp hai tường minh để giải bài toán học máy dữ liệu lớn (machine learning with nonsmooth loss functions).
- Mở rộng lý thuyết đối đạo hàm theo hướng sang không gian hàm ngẫu nhiên phục vụ bài toán biến phân ngẫu nhiên (stochastic variational inequalities).
Tác động và ảnh hưởng
Các kết quả nghiên cứu của luận án đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín thuộc danh mục ISI/Scopus (Q1/Q2):
- Applicable Analysis (2019): Công trình về dưới vi phân và đạo hàm tương ứng với tập.
- Annals of Operations Research (2018): Công trình về vi phân suy rộng theo hướng cho ánh xạ đa trị và ứng dụng quy hoạch tập.
- Optimization Letters (2021): Công trình giải tích biến phân cấp hai cho tập ràng buộc hợp rời rạc.
- Optimization (2020): Điều kiện tối ưu cho bài toán quy hoạch bù nón tròn.
Dự báo tiềm năng trích dẫn học thuật cao trong cộng đồng Tối ưu hóa quốc tế (MOS, SIAM Optimization). Kết quả của luận án là công cụ giải tích đắc lực cho các nhóm R&D công nghệ cao trong việc xây dựng thuật toán điều hướng tự hành (autonomous robotics), tối ưu hóa danh mục đầu tư tài chính phòng hộ rủi ro (robust portfolio selection), và phân bổ tài nguyên mạng viễn thông thế hệ mới.
Đối tượng hưởng lợi
- Nghiên cứu sinh & Nhà toán học trẻ: Tiếp cận hệ thống định nghĩa, bổ đề và kỹ thuật chứng minh giải tích biến phân hiện đại, mở ra nhiều đề tài nghiên cứu cấp cao.
- Giáo sư & Chuyên gia Giải tích Tối ưu: Sử dụng các công thức giải tích tường minh $d^2 \delta_S$ để kiểm tra tính chính quy và phát triển các điều kiện tối ưu bậc cao.
- Kỹ sư R&D Thuật toán: Ứng dụng các điều kiện ổn định cô lập để thiết kế phần mềm tối ưu hóa công nghiệp, đảm bảo giải thuật không bị phân kỳ khi dữ liệu đầu vào chứa sai số đo đạc.
- Nhà hoạch định chính sách & Phân tích hệ thống: Tiếp nhận khung tư duy tối ưu hóa vững để thiết kế chính sách an sinh, điều phối chuỗi cung ứng ứng phó các kịch bản khủng hoảng bất định.
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? Trả lời: Đóng góp độc đáo nhất là việc thiết lập công thức giải tích tường minh cho đạo hàm epi cấp hai của hàm chỉ hệ nghiệm bất phương trình không chắc chắn vô hạn và hệ hợp hữu hạn phi lồi. Công trình này mở rộng trực tiếp Lý thuyết Giải tích Biến phân Cấp hai của Rockafellar (1988) và giải quyết trọn vẹn bài toán mở về việc khử bỏ đại lượng ẩn $d^2 \delta_\Omega$ trong nghiên cứu của Mohammadi, Mordukhovich & Sarabi (2020).
2. Đột phá về mặt phương pháp luận so với các nghiên cứu trước đây thể hiện ở điểm nào? Trả lời: So với Gfrerer (2013) (chỉ xét không gian hữu hạn chiều) và Ginchev (2011) (chỉ giới hạn ở hàm đơn trị), luận án đã tổng quát hóa thành công lý thuyết vi phân theo hướng và đối đạo hàm hỗn hợp lên không gian Asplund vô hạn chiều cho ánh xạ đa trị, kết hợp hoàn hảo giữa kỹ thuật trích xuất dãy topo yếu-* và các điều kiện compắc pháp tuyến theo dãy (SNC).
3. Phát hiện nào gây bất ngờ nhất về mặt toán học trong luận án? Trả lời: Phát hiện rằng dưới vi phân theo hướng $\partial_Q \varphi(x)$ có thể là một tập đóng khác rỗng tại các điểm kỳ dị mà ở đó cả dưới vi phân Fréchet lẫn dưới vi phân Mordukhovich kinh điển đều bằng rỗng (ví dụ hàm $\varphi(x) = x^{1/3}$ tại $x=0$), giúp cứu vãn và áp dụng thành công định lý Fermat suy rộng cho lớp hàm phi-Lipschitz.
4. Luận án có cung cấp quy trình tái lập (replication protocol) toán học không? Trả lời: Toàn bộ các định lý, mệnh đề và hệ quả trong luận án đều được cung cấp chứng minh giải tích tường minh từng bước (step-by-step rigorous proofs), đi kèm các phản ví dụ minh họa tính chặt chẽ của giả thiết (chẳng hạn phản ví dụ về không gian vô hạn chiều $\ell_2$ khi thiếu tính hữu hạn chiều).
5. Định hướng nghiên cứu 10 năm tới từ nền tảng luận án được vạch ra như thế nào? Trả lời: Luận án vạch ra lộ trình mở rộng giải tích biến phân định hướng và đạo hàm epi cấp hai sang lý thuyết tối ưu hóa ngẫu nhiên, bài toán quy hoạch hai cấp phi tuyến và phát triển các thuật toán số (numerical solvers) giải bài toán tối ưu vững quy mô siêu lớn.
Kết luận
Luận án tiến sĩ của NCS. Võ Đức Thịnh là một công trình khoa học xuất sắc, mẫu mực trong lĩnh vực Toán ứng dụng và Giải tích biến phân với 5 đóng góp học thuật cốt lõi:
- Hoàn thiện hệ thống giải tích vi tích phân cho dưới vi phân và đạo hàm tương ứng với tập theo nghĩa Ginchev trên không gian định chuẩn.
- Mở rộng và thiết lập hệ thống quy tắc tính toán cho đối đạo hàm theo hướng của ánh xạ đa trị trên không gian Banach Asplund, cung cấp điều kiện cần và đủ cấp một cho tối ưu đa trị.
- Thiết lập công thức tường minh tính đạo hàm epi cấp hai cho hàm chỉ của hệ ràng buộc không chắc chắn vô hạn $S_U$ và hệ hợp hữu hạn $S_K$.
- Xác lập tiêu chuẩn cần và đủ đặc trưng cho tính ổn định cô lập của ánh xạ nghiệm phương trình tổng quát và điểm yên ngựa vững qua đạo hàm graphical.
- Giải quyết các bài toán mô phỏng tối ưu hóa thực tiễn từ định vị cứu hộ trong điều kiện bất định đến bài toán quy hoạch nón tròn.
Công trình tạo bước tiến vững chắc nâng tầm vị thế của Toán học ứng dụng Việt Nam trên trường quốc tế, khẳng định năng lực giải quyết các bài toán lý thuyết biến phân hóc búa và mở ra những chân trời nghiên cứu mới cho cộng đồng khoa học tối ưu hóa toàn cầu.