Tổng quan luận án

Nghiên cứu lý thuyết điều khiển tối ưu giữ vai trò quan trọng trong toán học ứng dụng, cơ học và kinh tế học. Kể từ khi hai nguyên lý nền tảng là Nguyên lý Cực đại Pontryagin và Nguyên lý Quy hoạch Động Bellman được công bố vào cuối những năm 1950, lý thuyết này đã phát triển mạnh mẽ theo nhiều hướng nghiên cứu khác nhau. Trong các bài toán điều khiển tối ưu phi tuyến chi phối bởi phương trình đạo hàm riêng (PDE), điều kiện cần cấp một $F'(\bar{u}) = 0$ không còn là điều kiện đủ khi hàm mục tiêu không lồi. Do đó, việc nghiên cứu điều kiện tối ưu cấp hai trở thành yêu cầu tất yếu nhằm xác định các điểm dừng, phân tích số trị cho các thuật toán quy hoạch toàn phương tuần tự (SQP) và đánh giá tính ổn định nghiệm.

Khoảng trống nghiên cứu chính được chỉ ra trong các công trình trước đây:

  • Khi nghiên cứu bài toán điều khiển biên hoặc điều khiển phân bố, các tác giả thường giả định hàm chặn $a, b \in L^\infty(\Omega)$ hoặc $L^\infty(\Gamma)$, dẫn đến biến điều khiển $u \in L^\infty$. Hệ quả là các nhân tử Lagrange tương ứng tồn tại dưới dạng các độ đo (measures) thay vì các hàm khả tích, gây khó khăn cho việc xử lý giải tích và tính toán số.
  • Vấn đề điều kiện tối ưu không khoảng cách (no-gap optimality conditions) — tức là điều kiện cần cấp hai và điều kiện đủ cấp hai chỉ khác nhau giữa dấu bất đẳng thức không ngặt ($\ge 0$) và bất đẳng thức ngặt ($> 0$) trên cùng một nón tới hạn chung — chưa được thiết lập đầy đủ cho các bài toán chi phối bởi phương trình elliptic bán tuyến tính với ràng buộc điểm hỗn hợp trạng thái - điều khiển.
  • Tính ổn định nghiệm (tính nửa liên tục trên và liên tục của ánh xạ nghiệm theo tham số) đối với bài toán điều khiển biên phi tuyến chi phối bởi phương trình elliptic bán tuyến tính chưa có lời giải thỏa đáng khi tập chấp nhận được không lồi và hàm mục tiêu không lồi.

Mục tiêu và câu hỏi nghiên cứu của luận án được xác định cụ thể qua 4 bài toán mở:

  1. Bài toán (OP 1): Thiết lập điều kiện cần cấp hai cho các bài toán điều khiển biên với biến điều khiển thuộc không gian $L^p(\Gamma)$, $1 < p < \infty$.
  2. Bài toán (OP 2): Thiết lập điều kiện đủ cấp hai cho các bài toán điều khiển tối ưu với 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 (OP 3): Xây dựng lý thuyết về điều kiện tối ưu cấp hai không khoảng cách cho các bài toán điều khiển tối ưu chi phối bởi phương trình elliptic bán tuyến tính với ràng buộc điểm hỗn hợp.
  4. Bài toán (OP 4): Xác lập các điều kiện đủ để ánh xạ nghiệm của bài toán điều khiển biên chứa tham số đạt tính nửa liên tục trên (upper semicontinuity) và tính liên tục (continuity) 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 chi phối bởi phương trình đạo hàm riêng elliptic bán tuyến tính (phương trình Dirichlet và phương trình Robin), cùng các bài toán quy hoạch toán học trừu tượng tương ứng trong không gian Banach. Phạm vi khảo sát tập trung vào miền bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) với biên trơn $\Gamma$ (thuộc lớp $C^{1,1}$ hoặc $C^2$), biến điều khiển thuộc không gian $L^p$ ($1 < p < \infty$), cùng các ràng buộc điểm dạng hỗn hợp $a(x) \le g(x, y(x)) + \lambda u(x) \le b(x)$ với $\lambda \ne 0$.

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

