Tổng quan về luận án

Công trình nghiên cứu "Một số bài toán điều khiển được vững của hệ động lực mô tả bởi phương trình vi phân có trễ" do nghiên cứu sinh Nguyễn Thị Hồng thực hiện dưới sự hướng dẫn khoa học của GS. Nguyễn Khoa Sơn và PGS. Đỗ Đức Thuận tại Viện Toán học – Viện Hàn lâm Khoa học và Công nghệ Việt Nam (Chuyên ngành: Phương trình vi phân và tích phân, Mã số: 9 46 01 03, năm 2021), là một công trình tiên phong giải quyết trọn vẹn bài toán định lượng hóa độ bền vững của tính điều khiển được cho các lớp hệ động lực vô hạn chiều chịu nhiễu có cấu trúc.

Trong lý thuyết điều khiển hiện đại, tính điều khiển được là thuộc tính định tính cốt lõi được thiết lập từ các công trình kinh điển của R. E. Kalman (1960) và M. L. J. Hautus (1969). Tuy nhiên, trên thực tế, mô hình toán học luôn chứa đựng sai số và độ bất định tham số. Trong khi lý thuyết độ bền vững của tính ổn định Hurwitz đã phát triển mạnh mẽ từ các công trình đặt nền móng của D. Hinrichsen và A. J. Pritchard (1986, 1989) với khái niệm bán kính ổn định (stability radius), thì bài toán tương ứng đối với tính điều khiển được—đo khoảng cách từ một hệ điều khiển được đến tập các hệ không điều khiển được (controllability radius)—đối diện với những khoảng trống lý thuyết to lớn (research gap), đặc biệt là khi mở rộng sang các hệ phương trình vi phân có trễ (retarded delay systems) và hệ trung tính (neutral systems). Dù E. Markus (1960) đã chứng minh tập các cặp ma trận điều khiển được là tập mở trong không gian hữu hạn chiều $\mathbb{K}^{n\times n} \times \mathbb{K}^{n\times m}$, việc xác định khoảng cách hình học và giải tích chính xác tới biên không điều khiển được trong không gian trạng thái vô hạn chiều vẫn là bài toán mở chưa có lời giải trước luận án này.

Luận án tập trung giải quyết 3 câu hỏi nghiên cứu trung tâm:

  1. RQ1: Thiết lập công thức giải tích tính bán kính điều khiển được xấp xỉ phức và bán kính điều khiển được Euclide phức, cùng các đánh giá chặn cho bán kính thực của hệ tuyến tính có trễ rời rạc trong không gian Hilbert $M_2 := \mathbb{K}^n \times L_2([-h, 0], \mathbb{K}^n)$ dưới tác động của nhiễu ma trận afin có cấu trúc là gì?
  2. RQ2: Làm thế nào để định lượng chính xác bán kính điều khiển được Euclide, bán kính điều khiển được chính xác và bán kính điều khiển được xấp xỉ trong không gian Sobolev $W_2^1([-h, 0], \mathbb{C}^n)$ của hệ tuyến tính trung tính chịu nhiễu liên kết và nhiễu tách?
  3. RQ3: Tiêu chuẩn điều khiển được xấp xỉ và các chặn giải tích cho bán kính điều khiển được phổ, bán kính điều khiển được xấp xỉ của hệ vi phân phiếm hàm tổng quát với nhân trễ phân bố $\eta \in BV([-h, 0], \mathbb{K}^{n\times n})$ trong không gian Banach $M_p := \mathbb{K}^n \times L_p([-h, 0], \mathbb{K}^n)$ ($1 < p < \infty$) được xác lập như thế nào khi tồn tại nguyên tử cô lập tại $-h$?

Khung lý thuyết của luận án tích hợp chặt chẽ giữa lý thuyết $C_0$-nửa nhóm toán tử liên tục mạnh vô hạn chiều (Hale, 1977; Salamon, 1984), lý thuyết toán tử đa trị tuyến tính và bán kính toàn ánh phức (Do Duc Thuan & Nguyen Khoa Son, 2014, 2017), kết hợp với kỹ thuật phân tích giá trị kì dị suy rộng (GSVD). Kết quả nghiên cứu tạo đột phá khi cung cấp hệ thống công thức tường minh có khả năng tính toán số học, khép lại bài toán mở về phân tích độ vững định lượng của hệ phương trình vi phân hàm có trễ.

