Tổng quan về luận án

Nghiên cứu về tính ổn định và ổn định vững của phương trình sai phân tuyến tính suy biến (Linear Singular Difference Equations - LSDEs) là một trong những bài toán trung tâm của lý thuyết phương trình vi phân - sai phân và toán học điều khiển hiện đại. Trong thực tế, các quá trình tiến hóa rời rạc trong kinh tế học vĩ mô, sinh học quần thể, lý thuyết mạch điện và hệ thống kỹ thuật đa ngành thường được mô hình hóa dưới dạng hệ ẩn (implicit difference equations) hoặc hệ suy biến do sự xuất hiện của các ràng buộc đại số tĩnh song song với các phương trình động lực. Điển hình như mô hình kinh tế động Leontief đa ngành được biểu diễn qua phương trình suy biến:

"The fundamental dynamic Leontief model of economic systems is a singular system. Its description model is: $x(k) = Ax(k) + B[x(k + 1) - x(k)] + d(k)$ where $x(k)$ is the $n$ dimensional production vector of $n$ sectors... $B$ is often singular."

Khoảng trống học thuật cốt lõi (research gap) mà luận án giải quyết xuất phát từ việc các lý thuyết kinh điển của Luenberger (1977, 1979) và Campbell (1980) chủ yếu giới hạn ở các hệ phương trình sai phân suy biến dừng (Linear Time-Invariant - LTI) với hệ số hằng số thông qua dạng phân tích Weierstrass-Kronecker hoặc giải tích nghịch đảo Drazin. Khi mở rộng sang hệ sai phân suy biến có hệ số biến thiên theo thời gian (Linear Time-Varying - LTV) cấp một và cấp hai, các phương pháp phân tích phổ ma trận hoàn toàn mất hiệu lực, đồng thời xuất hiện sự giao thoa phức tạp giữa tính suy biến của ma trận dẫn dắt và bản chất rời rạc của trục thời gian.

Luận án của Tiến sĩ Ngô Thị Thanh Nga (2018), dưới sự hướng dẫn khoa học của PGS. Vũ Hoàng Linh và GS. Nguyễn Hữu Dư tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội, đã thiết lập các câu hỏi nghiên cứu và giả thuyết khoa học cụ thể:

  • Câu hỏi nghiên cứu 1 ($RQ_1$): Làm thế nào để thiết lập biểu diễn nghiệm tường minh và tiêu chuẩn ổn định đều, ổn định mũ cho hệ sai phân suy biến biến thiên thời gian cấp một $E_n y(n+1) = A_n y(n) + q_n$ có ma trận dẫn dắt $E_n \in \mathbb{K}^{d \times d}$ suy biến ($\text{rank}(E_n) \equiv r < d$)?
  • Câu hỏi nghiên cứu 2 ($RQ_2$): Liệu khái niệm số mũ Bohl (Bohl exponent) và các định lý ổn định kiểu Bohl-Perron trong không gian chuỗi Banach $l^p(n_0)$ có thể mở rộng một cách chặt chẽ từ phương trình sai phân chính quy sang hệ suy biến biến thiên hay không?
  • Câu hỏi nghiên cứu 3 ($RQ_3$): Đối với hệ sai phân suy biến cấp hai $A_n x(n+2) + B_n x(n+1) + C_n x(n) = f_n$, cấu trúc không gian nghiệm tương thích và tiêu chuẩn ổn định mũ được xây dựng như thế nào thông qua tiếp cận chỉ số lạ (strangeness-index approach)?
  • Câu hỏi nghiên cứu 4 ($RQ_4$): Giới hạn định lượng chính xác (explicit bound) của bán kính ổn định vững dưới tác động của các lớp nhiễu cấu trúc cho phép (allowable structured perturbations) là bao nhiêu để hệ bảo toàn tính chính quy và tính ổn định?

Các giả thuyết nghiên cứu tương ứng ($H_1, H_2, H_3, H_4$) khẳng định rằng việc tích hợp cách tiếp cận toán tử chiếu (projector-based approach) của trường phái giải tích phương trình vi phân - đại số (DAEs) và tiếp cận dạng chuẩn tắc không chỉ số lạ (strangeness-free form) kết hợp nguyên lý so sánh (comparison principle) sẽ giải quyết triệt để tính giải được, tính ổn định và tính ổn định vững của hệ suy biến biến thiên cấp một và cấp hai.

