Tổng quan về luận án

Lý thuyết điều khiển tối ưu (Optimal Control Theory) giữ vai trò trung tâm trong toán học ứng dụng hiện đại, bắt nguồn từ phép tính biến phân cổ điển của Pierre de Fermat (1662), Johann Bernoulli (1697) với bài toán Brachistochrone, và được hoàn thiện nền tảng hiện đại qua Nguyên lý Cực đại Pontryagin (Pontryagin, Boltyanskii, Gamkrelidze & Mischenko, 1962). Trong các hệ thống động lực thực tế, dữ liệu bài toán luôn chịu tác động bởi sai số đo lường, nhiễu môi trường và sự biến thiên tham số. Do đó, việc phân tích định tính về tính ổn định (stability) và sự hội tụ (convergence) của tập nghiệm khi dữ liệu bị nhiễu là điều kiện tiên quyết để đảm bảo tính khả thi khi triển khai các mô hình điều khiển trong kỹ thuật, vật lý và y học.

Khoảng trống nghiên cứu (Research Gap) then chốt mà luận án tiến sĩ của Nghiên cứu sinh Võ Thành Tài (2024, Trường Đại học Khoa học Tự nhiên - ĐHQG TP.HCM, hướng dẫn bởi GS. Lâm Quốc Anh và TS. Võ Sĩ Trọng Long) tập trung giải quyết là: Hầu hết các công trình nghiên cứu hiện nay về tính ổn định của bài toán điều khiển tối ưu phụ thuộc tham số đều dựa trên các giả thiết khắt khe về tính khả vi liên tục ($C^1, C^2$) của hàm mục tiêu và hàm vế phải phương trình trạng thái (như các nghiên cứu của Malanowski, Bonnans, Shapiro, Dontchev). Tuy nhiên, trong thực tiễn mô hình hóa, các bài toán phi vi phân, điều khiển dạng đóng-mở (bang-bang control), hoặc các hệ điều khiển đa mục tiêu (multiobjective optimal control) có cấu trúc phi tuyến phức tạp thường không thỏa mãn điều kiện khả vi. Hơn nữa, các công bố về tính liên tục của ánh xạ nghiệm hữu hiệu (effective solution map) cho bài toán đa mục tiêu và sự hội tụ nghiệm theo nghĩa Painlevé-Kuratowski còn rất khan hiếm và thiếu các công cụ giải tích thích hợp.

Các câu hỏi nghiên cứu (Research Questions - RQ) và giả thuyết khoa học (Hypotheses - H) của luận án:

  • RQ1: Làm thế nào để thiết lập tính bị chặn và tính liên tục đồng đều của tập quỹ đạo nghiệm phương trình trạng thái mà không cần điều kiện tăng trưởng dưới tuyến tính cổ điển?
    • H1: Một điều kiện bị chặn tổng quát thông qua tích vô hướng $(A^\sharp 3)(\kappa)$ có thể mở rộng và bao hàm toàn bộ các lớp hàm thỏa mãn điều kiện Ekeland-Témam và Frankowska-Rampazzo.
  • RQ2: Điều kiện nào đảm bảo tính nửa liên tục dưới của ánh xạ nghiệm hữu hiệu $\mathrm{Eff}(\cdot)$ đối với bài toán điều khiển tối ưu đa mục tiêu phụ thuộc tham số (PMOCP) phi lồi?
    • H2: Khái niệm mới về tính tựa liên thông cung tích phân (quasi-arcwise connected integrand) sẽ đóng vai trò công cụ cốt lõi thay thế cho tính lồi thông thường.
  • RQ3: Có thể thiết lập tính liên tục Hölder calm cho ánh xạ nghiệm của bài toán điều khiển tối ưu vô hướng (PLOCP) với cấu trúc dữ liệu không trơn?
    • H3: Đánh giá khoảng cách Hausdorff kết hợp cấu trúc phương trình trạng thái tuyến tính cho phép xác lập bậc Hölder $\delta$ cụ thể cho tập nghiệm.
  • RQ4: Dưới cấu trúc giải tích nào thì dãy tập nghiệm của bài toán điều khiển tối ưu hội tụ theo nghĩa Painlevé-Kuratowski khi tham số xấp xỉ?
    • H4: Tính tựa giống lồi tích phân (quasiconvex-like integrand) và giả thiết ước lượng nghiệm xấp xỉ bảo đảm sự hội tụ trên và hội tụ dưới của tập nghiệm.

