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ủa nghiên cứu sinh Hà Anh Tuấn, chuyên ngành Toán Giải tích (Mã số: 9 46 01 02), được 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.

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

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ừ yêu 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. Giải tích biến phân bậc hai tập trung vào các cấu trúc vi phân suy rộng bậc hai (như dưới vi phân bậc hai, đạo hàm đồ thị dưới gradient, dưới đạo hàm bậc hai, tập tiếp xúc bậc hai, đạo hàm parabol), xuất hiện tự nhiên khi khảo sát các hệ biến phân mô tả qua nón pháp tuyến/dưới vi phân hoặc các bài toán tối ưu không trơn và tối ưu có ràng buộc.

Trong thực tế tính toán tối ưu số, lời giải nhận được từ máy tính luôn chịu tác động của sai số làm tròn và nhiễu dữ liệ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 nghiệm bài toán tối ưu. Điều này đặt ra nhu cầu cấp thiết trong việc nghiên cứu các điều kiện tối ưu đảm bảo tính ổn định của nghiệm. Mặc dù lý thuyết biến phân đã phát triển nhiều công cụ, các khoảng trống nghiên cứu lý thuyết vẫn còn tồn tại:

  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 đủ; một số kết quả công bố trước đây (cụ thể là Định lý 71(2) của A. Eberhard và R. Wenczel năm 2012) tồn tại sai sót.
  2. Mối liên 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 của dưới vi phân mới chỉ được khẳng định trên lớp hàm lồi (Aragón Artacho và M. Geoffroy, 2008) hoặc hàm nửa đại số (D. Drusvyatskiy và A. D. Ioffe, 2015), nhưng chưa được mở rộng sang các lớp hàm không chính quy gần kề tổng quát hơn.
  3. Các điều kiện tối ưu bậc hai cho bài toán quy hoạch nón chủ yếu được xây dựng dưới điều kiện chuẩn hóa ràng buộc Robinson (RCQ), trong khi các bài toán thỏa mãn điều kiện chuẩn hóa ràng buộc yếu hơn là điều kiện dưới chính quy mêtric (MSCQ) chưa được thiết lập hệ thống điều kiện cần và đủ hoàn chỉnh.

Mục tiêu và các vấn đề nghiên cứu

Mục tiêu chính của luận án là 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 thiết lập các điều kiện tối ưu đảm bảo tính ổn định nghiệm. Luận án tập trung giải quyết 3 vấn đề nghiên cứu cốt lõi:

  • 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ị của ánh xạ dưới vi phân, dưới đạo hàm bậc hai, dưới đạo hàm parabol, tập tiếp xúc bậc hai), lớp hàm khả vi hai lần theo nghĩa mở rộng, 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, lớp hàm lồi biến phân, và bài toán quy hoạch nón có ràng buộc.
  • Phạm vi không gian: Không gian Euclid thực hữu hạn chiều $\mathbb{R}^n$ và $\mathbb{R}^m$.
  • Phạm vi nội dung và thời gian: Nghiên cứu lý thuyết giải tích biến phân thuần túy, hoàn thành và nghiệm thu năm 2023 tại Trường Đại học Vinh.

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à chuyên sâu trong giải tích biến phân và lý thuyết tối ưu:

