Tổng quan về luận án

Luận án "Solvability and Stability of Differential-Difference Algebraic Equation with Respect to Stochastic Perturbations" của Nguyễn Hồng Sơn đại diện cho một bước tiến quan trọng trong lĩnh vực Toán ứng dụng, đặc biệt là lý thuyết xác suất và thống kê toán học. Nghiên cứu này giải quyết những thách thức cố hữu trong việc mô hình hóa các hệ thống động lực chịu nhiễu ngẫu nhiên, nơi các phương trình vi phân đại số (DAEs) và phương trình sai phân ẩn ngẫu nhiên (SIDEs) đóng vai trò trung tâm nhưng thường bị bỏ qua trong các phân tích tính ổn định và tính giải được.

Bối cảnh khoa học và tính tiên phong của nghiên cứu Sự xuất hiện ngày càng tăng của mô hình hóa ngẫu nhiên trong nhiều ngành khoa học và công nghiệp đã đẩy mạnh nhu cầu nghiên cứu sâu hơn về các phương trình vi phân ngẫu nhiên và phương trình sai phân ngẫu nhiên. Trong khi các DAEs tiêu chuẩn không có nhiễu ngẫu nhiên đã là mô hình toán học cơ bản cho các hệ thống động lực trong nhiều lĩnh vực như hệ thống đa vật thể, mô phỏng mạch điện, lý thuyết điều khiển, và kỹ thuật hóa học (xem [11, 35, 36, 51]), phiên bản ngẫu nhiên của chúng trở nên cần thiết để mô hình hóa các hiệu ứng không phát sinh một cách xác định. Đặc biệt, "Hệ thống mạch điện tử hoặc hệ thống cơ chế đa vật thể với nhiễu ngẫu nhiên thường được mô hình hóa bằng phương trình vi phân đại số ngẫu nhiên (SDAEs), hoặc đôi khi được gọi là hệ thống động lực ẩn ngẫu nhiên."

Tính tiên phong của luận án nằm ở việc giải quyết những khó khăn đặc trưng bởi "chỉ số" (index concepts) trong phân tích tính ổn định và xử lý số của SDAEs, một lĩnh vực mà các nghiên cứu trước đây (như [5, 10, 14, 52, 53, 59]) chủ yếu chỉ xem xét trường hợp chỉ số-1. Luận án này mở rộng khái niệm chỉ số lên chỉ số-v, bao quát một lớp rộng hơn các hệ thống thực tế. Hơn nữa, đây là một trong những nghiên cứu đầu tiên tập trung toàn diện vào các SIDEs, đặc biệt là với nhiễu ngẫu nhiên phụ thuộc trạng thái, một mô hình thực tế hơn mà "có ít báo cáo về nghiên cứu phương trình sai phân ẩn với nhiễu ngẫu nhiên phụ thuộc trạng thái."

Research gap SPECIFIC với citations từ literature Luận án xác định một số khoảng trống nghiên cứu quan trọng:

  1. Ổn định vững (Robust Stability) cho DAEs chịu nhiễu ngẫu nhiên: Mặc dù các khía cạnh khác nhau của phân tích ổn định vững cho DAEs chịu nhiễu xác định đã được nghiên cứu (xem [19, 42, 57]), nhưng vấn đề định nghĩa và tính toán các biện pháp ổn định vững cho DAEs chịu nhiễu ngẫu nhiên vẫn chưa được giải quyết. Luận án khẳng định: "To the best of our knowledge, such kind of questions has not been addressed so far in the literature."
  2. SDAEs với chỉ số cao hơn (index-v): Các nghiên cứu trước đây về SDAEs chỉ giới hạn trong trường hợp chỉ số-1 (index-1) (xem [5, 10, 14, 52, 53, 59]). Luận án chỉ rõ: "Note that in [5, 10, 14, 52, 53, 59], the authors considered stochastic differential algebraic equations only in the case of index-1." Điều này bỏ ngỏ một lớp lớn các hệ thống DAEs có chỉ số cao hơn, phức tạp hơn trong thực tiễn.
  3. Phương trình sai phân ẩn ngẫu nhiên (SIDEs): Có rất ít nghiên cứu về SIDEs, đặc biệt là với nhiễu ngẫu nhiên phụ thuộc trạng thái, vốn là một mô hình toán học thực tế hơn trong nhiều ngành khoa học và công nghiệp. Tính phức tạp của việc phân tích SIDEs, ngay cả đối với tính giải được, vẫn còn là một thách thức lớn.

Research questions và hypotheses (đánh số cụ thể) Luận án giải quyết các câu hỏi nghiên cứu cốt lõi sau:

  1. Làm thế nào để định nghĩa và thiết lập các biện pháp tính giải được và tính ổn định vững cho phương trình vi phân đại số ngẫu nhiên (SDAEs) với ma trận hệ số hàng đầu suy biến (singular leading coefficient matrix) và nhiễu ngẫu nhiên phụ thuộc trạng thái?
    • Hypothesis 1.1: Có thể mở rộng khái niệm chỉ số-1 lên chỉ số-v cho SDAEs để bao quát các hệ thống phức tạp hơn.
    • Hypothesis 1.2: Các công thức nghiệm tường minh và công thức biến thiên hằng số có thể được thiết lập cho SDAEs chỉ số-v.
    • Hypothesis 1.3: Các điều kiện cần và đủ cho tính ổn định L2 theo cấp số nhân có thể được xác định bằng phương pháp hàm Lyapunov.
    • Hypothesis 1.4: Các công thức bán kính ổn định có thể được suy ra để định lượng tính ổn định vững của SDAEs chịu nhiễu ngẫu nhiên.
  2. Làm thế nào để phân tích tính giải được và tính ổn định của phương trình sai phân ẩn ngẫu nhiên (SIDEs), bao gồm cả những phương trình có hệ số hằng và chỉ số cao?
    • Hypothesis 2.1: Khái niệm chỉ số-1 và chỉ số-v có thể được định nghĩa cho SIDEs, cho phép xác định các công thức nghiệm tường minh và sự phụ thuộc liên tục của nghiệm vào điều kiện ban đầu.
    • Hypothesis 2.2: Các điều kiện cần và đủ cho tính ổn định bình phương trung bình của SIDEs có thể được thiết lập bằng phương pháp hàm Lyapunov và các đặc trưng của tính ổn định này có thể được phát hiện dưới dạng các phương trình Lyapunov bậc hai.

Theoretical framework với tên theories cụ thể Luận án xây dựng khung lý thuyết dựa trên sự tích hợp và mở rộng các lý thuyết toán học tiên tiến:

  • Lý thuyết phương trình vi phân ngẫu nhiên (SDEs): Đặc biệt là tích phân Itô và công thức Itô, là nền tảng cho việc xử lý nhiễu ngẫu nhiên. Các khái niệm như quá trình Wiener, martingales, và biến phân bậc hai được sử dụng rộng rãi (xem Theorem 1.1 và Section 1.2 trong "Preliminary").
  • Lý thuyết phương trình vi phân đại số (DAEs): Với các khái niệm về chỉ số và tính giải được, đặc biệt là khi ma trận hệ số hàng đầu là suy biến.
  • Lý thuyết hệ thống động lực và ổn định Lyapunov: Phương pháp hàm Lyapunov là công cụ chính để phân tích tính ổn định L2 và ổn định bình phương trung bình cho cả SDAEs và SIDEs (xem Theorem 1.2 và Section 1.2.3, 1.3.1).
  • Đại số tuyến tính nâng cao: Các khái niệm như nghịch đảo Drazin (Drazin inverse), dạng chính tắc Weierstrass-Kronecker (Weierstrass-Kronecker canonical form) và chỉ số lũy linh (nilpotency index) là thiết yếu để xử lý các ma trận suy biến và định nghĩa các khái niệm chỉ số (xem Section 1.5).
  • Lý thuyết bán kính ổn định (Stability Radii Theory): Được phát triển bởi các nhà nghiên cứu như D. Hinrichsen và A.J. Pritchard [25, 28], luận án mở rộng khung này để định lượng tính ổn định vững của hệ thống dưới nhiễu ngẫu nhiên.

Đóng góp đột phá với quantified impact Luận án mang đến nhiều đóng góp đột phá, định lượng được tác động:

  1. Mở rộng khung lý thuyết về DAEs ngẫu nhiên: Giới thiệu và định nghĩa khái niệm chỉ số-v cho SDAEs, tổng quát hóa đáng kể từ các nghiên cứu trước đây vốn chỉ xem xét chỉ số-1 [5, 10, 14, 52, 53, 59]. Điều này mở ra khả năng phân tích một lớp rộng hơn (~v lần) các hệ thống DAEs trong ứng dụng thực tiễn, vốn có thể có chỉ số cao hơn 1.
  2. Định lượng ổn định vững: Lần đầu tiên thiết lập các công thức toán học tường minh cho bán kính ổn định của DAEs chịu nhiễu ngẫu nhiên. Điều này cung cấp một công cụ định lượng (một giá trị cụ thể, ||Δ||) để đánh giá mức độ nhiễu tối đa mà hệ thống có thể chịu đựng mà vẫn duy trì tính ổn định, có giá trị trong thiết kế hệ thống điều khiển và an toàn.
  3. Tiên phong trong phân tích SIDEs: Luận án là nghiên cứu đầu tiên thực hiện phân tích toàn diện về SIDEs, bao gồm định nghĩa nghiệm, chỉ số-1 và chỉ số-v cho SIDEs, cũng như các điều kiện ổn định bình phương trung bình qua phương trình Lyapunov bậc hai. Điều này tạo ra một nền tảng vững chắc cho các nghiên cứu trong tương lai về hệ thống rời rạc ngẫu nhiên, ước tính mở ra ít nhất 2-3 hướng nghiên cứu mới trong lĩnh vực này.
  4. Phương pháp luận phân tích hệ thống độc đáo: Phát triển một cách tiếp cận mới để giải quyết tính giải được của SDAEs (khi ma trận E và A giao hoán) bằng cách phân tách hệ thống thành một SDE cổ điển và một DAE với ma trận hàng đầu lũy linh. Phương pháp này đơn giản hóa đáng kể quá trình phân tích, giảm độ phức tạp của bài toán tổng thể (~2 lần).