Khung lý thuyết của công trình tích hợp Giải tích đa trị (Set-Valued Analysis), Giải tích lồi suy rộng (Generalized Convex Analysis) và Lý thuyết phương trình vi phân vô hạn chiều trong không gian Banach $C([t_0, t_1], \mathbb{R}^n)$ và không gian Lebesgue $L_p([t_0, t_1], \mathbb{R}^m)$. Phạm vi nghiên cứu bao quát các bài toán điều khiển tối ưu vô hướng (OCP), bài toán đa mục tiêu (MOCP), cùng các ứng dụng thực chứng định lượng trong mô hình hóa xạ trị ung thư và hệ động học con lắc ngược trong vật lý.

Literature Review và Positioning

Lịch sử nghiên cứu tính ổn định của bài toán tối ưu và điều khiển tối ưu chia thành hai trường phái tiếp cận chủ đạo:

                                Lý thuyết Tối ưu & Điều khiển
     Hướng tiếp cận Định lượng & Vi phân                         Hướng tiếp cận Tập & Cấu trúc Topo
  (Malanowski, Bonnans, Shapiro, Dontchev)                         (Painlevé, Kuratowski, Mosco, Lucchetti)
   • Tính vi phân Fréchet, Clarke, Mordukhovich                  • Hội tụ Painlevé-Kuratowski (Ls, Li)
   • Điều kiện tối ưu bậc hai mạnh (SSOSC)                       • Hội tụ Hausdorff, Mosco, Gamma-hội tụ
   • Tính liên tục Lipschitz/Hölder của nghiệm                    • Nửa liên tục trên/dưới của ánh xạ đa trị
                             Khoảng trống: Hệ Phi vi phân & Đa mục tiêu
                         Luận án Võ Thành Tài (2024): Đóng góp Đột phá
         • Bị chặn tổng quát (A♯3)(κ) ⊃ Ekeland-Témam, Frankowska-Rampazzo
         • Tính tựa liên thông cung tích phân & Tựa giống lồi tích phân (Rm+)
         • Tính ổn định nghiệm đa mục tiêu & Hội tụ Painlevé-Kuratowski phi vi phân

Trường phái thứ nhất nghiên cứu tính ổn định định lượng dựa trên đạo hàm và giải tích biến phân. Malanowski (1993), Dontchev & Hager (1998), Bonnans & Shapiro (2000) đã sử dụng điều kiện tối ưu bậc hai mạnh (Strong Second-Order Sufficient Conditions - SSOSC) và tính độc lập tuyến tính của các gradient ràng buộc để thiết lập tính liên tục Lipschitz của nghiệm. Khi SSOSC không thỏa mãn, Klatte & Kummer (2002) cùng Mordukhovich (2006) phát triển dưới vi phân Fréchet và Mordukhovich để ước lượng hàm giá trị tối ưu. Đối với bài toán đa mục tiêu, Chuong & Jeyakumar (2018) khảo sát tính liên tục Hölder địa phương nhưng vẫn dựa trên cấu trúc khả vi Fréchet.

Trường phái thứ hai tập trung vào sự hội tụ topo của tập nghiệm thông qua lý thuyết hội tụ tập Painlevé-Kuratowski, Hausdorff và Mosco (Lucchetti, 2006; Beer, 1993). Trong lĩnh vực điều khiển, Buttazzo & Dal Maso (1982) ứng dụng $\Gamma$-hội tụ, trong khi Lucchetti, Patrone & Wets (1988) nghiên cứu hội tụ Kuratowski-Mosco cho phương trình tiến hóa tuyến tính loại parabol.

Các tranh luận khoa học đối nghịch nảy sinh từ việc đánh đổi giữa "độ mượt" (smoothness) và "tính tổng quát" (generality):

  1. Tranh luận về điều kiện tăng trưởng: Ekeland & Témam (1976) sử dụng điều kiện bị chặn tích vô hướng $\langle y, \varphi(t, y, v)\rangle \le \ell(t)(1 + |y|^2)$, trong khi Frankowska & Rampazzo (1991) áp dụng điều kiện tăng trưởng dưới tuyến tính $|\varphi(t, y, v)| \le \ell(t)(1 + |y|)$. Cả hai hướng tiếp cận đều loại trừ các hệ thống phi tuyến có tốc độ tăng trưởng bậc cao hơn.
  2. Tranh luận về tính lồi của phiếm hàm mục tiêu: Các giả thiết cổ điển đòi hỏi hàm mục tiêu phải lồi mạnh để bảo đảm tính duy nhất và tính nửa liên tục dưới của ánh xạ nghiệm (Zolezzi, 1985). Tuy nhiên, trong không gian vô hạn chiều, tính lồi mạnh là một đòi hỏi quá cứng nhắc, vô hiệu hóa ứng dụng trên các bài toán có hàm mục tiêu đa cực trị hoặc rời rạc từng khúc.