Literature Review và Positioning

Khảo sát tiến trình phát triển của lý thuyết điều khiển cho thấy một dòng chảy học thuật phong phú nhưng tồn tại những tranh biện lý thuyết sâu sắc:

           [Lý thuyết Điều khiển Tuyến tính Hữu hạn chiều]
           - Kalman (1960): Tiêu chuẩn đại số rank[B, AB, ..., A^{n-1}B] = n
           - Hautus (1969): Tiêu chuẩn tần số rank[A - λI, B] = n, ∀λ ∈ C
      [Độ bền vững & Bán kính Ổn định / Bán kính Điều khiển được]
      - Hinrichsen & Pritchard (1986, 1989): Bán kính ổn định cấu trúc
      - Paige (1981), Kressner (2007): Bán kính điều khiển được hữu hạn chiều
      - Thuan & Son (2014, 2017): Bán kính toàn ánh của toán tử đa trị tuyến tính
      [Hệ vô hạn chiều & Hệ vi phân có trễ / Hệ trung tính]
      - Triggiani (1975), Pandolfi (1976), Manitius (1981): Phổ & Xấp xỉ trong M2
      - O'Connor & Tarn (1983): Không gian Sobolev W_2^1 cho hệ trung tính
      - Nguyen Khoa Son (1997): MP-điều khiển được với điều khiển bị chặn
      [ĐÓNG GÓP ĐỘT PHÁ CỦA LUẬN ÁN (Nguyễn Thị Hồng, 2021)]
      - Thiết lập công thức tường minh tính Bán kính Điều khiển được Vững:
        * Hệ trễ rời rạc: Bán kính xấp xỉ phức, bán kính Euclide thực/phức
        * Hệ trung tính: Bán kính chính xác, xấp xỉ, Euclide trong W_2^1
        * Hệ vi phân phiếm hàm tổng quát: Tiêu chuẩn nguyên tử cô lập & bán kính phổ/xấp xỉ Mp

Dòng nghiên cứu thứ nhất tập trung vào tính điều khiển được của hệ hữu hạn chiều xuất phát từ tiêu chuẩn hạng Kalman $\text{rank}[B, AB, \dots, A^{n-1}B] = n$ và tiêu chuẩn phổ Hautus $\text{rank}[A - \lambda I_n, B] = n, \forall \lambda \in \mathbb{C}$. Để đánh giá tính bền vững, C. C. Paige (1981) lần đầu tiên đưa ra khái niệm bán kính điều khiển được:

"Bán kính điều khiển được là số thực lớn nhất $r_{\mathbb{K}}(A, B)$ sao cho với mọi nhiễu $[\Delta_1, \Delta_2]$ thỏa mãn $|[\Delta_1, \Delta_2]| < r_{\mathbb{K}}(A, B)$ thì hệ nhiễu thu được vẫn còn điều khiển được."

Tuy nhiên, các đánh giá của Paige chỉ giới hạn trong chuẩn phổ không cấu trúc. Sau đó, D. Kressner (2007) sử dụng ma trận giả nghịch đảo Moore-Penrose để thiết lập công thức bán kính điều khiển được phức dưới nhiễu afin $[A, B] \to [A, B] + D\Delta E$ với giả thiết ma trận cấu trúc $E$ phải có đủ hạng theo cột: $$r_{\mathbb{C}}^{D,E}(A, B) = \frac{1}{\sup_{\lambda \in \mathbb{C}} |(W(\lambda)(E^*E)^{-1/2})^\dagger D|}$$ Đến năm 2014, Đỗ Đức Thuận và Nguyễn Khoa Sơn đã mở rộng vượt bậc kết quả này bằng lý thuyết toán tử đa trị tuyến tính, loại bỏ hoàn toàn điều kiện đặt lên ma trận $E$: $$r_{\mathbb{C}}^{D,E}(A, B) = \frac{1}{\sup_{\lambda \in \mathbb{C}} |E W(\lambda)^{-1} D|}$$

