Tổng quan về luận án

Luận án tiến sĩ toán học chuyên ngành Toán Giải tích (mã số 62 46 01 02) của nghiên cứu sinh Vũ Hữu Nhự, được thực hiện dưới sự hướng dẫn khoa học của TS. Bùi Trọng Kiên và PGS. Nguyễn Hữu Điển tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội (2016), đại diện cho một bước tiến tiên phong trong lý thuyết điều khiển tối ưu hiện đại. Đặt trong bối cảnh khoa học của giải tích biến phân phi tuyến và lý thuyết phương trình đạo hàm riêng (PDE), công trình giải quyết triệt để hai khoảng trống nghiên cứu (research gap) trọng yếu: việc thiếu vắng các đ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ó cấu trúc ràng buộc phức tạp và sự hạn chế trong phân tích tính ổn định nghiệm khi thiếu vắng tính lồi mạnh hoặc điều kiện giao tập bảo mật (security sets).

Cụ thể, luận án trích dẫn trực tiếp khoảng trống học thuật từ thực tiễn: "Điều kiện cần cực trị bậc hai và tính ổn định nghiệm cho các bài toán điều khiển tối ưu với phương trình đạo hàm riêng elliptic với 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) chưa được thiết lập." Để giải quyết bài toán này, luận án xây dựng hệ thống câu hỏi nghiên cứu và giả thuyết khoa học chặt chẽ:

  1. Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập điều kiện chính quy và điều kiện cần cực trị bậc hai cho bài toán tối ưu trừu tượng khi tập ràng buộc $Q$ chỉ đóng mà không nhất thiết phải lồi, khắc phục hạn chế tính toán phức tạp của nón tiếp tuyến Clarke?
  2. Câu hỏi nghiên cứu 2 (RQ2): Cấu trúc của điều kiện tối ưu bậc một và bậc hai dạng Lagrange cho bài toán điều khiển tối ưu elliptic nửa tuyến tính chứa ràng buộc hỗn hợp $(y(x), u(x)) \in U_{ad}(x)$ và ràng buộc trạng thái $y(x) \in K(x)$ từng điểm là gì?
  3. Câu hỏi nghiên cứu 3 (RQ3): Dáng điệu định tính của ánh xạ nghiệm $S(\mu)$ biến thiên như thế nào theo tham số $\mu$ về tính liên tục Hölder và tính nửa liên tục dưới khi hàm mục tiêu chỉ lồi thường (không lồi mạnh) hoặc khi điều kiện giao khác rỗng của các tập bảo mật bị vi phạm?

Khung lý thuyết của công trình tích hợp giải tích biến phân hiện đại (variational analysis), lý thuyết giải tích lồi (convex analysis), lý thuyết không gian Sobolev ($W^{m,p}(\Omega), W_0^{1,p}(\Omega)$), hình học không gian Banach (WCG Banach spaces) và nguyên lý biến phân Borwein-Preiss / Ekeland. Về quy mô và phạm vi, luận án khảo sát trên miền mở bị chặn $\Omega \subset \mathbb{R}^N$ ($N \in {2, 3}$ hoặc $N \ge 2$) với biên Lipschitz hoặc trơn cấp $C^1, C^{1,1}$, thiết lập chuẩn mực giải tích áp dụng cho cả bài toán quy hoạch toán học vô hạn chiều lẫn các mô hình vật lý điều khiển trạng thái elliptic thực tế. Kết quả nghiên cứu đã được khẳng định thông qua 04 công trình khoa học công bố trên các tạp chí quốc tế chuyên ngành danh tiếng thuộc danh mục ISI/Scopus: SIAM Journal on Control and Optimization (2014), Optimization (2015), Journal of Optimization Theory and Applications (2015), và Taiwanese Journal of Mathematics (2016).

Literature Review và Positioning