So sánh với hai nghiên cứu quốc tế tiêu biểu:

  • So với Ekeland & Témam (1976, Convex Analysis and Variational Problems): Luận án không chỉ dừng lại ở bậc $2$ mà mở rộng thành lớp điều kiện $(A^\sharp 3)(\kappa)$ với lũy thừa bậc $2\kappa+2$ ($\kappa \in \mathbb{N}$), bao hàm thực sự lớp các hàm vế phải của Ekeland-Témam ($\Psi_1 \subset \Psi(0)$) và thiết lập chuỗi bao hàm tăng $\Psi(\kappa) \subset \Psi(\kappa + 1)$.
  • So với Frankowska & Rampazzo (1991, Journal of Differential Equations): Điều kiện tăng trưởng dưới tuyến tính $\Psi_2$ được chứng minh là tập con thực sự của $\Psi(0)$ thông qua bất đẳng thức $|\langle y, \varphi(t, y, v)\rangle| \le 2\ell(t)(1 + |y|^2)$, giúp giải phóng lý thuyết điều khiển khỏi ràng buộc tăng trưởng tuyến tính.

Vị thế khoa học của luận án được xác lập rõ nét: Đây là một trong những công trình tiên phong giải quyết trọn vẹn tính liên tục (nửa liên tục trên, nửa liên tục dưới, liên tục Hölder calm) và sự hội tụ Painlevé-Kuratowski của tập nghiệm bài toán điều khiển tối ưu đa mục tiêu phụ thuộc tham số mà hoàn toàn không sử dụng bất kỳ giả thiết khả vi nào.

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

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

Luận án đã tạo ra bước tiến quan trọng trong giải tích biến phân và lý thuyết tối ưu thông qua việc mở rộng các lý thuyết nền tảng của Rockafellar (1970), Aubin & Frankowska (1990) và Mordukhovich (2006):

  1. Thiết lập điều kiện bị chặn tổng quát $(A^\sharp 3)(\kappa)$: Tồn tại $\kappa \in \mathbb{N}$ và hàm $\ell_\kappa \in L_1([t_0, t_1], \mathbb{R})$ sao cho: $$|y|^{2\kappa} |\langle y, \varphi(t, y, v)\rangle| \le \ell_\kappa(t) \left(1 + |y|^{2\kappa+2}\right), \quad \forall (t, y, v) \in [t_0, t_1] \times \mathbb{R}^n \times \Omega \text{ h.n.}$$ Chứng minh chặt chẽ tính chất đơn điệu bao hàm: Với mọi $\kappa \in \mathbb{N}$, ta có chuỗi cấu trúc: $$\Psi_1 \cup \Psi_2 \subset \Psi(0) \subset \Psi(1) \subset \dots \subset \Psi(\kappa) \subset \Psi(\kappa+1)$$

  2. Xác lập chặn trên quỹ đạo trạng thái thông qua Bổ đề Gronwall: Với mọi $\varphi \in \Phi^\sharp$, nghiệm $x(\cdot)$ của phương trình trạng thái thỏa mãn đánh giá tiên nghiệm: $$|x(t)|^{2\kappa+2} \le \left( |x(t_0)|^{2\kappa+2} + 2(\kappa + 1)|\ell_\kappa|1 \right) \mathrm{e}^{2(\kappa+1)|\ell\kappa|_1} := \zeta_0^{2\kappa+2}, \quad \forall t \in [t_0, t_1]$$ Kết quả này bảo đảm tính bị chặn đều của tập nghiệm trong không gian Banach $C([t_0, t_1], \mathbb{R}^n)$ bởi hằng số $\zeta_0$.

  3. Mô hình hóa tính tựa liên thông cung tích phân (Quasi-arcwise Connected Integrand): Mở rộng khái niệm của Crespi, Ginchev & Rocca (2008). Ánh xạ $\psi: [t_0, t_1] \times \mathbb{R}^n \to \mathbb{R}^m$ được gọi là $\mathbb{R}^m_+$-tựa liên thông cung tích phân trên tập $A \subset L_p([t_0, t_1], \mathbb{R}^n)$ nếu ánh xạ tích phân $x \mapsto \int_{t_0}^{t_1} \psi(t, x(t))\mathrm{d}t$ là $\mathbb{R}^m_+$-tựa liên thông cung trên $A$. Đây là cầu nối giải tích đột phá giúp chứng minh tính nửa liên tục dưới của ánh xạ nghiệm hữu hiệu $\mathrm{Eff}(\cdot)$ trên các tập điều khiển không lồi.

  4. Định chế hóa hệ thống tính lồi tích phân suy rộng trên nón $\mathbb{R}^m_+$:

    • Hàm $h.\beta$-tựa lồi mạnh tích phân: $$\int_{t_0}^{t_1} \psi(t, \theta x_1(t) + (1-\theta)x_2(t))\mathrm{d}t \le \max\left{ \int_{t_0}^{t_1} \psi(t, x_1(t))\mathrm{d}t, \int_{t_0}^{t_1} \psi(t, x_2(t))\mathrm{d}t \right} - h\theta(1-\theta) \int_{t_0}^{t_1} |x_1(t)-x_2(t)|^\beta \mathrm{d}t$$
    • Hàm $\mathbb{R}^m_+$-tựa giống lồi tự nhiên tích phân (naturally quasiconvex-like integrand) và $\mathbb{R}^m_+$-tựa giống lồi chính thường tích phân (properly quasiconvex-like integrand).
                      Hệ thống Tính lồi & Tính liên thông Tích phân
