Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "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 và thực hiện bởi nghiên cứu sinh Hà Anh Tuấn, dưới sự hướng dẫn khoa học của PGS. Nguyễn Huy Chiêu tại Trường Đại học Vinh, chuyên ngành Toán Giải tích (mã số 9 46 01 02), hoàn thành năm 2023.

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

Giải tích biến phân là lĩnh vực toán học được hình thành và phát triển từ nhu cầu khảo sát các bài toán tối ưu, bài toán cân bằng và lý thuyết điều khiển, trong đó phép tính vi phân suy rộng giữ vai trò trung tâm. Giải tích biến phân bậc hai nghiên cứu các cấu trúc vi phân suy rộng bậc hai nhằm phân tích các hệ biến phân mô tả qua dưới vi phân hoặc nón pháp tuyến, cũng như các bài toán tối ưu không trơn và tối ưu có ràng buộc.

Trong tính toán tối ưu thực tế, nghiệm số nhận được từ máy tính luôn chịu tác động của sai số và nhiễu. Do đó, độ tin cậy của lời giải phụ thuộc chặt chẽ vào đặc tính ổn định của bài toán. Mặc dù các điều kiện tối ưu bậc nhất đã được thiết lập tương đối hoàn chỉnh thông qua quy tắc Fermat suy rộng và nhân tử Lagrange suy rộng, việc sử dụng các cấu trúc vi phân bậc hai để xác lập các điều kiện tối ưu đảm bảo tính ổn định của nghiệm vẫn còn nhiều khoảng trống lý thuyết:

  1. Mối quan hệ chính xác 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 rõ một cách chuẩn xác, trong đó một số công bố trước đây tồn tại khẳng định chưa chính xác.
  2. Điều kiện 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 chủ yếu mới được chứng minh cho hàm lồi hoặc hàm nửa đại số (semi-algebraic) dựa trên hình học nửa đại số, thiếu vắng các kết quả tổng quát cho các lớp hàm biến phân không chính quy gần kề hoặc cấu trúc hàm hợp bằng công cụ giải tích biến phân thuần túy.
  3. Các điều kiện tối ưu bậc hai cho bài toán quy hoạch nón phần lớn được nghiên cứu dưới điều kiện chuẩn hóa ràng buộc Robinson (RCQ), trong khi các điều kiện cần và đủ tối ưu bậc hai dưới điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ) – một điều kiện yếu hơn RCQ – vẫn chưa được khảo sát đầy đủ.

Mục tiêu 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 ba vấn đề nghiên cứu cụ thể:

  1. Vấn đề 1: Khảo sát và làm rõ 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 hàm chính thường nửa liên tục dưới.
  2. Vấn đề 2: Xác định các lớp hàm 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 ánh xạ dưới vi phân.
  3. Vấn đề 3: Thiết lập hệ thống điều kiện cần và điều kiện đủ tối ưu bậc hai, cùng các đặc trưng của cực tiểu địa phương mạnh 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, tập tiếp xúc bậc hai, nón pháp tuyến suy 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, bài toán quy hoạch phi tuyến và quy hoạch nón.
  • Phạm vi không gian: Không gian Ơclit thực hữu hạn chiều $\mathbb{R}^n$ và $\mathbb{R}^m$ với tích vô hướng $\langle\cdot, \cdot\rangle$ và chuẩn cảm sinh $|\cdot|$.
  • Phạm vi nội dung: Tập trung vào các lớp hàm chính thường nửa liên tục dưới, hàm khả vi hai lần theo nghĩa mở rộng, hàm chính quy gần kề (prox-regular), hàm liên tục dưới vi phân (subdifferentially continuous), hàm khả vi trên đồ thị hai lần (twice epi-differentiable), hàm lồi biến phân và bài toán quy hoạch nón chịu ràng buộc MSCQ.

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

Các hướng nghiên cứu trước được điểm lại