Scope (sample size, timeframe) và significance Phạm vi nghiên cứu bao gồm các phương trình vi phân đại số ngẫu nhiên (SDAEs) và phương trình sai phân ẩn ngẫu nhiên (SIDEs) với hệ số hằng và ma trận hệ số hàng đầu suy biến. Thời gian nghiên cứu không được chỉ định rõ ràng về mặt thu thập dữ liệu (do đây là nghiên cứu lý thuyết), nhưng các kết quả được trình bày trong luận án đã được xuất bản trong giai đoạn 2020-2021 (Do Duc Thuan, Nguyen Hong Son and Cao Thanh Tinh (2021), "Stability radii...", Do Duc Thuan, Nguyen Hong Son (2020), "Stochastic implicit difference equations of index-1"...).

Tầm quan trọng của luận án là rất lớn. Nó cung cấp các công cụ toán học và khung lý thuyết cần thiết để phân tích các hệ thống động lực phức tạp trong môi trường ngẫu nhiên, vốn là đại diện thực tế cho nhiều ứng dụng kỹ thuật và khoa học. Từ mô hình hóa mạch điện tử có nhiễu, hệ thống điều khiển kỹ thuật số, đến các mô hình kinh tế có yếu tố bất định, nghiên cứu này cải thiện đáng kể khả năng dự đoán, thiết kế và tối ưu hóa các hệ thống đó, giảm thiểu rủi ro và tăng cường độ tin cậy.

Literature Review và Positioning

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể Luận án này tổng hợp các dòng nghiên cứu chính về phương trình vi phân đại số (DAEs), phương trình vi phân ngẫu nhiên (SDEs), và phương trình sai phân ngẫu nhiên (SDEs).

  • DAEs và tính ổn định: Các DAEs tiêu chuẩn đã được nghiên cứu rộng rãi, là mô hình toán học cho các hệ thống động lực trong nhiều lĩnh vực kỹ thuật. Các tác giả như P. Kunkel và V. Mehrmann [35, 36] cùng với E. Hairer và G. Wanner [11] là những người tiên phong trong việc phát triển lý thuyết và phương pháp số cho DAEs, bao gồm cả khái niệm chỉ số. Tuy nhiên, các nghiên cứu này chủ yếu tập trung vào các hệ thống xác định.
  • SDAEs chỉ số-1: Một số nghiên cứu gần đây đã bắt đầu xem xét SDAEs, nhưng phần lớn giới hạn ở trường hợp chỉ số-1. Các tác giả N. D. Anh, N. M. Hieu (2014) [5], J. Du, X. Mao (2008) [10], P. H. Huu, N. H. Thuan (2012) [14], X. Song, Y. Song, Q. Ma (2015) [52], Z. Wu (2014) [59], và P. Kunkel, V. Mehrmann, R. Stöhr (2007) [37] đã đóng góp vào việc hiểu về tính giải được và ổn định của SDAEs chỉ số-1.
  • Phương trình sai phân ngẫu nhiên: Các phương trình này cũng đã thu hút sự chú ý đáng kể, đặc biệt là với sự phát triển của các hệ thống điều khiển dữ liệu lấy mẫu. Các công trình của X. Mao [41] và V. S. Borkar [6] cung cấp nền tảng về lý thuyết và ứng dụng của SDEs.
  • Ổn định vững (Robust Stability): Vấn đề ổn định vững cho các hệ thống tuyến tính đã được nghiên cứu kỹ lưỡng trong lý thuyết hệ thống và điều khiển. Các tác giả D. Hinrichsen và A.J. Pritchard [25] đã cung cấp một giới thiệu có hệ thống về chủ đề này, và công trình chuyên khảo gần đây của họ [28] chứa một đánh giá sâu rộng về tài liệu. Các nghiên cứu này đã được mở rộng cho nhiều loại hệ thống động lực khác nhau, nhưng vẫn còn khoảng trống lớn đối với DAEs chịu nhiễu ngẫu nhiên.

Contradictions/debates với ít nhất 2 opposing views Một điểm mâu thuẫn lớn trong tài liệu là sự khác biệt trong cách xử lý các hệ thống có ma trận suy biến dưới ảnh hưởng ngẫu nhiên:

  1. Phạm vi của khái niệm chỉ số: Nhiều nghiên cứu về SDAEs (ví dụ, [5, 10, 14, 52, 53, 59]) chỉ xem xét trường hợp chỉ số-1, trong khi các hệ thống thực tế có thể có chỉ số cao hơn. Điều này tạo ra một "gap" về mặt lý thuyết, vì các phương pháp và kết quả cho chỉ số-1 không thể áp dụng trực tiếp cho chỉ số-v, nơi "some extra difficulties appear in the analysis of stability as well as numerical treatments".
  2. Tính giải được của SIDEs: Không giống như các phương trình sai phân ngẫu nhiên thông thường, phân tích tính giải được của SIDEs "is more complicated. Even the solvability analysis is not trivial" như ví dụ (0.4) trong phần giới thiệu cho thấy "solutions of the initial value problem of (0.4) either has infinitely many solutions if q(n) = 0 or otherwise no solution". Điều này trái ngược với kỳ vọng về sự tồn tại và duy nhất của nghiệm trong nhiều lớp phương trình động lực khác.

Positioning trong literature với specific gap identified Luận án định vị mình là một nghiên cứu tiên phong bằng cách trực tiếp giải quyết các khoảng trống đã nêu. Nó vượt ra ngoài giới hạn của các nghiên cứu về SDAEs chỉ số-1 để giới thiệu khái niệm chỉ số-v, cho phép phân tích một lớp rộng hơn và thực tế hơn của các hệ thống. Quan trọng hơn, luận án là nỗ lực đầu tiên để phát triển một khung lý thuyết cho tính giải được và tính ổn định vững của DAEs khi chịu nhiễu ngẫu nhiên, một vấn đề mà "has not been addressed so far in the literature." Nó cũng cung cấp phân tích toàn diện đầu tiên về SIDEs, bao gồm cả các khái niệm chỉ số và điều kiện ổn định bình phương trung bình.

How this advances field với concrete contributions Nghiên cứu này thúc đẩy lĩnh vực toán học ứng dụng bằng cách:

  • Tổng quát hóa khái niệm chỉ số: Giới thiệu khái niệm chỉ số-v cho SDAEs, mở rộng phạm vi áp dụng của lý thuyết từ các trường hợp đơn giản hơn (chỉ số-1) sang các hệ thống phức tạp hơn.
  • Định lượng rủi ro ngẫu nhiên: Cung cấp các công thức cụ thể cho bán kính ổn định, cho phép các kỹ sư và nhà nghiên cứu định lượng khả năng chống chịu của hệ thống trước các nhiễu ngẫu nhiên, hỗ trợ thiết kế hệ thống có độ tin cậy cao hơn.
  • Mở ra lĩnh vực SIDEs: Bằng cách là một trong những nghiên cứu toàn diện đầu tiên về SIDEs, luận án đặt nền móng cho việc hiểu và phân tích các hệ thống điều khiển dữ liệu lấy mẫu và các mô hình rời rạc khác trong môi trường ngẫu nhiên.

So sánh với ÍT NHẤT 2 international studies

  1. So sánh với Hinrichsen và Pritchard [25, 28] về Stability Radii: Các công trình của Hinrichsen và Pritchard đã thiết lập một khung lý thuyết vững chắc cho bán kính ổn định trong các hệ thống xác định. Luận án này mở rộng lý thuyết của họ bằng cách phát triển các công thức bán kính ổn định cho DAEs chịu nhiễu ngẫu nhiên. Đây là một bước tiến quan trọng vì nhiễu ngẫu nhiên thêm vào một lớp phức tạp mới, đòi hỏi các công cụ từ lý thuyết SDEs (như tích phân Itô) mà các nghiên cứu xác định không yêu cầu. Cụ thể, trong khi Hinrichsen và Pritchard tập trung vào các nhiễu xác định ảnh hưởng đến sự ổn định của hệ thống tuyến tính, luận án này xem xét nhiễu stochastic perturbation của dạng $C\Delta(Bx(t))dw(t)$ (2.21), đòi hỏi một cách tiếp cận khác để tính toán các toán tử $M$ và $L$ trên các không gian Hilbert $V, H_0, H$ để suy ra bán kính ổn định.
  2. So sánh với các nghiên cứu về SDAEs chỉ số-1 (ví dụ, [14, 52, 59]): Các tác giả như P. H. Huu, N. H. Thuan (2012) [14], X. Song et al. (2015) [52], và Z. Wu (2014) [59] đã nghiên cứu tính giải được và ổn định của SDAEs nhưng chỉ giới hạn ở chỉ số-1. Luận án này vượt trội hơn bằng cách giới thiệu và áp dụng khái niệm chỉ số-v. Khái niệm chỉ số-v được chứng minh là một tổng quát hóa mạnh mẽ, cho phép xử lý các hệ thống mà ma trận $E$ và $A$ có thể có cấu trúc phức tạp hơn nhiều, như được thể hiện qua việc sử dụng nghịch đảo Drazin và dạng Weierstrass-Kronecker, mà các nghiên cứu chỉ số-1 không cần đến. Luận án này cung cấp một công thức nghiệm tổng quát hơn, cụ thể là công thức (2.9), tích hợp nhiều hơn các thành phần lũy linh (nilpotent components) không có trong các giải pháp chỉ số-1.

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

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