Dòng nghiên cứu thứ hai liên quan đến hệ vô hạn chiều có trễ. A. Manitius và R. Triggiani (1975, 1981), L. Pandolfi (1976), J. Hale (1977), D. Salamon (1984) đã xây dựng các khái niệm điều khiển được phổ, điều khiển được Euclide và điều khiển được xấp xỉ trong không gian Hilbert $M_2 = \mathbb{K}^n \times L_2([-h, 0], \mathbb{K}^n)$. Đối với hệ trung tính, D. A. O'Connor và T. J. Tarn (1983) đã phát triển các điều kiện đại số trong không gian Sobolev $W_2^1([-h, 0], \mathbb{C}^n)$. Về mặt tính chất cấu trúc, Nguyễn Khoa Sơn (1997) đã giải quyết trọn vẹn bài toán điều khiển được xấp xỉ trong không gian Banach $M_p$ ($1 < p < \infty$) thông qua các toán tử cấu trúc đối ngẫu $H^$ và $G^$.

Positioning của Luận án: Mặc dù các tiêu chuẩn nhận biết tính điều khiển được đã định hình, việc đo lường độ bền vững định lượng (bán kính điều khiển được vững) cho hệ có trễ và hệ trung tính trước thời điểm luận án hoàn toàn chưa từng được giải quyết. Luận án đã định vị chính xác khoảng trống này, nối kết lý thuyết bán kính toàn ánh hiện đại với lý thuyết phương trình vi phân hàm vô hạn chiều.

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

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

Luận án đã mở rộng và phát triển các lý thuyết nền tảng của Hautus (1969), Manitius (1981), O'Connor & Tarn (1983), và Thuan & Son (2014) thông qua các mệnh đề và định lý đột phá:

  1. Mở rộng lý thuyết bán kính điều khiển được sang hệ trễ rời rạc: Thiết lập công thức tường minh tính bán kính điều khiển được xấp xỉ phức $r_{\mathbb{C}}^{M_2}(A_0, \dots, A_k, B)$ và bán kính điều khiển được Euclide phức $r_{\mathbb{C}}^{\text{Euc}}(A_0, \dots, A_k, B)$ dưới cấu trúc nhiễu $[A_0, A_1, \dots, A_k, B] \to [A_0, \dots, A_k, B] + D\Delta E$. Chứng minh sự tương đương giữa tính điều khiển được Euclide và phổ, đồng thời xác lập mối liên hệ giữa bán kính thực $r_{\mathbb{R}}$ và phức $r_{\mathbb{C}}$ thông qua giá trị kì dị suy rộng $\tau_n$.
  2. Thiết lập lý thuyết độ vững hoàn chỉnh cho hệ trung tính trong không gian Sobolev $W_2^1$: Chứng minh rằng dù hệ trung tính không bao giờ điều khiển được chính xác trong $M_2$ do tính compact của toán tử điều khiển $B = (B_0, 0)$, tính điều khiển được chính xác có thể xảy ra và duy trì độ vững trong $W_2^1([-h, 0], \mathbb{C}^n)$. Luận án cung cấp công thức tính chính xác bán kính điều khiển được chính xác phức $r_{\mathbb{C}}^{\text{exact}}$, bán kính Euclide $r_{\mathbb{C}}^{\text{Euc}}$, và bán kính xấp xỉ $r_{\mathbb{C}}^{\text{app}}$.
  3. Đột phá tiêu chuẩn điều khiển được xấp xỉ với nguyên tử cô lập (Isolated-Atom): Phát triển ý tưởng chia khoảng (partitioning technique) của Manitius để giải quyết trường hợp hàm độ đo $\eta(\theta)$ trong phương trình vi phân phiếm hàm có nguyên tử cô lập tại $-h$ (tồn tại $A_h \in \mathbb{K}^{n\times n}$ và $\epsilon \in (0, h]$ sao cho $\eta(\theta) \equiv A_h$ trên $(-h, -h+\epsilon]$). Luận án đã khử bỏ sự phụ thuộc phức tạp vào không gian nhân vô hạn chiều $\ker H^* \cap \ker G^* = {0}$, chuyển hóa thành điều kiện hạng đại số hữu hạn chiều kiểm tra được: $\text{rank}[A_h, B_0] = n$.

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