Tổng quan lịch sử nghiên cứu về điều kiện tối ưu cấp hai và tính ổn định nghiệm cho thấy các kết quả nổi bật sau:

  • Về điều kiện tối ưu cho bài toán điều khiển chi phối bởi phương trình vi phân thường (ODE): J. F. Bonnans và các cộng sự (1998, 2000) đã phân tích sâu sắc các điều kiện cấp hai và khái niệm không khoảng cách.
  • Về điều kiện tối ưu cho bài toán elliptic: E. Casas, B. T. Kiên, A. Rösch, F. Tröltzsch đã nghiên cứu điều kiện cần và đủ cho phương trình elliptic. Cụ thể:
    • Casas, Tröltzsch và cộng sự (2008, 2012, 2015) thiết lập điều kiện cấp hai cho bài toán điều khiển phân bố và điều khiển biên với ràng buộc thuần túy trên điều khiển $a(x) \le u(x) \le b(x)$ cùng hữu hạn ràng buộc trạng thái.
    • Casas (2012) thiết lập điều kiện đủ cấp hai cho bài toán Dirichlet và Neumann khi hàm mục tiêu không chứa biến điều khiển $u$.
    • Tröltzsch và cộng sự nghiên cứu điều kiện đủ cấp hai cho bài toán Robin với ràng buộc hỗn hợp $a(x) \le \lambda y(x) + u(x) \le b(x)$.
    • Rösch và Tröltzsch (2007) đưa ra điều kiện đủ cấp hai cho bài toán với ràng buộc hỗn hợp dạng một phía $c(x) \le u(x) + \gamma(x) y(x)$.
  • Về điều kiện không khoảng cách (no-gap): Bonnans (1998) thiết lập điều kiện tối ưu cấp hai không khoảng cách cho bài toán với ràng buộc điều khiển thuần túy và hàm mục tiêu toàn phương theo trạng thái và điều khiển, dựa trên tính chất đa diện (polyhedricity) và lý thuyết dạng Legendre. Hướng tiếp cận này sau đó được mở rộng bởi Bayen, Bonnans, Silva (2014, 2017). Tuy nhiên, trường hợp ràng buộc hỗn hợp điểm vẫn là bài toán mở.
  • Về tính ổn định nghiệm của bài toán tối ưu tham số $P(\mu, \lambda)$:
    • Khi hàm mục tiêu lồi mạnh và tập chấp nhận lồi, A. L. Dontchev (1995, 1996) và các tác giả chứng minh ánh xạ nghiệm là đơn trị và liên tục Lipschitz.
    • K. Malanowski (1993–2007) sử 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 tối ưu cấp 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 không thỏa mãn, ánh xạ nghiệm là đa trị; B. T. Kiên, N. D. Yên (2008, 2009) nghiên cứu tính nửa liên tục dưới. B. T. Kiên và cộng sự (2017) cùng V. H. Nhu (2018) đã chứng minh tính nửa liên tục trên cho bài toán ODE và bài toán elliptic với điều khiển phân bố.

Vị trí của luận án: Luận án giải quyết trọn vẹn 4 khoảng trống nêu trên bằng cách thiết lập hệ thống điều kiện cần và đủ cấp hai trên cùng một nón tới hạn chung (đạt 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 với biến điều khiển $L^p$ và ràng buộc hỗn hợp; đồng thời mở rộng nghiên cứu tính nửa liên tục trên và liên tục của ánh xạ nghiệm cho bài toán điều khiển biên elliptic tham số.

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

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

  • Giải tích đa trị và nón tiếp xúc: Sử dụng khái niệm ánh xạ đa trị (set-valued map), đồ thị $\text{gph}(F)$, miền xác định $\text{dom}(F)$, miền giá trị $\text{rge}(F)$; tính nửa liên tục trên/dưới theo nghĩa Kuratowski (1932); nón tiếp xúc Bouligand $T(D, x)$, nón tiếp xúc liên hợp (intermediate/adjoint tangent cone) $T^i(D, x)$, nón tiếp xúc Clarke $T_C(D, x)$, nón chuẩn tắc Clarke $N(D, x)$; tập tiếp xúc cấp hai Bouligand $T^2(D, x, v)$ và tập tiếp xúc cấp hai liên hợp $T^{2,i}(D, x, v)$; giới hạn Painlevé-Kuratowski (1966).
  • Không gian hàm và phương trình đạo hàm riêng: 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)$; các định lý nhúng Sobolev và Rellich; định lý vết Gagliardo (1957); công thức tích phân từng phần Green; các bất đẳng thức giải tích kinh điển (Hölder, Poincaré, Poincaré suy rộng, Friedrichs suy rộng).
  • Lý thuyết nghiệm phương trình elliptic bán tuyến tính: Đánh giá tính tồn tại, duy nhất và độ trơn của nghiệm yếu cho bài toán Dirichlet và bài toán Robin dưới điều kiện hệ số elliptic mạnh và hàm phi tuyến $h(x, y), k(x, y)$ thuộc lớp Carathéodory thỏa mãn các giả thiết tăng phù hợp.