Lý thuyết điều khiển tối ưu từ nền tảng nguyên lý cực đại Pontryagin và phương pháp Quy hoạch động Bellman cuối thập niên 1950 đã phát triển vượt bậc sang lĩnh vực phương trình đạo hàm riêng. Trong dòng chảy nghiên cứu điều kiện cực trị, Cominetti (1990) đã đặt nền móng cho điều kiện cần cực trị bậc hai của bài toán quy hoạch toán học $\min { f(x) \mid x \in Q, G(x) \in K }$ trên không gian Banach, nhưng chỉ áp dụng khi $Q$ là tập đóng và lồi. Nhằm nới lỏng giả thiết tính lồi, Jourani (1994) đã mở rộng điều kiện chính quy ràng buộc Robinson qua nón tiếp tuyến Clarke $T_C(Q, x_0)$. Tuy nhiên, việc tính toán cụ thể nón tiếp tuyến Clarke trên các tập đóng thực tế trong không gian vô hạn chiều gặp phải những rào cản kỹ thuật rất lớn.

Trong nhánh điều khiển tối ưu phương trình elliptic, Eduardo Casas cùng các cộng sự (1993, 2002, 2012, 2015) và Fredi Tröltzsch (2002, 2010) đã phát triển hệ thống lý thuyết sâu rộng cho điều khiển tối ưu elliptic. Dẫu vậy, các công trình của Casas & Tröltzsch hoặc Casas & Mateos (2002) chủ yếu tập trung vào điều khiển có ràng buộc hộp dạng $a(x) \le u(x) \le b(x)$ hầu khắp nơi hoặc ràng buộc trạng thái đơn thuần. Đối với phương trình vi phân thường, Bonnans và Hermant (2007, 2009) đã phân tích sâu sắc điều kiện cực trị bậc hai, song việc chuyển giao các kỹ thuật này sang phương trình đạo hàm riêng elliptic với ràng buộc từng điểm đòi hỏi các công cụ giải tích hoàn toàn mới do tính kỳ dị của nhân tử Lagrange (thường thuộc không gian độ đo Radon $\mathcal{M}(\bar{\Omega})$).

                      TIẾN TRÌNH ĐỊNH VỊ HỌC THUẬT
                      
    Cominetti (1990)             Casas & Tröltzsch (2002)        Alt, Baier, Gerdts (2011)
  [Q lồi, nón Bouligand]          [Ràng buộc hộp a≤u≤b]        [Lipschitz, Security Sets ≠ ∅]
     Jourani (1994)             Casas & Mateos (2002)               Kiên et al. (2009)
   [Q đóng, nón Clarke]         [Ràng buộc trạng thái y]          [Nửa liên tục dưới ODE]
                         LUẬN ÁN VŨ HỮU NHỰ (2016)

Về lý thuyết ổn định nghiệm, Walter Alt cùng các đồng tác giả (2011) trong nghiên cứu về điều khiển tối ưu elliptic tuyến tính với ràng buộc hỗn hợp đã chứng minh tính liên tục Lipschitz của ánh xạ nghiệm dưới giả thiết ngặt nghèo: hàm mục tiêu lồi mạnh và điều kiện giao khác rỗng của các tập bảo mật (security sets). Đồng thời, Malanowski (1993) và Hinze (2005) cũng khảo sát tính ổn định nhưng đều dựa trên tính lồi mạnh để bảo đảm nghiệm đơn trị.

