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 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. Luận án thuộc chuyên ngành Toán Giải tích, mã số đào tạo 9 46 01 02, hoàn thành vào năm 2022 và bảo vệ năm 2023.

Giải tích biến phân là một lĩnh vực toán học được hình thành và phát triển xuất phát từ nhu cầu nghiên cứu các bài toán tối ưu, cân bằng và điều khiển, trong đó phép tính vi phân suy rộng giữ vai trò trung tâm theo hệ thống lý thuyết của Rockafellar và Wets (1998). Giải tích biến phân bậc hai tập trung khảo sát các cấu trúc vi phân suy rộng bậc hai phát sinh tự nhiên khi phân tích các hệ biến phân được biểu diễn thông qua dưới vi phân hoặc nón pháp tuyến, cũng như trong các bài toán tối ưu không trơn và tối ưu có ràng buộc. Trong phương diện tối ưu số, khi giải các bài toán thực tế bằng máy tính, sự xuất hiện của nhiễu và sai số tính toán là tất yếu; do đó, độ tin cậy của lời giải số phụ thuộc chặt chẽ vào đặc tính ổn định của bài toán. Luận án đặt mục tiêu phát triển các công cụ của giải tích biến phân bậc hai nhằm thiết lập các điều kiện tối ưu bảo đảm tính ổn định của nghiệm.

Văn bản luận án xác định và tập trung giải quyết ba câu hỏi nghiên cứu cụ thể sau:

  1. Vấn đề thứ nhất: 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 diễn ra như thế nào đối với các lớp hàm không trơn?
  2. Vấn đề thứ hai: Với những lớp hàm nào, điều kiện tăng trưởng bậc hai kéo theo tính dưới chính quy mêtric mạnh của dưới vi phân?
  3. Vấn đề thứ ba: 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) được thiết lập như thế nào?

Đối tượng nghiên cứu của luận án là 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 được giới hạn trong không gian Ơclit thực hữu hạn chiều $\mathbb{R}^n$, 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 chính quy gần kề, hàm liên tục dưới vi phân, hàm lồi biến phân, và 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.

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

Luận án tổng thuật có hệ thống các công trình nghiên cứu tiền đề trong giải tích biến phân và lý thuyết tối ưu:

  • Cấu trúc vi phân suy rộng và giải tích biến phân: Rockafellar và Wets (1998) đề xuất tên gọi và hệ thống hóa lý thuyết giải tích biến phân; Clarke (1983) và Mordukhovich (1988, 2006) đặt nền móng cho phép tính vi phân suy rộng. Các cấu trúc bậc hai được nghiên cứu bởi Bonnans và Shapiro (2000), Levy (1996), Poliquin và Rockafellar (1996, 1998), Mordukhovich (2006, 2018).
  • Điều kiện tối ưu và tính ổn định: Robinson (1980) đưa ra điều kiện đủ bậc hai mạnh cho quy hoạch phi tuyến, chứng minh hệ Karush-Kuhn-Tucker chính quy mạnh dưới điều kiện chuẩn hóa ràng buộc độc lập tuyến tính (LICQ); Bonnans và Sulem (1995) chứng minh chiều ngược lại tại cực tiểu địa phương. Dontchev và Rockafellar (1996) dùng tiêu chuẩn Mordukhovich (1994) thiết lập sự tương đương giữa 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 và tính chất Aubin của ánh xạ nghiệm bài toán tuyến tính hóa. Kết quả này được mở rộng cho quy hoạch nón bậc hai bởi Ding, Sun, Ye (2014), Ramirez, Seeger (2001) và quy hoạch nửa xác định bởi Sun (2006).
  • Cực tiểu địa phương ổn định xiên và điều kiện tăng trưởng bậc hai: Poliquin và Rockafellar (1998) đưa ra khái niệm cực tiểu địa phương ổn định xiên cho hàm chính quy gần kề liên tục dưới vi phân. Chieu và Nghia (2014) chứng minh tính xác định dương đều của đạo hàm đồ thị dưới gradient đặc trưng cho tính ổn định xiên. Mối liên hệ giữa ổn định xiên và điều kiện tăng trưởng bậc hai đều được khảo sát bởi Drusvyatskiy, Mordukhovich, Nghia (2014) và Mordukhovich, Outrata, Sarabi (2014, 2015). Aragón Artacho và Geoffroy (2011) 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 cho hàm lồi chính thường nửa liên tục dưới. Eberhard và Wenczel (2012) đưa ra điều kiện đủ cho hàm không lồi.
  • Mối liên hệ giữa tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh: Zhang và Treiman (1993), Aragón Artacho và Geoffroy (2008) nghiên cứu trên hàm lồi. Drusvyatskiy và Nghia (2014) chứng minh tính dưới chính quy mêtric mạnh kéo theo tăng trưởng bậc hai. Drusvyatskiy và Ioffe (2015) 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: Bonnans, Cominetti và Shapiro (1999), Bonnans và Shapiro (2000) thiết lập điều kiện tối ưu bậc hai dưới điều kiện chuẩn hóa ràng buộc Robinson (RCQ). Mohammadi, Mordukhovich và Sarabi (2019, 2020, 2021) nghiên cứu hàm hợp chính quy gần kề, liên tục dưới vi phân và khả vi trên đồ thị hai lần.