Trong phần Mở đầu và các chương chuyên môn, tác giả đã hệ thống hóa các hướng nghiên cứu nền tảng:

  • Lý thuyết giải tích biến phân và vi phân suy rộng: Khởi xướng từ các công trình kinh điển của F. H. Clarke (1983) [21], R. T. Rockafellar và R. J-B. Wets (1998) [46], B. S. Mordukhovich (2006, 2018) [32, 33].
  • Tính chính quy mạnh và tính ổn định xiên: S. M. Robinson (1980) [43] đề xuất điều kiện đủ bậc hai mạnh cho quy hoạch phi tuyến để bảo đảm hệ Karush-Kuhn-Tucker (KKT) chính quy mạnh. J. F. Bonnans và S. Sulem (1995) [10] chứng minh chiều đảo tại cực tiểu địa phương. A. L. Dontchev và R. T. Rockafellar (1996) [22] sử dụng tiêu chuẩn Mordukhovich [31] để đặc trưng hóa tính chính quy mạnh qua điều kiện mặt tới hạn. R. A. Poliquin và R. T. Rockafellar (1998) [40] đưa ra khái niệm cực tiểu địa phương ổn định xiên (tilt-stable local minimum) qua tính xác định dương của dưới vi phân bậc hai qua giới hạn. Các nghiên cứu mở rộng được B. S. Mordukhovich, J. V. Outrata (2007) [36] và B. S. Mordukhovich, T. T. A. Nghia (2013, 2014, 2015) [12, 34, 35] tiếp tục thực hiện cho quy hoạch phi tuyến với các điều kiện chuẩn hóa suy rộng.
  • Đ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, 2014) [2, 3] chứng minh sự tương đương 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 đối với hàm lồi. D. Zhang và P. T. Treiman (2001) [53] nghiên cứu qua tính chất Lipschitz trên của nghịch ảnh dưới vi phân. D. Drusvyatskiy, G. Kılınç-Karzan và T. T. A. Nghia (2014) [20] chỉ ra tính dưới chính quy mêtric mạnh kéo theo tăng trưởng bậc hai. D. Drusvyatskiy và A. D. Ioffe (2015) [17] dùng hình học nửa đại số để chứng minh chiều ngược lại cho hàm nửa đại số.
  • Quy hoạch nón và điều kiện tối ưu bậc hai: J. F. Bonnans, R. Cominetti và A. Shapiro (1999) [7, 9] thiết lập điều kiện tối ưu bậc hai cho quy hoạch nón thỏa mãn điều kiện Robinson (RCQ). Gần đây, N. Mohammadi, B. S. Mordukhovich và M. E. Sarabi (2019, 2020, 2021) [28, 29, 30, 41] phát triển mô hình hàm hợp với các cấu trúc khả vi trên đồ thị hai lần.

Khoảng trống luận án lựa chọn giải quyết

Luận án định vị trọng tâm giải quyết ba khoảng trống cụ thể:

  • Phân tích tính thiếu chính xác trong kết quả của A. Eberhard và R. Wenczel (2012) [24, Theorem 71(2)] về điều kiện đủ cho sự tăng trưởng bậc hai của hàm không lồi; đồng thời thiết lập mối quan hệ đúng đắn 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.
  • Mở rộng quan hệ tương đương hai chiều 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 cho các lớp hàm không thuộc lớp nửa đại số bằng phương pháp giải tích biến phân.
  • Xây dựng hệ thống điều kiện cần và đủ 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 MSCQ yếu hơn điều kiện Robinson.

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

Khung lý thuyết và các khái niệm cốt lõi

Luận án vận dụng hệ thống khái niệm chuẩn của giải tích biến phân hiện đại trong không gian $\mathbb{R}^n$:

  • Cấu trúc tiếp xúc và pháp tuyến: 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)$, và khái niệm tập khả đạo hàm parabol (parabolically derivable).
  • Cấu trúc vi phân suy rộng: Dưới đạo hàm $df(\bar{x})$, đạo hàm đồ thị $DF(\bar{x}|\bar{y})$, đạo hàm đồ thị dưới gradient $D(\partial\phi)(\bar{x}|\bar{v})$, dưới vi phân chính quy $\widehat{\partial}\phi(\bar{x})$, dưới vi phân qua giới hạn $\partial\phi(\bar{x})$, và dưới vi phân gần kề $\partial_p\phi(\bar{x})$.
  • Lớp hàm chuyên biệt: Hàm khả vi hai lần theo nghĩa mở rộng (twice differentiable in the extended sense), hàm chính quy parabol (parabolically regular), hàm khả vi trên đồ thị parabol (parabolically epi-differentiable), hàm chính quy gần kề (prox-regular) và liên tục dưới vi phân (subdifferentially continuous).
  • Điều kiện chuẩn hóa ràng buộc và tính chính quy mêtric: Điều kiện chuẩn hóa Mangasarian-Fromovitz (MFCQ), đ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ùng môđun dưới chính quy mêtric $\text{subreg},F(\bar{x}|\bar{y})$ và môđun tăng trưởng bậc hai $QG(f, \bar{x})$.

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