Phương pháp nghiên cứu thực tế được triển khai theo quy trình phân tích biến phân giải tích chặt chẽ:

  1. Quy giản bài toán: Sử dụng ánh xạ điều khiển - trạng thái $\zeta: u \mapsto y_u$ thông qua định lý hàm ẩn trong không gian Banach để đưa bài toán điều khiển tối ưu chi phối bởi PDE về bài toán quy hoạch toán học trừu tượng dạng $\min {f(u) \mid G(u) \in K}$.
  2. Phân tích tính khả vi và tính chính quy: Chứng minh tính khả vi Fréchet cấp một và cấp hai của hàm mục tiêu quy giản $f(u)$ và toán tử ràng buộc $G(u)$; kiểm chứng điều kiện chính quy Robinson $\mathbb{E} = \nabla G(\bar{u}) \mathbb{U} - \text{cone}(K - G(\bar{u}))$.
  3. Xử lý cấu trúc nón và tính đa diện: Sử dụng tính chất đa diện mở rộng mạnh (strongly extended polyhedricity) để triệt tiêu số hạng sigma trong điều kiện cần cấp hai, xác định nón tới hạn chung $C_p(\bar{u})$.
  4. Phương pháp năng lượng và xấp xỉ liên tục yếu: Khảo sát tính nửa liên tục dưới yếu của các dạng toàn phương trong không gian $L^2$, thiết lập điều kiện tăng trưởng toàn phương (quadratic growth condition).

Nguồn tư liệu dữ liệu của luận án hoàn toàn là các công trình học thuật, định lý toán học thuần túy và các bài báo khoa học chuyên ngành quốc tế được công bố trên các tạp chí thuộc danh mục ISI/Scopus.

Khái niệm / Công cụ toán học Định nghĩa / Vai trò trong luận án
Nón tiếp xúc liên hợp $T^i(D, x)$ $\lim_{t \to 0^+} \frac{\text{dist}(x+tv, D)}{t} = 0$, dùng để mô tả hướng tiếp cận khả dĩ trong không gian hàm
Điều kiện chính quy Robinson $\mathbb{E} = \nabla G(\bar{u})\mathbb{U} - \text{cone}(K - G(\bar{u}))$, đảm bảo sự tồn tại và tính compact của tập nhân tử Lagrange $\Lambda(\bar{u})$
Tính đa diện (Polyhedricity) $T^i(K, \bar{z}) \cap (v^)^\bot = \text{cl}[\text{cone}(K - \bar{z}) \cap (v^)^\bot]$, giúp triệt tiêu số hạng độ cong (sigma term) trong đạo hàm cấp hai
Toán tử vết Gagliardo Ánh xạ tuyến tính liên tục $T: W^{1,p}(\Omega) \to W^{1-1/p,p}(\Gamma)$, cho phép xác định giá trị biên của hàm Sobolev

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

Chapter 0: PRELIMINARIES AND AUXILIARY RESULTS