Hướng nghiên cứu Tác giả và năm công bố Kết quả tiêu biểu Vị trí luận án giải quyết
Tăng trưởng bậc hai và đạo hàm đồ thị dưới gradient Aragón Artacho, Geoffroy (2011); Eberhard, Wenczel (2012) Tương đương trên hàm lồi; điều kiện đủ trên hàm không lồi Bác bỏ kết quả của Eberhard - Wenczel qua phản ví dụ; chứng minh tính xác định dương kéo theo tăng trưởng bậc hai cho hàm chính thường nửa liên tục dưới
Tăng trưởng bậc hai và dưới chính quy mêtric mạnh Drusvyatskiy, Ioffe (2015); Drusvyatskiy, Nghia (2014) Tính tương đương xác lập cho lớp hàm nửa đại số Mở rộng tính tương đươ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 và lớp hàm lồi biến phân
Điều kiện tối ưu cho quy hoạch nón Bonnans, Cominetti, Shapiro (1999); Bonnans, Shapiro (2000) Điều kiện tối ưu bậc hai thiết lập dưới điều kiện Robinson (RCQ) Thiết lập điều kiện cần và đặc trưng tăng trưởng bậc hai dưới điều kiện chuẩn hóa dưới chính quy mêtric (MSCQ)

Khoảng trống nghiên cứu luận án lựa chọn là: khắc phục kết quả không chính xác của Eberhard và Wenczel (2012); thiết lập 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 mà không cần giả thiết nửa đại số; xây dựng lý thuyết tối ưu bậc hai cho quy hoạch nón dưới điều kiện MSCQ yếu hơn điều kiện RCQ.

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

Luận án vận dụng các khái niệm và công cụ giải tích biến phân trong không gian $\mathbb{R}^n$:

  • Cấu trúc hình học biến phâ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)$, tính khả đạo hàm parabol của tập hợp.
  • Toán tử vi phân suy rộng: Dưới đạo hàm $df(\bar{x})$, đạo hàm đồ thị $DF(\bar{x}|\bar{y})$, tính dưới chính quy mêtric của ánh xạ đa trị $\text{subreg},F(\bar{x}|\bar{y})$, 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})$, dưới vi phân gần kề $\partial_p\phi(\bar{x})$, và đạo hàm đồ thị dưới gradient $D(\partial\phi)(\bar{x}|\bar{v})$.
  • Cấu trúc bậc hai: Dưới đạo hàm bậc hai $d^2 f(\bar{x}|\bar{v})$, dưới đạo hàm parabol $d^2 f(\bar{x})(w|z)$, nón tới hạn $K_f(\bar{x}, \bar{v})$, tính chính quy parabol, tính chính quy gần kề, tính liên tục dưới vi phân, và tính khả vi hai lần theo nghĩa mở rộng (Rockafellar và Wets, 1998) với ma trận Hesse mở rộng $\nabla^2 f(\bar{x})$.
  • Ràng buộc suy rộng: Điều kiện chuẩn hóa Mangasarian-Fromovitz (MFCQ), điều kiện Robinson (RCQ), và điều kiện ràng buộc chuẩn hóa dưới chính quy mêtric (MSCQ).