Tính Tựa lồi Mạnh tích phân       Tính Tựa giống lồi Tự nhiên         Tính Tựa liên thông Cung tích phân
  (h.β-strongly quasiconvex)        (Naturally quasiconvex-like)           (Quasi-arcwise connected)
Tính liên tục Hölder calm          Hội tụ Painlevé-Kuratowski           Tính Nửa liên tục Dưới của
 của ánh xạ nghiệm vô hướng           (Ls Ak ⊂ A ⊂ Li Ak)            Ánh xạ Nghiệm Hữu hiệu Eff(·)

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

Khung phân tích của luận án kết hợp bốn trụ cột lý thuyết: Lý thuyết Tập mức và Tập hữu hiệu Pareto (Luc, 1989), Lý thuyết Biến phân bị chặn đều (Equimeasurability Theory), Giải tích Đa trị của Aubin-Cellina (1984), và Bất đẳng thức tích phân phi tuyến.

  • Định nghĩa tính đo được đồng đều (Equimeasurability): Họ tập điều khiển $U \subset L_p([t_0, t_1], \mathbb{R}^l)$ được gọi là đo được đồng đều nếu với mọi $\varepsilon > 0, \delta > 0$, tồn tại $N(\varepsilon, \delta)$ sao cho mọi hàm $u \in U$ đều xấp xỉ được bởi hàm bậc thang $\xi_k^u$ có không quá $k$ điểm gián đoạn, thỏa mãn $|u(t) - \xi_k^u(t)| < \varepsilon$ ngoại trừ trên tập có độ đo nhỏ hơn $\delta$.
  • Điều kiện biên xác lập (Boundary Conditions): Không gian trạng thái $x \in C([t_0, t_1], \mathbb{R}^n)$, không gian điều khiển $u \in L_p([t_0, t_1], \mathbb{R}^l)$ ($1 \le p \le \infty$), không gian tham số $\lambda \in \Lambda \subset L_q([t_0, t_1], \mathbb{R}^r)$, miền ràng buộc $\Omega \subset \mathbb{R}^l$ đóng và bị chặn.

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

Thiết kế nghiên cứu

Nghiên cứu vận hành trên hệ tiên đề toán học suy diễn chặt chẽ (Mathematical Deductive Realism), xây dựng cấu trúc logic hình thức từ giải tích hàm hiện đại. Thiết kế nghiên cứu phân tầng đa cấp độ:

  • Cấp độ 1 (Hệ phương trình trạng thái động lực): Khảo sát phương trình vi phân điều khiển phi tuyến tổng quát (SE), tuyến tính (LSE), phụ thuộc tham số (PSE) và tuyến tính phụ thuộc tham số (PLSE).
  • Cấp độ 2 (Ánh xạ trạng thái - điều khiển): Thiết lập cấu trúc topo compact tương đối và tính liên tục của ánh xạ đa trị $u \mapsto x_u$.
  • Cấp độ 3 (Ánh xạ nghiệm tối ưu): Khảo sát tính nửa liên tục (trên và dưới), tính liên tục Hölder/Lipschitz, và sự hội tụ Painlevé-Kuratowski của tập nghiệm vô hướng $S(\cdot)$ và tập nghiệm hữu hiệu $\mathrm{Eff}(\cdot)$.

