Tổng quan luận án

Luận án tiến sĩ toán học "Một số vấn đề trong giải tích biến phân bậc hai và ứng dụng" được nghiên cứu sinh Hà Anh Tuấn thực hiện tại Trường Đại học Vinh dưới sự hướng dẫn khoa học của PGS. Nguyễn Huy Chiêu, thuộc chuyên ngành Toán Giải tích (mã số: 9 46 01 02), hoàn thành năm 2022 và bảo vệ năm 2023.

Tính cấp thiết và khoảng trống nghiên cứu

Trong lý thuyết tối ưu và tối ưu số, các bài toán thực tế khi giải bằng máy tính thường chỉ thu được lời giải số sau hữu hạn bước lặp với tiêu chuẩn dừng nhất định. Quá trình tính toán khó tránh khỏi tác động của nhiễu và sai số, khiến độ tin cậy của lời giải phụ thuộc vào đặc tính ổn định của nghiệm bài toán. Việc thiết lập các điều kiện tối ưu bậc hai nhằm đảm bảo tính ổn định của nghiệm (như tính chính quy mạnh, tính ổn định xiên, điều kiện tăng trưởng bậc hai) giữ vai trò then chốt trong phân tích nhiễu và chứng minh tốc độ hội tụ của thuật toán tối ưu.

Khoảng trống nghiên cứu được xác định bao gồm:

  1. Mối quan hệ giữa điều kiện tăng trưởng bậc hai và tính xác định dương của đạo hàm đồ thị dưới gradient đối với các lớp hàm không lồi chưa được làm sáng tỏ đầy đủ; kết quả khẳng định trước đây của A. Eberhard và R. Wenczel (2012) về điều kiện đủ cho sự tăng trưởng bậc hai chứa đựng điểm chưa chính xác.
  2. Vấn đề xác định các lớp hàm cụ thể (ngoài lớp hàm lồi và lớp hàm nửa đại số đã biết) mà tại đó điều kiện tăng trưởng bậc hai tương đương với tính dưới chính quy mêtric mạnh của dưới vi phân.
  3. Việc thiết lập các điều kiện cần và điều kiện đủ tối ưu bậc hai cho bài toán quy hoạch nón dưới điều kiện chuẩn hóa ràng buộc yếu hơn điều kiện chuẩn hóa Robinson, cụ thể là điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ).

Mục tiêu và câu hỏi nghiên cứu

Luận án tập trung phát triển và sử dụng các công cụ của giải tích biến phân bậc hai nhằm giải quyết 03 vấn đề nghiên cứu cụ thể:

  • Vấn đề 1: Điều kiện tăng trưởng bậc hai và tính xác định dương của đạo hàm đồ thị dưới gradient có quan hệ với nhau như thế nào?
  • Vấn đề 2: Với những lớp hàm nào, điều kiện tăng trưởng bậc hai kéo theo dưới vi phân là dưới chính quy mêtric mạnh?
  • Vấn đề 3: Khảo sát các điều kiện tối ưu bậc hai cho bài toán quy hoạch nón thỏa mãn điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ)?

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các cấu trúc vi phân suy rộng bậc hai (đạo hàm đồ thị dưới gradient, dưới đạo hàm bậc hai, dưới đạo hàm parabol), hàm khả vi hai lần theo nghĩa mở rộng, tính dưới chính quy mêtric mạnh của ánh xạ dưới vi phân, điều kiện tăng trưởng bậc hai, và bài toán quy hoạch nón.
  • Phạm vi nghiên cứu: Không gian khảo sát là không gian Euclid thực hữu hạn chiều $\mathbb{R}^n$ (và $\mathbb{R}^m$); lớp hàm khảo sát bao gồm hàm chính thường nửa liên tục dưới, hàm chính quy gần kề liên tục dưới vi phân, hàm khả vi trên đồ thị hai lần, hàm lồi biến phân và bài toán quy hoạch nón với ràng buộc tập lồi đóng thỏa mãn MSCQ.