Khung phân tích của luận án dựa trên sự tích hợp của ba trụ cột lý thuyết:

  • Lý thuyết Nửa nhóm Toán tử Liên tục Mạnh ($C_0$-semigroup): Chuyển đổi hệ phương trình vi phân có trễ thành phương trình vi phân trừu tượng không có trễ $\dot{z}(t) = \mathcal{A}z(t) + \mathcal{B}u(t)$ trên không gian trạng thái vô hạn chiều $M_p$ hoặc $W_2^1$.
  • Lý thuyết Toán tử Đa trị Tuyến tính và Định lý Hahn-Banach: Sử dụng ánh xạ đa trị nghịch đảo $Q^{-1}$ để mô tả bán kính toàn ánh phức có cấu trúc của toán tử tuyến tính liên tục: $$\text{dist}_{\mathbb{C}}(Q; D, E) = \inf{|\Delta| : \Delta \in \mathbb{C}^{l\times q}, \text{rank}(Q + D\Delta E) < n} = \frac{1}{|EQ^{-1}D|}$$
  • Kỹ thuật Phân tích Giá trị Kì dị Suy rộng (GSVD) $\tau_n$: Định lượng khoảng cách toàn ánh thực thông qua phép biểu diễn ma trận mở rộng: $$\tau_n = \sup_{\gamma \in (0, 1]} \sigma_{2n-1} \left( \begin{bmatrix} \text{Re},Q & -\gamma \text{Im},Q \ \frac{1}{\gamma} \text{Im},Q & \text{Re},Q \end{bmatrix}, \begin{bmatrix} \text{Re},E & -\gamma \text{Im},E \ \frac{1}{\gamma} \text{Im},E & \text{Re},E \end{bmatrix} \right)$$

Điều kiện biên xác định (Boundary Conditions): Các công thức bán kính phức áp dụng cho chuẩn ma trận bất kỳ; đối với bán kính thực $r_{\mathbb{R}}$, công thức giải tích đạt được khi ma trận cấu trúc $D$ khả nghịch hoặc bằng ma trận đơn vị $I_n$.

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

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ chủ nghĩa duy lý và thực chứng toán học (positivist / formal-deductive paradigm), với thiết kế nghiên cứu toán học thuần túy giải tích hàm và lý thuyết toán tử:

                                [THIẾT KẾ PHÂN TÍCH VÔ HẠN CHIỀU]
[Chương 2: Hệ Trễ Rời rạc]            [Chương 3: Hệ Tuyến tính Trung tính]    [Chương 4: Hệ Vi phân Phiếm hàm]
- Không gian: M2 = K^n x L2           - Không gian: W_2^1([-h,0], C^n)        - Không gian: Mp = K^n x Lp (1 < p < ∞)
- Trễ: x(t - h_i)                     - Trễ: x(t - h) & x'(t - h)             - Trễ: Tích phân Lebesgue-Stieltjes
- Tựa đa thức đặc trưng:              - Tựa đa thức đặc trưng:                - Cấu trúc nhân: η ∈ BV([-h,0], K^{nxn})
  P^{rr}(λ) = A0 + Σ e^{-λh_i} Ai - λI  P^{th}(λ) = A0 + e^{-hλ}A1 +           - Tựa đa thức đặc trưng:
                                                    λe^{-hλ}A_{-1} - λI         P^{tq}(λ) = A0 + ∫ d[η(θ)]e^{λθ} - λI
[Bán kính Euclide & Xấp xỉ M2]        [Bán kính Chính xác, Xấp xỉ, Euclide]   [Bán kính Phổ & Bán kính Xấp xỉ Mp]

Cấp độ phân tích được thiết kế phân tầng rõ rệt:

  • Cấp độ 1 (Hệ vi phân trễ rời rạc): Trạng thái thuộc không gian tích Hilbert $M_2(\mathbb{K})$.
  • Cấp độ 2 (Hệ vi phân trung tính): Đạo hàm có chứa trễ, trạng thái thuộc không gian Sobolev $W_2^1([-h, 0], \mathbb{C}^n)$.
  • Cấp độ 3 (Hệ vi phân phiếm hàm tích phân Stieltjes): Trễ phân bố tổng quát thuộc không gian Banach $M_p$ ($1 < p < \infty$).

Quy trình nghiên cứu rigorous