Quy trình nghiên cứu rigorous

Quy trình chứng minh được chuẩn hóa qua các giao thức giải tích nghiêm ngặt:

  1. Khử điều kiện trơn bằng Kỹ thuật Xấp xỉ Bậc thang đồng đều:

    • Sử dụng định lý chọn xấp xỉ liên tục trên phân hoạch $T = {\tau_0, \tau_1, \dots, \tau_k}$ chia đoạn $[t_0, t_1]$ thành $k$ đoạn con bằng nhau $\Delta_i$.
    • Chứng minh rằng mọi tập điều khiển có biến phân bị chặn đều $\mathrm{Var}(u; [t_0, t_1]) \le \alpha$ hoặc tập điều khiển liên tục đồng đều từng khúc đều có tính đo được đồng đều với chặn số điểm gián đoạn $N(\varepsilon, \delta) = \left\lceil \frac{\alpha(t_1 - t_0)}{\varepsilon\delta} \right\rceil$.

  2. Thiết lập Tính Compact yếu và Hội tụ đều quỹ đạo:

    • Kết hợp Bổ đề Gronwall và Định lý Ascoli-Arzelà để suy ra tính liên tục đồng đều và tính compact tương đối của họ nghiệm ${x_u : u \in U}$ trong không gian Banach $C([t_0, t_1], \mathbb{R}^n)$.
    • Sử dụng bất đẳng thức Hölder trong không gian Lebesgue: $$|x|_p \le (t_1 - t_0)^{\frac{1}{p} - \frac{1}{q}} |x|_q, \quad \forall 1 \le p \le q \le \infty$$

  3. Giao thức Đánh giá Khoảng cách Tập:

    • Tính toán khoảng cách Hausdorff $H(A, B) = \max\left{ \sup_{a \in A} d(a, B), \sup_{b \in B} d(b, A) \right}$.
    • Xác định giới hạn trên Painlevé-Kuratowski $Ls A_k = {y \in Y : y = \lim y_i, y_i \in A_{k_i}}$ và giới hạn dưới $Li A_k = {y \in Y : y = \lim y_k, y_k \in A_k}$.

Data và phân tích

Toàn bộ các định lý, mệnh đề và bổ đề được kiểm chứng thông qua cấu trúc chứng minh giải tích logic (analytical verification) và xây dựng các phản ví dụ (counter-examples) mẫu mực:

  • Phân tích hàm giải tích: Xây dựng hàm từng khúc minh họa tính tựa lồi mạnh tích phân mà không lồi toàn cục: $$\psi(t, x(t)) = \psi_i(t, x(t)) \quad \text{khi } a_{i-1} \le x(t) < a_i, \quad i \in {1, \dots, m}$$ với mỗi $\psi_i$ là $h_i.\beta_i$-lồi mạnh, chứng minh hàm ghép thỏa mãn $h.\beta$-tựa lồi mạnh tích phân với $h = \min {h_i}$ và $\beta = \max {\beta_i}$.
  • Độ tin cậy của thuật toán chứng minh: Đánh giá tính ổn định cấu trúc đối với các lớp điều khiển kinh điển: điều khiển bang-bang với tối đa $M$ điểm chuyển mạch (chứng minh $\mathrm{Var}(u; [t_0, t_1]) \le 4M$) và điều khiển PID (Proportional-Integral-Derivative) trong kỹ thuật điều khiển tự động.

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

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

  1. Mở rộng không gian trường vector trạng thái $\Psi(\kappa)$: Chứng minh định lý bao hàm đơn điệu $\Psi(\kappa) \subset \Psi(\kappa+1)$, thiết lập khẳng định rằng lớp hàm thỏa mãn điều kiện $(A^\sharp 3)(\kappa)$ của luận án rộng hơn thực sự so với các công bố kinh điển của Ekeland-Témam (1976) và Frankowska-Rampazzo (1991).
  2. Khẳng định tính đo được đồng đều của điều khiển thực tế: Chứng minh chính xác về mặt toán học rằng họ điều khiển bang-bang với số điểm chuyển hữu hạn và họ điều khiển liên tục đồng đều từng khúc (như bộ điều khiển PID) đều tạo thành tập đo được đồng đều. Do đó, tập nghiệm trạng thái tương ứng luôn compact trong $C([t_0, t_1], \mathbb{R}^n)$.
  3. Phá vỡ rào cản tính lồi trong tối ưu đa mục tiêu: Chứng minh rằng tính $\mathbb{R}^m_+$-tựa liên thông cung tích phân là điều kiện đủ để ánh xạ nghiệm hữu hiệu $\mathrm{Eff}(\cdot)$ đạt tính nửa liên tục dưới, giải quyết bài toán đặt mở về việc duy trì tính ổn định nghiệm Pareto khi miền xác định không lồi.
  4. Xác lập tính liên tục Hölder calm của ánh xạ nghiệm vô hướng: Với phương trình trạng thái tuyến tính phụ thuộc tham số (PLSE), ánh xạ nghiệm $S(\lambda)$ thỏa mãn: $$H(S(\lambda), S(\bar{\lambda})) \le \ell |\lambda - \bar{\lambda}|_q^\delta$$ trong đó hằng số Lipschitz/Hölder $\ell$ và bậc $\delta$ được biểu diễn giải tích tường minh qua ma trận hệ thống $A(t), B(t), C(t)$.
  5. Hội tụ nghiệm Painlevé-Kuratowski không cần tính khả vi: Thiết lập điều kiện đủ để dãy tập nghiệm $A_k$ của bài toán điều khiển tối ưu bị nhiễu hội tụ Painlevé-Kuratowski về tập nghiệm $A$ gốc ($Ls A_k \subset A \subset Li A_k$) dựa trên tính $\mathbb{R}^m_+$-tựa giống lồi tự nhiên tích phân.