Chương này trình bày hệ thống các khái niệm cơ sở và kết quả phụ trợ phục vụ trực tiếp cho các chứng minh ở các chương sau:

  • Ánh xạ đa trị: Khái niệm đồ thị, miền xác định, miền giá trị, ánh xạ nghịch đảo, tính lồi, tính đóng trị, compact trị, và các định nghĩa nửa liên tục trên, nửa liên tục dưới, liên tục theo Kuratowski.
  • Nón tiếp xúc và nón chuẩn tắc: Định nghĩa nón Bouligand $T(D, x)$, nón liên hợp $T^i(D, x)$, nón Clarke $T_C(D, x)$, nón chuẩn tắc $N(D, x)$. Định nghĩa tập tiếp xúc cấp hai $T^2(D, x, v)$ và $T^{2,i}(D, x, v)$ dựa trên giới hạn Painlevé-Kuratowski; cung cấp các ví dụ giải tích chỉ ra sự khác biệt giữa các cấu trúc nón này trong trường hợp không lồi.
  • Không gian Sobolev và phương trình elliptic: Nhắc lại định nghĩa không gian $L^p(\Omega)$, phân phối suy rộng, không gian Sobolev $W^{m,p}(\Omega)$, $W_0^{m,p}(\Omega)$, định lý nhúng Sobolev-Rellich, định lý vết Gagliardo, công thức Green, các bất đẳng thức giải tích Poincaré và Friedrichs suy rộng.
  • Phương trình elliptic bán tuyến tính: Thiết lập các định lý về sự tồn tại, tính duy nhất và đánh giá chuẩn nghiệm của bài toán Dirichlet bán tuyến tính $-\Delta y + h(x, y) = u$ và bài toán Robin bán tuyến tính $Ay + a_0(x)y + h(x, y) = u$ trong $\Omega$, $\partial_\nu y + b_0(x)y + k(x, y) = v$ trên $\Gamma$ trong các không gian $H^1(\Omega) \cap C(\bar{\Omega})$, $W^{2,p}(\Omega)$ và $W^{1,r}(\Omega)$.

Chapter 1: NO-GAP OPTIMALITY CONDITIONS FOR DISTRIBUTED CONTROL PROBLEMS

Chương 1 tập trung nghiên cứu bài toán điều khiển tối ưu phân bố $(DP)$ với hàm mục tiêu: $$\min F(y, u) = \int_\Omega L(x, y(x), u(x)) dx$$ ràng buộc bởi phương trình Dirichlet $-\Delta y + h(x, y) = u$ trong $\Omega$, $y = 0$ trên $\Gamma$, và ràng buộc điểm hỗn hợp $a(x) \le g(x, y(x)) + \lambda u(x) \le b(x)$ hầu khắp nơi trong $\Omega$, với $u \in L^p(\Omega)$, $p > N/2$, $\lambda \ne 0$.