Phạm vi nghiên cứu bao quát không gian trạng thái hữu hạn chiều $\mathbb{K}^d$ ($\mathbb{K} = \mathbb{R}$ hoặc $\mathbb{C}$), trên tập thời gian rời rạc vô hạn $n \in \mathbb{N}(n_0)$, với hạng ma trận dẫn dắt cố định $\text{rank}(E_n) \equiv r < d$ hoặc $\text{rank}(A_n) \equiv d_1 < d$, kiểm chứng trên các lớp nhiễu một phía $B_n$, nhiễu hai phía $(E_n + F_n, A_n + B_n)$ và nhiễu cấu trúc đa thức $D_i \Delta_i E$.

Literature Review và Positioning

Khảo sát tổng quan tài liệu quốc tế cho thấy sự tiến hóa của lý thuyết phương trình sai phân suy biến qua bốn giai đoạn lớn:

  1. Trường phái phân tích đại số ma trận cổ điển: Luenberger (1977, 1979) đặt nền móng với việc phân tích hệ LTI qua chùm ma trận chính quy $\det(\lambda E - A) \not\equiv 0$. Campbell (1980) mở rộng giải tích nghiệm giải tích bằng cách sử dụng nghịch đảo Drazin $A^D, B^D$ cho hệ không thuần nhất $A x(n+1) = B x(n) + f_n$. Tuy nhiên, cách tiếp cận này phụ thuộc hoàn toàn vào cấu trúc phổ cố định và không thể áp dụng cho hệ biến thiên LTV do ma trận chuyển cơ sở $T_n, W_n$ thay đổi liên tục theo bước thời gian $n$.
  2. Trường phái giải tích chỉ số và toán tử chiếu vi-đại số: Roswitha März và cộng sự (từ những năm 1980) đã phát triển lý thuyết chỉ số kéo theo (tractability index) bằng hệ toán tử chiếu giải tích cho hệ DAEs. Sau đó, Kunkel và Mehrmann (1990s, 2006) đề xuất khái niệm chỉ số lạ (strangeness-index) và dạng chuẩn tắc không chỉ số lạ (strangeness-free form). Phạm Kỳ Anh và các cộng sự (2006, 2008, 2011) đã bước đầu đưa khái niệm index-1 vào hệ sai phân phi tuyến và thiết lập lý thuyết Floquet cho hệ tuần hoàn.
  3. Trường phái ổn định kiểu Bohl-Perron: Khởi nguồn từ Bohl (1904) và Perron (1930) trên phương trình vi phân thường, lý thuyết ánh xạ bị chặn đầu vào - trạng thái (bounded input - bounded state) được Aulbach và Van Minh (1996) chuyển giao sang phương trình sai phân trong không gian Banach, và Pituk (2001) hoàn thiện với không gian chuỗi $l^p \to l^\infty$. Braverman (2006) mở rộng cho phương trình sai phân có trễ vô hạn. Dẫu vậy, toàn bộ các công trình trên đều giả định ma trận dẫn dắt $E_n$ là ma trận đơn vị $I_d$ hoặc khả nghịch hoàn toàn.
  4. Trường phái bán kính ổn định vững (Robust Stability Radii): Hinrichsen và Pritchard (1986, 1989) định nghĩa bán kính ổn định cấu trúc $r_{\mathbb{K}}$. Qiu và các cộng sự (1995), Byers và Nichols (1993), Qiu và Davison (1999) khảo sát bán kính ổn định trên hệ DAEs index-1. Gần đây, Mehrmann và Thuan (2015) xác định bán kính ổn định cho hệ sai phân suy biến cấp cao dừng (LTI), trong khi Jacob (2009), Du và Linh (2005, 2006, 2015) khảo sát bán kính ổn định của hệ vi phân - đại số biến thiên (LTV DAEs).

Tranh luận học thuật cốt lõi tồn tại giữa hai quan điểm: Một bên cho rằng có thể quy dẫn hệ suy biến về hệ đại số - vi phân thông thường thông qua xấp xỉ rời rạc hóa tiêu chuẩn; quan điểm đối lập chỉ ra rằng việc rời rạc hóa trực tiếp thường gây ra hiện tượng mất ổn định số (numerical instability) và xuất hiện các mode ký sinh không kiểm soát được nếu không xử lý chính xác không gian hạt nhân (kernel) của ma trận dẫn dắt.