Tổng quan tài liệu và vị trí của luận án

Luận án điểm lại hệ thống các công trình nghiên cứu nền tảng và hướng đi liên quan trực tiếp đến các chủ đề khảo sát:

  • Tính chính quy mạnh và tính ổn định xiên: S. M. Robinson (1980) giới thiệu điều kiện đủ bậc hai mạnh cho quy hoạch phi tuyến và chứng minh tính tương đương với tính chính quy mạnh của hệ Karush-Kuhn-Tucker (KKT) dưới điều kiện độc lập tuyến tính của các gradient ràng buộc (LICQ); chiều ngược lại được J. F. Bonnans và A. Sulem (1995) hoàn thiện khi điểm dừng là cực tiểu địa phương. A. L. Dontchev và R. T. Rockafellar (1996) chứng minh tính chính quy mạnh của bất đẳng thức biến phân trên tập lồi đa diện tương đương với tính chất Aubin của ánh xạ nghiệm bài toán tuyến tính hóa. Khái niệm cực tiểu địa phương ổn định xiên (tilt-stable local minimum) do R. A. Poliquin và R. T. Rockafellar (1998) đưa ra, được đặc trưng qua tính xác định dương của dưới vi phân bậc hai qua giới hạn đối với hàm chính quy gần kề liên tục dưới vi phân. Mối liên hệ giữa tính ổn định xiên và tính chính quy mạnh KKT được B. S. Mordukhovich và J. V. Outrata (2007) phân tích. Tiếp đó, N. H. Chieu và T. T. A. Nghia (2013), T. T. A. Nghia (2014) dùng tính xác định dương đều của đạo hàm đồ thị dưới gradient để đặc trưng tính ổn định xiên khi các điều kiện chuẩn hóa ràng buộc bị suy giảm.
  • Điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh: F. J. Aragón Artacho và M. H. Geoffroy (2008, 2011) nghiên cứu điều kiện tăng trưởng bậc hai qua đạo hàm đồ thị dưới gradient và tính dưới chính quy mêtric mạnh cho lớp hàm lồi chính thường nửa liên tục dưới, dựa trên các phát triển từ ý tưởng của R. Zhang và J. Treiman (1996). Năm 2014, D. Drusvyatskiy, B. S. Mordukhovich và T. T. A. Nghia chỉ ra tính dưới chính quy mêtric mạnh của dưới vi phân kéo theo điều kiện tăng trưởng bậc hai đối với hàm chính thường nửa liên tục dưới. Năm 2015, D. Drusvyatskiy và A. D. Ioffe sử dụng hình học nửa đại số để chứng minh chiều ngược lại cho lớp hàm nửa đại số.
  • Quy hoạch nón và điều kiện chuẩn hóa ràng buộc: J. F. Bonnans, R. Cominetti và A. Shapiro (1999), J. F. Bonnans và A. Shapiro (2000) thiết lập điều kiện tối ưu bậc hai cho quy hoạch nón dưới điều kiện chuẩn hóa Robinson (RCQ). Các mở rộng cho quy hoạch nón bậc hai và nửa xác định được J. F. Bonnans và H. Ramírez C. (2005), D. Sun (2006), J. V. Outrata và D. Sun (2008) nghiên cứu. Gần đây, A. Mohammadi, B. S. Mordukhovich và M. E. Sarabi (2019, 2020, 2021) khảo sát cấu trúc khả vi trên đồ thị hai lần của mô hình hàm hợp.

Khoảng trống luận án lựa chọn giải quyết: Luận án định vị nghiên cứu vào việc khắc phục các hạn chế của tài liệu đi trước: (1) bác bỏ điều kiện đủ sai của Eberhard - Wenczel (2012) và thiết lập quan hệ chính xác giữa tính nửa xác định dương của đạo hàm đồ thị dưới gradient, tính dưới chính quy mêtric mạnh và điều kiện tăng trưởng bậc hai; (2) mở rộng quan hệ tương đương giữa điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh sang các lớp hàm không nhất thiết nửa đại số; (3) xây dựng điều kiện cần và đủ tối ưu bậc hai cho quy hoạch nón dưới điều kiện chuẩn hóa ràng buộc MSCQ yếu hơn RCQ.

