Tổng quan về luận án

Nghiên cứu về phương trình sai phân đóng vai trò trung tâm trong toán học ứng dụng và giải tích số hiện đại, đặc biệt khi mô hình hóa các quá trình tiến hóa rời rạc trong tự nhiên, kỹ thuật và kinh tế lượng. Tuy nhiên, khi hệ sai phân mô tả các ràng buộc phụ thuộc tĩnh hoặc mô hình hóa bài toán ngược (như hồi quy phân bố dân số theo độ tuổi trong mô hình Leslie hoặc hệ cân đối liên ngành trong mô hình kinh tế động Leontief), ma trận hệ số dẫn đầu thường xuyên rơi vào trạng thái suy biến ($\det A_n = 0$). Điều này dẫn đến sự hình thành của phương trình sai phân ẩn (implicit difference equations hay discrete-time descriptor systems) dạng: $$A_n x_{n+1} = B_n x_n + q_n, \quad n \in \mathbb{N}_0$$ với $A_n, B_n \in \mathbb{R}^{m \times m}$ và $\ker A_n \neq {0}$ với mọi $n \in \mathbb{N}_0$.

Khoảng trống học thuật (research gap) cốt lõi xuất phát từ thực tế: trong khi lý thuyết phương trình vi phân đại số (Differential-Algebraic Equations - DAEs) với hệ số biến thiên $A(t)x'(t) + B(t)x(t) = q(t)$ đã được chuẩn hóa sâu sắc bởi Griepentrog và März (1986), Campbell (1982), Ascher và Petzold (1998), thì lý thuyết phương trình sai phân ẩn không dừng (non-autonomous) hầu như bị bỏ ngỏ. Các công trình của Campbell và Meyer (1979), Dai (1989), Navarro et al. (2000) chủ yếu giới hạn ở hệ dừng (autonomous) thông qua dạng chuẩn tắc Kronecker hoặc ma trận nghịch đảo suy rộng Drazin. Các kết quả của Bondarenko, Rutkas và Vlasenko (2004–2006) mới chỉ khảo sát lớp phương trình dạng đặc thù $T_n u_{n+1} + u_n = \phi_n$ với dãy hạng ma trận dừng. Khi chuyển sang hệ sai phân không dừng tổng quát, các kỹ thuật giải tích liên tục hoàn toàn mất hiệu lực do sự khác biệt bản chất giữa cấu trúc tô-pô bước chuyển trạng thái rời rạc và đạo hàm liên tục.

Luận án thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết học thuật then chốt:

  • RQ1: Làm thế nào để định nghĩa khái niệm chỉ số (index) cho phương trình sai phân ẩn với hệ số biến thiên nhằm đo lường chính xác mức độ suy biến mà không phụ thuộc vào việc chọn phép biểu diễn đại số?
    • Hypothesis 1 (H1): Khái niệm chỉ số 1 có thể được xác lập một cách bất biến thông qua kỹ thuật ghép nối khai triển kỳ dị (Singular Value Decomposition - SVD) và toán tử chiếu lên nhân ma trận.
  • RQ2: Điều kiện cần và đủ cho tính giải được và công thức nghiệm tường minh của bài toán Cauchy và bài toán biên nhiều điểm đối với hệ sai phân ẩn chỉ số 1 là gì?
    • Hypothesis 2 (H2): Bằng cách tách không gian trạng thái thành phần động hữu hiệu và thành phần đại số ràng buộc, bài toán Cauchy luôn giải được duy nhất với lớp dữ liệu ban đầu thích hợp, và bài toán biên nhiều điểm giải được duy nhất khi và chỉ khi thỏa mãn tiêu chuẩn chính quy định thức/nhân ma trận.
  • RQ3: Mối quan hệ tương thích toán học và sự hội tụ giữa phương trình vi phân đại số chỉ số 1 và lược đồ sai phân Euler hiện là gì?
    • Hypothesis 3 (H3): Lược đồ Euler hiện rời rạc hóa DAE chỉ số 1 sẽ tạo ra phương trình sai phân ẩn chỉ số 1, bảo toàn sự hội tụ tiệm cận $O(\tau)$, nhưng nảy sinh sự không tương thích về tính chính quy giữa bài toán biên liên tục và rời rạc.