Luận án định vị chính xác tại giao điểm đột phá: Mở rộng đồng thời lý thuyết chỉ số toán tử chiếu (tractability index-1) và chỉ số lạ rời rạc ($\mu = 0$) sang lớp phương trình sai phân suy biến biến thiên thời gian cấp một và cấp hai. So với công trình của Jacob (2009) chỉ áp dụng cho ODEs liên tục và công trình của Mehrmann & Thuan (2015) chỉ giải quyết hệ LTI cấp cao dừng, luận án đã vượt lên giới hạn phân tích phổ bằng việc xây dựng toán tử giải Cauchy rời rạc $\Phi(n, m)$ và thiết lập nguyên lý so sánh cho hệ ma trận biến thiên không dừng.

Đó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à định hình lại các khung lý thuyết kinh điển của toán học giải tích hiện đại:

graph TD
    A["Hệ sai phân suy biến biến thiên cấp 1 & 2<br>E_n y(n+1) = A_n y(n) + q_n"] --> B["Cặp toán tử chiếu chính tắc<br>(Canonical Projector Pair: P̃_n, Q̃_n)"]
    A --> C["Dạng chuẩn tắc không chỉ số lạ<br>(Strangeness-free Canonical Form: μ = 0)"]
    B --> D["Toán tử giải Cauchy rời rạc Φ(n, m)<br>Tách hệ: Động học + Đại số"]
    C --> E["Hệ sai phân chính quy thu gọn<br>(Reduced Regular System)"]
    D --> F["Định lý ổn định kiểu Bohl-Perron<br>(Ánh xạ không gian Banach l^p)"]
    D --> G["Mở rộng số mũ Bohl<br>(Robustness of Bohl Exponent)"]
    E --> H["Nguyên lý so sánh ma trận<br>(Matrix Comparison Principle)"]
    H --> I["Chặn tường minh bán kính ổn định vững<br>r_K(A; D, E) = 1 / max{||H(1)||, ||H(∞)||}"]
  1. Mở rộng lý thuyết số mũ Bohl của Daleckii-Krein và Bohl (1904): Luận án lần đầu tiên định nghĩa số mũ Bohl trên hệ sai phân suy biến index-1 thông qua toán tử giải Cauchy $\Phi(n, m)$, chứng minh tính bất biến và tính ổn định vững của phổ số mũ Bohl khi ma trận hệ số chịu nhiễu vi phân nhỏ.
  2. Định lý hóa mối quan hệ Bohl-Perron cho hệ suy biến: Thiết lập cầu nối giải tích giữa tính bị chặn của nghiệm hệ không thuần nhất với tính ổn định đều và ổn định mũ của hệ thuần nhất tương ứng trong các cặp không gian chuỗi $(l^p, l^\infty)$ và $(l^p, l^p)$ với $1 \le p \le \infty$.
  3. Mô hình lý thuyết với các mệnh đề chuẩn mực: Thiết lập biểu diễn nghiệm tổng quát của hệ suy biến không thuần nhất cấp một:

"$$\Phi(n, m) = \prod_{k=n-1}^m \widetilde{P}_k \widetilde{G}k^{-1} A_k; \quad n > m \ge n_0, \quad \text{and} \quad \Phi(m, m) = \widetilde{P}{m-1}$$" "$$y(n) = \Phi(n, m)\widetilde{P}{m-1}y(m) + \sum{i=m}^{n-1} \Phi(n, i + 1)\widetilde{P}_i \widetilde{G}_i^{-1} q_i + T_n \widetilde{Q}_n \widetilde{G}_n^{-1} q_n$$"

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