Cơ sở lý thuyết và phương pháp nghiên cứu

Lý thuyết, khái niệm và khung phân tích

Luận án vận dụng hệ thống giải tích biến phân theo trường phái R. T. Rockafellar, R. J-B. Wets và B. S. Mordukhovich trong không gian Euclid $\mathbb{R}^n$:

  • Các cấu trúc nón và tập tiếp xúc: Nón tiếp tuyến $T_\Omega(\bar{x})$, nón pháp tuyến chính quy $\widehat{N}\Omega(\bar{x})$, nón pháp tuyến qua giới hạn $N\Omega(\bar{x})$, tập tiếp xúc bậc hai $T_\Omega^2(\bar{x}, w)$, tập khả đạo hàm parabol và tập chính quy parabol.
  • Các cấu trúc vi phân suy rộng bậc nhất và bậc hai: Dưới đạo hàm $df(\bar{x})(w)$, dưới vi phân chính quy $\hat{\partial}f(\bar{x})$, dưới vi phân qua giới hạn $\partial f(\bar{x})$, dưới vi phân gần kề $\partial_p f(\bar{x})$; đạo hàm đồ thị của ánh xạ đa trị $DF(\bar{x}|\bar{y})$; đạo hàm đồ thị dưới gradient $D(\partial f)(\bar{x}|\bar{v})$; dưới đạo hàm bậc hai $d^2 f(\bar{x}|\bar{v})(w)$ và dưới đạo hàm parabol $d^2 f(\bar{x})(w|z)$.
  • Khái niệm hàm mở rộng và tính chính quy mêtric: Hàm khả vi hai lần theo nghĩa mở rộng (extended twice differentiability), hàm chính quy gần kề (prox-regular), hàm liên tục dưới vi phân (subdifferentially continuous), tính dưới chính quy mêtric (metric subregularity) và dưới chính quy mêtric mạnh (strong metric subregularity) của ánh xạ đa trị $\text{subreg} F(\bar{x}|\bar{y})$.
  • Điều kiện chuẩn hóa ràng buộc: Điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ) và điều kiện chuẩn hóa ràng buộc Robinson (RCQ).

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

Luận án thuần túy sử dụng phương pháp toán học lý thuyết giải tích và giải tích biến phân:

  • Phương pháp suy diễn logic và tính toán giải tích: Xây dựng các bất đẳng thức giải tích, khai triển tiệm cận bậc hai, biến đổi giới hạn dưới (lim inf), giới hạn trên (lim sup), phép biến đổi liên hợp Fenchel-Legendre và nón cực.
  • Phương pháp xây dựng phản ví dụ (counterexamples): Thiết kế các hàm giải tích cụ thể trong $\mathbb{R}$ và $\mathbb{R}^2$ nhằm kiểm chứng tính độc lập logic, kiểm tra giới hạn của định lý và phản bác các kết quả đã công bố trong y văn quốc tế không chuẩn xác.
  • Phương pháp xấp xỉ và giải tích đồ thị: Sử dụng các dãy tiệm cận trong đồ thị ánh xạ đa trị $\text{gph}\partial f$ và tập trên đồ thị $\text{epi} f$ để xác định các tính chất vi phân suy rộng.

Nguồn tư liệu và dữ liệu

Nghiên cứu sử dụng các tư liệu toán học giải tích biến phân chuẩn tắc, các bài báo chuyên ngành trên các tạp chí quốc tế (SIAM Journal on Optimization, Mathematical Programming, Journal of Optimization Theory and Applications) và các chuyên khảo toán học của R. T. Rockafellar, R. J-B. Wets (1998), B. S. Mordukhovich (2006, 2018), J. F. Bonnans và A. Shapiro (2000). Luận án không sử dụng dữ liệu số thực nghiệm hay khảo sát thống kê.