Luận án của Vũ Hữu Nhự định vị chính xác tại giao điểm của các tranh luận khoa học nói trên. Thứ nhất, nghiên cứu thay thế nón Clarke bằng nón tiếp tuyến Bouligand $T(Q, x_0)$ để tổng quát hóa điều kiện chính quy Robinson cho tập $Q$ không lồi. Thứ hai, luận án vượt qua ranh giới của Alt et al. (2011) bằng cách thiết lập tính liên tục Hölder khi điều kiện tập bảo mật bị suy biến, và tính nửa liên tục dưới của ánh xạ nghiệm đa trị khi loại bỏ hoàn toàn tính lồi mạnh của phiếm hàm mục tiêu.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mang lại những đóng góp nền tảng cho lý thuyết tối ưu hóa vô hạn chiều và giải tích biến phân:

  1. Mở rộng điều kiện chính quy Robinson: Đối với bài toán quy hoạch toán học trừu tượng $(P): \min { f(x) \mid x \in Q, G(x) \in K }$, luận án thiết lập điều kiện chính quy hóa thông qua bao hàm thức: $$0 \in \text{int} { G(x_0) + \nabla G(x_0)(T(Q, x_0)) - K }$$ Kết quả này mở rộng trực tiếp định lý Robinson (1976) và Cominetti (1990) từ tập lồi sang tập $Q$ đóng bất kỳ, tạo cơ sở pháp lý giải tích để tập nhân tử Lagrange $\Lambda(x_0)$ khác rỗng, lồi và compact yếu-* trong không gian đối ngẫu $Y^*$.
  2. Thiết lập điều kiện cần cực trị bậc hai hoàn chỉnh: Luận án chứng minh rằng với mọi hướng tới hạn $h \in C(x_0)$ và tập con lồi $T(h) \subset T^2(K, G(x_0), \nabla G(x_0)h)$, nghiệm tối ưu địa phương $x_0$ thỏa mãn: $$\sup_{\lambda \in \Lambda(x_0)} \left{ \nabla_{xx}^2 L(x_0, \lambda)(h, h) - \sigma(\lambda, T(h)) \right} \ge 0$$ trong đó $L(x, \lambda) := f(x) + \langle \lambda, G(x) \rangle$ là hàm Lagrange và $\sigma(\lambda, T(h))$ là hàm giá của tập tiếp tuyến bậc hai.
  3. Đột phá trong phân tích ổn định nghiệm đa trị: Mở rộng lý thuyết của Bùi Trọng Kiên (2009) từ phương trình vi phân thường sang phương trình elliptic, chứng minh rằng khi hàm mục tiêu chỉ lồi thông thường, ánh xạ nghiệm $S: \mathcal{W} \rightrightarrows L^2(\Omega) \times H_0^1(\Omega)$ bảo toàn tính nửa liên tục dưới theo nghĩa Painlevé-Kuratowski.

Khung phân tích độc đáo

Khung phân tích của luận án kết hợp đa tầng ba lý thuyết trụ cột:

  • Lý thuyết giải tích biến phân phi tuyến: Khai thác khái niệm tính chính quy mêtric (metric regularity) và tính giả-Lipschitz (Aubin continuity) của ánh xạ đa trị $F: X \rightrightarrows Y$, liên kết thông qua quan hệ tương đương: $F$ chính quy mêtric tại $(x_0, y_0)$ khi và chỉ khi $F^{-1}$ giả-Lipschitz quanh $(y_0, x_0)$.
  • Lý thuyết hình học không gian Banach: Ứng dụng cấu trúc không gian Banach sinh bởi tập compact yếu (Weakly Compactly Generated - WCG) và không gian phản xạ, bảo đảm tồn tại chuẩn khả vi Gâteaux tương đương mà tại đó không gian và không gian đối ngẫu đều lồi chặt (theo định lý tái chuẩn hóa Troyanski).
  • Lý thuyết phương trình đạo hàm riêng elliptic: Sử dụng phép nhúng Sobolev compact $W_0^{1,p}(\Omega) \hookrightarrow\hookrightarrow C(\bar{\Omega})$ khi $p > N$, kết hợp công thức tích phân từng phần Green và định lý thác triển vết Gagliardo $\gamma: W^{1,p}(\Omega) \to W^{1-1/p, p}(\Gamma)$.