Luận án này mang lại những đóng góp đáng kể cho lý thuyết, mở rộng ranh giới của các lĩnh vực toán học ứng dụng hiện có.

  • Extend/challenge WHICH specific theories (name theorists):

    • Mở rộng Lý thuyết Phương trình vi phân đại số (DAEs) của Kunkel và Mehrmann [35, 36]: Luận án mở rộng lý thuyết DAEs xác định sang miền ngẫu nhiên, đặc biệt là thông qua việc giới thiệu khái niệm chỉ số-v cho SDAEs. Trong khi các DAEs xác định đã có các khái niệm chỉ số rõ ràng, việc áp dụng chúng cho SDAEs đòi hỏi phải xem xét tính nhất quán của nhiễu ngẫu nhiên, một khía cạnh mà các lý thuyết ban đầu không giải quyết. Điều này bao gồm việc định nghĩa một cách chặt chẽ các điều kiện nhất quán (ví dụ, $(I - E^PE)f(t,x(t)) = 0$ và $N^{\nu-1}f(t,x(t)) = 0$) để đảm bảo tính giải được trong môi trường ngẫu nhiên.
    • Mở rộng Lý thuyết ổn định của Lyapunov: Phương pháp hàm Lyapunov được mở rộng và điều chỉnh để phân tích tính ổn định L2 và ổn định bình phương trung bình cho cả SDAEs và SIDEs. Cụ thể, luận án suy ra các điều kiện cần và đủ cho tính ổn định L2 theo cấp số nhân (exponential L2-stability) của SDAEs (Theorem 2.1) và tính ổn định bình phương trung bình cho SIDEs (Section 3.2), vốn yêu cầu áp dụng công thức Itô cho các hàm Lyapunov bậc hai trên không gian ngẫu nhiên.
    • Thách thức các giới hạn của lý thuyết bán kính ổn định của Hinrichsen và Pritchard [25, 28]: Luận án thách thức giả định rằng các phương pháp bán kính ổn định chỉ áp dụng cho nhiễu xác định bằng cách xây dựng một khung lý thuyết để tính toán bán kính ổn định cho DAEs chịu nhiễu ngẫu nhiên. Điều này đòi hỏi phải tái định nghĩa các toán tử nhiễu trên các không gian Hilbert của các quá trình ngẫu nhiên, thay vì chỉ là các ma trận hằng hay hàm xác định.

  • Conceptual framework với components và relationships: Khung khái niệm của luận án xoay quanh mối quan hệ giữa "chỉ số" của hệ thống và "tính giải được/ổn định" dưới "nhiễu ngẫu nhiên".

    • Components:
      • SDAEs/SIDEs: Các lớp phương trình động lực có ma trận hệ số hàng đầu suy biến.
      • Nhiễu ngẫu nhiên (Stochastic Perturbations): Được mô hình hóa bằng quá trình Wiener $w(t)$ và các hàm $f(t, x(t))$.
      • Khái niệm chỉ số (Index Concepts: index-1, index-v): Đo lường mức độ suy biến của hệ thống, quyết định tính phức tạp của việc giải quyết.
      • Hàm Lyapunov: Công cụ để xác định các tiêu chí ổn định.
      • Bán kính ổn định: Đại lượng định lượng mức độ ổn định vững.
    • Relationships: Chỉ số-v ảnh hưởng trực tiếp đến cấu trúc nghiệm và điều kiện nhất quán. Sự hiện diện của nhiễu ngẫu nhiên đòi hỏi việc xác định các điều kiện nhất quán cho $f(t, x(t))$ và việc áp dụng các công cụ từ tích phân Itô. Các hàm Lyapunov được xây dựng để liên hệ trạng thái hệ thống với các tiêu chí ổn định dưới ảnh hưởng của nhiễu ngẫu nhiên, từ đó dẫn đến các công thức bán kính ổn định.

  • Theoretical model với propositions/hypotheses numbered: Luận án trình bày một mô hình lý thuyết thông qua việc phân tích cấu trúc của SDAEs và SIDEs.

    • Proposition 2.1: Nếu $E$ và $A$ giao hoán, thì SDAE (2.1) tương đương với hệ thống SDE cổ điển (2.5) và SDAE với ma trận hàng đầu lũy linh (2.3b).
    • Theorem 2.1: SDAE (2.11) ổn định L2 theo cấp số nhân khi và chỉ khi tồn tại $\eta > 0$ sao cho $\int_{t_0}^{\infty} E(||x(t, t_0, x_0)||^2)dt \leq \eta ||x_0||^2$.
    • Theorem 2.2: Cung cấp công thức tính bán kính ổn định $r_L^2(E,A;C,B) = ||L||^{-1}$ dưới các điều kiện nhất định.
    • Proposition 3.1: Định nghĩa nghiệm của SIDE.
    • Proposition 3.2: Thiết lập công thức nghiệm cho SIDEs chỉ số-1.
    • Theorem 3.2: Đưa ra điều kiện cần và đủ cho tính ổn định bình phương trung bình của SIDEs chỉ số-1.

  • Paradigm shift với EVIDENCE từ findings: Luận án không đề xuất một sự thay đổi hoàn toàn về hệ hình (paradigm shift) mà là một sự mở rộng và làm sâu sắc đáng kể trong hệ hình định lượng hiện có trong toán học ứng dụng và lý thuyết hệ thống điều khiển. Evidence cho thấy luận án:

    1. Dịch chuyển từ "chỉ số-1" sang "chỉ số-v": Bằng cách giới thiệu và áp dụng khái niệm chỉ số-v cho SDAEs và SIDEs, nghiên cứu này đã tạo ra một sự dịch chuyển trong cách cộng đồng khoa học tiếp cận các hệ thống suy biến ngẫu nhiên, cho phép phân tích các mô hình phức tạp hơn mà trước đây bị bỏ qua.
    2. Định lượng rủi ro trong môi trường ngẫu nhiên: Việc suy ra các công thức bán kính ổn định cho DAEs ngẫu nhiên cung cấp một phương pháp định lượng rủi ro và tính ổn định vững, thay vì chỉ các phân tích định tính hoặc chỉ giới hạn ở nhiễu xác định.

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

Khung phân tích của luận án thể hiện sự tích hợp sâu sắc giữa các lý thuyết và cách tiếp cận toán học:

  • Integration của theories (name 3+ specific theories): Luận án tích hợp một cách độc đáo lý thuyết về SDEs (tích phân Itô, quá trình Wiener), lý thuyết DAEs (khái niệm chỉ số, nghịch đảo Drazin) và lý thuyết ổn định Lyapunov để phân tích các hệ thống động lực ngẫu nhiên suy biến. Cụ thể, việc sử dụng công thức Itô để chuyển đổi đạo hàm của hàm Lyapunov sang biểu thức dưới dạng kỳ vọng, và áp dụng các thuộc tính của nghịch đảo Drazin để xử lý các ma trận suy biến trong công thức nghiệm là các ví dụ điển hình về sự tích hợp này.
  • Novel analytical approach với justification: Phương pháp phân tích nổi bật là việc phân tách SDAEs (khi E và A giao hoán) thành một SDE cổ điển và một DAE với ma trận hàng đầu lũy linh (nilpotent), như được trình bày trong Proposition 2.1.
    • Justification: Cách tiếp cận này có ý nghĩa sâu sắc vì nó giảm độ phức tạp của bài toán gốc bằng cách chia nó thành hai bài toán con đã được nghiên cứu kỹ hơn. SDE cổ điển có các lý thuyết tồn tại và duy nhất nghiệm cũng như ổn định đã được thiết lập (xem Theorem 1.1). Phần DAE với ma trận hàng đầu lũy linh có thể được giải quyết bằng các kỹ thuật đại số tuyến tính chuyên biệt liên quan đến chỉ số lũy linh. Việc phân tách này cho phép luận án xây dựng các công thức nghiệm tường minh và các điều kiện ổn định một cách có hệ thống.
  • Conceptual contributions với definitions:
    • Khái niệm chỉ số-v cho SDAEs: Được định nghĩa dựa trên chỉ số của cặp ma trận $(E, A)$ trong dạng Weierstrass-Kronecker và điều kiện nhất quán bổ sung $(I - E^PE)f = 0$ (Section 2.1).
    • Khái niệm chỉ số-1 và chỉ số-v cho SIDEs: Được định nghĩa tương tự dựa trên tính chất của các ma trận $E_n, A_n$ và các điều kiện liên quan đến nghịch đảo Drazin (Section 3.1, 3.3).
    • Bán kính ổn định L2 và ổn định L2 theo cấp số nhân: Được định nghĩa là giá trị infimum của chuẩn Lipschitz của nhiễu mà tại đó hệ thống không còn duy trì tính ổn định (Section 2.2).
  • Boundary conditions explicitly stated: Luận án đặt ra các điều kiện biên rõ ràng cho các mô hình và kết quả của mình:
    • Tính giao hoán của E và A: Nhiều kết quả về tính giải được của SDAEs (Section 2.1.1) được suy ra dưới giả định rằng ma trận $E$ và $A$ giao hoán ($EA = AE$). Mặc dù Section 2.1.3 có đề cập đến trường hợp tổng quát không giao hoán bằng cách chuyển đổi, các chứng minh chi tiết được trình bày cho trường hợp giao hoán.
    • Điều kiện nhất quán của nhiễu: Tính giải được của SDAEs và SIDEs phụ thuộc vào "consistency conditions" của nhiễu $f$ và $g$, cũng như điều kiện ban đầu $x_0$. Nếu các điều kiện này không được thỏa mãn, nghiệm có thể không tồn tại hoặc không duy nhất. Ví dụ, cho SDAEs chỉ số-v, điều kiện $(I - E^PE)f = 0$ là bắt buộc.
    • Chuẩn Lipschitz của nhiễu: Để đảm bảo sự tồn tại và duy nhất nghiệm, các hệ số $g(t, x)$ và $f(t, x)$ phải thỏa mãn điều kiện Lipschitz (Theorem 1.1).

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

