Tổng quan luận án

Lý thuyết điều khiển tối ưu vô hạn chiều đối với các hệ phương trình đạo hàm riêng (PDEs) là một hướng nghiên cứu trung tâm của giải tích tối ưu và toán ứng dụng. Kể từ khi Nguyên lý Cực đại Pontryagin và Nguyên lý Quy hoạch động Bellman ra đời vào cuối thập niên 1950, lý thuyết này đã phát triển mạnh mẽ và phân nhánh sang nhiều lĩnh vực như điều khiển tối ưu trơn, không trơn, điều khiển tối ưu rời rạc, và điều khiển các quá trình phân bố. Trong các bài toán điều khiển tối ưu phi tuyến bị chi phối bởi phương trình đạo hàm riêng elliptic nửa tuyến tính, việc khảo sát điều kiện tối ưu bậc một thường chỉ cung cấp các điểm dừng. Khi hàm mục tiêu không có tính lồi, điều kiện cần bậc một không đủ để xác định nghiệm tối ưu cục bộ. Do đó, việc nghiên cứu các điều kiện tối ưu bậc hai (cả điều kiện cần và điều kiện đủ) cùng với tính ổn định của tập nghiệm khi bài toán có chứa tham số giữ vai trò nền tảng cả về mặt lý thuyết giải tích lẫn ứng dụng trong việc phân tích hội tụ của các thuật toán quy hoạch toàn phương tuần tự (SQP - Sequential Quadratic Programming).

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Hải Sơn tập trung giải quyết các khoảng trống học thuật cụ thể thông qua việc đặt ra và giải quyết 4 bài toán nghiên cứu (được đánh số từ OP 1 đến OP 4 trong văn bản):

  1. Bài toán 1 (OP 1): Thiết lập các điều kiện cần tối ưu bậc hai cho bài toán điều khiển biên khi các biến điều khiển thuộc không gian $L^p(\Gamma)$ với $1 < p < \infty$.
  2. Bài toán 2 (OP 2): Đưa ra các điều kiện đủ tối ưu bậc hai cho các bài toán điều khiển tối ưu có ràng buộc hỗn hợp trạng thái - điều khiển khi hàm mục tiêu không phụ thuộc vào biến điều khiển.
  3. Bài toán 3 (OP 3): Xây dựng lý thuyết về điều kiện tối ưu bậc hai không khoảng cách (no-gap second-order optimality conditions) cho các bài toán điều khiển tối ưu bị chi phối bởi phương trình elliptic nửa tuyến tính với ràng buộc điểm hỗn hợp (mixed pointwise constraints).
  4. Bài toán 4 (OP 4): Thiết lập các điều kiện đủ để ánh xạ nghiệm của bài toán điều khiển biên phụ thuộc tham số đạt được tính nửa liên tục trên (upper semicontinuity) và tính liên tục (continuity) theo tham số.

Mục tiêu tổng quát của luận án là khảo sát toàn diện các điều kiện tối ưu bậc hai không khoảng cách và tính ổn định nghiệm cho các bài toán điều khiển tối ưu bị chi phối bởi phương trình elliptic nửa tuyến tính với các ràng buộc điểm hỗn hợp. Cụ thể hóa thành 4 mục tiêu thành phần:

  • (i) Thiết lập điều kiện cần tối ưu bậc hai cho bài toán điều khiển biên với điều khiển thuộc $L^p(\Gamma)$, $1 < p < \infty$;
  • (ii) Thiết lập điều kiện đủ tối ưu bậc hai cho bài toán điều khiển phân bố và bài toán điều khiển biên khi hàm mục tiêu có dạng toàn phương đối với biến điều khiển, đồng thời chứng minh điều kiện tối ưu không khoảng cách được nghiệm đúng;
  • (iii) Thiết lập điều kiện đủ tối ưu bậc hai cho bài toán điều khiển phân bố và bài toán điều khiển biên khi hàm mục tiêu độc lập với biến điều khiển, đồng thời chỉ ra rằng trong trường hợp tổng quát lý thuyết điều kiện không khoảng cách không còn được bảo toàn;
  • (iv) Đưa ra các điều kiện đủ đối với bài toán điều khiển biên có chứa tham số để ánh xạ nghiệm có tính nửa liên tục trên và liên tục theo tham số.