Khung phân tích của luận án được xây dựng dựa trên sự tích hợp của ba lý thuyết:

  • Lý thuyết toán tử chiếu vi-đại số của Roswitha März: Xây dựng ma trận mở rộng $G_n := E_n - A_n T_n Q_n$ (với $T_n$ là đẳng cấu giữa $\ker E_n$ và $\ker E_{n-1}$, $Q_n$ là phép chiếu lên $\ker E_n$). Chứng minh tính khả nghịch của $G_n$ tương đương với điều kiện không gian phân tích trực tiếp $N_{n-1} \oplus S_n = \mathbb{K}^d$, trong đó $S_n := {z \in \mathbb{K}^d : A_n z \in \text{im} E_n}$. Cặp toán tử chiếu chính tắc $\widetilde{P}_n, \widetilde{Q}_n$ được xác định duy nhất, độc lập với việc lựa chọn $T_n, Q_n$.
  • Lý thuyết dạng chuẩn tắc không chỉ số lạ của Kunkel và Mehrmann: Ứng dụng thuật toán lùi (backtrack procedure) để khử các phương trình thừa và biến tự do, đưa hệ cấp hai biến thiên về dạng $\mu = 0$ thông qua chuỗi ma trận tương đương toàn cục ${(E_k, A_k)} \sim {(\widetilde{E}_k, \widetilde{A}_k)}$.
  • Nguyên lý so sánh ma trận không âm: Chuyển đổi bài toán đánh giá chuẩn nghiệm nhiều chiều phức tạp về việc khảo sát bán kính phổ $\rho(M)$ của ma trận so sánh thực không âm cấp hai, tạo đột phá trong việc ước lượng nghiệm mà không cần tính tường minh toán tử giải của hệ cấp hai.

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ủ lập trường triết học duy lý toán học hình thức (Formal Deductive Rigor) dựa trên cơ sở tiên đề của giải tích hàm và lý thuyết ma trận hiện đại. Thiết kế nghiên cứu đa cấp (multi-level research design) bao gồm:

  • Cấp độ đại số cục bộ: Khảo sát cấu trúc hạt nhân $\ker E_n$, không gian ảnh $\text{im} E_n$ và phân tích giá trị suy biến (SVD) của các chùm ma trận tại từng bước thời gian $n \in \mathbb{N}(n_0)$.
  • Cấp độ toán tử giải tích: Thiết lập toán tử giải Cauchy $\Phi(n, m)$ trên không gian phân rã $\mathbb{K}^d = \text{im} \widetilde{P}_n \oplus \ker \widetilde{P}n$, biến đổi hệ suy biến thành hệ phương trình sai phân chính quy nội tại (inherent regular difference equation): $$z(n+1) = P_n G_n^{-1} A_n z(n), \quad z(n) = P{n-1} x(n)$$
  • Cấp độ không gian hàm chuỗi Banach: Nghiên cứu bài toán biên và đánh giá chuẩn toán tử trên các không gian chuỗi vô hạn chiều $l^p(n_0)$ ($1 \le p \le \infty$).

Quy trình nghiên cứu rigorous