Luận án sử dụng phương pháp nghiên cứu thuần túy lý thuyết toán học:

  • Phương pháp giải tích suy rộng: Nghiên cứu hành vi biến phân của các hàm mục tiêu và hàm chỉ thông qua phép lấy giới hạn đồ thị đa trị (graphical limit) và tập trên đồ thị (epigraph).
  • Kỹ thuật tính toán vi phân biến phân bậc hai: Thiết lập các quy tắc tính toán giải tích cho tổng và hợp thành hàm $g \circ F$, chứng minh bao hàm thức và đẳng thức dựa trên cấu trúc xấp xỉ bậc hai.
  • Phương pháp phản ví dụ (counterexamples): Xây dựng các hàm số cụ thể trong $\mathbb{R}$ và $\mathbb{R}^2$ để phản bác các nhận định chưa chính xác trong y văn hoặc chứng minh chiều ngược lại của các mệnh đề không thể xảy ra.
  • Kỹ thuật tối ưu nón: Khảo sát nón tới hạn $K_\Gamma(\bar{x}, \bar{x}^*)$, hàm tựa $\sigma(\cdot, \Omega)$, và hàm Lagrange suy rộng $L(x, \lambda)$.

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

Tư liệu nghiên cứu bao gồm các chuyên khảo chuẩn mực quốc tế (Variational Analysis của Rockafellar và Wets; Variational Analysis and Generalized Differentiation của Mordukhovich; Perturbation Analysis of Optimization Problems của Bonnans và Shapiro) cùng các bài báo khoa học chuyên ngành trên các tạp chí toán học quốc tế thuộc danh mục ISI/Scopus (SIAM Journal on Optimization, JOTA, Set-Valued and Variational Analysis).

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