Phương pháp nghiên cứu của luận án là phương pháp toán học thuần túy thuộc chuyên ngành Toán Giải tích:

  • Phương pháp suy diễn logic và giải tích biến phân hình thức để chứng minh các định lý, mệnh đề, bổ đề.
  • Kỹ thuật tính toán giải tích suy rộng bậc hai: khai triển xấp xỉ bậc hai, kỹ thuật nón tiếp xúc và phép tính vi phân cho hàm hợp $g \circ F$.
  • Phương pháp phản ví dụ giải tích: xây dựng các hàm số cụ thể với tính toán giải tích chi tiết nhằm kiểm chứng tính độc lập, phủ định kết quả sai trong y văn hoặc chứng minh tính không thể đảo ngược của các mệnh đề toán học.
  • Luận án không sử dụng dữ liệu thống kê, không điều tra thực nghiệm, không đo lường mẫu số và không dùng phần mềm ứng dụng. Nguồn dữ liệu thuần túy là các định nghĩa, định lý và công trình học thuật trong tài liệu tham khảo chuyên ngành.

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 hệ thống hóa các tính chất bổ trợ và tập trung nghiên cứu hàm khả vi hai lần theo nghĩa mở rộng cùng quy tắc tính toán cho hàm hợp.

Trong Mục 1.1, luận án tổng hợp các khái niệm nền tảng. Luận án xây dựng Ví dụ 1.17 khảo sát hàm số: $$f(x) = \begin{cases} 0 & \text{nếu } x < -1 \ x + \frac{1}{2^n} & \text{nếu } x \in \left[-\frac{1}{2^n}, -\frac{3}{2^{n+2}}\right], n = 0, 1, 2, \dots \ 0 & \text{nếu } x > 0 \end{cases}$$ Hàm $f$ chính thường nửa liên tục dưới, nhưng đồ thị của ánh xạ dưới vi phân $\text{gph},\partial f$ không đóng địa phương tại điểm $(0,0)$.

Mục 1.2 đi sâu khảo sát hàm khả vi hai lần theo nghĩa mở rộng (Định nghĩa 1.21). Luận án xây dựng hai ví dụ minh họa cấu trúc của lớp hàm này:

  • Ví dụ 1.22: Xét hàm $g(x) = x\sqrt[3]{x}\cos(1/x)$ khi $x \neq 0$ và $g(0)=0$. Hàm $g$ khả vi hai lần trên $\mathbb{R}$ nhưng không chính quy gần kề tại $\bar{x}=0$ đối với $\bar{v}=\nabla g(0)=0$.
  • Ví dụ 1.23: Xét hàm $f(x, y) = \max{x^4, y^4}$. Hàm này khả vi hai lần theo nghĩa mở rộng tại $(0,0)$ với ma trận Hesse mở rộng $\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 đạo hàm riêng không khả vi tại các điểm lân cận có $|x|=|y| \neq 0$.

Về mặt lý thuyết phép tính, luận án thiết lập Định lý 1.23 khẳng định tính đóng của lớp hàm khả vi hai lần theo nghĩa mở rộng qua các phép toán đại số: tổng $f+g$, tích với vô hướng $\alpha f$, tích hai hàm $f\cdot g$, và thương $f/g$ (khi $g(\bar{x}) \neq 0$), kèm công thức tường minh của ma trận Hesse mở rộng: $$\nabla^2(f\cdot g)(\bar{x}) = g(\bar{x})\nabla^2 f(\bar{x}) + [\nabla g(\bar{x})]^T \nabla f(\bar{x}) + f(\bar{x})\nabla^2 g(\bar{x}) + [\nabla f(\bar{x})]^T \nabla g(\bar{x})$$ $$\nabla^2(f/g)(\bar{x}) = \frac{g(\bar{x})\nabla^2 f(\bar{x}) - [\nabla g(\bar{x})]^T \nabla f(\bar{x}) - [\nabla f(\bar{x})]^T \nabla g(\bar{x})}{[g(\bar{x})]^2} - \frac{f(\bar{x})\left(g(\bar{x})\nabla^2 g(\bar{x}) - 2[\nabla g(\bar{x})]^T \nabla g(\bar{x})\right)}{[g(\bar{x})]^3}$$