Điều kiện biên và phạm vi ứng dụng được xác lập tường minh trên miền $\Omega \subset \mathbb{R}^N$ với biên Lipschitz hoặc $C^1$, toán tử elliptic dạng phân kỳ $-\sum_{i,j=1}^N D_j(a_{ij} D_i y) + a(x, y) = u$, bảo đảm tính giải được duy nhất của bài toán trạng thái và tính khả vi Fréchet của toán tử điều khiển - trạng thái.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ chặt chẽ lập trường nhận thức luận duy thực phản biện (critical realism) và chuẩn mực toán học thuần túy tiên nghiệm. Cấu trúc luận án là sự tích hợp phương pháp tiếp cận đa cấp:

  • Cấp độ trừu tượng (Abstract Level): Phát triển lý thuyết tối ưu hóa trên không gian Banach vô hạn chiều tổng quát.
  • Cấp độ cụ thể (Concrete Level): Chuyển hóa các cấu trúc đối ngẫu và nón pháp tuyến thành hệ phương trình vi phân liên hợp và các bất đẳng thức biến phân từng điểm trong không gian hàm $L^p(\Omega), H_0^1(\Omega), C(\bar{\Omega})$.

Quy trình nghiên cứu rigorous

Quy trình giải tích chứng minh được xây dựng theo các giao thức giải tích biến phân nghiêm ngặt bậc cao:

  1. Kỹ thuật xấp xỉ biến phân: Áp dụng Nguyên lý biến phân Borwein-Preiss với hàm loại gauge $\rho(x, y)$ và Nguyên lý biến phân Ekeland nhằm khắc phục sự thiếu hụt tính compact mạnh trong không gian vô hạn chiều.
  2. Kỹ thuật giải tích lồi và phép tách: Sử dụng Định lý tách Hahn-Banach / Eidelheit và công thức Moreau-Rockafellar đối với dưới vi phân của tổng hàm lồi $\partial(f_1 + f_2)(x) = \partial f_1(x) + \partial f_2(x)$ khi điều kiện nội điểm hữu hiệu $\text{dom} f_1 \cap \text{int}(\text{dom} f_2) \neq \emptyset$ thỏa mãn.
  3. Tính toán biến phân hình học: Biểu diễn hiện nón tiếp tuyến Bouligand $T(K, x)$, nón tiếp tuyến Clarke $T_C(K, x)$ và các tập tiếp tuyến bậc hai $T^2(K, x, v)$, $T_C^2(K, x, v)$ trên không gian tích phân $L^p(\Omega)$ thông qua các tập lát cắt đo được xác định hầu khắp nơi trên $\Omega$.

Data và phân tích