Tác giả & Năm công bố Nội dung và đóng góp chính đã ghi nhận
R. T. Rockafellar & R. J-B. Wets (1998) Đề xuất thuật ngữ "Giải tích biến phân", hệ thống hóa phép tính vi phân suy rộng bậc nhất và bậc hai, dưới đạo hàm bậc hai, đạo hàm đồ thị.
S. M. Robinson (1980) Giới thiệu điều kiện đủ bậc hai mạnh cho quy hoạch phi tuyến; chứng minh LICQ cùng điều kiện đủ bậc hai mạnh kéo theo hệ KKT chính quy mạnh.
J. F. Bonnans & A. Sulem (1995) Chứng minh chiều ngược lại của kết quả Robinson: nếu điểm dừng là cực tiểu địa phương thì tính chính quy mạnh kéo theo điều kiện đủ bậc hai mạnh.
A. L. Dontchev & 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 tính chất Aubin của ánh xạ nghiệm tuyến tính hóa; đặc trưng qua mặt tới hạn bằng tiêu chuẩn Mordukhovich.
J. F. Bonnans & H. Ramírez (2005); J. Outrata & D. Sun (2008); D. Sun (2006) Mở rộng các kết quả về tính chính quy mạnh sang quy hoạch nón bậc hai và quy hoạch nửa xác định.
R. A. Poliquin & R. T. Rockafellar (1998) Đưa ra khái niệm cực tiểu địa phương ổn định xiên (tilt-stable local minimum) và đặ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 cho hàm chính quy gần kề liên tục dưới vi phân.
B. S. Mordukhovich & J. V. Outrata (2007); B. S. Mordukhovich, J. V. Outrata & M. E. Sarabi (2014); B. S. Mordukhovich & T. T. A. Nghia (2013, 2014) Nghiên cứu tính ổn định xiên của cực tiểu địa phương dưới các điều kiện chuẩn hóa ràng buộc yếu hơn LICQ.
D. Drusvyatskiy & T. T. A. Nghia (2014); B. S. Mordukhovich & T. T. A. 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, tương đương điều kiện tăng trưởng bậc hai đều.
F. J. Aragón Artacho & M. H. Geoffroy (2008, 2014) Chứng minh trên lớp hàm lồi 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ương đương điều kiện tăng trưởng bậc hai; tăng trưởng bậc hai tương đương tính dưới chính quy mêtric mạnh của dưới vi phân.
A. Eberhard & R. Wenczel (2012) Đưa ra điều kiện đủ cho điều kiện tăng trưởng bậc hai đối với hàm không lồi (kết quả này bị luận án phản chứng là không chính xác).
D. Drusvyatskiy & A. D. Ioffe (2015) Sử dụng hình học nửa đại số chứng minh điều kiện tăng trưởng bậc hai tương đương tính dưới chính quy mêtric mạnh của dưới vi phân cho hàm nửa đại số.
J. F. Bonnans, R. Cominetti & A. Shapiro (1999, 2000) Thiết lập 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 Robinson (RCQ).
N. T. V. Hằng, N. H. Chiêu, T. T. A. Nghĩa (2013, 2014, 2017) Nghiên cứu về điều kiện tăng trưởng bậc hai và tính dưới chính quy mêtric của dưới vi phân.
A. Mohammadi, B. S. Mordukhovich & M. E. Sarabi (2019, 2020, 2021) Nghiên cứu mô hình hàm hợp, hàm liên tục dưới vi phân, chính quy gần kề và khả vi trên đồ thị hai lần, tính chính quy parabol.

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 lấp đầy các khoảng trống:

  1. Xác lập mối quan hệ chính xác 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 trên lớp hàm chính thường nửa liên tục dưới; chỉ ra phản ví dụ cho khẳng định của Eberhard và Wenczel.
  2. Xây dựng cầu nối 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 các lớp hàm không chính quy gần kề (bao gồm hàm khả vi trên đồ thị hai lần và hàm lồi biến phân) bằng công cụ giải tích biến phân thuần túy mà không phụ thuộc vào hình học nửa đại số.
  3. Thiết lập hệ đ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 dưới chính quy mêtric (MSCQ) thay vì điều kiện Robinson (RCQ).

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ơ bản

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

  • Nón tiếp tuyến và nón pháp tuyến:
    • Nón tiếp tuyến: $T_\Omega(\bar{x}) := {v \in \mathbb{R}^n \mid \exists t_k \downarrow 0, v_k \to v \text{ sao cho } \bar{x} + t_k v_k \in \Omega, \forall k \in \mathbb{N}}$.
    • Nón pháp tuyến chính quy: $\widehat{N}\Omega(\bar{x}) := {v \in \mathbb{R}^n \mid \limsup{x \xrightarrow{\Omega} \bar{x}} \frac{\langle v, x - \bar{x} \rangle}{|x - \bar{x}|} \le 0} = (T_\Omega(\bar{x}))^\circ$.
    • Nón pháp tuyến qua giới hạn (Mordukhovich): $N_\Omega(\bar{x}) := {v \in \mathbb{R}^n \mid \exists x_k \xrightarrow{\Omega} \bar{x}, v_k \to v \text{ với } v_k \in \widehat{N}_\Omega(x_k)}$.
  • Tập tiếp xúc bậc hai và tính khả đạo hàm parabol:
    • Tập tiếp xúc bậc hai của $\Omega$ tại $\bar{x}$ đối với $w \in T_\Omega(\bar{x})$: $T_\Omega^2(\bar{x}, w) := {u \in \mathbb{R}^n \mid \exists t_k \downarrow 0, u_k \to u \text{ sao cho } \bar{x} + t_k w + \frac{1}{2}t_k^2 u_k \in \Omega}$.
    • Tập $\Omega$ khả đạo hàm parabol tại $\bar{x}$ đối với $w$ nếu $T_\Omega^2(\bar{x}, w) \ne \emptyset$ và mỗi $u \in T_\Omega^2(\bar{x}, w)$ đều tồn tại cung $\xi: [0, \varepsilon] \to \Omega$ thỏa mãn $\xi(0)=\bar{x}, \xi'+(0)=w, \xi''+(0)=u$.
  • Các cấu trúc dưới vi phân:
    • 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})$.
    • Đạo hàm đồ thị của ánh xạ đa trị $F$: $DF(\bar{x}|\bar{y})(w) := {v \in \mathbb{R}^m \mid (w, v) \in T_{\text{gph}F}(\bar{x}, \bar{y})}$.
    • Đạo hàm đồ thị dưới gradient: $D(\partial\phi)(\bar{x}|\bar{v})$.
  • Dưới đạo hàm bậc hai và dưới đạo hàm parabol:
    • Dưới đạo hàm bậc hai: $d^2 f(\bar{x}|\bar{v})(w) := \liminf_{t \downarrow 0, w' \to w} \Delta_t^2 f(\bar{x}|\bar{v})(w')$, với $\Delta_t^2 f(\bar{x}|\bar{v})(w') = \frac{f(\bar{x}+tw')-f(\bar{x})-t\langle \bar{v}, w'\rangle}{\frac{1}{2}t^2}$.
    • Dưới đạo hàm parabol: $d^2 f(\bar{x})(w|z) := \liminf_{t \downarrow 0, z' \to z} \frac{f(\bar{x}+tw+\frac{1}{2}t^2 z')-f(\bar{x})-t df(\bar{x})(w)}{\frac{1}{2}t^2}$.
  • Tính dưới chính quy mêtric (MSCQ):
    • Ánh xạ $F: \mathbb{R}^n \Rightarrow \mathbb{R}^m$ được gọi là dưới chính quy mêtric tại $(\bar{x}, \bar{y}) \in \text{gph}F$ nếu tồn tại $\kappa \ge 0$ và lân cận $U \times V$ sao cho: $$d(x, F^{-1}(\bar{y})) \le \kappa d(\bar{y}, F(x) \cap V), \quad \forall x \in U$$
    • Khi $\bar{x}$ là điểm cô lập của $F^{-1}(\bar{y})$, tính chất này trở thành tính dưới chính quy mêtric mạnh.

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