Định lý 1.26 thiết lập quy tắc tổng dạng đẳng thức khi $\phi$ khả vi hai lần theo nghĩa mở rộng và $\psi$ chính thường nửa liên tục dưới: $$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}|\bar{v})(w) = \langle w, \nabla^2\phi(\bar{x})w\rangle + d^2\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)$$

Đối với mô hình hàm hợp $\psi = g \circ F$ dưới điều kiện chuẩn hóa ràng buộc MSCQ với môđun $\kappa$, luận án thiết lập Bổ đề 1.10 về bao hàm thức của ánh xạ $S_w(p)$: $S_w(p) \subset S_w(0) + \kappa|p|\mathbb{B}$, và Mệnh đề 1.11 mở rộng các kết quả của Mohammadi và Sarabi (2020), xác lập điều kiện tương đương cho nón tiếp xúc bậc hai, tính khả đạo hàm parabol của $\text{dom},\psi$ và tính khả vi trên đồ thị parabol của $\psi$.

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 trọn vẹn vấn đề thứ nhất và vấn đề thứ hai của luận án.

Trong Mục 2.1, luận án khảo sát quan hệ giữa đạo hàm đồ thị dưới gradient và điều kiện tăng trưởng bậc hai. Tác giả xây dựng Ví dụ 2.12 làm phản ví dụ chứng minh kết quả trong Định lý 71(2) của Eberhard và Wenczel (2012) là không chính xác đối với hàm không lồi. Luận án xác lập Định lý 2.8: Đối 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 nửa xác định dương tại điểm dừng $\bar{x}$ thì $\bar{x}$ là cực tiểu địa phương và dưới vi phân là dưới chính quy mêtric mạnh; khi đạo hàm đồ thị dưới gradient xác định dương tại điểm dừng thì điều kiện tăng trưởng bậc hai được thỏa mãn. Tiếp đó, Ví dụ 2.11 được đưa ra để chứng minh chiều ngược lại không đúng tổng quát, tức điều kiện tăng trưởng bậc hai không bảo đảm tính xác định dương của đạo hàm đồ thị dưới gradient.

Trong Mục 2.2, luận án giải quyết câu hỏi về lớp hàm bảo đảm tính 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:

  • Định lý 2.16 chứng minh rằng đối với 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, đ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.
  • Định lý 2.20 mở rộng khẳng định tương đương trên cho lớp hàm lồi biến phân. Phương pháp tiếp cận của luận án dựa trên hệ thống quy tắc giải tích biến phân và đạo hàm đồ thị dưới gradient, không phụ thuộc vào công cụ hình học nửa đại số như công trình của Drusvyatskiy và Ioffe (2015).

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 áp dụng các công cụ lý thuyết đã phát triển vào bài toán quy hoạch nón dưới điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ).

Trong Mục 3.1, Định lý 3.8 thiết lập điều kiện cần tối ưu bậc hai: Đối với bài toán quy hoạch nón thỏa mãn MSCQ, 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ỉ của tập ràng buộc là điều kiện cần tối ưu. Luận án chứng minh điều kiện này tương đương với điều kiện cần tối ưu bậc hai của Bonnans, Cominetti và Shapiro (1999).