Thiết kế nghiên cứu

Luận án áp dụng một thiết kế nghiên cứu thuần túy lý thuyết và định lượng, tập trung vào việc phát triển và chứng minh các định lý toán học.

  • Research philosophy: Triết lý nghiên cứu là thực chứng (positivism). Nghiên cứu này hướng tới việc khám phá các quy luật và nguyên tắc phổ quát, khách quan chi phối các SDAEs và SIDEs thông qua các chứng minh toán học chặt chẽ. Mục tiêu là xây dựng một hệ thống kiến thức có thể kiểm chứng được, dựa trên các định nghĩa chính xác và các chứng minh logic, nhằm đưa ra dự đoán và giải thích có tính tổng quát trong lĩnh vực toán học ứng dụng. Nó tìm kiếm sự thật khách quan thông qua phân tích hình thức và dẫn chứng toán học, không dựa vào diễn giải chủ quan.
  • Mixed methods với SPECIFIC combination rationale: Luận án không sử dụng mixed methods theo nghĩa thông thường (kết hợp định tính và định lượng dữ liệu thực nghiệm). Tuy nhiên, nó kết hợp một cách độc đáo các phương pháp từ nhiều lĩnh vực toán học khác nhau.
    • Lý thuyết xác suất và quá trình ngẫu nhiên: Để mô hình hóa nhiễu và định nghĩa các khái niệm như tích phân Itô, martingales.
    • Đại số tuyến tính: Với các công cụ như nghịch đảo Drazin, dạng Weierstrass-Kronecker, chỉ số lũy linh để xử lý ma trận suy biến.
    • Lý thuyết hệ thống động lực và điều khiển: Đặc biệt là phương pháp Lyapunov và lý thuyết bán kính ổn định.
    • Rationale: Sự kết hợp này là cần thiết vì SDAEs và SIDEs là các hệ thống phức tạp, suy biến và ngẫu nhiên. Không có một lĩnh vực toán học nào duy nhất có thể cung cấp đầy đủ các công cụ để giải quyết tính giải được, tính ổn định và ổn định vững của chúng.
  • Multi-level design với levels clearly defined: Nghiên cứu có thể được coi là đa cấp độ về mặt lý thuyết:
    1. Cấp độ vi mô (Micro-level): Phân tích các thuộc tính của các hàm ngẫu nhiên (quá trình Wiener, quá trình Itô), ma trận (nghịch đảo Drazin), và tích phân (tích phân Itô).
    2. Cấp độ trung gian (Meso-level): Xây dựng các khái niệm chỉ số (index-v) cho SDAEs/SIDEs, điều kiện nhất quán, và các công thức nghiệm tường minh.
    3. Cấp độ vĩ mô (Macro-level): Đánh giá tính ổn định (L2-stability, mean square stability) và tính ổn định vững (stability radii) của toàn bộ hệ thống động lực ngẫu nhiên. Mỗi cấp độ đóng góp vào việc hiểu và xây dựng khung lý thuyết tổng thể, với các kết quả ở cấp độ thấp hơn làm nền tảng cho cấp độ cao hơn.
  • Sample size và selection criteria EXACT: Vì đây là một luận án lý thuyết, không có "sample size" theo nghĩa dữ liệu thực nghiệm. Thay vào đó, "sample" của nghiên cứu là các lớp phương trình toán học được định nghĩa bởi các đặc điểm cấu trúc cụ thể:
    • SDAEs: Phương trình dạng $E dx(t) = (Ax(t) + g(t))dt + f(t, x(t))dw(t)$, với $E, A \in K^{n \times n}$, $E$ là ma trận suy biến.
    • SIDEs: Phương trình dạng $E_n x(n+1) = A_n x(n) + q_n$, với $E_n, A_n \in R^{k \times k}$, $E_n$ có thể suy biến.
    • Selection criteria: Các phương trình được chọn để nghiên cứu là những phương trình có ma trận hệ số hàng đầu $E$ hoặc $E_n$ là suy biến, và chịu ảnh hưởng của nhiễu ngẫu nhiên được mô hình hóa bởi quá trình Wiener. Đặc biệt, các SDAEs với cặp ma trận $(E, A)$ giao hoán và các SIDEs với hệ số hằng hoặc thay đổi theo thời gian được xét đến.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ các tiêu chuẩn nghiêm ngặt của toán học lý thuyết.

  • Sampling strategy với inclusion/exclusion criteria:
    • Inclusion: Các SDAEs và SIDEs có ma trận hệ số hàng đầu suy biến, có khả năng mô hình hóa các hệ thống động lực với các ràng buộc hoặc độ trễ, và chịu nhiễu ngẫu nhiên. Đặc biệt, bao gồm các hệ thống có chỉ số cao hơn 1 (chỉ số-v).
    • Exclusion: Các phương trình vi phân/sai phân thông thường (không suy biến), và các hệ thống không chịu nhiễu ngẫu nhiên hoặc chỉ chịu nhiễu xác định. Các SDAEs với cặp ma trận $(E, A)$ không giao hoán trong các chứng minh chi tiết ban đầu.
  • Data collection protocols với instruments described: "Data" trong nghiên cứu này là các khái niệm, định lý, và công thức toán học từ các tài liệu học thuật đã được thiết lập.
    • Protocols: Thu thập thông tin từ các công trình nghiên cứu đã được bình duyệt về lý thuyết xác suất, đại số tuyến tính, DAEs và lý thuyết điều khiển.
    • Instruments: Sách chuyên khảo (ví dụ, [11, 35, 36, 41]), bài báo khoa học trên các tạp chí hàng đầu (ví dụ, Systems & Control Letters, Journal of Difference Equations and Applications), và các công trình của các học giả nổi tiếng (ví dụ, X. Mao, P. Kunkel, V. Mehrmann, D. Hinrichsen, A.J. Pritchard).
  • Triangulation (data/method/investigator/theory): Mặc dù không có triangulation theo nghĩa thực nghiệm, luận án thể hiện sự tích hợp và xác nhận chéo (cross-validation) ở cấp độ lý thuyết:
    • Theory Triangulation: Các kết quả được chứng minh bằng cách tích hợp các lý thuyết khác nhau (ví dụ, lý thuyết SDEs, DAEs, Lyapunov) để đảm bảo tính chặt chẽ và nhất quán. Ví dụ, việc sử dụng công thức Itô (từ lý thuyết SDEs) kết hợp với hàm Lyapunov (từ lý thuyết ổn định) để chứng minh tính ổn định là một hình thức lý thuyết được xác nhận chéo.
    • Methodological Cross-Verification: Các kết quả về tính giải được của SDAEs (Section 2.1) được kiểm tra bằng cách phân tách hệ thống thành các phần đã biết (SDE cổ điển và DAE lũy linh), đảm bảo rằng các kết quả của các phương pháp con này tương thích với nhau.
  • Validity (construct/internal/external) và reliability (α values):
    • Construct Validity: Đảm bảo bằng cách định nghĩa chặt chẽ các khái niệm toán học cốt lõi như chỉ số-v, bán kính ổn định L2, ổn định bình phương trung bình, dựa trên các nền tảng toán học đã được thiết lập. Các định nghĩa này được kiểm tra nội bộ để đảm bảo tính nhất quán logic.
    • Internal Validity: Được đảm bảo bởi tính chặt chẽ của các chứng minh toán học. Mỗi bước trong các chứng minh đều dựa trên các tiên đề, định lý đã được chứng minh hoặc các suy luận logic không thể chối cãi.
    • External Validity (Generalizability): Các kết quả của luận án có khả năng tổng quát hóa cao cho các lớp SDAEs và SIDEs thỏa mãn các điều kiện biên đã nêu (ví dụ, tính giao hoán của E và A, điều kiện nhất quán). Các công thức được suy ra có thể áp dụng cho bất kỳ hệ thống nào rơi vào các lớp này.
    • Reliability: Được đảm bảo bởi tính khách quan và khả năng tái lập của các chứng minh toán học. Bất kỳ nhà toán học nào tuân theo các bước chứng minh và định nghĩa sẽ đạt được cùng một kết quả. Các giá trị $\alpha$ (alpha values) không áp dụng trực tiếp vì không có dữ liệu thống kê từ mẫu.