Về quy mô và phạm vi, luận án giải quyết trọn vẹn lớp phương trình sai phân ẩn tuyến tính cấp $m \ge 2$ trên lưới thời gian vô hạn $\mathbb{N}_0$ hoặc hữu hạn ${0, 1, \dots, N}$, bao quát cả hai trường hợp: hạng của hệ số dẫn $A_n$ là hằng số ($\text{rank}(A_n) = r < m$) và hạng biến thiên tuần tự.

Literature Review và Positioning

Khảo sát hệ thống tài liệu chuyên khảo quốc tế (Elaydi, 2005; Agarwal, 2000; Lakshmikantham và Trigiante, 2002) cho thấy lý thuyết sai phân truyền thống giả định tính khả nghịch tuyệt đối của ma trận chuyển trạng thái ($\ker A_n = {0}$), đưa phương trình về dạng hiện $x_{n+1} = A_n^{-1} B_n x_n + A_n^{-1} q_n$. Tuy nhiên, khi nghiên cứu các hệ thống thực tế:

  1. Mô hình nhân khẩu học Leslie (Leslie, 1945; Campbell, 1980): Ma trận chuyển $T_n$ chứa các hàng bằng 0 do tỉ lệ sinh của các nhóm tuổi cao triệt tiêu ($b_{20}(n) = \dots = b_{20-k_0}(n) = 0$), dẫn đến việc truy hồi phân bố dân số quá khứ $x_{n_0-k}$ từ hiện tại $x_{n_0}$ trở thành bài toán sai phân ẩn suy biến $M_i u_{i+1} = u_i$.
  2. Mô hình kinh tế động Leontief (Leontief, 1953; Dai, 1989): Hệ cân đối liên ngành $B x_{n+1} = (I + B - A)x_n - d_n$, trong đó ma trận đầu tư vốn $B = (b_{ij}) \in \mathbb{R}^{m \times m}$ luôn suy biến nghiêm trọng khi tồn tại các phân ngành kinh tế phi tích lũy tư bản.

Trường phái Berlin do Griepentrog và März (1986), Lentini và März (1990) khởi xướng đã thành công trong việc sử dụng phép chiếu trơn $Q(t) \in C^1$ lên $\ker A(t)$ để giải quyết DAE $A(t)x'(t) + B(t)x(t) = q(t)$. Tuy nhiên, mâu thuẫn lý thuyết cốt lõi (theoretical contradiction) nảy sinh khi chuyển sang miền rời rạc: toán tử bước sai phân dịch chuyển trạng thái từ $n$ sang $n+1$ phá vỡ cấu trúc vi phân địa phương. Phương pháp của Griepentrog - März không thể áp dụng trực tiếp vì không gian $\ker A_n$ và $\ker A_{n+1}$ thay đổi rời rạc theo từng bước lưới.

Các công trình của Ascher, Brenan, Campbell và Petzold (1989, 1998) khi áp dụng lược đồ sai phân lùi (Backward Euler) $(A_n + \tau B_n)x_n = A_n x_{n-1} + \tau q_n$ đã tận dụng tính khả nghịch của bó ma trận $(A_n + \tau B_n)$ khi bước lưới $\tau$ đủ bé để chuyển thành phương trình sai phân thường. Ngược lại, khi sử dụng lược đồ Euler hiện $A_n x_{n+1} = (A_n - \tau B_n)x_n + \tau q_n$, hệ sinh ra bắt buộc phải là một phương trình sai phân ẩn thực sự với ma trận dẫn đầu $A_n$ suy biến.

So sánh với các nghiên cứu của Bondarenko et al. (2006) và Li, Zhang, Liu (2004), các tác giả tiền nhiệm chỉ xử lý được ma trận $T_n$ có hạng dừng và cấu trúc giao hoán hẹp. Luận án này định vị tại tâm điểm của khoảng trống học thuật: thiết lập một lý thuyết hoàn chỉnh cho phương trình sai phân ẩn không dừng tổng quát với cấu trúc hạng bất kỳ, thiết lập cầu nối lý thuyết giải tích số giữa DAE liên tục và sai phân ẩn rời rạc.

Đó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 sâu sắc lý thuyết hệ động lực giải tích ma trận của Gantmacher (1959) và lý thuyết chỉ số DAE của Griepentrog và März (1986). Trích dẫn trực tiếp từ văn bản gốc, định nghĩa nền tảng được xác lập:

"Phương trình sai phân ẩn tuyến tính (1.1) được gọi là có chỉ số 1 nếu: (i) $\text{rank} A_n = r$ ($0 < r < m$), $\forall n \in \mathbb{N}0$; (ii) Các ma trận $G_n := A_n + B_n V{n-1} Q^ V_n^T$ khả nghịch với mọi $n \in \mathbb{N}_0$."*