Quy trình chứng minh và suy luận giải tích được chuẩn hóa theo 5 bước nghiêm ngặt:

  1. Mô hình hóa Nửa nhóm: Xây dựng toán tử vi phân sinh $\mathcal{A}$ với miền xác định trù mật $\text{dom}(\mathcal{A})$, chứng minh tính sinh nửa nhóm $C_0$ cho hệ trễ và hệ trung tính.
  2. Thiết lập Ma trận Hàm Tần số Hautus: Tính toán ma trận tựa đa thức đặc trưng (characteristic quasipolynomial matrix):
    • Hệ trễ rời rạc: $P^{rr}(\lambda) = A_0 + \sum_{i=1}^k e^{-\lambda h_i} A_i - \lambda I_n$
    • Hệ trung tính: $P^{th}(\lambda) = A_0 + e^{-h\lambda} A_1 + \lambda e^{-h\lambda} A_{-1} - \lambda I_n$
    • Hệ phiếm hàm tổng quát: $P^{tq}(\lambda) = A_0 + \int_{-h}^0 d[\eta(\theta)]e^{\lambda\theta} - \lambda I_n$
  3. Đồng nhất Hình học với Bán kính Toàn ánh: Ánh xạ bài toán suy biến hạng của ma trận Hautus $W(\lambda) = [P(\lambda), B]$ về bài toán suy biến tính toàn ánh của toán tử đa trị tuyến tính $Q = W(\lambda)$.
  4. Tính toán Chuẩn Toán tử Đa trị Nghịch đảo: Vận dụng bổ đề về chuẩn toán tử đa trị: nếu $Q$ toàn ánh thì $|EQ^{-1}D| = \sup_{|u|=1} \inf_{v \in Q^{-1}(Du)} |Ev|$.
  5. Phân tích Tối ưu Cực trị: Xác định supremum trên toàn mặt phẳng phức $\mathbb{C}$ hoặc trên trục ảo $i\mathbb{R}$ để thiết lập cận chính xác cho bán kính.

Data và phân tích

Trong nghiên cứu toán học lý thuyết, "dữ liệu" là các cấu trúc không gian hàm, cấu trúc ma trận tham số và các lớp toán tử nhiễu:

  • Không gian trạng thái: $M_2 = \mathbb{K}^n \times L_2([-h, 0], \mathbb{K}^n)$, Sobolev $W_2^1([-h, 0], \mathbb{C}^n)$, và Banach $M_p = \mathbb{K}^n \times L_p([-h, 0], \mathbb{K}^n)$.
  • Cấu trúc nhiễu tổng quát và nhiễu phân tách: Khảo sát cả hai mô hình nhiễu afin toàn phần $[A_0, \dots, A_k, B] + D\Delta E$ và nhiễu tách độc lập từng ma trận $A_i \to A_i + D_i \Delta_{A_i} E_{A_i}$, $B \to B + D_B \Delta_B E_B$.
  • Đo lường độ lớn nhiễu hàm tích phân: Đối với hệ phiếm hàm tổng quát, độ lớn của cặp nhiễu ma trận - độ đo $(\Delta_0, \delta) \in \mathbb{C}^{l_0 \times q_0} \times NBV([-h, 0], \mathbb{C}^{l_1 \times q_1})$ được đo bằng chuẩn tổng biến phân hỗn hợp: $$|(\Delta_0, \delta)| := |\Delta_0| + V(\delta, [-h, 0])$$
  • Kiểm chứng độ tin cậy (Robustness Checks): Toàn bộ định lý đều được kiểm tra tính tương thích khi suy biến về trường hợp không trễ ($h=0$) và kiểm chứng số học trên các ví dụ ma trận cụ thể.

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

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