Nội dung chính theo từng chương

Chương 1. Một số kết quả về phép tính vi phân suy rộng trong giải tích biến phân

Chương 1 thiết lập các quy tắc tính toán biến phân bậc hai cho lớp hàm khả vi hai lần theo nghĩa mở rộng kết hợp với hàm chính thường nửa liên tục dưới, đồng thời mở rộng các kết quả giải tích của Mohammadi và Sarabi (2020).

  • Khảo sát hàm khả vi hai lần theo nghĩa mở rộng: Một hàm $f: \mathbb{R}^n \to \overline{\mathbb{R}}$ hữu hạn tại $\bar{x}$ được gọi là khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng nếu $f$ khả vi tại $\bar{x}$ và tồn tại ma trận Hesse duy nhất $\nabla^2 f(\bar{x})$ cỡ $n \times n$, lân cận $U$ và tập con $D \subset U$ với độ đo Lebesgue $\mu(U \setminus D) = 0$ sao cho $f$ liên tục Lipschitz trên $U$, khả vi trên $D$ và: $$\lim_{D \ni x \to \bar{x}} \frac{\nabla f(x) - \nabla f(\bar{x}) - \nabla^2 f(\bar{x})(x - \bar{x})}{|x - \bar{x}|} = 0$$
  • Phân biệt lớp hàm qua các phản ví dụ:
    • Ví dụ 1.2: Hàm $g(x) = x^3 \sqrt[3]{x}\cos(1/x)$ khi $x \neq 0$ và $g(0) = 0$ là hàm khả vi hai lần trên $\mathbb{R}$ theo nghĩa cổ điển nhưng không chính quy gần kề tại $\bar{x} = 0$ đối với $\bar{v} = 0$.
    • Ví dụ 1.3: Hàm $f(x, y) = \max{x^4, y^4}$ trên $\mathbb{R}^2$ khả vi hai lần tại $(0,0)$ theo nghĩa mở rộng nhưng không khả vi hai lần theo nghĩa cổ điển.
  • Tính chất đại số và quy tắc tính vi phân (Định lý 1.1): Nếu $f, g$ khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng thì các hàm tổng $f+g$, tích vô hướng $\alpha f$, tích $f \cdot g$ và thương $f/g$ (khi $g(\bar{x}) \neq 0$) đều khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng với các công thức ma trận Hesse mở rộng tương ứng.
  • Quy tắc tổng dạng đẳng thức (Định lý 1.2): Với $\phi$ khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng và $\psi$ chính thường nửa liên tục dưới địa phương tại $\bar{x}$, với $\bar{v} \in \partial(\phi+\psi)(\bar{x})$, ta có các đẳng thức vi phân bậc hai:
    • $D\partial(\phi + \psi)(\bar{x}|\bar{v})(w) = \nabla^2\phi(\bar{x})(w) + D\partial\psi(\bar{x}|\bar{v} - \nabla\phi(\bar{x}))(w), \quad \forall w \in \mathbb{R}^n$
    • $d^2(\phi + \psi)(\bar{x})(w|z) = \langle w, \nabla^2\phi(\bar{x})w\rangle + \langle\nabla\phi(\bar{x}), z\rangle + d^2\psi(\bar{x})(w|z), \quad \forall w, z \in \mathbb{R}^n$
  • Hàm hợp dưới điều kiện MSCQ (Mệnh đề 1.2): Đối với hàm hợp $\psi = g \circ F$ thỏa mãn điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric $d(x, \text{dom } \psi) \le \kappa d(F(x), \text{dom } g)$, thiết lập công thức tính tập tiếp xúc bậc hai $T_{\text{dom } \psi}^2(\bar{x}, w)$ và dưới đạo hàm parabol $d^2\psi(\bar{x})(w|z)$ thông qua cấu trúc của ánh xạ thành phần $F$ và hàm lồi $g$.