Đối tượng nghiên cứu của luận án là các bài toán điều khiển tối ưu phân bố và điều khiển tối ưu biên được mô hình hóa bởi các phương trình vi phân đạo hàm riêng elliptic nửa tuyến tính (điều kiện biên Dirichlet và điều kiện biên Robin/Neumann) với các ràng buộc hỗn hợp trạng thái - điều khiển dạng $a(x) \le g(x, y(x)) + \lambda u(x) \le b(x)$ trên miền mở bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) hoặc trên biên $\Gamma = \partial\Omega$. Phạm vi không gian nghiên cứu tập trung vào các không gian Lebesgue $L^p$, không gian Sobolev $W^{m,p}(\Omega)$, $W^{s,p}(\Gamma)$ và không gian các hàm liên tục $C(\bar{\Omega})$. Luận án được hoàn thành năm 2019 tại Trường Đại học Bách khoa Hà Nội.

Thông số Chi tiết học thuật
Tên luận án No-gap Optimality Conditions and Solution Stability for Optimal Control Problems Governed by Semilinear Elliptic Equations
Nghiên cứu sinh Nguyễn Hải Sơn
Người hướng dẫn 1. TS. Nguyễn Thị Toàn; 2. TS. Bùi Trọng Kiên
Cơ sở đào tạo Viện Toán ứng dụng và Tin học, Trường Đại học Bách khoa Hà Nội
Ngành & Mã số Toán học (Mathematics) - 9460101
Thời gian bảo vệ Năm 2019 (Hoàn thành tháng 4 năm 2019)

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