Trong đó, $A_n = U_n \Sigma_n V_n^T$ là khai triển kỳ dị (SVD) của ma trận $A_n$ với $\Sigma_n = \text{diag}(\sigma_n^{(1)}, \dots, \sigma_n^{(r)}, 0, \dots, 0)$, $U_n, V_n$ là các ma trận trực giao, và $Q^* = \text{diag}(O_r, I_{m-r})$.

Khung lý thuyết chứng minh một bước chuyển biến mô hình (paradigm shift): trong khi chỉ số của cặp ma trận ${A(t), B(t)}$ trong DAE chỉ số 1 luôn cố định bằng 1 với mọi $t \in J$, thì trong phương trình sai phân ẩn chỉ số 1, cặp ma trận ${A_n, B_n}$ không nhất thiết phải có chỉ số bằng 1 tại từng điểm, thậm chí tồn tại thời điểm $k \in \mathbb{N}0$ mà cặp ma trận ${A_k, B_k}$ không chính quy ($\det(\lambda A_k + B_k) \equiv 0$). Khái niệm chỉ số mới này đo lường chính xác khoảng cách đại số giữa phương trình sai phân ẩn và sai phân thường thông qua cơ chế liên kết thời gian trễ $V{n-1} Q^* V_n^T$.

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

Khung phân tích tích hợp ba trụ cột: Đại số tuyến tính nâng cao (SVD, Moore-Penrose Pseudoinverse), Giải tích hàm (Chiếu không gian phân rã $\mathbb{R}^m = S_n \oplus \ker A_n$), và Giải tích số tiệm cận.

Cơ chế phân rã toán tử độc đáo được xây dựng thông qua việc định nghĩa: $$Q_n = V_n Q^* V_n^T, \quad P_n = I - Q_n, \quad \widetilde{P}{n-1} = I - Q{n-1} V_{n-1} V_n^T G_n^{-1} B_n$$ Cho phép tách phương trình sai phân ẩn ban đầu thành hệ thống gồm hai thành phần độc lập:

  1. Thành phần động học hữu hiệu $u_n = P_{n-1} x_n \in S_{n-1}$ (với $S_{n-1} := {z \in \mathbb{R}^m : B_{n-1} V_{n-2} V_{n-1}^T z \in \text{Im} A_{n-1}}$) thỏa mãn phương trình sai phân thường: $$u_{n+1} = P_n G_n^{-1} B_n u_n + P_n G_n^{-1} q_n$$
  2. Thành phần đại số tĩnh $Q_{n-1} x_n \in \ker A_{n-1}$ đóng vai trò ràng buộc tức thời: $$x_n = \widetilde{P}{n-1} u_n - V{n-1} Q^* V_n^T G_n^{-1} q_n$$

Toàn bộ cấu trúc được chứng minh là bất biến tuyệt đối (invariant), không phụ thuộc vào bất kỳ cách chọn khai triển kỳ dị SVD cụ thể nào của $A_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 lập trường nhận thức luận duy lý cấu trúc (Mathematical Structuralism / Logical Deductivism). Thiết kế phương pháp nghiên cứu thuộc dạng suy diễn toán học thuần lý kết hợp thực nghiệm số kiểm chứng (Rigorous Deductive Proofs with Numerical Verification).

Quy trình giải quyết vấn đề đa tầng (Multi-level analytic design):

  • Tầng 1: Phân rã không gian véc-tơ cục bộ thông qua phép chiếu trực giao và khai triển SVD.
  • Tầng 2: Thiết lập toán tử chuyển tiếp trạng thái và giải phương trình sai phân toán tử tương thích.
  • Tầng 3: Tái thiết lập nghiệm toàn cục trong không gian trạng thái hữu hạn chiều $\mathbb{R}^m$.

Quy trình nghiên cứu rigorous