Chương 2. Điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh của dưới vi phân

Chương 2 tập trung giải quyết Vấn đề 1 và Vấn đề 2, xác định quan hệ giữa đạo hàm đồ thị dưới gradient, điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh của ánh xạ dưới vi phân.

  • Đặc trưng tính tối ưu qua đạo hàm đồ thị dưới gradient (Mục 2.1):
    • Luận án chứng minh rằng với hàm chính thường nửa liên tục dưới, nếu đạo hàm đồ thị dưới gradient $D(\partial f)(\bar{x}|0)$ là nửa xác định dương (tức $\langle z, w \rangle \ge 0, \forall z \in D(\partial f)(\bar{x}|0)(w)$) thì $\bar{x}$ là điểm cực tiểu địa phương và ánh xạ dưới vi phân $\partial f$ là dưới chính quy mêtric mạnh tại $(\bar{x}, 0)$.
    • Kết hợp với kết quả của D. Drusvyatskiy và T. T. A. Nghia (2014), tính xác định dương của $D(\partial f)(\bar{x}|0)$ (tức $\langle z, w \rangle > 0, \forall w \neq 0, z \in D(\partial f)(\bar{x}|0)(w)$) kéo theo điều kiện tăng trưởng bậc hai được thỏa mãn tại $\bar{x}$ (Định lý 2.11).
    • Bác bỏ kết quả của Eberhard và Wenczel (Ví dụ 2.12): Xây dựng hàm phản ví dụ chỉ ra điều kiện đủ suy yếu do Eberhard và Wenczel (2012, Theorem 71(2)) đề xuất là không chính xác.
    • Tính một chiều (Ví dụ 2.13): Xây dựng ví dụ chứng minh chiều ngược lại của Định lý 2.11 không đúng trong trường hợp tổng quát; điều kiện tăng trưởng bậc hai không kéo theo tính xác định dương của đạo hàm đồ thị dưới gradient.
  • Quan hệ tương đương cho các lớp hàm cụ thể (Mục 2.2): Luận án chứng minh điều kiện tăng trưởng bậc hai tương đương với tính dưới chính quy mêtric mạnh của dưới vi phân đối với:
    1. Lớp hàm chính quy gần kề, liên tục dưới vi phân và khả vi trên đồ thị hai lần (Định lý 2.6).
    2. Lớp hàm lồi biến phân (Định lý 2.7).

Chương 3. Điều kiện tối ưu bậc hai cho một lớp bài toán quy hoạch nón

Chương 3 giải quyết Vấn đề 3, nghiên cứu bài toán quy hoạch nón tổng quát: $$\min f_0(x) \quad \text{với ràng buộc } F(x) \in K$$ trong đó $f_0: \mathbb{R}^n \to \mathbb{R}$ khả vi hai lần theo nghĩa mở rộng, $F: \mathbb{R}^n \to \mathbb{R}^m$ khả vi hai lần theo nghĩa mở rộng, và $K \subset \mathbb{R}^m$ là tập lồi đóng.

  • Điều kiện cần tối ưu bậc hai (Mục 3.1):
    • Giả thiết bài toán thỏa mãn điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ) tại điểm cực tiểu địa phương $\bar{x}$, vốn là điều kiện yếu hơn điều kiện chuẩn hóa Robinson (RCQ).
    • Chứng minh rằng tính nửa xác định dương của đạo hàm đồ thị dưới gradient đối với hàm mục tiêu mở rộng $f = f_0 + \delta_C$ (với $C = F^{-1}(K)$) tại $(\bar{x}, 0)$ là điều kiện cần tối ưu bậc hai (Định lý 3.8).
    • Chứng minh tính tương đương giữa điều kiện cần này với điều kiện cần tối ưu bậc hai cổ điển của Bonnans, Cominetti và Shapiro (1999).
  • Đặc trưng cực tiểu địa phương mạnh (Mục 3.2):
    • Thiết lập điều kiện đủ bậc hai cho cực tiểu địa phương mạnh và chỉ ra các đặc trưng tương đương của điều kiện tăng trưởng bậc hai trong quy hoạch nón (Định lý 3.14).
    • Vai trò của điều kiện MSCQ (Ví dụ 3.15): Luận án xây dựng ví dụ minh họa chứng minh điều kiện chuẩn hóa ràng buộc MSCQ là điều kiện thiết yếu; nếu thiếu MSCQ thì dưới vi phân của hàm $f_0 + \delta_C$ không đạt được tính dưới chính quy mêtric mạnh tại điểm cực tiểu địa phương mạnh.