Tổng quan tài liệu trong luận án được xây dựng từ các công trình kinh điển đến các kết quả hiện đại trong giải tích biến phân và điều khiển tối ưu:

  • Các nghiên cứu về điều kiện tối ưu bậc hai:

    • Đối với bài toán điều khiển tối ưu bị chi phối bởi phương trình vi phân thường (ODEs), J. F. Bonnans và các cộng sự (1998, 2000) đã phân tích có hệ thống các điều kiện tối ưu bậc hai và cấu trúc nón nguy hiểm.
    • Đối với bài toán điều khiển phương trình elliptic với ràng buộc điều khiển thuần túy ($u(x) \in [a(x), b(x)]$), E. Casas, F. Tröltzsch, M. Mateos, C. Pola (1998, 2000, 2002, 2015) và E. Bayen et al. (2012) đã phát triển các điều kiện cần và đủ bậc hai cho bài toán Dirichlet và Neumann có kèm theo ràng buộc trạng thái. E. Casas (2012) đã thiết lập điều kiện đủ bậc hai cho các bài toán không chứa biến điều khiển trong hàm mục tiêu.
    • Đối với bài toán có ràng buộc hỗn hợp trạng thái - điều khiển $a(x) \le \lambda y(x) + u(x) \le b(x)$, A. Rösch và F. Tröltzsch (2006, 2007) đã thiết lập các điều kiện đủ bậc hai cho bài toán Robin. Tuy nhiên, các công trình của Rösch và Tröltzsch chủ yếu giả thiết các hàm chặn $a, b \in L^\infty(\Omega)$ hoặc $L^\infty(\Gamma)$, dẫn tới biến điều khiển $u$ thuộc $L^\infty$. Hạn chế căn bản của cách tiếp cận này là các nhân tử Lagrange tương ứng thuộc không gian đối ngẫu của $L^\infty$, tức là các độ đo Borel hữu hạn thay vì là các hàm khả tích thông thường, gây khó khăn cho việc xử lý số và giải tích lý thuyết.
    • Nhằm khắc phục hạn chế trên, B. T. Kien và các cộng sự (2017, 2018) đã phát triển khung giải tích cho bài toán với $a, b \in L^p(\Omega)$ ($1 < p < \infty$), đưa nhân tử Lagrange về không gian hàm $L^{p'}(\Omega)$.

  • Vấn đề điều kiện tối ưu không khoảng cách (No-gap optimality conditions):

    • Khái niệm "không khoảng cách" theo định nghĩa của J. F. Bonnans (1998) xuất hiện khi sự khác biệt giữa điều kiện cần bậc hai và điều kiện đủ bậc hai chỉ nằm ở dấu bất đẳng thức (bất đẳng thức không ngặt $\ge 0$ ở điều kiện cần và bất đẳng thức ngặt $> 0$ ở điều kiện đủ) trên cùng một nón nguy hiểm (critical cone).
    • Bonnans (1998) thiết lập tính chất không khoảng cách dựa trên tính đa diện (polyhedricity) của tập khả kiến và lý thuyết dạng Legendre cho bài toán có hàm mục tiêu toàn phương và ràng buộc điều khiển thuần túy. Kết quả này sau đó được mở rộng bởi Bayen et al. (2012, 2013). Tuy nhiên, đối với bài toán điều khiển phương trình elliptic nửa tuyến tính có ràng buộc điểm hỗn hợp, việc xác định nón nguy hiểm chung để đạt được tính không khoảng cách vẫn là một bài toán mở chưa được giải quyết trước luận án này.

  • Vấn đề ổn định nghiệm của bài toán tối ưu có tham số:

    • Khi bài toán tối ưu lồi chặt và tập chấp nhận được lồi, ánh xạ nghiệm là đơn trị; A. L. Dontchev (1995, 1996) và K. Malanowski (1984–2007) đã dùng định lý hàm ẩn để chứng minh tính liên tục Lipschitz của ánh xạ nghiệm khi điều kiện đủ bậc hai yếu và điều kiện chính quy ràng buộc được thỏa mãn.
    • Khi tính lồi bị vi phạm hoặc bài toán đa trị, B. T. Kien et al. (2005, 2008) đã khảo sát tính nửa liên tục dưới của ánh xạ nghiệm. Gần đây hơn, B. T. Kien, V. H. Nhu và các tác giả (2014, 2017) đã thiết lập tính nửa liên tục trên cho bài toán ODE và bài toán elliptic điều khiển phân bố. Vấn đề đặt ra cho điều khiển biên tham số với ràng buộc hỗn hợp vẫn chưa có lời giải đầy đủ.

Vị trí của luận án là cầu nối giải quyết trọn vẹn bài toán điều kiện tối ưu bậc hai không khoảng cách trong không gian $L^p$ ($p > 1$) có ràng buộc hỗn hợp, đồng thời mở rộng giải tích ổn định nghiệm đa trị cho bài toán điều khiển biên tham số.

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

Luận án vận dụng hệ thống các lý thuyết giải tích hàm hiện đại, giải tích biến phân và lý thuyết phương trình đạo hàm riêng:

  • Khung giải tích biến phân và hình học giải tích:

    • Sử dụng các khái niệm nón tiếp xúc: Nón tiếp xúc Bouligand $T(K, x)$, nón tiếp xúc liên hợp (intermediate/adjoint tangent cone) $T^[(K, x)$, và nón tiếp xúc Clarke $T_C(K, x)$.
    • Sử dụng các tập tiếp xúc bậc hai theo nghĩa Painlevé-Kuratowski: Tập tiếp xúc bậc hai Bouligand $T^2(K, x, v)$ và tập tiếp xúc bậc hai liên hợp $T^{2[}(K, x, v)$.
    • Nón chuẩn tắc Clarke $N(K, x)$ định nghĩa thông qua nón cực của nón tiếp xúc Clarke: $N(K, x) := T_C(K, x)^\circ$.
    • Ánh xạ đa trị (set-valued maps/multifunctions) $F: X \rightrightarrows Y$ cùng các khái niệm tập ảnh, đồ thị $\operatorname{gph}(F)$, tính nửa liên tục trên (USC), nửa liên tục dưới (LSC) theo nghĩa Painlevé-Kuratowski và topo metric.
    • Tính chất đa diện (polyhedricity) và tính đa diện mạnh mở rộng (strongly extended polyhedricity) của tập lồi đóng $K \subset E$: Với mọi $v^* \in N(K, \bar{z})$, $T^[(K, \bar{z}) \cap (v^)^\perp = \operatorname{cl}[\operatorname{cone}(K - \bar{z}) \cap (v^)^\perp]$.

  • Khung lý thuyết phương trình đạo hàm riêng elliptic và không gian Sobolev:

    • Không gian Lebesgue $L^p(\Omega)$, $L^\infty(\Omega)$, không gian Sobolev $W^{m,p}(\Omega)$, $W_0^{m,p}(\Omega)$, $H^m(\Omega)$, $W^{s,p}(\Gamma)$ trên miền $\Omega \subset \mathbb{R}^N$ có biên $\Gamma$ trơn loại $C^{1,1}$ hoặc $C^2$.
    • Toán tử vi phân elliptic bậc hai dạng phân kỳ: $Ay = -\sum_{i,j=1}^N D_j(a_{ij} D_i y)$ với ma trận hệ số $(a_{ij})$ thỏa mãn điều kiện elliptic đều $m|\xi|^2 \le \sum a_{ij}(x)\xi_i\xi_j \le M|\xi|^2$.
    • Định lý nhúng Sobolev-Rellich: $W^{1,p}(\Omega) \hookrightarrow L^q(\Omega)$ liên tục và compact khi $q < \frac{Np}{N-p}$; $W^{m,p}(\Omega) \hookrightarrow\hookrightarrow C(\bar{\Omega})$ khi $mp > N$.
    • Định lý vết Gagliardo (Trace theorem): Sự tồn tại và tính liên tục toàn ánh của toán tử vết $T: W^{1,p}(\Omega) \to W^{1-1/p,p}(\Gamma)$.
    • Công thức tích phân Green, bất đẳng thức Poincaré, bất đẳng thức Poincaré suy rộng và bất đẳng thức Friedrichs suy rộng.

  • Phương pháp tiếp cận và kỹ thuật chứng minh thực tế:

    • Phương pháp trừu tượng hóa: Đưa bài toán điều khiển tối ưu vô hạn chiều về bài toán quy hoạch toán học trừu tượng dạng $\min f(u)$ thỏa mãn $G(u) \in K$, trong đó $K$ là tập lồi đóng trong không gian Banach phân ly $E$.
    • Kỹ thuật khử biến trạng thái: Thông qua ánh xạ điều khiển - trạng thái $\zeta: u \mapsto y_u$, sử dụng Định lý ánh xạ ngược và Định lý hàm ẩn để chứng minh tính khả vi Fréchet cấp một và cấp hai của $\zeta$ và hàm mục tiêu thu gọn $f(u) = F(\zeta(u), u)$.
    • Xác lập điều kiện chính quy: Chứng minh tính toàn ánh của toán tử đạo hàm $\nabla G(\bar{u})$, từ đó suy ra điều kiện chính quy Robinson được thỏa mãn: $\operatorname{B}_E(0, \rho) \subset \nabla G(\bar{u})(\operatorname{B}_U) - (K - G(\bar{u})) \cap \operatorname{B}_E$.
    • Phương pháp giải tích đối ngẫu: Xây dựng phương trình liên hợp (adjoint equation) để loại bỏ đạo hàm bậc hai của toán tử trạng thái trong dạng toàn phương của đạo hàm cấp hai hàm Lagrange $\nabla^2_{uu} L(\bar{u}, e^*)(d, d)$.
    • Phương pháp phản chứng và xấp xỉ dãy: Sử dụng các dãy cực tiểu hóa xấp xỉ, khai triển Taylor bậc hai kết hợp tính nửa liên tục dưới yếu của các dạng toàn phương để chứng minh điều kiện tăng trưởng bậc hai.

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

Chapter 0: Preliminaries and Auxiliary Results (Các kiến thức chuẩn bị và kết quả bổ trợ)

Chương 0 hệ thống hóa toàn bộ các công cụ giải tích toán học làm nền tảng cho các chương sau của luận án:

  • Ánh xạ đa trị và giải tích biến phân: Định nghĩa đồ thị, miền xác định, tập ảnh và các khái niệm nửa liên tục trên, nửa liên tục dưới, tính liên tục của ánh xạ đa trị theo định nghĩa Kuratowski (1932). Thiết lập các công thức giải tích cho nón tiếp xúc Bouligand, nón tiếp xúc liên hợp, nón Clarke và nón chuẩn tắc. Cung cấp các ví dụ tường minh chỉ ra sự khác biệt giữa tập tiếp xúc bậc hai Bouligand $T^2(D, x, v)$ và tập tiếp xúc bậc hai liên hợp $T^{2[}(D, x, v)$ trên tập lồi.
  • Không gian Sobolev và phương trình elliptic: Thiết lập định lý vết Gagliardo, các định lý nhúng Sobolev-Rellich và các bất đẳng thức giải tích (Poincaré, Friedrichs).
  • Nghiệm của phương trình elliptic nửa tuyến tính: Khảo sát hai bài toán cơ bản:
    1. Bài toán Dirichlet: $$\begin{cases} Ay + h(x, y) = u & \text{trong } \Omega \ y = 0 & \text{trên } \Gamma \end{cases}$$ Chứng minh tính tồn tại duy nhất của nghiệm yếu $y_u \in W^{2,p}(\Omega) \cap W_0^{1,p}(\Omega)$ khi $p > N/2$ và đánh giá tiên nghiệm $|y_u|{W^{2,p}(\Omega)} \le C |u|{L^p(\Omega)}$.
    2. Bài toán Robin: $$\begin{cases} Ay + a_0(x)y + h(x, y) = u & \text{trong } \Omega \ \partial_\nu y + b_0(x)y + k(x, y) = v & \text{trên } \Gamma \end{cases}$$ Chứng minh tính khả giải duy nhất của nghiệm yếu trong không gian $H^1(\Omega) \cap C(\bar{\Omega})$ và $W^{1,r}(\Omega)$ dưới các giả thiết sinh bởi hàm Carathéodory $h, k$ và các hệ số $a_0 \ge 0, b_0 \ge 0$. Đồng thời chứng minh tính hội tụ mạnh của nghiệm khi dãy nguồn hội tụ yếu.

Chapter 1: No-gap Optimality Conditions for Distributed Control Problems (Điều kiện tối ưu không khoảng cách cho bài toán điều khiển phân bố)

Chương 1 nghiên cứu bài toán điều khiển tối ưu phân bố $(DP)$ trên miền $\Omega \subset \mathbb{R}^N$ ($N \ge 2$, biên trơn $C^2$): $$\min F(y, u) = \int_\Omega L(x, y(x), u(x)),dx$$ thỏa mãn: $$\begin{cases} -\Delta y + h(x, y) = u & \text{trong } \Omega \ y = 0 & \text{trên } \Gamma \ a(x) \le g(x, y(x)) + \lambda u(x) \le b(x) & \text{hầu khắp trong } \Omega \end{cases}$$ với $p > N/2$, $\lambda \ne 0$, $a, b \in L^p(\Omega)$.

  • Tính khả vi Fréchet và Quy hoạch trừu tượng: Khảo sát ánh xạ điều khiển - trạng thái $\zeta: u \mapsto y_u$, chứng minh $\zeta$ khả vi Fréchet cấp hai và tính đạo hàm $\zeta'(u)v = z_{u,v}$, $\zeta''(u)(v_1, v_2) = z_{u, v_1 v_2}$ qua các phương trình elliptic tuyến tính hóa tương ứng.
  • Điều kiện chính quy Robinson: Luận án chứng minh rằng nhờ sự hiện diện của thành phần $\lambda u$ ($\lambda \ne 0$), toán tử đạo hàm của ràng buộc $\nabla G(\bar{u}) = g_y(\cdot, \bar{y})\zeta'(\bar{u}) + \lambda I$ là một toàn ánh từ $L^p(\Omega)$ lên chính nó. Do đó, điều kiện chính quy Robinson và tính đa diện mạnh mở rộng được thỏa mãn tại mọi điểm chấp nhận được.
  • Điều kiện cần bậc hai: Xây dựng phương trình liên hợp đối ngẫu: $$\begin{cases} -\Delta \bar{\varphi} + h_y[x]\bar{\varphi} = L_y[x] + e^* g_y[x] & \text{trong } \Omega \ \bar{\varphi} = 0 & \text{trên } \Gamma \end{cases}$$ với $e^* \in L^{p'}(\Omega)$ là nhân tử Lagrange duy nhất. Biểu thức đạo hàm bậc hai của phiếm hàm Lagrange được xác định tường minh: $$\nabla^2_{uu} L(\bar{u}, e^)(u, u) = \int_\Omega \left( L_{yy}[x] z_{\bar{u},u}^2 + 2L_{yu}[x] z_{\bar{u},u} u + L_{uu}[x] u^2 + e^ g_{yy}[x] z_{\bar{u},u}^2 - \bar{\varphi} h_{yy}[x] z_{\bar{u},u}^2 \right) dx \ge 0$$ với mọi hướng tới hạn $u \in C_p(\bar{u})$. Cung cấp ví dụ phản chứng kiểm tra điểm dừng $(0, 0)$ thỏa mãn điều kiện bậc một nhưng vi phạm điều kiện cần bậc hai.
  • Điều kiện đủ bậc hai và tính Không khoảng cách (No-gap): Khi $p = 2$, $N \in {2, 3}$ và hàm mật độ có cấu trúc toàn phương $L(x, y, u) = \phi(x, y) + \alpha(x)u + \beta(x)u^2$ với $\beta(x) \ge \gamma > 0$, luận án chứng minh: $$\nabla^2_{uu} L(\bar{u}, e^*)(u, u) > 0 \quad \forall u \in C_2(\bar{u}) \setminus {0}$$ là điều kiện đủ để $\bar{u}$ thỏa mãn điều kiện tăng trưởng bậc hai trong chuẩn $L^2(\Omega)$, từ đó $\bar{u}$ là nghiệm tối ưu cục bộ. Kết quả này xác lập điều kiện tối ưu không khoảng cách vì điều kiện cần và điều kiện đủ được thiết lập trên cùng một nón nguy hiểm $C_2(\bar{u})$.
  • Trường hợp hàm mục tiêu không phụ thuộc điều khiển: Khi $\alpha(x) = \beta(x) \equiv 0$, tính lồi yếu ngặt bị triệt tiêu; luận án đề xuất mở rộng nón nguy hiểm để thiết lập điều kiện đủ bậc hai và chỉ ra rằng tính không khoảng cách nói chung không còn được duy trì.

Chapter 2: No-gap Optimality Conditions for Boundary Control Problems (Điều kiện tối ưu không khoảng cách cho bài toán điều khiển biên)

Chương 2 mở rộng phân tích sang bài toán điều khiển biên Robin, trong đó hàm điều khiển $u$ tác động trực tiếp trên biên $\Gamma$:

  • Mô hình toán học: Hệ phương trình chi phối có dạng: $$\begin{cases} Ay + a_0(x)y + h(x, y) = f & \text{trong } \Omega \ \partial_\nu y + b_0(x)y + k(x, y) = u & \text{trên } \Gamma \end{cases}$$ kèm theo ràng buộc điểm hỗn hợp trên biên $a(x) \le g(x, y(x)) + \lambda u(x) \le b(x)$ hầu khắp trên $\Gamma$, với biến điều khiển $u \in L^p(\Gamma)$ ($1 < p < \infty$).
  • Thiết lập điều kiện cần bậc hai: Sử dụng tính chất vết của không gian Sobolev và tính khả vi Fréchet của toán tử nghiệm biên, luận án chứng minh sự tồn tại duy nhất của nhân tử Lagrange $e^* \in L^{p'}(\Gamma)$ và hàm liên hợp $\bar{\varphi} \in W^{1,p'}(\Omega)$ thỏa mãn phương trình liên hợp biên.
  • Thiết lập điều kiện đủ bậc hai và tính không khoảng cách: Tương tự như điều khiển phân bố, khi hàm mục tiêu trên biên có cấu trúc toàn phương theo biến điều khiển biên $u$, luận án chứng minh sự trùng khớp giữa nón nguy hiểm của điều kiện cần và nón nguy hiểm của điều kiện đủ, đem lại bộ điều kiện tối ưu không khoảng cách cho bài toán điều khiển biên.

Chapter 3: Upper Semicontinuity and Continuity of the Solution Map to a Parametric Boundary Control Problem (Tính nửa liên tục trên và tính liên tục của ánh xạ nghiệm đối với bài toán điều khiển biên phụ thuộc tham số)

Chương 3 khảo sát tính ổn định của bài toán điều khiển biên khi hệ có chứa đồng thời hai véc-tơ tham số $\mu \in \Pi$ (trong hàm mục tiêu) và $\lambda \in \Lambda$ (trong ràng buộc): $$P(\mu, \lambda): \quad \min_{(y, u) \in \Phi(\lambda)} F(y, u, \mu)$$

  • Tính chất topo của tập chấp nhận được: Khảo sát ánh xạ tập khả kiến $\lambda \mapsto \Phi(\lambda)$, chứng minh tính compact yếu và tính liên tục theo nghĩa Painlevé-Kuratowski của tập chấp nhận được dưới các nhiễu loạn tham số.
  • Tính nửa liên tục trên của ánh xạ nghiệm: Không đòi hỏi tính lồi của hàm mục tiêu $F$ hay tính lồi của tập chấp nhận được $\Phi(\lambda)$, luận án thiết lập điều kiện đủ để ánh xạ nghiệm đa trị $S: (\mu, \lambda) \rightrightarrows Y \times U$ đạt được tính nửa liên tục trên theo topo tích cực đại.
  • Tính liên tục đơn trị: Trong trường hợp bài toán thỏa mãn các điều kiện lồi hoặc nghiệm cục bộ là cô lập, luận án chứng minh ánh xạ nghiệm trở thành đơn trị và liên tục mạnh theo các tham số $\mu$ và $\lambda$.

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

Luận án đã đạt được các kết quả khoa học mới trong lĩnh vực điều khiển tối ưu các hệ phương trình đạo hàm riêng:

Lĩnh vực đóng góp Chi tiết kết quả mới trong luận án
Điều kiện cần bậc hai trong $L^p$ Thiết lập trọn vẹn điều kiện cần tối ưu bậc hai cho bài toán điều khiển biên và điều khiển phân bố với $u \in L^p$ ($1 < p < \infty$), giúp nhân tử Lagrange $e^*$ thuộc không gian hàm khả tích $L^{p'}$, khắc phục nhược điểm nhân tử là độ đo trong các nghiên cứu trước ở không gian $L^\infty$.
Lý thuyết không khoảng cách (No-gap) Giải quyết trọn vẹn Bài toán mở 3 (OP 3): Tìm ra nón nguy hiểm chung $C_2(\bar{u})$ cho cả điều kiện cần và điều kiện đủ bậc hai khi hàm mục tiêu có cấu trúc toàn phương đối với điều khiển và hệ có ràng buộc hỗn hợp.
Phân tích hàm mục tiêu không chứa điều khiển Đưa ra điều kiện đủ bậc hai thông qua việc mở rộng nón nguy hiểm khi hàm mục tiêu độc lập với biến điều khiển (OP 2), đồng thời chứng minh rằng tính không khoảng cách không còn được bảo toàn.
Tính ổn định của ánh xạ nghiệm biên Giải quyết Bài toán mở 4 (OP 4): Chứng minh tính nửa liên tục trên và tính liên tục của ánh xạ nghiệm cho bài toán điều khiển biên tham số phi lồi với tập chấp nhận được không lồi.
  • Ý nghĩa lý thuyết: Hoàn thiện lý thuyết giải tích biến phân cấp hai cho phương trình đạo hàm riêng elliptic nửa tuyến tính có ràng buộc hỗn hợp trạng thái - điều khiển.
  • Ý nghĩa thực tiễn và tính toán: Các điều kiện đủ bậc hai dạng tăng trưởng toàn phương được thiết lập là cơ sở toán học để chứng minh tốc độ hội tụ siêu tuyến tính hoặc bậc hai của các thuật toán số, đặc biệt là phương pháp Quy hoạch toàn phương tuần tự (SQP) khi giải các bài toán điều khiển tối ưu thực tế.

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

  • Hạn chế dựa trên phạm vi nghiên cứu của luận án:

    • Các kết quả về tính không khoảng cách cho bài toán điều khiển phân bố và điều khiển biên chỉ áp dụng cho trường hợp số chiều không gian $N \in {2, 3}$ do yêu cầu nhúng compact của không gian Sobolev $W^{2,2}(\Omega) \hookrightarrow\hookrightarrow C(\bar{\Omega})$ để kiểm soát số hạng phi tuyến.
    • Hệ phương trình trạng thái được giới hạn ở lớp phương trình đạo hàm riêng elliptic nửa tuyến tính dừng cấp hai, chưa bao quát các hệ phương trình parabolic (phụ thuộc thời gian) hoặc phương trình hyperbolic.
    • Điều kiện ràng buộc hỗn hợp được xét ở dạng tuyến tính đối với biến điều khiển ($g(x, y) + \lambda u$), chưa bao hàm trường hợp hàm ràng buộc phi tuyến phi lồi bất kỳ theo cả hai biến $g(x, y, u) \le 0$.

  • Hướng nghiên cứu tiếp được gợi ý:

    • Mở rộng lý thuyết điều kiện tối ưu không khoảng cách sang các hệ phương trình đạo hàm riêng không dừng (parabolic semilinear equations).
    • Nghiên cứu tính ổn định Lipschitz và tính vi phân của ánh xạ nghiệm theo tham số đối với các bài toán có ràng buộc hỗn hợp tổng quát.

Giá trị tham khảo

Luận án là tài liệu tham khảo giá trị cho:

  • Nghiên cứu sinh và học viên cao học ngành Toán học, Toán ứng dụng: Cung cấp tài liệu hệ thống về kỹ thuật sử dụng giải tích biến phân cấp hai, lý thuyết nón tiếp xúc, nón chuẩn tắc và định lý nhúng Sobolev trong tối ưu hóa vô hạn chiều.
  • Giảng viên và nhà nghiên cứu giải tích tối ưu: Cung cấp khung phương pháp luận chuyển đổi bài toán PDE về bài toán quy hoạch toán học trừu tượng thông qua ánh xạ điều khiển - trạng thái, kỹ thuật kiểm tra điều kiện chính quy Robinson và phương pháp khử biến trạng thái.
  • Chuyên gia tính toán khoa học và tối ưu hóa số: Cung cấp cơ sở lý thuyết để thiết kế, đánh giá và kiểm tra điều kiện hội tụ của các thuật toán SQP và thuật toán đối ngẫu giải bài toán điều khiển tối ưu phương trình đạo hàm riêng.
  • Các phần đáng tham khảo sâu: Mục 1.1–1.2 (Chương 1) về kỹ thuật tính đạo hàm Fréchet cấp hai của toán tử phi tuyến và Mục 2.2–2.3 (Chương 2) về xử lý điều kiện biên Robin và toán tử vết.

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

1. Khái niệm "điều kiện tối ưu không khoảng cách" (no-gap optimality conditions) trong luận án được hiểu chính xác là gì?
Trả lời: Theo định nghĩa của J. F. Bonnans, điều kiện tối ưu bậc hai đạt được tính "không khoảng cách" khi điều kiện cần bậc hai và điều kiện đủ bậc hai có cùng một dạng biểu thức toán học và được xét trên cùng một nón nguy hiểm (critical cone), trong đó sự khác biệt duy nhất chỉ là giữa bất đẳng thức không ngặt ($\ge 0$ ở điều kiện cần) và bất đẳng thức ngặt ($> 0$ ở điều kiện đủ).

2. Tại sao luận án lại khảo sát không gian điều khiển $L^p$ ($1 < p < \infty$) thay vì không gian $L^\infty$ như nhiều công trình trước đây?
Trả lời: Trong không gian $L^\infty(\Omega)$, không gian đối ngẫu là không gian các độ đo hữu hạn, dẫn đến nhân tử Lagrange liên kết với các ràng buộc điểm là các độ đo Borel chứ không phải là hàm số. Khi làm việc trong không gian $L^p$ ($1 < p < \infty$), không gian đối ngẫu là $L^{p'}$, đảm bảo các nhân tử Lagrange $e^*$ và biến liên hợp $\bar{\varphi}$ là các hàm khả tích chính quy, thuận lợi cho việc phân tích giải tích và tính toán số.

3. Điều kiện chính quy Robinson đóng vai trò gì trong việc thiết lập điều kiện tối ưu của luận án?
Trả lời: Điều kiện chính quy Robinson bảo đảm tính chính quy metric của hệ ràng buộc, từ đó cho phép áp dụng định lý nhân tử Lagrange để chứng minh tập các nhân tử Lagrange $\Lambda(\bar{u})$ là khác rỗng, lồi và compact yếu sao, đồng thời thiết lập công thức biểu diễn giải tích chính xác cho nón tiếp xúc của tập chấp nhận được $T^[(\Phi, \bar{u}) = \nabla G(\bar{u})^{-1}[T^[(K, G(\bar{u}))]$.

4. Điều kiện đủ bậc hai đảm bảo tính chất gì cho nghiệm tối ưu của bài toán?
Trả lời: Khi điều kiện đủ bậc hai được thỏa mãn trên nón nguy hiểm $C_2(\bar{u}) \setminus {0}$, hàm mục tiêu thu gọn $f(u)$ thỏa mãn điều kiện tăng trưởng bậc hai tại $\bar{u}$ (tức tồn tại $\varepsilon > 0, \alpha > 0$ sao cho $f(u) \ge f(\bar{u}) + \alpha |u - \bar{u}|{L^2}^2$ với mọi $|u - \bar{u}|{L^2} \le \varepsilon$). Điều này khẳng định $\bar{u}$ là nghiệm tối ưu cục bộ chặt của bài toán.

5. Vì sao lý thuyết không khoảng cách nói chung không còn đúng khi hàm mục tiêu độc lập với biến điều khiển $u$?
Trả lời: Khi hàm mục tiêu không phụ thuộc vào $u$, số hạng $L_{uu}$ triệt tiêu khiến tính lồi yếu ngặt đối với $u$ không còn được đảm bảo để suy ra tính nửa liên tục dưới yếu của đạo hàm bậc hai hàm Lagrange. Khi đó, để thu được điều kiện đủ bậc hai, bắt buộc phải mở rộng nón nguy hiểm lớn hơn nón nguy hiểm của điều kiện cần, tạo ra một khoảng cách (gap) giữa hai điều kiện.

Kết luận

Luận án tiến sĩ toán học của Nguyễn Hải Sơn là một công trình nghiên cứu giải tích tối ưu vô hạn chiều đối với các bài toán điều khiển tối ưu bị chi phối bởi phương trình elliptic nửa tuyến tính có ràng buộc hỗn hợp. Luận án đã giải quyết thành công các bài toán mở về điều kiện tối ưu bậc hai không khoảng cách trong không gian hàm $L^p$, đồng thời thiết lập các điều kiện đủ tường minh cho tính nửa liên tục trên và liên tục của ánh xạ nghiệm biên phụ thuộc tham số. Các kết quả của luận án đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín (SIAM Journal on Optimization, Set-Valued and Variational Analysis, Optimization) và đóng góp trực tiếp vào sự phát triển của lý thuyết điều khiển tối ưu phương trình đạo hàm riêng.