Luận án mang lại 5 phát hiện toán học mang tính bước ngoặt:

  1. Công thức Bán kính Điều khiển được Xấp xỉ Phức cho Hệ Trễ Rời rạc: Dưới cấu trúc nhiễu afin $[A_0, A_1, \dots, A_k, B] + D\Delta E$, bán kính điều khiển được xấp xỉ phức trong không gian $M_2$ được tính chính xác bằng: $$r_{\mathbb{C}}^{M_2}(A_0, \dots, A_k, B) = \min \left{ \frac{1}{\sup_{\lambda \in \mathbb{C}} |E W_{rr}(\lambda)^{-1} D|}, \frac{1}{|E_{k,B} [A_k, B]^{-1} D|} \right}$$ trong đó $W_{rr}(\lambda) = [P^{rr}(\lambda), B]$ và $E_{k,B}$ là khối ma trận cấu trúc tương ứng với $[A_k, B]$.

  2. Định lượng Bán kính Điều khiển được cho Hệ Trung tính trong Không gian Sobolev: Đối với hệ trung tính (1.22), luận án chứng minh bán kính điều khiển được chính xác phức trong $W_2^1([-h, 0], \mathbb{C}^n)$ hoàn toàn xác định được qua công thức: $$r_{\mathbb{C}}^{\text{exact}} = \min \left{ \frac{1}{\sup_{\lambda \in \mathbb{C}} |E W_{th}(\lambda)^{-1} D|}, \frac{1}{|E_{-1,B} [A_{-1}, B]^{-1} D|} \right}$$ đồng thời bán kính điều khiển được xấp xỉ phức trong $W_2^1$ được tính bằng: $$r_{\mathbb{C}}^{\text{app}} = \min \left{ \frac{1}{\sup_{\lambda \in \mathbb{C}} |E W_{th}(\lambda)^{-1} D|}, \frac{1}{\sup_{\lambda \in \mathbb{C}} |E_{1,-1,B} [\lambda A_{-1} + A_1, B]^{-1} D|} \right}$$

  3. Thiết lập Chặn cho Bán kính Điều khiển được Thực $r_{\mathbb{R}}$: Luận án chứng minh rằng $r_{\mathbb{C}} \le r_{\mathbb{R}} \le \min_{\lambda \in \mathbb{C}} \tau_n(W(\lambda), E)$. Đặc biệt, khi ma trận cấu trúc $D$ khả nghịch ($D = I_n$), công thức tính chính xác bán kính thực thông qua giá trị kì dị suy rộng $\tau_n$ được khẳng định: $$r_{\mathbb{R}}(A_0, \dots, A_k, B) = \min \left{ \inf_{\lambda \in \mathbb{C}} \tau_n(W_{rr}(\lambda), E), \tau_n([A_k, B], E_{k,B}) \right}$$

  4. Giải pháp Cho Tiêu chuẩn Điều khiển được Xấp xỉ với Nguyên tử Cô lập: Khi ma trận hàm $\eta$ có nguyên tử cô lập tại $-h$, luận án chứng minh điều kiện cần và đủ để hệ (1.6) điều khiển được xấp xỉ trong $M_p$ là:

    (i) $\text{rank}[P^{tq}(\lambda), B_0] = n, \quad \forall \lambda \in \mathbb{C}$, (ii) $\text{rank}[A_h, B_0] = n$. Kết quả này giải quyết triệt để rào cản tính toán của điều kiện trừu tượng $\ker H^* \cap \ker G^* = {0}$.

  5. Cận Bán kính Điều khiển được Phổ và Xấp xỉ Dưới Nhiễu Hàm Tích phân: Luận án thiết lập cận dưới và cận trên cho bán kính điều khiển được phổ phức $r_{sp}(A_0, \eta, B_0)$ của hệ vi phân phiếm hàm dưới nhiễu hỗn hợp $(\Delta_0, \delta)$: $$r_{sp}(A_0, \eta, B_0) \ge \frac{1}{\sup_{\lambda \in \mathbb{C}} \left( |E_0 W(\lambda)^{-1} D_0| + |e_{\lambda} E_1 W(\lambda)^{-1} D_1| \right)}$$ với $e_{\lambda}(\theta) = e^{\lambda\theta}$.

Implications đa chiều

  • Về mặt lý thuyết: Hoàn thiện bức tranh giải tích của lý thuyết điều khiển vững vô hạn chiều, thống nhất phương pháp toán tử đa trị tuyến tính cho cả ba lớp hệ phương trình vi phân có trễ cơ bản.
  • Về mặt phương pháp luận: Cung cấp công cụ giải tích chuyển đổi các bài toán tối ưu vô hạn chiều phức tạp thành các bài toán tối ưu ma trận trên miền tần số phức có thể tính toán số trị hiệu quả.
  • Về mặt ứng dụng thực tiễn: Cung cấp biên độ an toàn định lượng (safety margin) cho các kỹ sư điều khiển khi thiết kế hệ thống điều khiển tự động có trễ trong mạng viễn thông, truyền động thủy lực, hệ thống điện lưới thông minh và robot công nghiệp.

Limitations và Future Research