Bảng tổng hợp so sánh các điều kiện chuẩn hóa và đặc trưng biến phân trong luận án

Thành phần khảo sát Kết quả/Quan điểm trong y văn trước Kết quả xác lập trong luận án
Quan hệ giữa $D(\partial f)$ và tăng trưởng bậc hai Eberhard - Wenczel (2012) đưa điều kiện đủ suy yếu cho hàm không lồi Bác bỏ kết quả Eberhard - Wenczel (Ví dụ 2.12); chứng minh tính xác định dương của $D(\partial f)$ kéo theo tăng trưởng bậc hai (Định lý 2.11) nhưng chiều ngược lại không đúng (Ví dụ 2.13)
Tính tương đương: Tăng trưởng bậc hai $\Leftrightarrow$ Dưới chính quy mêtric mạnh Đã biết cho hàm lồi (Aragón Artacho - Geoffroy 2011) và hàm nửa đại số (Drusvyatskiy - Ioffe 2015) Mở rộng cho lớp hàm chính quy gần kề, liên tục dưới vi phân, khả vi trên đồ thị hai lần (Định lý 2.6) và hàm lồi biến phân (Định lý 2.7)
Điều kiện cần bậc hai cho quy hoạch nón Bonnans - Cominetti - Shapiro (1999) thiết lập dưới điều kiện chuẩn hóa Robinson (RCQ) Thiết lập điều kiện cần qua tính nửa xác định dương của $D(\partial(f_0+\delta_C))$ dưới điều kiện chuẩn hóa dưới chính quy mêtric (MSCQ) yếu hơn (Định lý 3.8)
Tính dưới chính quy mêtric mạnh tại cực tiểu mạnh Cần điều kiện chuẩn hóa mạnh Chỉ rõ MSCQ là điều kiện cần thiết để $\partial(f_0+\delta_C)$ đạt tính dưới chính quy mêtric mạnh (Ví dụ 3.15)

Kết quả và những đóng góp mới

Luận án đạt được các kết quả lý thuyết mới trong giải tích biến phân bậc hai và lý thuyết tối ưu:

  1. Về phép tính vi phân suy rộng bậc hai: Thiết lập các tính chất đại số và công thức ma trận Hesse mở rộng cho các phép toán tổng, nhân vô hướng, tích và thương của các hàm khả vi hai lần theo nghĩa mở rộng. Chứng minh hệ thống quy tắc tổng dạng đẳng thức cho đạo hàm đồ thị dưới gradient, dưới đạo hàm bậc hai và dưới đạo hàm parabol giữa một hàm khả vi hai lần theo nghĩa mở rộng và một hàm chính thường nửa liên tục dưới.
  2. Về quan hệ giữa đạo hàm đồ thị dưới gradient và điều kiện tăng trưởng bậc hai: Chứng minh đối với hàm chính thường nửa liên tục dưới, tính nửa xác định dương của đạo hàm đồ thị dưới gradient tại điểm dừng suy ra điểm dừng là cực tiểu địa phương và dưới vi phân là dưới chính quy mêtric mạnh; tính xác định dương kéo theo điều kiện tăng trưởng bậc hai. Bác bỏ một khẳng định không chính xác trong công trình của A. Eberhard và R. Wenczel (2012).
  3. Về mối liên hệ giữa điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh: Mở rộng kết quả tương đương giữa điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh của dưới vi phân sang hai lớp hàm: lớp hàm chính quy gần kề, liên tục dưới vi phân, khả vi trên đồ thị hai lần và lớp hàm lồi biến phân.
  4. Về điều kiện tối ưu cho quy hoạch nón dưới điều kiện MSCQ: Thiết lập điều kiện cần tối ưu bậc hai dựa vào đạo hàm đồ thị dưới gradient cho bài toán quy hoạch nón thỏa mãn điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ); chứng minh tính tương đương giữa điều kiện này với điều kiện cần của Bonnans - Cominetti - Shapiro. Đưa ra các đặc trưng cho cực tiểu địa phương mạnh và điều kiện tăng trưởng bậc hai, đồng thời xác định vai trò của MSCQ đối với tính dưới chính quy mêtric mạnh của dưới vi phân.