Chương Tên chương trong văn bản Nội dung trọng tâm Kết quả / Phát hiện cốt lõi
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 - Khái niệm bổ trợ và cấu trúc bậc hai.
- Hàm khả vi hai lần theo nghĩa mở rộng.
- Quy tắc tính toán cho hàm hợp $g \circ F$.		 - Thiết lập đại số của hàm khả vi hai lần theo nghĩa mở rộng.
- Đẳng thức tính đạo hàm đồ thị dưới gradient và dưới đạo hàm bậc hai cho tổng $\phi + \psi$.
- Mở rộng tính khả đạo hàm parabol dưới điều kiện MSCQ.
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 - Điều kiện tối ưu dựa vào $D(\partial f)$.
- Phân tích quan hệ giữa xác định dương của $D(\partial f)$ và tăng trưởng bậc hai.
- Tương đương giữa tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh.		 - Chỉ ra lỗi sai của 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.
- Thiết lập tương đương hai chiều cho 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à hàm lồi biến phân.
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 - Điều kiện cần tối ưu bậc hai cho quy hoạch nón thỏa mãn MSCQ.
- Đặc trưng cực tiểu địa phương mạnh.		 - Tính nửa xác định dương của $D(\partial(f + \delta_\Omega))$ là điều kiện cần tối ưu, tương đương điều kiện Bonnans-Cominetti-Shapiro.
- Xác lập vai trò bắt buộc của MSCQ để dưới vi phân đạt dưới chính quy mêtric mạnh.

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 công cụ vi phân suy rộng bậc hai làm nền tảng cho toàn bộ luận án:

  • Khảo sát hàm khả vi hai lần theo nghĩa mở rộng: Định nghĩa 1.16 đưa ra khái niệm hàm $f: \mathbb{R}^n \to \mathbb{R}$ khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng nếu tồn tại lân cận $U$, ma trận Hesse mở rộng $\nabla^2 f(\bar{x})$ cỡ $n \times n$ và tập $D \subset U$ có độ đo đầy đủ $\mu(U \setminus D) = 0$ sao cho $f$ 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át hiện qua các phản ví dụ:
    • Ví dụ 1.17: Xét hàm $g(x) = x^{4/3} \cos(1/x)$ khi $x \neq 0$ và $g(0) = 0$. Hàm này khả vi hai lần trên $\mathbb{R}$ với $\nabla^2 g(0) = 0$, nhưng không chính quy gần kề tại $\bar{x} = 0$ đối với $\bar{v} = 0$.
    • Ví dụ 1.18: 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 với $\nabla^2 f(0, 0) = 0$, nhưng không khả vi hai lần theo nghĩa cổ điển tại $(0, 0)$ do không tồn tại đạo hàm tại các điểm $(x_0, y_0)$ có $|x_0| = |y_0| \neq 0$.
  • Đại số của hàm khả vi hai lần theo nghĩa mở rộng (Định lý 1.8): Chứng minh tính đóng kín đối với phép cộng $f + g$, nhân vô hướng $\alpha f$, tích $f \cdot g$ và thương $f/g$ (khi $g(\bar{x}) \neq 0$), kèm công thức biểu diễn tường minh ma trận Hesse mở rộng.
  • Quy tắc tổng dạng đẳng thức (Định lý 1.9): Cho $\phi$ khả vi hai lần theo nghĩa mở rộng tại $\bar{x}$ và $\psi$ chính thường nửa liên tục dưới địa phương tại $\bar{x}$. Với mọi $\bar{v} \in \partial(\phi + \psi)(\bar{x})$ và $w, z \in \mathbb{R}^n$: $$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)$$ $$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)$$
  • Mở rộng cho hàm hợp $g \circ F$ dưới điều kiện MSCQ (Mệnh đề 1.11): Mở rộng các kết quả của Mohammadi và Sarabi [30], chứng minh tập $\text{dom},\psi$ khả đạo hàm parabol và xác lập biểu thức dưới đạo hàm parabol $d^2\psi(\bar{x})(w|z)$ khi $F$ khả vi hai lần theo nghĩa mở rộng và $g$ lồi Lipschitz địa phương trên miền hữu hiệu thỏa mãn MSCQ.

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 giải quyết hai vấn đề nghiên cứu đầu tiên của luận án:

  • Phân tích điều kiện tối ưu dựa vào đạo hàm đồ thị dưới gradient:
    • Luận án chỉ ra rằng khẳng định tại Định lý 71(2) trong công trình của A. Eberhard và R. Wenczel (2012) [24] về điều kiện đủ cho tăng trưởng bậc hai là không chính xác thông qua Ví dụ 2.12.
    • Luận án 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 kéo theo đ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.
    • Kết hợp với kết quả của D. Drusvyatskiy, G. Kılınç-Karzan và T. T. A. Nghia [20], luận án suy ra tính xác định dương của đạo hàm đồ thị dưới gradient tại điểm dừng kéo theo điều kiện tăng trưởng bậc hai.
    • Xây dựng phản ví dụ chỉ ra rằng chiều ngược lại không đúng: một hàm có thể thỏa mãn điều kiện tăng trưởng bậc hai tại điểm cực tiểu nhưng đạo hàm đồ thị dưới gradient không có tính xác định dương.
  • Tương đương giữa tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh:
    • Luận án mở rộng kết quả của D. Drusvyatskiy và A. D. Ioffe (2015) [17] mà không cần dùng công cụ hình học nửa đại số.
    • Định lý 2.6: Thiết lập sự tương đương hai chiều 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 ánh xạ dưới vi phân cho 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.
    • Thiết lập kết quả tương đương tương tự cho lớp hàm lồi biến phân.

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 tập trung vào bài toán quy hoạch nón có dạng $\min f_0(x)$ ràng buộc $F(x) \in \Lambda$, trong đó $\Lambda$ là một nón lồi đóng:

  • Điều kiện cần tối ưu bậc hai dưới điều kiện MSCQ:
    • Luận án chứng minh tính nửa xác định dương của đạo hàm đồ thị dưới gradient của tổng hàm mục tiêu và hàm chỉ tập ràng buộc $\psi(x) = f_0(x) + \delta_{{u \mid F(u) \in \Lambda}}(x)$ là điều kiện cần tối ưu bậc hai cho quy hoạch nón thỏa mãn MSCQ.
    • Chứng minh điều kiện cần này tương đương với điều kiện cần bậc hai kinh điển của J. F. Bonnans, R. Cominetti và A. Shapiro (1999) [7].
  • Đặc trưng cực tiểu địa phương mạnh:
    • Thiết lập điều kiện đủ bậc hai và các đặc trưng tương đương của điều kiện tăng trưởng bậc hai cho cực tiểu địa phương mạnh trong quy hoạch nón dưới điều kiện MSCQ.
    • Ví dụ 3.x: Chỉ ra rằng điều kiện chuẩn hóa ràng buộc MSCQ là điều kiện cần thiết mang tính bắt buộc; nếu không có MSCQ, dưới vi phân của tổng hàm mục tiêu và hàm chỉ không thể đạ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.
    • Luận án kết nối và chứng minh lại một số kết quả thông qua tính khả vi trên đồ thị hai lần từ các nghiên cứu của Mohammadi, Mordukhovich và Sarabi [28, 29, 30].

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