Nội dung và kết quả chính của chương bao gồm:

  • Quy giản trừu tượng và đạo hàm cấp hai: Chứng minh hàm mục tiêu $f(u) = F(\zeta(u), u)$ và toán tử ràng buộc $G(u) = g(\cdot, \zeta(u)) + \lambda u$ là khả vi Fréchet cấp hai trên $L^p(\Omega)$. Thiết lập công thức tường minh cho đạo hàm cấp một và cấp hai của hàm Lagrange $L(u, e^*)$.
  • Điều kiện chính quy và tính đa diện mở rộng: Chứng minh rằng dưới giả thiết $\lambda \ne 0$ và tính trơn của các hàm số, ánh xạ đạo hàm $\nabla G(\bar{u})$ là một toàn ánh từ $L^p(\Omega)$ lên $L^p(\Omega)$, từ đó suy ra điều kiện chính quy Robinson và điều kiện đa diện mở rộng mạnh được thỏa mãn tại nghiệm tối ưu cục bộ $\bar{u}$.
  • Điều kiện cần cấp hai: Chứng minh sự tồn tại duy nhất của nhân tử Lagrange $e^* \in L^{p'}(\Omega)$ và hàm trạng thái liên hợp $\bar{\varphi} \in W^{2,p'}(\Omega) \cap W_0^{1,p'}(\Omega)$ thỏa mãn phương trình liên hợp $-\Delta \bar{\varphi} + h_y[\cdot]\bar{\varphi} = L_y[\cdot] + e^* g_y[\cdot]$, điều kiện dừng $\bar{\varphi} + L_u[\cdot] + \lambda e^* = 0$, và bất đẳng thức cấp hai: $$\nabla_{uu}^2 L(\bar{u}, e^*)(d, d) \ge 0 \quad \forall d \in C_p(\bar{u})$$ trong đó $C_p(\bar{u})$ là nón tới hạn được xác định tường minh.
  • Điều kiện đủ cấp hai và tính không khoảng cách: Trong trường hợp $p = 2$, $N \in {2, 3}$ và hàm mật độ có dạng toàn phương theo điều khiển $L(x, y, u) = \phi(x, y) + \alpha(x)u + \beta(x)u^2$ với $\beta(x) \ge \gamma > 0$, chứng minh rằng nếu $\nabla_{uu}^2 L(\bar{u}, e^*)(u, u) > 0$ với mọi $u \in C_2(\bar{u}) \setminus {0}$ thì $\bar{u}$ thỏa mãn điều kiện tăng trưởng toàn phương yếu, qua đó xác lập tính không khoảng cách.
  • Trường hợp hàm mục tiêu không phụ thuộc điều khiển: Khi $\beta \equiv 0, \alpha \equiv 0$, chỉ ra rằng việc mở rộng nón tới hạn là cần thiết và lý thuyết không khoảng cách thông thường không còn hiệu lực.

Chapter 2: NO-GAP OPTIMALITY CONDITIONS FOR BOUNDARY CONTROL PROBLEMS

Chương 2 mở rộng toàn bộ hệ thống lý thuyết sang bài toán điều khiển tối ưu biên, trong đó biến điều khiển $u$ chỉ tác động trên biên $\Gamma$ thông qua điều kiện biên Robin: $$\min \int_\Omega L(x, y(x)) dx + \int_\Gamma l(x, y(x), u(x)) d\sigma$$ chi phối bởi phương trình elliptic bán tuyến tính với điều kiện biên phi tuyến và ràng buộc điểm hỗn hợp trên biên dạng $a(x) \le g(x, y(x)) + \lambda u(x) \le b(x)$ hầu khắp nơi trên $\Gamma$, với $u \in L^p(\Gamma)$, $1 < p < \infty$.

Các kết quả cốt lõi:

  • Xây dựng bài toán quy hoạch toán học trừu tượng tương ứng trên không gian biên $L^p(\Gamma)$.
  • Thiết lập phương trình liên hợp biên và chứng minh tính duy nhất của nhân tử Lagrange biên $e^* \in L^{p'}(\Gamma)$ và nghiệm liên hợp $\bar{\varphi}$.
  • Thiết lập điều kiện cần cấp hai dạng $\nabla_{uu}^2 L(\bar{u}, e^*)(d, d) \ge 0$ trên nón tới hạn biên $C_p(\bar{u})$.
  • Chứng minh điều kiện đủ cấp hai không khoảng cách khi hàm mục tiêu biên có dạng toàn phương đối với biến điều khiển $u$ và chỉ ra sự bất khả của tính không khoảng cách khi hàm mục tiêu độc lập với biến điều khiển biên.

Chapter 3: UPPER SEMICONTINUITY AND CONTINUITY OF THE SOLUTION MAP TO A PARAMETRIC BOUNDARY CONTROL PROBLEM

Chương 3 khảo sát tính ổn định của bài toán điều khiển tối ưu biên chứa tham số: $$F(y, u, \mu) \to \inf \quad \text{với } (y, u) \in \Phi(\lambda)$$ trong đó $\mu \in \Pi, \lambda \in \Lambda$ là các tham số trong không gian metric, phương trình trạng thái là phương trình elliptic tuyến tính/bán tuyến tính và tập chấp nhận $\Phi(\lambda)$ phụ thuộc tham số $\lambda$.

Các nội dung và kết quả chính:

  • Tính chất của tập chấp nhận được: Khảo sát tính đóng, tính compact yếu và tính nửa liên tục của ánh xạ tập chấp nhận $\lambda \mapsto \Phi(\lambda)$.
  • Điều kiện cần cấp một theo tham số: Thiết lập hệ điều kiện cần cấp một phụ thuộc tham số và xây dựng tập nghiệm tối ưu $S(\mu, \lambda)$.
  • Tính nửa liên tục trên và liên tục của ánh xạ nghiệm: Chứng minh rằng dưới các giả thiết cưỡng bức và tính liên tục yếu của hàm mục tiêu, ánh xạ nghiệm $S: \Pi \times \Lambda \Rightarrow L^2(\Gamma)$ là compact trị và nửa liên tục trên. Hơn nữa, khi bài toán có nghiệm duy nhất tại lân cận điểm khảo sát, ánh xạ nghiệm trở thành đơn trị và liên tục theo tham số $(\mu, \lambda)$.

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

Luận án đạt được 4 đóng góp khoa học chính:

  1. Thiết lập điều kiện cần cấp hai trong không gian $L^p$ ($1 < p < \infty$): Khắc phục triệt để nhược điểm của các nghiên cứu trước (vốn yêu cầu điều khiển trong $L^\infty$ dẫn đến nhân tử Lagrange là các độ đo) bằng cách chứng minh nhân tử Lagrange tồn tại dưới dạng hàm khả tích thông thường trong $L^{p'}$, đồng thời nghiệm liên hợp đạt độ trơn trong không gian Sobolev $W^{2,p'}$.
  2. Xây dựng lý thuyết điều kiện tối ưu không khoảng cách cho ràng buộc hỗn hợp: Tìm ra nón tới hạn chính xác $C_2(\bar{u})$ cho cả 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ó cấu trúc toàn phương theo biến điều khiển, loại bỏ hoàn toàn khoảng cách giữa điều kiện cần cấp hai và điều kiện đủ cấp hai.
  3. Làm rõ ranh giới áp dụng của lý thuyết không khoảng cách: Chứng minh bằng phân tích giải tích rằng khi hàm mục tiêu không phụ thuộc vào biến điều khiển, lý thuyết không khoảng cách nói chung không còn đúng và bắt buộc phải mở rộng nón tới hạn để thu được điều kiện đủ cấp hai.
  4. Chứng minh tính nửa liên tục trên và liên tục của ánh xạ nghiệm bài toán biên tham số: Đưa ra các điều kiện đủ đảm bảo tính ổn định định tính (nửa liên tục trên và liên tục) của ánh xạ nghiệm đối với bài toán điều khiển biên phi tuyến chứa tham số khi các giả thiết về tính lồi không được thỏa mãn.

Các kết quả trên đã được công bố trên 3 bài báo khoa học thuộc các tạp chí quốc tế chuyên ngành:

  • Set-Valued and Variational Analysis (2018) – nội dung Chương 1.
  • SIAM Journal on Optimization (2018) – nội dung Chương 2.
  • Optimization (2019) – nội dung Chương 3.

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

Dựa trên phạm vi và các giả thiết kỹ thuật được trình bày trong văn bản luận án:

  • Luận án chỉ tập trung vào các bài toán điều khiển tối ưu chi phối bởi phương trình elliptic dừng (stationary elliptic equations), chưa xét đến các phương trình tiến hóa phụ thuộc thời gian (phương trình parabolic hoặc hyperbolic).
  • Các kết quả về tính không khoảng cách cấp hai đòi hỏi giả thiết cấu trúc cụ thể của hàm mục tiêu (dạng toàn phương đối với biến điều khiển với hệ số $\beta(x) \ge \gamma > 0$) và số chiều không gian $N \in {2, 3}$.
  • Hướng nghiên cứu tiếp tự nhiên được mở ra từ phạm vi luận án bao gồm: mở rộng lý thuyết điều khiển tối ưu không khoảng cách sang hệ phương trình elliptic bán tuyến tính, phương trình parabolic phi tuyến, và khảo sát tính liên tục Lipschitz hoặc Hölder của ánh xạ nghiệm đối với bài toán biên tham số.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo dành cho:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Toán học, Toán ứng dụng, Tối ưu hóa và Điều khiển tối ưu: Cung cấp phương pháp luận chi tiết về việc ứng dụng giải tích biến phân hiện đại (nón tiếp xúc cấp hai, tính đa diện mở rộng, quy hoạch trừu tượng) vào phương trình đạo hàm riêng.
  • Giảng viên và các nhà nghiên cứu trong lĩnh vực giải tích biến phân và PDE: Cung cấp các kỹ thuật ước lượng giải tích chính xác, kỹ thuật chứng minh tính chính quy Robinson và xử lý nhân tử Lagrange trong không gian $L^p$.
  • Các nhà nghiên cứu tính toán số và thuật toán tối ưu: Cung cấp cơ sở lý thuyết cho việc phân tích tốc độ hội tụ của các thuật toán quy hoạch toàn phương tuần tự (SQP) và các phương pháp phần tử hữu hạn giải bài toán điều khiển tối ưu phi tuyến.

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 định nghĩa như thế nào?

Theo định nghĩa của J. F. Bonnans (1998) được luận án trích dẫn, điều kiện tối ưu cấp hai được gọi là không khoảng cách (no-gap) nếu sự khác biệt giữa điều kiện cần cấp hai và điều kiện đủ cấp hai chỉ đơn thuần là việc chuyển đổi giữa bất đẳng thức không ngặt ($\nabla^2 L \ge 0$) và bất đẳng thức ngặt ($\nabla^2 L > 0$) trên cùng một nón tới hạn chung duy nhất.

2. Vì sao việc xét biến điều khiển trong không gian $L^p$ ($1 < p < \infty$) thay vì $L^\infty$ lại quan trọng?

Trong các công trình trước đây, khi giả định biến điều khiển thuộc $L^\infty$, không gian đối ngẫu là $(L^\infty)^$ chứa các phiếm hàm tuyến tính phức tạp (các độ đo không chính quy). Việc đặt bài toán trong không gian $L^p$ ($1 < p < \infty$) với $p > N/2$ cho phép không gian đối ngẫu là $L^{p'}$ ($1 < p' < \infty$), đảm bảo các nhân tử Lagrange $e^$ là các hàm khả tích thông thường và phương trình liên hợp có nghiệm cổ điển/yếu thuộc không gian Sobolev $W^{2,p'}$.

3. Điều kiện đủ cấp hai không khoảng cách đạt được dưới những giả thiết nào trong Chương 1 và Chương 2?

Điều kiện không khoảng cách đạt được khi xét bài toán với số chiều không gian $N \in {2, 3}$, bậc khả tích $p = 2$, và hàm mật độ mục tiêu $L(x, y, u)$ có dạng toàn phương theo biến điều khiển: $$L(x, y, u) = \phi(x, y) + \alpha(x)u + \beta(x)u^2$$ với điều kiện cưỡng bức $\beta(x) \ge \gamma > 0$ hầu khắp nơi. Khi đó dạng toàn phương cấp hai của hàm Lagrange đạt tính nửa liên tục dưới yếu trên không gian $L^2$.

4. Tại sao khi hàm mục tiêu độc lập với biến điều khiển thì lý thuyết không khoảng cách không còn đúng?

Khi hàm mục tiêu không phụ thuộc vào biến điều khiển ($\beta \equiv 0, \alpha \equiv 0$), số hạng dạng toàn phương theo $u$ trong đạo hàm cấp hai triệt tiêu. Khi đó, tính nửa liên tục dưới yếu của đạo hàm cấp hai không còn được đảm bảo trên toàn bộ không gian lân cận, khiến cho nón tới hạn thông thường không đủ để suy ra tính tối ưu đủ; bắt buộc phải mở rộng nón tới hạn và xuất hiện khoảng cách giải tích giữa điều kiện cần và điều kiện đủ.

5. Ánh xạ nghiệm trong bài toán điều khiển biên tham số (Chương 3) thỏa mãn tính chất ổn định gì?

Chương 3 chứng minh rằng dưới các điều kiện chính quy và tính cưỡng bức thích hợp, ánh xạ nghiệm $S(\mu, \lambda)$ là compact trị và nửa liên tục trên theo cặp tham số $(\mu, \lambda)$. Trường hợp bài toán có nghiệm duy nhất cục bộ, ánh xạ này là đơn trị và liên tục theo tham số.

Kết luận

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Hải Sơn đã giải quyết có hệ thống các bài toán mở về điều kiện tối ưu cấp 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 phân bố và điều khiển biên chi phối bởi phương trình elliptic bán tuyến tính với ràng buộc điểm hỗn hợp. Bằng việc áp dụng các công cụ hiện đại của giải tích biến phân, lý thuyết không gian Sobolev và phương trình đạo hàm riêng, luận án đã thiết lập các điều kiện cần và đủ cấp hai trên nón tới hạn chung trong không gian $L^p$, đồng thời làm rõ ranh giới của lý thuyết không khoảng cách khi hàm mục tiêu không chứa biến điều khiển. Toàn bộ các kết quả nghiên cứu lý thuyết chính của luận án đã được công bố trên các tạp chí quốc tế uy tín thuộc chuyên ngành tối ưu hóa và giải tích biến phân.