Trong Mục 3.2, Định lý 3.16 thiết lập các đặc trưng của điều kiện tăng trưởng bậc hai và tính chất cực tiểu địa phương mạnh. Luận án xây dựng Ví dụ 3.10 chứng minh vai trò ràng buộc cốt lõi của điều kiện chuẩn hóa MSCQ: nếu thiếu 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 cũng phân tích mối liên hệ với các kết quả của Mohammadi, Mordukhovich và Sarabi (2019, 2020) về biểu diễn hàm hợp trong quy hoạch nón.

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

Luận án tự xác định các đóng góp mới về mặt lý luận và khoa học như sau:

  1. Đóng góp về phép tính vi phân suy rộng bậc hai: Bổ sung các tính chất đại số cơ bản (tổng, tích vô hướng, tích hai hàm, thương hai hàm) cho hàm khả vi hai lần theo nghĩa mở rộng. Thiết lập các 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. Mở rộng kết quả về tính khả đạo hàm parabol của tập hợp và hàm hợp dưới điều kiện MSCQ.
  2. Đóng góp về điều kiện tối ưu và tính ổn định:
    • Chỉ ra điểm sai trong kết quả của Eberhard và Wenczel (2012) thông qua Ví dụ 2.12.
    • 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 (Định lý 2.8), và chứng minh chiều ngược lại không đúng qua phản ví dụ (Ví dụ 2.11).
    • Thiết lập tính 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 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.16) và lớp hàm lồi biến phân (Định lý 2.20).
  3. Đóng góp cho lý thuyết quy hoạch nón: Xây dựng điều kiện cần tối ưu bậc hai dạng đạo hàm đồ thị dưới gradient dưới điều kiện MSCQ (Định lý 3.8), chứng minh tính tương đương với điều kiện của Bonnans, Cominetti, Shapiro (1999); thiết lập đặc trưng tăng trưởng bậc hai (Định lý 3.16) và minh chứng vai trò của MSCQ đối với tính dưới chính quy mêtric mạnh (Ví dụ 3.10).

Các kết quả nghiên cứu chính của luận án đã được công bố trong 03 công trình khoa học:

  • 01 bài báo trên tạp chí SIAM Journal on Optimization (2020) [13].
  • 01 bài báo trên tạp chí Journal of Optimization Theory and Applications (2021) [15].
  • 01 bài báo trên Tạp chí Khoa học Đại học Vinh (2021) [51].

Kiến nghị của luận án đề xuất tiếp tục nghiên cứu mở rộng các công cụ biến phân bậc hai sang không gian vô hạn chiều và ứng dụng các cấu trúc vi phân này vào việc phân tích tốc độ hội tụ của các thuật toán tối ưu số cụ thể.

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

Văn bản luận án nêu rõ các giới hạn phạm vi nghiên cứu:

  • Không gian nghiên cứu: Các kết quả được thiết lập hoàn toàn trong không gian Ơclit hữu hạn chiều $\mathbb{R}^n$, chưa mở rộng sang không gian Banach hoặc Hilbert vô hạn chiều.
  • Lớp hàm khảo sát: Các định lý 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 đòi hỏi các giả thiết hàm số cụ thể (chính quy gần kề, liên tục dưới vi phân, khả vi trên đồ thị hai lần, hoặc lồi biến phân), chưa bao quát toàn bộ hàm không trơn tổng quát.
  • Lớp bài toán ràng buộc: Quy hoạch nón được giới hạn dưới điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ).

