Tổng quan luận án

Lý thuyết điều khiển tối ưu là một phân ngành quan trọng của toán học ứng dụng, bắt đầu phát triển có hệ thống từ cuối thập niên 1950 gắn liền với hai cột mốc nền tảng: Nguyên lý cực đại Pontryagin và phương pháp Quy hoạch động (dẫn về việc giải phương trình Hamilton-Jacobi). Trong các thập niên gần đây, các nghiên cứu định tính dành cho bài toán điều khiển tối ưu với phương trình đạo hàm riêng (như phương trình elliptic, parabolic, hyperbolic) đã đạt được nhiều bước tiến. Trong thực tế tính toán, các bài toán điều khiển tối ưu thường được rời rạc hóa để giải bằng máy tính, dẫn tới việc dữ liệu đầu vào luôn chứa đựng sai số. Một bài toán được xem là ổn định nếu sai số nhỏ ở đầu vào chỉ gây ra biến động không đáng kể ở kết quả đầu ra. Việc khảo sát tính ổn định của nghiệm quy về việc nghiên cứu tính liên tục và tính khả vi của ánh xạ nghiệm khi tham số biến thiên.

Khảo sát tổng quan các công trình nghiên cứu cho thấy tồn tại một khoảng trống lý thuyết: điều kiện cần cực trị bậc hai và tính ổn định nghiệm cho bài toán điều khiển tối ưu với phương trình đạo hàm riêng elliptic có ràng buộc trạng thái từng điểm (pointwise pure state constraint) và ràng buộc hỗn hợp điều khiển - trạng thái từng điểm (pointwise mixed control-state constraint) vẫn chưa được thiết lập hoàn chỉnh. Luận án tiến sĩ toán học của tác giả Vũ Hữu Nhự với đề tài "Điều kiện cần cực trị và tính ổn định nghiệm của bài toán điều khiển tối ưu cho một lớp phương trình elliptic" được thực hiện nhằm giải quyết các khoảng trống nghiên cứu này.

Mục tiêu nghiên cứu của luận án được xác định rõ gồm hai nội dung chính:

  1. Thiết lập các điều kiện cần cực trị bậc một và bậc hai cho một lớp các bài toán điều khiển tối ưu được mô tả bởi 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 điều khiển - trạng thái từng điểm và có ràng buộc trạng thái từng điểm.
  2. Khảo sát tính ổn định nghiệm của một số bài toán điều khiển tối ưu mô tả bởi phương trình đạo hàm riêng elliptic tuyến tính chứa tham số với hàm mục tiêu lồi và các tập ràng buộc tuyến tính (bao gồm việc thiết lập điều kiện đủ cho tính liên tục Hölder và tính nửa liên tục dưới của ánh xạ nghiệm).

Đối tượng và phạm vi nghiên cứu của luận án:

  • Đối tượng nghiên cứu: Các bài toán điều khiển tối ưu chịu sự chi phối của phương trình đạo hàm riêng elliptic có ràng buộc từng điểm, bao gồm lớp bài toán có tập ràng buộc phi tuyến (khảo sát điều kiện cần cực trị bậc hai) và lớp bài toán chứa tham số có hàm mục tiêu lồi cùng tập ràng buộc tuyến tính (khảo sát tính ổn định nghiệm).
  • Phạm vi nghiên cứu: Luận án tập trung vào phương trình đạo hàm riêng elliptic nửa tuyến tính và tuyến tính bậc hai với điều kiện biên Dirichlet thuần nhất trên miền bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$, đặc biệt là $N \in {2, 3}$) có biên Lipschitz hoặc thuộc lớp $C^1, C^{1,1}$; các không gian trạng thái và điều khiển thuộc các không gian hàm Sobolev $W^{m,p}(\Omega), W_0^{m,p}(\Omega)$, không gian khả tích $L^p(\Omega)$ và không gian hàm liên tục $C(\bar{\Omega})$.

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