Quy trình xây dựng chứng minh toán học tuân thủ nghiêm ngặt các tiêu chuẩn cấu trúc giải tích:

  • Khử phụ thuộc SVD: Thiết lập Bổ đề 1.2 chứng minh rằng nếu $A_n = U_n \Sigma_n V_n^T = \bar{U}n \Sigma_n \bar{V}n^T$ là hai phân tích SVD khác nhau, ma trận $G_n$ và $\bar{G}n$ luôn đồng thời khả nghịch hoặc đồng thời suy biến, đồng thời xác lập tính đồng nhất toán tử: $$\widetilde{P}{n-1} G{n-1}^{-1} = \widetilde{P}{n-1} \bar{G}_{n-1}^{-1}$$
  • Phân tích chiều không gian thương: Trong bài toán biên nhiều điểm, luận án nghiên cứu không gian thương $\ker(\widetilde{D}, C_N Q_{N-1})/\mathcal{R}$ với $\mathcal{R} = {(0^T, y^T)^T \in \mathbb{R}^{2m} : y \in \ker Q_{N-1}}$, chứng minh bất biến số chiều: $$\dim(\ker R) = m, \quad \dim(\ker(\widetilde{D}, C_N Q_{N-1})) \ge m$$

Data và phân tích

Khác với nghiên cứu thực nghiệm xã hội học sử dụng mẫu dữ liệu ngẫu nhiên, dữ liệu của luận án là hệ thống các lớp ma trận toán tử tham số hóa đa chiều trong không gian $\mathbb{R}^{2 \times 2}, \mathbb{R}^{3 \times 3}, \mathbb{R}^{4 \times 4}$ và $\mathbb{R}^{m \times m}$ với hệ số phụ thuộc thời gian $n \in \mathbb{N}_0$.

Toàn bộ các định lý toán học, điều kiện khả nghịch ma trận $\det G_n \neq 0$, tính suy biến của ma trận bắn $\widetilde{D}$, và tốc độ hội tụ tiệm cận của lược đồ sai phân đều được lập trình mô phỏng, tính toán giải tích biểu thức và kiểm chứng số trị chính xác 100% trên môi trường tính toán ký hiệu MAPLE.

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 đột phá mang tính bản lề trong lý thuyết sai phân ẩn:

  1. Công thức nghiệm tường minh của bài toán Cauchy chỉ số 1: Trích dẫn trực tiếp từ Định lý 1.1, nghiệm duy nhất của bài toán Cauchy với điều kiện ban đầu $P_0(x_0 - \bar{x}0) = 0$ được biểu diễn chính xác qua công thức: $$x_0 = \widetilde{P}{-1} \bar{x}0 - V{-1} Q^* V_0^T G_0^{-1} q_0$$ $$x_n = \widetilde{P}{n-1} \left( M{n-1}^{(n)} \bar{x}0 + \sum{k=0}^{n-2} M_{n-2-k}^{(n)} G_k^{-1} q_k + G_{n-1}^{-1} q_{n-1} \right) - V_{n-1} Q^* V_n^T G_n^{-1} q_n, \quad n \ge 2$$ trong đó $M_k^{(n)} := \prod_{i=0}^{k} G_{n-1-i}^{-1} B_{n-1-i}$. Kết quả này chỉ ra rằng để xác định $x_n$, không chỉ cần thông tin lịch sử ${A_i, B_i, q_i}_{i=0}^{n-1}$ như hệ sai phân thường mà bắt buộc phải biết trước cả ma trận hiện thời $A_n, B_n, q_n$.

  2. Tính giải được khi hạng hệ số dẫn biến thiên: Phát hiện mang tính cách mạng đối với trường hợp hạng ma trận không hằng số ($\text{rank} A_{n+1} \ge \text{rank} A_n$). Luận án chứng minh điều kiện nhân lồng nhau: $$\ker A_{n+1} \subset \ker A_n \iff P_n P_{n+1} = P_n, \quad \forall n \in \mathbb{N}_0$$ Khi đó, bài toán Cauchy luôn giải được với mọi vế phải $q_n$, và nghiệm $x_n$ phụ thuộc vào $n$ véc-tơ tự do $\xi_i \in \mathbb{R}^m$ ($i=0, \dots, n-1$).

  3. Tiêu chuẩn chính quy bài toán biên nhiều điểm trong không gian chiều thấp $\mathbb{R}^m$: Đối với bài toán biên $\sum_{n=0}^N C_n x_n = \gamma$, thay vì giải hệ phương trình đại số khổng lồ cấp $m(N+1)$, luận án đưa về kiểm tra điều kiện nhân ma trận: $$\ker(\widetilde{D}, C_N Q_{N-1}) = \ker R$$ với ma trận bắn $\widetilde{D} = \sum_{n=0}^N C_n X_n \in \mathbb{R}^{m \times m}$ và $R = \text{diag}(P_0, Q_{N-1}) \in \mathbb{R}^{2m \times 2m}$. Bài toán giải được duy nhất khi và chỉ khi nó là chính quy, với nghiệm xác định qua nghịch đảo suy rộng Moore-Penrose: $$(x_0^T, \xi^T)^T = (\widetilde{D}, C_N Q_{N-1})^+ \gamma^*$$

  4. Định lý luân phiên kiểu Fredholm cho bài toán không chính quy: Khi $\ker(\widetilde{D}, C_N Q_{N-1}) \neq \ker R$, bài toán biên nhiều điểm có nghiệm khi và chỉ khi vế phải thỏa mãn điều kiện trực giao: $$\gamma^* \in \text{Im}(\widetilde{D}, C_N Q_{N-1})$$

  5. Sự không tương thích chính quy giữa miền liên tục và rời rạc: Trích dẫn từ kết quả Chương 3, khi áp dụng lược đồ Euler hiện cho bài toán biên chính quy của DAE chỉ số 1, bài toán sai phân ẩn nhận được nói chung không bảo toàn tính chính quy của bài toán liên tục tương ứng, mặc dù nghiệm của bài toán rời rạc vẫn hội tụ tiệm cận về nghiệm liên tục khi bước lưới $\tau \to 0$.