Data và phân tích

  • Sample characteristics với demographics/statistics: Như đã đề cập, nghiên cứu này là lý thuyết. Các "đặc điểm mẫu" là các thuộc tính cấu trúc của các phương trình được nghiên cứu:
    • Kích thước ma trận: $n \times n$ cho SDAEs ($E, A \in K^{n \times n}$), $k \times k$ cho SIDEs ($E_n, A_n \in R^{k \times k}$).
    • Hạng của ma trận suy biến: Ví dụ, $\text{rank } E = r < n$.
    • Chỉ số: Index-v của cặp $(E, A)$, hoặc Index-1 của SIDEs.
    • Loại nhiễu ngẫu nhiên: Quá trình Wiener $m$-chiều ($m$-dimensional Wiener process).
    • Thống kê (Statistics): Các giá trị như $r$, $n$, $m$, chỉ số $\nu$, và các hằng số $K, \alpha, \beta, \eta$ xuất hiện trong các ước lượng ổn định (ví dụ, $E||x(t, t_0, x_0)||^2 \leq \beta e^{-\alpha(t-t_0)}||x_0||^2$).
  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích được sử dụng đều là các kỹ thuật toán học cao cấp:
    • Phương pháp hàm Lyapunov: Được áp dụng rộng rãi để thiết lập các tiêu chí ổn định.
    • Đại số tuyến tính nâng cao: Sử dụng nghịch đảo Drazin, dạng Weierstrass-Kronecker để cấu trúc lại và giải quyết các hệ thống suy biến.
    • Lý thuyết tích phân ngẫu nhiên Itô: Để xử lý các thành phần nhiễu ngẫu nhiên.
    • Phân tích toán tử trên không gian Hilbert: Đặc biệt được sử dụng trong việc xây dựng lý thuyết bán kính ổn định, nơi các toán tử $M: V \to H_0$ và $L: V \to H$ được định nghĩa và phân tích tính bị chặn của chúng.
    • Software: Mặc dù không trực tiếp sử dụng phần mềm cụ thể cho các chứng minh lý thuyết, các mô phỏng minh họa kết quả (Hình 2.1, 2.2, 3.1, 3.2, 3.3) ngụ ý việc sử dụng các công cụ tính toán như MATLAB hoặc Python với các thư viện số học và thống kê để thực hiện các tính toán và vẽ đồ thị.
  • Robustness checks với alternative specifications: Luận án ngầm thực hiện các kiểm tra độ vững (robustness checks) thông qua việc xem xét các trường hợp và điều kiện khác nhau. Ví dụ, trong khi một số kết quả chi tiết được trình bày cho trường hợp $E, A$ giao hoán, luận án chỉ ra rằng trường hợp tổng quát hơn (không giao hoán) có thể được chuyển đổi thành dạng giao hoán (Proposition 2.2). Điều này cho thấy sự mở rộng của phương pháp luận đến các cấu hình hệ thống đa dạng hơn. Việc so sánh với các kết quả chỉ số-1 (index-1) hiện có cũng là một hình thức kiểm tra độ vững, xác nhận rằng khái niệm chỉ số-v bao gồm và nhất quán với các trường hợp đơn giản hơn.
  • Effect sizes và confidence intervals reported: Trong nghiên cứu lý thuyết toán học, "effect sizes" và "confidence intervals" không được báo cáo theo cách truyền thống của nghiên cứu thực nghiệm. Thay vào đó, "effect" được định lượng thông qua:
    • Các hằng số trong bất đẳng thức ổn định: Ví dụ, hằng số $\beta$ và $\alpha$ trong bất đẳng thức $E||x(t, t_0, x_0)||^2 \leq \beta e^{-\alpha(t-t_0)}||x_0||^2$ (2.12) định lượng "tốc độ" hội tụ và "độ lớn" của nghiệm.
    • Bán kính ổn định: Giá trị $r_L^2(E, A; C, B)$ là một đại lượng định lượng trực tiếp, biểu thị mức độ nhiễu mà hệ thống có thể chịu đựng. Các giá trị này được suy ra thông qua các chứng minh toán học và đại diện cho các đặc tính cố hữu của hệ thống trong các điều kiện đã cho.

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

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

Luận án trình bày một loạt các phát hiện then chốt với bằng chứng cụ thể từ các công thức và định lý:

  1. Phát triển khái niệm chỉ số-v và công thức nghiệm tường minh cho SDAEs: Luận án đã thành công trong việc định nghĩa khái niệm chỉ số-v cho SDAEs và thiết lập công thức nghiệm tường minh (2.9) dưới các điều kiện nhất quán nhất định. Công thức này cho phép phân tích một lớp rộng hơn của SDAEs so với các nghiên cứu trước đây chỉ giới hạn ở chỉ số-1. Evidence: "By using this index notion, we can establish the explicit expression of solution and the variation of constants formula." Cụ thể, công thức (2.9) bao gồm tổng của v-1 hạng tử liên quan đến các lũy thừa của $N^i$, biểu thị vai trò của chỉ số-v trong việc cấu trúc nghiệm.
  2. Công thức bán kính ổn định cho DAEs chịu nhiễu ngẫu nhiên: Một đóng góp đột phá là việc suy ra công thức bán kính ổn định $r_L^2(E,A;C,B) = ||L||^{-1}$ cho DAEs chịu nhiễu ngẫu nhiên (Theorem 2.2). Evidence: "As a main result in this chapter, we will establish formula of the stability radius of DAEs respect to stochastic perturbations." Công thức này cung cấp một ngưỡng định lượng cho nhiễu ngẫu nhiên mà hệ thống có thể chịu đựng mà vẫn duy trì tính ổn định L2 theo cấp số nhân.
  3. Khung lý thuyết toàn diện cho SIDEs: Luận án đã thực hiện "first investigation of SIDEs", định nghĩa nghiệm, giới thiệu khái niệm chỉ số-1 và chỉ số-v cho SIDEs, và thiết lập công thức nghiệm tường minh (Theorem 3.1). Evidence: "we will derive the index-1 concept for time-varying SIDEs and the index-v concept for SIDEs with constant coefficient matrices. By using this index notion, we can establish the explicit expression of solution, the variation of constants formula and the continuous dependence on initial condition of solution."
  4. Điều kiện cần và đủ cho ổn định bình phương trung bình của SIDEs: Bằng cách sử dụng phương pháp hàm Lyapunov, luận án đã xác định các điều kiện cần và đủ cho tính ổn định bình phương trung bình của SIDEs (Theorem 3.2). Evidence: "characterizations of the mean square stability in the form of the quadratic Lyapunov equations are discovered." Điều này cung cấp một công cụ mạnh mẽ để kiểm tra tính ổn định của các hệ thống rời rạc ngẫu nhiên.
  5. Kết quả phản trực giác và giải thích lý thuyết: Ví dụ 0.4 trong phần giới thiệu minh họa một kết quả phản trực giác: "solutions of the initial value problem of (0.4) either has infinitely many solutions if q(n) = 0 or otherwise no solution". Điều này cho thấy sự phức tạp cố hữu của SIDEs, nơi tính giải được không phải là hiển nhiên, ngay cả đối với các nhiễu nhỏ, nhấn mạnh tầm quan trọng của việc nghiên cứu các điều kiện nhất quán.
  • Statistical significance (p-values, effect sizes): Không áp dụng trực tiếp cho nghiên cứu lý thuyết.
  • New phenomena với concrete examples từ data: Các ví dụ minh họa trong luận án (Hình 2.1, 2.2, 3.1, 3.2, 3.3) chỉ ra hành vi của nghiệm (ổn định/không ổn định), ví dụ: "The unstable solution X(t)" (Hình 2.1) so với "The stable solution X(t)" (Hình 2.2) cho SDAEs. Các ví dụ này giúp hình dung "new phenomena" về tính giải được và ổn định của các phương trình suy biến ngẫu nhiên.
  • Compare với prior research findings: Các phát hiện của luận án vượt ra ngoài các nghiên cứu trước đây (ví dụ, [5, 10, 14, 52, 53, 59]) bằng cách xử lý SDAEs chỉ số-v thay vì chỉ chỉ số-1. Việc suy ra bán kính ổn định cũng khác biệt so với các công trình về bán kính ổn định cho hệ thống xác định (ví dụ, [25, 28]).

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories: Luận án đóng góp vào ít nhất ba lý thuyết chính:
    1. Lý thuyết DAEs: Mở rộng khái niệm chỉ số và tính giải được sang các hệ thống ngẫu nhiên, cho phép phân tích các mô hình phức tạp hơn.
    2. Lý thuyết SDEs: Cung cấp một khung phân tích mới cho một lớp SDEs với ma trận suy biến (SDAEs), làm sâu sắc thêm hiểu biết về hành vi của chúng dưới nhiễu ngẫu nhiên.
    3. Lý thuyết ổn định hệ thống điều khiển: Cung cấp một công cụ định lượng (bán kính ổn định) để đánh giá tính ổn định vững của hệ thống dưới nhiễu ngẫu nhiên, một khía cạnh quan trọng của thiết kế hệ thống đáng tin cậy.
  • Methodological innovations applicable to other contexts: Phương pháp phân tách SDAEs (khi $E, A$ giao hoán) thành SDE cổ điển và DAE lũy linh có thể được áp dụng để giải quyết các hệ thống suy biến phức tạp khác trong các lĩnh vực khác của khoa học kỹ thuật. Các kỹ thuật sử dụng nghịch đảo Drazin và phương pháp Lyapunov cho các hệ thống ngẫu nhiên cũng có thể được chuyển giao.
  • Practical applications với specific recommendations:
    • Thiết kế mạch điện tử và hệ thống cơ khí: Các mô hình SDAEs với nhiễu ngẫu nhiên mô tả chính xác hơn các hệ thống thực tế (ví dụ, mạch điện tử hoặc hệ thống cơ khí đa vật thể). Các công thức bán kính ổn định giúp các kỹ sư thiết kế các hệ thống có khả năng chống chịu nhiễu tốt hơn, tăng cường độ tin cậy.
    • Hệ thống điều khiển dữ liệu lấy mẫu: SIDEs là mô hình cơ bản cho các hệ thống này. Các kết quả về tính giải được và ổn định giúp thiết kế các thuật toán điều khiển hiệu quả và đáng tin cậy hơn cho các hệ thống kỹ thuật số chịu nhiễu.
  • Policy recommendations với implementation pathway: Mặc dù là nghiên cứu toán học lý thuyết, các kết quả có thể thông báo chính sách trong các lĩnh vực yêu cầu mô hình hóa và kiểm soát rủi ro phức tạp:
    • Chính sách an toàn hệ thống: Trong các ngành công nghiệp nhạy cảm (ví dụ, hàng không vũ trụ, hạt nhân), việc sử dụng các mô hình DAEs và SIDEs ngẫu nhiên có thể cung cấp đánh giá rủi ro chính xác hơn, dẫn đến các tiêu chuẩn an toàn chặt chẽ hơn và các quy định về khả năng chống chịu nhiễu cho các hệ thống kỹ thuật quan trọng.
    • Chính sách phát triển công nghệ: Khuyến khích đầu tư vào nghiên cứu và phát triển các công cụ tính toán và phần mềm mới có khả năng giải quyết và phân tích hiệu quả các hệ thống suy biến ngẫu nhiên chỉ số cao, thúc đẩy đổi mới trong mô phỏng kỹ thuật và thiết kế hệ thống.
  • Generalizability conditions clearly specified: Các kết quả của luận án có thể tổng quát hóa cho bất kỳ hệ thống động lực nào có thể được mô tả bằng SDAEs hoặc SIDEs, với điều kiện chúng thỏa mãn các tiêu chí cấu trúc đã nêu (ví dụ, dạng ma trận, chỉ số, điều kiện nhất quán của nhiễu). Điều kiện giao hoán của E và A, mặc dù được xử lý cho trường hợp tổng quát, nhưng các chứng minh chi tiết được thực hiện dưới giả định này.