Mặc dù đạt được những bước tiến đột phá, luận án cũng ghi nhận một số giới hạn nghiên cứu khách quan:

  1. Giới hạn tính toán bán kính thực: Công thức giải tích chính xác cho bán kính điều khiển được thực $r_{\mathbb{R}}$ mới chỉ đạt được khi ma trận cấu trúc $D$ khả nghịch ($D = I_n$). Trường hợp ma trận $D$ suy biến bất kỳ vẫn dừng lại ở các đánh giá chặn trên và chặn dưới.
  2. Độ phức tạp kiểm tra phổ: Việc xác định supremum trên toàn mặt phẳng phức $\mathbb{C}$ trong các công thức bán kính đòi hỏi quét trên tập nghiệm của phương trình siêu việt $\det P(\lambda) = 0$, vốn có vô hạn nghiệm đối với hệ có trễ.
  3. Giả thiết nguyên tử cô lập: Tiêu chuẩn đại số giải tích tường minh cho hệ vi phân phiếm hàm ở Chương 4 bắt buộc giả thiết $\eta$ có nguyên tử cô lập tại $-h$. Trường hợp nhân trễ liên tục thuần túy hoặc trễ suy biến suy rộng vẫn là bài toán thách thức.

Định hướng nghiên cứu tương lai (Future Research Agenda):

  • Phát triển thuật toán số xấp xỉ tối ưu toàn cục (global optimization algorithms) để tính toán bán kính điều khiển được trên máy tính hiệu năng cao.
  • Mở rộng lý thuyết bán kính điều khiển được vững sang các lớp hệ phi tuyến có trễ, hệ phương trình đạo hàm riêng (PDEs) và hệ chuyển mạch ngẫu nhiên (switched stochastic systems).
  • Nghiên cứu bài toán bán kính ổn định hóa được vững (robust stabilizability radius) và thiết kế bộ điều khiển phản hồi trạng thái tối ưu đạt độ bền vững cực đại.

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

  • Ảnh hưởng học thuật: Luận án được công bố qua 3 công trình khoa học uy tín, báo cáo tại các diễn đàn quốc tế lớn như 7th International Conference on High Performance Scientific Computing và Workshop on Numerical Solution of Integral and Differential Equations. Kết quả là tài liệu tham khảo nền tảng cho cộng đồng giải tích hàm và lý thuyết điều khiển tối ưu.
  • Tác động công nghệ & kỹ thuật: Cung cấp cơ sở giải thuật cho các phần mềm tự động hóa thiết kế hệ thống điều khiển (CADCS), cho phép kiểm tra độ bền vững tham số của các quá trình công nghệ cao trước các biến động thời gian trễ thực tế.

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

  • Nghiên cứu sinh và Giảng viên Toán ứng dụng: Tiếp cận phương pháp luận hiện đại kết hợp giữa giải tích hàm vô hạn chiều và lý thuyết ma trận suy rộng.
  • Nhà khoa học trong lĩnh vực Lý thuyết Điều khiển: Khai thác hệ thống công thức giải tích chuẩn xác để mở rộng cho các bài toán điều khiển bền vững đa biến, điều khiển phân tán.
  • Kỹ sư R&D trong Công nghiệp Tự động hóa & Hàng không Vũ trụ: Ứng dụng các ngưỡng cận dưới của bán kính điều khiển được để tính toán biên độ dự phòng an toàn cho hệ thống điều khiển bay, mạng cảm biến trễ và cánh tay robot chính xác.

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

1. Đóng góp lý thuyết độc đáo và có chiều sâu nhất của luận án là gì?

Đóng góp đột phá nhất là việc luận án đã thiết lập thành công công thức giải tích tường minh tính bán kính điều khiển được xấp xỉ phức cho hệ trễ rời rạc và hệ trung tính thông qua việc kết hợp hoàn hảo giữa tiêu chuẩn mở rộng Hautus với lý thuyết bán kính toàn ánh của toán tử đa trị tuyến tính. Công trình đã mở rộng lý thuyết bán kính điều khiển được hữu hạn chiều của Kressner (2007) và Thuan & Son (2014) lên không gian vô hạn chiều $M_2$ và Sobolev $W_2^1$, khắc phục hoàn toàn hạn chế về cấu trúc ma trận $E$.

2. Phương pháp luận của luận án có gì đổi mới so với các nghiên cứu quốc tế tiền nhiệm?