Trong nghiên cứu toán giải tích lý thuyết, đối tượng dữ liệu là các cấu trúc toán tử, không gian hàm và các đánh giá tiên nghiệm (a priori estimates):

  • Tính trơn và tính chính quy: Thiết lập đánh giá nghiệm mạnh của phương trình elliptic tuyến tính và nửa tuyến tính: $|y|{W^{2,p}(\Omega)} \le C |f|{L^p(\Omega)}$ với hằng số $C > 0$ độc lập với dữ liệu vế phải $f$.
  • Toán tử liên hợp và không gian đối ngẫu: Xác định trạng thái liên hợp $p \in W_0^{1,s}(\Omega)$ thỏa mãn phương trình elliptic phụ trợ tuyến tính hóa, trong đó các số mũ liên hợp tuân thủ hệ thức Sobolev $\frac{1}{p} + \frac{1}{p'} = 1$.
  • Kiểm chứng tính vững (Robustness Verification): Toàn bộ các định lý chính đều được kiểm chứng độc lập thông qua các phản ví dụ và ví dụ minh họa giải tích chi tiết, khẳng định tính chính xác tuyệt đối mà không phụ thuộc vào sai số làm tròn số học.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án đã công bố 4 phát hiện toán học mang tính đột phá với chứng minh giải tích trọn vẹn:

  1. Điều kiện cần cực trị bậc hai cho bài toán ràng buộc hỗn hợp (Định lý 2.7): 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 $(y(x), u(x)) \in U_{ad}(x)$, luận án chứng minh sự tồn tại của nhân tử Lagrange liên hợp $p \in W_0^{1,s}(\Omega)$ và vector nhân tử đo được sao cho phương trình liên hợp và điều kiện bù được thỏa mãn đồng thời với bất đẳng thức bậc hai dạng tích phân tường minh trên miền $\Omega$.
  2. Xử lý trọn vẹn ràng buộc trạng thái từng điểm (Định lý 3.5): Thiết lập hệ điều kiện tối ưu bậc hai khi biến trạng thái chịu ràng buộc $y(x) \in K(x)$ với $K(x) \subset \mathbb{R}$ là tập lồi đóng có phần trong khác rỗng. Nhân tử Lagrange tương ứng với ràng buộc trạng thái được định vị chuẩn xác trong không gian độ đo Borel chính quy $\mathcal{M}(\bar{\Omega})$.
  3. Tính liên tục Hölder của ánh xạ nghiệm (Định lý 4.8): Đối với bài toán điều khiển chứa tham số $\mu \in \mathcal{W}$, khi hàm mục tiêu lồi mạnh bậc 2 và toán tử trạng thái chịu nhiễu, ánh xạ nghiệm duy nhất $u(\mu)$ thỏa mãn bất đẳng thức liên tục Hölder: $$|u(\mu_1) - u(\mu_2)|{L^2(\Omega)} \le L |\mu_1 - \mu_2|{\mathcal{W}}^{1/2}$$ ngay cả khi điều kiện bảo mật của Walter Alt (2011) bị vi phạm.
  4. Tính nửa liên tục dưới của ánh xạ nghiệm đa trị (Định lý 4.15): Khi hàm mục tiêu chỉ lồi thông thường (tập nghiệm $S(\mu)$ là tập lồi vô hạn phần tử), luận án chứng minh ánh xạ đa trị $\mu \mapsto S(\mu)$ là nửa liên tục dưới theo nghĩa: với mọi $u \in S(\mu_0)$ và dãy $\mu_k \to \mu_0$, luôn tồn tại dãy $u_k \in S(\mu_k)$ sao cho $u_k \to u$ mạnh trong $L^2(\Omega)$.

Implications đa chiều

  • Về mặt lý thuyết: Thống nhất và khép lại khoảng trống kéo dài hơn hai thập kỷ giữa lý thuyết quy hoạch toán học trừu tượng của Robinson - Cominetti và lý thuyết điều khiển PDE của Casas - Tröltzsch.
  • Về mặt phương pháp luận: Đề xuất một quy trình chuẩn hóa sử dụng nón tiếp tuyến Bouligand và nguyên lý biến phân Borwein-Preiss, mở đường cho việc giải quyết các bài toán tối ưu không lồi phức tạp trong các hệ phương trình đạo hàm riêng khác.
  • Về mặt thực tiễn tính toán: Cung cấp cơ sở toán học vững chắc cho các thuật toán số (như phương pháp SQP - Sequential Quadratic Programming, phương pháp Active Set, và phương pháp Lagrange nhân tử tăng cường Augmented Lagrangian). Tính ổn định nghiệm bảo đảm rằng các thuật toán xấp xỉ phần tử hữu hạn (FEM) rời rạc hóa sẽ hội tụ về nghiệm thực mà không bị bùng nổ sai số.

Limitations và Future Research

Nhằm duy trì tính khách quan khoa học, luận án chỉ rõ các giới hạn nội tại và biên điều kiện:

  • Cấu trúc toán tử trạng thái: Nghiên cứu tập trung chủ yếu vào toán tử elliptic cấp hai dạng dừng nửa tuyến tính. Các hệ phương trình elliptic phi tuyến hoàn toàn (fully nonlinear) hoặc hệ phương trình parabolic / hyperbolic phi tuyến phụ thuộc thời gian chưa nằm trong phạm vi khảo sát.
  • Tính chính quy của biên: Các định lý đòi hỏi biên $\Gamma$ đạt độ trơn tối thiểu Lipschitz hoặc $C^{1,1}$. Đối với các miền đa giác hoặc miền có góc tái nhập (non-smooth polygonal domains with re-entrant corners), nghiệm có thể xuất hiện điểm kỳ dị làm suy giảm bậc khả vi.
  • Ràng buộc tham số trong bài toán ổn định: Kết quả về tính nửa liên tục dưới ở Chương 4 chủ yếu áp dụng cho bài toán elliptic tuyến tính với hàm mục tiêu lồi, chưa mở rộng hoàn toàn cho bài toán elliptic nửa tuyến tính có cấu trúc phi tuyến mạnh tại phương trình trạng thái.

Chương trình nghiên cứu tương lai (Future Research Agenda):

  1. Mở rộng điều kiện cần cực trị bậc hai cho hệ phương trình Parabolic nửa tuyến tính chứa trễ và ràng buộc hỗn hợp từng điểm trên không gian thời gian $Q = \Omega \times (0, T)$.
  2. Nghiên cứu tính ổn định định lượng (Lipschitz / Hölder calms) của ánh xạ nghiệm cho bài toán điều khiển tối ưu phân số (fractional optimal control problems).
  3. Phát triển các thuật toán tối ưu hóa số bậc hai thực thi trực tiếp các điều kiện biên tiếp tuyến Bouligand bậc hai đã được thiết lập trong luận án.

Tác động và ảnh hưởng

Công trình của tác giả Vũ Hữu Nhự đã tạo nên tiếng vang lớn trong cộng đồng giải tích biến phân và điều khiển tối ưu quốc tế:

  • Tác động học thuật quốc tế: Các bài báo trích xuất từ luận án được công bố trên các diễn đàn toán học đỉnh cao, đặc biệt là SIAM Journal on Control and Optimization (tạp chí hàng đầu thế giới của Hiệp hội Toán học Công nghiệp và Ứng dụng Hoa Kỳ), thu hút sự quan tâm và trích dẫn của các chuyên gia đầu ngành từ Đức, Pháp, Tây Ban Nha và Hoa Kỳ.
  • Ứng dụng công nghệ và kỹ thuật: Lý thuyết điều khiển tối ưu elliptic là nền tảng cốt lõi trong tối ưu hóa hình học khí động học, điều khiển quá trình truyền nhiệt công nghiệp, mô hình hóa dòng chảy ngầm và xử lý ảnh y tế kỹ thuật cao (chụp cắt lớp điện trở EIT).
  • Đóng góp giáo dục và đào tạo: Bản luận án trở thành tài liệu tham khảo mẫu mực cho chương trình đào tạo tiến sĩ, thạc sĩ chuyên ngành Toán Giải tích và Toán Ứng dụng tại các trường đại học trọng điểm tại Việt Nam.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và học viên cao học: Tiếp cận một cấu trúc mẫu mực về việc kết hợp nhuần nhuyễn giữa giải tích phi tuyến, không gian Sobolev và lý thuyết điều khiển hiện đại.
  • Các nhà toán học và chuyên gia giải tích: Sở hữu công cụ giải tích mạnh mẽ để mở rộng nghiên cứu sang các lớp phương trình đạo hàm riêng phức tạp hơn (Navier-Stokes, phương trình Maxwell).
  • Kỹ sư tính toán và R&D công nghiệp: Nhận được bảo chứng lý thuyết về tính ổn định nghiệm, ngăn ngừa hiện tượng phân kỳ hoặc mất ổn định số khi giải các bài toán điều khiển ngược (inverse problems) trong công nghiệp vật liệu và cơ học chất lưu.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc mở rộng thành cô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 khi tập ràng buộc $Q$ là tập đóng tùy ý (không cần giả thiết tính lồi), thông qua việc sử dụng nón tiếp tuyến Bouligand thay vì nón tiếp tuyến Clarke. Kết quả này đã mở rộng trực tiếp lý thuyết cổ điển của Robinson (1976), Cominetti (1990) và Jourani (1994), cho phép dẫn xuất điều kiện cần cực trị bậc hai tường minh cho lớp bài toán điều khiển PDE phi tuyến với ràng buộc hỗn hợp từng điểm.

2. Điểm mới về phương pháp luận so với các nghiên cứu quốc tế tiền nhiệm là gì?

So với nghiên cứu của Casas & Tröltzsch (chỉ xử lý ràng buộc điều khiển đơn thuần) và Alt, Baier, Gerdts (2011) (phụ thuộc vào tính lồi mạnh và điều kiện giao tập bảo mật), luận án đã phát triển kỹ thuật tích hợp giữa Nguyên lý biến phân Borwein-Preiss và Hình học không gian Banach WCG. Cách tiếp cận này cho phép đánh giá dáng điệu nghiệm mà không cần các giả thiết ngặt nghèo về tính đơn trị của toán tử nghiệm hay tính chính quy mạnh của tập ràng buộc.

3. Phát hiện bất ngờ nhất về mặt toán học trong luận án là gì?

Đó là sự bảo toàn tính nửa liên tục dưới của ánh xạ nghiệm đa trị của bài toán elliptic chứa tham số khi hàm mục tiêu chỉ thỏa mãn tính lồi thông thường. Về mặt trực giác giải tích, khi mất tính lồi mạnh, tập nghiệm có thể phình to thành một tập đa trị phức tạp và rất dễ bị gián đoạn nhảy vọt (bị đứt đoạn theo tôpô Painlevé-Kuratowski). Luận án đã chứng minh chặt chẽ rằng cấu trúc phương trình elliptic tuyến tính kết hợp với nón pháp tuyến tập lồi vẫn duy trì được tính liên tục hình học hoàn chỉnh của tập nghiệm.

4. Luận án có cung cấp quy trình tái lập (replication protocol) không?

Có. Luận án xây dựng quy trình chứng minh giải tích toán học tiên đề hoàn chỉnh với từng bổ đề phụ trợ, đánh giá tiên nghiệm giải tích hàm và các bước chuyển tiếp giới hạn chi tiết trong không gian Sobolev. Mọi kết quả lý thuyết đều đi kèm với các ví dụ giải tích cụ thể (ở Mục 2.4 và Mục 4.1.4, 4.2.4) cho phép kiểm chứng độc lập từng bước tính toán.

5. Chương trình nghị sự 10 năm được vạch ra như thế nào?

Chương trình nghiên cứu mở rộng trong giai đoạn tiếp theo tập trung vào ba trục chính: (1) Hoàn thiện lý thuyết điều khiển tối ưu bậc hai cho hệ phương trình Parabolic phi tuyến với ràng buộc trạng thái - điều khiển phi địa phương; (2) Phát triển giải tích biến phân cho bài toán tối ưu đa mục tiêu (multiobjective optimal control) trên PDE; và (3) Ứng dụng giải tích ổn định để thiết kế các thuật toán học sâu nạp vật lý (Physics-Informed Neural Networks - PINNs) trong điều khiển thời gian thực.

Kết luận

Luận án tiến sĩ của tác giả Vũ Hữu Nhự là một công trình khoa học xuất sắc, đóng góp toàn diện cho chuyên ngành Toán Giải tích với 5 dấu ấn học thuật cốt lõi:

  1. Thiết lập thành công điều kiện chính quy Robinson tổng quát hóa và đ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 đóng tổng quát.
  2. Dẫn xuất hệ điều kiện cần cực trị bậc một và bậc hai hoàn chỉnh 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.
  3. Giải quyết triệt để bài toán điều khiển tối ưu elliptic với ràng buộc trạng thái từng điểm thông qua phân tích đối ngẫu trên không gian độ đo Borel chính quy $\mathcal{M}(\bar{\Omega})$.
  4. Khám phá định lý về tính liên tục Hölder của ánh xạ nghiệm điều khiển elliptic chứa tham số khi điều kiện tập bảo mật bị vi phạm.
  5. Chứng minh định lý nền tảng về tính nửa liên tục dưới của ánh xạ nghiệm đa trị khi hàm mục tiêu không có tính lồi mạnh.

Công trình không chỉ nâng cao vị thế của toán học giải tích Việt Nam trên trường quốc tế thông qua các ấn phẩm ISI chất lượng cao, mà còn để lại hệ phương pháp luận giải tích biến phân kinh điển, mở ra những hướng nghiên cứu đột phá cho thế hệ các nhà khoa học tiếp theo trong lĩnh vực tối ưu hóa vô hạn chiều.