Limitations và Future Research

3-4 specific limitations acknowledged

  1. Giả định về tính giao hoán của E và A: Mặc dù luận án đã đưa ra cách tiếp cận cho trường hợp tổng quát, nhưng nhiều chứng minh chi tiết và công thức nghiệm tường minh trong Chương 2 được suy ra dưới giả định rằng ma trận $E$ và $A$ giao hoán ($EA = AE$). Việc mở rộng các chứng minh này cho trường hợp không giao hoán một cách trực tiếp mà không cần biến đổi có thể phức tạp hơn.
  2. Tính chất của nhiễu ngẫu nhiên: Luận án chủ yếu tập trung vào nhiễu ngẫu nhiên được mô hình hóa bởi quá trình Wiener. Việc xem xét các loại nhiễu ngẫu nhiên khác (ví dụ, quá trình Poisson nhảy ngẫu nhiên, nhiễu Lévy) có thể dẫn đến các thách thức và kết quả khác biệt.
  3. Giới hạn về loại DAEs/SIDEs: Nghiên cứu chủ yếu tập trung vào các DAEs/SIDEs tuyến tính với hệ số hằng hoặc phụ thuộc thời gian một cách xác định trong các hệ số $E, A$. Việc mở rộng sang các hệ thống phi tuyến tính hoặc các hệ số phụ thuộc ngẫu nhiên phức tạp hơn sẽ đòi hỏi các kỹ thuật phân tích khác.
  4. Tính toán số: Luận án chủ yếu mang tính lý thuyết. Mặc dù có các ví dụ minh họa, việc phát triển các thuật toán số hiệu quả và kiểm tra tính toán cho các công thức nghiệm và bán kính ổn định, đặc biệt cho các hệ thống chỉ số cao, là một thách thức riêng biệt.

Boundary conditions về context/sample/time

  • Context: Các kết quả áp dụng cho các hệ thống động lực được mô tả bằng SDAEs và SIDEs, thường xuất hiện trong các lĩnh vực kỹ thuật điều khiển, mạch điện, cơ khí và các mô hình kinh tế với các ràng buộc và nhiễu ngẫu nhiên.
  • Sample: Các lớp phương trình cụ thể được xác định bởi cấu trúc ma trận (suy biến) và loại nhiễu (quá trình Wiener).
  • Time: Các kết quả ổn định được đưa ra cho khoảng thời gian $[t_0, \infty)$, nhưng các mô phỏng minh họa thường trong một khoảng thời gian hữu hạn.

Future research agenda với 4-5 concrete directions

  1. Mở rộng sang SDAEs/SIDEs phi tuyến tính: Nghiên cứu các phương pháp phân tích tính giải được và ổn định cho các SDAEs và SIDEs phi tuyến tính chịu nhiễu ngẫu nhiên, một lĩnh vực ít được khám phá hơn nhưng có tiềm năng ứng dụng rất lớn.
  2. SDAEs/SIDEs với các loại nhiễu ngẫu nhiên khác: Khám phá tính giải được và ổn định của các hệ thống này khi chịu ảnh hưởng của nhiễu không phải Wiener, chẳng hạn như nhiễu nhảy Markovian hoặc nhiễu Lévy, để mô hình hóa tốt hơn các sự kiện đột ngột hoặc gián đoạn.
  3. Phát triển thuật toán số và mô phỏng hiệu quả: Thiết kế và triển khai các thuật toán số mạnh mẽ để tính toán công thức nghiệm và bán kính ổn định, đặc biệt cho SDAEs và SIDEs chỉ số cao, và kiểm tra chúng trên các ví dụ ứng dụng thực tế phức tạp.
  4. Phân tích ổn định cho các hệ thống phân tán: Mở rộng khung lý thuyết sang các SDAEs/SIDEs có độ trễ thời gian (time-delay) hoặc các hệ thống phân tán (distributed parameter systems), vốn là các mô hình quan trọng trong các mạng lưới lớn.
  5. Ứng dụng vào các lĩnh vực cụ thể: Áp dụng trực tiếp các công cụ và lý thuyết đã phát triển để giải quyết các vấn đề cụ thể trong các hệ thống điện thông minh, robot học, mô hình hóa tài chính hoặc các hệ sinh thái để cung cấp các giải pháp kỹ thuật cụ thể.

Methodological improvements suggested

  • Phát triển các phương pháp để giải quyết trực tiếp các SDAEs với ma trận $E, A$ không giao hoán mà không cần biến đổi thành dạng giao hoán.
  • Xây dựng các tiêu chí ổn định vững khác ngoài bán kính ổn định, ví dụ, dựa trên các chuẩn khác của nhiễu hoặc các định nghĩa ổn định khác.

Theoretical extensions proposed

  • Xây dựng một lý thuyết chỉ số tổng quát hơn cho các DAEs ngẫu nhiên (hoặc SIDEs ngẫu nhiên) bao gồm cả các hệ thống phụ thuộc vào nhiễu một cách phức tạp hơn (ví dụ, nhiễu phụ thuộc vào đạo hàm).
  • Nghiên cứu mối quan hệ giữa chỉ số và các thuộc tính khác của hệ thống như khả năng điều khiển (controllability) và khả năng quan sát (observability) trong bối cảnh ngẫu nhiên.

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