Trong phần tổng quan lịch sử và tài liệu nghiên cứu, tác giả đã hệ thống hóa các hướng nghiên cứu chính trong lý thuyết điều khiển tối ưu và giải tích biến phân:

  • Nghiên cứu điều kiện cần cực trị cho bài toán tối ưu trừu tượng: Cominetti (1990) nghiên cứu điều kiện cần cực trị bậc hai cho bài toán quy hoạch toán học với tập ràng buộc $Q$ là tập đóng và lồi. Jourani (1998) nghiên cứu điều kiện cần cực trị bậc hai cho bài toán với ràng buộc bao hàm thức khi $Q$ là tập đóng tùy ý, bằng cách sử dụng nón tiếp tuyến Clarke để mở rộng điều kiện chính quy ràng buộc Robinson. Tuy nhiên, việc xác định nón tiếp tuyến Clarke của một tập đóng nói chung rất phức tạp.
  • Nghiên cứu điều kiện cực trị cho bài toán điều khiển tối ưu phương trình vi phân và đạo hàm riêng: Bonnans và Hermant (2007, 2009) thiết lập điều kiện cực trị bậc hai cho bài toán điều khiển tối ưu phương trình vi phân thường. Casas cùng các đồng tác giả (1993, 2000, 2008, 2012, 2015) thiết lập điều kiện cần bậc một và điều kiện đủ bậc hai cho bài toán điều khiển tối ưu elliptic với ràng buộc điều khiển dạng hộp $a(x) \le u(x) \le b(x)$. Casas và Mateos (2002) công bố điều kiện cực trị bậc hai cho bài toán elliptic với ràng buộc đẳng thức và bất đẳng thức của biến trạng thái. Casas và Tröltzsch (2002, 2009) khảo sát điều kiện cực trị bậc hai cho bài toán elliptic tựa tuyến tính và nửa tuyến tính với ràng buộc điều khiển.
  • Nghiên cứu tính ổn định nghiệm của bài toán điều khiển tối ưu chứa tham số: Khi hàm mục tiêu lồi mạnh, ánh xạ nghiệm là đơn trị và có tính liên tục Lipschitz theo tham số. Malanowski (1993) khảo sát tính ổn định cho bài toán elliptic với ràng buộc điều khiển (không có ràng buộc trạng thái); Hinze và các cộng sự khảo sát bài toán chỉ có ràng buộc trạng thái. Alt và các đồng tác giả (2011) chứng minh tính liên tục Lipschitz của ánh xạ nghiệm đối với bài toán elliptic có ràng buộc hỗn hợp điều khiển - trạng thái dưới điều kiện giao khác rỗng của các tập bảo mật (security sets). Bùi Trọng Kiên và các cộng sự (2014) chỉ ra rằng khi hàm mục tiêu không lồi mạnh, ánh xạ nghiệm của bài toán điều khiển tối ưu phương trình vi phân thường là đa trị và đạt tính nửa liên tục dưới theo tham số.

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết:

  • Sử dụng khái niệm nón tiếp tuyến Bouligand để mở rộng điều kiện chính quy ràng buộc Robinson cho bài toán tối ưu với tập $Q$ chỉ là tập đóng, thay thế cho việc sử dụng nón tiếp tuyến Clarke.
  • Thiết lập điều kiện cần cực trị bậc hai cho bài toán điều khiển tối ưu elliptic nửa tuyến tính có ràng buộc hỗn hợp điều khiển - trạng thái từng điểm và ràng buộc trạng thái từng điểm.
  • Khảo sát tính ổn định nghiệm của bài toán điều khiển tối ưu elliptic tuyến tính chứa tham số trong trường hợp điều kiện giao khác rỗng của các tập bảo mật không được thỏa mãn (chứng minh tính liên tục Hölder), và trường hợp hàm mục tiêu không lồi mạnh dẫn tới ánh xạ nghiệm đa trị (chứng minh tính nửa liên tục dưới).

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, khái niệm và công cụ giải tích toán học hiện đại:

  • Giải tích đa trị và hình học không gian Banach: Các khái niệm miền hữu hiệu $\text{Dom}(F)$, đồ thị $\text{Graph}(F)$, miền ảnh $\text{Im}(F)$; tính nửa liên tục trên, nửa liên tục dưới, tính liên tục Lipschitz địa phương, tính giả-Lipschitz (tính liên tục Aubin) và tính chính quy metric (metric regularity); không gian phản xạ, không gian khả ly, không gian trơn, không gian lồi chặt, lồi đều và không gian sinh bởi tập compact yếu (không gian WCG).
  • Giải tích biến phân và giải tích lồi: Nón tiếp tuyến Bouligand $T(K, x)$, nón tiếp tuyến trung gian (kề) $T^[(K, x)$, nón tiếp tuyến Clarke $T_C(K, x)$; tập tiếp tuyến bậc hai Bouligand $T^2(K, x, v)$, tập tiếp tuyến trung gian bậc hai $T^2_[(K, x, v)$ và tập tiếp tuyến Clarke bậc hai $T_C^2(K, x, v)$; nón pháp tuyến Clarke $N(K, x)$; dưới vi phân $\partial f(x)$ và Định lý Moreau-Rockafellar; Nguyên lý biến phân Ekeland và Nguyên lý biến phân Borwein-Preiss; khái niệm đạo hàm Fréchet, Gâteaux và tính đơn điệu của toán tử.
  • Phương trình đạo hàm riêng và không gian Sobolev: Các không gian khả tích Lebesgue $L^p(\Omega)$, không gian Sobolev $W^{m,p}(\Omega), W_0^{m,p}(\Omega)$; Định lý nhúng Sobolev và Rellich; Bất đẳng thức Poincaré; Ánh xạ vết và Định lý vết Gagliardo; Công thức Green; Định lý Lax-Milgram; điều kiện elliptic mạnh và tính chính quy nghiệm của phương trình elliptic tuyến tính và nửa tuyến tính với điều kiện biên Dirichlet.

Phương pháp nghiên cứu trong luận án là phương pháp toán học giải tích thuần túy, kết hợp các kỹ thuật của Giải tích phi tuyến, Giải tích hàm, Giải tích đa trị, Phương trình đạo hàm riêng và Lý thuyết điều khiển tối ưu. Cụ thể, tác giả xây dựng các bài toán quy hoạch toán học trừu tượng trên không gian Banach, thiết lập các ước lượng giải tích thông qua nguyên lý biến phân và kỹ thuật giải tích biến phân, sau đó áp dụng vào các bài toán điều khiển tối ưu elliptic cụ thể.

Dữ liệu nghiên cứu của luận án là các cấu trúc không gian hàm, các mô hình toán học và phương trình đạo hàm riêng được định nghĩa chính xác theo chuẩn mực giải tích toán học.

Nhóm lý thuyết Khái niệm / Định lý cốt lõi Vai trò trong luận án
Giải tích biến phân Nón tiếp tuyến Bouligand $T(K,x)$, tập tiếp tuyến bậc hai $T^2(K,x,v)$, nón pháp tuyến $N(K,x)$ Xây dựng điều kiện cần cực trị bậc một, bậc hai và nón tới hạn $C(x_0)$
Nguyên lý biến phân Nguyên lý Ekeland, Nguyên lý Borwein-Preiss Công cụ giải tích chứng minh sự tồn tại nhân tử Lagrange và tính chính quy
Hình học Banach Không gian WCG, tính trơn, tính lồi chặt Trang bị chuẩn khả vi phục vụ kỹ thuật biến phân trên không gian vô hạn chiều
Không gian Sobolev $W^{1,p}(\Omega), W_0^{1,p}(\Omega), H_0^1(\Omega)$, Định lý nhúng Sobolev-Rellich Xác định không gian trạng thái, không gian điều khiển và tính compact của phép nhúng
Phương trình Elliptic Định lý Lax-Milgram, hàm Carathéodory, điều kiện elliptic mạnh Chứng minh sự tồn tại, tính duy nhất và tính trơn của nghiệm phương trình trạng thái

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

Chương 1. Kiến thức cơ sở

Chương 1 hệ thống hóa các định nghĩa, định lý và kết quả bổ trợ nền tảng được sử dụng xuyên suốt trong toàn bộ luận án:

  • Mục 1.1 trình bày giải tích đa trị: định nghĩa ánh xạ đa trị $F: X \Rightarrow Y$, các tính chất đóng, lồi, compact; tính nửa liên tục trên, nửa liên tục dưới theo Bouligand và Kuratowski; tính Lipschitz địa phương, tính giả-Lipschitz (tính liên tục Aubin) và tính chính quy metric, kèm theo định lý về sự tương đương giữa tính chính quy metric của $F$ và tính giả-Lipschitz của ánh xạ ngược $F^{-1}$.
  • Mục 1.2 trình bày giải tích biến phân: các khái niệm nón tiếp tuyến Bouligand, nón trung gian, nón Clarke và mối quan hệ $T_C(K, x) \subset T^[(K, x) \subset T(K, x) \subset \text{cone}(K - x)$; giới hạn Painlevé-Kuratowski và các tập tiếp tuyến bậc hai $T^2(K, x, v), T^2_[(K, x, v), T_C^2(K, x, v)$; nón pháp tuyến Clarke và công thức nón pháp tuyến của giao hữu hạn các tập lồi; Nguyên lý biến phân Ekeland và Borwein-Preiss; đạo hàm Fréchet, Gâteaux, tính đơn điệu, đơn điệu mạnh của toán tử; các khái niệm hình học Banach gồm tôpô yếu, không gian phản xạ, khả ly, không gian trơn, lồi chặt và không gian WCG cùng kết quả tái chuẩn hóa của Troyanski.
  • Mục 1.3 trình bày giải tích lồi: miền hữu hiệu, epigraph, dưới vi phân của hàm lồi chính thường, Định lý Moreau-Rockafellar về dưới vi phân của tổng hai hàm lồi, bài toán quy hoạch lồi và định lý tách tập lồi của Eidelheit.
  • Mục 1.4 trình bày không gian Sobolev và phương trình elliptic: định nghĩa phân bố, đạo hàm yếu, các không gian $L^p(\Omega), W^{m,p}(\Omega), W_0^{m,p}(\Omega)$; bất đẳng thức Hölder, Minkowski, Poincaré; Định lý nhúng Sobolev - Rellich; Định lý vết Gagliardo và Công thức Green; Định lý Lax-Milgram; khảo sát sự tồn tại và duy nhất nghiệm yếu, nghiệm mạnh của phương trình elliptic tuyến tính bậc hai dưới điều kiện elliptic mạnh và giả thiết biên $C^1, C^{1,1}$; khảo sát nghiệm yếu của phương trình elliptic nửa tuyến tính với số hạng phi tuyến Carathéodory $a(x, y)$ thỏa mãn $a_y(x, y) \ge 0$.

Chương 2. Điều kiện cần cực trị cho bài toán điều khiển tối ưu elliptic nửa tuyến tính với ràng buộc hỗn hợp

Chương này tập trung thiết lập các điều kiện cần cực trị bậc một và bậc hai cho bài toán điều khiển tối ưu phương trình elliptic nửa tuyến tính với ràng buộc hỗn hợp điều khiển - trạng thái từng điểm:

  • Mục 2.1 nghiên cứu bài toán quy hoạch toán học trừu tượng dạng $\min {f(x) \mid x \in Q, G(x) \in K}$. Tác giả đưa ra định nghĩa nón pháp tuyến $N_{co}(C, z_0)$ và dưới vi phân $\partial_{co} f(x_0)$ thông qua nón tiếp tuyến Bouligand $T(C, z_0)$. Tác giả đề xuất việc mở rộng điều kiện chính quy ràng buộc Robinson sang trường hợp tập $Q$ chỉ là tập đóng (không đòi hỏi tính lồi) bằng cách sử dụng nón tiếp tuyến Bouligand $T(Q, x_0)$ thay cho nón tiếp tuyến Clarke $T_C(Q, x_0)$. Từ đó, thiết lập định lý về sự tồn tại nhân tử Lagrange và điều kiện cần cực trị bậc một và bậc hai cho bài toán quy hoạch toán học.
  • Mục 2.2 áp dụng các kết quả giải tích biến phân trừu tượng vào bài toán điều khiển tối ưu cụ thể: phương trình trạng thái là phương trình elliptic nửa tuyến tính $-\sum_{i,j=1}^N D_j(a_{ij} D_i y) + a(x, y) = u$ trên miền $\Omega$ với $y=0$ trên $\ biên \Gamma$, hàm mục tiêu tích phân và tập ràng buộc hỗn hợp điều khiển - trạng thái từng điểm có dạng $g(x, y(x), u(x)) \le 0$ hoặc $(y(x), u(x)) \in K(x)$. Tác giả thiết lập hệ điều kiện cần cực trị bậc một (phương trình trạng thái, phương trình liên hợp, bao hàm thức vi phân cho biến điều khiển) và điều kiện cần cực trị bậc hai liên quan đến dạng toàn phương của đạo hàm cấp hai hàm Lagrange trên nón tới hạn.
  • Mục 2.3 trình bày toàn bộ các chứng minh toán học cho Định lý 2.7 và các hệ quả; Mục 2.4 cung cấp các ví dụ minh họa và Mục 2.5 đưa ra kết luận chương. Nội dung chương này được phát triển dựa trên công trình công bố trên tạp chí SIAM Journal on Control and Optimization (2015/2016).

Chương 3. Điều kiện cần cực trị cho bài toán điều khiển tối ưu elliptic nửa tuyến tính với ràng buộc trạng thái

Chương 3 khảo sát điều kiện cần cực trị cho bài toán điều khiển tối ưu phương trình elliptic nửa tuyến tính có ràng buộc trạng thái từng điểm (pointwise pure state constraints):

  • Mục 3.1 thiết lập hệ điều kiện cần cực trị cho bài toán điều khiển tối ưu tổng quát với phương trình trạng thái phi tuyến trừu tượng và các ràng buộc trạng thái được biểu diễn dưới dạng tập đóng trong không gian các hàm liên tục $C(\bar{\Omega})$. Do không gian đối ngẫu của $C(\bar{\Omega})$ là không gian các độ đo Borel chính quy hữu hạn $M(\bar{\Omega})$, nhân tử Lagrange ứng với ràng buộc trạng thái là một độ đo Borel.
  • Mục 3.2 áp dụng vào bài toán điều khiển tối ưu elliptic nửa tuyến tính có ràng buộc trạng thái từng điểm dạng $g(x, y(x)) \le 0$ với mọi $x \in \bar{\Omega}$. Tác giả chứng minh sự tồn tại của nghiệm, tính chính quy của trạng thái liên hợp và thiết lập các điều kiện cần cực trị bậc hai trên nón tới hạn tương ứng với sự xuất hiện của thành phần tích phân theo độ đo Borel trong công thức đạo hàm bậc hai của hàm Lagrange.
  • Mục 3.3 tổng kết các kết luận chính của Chương 3.

Chương 4. Tính ổn định nghiệm của một số bài toán điều khiển tối ưu elliptic chứa tham số

Chương 4 khảo sát dáng điệu của ánh xạ nghiệm khi tham số biến thiên trong không gian mêtric:

  • Mục 4.1 nghiên cứu tính liên tục Hölder của ánh xạ nghiệm đối với bài toán điều khiển tối ưu elliptic tuyến tính chứa tham số với ràng buộc hỗn hợp điều khiển - trạng thái tuyến tính và hàm mục tiêu lồi. Trong trường hợp điều kiện giao khác rỗng của các tập bảo mật (security sets) không được thỏa mãn (khiến tính liên tục Lipschitz không còn được đảm bảo), tác giả thiết lập các điều kiện đủ để ánh xạ nghiệm là đơn trị và thỏa mãn tính liên tục Hölder theo tham số. Các bổ đề phân tích biến phân và ví dụ cụ thể được trình bày chi tiết.
  • Mục 4.2 nghiên cứu tính nửa liên tục dưới của ánh xạ nghiệm khi hàm mục tiêu chỉ thỏa mãn tính lồi thông thường (không lồi mạnh). Trong tình huống này, ánh xạ nghiệm nói chung là đa trị. Tác giả thiết lập các điều kiện đủ đảm bảo ánh xạ nghiệm đa trị đạt tính nửa liên tục dưới theo tham số, mở rộng kết quả của Bùi Trọng Kiên và cộng sự (2014) từ phương trình vi phân thường sang phương trình đạo hàm riêng elliptic.
  • Mục 4.3 đưa ra kết luận cho Chương 4.

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

Các đóng góp mới về mặt lý luận khoa học được luận án xác định bao gồm:

  1. Mở rộng điều kiện chính quy ràng buộc Robinson cho bài toán quy hoạch toán học trên không gian Banach trong trường hợp tập ràng buộc $Q$ chỉ là tập đóng bất kỳ (không đòi hỏi tính lồi), thông qua việc sử dụng nón tiếp tuyến Bouligand. Kết quả này giúp việc kiểm tra điều kiện chính quy và tính toán trở nên khả thi hơn so với việc sử dụng nón tiếp tuyến Clarke.
  2. Thiết lập hệ điều kiện cần cực trị bậc một và điều kiện cần cực trị bậc hai hoàn chỉnh cho lớp bài toán điều khiển tối ưu được mô tả bởi 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 điều khiển - trạng thái từng điểm.
  3. Thiết lập hệ điều kiện cần cực trị bậc hai cho lớp bài toán điều khiển tối ưu phương trình elliptic nửa tuyến tính có ràng buộc trạng thái từng điểm với nhân tử Lagrange thuộc không gian độ đo Borel chính quy.
  4. Đưa ra các điều kiện đủ đảm bảo tính liên tục Hölder của ánh xạ nghiệm đối với bài toán điều khiển tối ưu elliptic tuyến tính chứa tham số khi điều kiện giao khác rỗng của các tập bảo mật bị vi phạm.
  5. Thiết lập các điều kiện đủ cho tính nửa liên tục dưới của ánh xạ nghiệm đa trị đối với bài toán điều khiển tối ưu elliptic chứa tham số trong trường hợp hàm mục tiêu không có tính lồi mạnh.

Về mặt ứng dụng và giải pháp: Luận án cung cấp các cơ sở giải tích định tính giúp đảm bảo sự hội tụ và đánh giá sai số cho các thuật toán số khi giải bài toán điều khiển tối ưu elliptic trên máy tính.

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

  • SIAM Journal on Control and Optimization (2015/2016)
  • Optimization (2015)
  • Journal of Optimization Theory and Applications (2015)
  • Taiwanese Journal of Mathematics (2015)

Đồng thời, các kết quả được báo cáo tại các diễn đàn khoa học: Xêmina Bộ môn Giải tích, Xêmina Bộ môn Toán học tính toán và Toán ứng dụng (Trường Đại học Khoa học Tự nhiên - ĐHQGHN); Xêmina Phòng Giải tích số và Tính toán khoa học (Viện Toán học); Hội thảo Tối ưu và Tính toán khoa học lần thứ 12 (2014) và lần thứ 13 (2015) tại Ba Vì; Hội nghị Quốc tế về Tính toán Hiệu năng cao lần thứ 6 tại Hà Nội (2015).

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

  • Hạn chế: Luận án giới hạn phạm vi nghiên cứu ở phương trình đạo hàm riêng elliptic (tuyến tính và nửa tuyến tính) với điều kiện biên Dirichlet thuần nhất trên miền bị chặn; các kết quả về tính ổn định nghiệm mới tập trung vào bài toán tuyến tính chứa tham số với hàm mục tiêu lồi. Luận án chưa khảo sát các hệ phương trình parabolic, hyperbolic hay phương trình elliptic tựa tuyến tính có cấu trúc phi tuyến phức tạp ở toán tử vi phân cấp cao.
  • Hướng nghiên cứu tiếp:
    1. Mở rộng việc nghiên cứu điều kiện cần cực trị bậc hai cho các bài toán điều khiển tối ưu chi phối bởi phương trình parabolic hoặc phương trình elliptic tựa tuyến tính với các dạng điều kiện biên Neumann và Robin.
    2. Khảo sát tính ổn định nghiệm (tính liên tục Lipschitz, Hölder, nửa liên tục dưới) cho các bài toán điều khiển tối ưu phi tuyến chứa tham số với cấu trúc ràng buộc không trơn.

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, học viên cao học và sinh viên ngành Toán Giải tích, Toán Ứng dụng, Toán Tối ưu và Điều khiển.
  • Giảng viên và các nhà nghiên cứu trong lĩnh vực phương trình đạo hàm riêng, giải tích biến phân và lý thuyết điều khiển tối ưu.

Các phần nội dung có giá trị tham khảo học thuật cao trong văn bản:

  • Kỹ thuật mở rộng điều kiện chính quy Robinson qua nón tiếp tuyến Bouligand và cách xây dựng nón tới hạn bậc hai tại Chương 2.
  • Phương pháp xử lý nhân tử Lagrange dạng độ đo Borel trong bài toán có ràng buộc trạng thái tại Chương 3.
  • Kỹ thuật chứng minh tính liên tục Hölder và tính nửa liên tục dưới của ánh xạ nghiệm đa trị tại Chương 4.

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

1. Điểm cốt lõi trong việc mở rộng điều kiện chính quy Robinson của luận án là gì? Tác giả đã sử dụng khái niệm nón tiếp tuyến Bouligand $T(Q, x_0)$ để thay thế cho nón tiếp tuyến Clarke $T_C(Q, x_0)$ trong điều kiện chính quy ràng buộc Robinson $0 \in \text{int}{G(x_0) + \nabla G(x_0)(Q - x_0) - K}$ khi tập $Q$ chỉ là tập đóng (không đòi hỏi tính lồi). Do nón Clarke của tập đóng thường rất khó tính toán cụ thể, việc sử dụng nón Bouligand giúp điều kiện chính quy trở nên khả thi và thuận tiện hơn cho việc kiểm tra trên các không gian hàm cụ thể.

2. Ràng buộc trạng thái từng điểm ở Chương 3 dẫn tới khó khăn giải tích nào và được xử lý ra sao? Ràng buộc trạng thái từng điểm $g(x, y(x)) \le 0$ được xét trong không gian các hàm liên tục $C(\bar{\Omega})$. Do không gian đối ngẫu của $C(\bar{\Omega})$ là không gian các độ đo Borel chính quy hữu hạn $M(\bar{\Omega})$, nhân tử Lagrange tương ứng không còn là một hàm khả tích thông thường mà là một độ đo Borel. Tác giả đã thiết lập điều kiện cực trị bậc hai bằng cách tích hợp trực tiếp độ đo này vào biểu thức của dạng toàn phương đạo hàm cấp hai của hàm Lagrange.

3. Luận án giải quyết trường hợp hàm mục tiêu không lồi mạnh trong bài toán chứa tham số như thế nào? Khi hàm mục tiêu không có tính lồi mạnh, bài toán điều khiển tối ưu có thể có nhiều nghiệm tối ưu, dẫn tới ánh xạ nghiệm theo tham số là ánh xạ đa trị (không đơn trị). Tác giả đã thiết lập các điều kiện đủ để ánh xạ nghiệm đa trị này thỏa mãn tính nửa liên tục dưới theo tham số, mở rộng các kết quả trước đây vốn chỉ áp dụng cho phương trình vi phân thường.

4. Kết quả về tính liên tục Hölder ở Chương 4 có ý nghĩa gì khi điều kiện tập bảo mật bị vi phạm? Trong các nghiên cứu trước đây (như của Alt và cộng sự, 2011), tính liên tục Lipschitz của ánh xạ nghiệm đòi hỏi giả thiết giao của các tập bảo mật (security sets) phải khác rỗng. Khi giả thiết này không thỏa mãn, tính liên tục Lipschitz có thể bị phá vỡ. Luận án đã chứng minh rằng dưới các điều kiện suy rộng phù hợp, ánh xạ nghiệm vẫn duy trì được tính liên tục Hölder theo tham số.

Kết luận

Luận án tiến sĩ của tác giả Vũ Hữu Nhự đã giải quyết có hệ thống hai vấn đề cốt lõi trong lý thuyết điều khiển tối ưu đối với phương trình đạo hàm riêng elliptic: thiết lập điều kiện cần cực trị bậc một, bậc hai cho lớp bài toán elliptic nửa tuyến tính có ràng buộc hỗn hợp và ràng buộc trạng thái từng điểm; đồng thời xác lập các điều kiện đủ cho tính liên tục Hölder và tính nửa liên tục dưới của ánh xạ nghiệm khi tham số biến thiên. Các kết quả đạt được được chứng minh toán học chặt chẽ trên cơ sở kết hợp giải tích biến phân, giải tích đa trị và lý thuyết phương trình đạo hàm riêng, đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín như SIAM Journal on Control and Optimization, JOTA, Optimization và Taiwanese Journal of Mathematics. Công trình đóng góp bổ sung cơ sở lý thuyết định tính quan trọng cho chuyên ngành Toán Giải tích và cung cấp tài liệu tham khảo giá trị cho cộng đồng nghiên cứu tối ưu và điều khiển.