Quy trình giải tích đảm bảo tính chặt chẽ tuyệt đối qua các bước:

  1. Khử cấu trúc suy biến (Decoupling protocol): Sử dụng các phép chiếu $P_n G_n^{-1}$ và $Q_n G_n^{-1}$ để tách biệt hoàn toàn thành phần động học (dynamic state) và thành phần đại số (algebraic state), triệt tiêu các liên kết ẩn gây kỳ dị.
  2. Thiết lập điều kiện đầu tương thích (Consistent Initial Conditions): Chứng minh bài toán giá trị ban đầu Cauchy $P_{n_0-1}(y(n_0) - y_0) = 0$ có nghiệm duy nhất khi và chỉ khi dữ kiện ban đầu thỏa mãn điều kiện đại số tương thích $y(n_0) = \widetilde{P}{n_0-1} y_0 + T{n_0} \widetilde{Q}{n_0} \widetilde{G}{n_0}^{-1} q_{n_0}$.
  3. Kỹ thuật tam giác đạc giải tích (Analytical Triangulation): Kết hợp đồng thời ba công cụ giải tích mạnh: Bổ đề Gronwall rời rạc (Discrete Gronwall Lemma), Bất đẳng thức tích chập Young rời rạc (Discrete Young's Inequality), và Nguyên lý chặn đều Banach-Steinhaus (Uniform Boundedness Principle).

Data và phân tích

Toàn bộ các mô hình và cấu trúc ma trận khảo sát có quy mô tham số chính xác:

  • Hệ cấp một: $E_n, A_n \in \mathbb{K}^{d \times d}$, $\text{rank}(E_n) \equiv r < d$, $d \ge 2$, $r \ge 1$.
  • Hệ cấp hai: $A_n, B_n, C_n \in \mathbb{C}^{d \times d}$, ma trận dẫn dắt $A_n$ suy biến với $\text{rank}(A_n) \equiv d_1 < d$, phân rã khối kích thước $d = d_1 + d_2 + d_3$.
  • Đánh giá tính vững thông qua 5 giả thiết toán học chặt chẽ:
    • Assumption 1: $\sup_{n \in \mathbb{N}(n_0)} |T_n \widetilde{Q}_n \widetilde{G}_n^{-1} B_n| < 1$.
    • Assumption 2: $\sum_{n=n_0}^\infty |\widetilde{P}_n \widetilde{G}_n^{-1} B_n| < \infty$.
    • Assumption 3: Tồn tại $\delta > 0, N > n_0$ sao cho $|\widetilde{P}_n \widetilde{G}_n^{-1} B_n| \le \delta, \forall n \ge N$.
    • Assumption 4: $|\widetilde{P}_n \widetilde{G}_n^{-1} B_n| \to 0$ khi $n \to \infty$.
    • Assumption 5: Khảo sát nhiễu hai phía với $\sup_{n \in \mathbb{N}(n_0)} |F_n G_n^{-1}| < 1$.

Các tính toán ma trận giải tích và mô phỏng số kiểm chứng tính ổn định được thực hiện trên môi trường đại số máy tính chuyên dụng (MATLAB/Maple) sử dụng thuật toán phân tích SVD và chuẩn hóa ma trận.

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

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

  1. Tiêu chuẩn tương đương cho tính ổn định đều và ổn định mũ (Theorem 2.1 & 2.2): Khi dãy toán tử chiếu chính tắc ${\widetilde{P}_m}$ bị chặn ($|\widetilde{P}_m| \le \rho$), hệ thuần nhất index-1 ổn định đều khi và chỉ khi $|\Phi(n, m)| \le C$, và ổn định mũ khi và chỉ khi tồn tại $K > 0, 0 < \omega < 1$ sao cho: $$|\Phi(n, m)| \le K \omega^{n-m}, \quad \forall n \ge m \ge n_0$$
  2. Định lý Bohl-Perron cho phương trình sai phân suy biến: Chứng minh rằng nếu với mọi vế phải $q \in l^p(n_0)$ ($1 \le p \le \infty$), nghiệm của hệ suy biến $y \in l^\infty(n_0)$ (hoặc $y \in l^p(n_0)$), thì hệ thuần nhất tương ứng $E_n x(n+1) = A_n x(n)$ đạt tính ổn định mũ toàn cục.
  3. Bảo toàn ổn định dưới nhiễu một phía và hai phía (Theorem 2.3 & 2.4): Chứng minh hệ bị nhiễu $E_n y(n+1) = (A_n + B_n)y(n)$ giữ nguyên chỉ số index-1 và tính ổn định mũ nếu ma trận nhiễu thỏa mãn Assumption 1 và Assumption 3 với $\delta$ đủ nhỏ, thiết lập chặn nghiệm tường minh: $$|y(n)| \le K_1 \omega_1^{n-m} |y(m)|, \quad \omega_1 = \omega + \delta c_2 c_3 < 1$$
  4. Công thức giải tích bán kính ổn định vững cho hệ cấp hai: Với hệ cấp hai dương và không chỉ số lạ, bán kính ổn định phức và bán kính ổn định thực trùng nhau và đạt giá trị tối ưu:

"$$r_{\mathbb{C}}(\mathcal{A}; \mathcal{D}, \mathcal{E}) = r_{\mathbb{R}}(\mathcal{A}; \mathcal{D}, \mathcal{E}) = \frac{1}{\max{|H(1)|, |H(\infty)|}}$$ where $H(s) := E P(s)^{-1} D(s)$ and $P(s) = s^2 A + s B + C$."

  1. Hiện tượng phản trực giác (Counter-intuitive Phenomenon) về nhiễu hệ số dẫn dắt: Luận án phát hiện hiện tượng toán học đặc biệt: Đối với nhiễu tại ma trận dẫn dắt $E_n + F_n$, ngay cả khi ma trận nhiễu $F_n$ vô cùng bé ($|F_n| \to 0$ và chuỗi tổng $\sum |F_n| < \infty$), nếu $F_n$ vi phạm cấu trúc cho phép, nghiệm của hệ bị nhiễu vẫn bùng nổ ra vô hạn:

"$$\begin{bmatrix} \frac{1}{(n+1)^2} & 0 \ 0 & 1 \end{bmatrix} \begin{bmatrix} y_1(n+1) \ y_2(n+1) \end{bmatrix} = \begin{bmatrix} 1 & 0 \ 0 & 1 \end{bmatrix} \begin{bmatrix} y_1(n) \ y_2(n) \end{bmatrix} \implies y_2(n) = (n!)^2 y_2(0) \to \infty$$ as $n \to \infty$ for a nonzero initial value $y_2(0)$." Phát hiện này chứng minh tầm quan trọng sống còn của việc đặt điều kiện cấu trúc cho phép (allowable structure) đối với nhiễu ma trận dẫn dắt.

graph LR
    subgraph "Nhiễu hệ số dẫn dắt không cấu trúc"
        A1["Nhiễu F_n -> 0, Chuỗi hội tụ"] --> B1["Phá vỡ không gian ker(E_n)"]
        B1 --> C1["Nghiệm bùng nổ: y_2(n) = (n!)^2 y_2(0) -> Vô cùng"]
    end
    subgraph "Nhiễu có cấu trúc cho phép (Allowable)"
        A2["Nhiễu thỏa mãn cấu trúc khối"] --> B2["Bảo toàn chỉ số index-1 & tính giải được"]
        B2 --> C2["Nghiệm ổn định mũ: ||y(n)|| <= K_1 ω_1^(n-m) ||y(m)||"]
    end

Implications đa chiều

  • Về lý thuyết (Theoretical): Đặt nền móng hoàn chỉnh cho lý thuyết định tính của phương trình sai phân suy biến biến thiên; lấp đầy khoảng trống giữa giải tích sai phân cổ điển và lý thuyết hệ vi phân - đại số (DAEs).
  • Về phương pháp luận (Methodological): Cung cấp khung thuật toán toán tử chiếu và nguyên lý so sánh ma trận có thể tái sử dụng cho các bài toán phân tích hệ sai phân ngẫu nhiên (stochastic difference equations) và hệ có trễ (delay difference systems).
  • Về ứng dụng thực tiễn (Practical): Cung cấp công cụ tính toán ngưỡng suy biến cho các hệ thống lưới điện thông minh (smart grids), hệ thống mạng máy tính điều khiển thời gian thực và mô hình cân đối liên ngành Leontief, giúp các kỹ sư kiểm soát độ an toàn của hệ thống trước sai số tham số và nhiễu đo lường.
  • Khuyến nghị chính sách (Policy/Management): Trong hoạch định kinh tế vĩ mô dựa trên mô hình Leontief động, việc tính toán bán kính ổn định cấu trúc $r_{\mathbb{K}}$ cho phép các cơ quan quản lý đánh giá biên độ an toàn của các cú sốc đầu tư vốn $\Delta B$ giữa các khu vực kinh tế mà không làm sụp đổ cân bằng tăng trưởng dài hạn.

Limitations và Future Research

Luận án thẳng thắn chỉ ra 4 giới hạn nghiên cứu giải tích:

  1. Giới hạn chỉ số lạ ở hệ cấp cao: Kết quả hệ cấp hai chủ yếu đạt được dưới giả thiết không có chỉ số lạ ($\mu = 0$). Các hệ có chỉ số lạ bậc cao $\mu \ge 1$ chưa được giải quyết triệt để do sự phức tạp của quá trình đạo hàm/sai phân hóa ngược.
  2. Giới hạn bậc của hệ phương trình: Luận án mới chỉ thiết lập công thức tường minh cho hệ cấp một và cấp hai; đối với hệ cấp $k$ tổng quát ($k \ge 3$), việc chuyển đổi về hệ cấp một làm tăng mạnh số chiều không gian trạng thái và phá vỡ cấu trúc thưa của ma trận.
  3. Giả thiết tính bị chặn của toán tử chiếu: Các định lý điều kiện cần và đủ về tính ổn định đòi hỏi dãy toán tử chiếu chính tắc ${\widetilde{P}_n}$ phải bị chặn đều trên $\mathbb{N}(n_0)$, điều này có thể bị vi phạm trong một số hệ biến thiên dao động mạnh.
  4. Chưa tích hợp yếu tố ngẫu nhiên và phi tuyến: Nghiên cứu thuần túy dừng lại ở mô hình tất định tuyến tính, chưa mở rộng cho các hệ có tham số nhảy ngẫu nhiên kiểu Markov (Markov jump singular systems).

Chương trình nghiên cứu 5-10 năm tới mở ra các hướng ưu tiên:

  • Phát triển tiêu chuẩn ổn định cho hệ sai phân suy biến cấp $k$ tổng quát với chỉ số lạ $\mu > 0$.
  • Mở rộng lý thuyết số mũ Bohl và bán kính ổn định vững sang hệ sai phân suy biến phân số (fractional singular difference equations).
  • Xây dựng thuật toán số chuyên dụng kiểm soát lỗi làm tròn và tính toán bán kính ổn định thực $r_{\mathbb{R}}$ trên các hệ mạng quy mô cực lớn (large-scale complex networks).
  • Khảo sát hệ sai phân suy biến chuyển mạch (switched singular systems) dưới tác động của luật điều khiển thời gian lưu trú trung bình (average dwell-time).

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

Nghiên cứu của tác giả Ngô Thị Thanh Nga và các đồng tác giả đã tạo ra tác động học thuật quốc tế rõ rệt thông qua các công trình công bố trên các tạp chí chuyên ngành danh tiếng thuộc danh mục ISI/Scopus:

  1. Journal of Difference Equations and Applications (Taylor & Francis, 2016) - công bố về tính ổn định và số mũ Bohl của hệ sai phân suy biến biến thiên.
  2. Vietnam Journal of Mathematics (Springer, 2017) - công bố về hệ thống định lý ổn định kiểu Bohl-Perron.
  3. SIAM Journal on Matrix Analysis and Applications - SIMAX (SIAM, 2017, SCI) - công bố đột phá về tính ổn định mũ và ổn định vững cho hệ sai phân suy biến cấp hai biến thiên thời gian.

Các kết quả này được báo cáo và thảo luận chuyên sâu tại các diễn đàn toán học quốc tế lớn như Hội nghị Quốc tế PPICTA lần thứ 2 tại Busan (Hàn Quốc, 2017), Hội nghị Toán học Việt - Hàn tại Đà Nẵng (2017) và Viện Nghiên cứu Cao cấp về Toán (VIASM). Về mặt công nghệ và công nghiệp, khung phân tích bán kính ổn định cung cấp thuật toán kiểm chứng độ bền vững cho các phần mềm mô phỏng hệ thống động lực và điều khiển tối ưu hóa trong kỹ thuật hàng không vũ trụ và hệ thống cơ điện tử.

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

Nhóm đối tượng Lợi ích học thuật và ứng dụng cụ thể
Nghiên cứu sinh & Nhà nghiên cứu trẻ Tiếp cận hệ phương pháp luận toán tử chiếu và dạng chuẩn tắc strangeness-free hoàn chỉnh; kế thừa 5 hướng nghiên cứu mở về hệ suy biến cấp cao và hệ chuyển mạch.
Giáo sư & Chuyên gia Toán Giải tích Khung tham chiếu chuẩn mực về định lý Bohl-Perron và số mũ Bohl trên hệ thời gian rời rạc; bổ sung vào giáo trình sau đại học về lý thuyết định tính phương trình vi - sai phân.
Kỹ sư R&D Hệ thống Điều khiển Ứng dụng công thức tính bán kính ổn định $r_{\mathbb{K}}(\mathcal{A}; \mathcal{D}, \mathcal{E})$ để thiết kế bộ điều khiển bền vững cho robot công nghiệp, hệ thống điện và vi mạch xử lý tín hiệu số.
Nhà kinh tế lượng & Hoạch định chính sách Áp dụng mô hình Leontief suy biến mở rộng để phân tích độ nhạy của ma trận hệ số vốn đầu tư, tối ưu hóa phân bổ nguồn lực quốc gia trước các cú sốc thị trường.

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 mở rộng thành công lý thuyết số mũ Bohl (Bohl exponent) của Bohl (1904) và lý thuyết ánh xạ không gian Banach kiểu Bohl-Perron sang phương trình sai phân tuyến tính suy biến biến thiên thời gian (LTV LSDEs) index-1. Luận án đã khắc phục triệt để rào cản ma trận suy biến bằng việc xây dựng toán tử giải Cauchy chính tắc $\Phi(n, m)$ thông qua cặp toán tử chiếu $\widetilde{P}_n, \widetilde{Q}_n$.

2. Đột phá về phương pháp luận so với hai nghiên cứu quốc tế tiêu biểu?

So với Jacob (2009) chỉ khảo sát bán kính ổn định cho phương trình vi phân thường liên tục (ODEs) và Mehrmann & Thuan (2015) chỉ giải quyết hệ sai phân suy biến cấp cao dừng (LTI), luận án đột phá bằng việc kết hợp đồng thời phương pháp toán tử chiếu của März với dạng chuẩn tắc không chỉ số lạ của Kunkel-Mehrmann, từ đó áp dụng nguyên lý so sánh ma trận để tính toán tường minh bán kính ổn định vững cho hệ biến thiên thời gian mà không phụ thuộc vào phổ ma trận dừng.

3. Phát hiện thực nghiệm/giải tích nào gây bất ngờ nhất và bằng chứng toán học?

Phát hiện bất ngờ nhất là hiện tượng nghiệm bùng nổ ra vô hạn khi ma trận dẫn dắt bị nhiễu không có cấu trúc cho phép, mặc dù chuẩn ma trận nhiễu tiến về 0 và chuỗi chuẩn khả tích ($|F_n| \to 0, \sum |F_n| < \infty$). Cụ thể với hệ phương trình (2.8), nghiệm thành phần thứ hai $y_2(n) = (n!)^2 y_2(0) \to \infty$, chứng minh rằng đối với hệ suy biến, độ lớn vô cùng bé của nhiễu không đảm bảo tính ổn định nếu cấu trúc hạt nhân $\ker E_n$ bị phá vỡ.

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

Có. Luận án cung cấp thuật toán đại số tường minh từng bước: từ việc chọn toán tử đẳng cấu $T_n$, xây dựng toán tử chiếu $\widetilde{P}_n, \widetilde{Q}_n$, ma trận mở rộng khả nghịch $\widetilde{G}_n$, phân rã hệ thành phương trình chính quy nội tại đến công thức giải tích nghiệm Cauchy $y(n)$ và các ma trận cấu trúc $D(s), H(s)$.

5. Lộ trình nghiên cứu 10 năm tới được phác thảo như thế nào?

Lộ trình tập trung vào 4 trọng tâm: (1) Xử lý hệ suy biến cấp cao có chỉ số lạ $\mu \ge 1$; (2) Phát triển lý thuyết điều khiển bền vững cho hệ sai phân suy biến chuyển mạch ngẫu nhiên; (3) Tính toán số bán kính ổn định thực $r_{\mathbb{R}}$ cho hệ mạng quy mô siêu lớn; (4) Ứng dụng giải thuật vào mô hình hóa dữ liệu kinh tế lượng vĩ mô phi tuyến.

Kết luận

Luận án tiến sĩ toán học của tác giả Ngô Thị Thanh Nga đã hoàn thành xuất sắc các mục tiêu nghiên cứu đặt ra với 5 đóng góp học thuật cốt lõi:

  1. Xây dựng lý thuyết định tính hoàn chỉnh cho hệ phương trình sai phân suy biến biến thiên thời gian cấp một có chỉ số khả giải tractability index-1.
  2. Thiết lập hệ thống định lý ổn định dạng Bohl-Perron trong các không gian chuỗi Banach $l^p(n_0)$ và mở rộng khái niệm cùng các tính chất của số mũ Bohl cho hệ sai phân suy biến.
  3. Thiết lập tiêu chuẩn giải được bài toán Cauchy, tính tương thích của dữ kiện ban đầu và tiêu chuẩn ổn định mũ cho hệ sai phân suy biến biến thiên cấp hai thông qua tiếp cận chỉ số lạ.
  4. Phát hiện quy luật bảo toàn tính ổn định dưới tác động của các lớp nhiễu cấu trúc cho phép một phía và hai phía, đồng thời chỉ ra hiện tượng bùng nổ nghiệm khi vi phạm cấu trúc nhiễu.
  5. Xác định công thức giải tích tường minh cho bán kính ổn định cấu trúc $r_{\mathbb{K}}(\mathcal{A}; \mathcal{D}, \mathcal{E})$ của hệ sai phân suy biến dương cấp hai.

Công trình tạo ra bước chuyển dịch hệ hình quan trọng trong giải tích sai phân hiện đại, mở ra 3 hướng nghiên cứu mới về hệ suy biến cấp cao, hệ phân số và hệ chuyển mạch ngẫu nhiên. Với 3 công trình công bố trên các tạp chí quốc tế đỉnh cao (đặc biệt là SIAM Journal on Matrix Analysis and Applications), luận án khẳng định vị thế khoa học tiên phong và đóng góp giá trị bền vững cho toán học lý thuyết cũng như toán học ứng dụng quốc tế.