Luận án sử dụng phương pháp nghiên cứu toán học giải tích lý thuyết:

  1. Phép tính vi phân suy rộng: Khai thác các cấu trúc đạo hàm đồ thị, dưới vi phân Mordukhovich, dưới đạo hàm bậc hai và giải tích tiếp xúc.
  2. Kỹ thuật xấp xỉ biến phân và phân tích đồ thị: Khảo sát đồ thị của ánh xạ dưới vi phân $\text{gph}\partial f$, epigraph $\text{epi} f$, cùng nón tiếp tuyến và nón pháp tuyến liên kết.
  3. Phương pháp phản ví dụ giải tích: Xây dựng các hàm số cụ thể trong $\mathbb{R}$ và $\mathbb{R}^2$ để kiểm chứng tính chặt chẽ của các khẳng định toán học và chỉ ra các phản ví dụ đối với các mệnh đề không chuẩn xác trong y văn.
  4. Phép biến đổi liên hợp Fenchel-Legendre và epi-convergence: Sử dụng sự hội tụ của epigraph để thiết lập các mối quan hệ biến phân.

Nguồn tư liệu nghiên cứu

Luận án dựa hoàn toàn trên các công trình nghiên cứu chuyên ngành được công bố trên các tạp chí quốc tế thuộc danh mục ISI/Scopus (như SIAM Journal on Optimization, Mathematical Programming, Journal of Optimization Theory and Applications, Set-Valued and Variational Analysis) và sách chuyên khảo Variational Analysis (Rockafellar & Wets, 1998), Variational Analysis and Generalized Differentiation (Mordukhovich, 2006), Perturbation Analysis of Optimization Problems (Bonnans & Shapiro, 2000).

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 tập trung 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 và lớp hàm hợp.

  • Khái niệm hàm khả vi hai lần theo nghĩa mở rộng: 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 $A \in \mathbb{R}^{n \times n}$ (gọi là ma trận Hesse mở rộng $\nabla^2 f(\bar{x})$), lân cận $U$ của $\bar{x}$ và tập $D \subset U$ thỏa mãn $\mu(U \setminus D) = 0$ ($\mu$ là độ đo Lebesgue trên $\mathbb{R}^n$) 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}) - A(x - \bar{x})}{|x - \bar{x}|} = 0$$

  • Các ví dụ minh họa và phản ví dụ:

    • Ví dụ 1.1: Chỉ ra rằng đối với hàm chính thường nửa liên tục dưới, đồ thị của ánh xạ dưới vi phân $\text{gph}\partial f$ nói chung không đóng địa phương.
    • Ví dụ 1.2: Xét hàm $g(x) = x^{\frac{4}{3}} \cos(\frac{1}{x})$ với $x \ne 0$ và $g(0) = 0$. Hàm $g$ khả vi hai lần trên $\mathbb{R}$, có Hesse mở rộng tại 0 bằng 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.3: 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 $\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)$.

  • Các quy tắc tính toán cho hàm khả vi hai lần theo nghĩa mở rộng (Định lý 1.3): Nếu $f, g$ khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng và $\alpha \in \mathbb{R}$:

    1. $f+g$ khả vi hai lần mở rộng: $\nabla^2(f+g)(\bar{x}) = \nabla^2 f(\bar{x}) + \nabla^2 g(\bar{x})$.
    2. $\alpha f$ khả vi hai lần mở rộng: $\nabla^2(\alpha f)(\bar{x}) = \alpha \nabla^2 f(\bar{x})$.
    3. $f \cdot g$ khả vi hai lần mở rộng: $\nabla^2(f \cdot g)(\bar{x}) = g(\bar{x})\nabla^2 f(\bar{x}) + f(\bar{x})\nabla^2 g(\bar{x}) + [\nabla f(\bar{x})]^T \nabla g(\bar{x}) + [\nabla g(\bar{x})]^T \nabla f(\bar{x})$.
    4. $f/g$ khả vi hai lần mở rộng nếu $g(\bar{x}) \ne 0$.

  • Quy tắc tổng dạng đẳng thức (Định lý 1.4): Cho $\phi: \mathbb{R}^n \to \overline{\mathbb{R}}$ khả vi hai lần tại $\bar{x}$ theo nghĩa mở rộng và $\psi: \mathbb{R}^n \to \overline{\mathbb{R}}$ chính thường nửa liên tục dưới địa phương tại $\bar{x}$. Khi đó với mọi $\bar{v} \in \partial(\phi+\psi)(\bar{x})$:

    • Đạo hàm đồ thị dưới gradient: $$D\partial(\phi+\psi)(\bar{x}|\bar{v})(w) = \nabla^2 \phi(\bar{x})(w) + D\partial\psi(\bar{x} \mid \bar{v}-\nabla\phi(\bar{x}))(w), \quad \forall w \in \mathbb{R}^n$$
    • Dưới đạo hàm bậc hai: $$d^2(\phi+\psi)(\bar{x}|\bar{v})(w) = \langle w, \nabla^2\phi(\bar{x})w \rangle + d^2\psi(\bar{x} \mid \bar{v}-\nabla\phi(\bar{x}))(w), \quad \forall w \in \mathbb{R}^n$$
    • Dưới đạo hàm parabol: $$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$$

  • Mở rộng cho mô hình hàm hợp $\psi = g \circ F$ (Mệnh đề 1.2): Mở rộng các kết quả của Mohammadi và Sarabi (2020) khi $F: \mathbb{R}^n \to \mathbb{R}^m$ khả vi hai lần theo nghĩa mở rộng và $g: \mathbb{R}^m \to \overline{\mathbb{R}}$ chính thường, nửa liên tục dưới, lồi, liên tục Lipschitz địa phương đối với $\text{dom} g$, thỏa mãn điều kiện chuẩn hóa ràng buộc MSCQ: $$d^2(g \circ F)(\bar{x})(w|z) = d^2 g(F(\bar{x}))(\nabla F(\bar{x})w \mid \nabla F(\bar{x})z + \nabla^2 F(\bar{x})(w, w))$$

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 đề 1 và Vấn đề 2 của luận án.

  • Điều kiện tối ưu cho hàm chính thường nửa liên tục dưới:

    • Luận án chứng minh rằng 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.
    • Đố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 kéo theo điều kiện tăng trưởng bậc hai.
    • Luận án chỉ ra bằng phản ví dụ rằng chiều ngược lại không đúng (đ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).
    • Ví dụ 2.12: Phản bác kết quả của Eberhard và Wenczel (2012, Theorem 71(2)), chứng minh rằng điều kiện đủ do các tác giả này đề xuất không đảm bảo điều kiện tăng trưởng bậc hai cho hàm không lồi.

  • 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: Luận án thiết lập mối 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 của dưới vi phân trên hai lớp hàm rộng:

    1. Định lý 2.6: 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.
    2. Định lý 2.11: Lớp hàm lồi biến phân.

    Phương pháp tiếp cận hoàn toàn dựa trên đạo hàm đồ thị dưới gradient và các quy tắc giải tích biến phân, mở rộng kết quả của Drusvyatskiy và Ioffe (2015) mà không cần dùng đến công cụ hình học nửa đại số.

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 khảo sát bài toán quy hoạch nón tổng quát dạng: $$\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, $F: \mathbb{R}^n \to \mathbb{R}^m$ khả vi hai lần và $K \subset \mathbb{R}^m$ là nón lồi đóng.

  • Điều kiện cần tối ưu bậc hai (Định lý 3.1): Dưới đ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}$, 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ỉ miền ràng buộc: $$\langle z, w \rangle \ge 0, \quad \forall z \in D\partial(f_0 + \delta_{F^{-1}(K)})(\bar{x}|0)(w)$$ là điều kiện cần tối ưu bậc hai. 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 dạng kinh điển của Bonnans, Cominetti và Shapiro (1999).

  • Đặc trưng cực tiểu địa phương mạnh và điều kiện tăng trưởng bậc hai (Định lý 3.4): Kết hợp điều kiện đủ bậc hai, luận án thiết lập các đặc trưng tương đương cho điều kiện tăng trưởng bậc hai trong quy hoạch nón thỏa mãn MSCQ.

  • Vai trò thiết yếu của MSCQ (Ví dụ 3.3): Luận án xây dựng ví dụ minh họa chứng minh rằng nếu điều kiện chuẩn hóa ràng buộc MSCQ bị vi phạm, dưới vi phân của bài toán không thể là dưới chính quy mêtric mạnh tại điểm cực tiểu địa phương mạnh.

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