Hướng nghiên cứu tiếp theo được tác giả đề xuất bao gồm:

  • Mở rộng các quy tắc tính toán giải tích biến phân bậc hai cho hàm khả vi hai lần theo nghĩa mở rộng sang không gian vô hạn chiều.
  • Nghiên cứu ứng dụng các điều kiện tối ưu bậc hai và đặc trưng tăng trưởng bậc hai để phân tích sự hội tụ và độ ổn định của các thuật toán tối ưu số giải các bài toán thực tế khi có sự xuất hiện của sai số và nhiễu.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn đối với:

  • 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 và Giải tích biến phân: Luận án cung cấp kỹ thuật chứng minh giải tích biến phân bậc hai chặt chẽ, đặc biệt là hệ thống quy tắc tính toán cho hàm khả vi hai lần theo nghĩa mở rộng và hàm hợp ở Chương 1.
  • Các nhà nghiên cứu lý thuyết tối ưu hóa và tối ưu số: Các kết quả tại Chương 2 và Chương 3 cung cấp công cụ nhận biết nghiệm ổn định thông qua tính xác định dương của đạo hàm đồ thị dưới gradient và tính dưới chính quy mêtric mạnh của dưới vi phân.
  • Phần đáng tham khảo trọng tâm: Hệ thống các phản ví dụ giải tích (Ví dụ 1.22, 1.23, 2.11, 2.12, 3.10) được xây dựng chi tiết, có giá trị học thuật cao trong việc nhận diện ranh giới của các mệnh đề toán học.

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

  1. Khái niệm 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 cổ điển? Theo Rockafellar và Wets (1998) và trình bày tại Chương 1, hàm khả vi hai lần theo nghĩa mở rộng chỉ đò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$, khả vi trên tập con $D \subset U$ có độ đo phần bù bằng 0 ($\mu(U \setminus D) = 0$), và giới hạn của tỉ số sai phân đạo hàm tiến tới ma trận Hesse mở rộng khi $x \to \bar{x}$ trên tập $D$. Ví dụ 1.23 ($f(x, y) = \max{x^4, y^4}$) chứng minh một hàm có thể khả vi hai lần theo nghĩa mở rộng tại $(0,0)$ nhưng không khả vi hai lần theo nghĩa cổ điển tại điểm đó.

  2. Luận án đã bác bỏ kết quả nào của Eberhard và Wenczel (2012)? Luận án chỉ ra Định lý 71(2) trong công trình của Eberhard và Wenczel (2012) là không chính xác đối với hàm không lồi. Thông qua Ví dụ 2.12, tác giả đã xây dựng một hàm số cụ thể thỏa mãn điều kiện đủ của Eberhard và Wenczel nhưng điều kiện tăng trưởng bậc hai lại không được thỏa mãn.

  3. Mối liên 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 diễn ra như thế nào? Định lý 2.8 chứng minh rằng đố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 tổng quát, được minh chứng bởi Ví dụ 2.11 trong luận án.

  4. Luận án 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 Drusvyatskiy và Ioffe (2015) cho những lớp hàm nào? Trong khi Drusvyatskiy và Ioffe (2015) sử dụng công cụ hình học nửa đại số để chứng minh tính tương đương cho lớp hàm nửa đại số, luận án đã dùng đạo hàm đồ thị dưới gradient và các quy tắc biến phân để chứng minh tính tương đương này cho hai lớp hàm khác: 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.16), và lớp hàm lồi biến phân (Định lý 2.20).

  5. Điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric (MSCQ) có ý nghĩa gì trong bài toán quy hoạch nón ở Chương 3? MSCQ là điều kiện yếu hơn điều kiện chuẩn hóa Robinson (RCQ). Luận án chứng minh dưới MSCQ, tính nửa xác định dương của đạo hàm đồ thị dưới gradient là điều kiện cần tối ưu bậc hai (Định lý 3.8). Đồng thời, Ví dụ 3.10 chỉ ra rằng MSCQ là giả thiết cần thiết để đảm bảo dưới vi phân của tổng hàm mục tiêu và hàm chỉ là 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 là một công trình nghiên cứu lý thuyết hoàn chỉnh thuộc chuyên ngành Toán Giải tích, tập trung vào phép tính vi phân suy rộng bậc hai và ứng dụng trong thiết lập các điều kiện tối ưu đảm bảo tính ổn định. Tác giả đã bổ sung hệ thống quy tắc tính toán cho hàm khả vi hai lần theo nghĩa mở rộng, làm rõ mối 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, đồng thời khắc phục các thiếu sót trong y văn trước đó. Các kết quả về quy hoạch nón dưới điều kiện chuẩn hóa ràng buộc dưới chính quy mêtric cung cấp cơ sở toán học giá trị cho việc phân tích tính ổn định nghiệm và sự hội tụ của các thuật toán tối ưu số.