So với các nghiên cứu kinh điển của A. Manitius & R. Triggiani (1981) và D. A. O'Connor & T. J. Tarn (1983)—vốn chỉ dừng lại ở việc thiết lập các tiêu chuẩn nhận biết định tính tính điều khiển được—luận án đã phát triển phương pháp định lượng hóa hình học khoảng cách tới tập không điều khiển được. Thay vì phân tích phổ trừu tượng đơn thuần, luận án đồng nhất bài toán suy biến điều khiển với sự suy biến tính toàn ánh của toán tử đa trị $W(\lambda)^{-1}$, từ đó rút ra công thức tính toán tường minh không phụ thuộc vào việc tính toán không gian nhân vô hạn chiều.

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

Phát hiện bất ngờ và tinh tế nhất nằm ở Chương 4: đối với hệ vi phân phiếm hàm tổng quát, khi ma trận đo $\eta$ có nguyên tử cô lập tại $-h$, điều kiện điều khiển được xấp xỉ vô hạn chiều phức tạp $\ker H^* \cap \ker G^* = {0}$ trong không gian Banach $M_q$ thu hẹp chính xác thành điều kiện hạng đại số hữu hạn chiều giản dị: $\text{rank}[A_h, B_0] = n$. Điều này chứng minh rằng tính chất điều khiển được vô hạn chiều hoàn toàn bị chi phối bởi cấu trúc ma trận tại điểm biên trễ nhảy bậc.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) giải tích không?

Có. Toàn bộ các định lý trong Chương 2, Chương 3 và Chương 4 đều đi kèm với quy trình chứng minh giải tích chi tiết từng bước (step-by-step rigorous proofs), các bất đẳng thức chuẩn toán tử được xác lập chặt chẽ, cùng các ví dụ số học minh họa cụ thể cho từng trường hợp ma trận, cho phép cộng đồng học thuật kiểm chứng và cài đặt thuật toán số hóa trực tiếp.

5. Khung chương trình nghiên cứu 10 năm được mở ra từ luận án như thế nào?

Luận án mở ra một chương trình nghiên cứu dài hạn tập trung vào 3 hướng chính: (1) Số trị hóa bài toán tối ưu tần số để xây dựng Toolbox tính toán bán kính điều khiển được vững; (2) Giải quyết trọn vẹn bài toán bán kính điều khiển được thực $r_{\mathbb{R}}$ cho trường hợp ma trận cấu trúc $D$ bất kỳ; (3) Mở rộng lý thuyết sang các hệ động lực vô hạn chiều phi tuyến, hệ phân số (fractional systems) và hệ liên kết mạng ngẫu nhiên.

Kết luận

  1. Luận án đã giải quyết trọn vẹn và xuất sắc bài toán định lượng hóa độ bền vững của tính điều khiển được cho ba lớp hệ động lực có trễ: hệ trễ rời rạc trong $M_2$, hệ trung tính trong Sobolev $W_2^1$, và hệ vi phân phiếm hàm tổng quát trong $M_p$.
  2. Thiết lập hệ thống công thức giải tích tường minh tính bán kính điều khiển được xấp xỉ phức, bán kính điều khiển được chính xác phức và bán kính điều khiển được Euclide phức dưới các mô hình nhiễu afin có cấu trúc và nhiễu phân tách.
  3. Xác lập các chặn trên, chặn dưới giải tích sắc bén cho bán kính điều khiển được thực thông qua giá trị kì dị suy rộng $\tau_n$, chứng minh công thức chính xác khi ma trận cấu trúc $D$ khả nghịch.
  4. Đưa ra tiêu chuẩn đại số mới kiểm tra tính điều khiển được xấp xỉ cho hệ phương trình vi phân phiếm hàm có nguyên tử cô lập tại $-h$, đơn giản hóa triệt để các điều kiện toán tử vô hạn chiều phức tạp trước đây.
  5. Xây dựng các đánh giá chuẩn xác cho bán kính điều khiển được phổ và xấp xỉ dưới tác động của nhiễu hỗn hợp ma trận - độ đo biến phân giới nội $(\Delta_0, \delta) \in \mathbb{C}^{l_0 \times q_0} \times NBV([-h, 0], \mathbb{C}^{l_1 \times q_1})$.
  6. Công trình là một đóng góp học thuật xuất sắc của toán học Việt Nam, tạo nền tảng lý thuyết vững chắc và mở ra nhiều hướng phát triển quan trọng cho lý thuyết điều khiển hiện đại và toán học ứng dụng trên trường quốc tế.