Implications đa chiều

  • Về lý thuyết: Cung cấp bộ công cụ giải tích mới kết hợp giữa Giải tích đa trị và Giải tích lồi suy rộng tích phân, mở rộng phạm vi của Lý thuyết Tối ưu hiện đại sang các hệ thống động lực phi trơn vô hạn chiều.
  • Về phương pháp luận: Chuẩn hóa quy trình chứng minh tính ổn định nghiệm thông qua kỹ thuật đo được đồng đều (equimeasurability) kết hợp bất đẳng thức Gronwall, có thể chuyển giao trực tiếp để nghiên cứu các bài toán biến phân phân số và phương trình vi phân ngẫu nhiên.
  • Về ứng dụng y học: Tối ưu hóa phác đồ xạ trị và hóa trị ung thư. Mô hình hóa liều lượng thuốc (biến điều khiển $u(t)$) tác động lên mật độ tế bào ung thư và tế bào lành (biến trạng thái $x(t)$). Kết quả của luận án chứng minh rằng những sai số ngẫu nhiên trong việc phân liều hoặc hấp thu thuốc của bệnh nhân ($\lambda$) không làm suy biến nghiệm tối ưu, bảo đảm phác đồ điều trị luôn đạt độ ổn định và an toàn sinh học cao nhất.
  • Về ứng dụng vật lý và kỹ thuật: Áp dụng thành công vào hệ thống điều khiển con lắc ngược và hệ thống dẫn đường bay tự động sử dụng điều khiển bang-bang, chứng minh tính ổn định quỹ đạo trước các nhiễu loạn khí động học mà không đòi hỏi hệ thống cảm biến phải tuyến tính hóa dữ liệu.

Limitations và Future Research

Luận án thẳng thắn chỉ ra bốn giới hạn giải tích cần tiếp tục mở rộng:

  1. Dạng nghiệm đa mục tiêu: Các kết quả ổn định chủ yếu tập trung vào nghiệm hữu hiệu toàn cục (Pareto solutions), chưa bao quát hết các dạng nghiệm đặc biệt như nghiệm Pareto địa phương, nghiệm Henig, nghiệm Benson và nghiệm Borwein.
  2. Loại phương trình trạng thái: Hệ động lực trong luận án được mô hình hóa bằng hệ phương trình vi phân thường (ODEs). Nhiều quá trình vật lý - sinh học phức tạp phân bố theo không gian đòi hỏi phương trình đạo hàm riêng (PDEs) hoặc phương trình vi phân bậc phân số (Fractional Differential Equations).
  3. Cấu trúc dữ liệu không chắc chắn: Nghiên cứu giả định nhiễu tham số nằm trong không gian xác định $\Lambda$, chưa tích hợp hoàn chỉnh các yếu tố bất định ngẫu nhiên (Stochastic uncertainty) hoặc lý thuyết tối ưu mạnh (Robust optimization).
  4. Ràng buộc trạng thái ngặt nghèo: Các bài toán có ràng buộc trạng thái dạng tập phụ thuộc thời gian $x(t) \in \Theta(t)$ với cấu trúc biên phức tạp chưa được khảo sát triệt để.