Đóng góp về mặt lý luận

  1. Phát triển phép tính vi phân suy rộng cho hàm khả vi hai lần mở rộng: Khảo sát đầy đủ tính chất giải tích, thiết lập hệ quy tắc đại số (tổng, tích, thương) và các công thứ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 công thức tính dưới đạo hàm parabol cho hàm hợp dưới điều kiện MSCQ.
  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: 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 trên lớp hàm chính thường nửa liên tục dưới; chỉ ra chiều ngược lại không đúng; phát hiện và chứng minh sai sót trong kết quả của Eberhard và Wenczel (2012).
  3. Mở rộng đặc trưng tương đương của điều kiện tăng trưởng bậc hai: Chứng minh 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 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 bằng giải tích biến phân.
  4. Thiết lập hệ điều kiện tối ưu bậc hai cho quy hoạch nón dưới điều kiện MSCQ: Đưa ra điều kiện cần bậc hai thông qua tính nửa xác định dương của đạo hàm đồ thị dưới gradient (tương đương điều kiện Bonnans-Cominetti-Shapiro) và các đặc trưng của cực tiểu địa phương mạnh dưới điều kiện chuẩn hóa yếu MSCQ.

Đóng góp về mặt thực tiễn

Cung cấp cơ sở toán học chặt chẽ để phân tích tính ổn định nghiệm và đánh giá tốc độ hội tụ của các thuật toán tối ưu số khi giải các bài toán quy hoạch nón và bài toán tối ưu không trơn có sai số tính toán.