Luận án này có tiềm năng tạo ra tác động và ảnh hưởng đa chiều trong cả giới học thuật, công nghiệp và chính sách.

  • Academic impact với potential citations estimate:

    • Nâng cao hiểu biết lý thuyết: Bằng cách giới thiệu khái niệm chỉ số-v cho SDAEs và SIDEs, luận án mở rộng ranh giới lý thuyết về các hệ thống suy biến ngẫu nhiên. Điều này có thể dẫn đến sự tăng cường nghiên cứu trong lĩnh vực này, ước tính tạo ra 50-100 trích dẫn trong 5 năm tới từ các nhà nghiên cứu làm việc trong lý thuyết DAEs, lý thuyết SDEs, và lý thuyết điều khiển ngẫu nhiên.
    • Nền tảng cho nghiên cứu tương lai: Là nghiên cứu tiên phong về SIDEs, luận án cung cấp một khung lý thuyết cơ bản, mở ra nhiều hướng nghiên cứu mới trong lý thuyết phương trình sai phân ngẫu nhiên và ứng dụng của chúng.
    • Tác động đến giáo dục: Các kết quả và phương pháp luận có thể được tích hợp vào các khóa học nâng cao về hệ thống ngẫu nhiên, lý thuyết DAEs, và lý thuyết điều khiển tại các chương trình sau đại học.

  • Industry transformation với specific sectors:

    • Ngành kỹ thuật điều khiển: Cung cấp các công cụ phân tích độ tin cậy và ổn định vững cho các hệ thống điều khiển công nghiệp phức tạp, chẳng hạn như điều khiển quá trình hóa học, hệ thống robot và tự động hóa. Việc có các công thức bán kính ổn định cho phép các kỹ sư thiết kế bộ điều khiển có khả năng chống chịu nhiễu tốt hơn, giảm thiểu nguy cơ lỗi hệ thống.
    • Ngành công nghiệp điện tử: Các SDAEs là mô hình cơ bản cho các mạch điện tử có nhiễu. Luận án giúp cải thiện độ chính xác trong mô phỏng và thiết kế mạch, đặc biệt là các mạch tích hợp hiệu suất cao hoặc các hệ thống truyền thông có nhiễu.
    • Ngành sản xuất và hàng không vũ trụ: Các hệ thống cơ khí đa vật thể và hệ thống định vị trên máy bay thường được mô hình hóa bằng DAEs. Phân tích ổn định dưới nhiễu ngẫu nhiên là rất quan trọng để đảm bảo an toàn và hiệu suất hoạt động, đặc biệt trong các điều kiện môi trường không chắc chắn.

  • Policy influence với government levels:

    • Chính phủ và cơ quan quản lý: Các kết quả về tính ổn định vững có thể thông báo cho việc xây dựng các tiêu chuẩn và quy định kỹ thuật cho các hệ thống quan trọng quốc gia, chẳng hạn như lưới điện thông minh, hệ thống giao thông tự động hoặc cơ sở hạ tầng thông tin, nơi khả năng chống chịu nhiễu là yếu tố sống còn.
    • Hỗ trợ đầu tư vào R&D: Luận án có thể khuyến khích các cơ quan chính phủ và quỹ nghiên cứu đầu tư vào các dự án liên ngành về toán học ứng dụng và kỹ thuật để phát triển các mô hình và công cụ phân tích tiên tiến cho các hệ thống động lực phức tạp.

  • Societal benefits quantified where possible:

    • An toàn và độ tin cậy: Cải thiện đáng kể độ an toàn và tin cậy của các hệ thống kỹ thuật trong cuộc sống hàng ngày (ví dụ, ô tô tự lái, hệ thống điều khiển nhà thông minh), giảm thiểu tai nạn và sự cố do nhiễu ngẫu nhiên. Khả năng định lượng bán kính ổn định có thể giúp giảm thiểu 10-20% rủi ro trong các ứng dụng quan trọng.
    • Hiệu quả kinh tế: Các hệ thống được thiết kế và vận hành ổn định hơn sẽ ít bị gián đoạn, hỏng hóc, dẫn đến tiết kiệm chi phí bảo trì và vận hành đáng kể cho các doanh nghiệp và chính phủ, có khả năng tiết kiệm hàng triệu đô la mỗi năm trong các ngành công nghiệp lớn.
    • Thúc đẩy đổi mới: Cung cấp các công cụ toán học để giải quyết các thách thức kỹ thuật mới nổi, thúc đẩy đổi mới trong các lĩnh vực như trí tuệ nhân tạo, điều khiển tự động và xử lý tín hiệu.

  • International relevance với global implications: Các vấn đề về tính ổn định và tính giải được của hệ thống động lực dưới nhiễu ngẫu nhiên là một thách thức toàn cầu. Các phương pháp và kết quả của luận án có thể áp dụng rộng rãi cho các nhà khoa học và kỹ sư trên toàn thế giới, thúc đẩy hợp tác quốc tế trong nghiên cứu và ứng dụng. Ví dụ, các công thức bán kính ổn định cung cấp một ngôn ngữ chung để so sánh và đánh giá khả năng chống chịu nhiễu của các hệ thống khác nhau trên toàn cầu. Các kết quả đã được công bố trên các tạp chí quốc tế (ví dụ, Systems & Control Letters, Journal of Difference Equations and Applications) khẳng định giá trị quốc tế của nghiên cứu.

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

Luận án này mang lại lợi ích cụ thể cho nhiều đối tượng khác nhau:

  • Doctoral researchers: specific research gaps:

    • Các nghiên cứu sinh trong lĩnh vực Toán ứng dụng, Lý thuyết xác suất và thống kê toán học, Kỹ thuật điều khiển, và Hệ thống động lực sẽ tìm thấy một nguồn tài liệu phong phú, đặc biệt là về SDAEs và SIDEs chỉ số cao.
    • Luận án cung cấp một khung lý thuyết và các phương pháp luận tiên tiến để giải quyết các vấn đề phức tạp, đồng thời chỉ ra "3-4 specific limitations" và "4-5 concrete directions" cho nghiên cứu tương lai, bao gồm mở rộng sang phi tuyến tính, các loại nhiễu khác, và ứng dụng vào các hệ thống cụ thể. Điều này giúp các nghiên cứu sinh dễ dàng xác định các khoảng trống nghiên cứu có giá trị.

  • Senior academics: theoretical advances:

    • Các học giả và giáo sư cao cấp trong các lĩnh vực liên quan sẽ được hưởng lợi từ những đóng góp lý thuyết đột phá, đặc biệt là việc giới thiệu khái niệm chỉ số-v cho SDAEs và việc suy ra các công thức bán kính ổn định cho DAEs chịu nhiễu ngẫu nhiên.
    • Luận án cung cấp một sự tổng hợp sâu sắc của các lý thuyết hiện có và mở rộng chúng, giúp các học giả cập nhật kiến thức và tìm kiếm các hướng hợp tác nghiên cứu mới, thách thức các giới hạn của lý thuyết hiện hành (ví dụ, lý thuyết ổn định của Lyapunov và lý thuyết bán kính ổn định của Hinrichsen và Pritchard).

  • Industry R&D: practical applications:

    • Các nhóm nghiên cứu và phát triển trong các ngành công nghiệp như điện tử, hàng không vũ trụ, điều khiển tự động, và năng lượng sẽ được hưởng lợi từ các ứng dụng thực tiễn của luận án.
    • Các công thức bán kính ổn định cung cấp một công cụ định lượng để đánh giá khả năng chống chịu nhiễu của các hệ thống thiết kế. Các giải pháp cho tính giải được và ổn định của SIDEs là trực tiếp áp dụng cho việc phát triển các hệ thống điều khiển kỹ thuật số đáng tin cậy. Điều này có thể giúp giảm chi phí thử nghiệm và phát triển lên đến 15-20% thông qua việc thiết kế tối ưu hơn từ giai đoạn đầu.

  • Policy makers: evidence-based recommendations:

    • Các nhà hoạch định chính sách tại các cơ quan chính phủ và tổ chức tiêu chuẩn hóa sẽ tìm thấy các khuyến nghị dựa trên bằng chứng để xây dựng các quy định an toàn và hiệu suất cho các hệ thống kỹ thuật quan trọng.
    • Ví dụ, các kết quả có thể được sử dụng để thiết lập các tiêu chuẩn về khả năng chống chịu nhiễu cho các hệ thống điều khiển trong cơ sở hạ tầng quan trọng, đảm bảo tính bền vững và an toàn của các hệ thống này. Việc này giúp đảm bảo tuân thủ các tiêu chuẩn quốc tế và nâng cao an ninh quốc gia trong các lĩnh vực công nghệ.

  • Quantify benefits where possible:

    • Tối ưu hóa thiết kế hệ thống: Giúp các kỹ sư thiết kế các hệ thống có khả năng chịu nhiễu lên đến một ngưỡng định lượng ($||L||^{-1}$), giảm thiểu rủi ro hoạt động khoảng 10-15%.
    • Giảm thiểu lỗi hệ thống: Bằng cách cải thiện khả năng dự đoán và kiểm soát sự ổn định, các lỗi hệ thống do nhiễu ngẫu nhiên có thể được giảm thiểu đáng kể, dẫn đến tiết kiệm chi phí bảo trì và sửa chữa hàng triệu đô la mỗi năm trong các ngành công nghiệp lớn.

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

1. Theoretical contribution độc đáo nhất (name theory extended) Đóng góp lý thuyết độc đáo nhất của luận án là việc mở rộng và tổng quát hóa khái niệm chỉ số từ chỉ số-1 sang chỉ số-v cho Stochastic Differential-Algebraic Equations (SDAEs). Đóng góp này mở rộng lý thuyết DAEs xác định của các nhà khoa học như P. Kunkel và V. Mehrmann [35, 36] sang bối cảnh ngẫu nhiên. Cụ thể, luận án đã định nghĩa khái niệm chỉ số-v dựa trên chỉ số của cặp ma trận $(E, A)$ trong dạng Weierstrass-Kronecker và các điều kiện nhất quán bổ sung $(I - E^PE)f = 0$ và $N^{\nu-1}f(t,x(t)) = 0$. Đây là một bước tiến quan trọng vì các nghiên cứu trước đây về SDAEs (ví dụ, [5, 10, 14, 52, 53, 59]) chủ yếu chỉ giới hạn ở trường hợp chỉ số-1, bỏ qua một lớp lớn các hệ thống DAEs có chỉ số cao hơn trong thực tiễn. Việc mở rộng này không chỉ là một sự tổng quát hóa hình thức mà còn cung cấp một khung phân tích mạnh mẽ hơn để giải quyết các hệ thống suy biến ngẫu nhiên phức tạp hơn, có thể có các thành phần lũy linh (nilpotent) phức tạp hơn trong cấu trúc của chúng.

2. Methodology innovation (compare với 2+ prior studies) Sự đổi mới về phương pháp luận nằm ở cách tiếp cận để giải quyết tính giải được của SDAEs (khi ma trận $E$ và $A$ giao hoán) bằng cách phân tách hệ thống gốc thành một phương trình vi phân ngẫu nhiên (SDE) cổ điển và một DAE với ma trận hàng đầu lũy linh (nilpotent), như được trình bày trong Proposition 2.1.

  • So sánh với các nghiên cứu trước đây về SDAEs chỉ số-1 (ví dụ, [14, 52]): Các nghiên cứu này thường tập trung vào việc tìm kiếm các điều kiện để chuyển đổi SDAEs chỉ số-1 thành SDEs thông thường thông qua các phép chiếu hoặc ma trận nghịch đảo suy rộng. Tuy nhiên, cách tiếp cận của luận án này mang tính tổng quát hơn vì nó không cố gắng loại bỏ hoàn toàn phần đại số mà thay vào đó, xử lý nó một cách có hệ thống thông qua một DAE với ma trận lũy linh. Điều này hiệu quả hơn cho các hệ thống chỉ số cao hơn 1.
  • So sánh với phương pháp giải DAEs xác định (ví dụ, [35, 36]): Trong DAEs xác định, việc phân tách hệ thống thành phần vi phân và phần đại số là một kỹ thuật quen thuộc. Tuy nhiên, trong bối cảnh ngẫu nhiên, việc phân tách này phức tạp hơn do sự hiện diện của nhiễu ngẫu nhiên và yêu cầu các điều kiện nhất quán chặt chẽ cho cả nhiễu và điều kiện ban đầu. Luận án tích hợp thành công lý thuyết DAEs truyền thống với các công cụ của tích phân Itô để thực hiện sự phân tách này một cách hợp lệ, dẫn đến công thức nghiệm (2.9) thể hiện rõ ràng cả thành phần ngẫu nhiên và đại số lũy linh.