Chương trình nghiên cứu 5 năm tiếp theo (Future Research Agenda):

  • Hướng 1: Thiết lập điều kiện ổn định cho các bài toán điều khiển tối ưu đa mục tiêu đối với nghiệm nón Henig, Benson, Borwein trong không gian vô hạn chiều.
  • Hướng 2: Nghiên cứu tính ổn định cho các mô hình điều khiển tối ưu đoạn (interval optimal control) với phương trình trạng thái là phương trình đạo hàm riêng hoặc phương trình vi phân bậc phân số.
  • Hướng 3: Xây dựng thuật toán xấp xỉ số hóa và đánh giá tốc độ hội tụ của nghiệm xấp xỉ khi giải các bài toán điều khiển tối ưu phi trơn.
  • Hướng 4: Ứng dụng lý thuyết vào các mô hình cân bằng kinh tế vĩ mô động và chuỗi cung ứng logistics bền vững trong điều kiện bất định.

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

  • Ảnh hưởng học thuật: Đóng góp trực tiếp vào chuyên ngành Toán ứng dụng (Mã số: 9460112). Các bài báo trích xuất từ luận án được công bố trên các tạp chí chuyên ngành quốc tế uy tín thuộc danh mục ISI/Scopus (Q1/Q2 về Tối ưu hóa và Giải tích ứng dụng), với tiềm năng trích dẫn cao trong cộng đồng nghiên cứu giải tích biến phân và điều khiển tối ưu quốc tế.
  • Đổi mới công nghiệp và công nghệ: Cung cấp nền tảng giải tích vững chắc cho các kỹ sư thuật toán thiết kế hệ thống điều khiển nhúng, tự hành (autonomous systems), và robot công nghiệp hoạt động ổn định trong môi trường biến động liên tục.
  • Tác động xã hội và y tế: Cải thiện độ chính xác và an toàn của các hệ thống hỗ trợ ra quyết định lâm sàng trong xạ trị ung thư, giảm thiểu tác dụng phụ của hóa trị nhờ tối ưu hóa phác đồ điều khiển thích ứng.

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

  • Nghiên cứu sinh và Giới học thuật (Doctoral & Senior Researchers): Tiếp cận phương pháp luận giải tích hiện đại, khung lý thuyết lồi tích phân suy rộng và các bài toán đặt mở về nghiệm nón để phát triển các đề tài nghiên cứu chuyên sâu.
  • Kỹ sư R&D trong Công nghiệp Điều khiển Tự động: Nhận được cơ sở toán học chứng minh tính ổn định của các bộ điều khiển phi tuyến, điều khiển bang-bang và PID trong môi trường công nghiệp thực tế.
  • Chuyên gia Y học Định lượng và Mô hình hóa Dược động học: Áp dụng các mô hình điều khiển tối ưu vào việc cá nhân hóa phác đồ điều trị y tế với độ tin cậy được chứng minh bằng toán học.

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 lý thuyết độc đáo nhất là việc xây dựng điều kiện bị chặn tích vô hướng tổng quát $(A^\sharp 3)(\kappa)$ và khái niệm tính tựa liên thông cung tích phân ($\mathbb{R}^m_+$-quasi-arcwise connected integrand). Công trình này mở rộng trực tiếp Lý thuyết Giải tích Lồi của Rockafellar (1970) và Lý thuyết Tối ưu Đa mục tiêu của Luc (1989), thiết lập điều kiện cần và đủ cho tính nửa liên tục dưới của ánh xạ nghiệm hữu hiệu $\mathrm{Eff}(\cdot)$ mà không cần giả thiết hàm mục tiêu phải khả vi hay lồi Euclid.

2. Đột phá phương pháp luận so với các nghiên cứu tiền nhiệm thể hiện ở điểm nào?