Đóng góp về mặt lý luận khoa học

  1. Phát triển phép tính vi phân suy rộng bậc hai: Thiết lập hệ thống các tính chất giải tích, quy tắc đại số và các quy tắc tổng dạng đẳng thức chính xác cho hàm khả vi hai lần theo nghĩa mở rộng đối với đạo hàm đồ thị dưới gradient, dưới đạo hàm bậc hai và dưới đạo hàm parabol.
  2. Làm rõ mối quan hệ giữa đạo hàm đồ thị dưới gradient và tăng trưởng bậc hai: Phát hiện sai sót trong công bố quốc tế của Eberhard và Wenczel (2012); chứng minh tính xác định dương của đạo hàm đồ thị dưới gradient kéo theo điều kiện tăng trưởng bậc hai cho hàm chính thường nửa liên tục dưới và chỉ ra chiều ngược lại không đúng bằng phản ví dụ.
  3. Mở rộng phạm vi tương đương của tính dưới chính quy mêtric mạnh: Xác lập mối liên hệ tương đương hai chiều 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 trên các 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à hàm lồi biến phân bằng phương pháp biến phân thuần túy.
  4. Mở rộng lý thuyết quy hoạch nón: Thiết lập hệ thống đ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 MSCQ yếu hơn điều kiện Robinson; làm rõ vai trò bắt buộc của MSCQ đối với tính dưới chính quy mêtric mạnh của dưới vi phân.

Giá trị thực tiễn và ứng dụng toán học

  • Cung cấp cơ sở giải tích phục vụ việc phân tích độ tin cậy và đặc tính ổn định nghiệm số của các bài toán tối ưu thực tế chịu ảnh hưởng bởi nhiễu và sai số tính toán.
  • Thiết lập nền tảng lý thuyết hỗ trợ việc thiết kế và phân tích tốc độ hội tụ (đặc biệt là tốc độ hội tụ siêu tuyến tính và bậc hai) của các thuật toán tối ưu số giải bài toán quy hoạch nón và bài toán tối ưu không trơn.

Danh mục công trình công bố của tác giả

Các kết quả cốt lõi của luận án đã được công bố trong 03 công trình khoa học:

  1. SIAM Journal on Optimization (2020) [13].
  2. Journal of Optimization Theory and Applications (2021) [15].
  3. Tạp chí Khoa học Đại học Vinh (2022) [51].

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

Hạn chế theo phạm vi nghiên cứu

  • Các kết quả lý thuyết và quy tắc tính toán của luận án được xây dựng và chứng minh trong không gian Ơclit hữu hạn chiều $\mathbb{R}^n$; chưa bao quát cho không gian Banach hay không gian Hilbert vô hạn chiều.
  • Một số định lý đòi hỏi hàm thành phần phải thỏa mãn đồng thời nhiều cấu trúc giải tích biến phân đặc thù (khả vi hai lần theo nghĩa mở rộng, liên tục Lipschitz địa phương trên miền hữu hiệu, điều kiện MSCQ).

Hướng nghiên cứu tiếp

  • Mở rộng các quy tắc tính toán vi phân suy rộng bậc hai và các điều kiện tối ưu bậc hai sang không gian vô hạn chiều.
  • Nghiên cứu áp dụng các cấu trúc vi phân bậc hai dưới điều kiện MSCQ cho các lớp bài toán tối ưu phức tạp hơn như bài toán tối ưu đa mục tiêu, bài toán cân bằng nón và bài toán tối ưu ngẫu nhiên.
  • Ứng dụng các điều kiện tăng trưởng bậc hai đã thiết lập để chứng minh sự hội tụ của các thuật toán số cụ thể (thuật toán tựa Newton, phương pháp nhân tử tăng cường).

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo giá trị cho các nhóm đối tượng:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán Giải tích, Toán Tối ưu: Cung cấp tài liệu hệ thống về phép tính vi phân suy rộng bậc hai ở Chương 1 và các kỹ thuật chứng minh tính ổn định biến phân ở Chương 2.
  • Các nhà nghiên cứu trong lĩnh vực Tối ưu số và Khoa học tính toán: Sử dụng hệ thống điều kiện cần và đủ tối ưu bậc hai ở Chương 3 để phân tích độ ổn định nghiệm và tốc độ hội tụ của các thuật toán giải quy hoạch phi tuyến và quy hoạch nón.
  • Các chuyên gia phát triển thuật toán tối ưu hóa: Tham khảo cấu trúc hàm hợp và điều kiện MSCQ nhằm xử lý các bài toán ràng buộc nón phức tạp trong thực tế.

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 thông thường và hàm chính quy gần kề?