Danh mục công trình khoa học công bố từ luận án

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

  1. N. H. Chieu, N. T. V. Hang, N. D. Nghia, H. A. Tuan (2019), "Second-order optimality conditions for a class of cone-constrained optimization problems", SIAM Journal on Optimization, Vol. 29, No. 3, pp. 2310–2333.
  2. N. H. Chieu, L. V. Hien, H. A. Tuan (2020), "Characterizations of second-order growth condition via subgradient graphical derivative", Journal of Optimization Theory and Applications, Vol. 185, No. 3, pp. 719–737.
  3. N. H. Chieu, L. V. Hien, H. A. Tuan (2021), "Calculus rules for twice differentiable functions in the extended sense and their applications", Tạp chí Khoa học Đại học Vinh, Tập 50, Số 1A, tr. 5–18.

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

Hạn chế của nghiên cứu

  • Các kết quả của luận án được thiết lập hoàn toàn trong không gian Euclid hữu hạn chiều $\mathbb{R}^n$, chưa mở rộng sang không gian Banach vô hạn chiều.
  • Các quy tắc tính toán và điều kiện tối ưu bậc hai phụ thuộc vào các giả thiết về tính chính quy gần kề, tính liên tục dưới vi phân, hoặc điều kiện chuẩn hóa ràng buộc MSCQ.

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

  • Nghiên cứu mở rộng các cấu trúc vi phân suy rộng bậc hai và các quy tắc tính toán cho hàm khả vi hai lần theo nghĩa mở rộng trên không gian vô hạn chiều.
  • Ứ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 để phân tích tốc độ hội tụ của các thuật toán cụ thể (như thuật toán Newton suy rộng, phương pháp nhân tử Lagrange tăng cường) trong tối ưu số.
  • Khảo sát điều kiện tối ưu bậc hai cho các lớp bài toán tối ưu với các nón không lồi hoặc nón ma trận phức tạp hơn.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị cao đố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, Toán Ứng dụng quan tâm đến phép tính vi phân suy rộng bậc hai, lý thuyết nón và giải tích biến phân hiện đại.
  • Các nhà nghiên cứu tối ưu số và tính toán khoa học: Cần sử dụng các tiêu chuẩn ổn định nghiệm (tăng trưởng bậc hai, dưới chính quy mêtric) để chứng minh sự hội tụ và phân tích độ nhạy của thuật toán.
  • Các phần đáng tham khảo đặc biệt:
    • Chương 1: Hệ thống quy tắc tổng dạng đẳng thức cho các cấu trúc bậc hai và kỹ thuật xử lý hàm khả vi hai lần mở rộng.
    • Chương 2: Kỹ thuật biến phân chứng minh sự tương đương giữa tăng trưởng bậc hai và tính dưới chính quy mêtric mạnh, cùng các phản ví dụ chọn lọc.
    • Chương 3: Khung giải tích thiết lập điều kiện tối ưu bậc hai cho quy hoạch nón với điều kiện ràng buộc yếu MSCQ.

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?