So với Malanowski (1993) và Bonnans & Shapiro (2000) (vốn phụ thuộc vào tính khả vi cấp hai SSOSC), luận án đã loại bỏ hoàn toàn điều kiện trơn. So với Ekeland & Témam (1976) và Frankowska & Rampazzo (1991), luận án phát triển công cụ đo được đồng đều (equimeasurability) của tập hàm có biến phân bị chặn đều kết hợp bất đẳng thức Gronwall phi tuyến, mở rộng lớp trường vector trạng thái từ $\Psi(0)$ lên $\Psi(\kappa)$ với $\kappa \in \mathbb{N}$ tùy ý.

3. Phát hiện bất ngờ nhất kèm minh chứng định lượng là gì?

Phát hiện bất ngờ nhất là các tập điều khiển bang-bang với tối đa $M$ điểm chuyển mạch và điều khiển PID (vốn có tính gián đoạn hoặc không khả vi) vẫn tạo thành một họ hàm đo được đồng đều với biến phân bị chặn đều $\mathrm{Var}(u; [t_0, t_1]) \le 4M$. Nhờ đó, tập quỹ đạo trạng thái tương ứng luôn liên tục Lipschitz với hằng số $\alpha_0$ và bị chặn đều trong không gian $C([t_0, t_1], \mathbb{R}^n)$ bởi hằng số định lượng: $$\zeta_0 = \left[ |x(t_0)|^{2\kappa+2} + 2(\kappa + 1)|\ell_\kappa|1 \mathrm{e}^{2(\kappa+1)|\ell\kappa|_1} \right]^{\frac{1}{2\kappa+2}}$$

4. Giao thức tái lập và kiểm chứng kết quả được thiết lập như thế nào?

Luận án cung cấp hệ thống chứng minh giải tích suy diễn đầy đủ và minh bạch. Mọi hằng số bị chặn, bước nhảy phân hoạch $N(\varepsilon, \delta)$, chuẩn Banach $L_p, L_\infty$, và khoảng cách Hausdorff đều được xác định tường minh bằng công thức toán học, cho phép cộng đồng khoa học kiểm chứng độc lập mà không cần giả định ẩn.

5. Tầm nhìn chương trình nghiên cứu 10 năm tiếp theo được định hình ra sao?

Chương trình 10 năm hướng tới việc hợp nhất Lý thuyết Điều khiển Tối ưu Phi trơn với Hệ thống Động lực Ngẫu nhiên (Stochastic Control) và Phương trình Đạo hàm Riêng Phân số (Fractional PDEs), tiến tới phát triển phần mềm chuyên dụng giải tự động các bài toán điều khiển tối ưu đa mục tiêu quy mô lớn phục vụ y học chính xác và hàng không vũ trụ.

Kết luận

Công trình nghiên cứu tiến sĩ của tác giả Võ Thành Tài (2024) đã tạo ra bước đột phá quan trọng trong chuyên ngành Toán ứng dụng với 6 đóng góp cốt lõi:

  1. Thiết lập điều kiện bị chặn tổng quát $(A^\sharp 3)(\kappa)$, bao hàm và tổng quát hóa toàn diện các điều kiện cổ điển của Ekeland-Témam và Frankowska-Rampazzo.
  2. Chứng minh tính đo được đồng đều của họ điều khiển thực tế (điều khiển bang-bang, điều khiển PID), xác lập tính compact và liên tục đồng đều của tập quỹ đạo trạng thái.
  3. Đề xuất khái niệm tựa liên thông cung tích phân, giải quyết thành công bài toán xác lập điều kiện đủ cho tính nửa liên tục dưới của ánh xạ nghiệm hữu hiệu trong tối ưu đa mục tiêu phi lồi.
  4. Xác lập tính liên tục Hölder calm của ánh xạ nghiệm cho bài toán điều khiển tối ưu tuyến tính phụ thuộc tham số với ước lượng bậc $\delta$ định lượng cụ thể.
  5. Chứng minh sự hội tụ Painlevé-Kuratowski của dãy tập nghiệm bài toán điều khiển tối ưu đa mục tiêu dựa trên cấu trúc tựa giống lồi tích phân và giả thiết ước lượng nghiệm xấp xỉ.
  6. Thực chứng thành công trên các mô hình y học (xạ trị/hóa trị) và vật lý (con lắc ngược), khẳng định tính ổn định vững chắc của mô hình toán học khi áp dụng vào thực tiễn đời sống.

Luận án đã mở ra ba nhánh nghiên cứu mới về điều khiển tối ưu đa mục tiêu nghiệm nón, điều khiển hệ phương trình phân số và điều khiển thích ứng phi trơn, để lại di sản khoa học chuẩn mực với các đóng góp học thuật mang tầm vóc quốc tế.