Kiến nghị và định hướng đề xuất: Luận án kiến nghị tiếp tục sử dụng công cụ đạo hàm đồ thị dưới gradient và khung giải tích biến phân bậc hai để nghiên cứu các bài toán tối ưu không trơn phức tạp hơn, phân tích độ nhạy, tính ổn định nghiệm và thiết kế các thuật toán tối ưu số có tốc độ hội tụ cao.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Các kết quả của luận án được thiết lập trong phạm vi không gian Euclid hữu hạn chiều $\mathbb{R}^n$. Các phân tích giải tích dựa trên các giả thiết cấu trúc của hàm thành phần (như tính khả vi hai lần theo nghĩa mở rộng, tính liên tục Lipschitz địa phương trên miền hữu hiệu của hàm lồi) và điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ). Chiều ngược lại từ điều kiện tăng trưởng bậc hai suy ra tính xác định dương của đạo hàm đồ thị dưới gradient không đúng với hàm chính thường nửa liên tục dưới tổng quát.
  • Hướng nghiên cứu tiếp:
    • Mở rộng các quy tắc tính vi phân suy rộng bậc hai và các điều kiện tối ưu bậc hai cho các bài toán tối ưu trong không gian vô hạn chiều (không gian Banach, không gian Hilbert).
    • Khảo sát các lớp hàm không trơn tổng quát hơn không thỏa mãn tính chính quy gần kề hoặc khả vi trên đồ thị hai lần.
    • Ứng dụng các đặc trưng tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh đã thiết lập vào việc chứng minh sự hội tụ tuyến tính và siêu tuyến tính của các thuật toán tối ưu số cụ thể.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo tham khảo có giá trị trong các lĩnh vực:

  • Đối với 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 và Tối ưu hóa: Cung cấp hệ thống lý thuyết về giải tích biến phân bậc hai, kỹ thuật tính toán vi phân suy rộng cho hàm không trơn và phương pháp chứng minh tính chính quy mêtric. Phần Chương 1 và Chương 2 đáng tham khảo về phương pháp xây dựng các phản ví dụ giải tích và quy tắc tính đạo hàm đồ thị dưới gradient.
  • Đối với giảng viên và các nhà nghiên cứu lý thuyết tối ưu: Cung cấp tài liệu tham khảo để giảng dạy các chuyên đề giải tích biến phân nâng cao, lý thuyết tối ưu không trơn và quy hoạch nón.
  • Đối với các nhà nghiên cứu tối ưu số và giải thuật tính toán: Các điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh trong Chương 2 và Chương 3 là cơ sở lý thuyết trực tiếp để phân tích sự ổn định nghiệm dưới tác động của nhiễu và đánh giá tốc độ hội tụ của các thuật toán giải bài toán quy hoạch nón.

Câu hỏi thường gặp

1. Hàm khả vi hai lần theo nghĩa mở rộng khác gì so với hàm khả vi hai lần theo nghĩa cổ điển?