Hàm khả vi hai lần cổ điển đòi hỏi hàm mục tiêu phải khả vi trên toàn bộ một lân cận của điểm xét và ma trận đạo hàm phải liên tục khả vi tại điểm đó. Trong khi đó, hàm khả vi hai lần theo nghĩa mở rộng chỉ yêu cầu hàm liên tục Lipschitz trên lân cận $U$, khả vi trên một tập con $D \subset U$ có độ đo đầy đủ ($\mu(U \setminus D) = 0$), và giới hạn tỉ số vi phân tiến về ma trận Hesse mở rộng $\nabla^2 f(\bar{x})$ khi $x$ tiến về $\bar{x}$ trong tập $D$. Ví dụ hàm $f(x, y) = \max{x^4, y^4}$ khả vi hai lần mở rộng tại $(0,0)$ nhưng không khả vi hai lần cổ điển tại điểm này.

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 xác định dương của đạo hàm đồ thị dưới gradient tại điểm dừng là điều kiện đủ để đảm bảo đ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 chỉ ra qua phản ví dụ). Đồng thời, luận án chứng minh rằng khẳng định của Eberhard và Wenczel (2012, Theorem 71(2)) về một điều kiện đủ yếu hơn cho tăng trưởng bậc hai là không chính xác thông qua Ví dụ 2.12.