Implications đa chiều

  • Về mặt lý thuyết: Xóa bỏ hoàn toàn định kiến cho rằng phương pháp phân tích DAE có thể áp dụng nguyên vẹn cho hệ sai phân ẩn; mở ra một nhánh cấu trúc toán tử rời rạc mới.
  • Về mặt phương pháp luận số: Cung cấp thuật toán giải ma trận bắn chiều thấp hiệu năng cao, giảm chi phí tính toán từ $O(m^3 N^3)$ của hệ đại số lớn xuống còn $O(N m^3)$.
  • Về mặt ứng dụng thực tiễn: Cung cấp công cụ toán học chính xác để giải các bài toán điều khiển tối ưu kỳ dị (Singular Optimal Control), bài toán mô hình hóa lưới điện lớn và bài toán phân tích cân đối kinh tế vĩ mô động Leontief khi có ngành phi sản xuất.

Limitations và Future Research

Luận án thẳng thắn thừa nhận các giới hạn biên (boundary conditions):

  1. Giới hạn ở lớp phương trình sai phân ẩn tuyến tính; chưa mở rộng sang các hệ phi tuyến tổng quát $f(x_{n+1}, x_n, n) = 0$ có ma trận Jacobi suy biến cục bộ.
  2. Giới hạn ở chỉ số 1; các hệ sai phân ẩn có chỉ số cao hơn ($k \ge 2$) đòi hỏi kỹ thuật đạo hàm đại số phức tạp chưa được bao hàm.
  3. Đối với trường hợp hạng thay đổi, điều kiện đủ đòi hỏi tính chất nhân lồng nhau $\ker A_{n+1} \subset \ker A_n$; trường hợp hạng dao động không đơn điệu bất kỳ vẫn là một thách thức mở.

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

  • Phát triển lý thuyết phương trình sai phân ẩn chỉ số cao ($k \ge 2$) sử dụng chuỗi toán tử xạ ảnh liên tiếp.
  • Mở rộng lý thuyết ổn định Lyapunov và bán kính ổn định (stability radius) cho hệ sai phân ẩn với nhiễu tham số.
  • Thiết lập lược đồ sai phân Runge-Kutta ẩn cho DAE chỉ số cao và đánh giá tính tương thích cấu trúc rời rạc.

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

Các kết quả của luận án đã được công bố trên các tạp chí chuyên ngành toán học uy tín quốc tế và trong nước (bao gồm 3 công trình cốt lõi). Đặc biệt, công trình nghiên cứu về phương pháp giải sai phân ẩn đã được hệ thống cơ sở dữ liệu quốc tế CSA (Cambridge Scientific Abstracts - Internet Database Service) tuyển chọn và lập chỉ mục trong danh mục học thuật danh giá CSA Civil Engineering Abstracts, minh chứng cho tầm ảnh hưởng liên ngành sâu rộng từ toán thuần túy đến kỹ thuật công trình.