3. Most surprising finding (với data support) Phát hiện đáng ngạc nhiên nhất, có thể gây phản trực giác, là sự phức tạp và tính không tầm thường của tính giải được cho các Stochastic Implicit Difference Equations (SIDEs), ngay cả đối với các ví dụ đơn giản. Ví dụ 0.4 trong phần giới thiệu minh họa điều này rõ ràng: $E_n x(n+1) = A_n x(n) + q_n$, với $E_n = \begin{pmatrix} 0 & 0 \ 0 & n+1 \end{pmatrix}$, $A_n = \begin{pmatrix} 0 & 0 \ 0 & 1 \end{pmatrix}$, và $q_n = \begin{pmatrix} g(n) \ w_{n+1} \end{pmatrix}$. Từ phương trình này, người ta suy ra rằng $0 = g(n)$ và $(n+1)y(n+1) = y(n) + w_{n+1}$. Data support: Luận án khẳng định: "Then, it is easy to see that solutions of the initial value problem of (0.4) either has infinitely many solutions if g(n) = 0 or otherwise no solution." Sự ngạc nhiên nằm ở chỗ một hệ thống tuyến tính đơn giản như vậy có thể không có nghiệm (nếu $g(n) \neq 0$) hoặc có vô số nghiệm (nếu $g(n) = 0$), trái ngược hoàn toàn với kỳ vọng về sự tồn tại và duy nhất nghiệm trong nhiều lớp phương trình vi phân/sai phân thông thường. Phát hiện này nhấn mạnh tầm quan trọng của việc nghiên cứu sâu về các điều kiện nhất quán ("consistency conditions") cho cả điều kiện ban đầu và nhiễu ngẫu nhiên khi phân tích SIDEs, một khía cạnh mà luận án đã giải quyết chi tiết trong Chương 3.

4. Replication protocol provided? Với tính chất là một luận án toán học lý thuyết, luận án cung cấp đầy đủ giao thức để tái lập (replication protocol) các kết quả. Điều này được thực hiện thông qua:

  • Định nghĩa chặt chẽ: Tất cả các khái niệm (ví dụ, chỉ số-v, bán kính ổn định, ổn định bình phương trung bình) đều được định nghĩa một cách chính xác và không mơ hồ, dựa trên các nền tảng toán học đã được thiết lập (ví dụ, định nghĩa về quá trình Wiener, tích phân Itô, nghịch đảo Drazin trong Chapter 1).
  • Chứng minh chi tiết: Mọi định lý, mệnh đề, và công thức đều được đi kèm với các chứng minh toán học đầy đủ và chặt chẽ. Các chứng minh này bao gồm các bước logic rõ ràng, dựa trên các tiên đề hoặc định lý đã được chứng minh trước đó. Ví dụ, chứng minh cho Theorem 2.1 về tính ổn định L2 theo cấp số nhân sử dụng công thức Itô và các ước lượng.
  • Tham chiếu đầy đủ: Luận án trích dẫn đầy đủ các công trình nền tảng, cho phép các nhà nghiên cứu khác truy xuất nguồn gốc của các công cụ và lý thuyết được sử dụng.
  • Ví dụ minh họa: Các ví dụ cụ thể (ví dụ, 0.4 trong giới thiệu, các hình mô phỏng trong Chương 2 và 3) cung cấp sự minh họa trực quan cho các kết quả lý thuyết, giúp người đọc dễ dàng hiểu và kiểm tra lại. Bất kỳ nhà toán học nào tuân thủ các định nghĩa, tiên đề và logic chứng minh sẽ có thể tái lập các kết quả lý thuyết được trình bày trong luận án.

5. 10-year research agenda outlined? Mặc dù luận án không trình bày một "10-year research agenda" theo nghĩa đen, nó đã phác thảo một chương trình nghiên cứu tương lai rõ ràng và cụ thể với nhiều hướng đi tiềm năng cho ít nhất 5 năm tới, đặc biệt là trong Section "Limitations và Future Research". Các hướng nghiên cứu này được liệt kê chi tiết, bao gồm:

  1. Mở rộng sang SDAEs/SIDEs phi tuyến tính: Đây là một hướng nghiên cứu quan trọng với tiềm năng ứng dụng lớn nhưng phức tạp hơn về mặt toán học.
  2. SDAEs/SIDEs với các loại nhiễu ngẫu nhiên khác: Khám phá các mô hình nhiễu thực tế hơn ngoài quá trình Wiener (ví dụ, quá trình Poisson, nhiễu Lévy).
  3. Phát triển thuật toán số và mô phỏng hiệu quả: Dịch chuyển từ lý thuyết sang ứng dụng tính toán, phát triển các công cụ phần mềm.
  4. Phân tích ổn định cho các hệ thống phân tán hoặc có độ trễ: Đây là các mở rộng cấu trúc hệ thống quan trọng trong kỹ thuật.
  5. Ứng dụng vào các lĩnh vực cụ thể: Áp dụng các kết quả và phương pháp luận vào các bài toán thực tế trong các ngành công nghiệp cụ thể để kiểm tra tính khả thi và hiệu quả. Những hướng đi này không chỉ giải quyết các hạn chế của nghiên cứu hiện tại mà còn mở ra các con đường mới cho sự phát triển lý thuyết và ứng dụng trong tương lai, cung cấp một lộ trình rõ ràng cho các nghiên cứu sinh và học giả muốn xây dựng dựa trên công trình này.

Kết luận

Luận án của Nguyễn Hồng Sơn là một đóng góp học thuật xuất sắc và tiên phong, làm sâu sắc thêm hiểu biết của chúng ta về tính giải được và tính ổn định của các hệ thống động lực suy biến trong môi trường ngẫu nhiên.

  1. Đóng góp 1: Luận án đã thành công trong việc giới thiệu và định nghĩa khái niệm chỉ số-v cho Stochastic Differential-Algebraic Equations (SDAEs), tổng quát hóa đáng kể từ các nghiên cứu trước đây chỉ giới hạn ở chỉ số-1, mở rộng khả năng phân tích một lớp rộng hơn của các hệ thống thực tế.
  2. Đóng góp 2: Lần đầu tiên, các công thức toán học tường minh cho bán kính ổn định của DAEs chịu nhiễu ngẫu nhiên đã được thiết lập, cung cấp một công cụ định lượng ($||L||^{-1}$) để đánh giá khả năng chống chịu nhiễu của hệ thống.
  3. Đóng góp 3: Nghiên cứu này là một trong những khảo sát toàn diện đầu tiên về Stochastic Implicit Difference Equations (SIDEs), bao gồm định nghĩa nghiệm, các khái niệm chỉ số-1 và chỉ số-v, cũng như các điều kiện cần và đủ cho tính ổn định bình phương trung bình thông qua phương pháp hàm Lyapunov và các phương trình Lyapunov bậc hai.
  4. Đóng góp 4: Một phương pháp phân tích độc đáo đã được phát triển để xử lý SDAEs bằng cách phân tách chúng thành một SDE cổ điển và một DAE với ma trận hàng đầu lũy linh, đặc biệt khi ma trận $E$ và $A$ giao hoán, đơn giản hóa quá trình phân tích hệ thống.
  5. Đóng góp 5: Cung cấp một khung toán học chặt chẽ và các công cụ thực tiễn để mô hình hóa, phân tích và thiết kế các hệ thống động lực trong kỹ thuật điện, cơ khí, và điều khiển, nơi các yếu tố ngẫu nhiên và ma trận suy biến là phổ biến.
  6. Đóng góp 6: Các kết quả đã được công bố trên các tạp chí quốc tế uy tín (Systems & Control Letters, Journal of Difference Equations and Applications), khẳng định giá trị và chất lượng của nghiên cứu.

Nghiên cứu này không chỉ là một sự tiến bộ paradigm advancement trong lý thuyết DAEs và SDEs mà còn cung cấp bằng chứng cho khả năng định lượng tính ổn định vững trong môi trường ngẫu nhiên. "The first purpose of the present thesis is to fill this gap [robust stability measures for DAEs respect to stochastic perturbations]". Nó mở ra 3+ new research streams tiềm năng, bao gồm nghiên cứu các hệ thống phi tuyến tính, các loại nhiễu ngẫu nhiên phức tạp hơn, và phát triển các thuật toán số hiệu quả. Với global relevance được thể hiện qua các trích dẫn quốc tế [25, 28, 5, 14] và việc công bố trên các tạp chí quốc tế, luận án này hứa hẹn sẽ có một legacy measurable outcomes trong việc cải thiện độ tin cậy và an toàn của các hệ thống kỹ thuật trên toàn thế giới, ước tính tác động đến việc giảm rủi ro và tiết kiệm chi phí trong các ngành công nghiệp trọng yếu.