3. Luận án mở rộng mối liên 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 cho những lớp hàm nào?

Luận án thiết lập mối 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:

  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.11). Kết quả này mở rộng các công trình trước đây của Aragón Artacho - Geoffroy (2008) trên hàm lồi và Drusvyatskiy - Ioffe (2015) trên hàm nửa đại số.

4. Điều kiện chuẩn hóa ràng buộc MSCQ trong Chương 3 có ưu thế 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ó tính tổng quát cao hơn và yếu hơn đáng kể so với điều kiện chuẩn hóa ràng buộc Robinson (RCQ). Luận án chứng minh rằng dưới điều kiện MSCQ, tính nửa xác định dương của đạo hàm đồ thị dưới gradient vẫn là điều kiện cần tối ưu bậc hai (tương đương kết quả Bonnans-Cominetti-Shapiro), và MSCQ là điều kiện không thể thiếu để đảm bảo tính dưới chính quy mêtric mạnh của dưới vi phân tại điểm cực tiểu địa phương mạnh.

5. Những kết quả nghiên cứu chính của luận án đã được công bố trên các diễn đàn khoa học nào?

Toàn bộ các đóng góp cốt lõi của luận án đã được bình duyệt và công bố trong 03 bài báo khoa học: 01 bài trên tạp chí SIAM Journal on Optimization (2019), 01 bài trên tạp chí Journal of Optimization Theory and Applications (2020), và 01 bài trên Tạp chí Khoa học Đại học Vinh (2021). Ngoài ra, các kết quả đã được báo cáo tại các seminar chuyên ngành và hội nghị khoa học toán học tại Trường Đại học Vinh.

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 chuyên sâu, giải quyết trọn vẹn các vấn đề lý thuyết quan trọng 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 mở rộng phép tính vi phân suy rộng cho hàm khả vi hai lần theo nghĩa mở rộng, làm sáng tỏ mối liên 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, luận án đã đóng góp các kết quả lý thuyết có giá trị học thuật cao. Hệ thống điều kiện cần và đủ bậc hai được thiết lập cho 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) tạo cơ sở toán học vững chắc cho việc nghiên cứu và phân tích độ ổn định nghiệm trong tối ưu số.