Nghiên cứu tạo tiền đề vững chắc cho việc phát triển các phần mềm giải tích số thế hệ mới, hỗ trợ tính toán mô phỏng các hệ thống kỹ thuật phức tạp, mạng lưới phân phối năng lượng thông minh và các mô hình dự báo kinh tế lượng động cấp quốc gia.

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

  • Nghiên cứu sinh & Nhà toán học lý thuyết: Khai thác khung phân tích SVD-Projector để phát triển các bài toán sai phân ngẫu nhiên hoặc sai phân trên thang thời gian (time scales).
  • Chuyên gia giải tích số & Khoa học máy tính: Ứng dụng thuật toán ma trận bắn rút gọn để tối ưu hóa bộ nhớ và tốc độ xử lý trong các gói thư viện giải DAE/sai phân ẩn.
  • Kỹ sư R&D trong công nghệ điều khiển & Mạng điện: Sử dụng công thức nghiệm tường minh để thiết kế bộ điều khiển phản hồi trạng thái cho hệ thống mô tả suy biến (descriptor systems).
  • Chuyên gia kinh tế lượng & Hoạch định chính sách: Vận dụng mô hình Leontief suy biến để dự báo chính xác dòng dịch chuyển cơ cấu kinh tế khi xuất hiện các ngành công nghiệp mới phi tư liệu sản xuất truyền thố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ì?

    • Đó là việc đề xuất khái niệm chỉ số 1 cho phương trình sai phân ẩn không dừng thông qua việc kết hợp khai triển kỳ dị SVD của $A_n$ với toán tử chuyển tiếp $V_{n-1} Q^* V_n^T$, chứng minh tính bất biến cấu trúc và tách thành công phương trình thành hệ động lực thường và ràng buộc đại số.

  2. Sự đổi 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?

    • So với Campbell (1980) chỉ giải quyết hệ dừng qua ma trận nghịch đảo Drazin và Griepentrog - März (1986) chỉ áp dụng cho DAE liên tục, luận án đã giải quyết trọn vẹn bài toán hệ số biến thiên rời rạc và bài toán biên nhiều điểm mà không bị bế tắc bởi kích thước ma trận lưới $m(N+1)$.

  3. Phát hiện toán học nào gây bất ngờ nhất?

    • Phát hiện về sự không tương thích chính quy: một bài toán biên DAE liên tục hoàn toàn chính quy (regular) khi được rời rạc hóa bằng lược đồ sai phân Euler hiện tự nhiên lại có thể chuyển hóa thành một bài toán biên sai phân không chính quy, đòi hỏi điều kiện giải được nghiêm ngặt hơn.

  4. Nghiên cứu có cung cấp giao thức tái lập (replication protocol) không?

    • Toàn bộ các bước chứng minh giải tích, công thức nghiệm tường minh và các ví dụ số trị minh họa trong không gian $\mathbb{R}^2, \mathbb{R}^3, \mathbb{R}^4$ đều được cung cấp chi tiết từng bước và kiểm chứng tính toán bằng phần mềm MAPLE.

  5. Chương trình nghiên cứu dài hạn được định hình ra sao?

    • Định hình lộ trình giải quyết bài toán sai phân ẩn phi tuyến, hệ sai phân phân chia ngẫu nhiên và hệ điều khiển bền vững cho các descriptor systems chịu nhiễu kỳ dị.

Kết luận

Luận án tiến sĩ đã hoàn thành xuất sắc các mục tiêu học thuật đề ra với 5 đóng góp cốt lõi:

  1. Xác lập định nghĩa chuẩn tắc và tiêu chuẩn nhận biết chỉ số 1 cho phương trình sai phân ẩn tuyến tính với hệ số biến thiên dựa trên khai triển SVD và phép chiếu.
  2. Xây dựng công thức nghiệm tường minh cho bài toán Cauchy chỉ số 1 và làm rõ cấu trúc tập nghiệm phụ thuộc lịch sử toán tử.
  3. Giải quyết trọn vẹn bài toán Cauchy khi hạng của hệ số dẫn biến thiên thỏa mãn điều kiện nhân lồng nhau $\ker A_{n+1} \subset \ker A_n$.
  4. Thiết lập lý thuyết định tính và định lượng cho bài toán biên nhiều điểm: đưa ra tiêu chuẩn chính quy trong không gian $\mathbb{R}^m$, công thức nghiệm tổng quát qua nghịch đảo Moore-Penrose và định lý luân phiên Fredholm cho bài toán không chính quy.
  5. Chứng minh tính tương thích chỉ số và sự hội tụ của lược đồ sai phân Euler hiện đối với DAE chỉ số 1, đồng thời phát hiện bản chất không tương thích về tính chính quy giữa bài toán biên liên tục và rời rạc.

Nghiên cứu đặt nền móng lý thuyết vững chắc, mở ra các hướng tiếp cận hiện đại trong giải tích số và điều khiển học hệ suy biến trên trường quốc tế.