Hàm khả vi hai lần theo nghĩa mở rộng (Định nghĩa 1.15) đòi hỏi hàm khả vi tại điểm khảo sát $\bar{x}$, liên tục Lipschitz trên một lân cận $U$, và tồn tại tập con $D \subset U$ có phần bù triệt tiêu theo độ đo Lebesgue ($\mu(U \setminus D) = 0$) sao cho giới hạn tỉ số vi phân của gradient theo hướng tập $D$ tiến tới ma trận Hesse mở rộng $\nabla^2 f(\bar{x})$. Mọi hàm khả vi hai lần cổ điển đều khả vi hai lần theo nghĩa mở rộng, nhưng ngược lại không đúng (như hàm $f(x, y) = \max{x^4, y^4}$ tại $(0,0)$ trong Ví dụ 1.3).

2. Mối quan hệ giữa tính xác định dương của đạo hàm đồ thị dưới gradient và điều kiện tăng trưởng bậc hai được luận án xác định như thế nào?

Đối với hàm chính thường nửa liên tục dưới, tính nửa xác định dương của $D(\partial f)(\bar{x}|0)$ suy ra $\bar{x}$ là cực tiểu địa phương và $\partial f$ là dưới chính quy mêtric mạnh. Tính xác định dương của $D(\partial f)(\bar{x}|0)$ kéo theo điều kiện tăng trưởng bậc hai được thỏa mãn (Định lý 2.11). Tuy nhiên, chiều ngược lại không đúng trong trường hợp tổng quát (Ví dụ 2.13).

3. Phản ví dụ nào trong luận án đã bác bỏ kết quả trước đây của A. Eberhard và R. Wenczel?

Trong Ví dụ 2.12, tác giả xây dựng một hàm số cụ thể chứng minh rằng điều kiện đủ cho sự tăng trưởng bậc hai do A. Eberhard và R. Wenczel (2012, Theorem 71(2)) đưa ra — vốn là điều kiện yếu hơn tính xác định dương của đạo hàm đồ thị dưới gradient — là không chính xác.

4. Điều kiện chuẩn hóa ràng buộc MSCQ trong quy hoạch nón có ưu điểm gì so với điều kiện Robinson (RCQ)?

Điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ) có dạng $d(x, \text{dom } \psi) \le \kappa d(F(x), \text{dom } g)$, là điều kiện tổng quát và yếu hơn điều kiện chuẩn hóa ràng buộc Robinson (RCQ). Luận án chứng minh dưới điều kiện MSCQ, các điều kiện cần tối ưu bậc hai và đặc trưng tăng trưởng bậc hai cho quy hoạch nón vẫn được thiết lập đầy đủ.

5. Những lớp hàm nào được luận án chứng minh có sự tương đương giữa điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh của dưới vi phân?

Luận án chứng minh tính tương đương giữa hai điều kiện này đối với hai lớp hàm: (1) Lớp hàm chính quy gần kề, liên tục dưới vi phân và khả vi trên đồ thị hai lần (Định lý 2.6); và (2) Lớp hàm lồi biến phân (Định lý 2.7).

Kết luận

Luận án tiến sĩ của tác giả Hà Anh Tuấn là công trình nghiên cứu lý thuyết chuyên sâu thuộc chuyên ngành Toán Giải tích, tập trung vào giải tích biến phân bậc hai và ứng dụng trong tối ưu hóa. Tác giả đã giải quyết trọn vẹn ba vấn đề khoa học đặt ra: hoàn thiện hệ thống quy tắc tính toán biến phân bậc hai cho lớp hàm khả vi hai lần theo nghĩa mở rộng; xác định quan hệ logic giữa đạo hàm đồ thị dưới gradient, điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh; đồng thời thiết lập các điều kiện tối ưu bậc hai cho quy hoạch nón dưới điều kiện chuẩn hóa ràng buộc MSCQ. Các kết quả của luận án đã được công bố trên các tạp chí chuyên ngành quốc tế có uy tín (SIAM Journal on Optimization, Journal of Optimization Theory and Applications) và là tài liệu tham khảo học thuật có giá trị cho nghiên cứu lý thuyết giải tích biến phân và tối ưu số.