Hàm khả vi hai lần theo nghĩa mở rộng chỉ yêu cầu khả vi trên một tập con có độ đo đầy đủ lân cận điểm xét và thỏa mãn điều kiện giới hạn đối với ma trận Hesse mở rộng. Luận án đã đưa ra hai ví dụ then chốt: Ví dụ 1.18 chỉ ra hàm $\max{x^4, y^4}$ khả vi hai lần theo nghĩa mở rộng nhưng không khả vi hai lần thông thường; Ví dụ 1.17 chỉ ra hàm $g(x) = x^{4/3} \cos(1/x)$ khả vi hai lần nhưng không chính quy gần kề tại gốc tọa độ.

2. Luận án đã phát hiện điểm chưa chính xác nào trong công trình của A. Eberhard và R. Wenczel (2012)?

Luận án phát hiện rằng Định lý 71(2) trong công trình của Eberhard và Wenczel [24] – vốn đưa ra một điều kiện đủ yếu hơn tính xác định dương của đạo hàm đồ thị dưới gradient để đảm bảo điều kiện tăng trưởng bậc hai cho hàm không lồi – là không chính xác, và đã chứng minh điều này bằng việc xây dựng phản ví dụ cụ thể (Ví dụ 2.12).

3. 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 kết luận như thế nào?

Đối với hàm chính thường nửa liên tục dưới, tính xác định dương của đạo hàm đồ thị dưới gradient tại điểm dừng kéo theo điều kiện tăng trưởng bậc hai. Tuy nhiên, chiều ngược lại không đúng; luận án đã xây dựng phản ví dụ chỉ ra điều kiện tăng trưởng bậc hai vẫn có thể thỏa mãn dù đạo hàm đồ thị dưới gradient không xác định dương.

4. Luận án đã mở rộng kết quả tương đương của Drusvyatskiy và Ioffe (2015) sang những lớp hàm nào?

Kết quả của Drusvyatskiy và Ioffe (2015) 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 hàm nửa đại số thông qua hình học nửa đại số. Luận án đã mở rộng kết quả tương đương này sang hai lớp hàm khác bằng phương pháp giải tích biến phân thuần túy: 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à lớp hàm lồi biến phân.

5. Điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ) giữ vai trò gì trong bài toán quy hoạch nón?

MSCQ là điều kiện chuẩn hóa yếu hơn điều kiện Robinson. Trong Chương 3, MSCQ cho phép thiết lập điều kiện cần tối ưu bậc hai (tính nửa xác định dương của đạo hàm đồ thị dưới gradient) tương đương với điều kiện Bonnans-Cominetti-Shapiro, đồng thời là điều kiện cần thiết mang tính bắt buộc để đảm bảo ánh xạ dưới vi phân đạt tính dưới chính quy mêtric mạnh tại cực tiểu địa phương mạnh.

Kết luận

Luận án tiến sĩ của tác giả Hà Anh Tuấn đã giải quyết một cách hệ thống các bài toán lý thuyết trọng tâm trong giải tích biến phân bậc hai và lý thuyết tối ưu hiện đại. Bằng việc xây dựng các công cụ vi phân suy rộng cho hàm khả vi hai lần theo nghĩa mở rộng, luận án đã làm rõ mối quan hệ giữa đạo hàm đồ thị dưới gradient và điều kiện tăng trưởng bậc hai, thiết lập tính tương đương của tính dưới chính quy mêtric mạnh trên các lớp hàm biến phân tổng quát, và hoàn thiện hệ thống đ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. Toàn bộ các kết quả lý thuyết được chứng minh chặt chẽ, minh họa qua các phản ví dụ xác đáng và được công bố trên các tạp chí quốc tế chuyên ngành uy tín.